runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469500-1307104546/watcher-3469500-1307104546 -o /tmp/evaluation-result-3469500-1307104546/solver-3469500-1307104546 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469500-1307104546.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: 2.01 2.03 2.00 3/515 9227
/proc/meminfo: memFree=23213812/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=14564 CPUtime=0 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 1058 0 0 0 0 0 0 0 25 0 1 0 900685250 14913536 947 33554432000 4194304 4933572 140737216677296 18446744073709551615 4579664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9227/statm: 3641 948 322 181 0 650 0
[startup+0.0513599 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 9227
/proc/meminfo: memFree=23213812/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=15780 CPUtime=0.04 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 1618 0 0 0 4 0 0 0 25 0 1 0 900685250 16158720 1302 33554432000 4194304 4933572 140737216677296 18446744073709551615 4630311 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9227/statm: 3945 1302 366 181 0 954 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15780
[startup+0.100352 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 9227
/proc/meminfo: memFree=23213812/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=15780 CPUtime=0.09 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 1625 0 0 0 9 0 0 0 25 0 1 0 900685250 16158720 1309 33554432000 4194304 4933572 140737216677296 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9227/statm: 3945 1309 373 181 0 954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15780
[startup+0.300315 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 9227
/proc/meminfo: memFree=23213812/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=17764 CPUtime=0.29 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 2112 0 0 0 29 0 0 0 25 0 1 0 900685250 18190336 1796 33554432000 4194304 4933572 140737216677296 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9227/statm: 4441 1796 374 181 0 1450 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17764
[startup+0.700236 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 9227
/proc/meminfo: memFree=23213812/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=17764 CPUtime=0.69 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 2113 0 0 0 69 0 0 0 25 0 1 0 900685250 18190336 1797 33554432000 4194304 4933572 140737216677296 18446744073709551615 4717010 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9227/statm: 4441 1797 374 181 0 1450 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17764
[startup+1.50109 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9228
/proc/meminfo: memFree=23207100/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=17764 CPUtime=1.49 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 2113 0 0 0 149 0 0 0 25 0 1 0 900685250 18190336 1797 33554432000 4194304 4933572 140737216677296 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9227/statm: 4441 1797 374 181 0 1450 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17764
[startup+3.10073 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9228
/proc/meminfo: memFree=23205976/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=17764 CPUtime=3.09 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 2113 0 0 0 309 0 0 0 25 0 1 0 900685250 18190336 1797 33554432000 4194304 4933572 140737216677296 18446744073709551615 4717240 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/9227/statm: 4441 1797 374 181 0 1450 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17764
[startup+6.30118 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9228
/proc/meminfo: memFree=23205848/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=18160 CPUtime=6.29 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 2219 0 0 0 629 0 0 0 25 0 1 0 900685250 18595840 1903 33554432000 4194304 4933572 140737216677296 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 4540 1903 374 181 0 1549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18160
[startup+12.701 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9228
/proc/meminfo: memFree=23202904/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=19776 CPUtime=12.69 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 2606 0 0 0 1269 0 0 0 25 0 1 0 900685250 20250624 2290 33554432000 4194304 4933572 140737216677296 18446744073709551615 4649744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 4944 2290 374 181 0 1953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19776
[startup+25.5006 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9229
/proc/meminfo: memFree=23193944/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=29636 CPUtime=25.49 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 5073 0 0 0 2548 1 0 0 25 0 1 0 900685250 30347264 4757 33554432000 4194304 4933572 140737216677296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 7409 4757 374 181 0 4418 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29636
[startup+51.1007 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9229
/proc/meminfo: memFree=23187464/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=35668 CPUtime=51.09 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 6674 0 0 0 5108 1 0 0 25 0 1 0 900685250 36524032 6264 33554432000 4194304 4933572 140737216677296 18446744073709551615 256415058911 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 8917 6264 374 181 0 5926 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35668
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9231
/proc/meminfo: memFree=23180112/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=42140 CPUtime=102.31 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 8255 0 0 0 10230 1 0 0 25 0 1 0 900685250 43151360 7845 33554432000 4194304 4933572 140737216677296 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 10535 7845 374 181 0 7544 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 42140
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9232
/proc/meminfo: memFree=23172856/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=48796 CPUtime=162.29 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 9908 0 0 0 16228 1 0 0 25 0 1 0 900685250 49967104 9498 33554432000 4194304 4933572 140737216677296 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 12199 9498 374 181 0 9208 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 48796
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9237
/proc/meminfo: memFree=23166404/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=55132 CPUtime=222.29 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 11519 0 0 0 22227 2 0 0 25 0 1 0 900685250 56455168 11109 33554432000 4194304 4933572 140737216677296 18446744073709551615 4631806 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 13783 11109 374 181 0 10792 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 55132
[startup+282.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/516 9267
/proc/meminfo: memFree=23185256/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=56340 CPUtime=282.29 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 12168 0 0 0 28227 2 0 0 25 0 1 0 900685250 57692160 11409 33554432000 4194304 4933572 140737216677296 18446744073709551615 4428423 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 14085 11409 374 181 0 11094 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 56340
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/516 9268
/proc/meminfo: memFree=23179504/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=58116 CPUtime=342.3 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 12763 0 0 0 34228 2 0 0 25 0 1 0 900685250 59510784 11827 33554432000 4194304 4933572 140737216677296 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 14529 11827 374 181 0 11538 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 58116
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 9270
/proc/meminfo: memFree=23175344/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=61264 CPUtime=402.3 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 13519 0 0 0 40228 2 0 0 25 0 1 0 900685250 62734336 12583 33554432000 4194304 4933572 140737216677296 18446744073709551615 4717047 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 15316 12583 374 181 0 12325 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 61264
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9271
/proc/meminfo: memFree=23172300/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=63508 CPUtime=462.3 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 14098 0 0 0 46228 2 0 0 25 0 1 0 900685250 65032192 13162 33554432000 4194304 4933572 140737216677296 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 15877 13162 374 181 0 12886 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 63508
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9273
/proc/meminfo: memFree=23170348/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=64696 CPUtime=522.3 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 14403 0 0 0 52228 2 0 0 25 0 1 0 900685250 66248704 13467 33554432000 4194304 4933572 140737216677296 18446744073709551615 4629754 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 16174 13467 374 181 0 13183 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 64696
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/516 9275
/proc/meminfo: memFree=23168672/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=65440 CPUtime=582.3 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 15295 0 0 0 58228 2 0 0 25 0 1 0 900685250 67010560 13651 33554432000 4194304 4933572 140737216677296 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 16360 13651 374 181 0 13369 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 65440
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/516 9281
/proc/meminfo: memFree=23165772/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=67040 CPUtime=822.32 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 16143 0 0 0 82229 3 0 0 25 0 1 0 900685250 68648960 14045 33554432000 4194304 4933572 140737216677296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 16760 14045 374 181 0 13769 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 67040
[startup+882.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 9283
/proc/meminfo: memFree=23154780/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=882.31 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18316 0 0 0 88228 3 0 0 25 0 1 0 900685250 77434880 16218 33554432000 4194304 4933572 140737216677296 18446744073709551615 4649552 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16218 374 181 0 15914 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 75620
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9284
/proc/meminfo: memFree=23155564/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=942.32 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18316 0 0 0 94229 3 0 0 25 0 1 0 900685250 77434880 16218 33554432000 4194304 4933572 140737216677296 18446744073709551615 4717010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16218 374 181 0 15914 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 75620
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9286
/proc/meminfo: memFree=23155372/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=1002.32 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18316 0 0 0 100229 3 0 0 25 0 1 0 900685250 77434880 16218 33554432000 4194304 4933572 140737216677296 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16218 374 181 0 15914 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 75620
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9287
/proc/meminfo: memFree=23155532/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=1062.32 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18316 0 0 0 106229 3 0 0 25 0 1 0 900685250 77434880 16218 33554432000 4194304 4933572 140737216677296 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16218 374 181 0 15914 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 75620
[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/516 9289
/proc/meminfo: memFree=23154696/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=1122.32 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18317 0 0 0 112229 3 0 0 25 0 1 0 900685250 77434880 16219 33554432000 4194304 4933572 140737216677296 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16219 374 181 0 15914 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 75620
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/516 9291
/proc/meminfo: memFree=23153904/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=1182.33 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18317 0 0 0 118230 3 0 0 25 0 1 0 900685250 77434880 16219 33554432000 4194304 4933572 140737216677296 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16219 374 181 0 15914 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 75620
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9292
/proc/meminfo: memFree=23154064/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=1242.33 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18317 0 0 0 124230 3 0 0 25 0 1 0 900685250 77434880 16219 33554432000 4194304 4933572 140737216677296 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16219 374 181 0 15914 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 75620
[startup+1302.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/516 9294
/proc/meminfo: memFree=23154108/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=1302.34 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18317 0 0 0 130231 3 0 0 25 0 1 0 900685250 77434880 16219 33554432000 4194304 4933572 140737216677296 18446744073709551615 4362131 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16219 374 181 0 15914 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 75620
[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/516 9295
/proc/meminfo: memFree=23153896/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=75620 CPUtime=1362.33 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18318 0 0 0 136230 3 0 0 25 0 1 0 900685250 77434880 16220 33554432000 4194304 4933572 140737216677296 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 18905 16220 374 181 0 15914 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 75620
[startup+1422.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/516 9297
/proc/meminfo: memFree=23153068/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=76504 CPUtime=1422.35 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18509 0 0 0 142232 3 0 0 25 0 1 0 900685250 78340096 16411 33554432000 4194304 4933572 140737216677296 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 19126 16411 374 181 0 16135 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 76504
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9299
/proc/meminfo: memFree=23152104/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=77292 CPUtime=1482.34 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18648 0 0 0 148231 3 0 0 25 0 1 0 900685250 79147008 16550 33554432000 4194304 4933572 140737216677296 18446744073709551615 4361650 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 19323 16550 374 181 0 16332 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 77292
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9309
/proc/meminfo: memFree=23151160/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=77676 CPUtime=1542.34 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18750 0 0 0 154231 3 0 0 25 0 1 0 900685250 79540224 16652 33554432000 4194304 4933572 140737216677296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 19419 16652 374 181 0 16428 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 77676
[startup+1602.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/516 9311
/proc/meminfo: memFree=23150496/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=77896 CPUtime=1602.34 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18802 0 0 0 160231 3 0 0 25 0 1 0 900685250 79765504 16704 33554432000 4194304 4933572 140737216677296 18446744073709551615 4663614 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 19474 16704 374 181 0 16483 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 77896
[startup+1662.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/516 9312
/proc/meminfo: memFree=23150676/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=78320 CPUtime=1662.34 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 18892 0 0 0 166231 3 0 0 25 0 1 0 900685250 80199680 16794 33554432000 4194304 4933572 140737216677296 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 19580 16794 374 181 0 16589 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 78320
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/516 9314
/proc/meminfo: memFree=23149860/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=79500 CPUtime=1722.34 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 19135 0 0 0 172231 3 0 0 25 0 1 0 900685250 81408000 17037 33554432000 4194304 4933572 140737216677296 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 19875 17037 374 181 0 16884 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 79500
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/516 9316
/proc/meminfo: memFree=23148684/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=79752 CPUtime=1782.34 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 19185 0 0 0 178231 3 0 0 25 0 1 0 900685250 81666048 17087 33554432000 4194304 4933572 140737216677296 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 19938 17087 374 181 0 16947 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 79752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 9316
/proc/meminfo: memFree=23149408/32950928 swapFree=58671692/67111528
[pid=9227] ppid=9225 vsize=80004 CPUtime=1800.05 cores=0,2,4,6
/proc/9227/stat : 9227 (clasp) R 9225 9227 8237 0 -1 4202496 19211 0 0 0 180002 3 0 0 25 0 1 0 900685250 81924096 17113 33554432000 4194304 4933572 140737216677296 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9227/statm: 20001 17113 374 181 0 17010 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 80004
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.03
CPU time (s): 1800.08
CPU user time (s): 1800.04
CPU system time (s): 0.040993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 80004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19221
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= 7
involuntary context switches= 2699
runsolver used 9.8415 second user time and 20.7748 second system time
The end