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-3739687-1338762478/watcher-3739687-1338762478 -o /tmp/evaluation-result-3739687-1338762478/solver-3739687-1338762478 -C 1800 -W 1900 -M 15500 pbclasp instance-3739687-1338762478.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: 1.73 1.95 1.97 3/179 20294
/proc/meminfo: memFree=28930060/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) R 20292 20294 20179 0 -1 4202496 643 0 0 0 0 0 0 0 20 0 1 0 342372250 26628096 574 33554432000 4194304 4198148 140736131035312 140736045880296 239250025041 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6501 574 356 1 0 296 0
[startup+0.077448 s]
/proc/loadavg: 1.73 1.95 1.97 3/179 20294
/proc/meminfo: memFree=28930060/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27176
[startup+0.100198 s]
/proc/loadavg: 1.73 1.95 1.97 3/179 20294
/proc/meminfo: memFree=28930060/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27176
[startup+0.300112 s]
/proc/loadavg: 1.73 1.95 1.97 3/179 20294
/proc/meminfo: memFree=28930060/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27176
[startup+0.70011 s]
/proc/loadavg: 1.73 1.95 1.97 3/179 20294
/proc/meminfo: memFree=28930060/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27176
[startup+1.50043 s]
/proc/loadavg: 1.73 1.95 1.97 3/184 20299
/proc/meminfo: memFree=28914628/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20297] ppid=20296 vsize=25592 CPUtime=1.42 cores=1,3,5,7
/proc/20297/stat : 20297 (pb2clasp1) R 20296 20294 20179 0 -1 4202496 608 0 0 0 142 0 0 0 20 0 1 0 342372257 26206208 508 33554432000 4194304 4198148 140733202878640 140733202869176 239250024985 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/20297/statm: 6398 508 378 1 0 193 0
[pid=20298] ppid=20296 vsize=13744 CPUtime=0.18 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) S 20296 20294 20179 0 -1 4202496 2950 0 0 0 18 0 0 0 20 0 1 0 342372257 14073856 2858 33554432000 134512640 134847168 4294822272 4294817992 13734960 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 3436 2858 251 82 0 2677 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 101120
[startup+3.10041 s]
/proc/loadavg: 1.73 1.95 1.97 3/184 20299
/proc/meminfo: memFree=28906180/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20297] ppid=20296 vsize=25592 CPUtime=3.02 cores=1,3,5,7
/proc/20297/stat : 20297 (pb2clasp1) R 20296 20294 20179 0 -1 4202496 608 0 0 0 302 0 0 0 20 0 1 0 342372257 26206208 508 33554432000 4194304 4198148 140733202878640 140733202877624 239241061616 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/20297/statm: 6398 508 378 1 0 193 0
[pid=20298] ppid=20296 vsize=24576 CPUtime=0.38 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) S 20296 20294 20179 0 -1 4202496 5564 0 0 0 37 1 0 0 20 0 1 0 342372257 25165824 5472 33554432000 134512640 134847168 4294822272 4294817992 13734960 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 6144 5472 251 82 0 5385 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 111952
[startup+6.30043 s]
/proc/loadavg: 1.75 1.95 1.97 3/183 20299
/proc/meminfo: memFree=28864520/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=60332 CPUtime=2.94 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 15336 0 0 0 292 2 0 0 20 0 1 0 342372257 61779968 14236 33554432000 134512640 134847168 4294822272 4294820736 134713660 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 15083 14236 272 82 0 14324 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 122116
[startup+12.7004 s]
/proc/loadavg: 1.77 1.95 1.97 3/183 20299
/proc/meminfo: memFree=28854824/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=60332 CPUtime=9.34 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 15350 0 0 0 932 2 0 0 20 0 1 0 342372257 61779968 14250 33554432000 134512640 134847168 4294822272 4294820848 134714740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 15083 14250 272 82 0 14324 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 13.16
Current children cumulated vsize (KiB) 122116
[startup+25.5005 s]
/proc/loadavg: 1.82 1.95 1.97 3/183 20299
/proc/meminfo: memFree=28819240/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=77000 CPUtime=22.14 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 19490 0 0 0 2211 3 0 0 20 0 1 0 342372257 78848000 18388 33554432000 134512640 134847168 4294822272 4294821028 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 19250 18388 272 82 0 18491 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.96
Current children cumulated vsize (KiB) 138784
[startup+51.1004 s]
/proc/loadavg: 1.88 1.96 1.97 3/183 20299
/proc/meminfo: memFree=28773576/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=112404 CPUtime=47.72 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 28422 0 0 0 4766 6 0 0 20 0 1 0 342372257 115101696 27172 33554432000 134512640 134847168 4294822272 4294821040 134737530 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 28101 27172 272 82 0 27342 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.54
Current children cumulated vsize (KiB) 174188
[startup+102.307 s]
/proc/loadavg: 1.95 1.96 1.97 3/183 20299
/proc/meminfo: memFree=28686308/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=171188 CPUtime=98.89 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 43187 0 0 0 9878 11 0 0 20 0 1 0 342372257 175296512 41969 33554432000 134512640 134847168 4294822272 4294820912 134782437 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 42797 41969 272 82 0 42038 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.71
Current children cumulated vsize (KiB) 232972
[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.97 3/184 20302
/proc/meminfo: memFree=28650200/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/184 20469
/proc/meminfo: memFree=28161720/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=392528 CPUtime=1358.63 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 104444 0 0 0 135829 34 0 0 20 0 1 0 342372257 401948672 97085 33554432000 134512640 134847168 4294822272 4294820912 134782642 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 98132 97085 272 82 0 97373 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1362.45
Current children cumulated vsize (KiB) 454312
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20469
/proc/meminfo: memFree=28139704/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=411780 CPUtime=1418.62 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 110544 0 0 0 141826 36 0 0 20 0 1 0 342372257 421662720 101815 33554432000 134512640 134847168 4294822272 4294821040 134737260 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 102945 101815 272 82 0 102186 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.44
Current children cumulated vsize (KiB) 473564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20469
/proc/meminfo: memFree=28115400/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=415544 CPUtime=1478.61 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 111415 0 0 0 147824 37 0 0 20 0 1 0 342372257 425517056 102686 33554432000 134512640 134847168 4294822272 4294820912 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 103886 102686 272 82 0 103127 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.43
Current children cumulated vsize (KiB) 477328
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20470
/proc/meminfo: memFree=28107588/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=419984 CPUtime=1538.6 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 112455 0 0 0 153823 37 0 0 20 0 1 0 342372257 430063616 103726 33554432000 134512640 134847168 4294822272 4294821028 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 104996 103726 272 82 0 104237 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.42
Current children cumulated vsize (KiB) 481768
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20470
/proc/meminfo: memFree=28103992/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=421912 CPUtime=1598.59 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 112882 0 0 0 159821 38 0 0 20 0 1 0 342372257 432037888 104153 33554432000 134512640 134847168 4294822272 4294821040 134737304 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 105478 104153 272 82 0 104719 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.41
Current children cumulated vsize (KiB) 483696
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20470
/proc/meminfo: memFree=28097916/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=426304 CPUtime=1658.58 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 114039 0 0 0 165820 38 0 0 20 0 1 0 342372257 436535296 105174 33554432000 134512640 134847168 4294822272 4294820912 134782656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 106576 105174 272 82 0 105817 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.4
Current children cumulated vsize (KiB) 488088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20470
/proc/meminfo: memFree=28069740/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=444740 CPUtime=1718.56 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 119015 0 0 0 171816 40 0 0 20 0 1 0 342372257 455413760 110199 33554432000 134512640 134847168 4294822272 4294821028 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 111185 110199 272 82 0 110426 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 506524
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20470
/proc/meminfo: memFree=28062280/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=445716 CPUtime=1778.54 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 119232 0 0 0 177814 40 0 0 20 0 1 0 342372257 456413184 110444 33554432000 134512640 134847168 4294822272 4294820912 134782595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 111429 110444 272 82 0 110670 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 507500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 20470
/proc/meminfo: memFree=28058436/32873844 swapFree=7644/7644
[pid=20294] ppid=20292 vsize=27176 CPUtime=0.05 cores=1,3,5,7
/proc/20294/stat : 20294 (pbclasp) S 20292 20294 20179 0 -1 4202496 959 0 0 0 5 0 0 0 20 0 1 0 342372250 27828224 872 33554432000 4194304 4198148 140736131035312 140736131034200 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20294/statm: 6794 872 364 1 0 589 0
[pid=20296] ppid=20294 vsize=9148 CPUtime=3.77 cores=1,3,5,7
/proc/20296/stat : 20296 (sh) S 20294 20294 20179 0 -1 4202496 371 620 0 0 0 0 377 0 20 0 1 0 342372257 9367552 263 33554432000 4194304 5064252 140734262035120 140734262033376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20296/statm: 2287 263 223 213 0 72 0
[pid=20298] ppid=20296 vsize=447680 CPUtime=1796.26 cores=1,3,5,7
/proc/20298/stat : 20298 (clasp-1.0) R 20296 20294 20179 0 -1 4202496 119718 0 0 0 179585 41 0 0 20 0 1 0 342372257 458424320 110930 33554432000 134512640 134847168 4294822272 4294821012 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20298/statm: 111920 110930 272 82 0 111161 0
[pid=20299] ppid=20296 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/20299/stat : 20299 (pboutclasp.pl) S 20296 20294 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 342372257 26071040 437 33554432000 4194304 4198148 140734383561856 140734383552392 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/20299/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 509464
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.01
CPU time (s): 1800.12
CPU user time (s): 1799.69
CPU system time (s): 0.428934
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 509464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.428934
maximum resident set size= 443720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122551
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= 1261
involuntary context switches= 1867
runsolver used 9.48256 second user time and 10.1035 second system time
The end