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-3731745-1338699995/watcher-3731745-1338699995 -o /tmp/evaluation-result-3731745-1338699995/solver-3731745-1338699995 -C 1800 -W 1900 -M 15500 pbclasp instance-3731745-1338699995.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.00 1.96 3/178 19814
/proc/meminfo: memFree=27515960/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) R 19812 19814 26887 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 336126327 26206208 478 33554432000 4194304 4198148 140733838762816 140733838760264 271812714496 0 0 4224 16384 0 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6398 478 355 1 0 193 0
[startup+0.100768 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19814
/proc/meminfo: memFree=27515960/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26132 CPUtime=0.02 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 701 0 0 0 2 0 0 0 20 0 1 0 336126327 26759168 614 33554432000 4194304 4198148 140733838762816 140733838761704 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6533 614 368 1 0 328 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26132
[startup+0.200163 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19814
/proc/meminfo: memFree=27515960/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.14 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 867 2099 0 0 2 0 12 0 20 0 1 0 336126327 26894336 673 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 673 387 1 0 361 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26264
[startup+0.300193 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19814
/proc/meminfo: memFree=27515960/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.26 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1187 7847 0 0 4 0 21 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 26264
[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19814
/proc/meminfo: memFree=27515960/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 26264
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 19848
/proc/meminfo: memFree=27497924/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=21764 CPUtime=1.11 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 5026 0 0 0 111 0 0 0 20 0 1 0 336126364 22286336 4923 33554432000 134512640 134847168 4289162080 4289160336 8324391 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 5441 4923 270 82 0 4682 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 57176
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 19848
/proc/meminfo: memFree=27489740/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=25204 CPUtime=2.7 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 5886 0 0 0 270 0 0 0 20 0 1 0 336126364 25808896 5783 33554432000 134512640 134847168 4289162080 4289160720 134783017 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 6301 5783 270 82 0 5542 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 60616
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 19848
/proc/meminfo: memFree=27478748/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=29660 CPUtime=5.91 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 6985 0 0 0 590 1 0 0 20 0 1 0 336126364 30371840 6882 33554432000 134512640 134847168 4289162080 4289160704 134784634 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 7415 6882 270 82 0 6656 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 65072
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 19848
/proc/meminfo: memFree=27467764/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=35128 CPUtime=12.3 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 8359 0 0 0 1229 1 0 0 20 0 1 0 336126364 35971072 8256 33554432000 134512640 134847168 4289162080 4289160772 134777591 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 8782 8256 270 82 0 8023 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 70540
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 19848
/proc/meminfo: memFree=27457616/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=41744 CPUtime=25.11 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 10023 0 0 0 2509 2 0 0 20 0 1 0 336126364 42745856 9931 33554432000 134512640 134847168 4289162080 4289160804 134782308 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 10436 9931 270 82 0 9677 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 77156
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 19848
/proc/meminfo: memFree=27441588/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=49672 CPUtime=50.69 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 12015 0 0 0 5067 2 0 0 20 0 1 0 336126364 50864128 11906 33554432000 134512640 134847168 4289162080 4289160772 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 12418 11906 270 82 0 11659 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 85084
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 19848
/proc/meminfo: memFree=27425752/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=55396 CPUtime=101.89 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 13939 0 0 0 10187 2 0 0 20 0 1 0 336126364 56725504 13330 33554432000 134512640 134847168 4289162080 4289160624 134714779 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 13849 13330 270 82 0 13090 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 90808
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 19848
/proc/meminfo: memFree=27413896/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=60532 CPUtime=161.88 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 16415 0 0 0 16185 3 0 0 20 0 1 0 336126364 61984768 14627 33554432000 134512640 134847168 4289162080 4289160780 134778640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 15133 14627 270 82 0 14374 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 95944
[startup+222.307 s]
/proc/loadavg: 2.08 2.02 1.97 3/182 19851
/proc/meminfo: memFree=27408432/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=0.35 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1365 10758 0 0 5 0 29 1 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19846] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19846/stat : 19846 (sh) S 19814 19814 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 336126364 9367552 264 33554432000 4194304 5064252 140733696067936 140733696066192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19846/statm: 2287 264 223 213 0 72 0
[pid=19848] ppid=19846 vsize=66136 CPUtime=221.87 cores=0,2,4,6
/proc/19848/stat : 19848 (clasp-1.0) R 19846 19814 26887 0 -1 4202496 19084 0 0 0 22183 4 0 0 20 0 1 0 336126364 67723264 16018 33554432000 134512640 134847168 4289162080 4289160704 134784637 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 16534 16018 270 82 0 15775 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 101548
[startup+282.3 s]
################
# More data... #
################
/proc/19876/stat : 19876 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336257503 9367552 263 33554432000 4194304 5064252 140733466635104 140733466633360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19876/statm: 2287 263 223 213 0 72 0
[pid=19878] ppid=19876 vsize=65624 CPUtime=170.49 cores=0,2,4,6
/proc/19878/stat : 19878 (clasp-1.0) R 19876 19814 26887 0 -1 4202496 18774 0 0 0 17046 3 0 0 20 0 1 0 336257503 67198976 15884 33554432000 134512640 134847168 4293331280 4293329556 134792688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19878/statm: 16406 15884 270 82 0 15647 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 101036
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 19955
/proc/meminfo: memFree=27407568/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1311.52 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1470 53823 0 0 5 0 131136 11 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19876] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19876/stat : 19876 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336257503 9367552 263 33554432000 4194304 5064252 140733466635104 140733466633360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19876/statm: 2287 263 223 213 0 72 0
[pid=19878] ppid=19876 vsize=66260 CPUtime=230.48 cores=0,2,4,6
/proc/19878/stat : 19878 (clasp-1.0) R 19876 19814 26887 0 -1 4202496 19107 0 0 0 23045 3 0 0 20 0 1 0 336257503 67850240 16038 33554432000 134512640 134847168 4293331280 4293329904 134784653 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19878/statm: 16565 16038 270 82 0 15806 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 101672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/182 19956
/proc/meminfo: memFree=27395160/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1311.52 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1470 53823 0 0 5 0 131136 11 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19876] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19876/stat : 19876 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336257503 9367552 263 33554432000 4194304 5064252 140733466635104 140733466633360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19876/statm: 2287 263 223 213 0 72 0
[pid=19878] ppid=19876 vsize=72352 CPUtime=290.46 cores=0,2,4,6
/proc/19878/stat : 19878 (clasp-1.0) R 19876 19814 26887 0 -1 4202496 21731 0 0 0 29043 3 0 0 20 0 1 0 336257503 74088448 17567 33554432000 134512640 134847168 4293331280 4293329540 134792624 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19878/statm: 18088 17567 270 82 0 17329 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 107764
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 19956
/proc/meminfo: memFree=27394784/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1311.52 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1470 53823 0 0 5 0 131136 11 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19876] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19876/stat : 19876 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336257503 9367552 263 33554432000 4194304 5064252 140733466635104 140733466633360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19876/statm: 2287 263 223 213 0 72 0
[pid=19878] ppid=19876 vsize=72480 CPUtime=350.45 cores=0,2,4,6
/proc/19878/stat : 19878 (clasp-1.0) R 19876 19814 26887 0 -1 4202496 24833 0 0 0 35042 3 0 0 20 0 1 0 336257503 74219520 17610 33554432000 134512640 134847168 4293331280 4293329920 134777560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19878/statm: 18120 17610 270 82 0 17361 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 107892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 19956
/proc/meminfo: memFree=27387148/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1311.52 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1470 53823 0 0 5 0 131136 11 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19876] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19876/stat : 19876 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336257503 9367552 263 33554432000 4194304 5064252 140733466635104 140733466633360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19876/statm: 2287 263 223 213 0 72 0
[pid=19878] ppid=19876 vsize=72720 CPUtime=410.44 cores=0,2,4,6
/proc/19878/stat : 19878 (clasp-1.0) R 19876 19814 26887 0 -1 4202496 26978 0 0 0 41040 4 0 0 20 0 1 0 336257503 74465280 17660 33554432000 134512640 134847168 4293331280 4293329904 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19878/statm: 18180 17660 270 82 0 17421 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 108132
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/181 19957
/proc/meminfo: memFree=27380416/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1311.52 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1470 53823 0 0 5 0 131136 11 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19876] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19876/stat : 19876 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336257503 9367552 263 33554432000 4194304 5064252 140733466635104 140733466633360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19876/statm: 2287 263 223 213 0 72 0
[pid=19878] ppid=19876 vsize=79900 CPUtime=470.44 cores=0,2,4,6
/proc/19878/stat : 19878 (clasp-1.0) R 19876 19814 26887 0 -1 4202496 29438 0 0 0 47039 5 0 0 20 0 1 0 336257503 81817600 19475 33554432000 134512640 134847168 4293331280 4293329984 134616816 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19878/statm: 19975 19475 270 82 0 19216 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 115312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 1.99 3/181 19957
/proc/meminfo: memFree=27380044/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1311.52 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1470 53823 0 0 5 0 131136 11 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19876] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19876/stat : 19876 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336257503 9367552 263 33554432000 4194304 5064252 140733466635104 140733466633360 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19876/statm: 2287 263 223 213 0 72 0
[pid=19878] ppid=19876 vsize=80120 CPUtime=488.54 cores=0,2,4,6
/proc/19878/stat : 19878 (clasp-1.0) R 19876 19814 26887 0 -1 4202496 29485 0 0 0 48849 5 0 0 20 0 1 0 336257503 82042880 19522 33554432000 134512640 134847168 4293331280 4293329856 134715154 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19878/statm: 20030 19522 270 82 0 19271 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 115532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19814
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.06 2.02 1.99 3/182 19976
/proc/meminfo: memFree=27523112/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1800.09 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1644 86087 0 0 5 0 179986 18 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19966] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19966/stat : 19966 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336306369 9367552 263 33554432000 4194304 5064252 140736170339312 140736170337568 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19966/statm: 2287 263 223 213 0 72 0
[pid=19969] ppid=19966 vsize=20364 CPUtime=1.06 cores=0,2,4,6
/proc/19969/stat : 19969 (clasp-1.0) R 19966 19814 26887 0 -1 4202496 4673 0 0 0 106 0 0 0 20 0 1 0 336306369 20852736 4583 33554432000 134512640 134847168 4294608608 4294607300 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19969/statm: 5091 4583 272 82 0 4332 0
Current children cumulated CPU time (s) 1801.15
Current children cumulated vsize (KiB) 55776
[startup+1801.91 s]
/proc/loadavg: 2.06 2.02 1.99 3/182 19976
/proc/meminfo: memFree=27493364/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1800.09 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1644 86087 0 0 5 0 179986 18 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19966] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19966/stat : 19966 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336306369 9367552 263 33554432000 4194304 5064252 140736170339312 140736170337568 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19966/statm: 2287 263 223 213 0 72 0
[pid=19969] ppid=19966 vsize=23292 CPUtime=1.46 cores=0,2,4,6
/proc/19969/stat : 19969 (clasp-1.0) R 19966 19814 26887 0 -1 4202496 5411 0 0 0 146 0 0 0 20 0 1 0 336306369 23851008 5321 33554432000 134512640 134847168 4294608608 4294607232 134784608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19969/statm: 5823 5321 272 82 0 5064 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 58704
[startup+1802.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/182 19976
/proc/meminfo: memFree=27493364/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1800.09 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1644 86087 0 0 5 0 179986 18 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19966] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19966/stat : 19966 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336306369 9367552 263 33554432000 4194304 5064252 140736170339312 140736170337568 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19966/statm: 2287 263 223 213 0 72 0
[pid=19969] ppid=19966 vsize=23292 CPUtime=1.86 cores=0,2,4,6
/proc/19969/stat : 19969 (clasp-1.0) R 19966 19814 26887 0 -1 4202496 5411 0 0 0 186 0 0 0 20 0 1 0 336306369 23851008 5321 33554432000 134512640 134847168 4294608608 4294606928 134792797 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19969/statm: 5823 5321 272 82 0 5064 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 58704
[startup+1802.4 s]
/proc/loadavg: 2.06 2.02 1.99 3/182 19976
/proc/meminfo: memFree=27493364/32873648 swapFree=6852/6852
[pid=19814] ppid=19812 vsize=26264 CPUtime=1800.09 cores=0,2,4,6
/proc/19814/stat : 19814 (pbclasp) S 19812 19814 26887 0 -1 4202496 1644 86087 0 0 5 0 179986 18 20 0 1 0 336126327 26894336 688 33554432000 4194304 4198148 140733838762816 140733838761744 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19814/statm: 6566 688 387 1 0 361 0
[pid=19966] ppid=19814 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19966/stat : 19966 (sh) S 19814 19814 26887 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 336306369 9367552 263 33554432000 4194304 5064252 140736170339312 140736170337568 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19966/statm: 2287 263 223 213 0 72 0
[pid=19969] ppid=19966 vsize=23292 CPUtime=1.96 cores=0,2,4,6
/proc/19969/stat : 19969 (clasp-1.0) R 19966 19814 26887 0 -1 4202496 5411 0 0 0 196 0 0 0 20 0 1 0 336306369 23851008 5321 33554432000 134512640 134847168 4294608608 4294607248 134715268 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19969/statm: 5823 5321 272 82 0 5064 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 58704
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.09
CPU user time (s): 1801.9
CPU system time (s): 0.19697
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 132764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.9
system time used= 0.19697
maximum resident set size= 95236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93980
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 395
involuntary context switches= 1965
runsolver used 3.20751 second user time and 9.70153 second system time
The end