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-3491903-1307776580/watcher-3491903-1307776580 -o /tmp/evaluation-result-3491903-1307776580/solver-3491903-1307776580 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491903-1307776580.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.00 1.00 1.19 2/175 20804
/proc/meminfo: memFree=31912544/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=3268 CPUtime=0 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 640 0 0 0 0 0 0 0 24 0 1 0 889256751 3346432 495 33554432000 4194304 6245536 140733234774512 18446744073709551615 5477776 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 817 499 220 501 0 313 0
[startup+0.024687 s]
/proc/loadavg: 1.00 1.00 1.19 2/175 20804
/proc/meminfo: memFree=31912544/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=4192 CPUtime=0.02 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 867 0 0 0 2 0 0 0 24 0 1 0 889256751 4292608 722 33554432000 4194304 6245536 140733234774512 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 1048 722 221 501 0 544 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4192
[startup+0.100726 s]
/proc/loadavg: 1.00 1.00 1.19 2/175 20804
/proc/meminfo: memFree=31912544/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=7916 CPUtime=0.09 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 1804 0 0 0 9 0 0 0 25 0 1 0 889256751 8105984 1659 33554432000 4194304 6245536 140733234774512 18446744073709551615 4397807 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 1979 1659 228 501 0 1475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7916
[startup+0.300747 s]
/proc/loadavg: 1.00 1.00 1.19 2/175 20804
/proc/meminfo: memFree=31912544/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=9236 CPUtime=0.29 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 2141 0 0 0 29 0 0 0 25 0 1 0 889256751 9457664 1996 33554432000 4194304 6245536 140733234774512 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 2309 1996 228 501 0 1805 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9236
[startup+0.700682 s]
/proc/loadavg: 1.00 1.00 1.19 2/175 20804
/proc/meminfo: memFree=31912544/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=10292 CPUtime=0.69 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 2398 0 0 0 69 0 0 0 25 0 1 0 889256751 10539008 2253 33554432000 4194304 6245536 140733234774512 18446744073709551615 4325137 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 2573 2253 229 501 0 2069 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10292
[startup+1.50054 s]
/proc/loadavg: 1.08 1.02 1.19 3/178 20844
/proc/meminfo: memFree=31873216/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=12044 CPUtime=1.49 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 2806 0 0 0 149 0 0 0 25 0 1 0 889256751 12333056 2661 33554432000 4194304 6245536 140733234774512 18446744073709551615 4323511 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 3011 2661 229 501 0 2507 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12044
[startup+3.10015 s]
/proc/loadavg: 1.08 1.02 1.19 3/178 20844
/proc/meminfo: memFree=31861676/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=13628 CPUtime=3.09 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 3230 0 0 0 309 0 0 0 25 0 1 0 889256751 13955072 3085 33554432000 4194304 6245536 140733234774512 18446744073709551615 4635128 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 3407 3085 229 501 0 2903 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13628
[startup+6.3007 s]
/proc/loadavg: 1.15 1.03 1.19 3/178 20844
/proc/meminfo: memFree=31849336/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=15740 CPUtime=6.29 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 3758 0 0 0 629 0 0 0 25 0 1 0 889256751 16117760 3613 33554432000 4194304 6245536 140733234774512 18446744073709551615 4397856 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 3935 3613 229 501 0 3431 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15740
[startup+12.7006 s]
/proc/loadavg: 1.22 1.05 1.20 3/178 20845
/proc/meminfo: memFree=31837208/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=18264 CPUtime=12.69 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 4360 0 0 0 1269 0 0 0 25 0 1 0 889256751 18702336 4215 33554432000 4194304 6245536 140733234774512 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 4566 4215 229 501 0 4062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18264
[startup+25.5003 s]
/proc/loadavg: 1.39 1.09 1.21 3/178 20845
/proc/meminfo: memFree=31821360/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=20772 CPUtime=25.49 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 5010 0 0 0 2549 0 0 0 25 0 1 0 889256751 21270528 4865 33554432000 4194304 6245536 140733234774512 18446744073709551615 4633913 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 5193 4865 229 501 0 4689 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20772
[startup+51.1008 s]
/proc/loadavg: 1.60 1.17 1.23 3/178 20846
/proc/meminfo: memFree=31801852/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=25516 CPUtime=51.09 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 6209 0 0 0 5109 0 0 0 25 0 1 0 889256751 26128384 6048 33554432000 4194304 6245536 140733234774512 18446744073709551615 4637480 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 6379 6048 229 501 0 5875 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25516
[startup+102.307 s]
/proc/loadavg: 1.82 1.29 1.27 3/178 20847
/proc/meminfo: memFree=31774056/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=30608 CPUtime=102.29 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 7655 0 0 0 10229 0 0 0 25 0 1 0 889256751 31342592 7331 33554432000 4194304 6245536 140733234774512 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 7652 7331 229 501 0 7148 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30608
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.31 3/178 20849
/proc/meminfo: memFree=31753804/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=35848 CPUtime=162.3 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 9037 0 0 0 16229 1 0 0 25 0 1 0 889256751 36708352 8578 33554432000 4194304 6245536 140733234774512 18446744073709551615 4325143 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 8962 8578 229 501 0 8458 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 35848
[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.35 3/178 20850
/proc/meminfo: memFree=31740248/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=37280 CPUtime=222.3 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 9520 0 0 0 22229 1 0 0 25 0 1 0 889256751 38174720 8912 33554432000 4194304 6245536 140733234774512 18446744073709551615 4323469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 9320 8912 229 501 0 8816 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 37280
[startup+282.301 s]
/proc/loadavg: 1.99 1.61 1.39 3/178 20852
/proc/meminfo: memFree=31733888/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=40732 CPUtime=282.3 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 10632 0 0 0 28229 1 0 0 25 0 1 0 889256751 41709568 9777 33554432000 4194304 6245536 140733234774512 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 10183 9777 229 501 0 9679 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 40732
[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.42 3/178 20854
/proc/meminfo: memFree=31718608/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=41704 CPUtime=342.3 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 11063 0 0 0 34229 1 0 0 25 0 1 0 889256751 42704896 10035 33554432000 4194304 6245536 140733234774512 18446744073709551615 4637497 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 10426 10035 229 501 0 9922 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 41704
[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.46 3/178 20855
/proc/meminfo: memFree=31710892/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=44772 CPUtime=402.3 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 12060 0 0 0 40229 1 0 0 25 0 1 0 889256751 45846528 10809 33554432000 4194304 6245536 140733234774512 18446744073709551615 4635101 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 11193 10809 229 501 0 10689 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 44772
[startup+462.3 s]
/proc/loadavg: 1.99 1.78 1.49 3/178 20857
/proc/meminfo: memFree=31709128/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=45080 CPUtime=462.3 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 12487 0 0 0 46229 1 0 0 25 0 1 0 889256751 46161920 10887 33554432000 4194304 6245536 140733234774512 18446744073709551615 4324230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 11270 10887 229 501 0 10766 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 45080
[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.52 3/178 20858
/proc/meminfo: memFree=31695596/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=45520 CPUtime=522.3 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 12864 0 0 0 52229 1 0 0 25 0 1 0 889256751 46612480 11001 33554432000 4194304 6245536 140733234774512 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 11380 11001 229 501 0 10876 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 45520
[startup+582.3 s]
/proc/loadavg: 1.99 1.85 1.55 3/178 20860
/proc/meminfo: memFree=31688628/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=49088 CPUtime=582.3 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 13805 0 0 0 58229 1 0 0 25 0 1 0 889256751 50266112 11850 33554432000 4194304 6245536 140733234774512 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 12272 11850 229 501 0 11768 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 49088
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.92 1.64 3/178 20866
/proc/meminfo: memFree=31666816/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=51132 CPUtime=822.31 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 14481 0 0 0 82229 2 0 0 25 0 1 0 889256751 52359168 12371 33554432000 4194304 6245536 140733234774512 18446744073709551615 4344624 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 12783 12371 229 501 0 12279 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 51132
[startup+882.3 s]
/proc/loadavg: 1.99 1.93 1.66 3/178 20868
/proc/meminfo: memFree=31662196/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=51820 CPUtime=882.32 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 14976 0 0 0 88230 2 0 0 25 0 1 0 889256751 53063680 12546 33554432000 4194304 6245536 140733234774512 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 12955 12546 229 501 0 12451 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 51820
[startup+942.301 s]
/proc/loadavg: 1.99 1.94 1.67 3/178 20870
/proc/meminfo: memFree=31661424/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=52376 CPUtime=942.32 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 15207 0 0 0 94230 2 0 0 25 0 1 0 889256751 53633024 12686 33554432000 4194304 6245536 140733234774512 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13094 12686 229 501 0 12590 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 52376
[startup+1002.3 s]
/proc/loadavg: 1.99 1.95 1.69 3/178 20871
/proc/meminfo: memFree=31659552/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=52580 CPUtime=1002.32 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 15271 0 0 0 100230 2 0 0 25 0 1 0 889256751 53841920 12730 33554432000 4194304 6245536 140733234774512 18446744073709551615 4324736 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13145 12730 229 501 0 12641 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 52580
[startup+1062.3 s]
/proc/loadavg: 1.99 1.95 1.71 3/178 20873
/proc/meminfo: memFree=31659148/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=52656 CPUtime=1062.32 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 15313 0 0 0 106230 2 0 0 25 0 1 0 889256751 53919744 12749 33554432000 4194304 6245536 140733234774512 18446744073709551615 4323516 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13164 12749 229 501 0 12660 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 52656
[startup+1122.3 s]
/proc/loadavg: 1.99 1.96 1.73 3/178 20874
/proc/meminfo: memFree=31658752/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=52788 CPUtime=1122.32 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 15333 0 0 0 112230 2 0 0 25 0 1 0 889256751 54054912 12769 33554432000 4194304 6245536 140733234774512 18446744073709551615 4646381 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13197 12769 229 501 0 12693 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 52788
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.74 3/178 20876
/proc/meminfo: memFree=31657116/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=53060 CPUtime=1182.32 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 15429 0 0 0 118230 2 0 0 25 0 1 0 889256751 54333440 12835 33554432000 4194304 6245536 140733234774512 18446744073709551615 4635733 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13265 12835 229 501 0 12761 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 53060
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/178 20878
/proc/meminfo: memFree=31635880/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=53720 CPUtime=1242.32 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 15591 0 0 0 124230 2 0 0 25 0 1 0 889256751 55009280 12997 33554432000 4194304 6245536 140733234774512 18446744073709551615 4633892 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13430 12997 229 501 0 12926 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 53720
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/178 20879
/proc/meminfo: memFree=31633500/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=54236 CPUtime=1302.33 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 15812 0 0 0 130231 2 0 0 25 0 1 0 889256751 55537664 13123 33554432000 4194304 6245536 140733234774512 18446744073709551615 4324224 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13559 13123 229 501 0 13055 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 54236
[startup+1362.3 s]
/proc/loadavg: 2.04 1.99 1.78 3/178 20881
/proc/meminfo: memFree=31631488/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=54504 CPUtime=1362.32 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 15901 0 0 0 136230 2 0 0 25 0 1 0 889256751 55812096 13190 33554432000 4194304 6245536 140733234774512 18446744073709551615 4325080 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13626 13190 229 501 0 13122 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 54504
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.79 3/178 20882
/proc/meminfo: memFree=31628608/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=54864 CPUtime=1422.33 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 16061 0 0 0 142231 2 0 0 25 0 1 0 889256751 56180736 13292 33554432000 4194304 6245536 140733234774512 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13716 13292 229 501 0 13212 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 54864
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/178 20884
/proc/meminfo: memFree=31627460/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=54996 CPUtime=1482.33 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 16093 0 0 0 148231 2 0 0 25 0 1 0 889256751 56315904 13324 33554432000 4194304 6245536 140733234774512 18446744073709551615 4324221 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13749 13324 229 501 0 13245 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 54996
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/178 20886
/proc/meminfo: memFree=31627308/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=55068 CPUtime=1542.33 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 16121 0 0 0 154231 2 0 0 25 0 1 0 889256751 56389632 13333 33554432000 4194304 6245536 140733234774512 18446744073709551615 4633906 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13767 13333 229 501 0 13263 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 55068
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/178 20887
/proc/meminfo: memFree=31626416/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=55332 CPUtime=1602.33 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 16172 0 0 0 160231 2 0 0 25 0 1 0 889256751 56659968 13384 33554432000 4194304 6245536 140733234774512 18446744073709551615 4633950 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13833 13384 229 501 0 13329 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 55332
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/178 20889
/proc/meminfo: memFree=31626252/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=55428 CPUtime=1662.33 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 16220 0 0 0 166231 2 0 0 25 0 1 0 889256751 56758272 13404 33554432000 4194304 6245536 140733234774512 18446744073709551615 4635675 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13857 13404 229 501 0 13353 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 55428
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/178 20890
/proc/meminfo: memFree=31626228/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=55428 CPUtime=1722.33 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 16240 0 0 0 172231 2 0 0 25 0 1 0 889256751 56758272 13424 33554432000 4194304 6245536 140733234774512 18446744073709551615 4324794 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13857 13424 229 501 0 13353 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 55428
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/178 20892
/proc/meminfo: memFree=31625336/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=55564 CPUtime=1782.33 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 16266 0 0 0 178231 2 0 0 25 0 1 0 889256751 56897536 13450 33554432000 4194304 6245536 140733234774512 18446744073709551615 4408672 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13891 13450 229 501 0 13387 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 55564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.84 3/178 20892
/proc/meminfo: memFree=31625324/32950928 swapFree=67052112/67111528
[pid=20804] ppid=20802 vsize=55564 CPUtime=1800.04 cores=0,2,4,6
/proc/20804/stat : 20804 (clasp) R 20802 20804 18976 0 -1 4202496 16266 0 0 0 180002 2 0 0 25 0 1 0 889256751 56897536 13450 33554432000 4194304 6245536 140733234774512 18446744073709551615 4397856 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/20804/statm: 13891 13450 229 501 0 13387 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 55564
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.02
CPU system time (s): 0.027995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 55564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16278
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= 2948
runsolver used 2.68059 second user time and 5.53116 second system time
The end