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-3251238-1303587146/watcher-3251238-1303587146 -o /tmp/evaluation-result-3251238-1303587146/solver-3251238-1303587146 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251238-1303587146.cnf
running on 2 cores: 1,3
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 5/184 28581
/proc/meminfo: memFree=19131460/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=83284 CPUtime=0 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 470314274 85282816 455 33554432000 4194304 4210924 140736071813536 18446744073709551615 210646807237 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 20821 457 113 5 0 15632 0
[startup+0.051011 s]
/proc/loadavg: 1.69 1.96 2.36 5/184 28581
/proc/meminfo: memFree=19131460/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=93712 CPUtime=0.04 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 4541 0 0 0 4 0 0 0 21 0 1 0 470314274 95961088 4483 33554432000 4194304 4210924 140736071813536 18446744073709551615 4203203 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 23428 4487 476 5 0 18239 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 93712
[startup+0.101023 s]
/proc/loadavg: 1.69 1.96 2.36 5/184 28581
/proc/meminfo: memFree=19131460/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=105328 CPUtime=0.08 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 9086 0 0 0 8 0 0 0 21 0 1 0 470314274 107855872 9028 33554432000 4194304 4210924 140736071813536 18446744073709551615 210646807237 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 26365 9031 863 5 0 21176 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 105328
[startup+0.300968 s]
/proc/loadavg: 1.69 1.96 2.36 5/184 28581
/proc/meminfo: memFree=19131460/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=151924 CPUtime=0.28 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 27132 0 0 0 26 2 0 0 22 0 1 0 470314274 155570176 27074 33554432000 4194304 4210924 140736071813536 18446744073709551615 4202979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 37981 27077 2443 5 0 32792 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 151924
[startup+0.700912 s]
/proc/loadavg: 1.69 1.96 2.36 5/184 28581
/proc/meminfo: memFree=19131460/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=173320 CPUtime=0.69 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 41220 0 0 0 65 4 0 0 24 0 1 0 470314274 177479680 37502 33554432000 4194304 4210924 140736071813536 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 43330 37502 101 5 0 41801 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 173320
[startup+1.50077 s]
/proc/loadavg: 1.69 1.96 2.36 5/188 28588
/proc/meminfo: memFree=18855404/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=173856 CPUtime=1.49 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 41336 0 0 0 145 4 0 0 25 0 1 0 470314274 178028544 37618 33554432000 4194304 4210924 140736071813536 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 43464 37618 101 5 0 41935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 173856
[startup+3.1005 s]
/proc/loadavg: 1.69 1.96 2.36 5/188 28588
/proc/meminfo: memFree=18852432/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=174120 CPUtime=3.09 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 41403 0 0 0 305 4 0 0 25 0 1 0 470314274 178298880 37685 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 43530 37685 101 5 0 42001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174120
[startup+6.30096 s]
/proc/loadavg: 1.88 1.99 2.37 7/188 28588
/proc/meminfo: memFree=18847488/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=174916 CPUtime=6.29 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 41631 0 0 0 625 4 0 0 25 0 1 0 470314274 179113984 37913 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 43729 37913 101 5 0 42200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174916
[startup+12.7008 s]
/proc/loadavg: 2.21 2.06 2.39 5/188 28588
/proc/meminfo: memFree=18841956/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=176508 CPUtime=12.49 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 41998 0 0 0 1242 7 0 0 25 0 1 0 470314274 180744192 38280 33554432000 4194304 4210924 140736071813536 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28581/statm: 44127 38280 101 5 0 42598 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 176508
[startup+25.5007 s]
/proc/loadavg: 2.74 2.18 2.42 5/188 28589
/proc/meminfo: memFree=18836060/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=178104 CPUtime=25.03 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 42408 0 0 0 2495 8 0 0 25 0 1 0 470314274 182378496 38690 33554432000 4194304 4210924 140736071813536 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 44526 38690 101 5 0 42997 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 178104
[startup+51.1004 s]
/proc/loadavg: 3.17 2.33 2.46 5/188 28589
/proc/meminfo: memFree=18826924/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=180252 CPUtime=50.6 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 42945 0 0 0 5048 12 0 0 25 0 1 0 470314274 184578048 39227 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 45063 39227 102 5 0 43534 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 180252
[startup+102.307 s]
/proc/loadavg: 3.64 2.58 2.54 5/188 28591
/proc/meminfo: memFree=18814092/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=183044 CPUtime=101.8 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 43649 0 0 0 10167 13 0 0 25 0 1 0 470314274 187437056 39931 33554432000 4194304 4210924 140736071813536 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 45761 39931 102 5 0 44232 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 183044
[startup+162.301 s]
/proc/loadavg: 3.87 2.84 2.63 5/188 28592
/proc/meminfo: memFree=18800792/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=186364 CPUtime=161.8 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 44470 0 0 0 16166 14 0 0 25 0 1 0 470314274 190836736 40752 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 46591 40752 102 5 0 45062 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 186364
[startup+222.301 s]
/proc/loadavg: 3.95 3.05 2.71 5/188 28593
/proc/meminfo: memFree=18788612/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=189692 CPUtime=221.8 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 45330 0 0 0 22166 14 0 0 25 0 1 0 470314274 194244608 41612 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 47423 41612 102 5 0 45894 0
Current children cumulated CPU time (s) 221.8
Current children cumulated vsize (KiB) 189692
[startup+282.3 s]
/proc/loadavg: 4.06 3.23 2.80 5/188 28595
/proc/meminfo: memFree=18784128/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=192336 CPUtime=281.79 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 45965 0 0 0 28165 14 0 0 25 0 1 0 470314274 196952064 42247 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 48084 42247 102 5 0 46555 0
Current children cumulated CPU time (s) 281.79
Current children cumulated vsize (KiB) 192336
[startup+342.3 s]
/proc/loadavg: 4.07 3.39 2.87 5/188 28597
/proc/meminfo: memFree=18776660/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=194320 CPUtime=341.8 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 46466 0 0 0 34165 15 0 0 25 0 1 0 470314274 198983680 42748 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 48580 42748 102 5 0 47051 0
Current children cumulated CPU time (s) 341.8
Current children cumulated vsize (KiB) 194320
[startup+402.3 s]
/proc/loadavg: 4.02 3.49 2.94 5/188 28599
/proc/meminfo: memFree=18770420/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=196968 CPUtime=401.8 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 47127 0 0 0 40165 15 0 0 25 0 1 0 470314274 201695232 43409 33554432000 4194304 4210924 140736071813536 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 49242 43409 102 5 0 47713 0
Current children cumulated CPU time (s) 401.8
Current children cumulated vsize (KiB) 196968
[startup+462.301 s]
/proc/loadavg: 4.01 3.58 3.01 5/188 28600
/proc/meminfo: memFree=18762688/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=199360 CPUtime=461.81 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 47723 0 0 0 46165 16 0 0 25 0 1 0 470314274 204144640 44005 33554432000 4194304 4210924 140736071813536 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 49840 44005 102 5 0 48311 0
Current children cumulated CPU time (s) 461.81
Current children cumulated vsize (KiB) 199360
[startup+522.301 s]
/proc/loadavg: 4.00 3.66 3.06 5/188 28601
/proc/meminfo: memFree=18757332/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=201624 CPUtime=521.81 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 48300 0 0 0 52165 16 0 0 25 0 1 0 470314274 206462976 44582 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 50406 44582 102 5 0 48877 0
Current children cumulated CPU time (s) 521.81
Current children cumulated vsize (KiB) 201624
[startup+582.301 s]
/proc/loadavg: 4.00 3.72 3.12 5/188 28603
/proc/meminfo: memFree=18751956/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=204016 CPUtime=581.8 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 48903 0 0 0 58164 16 0 0 25 0 1 0 470314274 208912384 45185 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 51004 45185 102 5 0 49475 0
Current children cumulated CPU time (s) 581.8
Current children cumulated vsize (KiB) 204016
[startup+642.301 s]
/proc/loadavg: 4.00 3.77 3.17 5/188 28605
/proc/meminfo: memFree=18746956/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=205740 CPUtime=641.81 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 49337 0 0 0 64165 16 0 0 25 0 1 0 470314274 210677760 45619 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 51435 45619 102 5 0 49906 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 205740
[startup+702.301 s]
/proc/loadavg: 4.00 3.81 3.22 5/188 28607
/proc/meminfo: memFree=18741484/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=207072 CPUtime=701.8 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 49671 0 0 0 70164 16 0 0 25 0 1 0 470314274 212041728 45953 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 51768 45953 102 5 0 50239 0
Current children cumulated CPU time (s) 701.8
Current children cumulated vsize (KiB) 207072
[startup+762.307 s]
/proc/loadavg: 4.00 3.84 3.27 5/188 28608
/proc/meminfo: memFree=18737240/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=208668 CPUtime=761.81 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50059 0 0 0 76165 16 0 0 25 0 1 0 470314274 213676032 46341 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52167 46341 103 5 0 50638 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 208668
[startup+822.3 s]
/proc/loadavg: 4.00 3.86 3.31 5/188 28609
/proc/meminfo: memFree=18734348/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=209732 CPUtime=821.81 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50333 0 0 0 82164 17 0 0 25 0 1 0 470314274 214765568 46615 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52433 46615 103 5 0 50904 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 209732
[startup+882.3 s]
/proc/loadavg: 4.00 3.89 3.35 5/188 28611
/proc/meminfo: memFree=18731848/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=209732 CPUtime=881.81 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50349 0 0 0 88164 17 0 0 25 0 1 0 470314274 214765568 46631 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52433 46631 103 5 0 50904 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 209732
[startup+942.3 s]
/proc/loadavg: 4.09 3.93 3.40 5/188 28613
/proc/meminfo: memFree=18730092/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=209844 CPUtime=941.81 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50355 0 0 0 94164 17 0 0 25 0 1 0 470314274 214880256 46637 33554432000 4194304 4210924 140736071813536 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52461 46637 103 5 0 50932 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 209844
[startup+1002.3 s]
/proc/loadavg: 4.03 3.94 3.43 5/188 28615
/proc/meminfo: memFree=18727712/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=209844 CPUtime=1001.82 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50359 0 0 0 100165 17 0 0 25 0 1 0 470314274 214880256 46641 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52461 46641 103 5 0 50932 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 209844
[startup+1062.3 s]
/proc/loadavg: 4.01 3.95 3.47 5/188 28616
/proc/meminfo: memFree=18724716/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=209844 CPUtime=1061.82 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50359 0 0 0 106165 17 0 0 25 0 1 0 470314274 214880256 46641 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52461 46641 103 5 0 50932 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 209844
[startup+1122.3 s]
/proc/loadavg: 4.00 3.96 3.50 5/188 28617
/proc/meminfo: memFree=18722592/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=209844 CPUtime=1121.82 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50359 0 0 0 112165 17 0 0 25 0 1 0 470314274 214880256 46641 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52461 46641 103 5 0 50932 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 209844
[startup+1182.3 s]
/proc/loadavg: 4.04 3.97 3.53 5/188 28619
/proc/meminfo: memFree=18721820/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=209844 CPUtime=1181.82 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50359 0 0 0 118165 17 0 0 25 0 1 0 470314274 214880256 46641 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52461 46641 103 5 0 50932 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 209844
[startup+1242.3 s]
/proc/loadavg: 4.01 3.97 3.56 5/188 28621
/proc/meminfo: memFree=18719452/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=209844 CPUtime=1241.82 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50359 0 0 0 124165 17 0 0 25 0 1 0 470314274 214880256 46641 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52461 46641 103 5 0 50932 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 209844
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.58 3/184 28625
/proc/meminfo: memFree=18823360/32951132 swapFree=67111524/67111528
[pid=28581] ppid=28579 vsize=211164 CPUtime=1299.52 cores=1,3
/proc/28581/stat : 28581 (saturn) R 28579 28581 28246 0 -1 4202496 50695 0 0 0 129935 17 0 0 25 0 1 0 470314274 216231936 46977 33554432000 4194304 4210924 140736071813536 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28581/statm: 52791 46977 103 5 0 51262 0
Current children cumulated CPU time (s) 1299.52
Current children cumulated vsize (KiB) 211164
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): 1299.54
CPU user time (s): 1299.36
CPU system time (s): 0.183972
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 211164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.36
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50695
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= 1707
runsolver used 2.11368 second user time and 5.03123 second system time
The end
Begin job on node129 at 2011-04-23 21:32:27
IDJOB=3251238
IDBENCH=88217
IDSOLVER=1583
FILE ID=node129/3251238-1303587146
RUNJOBID= node129-1303587146-28547
PBS_JOBID= 13150362
Free space on /tmp= 66356 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251238-1303587146/watcher-3251238-1303587146 -o /tmp/evaluation-result-3251238-1303587146/solver-3251238-1303587146 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3251238-1303587146.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= b23c52475e3d098cb9d5a92c025d6982
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: 19131996 kB
Buffers: 1201816 kB
Cached: 11818544 kB
SwapCached: 4 kB
Active: 1742316 kB
Inactive: 11415880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 19131996 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 30420 kB
Writeback: 0 kB
AnonPages: 136848 kB
Mapped: 15560 kB
Slab: 598028 kB
PageTables: 5112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 308548 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= 66360 MiB
End job on node129 at 2011-04-23 21:54:09