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-3739921-1338763632/watcher-3739921-1338763632 -o /tmp/evaluation-result-3739921-1338763632/solver-3739921-1338763632 -C 1800 -W 1900 -M 15500 pbclasp instance-3739921-1338763632.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 2.00 3/180 17945
/proc/meminfo: memFree=26110004/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) R 17943 17945 14893 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 342491717 26628096 573 33554432000 4194304 4198148 140736337312992 140735889408792 218226286556 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6501 573 356 1 0 296 0
[startup+0.0725769 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17945
/proc/meminfo: memFree=26110004/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26528
[startup+0.100337 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17945
/proc/meminfo: memFree=26110004/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26528
[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17945
/proc/meminfo: memFree=26110004/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26528
[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17945
/proc/meminfo: memFree=26110004/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26528
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17950
/proc/meminfo: memFree=26078584/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17948] ppid=17947 vsize=25592 CPUtime=1.44 cores=0,2,4,6
/proc/17948/stat : 17948 (pb2clasp1) R 17947 17945 14893 0 -1 4202496 608 0 0 0 144 0 0 0 20 0 1 0 342491722 26206208 508 33554432000 4194304 4198148 140734278242912 140734278233448 218226494497 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/17948/statm: 6398 508 378 1 0 193 0
[pid=17949] ppid=17947 vsize=13348 CPUtime=0.17 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) S 17947 17945 14893 0 -1 4202496 2877 0 0 0 17 0 0 0 20 0 1 0 342491722 13668352 2785 33554432000 134512640 134847168 4290365392 4290361112 9815088 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17949/statm: 3337 2785 249 82 0 2578 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 100076
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 18002
/proc/meminfo: memFree=26103780/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17948] ppid=17947 vsize=25592 CPUtime=3.03 cores=0,2,4,6
/proc/17948/stat : 17948 (pb2clasp1) R 17947 17945 14893 0 -1 4202496 614 0 0 0 303 0 0 0 20 0 1 0 342491722 26206208 514 33554432000 4194304 4198148 140734278242912 140734278241896 218226622381 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/17948/statm: 6398 514 378 1 0 193 0
[pid=17949] ppid=17947 vsize=23296 CPUtime=0.37 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) S 17947 17945 14893 0 -1 4202496 5269 0 0 0 36 1 0 0 20 0 1 0 342491722 23855104 5177 33554432000 134512640 134847168 4290365392 4290361112 9815088 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 5824 5177 249 82 0 5065 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 110024
[startup+6.30031 s]
/proc/loadavg: 2.16 2.03 2.01 3/184 18106
/proc/meminfo: memFree=26070336/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=48944 CPUtime=3.4 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 12749 0 0 0 338 2 0 0 20 0 1 0 342491722 50118656 11617 33554432000 134512640 134847168 4290365392 4290364140 134735927 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17949/statm: 12236 11617 270 82 0 11477 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 110080
[startup+12.7003 s]
/proc/loadavg: 2.23 2.05 2.02 3/184 18366
/proc/meminfo: memFree=26071368/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=49612 CPUtime=9.79 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 12899 0 0 0 977 2 0 0 20 0 1 0 342491722 50802688 11761 33554432000 134512640 134847168 4290365392 4290364076 134715930 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17949/statm: 12403 11761 270 82 0 11644 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (KiB) 110748
[startup+25.5003 s]
/proc/loadavg: 2.18 2.05 2.01 3/183 18522
/proc/meminfo: memFree=26023968/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=72312 CPUtime=22.59 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 18540 0 0 0 2255 4 0 0 20 0 1 0 342491722 74047488 17403 33554432000 134512640 134847168 4290365392 4290364160 134737400 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17949/statm: 18078 17403 270 82 0 17319 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 25.89
Current children cumulated vsize (KiB) 133448
[startup+51.1004 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 18522
/proc/meminfo: memFree=25971836/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=112620 CPUtime=48.17 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 28742 0 0 0 4811 6 0 0 20 0 1 0 342491722 115322880 27475 33554432000 134512640 134847168 4290365392 4290364132 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 28155 27475 270 82 0 27396 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 51.47
Current children cumulated vsize (KiB) 173756
[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.01 3/183 18523
/proc/meminfo: memFree=25929724/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=135576 CPUtime=99.35 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 34702 0 0 0 9928 7 0 0 20 0 1 0 342491722 138829824 33086 33554432000 134512640 134847168 4290365392 4290364076 134715776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 33894 33086 270 82 0 33135 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 102.65
Current children cumulated vsize (KiB) 196712
[startup+162.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 18523
/proc/meminfo: memFree=25891464/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
################
# More data... #
################
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 624720
[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 18560
/proc/meminfo: memFree=25408852/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=569228 CPUtime=1478.99 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 146550 0 0 0 147860 39 0 0 20 0 1 0 342491722 582889472 141162 33554432000 134512640 134847168 4290365392 4290364160 134737345 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 142307 141162 270 82 0 141548 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 630364
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 18560
/proc/meminfo: memFree=25403892/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=573560 CPUtime=1538.98 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 147625 0 0 0 153859 39 0 0 20 0 1 0 342491722 587325440 142237 33554432000 134512640 134847168 4290365392 4290363632 2528433 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 143390 142237 270 82 0 142631 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 634696
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 18561
/proc/meminfo: memFree=25368552/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=608980 CPUtime=1598.97 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 156355 0 0 0 159855 42 0 0 20 0 1 0 342491722 623595520 150967 33554432000 134512640 134847168 4290365392 4290364032 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 152245 150967 270 82 0 151486 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 670116
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 18561
/proc/meminfo: memFree=25366196/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=611112 CPUtime=1658.96 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 157136 0 0 0 165854 42 0 0 20 0 1 0 342491722 625778688 151448 33554432000 134512640 134847168 4290365392 4290364032 134782592 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 152778 151448 270 82 0 152019 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 672248
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 18561
/proc/meminfo: memFree=25364336/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=611652 CPUtime=1718.96 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 161037 0 0 0 171853 43 0 0 20 0 1 0 342491722 626331648 151499 33554432000 134512640 134847168 4290365392 4290364132 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 152913 151499 270 82 0 152154 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 672788
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 18561
/proc/meminfo: memFree=25361236/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=613136 CPUtime=1778.95 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 161405 0 0 0 177852 43 0 0 20 0 1 0 342491722 627851264 151867 33554432000 134512640 134847168 4290365392 4290364160 134737684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 153284 151867 270 82 0 152525 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 674272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 18561
/proc/meminfo: memFree=25360300/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=613136 CPUtime=1796.75 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 161407 0 0 0 179632 43 0 0 20 0 1 0 342491722 627851264 151966 33554432000 134512640 134847168 4290365392 4290364132 134737626 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 153284 151966 270 82 0 152525 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 674272
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 18561
/proc/meminfo: memFree=25360300/32873844 swapFree=7628/7628
[pid=17945] ppid=17943 vsize=26528 CPUtime=0.04 cores=0,2,4,6
/proc/17945/stat : 17945 (pbclasp) S 17943 17945 14893 0 -1 4202496 794 0 0 0 4 0 0 0 20 0 1 0 342491717 27164672 707 33554432000 4194304 4198148 140736337312992 140736337311880 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17945/statm: 6632 707 364 1 0 427 0
[pid=17947] ppid=17945 vsize=9148 CPUtime=3.26 cores=0,2,4,6
/proc/17947/stat : 17947 (sh) S 17945 17945 14893 0 -1 4202496 372 621 0 0 0 0 326 0 20 0 1 0 342491722 9367552 264 33554432000 4194304 5064252 140733652200736 140733652198992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17947/statm: 2287 264 223 213 0 72 0
[pid=17949] ppid=17947 vsize=613136 CPUtime=1796.75 cores=0,2,4,6
/proc/17949/stat : 17949 (clasp-1.0) R 17947 17945 14893 0 -1 4202496 161407 0 0 0 179632 43 0 0 20 0 1 0 342491722 627851264 151966 33554432000 134512640 134847168 4290365392 4290364132 134737626 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17949/statm: 153284 151966 270 82 0 152525 0
[pid=17950] ppid=17947 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (pboutclasp.pl) S 17947 17945 14893 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 342491722 26071040 438 33554432000 4194304 4198148 140736068682256 140736068672792 218217112816 0 0 4224 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17950/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 674272
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17945 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=319495
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 3.33649
# 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): 1800.11
CPU time (s): 1800.05
CPU user time (s): 1799.62
CPU system time (s): 0.43
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 674272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.31949
system time used= 0.016997
maximum resident set size= 2852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2603
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= 167
involuntary context switches= 7
runsolver used 2.6036 second user time and 7.33188 second system time
The end