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-3491840-1307771272/watcher-3491840-1307771272 -o /tmp/evaluation-result-3491840-1307771272/solver-3491840-1307771272 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491840-1307771272.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.91 1.98 1.93 2/177 27680
/proc/meminfo: memFree=31479024/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=4360 CPUtime=0 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 799 0 0 0 0 0 0 0 25 0 1 0 888724924 4464640 701 33554432000 4194304 6245536 140735068118800 18446744073709551615 4562239 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27680/statm: 1090 703 183 501 0 586 0
[startup+0.032538 s]
/proc/loadavg: 1.91 1.98 1.93 2/177 27680
/proc/meminfo: memFree=31479024/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=5780 CPUtime=0.03 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 1390 0 0 0 3 0 0 0 25 0 1 0 888724924 5918720 1084 33554432000 4194304 6245536 140735068118800 18446744073709551615 4302038 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 1445 1084 221 501 0 941 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5780
[startup+0.10053 s]
/proc/loadavg: 1.91 1.98 1.93 2/177 27680
/proc/meminfo: memFree=31479024/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=6572 CPUtime=0.09 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 1608 0 0 0 9 0 0 0 25 0 1 0 888724924 6729728 1302 33554432000 4194304 6245536 140735068118800 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 1643 1302 228 501 0 1139 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6572
[startup+0.300491 s]
/proc/loadavg: 1.91 1.98 1.93 2/177 27680
/proc/meminfo: memFree=31479024/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=7364 CPUtime=0.29 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 1823 0 0 0 29 0 0 0 25 0 1 0 888724924 7540736 1517 33554432000 4194304 6245536 140735068118800 18446744073709551615 4323516 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 1841 1517 229 501 0 1337 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7364
[startup+0.700423 s]
/proc/loadavg: 1.91 1.98 1.93 2/177 27680
/proc/meminfo: memFree=31479024/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=8160 CPUtime=0.69 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 1996 0 0 0 69 0 0 0 25 0 1 0 888724924 8355840 1690 33554432000 4194304 6245536 140735068118800 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 2040 1690 229 501 0 1536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8160
[startup+1.50027 s]
/proc/loadavg: 1.91 1.98 1.93 3/178 27681
/proc/meminfo: memFree=31472348/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=9216 CPUtime=1.49 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 2261 0 0 0 149 0 0 0 25 0 1 0 888724924 9437184 1955 33554432000 4194304 6245536 140735068118800 18446744073709551615 4637504 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 2304 1955 229 501 0 1800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9216
[startup+3.10096 s]
/proc/loadavg: 1.91 1.98 1.93 3/178 27681
/proc/meminfo: memFree=31470220/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=10684 CPUtime=3.09 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 2637 0 0 0 309 0 0 0 25 0 1 0 888724924 10940416 2331 33554432000 4194304 6245536 140735068118800 18446744073709551615 4637702 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 2671 2331 229 501 0 2167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10684
[startup+6.30038 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 27681
/proc/meminfo: memFree=31468108/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=12948 CPUtime=6.29 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 3189 0 0 0 629 0 0 0 25 0 1 0 888724924 13258752 2883 33554432000 4194304 6245536 140735068118800 18446744073709551615 4409097 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 3237 2883 229 501 0 2733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12948
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.93 3/178 27682
/proc/meminfo: memFree=31463892/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=15564 CPUtime=12.69 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 3849 0 0 0 1269 0 0 0 25 0 1 0 888724924 15937536 3543 33554432000 4194304 6245536 140735068118800 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 3891 3543 229 501 0 3387 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15564
[startup+25.5009 s]
/proc/loadavg: 1.94 1.98 1.93 3/178 27682
/proc/meminfo: memFree=31459544/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=19628 CPUtime=25.49 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 4838 0 0 0 2549 0 0 0 25 0 1 0 888724924 20099072 4532 33554432000 4194304 6245536 140735068118800 18446744073709551615 4637451 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 4907 4532 229 501 0 4403 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19628
[startup+51.1002 s]
/proc/loadavg: 2.04 2.00 1.94 3/178 27683
/proc/meminfo: memFree=31456516/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=22008 CPUtime=51.09 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 5416 0 0 0 5109 0 0 0 25 0 1 0 888724924 22536192 5110 33554432000 4194304 6245536 140735068118800 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 5502 5110 229 501 0 4998 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22008
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 1.94 3/178 27684
/proc/meminfo: memFree=31450172/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=27340 CPUtime=102.3 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 6698 0 0 0 10229 1 0 0 25 0 1 0 888724924 27996160 6392 33554432000 4194304 6245536 140735068118800 18446744073709551615 4629199 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 6835 6392 229 501 0 6331 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27340
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27686
/proc/meminfo: memFree=31445800/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=31804 CPUtime=162.3 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 7738 0 0 0 16229 1 0 0 25 0 1 0 888724924 32567296 7432 33554432000 4194304 6245536 140735068118800 18446744073709551615 4409271 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 7951 7432 229 501 0 7447 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 31804
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27687
/proc/meminfo: memFree=31442664/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=34668 CPUtime=222.3 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 8458 0 0 0 22229 1 0 0 25 0 1 0 888724924 35500032 8152 33554432000 4194304 6245536 140735068118800 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 8667 8152 229 501 0 8163 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 34668
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27689
/proc/meminfo: memFree=31441388/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=35860 CPUtime=282.3 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 8732 0 0 0 28229 1 0 0 25 0 1 0 888724924 36720640 8426 33554432000 4194304 6245536 140735068118800 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 8965 8426 229 501 0 8461 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 35860
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27690
/proc/meminfo: memFree=31435400/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=41940 CPUtime=342.3 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 10308 0 0 0 34228 2 0 0 25 0 1 0 888724924 42946560 9898 33554432000 4194304 6245536 140735068118800 18446744073709551615 4637754 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 10485 9898 229 501 0 9981 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 41940
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27692
/proc/meminfo: memFree=31434256/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=42996 CPUtime=402.3 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 10580 0 0 0 40228 2 0 0 25 0 1 0 888724924 44027904 10170 33554432000 4194304 6245536 140735068118800 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 10749 10170 229 501 0 10245 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 42996
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27694
/proc/meminfo: memFree=31433476/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=43524 CPUtime=462.3 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 10745 0 0 0 46228 2 0 0 25 0 1 0 888724924 44568576 10335 33554432000 4194304 6245536 140735068118800 18446744073709551615 4608178 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 10881 10335 229 501 0 10377 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 43524
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27695
/proc/meminfo: memFree=31432076/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=45268 CPUtime=522.31 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 11086 0 0 0 52229 2 0 0 25 0 1 0 888724924 46354432 10676 33554432000 4194304 6245536 140735068118800 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 11317 10676 229 501 0 10813 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 45268
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/178 27697
/proc/meminfo: memFree=31430680/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=46592 CPUtime=582.31 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 11427 0 0 0 58229 2 0 0 25 0 1 0 888724924 47710208 11017 33554432000 4194304 6245536 140735068118800 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 11648 11017 229 501 0 11144 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 46592
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 27712
/proc/meminfo: memFree=31423212/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=53684 CPUtime=822.31 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 13080 0 0 0 82229 2 0 0 25 0 1 0 888724924 54972416 12670 33554432000 4194304 6245536 140735068118800 18446744073709551615 4608192 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 13421 12670 229 501 0 12917 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 53684
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27714
/proc/meminfo: memFree=31422552/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=54316 CPUtime=882.31 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 13334 0 0 0 88229 2 0 0 25 0 1 0 888724924 55619584 12845 33554432000 4194304 6245536 140735068118800 18446744073709551615 4608168 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 13579 12845 229 501 0 13075 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 54316
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27715
/proc/meminfo: memFree=31422004/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=54252 CPUtime=942.32 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 13897 0 0 0 94229 3 0 0 25 0 1 0 888724924 55554048 12850 33554432000 4194304 6245536 140735068118800 18446744073709551615 4608182 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 13563 12850 229 501 0 13059 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 54252
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27720
/proc/meminfo: memFree=31421700/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=54676 CPUtime=1002.32 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 13992 0 0 0 100229 3 0 0 25 0 1 0 888724924 55988224 12945 33554432000 4194304 6245536 140735068118800 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 13669 12945 229 501 0 13165 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 54676
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27722
/proc/meminfo: memFree=31421464/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=55436 CPUtime=1062.32 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 14125 0 0 0 106229 3 0 0 25 0 1 0 888724924 56766464 13078 33554432000 4194304 6245536 140735068118800 18446744073709551615 4646523 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 13859 13078 229 501 0 13355 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 55436
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 27723
/proc/meminfo: memFree=31418696/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=58264 CPUtime=1122.32 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 14789 0 0 0 112229 3 0 0 25 0 1 0 888724924 59662336 13742 33554432000 4194304 6245536 140735068118800 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 14566 13742 229 501 0 14062 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 58264
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 27725
/proc/meminfo: memFree=31418052/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=58960 CPUtime=1182.32 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 14918 0 0 0 118229 3 0 0 25 0 1 0 888724924 60375040 13871 33554432000 4194304 6245536 140735068118800 18446744073709551615 4629049 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 14740 13871 229 501 0 14236 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 58960
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 27726
/proc/meminfo: memFree=31417904/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=59212 CPUtime=1242.33 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 14973 0 0 0 124230 3 0 0 25 0 1 0 888724924 60633088 13926 33554432000 4194304 6245536 140735068118800 18446744073709551615 4409307 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 14803 13926 229 501 0 14299 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 59212
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27728
/proc/meminfo: memFree=31417388/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=59464 CPUtime=1302.33 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 15039 0 0 0 130230 3 0 0 25 0 1 0 888724924 60891136 13992 33554432000 4194304 6245536 140735068118800 18446744073709551615 4316442 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 14866 13992 229 501 0 14362 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 59464
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27730
/proc/meminfo: memFree=31417088/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=59788 CPUtime=1362.33 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 15150 0 0 0 136230 3 0 0 25 0 1 0 888724924 61222912 14103 33554432000 4194304 6245536 140735068118800 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 14947 14103 229 501 0 14443 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 59788
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27731
/proc/meminfo: memFree=31416436/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=60052 CPUtime=1422.34 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 15397 0 0 0 142231 3 0 0 25 0 1 0 888724924 61493248 14158 33554432000 4194304 6245536 140735068118800 18446744073709551615 5419252 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 15013 14158 229 501 0 14509 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 60052
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27733
/proc/meminfo: memFree=31415172/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=60840 CPUtime=1482.34 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 15991 0 0 0 148230 4 0 0 25 0 1 0 888724924 62300160 14382 33554432000 4194304 6245536 140735068118800 18446744073709551615 4316695 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 15210 14382 229 501 0 14706 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 60840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27734
/proc/meminfo: memFree=31415748/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=60840 CPUtime=1542.33 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 15991 0 0 0 154229 4 0 0 25 0 1 0 888724924 62300160 14382 33554432000 4194304 6245536 140735068118800 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 15210 14382 229 501 0 14706 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 60840
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27736
/proc/meminfo: memFree=31415476/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=60840 CPUtime=1602.34 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 15997 0 0 0 160230 4 0 0 25 0 1 0 888724924 62300160 14388 33554432000 4194304 6245536 140735068118800 18446744073709551615 4409358 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 15210 14388 229 501 0 14706 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 60840
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27738
/proc/meminfo: memFree=31413452/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=63488 CPUtime=1662.34 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 16639 0 0 0 166230 4 0 0 25 0 1 0 888724924 65011712 15030 33554432000 4194304 6245536 140735068118800 18446744073709551615 4408701 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 15872 15030 229 501 0 15368 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 63488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27739
/proc/meminfo: memFree=31412428/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=63780 CPUtime=1722.34 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 16987 0 0 0 172230 4 0 0 25 0 1 0 888724924 65310720 15130 33554432000 4194304 6245536 140735068118800 18446744073709551615 4637467 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 15945 15130 229 501 0 15441 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 63780
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27741
/proc/meminfo: memFree=31412284/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=64444 CPUtime=1782.35 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 17119 0 0 0 178230 5 0 0 25 0 1 0 888724924 65990656 15262 33554432000 4194304 6245536 140735068118800 18446744073709551615 4608192 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 16111 15262 229 501 0 15607 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 64444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 27780
/proc/meminfo: memFree=31412708/32951124 swapFree=67076880/67111528
[pid=27680] ppid=27678 vsize=64840 CPUtime=1800.05 cores=0,2,4,6
/proc/27680/stat : 27680 (clasp) R 27678 27680 17771 0 -1 4202496 17251 0 0 0 180000 5 0 0 25 0 1 0 888724924 66396160 15394 33554432000 4194304 6245536 140735068118800 18446744073709551615 4635082 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/27680/statm: 16210 15394 229 501 0 15706 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 64840
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.01
CPU system time (s): 0.055991
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 64840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17261
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= 3
involuntary context switches= 3437
runsolver used 2.74658 second user time and 5.44417 second system time
The end