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-3251194-1303587146/watcher-3251194-1303587146 -o /tmp/evaluation-result-3251194-1303587146/solver-3251194-1303587146 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251194-1303587146.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: 1.69 1.96 2.36 2/174 28561
/proc/meminfo: memFree=19228980/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=31704 CPUtime=0 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 675 0 0 0 0 0 0 0 23 0 1 0 470314234 32464896 617 33554432000 4194304 4210924 140736591745840 18446744073709551615 210646807237 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 7926 619 129 5 0 5264 0
[startup+0.046684 s]
/proc/loadavg: 1.69 1.96 2.36 2/174 28561
/proc/meminfo: memFree=19228980/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=40416 CPUtime=0.03 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 4049 0 0 0 3 0 0 0 23 0 1 0 470314234 41385984 3991 33554432000 4194304 4210924 140736591745840 18446744073709551615 210646807237 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 10104 3994 423 5 0 7442 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 40416
[startup+0.100677 s]
/proc/loadavg: 1.69 1.96 2.36 2/174 28561
/proc/meminfo: memFree=19228980/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=52032 CPUtime=0.09 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 8546 0 0 0 8 1 0 0 23 0 1 0 470314234 53280768 8488 33554432000 4194304 4210924 140736591745840 18446744073709551615 210646807237 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 13008 8491 805 5 0 10346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52032
[startup+0.300645 s]
/proc/loadavg: 1.69 1.96 2.36 2/174 28561
/proc/meminfo: memFree=19228980/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=59644 CPUtime=0.29 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 13273 0 0 0 27 2 0 0 24 0 1 0 470314234 61075456 12082 33554432000 4194304 4210924 140736591745840 18446744073709551615 4207004 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 14911 12082 101 5 0 13382 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59644
[startup+0.700582 s]
/proc/loadavg: 1.69 1.96 2.36 2/174 28561
/proc/meminfo: memFree=19228980/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=60040 CPUtime=0.69 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 13371 0 0 0 67 2 0 0 25 0 1 0 470314234 61480960 12180 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 15010 12180 101 5 0 13481 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60040
[startup+1.50045 s]
/proc/loadavg: 1.69 1.96 2.36 5/188 28588
/proc/meminfo: memFree=18856892/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=60304 CPUtime=1.49 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 13411 0 0 0 147 2 0 0 25 0 1 0 470314234 61751296 12220 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 15076 12220 101 5 0 13547 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60304
[startup+3.10118 s]
/proc/loadavg: 1.69 1.96 2.36 5/188 28588
/proc/meminfo: memFree=18852928/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=60832 CPUtime=3.09 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 13545 0 0 0 307 2 0 0 25 0 1 0 470314234 62291968 12354 33554432000 4194304 4210924 140736591745840 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 15208 12354 101 5 0 13679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60832
[startup+6.57609 s]
/proc/loadavg: 1.88 1.99 2.37 5/188 28588
/proc/meminfo: memFree=18850580/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=61624 CPUtime=6.59 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 13741 0 0 0 657 2 0 0 25 0 1 0 470314234 63102976 12550 33554432000 4194304 4210924 140736591745840 18446744073709551615 4199396 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 15406 12554 101 5 0 13877 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 61624
[startup+12.7005 s]
/proc/loadavg: 2.21 2.06 2.39 5/188 28588
/proc/meminfo: memFree=18842204/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=62680 CPUtime=12.69 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 14016 0 0 0 1265 4 0 0 25 0 1 0 470314234 64184320 12825 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198763 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 15670 12825 101 5 0 14141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62680
[startup+25.5004 s]
/proc/loadavg: 2.74 2.18 2.42 5/188 28589
/proc/meminfo: memFree=18836436/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=64528 CPUtime=25.49 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 14484 0 0 0 2544 5 0 0 25 0 1 0 470314234 66076672 13293 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 16132 13293 101 5 0 14603 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64528
[startup+51.1011 s]
/proc/loadavg: 3.17 2.33 2.46 5/188 28589
/proc/meminfo: memFree=18827544/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=66900 CPUtime=51.08 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 15079 0 0 0 5103 5 0 0 25 0 1 0 470314234 68505600 13888 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 16725 13888 102 5 0 15196 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66900
[startup+102.3 s]
/proc/loadavg: 3.64 2.58 2.54 5/188 28591
/proc/meminfo: memFree=18814340/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=70192 CPUtime=102.27 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 15902 0 0 0 10221 6 0 0 25 0 1 0 470314234 71876608 14711 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 17548 14711 102 5 0 16019 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70192
[startup+162.3 s]
/proc/loadavg: 3.87 2.84 2.63 5/188 28592
/proc/meminfo: memFree=18800916/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=73492 CPUtime=162.26 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 16744 0 0 0 16220 6 0 0 25 0 1 0 470314234 75255808 15553 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 18373 15553 102 5 0 16844 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 73492
[startup+222.301 s]
/proc/loadavg: 3.95 3.05 2.71 5/188 28593
/proc/meminfo: memFree=18789108/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=76528 CPUtime=222.26 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 17478 0 0 0 22220 6 0 0 25 0 1 0 470314234 78364672 16287 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 19132 16287 102 5 0 17603 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 76528
[startup+282.301 s]
/proc/loadavg: 4.06 3.23 2.80 5/188 28595
/proc/meminfo: memFree=18784128/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=76788 CPUtime=282.26 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 17542 0 0 0 28220 6 0 0 25 0 1 0 470314234 78630912 16351 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 19197 16351 102 5 0 17668 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 76788
[startup+342.301 s]
/proc/loadavg: 4.07 3.39 2.87 5/188 28597
/proc/meminfo: memFree=18776784/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=77976 CPUtime=342.26 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 17841 0 0 0 34219 7 0 0 25 0 1 0 470314234 79847424 16650 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 19494 16650 102 5 0 17965 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 77976
[startup+402.307 s]
/proc/loadavg: 4.02 3.49 2.94 5/188 28599
/proc/meminfo: memFree=18770172/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=78372 CPUtime=402.26 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 17960 0 0 0 40219 7 0 0 25 0 1 0 470314234 80252928 16769 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 19593 16769 102 5 0 18064 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 78372
[startup+462.301 s]
/proc/loadavg: 4.01 3.58 3.01 5/188 28600
/proc/meminfo: memFree=18762688/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=79956 CPUtime=462.25 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 18343 0 0 0 46218 7 0 0 25 0 1 0 470314234 81874944 17152 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28561/statm: 19989 17152 102 5 0 18460 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 79956
[startup+522.301 s]
/proc/loadavg: 4.00 3.66 3.06 5/188 28601
/proc/meminfo: memFree=18757208/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=80480 CPUtime=522.23 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 18486 0 0 0 52216 7 0 0 25 0 1 0 470314234 82411520 17295 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 20120 17295 102 5 0 18591 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 80480
[startup+582.301 s]
/proc/loadavg: 4.00 3.72 3.12 5/188 28603
/proc/meminfo: memFree=18752080/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=81272 CPUtime=582.23 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 18692 0 0 0 58216 7 0 0 25 0 1 0 470314234 83222528 17501 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 20318 17501 102 5 0 18789 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 81272
[startup+642.3 s]
/proc/loadavg: 4.00 3.77 3.17 5/188 28605
/proc/meminfo: memFree=18746956/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=82320 CPUtime=642.22 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 18942 0 0 0 64214 8 0 0 25 0 1 0 470314234 84295680 17751 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 20580 17751 102 5 0 19051 0
Current children cumulated CPU time (s) 642.22
Current children cumulated vsize (KiB) 82320
[startup+702.3 s]
/proc/loadavg: 4.00 3.81 3.22 5/188 28607
/proc/meminfo: memFree=18741484/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=82584 CPUtime=702.22 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 18995 0 0 0 70214 8 0 0 25 0 1 0 470314234 84566016 17804 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 20646 17804 102 5 0 19117 0
Current children cumulated CPU time (s) 702.22
Current children cumulated vsize (KiB) 82584
[startup+762.3 s]
/proc/loadavg: 4.00 3.84 3.27 5/188 28608
/proc/meminfo: memFree=18737240/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=82976 CPUtime=762.22 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 19094 0 0 0 76214 8 0 0 25 0 1 0 470314234 84967424 17903 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 20744 17903 102 5 0 19215 0
Current children cumulated CPU time (s) 762.22
Current children cumulated vsize (KiB) 82976
[startup+822.301 s]
/proc/loadavg: 4.00 3.86 3.31 5/188 28609
/proc/meminfo: memFree=18734348/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=83504 CPUtime=822.21 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 19253 0 0 0 82213 8 0 0 25 0 1 0 470314234 85508096 18062 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 20876 18062 102 5 0 19347 0
Current children cumulated CPU time (s) 822.21
Current children cumulated vsize (KiB) 83504
[startup+882.301 s]
/proc/loadavg: 4.00 3.89 3.35 5/188 28611
/proc/meminfo: memFree=18731848/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=84428 CPUtime=882.21 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 19481 0 0 0 88212 9 0 0 25 0 1 0 470314234 86454272 18290 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21107 18290 102 5 0 19578 0
Current children cumulated CPU time (s) 882.21
Current children cumulated vsize (KiB) 84428
[startup+942.301 s]
/proc/loadavg: 4.09 3.93 3.40 5/188 28613
/proc/meminfo: memFree=18730092/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=84560 CPUtime=942.21 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 19503 0 0 0 94212 9 0 0 25 0 1 0 470314234 86589440 18312 33554432000 4194304 4210924 140736591745840 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21140 18312 102 5 0 19611 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 84560
[startup+1002.3 s]
/proc/loadavg: 4.03 3.94 3.43 5/188 28615
/proc/meminfo: memFree=18727836/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=85472 CPUtime=1002.21 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 19745 0 0 0 100212 9 0 0 25 0 1 0 470314234 87523328 18554 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21368 18554 102 5 0 19839 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 85472
[startup+1062.31 s]
/proc/loadavg: 4.01 3.95 3.47 5/188 28616
/proc/meminfo: memFree=18724716/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=86264 CPUtime=1062.21 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 19945 0 0 0 106212 9 0 0 25 0 1 0 470314234 88334336 18754 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21566 18754 102 5 0 20037 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 86264
[startup+1122.3 s]
/proc/loadavg: 4.00 3.96 3.50 5/188 28617
/proc/meminfo: memFree=18722592/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=86656 CPUtime=1122.19 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 20016 0 0 0 112210 9 0 0 25 0 1 0 470314234 88735744 18825 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21664 18825 102 5 0 20135 0
Current children cumulated CPU time (s) 1122.19
Current children cumulated vsize (KiB) 86656
[startup+1182.3 s]
/proc/loadavg: 4.04 3.97 3.53 5/188 28619
/proc/meminfo: memFree=18721820/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=86656 CPUtime=1182.19 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 20019 0 0 0 118210 9 0 0 25 0 1 0 470314234 88735744 18828 33554432000 4194304 4210924 140736591745840 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21664 18828 102 5 0 20135 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 86656
[startup+1242.3 s]
/proc/loadavg: 4.01 3.97 3.56 5/188 28621
/proc/meminfo: memFree=18719576/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=87316 CPUtime=1242.19 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 20204 0 0 0 124209 10 0 0 25 0 1 0 470314234 89411584 19013 33554432000 4194304 4210924 140736591745840 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21829 19013 103 5 0 20300 0
Current children cumulated CPU time (s) 1242.19
Current children cumulated vsize (KiB) 87316
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.58 5/188 28623
/proc/meminfo: memFree=18716440/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=87444 CPUtime=1299.89 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 20237 0 0 0 129979 10 0 0 25 0 1 0 470314234 89542656 19046 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21861 19046 103 5 0 20332 0
Current children cumulated CPU time (s) 1299.89
Current children cumulated vsize (KiB) 87444
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.00 3.97 3.58 5/188 28623
/proc/meminfo: memFree=18716440/32951132 swapFree=67111524/67111528
[pid=28561] ppid=28559 vsize=87444 CPUtime=1299.89 cores=0,2
/proc/28561/stat : 28561 (saturn) R 28559 28561 28246 0 -1 4202496 20237 0 0 0 129979 10 0 0 25 0 1 0 470314234 89542656 19046 33554432000 4194304 4210924 140736591745840 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28561/statm: 21861 19046 103 5 0 20332 0
Current children cumulated CPU time (s) 1299.89
Current children cumulated vsize (KiB) 87444
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1299.91
CPU user time (s): 1299.8
CPU system time (s): 0.109983
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 87448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.8
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20237
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= 7
involuntary context switches= 3593
runsolver used 2.67059 second user time and 6.16506 second system time
The end
Begin job on node129 at 2011-04-23 21:32:26
IDJOB=3251194
IDBENCH=88216
IDSOLVER=1583
FILE ID=node129/3251194-1303587146
RUNJOBID= node129-1303587146-28545
PBS_JOBID= 13150362
Free space on /tmp= 66380 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251194-1303587146/watcher-3251194-1303587146 -o /tmp/evaluation-result-3251194-1303587146/solver-3251194-1303587146 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251194-1303587146.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 556c58061360a1b195d9b2f28888af77
RANDOM SEED=1834946378
node129.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.831
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.66
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.831
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.83
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.831
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.831
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.82
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.831
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.74
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.831
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.83
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.831
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.831
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 19229640 kB
Buffers: 1201780 kB
Cached: 11791420 kB
SwapCached: 4 kB
Active: 1655000 kB
Inactive: 11406280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 19229640 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 4812 kB
Writeback: 0 kB
AnonPages: 67784 kB
Mapped: 14784 kB
Slab: 597768 kB
PageTables: 5112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 196552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66352 MiB
End job on node129 at 2011-04-23 21:54:08