runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3469403-1307096343/watcher-3469403-1307096343 -o /tmp/evaluation-result-3469403-1307096343/solver-3469403-1307096343 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469403-1307096343.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.84 1.99 1.99 2/271 4282
/proc/meminfo: memFree=28422592/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=12224 CPUtime=0 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4194304 223 0 0 0 0 0 0 0 25 0 1 0 821235093 12517376 177 33554432000 4194304 4933572 140734165141632 18446744073709551615 222916813943 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4282/statm: 3056 182 155 181 0 52 0
[startup+0.08331 s]
/proc/loadavg: 1.84 1.99 1.99 2/271 4282
/proc/meminfo: memFree=28422592/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=13296 CPUtime=0.07 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 751 0 0 0 7 0 0 0 25 0 1 0 821235093 13615104 668 33554432000 4194304 4933572 140734165141632 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 3324 668 374 181 0 333 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13296
[startup+0.100306 s]
/proc/loadavg: 1.84 1.99 1.99 2/271 4282
/proc/meminfo: memFree=28422592/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=13296 CPUtime=0.09 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 767 0 0 0 9 0 0 0 25 0 1 0 821235093 13615104 684 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 3324 684 374 181 0 333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13296
[startup+0.300275 s]
/proc/loadavg: 1.84 1.99 1.99 2/271 4282
/proc/meminfo: memFree=28422592/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=13692 CPUtime=0.29 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 862 0 0 0 29 0 0 0 25 0 1 0 821235093 14020608 779 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 3423 779 374 181 0 432 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13692
[startup+0.700214 s]
/proc/loadavg: 1.84 1.99 1.99 2/271 4282
/proc/meminfo: memFree=28422592/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=14088 CPUtime=0.69 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 968 0 0 0 69 0 0 0 25 0 1 0 821235093 14426112 885 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319300 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 3522 885 374 181 0 531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14088
[startup+1.50106 s]
/proc/loadavg: 1.84 1.99 1.99 3/274 4310
/proc/meminfo: memFree=28420800/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=14616 CPUtime=1.49 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 1077 0 0 0 149 0 0 0 25 0 1 0 821235093 14966784 994 33554432000 4194304 4933572 140734165141632 18446744073709551615 4631761 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 3654 994 374 181 0 663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14616
[startup+3.10077 s]
/proc/loadavg: 1.84 1.99 1.99 2/269 4327
/proc/meminfo: memFree=28421948/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=15068 CPUtime=3.09 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 1205 0 0 0 309 0 0 0 25 0 1 0 821235093 15429632 1122 33554432000 4194304 4933572 140734165141632 18446744073709551615 4632817 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 3767 1122 375 181 0 776 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15068
[startup+6.30019 s]
/proc/loadavg: 1.85 1.99 1.99 3/274 4337
/proc/meminfo: memFree=28409372/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=15700 CPUtime=6.29 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 1350 0 0 0 629 0 0 0 25 0 1 0 821235093 16076800 1267 33554432000 4194304 4933572 140734165141632 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 3925 1267 375 181 0 934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15700
[startup+12.701 s]
/proc/loadavg: 1.87 1.99 1.99 3/274 4338
/proc/meminfo: memFree=28403600/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=16560 CPUtime=12.69 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 1582 0 0 0 1269 0 0 0 25 0 1 0 821235093 16957440 1499 33554432000 4194304 4933572 140734165141632 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 4140 1499 375 181 0 1149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16560
[startup+25.5006 s]
/proc/loadavg: 1.89 1.99 1.99 3/274 4338
/proc/meminfo: memFree=28399120/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=17340 CPUtime=25.49 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 1762 0 0 0 2549 0 0 0 25 0 1 0 821235093 17756160 1679 33554432000 4194304 4933572 140734165141632 18446744073709551615 4637233 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 4335 1679 375 181 0 1344 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17340
[startup+51.101 s]
/proc/loadavg: 1.93 1.99 1.99 3/274 4339
/proc/meminfo: memFree=28393528/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=18492 CPUtime=51.09 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2035 0 0 0 5109 0 0 0 25 0 1 0 821235093 18935808 1952 33554432000 4194304 4933572 140734165141632 18446744073709551615 4632725 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 4623 1952 375 181 0 1632 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18492
[startup+102.31 s]
/proc/loadavg: 1.97 1.99 1.99 3/274 4340
/proc/meminfo: memFree=28385708/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=19856 CPUtime=102.3 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2387 0 0 0 10230 0 0 0 25 0 1 0 821235093 20332544 2304 33554432000 4194304 4933572 140734165141632 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 4964 2304 375 181 0 1973 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19856
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/274 4342
/proc/meminfo: memFree=28380480/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=20456 CPUtime=162.29 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2519 0 0 0 16229 0 0 0 25 0 1 0 821235093 20946944 2436 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5114 2436 375 181 0 2123 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20456
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/274 4343
/proc/meminfo: memFree=28378964/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=20908 CPUtime=222.29 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2602 0 0 0 22229 0 0 0 25 0 1 0 821235093 21409792 2519 33554432000 4194304 4933572 140734165141632 18446744073709551615 4648384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5227 2519 375 181 0 2236 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 20908
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/274 4345
/proc/meminfo: memFree=28375964/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=21208 CPUtime=282.3 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2672 0 0 0 28230 0 0 0 25 0 1 0 821235093 21716992 2589 33554432000 4194304 4933572 140734165141632 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5302 2589 375 181 0 2311 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21208
[startup+342.301 s]
/proc/loadavg: 2.04 2.00 1.99 3/274 4346
/proc/meminfo: memFree=28375440/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=21656 CPUtime=342.3 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2755 0 0 0 34230 0 0 0 25 0 1 0 821235093 22175744 2672 33554432000 4194304 4933572 140734165141632 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5414 2672 375 181 0 2423 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21656
[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.99 3/274 4348
/proc/meminfo: memFree=28370576/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=21956 CPUtime=402.3 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2809 0 0 0 40230 0 0 0 25 0 1 0 821235093 22482944 2726 33554432000 4194304 4933572 140734165141632 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5489 2726 375 181 0 2498 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 21956
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/274 4350
/proc/meminfo: memFree=28369940/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=21956 CPUtime=462.3 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2824 0 0 0 46230 0 0 0 25 0 1 0 821235093 22482944 2741 33554432000 4194304 4933572 140734165141632 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5489 2741 375 181 0 2498 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21956
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/274 4351
/proc/meminfo: memFree=28369788/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22108 CPUtime=522.3 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2853 0 0 0 52230 0 0 0 25 0 1 0 821235093 22638592 2770 33554432000 4194304 4933572 140734165141632 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5527 2770 375 181 0 2536 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 22108
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/274 4353
/proc/meminfo: memFree=28367664/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22108 CPUtime=582.3 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2854 0 0 0 58230 0 0 0 25 0 1 0 821235093 22638592 2771 33554432000 4194304 4933572 140734165141632 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5527 2771 375 181 0 2536 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22108
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/274 4359
/proc/meminfo: memFree=28364716/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22408 CPUtime=822.31 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2923 0 0 0 82231 0 0 0 25 0 1 0 821235093 22945792 2840 33554432000 4194304 4933572 140734165141632 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5602 2840 375 181 0 2611 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 22408
[startup+882.301 s]
/proc/loadavg: 2.13 2.03 2.00 3/274 4361
/proc/meminfo: memFree=28363828/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22556 CPUtime=882.31 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2939 0 0 0 88231 0 0 0 25 0 1 0 821235093 23097344 2856 33554432000 4194304 4933572 140734165141632 18446744073709551615 4362277 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5639 2856 375 181 0 2648 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 22556
[startup+942.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/274 4362
/proc/meminfo: memFree=28363672/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22556 CPUtime=942.31 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2946 0 0 0 94231 0 0 0 25 0 1 0 821235093 23097344 2863 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5639 2863 375 181 0 2648 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 22556
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/274 4364
/proc/meminfo: memFree=28363396/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22556 CPUtime=1002.31 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2947 0 0 0 100231 0 0 0 25 0 1 0 821235093 23097344 2864 33554432000 4194304 4933572 140734165141632 18446744073709551615 4635448 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5639 2864 375 181 0 2648 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 22556
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 4366
/proc/meminfo: memFree=28363256/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22556 CPUtime=1062.32 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2947 0 0 0 106232 0 0 0 25 0 1 0 821235093 23097344 2864 33554432000 4194304 4933572 140734165141632 18446744073709551615 4635690 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5639 2864 375 181 0 2648 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 22556
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 4367
/proc/meminfo: memFree=28363480/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22556 CPUtime=1122.32 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2947 0 0 0 112232 0 0 0 25 0 1 0 821235093 23097344 2864 33554432000 4194304 4933572 140734165141632 18446744073709551615 4340890 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5639 2864 375 181 0 2648 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 22556
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4369
/proc/meminfo: memFree=28363340/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22556 CPUtime=1182.32 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2954 0 0 0 118232 0 0 0 25 0 1 0 821235093 23097344 2871 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5639 2871 375 181 0 2648 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 22556
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4370
/proc/meminfo: memFree=28361328/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22708 CPUtime=1242.32 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2970 0 0 0 124232 0 0 0 25 0 1 0 821235093 23252992 2887 33554432000 4194304 4933572 140734165141632 18446744073709551615 4635448 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5677 2887 375 181 0 2686 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 22708
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4372
/proc/meminfo: memFree=28360568/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22708 CPUtime=1302.33 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2970 0 0 0 130233 0 0 0 25 0 1 0 821235093 23252992 2887 33554432000 4194304 4933572 140734165141632 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5677 2887 375 181 0 2686 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 22708
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4374
/proc/meminfo: memFree=28359800/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22708 CPUtime=1362.32 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2977 0 0 0 136232 0 0 0 25 0 1 0 821235093 23252992 2894 33554432000 4194304 4933572 140734165141632 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5677 2894 375 181 0 2686 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 22708
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/274 4375
/proc/meminfo: memFree=28359896/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22708 CPUtime=1422.34 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2982 0 0 0 142234 0 0 0 25 0 1 0 821235093 23252992 2899 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319368 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5677 2899 375 181 0 2686 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 22708
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/274 4377
/proc/meminfo: memFree=28359752/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22708 CPUtime=1482.33 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2987 0 0 0 148233 0 0 0 25 0 1 0 821235093 23252992 2904 33554432000 4194304 4933572 140734165141632 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5677 2904 375 181 0 2686 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 22708
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/274 4378
/proc/meminfo: memFree=28360344/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22708 CPUtime=1542.33 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2988 0 0 0 154233 0 0 0 25 0 1 0 821235093 23252992 2905 33554432000 4194304 4933572 140734165141632 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5677 2905 375 181 0 2686 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 22708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 4380
/proc/meminfo: memFree=28360564/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22856 CPUtime=1602.33 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2996 0 0 0 160233 0 0 0 25 0 1 0 821235093 23404544 2913 33554432000 4194304 4933572 140734165141632 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5714 2913 375 181 0 2723 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 22856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 4382
/proc/meminfo: memFree=28360300/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22856 CPUtime=1662.33 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 2996 0 0 0 166233 0 0 0 25 0 1 0 821235093 23404544 2913 33554432000 4194304 4933572 140734165141632 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5714 2913 375 181 0 2723 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 22856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4383
/proc/meminfo: memFree=28360272/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22856 CPUtime=1722.34 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 3023 0 0 0 172233 1 0 0 25 0 1 0 821235093 23404544 2940 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319397 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5714 2940 375 181 0 2723 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 22856
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4385
/proc/meminfo: memFree=28359140/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22856 CPUtime=1782.35 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 3027 0 0 0 178234 1 0 0 25 0 1 0 821235093 23404544 2944 33554432000 4194304 4933572 140734165141632 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5714 2944 375 181 0 2723 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 22856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 4385
/proc/meminfo: memFree=28359752/32951124 swapFree=55664332/67111528
[pid=4282] ppid=4280 vsize=22856 CPUtime=1800.05 cores=0,2,4,6
/proc/4282/stat : 4282 (clasp) R 4280 4282 4051 0 -1 4202496 3027 0 0 0 180004 1 0 0 25 0 1 0 821235093 23404544 2944 33554432000 4194304 4933572 140734165141632 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4282/statm: 5714 2944 375 181 0 2723 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 22856
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.05
CPU system time (s): 0.011998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 22856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3037
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= 10
involuntary context switches= 2670
runsolver used 4.6033 second user time and 10.1285 second system time
The end