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-3265100-1303582804/watcher-3265100-1303582804 -o /tmp/evaluation-result-3265100-1303582804/solver-3265100-1303582804 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3265100-1303582804.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.85 1.42 2.49 3/176 20763
/proc/meminfo: memFree=14116768/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=9916 CPUtime=0 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 659 0 0 0 0 0 0 0 25 0 1 0 469881170 10153984 602 33554432000 4194304 4210924 140737433809936 18446744073709551615 222921437893 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 2479 604 129 5 0 850 0
[startup+0.0475191 s]
/proc/loadavg: 0.85 1.42 2.49 3/176 20763
/proc/meminfo: memFree=14116768/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=11760 CPUtime=0.04 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 1494 0 0 0 4 0 0 0 25 0 1 0 469881170 12042240 1337 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 2940 1337 95 5 0 1411 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11760
[startup+0.100507 s]
/proc/loadavg: 0.85 1.42 2.49 3/176 20763
/proc/meminfo: memFree=14116768/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=11760 CPUtime=0.09 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 1495 0 0 0 9 0 0 0 25 0 1 0 469881170 12042240 1338 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 2940 1338 95 5 0 1411 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11760
[startup+0.300467 s]
/proc/loadavg: 0.85 1.42 2.49 3/176 20763
/proc/meminfo: memFree=14116768/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=11760 CPUtime=0.29 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 1503 0 0 0 29 0 0 0 25 0 1 0 469881170 12042240 1346 33554432000 4194304 4210924 140737433809936 18446744073709551615 4207008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 2940 1346 95 5 0 1411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11760
[startup+0.700407 s]
/proc/loadavg: 0.85 1.42 2.49 3/176 20763
/proc/meminfo: memFree=14116768/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=11760 CPUtime=0.69 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 1513 0 0 0 69 0 0 0 25 0 1 0 469881170 12042240 1356 33554432000 4194304 4210924 140737433809936 18446744073709551615 4200055 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 2940 1356 95 5 0 1411 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11760
[startup+1.50025 s]
/proc/loadavg: 0.85 1.42 2.49 5/190 20817
/proc/meminfo: memFree=14094588/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=11892 CPUtime=1.49 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 1546 0 0 0 149 0 0 0 25 0 1 0 469881170 12177408 1389 33554432000 4194304 4210924 140737433809936 18446744073709551615 4199396 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 2973 1389 102 5 0 1444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11892
[startup+3.10096 s]
/proc/loadavg: 0.85 1.42 2.49 5/190 20817
/proc/meminfo: memFree=14091996/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=13352 CPUtime=3.09 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 1903 0 0 0 309 0 0 0 25 0 1 0 469881170 13672448 1746 33554432000 4194304 4210924 140737433809936 18446744073709551615 4198629 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 3338 1746 102 5 0 1809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13352
[startup+6.30037 s]
/proc/loadavg: 1.10 1.47 2.50 5/190 20817
/proc/meminfo: memFree=14087164/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=14148 CPUtime=6.29 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 2115 0 0 0 629 0 0 0 25 0 1 0 469881170 14487552 1958 33554432000 4194304 4210924 140737433809936 18446744073709551615 4207045 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 3537 1958 102 5 0 2008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14148
[startup+12.7002 s]
/proc/loadavg: 1.33 1.51 2.51 5/190 20817
/proc/meminfo: memFree=14079208/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=16692 CPUtime=12.69 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 2751 0 0 0 1269 0 0 0 25 0 1 0 469881170 17092608 2594 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 4173 2594 102 5 0 2644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16692
[startup+25.5009 s]
/proc/loadavg: 1.99 1.65 2.54 5/190 20818
/proc/meminfo: memFree=14070416/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=18944 CPUtime=25.49 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 3316 0 0 0 2549 0 0 0 25 0 1 0 469881170 19398656 3159 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 4736 3159 102 5 0 3207 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18944
[startup+51.1002 s]
/proc/loadavg: 2.67 1.83 2.57 5/190 20819
/proc/meminfo: memFree=14061556/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=22196 CPUtime=51.09 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 4105 0 0 0 5109 0 0 0 25 0 1 0 469881170 22728704 3948 33554432000 4194304 4210924 140737433809936 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 5549 3948 102 5 0 4020 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22196
[startup+102.307 s]
/proc/loadavg: 3.47 2.20 2.65 5/190 20820
/proc/meminfo: memFree=14048628/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=22932 CPUtime=102.3 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 4316 0 0 0 10230 0 0 0 25 0 1 0 469881170 23482368 4159 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 5733 4159 102 5 0 4204 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22932
[startup+162.301 s]
/proc/loadavg: 3.79 2.50 2.73 5/190 20821
/proc/meminfo: memFree=14038404/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=25436 CPUtime=162.29 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 4920 0 0 0 16229 0 0 0 25 0 1 0 469881170 26046464 4763 33554432000 4194304 4210924 140737433809936 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 6359 4763 102 5 0 4830 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 25436
[startup+222.301 s]
/proc/loadavg: 3.92 2.77 2.80 5/190 20823
/proc/meminfo: memFree=14028592/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=28568 CPUtime=222.29 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 5712 0 0 0 22229 0 0 0 25 0 1 0 469881170 29253632 5555 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 7142 5555 102 5 0 5613 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 28568
[startup+282.301 s]
/proc/loadavg: 4.05 3.01 2.88 5/190 20825
/proc/meminfo: memFree=14023240/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=30272 CPUtime=282.29 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 6131 0 0 0 28229 0 0 0 25 0 1 0 469881170 30998528 5974 33554432000 4194304 4210924 140737433809936 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 7568 5974 102 5 0 6039 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 30272
[startup+342.301 s]
/proc/loadavg: 4.02 3.18 2.95 5/190 20826
/proc/meminfo: memFree=14019760/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=31172 CPUtime=342.29 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 6366 0 0 0 34229 0 0 0 25 0 1 0 469881170 31920128 6209 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 7793 6209 102 5 0 6264 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 31172
[startup+402.301 s]
/proc/loadavg: 4.00 3.33 3.01 5/190 20828
/proc/meminfo: memFree=14016264/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=31692 CPUtime=402.29 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 6508 0 0 0 40229 0 0 0 25 0 1 0 469881170 32452608 6351 33554432000 4194304 4210924 140737433809936 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 7923 6351 102 5 0 6394 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 31692
[startup+462.301 s]
/proc/loadavg: 4.00 3.45 3.07 5/190 20829
/proc/meminfo: memFree=14012524/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=32092 CPUtime=462.29 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 6582 0 0 0 46229 0 0 0 25 0 1 0 469881170 32862208 6425 33554432000 4194304 4210924 140737433809936 18446744073709551615 4200815 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 8023 6425 102 5 0 6494 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 32092
[startup+522.301 s]
/proc/loadavg: 4.00 3.55 3.12 5/190 20831
/proc/meminfo: memFree=14008800/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=32616 CPUtime=522.3 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 6718 0 0 0 52230 0 0 0 25 0 1 0 469881170 33398784 6561 33554432000 4194304 4210924 140737433809936 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 8154 6561 102 5 0 6625 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 32616
[startup+582.301 s]
/proc/loadavg: 4.04 3.64 3.18 5/190 20833
/proc/meminfo: memFree=14005660/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=33412 CPUtime=582.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 6918 0 0 0 58230 1 0 0 25 0 1 0 469881170 34213888 6761 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 8353 6761 102 5 0 6824 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33412
[startup+642.301 s]
/proc/loadavg: 4.01 3.71 3.23 5/190 20834
/proc/meminfo: memFree=14003052/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=34068 CPUtime=642.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 7079 0 0 0 64230 1 0 0 25 0 1 0 469881170 34885632 6922 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 8517 6922 102 5 0 6988 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 34068
[startup+702.301 s]
/proc/loadavg: 4.06 3.77 3.28 5/190 20836
/proc/meminfo: memFree=13998076/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=35524 CPUtime=702.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 7468 0 0 0 70230 1 0 0 25 0 1 0 469881170 36376576 7311 33554432000 4194304 4210924 140737433809936 18446744073709551615 4205253 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 8881 7311 102 5 0 7352 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 35524
[startup+762.307 s]
/proc/loadavg: 4.02 3.81 3.33 5/190 20837
/proc/meminfo: memFree=13994584/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=36964 CPUtime=762.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 7833 0 0 0 76230 1 0 0 25 0 1 0 469881170 37851136 7676 33554432000 4194304 4210924 140737433809936 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 9241 7676 102 5 0 7712 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 36964
[startup+822.301 s]
/proc/loadavg: 4.00 3.84 3.36 5/190 20839
/proc/meminfo: memFree=13991444/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=38288 CPUtime=822.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 8144 0 0 0 82230 1 0 0 25 0 1 0 469881170 39206912 7987 33554432000 4194304 4210924 140737433809936 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 9572 7987 102 5 0 8043 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 38288
[startup+882.301 s]
/proc/loadavg: 4.04 3.88 3.41 5/190 20841
/proc/meminfo: memFree=13988704/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=39076 CPUtime=882.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 8351 0 0 0 88230 1 0 0 25 0 1 0 469881170 40013824 8194 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 9769 8194 102 5 0 8240 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 39076
[startup+942.301 s]
/proc/loadavg: 4.01 3.90 3.44 5/190 20842
/proc/meminfo: memFree=13986584/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=39880 CPUtime=942.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 8535 0 0 0 94230 1 0 0 25 0 1 0 469881170 40837120 8378 33554432000 4194304 4210924 140737433809936 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 9970 8378 102 5 0 8441 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 39880
[startup+1002.3 s]
/proc/loadavg: 4.00 3.92 3.47 5/190 20844
/proc/meminfo: memFree=13983336/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=40756 CPUtime=1002.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 8759 0 0 0 100230 1 0 0 25 0 1 0 469881170 41734144 8602 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 10189 8602 102 5 0 8660 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 40756
[startup+1062.3 s]
/proc/loadavg: 4.00 3.93 3.50 5/190 20845
/proc/meminfo: memFree=13980212/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=41948 CPUtime=1062.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 9068 0 0 0 106230 1 0 0 25 0 1 0 469881170 42954752 8911 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 10487 8911 102 5 0 8958 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 41948
[startup+1122.3 s]
/proc/loadavg: 4.06 3.95 3.54 5/190 20847
/proc/meminfo: memFree=13977948/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=42324 CPUtime=1122.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 9154 0 0 0 112230 1 0 0 25 0 1 0 469881170 43339776 8997 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 10581 8997 102 5 0 9052 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 42324
[startup+1182.3 s]
/proc/loadavg: 4.02 3.96 3.56 5/190 20849
/proc/meminfo: memFree=13974964/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=43116 CPUtime=1182.31 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 9363 0 0 0 118230 1 0 0 25 0 1 0 469881170 44150784 9206 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 10779 9206 102 5 0 9250 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 43116
[startup+1242.3 s]
/proc/loadavg: 4.08 3.98 3.59 5/190 20850
/proc/meminfo: memFree=13971716/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=44316 CPUtime=1242.32 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 9666 0 0 0 124230 2 0 0 25 0 1 0 469881170 45379584 9509 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 11079 9509 102 5 0 9550 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 44316
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 3.98 3.61 5/190 20852
/proc/meminfo: memFree=13968216/32951124 swapFree=67111528/67111528
[pid=20763] ppid=20761 vsize=45584 CPUtime=1300.03 cores=5,7
/proc/20763/stat : 20763 (saturn) R 20761 20763 20395 0 -1 4202496 9979 0 0 0 130001 2 0 0 25 0 1 0 469881170 46678016 9822 33554432000 4194304 4210924 140737433809936 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20763/statm: 11396 9822 102 5 0 9867 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 45584
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.01
CPU system time (s): 0.024996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 45596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.01
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9979
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= 6
involuntary context switches= 2149
runsolver used 2.09368 second user time and 4.95025 second system time
The end
Begin job on node109 at 2011-04-23 20:20:04
IDJOB=3265100
IDBENCH=85438
IDSOLVER=1583
FILE ID=node109/3265100-1303582804
RUNJOBID= node109-1303582804-20750
PBS_JOBID= 13150346
Free space on /tmp= 71376 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/easier/php-045-035.shuffled-as.sat05-1181.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265100-1303582804/watcher-3265100-1303582804 -o /tmp/evaluation-result-3265100-1303582804/solver-3265100-1303582804 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3265100-1303582804.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 057b78ff24cc0773c9c67e770a7b9de2
RANDOM SEED=597463957
node109.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.809
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.61
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.809
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.809
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.809
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
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.809
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.809
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 14117056 kB
Buffers: 2102816 kB
Cached: 16089860 kB
SwapCached: 0 kB
Active: 9945908 kB
Inactive: 8314924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14117056 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 920 kB
Writeback: 0 kB
AnonPages: 67900 kB
Mapped: 14496 kB
Slab: 510080 kB
PageTables: 4340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 192796 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= 71372 MiB
End job on node109 at 2011-04-23 20:41:46