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-3283213-1307637702/watcher-3283213-1307637702 -o /tmp/evaluation-result-3283213-1307637702/solver-3283213-1307637702 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283213-1307637702.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.04 3.73 3.62 4/189 10690
/proc/meminfo: memFree=31595232/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=50056 CPUtime=0 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 2923 0 0 0 0 0 0 0 22 0 1 0 856185932 51257344 2865 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206849 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 12514 2871 94 5 0 6281 0
[startup+0.094516 s]
/proc/loadavg: 4.04 3.73 3.62 4/189 10690
/proc/meminfo: memFree=31595232/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=124344 CPUtime=0.08 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 11580 0 0 0 7 1 0 0 22 0 1 0 856185932 127328256 11522 33554432000 4194304 4210924 140735889379536 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 31086 11524 672 5 0 24853 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 124344
[startup+0.100526 s]
/proc/loadavg: 4.04 3.73 3.62 4/189 10690
/proc/meminfo: memFree=31595232/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=125136 CPUtime=0.09 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 11916 0 0 0 8 1 0 0 22 0 1 0 856185932 128139264 11858 33554432000 4194304 4210924 140735889379536 18446744073709551615 270338044613 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 31284 11861 707 5 0 25051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 125136
[startup+0.300472 s]
/proc/loadavg: 4.04 3.73 3.62 4/189 10690
/proc/meminfo: memFree=31595232/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=150876 CPUtime=0.29 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 22160 0 0 0 26 3 0 0 23 0 1 0 856185932 154497024 22102 33554432000 4194304 4210924 140735889379536 18446744073709551615 270338044613 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 37719 22104 1920 5 0 31486 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 150876
[startup+0.700392 s]
/proc/loadavg: 4.04 3.73 3.62 4/189 10690
/proc/meminfo: memFree=31595232/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=189084 CPUtime=0.69 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 45923 0 0 0 63 6 0 0 25 0 1 0 856185932 193622016 40824 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206255 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 47271 40824 95 5 0 45742 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 189084
[startup+1.50024 s]
/proc/loadavg: 4.03 3.74 3.63 5/190 10691
/proc/meminfo: memFree=31430700/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=189216 CPUtime=1.49 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 46436 0 0 0 143 6 0 0 25 0 1 0 856185932 193757184 41284 33554432000 4194304 4210924 140735889379536 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 47304 41284 102 5 0 45775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189216
[startup+3.10092 s]
/proc/loadavg: 4.03 3.74 3.63 5/190 10691
/proc/meminfo: memFree=31430272/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=189480 CPUtime=3.09 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 46505 0 0 0 303 6 0 0 25 0 1 0 856185932 194027520 41353 33554432000 4194304 4210924 140735889379536 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 47370 41353 102 5 0 45841 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 189480
[startup+6.30029 s]
/proc/loadavg: 4.03 3.74 3.63 5/190 10691
/proc/meminfo: memFree=31429296/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=190008 CPUtime=6.29 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 46648 0 0 0 623 6 0 0 25 0 1 0 856185932 194568192 41496 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 47502 41496 102 5 0 45973 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 190008
[startup+12.701 s]
/proc/loadavg: 4.03 3.74 3.63 5/190 10691
/proc/meminfo: memFree=31427708/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=192300 CPUtime=12.69 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 47213 0 0 0 1263 6 0 0 25 0 1 0 856185932 196915200 42061 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 48075 42061 103 5 0 46546 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 192300
[startup+25.5005 s]
/proc/loadavg: 4.02 3.75 3.63 5/190 10691
/proc/meminfo: memFree=31427228/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=193924 CPUtime=25.49 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 47617 0 0 0 2543 6 0 0 25 0 1 0 856185932 198578176 42465 33554432000 4194304 4210924 140735889379536 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 48481 42465 103 5 0 46952 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 193924
[startup+51.1004 s]
/proc/loadavg: 4.01 3.77 3.64 5/190 10692
/proc/meminfo: memFree=31425964/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=195288 CPUtime=51.09 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 47971 0 0 0 5103 6 0 0 25 0 1 0 856185932 199974912 42819 33554432000 4194304 4210924 140735889379536 18446744073709551615 4207011 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 48822 42819 103 5 0 47293 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 195288
[startup+102.307 s]
/proc/loadavg: 4.04 3.82 3.66 5/190 10693
/proc/meminfo: memFree=31421472/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=198748 CPUtime=102.3 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 48853 0 0 0 10224 6 0 0 25 0 1 0 856185932 203517952 43701 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 49687 43701 104 5 0 48158 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 198748
[startup+162.3 s]
/proc/loadavg: 4.01 3.85 3.68 5/190 10695
/proc/meminfo: memFree=31410780/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=205168 CPUtime=162.29 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 50462 0 0 0 16223 6 0 0 25 0 1 0 856185932 210092032 45310 33554432000 4194304 4210924 140735889379536 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 51292 45310 104 5 0 49763 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 205168
[startup+222.3 s]
/proc/loadavg: 4.00 3.88 3.70 5/190 10697
/proc/meminfo: memFree=31403108/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=212868 CPUtime=222.3 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 52362 0 0 0 22223 7 0 0 25 0 1 0 856185932 217976832 47210 33554432000 4194304 4210924 140735889379536 18446744073709551615 4205025 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 53217 47210 104 5 0 51688 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 212868
[startup+282.3 s]
/proc/loadavg: 4.00 3.89 3.72 5/190 10698
/proc/meminfo: memFree=31400312/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=214224 CPUtime=282.3 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 52702 0 0 0 28223 7 0 0 25 0 1 0 856185932 219365376 47550 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 53556 47550 104 5 0 52027 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 214224
[startup+342.301 s]
/proc/loadavg: 4.00 3.91 3.73 5/190 10700
/proc/meminfo: memFree=31396032/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=215572 CPUtime=342.3 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 53056 0 0 0 34223 7 0 0 25 0 1 0 856185932 220745728 47904 33554432000 4194304 4210924 140735889379536 18446744073709551615 4207055 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 53893 47904 104 5 0 52364 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 215572
[startup+402.301 s]
/proc/loadavg: 4.00 3.92 3.74 5/190 10701
/proc/meminfo: memFree=31384300/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=223828 CPUtime=402.31 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 55121 0 0 0 40223 8 0 0 25 0 1 0 856185932 229199872 49969 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 55957 49969 104 5 0 54428 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 223828
[startup+462.301 s]
/proc/loadavg: 4.00 3.94 3.76 5/190 10703
/proc/meminfo: memFree=31380628/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=227268 CPUtime=462.31 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 55962 0 0 0 46223 8 0 0 25 0 1 0 856185932 232722432 50810 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 56817 50810 104 5 0 55288 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 227268
[startup+522.301 s]
/proc/loadavg: 4.00 3.94 3.77 5/190 10705
/proc/meminfo: memFree=31375480/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=231672 CPUtime=522.31 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 57072 0 0 0 52222 9 0 0 25 0 1 0 856185932 237232128 51920 33554432000 4194304 4210924 140735889379536 18446744073709551615 4197169 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 57918 51920 104 5 0 56389 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 231672
[startup+582.301 s]
/proc/loadavg: 4.06 3.97 3.78 5/190 10706
/proc/meminfo: memFree=31370572/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=232768 CPUtime=582.31 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 57357 0 0 0 58222 9 0 0 25 0 1 0 856185932 238354432 52205 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 58192 52205 104 5 0 56663 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 232768
[startup+642.301 s]
/proc/loadavg: 4.02 3.97 3.80 5/190 10708
/proc/meminfo: memFree=31361800/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=236444 CPUtime=642.32 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 58282 0 0 0 64223 9 0 0 25 0 1 0 856185932 242118656 53130 33554432000 4194304 4210924 140735889379536 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 59111 53130 104 5 0 57582 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 236444
[startup+702.301 s]
/proc/loadavg: 4.01 3.97 3.81 5/190 10709
/proc/meminfo: memFree=31356640/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=241328 CPUtime=702.31 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 59496 0 0 0 70222 9 0 0 25 0 1 0 856185932 247119872 54344 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 60332 54344 104 5 0 58803 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 241328
[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.82 5/190 10711
/proc/meminfo: memFree=31351616/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=245484 CPUtime=762.33 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 60525 0 0 0 76223 10 0 0 25 0 1 0 856185932 251375616 55373 33554432000 4194304 4210924 140735889379536 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 61371 55373 104 5 0 59842 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 245484
[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.82 5/190 10713
/proc/meminfo: memFree=31350304/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=246744 CPUtime=822.32 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 60855 0 0 0 82222 10 0 0 25 0 1 0 856185932 252665856 55703 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 61686 55703 104 5 0 60157 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 246744
[startup+882.3 s]
/proc/loadavg: 4.00 3.97 3.83 5/190 10714
/proc/meminfo: memFree=31343412/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=250160 CPUtime=882.32 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 61711 0 0 0 88222 10 0 0 25 0 1 0 856185932 256163840 56559 33554432000 4194304 4210924 140735889379536 18446744073709551615 4197169 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 62540 56559 104 5 0 61011 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 250160
[startup+942.3 s]
/proc/loadavg: 4.05 3.99 3.84 5/190 10716
/proc/meminfo: memFree=31340980/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=250160 CPUtime=942.32 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 61711 0 0 0 94222 10 0 0 25 0 1 0 856185932 256163840 56559 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 62540 56559 104 5 0 61011 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 250160
[startup+1002.3 s]
/proc/loadavg: 2.89 3.72 3.76 2/172 10792
/proc/meminfo: memFree=32151024/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=254904 CPUtime=1002.32 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 62878 0 0 0 100222 10 0 0 25 0 1 0 856185932 261021696 57726 33554432000 4194304 4210924 140735889379536 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 63726 57726 104 5 0 62197 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 254904
[startup+1062.3 s]
/proc/loadavg: 1.69 3.22 3.58 2/172 10794
/proc/meminfo: memFree=32145000/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=260668 CPUtime=1062.32 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 64325 0 0 0 106222 10 0 0 25 0 1 0 856185932 266924032 59173 33554432000 4194304 4210924 140735889379536 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 65167 59173 104 5 0 63638 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 260668
[startup+1122.3 s]
/proc/loadavg: 1.25 2.81 3.42 2/172 10796
/proc/meminfo: memFree=32143428/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=262080 CPUtime=1122.33 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 64686 0 0 0 112222 11 0 0 25 0 1 0 856185932 268369920 59534 33554432000 4194304 4210924 140735889379536 18446744073709551615 4204749 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 65520 59534 104 5 0 63991 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 262080
[startup+1182.3 s]
/proc/loadavg: 1.09 2.48 3.26 2/172 10806
/proc/meminfo: memFree=32140004/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=266300 CPUtime=1182.33 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 65744 0 0 0 118222 11 0 0 25 0 1 0 856185932 272691200 60592 33554432000 4194304 4210924 140735889379536 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 66575 60592 104 5 0 65046 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 266300
[startup+1242.3 s]
/proc/loadavg: 1.03 2.21 3.12 2/172 10808
/proc/meminfo: memFree=32137816/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=267820 CPUtime=1242.33 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 66140 0 0 0 124222 11 0 0 25 0 1 0 856185932 274247680 60988 33554432000 4194304 4210924 140735889379536 18446744073709551615 4204758 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 66955 60988 104 5 0 65426 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 267820
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.01 2.00 2.99 2/172 10809
/proc/meminfo: memFree=32137504/32951124 swapFree=67055520/67111528
[pid=10690] ppid=10688 vsize=267956 CPUtime=1300.04 cores=0,2
/proc/10690/stat : 10690 (saturn) R 10688 10690 8202 0 -1 4202496 66165 0 0 0 129993 11 0 0 25 0 1 0 856185932 274386944 61013 33554432000 4194304 4210924 140735889379536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10690/statm: 66989 61013 104 5 0 65460 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 267956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1300.06
CPU user time (s): 1299.93
CPU system time (s): 0.131979
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 267956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.93
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66165
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= 4
involuntary context switches= 3306
runsolver used 2.27565 second user time and 4.55031 second system time
The end
Begin job on node143 at 2011-06-09 18:41:43
IDJOB=3283213
IDBENCH=71010
IDSOLVER=1583
FILE ID=node143/3283213-1307637702
RUNJOBID= node143-1307637377-10585
PBS_JOBID= 13549349
Free space on /tmp= 74072 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p1.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283213-1307637702/watcher-3283213-1307637702 -o /tmp/evaluation-result-3283213-1307637702/solver-3283213-1307637702 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283213-1307637702.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 484dad50fb275faff8eff92c4d5447cb
RANDOM SEED=902902610
node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31595776 kB
Buffers: 47312 kB
Cached: 423808 kB
SwapCached: 8636 kB
Active: 892604 kB
Inactive: 303064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31595776 kB
SwapTotal: 67111528 kB
SwapFree: 67055520 kB
Dirty: 30148 kB
Writeback: 8 kB
AnonPages: 722980 kB
Mapped: 13236 kB
Slab: 92072 kB
PageTables: 6764 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1028216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74152 MiB
End job on node143 at 2011-06-09 19:03:25