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-3736747-1338732160/watcher-3736747-1338732160 -o /tmp/evaluation-result-3736747-1338732160/solver-3736747-1338732160 -C 1800 -W 1900 -M 15500 pbclasp instance-3736747-1338732160.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) R 9444 9446 29645 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 339340983 26071040 383 33554432000 4194304 4198148 140734304505648 140734304503096 223651270548 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6365 383 291 1 0 160 0
[startup+0.0397769 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=0.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 731 0 0 0 1 0 0 0 20 0 1 0 339340983 26898432 645 33554432000 4194304 4198148 140734304505648 140734304504536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268
[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=0.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 731 0 0 0 1 0 0 0 20 0 1 0 339340983 26898432 645 33554432000 4194304 4198148 140734304505648 140734304504536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=0.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 731 0 0 0 1 0 0 0 20 0 1 0 339340983 26898432 645 33554432000 4194304 4198148 140734304505648 140734304504536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=0.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 731 0 0 0 1 0 0 0 20 0 1 0 339340983 26898432 645 33554432000 4194304 4198148 140734304505648 140734304504536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9449
/proc/meminfo: memFree=27015332/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=1.27 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 830 2099 0 0 1 0 125 1 20 0 1 0 339340983 26898432 674 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 674 387 1 0 362 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 26268
[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9464
/proc/meminfo: memFree=26992012/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=2.79 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 1236 26014 0 0 3 0 268 8 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 26268
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9512
/proc/meminfo: memFree=26991384/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=6.11 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 1916 65938 0 0 7 0 583 21 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 26268
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9520
/proc/meminfo: memFree=26986312/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=6.11 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 1916 65938 0 0 7 0 583 21 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9518] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9518/stat : 9518 (sh) S 9446 9446 29645 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339341599 9367552 264 33554432000 4194304 5064252 140734531862352 140734531860608 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9518/statm: 2287 264 223 213 0 72 0
[pid=9520] ppid=9518 vsize=30060 CPUtime=6.53 cores=1,3,5,7
/proc/9520/stat : 9520 (clasp-1.0) R 9518 9446 29645 0 -1 4202496 7491 0 0 0 652 1 0 0 20 0 1 0 339341599 30781440 6931 33554432000 134512640 134847168 4291154944 4291153568 134784711 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9520/statm: 7515 6931 270 82 0 6756 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 65476
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9520
/proc/meminfo: memFree=26966256/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=6.11 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 1916 65938 0 0 7 0 583 21 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9518] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9518/stat : 9518 (sh) S 9446 9446 29645 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339341599 9367552 264 33554432000 4194304 5064252 140734531862352 140734531860608 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9518/statm: 2287 264 223 213 0 72 0
[pid=9520] ppid=9518 vsize=49564 CPUtime=19.33 cores=1,3,5,7
/proc/9520/stat : 9520 (clasp-1.0) R 9518 9446 29645 0 -1 4202496 12355 0 0 0 1931 2 0 0 20 0 1 0 339341599 50753536 11795 33554432000 134512640 134847168 4291154944 4291153712 134737533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9520/statm: 12391 11795 270 82 0 11632 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 84980
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9528
/proc/meminfo: memFree=26969976/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=44980 CPUtime=17.01 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 11240 0 0 0 1699 2 0 0 20 0 1 0 339344390 46059520 10677 33554432000 134512640 134847168 4293706064 4293704780 134715744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 11245 10677 272 82 0 10486 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 80396
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9528
/proc/meminfo: memFree=26951092/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=61764 CPUtime=68.21 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 15399 0 0 0 6816 5 0 0 20 0 1 0 339344390 63246336 14870 33554432000 134512640 134847168 4293706064 4293704756 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 15441 14870 272 82 0 14682 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 97180
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9528
/proc/meminfo: memFree=26933480/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=78160 CPUtime=128.19 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 19485 0 0 0 12813 6 0 0 20 0 1 0 339344390 80035840 18960 33554432000 134512640 134847168 4293706064 4293704640 134714203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 19540 18960 272 82 0 18781 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 113576
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9528
/proc/meminfo: memFree=26932292/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=78160 CPUtime=188.18 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 19496 0 0 0 18812 6 0 0 20 0 1 0 339344390 80035840 18972 33554432000 134512640 134847168 4293706064 4293704736 134784580 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 19540 18972 272 82 0 18781 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 113576
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9529
/proc/meminfo: memFree=26924600/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=85672 CPUtime=248.17 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 21329 0 0 0 24810 7 0 0 20 0 1 0 339344390 87728128 20806 33554432000 134512640 134847168 4293706064 4293704692 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 21418 20806 272 82 0 20659 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 121088
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9529
/proc/meminfo: memFree=26923728/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
################
# More data... #
################
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=132104 CPUtime=991.68 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32529 0 0 0 99159 9 0 0 20 0 1 0 339384026 135274496 32246 33554432000 134512640 134847168 4288115376 4288114048 134784580 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 33026 32246 270 82 0 32267 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 167520
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9721
/proc/meminfo: memFree=26659916/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=131560 CPUtime=1051.67 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32532 0 0 0 105158 9 0 0 20 0 1 0 339384026 134717440 32199 33554432000 134512640 134847168 4288115376 4288114000 134784608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 32890 32199 270 82 0 32131 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 166976
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9721
/proc/meminfo: memFree=26653716/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=131560 CPUtime=1111.66 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32532 0 0 0 111157 9 0 0 20 0 1 0 339384026 134717440 32199 33554432000 134512640 134847168 4288115376 4288113840 134713707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 32890 32199 270 82 0 32131 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 166976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9721
/proc/meminfo: memFree=26643780/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=132044 CPUtime=1171.66 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32648 0 0 0 117156 10 0 0 20 0 1 0 339384026 135213056 32315 33554432000 134512640 134847168 4288115376 4288114056 134789705 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 33011 32315 270 82 0 32252 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 167460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9724
/proc/meminfo: memFree=26637200/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=132284 CPUtime=1231.65 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32775 0 0 0 123155 10 0 0 20 0 1 0 339384026 135458816 32321 33554432000 134512640 134847168 4288115376 4288114068 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 33071 32321 270 82 0 32312 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 167700
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9724
/proc/meminfo: memFree=26635356/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=135576 CPUtime=1291.63 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 33600 0 0 0 129153 10 0 0 20 0 1 0 339384026 138829824 33146 33554432000 134512640 134847168 4288115376 4288114132 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 33894 33146 270 82 0 33135 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 170992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9726
/proc/meminfo: memFree=26613648/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=157600 CPUtime=1351.63 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 38928 0 0 0 135151 12 0 0 20 0 1 0 339384026 161382400 38474 33554432000 134512640 134847168 4288115376 4288114004 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 39400 38474 270 82 0 38641 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 193016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9726
/proc/meminfo: memFree=26613208/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=157600 CPUtime=1369.73 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 38933 0 0 0 136961 12 0 0 20 0 1 0 339384026 161382400 38479 33554432000 134512640 134847168 4288115376 4288114144 134737650 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 39400 38479 270 82 0 38641 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 193016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9446
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9745
/proc/meminfo: memFree=26988404/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=1800.06 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2313 148833 0 0 8 1 179949 48 20 0 1 0 339340983 26898432 693 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 693 387 1 0 362 0
[pid=9740] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9740/stat : 9740 (sh) S 9446 9446 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140735849947536 140735849945792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9740/statm: 2287 263 223 213 0 72 0
[pid=9742] ppid=9740 vsize=24300 CPUtime=0.94 cores=1,3,5,7
/proc/9742/stat : 9742 (clasp-1.0) R 9740 9446 29645 0 -1 4202496 6031 0 0 0 94 0 0 0 20 0 1 0 339521027 24883200 5462 33554432000 134512640 134847168 4294099840 4294098480 134782337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9742/statm: 6075 5462 270 82 0 5316 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 59716
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9745
/proc/meminfo: memFree=26942184/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=1800.06 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2313 148833 0 0 8 1 179949 48 20 0 1 0 339340983 26898432 693 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 693 387 1 0 362 0
[pid=9740] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9740/stat : 9740 (sh) S 9446 9446 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140735849947536 140735849945792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9740/statm: 2287 263 223 213 0 72 0
[pid=9742] ppid=9740 vsize=24300 CPUtime=1.74 cores=1,3,5,7
/proc/9742/stat : 9742 (clasp-1.0) R 9740 9446 29645 0 -1 4202496 6031 0 0 0 174 0 0 0 20 0 1 0 339521027 24883200 5462 33554432000 134512640 134847168 4294099840 4294098524 134715846 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9742/statm: 6075 5462 270 82 0 5316 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 59716
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9745
/proc/meminfo: memFree=26942184/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=1800.06 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2313 148833 0 0 8 1 179949 48 20 0 1 0 339340983 26898432 693 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 693 387 1 0 362 0
[pid=9740] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9740/stat : 9740 (sh) S 9446 9446 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140735849947536 140735849945792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9740/statm: 2287 263 223 213 0 72 0
[pid=9742] ppid=9740 vsize=24300 CPUtime=1.94 cores=1,3,5,7
/proc/9742/stat : 9742 (clasp-1.0) R 9740 9446 29645 0 -1 4202496 6032 0 0 0 194 0 0 0 20 0 1 0 339521027 24883200 5463 33554432000 134512640 134847168 4294099840 4294098416 134714478 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9742/statm: 6075 5463 270 82 0 5316 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 59716
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.07
CPU user time (s): 1801.55
CPU system time (s): 0.518921
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 193016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.55
system time used= 0.518921
maximum resident set size= 153916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4671
involuntary context switches= 2203
runsolver used 12.3291 second user time and 13.171 second system time
The end