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-3479242-1307448399/watcher-3479242-1307448399 -o /tmp/evaluation-result-3479242-1307448399/solver-3479242-1307448399 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3479242-1307448399.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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.93 1.99 1.92 2/400 4484
/proc/meminfo: memFree=29869680/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/4484/stat : 4484 (runsolver) R 4482 4484 4198 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 856439700 12079104 51 33554432000 4194304 5432328 140734402038592 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/4484/statm: 2949 51 31 303 0 2643 0
[startup+0.023682 s]
/proc/loadavg: 1.93 1.99 1.92 2/400 4484
/proc/meminfo: memFree=29869680/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=12704 CPUtime=0 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 578 0 0 0 0 0 0 0 25 0 1 0 856439700 13008896 512 33554432000 4194304 4933572 140737236342112 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 3176 512 377 181 0 185 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12704
[startup+0.100777 s]
/proc/loadavg: 1.93 1.99 1.92 2/400 4484
/proc/meminfo: memFree=29869680/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=13496 CPUtime=0.08 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 784 0 0 0 8 0 0 0 25 0 1 0 856439700 13819904 718 33554432000 4194304 4933572 140737236342112 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 3374 718 384 181 0 383 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13496
[startup+0.300747 s]
/proc/loadavg: 1.93 1.99 1.92 2/400 4484
/proc/meminfo: memFree=29869680/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=14024 CPUtime=0.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 928 0 0 0 28 0 0 0 25 0 1 0 856439700 14360576 862 33554432000 4194304 4933572 140737236342112 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 3506 862 384 181 0 515 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14024
[startup+0.700679 s]
/proc/loadavg: 1.93 1.99 1.92 2/400 4484
/proc/meminfo: memFree=29869680/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=14684 CPUtime=0.68 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 1082 0 0 0 68 0 0 0 25 0 1 0 856439700 15036416 1016 33554432000 4194304 4933572 140737236342112 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 3671 1016 384 181 0 680 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14684
[startup+1.50053 s]
/proc/loadavg: 1.93 1.99 1.92 3/401 4485
/proc/meminfo: memFree=29866208/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=15344 CPUtime=1.48 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 1245 0 0 0 148 0 0 0 25 0 1 0 856439700 15712256 1179 33554432000 4194304 4933572 140737236342112 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 3836 1179 384 181 0 845 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15344
[startup+3.10024 s]
/proc/loadavg: 1.94 1.99 1.92 3/401 4485
/proc/meminfo: memFree=29864468/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=16000 CPUtime=3.08 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 1433 0 0 0 308 0 0 0 25 0 1 0 856439700 16384000 1367 33554432000 4194304 4933572 140737236342112 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 4000 1367 385 181 0 1009 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16000
[startup+6.30068 s]
/proc/loadavg: 1.94 1.99 1.92 3/401 4485
/proc/meminfo: memFree=29862988/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=16760 CPUtime=6.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 1626 0 0 0 628 0 0 0 25 0 1 0 856439700 17162240 1560 33554432000 4194304 4933572 140737236342112 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 4190 1560 385 181 0 1199 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16760
[startup+12.7005 s]
/proc/loadavg: 1.95 1.99 1.92 3/401 4485
/proc/meminfo: memFree=29861384/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=17488 CPUtime=12.68 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 1803 0 0 0 1268 0 0 0 25 0 1 0 856439700 17907712 1737 33554432000 4194304 4933572 140737236342112 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 4372 1737 385 181 0 1381 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17488
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.92 3/401 4485
/proc/meminfo: memFree=29859884/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=18196 CPUtime=25.48 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 1969 0 0 0 2548 0 0 0 25 0 1 0 856439700 18632704 1903 33554432000 4194304 4933572 140737236342112 18446744073709551615 4637451 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4484/statm: 4549 1903 385 181 0 1558 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18196
[startup+51.1007 s]
/proc/loadavg: 2.04 2.01 1.93 3/401 4486
/proc/meminfo: memFree=29858248/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=18904 CPUtime=51.07 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2137 0 0 0 5107 0 0 0 25 0 1 0 856439700 19357696 2071 33554432000 4194304 4933572 140737236342112 18446744073709551615 4631907 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 4726 2071 385 181 0 1735 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18904
[startup+102.314 s]
/proc/loadavg: 2.01 2.00 1.93 3/401 4487
/proc/meminfo: memFree=29855384/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=19820 CPUtime=102.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2345 0 0 0 10228 0 0 0 25 0 1 0 856439700 20295680 2279 33554432000 4194304 4933572 140737236342112 18446744073709551615 4329997 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 4955 2279 385 181 0 1964 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19820
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/401 4489
/proc/meminfo: memFree=29852752/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=20420 CPUtime=162.27 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2467 0 0 0 16227 0 0 0 25 0 1 0 856439700 20910080 2401 33554432000 4194304 4933572 140737236342112 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5105 2401 385 181 0 2114 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 20420
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/401 4491
/proc/meminfo: memFree=29852976/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=21036 CPUtime=222.27 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2577 0 0 0 22227 0 0 0 25 0 1 0 856439700 21540864 2511 33554432000 4194304 4933572 140737236342112 18446744073709551615 4360943 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5259 2511 385 181 0 2268 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 21036
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/401 4492
/proc/meminfo: memFree=29852960/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=21188 CPUtime=282.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2613 0 0 0 28228 0 0 0 25 0 1 0 856439700 21696512 2547 33554432000 4194304 4933572 140737236342112 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5297 2547 385 181 0 2306 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 21188
[startup+342.301 s]
/proc/loadavg: 2.12 2.03 1.94 3/401 4494
/proc/meminfo: memFree=29851944/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=21336 CPUtime=342.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2669 0 0 0 34228 0 0 0 25 0 1 0 856439700 21848064 2603 33554432000 4194304 4933572 140737236342112 18446744073709551615 4329852 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5334 2603 385 181 0 2343 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 21336
[startup+402.301 s]
/proc/loadavg: 2.11 2.04 1.94 3/401 4495
/proc/meminfo: memFree=29851808/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=21448 CPUtime=402.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2689 0 0 0 40228 0 0 0 25 0 1 0 856439700 21962752 2623 33554432000 4194304 4933572 140737236342112 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5362 2623 385 181 0 2371 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 21448
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 1.94 3/401 4497
/proc/meminfo: memFree=29851520/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=21548 CPUtime=462.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2707 0 0 0 46228 0 0 0 25 0 1 0 856439700 22065152 2641 33554432000 4194304 4933572 140737236342112 18446744073709551615 4429145 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5387 2641 385 181 0 2396 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 21548
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 1.94 3/401 4499
/proc/meminfo: memFree=29850760/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=21876 CPUtime=522.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2798 0 0 0 52228 0 0 0 25 0 1 0 856439700 22401024 2719 33554432000 4194304 4933572 140737236342112 18446744073709551615 4340865 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5469 2719 385 181 0 2478 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 21876
[startup+582.301 s]
/proc/loadavg: 2.08 2.05 1.95 3/401 4500
/proc/meminfo: memFree=29850260/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22144 CPUtime=582.28 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2856 0 0 0 58228 0 0 0 25 0 1 0 856439700 22675456 2777 33554432000 4194304 4933572 140737236342112 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5536 2777 385 181 0 2545 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 22144
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/401 4507
/proc/meminfo: memFree=29849088/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22444 CPUtime=822.29 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2947 0 0 0 82229 0 0 0 25 0 1 0 856439700 22982656 2868 33554432000 4194304 4933572 140737236342112 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5611 2868 385 181 0 2620 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 22444
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 1.96 3/401 4508
/proc/meminfo: memFree=29847960/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22444 CPUtime=882.29 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2948 0 0 0 88229 0 0 0 25 0 1 0 856439700 22982656 2869 33554432000 4194304 4933572 140737236342112 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5611 2869 385 181 0 2620 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 22444
[startup+942.301 s]
/proc/loadavg: 2.07 2.04 1.97 3/401 4510
/proc/meminfo: memFree=29848700/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22544 CPUtime=942.29 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2973 0 0 0 94229 0 0 0 25 0 1 0 856439700 23085056 2894 33554432000 4194304 4933572 140737236342112 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5636 2894 385 181 0 2645 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 22544
[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/401 4511
/proc/meminfo: memFree=29847952/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22696 CPUtime=1002.29 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2988 0 0 0 100229 0 0 0 25 0 1 0 856439700 23240704 2909 33554432000 4194304 4933572 140737236342112 18446744073709551615 4363251 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5674 2909 385 181 0 2683 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 22696
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/401 4513
/proc/meminfo: memFree=29848428/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22696 CPUtime=1062.29 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 2997 0 0 0 106229 0 0 0 25 0 1 0 856439700 23240704 2918 33554432000 4194304 4933572 140737236342112 18446744073709551615 4319318 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5674 2918 385 181 0 2683 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 22696
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/401 4515
/proc/meminfo: memFree=29847788/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22696 CPUtime=1122.29 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3006 0 0 0 112229 0 0 0 25 0 1 0 856439700 23240704 2927 33554432000 4194304 4933572 140737236342112 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5674 2927 385 181 0 2683 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 22696
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 1.98 3/401 4516
/proc/meminfo: memFree=29847284/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22828 CPUtime=1182.29 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3019 0 0 0 118229 0 0 0 25 0 1 0 856439700 23375872 2940 33554432000 4194304 4933572 140737236342112 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5707 2940 385 181 0 2716 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 22828
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/401 4518
/proc/meminfo: memFree=29846536/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22828 CPUtime=1242.3 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3034 0 0 0 124230 0 0 0 25 0 1 0 856439700 23375872 2955 33554432000 4194304 4933572 140737236342112 18446744073709551615 4666833 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5707 2955 385 181 0 2716 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 22828
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/401 4519
/proc/meminfo: memFree=29846284/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22828 CPUtime=1302.31 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3039 0 0 0 130231 0 0 0 25 0 1 0 856439700 23375872 2960 33554432000 4194304 4933572 140737236342112 18446744073709551615 4664543 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5707 2960 385 181 0 2716 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 22828
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/401 4521
/proc/meminfo: memFree=29847136/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22828 CPUtime=1362.3 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3045 0 0 0 136230 0 0 0 25 0 1 0 856439700 23375872 2966 33554432000 4194304 4933572 140737236342112 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5707 2966 385 181 0 2716 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 22828
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/401 4523
/proc/meminfo: memFree=29847000/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22920 CPUtime=1422.31 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3059 0 0 0 142231 0 0 0 25 0 1 0 856439700 23470080 2980 33554432000 4194304 4933572 140737236342112 18446744073709551615 237278577282 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5730 2980 385 181 0 2739 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 22920
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/401 4524
/proc/meminfo: memFree=29846740/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22920 CPUtime=1482.3 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3062 0 0 0 148230 0 0 0 25 0 1 0 856439700 23470080 2983 33554432000 4194304 4933572 140737236342112 18446744073709551615 4332797 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5730 2983 385 181 0 2739 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 22920
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 1.99 4/401 4526
/proc/meminfo: memFree=29846980/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22920 CPUtime=1542.3 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3062 0 0 0 154230 0 0 0 25 0 1 0 856439700 23470080 2983 33554432000 4194304 4933572 140737236342112 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5730 2983 385 181 0 2739 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 22920
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/401 4527
/proc/meminfo: memFree=29846940/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=22920 CPUtime=1602.3 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3063 0 0 0 160230 0 0 0 25 0 1 0 856439700 23470080 2984 33554432000 4194304 4933572 140737236342112 18446744073709551615 4428404 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5730 2984 385 181 0 2739 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 22920
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/401 4529
/proc/meminfo: memFree=29846676/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=23072 CPUtime=1662.31 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3091 0 0 0 166231 0 0 0 25 0 1 0 856439700 23625728 3012 33554432000 4194304 4933572 140737236342112 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5768 3012 385 181 0 2777 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 23072
[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/401 4531
/proc/meminfo: memFree=29846540/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=23184 CPUtime=1722.31 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3110 0 0 0 172231 0 0 0 25 0 1 0 856439700 23740416 3031 33554432000 4194304 4933572 140737236342112 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5796 3031 385 181 0 2805 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 23184
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 4532
/proc/meminfo: memFree=29845540/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=23184 CPUtime=1782.32 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3128 0 0 0 178231 1 0 0 25 0 1 0 856439700 23740416 3049 33554432000 4194304 4933572 140737236342112 18446744073709551615 4360867 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5796 3049 385 181 0 2805 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 23184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 4561
/proc/meminfo: memFree=29704712/32950904 swapFree=56615552/67111528
[pid=4484] ppid=4482 vsize=23184 CPUtime=1800.02 cores=0,2,4,6
/proc/4484/stat : 4484 (clasp) R 4482 4484 4198 0 -1 4202496 3128 0 0 0 180001 1 0 0 25 0 1 0 856439700 23740416 3049 33554432000 4194304 4933572 140737236342112 18446744073709551615 4329847 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/4484/statm: 5796 3049 385 181 0 2805 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 23184
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.02
CPU time (s): 1800.04
CPU user time (s): 1800.02
CPU system time (s): 0.013997
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 23204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3137
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= 2725
runsolver used 7.2299 second user time and 14.5458 second system time
The end