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-3733588-1338714969/watcher-3733588-1338714969 -o /tmp/evaluation-result-3733588-1338714969/solver-3733588-1338714969 -C 1800 -W 1900 -M 15500 pbclasp instance-3733588-1338714969.opb HOME/temp
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: 0.54 0.52 0.68 3/178 30948
/proc/meminfo: memFree=29791772/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) R 30946 30948 32725 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 464 33554432000 4194304 4198148 140735879885616 140735879883064 245293879188 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 465 345 1 0 193 0
[startup+0.052829 s]
/proc/loadavg: 0.54 0.52 0.68 3/178 30948
/proc/meminfo: memFree=29791772/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.100216 s]
/proc/loadavg: 0.54 0.52 0.68 3/178 30948
/proc/meminfo: memFree=29791772/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.300182 s]
/proc/loadavg: 0.54 0.52 0.68 3/178 30948
/proc/meminfo: memFree=29791772/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.700179 s]
/proc/loadavg: 0.54 0.52 0.68 3/178 30948
/proc/meminfo: memFree=29791772/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+1.50028 s]
/proc/loadavg: 0.54 0.52 0.68 2/183 31524
/proc/meminfo: memFree=29788712/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
[pid=30953] ppid=30948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30953/stat : 30953 (sh) S 30948 30948 32725 0 -1 4202496 371 617 0 0 0 0 0 0 20 0 1 0 337625519 9367552 263 33554432000 4194304 5064252 140735354489792 140735354488048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30953/statm: 2287 263 223 213 0 72 0
[pid=30956] ppid=30953 vsize=4228 CPUtime=1.48 cores=0,2,4,6
/proc/30956/stat : 30956 (clasp-1.0) R 30953 30948 32725 0 -1 4202496 621 0 0 0 148 0 0 0 20 0 1 0 337625519 4329472 529 33554432000 134512640 134847168 4292155712 4292154452 134737633 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30956/statm: 1057 529 272 82 0 298 0
[pid=30957] ppid=30953 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30957/stat : 30957 (pboutclasp.pl) S 30953 30948 32725 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337625519 26071040 437 33554432000 4194304 4198148 140736158718112 140736158708648 245297636592 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64428
[startup+3.10028 s]
/proc/loadavg: 0.54 0.52 0.68 3/181 32146
/proc/meminfo: memFree=29788780/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
[pid=30953] ppid=30948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30953/stat : 30953 (sh) S 30948 30948 32725 0 -1 4202496 371 617 0 0 0 0 0 0 20 0 1 0 337625519 9367552 263 33554432000 4194304 5064252 140735354489792 140735354488048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30953/statm: 2287 263 223 213 0 72 0
[pid=30956] ppid=30953 vsize=4356 CPUtime=3.08 cores=0,2,4,6
/proc/30956/stat : 30956 (clasp-1.0) R 30953 30948 32725 0 -1 4202496 659 0 0 0 308 0 0 0 20 0 1 0 337625519 4460544 567 33554432000 134512640 134847168 4292155712 4292154352 134782432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30956/statm: 1089 567 272 82 0 330 0
[pid=30957] ppid=30953 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30957/stat : 30957 (pboutclasp.pl) S 30953 30948 32725 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337625519 26071040 437 33554432000 4194304 4198148 140736158718112 140736158708648 245297636592 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 64556
[startup+6.30037 s]
/proc/loadavg: 0.57 0.53 0.68 3/182 1564
/proc/meminfo: memFree=29789124/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
[pid=30953] ppid=30948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30953/stat : 30953 (sh) S 30948 30948 32725 0 -1 4202496 371 617 0 0 0 0 0 0 20 0 1 0 337625519 9367552 263 33554432000 4194304 5064252 140735354489792 140735354488048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30953/statm: 2287 263 223 213 0 72 0
[pid=30956] ppid=30953 vsize=4752 CPUtime=6.28 cores=0,2,4,6
/proc/30956/stat : 30956 (clasp-1.0) R 30953 30948 32725 0 -1 4202496 778 0 0 0 628 0 0 0 20 0 1 0 337625519 4866048 686 33554432000 134512640 134847168 4292155712 4292154396 134715914 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30956/statm: 1188 686 272 82 0 429 0
[pid=30957] ppid=30953 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30957/stat : 30957 (pboutclasp.pl) S 30953 30948 32725 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337625519 26071040 437 33554432000 4194304 4198148 140736158718112 140736158708648 245297636592 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64952
[startup+12.7004 s]
/proc/loadavg: 0.61 0.54 0.68 3/182 5315
/proc/meminfo: memFree=29787868/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
[pid=30953] ppid=30948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30953/stat : 30953 (sh) S 30948 30948 32725 0 -1 4202496 371 617 0 0 0 0 0 0 20 0 1 0 337625519 9367552 263 33554432000 4194304 5064252 140735354489792 140735354488048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30953/statm: 2287 263 223 213 0 72 0
[pid=30956] ppid=30953 vsize=5012 CPUtime=12.68 cores=0,2,4,6
/proc/30956/stat : 30956 (clasp-1.0) R 30953 30948 32725 0 -1 4202496 828 0 0 0 1268 0 0 0 20 0 1 0 337625519 5132288 736 33554432000 134512640 134847168 4292155712 4292153952 3099882 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30956/statm: 1253 736 272 82 0 494 0
[pid=30957] ppid=30953 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30957/stat : 30957 (pboutclasp.pl) S 30953 30948 32725 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337625519 26071040 437 33554432000 4194304 4198148 140736158718112 140736158708648 245297636592 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65212
[startup+25.5005 s]
/proc/loadavg: 0.77 0.58 0.69 3/183 12758
/proc/meminfo: memFree=29786872/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
[pid=30953] ppid=30948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30953/stat : 30953 (sh) S 30948 30948 32725 0 -1 4202496 371 617 0 0 0 0 0 0 20 0 1 0 337625519 9367552 263 33554432000 4194304 5064252 140735354489792 140735354488048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30953/statm: 2287 263 223 213 0 72 0
[pid=30956] ppid=30953 vsize=5404 CPUtime=25.48 cores=0,2,4,6
/proc/30956/stat : 30956 (clasp-1.0) R 30953 30948 32725 0 -1 4202496 941 0 0 0 2548 0 0 0 20 0 1 0 337625519 5533696 849 33554432000 134512640 134847168 4292155712 4292154352 134782472 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30956/statm: 1351 849 272 82 0 592 0
[pid=30957] ppid=30953 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30957/stat : 30957 (pboutclasp.pl) S 30953 30948 32725 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337625519 26071040 437 33554432000 4194304 4198148 140736158718112 140736158708648 245297636592 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65604
Solver just ended. Dumping a history of the last processes samples
[startup+26.3004 s]
/proc/loadavg: 0.77 0.58 0.69 4/183 13382
/proc/meminfo: memFree=29787300/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
[pid=30953] ppid=30948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30953/stat : 30953 (sh) S 30948 30948 32725 0 -1 4202496 371 617 0 0 0 0 0 0 20 0 1 0 337625519 9367552 263 33554432000 4194304 5064252 140735354489792 140735354488048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30953/statm: 2287 263 223 213 0 72 0
[pid=30956] ppid=30953 vsize=5404 CPUtime=26.28 cores=0,2,4,6
/proc/30956/stat : 30956 (clasp-1.0) R 30953 30948 32725 0 -1 4202496 941 0 0 0 2628 0 0 0 20 0 1 0 337625519 5533696 849 33554432000 134512640 134847168 4292155712 4292154352 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30956/statm: 1351 849 272 82 0 592 0
[pid=30957] ppid=30953 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30957/stat : 30957 (pboutclasp.pl) S 30953 30948 32725 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337625519 26071040 437 33554432000 4194304 4198148 140736158718112 140736158708648 245297636592 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 26.28
Current children cumulated vsize (KiB) 65604
[startup+27.1004 s]
/proc/loadavg: 0.77 0.58 0.69 4/183 13382
/proc/meminfo: memFree=29787300/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
[pid=30953] ppid=30948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30953/stat : 30953 (sh) S 30948 30948 32725 0 -1 4202496 371 617 0 0 0 0 0 0 20 0 1 0 337625519 9367552 263 33554432000 4194304 5064252 140735354489792 140735354488048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30953/statm: 2287 263 223 213 0 72 0
[pid=30956] ppid=30953 vsize=5404 CPUtime=27.08 cores=0,2,4,6
/proc/30956/stat : 30956 (clasp-1.0) R 30953 30948 32725 0 -1 4202496 941 0 0 0 2708 0 0 0 20 0 1 0 337625519 5533696 849 33554432000 134512640 134847168 4292155712 4292154352 134782592 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30956/statm: 1351 849 272 82 0 592 0
[pid=30957] ppid=30953 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30957/stat : 30957 (pboutclasp.pl) S 30953 30948 32725 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337625519 26071040 437 33554432000 4194304 4198148 140736158718112 140736158708648 245297636592 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 27.08
Current children cumulated vsize (KiB) 65604
[startup+27.3004 s]
/proc/loadavg: 0.77 0.58 0.69 4/183 13382
/proc/meminfo: memFree=29787300/32873844 swapFree=7372/7372
[pid=30948] ppid=30946 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/30948/stat : 30948 (pbclasp) S 30946 30948 32725 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 337625518 26206208 488 33554432000 4194304 4198148 140735879885616 140735879884504 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30948/statm: 6398 488 363 1 0 193 0
[pid=30953] ppid=30948 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30953/stat : 30953 (sh) S 30948 30948 32725 0 -1 4202496 371 617 0 0 0 0 0 0 20 0 1 0 337625519 9367552 263 33554432000 4194304 5064252 140735354489792 140735354488048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30953/statm: 2287 263 223 213 0 72 0
[pid=30956] ppid=30953 vsize=5404 CPUtime=27.28 cores=0,2,4,6
/proc/30956/stat : 30956 (clasp-1.0) R 30953 30948 32725 0 -1 4202496 941 0 0 0 2728 0 0 0 20 0 1 0 337625519 5533696 849 33554432000 134512640 134847168 4292155712 4292154352 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30956/statm: 1351 849 272 82 0 592 0
[pid=30957] ppid=30953 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30957/stat : 30957 (pboutclasp.pl) S 30953 30948 32725 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 337625519 26071040 437 33554432000 4194304 4198148 140736158718112 140736158708648 245297636592 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 27.28
Current children cumulated vsize (KiB) 65604
Child status: 0
Real time (s): 27.3549
CPU time (s): 27.3508
CPU user time (s): 27.3458
CPU system time (s): 0.004999
CPU usage (%): 99.985
Max. virtual memory (cumulated for all children) (KiB): 65604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.3458
system time used= 0.004999
maximum resident set size= 3396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 58
runsolver used 0.093985 second user time and 0.236963 second system time
The end