runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3703424-1338076707/watcher-3703424-1338076707 -o /tmp/evaluation-result-3703424-1338076707/solver-3703424-1338076707 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703424-1338076707.opb 1327237689 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 970
/proc/meminfo: memFree=26688648/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[startup+0.0890241 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 970
/proc/meminfo: memFree=26688648/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100151 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 970
/proc/meminfo: memFree=26688648/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300139 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 970
/proc/meminfo: memFree=26688648/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700101 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 970
/proc/meminfo: memFree=26688648/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50014 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 972
/proc/meminfo: memFree=26664344/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=67668 CPUtime=1.49 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) R 970 970 4763 0 -1 4202496 3499 0 0 0 148 1 0 0 20 0 1 0 273796677 69292032 8567 33554432000 4194304 5992684 140735872136048 140735872131400 4524964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/971/statm: 16917 8567 147 440 0 16473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76816
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 972
/proc/meminfo: memFree=26639272/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=133204 CPUtime=3.08 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) R 970 970 4763 0 -1 4202496 4059 0 0 0 306 2 0 0 20 0 1 0 273796677 136400896 17271 33554432000 4194304 5992684 140735872136048 140735872131400 4809285 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/971/statm: 33301 17271 147 440 0 32857 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142352
[startup+6.30016 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 972
/proc/meminfo: memFree=26567228/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=264276 CPUtime=6.29 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) R 970 970 4763 0 -1 4202496 4668 0 0 0 624 5 0 0 20 0 1 0 273796677 270618624 34679 33554432000 4194304 5992684 140735872136048 140735872131048 4375262 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/971/statm: 66069 34679 147 440 0 65625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 273424
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 972
/proc/meminfo: memFree=26425684/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=526420 CPUtime=12.68 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) R 970 970 4763 0 -1 4202496 5373 0 0 0 1257 11 0 0 20 0 1 0 273796677 539054080 68471 33554432000 4194304 5992684 140735872136048 140735872131048 4568064 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/971/statm: 131605 68471 147 440 0 131161 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 535568
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 972
/proc/meminfo: memFree=26146776/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=1050708 CPUtime=25.48 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) R 970 970 4763 0 -1 4202496 6272 0 0 0 2525 23 0 0 20 0 1 0 273796677 1075924992 136055 33554432000 4194304 5992684 140735872136048 140735872131400 4568560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/971/statm: 262677 136055 147 440 0 262233 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1059856
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 972
/proc/meminfo: memFree=25613260/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2099284 CPUtime=51.08 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) R 970 970 4763 0 -1 4202496 7558 0 0 0 5062 46 0 0 20 0 1 0 273796677 2149666816 270711 33554432000 4194304 5992684 140735872136048 140735872131048 4571359 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/971/statm: 524821 270711 147 440 0 524377 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2108432
[startup+102.306 s]
/proc/loadavg: 2.43 2.10 2.03 3/183 977
/proc/meminfo: memFree=21529244/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=83.17 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33154 0 0 0 8018 299 0 0 20 0 1 0 273796677 2247397376 443584 33554432000 4194304 5992684 140735872136048 140735872130496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443584 173 440 0 548237 0
[pid=973] ppid=971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/973/stat : 973 (cp2_pre.sh) S 971 970 4763 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273804999 9367552 277 33554432000 4194304 5064252 140733605176784 140733605175488 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/973/statm: 2287 277 234 213 0 72 0
[pid=974] ppid=973 vsize=1625452 CPUtime=19.06 cores=0,2,4,6
/proc/974/stat : 974 (coprocessor) R 973 970 4763 0 -1 4202496 298414 0 0 0 1825 81 0 0 20 0 1 0 273805000 1664462848 401959 33554432000 4194304 6586260 140737007133184 140737007129944 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/974/statm: 406363 401960 137 584 0 405775 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 3838472
[startup+162.3 s]
/proc/loadavg: 2.29 2.12 2.04 3/183 1000
/proc/meminfo: memFree=19189708/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=83.17 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33154 0 0 0 8018 299 0 0 20 0 1 0 273796677 2247397376 443584 33554432000 4194304 5992684 140735872136048 140735872130496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443584 173 440 0 548237 0
[pid=973] ppid=971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/973/stat : 973 (cp2_pre.sh) S 971 970 4763 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273804999 9367552 277 33554432000 4194304 5064252 140733605176784 140733605175488 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/973/statm: 2287 277 234 213 0 72 0
[pid=974] ppid=973 vsize=4173356 CPUtime=79.04 cores=0,2,4,6
/proc/974/stat : 974 (coprocessor) R 973 970 4763 0 -1 4202496 490210 0 0 0 7764 140 0 0 20 0 1 0 273805000 4273516544 1011559 33554432000 4194304 6586260 140737007133184 140737007129208 4754084 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/974/statm: 1043339 1011559 180 584 0 1042751 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 6386376
[startup+222.3 s]
/proc/loadavg: 2.65 2.24 2.08 3/182 1001
/proc/meminfo: memFree=17750416/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=83.17 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33154 0 0 0 8018 299 0 0 20 0 1 0 273796677 2247397376 443584 33554432000 4194304 5992684 140735872136048 140735872130496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443584 173 440 0 548237 0
[pid=973] ppid=971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/973/stat : 973 (cp2_pre.sh) S 971 970 4763 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273804999 9367552 277 33554432000 4194304 5064252 140733605176784 140733605175488 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/973/statm: 2287 277 234 213 0 72 0
[pid=974] ppid=973 vsize=4320832 CPUtime=137.33 cores=0,2,4,6
/proc/974/stat : 974 (coprocessor) R 973 970 4763 0 -1 4202496 492898 0 0 0 13351 382 0 0 20 0 1 0 273805000 4424531968 1048484 33554432000 4194304 6586260 140737007133184 140737007128936 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 170 0 0
/proc/974/statm: 1080208 1048484 199 584 0 1079620 0
Current children cumulated CPU time (s) 220.5
Current children cumulated vsize (KiB) 6533852
[startup+282.3 s]
/proc/loadavg: 2.34 2.23 2.09 3/181 1003
/proc/meminfo: memFree=21148196/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33169 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872122312 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=2837120 CPUtime=45.96 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) R 971 970 4763 0 -1 4202496 36402 0 0 0 4532 64 0 0 20 0 1 0 273820308 2905210880 517989 33554432000 4194304 5654031 140737327806352 140737327804136 4233151 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 709280 517989 137 357 0 708920 0
Current children cumulated CPU time (s) 280.43
Current children cumulated vsize (KiB) 5040992
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 2.22 2.21 2.09 3/181 1003
/proc/meminfo: memFree=21129828/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33169 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872122312 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=2839360 CPUtime=70.75 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) R 971 970 4763 0 -1 4202496 36925 0 0 0 7011 64 0 0 20 0 1 0 273820308 2907504640 522089 33554432000 4194304 5654031 140737327806352 140737327804184 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 709840 522089 137 357 0 709480 0
Current children cumulated CPU time (s) 305.22
Current children cumulated vsize (KiB) 5043232
[startup+313.506 s]
/proc/loadavg: 2.21 2.21 2.09 3/181 1003
/proc/meminfo: memFree=21127536/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33169 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872122312 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=2839756 CPUtime=77.16 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) R 971 970 4763 0 -1 4202496 37012 0 0 0 7652 64 0 0 20 0 1 0 273820308 2907910144 522687 33554432000 4194304 5654031 140737327806352 140737327804136 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 709939 522687 137 357 0 709579 0
Current children cumulated CPU time (s) 311.63
Current children cumulated vsize (KiB) 5043628
[startup+319.9 s]
/proc/loadavg: 2.19 2.20 2.09 3/181 1003
/proc/meminfo: memFree=21123068/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33169 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872122312 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=2840136 CPUtime=83.55 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) R 971 970 4763 0 -1 4202496 37084 0 0 0 8291 64 0 0 20 0 1 0 273820308 2908299264 523781 33554432000 4194304 5654031 140737327806352 140737327804184 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 710034 523781 137 357 0 709674 0
Current children cumulated CPU time (s) 318.02
Current children cumulated vsize (KiB) 5044008
[startup+321.5 s]
/proc/loadavg: 2.17 2.20 2.09 3/181 1003
/proc/meminfo: memFree=21122944/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33169 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872122312 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=2840136 CPUtime=85.15 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) R 971 970 4763 0 -1 4202496 37090 0 0 0 8451 64 0 0 20 0 1 0 273820308 2908299264 523787 33554432000 4194304 5654031 140737327806352 140737327804184 4233201 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 710034 523787 137 357 0 709674 0
Current children cumulated CPU time (s) 319.62
Current children cumulated vsize (KiB) 5044008
[startup+322.306 s]
/proc/loadavg: 2.17 2.20 2.09 3/181 1003
/proc/meminfo: memFree=21122944/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33169 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872122312 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=2840136 CPUtime=85.95 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) R 971 970 4763 0 -1 4202496 37090 0 0 0 8531 64 0 0 20 0 1 0 273820308 2908299264 523787 33554432000 4194304 5654031 140737327806352 140737327804184 4233168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 710034 523787 137 357 0 709674 0
Current children cumulated CPU time (s) 320.42
Current children cumulated vsize (KiB) 5044008
[startup+322.7 s]
/proc/loadavg: 2.17 2.20 2.09 3/181 1003
/proc/meminfo: memFree=21122944/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33169 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872122312 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=2840136 CPUtime=86.35 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) R 971 970 4763 0 -1 4202496 37090 0 0 0 8571 64 0 0 20 0 1 0 273820308 2908299264 523787 33554432000 4194304 5654031 140737327806352 140737327804184 4233460 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 710034 523787 137 357 0 709674 0
Current children cumulated CPU time (s) 320.82
Current children cumulated vsize (KiB) 5044008
[startup+322.9 s]
/proc/loadavg: 2.17 2.20 2.09 3/181 1003
/proc/meminfo: memFree=21122944/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33178 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872132384 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=0 CPUtime=86.44 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) Z 971 970 4763 0 -1 4202508 37095 0 0 0 8577 67 0 0 20 0 1 0 273820308 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 320.91
Current children cumulated vsize (KiB) 2203872
[startup+323 s]
/proc/loadavg: 2.17 2.20 2.09 3/181 1003
/proc/meminfo: memFree=21122944/32873648 swapFree=6864/6864
[pid=970] ppid=968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/970/stat : 970 (npSolver-pbo-It) S 968 970 4763 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273796677 9367552 274 33554432000 4194304 5064252 140733911817296 140733911816208 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/970/statm: 2287 274 233 213 0 72 0
[pid=971] ppid=970 vsize=2194724 CPUtime=234.47 cores=0,2,4,6
/proc/971/stat : 971 (npSolver-pbo) S 970 970 4763 0 -1 4202496 33178 493802 0 0 8018 300 14628 501 20 0 1 0 273796677 2247397376 443586 33554432000 4194304 5992684 140735872136048 140735872132384 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/971/statm: 548681 443586 175 440 0 548237 0
[pid=1003] ppid=971 vsize=0 CPUtime=86.44 cores=0,2,4,6
/proc/1003/stat : 1003 (glucosInc) Z 971 970 4763 0 -1 4202508 37095 0 0 0 8577 67 0 0 20 0 1 0 273820308 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1003/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 320.91
Current children cumulated vsize (KiB) 2203872
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 970 and gives
# childrusage.ru_utime.tv_sec=226
# childrusage.ru_utime.tv_usec=467571
# childrusage.ru_stime.tv_sec=8
# childrusage.ru_stime.tv_usec=294739
# CPU time returned by wait4() is 234.762
# while last known CPU time is 320.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 323.053
CPU time (s): 320.91
CPU user time (s): 312.23
CPU system time (s): 8.68
CPU usage (%): 99.3368
Max. virtual memory (cumulated for all children) (KiB): 6533852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 226.468
system time used= 8.29474
maximum resident set size= 4193944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527811
page faults= 0
swaps= 0
block input operations= 64
block output operations= 6700368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 316
runsolver used 0.681896 second user time and 1.72574 second system time
The end