runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491992-1307782131/watcher-3491992-1307782131 -o /tmp/evaluation-result-3491992-1307782131/solver-3491992-1307782131 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491992-1307782131.opb --solu --heu=VSIDS
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: 1.92 1.98 1.98 2/175 14379
/proc/meminfo: memFree=31816416/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=3916 CPUtime=0 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 729 0 0 0 0 0 0 0 22 0 1 0 889815833 4009984 634 33554432000 4194304 6245536 140736225892704 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 979 634 201 501 0 475 0
[startup+0.028202 s]
/proc/loadavg: 1.92 1.98 1.98 2/175 14379
/proc/meminfo: memFree=31816416/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=4444 CPUtime=0.02 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 864 0 0 0 2 0 0 0 22 0 1 0 889815833 4550656 769 33554432000 4194304 6245536 140736225892704 18446744073709551615 4628019 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 1111 769 221 501 0 607 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4444
[startup+0.101211 s]
/proc/loadavg: 1.92 1.98 1.98 2/175 14379
/proc/meminfo: memFree=31816416/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=4964 CPUtime=0.09 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 1011 0 0 0 9 0 0 0 23 0 1 0 889815833 5083136 916 33554432000 4194304 6245536 140736225892704 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 1241 916 228 501 0 737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4964
[startup+0.300177 s]
/proc/loadavg: 1.92 1.98 1.98 2/175 14379
/proc/meminfo: memFree=31816416/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=4964 CPUtime=0.29 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 1011 0 0 0 29 0 0 0 23 0 1 0 889815833 5083136 916 33554432000 4194304 6245536 140736225892704 18446744073709551615 4635055 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 1241 916 228 501 0 737 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4964
[startup+0.701121 s]
/proc/loadavg: 1.92 1.98 1.98 2/175 14379
/proc/meminfo: memFree=31816416/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=5624 CPUtime=0.69 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 1182 0 0 0 69 0 0 0 25 0 1 0 889815833 5758976 1087 33554432000 4194304 6245536 140736225892704 18446744073709551615 4628305 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 1406 1087 229 501 0 902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5624
[startup+1.50097 s]
/proc/loadavg: 1.92 1.98 1.98 3/178 14385
/proc/meminfo: memFree=31810348/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=6544 CPUtime=1.49 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 1422 0 0 0 149 0 0 0 25 0 1 0 889815833 6701056 1327 33554432000 4194304 6245536 140736225892704 18446744073709551615 4344766 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 1636 1327 229 501 0 1132 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6544
[startup+3.10066 s]
/proc/loadavg: 1.92 1.98 1.98 3/178 14385
/proc/meminfo: memFree=31807824/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=8108 CPUtime=3.09 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 1801 0 0 0 309 0 0 0 25 0 1 0 889815833 8302592 1706 33554432000 4194304 6245536 140736225892704 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 2027 1706 229 501 0 1523 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8108
[startup+6.30109 s]
/proc/loadavg: 1.93 1.98 1.98 4/178 14386
/proc/meminfo: memFree=31803796/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=11428 CPUtime=6.29 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 2605 0 0 0 629 0 0 0 25 0 1 0 889815833 11702272 2510 33554432000 4194304 6245536 140736225892704 18446744073709551615 4633906 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 2857 2510 229 501 0 2353 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11428
[startup+12.701 s]
/proc/loadavg: 1.93 1.98 1.98 3/178 14386
/proc/meminfo: memFree=31800332/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=13196 CPUtime=12.69 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 3122 0 0 0 1269 0 0 0 25 0 1 0 889815833 13512704 2973 33554432000 4194304 6245536 140736225892704 18446744073709551615 4628868 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 3299 2973 229 501 0 2795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13196
[startup+25.5007 s]
/proc/loadavg: 1.95 1.98 1.98 3/178 14386
/proc/meminfo: memFree=31797988/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=15204 CPUtime=25.49 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 3618 0 0 0 2549 0 0 0 25 0 1 0 889815833 15568896 3467 33554432000 4194304 6245536 140736225892704 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 3801 3467 229 501 0 3297 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15204
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.98 3/178 14387
/proc/meminfo: memFree=31791896/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=20488 CPUtime=51.09 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 4849 0 0 0 5109 0 0 0 25 0 1 0 889815833 20979712 4698 33554432000 4194304 6245536 140736225892704 18446744073709551615 4315393 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 5122 4698 229 501 0 4618 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20488
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.98 3/178 14388
/proc/meminfo: memFree=31788596/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=22556 CPUtime=102.29 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 5478 0 0 0 10229 0 0 0 25 0 1 0 889815833 23097344 5199 33554432000 4194304 6245536 140736225892704 18446744073709551615 4635990 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 5639 5199 229 501 0 5135 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 22556
[startup+162.3 s]
/proc/loadavg: 2.13 2.02 2.00 3/178 14390
/proc/meminfo: memFree=31784188/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=25924 CPUtime=162.3 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 6598 0 0 0 16229 1 0 0 25 0 1 0 889815833 26546176 6057 33554432000 4194304 6245536 140736225892704 18446744073709551615 4628043 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 6481 6057 229 501 0 5977 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 25924
[startup+222.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 14391
/proc/meminfo: memFree=31778200/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=30872 CPUtime=222.3 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 7981 0 0 0 22229 1 0 0 25 0 1 0 889815833 31612928 7294 33554432000 4194304 6245536 140736225892704 18446744073709551615 4320370 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 7718 7294 229 501 0 7214 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 30872
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14393
/proc/meminfo: memFree=31777384/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=31144 CPUtime=282.3 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 8175 0 0 0 28229 1 0 0 25 0 1 0 889815833 31891456 7371 33554432000 4194304 6245536 140736225892704 18446744073709551615 4629001 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 7786 7371 229 501 0 7282 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31144
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14394
/proc/meminfo: memFree=31776616/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=31188 CPUtime=342.3 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 8345 0 0 0 34229 1 0 0 25 0 1 0 889815833 31936512 7418 33554432000 4194304 6245536 140736225892704 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 7797 7418 229 501 0 7293 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31188
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14396
/proc/meminfo: memFree=31774700/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=31524 CPUtime=402.3 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 8441 0 0 0 40229 1 0 0 25 0 1 0 889815833 32280576 7514 33554432000 4194304 6245536 140736225892704 18446744073709551615 4610875 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 7881 7514 229 501 0 7377 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31524
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14398
/proc/meminfo: memFree=31773160/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=33268 CPUtime=462.3 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 9090 0 0 0 46229 1 0 0 25 0 1 0 889815833 34066432 7932 33554432000 4194304 6245536 140736225892704 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 8317 7932 229 501 0 7813 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 33268
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14399
/proc/meminfo: memFree=31772356/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=33856 CPUtime=522.3 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 9901 0 0 0 52229 1 0 0 25 0 1 0 889815833 34668544 8080 33554432000 4194304 6245536 140736225892704 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 8464 8080 229 501 0 7960 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 33856
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14401
/proc/meminfo: memFree=31771676/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=33892 CPUtime=582.3 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 10069 0 0 0 58229 1 0 0 25 0 1 0 889815833 34705408 8089 33554432000 4194304 6245536 140736225892704 18446744073709551615 4646520 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 8473 8089 229 501 0 7969 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 33892
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14416
/proc/meminfo: memFree=31767632/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=36752 CPUtime=822.31 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 11478 0 0 0 82229 2 0 0 25 0 1 0 889815833 37634048 8790 33554432000 4194304 6245536 140736225892704 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 9188 8790 229 501 0 8684 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 36752
[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14420
/proc/meminfo: memFree=31765712/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=37880 CPUtime=882.31 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 11848 0 0 0 88229 2 0 0 25 0 1 0 889815833 38789120 9072 33554432000 4194304 6245536 140736225892704 18446744073709551615 4700584 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 9470 9072 229 501 0 8966 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 37880
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14422
/proc/meminfo: memFree=31763260/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=39888 CPUtime=942.31 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 12498 0 0 0 94229 2 0 0 25 0 1 0 889815833 40845312 9578 33554432000 4194304 6245536 140736225892704 18446744073709551615 4302647 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 9972 9578 229 501 0 9468 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 39888
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14424
/proc/meminfo: memFree=31762588/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=40532 CPUtime=1002.31 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 12657 0 0 0 100229 2 0 0 25 0 1 0 889815833 41504768 9737 33554432000 4194304 6245536 140736225892704 18446744073709551615 4608090 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 10133 9737 229 501 0 9629 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 40532
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14426
/proc/meminfo: memFree=31761656/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=41052 CPUtime=1062.31 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 12741 0 0 0 106229 2 0 0 25 0 1 0 889815833 42037248 9821 33554432000 4194304 6245536 140736225892704 18446744073709551615 4637497 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 10263 9821 229 501 0 9759 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 41052
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14427
/proc/meminfo: memFree=31761364/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=41136 CPUtime=1122.31 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 12797 0 0 0 112229 2 0 0 25 0 1 0 889815833 42123264 9870 33554432000 4194304 6245536 140736225892704 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 10284 9870 229 501 0 9780 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 41136
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14429
/proc/meminfo: memFree=31760804/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=42000 CPUtime=1182.32 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 12999 0 0 0 118230 2 0 0 25 0 1 0 889815833 43008000 10038 33554432000 4194304 6245536 140736225892704 18446744073709551615 4701908 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 10500 10038 229 501 0 9996 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 42000
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14430
/proc/meminfo: memFree=31760484/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=42336 CPUtime=1242.32 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 13064 0 0 0 124230 2 0 0 25 0 1 0 889815833 43352064 10103 33554432000 4194304 6245536 140736225892704 18446744073709551615 4315393 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 10584 10103 229 501 0 10080 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 42336
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 14432
/proc/meminfo: memFree=31760312/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=42504 CPUtime=1302.32 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 13096 0 0 0 130230 2 0 0 25 0 1 0 889815833 43524096 10135 33554432000 4194304 6245536 140736225892704 18446744073709551615 4323466 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 10626 10135 229 501 0 10122 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 42504
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 14434
/proc/meminfo: memFree=31760000/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=42504 CPUtime=1362.32 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 13105 0 0 0 136230 2 0 0 25 0 1 0 889815833 43524096 10144 33554432000 4194304 6245536 140736225892704 18446744073709551615 4304785 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 10626 10144 229 501 0 10122 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 42504
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 14435
/proc/meminfo: memFree=31756344/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=45788 CPUtime=1422.33 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 14003 0 0 0 142230 3 0 0 25 0 1 0 889815833 46886912 10992 33554432000 4194304 6245536 140736225892704 18446744073709551615 4628019 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 11447 10992 229 501 0 10943 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 45788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14437
/proc/meminfo: memFree=31754792/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=47748 CPUtime=1482.33 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 14837 0 0 0 148230 3 0 0 25 0 1 0 889815833 48893952 11448 33554432000 4194304 6245536 140736225892704 18446744073709551615 5371049 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 11937 11448 229 501 0 11433 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 47748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14438
/proc/meminfo: memFree=31754488/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=48016 CPUtime=1542.33 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 15202 0 0 0 154230 3 0 0 25 0 1 0 889815833 49168384 11500 33554432000 4194304 6245536 140736225892704 18446744073709551615 5419268 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 12004 11500 229 501 0 11500 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 48016
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14440
/proc/meminfo: memFree=31753944/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=48348 CPUtime=1602.33 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 15297 0 0 0 160230 3 0 0 25 0 1 0 889815833 49508352 11593 33554432000 4194304 6245536 140736225892704 18446744073709551615 4635733 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 12087 11593 229 501 0 11583 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 48348
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14442
/proc/meminfo: memFree=31753388/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=48496 CPUtime=1662.33 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 15659 0 0 0 166230 3 0 0 25 0 1 0 889815833 49659904 11650 33554432000 4194304 6245536 140736225892704 18446744073709551615 4315383 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 12124 11650 229 501 0 11620 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 48496
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14443
/proc/meminfo: memFree=31753348/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=48732 CPUtime=1722.33 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 15820 0 0 0 172230 3 0 0 25 0 1 0 889815833 49901568 11708 33554432000 4194304 6245536 140736225892704 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 12183 11708 229 501 0 11679 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 48732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14445
/proc/meminfo: memFree=31752808/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=48848 CPUtime=1782.33 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 15858 0 0 0 178230 3 0 0 25 0 1 0 889815833 50020352 11738 33554432000 4194304 6245536 140736225892704 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 12212 11738 229 501 0 11708 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 48848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14445
/proc/meminfo: memFree=31752664/32951124 swapFree=67050780/67111528
[pid=14379] ppid=14377 vsize=48848 CPUtime=1800.04 cores=0,2,4,6
/proc/14379/stat : 14379 (clasp) R 14377 14379 1779 0 -1 4202496 15858 0 0 0 180001 3 0 0 25 0 1 0 889815833 50020352 11738 33554432000 4194304 6245536 140736225892704 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14379/statm: 12212 11738 229 501 0 11708 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 48848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1800.01
CPU system time (s): 0.039993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 48976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.039993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2552
runsolver used 2.72458 second user time and 5.53316 second system time
The end