runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3251106-1303587002/watcher-3251106-1303587002 -o /tmp/evaluation-result-3251106-1303587002/solver-3251106-1303587002 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251106-1303587002.cnf
running on 2 cores: 5,7
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: 3.68 3.90 3.71 5/189 23919
/proc/meminfo: memFree=21181336/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=34608 CPUtime=0 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 470300003 35438592 454 33554432000 4194304 4210924 140733845996048 18446744073709551615 237278540485 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 8652 456 116 5 0 5841 0
[startup+0.0468049 s]
/proc/loadavg: 3.68 3.90 3.71 5/189 23919
/proc/meminfo: memFree=21181336/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=43980 CPUtime=0.04 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 4156 0 0 0 4 0 0 0 22 0 1 0 470300003 45035520 4099 33554432000 4194304 4210924 140733845996048 18446744073709551615 237278540485 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 10995 4102 430 5 0 8184 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43980
[startup+0.100795 s]
/proc/loadavg: 3.68 3.90 3.71 5/189 23919
/proc/meminfo: memFree=21181336/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=56784 CPUtime=0.09 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 9072 0 0 0 9 0 0 0 22 0 1 0 470300003 58146816 9015 33554432000 4194304 4210924 140733845996048 18446744073709551615 237278540485 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 14196 9020 842 5 0 11385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56784
[startup+0.300822 s]
/proc/loadavg: 3.68 3.90 3.71 5/189 23919
/proc/meminfo: memFree=21181336/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=66968 CPUtime=0.28 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 15036 0 0 0 28 0 0 0 23 0 1 0 470300003 68575232 13697 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198763 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 16742 13697 96 5 0 15213 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 66968
[startup+0.700691 s]
/proc/loadavg: 3.68 3.90 3.71 5/189 23919
/proc/meminfo: memFree=21181336/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=67232 CPUtime=0.68 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 15098 0 0 0 68 0 0 0 25 0 1 0 470300003 68845568 13759 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 16808 13759 102 5 0 15279 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 67232
[startup+1.50055 s]
/proc/loadavg: 3.68 3.90 3.71 5/190 23920
/proc/meminfo: memFree=21008360/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=67364 CPUtime=1.48 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 15147 0 0 0 148 0 0 0 25 0 1 0 470300003 68980736 13808 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198774 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 16841 13808 102 5 0 15312 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67364
[startup+3.10027 s]
/proc/loadavg: 3.71 3.91 3.72 5/190 23921
/proc/meminfo: memFree=21006392/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=67628 CPUtime=3.08 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 15198 0 0 0 308 0 0 0 25 0 1 0 470300003 69251072 13859 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 16907 13859 102 5 0 15378 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67628
[startup+6.30069 s]
/proc/loadavg: 3.71 3.91 3.72 5/190 23921
/proc/meminfo: memFree=21004128/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=68156 CPUtime=6.28 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 15353 0 0 0 628 0 0 0 25 0 1 0 470300003 69791744 14014 33554432000 4194304 4210924 140733845996048 18446744073709551615 4207011 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 17039 14014 102 5 0 15510 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68156
[startup+12.7006 s]
/proc/loadavg: 3.75 3.91 3.72 5/190 23921
/proc/meminfo: memFree=21001528/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=69208 CPUtime=12.69 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 15620 0 0 0 1268 1 0 0 25 0 1 0 470300003 70868992 14281 33554432000 4194304 4210924 140733845996048 18446744073709551615 4207026 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 17302 14281 103 5 0 15773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69208
[startup+25.5003 s]
/proc/loadavg: 3.79 3.91 3.72 5/190 23921
/proc/meminfo: memFree=20998496/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=70524 CPUtime=25.49 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 15928 0 0 0 2548 1 0 0 25 0 1 0 470300003 72216576 14589 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 17631 14589 103 5 0 16102 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70524
[startup+51.1007 s]
/proc/loadavg: 3.86 3.92 3.73 5/190 23922
/proc/meminfo: memFree=20992140/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=72768 CPUtime=51.08 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 16496 0 0 0 5107 1 0 0 25 0 1 0 470300003 74514432 15157 33554432000 4194304 4210924 140733845996048 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 18192 15157 103 5 0 16663 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72768
[startup+102.307 s]
/proc/loadavg: 3.94 3.93 3.74 5/190 23923
/proc/meminfo: memFree=20980592/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=76192 CPUtime=102.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 17355 0 0 0 10228 2 0 0 25 0 1 0 470300003 78020608 16016 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 19048 16016 103 5 0 17519 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 76192
[startup+162.301 s]
/proc/loadavg: 3.98 3.94 3.75 5/190 23925
/proc/meminfo: memFree=20974004/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=78696 CPUtime=162.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 17994 0 0 0 16227 3 0 0 25 0 1 0 470300003 80584704 16655 33554432000 4194304 4210924 140733845996048 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 19674 16655 103 5 0 18145 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 78696
[startup+222.3 s]
/proc/loadavg: 4.02 3.96 3.77 5/190 23926
/proc/meminfo: memFree=20969012/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=79080 CPUtime=222.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 18069 0 0 0 22227 3 0 0 25 0 1 0 470300003 80977920 16730 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 19770 16730 103 5 0 18241 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 79080
[startup+282.301 s]
/proc/loadavg: 4.01 3.97 3.78 5/190 23928
/proc/meminfo: memFree=20964020/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=79480 CPUtime=282.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 18164 0 0 0 28227 3 0 0 25 0 1 0 470300003 81387520 16825 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 19870 16825 103 5 0 18341 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 79480
[startup+342.301 s]
/proc/loadavg: 4.00 3.97 3.79 5/190 23930
/proc/meminfo: memFree=20959044/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=80792 CPUtime=342.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 18501 0 0 0 34227 3 0 0 25 0 1 0 470300003 82731008 17162 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20198 17163 103 5 0 18669 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 80792
[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.80 5/190 23931
/proc/meminfo: memFree=20956040/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=81048 CPUtime=402.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 18564 0 0 0 40227 3 0 0 25 0 1 0 470300003 82993152 17225 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20262 17225 103 5 0 18733 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 81048
[startup+462.301 s]
/proc/loadavg: 4.03 3.99 3.82 5/190 23933
/proc/meminfo: memFree=20952928/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=81960 CPUtime=462.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 18786 0 0 0 46227 3 0 0 25 0 1 0 470300003 83927040 17447 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20490 17447 103 5 0 18961 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 81960
[startup+522.301 s]
/proc/loadavg: 4.05 4.00 3.83 5/190 23934
/proc/meminfo: memFree=20952168/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=81960 CPUtime=522.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 18786 0 0 0 52227 3 0 0 25 0 1 0 470300003 83927040 17447 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20490 17447 103 5 0 18961 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 81960
[startup+582.3 s]
/proc/loadavg: 4.05 4.01 3.84 5/190 23936
/proc/meminfo: memFree=20950788/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=82884 CPUtime=582.3 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19027 0 0 0 58227 3 0 0 25 0 1 0 470300003 84873216 17688 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20721 17688 103 5 0 19192 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 82884
[startup+642.301 s]
/proc/loadavg: 4.02 4.01 3.85 5/190 23938
/proc/meminfo: memFree=20950528/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=82884 CPUtime=642.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19035 0 0 0 64228 3 0 0 25 0 1 0 470300003 84873216 17696 33554432000 4194304 4210924 140733845996048 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20721 17696 103 5 0 19192 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 82884
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.85 5/190 23939
/proc/meminfo: memFree=20949264/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=83148 CPUtime=702.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19089 0 0 0 70228 3 0 0 25 0 1 0 470300003 85143552 17750 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20787 17750 103 5 0 19258 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 83148
[startup+762.307 s]
/proc/loadavg: 4.05 4.01 3.86 5/190 23941
/proc/meminfo: memFree=20946388/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=83676 CPUtime=762.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19226 0 0 0 76228 3 0 0 25 0 1 0 470300003 85684224 17887 33554432000 4194304 4210924 140733845996048 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20919 17887 103 5 0 19390 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 83676
[startup+822.3 s]
/proc/loadavg: 4.02 4.01 3.87 5/190 23942
/proc/meminfo: memFree=20943628/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=83940 CPUtime=822.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19309 0 0 0 82228 3 0 0 25 0 1 0 470300003 85954560 17970 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 20985 17970 103 5 0 19456 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 83940
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.88 5/190 23944
/proc/meminfo: memFree=20941132/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=84072 CPUtime=882.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19344 0 0 0 88228 3 0 0 25 0 1 0 470300003 86089728 18005 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 21018 18005 103 5 0 19489 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 84072
[startup+942.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/190 23946
/proc/meminfo: memFree=20938888/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=85128 CPUtime=942.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19583 0 0 0 94228 3 0 0 25 0 1 0 470300003 87171072 18244 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 21282 18244 103 5 0 19753 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 85128
[startup+1002.3 s]
/proc/loadavg: 4.04 4.01 3.89 5/190 23947
/proc/meminfo: memFree=20935760/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=85128 CPUtime=1002.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19611 0 0 0 100228 3 0 0 25 0 1 0 470300003 87171072 18272 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 21282 18272 103 5 0 19753 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 85128
[startup+1062.3 s]
/proc/loadavg: 4.01 4.01 3.90 5/190 23949
/proc/meminfo: memFree=20934512/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=85352 CPUtime=1062.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19646 0 0 0 106228 3 0 0 25 0 1 0 470300003 87400448 18307 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 21338 18307 103 5 0 19809 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 85352
[startup+1122.3 s]
/proc/loadavg: 4.05 4.02 3.91 5/190 23950
/proc/meminfo: memFree=20933364/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=85464 CPUtime=1122.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19671 0 0 0 112228 3 0 0 25 0 1 0 470300003 87515136 18332 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 21366 18332 103 5 0 19837 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 85464
[startup+1182.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/190 23952
/proc/meminfo: memFree=20931612/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=85988 CPUtime=1182.31 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19800 0 0 0 118228 3 0 0 25 0 1 0 470300003 88051712 18461 33554432000 4194304 4210924 140733845996048 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 21497 18461 103 5 0 19968 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 85988
[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/190 23954
/proc/meminfo: memFree=20930232/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=85988 CPUtime=1242.32 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19805 0 0 0 124229 3 0 0 25 0 1 0 470300003 88051712 18466 33554432000 4194304 4210924 140733845996048 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 21497 18466 103 5 0 19968 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 85988
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.07 4.02 3.91 2/185 23958
/proc/meminfo: memFree=21177752/32950904 swapFree=67082284/67111528
[pid=23919] ppid=23917 vsize=85988 CPUtime=1300.02 cores=5,7
/proc/23919/stat : 23919 (saturn) R 23917 23919 23340 0 -1 4202496 19818 0 0 0 129999 3 0 0 25 0 1 0 470300003 88051712 18479 33554432000 4194304 4210924 140733845996048 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23919/statm: 21497 18479 103 5 0 19968 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 85988
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.01
CPU time (s): 1300.04
CPU user time (s): 1300
CPU system time (s): 0.043993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 85988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19818
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= 2044
runsolver used 2.16167 second user time and 4.96824 second system time
The end
Begin job on node121 at 2011-04-23 21:30:03
IDJOB=3251106
IDBENCH=88211
IDSOLVER=1583
FILE ID=node121/3251106-1303587002
RUNJOBID= node121-1303587002-23880
PBS_JOBID= 13150356
Free space on /tmp= 72044 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251106-1303587002/watcher-3251106-1303587002 -o /tmp/evaluation-result-3251106-1303587002/solver-3251106-1303587002 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251106-1303587002.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= ba3b1702a651cd8da3e6cada8f2e97bc
RANDOM SEED=1619538401
node121.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.817
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.63
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.817
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.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.75
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.817
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950904 kB
MemFree: 21181988 kB
Buffers: 2134348 kB
Cached: 9011024 kB
SwapCached: 2776 kB
Active: 8463340 kB
Inactive: 2797416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 21181988 kB
SwapTotal: 67111528 kB
SwapFree: 67082284 kB
Dirty: 23456 kB
Writeback: 0 kB
AnonPages: 112204 kB
Mapped: 15080 kB
Slab: 443828 kB
PageTables: 5552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 378868 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= 72060 MiB
End job on node121 at 2011-04-23 21:51:45