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-3711329-1338180325/watcher-3711329-1338180325 -o /tmp/evaluation-result-3711329-1338180325/solver-3711329-1338180325 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711329-1338180325.wbo
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.00 2.00 1.91 3/179 27578
/proc/meminfo: memFree=29867400/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[startup+0.036724 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27578
/proc/meminfo: memFree=29867400/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27578
/proc/meminfo: memFree=29867400/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27578
/proc/meminfo: memFree=29867400/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700211 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27578
/proc/meminfo: memFree=29867400/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29860972/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=3896 CPUtime=1.49 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 709 0 0 0 149 0 0 0 20 0 1 0 284157272 3989504 661 33554432000 4194304 6212839 140734682573600 140734682571608 4685428 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 974 661 242 493 0 479 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13048
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29859236/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=4160 CPUtime=3.09 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 790 0 0 0 309 0 0 0 20 0 1 0 284157272 4259840 742 33554432000 4194304 6212839 140734682573600 140734682571752 4328616 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1040 742 242 493 0 545 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13312
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29857268/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=4428 CPUtime=6.29 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 841 0 0 0 629 0 0 0 20 0 1 0 284157272 4534272 793 33554432000 4194304 6212839 140734682573600 140734682571752 4365999 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1107 793 242 493 0 612 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13580
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29854084/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=4560 CPUtime=12.69 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 882 0 0 0 1269 0 0 0 20 0 1 0 284157272 4669440 834 33554432000 4194304 6212839 140734682573600 140734682572008 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1140 834 242 493 0 645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13712
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27580
/proc/meminfo: memFree=29852008/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=4844 CPUtime=25.48 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 943 0 0 0 2548 0 0 0 20 0 1 0 284157272 4960256 895 33554432000 4194304 6212839 140734682573600 140734682571752 4333840 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1211 895 242 493 0 716 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13996
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29848908/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6044 CPUtime=51.08 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1264 0 0 0 5108 0 0 0 20 0 1 0 284157272 6189056 1216 33554432000 4194304 6212839 140734682573600 140734682571608 4308318 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1511 1216 242 493 0 1016 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15196
Solver just ended. Dumping a history of the last processes samples
[startup+76.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29846360/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6456 CPUtime=76.68 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1357 0 0 0 7668 0 0 0 20 0 1 0 284157272 6610944 1313 33554432000 4194304 6212839 140734682573600 140734682571752 5485388 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1614 1313 242 493 0 1119 0
Current children cumulated CPU time (s) 76.68
Current children cumulated vsize (KiB) 15608
[startup+89.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29844684/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6588 CPUtime=89.47 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1367 0 0 0 8947 0 0 0 20 0 1 0 284157272 6746112 1323 33554432000 4194304 6212839 140734682573600 140734682571752 4685428 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1647 1323 242 493 0 1152 0
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (KiB) 15740
[startup+92.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29844684/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6588 CPUtime=92.67 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1379 0 0 0 9267 0 0 0 20 0 1 0 284157272 6746112 1335 33554432000 4194304 6212839 140734682573600 140734682571752 4743432 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1647 1335 242 493 0 1152 0
Current children cumulated CPU time (s) 92.67
Current children cumulated vsize (KiB) 15740
[startup+94.3003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29844684/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6588 CPUtime=94.27 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1385 0 0 0 9427 0 0 0 20 0 1 0 284157272 6746112 1341 33554432000 4194304 6212839 140734682573600 140734682571752 4685428 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1647 1341 242 493 0 1152 0
Current children cumulated CPU time (s) 94.27
Current children cumulated vsize (KiB) 15740
[startup+95.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29844684/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6588 CPUtime=95.07 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1385 0 0 0 9507 0 0 0 20 0 1 0 284157272 6746112 1341 33554432000 4194304 6212839 140734682573600 140734682571752 4685355 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1647 1341 242 493 0 1152 0
Current children cumulated CPU time (s) 95.07
Current children cumulated vsize (KiB) 15740
[startup+95.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29844684/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6588 CPUtime=95.47 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1385 0 0 0 9547 0 0 0 20 0 1 0 284157272 6746112 1341 33554432000 4194304 6212839 140734682573600 140734682571752 4298171 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1647 1341 242 493 0 1152 0
Current children cumulated CPU time (s) 95.47
Current children cumulated vsize (KiB) 15740
[startup+95.7065 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29844684/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6588 CPUtime=95.68 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1385 0 0 0 9568 0 0 0 20 0 1 0 284157272 6746112 1341 33554432000 4194304 6212839 140734682573600 140734682571752 4303969 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1647 1341 242 493 0 1152 0
Current children cumulated CPU time (s) 95.68
Current children cumulated vsize (KiB) 15740
[startup+95.8003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 27581
/proc/meminfo: memFree=29844684/32873844 swapFree=7372/7372
[pid=27578] ppid=27576 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27578/stat : 27578 (clasp-wbo.sh) S 27576 27578 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284157272 9371648 275 33554432000 4194304 5064252 140736381183856 140736381182768 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27578/statm: 2288 275 232 213 0 73 0
[pid=27579] ppid=27578 vsize=6588 CPUtime=95.77 cores=1,3,5,7
/proc/27579/stat : 27579 (clasp-R5325) R 27578 27578 27436 0 -1 4202496 1385 0 0 0 9577 0 0 0 20 0 1 0 284157272 6746112 1341 33554432000 4194304 6212839 140734682573600 140734682571752 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27579/statm: 1647 1341 242 493 0 1152 0
Current children cumulated CPU time (s) 95.77
Current children cumulated vsize (KiB) 15740
Child status: 10
Real time (s): 95.8312
CPU time (s): 95.8124
CPU user time (s): 95.8074
CPU system time (s): 0.004999
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 15740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.8074
system time used= 0.004999
maximum resident set size= 5396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 100
runsolver used 0.146977 second user time and 0.381941 second system time
The end