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-3735940-1338728286/watcher-3735940-1338728286 -o /tmp/evaluation-result-3735940-1338728286/solver-3735940-1338728286 -C 1800 -W 1900 -M 15500 pbclasp instance-3735940-1338728286.opb HOME/temp
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.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 569 0 0 0 0 0 0 0 20 0 1 0 338954238 26357760 499 33554432000 4194304 4198148 140736636140272 140736636137720 214394659685 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 6435 499 355 1 0 230 0
[startup+0.0117241 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=26136 CPUtime=0 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 674 0 0 0 0 0 0 0 20 0 1 0 338954238 26763264 604 33554432000 4194304 4198148 140736636140272 140736636137720 214369275796 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 6534 604 356 1 0 329 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26136
[startup+0.10021 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=33304 CPUtime=0.09 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2624 0 0 0 9 0 0 0 20 0 1 0 338954238 34103296 2395 33554432000 4194304 4198148 140736636140272 140736636137720 214369320802 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8326 2395 363 1 0 2121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33304
[startup+0.345906 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=33304 CPUtime=0.33 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2639 0 0 0 33 0 0 0 20 0 1 0 338954238 34103296 2410 33554432000 4194304 4198148 140736636140272 140736636138840 214394993936 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8326 2410 363 1 0 2121 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 33304
[startup+0.700231 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 20039
/proc/meminfo: memFree=28922344/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=33436 CPUtime=0.69 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2661 0 0 0 69 0 0 0 20 0 1 0 338954238 34238464 2432 33554432000 4194304 4198148 140736636140272 140736636138840 214369321300 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8359 2432 363 1 0 2154 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33436
[startup+1.50023 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 20040
/proc/meminfo: memFree=28913292/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=33568 CPUtime=1.49 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2709 0 0 0 149 0 0 0 20 0 1 0 338954238 34373632 2480 33554432000 4194304 4198148 140736636140272 140736636138264 214394993920 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8392 2480 363 1 0 2187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33568
[startup+3.10023 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 20040
/proc/meminfo: memFree=28912904/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=34132 CPUtime=3.09 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 2830 0 0 0 309 0 0 0 20 0 1 0 338954238 34951168 2601 33554432000 4194304 4198148 140736636140272 140736636139048 214394993936 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8533 2601 363 1 0 2328 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34132
[startup+6.30023 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 20040
/proc/meminfo: memFree=28911788/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=34972 CPUtime=6.29 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 3057 0 0 0 629 0 0 0 20 0 1 0 338954238 35811328 2828 33554432000 4194304 4198148 140736636140272 140736636139048 214394993920 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 8743 2828 363 1 0 2538 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34972
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 20040
/proc/meminfo: memFree=28909340/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=37172 CPUtime=12.68 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) R 20037 20039 22179 0 -1 4202496 3592 0 0 0 1268 0 0 0 20 0 1 0 338954238 38064128 3363 33554432000 4194304 4198148 140736636140272 140736636139048 214394993936 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 9293 3363 363 1 0 3088 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37172
[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 20042
/proc/meminfo: memFree=28893940/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=43952 CPUtime=22.27 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 5317 0 0 0 2226 1 0 0 20 0 1 0 338954238 45006848 5069 33554432000 4194304 4198148 140736636140272 140736636139160 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 10988 5069 370 1 0 4783 0
[pid=20041] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20041/stat : 20041 (sh) S 20039 20039 22179 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 338956467 9367552 266 33554432000 4194304 5064252 140736140168736 140736140167616 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20041/statm: 2287 266 226 213 0 72 0
[pid=20042] ppid=20041 vsize=26548 CPUtime=3.2 cores=1,3,5,7
/proc/20042/stat : 20042 (pb2clasp1) R 20041 20039 22179 0 -1 4202496 835 0 0 0 319 1 0 0 20 0 1 0 338956468 27185152 732 33554432000 4194304 4198148 140734327596848 140734327587384 214394579537 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/20042/statm: 6637 732 379 1 0 432 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 79648
[startup+51.1005 s]
/proc/loadavg: 1.97 2.02 2.00 3/181 20049
/proc/meminfo: memFree=28608544/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48704 CPUtime=40.4 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 7997 2333 0 0 2234 2 1795 9 20 0 1 0 338954238 49872896 6295 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 12176 6295 388 1 0 5971 0
[pid=20047] ppid=20039 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20047/stat : 20047 (sh) S 20039 20039 22179 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338958281 9367552 264 33554432000 4194304 5064252 140734975066192 140734975064448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20047/statm: 2287 264 223 213 0 72 0
[pid=20049] ppid=20047 vsize=240868 CPUtime=10.66 cores=1,3,5,7
/proc/20049/stat : 20049 (clasp-1.0) R 20047 20039 22179 0 -1 4202496 52094 0 0 0 1055 11 0 0 20 0 1 0 338958281 246648832 59374 33554432000 134512640 134847168 4286729184 4286727952 134617547 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20049/statm: 60217 59374 266 82 0 59458 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 298720
[startup+102.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 20050
/proc/meminfo: memFree=28600188/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48704 CPUtime=40.4 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 7997 2333 0 0 2234 2 1795 9 20 0 1 0 338954238 49872896 6295 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 12176 6295 388 1 0 5971 0
[pid=20047] ppid=20039 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20047/stat : 20047 (sh) S 20039 20039 22179 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 338958281 9367552 264 33554432000 4194304 5064252 140734975066192 140734975064448 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20047/statm: 2287 264 223 213 0 72 0
[pid=20049] ppid=20047 vsize=240868 CPUtime=61.85 cores=1,3,5,7
/proc/20049/stat : 20049 (clasp-1.0) R 20047 20039 22179 0 -1 4202496 52132 0 0 0 6174 11 0 0 20 0 1 0 338958281 246648832 59470 33554432000 134512640 134847168 4286729184 4286727952 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20049/statm: 60217 59470 266 82 0 59458 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 298720
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 20061
/proc/meminfo: memFree=28590396/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=113.22 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 8316 56423 0 0 2237 2 9055 28 20 0 1 0 338954238 50008064 6308 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20039/statm: 12209 6308 388 1 0 6004 0
[pid=20056] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20056/stat : 20056 (sh) S 20039 20039 22179 0 -1 4202496 373 220 0 0 0 0 0 2 20 0 1 0 338965564 9367552 264 33554432000 4194304 5064252 140735760588176 140735760586432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20056/statm: 2287 264 223 213 0 72 0
[pid=20058] ppid=20056 vsize=246684 CPUtime=49.01 cores=1,3,5,7
/proc/20058/stat : 20058 (clasp-1.0) R 20056 20039 22179 0 -1 4202496 51838 0 0 0 4891 10 0 0 20 0 1 0 338965564 252604416 60608 33554432000 134512640 134847168 4289992720 4289991488 134617553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20058/statm: 61671 60608 272 82 0 60912 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 304668
[startup+222.308 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 20092
/proc/meminfo: memFree=28585692/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=185.35 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 8449 110248 0 0 2240 3 16246 46 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20090] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20090/stat : 20090 (sh) S 20039 20039 22179 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 338972776 9367552 264 33554432000 4194304 5064252 140737322356352 140737322354608 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20090/statm: 2287 264 223 213 0 72 0
[pid=20092] ppid=20090 vsize=246684 CPUtime=36.91 cores=1,3,5,7
/proc/20092/stat : 20092 (clasp-1.0) R 20090 20039 22179 0 -1 4202496 53547 0 0 0 3679 12 0 0 20 0 1 0 338972777 252604416 60593 33554432000 134512640 134847168 4289505952 4289504720 134617331 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20092/statm: 61671 60593 270 82 0 60912 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 304668
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 20100
/proc/meminfo: memFree=28584396/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=257.29 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 8583 165815 0 0 2243 3 23419 64 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20098] ppid=20039 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/20098/stat : 20098 (sh) S 20039 20039 22179 0 -1 4202496 372 220 0 0 0 0 0 1 20 0 1 0 338979972 9367552 263 33554432000 4194304 5064252 140734837755456 140734837753712 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20098/statm: 2287 263 223 213 0 72 0
[pid=20100] ppid=20098 vsize=246684 CPUtime=24.93 cores=1,3,5,7
/proc/20100/stat : 20100 (clasp-1.0) R 20098 20039 22179 0 -1 4202496 52638 0 0 0 2483 10 0 0 20 0 1 0 338979972 252604416 60656 33554432000 134512640 134847168 4292882768 4292881536 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20100/statm: 61671 60656 272 82 0 60912 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 304668
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 20108
/proc/meminfo: memFree=28585016/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=329.19 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 8717 220463 0 0 2246 3 30589 81 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20106] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20106/stat : 20106 (sh) S 20039 20039 22179 0 -1 4202496 372 220 0 0 0 0 0 2 20 0 1 0 338987164 9367552 263 33554432000 4194304 5064252 140733230677792 140733230676048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20106/statm: 2287 263 223 213 0 72 0
[pid=20108] ppid=20106 vsize=246684 CPUtime=13.02 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 304668
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 20339
/proc/meminfo: memFree=28557820/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1672.16 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11278 1253072 0 0 2302 12 164440 462 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20337] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20337/stat : 20337 (sh) S 20039 20039 22179 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 339121461 9367552 264 33554432000 4194304 5064252 140734628501744 140734628500000 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20337/statm: 2287 264 223 213 0 72 0
[pid=20339] ppid=20337 vsize=246684 CPUtime=50.05 cores=1,3,5,7
/proc/20339/stat : 20339 (clasp-1.0) R 20337 20039 22179 0 -1 4202496 52639 0 0 0 4994 11 0 0 20 0 1 0 339121461 252604416 60612 33554432000 134512640 134847168 4288270432 4288269200 134617536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20339/statm: 61671 60612 270 82 0 60912 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 304668
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20347
/proc/meminfo: memFree=28553916/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.01 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11414 1307697 0 0 2305 12 171505 479 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20345] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20345/stat : 20345 (sh) S 20039 20039 22179 0 -1 4202496 371 219 0 0 0 0 0 2 20 0 1 0 339128548 9367552 263 33554432000 4194304 5064252 140735457321600 140735457319856 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20345/statm: 2287 263 223 213 0 72 0
[pid=20347] ppid=20345 vsize=246684 CPUtime=39.17 cores=1,3,5,7
/proc/20347/stat : 20347 (clasp-1.0) R 20345 20039 22179 0 -1 4202496 54069 0 0 0 3905 12 0 0 20 0 1 0 339128548 252604416 60676 33554432000 134512640 134847168 4293817520 4293816288 134617547 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20347/statm: 61671 60676 270 82 0 60912 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 304668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20347
/proc/meminfo: memFree=28550480/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.01 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11414 1307697 0 0 2305 12 171505 479 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20345] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20345/stat : 20345 (sh) S 20039 20039 22179 0 -1 4202496 371 219 0 0 0 0 0 2 20 0 1 0 339128548 9367552 263 33554432000 4194304 5064252 140735457321600 140735457319856 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20345/statm: 2287 263 223 213 0 72 0
[pid=20347] ppid=20345 vsize=246684 CPUtime=56.98 cores=1,3,5,7
/proc/20347/stat : 20347 (clasp-1.0) R 20345 20039 22179 0 -1 4202496 54090 0 0 0 5686 12 0 0 20 0 1 0 339128548 252604416 60997 33554432000 134512640 134847168 4293817520 4293816288 134617488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20347/statm: 61671 60997 270 82 0 60912 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 304668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1743.11 s) is less than in the last sample (1800.01 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (56.9 s) to the 'lost time'.
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20347
/proc/meminfo: memFree=28550480/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.01 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11414 1307697 0 0 2305 12 171505 479 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20345] ppid=20039 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/20345/stat : 20345 (sh) S 20039 20039 22179 0 -1 4202496 371 219 0 0 0 0 0 2 20 0 1 0 339128548 9367552 263 33554432000 4194304 5064252 140735457321600 140735457319856 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20345/statm: 2287 263 223 213 0 72 0
[pid=20347] ppid=20345 vsize=246684 CPUtime=56.98 cores=1,3,5,7
/proc/20347/stat : 20347 (clasp-1.0) R 20345 20039 22179 0 -1 4202496 54090 0 0 0 5686 12 0 0 20 0 1 0 339128548 252604416 60997 33554432000 134512640 134847168 4293817520 4293816288 134617488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20347/statm: 61671 60997 270 82 0 60912 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 304668
[startup+1800.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20347
/proc/meminfo: memFree=28550480/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.11 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11600 1310468 0 0 2307 13 171505 486 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
Current children cumulated CPU time (s) 1743.11
Current children cumulated vsize (KiB) 48836
#
############
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20039
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20366
/proc/meminfo: memFree=28807068/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.11 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11600 1310468 0 0 2307 13 171505 486 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20364] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20364/stat : 20364 (sh) S 20039 20039 22179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339134258 9367552 264 33554432000 4194304 5064252 140736647006016 140736647004272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20364/statm: 2287 264 223 213 0 72 0
[pid=20365] ppid=20364 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/20365/stat : 20365 (cat) S 20364 20039 22179 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 339134258 4100096 123 33554432000 4194304 4236627 140737276823456 140737276822552 214369650144 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20365/statm: 1001 123 97 11 0 67 0
[pid=20366] ppid=20364 vsize=67964 CPUtime=1.29 cores=1,3,5,7
/proc/20366/stat : 20366 (clasp-1.0) R 20364 20039 22179 0 -1 4202496 16497 0 0 0 127 2 0 0 20 0 1 0 339134258 69595136 16140 33554432000 134512640 134847168 4292786112 4292782224 5099763 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/20366/statm: 16991 16140 249 82 0 16232 0
Current children cumulated CPU time (s) 1744.41
Current children cumulated vsize (KiB) 129952
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20366
/proc/meminfo: memFree=28759220/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.11 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11600 1310468 0 0 2307 13 171505 486 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20364] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20364/stat : 20364 (sh) S 20039 20039 22179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339134258 9367552 264 33554432000 4194304 5064252 140736647006016 140736647004272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20364/statm: 2287 264 223 213 0 72 0
[pid=20365] ppid=20364 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/20365/stat : 20365 (cat) S 20364 20039 22179 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 339134258 4100096 123 33554432000 4194304 4236627 140737276823456 140737276822552 214369650144 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20365/statm: 1001 123 97 11 0 67 0
[pid=20366] ppid=20364 vsize=84348 CPUtime=1.69 cores=1,3,5,7
/proc/20366/stat : 20366 (clasp-1.0) R 20364 20039 22179 0 -1 4202496 20588 0 0 0 165 4 0 0 20 0 1 0 339134258 86372352 20231 33554432000 134512640 134847168 4292786112 4292781664 5072167 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20366/statm: 21087 20231 249 82 0 20328 0
Current children cumulated CPU time (s) 1744.81
Current children cumulated vsize (KiB) 146336
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20366
/proc/meminfo: memFree=28759220/32873844 swapFree=7632/7632
[pid=20039] ppid=20037 vsize=48836 CPUtime=1743.11 cores=1,3,5,7
/proc/20039/stat : 20039 (pbclasp) S 20037 20039 22179 0 -1 4202496 11600 1310468 0 0 2307 13 171505 486 20 0 1 0 338954238 50008064 6310 33554432000 4194304 4198148 140736636140272 140736636139200 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20039/statm: 12209 6310 388 1 0 6004 0
[pid=20364] ppid=20039 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20364/stat : 20364 (sh) S 20039 20039 22179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339134258 9367552 264 33554432000 4194304 5064252 140736647006016 140736647004272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20364/statm: 2287 264 223 213 0 72 0
[pid=20365] ppid=20364 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/20365/stat : 20365 (cat) S 20364 20039 22179 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 339134258 4100096 123 33554432000 4194304 4236627 140737276823456 140737276822552 214369650144 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20365/statm: 1001 123 97 11 0 67 0
[pid=20366] ppid=20364 vsize=92292 CPUtime=1.88 cores=1,3,5,7
/proc/20366/stat : 20366 (clasp-1.0) R 20364 20039 22179 0 -1 4202496 22439 0 0 0 184 4 0 0 20 0 1 0 339134258 94507008 22082 33554432000 134512640 134847168 4292786112 4292781888 5072167 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20366/statm: 23073 22082 249 82 0 22314 0
Current children cumulated CPU time (s) 1745
Current children cumulated vsize (KiB) 154280
Child ended because it received signal 9 (SIGKILL)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20039 and gives
# childrusage.ru_utime.tv_sec=1738
# childrusage.ru_utime.tv_usec=135763
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=24236
# CPU time returned by wait4() is 1743.16
# while last known CPU time is 1745
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 56.9
# lost CPU user time (s): 56.84
# lost CPU system time (s): 0.0599999
Real time (s): 1802.13
CPU time (s): 1801.9
CPU user time (s): 1796.8
CPU system time (s): 5.1
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 317000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.14
system time used= 5.02424
maximum resident set size= 249772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1324846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1128008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131563
involuntary context switches= 3041
runsolver used 7.05593 second user time and 20.3119 second system time
The end