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-3740867-1338770713/watcher-3740867-1338770713 -o /tmp/evaluation-result-3740867-1338770713/solver-3740867-1338770713 -C 1800 -W 1900 -M 15500 pbclasp instance-3740867-1338770713.opb HOME/temp
running on 4 cores: 0,2,4,6
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.02 2.05 3/179 2133
/proc/meminfo: memFree=28781496/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) R 2131 2133 20179 0 -1 4202496 551 0 0 0 0 0 0 0 20 0 1 0 343195766 26206208 482 33554432000 4194304 4198148 140736044101664 140736044099112 239237304212 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6398 483 355 1 0 193 0
[startup+0.033574 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 2133
/proc/meminfo: memFree=28781496/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.02 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) R 2131 2133 20179 0 -1 4202496 940 0 0 0 2 0 0 0 20 0 1 0 343195766 27828224 871 33554432000 4194304 4198148 140736044101664 140736044092200 239241061616 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 871 357 1 0 589 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27176
[startup+0.100279 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 2133
/proc/meminfo: memFree=28781496/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.08 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) R 2131 2133 20179 0 -1 4202496 940 0 0 0 8 0 0 0 20 0 1 0 343195766 27828224 871 33554432000 4194304 4198148 140736044101664 140736044092200 239241061616 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 871 357 1 0 589 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27176
[startup+0.300278 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 2133
/proc/meminfo: memFree=28781496/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.28 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) R 2131 2133 20179 0 -1 4202496 941 0 0 0 28 0 0 0 20 0 1 0 343195766 27828224 872 33554432000 4194304 4198148 140736044101664 140736044092200 239241061616 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 872 357 1 0 589 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27176
[startup+0.700119 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 2133
/proc/meminfo: memFree=28781496/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 27176
[startup+1.50043 s]
/proc/loadavg: 2.00 2.02 2.05 3/178 2145
/proc/meminfo: memFree=28868812/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2136] ppid=2135 vsize=25592 CPUtime=0.99 cores=0,2,4,6
/proc/2136/stat : 2136 (pb2clasp1) R 2135 2133 20179 0 -1 4202496 612 0 0 0 99 0 0 0 20 0 1 0 343195816 26206208 512 33554432000 4194304 4198148 140733559668336 140733559667320 239250269149 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/2136/statm: 6398 512 378 1 0 193 0
[pid=2137] ppid=2135 vsize=8300 CPUtime=0.11 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) S 2135 2133 20179 0 -1 4202496 1619 0 0 0 11 0 0 0 20 0 1 0 343195816 8499200 1527 33554432000 134512640 134847168 4294021616 4294017336 5678128 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2137/statm: 2075 1527 249 82 0 1316 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 95676
[startup+3.10039 s]
/proc/loadavg: 2.00 2.02 2.05 3/178 2145
/proc/meminfo: memFree=28862868/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2136] ppid=2135 vsize=25592 CPUtime=2.59 cores=0,2,4,6
/proc/2136/stat : 2136 (pb2clasp1) R 2135 2133 20179 0 -1 4202496 613 0 0 0 259 0 0 0 20 0 1 0 343195816 26206208 513 33554432000 4194304 4198148 140733559668336 140733559658872 239237342864 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/2136/statm: 6398 513 378 1 0 193 0
[pid=2137] ppid=2135 vsize=16460 CPUtime=0.32 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) S 2135 2133 20179 0 -1 4202496 3619 0 0 0 31 1 0 0 20 0 1 0 343195816 16855040 3527 33554432000 134512640 134847168 4294021616 4294017496 5678128 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2137/statm: 4115 3527 249 82 0 3356 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 103836
[startup+6.3004 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 2190
/proc/meminfo: memFree=28840808/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2136] ppid=2135 vsize=25724 CPUtime=5.78 cores=0,2,4,6
/proc/2136/stat : 2136 (pb2clasp1) R 2135 2133 20179 0 -1 4202496 619 0 0 0 578 0 0 0 20 0 1 0 343195816 26341376 519 33554432000 4194304 4198148 140733559668336 140733559667320 239250164850 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/2136/statm: 6431 519 378 1 0 226 0
[pid=2137] ppid=2135 vsize=32420 CPUtime=0.73 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 7632 0 0 0 71 2 0 0 20 0 1 0 343195816 33198080 7540 33554432000 134512640 134847168 4294021616 4294017248 12965159 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 8105 7540 249 82 0 7346 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 119928
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 2190
/proc/meminfo: memFree=28774400/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2136] ppid=2135 vsize=25720 CPUtime=12.19 cores=0,2,4,6
/proc/2136/stat : 2136 (pb2clasp1) R 2135 2133 20179 0 -1 4202496 627 0 0 0 1218 1 0 0 20 0 1 0 343195816 26337280 527 33554432000 4194304 4198148 140733559668336 140733559667320 239249998712 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/2136/statm: 6430 527 378 1 0 225 0
[pid=2137] ppid=2135 vsize=64364 CPUtime=1.56 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) S 2135 2133 20179 0 -1 4202496 15635 0 0 0 152 4 0 0 20 0 1 0 343195816 65908736 15543 33554432000 134512640 134847168 4294021616 4294017640 5678128 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 16091 15543 249 82 0 15332 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 14.23
Current children cumulated vsize (KiB) 151868
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.05 3/184 2190
/proc/meminfo: memFree=28652588/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2136] ppid=2135 vsize=25720 CPUtime=24.99 cores=0,2,4,6
/proc/2136/stat : 2136 (pb2clasp1) R 2135 2133 20179 0 -1 4202496 638 0 0 0 2497 2 0 0 20 0 1 0 343195816 26337280 538 33554432000 4194304 4198148 140733559668336 140733559667320 239250066246 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/2136/statm: 6430 538 378 1 0 225 0
[pid=2137] ppid=2135 vsize=128820 CPUtime=3.35 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) S 2135 2133 20179 0 -1 4202496 31204 0 0 0 327 8 0 0 20 0 1 0 343195816 131911680 31623 33554432000 134512640 134847168 4294021616 4294017496 5678128 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 32205 31623 249 82 0 31446 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 216324
[startup+51.1005 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 2190
/proc/meminfo: memFree=28330004/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=456496 CPUtime=15.01 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 89262 0 0 0 1479 22 0 0 20 0 1 0 343195816 467451904 111906 33554432000 134512640 134847168 4294021616 4294020256 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 114124 111906 270 82 0 113365 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 56.65
Current children cumulated vsize (KiB) 518280
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 2242
/proc/meminfo: memFree=28352180/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=456496 CPUtime=66.19 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 89288 0 0 0 6597 22 0 0 20 0 1 0 343195816 467451904 111918 33554432000 134512640 134847168 4294021616 4294020300 134715812 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 114124 111918 270 82 0 113365 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1427.51
Current children cumulated vsize (KiB) 1151764
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2276
/proc/meminfo: memFree=26614936/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=1102440 CPUtime=1445.85 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 284597 0 0 0 144494 91 0 0 20 0 1 0 343195816 1128898560 268576 33554432000 134512640 134847168 4294021616 4294020372 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 275610 268576 270 82 0 274851 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1487.49
Current children cumulated vsize (KiB) 1164224
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/185 2280
/proc/meminfo: memFree=26576544/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=1115508 CPUtime=1505.85 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 290845 0 0 0 150491 94 0 0 20 0 1 0 343195816 1142280192 271843 33554432000 134512640 134847168 4294021616 4294020256 134782463 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 278877 271843 270 82 0 278118 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1547.49
Current children cumulated vsize (KiB) 1177292
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/184 2280
/proc/meminfo: memFree=26546940/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=1127396 CPUtime=1565.83 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 294731 0 0 0 156488 95 0 0 20 0 1 0 343195816 1154453504 274517 33554432000 134512640 134847168 4294021616 4294020256 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 281849 274517 270 82 0 281090 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1607.47
Current children cumulated vsize (KiB) 1189180
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 2280
/proc/meminfo: memFree=26521300/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=1137484 CPUtime=1625.83 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 298317 0 0 0 162486 97 0 0 20 0 1 0 343195816 1164783616 276702 33554432000 134512640 134847168 4294021616 4294020308 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 284371 276702 270 82 0 283612 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1667.47
Current children cumulated vsize (KiB) 1199268
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 2280
/proc/meminfo: memFree=26489892/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=1147396 CPUtime=1685.81 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 301339 0 0 0 168483 98 0 0 20 0 1 0 343195816 1174933504 278912 33554432000 134512640 134847168 4294021616 4294020256 134782439 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 286849 278912 270 82 0 286090 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1727.45
Current children cumulated vsize (KiB) 1209180
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 2280
/proc/meminfo: memFree=26437468/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=1179204 CPUtime=1745.81 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 320471 0 0 0 174477 104 0 0 20 0 1 0 343195816 1207504896 286041 33554432000 134512640 134847168 4294021616 4294020372 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 294801 286041 270 82 0 294042 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1787.45
Current children cumulated vsize (KiB) 1240988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 2280
/proc/meminfo: memFree=26427780/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=1182084 CPUtime=1758.41 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 321183 0 0 0 175737 104 0 0 20 0 1 0 343195816 1210454016 286753 33554432000 134512640 134847168 4294021616 4294020256 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 295521 286753 270 82 0 294762 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1243868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 2280
/proc/meminfo: memFree=26427780/32873844 swapFree=7644/7644
[pid=2133] ppid=2131 vsize=27176 CPUtime=0.48 cores=0,2,4,6
/proc/2133/stat : 2133 (pbclasp) S 2131 2133 20179 0 -1 4202496 967 0 0 0 48 0 0 0 20 0 1 0 343195766 27828224 880 33554432000 4194304 4198148 140736044101664 140736044100552 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2133/statm: 6794 880 364 1 0 589 0
[pid=2135] ppid=2133 vsize=9148 CPUtime=41.16 cores=0,2,4,6
/proc/2135/stat : 2135 (sh) S 2133 2133 20179 0 -1 4202496 372 662 0 0 0 0 4112 4 20 0 1 0 343195816 9367552 264 33554432000 4194304 5064252 140736625155600 140736625153856 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2135/statm: 2287 264 223 213 0 72 0
[pid=2137] ppid=2135 vsize=1182084 CPUtime=1758.41 cores=0,2,4,6
/proc/2137/stat : 2137 (clasp-1.0) R 2135 2133 20179 0 -1 4202496 321183 0 0 0 175737 104 0 0 20 0 1 0 343195816 1210454016 286753 33554432000 134512640 134847168 4294021616 4294020256 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2137/statm: 295521 286753 270 82 0 294762 0
[pid=2138] ppid=2135 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/2138/stat : 2138 (pboutclasp.pl) S 2135 2133 20179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343195816 26071040 437 33554432000 4194304 4198148 140736737854992 140736737845528 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/2138/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1243868
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2133 and gives
# childrusage.ru_utime.tv_sec=41
# childrusage.ru_utime.tv_usec=612673
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=62990
# CPU time returned by wait4() is 41.6757
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.91
CPU time (s): 1800.05
CPU user time (s): 1798.97
CPU system time (s): 1.08
CPU usage (%): 100.286
Max. virtual memory (cumulated for all children) (KiB): 1243868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.6127
system time used= 0.06299
maximum resident set size= 3544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2958
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= 299
involuntary context switches= 60
runsolver used 3.00954 second user time and 12.1652 second system time
The end