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-3729951-1338680496/watcher-3729951-1338680496 -o /tmp/evaluation-result-3729951-1338680496/solver-3729951-1338680496 -C 1800 -W 1900 -M 15500 pbclasp instance-3729951-1338680496.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: 2.01 2.00 1.72 3/179 27645
/proc/meminfo: memFree=27937728/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) R 27643 27645 26887 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 334176488 26206208 474 33554432000 4194304 4198148 140736107564112 140736107561560 271790959920 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6398 474 351 1 0 193 0
[startup+0.014109 s]
/proc/loadavg: 2.01 2.00 1.72 3/179 27645
/proc/meminfo: memFree=27937728/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) R 27643 27645 26887 0 -1 4202496 578 0 0 0 0 0 0 0 20 0 1 0 334176488 26357760 508 33554432000 4194304 4198148 140736107564112 140736107561560 271790957808 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 508 356 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.10022 s]
/proc/loadavg: 2.01 2.00 1.72 3/179 27645
/proc/meminfo: memFree=27937728/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.09 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) R 27643 27645 26887 0 -1 4202496 578 0 0 0 9 0 0 0 20 0 1 0 334176488 26357760 508 33554432000 4194304 4198148 140736107564112 140736107561560 271812558451 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 508 356 1 0 230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25740
[startup+0.300164 s]
/proc/loadavg: 2.01 2.00 1.72 3/179 27645
/proc/meminfo: memFree=27937728/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 25740
[startup+0.70011 s]
/proc/loadavg: 2.01 2.00 1.72 3/179 27645
/proc/meminfo: memFree=27937728/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 25740
[startup+1.5004 s]
/proc/loadavg: 2.01 2.00 1.72 3/184 27650
/proc/meminfo: memFree=27931736/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27648] ppid=27647 vsize=25592 CPUtime=1.26 cores=0,2,4,6
/proc/27648/stat : 27648 (pb2clasp1) R 27647 27645 26887 0 -1 4202496 607 0 0 0 126 0 0 0 20 0 1 0 334176511 26206208 507 33554432000 4194304 4198148 140734926708576 140734926699112 271787009392 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/27648/statm: 6398 507 378 1 0 193 0
[pid=27649] ppid=27647 vsize=10820 CPUtime=0.13 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) S 27647 27645 26887 0 -1 4202496 2266 0 0 0 13 0 0 0 20 0 1 0 334176511 11079680 2174 33554432000 134512640 134847168 4294334256 4294329944 3089456 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 2705 2174 249 82 0 1946 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 96760
[startup+3.1004 s]
/proc/loadavg: 2.01 2.00 1.72 3/184 27650
/proc/meminfo: memFree=27925412/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27648] ppid=27647 vsize=25592 CPUtime=2.85 cores=0,2,4,6
/proc/27648/stat : 27648 (pb2clasp1) R 27647 27645 26887 0 -1 4202496 607 0 0 0 285 0 0 0 20 0 1 0 334176511 26206208 507 33554432000 4194304 4198148 140734926708576 140734926699112 271812922200 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/27648/statm: 6398 507 378 1 0 193 0
[pid=27649] ppid=27647 vsize=19160 CPUtime=0.31 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) S 27647 27645 26887 0 -1 4202496 4248 0 0 0 31 0 0 0 20 0 1 0 334176511 19619840 4156 33554432000 134512640 134847168 4294334256 4294329976 3089456 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 4790 4156 249 82 0 4031 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 105100
[startup+6.30038 s]
/proc/loadavg: 2.01 2.00 1.72 4/184 27650
/proc/meminfo: memFree=27907308/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27648] ppid=27647 vsize=25592 CPUtime=6.06 cores=0,2,4,6
/proc/27648/stat : 27648 (pb2clasp1) R 27647 27645 26887 0 -1 4202496 607 0 0 0 605 1 0 0 20 0 1 0 334176511 26206208 507 33554432000 4194304 4198148 140734926708576 140734926707560 271787926948 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/27648/statm: 6398 507 378 1 0 193 0
[pid=27649] ppid=27647 vsize=34780 CPUtime=0.71 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) S 27647 27645 26887 0 -1 4202496 8208 0 0 0 70 1 0 0 20 0 1 0 334176511 35614720 8116 33554432000 134512640 134847168 4294334256 4294330056 3089456 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 8695 8116 249 82 0 7936 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 120720
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 1.72 3/184 27650
/proc/meminfo: memFree=27875248/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27648] ppid=27647 vsize=25592 CPUtime=12.46 cores=0,2,4,6
/proc/27648/stat : 27648 (pb2clasp1) R 27647 27645 26887 0 -1 4202496 607 0 0 0 1244 2 0 0 20 0 1 0 334176511 26206208 507 33554432000 4194304 4198148 140734926708576 140734926699112 271790957808 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/27648/statm: 6398 507 378 1 0 193 0
[pid=27649] ppid=27647 vsize=66600 CPUtime=1.51 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) S 27647 27645 26887 0 -1 4202496 16110 0 0 0 148 3 0 0 20 0 1 0 334176511 68198400 16018 33554432000 134512640 134847168 4294334256 4294330136 3089456 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 16650 16018 249 82 0 15891 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 14.19
Current children cumulated vsize (KiB) 152540
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.73 3/183 27650
/proc/meminfo: memFree=27733352/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=211488 CPUtime=8.75 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 50633 0 0 0 867 8 0 0 20 0 1 0 334176511 216563712 50681 33554432000 134512640 134847168 4294334256 4294333024 134617496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 52872 50681 270 82 0 52113 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 27.78
Current children cumulated vsize (KiB) 271836
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.73 3/183 27650
/proc/meminfo: memFree=27724132/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=221300 CPUtime=34.35 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 53112 0 0 0 3426 9 0 0 20 0 1 0 334176511 226611200 53153 33554432000 134512640 134847168 4294334256 4294332996 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 55325 53153 270 82 0 54566 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 53.38
Current children cumulated vsize (KiB) 281648
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.74 3/183 27650
/proc/meminfo: memFree=27552684/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=391652 CPUtime=85.51 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 95893 0 0 0 8533 18 0 0 20 0 1 0 334176511 401051648 95769 33554432000 134512640 134847168 4294334256 4294332896 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 97913 95769 270 82 0 97154 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 104.54
################
# More data... #
################
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1363.97
Current children cumulated vsize (KiB) 1930832
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 28256
/proc/meminfo: memFree=25932776/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=1983648 CPUtime=1404.93 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 868769 0 0 0 140290 203 0 0 20 0 1 0 334176511 2031255552 491634 33554432000 134512640 134847168 4294334256 4294332896 134782592 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 495912 491634 270 82 0 495153 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1423.96
Current children cumulated vsize (KiB) 2043996
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 28257
/proc/meminfo: memFree=25828988/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=2089712 CPUtime=1464.91 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 895062 0 0 0 146280 211 0 0 20 0 1 0 334176511 2139865088 517927 33554432000 134512640 134847168 4294334256 4294332816 134735825 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 522428 517927 270 82 0 521669 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1483.94
Current children cumulated vsize (KiB) 2150060
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 28257
/proc/meminfo: memFree=25734380/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=2182224 CPUtime=1524.91 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 918304 0 0 0 152273 218 0 0 20 0 1 0 334176511 2234597376 540858 33554432000 134512640 134847168 4294334256 4294332896 134748343 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 545556 540858 270 82 0 544797 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1543.94
Current children cumulated vsize (KiB) 2242572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 28257
/proc/meminfo: memFree=25732768/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=2182712 CPUtime=1584.9 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 918414 0 0 0 158272 218 0 0 20 0 1 0 334176511 2235097088 540968 33554432000 134512640 134847168 4294334256 4294332896 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 545678 540968 270 82 0 544919 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1603.93
Current children cumulated vsize (KiB) 2243060
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 28257
/proc/meminfo: memFree=25731656/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=2182712 CPUtime=1644.89 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 918451 0 0 0 164271 218 0 0 20 0 1 0 334176511 2235097088 541005 33554432000 134512640 134847168 4294334256 4294332896 134782656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 545678 541005 270 82 0 544919 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1663.92
Current children cumulated vsize (KiB) 2243060
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 28260
/proc/meminfo: memFree=25731848/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=2180704 CPUtime=1704.89 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 1044175 0 0 0 170246 243 0 0 20 0 1 0 334176511 2233040896 540607 33554432000 134512640 134847168 4294334256 4294332996 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 545176 540607 270 82 0 544417 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1723.92
Current children cumulated vsize (KiB) 2241052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 28261
/proc/meminfo: memFree=25728680/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=2184108 CPUtime=1764.87 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 1044930 0 0 0 176244 243 0 0 20 0 1 0 334176511 2236526592 541362 33554432000 134512640 134847168 4294334256 4294333024 134737597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 546027 541362 270 82 0 545268 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1783.9
Current children cumulated vsize (KiB) 2244456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 28261
/proc/meminfo: memFree=25726324/32873648 swapFree=6852/6852
[pid=27645] ppid=27643 vsize=25740 CPUtime=0.22 cores=0,2,4,6
/proc/27645/stat : 27645 (pbclasp) S 27643 27645 26887 0 -1 4202496 603 0 0 0 22 0 0 0 20 0 1 0 334176488 26357760 515 33554432000 4194304 4198148 140736107564112 140736107563000 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27645/statm: 6435 515 363 1 0 230 0
[pid=27647] ppid=27645 vsize=9148 CPUtime=18.81 cores=0,2,4,6
/proc/27647/stat : 27647 (sh) S 27645 27645 26887 0 -1 4202496 371 615 0 0 0 0 1879 2 20 0 1 0 334176511 9367552 263 33554432000 4194304 5064252 140734335750064 140734335748320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27647/statm: 2287 263 223 213 0 72 0
[pid=27649] ppid=27647 vsize=2185948 CPUtime=1780.98 cores=0,2,4,6
/proc/27649/stat : 27649 (clasp-1.0) R 27647 27645 26887 0 -1 4202496 1045451 0 0 0 177855 243 0 0 20 0 1 0 334176511 2238410752 541783 33554432000 134512640 134847168 4294334256 4294332896 134782662 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27649/statm: 546487 541783 270 82 0 545728 0
[pid=27650] ppid=27647 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/27650/stat : 27650 (pboutclasp.pl) S 27647 27645 26887 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334176511 26071040 438 33554432000 4194304 4198148 140735529410448 140735529400984 271790957808 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27650/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2246296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27645 and gives
# childrusage.ru_utime.tv_sec=19
# childrusage.ru_utime.tv_usec=22108
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=36994
# CPU time returned by wait4() is 19.0591
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.42
CPU time (s): 1800.01
CPU user time (s): 1797.56
CPU system time (s): 2.45
CPU usage (%): 100.088
Max. virtual memory (cumulated for all children) (KiB): 2246840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.0221
system time used= 0.036994
maximum resident set size= 2084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2225
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= 19
involuntary context switches= 39
runsolver used 4.56031 second user time and 10.2854 second system time
The end