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-3731888-1338702316/watcher-3731888-1338702316 -o /tmp/evaluation-result-3731888-1338702316/solver-3731888-1338702316 -C 1800 -W 1900 -M 15500 pbclasp instance-3731888-1338702316.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 2.00 2.00 3/178 7293
/proc/meminfo: memFree=27638904/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) R 7291 7293 14418 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 336357021 26071040 448 33554432000 4194304 4198148 140735122484976 140735122482424 239872741268 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 6365 449 345 1 0 160 0
[startup+0.0459829 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7293
/proc/meminfo: memFree=27638904/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 336357021 26341376 530 33554432000 4194304 4198148 140735122484976 140735122483864 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 6431 530 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7293
/proc/meminfo: memFree=27638904/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 336357021 26341376 530 33554432000 4194304 4198148 140735122484976 140735122483864 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 6431 530 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7293
/proc/meminfo: memFree=27638904/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 336357021 26341376 530 33554432000 4194304 4198148 140735122484976 140735122483864 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 6431 530 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7293
/proc/meminfo: memFree=27638904/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 336357021 26341376 530 33554432000 4194304 4198148 140735122484976 140735122483864 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7293/statm: 6431 530 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7303
/proc/meminfo: memFree=27625232/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=1.2 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 981 12134 0 0 0 0 117 3 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 25852
[startup+3.10013 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7335
/proc/meminfo: memFree=27623976/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=2.93 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 1501 32248 0 0 1 0 283 9 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 25852
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7351
/proc/meminfo: memFree=27618684/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=2.93 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 1501 32248 0 0 1 0 283 9 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7349] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7349/stat : 7349 (sh) S 7293 7293 14418 0 -1 4202496 368 220 0 0 0 0 0 0 20 0 1 0 336357320 9367552 263 33554432000 4194304 5064252 140733985841648 140733985839904 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7349/statm: 2287 263 223 213 0 72 0
[pid=7351] ppid=7349 vsize=16024 CPUtime=3.28 cores=1,3,5,7
/proc/7351/stat : 7351 (clasp-1.0) R 7349 7293 14418 0 -1 4202496 3624 0 0 0 328 0 0 0 20 0 1 0 336357321 16408576 3469 33554432000 134512640 134847168 4292301600 4292300300 134616112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7351/statm: 4006 3469 270 82 0 3247 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 51024
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7351
/proc/meminfo: memFree=27605276/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=2.93 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 1501 32248 0 0 1 0 283 9 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7349] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7349/stat : 7349 (sh) S 7293 7293 14418 0 -1 4202496 368 220 0 0 0 0 0 0 20 0 1 0 336357320 9367552 263 33554432000 4194304 5064252 140733985841648 140733985839904 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7349/statm: 2287 263 223 213 0 72 0
[pid=7351] ppid=7349 vsize=21348 CPUtime=9.68 cores=1,3,5,7
/proc/7351/stat : 7351 (clasp-1.0) R 7349 7293 14418 0 -1 4202496 4965 0 0 0 968 0 0 0 20 0 1 0 336357321 21860352 4810 33554432000 134512640 134847168 4292301600 4292300176 134714864 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7351/statm: 5337 4810 270 82 0 4578 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 56348
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7375
/proc/meminfo: memFree=27608368/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=24.65 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 1899 51819 0 0 1 0 2449 15 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7373] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7373/stat : 7373 (sh) S 7293 7293 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336359493 9367552 264 33554432000 4194304 5064252 140733905698512 140733905696768 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7373/statm: 2287 264 223 213 0 72 0
[pid=7375] ppid=7373 vsize=13856 CPUtime=0.76 cores=1,3,5,7
/proc/7375/stat : 7375 (clasp-1.0) R 7373 7293 14418 0 -1 4202496 3083 0 0 0 75 1 0 0 20 0 1 0 336359493 14188544 2928 33554432000 134512640 134847168 4286836496 4286835180 134715964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7375/statm: 3464 2928 270 82 0 2705 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 48856
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7391
/proc/meminfo: memFree=27588980/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=34.87 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 2168 64726 0 0 1 1 3466 19 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7389] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7389/stat : 7389 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336360520 9367552 264 33554432000 4194304 5064252 140734749722016 140734749720272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7389/statm: 2287 264 223 213 0 72 0
[pid=7391] ppid=7389 vsize=25312 CPUtime=16.09 cores=1,3,5,7
/proc/7391/stat : 7391 (clasp-1.0) R 7389 7293 14418 0 -1 4202496 5972 0 0 0 1607 2 0 0 20 0 1 0 336360520 25919488 5818 33554432000 134512640 134847168 4286569024 4286567664 134782435 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7391/statm: 6328 5818 272 82 0 5569 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 60312
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7431
/proc/meminfo: memFree=27584892/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=84.06 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 2833 98620 0 0 2 1 8373 30 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7429] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7429/stat : 7429 (sh) S 7293 7293 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336365442 9367552 264 33554432000 4194304 5064252 140735681911488 140735681909744 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7429/statm: 2287 264 223 213 0 72 0
[pid=7431] ppid=7429 vsize=24656 CPUtime=18.07 cores=1,3,5,7
/proc/7431/stat : 7431 (clasp-1.0) R 7429 7293 14418 0 -1 4202496 5783 0 0 0 1806 1 0 0 20 0 1 0 336365442 25247744 5624 33554432000 134512640 134847168 4288748928 4288747236 134792688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7431/statm: 6164 5624 272 82 0 5405 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 59656
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 7440
/proc/meminfo: memFree=27572732/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=124.15 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 2962 108576 0 0 2 1 12379 33 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7438] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7438/stat : 7438 (sh) S 7293 7293 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336369453 9367552 264 33554432000 4194304 5064252 140734129305984 140734129304240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7438/statm: 2287 264 223 213 0 72 0
[pid=7440] ppid=7438 vsize=32596 CPUtime=37.96 cores=1,3,5,7
/proc/7440/stat : 7440 (clasp-1.0) R 7438 7293 14418 0 -1 4202496 7758 0 0 0 3795 1 0 0 20 0 1 0 336369453 33378304 7602 33554432000 134512640 134847168 4287132720 4287131460 134737623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7440/statm: 8149 7602 270 82 0 7390 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 67596
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 7440
/proc/meminfo: memFree=27552176/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=124.15 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 2962 108576 0 0 2 1 12379 33 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7438] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7438/stat : 7438 (sh) S 7293 7293 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336369453 9367552 264 33554432000 4194304 5064252 140734129305984 140734129304240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7438/statm: 2287 264 223 213 0 72 0
[pid=7440] ppid=7438 vsize=45472 CPUtime=97.94 cores=1,3,5,7
/proc/7440/stat : 7440 (clasp-1.0) R 7438 7293 14418 0 -1 4202496 11005 0 0 0 9792 2 0 0 20 0 1 0 336369453 46563328 10859 33554432000 134512640 134847168 4287132720 4287131488 134737530 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7440/statm: 11368 10859 270 82 0 10609 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 80472
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7440
/proc/meminfo: memFree=27541500/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=124.15 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 2962 108576 0 0 2 1 12379 33 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7438] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7438/stat : 7438 (sh) S 7293 7293 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336369453 9367552 264 33554432000 4194304 5064252 140734129305984 140734129304240 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7438/statm: 2287 264 223 213 0 72 0
[pid=7440] ppid=7438 vsize=50236 CPUtime=157.92 cores=1,3,5,7
/proc/7440/stat : 7440 (clasp-1.0) R 7438 7293 14418 0 -1 4202496 12139 0 0 0 15790 2 0 0 20 0 1 0 336369453 51441664 12003 33554432000 134512640 134847168 4287132720 4287131404 134715952 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7440/statm: 12559 12003 270 82 0 11800 0
Current children cumulated CPU time (s) 282.07
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 8367
/proc/meminfo: memFree=27574148/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=715.27 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3468 163178 0 0 3 1 71475 48 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7485] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7485/stat : 7485 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336428581 9367552 264 33554432000 4194304 5064252 140733656139360 140733656137616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7485/statm: 2287 264 223 213 0 72 0
[pid=7487] ppid=7485 vsize=85960 CPUtime=706.54 cores=1,3,5,7
/proc/7487/stat : 7487 (clasp-1.0) R 7485 7293 14418 0 -1 4202496 20859 0 0 0 70648 6 0 0 20 0 1 0 336428581 88023040 20936 33554432000 134512640 134847168 4287058992 4287057760 134737644 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7487/statm: 21490 20936 270 82 0 20731 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 120960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8367
/proc/meminfo: memFree=27571232/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=715.27 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3468 163178 0 0 3 1 71475 48 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7485] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7485/stat : 7485 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336428581 9367552 264 33554432000 4194304 5064252 140733656139360 140733656137616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7485/statm: 2287 264 223 213 0 72 0
[pid=7487] ppid=7485 vsize=88972 CPUtime=766.52 cores=1,3,5,7
/proc/7487/stat : 7487 (clasp-1.0) R 7485 7293 14418 0 -1 4202496 21591 0 0 0 76646 6 0 0 20 0 1 0 336428581 91107328 21677 33554432000 134512640 134847168 4287058992 4287057632 134782598 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7487/statm: 22243 21677 270 82 0 21484 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 123972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8370
/proc/meminfo: memFree=27570728/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=715.27 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3468 163178 0 0 3 1 71475 48 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7485] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7485/stat : 7485 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336428581 9367552 264 33554432000 4194304 5064252 140733656139360 140733656137616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7485/statm: 2287 264 223 213 0 72 0
[pid=7487] ppid=7485 vsize=89304 CPUtime=826.51 cores=1,3,5,7
/proc/7487/stat : 7487 (clasp-1.0) R 7485 7293 14418 0 -1 4202496 21700 0 0 0 82645 6 0 0 20 0 1 0 336428581 91447296 21786 33554432000 134512640 134847168 4287058992 4287057568 134714694 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7487/statm: 22326 21786 270 82 0 21567 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 124304
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8370
/proc/meminfo: memFree=27566024/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=715.27 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3468 163178 0 0 3 1 71475 48 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7485] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7485/stat : 7485 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336428581 9367552 264 33554432000 4194304 5064252 140733656139360 140733656137616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7485/statm: 2287 264 223 213 0 72 0
[pid=7487] ppid=7485 vsize=94008 CPUtime=886.51 cores=1,3,5,7
/proc/7487/stat : 7487 (clasp-1.0) R 7485 7293 14418 0 -1 4202496 22831 0 0 0 88644 7 0 0 20 0 1 0 336428581 96264192 22917 33554432000 134512640 134847168 4287058992 4287057568 134714110 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7487/statm: 23502 22917 270 82 0 22743 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 129008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8371
/proc/meminfo: memFree=27564344/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=715.27 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3468 163178 0 0 3 1 71475 48 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7485] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7485/stat : 7485 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336428581 9367552 264 33554432000 4194304 5064252 140733656139360 140733656137616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7485/statm: 2287 264 223 213 0 72 0
[pid=7487] ppid=7485 vsize=95452 CPUtime=946.5 cores=1,3,5,7
/proc/7487/stat : 7487 (clasp-1.0) R 7485 7293 14418 0 -1 4202496 23262 0 0 0 94643 7 0 0 20 0 1 0 336428581 97742848 23344 33554432000 134512640 134847168 4287058992 4287057732 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7487/statm: 23863 23344 270 82 0 23104 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 130452
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8371
/proc/meminfo: memFree=27560868/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=715.27 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3468 163178 0 0 3 1 71475 48 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7485] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7485/stat : 7485 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336428581 9367552 264 33554432000 4194304 5064252 140733656139360 140733656137616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7485/statm: 2287 264 223 213 0 72 0
[pid=7487] ppid=7485 vsize=99100 CPUtime=1006.48 cores=1,3,5,7
/proc/7487/stat : 7487 (clasp-1.0) R 7485 7293 14418 0 -1 4202496 24128 0 0 0 100641 7 0 0 20 0 1 0 336428581 101478400 24222 33554432000 134512640 134847168 4287058992 4287057568 134715031 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7487/statm: 24775 24222 270 82 0 24016 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 134100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8371
/proc/meminfo: memFree=27560744/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=715.27 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3468 163178 0 0 3 1 71475 48 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7485] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7485/stat : 7485 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336428581 9367552 264 33554432000 4194304 5064252 140733656139360 140733656137616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7485/statm: 2287 264 223 213 0 72 0
[pid=7487] ppid=7485 vsize=99396 CPUtime=1066.47 cores=1,3,5,7
/proc/7487/stat : 7487 (clasp-1.0) R 7485 7293 14418 0 -1 4202496 24193 0 0 0 106640 7 0 0 20 0 1 0 336428581 101781504 24287 33554432000 134512640 134847168 4287058992 4287057676 134715815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7487/statm: 24849 24287 270 82 0 24090 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 134396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8371
/proc/meminfo: memFree=27560620/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=715.27 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3468 163178 0 0 3 1 71475 48 20 0 1 0 336357021 26472448 562 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 562 387 1 0 258 0
[pid=7485] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7485/stat : 7485 (sh) S 7293 7293 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336428581 9367552 264 33554432000 4194304 5064252 140733656139360 140733656137616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7485/statm: 2287 264 223 213 0 72 0
[pid=7487] ppid=7485 vsize=99396 CPUtime=1084.78 cores=1,3,5,7
/proc/7487/stat : 7487 (clasp-1.0) R 7485 7293 14418 0 -1 4202496 24204 0 0 0 108471 7 0 0 20 0 1 0 336428581 101781504 24298 33554432000 134512640 134847168 4287058992 4287057632 134782452 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7487/statm: 24849 24298 270 82 0 24090 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 134396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7293
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8371
/proc/meminfo: memFree=27560620/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=1800.1 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3650 190155 0 0 3 2 179947 58 20 0 1 0 336357021 26472448 563 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 563 387 1 0 258 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 25852
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8390
/proc/meminfo: memFree=27646796/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=1800.1 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3650 190155 0 0 3 2 179947 58 20 0 1 0 336357021 26472448 563 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 563 387 1 0 258 0
[pid=8383] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8383/stat : 8383 (sh) S 7293 7293 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336537084 9367552 263 33554432000 4194304 5064252 140735102930208 140735102928464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8383/statm: 2287 263 223 213 0 72 0
[pid=8387] ppid=8383 vsize=13856 CPUtime=1.54 cores=1,3,5,7
/proc/8387/stat : 8387 (clasp-1.0) R 8383 7293 14418 0 -1 4202496 3085 0 0 0 154 0 0 0 20 0 1 0 336537084 14188544 2930 33554432000 134512640 134847168 4291752128 4291750820 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8387/statm: 3464 2930 270 82 0 2705 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 48856
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8390
/proc/meminfo: memFree=27646796/32873844 swapFree=7384/7384
[pid=7293] ppid=7291 vsize=25852 CPUtime=1800.1 cores=1,3,5,7
/proc/7293/stat : 7293 (pbclasp) S 7291 7293 14418 0 -1 4202496 3650 190155 0 0 3 2 179947 58 20 0 1 0 336357021 26472448 563 33554432000 4194304 4198148 140735122484976 140735122483904 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7293/statm: 6463 563 387 1 0 258 0
[pid=8383] ppid=7293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8383/stat : 8383 (sh) S 7293 7293 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 336537084 9367552 263 33554432000 4194304 5064252 140735102930208 140735102928464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8383/statm: 2287 263 223 213 0 72 0
[pid=8387] ppid=8383 vsize=13856 CPUtime=1.94 cores=1,3,5,7
/proc/8387/stat : 8387 (clasp-1.0) R 8383 7293 14418 0 -1 4202496 3086 0 0 0 194 0 0 0 20 0 1 0 336537084 14188544 2931 33554432000 134512640 134847168 4291752128 4291750664 134713939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8387/statm: 3464 2931 270 82 0 2705 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 48856
Child status: 0
Real time (s): 1802.62
CPU time (s): 1802.1
CPU user time (s): 1801.48
CPU system time (s): 0.618905
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 134396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.48
system time used= 0.618905
maximum resident set size= 97192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5144
involuntary context switches= 2615
runsolver used 3.23751 second user time and 8.47571 second system time
The end