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-3740893-1338770808/watcher-3740893-1338770808 -o /tmp/evaluation-result-3740893-1338770808/solver-3740893-1338770808 -C 1800 -W 1900 -M 15500 pbclasp instance-3740893-1338770808.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.02 2.02 2.05 3/179 2237
/proc/meminfo: memFree=28386096/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) R 2235 2237 20179 0 -1 4202496 551 0 0 0 0 0 0 0 20 0 1 0 343205307 26206208 482 33554432000 4194304 4198148 140737123998432 140737123995880 239237304212 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6398 482 355 1 0 193 0
[startup+0.0402579 s]
/proc/loadavg: 2.02 2.02 2.05 3/179 2237
/proc/meminfo: memFree=28386096/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.03 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) R 2235 2237 20179 0 -1 4202496 1001 0 0 0 3 0 0 0 20 0 1 0 343205307 28098560 932 33554432000 4194304 4198148 140737123998432 140737123995880 239241061616 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 932 357 1 0 655 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27440
[startup+0.100286 s]
/proc/loadavg: 2.02 2.02 2.05 3/179 2237
/proc/meminfo: memFree=28386096/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.09 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) R 2235 2237 20179 0 -1 4202496 1001 0 0 0 9 0 0 0 20 0 1 0 343205307 28098560 932 33554432000 4194304 4198148 140737123998432 140737123995880 239241061616 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 932 357 1 0 655 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27440
[startup+0.300272 s]
/proc/loadavg: 2.02 2.02 2.05 3/179 2237
/proc/meminfo: memFree=28386096/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.29 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) R 2235 2237 20179 0 -1 4202496 1002 0 0 0 29 0 0 0 20 0 1 0 343205307 28098560 933 33554432000 4194304 4198148 140737123998432 140737123995880 239241061616 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 933 357 1 0 655 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27440
[startup+0.700162 s]
/proc/loadavg: 2.02 2.02 2.05 3/179 2237
/proc/meminfo: memFree=28386096/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 27440
[startup+1.50037 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 2242
/proc/meminfo: memFree=28380716/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2240] ppid=2239 vsize=25592 CPUtime=0.86 cores=1,3,5,7
/proc/2240/stat : 2240 (pb2clasp1) R 2239 2237 20179 0 -1 4202496 611 0 0 0 86 0 0 0 20 0 1 0 343205370 26206208 511 33554432000 4194304 4198148 140735409306192 140735409296728 239250071921 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/2240/statm: 6398 511 378 1 0 193 0
[pid=2241] ppid=2239 vsize=7700 CPUtime=0.09 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) S 2239 2237 20179 0 -1 4202496 1476 0 0 0 9 0 0 0 20 0 1 0 343205370 7884800 1384 33554432000 134512640 134847168 4294280144 4294275944 14103600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2241/statm: 1925 1384 251 82 0 1166 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 95340
[startup+3.10036 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 2242
/proc/meminfo: memFree=28373276/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2240] ppid=2239 vsize=25592 CPUtime=2.46 cores=1,3,5,7
/proc/2240/stat : 2240 (pb2clasp1) R 2239 2237 20179 0 -1 4202496 612 0 0 0 246 0 0 0 20 0 1 0 343205370 26206208 512 33554432000 4194304 4198148 140735409306192 140735409305176 239250024976 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/2240/statm: 6398 512 378 1 0 193 0
[pid=2241] ppid=2239 vsize=15904 CPUtime=0.28 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) S 2239 2237 20179 0 -1 4202496 3502 0 0 0 27 1 0 0 20 0 1 0 343205370 16285696 3410 33554432000 134512640 134847168 4294280144 4294275864 14103600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2241/statm: 3976 3410 251 82 0 3217 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 103544
[startup+6.30037 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 2242
/proc/meminfo: memFree=28358008/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2240] ppid=2239 vsize=25724 CPUtime=5.65 cores=1,3,5,7
/proc/2240/stat : 2240 (pb2clasp1) R 2239 2237 20179 0 -1 4202496 618 0 0 0 565 0 0 0 20 0 1 0 343205370 26341376 518 33554432000 4194304 4198148 140735409306192 140735409305176 239241061616 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/2240/statm: 6431 518 378 1 0 226 0
[pid=2241] ppid=2239 vsize=32280 CPUtime=0.67 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) S 2239 2237 20179 0 -1 4202496 7494 0 0 0 66 1 0 0 20 0 1 0 343205370 33054720 7402 33554432000 134512640 134847168 4294280144 4294275992 14103600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2241/statm: 8070 7402 251 82 0 7311 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 120052
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 2242
/proc/meminfo: memFree=28326040/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2240] ppid=2239 vsize=25724 CPUtime=12.05 cores=1,3,5,7
/proc/2240/stat : 2240 (pb2clasp1) R 2239 2237 20179 0 -1 4202496 626 0 0 0 1204 1 0 0 20 0 1 0 343205370 26341376 526 33554432000 4194304 4198148 140735409306192 140735409296728 239241061520 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/2240/statm: 6431 526 378 1 0 226 0
[pid=2241] ppid=2239 vsize=64164 CPUtime=1.53 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 15436 0 0 0 149 4 0 0 20 0 1 0 343205370 65703936 15344 33554432000 134512640 134847168 4294280144 4294275984 8567279 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2241/statm: 16041 15344 251 82 0 15282 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 14.19
Current children cumulated vsize (KiB) 151936
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.04 3/184 2242
/proc/meminfo: memFree=28259920/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2240] ppid=2239 vsize=25724 CPUtime=24.85 cores=1,3,5,7
/proc/2240/stat : 2240 (pb2clasp1) R 2239 2237 20179 0 -1 4202496 634 0 0 0 2482 3 0 0 20 0 1 0 343205370 26341376 534 33554432000 4194304 4198148 140735409306192 140735409296728 239241061616 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/2240/statm: 6431 534 378 1 0 226 0
[pid=2241] ppid=2239 vsize=129044 CPUtime=3.28 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) S 2239 2237 20179 0 -1 4202496 30935 0 0 0 321 7 0 0 20 0 1 0 343205370 132141056 31354 33554432000 134512640 134847168 4294280144 4294275992 14103600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2241/statm: 32261 31354 251 82 0 31502 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 28.74
Current children cumulated vsize (KiB) 216816
[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.04 4/184 2242
/proc/meminfo: memFree=28131172/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2240] ppid=2239 vsize=25856 CPUtime=50.44 cores=1,3,5,7
/proc/2240/stat : 2240 (pb2clasp1) R 2239 2237 20179 0 -1 4202496 654 0 0 0 5036 8 0 0 20 0 1 0 343205370 26476544 554 33554432000 4194304 4198148 140735409306192 140735409305176 239237298443 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/2240/statm: 6464 554 378 1 0 259 0
[pid=2241] ppid=2239 vsize=260020 CPUtime=6.96 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) S 2239 2237 20179 0 -1 4202496 57225 0 0 0 679 17 0 0 20 0 1 0 343205370 266260480 63224 33554432000 134512640 134847168 4294280144 4294275976 14103600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 65005 63224 251 82 0 64246 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 58.01
Current children cumulated vsize (KiB) 347924
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/183 2242
/proc/meminfo: memFree=27773376/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=581672 CPUtime=55.97 cores=1,3,5,7
################
# More data... #
################
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1429.31
Current children cumulated vsize (KiB) 1248104
[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/184 2280
/proc/meminfo: memFree=26558892/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=1205540 CPUtime=1435.62 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 287873 0 0 0 143454 108 0 0 20 0 1 0 343205370 1234472960 293835 33554432000 134512640 134847168 4294280144 4294278900 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 301385 293835 272 82 0 300626 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1489.28
Current children cumulated vsize (KiB) 1267588
[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 2280
/proc/meminfo: memFree=26532880/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=1222736 CPUtime=1495.61 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 292634 0 0 0 149449 112 0 0 20 0 1 0 343205370 1252081664 298260 33554432000 134512640 134847168 4294280144 4294278784 134782795 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 305684 298260 272 82 0 304925 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1549.27
Current children cumulated vsize (KiB) 1284784
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 2280
/proc/meminfo: memFree=26501968/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=1243400 CPUtime=1555.56 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 299678 0 0 0 155440 116 0 0 20 0 1 0 343205370 1273241600 303625 33554432000 134512640 134847168 4294280144 4294278912 134737597 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 310850 303625 272 82 0 310091 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1609.22
Current children cumulated vsize (KiB) 1305448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 2280
/proc/meminfo: memFree=26464300/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=1262308 CPUtime=1615.5 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 305041 0 0 0 161431 119 0 0 20 0 1 0 343205370 1292603392 308381 33554432000 134512640 134847168 4294280144 4294278900 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 315577 308381 272 82 0 314818 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1669.16
Current children cumulated vsize (KiB) 1324356
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2333
/proc/meminfo: memFree=27498868/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=1280540 CPUtime=1675.48 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 310453 0 0 0 167426 122 0 0 20 0 1 0 343205370 1311272960 316179 33554432000 134512640 134847168 4294280144 4294278320 1582375 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 320135 316179 272 82 0 319376 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1729.14
Current children cumulated vsize (KiB) 1342588
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2334
/proc/meminfo: memFree=27463020/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=1298488 CPUtime=1735.47 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 315921 0 0 0 173421 126 0 0 20 0 1 0 343205370 1329651712 320616 33554432000 134512640 134847168 4294280144 4294278836 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 324622 320616 272 82 0 323863 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1789.13
Current children cumulated vsize (KiB) 1360536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2334
/proc/meminfo: memFree=27455084/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=1302308 CPUtime=1746.38 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 317125 0 0 0 174511 127 0 0 20 0 1 0 343205370 1333563392 321414 33554432000 134512640 134847168 4294280144 4294278900 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 325577 321414 272 82 0 324818 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1364356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2334
/proc/meminfo: memFree=27455084/32873844 swapFree=7644/7644
[pid=2237] ppid=2235 vsize=27440 CPUtime=0.61 cores=1,3,5,7
/proc/2237/stat : 2237 (pbclasp) S 2235 2237 20179 0 -1 4202496 1029 0 0 0 61 0 0 0 20 0 1 0 343205307 28098560 941 33554432000 4194304 4198148 140737123998432 140737123997320 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2237/statm: 6860 941 364 1 0 655 0
[pid=2239] ppid=2237 vsize=9148 CPUtime=53.05 cores=1,3,5,7
/proc/2239/stat : 2239 (sh) S 2237 2237 20179 0 -1 4202496 375 665 0 0 0 0 5296 9 20 0 1 0 343205369 9367552 264 33554432000 4194304 5064252 140737288176928 140737288175184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2239/statm: 2287 264 223 213 0 72 0
[pid=2241] ppid=2239 vsize=1302308 CPUtime=1746.38 cores=1,3,5,7
/proc/2241/stat : 2241 (clasp-1.0) R 2239 2237 20179 0 -1 4202496 317125 0 0 0 174511 127 0 0 20 0 1 0 343205370 1333563392 321414 33554432000 134512640 134847168 4294280144 4294278900 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2241/statm: 325577 321414 272 82 0 324818 0
[pid=2242] ppid=2239 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/2242/stat : 2242 (pboutclasp.pl) S 2239 2237 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 343205370 26071040 438 33554432000 4194304 4198148 140734137983200 140734137973736 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2242/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1364356
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2237 and gives
# childrusage.ru_utime.tv_sec=53
# childrusage.ru_utime.tv_usec=581854
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=106983
# CPU time returned by wait4() is 53.6888
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.21
CPU time (s): 1800.04
CPU user time (s): 1798.68
CPU system time (s): 1.36
CPU usage (%): 100.381
Max. virtual memory (cumulated for all children) (KiB): 1364356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.5819
system time used= 0.106983
maximum resident set size= 3788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3109
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= 370
involuntary context switches= 106
runsolver used 3.76143 second user time and 12.1631 second system time
The end