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-3283581-1303764951/watcher-3283581-1303764951 -o /tmp/evaluation-result-3283581-1303764951/solver-3283581-1303764951 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283581-1303764951.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: 3.40 3.86 3.73 5/189 32418
/proc/meminfo: memFree=13523512/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=42780 CPUtime=0 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 2559 0 0 0 0 0 0 0 21 0 1 0 566725994 43806720 2502 33554432000 4194304 4210924 140735477247632 18446744073709551615 215988286557 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 10695 2516 81 5 0 2572 0
[startup+0.04225 s]
/proc/loadavg: 3.40 3.86 3.73 5/189 32418
/proc/meminfo: memFree=13523512/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=152468 CPUtime=0.02 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 9904 0 0 0 2 0 0 0 21 0 1 0 566725994 156127232 9847 33554432000 4194304 4210924 140735477247632 18446744073709551615 215988253381 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 38117 9850 282 5 0 29994 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 152468
[startup+0.101214 s]
/proc/loadavg: 3.40 3.86 3.73 5/189 32418
/proc/meminfo: memFree=13523512/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=162896 CPUtime=0.09 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 14048 0 0 0 8 1 0 0 21 0 1 0 566725994 166805504 13991 33554432000 4194304 4210924 140735477247632 18446744073709551615 215988253729 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 40724 13992 755 5 0 32601 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 162896
[startup+0.300171 s]
/proc/loadavg: 3.40 3.86 3.73 5/189 32418
/proc/meminfo: memFree=13523512/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=191936 CPUtime=0.29 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 25601 0 0 0 27 2 0 0 22 0 1 0 566725994 196542464 25544 33554432000 4194304 4210924 140735477247632 18446744073709551615 4203330 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 47984 25545 2063 5 0 39861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 191936
[startup+0.701108 s]
/proc/loadavg: 3.40 3.86 3.73 5/189 32418
/proc/meminfo: memFree=13523512/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=252524 CPUtime=0.69 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 50891 0 0 0 64 5 0 0 23 0 1 0 566725994 258584576 50403 33554432000 4194304 4210924 140735477247632 18446744073709551615 4203330 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 63131 50406 5083 5 0 55008 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 252524
[startup+1.5009 s]
/proc/loadavg: 3.40 3.86 3.73 5/190 32419
/proc/meminfo: memFree=13029744/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=254000 CPUtime=1.49 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 63054 0 0 0 143 6 0 0 25 0 1 0 566725994 260096000 55895 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 63500 55895 102 5 0 61971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 254000
[startup+3.10069 s]
/proc/loadavg: 3.45 3.86 3.73 5/190 32419
/proc/meminfo: memFree=13027140/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=254528 CPUtime=3.09 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 63190 0 0 0 303 6 0 0 25 0 1 0 566725994 260636672 56031 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 63632 56031 102 5 0 62103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 254528
[startup+6.30113 s]
/proc/loadavg: 3.45 3.86 3.73 5/190 32419
/proc/meminfo: memFree=13026144/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=254528 CPUtime=6.29 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 63205 0 0 0 623 6 0 0 25 0 1 0 566725994 260636672 56046 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 63632 56046 102 5 0 62103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 254528
[startup+12.7009 s]
/proc/loadavg: 3.50 3.86 3.73 5/190 32419
/proc/meminfo: memFree=13025624/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=254528 CPUtime=12.69 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 63205 0 0 0 1263 6 0 0 25 0 1 0 566725994 260636672 56046 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 63632 56046 102 5 0 62103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 254528
[startup+25.5008 s]
/proc/loadavg: 3.61 3.87 3.74 5/190 32419
/proc/meminfo: memFree=13024268/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=254528 CPUtime=25.49 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 63205 0 0 0 2543 6 0 0 25 0 1 0 566725994 260636672 56046 33554432000 4194304 4210924 140735477247632 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 63632 56046 102 5 0 62103 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 254528
[startup+51.1003 s]
/proc/loadavg: 3.74 3.87 3.74 5/190 32420
/proc/meminfo: memFree=13020512/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=254528 CPUtime=51.09 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 63205 0 0 0 5103 6 0 0 25 0 1 0 566725994 260636672 56046 33554432000 4194304 4210924 140735477247632 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 63632 56046 102 5 0 62103 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 254528
[startup+102.307 s]
/proc/loadavg: 3.89 3.89 3.75 5/190 32421
/proc/meminfo: memFree=12993840/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=262812 CPUtime=102.29 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 65271 0 0 0 10223 6 0 0 25 0 1 0 566725994 269119488 58112 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 65703 58112 104 5 0 64174 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 262812
[startup+162.301 s]
/proc/loadavg: 3.96 3.91 3.76 5/190 32423
/proc/meminfo: memFree=12969140/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=266964 CPUtime=162.29 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 66322 0 0 0 16222 7 0 0 25 0 1 0 566725994 273371136 59163 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 66741 59163 104 5 0 65212 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 266964
[startup+222.3 s]
/proc/loadavg: 4.06 3.94 3.78 5/190 32424
/proc/meminfo: memFree=12942324/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=281404 CPUtime=222.29 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 69935 0 0 0 22222 7 0 0 25 0 1 0 566725994 288157696 62776 33554432000 4194304 4210924 140735477247632 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 70351 62776 104 5 0 68822 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 281404
[startup+282.301 s]
/proc/loadavg: 4.02 3.95 3.79 5/190 32426
/proc/meminfo: memFree=12912908/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=290992 CPUtime=282.3 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 72326 0 0 0 28222 8 0 0 25 0 1 0 566725994 297975808 65167 33554432000 4194304 4210924 140735477247632 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 72748 65167 104 5 0 71219 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 290992
[startup+342.3 s]
/proc/loadavg: 4.01 3.95 3.80 5/190 32437
/proc/meminfo: memFree=12891836/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=297752 CPUtime=342.29 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 74014 0 0 0 34221 8 0 0 25 0 1 0 566725994 304898048 66855 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 74438 66855 104 5 0 72909 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 297752
[startup+402.301 s]
/proc/loadavg: 4.03 3.97 3.82 5/190 32438
/proc/meminfo: memFree=12874076/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=308504 CPUtime=402.3 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 76701 0 0 0 40221 9 0 0 25 0 1 0 566725994 315908096 69542 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204565 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 77126 69542 104 5 0 75597 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 308504
[startup+462.3 s]
/proc/loadavg: 4.01 3.97 3.83 5/190 32440
/proc/meminfo: memFree=12857300/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=308916 CPUtime=462.3 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 76796 0 0 0 46221 9 0 0 25 0 1 0 566725994 316329984 69637 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 77229 69637 104 5 0 75700 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 308916
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.83 5/190 32441
/proc/meminfo: memFree=12840276/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=309860 CPUtime=522.3 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 77026 0 0 0 52221 9 0 0 25 0 1 0 566725994 317296640 69867 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 77465 69867 104 5 0 75936 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 309860
[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.84 5/190 32443
/proc/meminfo: memFree=12821636/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=310940 CPUtime=582.3 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 77325 0 0 0 58221 9 0 0 25 0 1 0 566725994 318402560 70166 33554432000 4194304 4210924 140735477247632 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 77735 70166 104 5 0 76206 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 310940
[startup+642.301 s]
/proc/loadavg: 4.00 3.97 3.84 5/190 32445
/proc/meminfo: memFree=12787132/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=325188 CPUtime=642.3 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 80905 0 0 0 64221 9 0 0 25 0 1 0 566725994 332992512 73746 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 81297 73746 104 5 0 79768 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 325188
[startup+702.3 s]
/proc/loadavg: 4.06 3.99 3.85 5/190 32446
/proc/meminfo: memFree=12761056/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=341480 CPUtime=702.3 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 84975 0 0 0 70220 10 0 0 25 0 1 0 566725994 349675520 77816 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 85370 77816 104 5 0 83841 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 341480
[startup+762.307 s]
/proc/loadavg: 4.02 3.99 3.86 5/190 32448
/proc/meminfo: memFree=12730024/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=349996 CPUtime=762.31 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 87097 0 0 0 76220 11 0 0 25 0 1 0 566725994 358395904 79938 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 87499 79938 104 5 0 85970 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 349996
[startup+822.3 s]
/proc/loadavg: 4.05 4.00 3.87 5/190 32449
/proc/meminfo: memFree=12701496/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=365644 CPUtime=822.31 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 91014 0 0 0 82219 12 0 0 25 0 1 0 566725994 374419456 83855 33554432000 4194304 4210924 140735477247632 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 91411 83855 104 5 0 89882 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 365644
[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.88 5/190 32451
/proc/meminfo: memFree=12686600/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=368492 CPUtime=882.31 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 91738 0 0 0 88219 12 0 0 25 0 1 0 566725994 377335808 84579 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 92123 84579 104 5 0 90594 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 368492
[startup+942.3 s]
/proc/loadavg: 4.05 4.01 3.89 5/190 32453
/proc/meminfo: memFree=12659168/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=376616 CPUtime=942.31 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 93762 0 0 0 94219 12 0 0 25 0 1 0 566725994 385654784 86603 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 94154 86603 104 5 0 92625 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 376616
[startup+1002.3 s]
/proc/loadavg: 4.01 4.01 3.89 5/190 32454
/proc/meminfo: memFree=12626284/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=382176 CPUtime=1002.31 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 95162 0 0 0 100218 13 0 0 25 0 1 0 566725994 391348224 88003 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 95544 88003 104 5 0 94015 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 382176
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 32456
/proc/meminfo: memFree=12606764/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=392656 CPUtime=1062.31 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 97755 0 0 0 106218 13 0 0 25 0 1 0 566725994 402079744 90596 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 98164 90596 104 5 0 96635 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 392656
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 32457
/proc/meminfo: memFree=12585028/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=403680 CPUtime=1122.31 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 100526 0 0 0 112217 14 0 0 25 0 1 0 566725994 413368320 93367 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 100920 93367 104 5 0 99391 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 403680
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/190 32459
/proc/meminfo: memFree=12568264/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=407000 CPUtime=1182.32 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 101356 0 0 0 118218 14 0 0 25 0 1 0 566725994 416768000 94197 33554432000 4194304 4210924 140735477247632 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 101750 94197 104 5 0 100221 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 407000
[startup+1242.3 s]
/proc/loadavg: 4.08 4.02 3.91 5/190 32461
/proc/meminfo: memFree=12555456/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=411880 CPUtime=1242.32 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 102580 0 0 0 124218 14 0 0 25 0 1 0 566725994 421765120 95421 33554432000 4194304 4210924 140735477247632 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 102970 95421 104 5 0 101441 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 411880
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 4.01 3.91 2/184 32465
/proc/meminfo: memFree=13445064/32950940 swapFree=67111528/67111528
[pid=32418] ppid=32416 vsize=411880 CPUtime=1300.02 cores=4,6
/proc/32418/stat : 32418 (saturn) R 32416 32418 31561 0 -1 4202496 102595 0 0 0 129988 14 0 0 25 0 1 0 566725994 421765120 95436 33554432000 4194304 4210924 140735477247632 18446744073709551615 4207008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32418/statm: 102970 95436 104 5 0 101441 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 411880
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.02
CPU time (s): 1300.05
CPU user time (s): 1299.89
CPU system time (s): 0.162975
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 411880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.89
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102595
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= 1636
runsolver used 2.03369 second user time and 5.09922 second system time
The end
Begin job on node117 at 2011-04-25 22:55:52
IDJOB=3283581
IDBENCH=71050
IDSOLVER=1583
FILE ID=node117/3283581-1303764951
RUNJOBID= node117-1303764951-32376
PBS_JOBID= 13157146
Free space on /tmp= 71444 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283581-1303764951/watcher-3283581-1303764951 -o /tmp/evaluation-result-3283581-1303764951/solver-3283581-1303764951 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283581-1303764951.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 9573f6b4001373bab93d1a02f96820d1
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: 13525032 kB
Buffers: 2322428 kB
Cached: 16170804 kB
SwapCached: 0 kB
Active: 10898592 kB
Inactive: 7966092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950940 kB
LowFree: 13525032 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 94044 kB
Writeback: 0 kB
AnonPages: 370180 kB
Mapped: 43836 kB
Slab: 496572 kB
PageTables: 5496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586996 kB
Committed_AS: 706108 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= 71512 MiB
End job on node117 at 2011-04-25 23:17:34