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-3491821-1307767924/watcher-3491821-1307767924 -o /tmp/evaluation-result-3491821-1307767924/solver-3491821-1307767924 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491821-1307767924.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.99 2.86 2.85 3/178 20909
/proc/meminfo: memFree=31699504/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=6064 CPUtime=0 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 1262 0 0 0 0 0 0 0 25 0 1 0 888391171 6209536 1089 33554432000 4194304 6245536 140734635934544 18446744073709551615 4533257 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 1516 1090 181 501 0 1012 0
[startup+0.10615 s]
/proc/loadavg: 2.99 2.86 2.85 3/178 20909
/proc/meminfo: memFree=31699504/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=12228 CPUtime=0.1 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 3513 0 0 0 10 0 0 0 25 0 1 0 888391171 12521472 2704 33554432000 4194304 6245536 140734635934544 18446744073709551615 4409674 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 3057 2704 221 501 0 2553 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12228
[startup+0.201131 s]
/proc/loadavg: 2.99 2.86 2.85 3/178 20909
/proc/meminfo: memFree=31699504/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=12228 CPUtime=0.19 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 3519 0 0 0 19 0 0 0 25 0 1 0 888391171 12521472 2710 33554432000 4194304 6245536 140734635934544 18446744073709551615 4409837 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 3057 2710 227 501 0 2553 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12228
[startup+0.301112 s]
/proc/loadavg: 2.99 2.86 2.85 3/178 20909
/proc/meminfo: memFree=31699504/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=12228 CPUtime=0.29 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 3521 0 0 0 29 0 0 0 25 0 1 0 888391171 12521472 2712 33554432000 4194304 6245536 140734635934544 18446744073709551615 4409307 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 3057 2712 229 501 0 2553 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12228
[startup+0.701 s]
/proc/loadavg: 2.99 2.86 2.85 3/178 20909
/proc/meminfo: memFree=31699504/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=13152 CPUtime=0.69 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 3740 0 0 0 69 0 0 0 25 0 1 0 888391171 13467648 2931 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 3288 2931 229 501 0 2784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13152
[startup+1.50091 s]
/proc/loadavg: 2.99 2.86 2.85 4/179 20910
/proc/meminfo: memFree=31688608/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=14292 CPUtime=1.49 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 4015 0 0 0 149 0 0 0 25 0 1 0 888391171 14635008 3206 33554432000 4194304 6245536 140734635934544 18446744073709551615 4408749 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 3573 3206 229 501 0 3069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14292
[startup+3.10061 s]
/proc/loadavg: 2.99 2.86 2.85 4/179 20910
/proc/meminfo: memFree=31686748/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=15880 CPUtime=3.09 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 4415 0 0 0 309 0 0 0 25 0 1 0 888391171 16261120 3606 33554432000 4194304 6245536 140734635934544 18446744073709551615 4344694 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 3970 3606 229 501 0 3466 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15880
[startup+6.301 s]
/proc/loadavg: 2.99 2.87 2.85 4/179 20910
/proc/meminfo: memFree=31684268/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=18244 CPUtime=6.29 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 4994 0 0 0 629 0 0 0 25 0 1 0 888391171 18681856 4185 33554432000 4194304 6245536 140734635934544 18446744073709551615 4409797 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 4561 4185 229 501 0 4057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18244
[startup+12.7009 s]
/proc/loadavg: 2.99 2.87 2.85 4/179 20910
/proc/meminfo: memFree=31678148/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=21496 CPUtime=12.69 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 5822 0 0 0 1269 0 0 0 25 0 1 0 888391171 22011904 5013 33554432000 4194304 6245536 140734635934544 18446744073709551615 4304834 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 5374 5013 229 501 0 4870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21496
[startup+25.5006 s]
/proc/loadavg: 2.99 2.87 2.86 4/179 20910
/proc/meminfo: memFree=31671816/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=25944 CPUtime=25.49 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 6879 0 0 0 2549 0 0 0 25 0 1 0 888391171 26566656 6070 33554432000 4194304 6245536 140734635934544 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 6486 6070 229 501 0 5982 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25944
[startup+51.1011 s]
/proc/loadavg: 2.99 2.88 2.86 4/179 20911
/proc/meminfo: memFree=31664224/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=30832 CPUtime=51.09 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 8037 0 0 0 5109 0 0 0 25 0 1 0 888391171 31571968 7228 33554432000 4194304 6245536 140734635934544 18446744073709551615 4315277 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 7708 7228 229 501 0 7204 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30832
[startup+102.301 s]
/proc/loadavg: 2.99 2.90 2.86 4/179 20912
/proc/meminfo: memFree=31651660/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=39364 CPUtime=102.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 9969 0 0 0 10229 1 0 0 25 0 1 0 888391171 40308736 9160 33554432000 4194304 6245536 140734635934544 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 9841 9160 229 501 0 9337 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 39364
[startup+162.3 s]
/proc/loadavg: 2.99 2.91 2.87 4/179 20914
/proc/meminfo: memFree=31637100/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=45420 CPUtime=162.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 11355 0 0 0 16229 1 0 0 25 0 1 0 888391171 46510080 10546 33554432000 4194304 6245536 140734635934544 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 11355 10546 229 501 0 10851 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 45420
[startup+222.307 s]
/proc/loadavg: 2.99 2.93 2.87 4/179 20916
/proc/meminfo: memFree=31628840/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=49968 CPUtime=222.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 12391 0 0 0 22229 1 0 0 25 0 1 0 888391171 51167232 11582 33554432000 4194304 6245536 140734635934544 18446744073709551615 4409648 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 12492 11582 229 501 0 11988 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 49968
[startup+282.301 s]
/proc/loadavg: 2.99 2.94 2.88 4/179 20917
/proc/meminfo: memFree=31620096/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=53816 CPUtime=282.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 13276 0 0 0 28229 1 0 0 25 0 1 0 888391171 55107584 12467 33554432000 4194304 6245536 140734635934544 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 13454 12467 229 501 0 12950 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 53816
[startup+342.301 s]
/proc/loadavg: 2.99 2.95 2.89 4/179 20919
/proc/meminfo: memFree=31612844/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=57184 CPUtime=342.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 14041 0 0 0 34229 1 0 0 25 0 1 0 888391171 58556416 13232 33554432000 4194304 6245536 140734635934544 18446744073709551615 4304785 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 14296 13232 229 501 0 13792 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 57184
[startup+402.3 s]
/proc/loadavg: 2.99 2.95 2.89 4/179 20920
/proc/meminfo: memFree=31605980/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=61264 CPUtime=402.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 14966 0 0 0 40229 1 0 0 25 0 1 0 888391171 62734336 14157 33554432000 4194304 6245536 140734635934544 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 15316 14157 229 501 0 14812 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 61264
[startup+462.301 s]
/proc/loadavg: 2.99 2.96 2.90 4/179 20922
/proc/meminfo: memFree=31600196/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=66420 CPUtime=462.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 16156 0 0 0 46229 1 0 0 25 0 1 0 888391171 68014080 15347 33554432000 4194304 6245536 140734635934544 18446744073709551615 5419408 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 16605 15347 229 501 0 16101 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 66420
[startup+522.301 s]
/proc/loadavg: 2.99 2.96 2.90 4/179 20924
/proc/meminfo: memFree=31597056/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=68252 CPUtime=522.31 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 16576 0 0 0 52229 2 0 0 25 0 1 0 888391171 69890048 15767 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 17063 15767 229 501 0 16559 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 68252
[startup+582.3 s]
/proc/loadavg: 2.99 2.97 2.91 4/179 20934
/proc/meminfo: memFree=31587412/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=70396 CPUtime=582.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 17097 0 0 0 58228 2 0 0 25 0 1 0 888391171 72085504 16288 33554432000 4194304 6245536 140734635934544 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 17599 16288 229 501 0 17095 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 70396
[startup+642.301 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20945
/proc/meminfo: memFree=31572108/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=79512 CPUtime=882.31 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 19142 0 0 0 88229 2 0 0 25 0 1 0 888391171 81420288 18333 33554432000 4194304 6245536 140734635934544 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 19878 18333 229 501 0 19374 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 79512
[startup+942.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20947
/proc/meminfo: memFree=31564724/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=82972 CPUtime=942.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 19932 0 0 0 94228 2 0 0 25 0 1 0 888391171 84963328 19123 33554432000 4194304 6245536 140734635934544 18446744073709551615 4608182 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 20743 19123 229 501 0 20239 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 82972
[startup+1002.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20948
/proc/meminfo: memFree=31558068/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=84268 CPUtime=1002.3 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 20221 0 0 0 100228 2 0 0 25 0 1 0 888391171 86290432 19412 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 21067 19412 229 501 0 20563 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 84268
[startup+1062.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20950
/proc/meminfo: memFree=31552684/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=84880 CPUtime=1062.31 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 20392 0 0 0 106228 3 0 0 25 0 1 0 888391171 86917120 19583 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 21220 19583 229 501 0 20716 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 84880
[startup+1122.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20952
/proc/meminfo: memFree=31549992/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=85860 CPUtime=1122.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 20580 0 0 0 112229 3 0 0 25 0 1 0 888391171 87920640 19771 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 21465 19771 229 501 0 20961 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 85860
[startup+1182.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20953
/proc/meminfo: memFree=31546472/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=86428 CPUtime=1182.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 20724 0 0 0 118229 3 0 0 25 0 1 0 888391171 88502272 19915 33554432000 4194304 6245536 140734635934544 18446744073709551615 4304893 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 21607 19915 229 501 0 21103 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 86428
[startup+1242.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20955
/proc/meminfo: memFree=31544656/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=86808 CPUtime=1242.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 20811 0 0 0 124229 3 0 0 25 0 1 0 888391171 88891392 20002 33554432000 4194304 6245536 140734635934544 18446744073709551615 4635706 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 21702 20002 229 501 0 21198 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 86808
[startup+1302.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20956
/proc/meminfo: memFree=31542124/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=87756 CPUtime=1302.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 21048 0 0 0 130229 3 0 0 25 0 1 0 888391171 89862144 20239 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 21939 20239 229 501 0 21435 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 87756
[startup+1362.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20958
/proc/meminfo: memFree=31540436/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=88832 CPUtime=1362.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 21254 0 0 0 136229 3 0 0 25 0 1 0 888391171 90963968 20445 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 22208 20445 229 501 0 21704 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 88832
[startup+1422.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20960
/proc/meminfo: memFree=31535912/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=92508 CPUtime=1422.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 22052 0 0 0 142229 3 0 0 25 0 1 0 888391171 94728192 21243 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 23127 21243 229 501 0 22623 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 92508
[startup+1482.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20961
/proc/meminfo: memFree=31531508/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=94308 CPUtime=1482.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 22426 0 0 0 148229 3 0 0 25 0 1 0 888391171 96571392 21617 33554432000 4194304 6245536 140734635934544 18446744073709551615 4629218 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 23577 21617 229 501 0 23073 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 94308
[startup+1542.31 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20963
/proc/meminfo: memFree=31528464/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=96840 CPUtime=1542.33 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 23011 0 0 0 154230 3 0 0 25 0 1 0 888391171 99164160 22202 33554432000 4194304 6245536 140734635934544 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 24210 22202 229 501 0 23706 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 96840
[startup+1602.3 s]
/proc/loadavg: 3.00 2.99 2.91 4/179 20964
/proc/meminfo: memFree=31522328/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=97912 CPUtime=1602.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 23241 0 0 0 160229 3 0 0 25 0 1 0 888391171 100261888 22432 33554432000 4194304 6245536 140734635934544 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 24478 22432 229 501 0 23974 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 97912
[startup+1662.3 s]
/proc/loadavg: 3.06 3.00 2.92 4/179 21005
/proc/meminfo: memFree=31661804/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=98672 CPUtime=1662.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 23412 0 0 0 166229 3 0 0 25 0 1 0 888391171 101040128 22603 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 24668 22603 229 501 0 24164 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 98672
[startup+1722.3 s]
/proc/loadavg: 3.02 3.00 2.92 4/179 21007
/proc/meminfo: memFree=31652284/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=99348 CPUtime=1722.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 23560 0 0 0 172229 3 0 0 25 0 1 0 888391171 101732352 22751 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 24837 22751 229 501 0 24333 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 99348
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21008
/proc/meminfo: memFree=31645408/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=100620 CPUtime=1782.32 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 23867 0 0 0 178229 3 0 0 25 0 1 0 888391171 103034880 23058 33554432000 4194304 6245536 140734635934544 18446744073709551615 4316352 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 25155 23058 229 501 0 24651 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 100620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21009
/proc/meminfo: memFree=31644524/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=101476 CPUtime=1800.03 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 24065 0 0 0 180000 3 0 0 25 0 1 0 888391171 103911424 23256 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 25369 23256 229 501 0 24865 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 101476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21009
/proc/meminfo: memFree=31644524/32950928 swapFree=67048868/67111528
[pid=20909] ppid=20907 vsize=101476 CPUtime=1800.03 cores=0,2,4,6
/proc/20909/stat : 20909 (clasp) R 20907 20909 17848 0 -1 4202496 24065 0 0 0 180000 3 0 0 25 0 1 0 888391171 103911424 23256 33554432000 4194304 6245536 140734635934544 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20909/statm: 25369 23256 229 501 0 24865 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 101476
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1800.01
CPU system time (s): 0.041993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 101476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24077
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= 4
involuntary context switches= 4641
runsolver used 2.40063 second user time and 5.80912 second system time
The end