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-3737955-1338744558/watcher-3737955-1338744558 -o /tmp/evaluation-result-3737955-1338744558/solver-3737955-1338744558 -C 1800 -W 1900 -M 15500 pbclasp instance-3737955-1338744558.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: 0.84 1.05 1.84 3/177 16340
/proc/meminfo: memFree=27137660/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[startup+0.041152 s]
/proc/loadavg: 0.84 1.05 1.84 3/177 16340
/proc/meminfo: memFree=27137660/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.100219 s]
/proc/loadavg: 0.84 1.05 1.84 3/177 16340
/proc/meminfo: memFree=27137660/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.300152 s]
/proc/loadavg: 0.84 1.05 1.84 3/177 16340
/proc/meminfo: memFree=27137660/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.700162 s]
/proc/loadavg: 0.84 1.05 1.84 3/177 16340
/proc/meminfo: memFree=27137660/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+1.50033 s]
/proc/loadavg: 0.84 1.05 1.84 3/182 17090
/proc/meminfo: memFree=27132468/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=7108 CPUtime=1.38 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 1338 0 0 0 138 0 0 0 20 0 1 0 340584417 7278592 1246 33554432000 134512640 134847168 4287742736 4287741360 134784670 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16349/statm: 1777 1246 272 82 0 1018 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67308
[startup+3.10028 s]
/proc/loadavg: 0.85 1.05 1.84 3/181 17898
/proc/meminfo: memFree=27131596/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=7996 CPUtime=2.98 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 1575 0 0 0 297 1 0 0 20 0 1 0 340584417 8187904 1483 33554432000 134512640 134847168 4287742736 4287741360 134784711 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16349/statm: 1999 1483 272 82 0 1240 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68196
[startup+6.30029 s]
/proc/loadavg: 0.85 1.05 1.84 3/181 20325
/proc/meminfo: memFree=27128516/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=9568 CPUtime=6.17 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 1965 0 0 0 616 1 0 0 20 0 1 0 340584417 9797632 1873 33554432000 134512640 134847168 4287742736 4287741428 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16349/statm: 2392 1873 272 82 0 1633 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69768
[startup+12.7003 s]
/proc/loadavg: 0.88 1.05 1.83 3/182 25179
/proc/meminfo: memFree=27125948/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=11076 CPUtime=12.58 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 2355 0 0 0 1254 4 0 0 20 0 1 0 340584417 11341824 2256 33554432000 134512640 134847168 4287742736 4287741376 134715402 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16349/statm: 2769 2256 272 82 0 2010 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71276
[startup+25.5003 s]
/proc/loadavg: 0.97 1.06 1.83 3/183 2451
/proc/meminfo: memFree=27122988/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=12688 CPUtime=25.37 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 2778 0 0 0 2531 6 0 0 20 0 1 0 340584417 12992512 2665 33554432000 134512640 134847168 4287742736 4287741420 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 3172 2665 272 82 0 2413 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72888
[startup+51.1003 s]
/proc/loadavg: 1.13 1.09 1.81 3/181 20747
/proc/meminfo: memFree=27118856/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=15676 CPUtime=50.97 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 3512 0 0 0 5090 7 0 0 20 0 1 0 340584417 16052224 3389 33554432000 134512640 134847168 4287742736 4287741360 134784798 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 3919 3389 272 82 0 3160 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75876
[startup+102.307 s]
/proc/loadavg: 1.10 1.09 1.77 2/184 25691
/proc/meminfo: memFree=27111948/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=18708 CPUtime=102.16 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 4307 0 0 0 10209 7 0 0 20 0 1 0 340584417 19156992 4165 33554432000 134512640 134847168 4287742736 4287741492 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 4677 4165 272 82 0 3918 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78908
[startup+162.3 s]
/proc/loadavg: 1.27 1.13 1.74 3/183 3867
/proc/meminfo: memFree=27107796/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=20884 CPUtime=162.15 cores=1,3,5,7
################
# More data... #
################
/proc/16349/statm: 8131 7529 272 82 0 7372 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 92724
Solver just ended. Dumping a history of the last processes samples
[startup+842.9 s]
/proc/loadavg: 1.27 1.51 1.71 2/183 21714
/proc/meminfo: memFree=27071576/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=32524 CPUtime=842.64 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8303 0 0 0 84255 9 0 0 20 0 1 0 340584417 33304576 7546 33554432000 134512640 134847168 4287742736 4287741360 134784711 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8131 7546 272 82 0 7372 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 842.75
Current children cumulated vsize (KiB) 92724
[startup+855.7 s]
/proc/loadavg: 1.30 1.51 1.71 3/181 30507
/proc/meminfo: memFree=27070748/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=32524 CPUtime=855.43 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8303 0 0 0 85534 9 0 0 20 0 1 0 340584417 33304576 7546 33554432000 134512640 134847168 4287742736 4287741504 134617542 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8131 7546 272 82 0 7372 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 855.54
Current children cumulated vsize (KiB) 92724
[startup+868.5 s]
/proc/loadavg: 1.24 1.48 1.70 3/180 7555
/proc/meminfo: memFree=27069524/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=33600 CPUtime=868.23 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8562 0 0 0 86814 9 0 0 20 0 1 0 340584417 34406400 7805 33554432000 134512640 134847168 4287742736 4287741360 134784675 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8400 7805 272 82 0 7641 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 868.34
Current children cumulated vsize (KiB) 93800
[startup+874.907 s]
/proc/loadavg: 1.22 1.47 1.69 3/182 12313
/proc/meminfo: memFree=27069808/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=33744 CPUtime=874.64 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8586 0 0 0 87455 9 0 0 20 0 1 0 340584417 34553856 7829 33554432000 134512640 134847168 4287742736 4287741312 134714743 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8436 7829 272 82 0 7677 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 874.75
Current children cumulated vsize (KiB) 93944
[startup+878.1 s]
/proc/loadavg: 1.28 1.48 1.69 4/181 14679
/proc/meminfo: memFree=27069924/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=33744 CPUtime=877.84 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8586 0 0 0 87775 9 0 0 20 0 1 0 340584417 34553856 7829 33554432000 134512640 134847168 4287742736 4287741416 134789714 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8436 7829 272 82 0 7677 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 877.95
Current children cumulated vsize (KiB) 93944
[startup+878.9 s]
/proc/loadavg: 1.28 1.48 1.69 4/181 14679
/proc/meminfo: memFree=27069924/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=33744 CPUtime=878.63 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8586 0 0 0 87854 9 0 0 20 0 1 0 340584417 34553856 7829 33554432000 134512640 134847168 4287742736 4287741456 134741339 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8436 7829 272 82 0 7677 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 878.74
Current children cumulated vsize (KiB) 93944
[startup+879.7 s]
/proc/loadavg: 1.28 1.48 1.69 4/183 15486
/proc/meminfo: memFree=27069412/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=33744 CPUtime=879.43 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8586 0 0 0 87934 9 0 0 20 0 1 0 340584417 34553856 7829 33554432000 134512640 134847168 4287742736 4287741360 134784541 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8436 7829 272 82 0 7677 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 879.54
Current children cumulated vsize (KiB) 93944
[startup+879.9 s]
/proc/loadavg: 1.28 1.48 1.69 4/183 15486
/proc/meminfo: memFree=27069412/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=33744 CPUtime=879.63 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8586 0 0 0 87954 9 0 0 20 0 1 0 340584417 34553856 7829 33554432000 134512640 134847168 4287742736 4287741440 134616720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8436 7829 272 82 0 7677 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 879.74
Current children cumulated vsize (KiB) 93944
[startup+880 s]
/proc/loadavg: 1.28 1.48 1.69 4/183 15486
/proc/meminfo: memFree=27069412/32873844 swapFree=7116/7116
[pid=16340] ppid=16337 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/16340/stat : 16340 (pbclasp) S 16337 16340 28789 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 340584417 26206208 497 33554432000 4194304 4198148 140734411362128 140734411361016 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16340/statm: 6398 497 363 1 0 193 0
[pid=16345] ppid=16340 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/16345/stat : 16345 (sh) S 16340 16340 28789 0 -1 4202496 372 627 0 0 0 0 11 0 20 0 1 0 340584417 9367552 264 33554432000 4194304 5064252 140736249626736 140736249624992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16345/statm: 2287 264 223 213 0 72 0
[pid=16349] ppid=16345 vsize=33744 CPUtime=879.73 cores=1,3,5,7
/proc/16349/stat : 16349 (clasp-1.0) R 16345 16340 28789 0 -1 4202496 8586 0 0 0 87964 9 0 0 20 0 1 0 340584417 34553856 7829 33554432000 134512640 134847168 4287742736 4287741360 134784651 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 8436 7829 272 82 0 7677 0
[pid=16350] ppid=16345 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/16350/stat : 16350 (pboutclasp.pl) S 16345 16340 28789 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340584417 26071040 437 33554432000 4194304 4198148 140734451842448 140734451832984 240430146800 0 0 4224 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16350/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 879.84
Current children cumulated vsize (KiB) 93944
Child status: 0
Real time (s): 880.03
CPU time (s): 879.894
CPU user time (s): 879.789
CPU system time (s): 0.104984
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 93944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 879.789
system time used= 0.104984
maximum resident set size= 31316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10806
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= 53
involuntary context switches= 1131
runsolver used 0.902862 second user time and 2.52062 second system time
The end