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-3285145-1303772042/watcher-3285145-1303772042 -o /tmp/evaluation-result-3285145-1303772042/solver-3285145-1303772042 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3285145-1303772042.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.42 3.87 3.71 5/180 28631
/proc/meminfo: memFree=13392340/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=34812 CPUtime=0 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 2443 0 0 0 0 0 0 0 21 0 1 0 469620547 35647488 2386 33554432000 4194304 4210924 140735350017648 18446744073709551615 4206826 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 8703 2395 94 5 0 4205 0
[startup+0.075279 s]
/proc/loadavg: 3.42 3.87 3.71 5/180 28631
/proc/meminfo: memFree=13392340/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=88432 CPUtime=0.06 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 9426 0 0 0 6 0 0 0 21 0 1 0 469620547 90554368 9369 33554432000 4194304 4210924 140735350017648 18446744073709551615 4203330 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 22108 9372 635 5 0 17610 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 88432
[startup+0.100305 s]
/proc/loadavg: 3.42 3.87 3.71 5/180 28631
/proc/meminfo: memFree=13392340/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=93448 CPUtime=0.09 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 11415 0 0 0 8 1 0 0 21 0 1 0 469620547 95690752 11358 33554432000 4194304 4210924 140735350017648 18446744073709551615 212039316165 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 23362 11359 853 5 0 18864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93448
[startup+0.300249 s]
/proc/loadavg: 3.42 3.87 3.71 5/180 28631
/proc/meminfo: memFree=13392340/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=132652 CPUtime=0.28 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 26944 0 0 0 26 2 0 0 22 0 1 0 469620547 135835648 26887 33554432000 4194304 4210924 140735350017648 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 33163 26889 2639 5 0 28665 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 132652
[startup+0.700165 s]
/proc/loadavg: 3.42 3.87 3.71 5/180 28631
/proc/meminfo: memFree=13392340/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=129092 CPUtime=0.69 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 30775 0 0 0 66 3 0 0 23 0 1 0 469620547 132190208 27571 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 32273 27571 95 5 0 30744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 129092
[startup+1.50102 s]
/proc/loadavg: 3.42 3.87 3.71 6/181 28632
/proc/meminfo: memFree=13161360/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=129228 CPUtime=1.49 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 30784 0 0 0 146 3 0 0 25 0 1 0 469620547 132329472 27580 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204931 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 32307 27580 96 5 0 30778 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129228
[startup+3.10074 s]
/proc/loadavg: 3.42 3.87 3.71 5/181 28632
/proc/meminfo: memFree=13028480/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=129228 CPUtime=3.09 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 30811 0 0 0 306 3 0 0 25 0 1 0 469620547 132329472 27605 33554432000 4194304 4210924 140735350017648 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 32307 27605 96 5 0 30778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 129228
[startup+6.30016 s]
/proc/loadavg: 3.63 3.90 3.72 6/184 28638
/proc/meminfo: memFree=12494044/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=129368 CPUtime=6.29 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 30821 0 0 0 626 3 0 0 25 0 1 0 469620547 132472832 27615 33554432000 4194304 4210924 140735350017648 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 32342 27615 96 5 0 30813 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 129368
[startup+12.701 s]
/proc/loadavg: 3.90 3.96 3.74 5/190 28651
/proc/meminfo: memFree=8368544/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=129500 CPUtime=12.69 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 30863 0 0 0 1266 3 0 0 25 0 1 0 469620547 132608000 27657 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 32375 27657 96 5 0 30846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 129500
[startup+25.5007 s]
/proc/loadavg: 3.99 3.97 3.75 5/190 28651
/proc/meminfo: memFree=7739664/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=129632 CPUtime=25.49 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 30912 0 0 0 2546 3 0 0 25 0 1 0 469620547 132743168 27706 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 32408 27706 97 5 0 30879 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129632
[startup+51.1012 s]
/proc/loadavg: 3.99 3.97 3.75 5/190 28652
/proc/meminfo: memFree=7739916/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=130580 CPUtime=51.09 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 31249 0 0 0 5106 3 0 0 25 0 1 0 469620547 133713920 28015 33554432000 4194304 4210924 140735350017648 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 32645 28015 103 5 0 31116 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 130580
[startup+102.301 s]
/proc/loadavg: 4.15 4.01 3.77 5/190 28653
/proc/meminfo: memFree=7736488/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=133424 CPUtime=102.29 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 32023 0 0 0 10226 3 0 0 25 0 1 0 469620547 136626176 28765 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 33356 28765 104 5 0 31827 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 133424
[startup+162.3 s]
/proc/loadavg: 4.05 4.00 3.79 5/190 28655
/proc/meminfo: memFree=7719508/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=142732 CPUtime=162.29 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 34395 0 0 0 16225 4 0 0 25 0 1 0 469620547 146157568 31115 33554432000 4194304 4210924 140735350017648 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 35683 31115 104 5 0 34154 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 142732
[startup+222.307 s]
/proc/loadavg: 4.06 4.01 3.80 5/190 28656
/proc/meminfo: memFree=7704900/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=154748 CPUtime=222.3 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 37397 0 0 0 22224 6 0 0 25 0 1 0 469620547 158461952 34116 33554432000 4194304 4210924 140735350017648 18446744073709551615 4201703 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 38687 34116 104 5 0 37158 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 154748
[startup+282.301 s]
/proc/loadavg: 4.02 4.01 3.81 5/190 28658
/proc/meminfo: memFree=7688100/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=171508 CPUtime=282.29 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 41594 0 0 0 28223 6 0 0 25 0 1 0 469620547 175624192 38311 33554432000 4194304 4210924 140735350017648 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 42877 38311 104 5 0 41348 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 171508
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.82 5/190 28659
/proc/meminfo: memFree=7685392/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=173448 CPUtime=342.29 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 42094 0 0 0 34223 6 0 0 25 0 1 0 469620547 177610752 38811 33554432000 4194304 4210924 140735350017648 18446744073709551615 4201755 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 43362 38811 104 5 0 41833 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 173448
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/190 28661
/proc/meminfo: memFree=7680516/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=177868 CPUtime=402.3 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 43184 0 0 0 40223 7 0 0 25 0 1 0 469620547 182136832 39901 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 44467 39901 104 5 0 42938 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 177868
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.83 5/190 28672
/proc/meminfo: memFree=7679964/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=178152 CPUtime=462.3 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 43255 0 0 0 46223 7 0 0 25 0 1 0 469620547 182427648 39972 33554432000 4194304 4210924 140735350017648 18446744073709551615 4198592 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 44538 39972 104 5 0 43009 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 178152
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.84 5/190 28673
/proc/meminfo: memFree=7675596/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=182708 CPUtime=522.31 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 44392 0 0 0 52224 7 0 0 25 0 1 0 469620547 187092992 41109 33554432000 4194304 4210924 140735350017648 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 45677 41109 104 5 0 44148 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 182708
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/190 28675
/proc/meminfo: memFree=7671676/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=185708 CPUtime=582.31 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 45163 0 0 0 58224 7 0 0 25 0 1 0 469620547 190164992 41880 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 46427 41880 104 5 0 44898 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 185708
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/190 28676
/proc/meminfo: memFree=7668884/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=188696 CPUtime=642.31 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 45911 0 0 0 64224 7 0 0 25 0 1 0 469620547 193224704 42628 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204931 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 47174 42628 104 5 0 45645 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 188696
[startup+702.301 s]
/proc/loadavg: 4.08 4.03 3.87 5/190 28678
/proc/meminfo: memFree=7667740/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=189816 CPUtime=702.31 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 46159 0 0 0 70224 7 0 0 25 0 1 0 469620547 194371584 42876 33554432000 4194304 4210924 140735350017648 18446744073709551615 4205041 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 47454 42876 104 5 0 45925 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 189816
[startup+762.301 s]
/proc/loadavg: 4.08 4.04 3.88 5/190 28680
/proc/meminfo: memFree=7667604/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=189816 CPUtime=762.32 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 46159 0 0 0 76225 7 0 0 25 0 1 0 469620547 194371584 42876 33554432000 4194304 4210924 140735350017648 18446744073709551615 4207023 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 47454 42876 104 5 0 45925 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 189816
[startup+822.3 s]
/proc/loadavg: 4.03 4.03 3.89 5/190 28681
/proc/meminfo: memFree=7667580/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=189816 CPUtime=822.31 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 46159 0 0 0 82224 7 0 0 25 0 1 0 469620547 194371584 42876 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 47454 42876 104 5 0 45925 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 189816
[startup+882.307 s]
/proc/loadavg: 4.01 4.02 3.89 5/190 28683
/proc/meminfo: memFree=7664588/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=193104 CPUtime=882.32 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 46990 0 0 0 88225 7 0 0 25 0 1 0 469620547 197738496 43707 33554432000 4194304 4210924 140735350017648 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 48276 43707 104 5 0 46747 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 193104
[startup+942.301 s]
/proc/loadavg: 4.00 4.01 3.90 5/190 28684
/proc/meminfo: memFree=7662336/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=195452 CPUtime=942.31 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 47589 0 0 0 94224 7 0 0 25 0 1 0 469620547 200142848 44306 33554432000 4194304 4210924 140735350017648 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 48863 44306 104 5 0 47334 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 195452
[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.90 5/190 28686
/proc/meminfo: memFree=7660696/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=196972 CPUtime=1002.32 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 47993 0 0 0 100224 8 0 0 25 0 1 0 469620547 201699328 44710 33554432000 4194304 4210924 140735350017648 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 49243 44710 104 5 0 47714 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 196972
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 28688
/proc/meminfo: memFree=7658804/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=198880 CPUtime=1062.32 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 48460 0 0 0 106224 8 0 0 25 0 1 0 469620547 203653120 45177 33554432000 4194304 4210924 140735350017648 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 49720 45177 104 5 0 48191 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 198880
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 28689
/proc/meminfo: memFree=7657416/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=200512 CPUtime=1122.32 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 48854 0 0 0 112224 8 0 0 25 0 1 0 469620547 205324288 45571 33554432000 4194304 4210924 140735350017648 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 50128 45571 104 5 0 48599 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 200512
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 28691
/proc/meminfo: memFree=7653788/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=204344 CPUtime=1182.32 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 49825 0 0 0 118224 8 0 0 25 0 1 0 469620547 209248256 46542 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 51086 46542 104 5 0 49557 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 204344
[startup+1242.3 s]
/proc/loadavg: 4.11 4.03 3.92 5/190 28692
/proc/meminfo: memFree=7647936/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=209160 CPUtime=1242.32 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 51036 0 0 0 124224 8 0 0 25 0 1 0 469620547 214179840 47753 33554432000 4194304 4210924 140735350017648 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 52290 47753 104 5 0 50761 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 209160
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.12 4.04 3.93 5/190 28694
/proc/meminfo: memFree=7642700/32951124 swapFree=67111528/67111528
[pid=28631] ppid=28629 vsize=214200 CPUtime=1300.03 cores=5,7
/proc/28631/stat : 28631 (saturn) R 28629 28631 27771 0 -1 4202496 52285 0 0 0 129994 9 0 0 25 0 1 0 469620547 219340800 49002 33554432000 4194304 4210924 140735350017648 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28631/statm: 53550 49002 104 5 0 52021 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 214200
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.05
CPU user time (s): 1299.95
CPU system time (s): 0.103984
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 214200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.95
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52285
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= 1694
runsolver used 2.03069 second user time and 5.10922 second system time
The end
Begin job on node146 at 2011-04-26 00:54:03
IDJOB=3285145
IDBENCH=82372
IDSOLVER=1583
FILE ID=node146/3285145-1303772042
RUNJOBID= node146-1303772042-28610
PBS_JOBID= 13157158
Free space on /tmp= 72708 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285145-1303772042/watcher-3285145-1303772042 -o /tmp/evaluation-result-3285145-1303772042/solver-3285145-1303772042 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3285145-1303772042.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c4319228342e10028de028a9b67c3404
RANDOM SEED=719707733
node146.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.830
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.66
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.830
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 : 5332.75
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.830
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.75
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.830
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.86
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.830
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.830
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.830
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.830
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: 13392620 kB
Buffers: 2076860 kB
Cached: 16871188 kB
SwapCached: 0 kB
Active: 9683228 kB
Inactive: 9340220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 13392620 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 60508 kB
Writeback: 0 kB
AnonPages: 74216 kB
Mapped: 14496 kB
Slab: 469972 kB
PageTables: 5280 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 198940 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= 72140 MiB
End job on node146 at 2011-04-26 01:15:45