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-3700014-1338086474/watcher-3700014-1338086474 -o /tmp/evaluation-result-3700014-1338086474/solver-3700014-1338086474 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700014-1338086474.opb 871436598 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: 2.27 2.18 2.09 3/179 19056
/proc/meminfo: memFree=19867896/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[startup+0.0863941 s]
/proc/loadavg: 2.27 2.18 2.09 3/179 19056
/proc/meminfo: memFree=19867896/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100212 s]
/proc/loadavg: 2.27 2.18 2.09 3/179 19056
/proc/meminfo: memFree=19867896/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.27 2.18 2.09 3/179 19056
/proc/meminfo: memFree=19867896/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700245 s]
/proc/loadavg: 2.27 2.18 2.09 3/179 19056
/proc/meminfo: memFree=19867896/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.25 2.17 2.09 3/181 19058
/proc/meminfo: memFree=19818080/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=123772 CPUtime=1.49 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) R 19056 19056 14700 0 -1 4202496 17827 0 0 0 144 5 0 0 20 0 1 0 274772848 126742528 26979 33554432000 4194304 5992684 140734089449136 140734089438888 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 30943 26979 158 440 0 30499 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132920
[startup+3.1003 s]
/proc/loadavg: 2.25 2.17 2.09 3/183 19060
/proc/meminfo: memFree=19628792/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=210620 CPUtime=1.94 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) S 19056 19056 14700 0 -1 4202496 24624 0 0 0 178 16 0 0 20 0 1 0 274772848 215674880 36399 33554432000 4194304 5992684 140734089449136 140734089443584 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 52655 36399 165 440 0 52211 0
[pid=19059] ppid=19057 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19059/stat : 19059 (cp2_pre.sh) S 19057 19056 14700 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274773043 9367552 276 33554432000 4194304 5064252 140733738929568 140733738928272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19059/statm: 2287 276 234 213 0 72 0
[pid=19060] ppid=19059 vsize=603220 CPUtime=1.13 cores=1,3,5,7
/proc/19060/stat : 19060 (coprocessor) R 19059 19056 14700 0 -1 4202496 28132 0 0 0 102 11 0 0 20 0 1 0 274773044 617697280 128372 33554432000 4194304 6586260 140737084559888 140737084556632 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19060/statm: 150805 128372 164 584 0 150217 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 832136
[startup+6.30038 s]
/proc/loadavg: 2.25 2.17 2.09 3/183 19060
/proc/meminfo: memFree=18821504/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=210620 CPUtime=1.94 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) S 19056 19056 14700 0 -1 4202496 24624 0 0 0 178 16 0 0 20 0 1 0 274772848 215674880 36399 33554432000 4194304 5992684 140734089449136 140734089443584 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 52655 36399 165 440 0 52211 0
[pid=19059] ppid=19057 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19059/stat : 19059 (cp2_pre.sh) S 19057 19056 14700 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274773043 9367552 276 33554432000 4194304 5064252 140733738929568 140733738928272 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19059/statm: 2287 276 234 213 0 72 0
[pid=19060] ppid=19059 vsize=846904 CPUtime=4.33 cores=1,3,5,7
/proc/19060/stat : 19060 (coprocessor) R 19059 19056 14700 0 -1 4202496 85329 0 0 0 412 21 0 0 20 0 1 0 274773044 867229696 208048 33554432000 4194304 6586260 140737084559888 140737084555912 4770132 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19060/statm: 211726 208048 180 584 0 211138 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1075820
[startup+12.7003 s]
/proc/loadavg: 2.21 2.17 2.09 3/182 19062
/proc/meminfo: memFree=19293596/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=210620 CPUtime=11.67 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) S 19056 19056 14700 0 -1 4202496 24643 93882 0 0 178 16 933 40 20 0 1 0 274772848 215674880 36401 33554432000 4194304 5992684 140734089449136 140734089435400 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 52655 36401 167 440 0 52211 0
[pid=19062] ppid=19057 vsize=476124 CPUtime=0.99 cores=1,3,5,7
/proc/19062/stat : 19062 (glucosInc) R 19057 19056 14700 0 -1 4202496 67433 0 0 0 86 13 0 0 20 0 1 0 274774017 487550976 95600 33554432000 4194304 5654031 140735945493568 140735944442920 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19062/statm: 119031 95600 131 357 0 118671 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 695892
Solver just ended. Dumping a history of the last processes samples
[startup+13.2003 s]
/proc/loadavg: 2.21 2.17 2.09 3/182 19062
/proc/meminfo: memFree=19293596/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=210620 CPUtime=11.67 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) S 19056 19056 14700 0 -1 4202496 24643 93882 0 0 178 16 933 40 20 0 1 0 274772848 215674880 36401 33554432000 4194304 5992684 140734089449136 140734089435400 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 52655 36401 167 440 0 52211 0
[pid=19062] ppid=19057 vsize=478104 CPUtime=1.49 cores=1,3,5,7
/proc/19062/stat : 19062 (glucosInc) R 19057 19056 14700 0 -1 4202496 68076 0 0 0 136 13 0 0 20 0 1 0 274774017 489578496 96243 33554432000 4194304 5654031 140735945493568 140735945491448 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19062/statm: 119526 96243 131 357 0 119166 0
Current children cumulated CPU time (s) 13.16
Current children cumulated vsize (KiB) 697872
[startup+14.8069 s]
/proc/loadavg: 2.21 2.17 2.09 3/183 19063
/proc/meminfo: memFree=18972140/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=257072 CPUtime=12.26 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) S 19056 19056 14700 0 -1 4204032 28184 93882 0 0 224 29 933 40 20 0 1 0 274772848 263241728 48031 33554432000 4194304 5992684 140734089449136 140734089443672 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 64268 48031 184 440 0 63824 0
[pid=19062] ppid=19057 vsize=480260 CPUtime=2.1 cores=1,3,5,7
/proc/19062/stat : 19062 (glucosInc) S 19057 19056 14700 0 -1 4202496 69774 0 0 0 196 14 0 0 20 0 1 0 274774017 491786240 97941 33554432000 4194304 5654031 140735945493568 140735945491880 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19062/statm: 120065 97941 146 357 0 119705 0
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (KiB) 746480
[startup+16.4002 s]
/proc/loadavg: 2.21 2.17 2.09 2/183 19063
/proc/meminfo: memFree=18832268/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=257072 CPUtime=12.29 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) S 19056 19056 14700 0 -1 4204032 28185 93882 0 0 224 32 933 40 20 0 1 0 274772848 263241728 48032 33554432000 4194304 5992684 140734089449136 140734089443672 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 64268 48032 185 440 0 63824 0
[pid=19062] ppid=19057 vsize=480260 CPUtime=2.1 cores=1,3,5,7
/proc/19062/stat : 19062 (glucosInc) S 19057 19056 14700 0 -1 4202496 69774 0 0 0 196 14 0 0 20 0 1 0 274774017 491786240 97941 33554432000 4194304 5654031 140735945493568 140735945491880 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19062/statm: 120065 97941 146 357 0 119705 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 746480
[startup+17.2002 s]
/proc/loadavg: 2.20 2.16 2.08 2/183 19063
/proc/meminfo: memFree=18832888/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=257072 CPUtime=12.29 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) S 19056 19056 14700 0 -1 4204032 28185 93882 0 0 224 32 933 40 20 0 1 0 274772848 263241728 48032 33554432000 4194304 5992684 140734089449136 140734089443672 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 64268 48032 185 440 0 63824 0
[pid=19062] ppid=19057 vsize=480260 CPUtime=2.1 cores=1,3,5,7
/proc/19062/stat : 19062 (glucosInc) S 19057 19056 14700 0 -1 4202496 69774 0 0 0 196 14 0 0 20 0 1 0 274774017 491786240 97941 33554432000 4194304 5654031 140735945493568 140735945491880 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19062/statm: 120065 97941 146 357 0 119705 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 746480
[startup+17.6002 s]
/proc/loadavg: 2.20 2.16 2.08 2/183 19063
/proc/meminfo: memFree=18832888/32873648 swapFree=7104/7104
[pid=19056] ppid=19054 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19056/stat : 19056 (npSolver-pbo-I.) S 19054 19056 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274772848 9367552 275 33554432000 4194304 5064252 140736514909344 140736514908256 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19056/statm: 2287 275 233 213 0 72 0
[pid=19057] ppid=19056 vsize=257072 CPUtime=12.29 cores=1,3,5,7
/proc/19057/stat : 19057 (npSolver-pbo) S 19056 19056 14700 0 -1 4204032 28185 93882 0 0 224 32 933 40 20 0 1 0 274772848 263241728 48032 33554432000 4194304 5992684 140734089449136 140734089443672 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19057/statm: 64268 48032 185 440 0 63824 0
[pid=19062] ppid=19057 vsize=480260 CPUtime=2.1 cores=1,3,5,7
/proc/19062/stat : 19062 (glucosInc) S 19057 19056 14700 0 -1 4202496 69774 0 0 0 196 14 0 0 20 0 1 0 274774017 491786240 97941 33554432000 4194304 5654031 140735945493568 140735945491880 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19062/statm: 120065 97941 146 357 0 119705 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 746480
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19056 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=582239
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=741887
# CPU time returned by wait4() is 12.3241
# while last known CPU time is 14.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 17.6225
CPU time (s): 14.39
CPU user time (s): 13.53
CPU system time (s): 0.86
CPU usage (%): 81.6572
Max. virtual memory (cumulated for all children) (KiB): 1179200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5822
system time used= 0.741887
maximum resident set size= 981336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 246144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65957
involuntary context switches= 20
runsolver used 0.029995 second user time and 0.083987 second system time
The end