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-3730276-1338681556/watcher-3730276-1338681556 -o /tmp/evaluation-result-3730276-1338681556/solver-3730276-1338681556 -C 1800 -W 1900 -M 15500 pbclasp instance-3730276-1338681556.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.08 2.04 1.93 3/177 23371
/proc/meminfo: memFree=29150568/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) R 23369 23371 22814 0 -1 4202496 532 0 0 0 0 0 0 0 20 0 1 0 334283993 26206208 462 33554432000 4194304 4198148 140736699586656 140736699584104 226333091056 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6398 463 345 1 0 193 0
[startup+0.0467979 s]
/proc/loadavg: 2.08 2.04 1.93 3/177 23371
/proc/meminfo: memFree=29150568/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100279 s]
/proc/loadavg: 2.08 2.04 1.93 3/177 23371
/proc/meminfo: memFree=29150568/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300228 s]
/proc/loadavg: 2.08 2.04 1.93 3/177 23371
/proc/meminfo: memFree=29150568/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700231 s]
/proc/loadavg: 2.08 2.04 1.93 3/177 23371
/proc/meminfo: memFree=29150568/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50033 s]
/proc/loadavg: 2.08 2.04 1.93 3/181 23376
/proc/meminfo: memFree=29143344/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=11000 CPUtime=1.43 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 2316 0 0 0 143 0 0 0 20 0 1 0 334283994 11264000 2224 33554432000 134512640 134847168 4294752288 4294750564 134792561 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23375/statm: 2750 2224 270 82 0 1991 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71348
[startup+3.10033 s]
/proc/loadavg: 2.08 2.04 1.93 3/181 23376
/proc/meminfo: memFree=29139756/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=13608 CPUtime=3.03 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 2986 0 0 0 303 0 0 0 20 0 1 0 334283994 13934592 2894 33554432000 134512640 134847168 4294752288 4294750740 134790216 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23375/statm: 3402 2894 270 82 0 2643 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73956
[startup+6.30033 s]
/proc/loadavg: 2.07 2.04 1.93 3/181 23376
/proc/meminfo: memFree=29137028/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=16268 CPUtime=6.23 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 3639 0 0 0 623 0 0 0 20 0 1 0 334283994 16658432 3547 33554432000 134512640 134847168 4294752288 4294750928 134782435 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23375/statm: 4067 3547 270 82 0 3308 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76616
[startup+12.7003 s]
/proc/loadavg: 2.06 2.04 1.93 3/181 23376
/proc/meminfo: memFree=29132900/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=19864 CPUtime=12.62 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 4521 0 0 0 1262 0 0 0 20 0 1 0 334283994 20340736 4422 33554432000 134512640 134847168 4294752288 4294750928 134782476 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23375/statm: 4966 4422 270 82 0 4207 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 80212
[startup+25.5003 s]
/proc/loadavg: 2.12 2.05 1.93 3/181 23376
/proc/meminfo: memFree=29128612/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=23240 CPUtime=25.42 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 5362 0 0 0 2542 0 0 0 20 0 1 0 334283994 23797760 5277 33554432000 134512640 134847168 4294752288 4294751028 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23375/statm: 5810 5277 270 82 0 5051 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83588
[startup+51.1003 s]
/proc/loadavg: 2.08 2.05 1.93 3/182 23379
/proc/meminfo: memFree=29124736/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=26256 CPUtime=51.01 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 6164 0 0 0 5101 0 0 0 20 0 1 0 334283994 26886144 6049 33554432000 134512640 134847168 4294752288 4294750928 134782425 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23375/statm: 6564 6049 270 82 0 5805 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86604
[startup+102.307 s]
/proc/loadavg: 2.03 2.04 1.93 3/182 23380
/proc/meminfo: memFree=29116196/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=33964 CPUtime=102.2 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 8070 0 0 0 10219 1 0 0 20 0 1 0 334283994 34779136 7968 33554432000 134512640 134847168 4294752288 4294750928 134782472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23375/statm: 8491 7968 270 82 0 7732 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94312
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 1.94 3/182 23403
/proc/meminfo: memFree=29109740/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=40248 CPUtime=162.19 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23413
/proc/meminfo: memFree=29074192/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=73248 CPUtime=1361.97 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 20020 0 0 0 136191 6 0 0 20 0 1 0 334283994 75005952 17797 33554432000 134512640 134847168 4294752288 4294750928 134782441 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 18312 17797 270 82 0 17553 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 133596
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23413
/proc/meminfo: memFree=29072392/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=74380 CPUtime=1421.97 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 20336 0 0 0 142191 6 0 0 20 0 1 0 334283994 76165120 18085 33554432000 134512640 134847168 4294752288 4294750928 134782463 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 18595 18085 270 82 0 17836 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 134728
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23413
/proc/meminfo: memFree=29070468/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=76580 CPUtime=1481.95 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 21011 0 0 0 148189 6 0 0 20 0 1 0 334283994 78417920 18608 33554432000 134512640 134847168 4294752288 4294750928 134782607 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 19145 18608 270 82 0 18386 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 136928
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23413
/proc/meminfo: memFree=29068296/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=78860 CPUtime=1541.94 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 21587 0 0 0 154188 6 0 0 20 0 1 0 334283994 80752640 19155 33554432000 134512640 134847168 4294752288 4294750928 134782722 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 19715 19155 270 82 0 18956 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 139208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23413
/proc/meminfo: memFree=29068108/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=78860 CPUtime=1601.93 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 21588 0 0 0 160187 6 0 0 20 0 1 0 334283994 80752640 19155 33554432000 134512640 134847168 4294752288 4294751028 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 19715 19155 270 82 0 18956 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 139208
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23414
/proc/meminfo: memFree=29068232/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=78860 CPUtime=1661.92 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 21588 0 0 0 166186 6 0 0 20 0 1 0 334283994 80752640 19155 33554432000 134512640 134847168 4294752288 4294751020 134782304 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 19715 19155 270 82 0 18956 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 139208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23467
/proc/meminfo: memFree=29061088/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=78860 CPUtime=1721.91 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 21588 0 0 0 172185 6 0 0 20 0 1 0 334283994 80752640 19155 33554432000 134512640 134847168 4294752288 4294750928 134782437 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 19715 19155 270 82 0 18956 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 139208
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23467
/proc/meminfo: memFree=29055012/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=78860 CPUtime=1781.9 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 21588 0 0 0 178184 6 0 0 20 0 1 0 334283994 80752640 19155 33554432000 134512640 134847168 4294752288 4294750928 134782685 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 19715 19155 270 82 0 18956 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 139208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23467
/proc/meminfo: memFree=29053516/32873844 swapFree=6088/6088
[pid=23371] ppid=23369 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/23371/stat : 23371 (pbclasp) S 23369 23371 22814 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 334283993 26357760 533 33554432000 4194304 4198148 140736699586656 140736699585544 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23371/statm: 6435 533 363 1 0 230 0
[pid=23373] ppid=23371 vsize=9148 CPUtime=0.06 cores=1,3,5,7
/proc/23373/stat : 23373 (sh) S 23371 23371 22814 0 -1 4202496 372 618 0 0 0 0 6 0 20 0 1 0 334283994 9367552 264 33554432000 4194304 5064252 140735397730896 140735397729152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23373/statm: 2287 264 223 213 0 72 0
[pid=23375] ppid=23373 vsize=78860 CPUtime=1800.01 cores=1,3,5,7
/proc/23375/stat : 23375 (clasp-1.0) R 23373 23371 22814 0 -1 4202496 21588 0 0 0 179995 6 0 0 20 0 1 0 334283994 80752640 19155 33554432000 134512640 134847168 4294752288 4294751044 134737606 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23375/statm: 19715 19155 270 82 0 18956 0
[pid=23376] ppid=23373 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/23376/stat : 23376 (pboutclasp.pl) S 23373 23371 22814 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 334283994 26071040 437 33554432000 4194304 4198148 140736697634080 140736697624616 226333091056 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/23376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 139208
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1800.02
CPU system time (s): 0.076988
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 139220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.076988
maximum resident set size= 76620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23862
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= 92
involuntary context switches= 2280
runsolver used 4.18136 second user time and 10.9153 second system time
The end