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-3699426-1338129857/watcher-3699426-1338129857 -o /tmp/evaluation-result-3699426-1338129857/solver-3699426-1338129857 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699426-1338129857.opb 1786814745 HOME HOME
running on 4 cores: 1,3,5,7
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: 1.93 2.18 2.14 3/178 12680
/proc/meminfo: memFree=29813792/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[startup+0.0782549 s]
/proc/loadavg: 1.93 2.18 2.14 3/178 12680
/proc/meminfo: memFree=29813792/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 1.93 2.18 2.14 3/178 12680
/proc/meminfo: memFree=29813792/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300213 s]
/proc/loadavg: 1.93 2.18 2.14 3/178 12680
/proc/meminfo: memFree=29813792/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70022 s]
/proc/loadavg: 1.93 2.18 2.14 3/178 12680
/proc/meminfo: memFree=29813792/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 1.93 2.18 2.14 3/180 12682
/proc/meminfo: memFree=29798968/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=28696 CPUtime=1.49 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) R 12680 12680 11017 0 -1 4202496 4923 0 0 0 148 1 0 0 20 0 1 0 279109948 29384704 6202 33554432000 4194304 5992684 140737121995232 140737121991352 4475635 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12681/statm: 7174 6202 148 440 0 6730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37844
[startup+3.10029 s]
/proc/loadavg: 1.93 2.18 2.14 3/180 12682
/proc/meminfo: memFree=29782632/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=87864 CPUtime=3.09 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) R 12680 12680 11017 0 -1 4202496 9071 0 0 0 305 4 0 0 20 0 1 0 279109948 89972736 14155 33554432000 4194304 5992684 140737121995232 140737121991352 4568047 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12681/statm: 21966 14155 165 440 0 21522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97012
[startup+6.30028 s]
/proc/loadavg: 1.94 2.18 2.14 3/180 12682
/proc/meminfo: memFree=29542500/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=409532 CPUtime=6.28 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) R 12680 12680 11017 0 -1 4202496 41664 0 0 0 614 14 0 0 20 0 1 0 279109948 419360768 89576 33554432000 4194304 5992684 140737121995232 140737121986888 4524659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12681/statm: 102383 89576 165 440 0 101939 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 418680
[startup+12.7003 s]
/proc/loadavg: 1.94 2.18 2.14 3/180 12682
/proc/meminfo: memFree=28902344/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=1458404 CPUtime=12.69 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) R 12680 12680 11017 0 -1 4202496 108846 0 0 0 1228 41 0 0 20 0 1 0 279109948 1493405696 240178 33554432000 4194304 5992684 140737121995232 140737121986888 4571337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12681/statm: 364601 240178 165 440 0 364157 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1467552
[startup+25.5004 s]
/proc/loadavg: 2.11 2.20 2.14 3/182 12684
/proc/meminfo: memFree=26465328/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=1511672 CPUtime=14.96 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) S 12680 12680 11017 0 -1 4202496 122915 0 0 0 1345 151 0 0 20 0 1 0 279109948 1547952128 268869 33554432000 4194304 5992684 140737121995232 140737121989680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/12681/statm: 377918 268869 172 440 0 377474 0
[pid=12683] ppid=12681 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12683/stat : 12683 (cp2_pre.sh) S 12681 12680 11017 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279111446 9367552 276 33554432000 4194304 5064252 140733465128288 140733465126992 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12683/statm: 2287 276 234 213 0 72 0
[pid=12684] ppid=12683 vsize=2026252 CPUtime=10.5 cores=1,3,5,7
/proc/12684/stat : 12684 (coprocessor) R 12683 12680 11017 0 -1 4202496 23483 0 0 0 996 54 0 0 20 0 1 0 279111447 2074882048 389954 33554432000 4194304 6586260 140736541516784 140736541512536 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/12684/statm: 506563 389954 158 584 0 505975 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 3556220
[startup+51.1067 s]
/proc/loadavg: 2.41 2.26 2.17 3/181 12686
/proc/meminfo: memFree=27037760/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=1511672 CPUtime=47.7 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) S 12680 12680 11017 0 -1 4202496 122932 24385 0 0 1345 152 3100 173 20 0 1 0 279109948 1547952128 268871 33554432000 4194304 5992684 140737121995232 140737121981496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 1 0 0
/proc/12681/statm: 377918 268871 174 440 0 377474 0
[pid=12686] ppid=12681 vsize=1223900 CPUtime=3.16 cores=1,3,5,7
/proc/12686/stat : 12686 (glucosInc) R 12681 12680 11017 0 -1 4202496 149355 0 0 0 277 39 0 0 20 0 1 0 279114741 1253273600 277943 33554432000 4194304 5654031 140735828627120 140735827576472 4797458 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12686/statm: 305975 277943 108 357 0 305615 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 2744720
[startup+102.3 s]
/proc/loadavg: 3.27 2.49 2.25 2/182 12687
/proc/meminfo: memFree=23016652/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=1697376 CPUtime=51.12 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) S 12680 12680 11017 0 -1 4204032 130810 24385 0 0 1553 286 3100 173 20 0 1 0 279109948 1738113024 315315 33554432000 4194304 5992684 140737121995232 140737121989768 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/12681/statm: 424344 315315 192 440 0 423900 0
[pid=12686] ppid=12681 vsize=2945468 CPUtime=11.66 cores=1,3,5,7
/proc/12686/stat : 12686 (glucosInc) S 12681 12680 11017 0 -1 4202496 323008 0 0 0 1079 87 0 0 20 0 1 0 279114741 3016159232 625529 33554432000 4194304 5654031 140735828627120 140735828625432 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12686/statm: 736367 625529 147 357 0 736007 0
Current children cumulated CPU time (s) 62.78
Current children cumulated vsize (KiB) 4651992
heavy processes:
%CPU=12 pid=12687 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+102.806 s]
/proc/loadavg: 3.27 2.49 2.25 2/182 12687
/proc/meminfo: memFree=23018516/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=1697376 CPUtime=51.12 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) S 12680 12680 11017 0 -1 4204032 130810 24385 0 0 1553 286 3100 173 20 0 1 0 279109948 1738113024 315315 33554432000 4194304 5992684 140737121995232 140737121989768 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/12681/statm: 424344 315315 192 440 0 423900 0
[pid=12686] ppid=12681 vsize=2945468 CPUtime=11.66 cores=1,3,5,7
/proc/12686/stat : 12686 (glucosInc) S 12681 12680 11017 0 -1 4202496 323008 0 0 0 1079 87 0 0 20 0 1 0 279114741 3016159232 625529 33554432000 4194304 5654031 140735828627120 140735828625432 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12686/statm: 736367 625529 147 357 0 736007 0
Current children cumulated CPU time (s) 62.78
Current children cumulated vsize (KiB) 4651992
[startup+103.2 s]
/proc/loadavg: 3.27 2.49 2.25 2/182 12687
/proc/meminfo: memFree=23018516/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=1697376 CPUtime=51.12 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) S 12680 12680 11017 0 -1 4204032 130810 24385 0 0 1553 286 3100 173 20 0 1 0 279109948 1738113024 315315 33554432000 4194304 5992684 140737121995232 140737121989768 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/12681/statm: 424344 315315 192 440 0 423900 0
[pid=12686] ppid=12681 vsize=2945468 CPUtime=11.66 cores=1,3,5,7
/proc/12686/stat : 12686 (glucosInc) S 12681 12680 11017 0 -1 4202496 323008 0 0 0 1079 87 0 0 20 0 1 0 279114741 3016159232 625529 33554432000 4194304 5654031 140735828627120 140735828625432 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12686/statm: 736367 625529 147 357 0 736007 0
Current children cumulated CPU time (s) 62.78
Current children cumulated vsize (KiB) 4651992
[startup+103.3 s]
/proc/loadavg: 3.27 2.49 2.25 2/182 12687
/proc/meminfo: memFree=23018516/32873648 swapFree=7368/7368
[pid=12680] ppid=12678 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12680/stat : 12680 (npSolver-pbo-I.) S 12678 12680 11017 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279109948 9367552 275 33554432000 4194304 5064252 140736738760208 140736738759120 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12680/statm: 2287 275 233 213 0 72 0
[pid=12681] ppid=12680 vsize=0 CPUtime=51.13 cores=1,3,5,7
/proc/12681/stat : 12681 (npSolver-pbo) R 12680 12680 11017 0 -1 4204036 130810 24385 0 0 1553 287 3100 173 20 0 1 0 279109948 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 1 0 0
/proc/12681/statm: 0 0 0 0 0 0 0
[pid=12686] ppid=12681 vsize=2945468 CPUtime=11.66 cores=1,3,5,7
/proc/12686/stat : 12686 (glucosInc) S 12681 12680 11017 0 -1 4202496 323008 0 0 0 1079 87 0 0 20 0 1 0 279114741 3016159232 625529 33554432000 4194304 5654031 140735828627120 140735828625432 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12686/statm: 736367 625529 147 357 0 736007 0
Current children cumulated CPU time (s) 62.79
Current children cumulated vsize (KiB) 2954616
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12680 and gives
# childrusage.ru_utime.tv_sec=46
# childrusage.ru_utime.tv_usec=531926
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=639294
# CPU time returned by wait4() is 51.1712
# while last known CPU time is 62.79
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 103.325
CPU time (s): 62.79
CPU user time (s): 57.32
CPU system time (s): 5.47
CPU usage (%): 60.7694
Max. virtual memory (cumulated for all children) (KiB): 4694636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.5319
system time used= 4.63929
maximum resident set size= 1687392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155570
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2417200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 428400
involuntary context switches= 98
runsolver used 0.182972 second user time and 0.482926 second system time
The end