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-3742255-1338786701/watcher-3742255-1338786701 -o /tmp/evaluation-result-3742255-1338786701/solver-3742255-1338786701 -C 1800 -W 1900 -M 15500 pbclasp instance-3742255-1338786701.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.02 2.02 2.00 3/179 24991
/proc/meminfo: memFree=28330932/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) D 24989 24991 20179 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 344794495 26071040 362 33554432000 4194304 4198148 140737415864096 140737415861544 239237676725 0 0 4224 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6365 362 277 1 0 160 0
[startup+0.0229899 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 24991
/proc/meminfo: memFree=28330932/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) R 24989 24991 20179 0 -1 4202496 740 0 0 0 0 0 0 0 20 0 1 0 344794495 27029504 670 33554432000 4194304 4198148 140737415864096 140737415861544 239250064544 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 670 356 1 0 394 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26396
[startup+0.100154 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 24991
/proc/meminfo: memFree=28330932/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.300113 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 24991
/proc/meminfo: memFree=28330932/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.70011 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 24991
/proc/meminfo: memFree=28330932/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+1.50036 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 24996
/proc/meminfo: memFree=28323080/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24994] ppid=24993 vsize=25724 CPUtime=1.43 cores=0,2,4,6
/proc/24994/stat : 24994 (pb2clasp1) R 24993 24991 20179 0 -1 4202496 622 0 0 0 143 0 0 0 20 0 1 0 344794499 26341376 521 33554432000 4194304 4198148 140735576029248 140735576028232 239250167126 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/24994/statm: 6431 521 379 1 0 226 0
[pid=24995] ppid=24993 vsize=10704 CPUtime=0.17 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 2187 0 0 0 17 0 0 0 20 0 1 0 344794499 10960896 2094 33554432000 134512640 134847168 4289872784 4289868560 1628655 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 2676 2094 250 82 0 1917 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 97432
[startup+3.10035 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 24996
/proc/meminfo: memFree=28309076/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=22924 CPUtime=1.77 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 5658 0 0 0 176 1 0 0 20 0 1 0 344794499 23474176 5087 33554432000 134512640 134847168 4289872784 4289871552 134617553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 5731 5087 270 82 0 4972 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 83928
[startup+6.30035 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 24996
/proc/meminfo: memFree=28309076/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=22924 CPUtime=4.97 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 5667 0 0 0 496 1 0 0 20 0 1 0 344794499 23474176 5096 33554432000 134512640 134847168 4289872784 4289871552 134617664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 5731 5096 270 82 0 4972 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 83928
[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24996
/proc/meminfo: memFree=28308588/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=23416 CPUtime=11.37 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 5745 0 0 0 1136 1 0 0 20 0 1 0 344794499 23977984 5174 33554432000 134512640 134847168 4289872784 4289871424 134782435 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 5854 5174 270 82 0 5095 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 84420
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24996
/proc/meminfo: memFree=28308232/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=23940 CPUtime=24.17 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 5870 0 0 0 2416 1 0 0 20 0 1 0 344794499 24514560 5299 33554432000 134512640 134847168 4289872784 4289871424 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 5985 5299 270 82 0 5226 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (KiB) 84944
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24996
/proc/meminfo: memFree=28305752/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=26752 CPUtime=49.77 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 6552 0 0 0 4976 1 0 0 20 0 1 0 344794499 27394048 5981 33554432000 134512640 134847168 4289872784 4289871360 134714173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 6688 5981 270 82 0 5929 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 87756
[startup+102.307 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 24996
/proc/meminfo: memFree=28295088/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=36528 CPUtime=100.96 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 9085 0 0 0 10095 1 0 0 20 0 1 0 344794499 37404672 8514 33554432000 134512640 134847168 4289872784 4289871552 134737368 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 9132 8514 270 82 0 8373 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 97532
[startup+162.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 24996
/proc/meminfo: memFree=28282560/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
################
# More data... #
################
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.15
Current children cumulated vsize (KiB) 279844
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 25060
/proc/meminfo: memFree=28322108/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=259936 CPUtime=1480.69 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 64114 0 0 0 148049 20 0 0 20 0 1 0 344794499 266174464 64060 33554432000 134512640 134847168 4289872784 4289871248 134713707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 64984 64060 270 82 0 64225 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.14
Current children cumulated vsize (KiB) 320940
[startup+1542.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/183 25060
/proc/meminfo: memFree=28253412/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=315840 CPUtime=1540.68 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 77934 0 0 0 154045 23 0 0 20 0 1 0 344794499 323420160 77880 33554432000 134512640 134847168 4289872784 4289871360 134742770 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 78960 77880 270 82 0 78201 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 376844
[startup+1602.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 25060
/proc/meminfo: memFree=28124680/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=445584 CPUtime=1600.67 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 109831 0 0 0 160036 31 0 0 20 0 1 0 344794499 456278016 109777 33554432000 134512640 134847168 4289872784 4289871424 134782598 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 111396 109777 270 82 0 110637 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 506588
[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 25060
/proc/meminfo: memFree=28015436/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=529348 CPUtime=1660.66 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 130563 0 0 0 166029 37 0 0 20 0 1 0 344794499 542052352 130060 33554432000 134512640 134847168 4289872784 4289871424 134782463 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 132337 130060 270 82 0 131578 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 590352
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/184 25063
/proc/meminfo: memFree=28015468/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=528804 CPUtime=1720.65 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 130582 0 0 0 172028 37 0 0 20 0 1 0 344794499 541495296 130028 33554432000 134512640 134847168 4289872784 4289871424 134782441 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 132201 130028 270 82 0 131442 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 589808
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 25064
/proc/meminfo: memFree=27993308/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=528804 CPUtime=1780.62 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 130610 0 0 0 178025 37 0 0 20 0 1 0 344794499 541495296 130139 33554432000 134512640 134847168 4289872784 4289871552 134617170 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24995/statm: 132201 130139 270 82 0 131442 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 589808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 25064
/proc/meminfo: memFree=27992160/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=528804 CPUtime=1798.62 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 130627 0 0 0 179825 37 0 0 20 0 1 0 344794499 541495296 130236 33554432000 134512640 134847168 4289872784 4289871540 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24995/statm: 132201 130236 270 82 0 131442 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 589808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 25064
/proc/meminfo: memFree=27992160/32873844 swapFree=7644/7644
[pid=24991] ppid=24989 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/24991/stat : 24991 (pbclasp) S 24989 24991 20179 0 -1 4202496 779 0 0 0 2 0 0 0 20 0 1 0 344794495 27029504 691 33554432000 4194304 4198148 140737415864096 140737415862984 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24991/statm: 6599 691 364 1 0 394 0
[pid=24993] ppid=24991 vsize=9148 CPUtime=1.43 cores=0,2,4,6
/proc/24993/stat : 24993 (sh) S 24991 24991 20179 0 -1 4202496 373 628 0 0 0 0 143 0 20 0 1 0 344794499 9367552 264 33554432000 4194304 5064252 140734582949888 140734582948144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24993/statm: 2287 264 223 213 0 72 0
[pid=24995] ppid=24993 vsize=528804 CPUtime=1798.62 cores=0,2,4,6
/proc/24995/stat : 24995 (clasp-1.0) R 24993 24991 20179 0 -1 4202496 130627 0 0 0 179825 37 0 0 20 0 1 0 344794499 541495296 130236 33554432000 134512640 134847168 4289872784 4289871540 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24995/statm: 132201 130236 270 82 0 131442 0
[pid=24996] ppid=24993 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24996/stat : 24996 (pboutclasp.pl) S 24993 24991 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344794499 26071040 437 33554432000 4194304 4198148 140735415651408 140735415641944 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24996/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 589808
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24991 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=465777
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 1.47478
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.31
CPU time (s): 1800.07
CPU user time (s): 1799.7
CPU system time (s): 0.37
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (KiB): 590352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.46578
system time used= 0.008998
maximum resident set size= 2788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2572
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= 153
involuntary context switches= 14
runsolver used 4.29135 second user time and 10.4724 second system time
The end