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-3251678-1303587354/watcher-3251678-1303587354 -o /tmp/evaluation-result-3251678-1303587354/solver-3251678-1303587354 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251678-1303587354.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: 0.93 1.93 3.01 3/176 19943
/proc/meminfo: memFree=15959856/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=11800 CPUtime=0 cores=5,7
/proc/19943/stat : 19943 (runsolver) R 19941 19943 19719 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 451150878 12083200 52 33554432000 4194304 5434984 140733859783824 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/19943/statm: 2950 52 31 303 0 2644 0
[startup+0.0178239 s]
/proc/loadavg: 0.93 1.93 3.01 3/176 19943
/proc/meminfo: memFree=15959856/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=26200 CPUtime=0.01 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 1254 0 0 0 1 0 0 0 23 0 1 0 451150878 26828800 1197 33554432000 4194304 4210924 140735671355584 18446744073709551615 228095111877 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 6550 1200 181 5 0 4237 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26200
[startup+0.100829 s]
/proc/loadavg: 0.93 1.93 3.01 3/176 19943
/proc/meminfo: memFree=15959856/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=45736 CPUtime=0.08 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 8827 0 0 0 8 0 0 0 23 0 1 0 451150878 46833664 8770 33554432000 4194304 4210924 140735671355584 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 11434 8772 822 5 0 9121 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45736
[startup+0.300786 s]
/proc/loadavg: 0.93 1.93 3.01 3/176 19943
/proc/meminfo: memFree=15959856/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=44316 CPUtime=0.28 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 9479 0 0 0 28 0 0 0 25 0 1 0 451150878 45379584 8638 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198745 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 11079 8638 101 5 0 9550 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 44316
[startup+0.700702 s]
/proc/loadavg: 0.93 1.93 3.01 3/176 19943
/proc/meminfo: memFree=15959856/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=44448 CPUtime=0.68 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 9510 0 0 0 68 0 0 0 25 0 1 0 451150878 45514752 8669 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 11112 8669 101 5 0 9583 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44448
[startup+1.50055 s]
/proc/loadavg: 1.01 1.93 3.00 3/180 19950
/proc/meminfo: memFree=15848976/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=44712 CPUtime=1.48 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 9580 0 0 0 148 0 0 0 25 0 1 0 451150878 45785088 8739 33554432000 4194304 4210924 140735671355584 18446744073709551615 4207029 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 11178 8739 102 5 0 9649 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44712
[startup+3.10027 s]
/proc/loadavg: 1.01 1.93 3.00 4/180 19950
/proc/meminfo: memFree=15847368/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=45372 CPUtime=3.08 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 9728 0 0 0 308 0 0 0 25 0 1 0 451150878 46460928 8887 33554432000 4194304 4210924 140735671355584 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 11343 8887 102 5 0 9814 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 45372
[startup+6.30067 s]
/proc/loadavg: 1.01 1.93 3.00 3/180 19950
/proc/meminfo: memFree=15845580/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=45900 CPUtime=6.29 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 9876 0 0 0 628 1 0 0 25 0 1 0 451150878 47001600 9035 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 11475 9035 102 5 0 9946 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45900
[startup+12.7005 s]
/proc/loadavg: 1.24 1.95 3.00 3/178 19950
/proc/meminfo: memFree=15843500/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=47088 CPUtime=12.69 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 10161 0 0 0 1268 1 0 0 25 0 1 0 451150878 48218112 9320 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198667 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 11772 9320 102 5 0 10243 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47088
[startup+25.5011 s]
/proc/loadavg: 1.35 1.95 2.99 3/178 19951
/proc/meminfo: memFree=15841744/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=48276 CPUtime=25.49 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 10466 0 0 0 2548 1 0 0 25 0 1 0 451150878 49434624 9625 33554432000 4194304 4210924 140735671355584 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 12069 9625 102 5 0 10540 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48276
[startup+51.1004 s]
/proc/loadavg: 1.61 1.95 2.95 3/178 19951
/proc/meminfo: memFree=15838348/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=49992 CPUtime=51.09 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 10907 0 0 0 5108 1 0 0 25 0 1 0 451150878 51191808 10066 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 12498 10066 102 5 0 10969 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 49992
[startup+102.306 s]
/proc/loadavg: 1.83 1.95 2.90 3/178 19953
/proc/meminfo: memFree=15836108/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=50652 CPUtime=102.3 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 11061 0 0 0 10229 1 0 0 25 0 1 0 451150878 51867648 10220 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 12663 10220 102 5 0 11134 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 50652
[startup+162.301 s]
/proc/loadavg: 1.93 1.96 2.84 3/178 19954
/proc/meminfo: memFree=15833600/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=53424 CPUtime=162.29 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 11748 0 0 0 16228 1 0 0 25 0 1 0 451150878 54706176 10907 33554432000 4194304 4210924 140735671355584 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 13356 10907 102 5 0 11827 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 53424
[startup+222.301 s]
/proc/loadavg: 2.01 1.98 2.79 3/178 19956
/proc/meminfo: memFree=15831456/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=54216 CPUtime=222.29 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 11961 0 0 0 22228 1 0 0 25 0 1 0 451150878 55517184 11120 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 13554 11120 102 5 0 12025 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 54216
[startup+282.301 s]
/proc/loadavg: 2.00 1.98 2.74 3/178 19958
/proc/meminfo: memFree=15831068/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=54736 CPUtime=282.29 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12075 0 0 0 28228 1 0 0 25 0 1 0 451150878 56049664 11234 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 13684 11234 102 5 0 12155 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 54736
[startup+342.301 s]
/proc/loadavg: 2.00 1.98 2.69 3/178 19959
/proc/meminfo: memFree=15829788/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=55268 CPUtime=342.3 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12219 0 0 0 34229 1 0 0 25 0 1 0 451150878 56594432 11378 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 13817 11378 102 5 0 12288 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 55268
[startup+402.301 s]
/proc/loadavg: 2.00 1.98 2.64 3/178 19961
/proc/meminfo: memFree=15829276/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=55788 CPUtime=402.3 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12339 0 0 0 40229 1 0 0 25 0 1 0 451150878 57126912 11498 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 13947 11498 102 5 0 12418 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 55788
[startup+462.301 s]
/proc/loadavg: 2.00 1.98 2.60 3/178 19962
/proc/meminfo: memFree=15827284/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=56712 CPUtime=462.3 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12587 0 0 0 46229 1 0 0 25 0 1 0 451150878 58073088 11746 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14178 11746 102 5 0 12649 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 56712
[startup+522.301 s]
/proc/loadavg: 2.00 1.98 2.56 3/178 19964
/proc/meminfo: memFree=15826656/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=56844 CPUtime=522.3 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12622 0 0 0 52229 1 0 0 25 0 1 0 451150878 58208256 11781 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14211 11781 102 5 0 12682 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 56844
[startup+582.301 s]
/proc/loadavg: 2.00 1.98 2.52 3/178 19966
/proc/meminfo: memFree=15826396/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=56976 CPUtime=582.3 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12660 0 0 0 58229 1 0 0 25 0 1 0 451150878 58343424 11819 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14244 11819 102 5 0 12715 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 56976
[startup+642.301 s]
/proc/loadavg: 2.00 1.98 2.49 3/178 19967
/proc/meminfo: memFree=15826256/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=57092 CPUtime=642.31 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12666 0 0 0 64230 1 0 0 25 0 1 0 451150878 58462208 11825 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14273 11825 102 5 0 12744 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 57092
[startup+702.301 s]
/proc/loadavg: 2.00 1.98 2.45 3/178 19969
/proc/meminfo: memFree=15826000/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=57092 CPUtime=702.31 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12668 0 0 0 70230 1 0 0 25 0 1 0 451150878 58462208 11827 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14273 11827 102 5 0 12744 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 57092
[startup+762.307 s]
/proc/loadavg: 2.05 1.99 2.43 3/178 19970
/proc/meminfo: memFree=15825856/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=57212 CPUtime=762.31 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12704 0 0 0 76230 1 0 0 25 0 1 0 451150878 58585088 11863 33554432000 4194304 4210924 140735671355584 18446744073709551615 4207023 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14303 11863 102 5 0 12774 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 57212
[startup+822.301 s]
/proc/loadavg: 2.02 1.99 2.40 3/178 19972
/proc/meminfo: memFree=15825844/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=57212 CPUtime=822.31 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12707 0 0 0 82230 1 0 0 25 0 1 0 451150878 58585088 11866 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14303 11866 102 5 0 12774 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 57212
[startup+882.301 s]
/proc/loadavg: 2.00 1.99 2.37 3/178 19974
/proc/meminfo: memFree=15825444/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=57476 CPUtime=882.31 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12779 0 0 0 88230 1 0 0 25 0 1 0 451150878 58855424 11938 33554432000 4194304 4210924 140735671355584 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14369 11938 102 5 0 12840 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 57476
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 2.35 3/178 19975
/proc/meminfo: memFree=15824816/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=57740 CPUtime=942.31 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12830 0 0 0 94230 1 0 0 25 0 1 0 451150878 59125760 11989 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14435 11989 102 5 0 12906 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 57740
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 2.32 3/178 19977
/proc/meminfo: memFree=15824668/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=57740 CPUtime=1002.32 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12840 0 0 0 100231 1 0 0 25 0 1 0 451150878 59125760 11999 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14435 11999 102 5 0 12906 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 57740
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 2.30 3/178 19978
/proc/meminfo: memFree=15824632/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=57740 CPUtime=1062.32 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12840 0 0 0 106231 1 0 0 25 0 1 0 451150878 59125760 11999 33554432000 4194304 4210924 140735671355584 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14435 11999 102 5 0 12906 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 57740
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 2.27 3/178 19980
/proc/meminfo: memFree=15824128/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=58004 CPUtime=1122.32 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 12901 0 0 0 112231 1 0 0 25 0 1 0 451150878 59396096 12060 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14501 12060 102 5 0 12972 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 58004
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 2.26 3/178 19982
/proc/meminfo: memFree=15823000/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=58668 CPUtime=1182.32 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 13087 0 0 0 118231 1 0 0 25 0 1 0 451150878 60076032 12246 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14667 12246 102 5 0 13138 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 58668
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 2.24 3/178 19983
/proc/meminfo: memFree=15822224/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=59332 CPUtime=1242.32 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 13232 0 0 0 124231 1 0 0 25 0 1 0 451150878 60755968 12391 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14833 12391 102 5 0 13304 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 59332
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.03 2.01 2.23 3/178 19985
/proc/meminfo: memFree=15821596/32951124 swapFree=67111528/67111528
[pid=19943] ppid=19941 vsize=59464 CPUtime=1300.03 cores=5,7
/proc/19943/stat : 19943 (saturn) R 19941 19943 19719 0 -1 4202496 13283 0 0 0 130002 1 0 0 25 0 1 0 451150878 60891136 12442 33554432000 4194304 4210924 140735671355584 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19943/statm: 14866 12442 102 5 0 13337 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 59464
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.03
CPU system time (s): 0.017997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 59464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.03
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3264
runsolver used 1.80672 second user time and 4.21336 second system time
The end
Begin job on node142 at 2011-04-23 21:35:54
IDJOB=3251678
IDBENCH=88229
IDSOLVER=1583
FILE ID=node142/3251678-1303587354
RUNJOBID= node142-1303587354-19930
PBS_JOBID= 13150367
Free space on /tmp= 71312 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p30-s19690873.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251678-1303587354/watcher-3251678-1303587354 -o /tmp/evaluation-result-3251678-1303587354/solver-3251678-1303587354 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251678-1303587354.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= e096925b96a6999132833f44e4f216d7
RANDOM SEED=863055365
node142.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 : 5131.95
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.82
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.67
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.81
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.75
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.82
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 15959896 kB
Buffers: 2066132 kB
Cached: 14286236 kB
SwapCached: 0 kB
Active: 6788432 kB
Inactive: 9632500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15959896 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6728 kB
Writeback: 8 kB
AnonPages: 67800 kB
Mapped: 14480 kB
Slab: 505152 kB
PageTables: 5352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 191884 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= 71308 MiB
End job on node142 at 2011-04-23 21:57:36