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-3491849-1307771373/watcher-3491849-1307771373 -o /tmp/evaluation-result-3491849-1307771373/solver-3491849-1307771373 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491849-1307771373.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
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.92 2.98 2.93 4/178 21282
/proc/meminfo: memFree=31613756/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=6052 CPUtime=0 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 1268 0 0 0 0 0 0 0 25 0 1 0 888736113 6197248 1096 33554432000 4194304 6245536 140734862062944 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 1513 1097 181 501 0 1009 0
[startup+0.0278819 s]
/proc/loadavg: 2.92 2.98 2.93 4/178 21282
/proc/meminfo: memFree=31613756/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=10552 CPUtime=0.02 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 2757 0 0 0 2 0 0 0 25 0 1 0 888736113 10805248 2203 33554432000 4194304 6245536 140734862062944 18446744073709551615 4574833 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 2638 2203 198 501 0 2134 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10552
[startup+0.100871 s]
/proc/loadavg: 2.92 2.98 2.93 4/178 21282
/proc/meminfo: memFree=31613756/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=12212 CPUtime=0.09 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 3506 0 0 0 9 0 0 0 25 0 1 0 888736113 12505088 2701 33554432000 4194304 6245536 140734862062944 18446744073709551615 4563041 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 3053 2701 221 501 0 2549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12212
[startup+0.300893 s]
/proc/loadavg: 2.92 2.98 2.93 4/178 21282
/proc/meminfo: memFree=31613756/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=12212 CPUtime=0.29 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 3519 0 0 0 29 0 0 0 25 0 1 0 888736113 12505088 2714 33554432000 4194304 6245536 140734862062944 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 3053 2714 229 501 0 2549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12212
[startup+0.700761 s]
/proc/loadavg: 2.92 2.98 2.93 4/178 21282
/proc/meminfo: memFree=31613756/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=13136 CPUtime=0.69 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 3755 0 0 0 69 0 0 0 25 0 1 0 888736113 13451264 2950 33554432000 4194304 6245536 140734862062944 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 3284 2950 229 501 0 2780 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13136
[startup+1.50062 s]
/proc/loadavg: 2.92 2.98 2.93 4/179 21283
/proc/meminfo: memFree=31602124/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=14536 CPUtime=1.49 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 4080 0 0 0 149 0 0 0 25 0 1 0 888736113 14884864 3275 33554432000 4194304 6245536 140734862062944 18446744073709551615 4608219 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 3634 3275 229 501 0 3130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14536
[startup+3.10033 s]
/proc/loadavg: 2.92 2.98 2.93 4/179 21283
/proc/meminfo: memFree=31600820/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=16264 CPUtime=3.09 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 4538 0 0 0 309 0 0 0 25 0 1 0 888736113 16654336 3733 33554432000 4194304 6245536 140734862062944 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 4066 3733 229 501 0 3562 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16264
[startup+6.30076 s]
/proc/loadavg: 2.93 2.98 2.93 4/179 21283
/proc/meminfo: memFree=31597720/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=18548 CPUtime=6.29 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 5077 0 0 0 628 1 0 0 25 0 1 0 888736113 18993152 4272 33554432000 4194304 6245536 140734862062944 18446744073709551615 4409865 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 4637 4272 229 501 0 4133 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18548
[startup+12.7006 s]
/proc/loadavg: 2.93 2.98 2.93 4/179 21283
/proc/meminfo: memFree=31594080/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=21596 CPUtime=12.69 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 5823 0 0 0 1268 1 0 0 25 0 1 0 888736113 22114304 5018 33554432000 4194304 6245536 140734862062944 18446744073709551615 4637536 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 5399 5018 229 501 0 4895 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21596
[startup+25.5003 s]
/proc/loadavg: 2.95 2.98 2.93 4/179 21283
/proc/meminfo: memFree=31589620/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=25892 CPUtime=25.49 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 6845 0 0 0 2548 1 0 0 25 0 1 0 888736113 26513408 6040 33554432000 4194304 6245536 140734862062944 18446744073709551615 4408672 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 6473 6040 229 501 0 5969 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25892
[startup+51.1008 s]
/proc/loadavg: 3.02 3.00 2.93 4/179 21284
/proc/meminfo: memFree=31584480/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=31160 CPUtime=51.09 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 8066 0 0 0 5108 1 0 0 25 0 1 0 888736113 31907840 7261 33554432000 4194304 6245536 140734862062944 18446744073709551615 4637731 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 7790 7261 229 501 0 7286 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31160
[startup+102.307 s]
/proc/loadavg: 3.01 3.00 2.93 4/179 21285
/proc/meminfo: memFree=31577364/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=38176 CPUtime=102.29 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 9725 0 0 0 10228 1 0 0 25 0 1 0 888736113 39092224 8920 33554432000 4194304 6245536 140734862062944 18446744073709551615 4637754 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 9544 8920 229 501 0 9040 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 38176
[startup+162.301 s]
/proc/loadavg: 2.93 2.98 2.93 4/179 21326
/proc/meminfo: memFree=31716352/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=43984 CPUtime=162.29 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 11013 0 0 0 16228 1 0 0 25 0 1 0 888736113 45039616 10208 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 10996 10208 229 501 0 10492 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 43984
[startup+222.3 s]
/proc/loadavg: 2.97 2.98 2.93 4/179 21328
/proc/meminfo: memFree=31703532/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=49536 CPUtime=222.3 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 12247 0 0 0 22228 2 0 0 25 0 1 0 888736113 50724864 11442 33554432000 4194304 6245536 140734862062944 18446744073709551615 4316496 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 12384 11442 229 501 0 11880 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 49536
[startup+282.301 s]
/proc/loadavg: 2.99 2.98 2.93 4/179 21329
/proc/meminfo: memFree=31695896/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=53876 CPUtime=282.3 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 13247 0 0 0 28228 2 0 0 25 0 1 0 888736113 55169024 12442 33554432000 4194304 6245536 140734862062944 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 13469 12442 229 501 0 12965 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 53876
[startup+342.301 s]
/proc/loadavg: 3.03 3.00 2.93 4/179 21331
/proc/meminfo: memFree=31688624/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=58352 CPUtime=342.3 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 14296 0 0 0 34228 2 0 0 25 0 1 0 888736113 59752448 13491 33554432000 4194304 6245536 140734862062944 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 14588 13491 229 501 0 14084 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 58352
[startup+402.3 s]
/proc/loadavg: 3.01 3.00 2.93 4/179 21332
/proc/meminfo: memFree=31682852/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=62664 CPUtime=402.3 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 15254 0 0 0 40228 2 0 0 25 0 1 0 888736113 64167936 14449 33554432000 4194304 6245536 140734862062944 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 15666 14449 229 501 0 15162 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 62664
[startup+462.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21334
/proc/meminfo: memFree=31677936/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=66016 CPUtime=462.3 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 15998 0 0 0 46228 2 0 0 25 0 1 0 888736113 67600384 15193 33554432000 4194304 6245536 140734862062944 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 16504 15193 229 501 0 16000 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 66016
[startup+522.301 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21336
/proc/meminfo: memFree=31675260/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=68016 CPUtime=522.3 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 16451 0 0 0 52228 2 0 0 25 0 1 0 888736113 69648384 15646 33554432000 4194304 6245536 140734862062944 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 17004 15646 229 501 0 16500 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 68016
[startup+582.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21337
/proc/meminfo: memFree=31671224/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=70112 CPUtime=582.3 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 16963 0 0 0 58228 2 0 0 25 0 1 0 888736113 71794688 16158 33554432000 4194304 6245536 140734862062944 18446744073709551615 4304775 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 17528 16158 229 501 0 17024 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 70112
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21353
/proc/meminfo: memFree=31661612/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=77068 CPUtime=822.31 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 18489 0 0 0 82229 2 0 0 25 0 1 0 888736113 78917632 17684 33554432000 4194304 6245536 140734862062944 18446744073709551615 4637696 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 19267 17684 229 501 0 18763 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 77068
[startup+882.301 s]
/proc/loadavg: 3.05 3.01 2.94 4/179 21356
/proc/meminfo: memFree=31657680/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=79352 CPUtime=882.31 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 19012 0 0 0 88229 2 0 0 25 0 1 0 888736113 81256448 18207 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 19838 18207 229 501 0 19334 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 79352
[startup+942.301 s]
/proc/loadavg: 3.05 3.02 2.94 4/179 21359
/proc/meminfo: memFree=31654420/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=82800 CPUtime=942.32 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 19758 0 0 0 94229 3 0 0 25 0 1 0 888736113 84787200 18953 33554432000 4194304 6245536 140734862062944 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 20700 18953 229 501 0 20196 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 82800
[startup+1002.3 s]
/proc/loadavg: 3.02 3.02 2.94 4/179 21360
/proc/meminfo: memFree=31652000/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=85364 CPUtime=1002.32 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 20328 0 0 0 100229 3 0 0 25 0 1 0 888736113 87412736 19523 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628878 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 21341 19523 229 501 0 20837 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 85364
[startup+1062.3 s]
/proc/loadavg: 3.00 3.01 2.94 4/179 21362
/proc/meminfo: memFree=31649696/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=86976 CPUtime=1062.32 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 20670 0 0 0 106229 3 0 0 25 0 1 0 888736113 89063424 19865 33554432000 4194304 6245536 140734862062944 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 21744 19865 229 501 0 21240 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 86976
[startup+1122.3 s]
/proc/loadavg: 3.00 3.01 2.94 4/179 21364
/proc/meminfo: memFree=31648620/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=87548 CPUtime=1122.32 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 20815 0 0 0 112229 3 0 0 25 0 1 0 888736113 89649152 20010 33554432000 4194304 6245536 140734862062944 18446744073709551615 5419316 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 21887 20010 229 501 0 21383 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 87548
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.94 4/179 21365
/proc/meminfo: memFree=31648028/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=88212 CPUtime=1182.32 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 20982 0 0 0 118229 3 0 0 25 0 1 0 888736113 90329088 20177 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 22053 20177 229 501 0 21549 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 88212
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.94 4/179 21367
/proc/meminfo: memFree=31646484/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=89624 CPUtime=1242.32 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 21251 0 0 0 124229 3 0 0 25 0 1 0 888736113 91774976 20446 33554432000 4194304 6245536 140734862062944 18446744073709551615 4315320 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 22406 20446 229 501 0 21902 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 89624
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.94 4/179 21368
/proc/meminfo: memFree=31644936/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=90524 CPUtime=1302.33 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 21490 0 0 0 130230 3 0 0 25 0 1 0 888736113 92696576 20685 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 22631 20685 229 501 0 22127 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 90524
[startup+1362.3 s]
/proc/loadavg: 3.00 3.00 2.94 4/179 21370
/proc/meminfo: memFree=31643992/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=90808 CPUtime=1362.33 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 21556 0 0 0 136230 3 0 0 25 0 1 0 888736113 92987392 20751 33554432000 4194304 6245536 140734862062944 18446744073709551615 4344698 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 22702 20751 229 501 0 22198 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 90808
[startup+1422.31 s]
/proc/loadavg: 3.07 3.02 2.95 4/179 21372
/proc/meminfo: memFree=31640696/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=93916 CPUtime=1422.33 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 22252 0 0 0 142230 3 0 0 25 0 1 0 888736113 96169984 21447 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 23479 21447 229 501 0 22975 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 93916
[startup+1482.3 s]
/proc/loadavg: 3.02 3.01 2.95 4/179 21373
/proc/meminfo: memFree=31639008/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=94960 CPUtime=1482.33 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 22513 0 0 0 148230 3 0 0 25 0 1 0 888736113 97239040 21708 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 23740 21708 229 501 0 23236 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 94960
[startup+1542.3 s]
/proc/loadavg: 3.01 3.00 2.95 4/179 21375
/proc/meminfo: memFree=31638064/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=96068 CPUtime=1542.33 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 22766 0 0 0 154230 3 0 0 25 0 1 0 888736113 98373632 21961 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 24017 21961 229 501 0 23513 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 96068
[startup+1602.3 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21376
/proc/meminfo: memFree=31636880/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=96888 CPUtime=1602.33 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 22963 0 0 0 160230 3 0 0 25 0 1 0 888736113 99213312 22158 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 24222 22158 229 501 0 23718 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 96888
[startup+1662.3 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21378
/proc/meminfo: memFree=31635932/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=97396 CPUtime=1662.33 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 23086 0 0 0 166230 3 0 0 25 0 1 0 888736113 99733504 22281 33554432000 4194304 6245536 140734862062944 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 24349 22281 229 501 0 23845 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 97396
[startup+1722.3 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21380
/proc/meminfo: memFree=31634500/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=98784 CPUtime=1722.33 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 23384 0 0 0 172230 3 0 0 25 0 1 0 888736113 101154816 22579 33554432000 4194304 6245536 140734862062944 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 24696 22579 229 501 0 24192 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 98784
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21381
/proc/meminfo: memFree=31633080/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=100396 CPUtime=1782.34 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 23736 0 0 0 178231 3 0 0 25 0 1 0 888736113 102805504 22931 33554432000 4194304 6245536 140734862062944 18446744073709551615 4637696 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 25099 22931 229 501 0 24595 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 100396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21382
/proc/meminfo: memFree=31632928/32950928 swapFree=67048868/67111528
[pid=21282] ppid=21280 vsize=100396 CPUtime=1800.04 cores=1,3,5,7
/proc/21282/stat : 21282 (clasp) R 21280 21282 17848 0 -1 4202496 23742 0 0 0 180001 3 0 0 25 0 1 0 888736113 102805504 22937 33554432000 4194304 6245536 140734862062944 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21282/statm: 25099 22937 229 501 0 24595 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 100396
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.06
CPU user time (s): 1800.02
CPU system time (s): 0.040993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 100396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
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= 23754
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= 2634
runsolver used 2.31465 second user time and 5.8831 second system time
The end