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-3491822-1307769267/watcher-3491822-1307769267 -o /tmp/evaluation-result-3491822-1307769267/solver-3491822-1307769267 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491822-1307769267.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.08 1.45 4/173 5039
/proc/meminfo: memFree=30950656/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=6196 CPUtime=0 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 1295 0 0 0 0 0 0 0 23 0 1 0 967157187 6344704 1123 33554432000 4194304 6245536 140734972317536 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 1549 1123 181 501 0 1045 0
[startup+0.060329 s]
/proc/loadavg: 1.00 1.08 1.45 4/173 5039
/proc/meminfo: memFree=30950656/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=11896 CPUtime=0.05 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 3123 0 0 0 5 0 0 0 23 0 1 0 967157187 12181504 2567 33554432000 4194304 6245536 140734972317536 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 2974 2567 201 501 0 2470 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11896
[startup+0.100329 s]
/proc/loadavg: 1.00 1.08 1.45 4/173 5039
/proc/meminfo: memFree=30950656/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=12360 CPUtime=0.09 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 3516 0 0 0 9 0 0 0 23 0 1 0 967157187 12656640 2707 33554432000 4194304 6245536 140734972317536 18446744073709551615 4409254 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 3090 2707 221 501 0 2586 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12360
[startup+0.300291 s]
/proc/loadavg: 1.00 1.08 1.45 4/173 5039
/proc/meminfo: memFree=30950656/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=12360 CPUtime=0.29 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 3542 0 0 0 29 0 0 0 24 0 1 0 967157187 12656640 2733 33554432000 4194304 6245536 140734972317536 18446744073709551615 4397846 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 3090 2733 229 501 0 2586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12360
[startup+0.700227 s]
/proc/loadavg: 1.00 1.08 1.45 4/173 5039
/proc/meminfo: memFree=30950656/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=13288 CPUtime=0.69 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 3798 0 0 0 69 0 0 0 25 0 1 0 967157187 13606912 2989 33554432000 4194304 6245536 140734972317536 18446744073709551615 4408698 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 3322 2989 229 501 0 2818 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13288
[startup+1.50104 s]
/proc/loadavg: 1.00 1.08 1.45 2/172 5069
/proc/meminfo: memFree=30940292/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=14344 CPUtime=1.49 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 4054 0 0 0 149 0 0 0 25 0 1 0 967157187 14688256 3245 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628917 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 3586 3245 229 501 0 3082 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14344
[startup+3.10076 s]
/proc/loadavg: 1.08 1.10 1.45 4/175 5079
/proc/meminfo: memFree=30914468/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=16336 CPUtime=3.09 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 4526 0 0 0 309 0 0 0 25 0 1 0 967157187 16728064 3717 33554432000 4194304 6245536 140734972317536 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 4084 3717 229 501 0 3580 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16336
[startup+6.30017 s]
/proc/loadavg: 1.08 1.10 1.45 4/175 5079
/proc/meminfo: memFree=30906980/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=18628 CPUtime=6.29 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 5091 0 0 0 629 0 0 0 25 0 1 0 967157187 19075072 4282 33554432000 4194304 6245536 140734972317536 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 4657 4282 229 501 0 4153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18628
[startup+12.701 s]
/proc/loadavg: 1.22 1.13 1.46 4/175 5079
/proc/meminfo: memFree=30896328/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=21848 CPUtime=12.69 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 5881 0 0 0 1269 0 0 0 25 0 1 0 967157187 22372352 5072 33554432000 4194304 6245536 140734972317536 18446744073709551615 4627950 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 5462 5072 229 501 0 4958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21848
[startup+25.5006 s]
/proc/loadavg: 1.34 1.16 1.46 4/175 5080
/proc/meminfo: memFree=30887520/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=26044 CPUtime=25.49 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 6907 0 0 0 2548 1 0 0 25 0 1 0 967157187 26669056 6098 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 6511 6098 229 501 0 6007 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26044
[startup+51.1008 s]
/proc/loadavg: 1.56 1.22 1.47 4/175 5080
/proc/meminfo: memFree=30873824/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=31712 CPUtime=51.09 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 8248 0 0 0 5108 1 0 0 25 0 1 0 967157187 32473088 7439 33554432000 4194304 6245536 140734972317536 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 7928 7439 229 501 0 7424 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31712
[startup+102.306 s]
/proc/loadavg: 1.82 1.35 1.50 4/175 5082
/proc/meminfo: memFree=30854072/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=40392 CPUtime=102.3 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 10246 0 0 0 10229 1 0 0 25 0 1 0 967157187 41361408 9437 33554432000 4194304 6245536 140734972317536 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 10098 9437 229 501 0 9594 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40392
[startup+162.301 s]
/proc/loadavg: 1.93 1.46 1.53 4/175 5083
/proc/meminfo: memFree=30839408/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=46824 CPUtime=162.3 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 11714 0 0 0 16228 2 0 0 25 0 1 0 967157187 47947776 10905 33554432000 4194304 6245536 140734972317536 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 11706 10905 229 501 0 11202 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 46824
[startup+222.301 s]
/proc/loadavg: 1.97 1.56 1.56 4/175 5085
/proc/meminfo: memFree=30825856/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=51480 CPUtime=222.3 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 12766 0 0 0 22228 2 0 0 25 0 1 0 967157187 52715520 11957 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 12870 11957 229 501 0 12366 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 51480
[startup+282.301 s]
/proc/loadavg: 1.99 1.63 1.58 4/175 5087
/proc/meminfo: memFree=30813804/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=57648 CPUtime=282.3 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 14158 0 0 0 28228 2 0 0 25 0 1 0 967157187 59031552 13349 33554432000 4194304 6245536 140734972317536 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 14412 13349 229 501 0 13908 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 57648
[startup+342.301 s]
/proc/loadavg: 2.10 1.73 1.62 4/175 5088
/proc/meminfo: memFree=30807952/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=59780 CPUtime=342.3 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 14653 0 0 0 34228 2 0 0 25 0 1 0 967157187 61214720 13844 33554432000 4194304 6245536 140734972317536 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 14945 13844 229 501 0 14441 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 59780
[startup+402.3 s]
/proc/loadavg: 2.04 1.77 1.64 4/175 5090
/proc/meminfo: memFree=30799360/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=66572 CPUtime=402.3 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 16147 0 0 0 40228 2 0 0 25 0 1 0 967157187 68169728 15338 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628779 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 16643 15338 229 501 0 16139 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 66572
[startup+462.3 s]
/proc/loadavg: 2.01 1.82 1.66 4/175 5091
/proc/meminfo: memFree=30789408/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=69352 CPUtime=462.3 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 16803 0 0 0 46228 2 0 0 25 0 1 0 967157187 71016448 15994 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 17338 15994 229 501 0 16834 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 69352
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.67 4/175 5093
/proc/meminfo: memFree=30784168/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=70344 CPUtime=522.31 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 17039 0 0 0 52229 2 0 0 25 0 1 0 967157187 72032256 16230 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 17586 16230 229 501 0 17082 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 70344
[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.69 4/175 5095
/proc/meminfo: memFree=30778308/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=74180 CPUtime=582.31 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 17918 0 0 0 58228 3 0 0 25 0 1 0 967157187 75960320 17109 33554432000 4194304 6245536 140734972317536 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 18545 17109 229 501 0 18041 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 74180
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.93 1.75 4/175 5101
/proc/meminfo: memFree=30756576/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=83032 CPUtime=822.32 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 19912 0 0 0 82229 3 0 0 25 0 1 0 967157187 85024768 19103 33554432000 4194304 6245536 140734972317536 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 20758 19103 229 501 0 20254 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 83032
[startup+882.301 s]
/proc/loadavg: 2.07 1.96 1.77 4/175 5103
/proc/meminfo: memFree=30753316/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=83032 CPUtime=882.32 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 19964 0 0 0 88229 3 0 0 25 0 1 0 967157187 85024768 19155 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 20758 19155 229 501 0 20254 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 83032
[startup+942.301 s]
/proc/loadavg: 2.03 1.97 1.78 4/175 5104
/proc/meminfo: memFree=30748944/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=86408 CPUtime=942.32 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 20680 0 0 0 94229 3 0 0 25 0 1 0 967157187 88481792 19871 33554432000 4194304 6245536 140734972317536 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 21602 19871 229 501 0 21098 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 86408
[startup+1002.3 s]
/proc/loadavg: 2.01 1.97 1.79 4/175 5106
/proc/meminfo: memFree=30746680/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=87840 CPUtime=1002.32 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 21050 0 0 0 100229 3 0 0 25 0 1 0 967157187 89948160 20241 33554432000 4194304 6245536 140734972317536 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 21960 20241 229 501 0 21456 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 87840
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.80 4/175 5107
/proc/meminfo: memFree=30743668/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=89420 CPUtime=1062.32 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 21376 0 0 0 106229 3 0 0 25 0 1 0 967157187 91566080 20567 33554432000 4194304 6245536 140734972317536 18446744073709551615 4344286 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 22355 20567 229 501 0 21851 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 89420
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.81 4/175 5109
/proc/meminfo: memFree=30732840/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=89832 CPUtime=1122.33 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 21515 0 0 0 112230 3 0 0 25 0 1 0 967157187 91987968 20706 33554432000 4194304 6245536 140734972317536 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 22458 20706 229 501 0 21954 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 89832
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.82 4/175 5111
/proc/meminfo: memFree=30729712/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=90876 CPUtime=1182.33 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 21721 0 0 0 118230 3 0 0 25 0 1 0 967157187 93057024 20912 33554432000 4194304 6245536 140734972317536 18446744073709551615 4409697 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 22719 20912 229 501 0 22215 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 90876
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/175 5112
/proc/meminfo: memFree=30724084/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=92804 CPUtime=1242.33 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 22155 0 0 0 124230 3 0 0 25 0 1 0 967157187 95031296 21346 33554432000 4194304 6245536 140734972317536 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 23201 21346 229 501 0 22697 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 92804
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/175 5114
/proc/meminfo: memFree=30721316/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=93656 CPUtime=1302.34 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 22340 0 0 0 130231 3 0 0 25 0 1 0 967157187 95903744 21531 33554432000 4194304 6245536 140734972317536 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 23414 21531 229 501 0 22910 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 93656
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/175 5115
/proc/meminfo: memFree=30719168/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=94604 CPUtime=1362.33 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 22538 0 0 0 136230 3 0 0 25 0 1 0 967157187 96874496 21729 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 23651 21729 229 501 0 23147 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 94604
[startup+1422.31 s]
/proc/loadavg: 2.04 1.99 1.85 4/175 5117
/proc/meminfo: memFree=30716416/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=95172 CPUtime=1422.34 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 22673 0 0 0 142231 3 0 0 25 0 1 0 967157187 97456128 21864 33554432000 4194304 6245536 140734972317536 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 23793 21864 229 501 0 23289 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 95172
[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.86 4/175 5122
/proc/meminfo: memFree=30710648/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=98244 CPUtime=1482.34 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 23357 0 0 0 148231 3 0 0 25 0 1 0 967157187 100601856 22548 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 24561 22548 229 501 0 24057 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 98244
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.86 4/175 5123
/proc/meminfo: memFree=30708040/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=100640 CPUtime=1542.35 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 23902 0 0 0 154231 4 0 0 25 0 1 0 967157187 103055360 23093 33554432000 4194304 6245536 140734972317536 18446744073709551615 4409808 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 25160 23093 229 501 0 24656 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 100640
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/175 5125
/proc/meminfo: memFree=30704284/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=101580 CPUtime=1602.35 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 24114 0 0 0 160231 4 0 0 25 0 1 0 967157187 104017920 23305 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 25395 23305 229 501 0 24891 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 101580
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/175 5126
/proc/meminfo: memFree=30700656/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=102548 CPUtime=1662.35 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 24327 0 0 0 166231 4 0 0 25 0 1 0 967157187 105009152 23518 33554432000 4194304 6245536 140734972317536 18446744073709551615 4637475 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 25637 23518 229 501 0 25133 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 102548
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.88 4/175 5128
/proc/meminfo: memFree=30698384/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=103368 CPUtime=1722.35 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 24537 0 0 0 172231 4 0 0 25 0 1 0 967157187 105848832 23728 33554432000 4194304 6245536 140734972317536 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 25842 23728 229 501 0 25338 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 103368
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.89 4/175 5130
/proc/meminfo: memFree=30691780/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=104160 CPUtime=1782.36 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 24688 0 0 0 178232 4 0 0 25 0 1 0 967157187 106659840 23879 33554432000 4194304 6245536 140734972317536 18446744073709551615 4304840 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 26040 23879 229 501 0 25536 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 104160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.89 3/175 5130
/proc/meminfo: memFree=30687792/32951124 swapFree=67062556/67111528
[pid=5039] ppid=5037 vsize=104444 CPUtime=1800.06 cores=0,2,4,6
/proc/5039/stat : 5039 (clasp) R 5037 5039 30926 0 -1 4202496 24746 0 0 0 180002 4 0 0 25 0 1 0 967157187 106950656 23937 33554432000 4194304 6245536 140734972317536 18446744073709551615 4608168 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/5039/statm: 26111 23937 229 501 0 25607 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 104444
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.07
CPU user time (s): 1800.03
CPU system time (s): 0.046992
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 104444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24756
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= 2320
runsolver used 2.87356 second user time and 5.63714 second system time
The end