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-3266640-1303586858/watcher-3266640-1303586858 -o /tmp/evaluation-result-3266640-1303586858/solver-3266640-1303586858 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3266640-1303586858.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.68 3.95 4.04 5/186 6690
/proc/meminfo: memFree=20493088/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=16324 CPUtime=0 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 675 0 0 0 0 0 0 0 22 0 1 0 548916514 16715776 618 33554432000 4194304 4210924 140733601202288 18446744073709551615 224284586693 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 4081 620 132 5 0 2171 0
[startup+0.032233 s]
/proc/loadavg: 3.68 3.95 4.04 5/186 6690
/proc/meminfo: memFree=20493088/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=22132 CPUtime=0.03 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 2926 0 0 0 3 0 0 0 22 0 1 0 548916514 22663168 2869 33554432000 4194304 4210924 140733601202288 18446744073709551615 224284586693 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 5533 2873 313 5 0 3623 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 22132
[startup+0.100245 s]
/proc/loadavg: 3.68 3.95 4.04 5/186 6690
/proc/meminfo: memFree=20493088/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=25756 CPUtime=0.09 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 4902 0 0 0 9 0 0 0 22 0 1 0 548916514 26374144 4464 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198629 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 6439 4464 96 5 0 4910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25756
[startup+0.300188 s]
/proc/loadavg: 3.68 3.95 4.04 5/186 6690
/proc/meminfo: memFree=20493088/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=25756 CPUtime=0.29 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 4935 0 0 0 29 0 0 0 23 0 1 0 548916514 26374144 4497 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 6439 4497 102 5 0 4910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25756
[startup+0.70115 s]
/proc/loadavg: 3.68 3.95 4.04 5/186 6690
/proc/meminfo: memFree=20493088/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=25888 CPUtime=0.69 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 4960 0 0 0 69 0 0 0 25 0 1 0 548916514 26509312 4522 33554432000 4194304 4210924 140733601202288 18446744073709551615 4204892 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 6472 4522 102 5 0 4943 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25888
[startup+1.50102 s]
/proc/loadavg: 3.68 3.95 4.04 5/190 6697
/proc/meminfo: memFree=20306924/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=26152 CPUtime=1.49 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 5008 0 0 0 149 0 0 0 25 0 1 0 548916514 26779648 4570 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 6538 4570 102 5 0 5009 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26152
[startup+3.10075 s]
/proc/loadavg: 3.70 3.95 4.04 5/190 6697
/proc/meminfo: memFree=20305808/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=26548 CPUtime=3.09 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 5115 0 0 0 309 0 0 0 25 0 1 0 548916514 27185152 4677 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 6637 4677 102 5 0 5108 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26548
[startup+6.30021 s]
/proc/loadavg: 3.70 3.95 4.04 5/190 6697
/proc/meminfo: memFree=20304320/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=27076 CPUtime=6.29 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 5257 0 0 0 629 0 0 0 25 0 1 0 548916514 27725824 4819 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 6769 4819 102 5 0 5240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27076
[startup+12.7011 s]
/proc/loadavg: 3.75 3.95 4.04 5/190 6697
/proc/meminfo: memFree=20301712/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=27472 CPUtime=12.69 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 5347 0 0 0 1269 0 0 0 25 0 1 0 548916514 28131328 4909 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 6868 4909 102 5 0 5339 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27472
[startup+25.501 s]
/proc/loadavg: 3.79 3.95 4.04 5/190 6697
/proc/meminfo: memFree=20299704/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=28132 CPUtime=25.49 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 5520 0 0 0 2549 0 0 0 25 0 1 0 548916514 28807168 5082 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7033 5082 102 5 0 5504 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28132
[startup+51.1007 s]
/proc/loadavg: 3.86 3.95 4.04 5/190 6699
/proc/meminfo: memFree=20296160/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=29056 CPUtime=51.09 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 5763 0 0 0 5109 0 0 0 25 0 1 0 548916514 29753344 5325 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198592 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7264 5325 102 5 0 5735 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29056
[startup+102.307 s]
/proc/loadavg: 3.94 3.96 4.03 5/190 6699
/proc/meminfo: memFree=20290144/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=29980 CPUtime=102.29 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 5972 0 0 0 10229 0 0 0 25 0 1 0 548916514 30699520 5534 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7495 5534 102 5 0 5966 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 29980
[startup+162.301 s]
/proc/loadavg: 3.98 3.96 4.02 5/190 6701
/proc/meminfo: memFree=20286368/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=30244 CPUtime=162.29 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6047 0 0 0 16229 0 0 0 25 0 1 0 548916514 30969856 5609 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7561 5609 102 5 0 6032 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 30244
[startup+222.301 s]
/proc/loadavg: 4.08 4.00 4.03 5/190 6703
/proc/meminfo: memFree=20283500/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=30640 CPUtime=222.29 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6133 0 0 0 22229 0 0 0 25 0 1 0 548916514 31375360 5695 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7660 5695 102 5 0 6131 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30640
[startup+282.301 s]
/proc/loadavg: 4.03 4.00 4.02 5/190 6705
/proc/meminfo: memFree=20281124/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=30772 CPUtime=282.29 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6190 0 0 0 28229 0 0 0 25 0 1 0 548916514 31510528 5752 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7693 5752 102 5 0 6164 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 30772
[startup+342.301 s]
/proc/loadavg: 4.01 4.00 4.02 5/190 6707
/proc/meminfo: memFree=20278984/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=31028 CPUtime=342.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6243 0 0 0 34229 1 0 0 25 0 1 0 548916514 31772672 5805 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7757 5805 102 5 0 6228 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31028
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 4.01 5/190 6707
/proc/meminfo: memFree=20275860/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=31160 CPUtime=402.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6288 0 0 0 40229 1 0 0 25 0 1 0 548916514 31907840 5850 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7790 5850 102 5 0 6261 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31160
[startup+462.301 s]
/proc/loadavg: 4.07 4.03 4.02 5/190 6709
/proc/meminfo: memFree=20273844/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=31556 CPUtime=462.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6374 0 0 0 46229 1 0 0 25 0 1 0 548916514 32313344 5936 33554432000 4194304 4210924 140733601202288 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7889 5936 102 5 0 6360 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 31556
[startup+522.301 s]
/proc/loadavg: 4.03 4.02 4.01 5/190 6711
/proc/meminfo: memFree=20272832/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=31820 CPUtime=522.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6439 0 0 0 52229 1 0 0 25 0 1 0 548916514 32583680 6001 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7955 6001 102 5 0 6426 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 31820
[startup+582.301 s]
/proc/loadavg: 4.01 4.01 4.00 5/190 6713
/proc/meminfo: memFree=20270572/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=31952 CPUtime=582.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6486 0 0 0 58229 1 0 0 25 0 1 0 548916514 32718848 6048 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 7988 6048 102 5 0 6459 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 31952
[startup+642.301 s]
/proc/loadavg: 4.00 4.01 4.00 5/190 6715
/proc/meminfo: memFree=20269300/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=32084 CPUtime=642.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6515 0 0 0 64229 1 0 0 25 0 1 0 548916514 32854016 6077 33554432000 4194304 4210924 140733601202288 18446744073709551615 4207004 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8021 6077 102 5 0 6492 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 32084
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 4.00 5/190 6718
/proc/meminfo: memFree=20266872/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=32480 CPUtime=702.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6614 0 0 0 70229 1 0 0 25 0 1 0 548916514 33259520 6176 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8120 6176 102 5 0 6591 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 32480
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/190 6720
/proc/meminfo: memFree=20266452/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=32608 CPUtime=762.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6625 0 0 0 76229 1 0 0 25 0 1 0 548916514 33390592 6187 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8152 6187 102 5 0 6623 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 32608
[startup+822.301 s]
/proc/loadavg: 4.04 4.01 4.00 5/190 6722
/proc/meminfo: memFree=20265440/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=32740 CPUtime=822.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6679 0 0 0 82229 1 0 0 25 0 1 0 548916514 33525760 6241 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8185 6241 102 5 0 6656 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 32740
[startup+882.301 s]
/proc/loadavg: 4.01 4.01 4.00 5/190 6724
/proc/meminfo: memFree=20265056/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=32740 CPUtime=882.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6682 0 0 0 88229 1 0 0 25 0 1 0 548916514 33525760 6244 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8185 6244 102 5 0 6656 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 32740
[startup+942.301 s]
/proc/loadavg: 4.00 4.00 4.00 5/190 6726
/proc/meminfo: memFree=20264772/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=33000 CPUtime=942.31 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6734 0 0 0 94229 2 0 0 25 0 1 0 548916514 33792000 6296 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8250 6296 102 5 0 6721 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 33000
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/190 6726
/proc/meminfo: memFree=20264520/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=33128 CPUtime=1002.31 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6755 0 0 0 100229 2 0 0 25 0 1 0 548916514 33923072 6317 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8282 6317 102 5 0 6753 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 33128
[startup+1062.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/190 6728
/proc/meminfo: memFree=20264124/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=33260 CPUtime=1062.31 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6796 0 0 0 106229 2 0 0 25 0 1 0 548916514 34058240 6358 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8315 6358 102 5 0 6786 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 33260
[startup+1122.3 s]
/proc/loadavg: 4.02 4.01 4.00 5/190 6730
/proc/meminfo: memFree=20263852/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=33384 CPUtime=1122.31 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6827 0 0 0 112229 2 0 0 25 0 1 0 548916514 34185216 6389 33554432000 4194304 4210924 140733601202288 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8346 6389 102 5 0 6817 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 33384
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/190 6732
/proc/meminfo: memFree=20263812/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=33516 CPUtime=1182.31 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6865 0 0 0 118229 2 0 0 25 0 1 0 548916514 34320384 6427 33554432000 4194304 4210924 140733601202288 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8379 6427 102 5 0 6850 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 33516
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/190 6734
/proc/meminfo: memFree=20261808/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=33648 CPUtime=1242.3 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6897 0 0 0 124228 2 0 0 25 0 1 0 548916514 34455552 6459 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8412 6459 102 5 0 6883 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 33648
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.00 4.00 3/186 6736
/proc/meminfo: memFree=20262204/32951124 swapFree=67110396/67111528
[pid=6690] ppid=6688 vsize=33780 CPUtime=1300.01 cores=0,2
/proc/6690/stat : 6690 (saturn) R 6688 6690 6169 0 -1 4202496 6941 0 0 0 129999 2 0 0 25 0 1 0 548916514 34590720 6503 33554432000 4194304 4210924 140733601202288 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6690/statm: 8445 6503 102 5 0 6916 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 33780
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.03
CPU user time (s): 1299.99
CPU system time (s): 0.030995
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 33780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.99
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6941
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= 15558
runsolver used 2.30465 second user time and 4.83226 second system time
The end
Begin job on node118 at 2011-04-23 21:27:39
IDJOB=3266640
IDBENCH=88202
IDSOLVER=1583
FILE ID=node118/3266640-1303586858
RUNJOBID= node118-1303586858-6654
PBS_JOBID= 13150361
Free space on /tmp= 71744 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266640-1303586858/watcher-3266640-1303586858 -o /tmp/evaluation-result-3266640-1303586858/solver-3266640-1303586858 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3266640-1303586858.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 4b4e8a8187c1b8536d6b504b16289d38
RANDOM SEED=309755919
node118.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.842
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.68
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.842
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.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
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.75
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.842
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.68
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.842
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.842
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.842
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 : 5374.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 20493616 kB
Buffers: 1858368 kB
Cached: 10006276 kB
SwapCached: 600 kB
Active: 8476616 kB
Inactive: 3458276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20493616 kB
SwapTotal: 67111528 kB
SwapFree: 67110396 kB
Dirty: 2136 kB
Writeback: 0 kB
AnonPages: 69104 kB
Mapped: 14964 kB
Slab: 459416 kB
PageTables: 4888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 237540 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= 71728 MiB
End job on node118 at 2011-04-23 21:49:21