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-3251370-1303587200/watcher-3251370-1303587200 -o /tmp/evaluation-result-3251370-1303587200/solver-3251370-1303587200 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251370-1303587200.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.77 3.94 3.79 3/185 20634
/proc/meminfo: memFree=11928140/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=30412 CPUtime=0 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 749 0 0 0 0 0 0 0 24 0 1 0 470317905 31141888 691 33554432000 4194304 4210924 140736137311984 18446744073709551615 4203330 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 7603 693 136 5 0 5020 0
[startup+0.074688 s]
/proc/loadavg: 3.77 3.94 3.79 3/185 20634
/proc/meminfo: memFree=11928140/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=46384 CPUtime=0.06 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 6927 0 0 0 6 0 0 0 24 0 1 0 470317905 47497216 6869 33554432000 4194304 4210924 140736137311984 18446744073709551615 271550198469 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 11596 6874 662 5 0 9013 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 46384
[startup+0.100695 s]
/proc/loadavg: 3.77 3.94 3.79 3/185 20634
/proc/meminfo: memFree=11928140/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=52456 CPUtime=0.09 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 9279 0 0 0 8 1 0 0 25 0 1 0 470317905 53714944 9221 33554432000 4194304 4210924 140736137311984 18446744073709551615 271550198469 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 13114 9224 863 5 0 10531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52456
[startup+0.300647 s]
/proc/loadavg: 3.77 3.94 3.79 3/185 20634
/proc/meminfo: memFree=11928140/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=56292 CPUtime=0.29 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 12437 0 0 0 28 1 0 0 25 0 1 0 470317905 57643008 11325 33554432000 4194304 4210924 140736137311984 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 14073 11325 101 5 0 12544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56292
[startup+0.700575 s]
/proc/loadavg: 3.77 3.94 3.79 3/185 20634
/proc/meminfo: memFree=11928140/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=56556 CPUtime=0.69 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 12500 0 0 0 68 1 0 0 25 0 1 0 470317905 57913344 11388 33554432000 4194304 4210924 140736137311984 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 14139 11388 101 5 0 12610 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56556
[startup+1.50044 s]
/proc/loadavg: 3.79 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11813128/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=56952 CPUtime=1.49 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 12596 0 0 0 148 1 0 0 25 0 1 0 470317905 58318848 11484 33554432000 4194304 4210924 140736137311984 18446744073709551615 4198763 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 14238 11484 101 5 0 12709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56952
[startup+3.10014 s]
/proc/loadavg: 3.79 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11810776/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=57344 CPUtime=3.09 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 12685 0 0 0 308 1 0 0 25 0 1 0 470317905 58720256 11573 33554432000 4194304 4210924 140736137311984 18446744073709551615 4207023 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 14336 11573 102 5 0 12807 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57344
[startup+6.30057 s]
/proc/loadavg: 3.81 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11807388/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=58136 CPUtime=6.29 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 12876 0 0 0 628 1 0 0 25 0 1 0 470317905 59531264 11764 33554432000 4194304 4210924 140736137311984 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 14534 11764 102 5 0 13005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58136
[startup+12.7004 s]
/proc/loadavg: 3.82 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11803544/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=58664 CPUtime=12.69 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 13024 0 0 0 1268 1 0 0 25 0 1 0 470317905 60071936 11912 33554432000 4194304 4210924 140736137311984 18446744073709551615 4204774 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 14666 11912 102 5 0 13137 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58664
[startup+25.5011 s]
/proc/loadavg: 3.86 3.94 3.79 5/194 20651
/proc/meminfo: memFree=11799204/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=60644 CPUtime=25.48 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 13505 0 0 0 2547 1 0 0 25 0 1 0 470317905 62099456 12393 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 15161 12393 102 5 0 13632 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60644
[startup+51.1004 s]
/proc/loadavg: 3.98 3.96 3.80 5/194 20652
/proc/meminfo: memFree=11794668/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=62360 CPUtime=51.08 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 13954 0 0 0 5107 1 0 0 25 0 1 0 470317905 63856640 12842 33554432000 4194304 4210924 140736137311984 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 15590 12842 102 5 0 14061 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62360
[startup+102.307 s]
/proc/loadavg: 3.99 3.97 3.81 5/194 20653
/proc/meminfo: memFree=11786064/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=64740 CPUtime=102.29 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 14545 0 0 0 10227 2 0 0 25 0 1 0 470317905 66293760 13433 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 16185 13433 102 5 0 14656 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 64740
[startup+162.3 s]
/proc/loadavg: 4.10 4.00 3.83 5/194 20655
/proc/meminfo: memFree=11782336/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=66980 CPUtime=162.28 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 15114 0 0 0 16226 2 0 0 25 0 1 0 470317905 68587520 14002 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 16745 14002 102 5 0 15216 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 66980
[startup+222.3 s]
/proc/loadavg: 4.03 4.00 3.84 5/194 20657
/proc/meminfo: memFree=11778212/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=69092 CPUtime=222.27 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 15643 0 0 0 22225 2 0 0 25 0 1 0 470317905 70750208 14531 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 17273 14531 102 5 0 15744 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 69092
[startup+282.3 s]
/proc/loadavg: 4.06 4.01 3.85 5/194 20658
/proc/meminfo: memFree=11776204/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=70284 CPUtime=282.27 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 15944 0 0 0 28225 2 0 0 25 0 1 0 470317905 71970816 14832 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 17571 14832 102 5 0 16042 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 70284
[startup+342.3 s]
/proc/loadavg: 4.09 4.02 3.86 5/194 20660
/proc/meminfo: memFree=11773568/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=71736 CPUtime=342.27 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 16303 0 0 0 34224 3 0 0 25 0 1 0 470317905 73457664 15191 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 17934 15191 102 5 0 16405 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 71736
[startup+402.301 s]
/proc/loadavg: 4.03 4.02 3.87 5/194 20661
/proc/meminfo: memFree=11772184/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=72000 CPUtime=402.27 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 16352 0 0 0 40224 3 0 0 25 0 1 0 470317905 73728000 15240 33554432000 4194304 4210924 140736137311984 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18000 15240 102 5 0 16471 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 72000
[startup+462.301 s]
/proc/loadavg: 4.07 4.04 3.88 5/194 20663
/proc/meminfo: memFree=11769800/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=72920 CPUtime=462.26 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 16602 0 0 0 46223 3 0 0 25 0 1 0 470317905 74670080 15490 33554432000 4194304 4210924 140736137311984 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18230 15490 102 5 0 16701 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 72920
[startup+522.301 s]
/proc/loadavg: 4.07 4.05 3.89 5/194 20665
/proc/meminfo: memFree=11767920/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=73700 CPUtime=522.26 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 16798 0 0 0 52223 3 0 0 25 0 1 0 470317905 75468800 15686 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18425 15686 102 5 0 16896 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 73700
[startup+582.301 s]
/proc/loadavg: 4.02 4.03 3.90 5/194 20666
/proc/meminfo: memFree=11767168/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=73964 CPUtime=582.26 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 16854 0 0 0 58223 3 0 0 25 0 1 0 470317905 75739136 15742 33554432000 4194304 4210924 140736137311984 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18491 15742 102 5 0 16962 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 73964
[startup+642.301 s]
/proc/loadavg: 4.06 4.04 3.91 5/194 20668
/proc/meminfo: memFree=11766636/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=74228 CPUtime=642.27 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 16926 0 0 0 64224 3 0 0 25 0 1 0 470317905 76009472 15814 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18557 15814 102 5 0 17028 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 74228
[startup+702.301 s]
/proc/loadavg: 4.02 4.03 3.91 5/194 20669
/proc/meminfo: memFree=11765268/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=74752 CPUtime=702.26 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17048 0 0 0 70223 3 0 0 25 0 1 0 470317905 76546048 15936 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18688 15936 102 5 0 17159 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 74752
[startup+762.307 s]
/proc/loadavg: 4.04 4.03 3.91 5/194 20671
/proc/meminfo: memFree=11764516/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=75016 CPUtime=762.27 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17128 0 0 0 76224 3 0 0 25 0 1 0 470317905 76816384 16016 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18754 16016 102 5 0 17225 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 75016
[startup+822.3 s]
/proc/loadavg: 4.01 4.03 3.91 5/194 20673
/proc/meminfo: memFree=11763756/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=75540 CPUtime=822.26 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17263 0 0 0 82223 3 0 0 25 0 1 0 470317905 77352960 16151 33554432000 4194304 4210924 140736137311984 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18885 16151 102 5 0 17356 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 75540
[startup+882.3 s]
/proc/loadavg: 4.00 4.02 3.91 5/194 20674
/proc/meminfo: memFree=11762504/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=75804 CPUtime=882.25 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17322 0 0 0 88222 3 0 0 25 0 1 0 470317905 77623296 16210 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 18951 16210 102 5 0 17422 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 75804
[startup+942.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/194 20676
/proc/meminfo: memFree=11761500/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=76464 CPUtime=942.25 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17471 0 0 0 94222 3 0 0 25 0 1 0 470317905 78299136 16359 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 19116 16359 102 5 0 17587 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 76464
[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/194 20677
/proc/meminfo: memFree=11760612/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=76728 CPUtime=1002.25 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17532 0 0 0 100222 3 0 0 25 0 1 0 470317905 78569472 16420 33554432000 4194304 4210924 140736137311984 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 19182 16420 102 5 0 17653 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 76728
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/194 20679
/proc/meminfo: memFree=11760100/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=76860 CPUtime=1062.25 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17590 0 0 0 106222 3 0 0 25 0 1 0 470317905 78704640 16478 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 19215 16478 102 5 0 17686 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 76860
[startup+1122.3 s]
/proc/loadavg: 4.12 4.04 3.93 5/194 20681
/proc/meminfo: memFree=11759712/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=76992 CPUtime=1122.25 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17604 0 0 0 112222 3 0 0 25 0 1 0 470317905 78839808 16492 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 19248 16492 102 5 0 17719 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 76992
[startup+1182.3 s]
/proc/loadavg: 4.12 4.05 3.94 5/194 20682
/proc/meminfo: memFree=11759076/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=76992 CPUtime=1182.25 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17624 0 0 0 118222 3 0 0 25 0 1 0 470317905 78839808 16512 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 19248 16512 102 5 0 17719 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 76992
[startup+1242.3 s]
/proc/loadavg: 4.04 4.03 3.94 5/194 20684
/proc/meminfo: memFree=11757568/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=77256 CPUtime=1242.25 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17677 0 0 0 124222 3 0 0 25 0 1 0 470317905 79110144 16565 33554432000 4194304 4210924 140736137311984 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 19314 16565 102 5 0 17785 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 77256
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.06 4.04 3.94 4/192 20686
/proc/meminfo: memFree=11766488/32951124 swapFree=67111528/67111528
[pid=20634] ppid=20632 vsize=77520 CPUtime=1299.96 cores=5,7
/proc/20634/stat : 20634 (saturn) R 20632 20634 19592 0 -1 4202496 17732 0 0 0 129992 4 0 0 25 0 1 0 470317905 79380480 16620 33554432000 4194304 4210924 140736137311984 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20634/statm: 19380 16620 102 5 0 17851 0
Current children cumulated CPU time (s) 1299.96
Current children cumulated vsize (KiB) 77520
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): 1299.97
CPU user time (s): 1299.93
CPU system time (s): 0.044993
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 77520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.93
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17732
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= 4504
runsolver used 2.07568 second user time and 5.05923 second system time
The end
Begin job on node133 at 2011-04-23 21:33:20
IDJOB=3251370
IDBENCH=88221
IDSOLVER=1583
FILE ID=node133/3251370-1303587200
RUNJOBID= node133-1303587200-20611
PBS_JOBID= 13150348
Free space on /tmp= 71624 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251370-1303587200/watcher-3251370-1303587200 -o /tmp/evaluation-result-3251370-1303587200/solver-3251370-1303587200 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251370-1303587200.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 683c9f75b69575e6451b8563d12f176b
RANDOM SEED=458709154
node133.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.834
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.834
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.834
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.834
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 : 6741.12
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.834
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.74
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.834
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.834
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.834
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: 11928792 kB
Buffers: 2163320 kB
Cached: 18227316 kB
SwapCached: 0 kB
Active: 8985092 kB
Inactive: 11476380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 11928792 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4704 kB
Writeback: 0 kB
AnonPages: 70272 kB
Mapped: 15144 kB
Slab: 498108 kB
PageTables: 5188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 220336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71616 MiB
End job on node133 at 2011-04-23 21:55:02