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-3469437-1307098702/watcher-3469437-1307098702 -o /tmp/evaluation-result-3469437-1307098702/solver-3469437-1307098702 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469437-1307098702.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: 2.00 2.01 2.00 2/498 12846
/proc/meminfo: memFree=30393216/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=14292 CPUtime=0 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 995 0 0 0 0 0 0 0 25 0 1 0 821471153 14635008 871 33554432000 4194304 4933572 140736434857664 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 3573 871 318 181 0 582 0
[startup+0.0669949 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 12846
/proc/meminfo: memFree=30393216/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=18804 CPUtime=0.06 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 2315 0 0 0 6 0 0 0 25 0 1 0 821471153 19255296 2028 33554432000 4194304 4933572 140736434857664 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 4701 2028 366 181 0 1710 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18804
[startup+0.100983 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 12846
/proc/meminfo: memFree=30393216/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=20260 CPUtime=0.09 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 2699 0 0 0 9 0 0 0 25 0 1 0 821471153 20746240 2412 33554432000 4194304 4933572 140736434857664 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 5065 2412 373 181 0 2074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20260
[startup+0.300951 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 12846
/proc/meminfo: memFree=30393216/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=22768 CPUtime=0.29 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 3332 0 0 0 29 0 0 0 25 0 1 0 821471153 23314432 3045 33554432000 4194304 4933572 140736434857664 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 5692 3045 374 181 0 2701 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22768
[startup+0.700884 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 12846
/proc/meminfo: memFree=30393216/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=25412 CPUtime=0.69 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 3994 0 0 0 69 0 0 0 25 0 1 0 821471153 26021888 3707 33554432000 4194304 4933572 140736434857664 18446744073709551615 4663961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 6353 3707 374 181 0 3362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25412
[startup+1.50074 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12847
/proc/meminfo: memFree=30378452/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=26900 CPUtime=1.49 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 4343 0 0 0 149 0 0 0 25 0 1 0 821471153 27545600 4056 33554432000 4194304 4933572 140736434857664 18446744073709551615 4342486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 6725 4056 374 181 0 3734 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26900
[startup+3.10047 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12848
/proc/meminfo: memFree=30374608/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=30260 CPUtime=3.09 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 5196 0 0 0 309 0 0 0 25 0 1 0 821471153 30986240 4909 33554432000 4194304 4933572 140736434857664 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 7565 4909 374 181 0 4574 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30260
[startup+6.30086 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12848
/proc/meminfo: memFree=30369400/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=33976 CPUtime=6.29 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 6123 0 0 0 629 0 0 0 25 0 1 0 821471153 34791424 5836 33554432000 4194304 4933572 140736434857664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 8494 5836 374 181 0 5503 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33976
[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12848
/proc/meminfo: memFree=30363448/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=39180 CPUtime=12.69 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 7395 0 0 0 1268 1 0 0 25 0 1 0 821471153 40120320 7108 33554432000 4194304 4933572 140736434857664 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 9795 7108 374 181 0 6804 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39180
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12848
/proc/meminfo: memFree=30357340/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=44728 CPUtime=25.49 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 8812 0 0 0 2548 1 0 0 25 0 1 0 821471153 45801472 8525 33554432000 4194304 4933572 140736434857664 18446744073709551615 4664045 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 11182 8525 374 181 0 8191 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44728
[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12849
/proc/meminfo: memFree=30351724/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=50020 CPUtime=51.09 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 10130 0 0 0 5108 1 0 0 25 0 1 0 821471153 51220480 9843 33554432000 4194304 4933572 140736434857664 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 12505 9843 374 181 0 9514 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 50020
[startup+102.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12850
/proc/meminfo: memFree=30333728/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=60104 CPUtime=102.31 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 12629 0 0 0 10230 1 0 0 25 0 1 0 821471153 61546496 12342 33554432000 4194304 4933572 140736434857664 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 15026 12342 374 181 0 12035 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 60104
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12861
/proc/meminfo: memFree=30325136/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=66480 CPUtime=162.3 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 14176 0 0 0 16228 2 0 0 25 0 1 0 821471153 68075520 13889 33554432000 4194304 4933572 140736434857664 18446744073709551615 4342178 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 16620 13889 374 181 0 13629 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 66480
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12862
/proc/meminfo: memFree=30316076/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=72228 CPUtime=222.29 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 15618 0 0 0 22227 2 0 0 25 0 1 0 821471153 73961472 15331 33554432000 4194304 4933572 140736434857664 18446744073709551615 4341702 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 18057 15331 374 181 0 15066 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 72228
[startup+282.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/499 12864
/proc/meminfo: memFree=30312576/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=73492 CPUtime=282.3 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 15937 0 0 0 28228 2 0 0 25 0 1 0 821471153 75255808 15650 33554432000 4194304 4933572 140736434857664 18446744073709551615 4362131 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 18373 15650 374 181 0 15382 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 73492
[startup+342.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/499 12869
/proc/meminfo: memFree=30303972/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=80972 CPUtime=342.29 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 17810 0 0 0 34227 2 0 0 25 0 1 0 821471153 82915328 17523 33554432000 4194304 4933572 140736434857664 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 20243 17523 374 181 0 17252 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 80972
[startup+402.301 s]
/proc/loadavg: 2.13 2.08 2.02 3/499 12870
/proc/meminfo: memFree=30302560/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=81632 CPUtime=402.3 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 17963 0 0 0 40227 3 0 0 25 0 1 0 821471153 83591168 17676 33554432000 4194304 4933572 140736434857664 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 20408 17676 374 181 0 17417 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 81632
[startup+462.301 s]
/proc/loadavg: 2.05 2.06 2.02 3/499 12872
/proc/meminfo: memFree=30300668/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=82940 CPUtime=462.3 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 18406 0 0 0 46227 3 0 0 25 0 1 0 821471153 84930560 18013 33554432000 4194304 4933572 140736434857664 18446744073709551615 4341852 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 20735 18013 375 181 0 17744 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 82940
[startup+522.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/499 12873
/proc/meminfo: memFree=30286760/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=89064 CPUtime=522.31 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 19917 0 0 0 52228 3 0 0 25 0 1 0 821471153 91201536 19524 33554432000 4194304 4933572 140736434857664 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 22266 19524 375 181 0 19275 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 89064
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/499 12875
/proc/meminfo: memFree=30283884/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=89712 CPUtime=582.31 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 20062 0 0 0 58228 3 0 0 25 0 1 0 821471153 91865088 19669 33554432000 4194304 4933572 140736434857664 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 22428 19669 375 181 0 19437 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 89712
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12881
/proc/meminfo: memFree=30273388/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=98604 CPUtime=822.31 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 22510 0 0 0 82228 3 0 0 25 0 1 0 821471153 100970496 21902 33554432000 4194304 4933572 140736434857664 18446744073709551615 4341855 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 24651 21902 375 181 0 21660 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 98604
[startup+882.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/499 12883
/proc/meminfo: memFree=30264556/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=98604 CPUtime=882.31 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 22512 0 0 0 88228 3 0 0 25 0 1 0 821471153 100970496 21904 33554432000 4194304 4933572 140736434857664 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 24651 21904 375 181 0 21660 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 98604
[startup+942.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/499 12885
/proc/meminfo: memFree=30262432/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=99660 CPUtime=942.31 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 22776 0 0 0 94228 3 0 0 25 0 1 0 821471153 102051840 22168 33554432000 4194304 4933572 140736434857664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 24915 22168 375 181 0 21924 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 99660
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/499 12886
/proc/meminfo: memFree=30259548/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=100544 CPUtime=1002.31 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 22970 0 0 0 100228 3 0 0 25 0 1 0 821471153 102957056 22362 33554432000 4194304 4933572 140736434857664 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 25136 22362 375 181 0 22145 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 100544
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 12888
/proc/meminfo: memFree=30258652/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=100544 CPUtime=1062.31 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 22973 0 0 0 106228 3 0 0 25 0 1 0 821471153 102957056 22365 33554432000 4194304 4933572 140736434857664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 25136 22365 375 181 0 22145 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 100544
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12889
/proc/meminfo: memFree=30252056/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=106824 CPUtime=1122.32 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 24532 0 0 0 112228 4 0 0 25 0 1 0 821471153 109387776 23924 33554432000 4194304 4933572 140736434857664 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 26706 23924 375 181 0 23715 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 106824
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12891
/proc/meminfo: memFree=30250296/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=108672 CPUtime=1182.32 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 25012 0 0 0 118228 4 0 0 25 0 1 0 821471153 111280128 24404 33554432000 4194304 4933572 140736434857664 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 27168 24404 375 181 0 24177 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 108672
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12893
/proc/meminfo: memFree=30247536/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=110780 CPUtime=1242.32 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 25463 0 0 0 124228 4 0 0 25 0 1 0 821471153 113438720 24855 33554432000 4194304 4933572 140736434857664 18446744073709551615 4622112 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 27695 24855 375 181 0 24704 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 110780
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12894
/proc/meminfo: memFree=30246872/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=111240 CPUtime=1302.33 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 25597 0 0 0 130229 4 0 0 25 0 1 0 821471153 113909760 24989 33554432000 4194304 4933572 140736434857664 18446744073709551615 4342503 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 27810 24989 375 181 0 24819 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 111240
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12896
/proc/meminfo: memFree=30244868/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=112428 CPUtime=1362.33 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 25874 0 0 0 136229 4 0 0 25 0 1 0 821471153 115126272 25266 33554432000 4194304 4933572 140736434857664 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 28107 25266 375 181 0 25116 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 112428
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12897
/proc/meminfo: memFree=30245456/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=112616 CPUtime=1422.34 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 26074 0 0 0 142230 4 0 0 25 0 1 0 821471153 115318784 25337 33554432000 4194304 4933572 140736434857664 18446744073709551615 4341849 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 28154 25337 375 181 0 25163 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 112616
[startup+1482.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/499 12899
/proc/meminfo: memFree=30244936/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=112748 CPUtime=1482.33 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 26225 0 0 0 148229 4 0 0 25 0 1 0 821471153 115453952 25355 33554432000 4194304 4933572 140736434857664 18446744073709551615 4337689 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 28187 25355 375 181 0 25196 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 112748
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 12901
/proc/meminfo: memFree=30243540/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=112880 CPUtime=1542.33 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 26264 0 0 0 154229 4 0 0 25 0 1 0 821471153 115589120 25394 33554432000 4194304 4933572 140736434857664 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 28220 25394 375 181 0 25229 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 112880
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/499 12932
/proc/meminfo: memFree=30346020/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=112880 CPUtime=1602.33 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 26264 0 0 0 160229 4 0 0 25 0 1 0 821471153 115589120 25394 33554432000 4194304 4933572 140736434857664 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 28220 25394 375 181 0 25229 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 112880
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/499 12934
/proc/meminfo: memFree=30341144/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=114492 CPUtime=1662.33 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 26607 0 0 0 166229 4 0 0 25 0 1 0 821471153 117239808 25737 33554432000 4194304 4933572 140736434857664 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 28623 25737 375 181 0 25632 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 114492
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 12935
/proc/meminfo: memFree=30333688/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=120192 CPUtime=1722.33 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 28040 0 0 0 172229 4 0 0 25 0 1 0 821471153 123076608 27170 33554432000 4194304 4933572 140736434857664 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 30048 27170 375 181 0 27057 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 120192
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12937
/proc/meminfo: memFree=30328828/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=121476 CPUtime=1782.33 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 28474 0 0 0 178229 4 0 0 25 0 1 0 821471153 124391424 27478 33554432000 4194304 4933572 140736434857664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 30369 27478 375 181 0 27378 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 121476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12937
/proc/meminfo: memFree=30327708/32951124 swapFree=53876548/67111528
[pid=12846] ppid=12844 vsize=122504 CPUtime=1800.04 cores=0,2,4,6
/proc/12846/stat : 12846 (clasp) R 12844 12846 12330 0 -1 4202496 28854 0 0 0 180000 4 0 0 25 0 1 0 821471153 125444096 27739 33554432000 4194304 4933572 140736434857664 18446744073709551615 4341648 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12846/statm: 30626 27739 375 181 0 27635 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 122504
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.07
CPU user time (s): 1800.01
CPU system time (s): 0.052991
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 122504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28865
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= 9
involuntary context switches= 3269
runsolver used 9.38557 second user time and 18.9441 second system time
The end