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-3283443-1303764951/watcher-3283443-1303764951 -o /tmp/evaluation-result-3283443-1303764951/solver-3283443-1303764951 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283443-1303764951.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.40 3.86 3.73 4/186 32412
/proc/meminfo: memFree=13674568/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=64688 CPUtime=0 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 3360 0 0 0 0 0 0 0 21 0 1 0 566725977 66240512 3303 33554432000 4194304 4210924 140735779271744 18446744073709551615 4201588 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 16172 3312 94 5 0 8144 0
[startup+0.105929 s]
/proc/loadavg: 3.40 3.86 3.73 4/186 32412
/proc/meminfo: memFree=13674568/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=162420 CPUtime=0.1 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 14440 0 0 0 9 1 0 0 22 0 1 0 566725977 166318080 14383 33554432000 4194304 4210924 140735779271744 18446744073709551615 4207055 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32412/statm: 40605 14383 798 5 0 32577 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 162420
[startup+0.200847 s]
/proc/loadavg: 3.40 3.86 3.73 4/186 32412
/proc/meminfo: memFree=13674568/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=176940 CPUtime=0.19 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 20180 0 0 0 18 1 0 0 22 0 1 0 566725977 181186560 20123 33554432000 4194304 4210924 140735779271744 18446744073709551615 4203097 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32412/statm: 44235 20123 1402 5 0 36207 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 176940
[startup+0.300829 s]
/proc/loadavg: 3.40 3.86 3.73 4/186 32412
/proc/meminfo: memFree=13674568/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=190668 CPUtime=0.29 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 25629 0 0 0 27 2 0 0 22 0 1 0 566725977 195244032 25572 33554432000 4194304 4210924 140735779271744 18446744073709551615 215988251162 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32412/statm: 47667 25572 2075 5 0 39639 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 190668
[startup+0.700759 s]
/proc/loadavg: 3.40 3.86 3.73 4/186 32412
/proc/meminfo: memFree=13674568/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=250728 CPUtime=0.69 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 50742 0 0 0 66 3 0 0 24 0 1 0 566725977 256745472 50254 33554432000 4194304 4210924 140735779271744 18446744073709551615 215988259712 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32412/statm: 62682 50254 5064 5 0 54654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 250728
[startup+1.50062 s]
/proc/loadavg: 3.40 3.86 3.73 5/190 32419
/proc/meminfo: memFree=13030860/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=251396 CPUtime=1.49 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 62376 0 0 0 144 5 0 0 25 0 1 0 566725977 257429504 55313 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32412/statm: 62849 55313 102 5 0 61320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 251396
[startup+3.10042 s]
/proc/loadavg: 3.40 3.86 3.73 5/190 32419
/proc/meminfo: memFree=13027264/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=251396 CPUtime=3.08 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 62379 0 0 0 303 5 0 0 25 0 1 0 566725977 257429504 55316 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32412/statm: 62849 55316 102 5 0 61320 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 251396
[startup+6.30078 s]
/proc/loadavg: 3.45 3.86 3.73 5/190 32419
/proc/meminfo: memFree=13026144/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=251396 CPUtime=6.26 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 62384 0 0 0 620 6 0 0 25 0 1 0 566725977 257429504 55321 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32412/statm: 62849 55321 102 5 0 61320 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 251396
[startup+12.7007 s]
/proc/loadavg: 3.50 3.86 3.73 5/190 32419
/proc/meminfo: memFree=13025376/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=251396 CPUtime=12.64 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 62384 0 0 0 1258 6 0 0 25 0 1 0 566725977 257429504 55321 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 62849 55321 102 5 0 61320 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 251396
[startup+25.5005 s]
/proc/loadavg: 3.61 3.87 3.74 5/190 32419
/proc/meminfo: memFree=13024268/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=251396 CPUtime=25.44 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 62391 0 0 0 2538 6 0 0 25 0 1 0 566725977 257429504 55328 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 62849 55328 102 5 0 61320 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 251396
[startup+51.101 s]
/proc/loadavg: 3.74 3.87 3.74 5/190 32420
/proc/meminfo: memFree=13020512/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=251396 CPUtime=51.04 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 62392 0 0 0 5098 6 0 0 25 0 1 0 566725977 257429504 55329 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 62849 55329 102 5 0 61320 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 251396
[startup+102.301 s]
/proc/loadavg: 3.89 3.89 3.75 5/190 32421
/proc/meminfo: memFree=12993840/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=261344 CPUtime=102.25 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 64892 0 0 0 10218 7 0 0 25 0 1 0 566725977 267616256 57829 33554432000 4194304 4210924 140735779271744 18446744073709551615 4205070 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 65336 57829 104 5 0 63807 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 261344
[startup+162.301 s]
/proc/loadavg: 3.96 3.91 3.76 5/190 32423
/proc/meminfo: memFree=12969140/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=274712 CPUtime=162.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 68227 0 0 0 16217 7 0 0 25 0 1 0 566725977 281305088 61164 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 68678 61164 104 5 0 67149 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 274712
[startup+222.307 s]
/proc/loadavg: 3.98 3.92 3.77 5/190 32424
/proc/meminfo: memFree=12942324/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=278100 CPUtime=222.25 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 69077 0 0 0 22217 8 0 0 25 0 1 0 566725977 284774400 62014 33554432000 4194304 4210924 140735779271744 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 69525 62014 104 5 0 67996 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 278100
[startup+282.301 s]
/proc/loadavg: 4.02 3.95 3.79 5/190 32426
/proc/meminfo: memFree=12912908/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=288656 CPUtime=282.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 71718 0 0 0 28216 8 0 0 25 0 1 0 566725977 295583744 64655 33554432000 4194304 4210924 140735779271744 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 72164 64655 104 5 0 70635 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 288656
[startup+342.301 s]
/proc/loadavg: 4.01 3.95 3.80 5/190 32437
/proc/meminfo: memFree=12891836/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=293432 CPUtime=342.25 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 72933 0 0 0 34216 9 0 0 25 0 1 0 566725977 300474368 65870 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 73358 65870 104 5 0 71829 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 293432
[startup+402.3 s]
/proc/loadavg: 4.03 3.97 3.82 5/190 32438
/proc/meminfo: memFree=12874076/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=296464 CPUtime=402.25 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 73670 0 0 0 40216 9 0 0 25 0 1 0 566725977 303579136 66607 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 74116 66607 104 5 0 72587 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 296464
[startup+462.301 s]
/proc/loadavg: 4.01 3.97 3.83 5/190 32440
/proc/meminfo: memFree=12857300/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=309200 CPUtime=462.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 76872 0 0 0 46215 9 0 0 25 0 1 0 566725977 316620800 69809 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206527 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 77300 69809 104 5 0 75771 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 309200
[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.83 5/190 32441
/proc/meminfo: memFree=12840276/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=318892 CPUtime=522.25 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 79306 0 0 0 52215 10 0 0 25 0 1 0 566725977 326545408 72243 33554432000 4194304 4210924 140735779271744 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 79723 72243 104 5 0 78194 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 318892
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.84 5/190 32443
/proc/meminfo: memFree=12821636/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=335012 CPUtime=582.25 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 83339 0 0 0 58214 11 0 0 25 0 1 0 566725977 343052288 76276 33554432000 4194304 4210924 140735779271744 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 83753 76276 104 5 0 82224 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 335012
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.84 5/190 32445
/proc/meminfo: memFree=12787504/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=345800 CPUtime=642.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 86015 0 0 0 64213 11 0 0 25 0 1 0 566725977 354099200 78952 33554432000 4194304 4210924 140735779271744 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 86450 78952 104 5 0 84921 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 345800
[startup+702.301 s]
/proc/loadavg: 4.06 3.99 3.85 5/190 32446
/proc/meminfo: memFree=12761056/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=348680 CPUtime=702.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 86742 0 0 0 70213 11 0 0 25 0 1 0 566725977 357048320 79679 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204587 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 87170 79679 104 5 0 85641 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 348680
[startup+762.3 s]
/proc/loadavg: 4.02 3.99 3.86 5/190 32448
/proc/meminfo: memFree=12730024/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=365284 CPUtime=762.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 90886 0 0 0 76212 12 0 0 25 0 1 0 566725977 374050816 83823 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 91321 83823 104 5 0 89792 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 365284
[startup+822.301 s]
/proc/loadavg: 4.05 4.00 3.87 5/190 32449
/proc/meminfo: memFree=12701496/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=368292 CPUtime=822.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 91661 0 0 0 82211 13 0 0 25 0 1 0 566725977 377131008 84598 33554432000 4194304 4210924 140735779271744 18446744073709551615 4198750 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 92073 84598 104 5 0 90544 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 368292
[startup+882.306 s]
/proc/loadavg: 4.02 4.00 3.88 5/190 32451
/proc/meminfo: memFree=12686600/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=373116 CPUtime=882.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 92859 0 0 0 88211 13 0 0 25 0 1 0 566725977 382070784 85796 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 93279 85796 104 5 0 91750 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 373116
[startup+942.301 s]
/proc/loadavg: 4.05 4.01 3.89 5/190 32453
/proc/meminfo: memFree=12659168/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=381212 CPUtime=942.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 94873 0 0 0 94210 14 0 0 25 0 1 0 566725977 390361088 87810 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 95303 87810 104 5 0 93774 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 381212
[startup+1002.3 s]
/proc/loadavg: 4.01 4.01 3.89 5/190 32454
/proc/meminfo: memFree=12626284/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=392848 CPUtime=1002.23 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 97787 0 0 0 100209 14 0 0 25 0 1 0 566725977 402276352 90724 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 98212 90724 104 5 0 96683 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 392848
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 32456
/proc/meminfo: memFree=12606764/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=401688 CPUtime=1062.24 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 100023 0 0 0 106209 15 0 0 25 0 1 0 566725977 411328512 92960 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 100422 92960 104 5 0 98893 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 401688
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 32457
/proc/meminfo: memFree=12585028/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=408276 CPUtime=1122.23 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 101655 0 0 0 112208 15 0 0 25 0 1 0 566725977 418074624 94592 33554432000 4194304 4210924 140735779271744 18446744073709551615 4197114 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 102069 94592 104 5 0 100540 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 408276
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 32459
/proc/meminfo: memFree=12568264/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=411156 CPUtime=1182.23 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 102383 0 0 0 118208 15 0 0 25 0 1 0 566725977 421023744 95320 33554432000 4194304 4210924 140735779271744 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 102789 95320 104 5 0 101260 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 411156
[startup+1242.3 s]
/proc/loadavg: 4.08 4.02 3.91 5/190 32461
/proc/meminfo: memFree=12555456/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=411576 CPUtime=1242.23 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 102488 0 0 0 124208 15 0 0 25 0 1 0 566725977 421453824 95425 33554432000 4194304 4210924 140735779271744 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 102894 95425 104 5 0 101365 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 411576
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 4.01 3.91 3/186 32464
/proc/meminfo: memFree=13061144/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=413924 CPUtime=1299.93 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 103085 0 0 0 129978 15 0 0 25 0 1 0 566725977 423858176 96022 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206407 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 103481 96022 104 5 0 101952 0
Current children cumulated CPU time (s) 1299.93
Current children cumulated vsize (KiB) 413924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 4.03 4.01 3.91 3/186 32464
/proc/meminfo: memFree=13061144/32950940 swapFree=67111528/67111528
[pid=32412] ppid=32410 vsize=413924 CPUtime=1299.93 cores=0,2
/proc/32412/stat : 32412 (saturn) R 32410 32412 31561 0 -1 4202496 103085 0 0 0 129978 15 0 0 25 0 1 0 566725977 423858176 96022 33554432000 4194304 4210924 140735779271744 18446744073709551615 4206407 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32412/statm: 103481 96022 104 5 0 101952 0
Current children cumulated CPU time (s) 1299.93
Current children cumulated vsize (KiB) 413924
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.03
CPU time (s): 1299.97
CPU user time (s): 1299.79
CPU system time (s): 0.176973
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 413924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.79
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103085
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= 4292
runsolver used 2.13368 second user time and 4.98824 second system time
The end
Begin job on node117 at 2011-04-25 22:55:52
IDJOB=3283443
IDBENCH=71037
IDSOLVER=1583
FILE ID=node117/3283443-1303764951
RUNJOBID= node117-1303764951-32375
PBS_JOBID= 13157146
Free space on /tmp= 71452 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283443-1303764951/watcher-3283443-1303764951 -o /tmp/evaluation-result-3283443-1303764951/solver-3283443-1303764951 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283443-1303764951.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=1197596013
node117.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.849
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.69
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.849
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.849
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.849
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.849
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.849
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.74
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.849
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.849
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 : 5267.44
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950940 kB
MemFree: 13675716 kB
Buffers: 2322424 kB
Cached: 16166152 kB
SwapCached: 0 kB
Active: 10726516 kB
Inactive: 7988060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950940 kB
LowFree: 13675716 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 89336 kB
Writeback: 0 kB
AnonPages: 225600 kB
Mapped: 28624 kB
Slab: 496524 kB
PageTables: 5680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586996 kB
Committed_AS: 494168 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= 71488 MiB
End job on node117 at 2011-04-25 23:17:34