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-3731492-1338696907/watcher-3731492-1338696907 -o /tmp/evaluation-result-3731492-1338696907/solver-3731492-1338696907 -C 1800 -W 1900 -M 15500 pbclasp instance-3731492-1338696907.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.00 1.99 1.86 3/178 6599
/proc/meminfo: memFree=27664644/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) D 6597 6599 14418 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 335816138 26071040 361 33554432000 4194304 4198148 140735852919984 140735852917432 239873113781 0 0 4224 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6599/statm: 6365 361 277 1 0 160 0
[startup+0.017074 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 6599
/proc/meminfo: memFree=27664644/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) D 6597 6599 14418 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 335816138 26071040 361 33554432000 4194304 4198148 140735852919984 140735852917432 239873113781 0 0 4224 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6599/statm: 6365 361 277 1 0 160 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25460
[startup+0.100243 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 6599
/proc/meminfo: memFree=27664644/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 335816138 26341376 520 33554432000 4194304 4198148 140735852919984 140735852918872 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6599/statm: 6431 520 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.300126 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 6599
/proc/meminfo: memFree=27664644/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 25724
[startup+0.700111 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 6599
/proc/meminfo: memFree=27664644/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 25724
[startup+1.50025 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 6641
/proc/meminfo: memFree=27661752/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=5032 CPUtime=1.27 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 836 0 0 0 127 0 0 0 20 0 1 0 335816160 5152768 734 33554432000 134512640 134847168 4288513008 4288511632 134784667 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6641/statm: 1258 734 270 82 0 499 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 39904
[startup+3.10026 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 6641
/proc/meminfo: memFree=27661024/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=5420 CPUtime=2.87 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 930 0 0 0 287 0 0 0 20 0 1 0 335816160 5550080 828 33554432000 134512640 134847168 4288513008 4288511584 134742322 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6641/statm: 1355 828 270 82 0 596 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 40292
[startup+6.30026 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 6641
/proc/meminfo: memFree=27660164/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=5812 CPUtime=6.07 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 1037 0 0 0 607 0 0 0 20 0 1 0 335816160 5951488 935 33554432000 134512640 134847168 4288513008 4288511692 134715853 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6641/statm: 1453 935 270 82 0 694 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 40684
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 6641
/proc/meminfo: memFree=27659476/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=6044 CPUtime=12.46 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 1112 0 0 0 1246 0 0 0 20 0 1 0 335816160 6189056 1010 33554432000 134512640 134847168 4288513008 4288511632 134784651 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6641/statm: 1511 1010 270 82 0 752 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 40916
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 6642
/proc/meminfo: memFree=27658384/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=6688 CPUtime=25.26 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 1258 0 0 0 2526 0 0 0 20 0 1 0 335816160 6848512 1156 33554432000 134512640 134847168 4288513008 4288511700 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6641/statm: 1672 1156 270 82 0 913 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 41560
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.87 3/181 6642
/proc/meminfo: memFree=27657444/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=7348 CPUtime=50.86 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 1418 0 0 0 5086 0 0 0 20 0 1 0 335816160 7524352 1311 33554432000 134512640 134847168 4288513008 4288511692 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6641/statm: 1837 1311 270 82 0 1078 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 42220
[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.87 3/181 6642
/proc/meminfo: memFree=27655644/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=7932 CPUtime=102.05 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 1575 0 0 0 10205 0 0 0 20 0 1 0 335816160 8122368 1467 33554432000 134512640 134847168 4288513008 4288511728 134741346 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6641/statm: 1983 1467 270 82 0 1224 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 42804
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/181 6642
/proc/meminfo: memFree=27654528/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=8396 CPUtime=162.04 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 1704 0 0 0 16204 0 0 0 20 0 1 0 335816160 8597504 1584 33554432000 134512640 134847168 4288513008 4288511584 134714694 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6641/statm: 2099 1584 270 82 0 1340 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 43268
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/181 6642
/proc/meminfo: memFree=27653288/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=0.13 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1217 12065 0 0 0 0 10 3 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6639] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (sh) S 6599 6599 14418 0 -1 4202496 374 220 0 0 0 0 0 0 20 0 1 0 335816160 9367552 264 33554432000 4194304 5064252 140734644569296 140734644567552 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6639/statm: 2287 264 223 213 0 72 0
[pid=6641] ppid=6639 vsize=8852 CPUtime=222.03 cores=1,3,5,7
/proc/6641/stat : 6641 (clasp-1.0) R 6639 6599 14418 0 -1 4202496 1849 0 0 0 22203 0 0 0 20 0 1 0 335816160 9064448 1713 33554432000 134512640 134847168 4288513008 4288511688 134789714 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6641/statm: 2213 1713 270 82 0 1454 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 43724
[startup+282.3 s]
################
# More data... #
################
/proc/6665/stat : 6665 (sh) S 6599 6599 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335887609 9367552 263 33554432000 4194304 5064252 140735707980336 140735707978592 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6665/statm: 2287 263 223 213 0 72 0
[pid=6667] ppid=6665 vsize=11152 CPUtime=707.47 cores=1,3,5,7
/proc/6667/stat : 6667 (clasp-1.0) R 6665 6599 14418 0 -1 4202496 2492 0 0 0 70746 1 0 0 20 0 1 0 335887609 11419648 2291 33554432000 134512640 134847168 4291473872 4291472448 134714864 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6667/statm: 2788 2291 272 82 0 2029 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 46024
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/181 6737
/proc/meminfo: memFree=24829544/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=714.5 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1322 16607 0 0 0 0 71446 4 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6665] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6665/stat : 6665 (sh) S 6599 6599 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335887609 9367552 263 33554432000 4194304 5064252 140735707980336 140735707978592 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6665/statm: 2287 263 223 213 0 72 0
[pid=6667] ppid=6665 vsize=11316 CPUtime=767.45 cores=1,3,5,7
/proc/6667/stat : 6667 (clasp-1.0) R 6665 6599 14418 0 -1 4202496 2673 0 0 0 76744 1 0 0 20 0 1 0 335887609 11587584 2329 33554432000 134512640 134847168 4291473872 4291472564 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6667/statm: 2829 2329 272 82 0 2070 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 46188
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/182 6740
/proc/meminfo: memFree=24409328/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=714.5 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1322 16607 0 0 0 0 71446 4 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6665] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6665/stat : 6665 (sh) S 6599 6599 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335887609 9367552 263 33554432000 4194304 5064252 140735707980336 140735707978592 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6665/statm: 2287 263 223 213 0 72 0
[pid=6667] ppid=6665 vsize=11324 CPUtime=827.44 cores=1,3,5,7
/proc/6667/stat : 6667 (clasp-1.0) R 6665 6599 14418 0 -1 4202496 2687 0 0 0 82743 1 0 0 20 0 1 0 335887609 11595776 2331 33554432000 134512640 134847168 4291473872 4291472512 134616333 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6667/statm: 2831 2331 272 82 0 2072 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 46196
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/181 6741
/proc/meminfo: memFree=24132472/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=714.5 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1322 16607 0 0 0 0 71446 4 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6665] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6665/stat : 6665 (sh) S 6599 6599 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335887609 9367552 263 33554432000 4194304 5064252 140735707980336 140735707978592 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6665/statm: 2287 263 223 213 0 72 0
[pid=6667] ppid=6665 vsize=11372 CPUtime=887.43 cores=1,3,5,7
/proc/6667/stat : 6667 (clasp-1.0) R 6665 6599 14418 0 -1 4202496 2694 0 0 0 88742 1 0 0 20 0 1 0 335887609 11644928 2338 33554432000 134512640 134847168 4291473872 4291472496 134784634 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6667/statm: 2843 2338 272 82 0 2084 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 46244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 6741
/proc/meminfo: memFree=23918972/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=714.5 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1322 16607 0 0 0 0 71446 4 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6665] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6665/stat : 6665 (sh) S 6599 6599 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335887609 9367552 263 33554432000 4194304 5064252 140735707980336 140735707978592 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6665/statm: 2287 263 223 213 0 72 0
[pid=6667] ppid=6665 vsize=11400 CPUtime=947.42 cores=1,3,5,7
/proc/6667/stat : 6667 (clasp-1.0) R 6665 6599 14418 0 -1 4202496 2711 0 0 0 94741 1 0 0 20 0 1 0 335887609 11673600 2353 33554432000 134512640 134847168 4291473872 4291472556 134789696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6667/statm: 2850 2353 272 82 0 2091 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 46272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 6749
/proc/meminfo: memFree=27353964/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=714.5 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1322 16607 0 0 0 0 71446 4 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6665] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6665/stat : 6665 (sh) S 6599 6599 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335887609 9367552 263 33554432000 4194304 5064252 140735707980336 140735707978592 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6665/statm: 2287 263 223 213 0 72 0
[pid=6667] ppid=6665 vsize=11860 CPUtime=1007.41 cores=1,3,5,7
/proc/6667/stat : 6667 (clasp-1.0) R 6665 6599 14418 0 -1 4202496 3026 0 0 0 100740 1 0 0 20 0 1 0 335887609 12144640 2458 33554432000 134512640 134847168 4291473872 4291472512 134782656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6667/statm: 2965 2458 272 82 0 2206 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 46732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 6749
/proc/meminfo: memFree=26537204/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=714.5 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1322 16607 0 0 0 0 71446 4 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6665] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6665/stat : 6665 (sh) S 6599 6599 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335887609 9367552 263 33554432000 4194304 5064252 140735707980336 140735707978592 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6665/statm: 2287 263 223 213 0 72 0
[pid=6667] ppid=6665 vsize=11880 CPUtime=1067.4 cores=1,3,5,7
/proc/6667/stat : 6667 (clasp-1.0) R 6665 6599 14418 0 -1 4202496 3125 0 0 0 106739 1 0 0 20 0 1 0 335887609 12165120 2473 33554432000 134512640 134847168 4291473872 4291472496 134784653 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6667/statm: 2970 2473 272 82 0 2211 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 46752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 6749
/proc/meminfo: memFree=26336168/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=714.5 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1322 16607 0 0 0 0 71446 4 20 0 1 0 335816138 26341376 551 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 6431 551 387 1 0 226 0
[pid=6665] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6665/stat : 6665 (sh) S 6599 6599 14418 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335887609 9367552 263 33554432000 4194304 5064252 140735707980336 140735707978592 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6665/statm: 2287 263 223 213 0 72 0
[pid=6667] ppid=6665 vsize=11968 CPUtime=1085.51 cores=1,3,5,7
/proc/6667/stat : 6667 (clasp-1.0) R 6665 6599 14418 0 -1 4202496 3177 0 0 0 108550 1 0 0 20 0 1 0 335887609 12255232 2495 33554432000 134512640 134847168 4291473872 4291472564 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6667/statm: 2992 2495 272 82 0 2233 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 46840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6599
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 6768
/proc/meminfo: memFree=27602752/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=1800.04 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1495 22563 0 0 0 0 179997 7 20 0 1 0 335816138 26341376 552 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 6431 552 387 1 0 226 0
[pid=6758] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6758/stat : 6758 (sh) S 6599 6599 14418 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335996180 9367552 264 33554432000 4194304 5064252 140736926741824 140736926740080 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6758/statm: 2287 264 223 213 0 72 0
[pid=6760] ppid=6758 vsize=4904 CPUtime=0.96 cores=1,3,5,7
/proc/6760/stat : 6760 (clasp-1.0) R 6758 6599 14418 0 -1 4202496 811 0 0 0 96 0 0 0 20 0 1 0 335996180 5021696 708 33554432000 134512640 134847168 4288998768 4288997392 134784667 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6760/statm: 1226 708 270 82 0 467 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 39776
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.95 4/183 6768
/proc/meminfo: memFree=27550432/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=1800.04 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1495 22563 0 0 0 0 179997 7 20 0 1 0 335816138 26341376 552 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 6431 552 387 1 0 226 0
[pid=6758] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6758/stat : 6758 (sh) S 6599 6599 14418 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335996180 9367552 264 33554432000 4194304 5064252 140736926741824 140736926740080 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6758/statm: 2287 264 223 213 0 72 0
[pid=6760] ppid=6758 vsize=5160 CPUtime=1.76 cores=1,3,5,7
/proc/6760/stat : 6760 (clasp-1.0) R 6758 6599 14418 0 -1 4202496 876 0 0 0 176 0 0 0 20 0 1 0 335996180 5283840 773 33554432000 134512640 134847168 4288998768 4288997136 134791111 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6760/statm: 1290 773 270 82 0 531 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 40032
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.95 4/183 6768
/proc/meminfo: memFree=27550432/32873844 swapFree=7384/7384
[pid=6599] ppid=6597 vsize=25724 CPUtime=1800.04 cores=1,3,5,7
/proc/6599/stat : 6599 (pbclasp) S 6597 6599 14418 0 -1 4202496 1495 22563 0 0 0 0 179997 7 20 0 1 0 335816138 26341376 552 33554432000 4194304 4198148 140735852919984 140735852918912 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6599/statm: 6431 552 387 1 0 226 0
[pid=6758] ppid=6599 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6758/stat : 6758 (sh) S 6599 6599 14418 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335996180 9367552 264 33554432000 4194304 5064252 140736926741824 140736926740080 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6758/statm: 2287 264 223 213 0 72 0
[pid=6760] ppid=6758 vsize=5160 CPUtime=1.96 cores=1,3,5,7
/proc/6760/stat : 6760 (clasp-1.0) R 6758 6599 14418 0 -1 4202496 882 0 0 0 196 0 0 0 20 0 1 0 335996180 5283840 779 33554432000 134512640 134847168 4288998768 4288997472 134616639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6760/statm: 1290 779 270 82 0 531 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 40032
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.05
CPU user time (s): 1801.97
CPU system time (s): 0.085986
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 46968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.97
system time used= 0.085986
maximum resident set size= 10012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 2022
runsolver used 3.20851 second user time and 8.41772 second system time
The end