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-3258588-1303540983/watcher-3258588-1303540983 -o /tmp/evaluation-result-3258588-1303540983/solver-3258588-1303540983 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3258588-1303540983.cnf
running on 2 cores: 4,6
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: 4.00 3.95 2.99 3/185 24468
/proc/meminfo: memFree=19924032/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=14824 CPUtime=0 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 541 0 0 0 0 0 0 0 25 0 1 0 446514434 15179776 484 33554432000 4194304 4210924 140733635738784 18446744073709551615 255106429637 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 3706 486 121 5 0 1837 0
[startup+0.00913101 s]
/proc/loadavg: 4.00 3.95 2.99 3/185 24468
/proc/meminfo: memFree=19924032/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=15484 CPUtime=0 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 807 0 0 0 0 0 0 0 25 0 1 0 446514434 15855616 750 33554432000 4194304 4210924 140733635738784 18446744073709551615 255106429637 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 3871 752 145 5 0 2002 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15484
[startup+0.101176 s]
/proc/loadavg: 4.00 3.95 2.99 3/185 24468
/proc/meminfo: memFree=19924032/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=23232 CPUtime=0.09 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 4298 0 0 0 9 0 0 0 25 0 1 0 446514434 23789568 3901 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 5808 3901 96 5 0 4279 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23232
[startup+0.30109 s]
/proc/loadavg: 4.00 3.95 2.99 3/185 24468
/proc/meminfo: memFree=19924032/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=23232 CPUtime=0.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 4322 0 0 0 29 0 0 0 25 0 1 0 446514434 23789568 3925 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 5808 3925 102 5 0 4279 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23232
[startup+0.701041 s]
/proc/loadavg: 4.00 3.95 2.99 3/185 24468
/proc/meminfo: memFree=19924032/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=23364 CPUtime=0.69 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 4355 0 0 0 69 0 0 0 25 0 1 0 446514434 23924736 3958 33554432000 4194304 4210924 140733635738784 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 5841 3958 102 5 0 4312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23364
[startup+1.50091 s]
/proc/loadavg: 4.00 3.95 2.99 4/185 24513
/proc/meminfo: memFree=19914080/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=23628 CPUtime=1.49 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 4409 0 0 0 149 0 0 0 25 0 1 0 446514434 24195072 4012 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 5907 4012 102 5 0 4378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23628
[startup+3.10062 s]
/proc/loadavg: 4.00 3.95 2.99 5/190 24523
/proc/meminfo: memFree=19911436/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=23892 CPUtime=3.09 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 4464 0 0 0 309 0 0 0 25 0 1 0 446514434 24465408 4067 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 5973 4067 102 5 0 4444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23892
[startup+6.30106 s]
/proc/loadavg: 4.00 3.95 3.00 5/190 24523
/proc/meminfo: memFree=19911060/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=24288 CPUtime=6.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 4588 0 0 0 629 0 0 0 25 0 1 0 446514434 24870912 4191 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 6072 4191 102 5 0 4543 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24288
[startup+12.7009 s]
/proc/loadavg: 4.00 3.95 3.00 5/190 24524
/proc/meminfo: memFree=19908948/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=25212 CPUtime=12.69 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 4819 0 0 0 1269 0 0 0 25 0 1 0 446514434 25817088 4422 33554432000 4194304 4210924 140733635738784 18446744073709551615 4201796 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 6303 4422 102 5 0 4774 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25212
[startup+25.5007 s]
/proc/loadavg: 4.00 3.95 3.02 5/190 24524
/proc/meminfo: memFree=19907620/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=26268 CPUtime=25.48 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 5088 0 0 0 2548 0 0 0 25 0 1 0 446514434 26898432 4691 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 6567 4691 102 5 0 5038 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26268
[startup+51.1012 s]
/proc/loadavg: 4.00 3.95 3.04 5/190 24525
/proc/meminfo: memFree=19905112/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=27588 CPUtime=51.09 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 5404 0 0 0 5108 1 0 0 25 0 1 0 446514434 28250112 5007 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 6897 5007 103 5 0 5368 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27588
[startup+102.307 s]
/proc/loadavg: 4.00 3.96 3.10 5/190 24526
/proc/meminfo: memFree=19901136/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=28116 CPUtime=102.3 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 5552 0 0 0 10229 1 0 0 25 0 1 0 446514434 28790784 5155 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206169 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7029 5155 103 5 0 5500 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 28116
[startup+162.301 s]
/proc/loadavg: 4.00 3.96 3.14 5/190 24528
/proc/meminfo: memFree=19897024/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=29036 CPUtime=162.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 5769 0 0 0 16228 1 0 0 25 0 1 0 446514434 29732864 5372 33554432000 4194304 4210924 140733635738784 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7259 5372 103 5 0 5730 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29036
[startup+222.301 s]
/proc/loadavg: 3.95 3.95 3.19 5/190 24557
/proc/meminfo: memFree=19917576/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=29428 CPUtime=222.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 5859 0 0 0 22228 1 0 0 25 0 1 0 446514434 30134272 5462 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7357 5462 103 5 0 5828 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 29428
[startup+282.301 s]
/proc/loadavg: 3.98 3.96 3.24 5/190 24559
/proc/meminfo: memFree=19915048/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=29552 CPUtime=282.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 5896 0 0 0 28227 1 0 0 25 0 1 0 446514434 30261248 5499 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7388 5499 103 5 0 5859 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 29552
[startup+342.301 s]
/proc/loadavg: 3.99 3.96 3.28 5/190 24560
/proc/meminfo: memFree=19912928/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=29948 CPUtime=342.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6009 0 0 0 34227 1 0 0 25 0 1 0 446514434 30666752 5612 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7487 5612 103 5 0 5958 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 29948
[startup+402.301 s]
/proc/loadavg: 4.05 3.98 3.33 5/190 24562
/proc/meminfo: memFree=19910520/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=30212 CPUtime=402.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6063 0 0 0 40227 1 0 0 25 0 1 0 446514434 30937088 5666 33554432000 4194304 4210924 140733635738784 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7553 5666 103 5 0 6024 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 30212
[startup+462.301 s]
/proc/loadavg: 4.05 4.00 3.37 5/190 24564
/proc/meminfo: memFree=19909620/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=30344 CPUtime=462.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6108 0 0 0 46228 1 0 0 25 0 1 0 446514434 31072256 5711 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7586 5711 103 5 0 6057 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 30344
[startup+522.3 s]
/proc/loadavg: 4.02 4.00 3.41 5/190 24565
/proc/meminfo: memFree=19908248/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=30608 CPUtime=522.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6180 0 0 0 52228 1 0 0 25 0 1 0 446514434 31342592 5783 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7652 5783 103 5 0 6123 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 30608
[startup+582.301 s]
/proc/loadavg: 4.06 4.01 3.45 5/190 24567
/proc/meminfo: memFree=19907356/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=30852 CPUtime=582.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6236 0 0 0 58228 1 0 0 25 0 1 0 446514434 31592448 5839 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7713 5839 103 5 0 6184 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 30852
[startup+642.3 s]
/proc/loadavg: 4.02 4.01 3.48 5/190 24568
/proc/meminfo: memFree=19906212/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=30980 CPUtime=642.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6251 0 0 0 64228 1 0 0 25 0 1 0 446514434 31723520 5854 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7745 5854 103 5 0 6216 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 30980
[startup+702.301 s]
/proc/loadavg: 4.08 4.02 3.52 5/190 24570
/proc/meminfo: memFree=19905076/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=31224 CPUtime=702.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6313 0 0 0 70228 1 0 0 25 0 1 0 446514434 31973376 5916 33554432000 4194304 4210924 140733635738784 18446744073709551615 4204845 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7806 5916 103 5 0 6277 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 31224
[startup+762.306 s]
/proc/loadavg: 4.02 4.01 3.55 5/190 24572
/proc/meminfo: memFree=19904184/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=31356 CPUtime=762.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6358 0 0 0 76228 1 0 0 25 0 1 0 446514434 32108544 5961 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7839 5961 103 5 0 6310 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 31356
[startup+822.301 s]
/proc/loadavg: 4.01 4.01 3.57 5/190 24573
/proc/meminfo: memFree=19903544/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=31620 CPUtime=822.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6432 0 0 0 82227 1 0 0 25 0 1 0 446514434 32378880 6035 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7905 6035 103 5 0 6376 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 31620
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.59 5/190 24575
/proc/meminfo: memFree=19901928/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=31752 CPUtime=882.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6467 0 0 0 88227 1 0 0 25 0 1 0 446514434 32514048 6070 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 7938 6070 103 5 0 6409 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 31752
[startup+942.301 s]
/proc/loadavg: 4.08 4.02 3.62 5/190 24576
/proc/meminfo: memFree=19900668/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=32008 CPUtime=942.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6508 0 0 0 94227 1 0 0 25 0 1 0 446514434 32776192 6111 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 8002 6111 103 5 0 6473 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 32008
[startup+1002.3 s]
/proc/loadavg: 4.07 4.03 3.65 5/190 24578
/proc/meminfo: memFree=19899400/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=32008 CPUtime=1002.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6518 0 0 0 100227 1 0 0 25 0 1 0 446514434 32776192 6121 33554432000 4194304 4210924 140733635738784 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 8002 6121 103 5 0 6473 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 32008
[startup+1062.3 s]
/proc/loadavg: 4.02 4.02 3.66 5/190 24580
/proc/meminfo: memFree=19898388/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=32008 CPUtime=1062.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6533 0 0 0 106227 1 0 0 25 0 1 0 446514434 32776192 6136 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 8002 6136 103 5 0 6473 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 32008
[startup+1122.3 s]
/proc/loadavg: 4.01 4.01 3.68 5/190 24590
/proc/meminfo: memFree=19897728/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=32140 CPUtime=1122.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6566 0 0 0 112228 1 0 0 25 0 1 0 446514434 32911360 6169 33554432000 4194304 4210924 140733635738784 18446744073709551615 4207031 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 8035 6169 103 5 0 6506 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 32140
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.70 5/190 24592
/proc/meminfo: memFree=19896712/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=32396 CPUtime=1182.29 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6608 0 0 0 118228 1 0 0 25 0 1 0 446514434 33173504 6211 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 8099 6211 103 5 0 6570 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 32396
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.72 5/190 24593
/proc/meminfo: memFree=19895452/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=32528 CPUtime=1242.28 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6657 0 0 0 124227 1 0 0 25 0 1 0 446514434 33308672 6260 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 8132 6260 103 5 0 6603 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 32528
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.04 4.01 3.74 5/190 24595
/proc/meminfo: memFree=19894932/32951124 swapFree=67111524/67111528
[pid=24468] ppid=24466 vsize=32792 CPUtime=1299.99 cores=4,6
/proc/24468/stat : 24468 (saturn) R 24466 24468 24286 0 -1 4202496 6708 0 0 0 129998 1 0 0 25 0 1 0 446514434 33579008 6311 33554432000 4194304 4210924 140733635738784 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24468/statm: 8198 6311 103 5 0 6669 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 32792
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
CPU user time (s): 1299.98
CPU system time (s): 0.020996
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 32792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.98
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6708
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= 3214
runsolver used 2.27365 second user time and 4.84826 second system time
The end
Begin job on node144 at 2011-04-23 08:43:03
IDJOB=3258588
IDBENCH=71397
IDSOLVER=1583
FILE ID=node144/3258588-1303540983
RUNJOBID= node144-1303539680-24305
PBS_JOBID= 13143094
Free space on /tmp= 72188 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1375c111739gyes10.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258588-1303540983/watcher-3258588-1303540983 -o /tmp/evaluation-result-3258588-1303540983/solver-3258588-1303540983 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3258588-1303540983.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c904604702db7cfabf92e607e197d409
RANDOM SEED=576209287
node144.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.850
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.70
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.850
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 : 5226.16
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.850
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.850
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.83
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.850
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.850
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.82
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.850
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.850
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 19924188 kB
Buffers: 2151652 kB
Cached: 10250148 kB
SwapCached: 4 kB
Active: 3277664 kB
Inactive: 9216736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 19924188 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 1272 kB
Writeback: 0 kB
AnonPages: 92240 kB
Mapped: 15104 kB
Slab: 467416 kB
PageTables: 5232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 297928 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= 72192 MiB
End job on node144 at 2011-04-23 09:04:45