0.00/0.01 c Outputting solution to console
0.00/0.01 c This is CryptoMiniSat 2.9.0
0.00/0.01 c compiled with gcc version 4.4.5
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3370661-1305380476.cnf'
0.00/0.01 c -- header says num vars: 756832
0.00/0.01 c -- header says num clauses: 4116966
1.18/1.21 c -- clauses added: 0 learnts, 4116966 normals, 0 xors
1.18/1.21 c -- vars added 756832
1.18/1.21 c Parsing time: 1.08 s
1.18/1.22 c N st 0 0 756832 25526 3002827 0 7134510 0 no data no data --
1.88/2.00 c asymm cl-useful: 1/386/23726 lits-rem:115 time: 0.77
10.88/10.97 c Flit: 261 Blit: 32470 bXBeca: 0 bXProp: 197 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.79
10.99/11.02 c Cleaning up after failed var search: 0.05 s
11.08/11.13 c Replacing 198 vars Replaced 3980 lits Time: 0.09 s
11.57/11.60 c bin-w-bin subsume rem 191 bins time: 0.31 s
12.87/12.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.37 s
16.87/16.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8919 time: 3.91 s
16.97/17.08 c Removed useless bin: 15067 fixed: 0 props: 20.02M time: 0.18 s
17.48/17.53 c lits-rem: 0 cl-subs: 7 v-elim: 191605 v-fix: 0 time: 0.45 s
18.17/18.26 c Finding binary XORs T: 0.73 s found: 26
18.27/18.34 c Replacing 26 vars Replaced 804 lits Time: 0.08 s
18.58/18.66 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
18.58/18.66 c calculated reachability. Time: 0.23
18.58/18.69 c Calc default polars - time: 0.04 s pos: 19070 undec: 519051 neg: 218711
18.58/18.69 c =========================================================================================
18.58/18.69 c types(t): F = full restart, N = normal restart
18.58/18.69 c types(t): S = simplification begin/end, E = solution found
18.58/18.69 c restart types(rt): st = static, dy = dynamic
18.58/18.69 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
18.58/18.69 c B st 0 0 383184 27757 2163184 0 5245582 0 no data no data --
30.07/30.15 c N dy 19 4047 383150 27757 2163224 3967 5245582 4387006 10.77 11.36 --
40.69/40.73 c N dy 39 8121 383147 27757 2163265 5514 5245582 2822563 11.24 13.30 --
49.57/49.68 c N dy 58 12185 383110 27757 2163318 5337 5245582 1544226 11.05 12.24 --
60.68/60.71 c N dy 82 16397 383108 27757 2163356 9469 5245582 5195611 11.36 11.97 --
72.17/72.28 c N dy 105 20526 383102 27757 2163378 8014 5245582 2457565 11.51 12.28 --
83.98/84.03 c N dy 128 24623 383098 27757 2163406 12052 5245582 6172077 11.61 12.32 --
85.08/85.11 c F st 130 25005 383098 27757 2163408 12430 5245582 6565109 11.59 10.71 --
102.38/102.40 c N dy 136 30000 383064 27753 2162560 10630 5243508 6589067 11.59 no data --
102.38/102.41 c S st 136 30000 383064 27753 2162560 10630 5243508 6589067 11.59 no data --
103.78/103.84 c S st 136 30503 383061 27753 2162573 11105 5243508 6901544 11.59 no data --
103.88/103.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
103.88/103.98 c Cache BProp: 24105 Set: 40 BXProp: 0 T: 0.04
116.98/117.03 c Flit: 196 Blit: 6168 bXBeca: 0 bXProp: 0 Bins: 21511 BRemL: 1 BRemN: 335 P: 200.1M T: 12.93
117.08/117.11 c Cleaning up after failed var search: 0.07 s
117.98/118.07 c bin-w-bin subsume rem 25 bins time: 0.14 s
119.68/119.70 c subs with bin: 77 lits-rem: 0 v-fix: 0 time: 1.63 s
121.38/121.42 c Subs w/ non-existent bins: 240 l-rem: 15 v-fix: 0 done: 78227 time: 1.70 s
121.58/121.63 c Removed useless bin: 968 fixed: 0 props: 20.01M time: 0.21 s
157.88/157.92 c lits-rem: 41 cl-subs: 831 v-elim: 92435 v-fix: 0 time: 36.30 s
158.18/158.25 c asymm cl-useful: 31/1032/27187 lits-rem:725 time: 0.33
158.88/158.98 c calculated reachability. Time: 0.69
158.88/158.99 c N dy 136 30503 284211 27187 2101610 10185 5058003 4927350 11.59 no data --
160.59/160.68 c Finding binary XORs T: 1.70 s found: 13
172.98/173.00 c N dy 153 34537 284201 27187 2101664 14126 5058003 8345901 11.45 12.08 --
185.68/185.71 c N dy 166 38646 284191 27187 2101701 10480 5058003 2580366 11.30 12.07 --
199.18/199.21 c N dy 187 42936 284151 27187 2101742 14699 5058001 6790094 11.23 11.91 --
210.58/210.66 c S st 202 45756 284133 27187 2101753 17488 5058001 9884214 11.24 8.77 --
211.98/212.04 c S st 202 46257 284128 27187 2101757 9209 5058001 852302 11.24 no data --
212.08/212.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
212.08/212.18 c Cache BProp: 30291 Set: 84 BXProp: 0 T: 0.05
230.68/230.74 c Flit: 353 Blit: 76 bXBeca: 0 bXProp: 0 Bins: 13126 BRemL: 0 BRemN: 0 P: 200.1M T: 18.43
230.68/230.75 c Cleaning up after failed var search: 0.00 s
230.88/230.91 c Replacing 13 vars Replaced 1173 lits Time: 0.13 s
231.18/231.20 c bin-w-bin subsume rem 6 bins time: 0.15 s
232.58/232.68 c subs with bin: 940 lits-rem: 0 v-fix: 0 time: 1.48 s
236.49/236.53 c Subs w/ non-existent bins: 815 l-rem: 224 v-fix: 0 done: 9038 time: 3.84 s
236.68/236.74 c Removed useless bin: 1006 fixed: 0 props: 20.01M time: 0.20 s
239.08/239.15 c lits-rem: 254 cl-subs: 396 v-elim: 1150 v-fix: 0 time: 2.41 s
239.28/239.38 c vivif2 -- cl tried 26778 cl shrink 3823 lits rem 10191 time: 0.23
239.48/239.52 c vivif2 -- cl tried 8641 cl shrink 331 lits rem 50181 time: 0.14
239.79/239.82 c asymm cl-useful: 24/1067/26774 lits-rem:251 time: 0.30
240.78/240.90 c calculated reachability. Time: 1.04
240.78/240.91 c N dy 202 46257 282452 26774 2105529 8618 5025012 756375 11.24 no data --
255.78/255.81 c N dy 215 50528 282410 26774 2105563 12813 5025012 4447604 11.10 11.68 --
269.18/269.21 c N dy 234 54594 282368 26774 2105600 16810 5025012 8096804 11.05 11.63 --
285.08/285.13 c N dy 249 58625 282363 26774 2105629 11134 5025012 2311604 11.05 11.72 --
296.59/296.61 c N dy 272 62663 282321 26774 2105673 15098 5025012 6037787 11.04 16.01 --
308.59/308.67 c N dy 302 66801 282313 26774 2105710 19180 5025012 10247577 11.17 11.81 --
316.88/316.91 c S st 323 69385 282292 26774 2105739 10983 5025012 865374 11.21 10.19 --
318.18/318.24 c S st 323 69886 282271 26774 2105744 11473 5025012 1026186 11.21 no data --
318.28/318.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
318.28/318.39 c Cache BProp: 28232 Set: 106 BXProp: 0 T: 0.06
328.98/329.05 c Flit: 283 Blit: 7668 bXBeca: 0 bXProp: 0 Bins: 19147 BRemL: 0 BRemN: 0 P: 200.0M T: 10.54
329.08/329.10 c Cleaning up after failed var search: 0.04 s
329.38/329.40 c bin-w-bin subsume rem 12 bins time: 0.14 s
330.78/330.89 c subs with bin: 463 lits-rem: 0 v-fix: 0 time: 1.49 s
334.78/334.85 c Subs w/ non-existent bins: 966 l-rem: 157 v-fix: 0 done: 10174 time: 3.96 s
334.98/335.06 c Removed useless bin: 1568 fixed: 0 props: 20.03M time: 0.21 s
337.48/337.54 c lits-rem: 170 cl-subs: 1248 v-elim: 5543 v-fix: 0 time: 2.48 s
337.78/337.84 c vivif2 -- cl tried 28235 cl shrink 1980 lits rem 4474 time: 0.30
337.98/338.01 c vivif2 -- cl tried 10000 cl shrink 325 lits rem 29785 time: 0.17
338.28/338.30 c asymm cl-useful: 4/1431/28235 lits-rem:11 time: 0.29
339.58/339.64 c calculated reachability. Time: 1.31
339.58/339.65 c N dy 323 69886 268670 28235 2025227 9974 4817729 682346 11.21 no data --
342.98/343.02 c Finding binary XORs T: 3.37 s found: 0
364.29/364.34 c N dy 346 75680 268590 28235 2025279 15664 4817729 6855148 11.13 12.00 --
382.38/382.44 c N dy 372 80821 268576 28235 2025315 20724 4817729 12211952 11.17 12.19 --
398.39/398.44 c N dy 394 86129 268567 28235 2025360 14447 4817729 3186004 11.14 11.74 --
404.28/404.39 c F st 400 87501 268566 28235 2025368 15804 4817729 4906828 11.12 no data --
435.59/435.66 c N dy 406 92695 268496 28231 2024214 20836 4815167 12564019 11.12 no data --
457.98/458.09 c N dy 435 98811 268488 28231 2024273 14209 4815167 2140069 11.12 11.75 --
479.39/479.45 c S st 466 104830 268477 28231 2024340 20115 4815167 8555032 11.18 8.42 --
480.99/481.02 c S st 466 105332 268466 28231 2024345 20598 4815167 8860811 11.18 no data --
481.09/481.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
481.09/481.19 c Cache BProp: 34444 Set: 141 BXProp: 0 T: 0.07
490.88/490.96 c Flit: 994 Blit: 3477 bXBeca: 0 bXProp: 0 Bins: 7244 BRemL: 0 BRemN: 286 P: 200.0M T: 9.67
490.98/491.05 c Cleaning up after failed var search: 0.08 s
491.89/491.98 c bin-w-bin subsume rem 3 bins time: 0.14 s
493.59/493.62 c subs with bin: 581 lits-rem: 270 v-fix: 0 time: 1.63 s
495.18/495.27 c Subs w/ non-existent bins: 745 l-rem: 236 v-fix: 0 done: 3426 time: 1.64 s
495.38/495.48 c Removed useless bin: 1095 fixed: 0 props: 20.02M time: 0.20 s
502.08/502.17 c lits-rem: 155 cl-subs: 2093 v-elim: 2839 v-fix: 0 time: 6.70 s
502.48/502.51 c vivif2 -- cl tried 27941 cl shrink 1215 lits rem 2723 time: 0.34
503.09/503.16 c vivif2 -- cl tried 18287 cl shrink 1981 lits rem 689443 time: 0.65
503.39/503.47 c asymm cl-useful: 8/1429/27927 lits-rem:72 time: 0.30
505.09/505.13 c calculated reachability. Time: 1.62
505.09/505.13 c N dy 466 105332 260909 27924 1980793 18228 4694089 4700036 11.18 no data --
531.09/531.12 c N dy 496 112112 260781 27924 1980866 24872 4694089 11410937 11.14 12.47 --
554.99/555.04 c N dy 536 119313 260765 27924 1980928 18483 4694089 5621680 11.16 11.80 --
579.49/579.52 c N dy 566 126973 260749 27924 1980979 26026 4694089 12516000 11.10 11.73 --
605.49/605.59 c N dy 606 135093 260692 27924 1981062 19455 4694089 5078682 11.11 14.10 --
635.59/635.65 c N dy 654 143813 260660 27924 1981120 28058 4694089 13096764 11.16 17.46 --
666.30/666.35 c N dy 711 153139 260489 27924 1981172 22066 4694089 6830515 11.21 12.01 --
682.00/682.07 c S st 731 157998 260487 27924 1981190 26886 4694089 11312425 11.22 10.75 --
683.39/683.47 c S st 731 158501 260487 27924 1981196 27371 4694089 11537379 11.22 no data --
683.49/683.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
683.59/683.65 c Cache BProp: 35214 Set: 169 BXProp: 0 T: 0.08
697.29/697.32 c Flit: 426 Blit: 1834 bXBeca: 0 bXProp: 0 Bins: 11985 BRemL: 0 BRemN: 273 P: 200.1M T: 13.55
697.41/697.42 c Cleaning up after failed var search: 0.09 s
698.40/698.48 c bin-w-bin subsume rem 8 bins time: 0.14 s
700.19/700.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.72 s
702.59/702.67 c Subs w/ non-existent bins: 95 l-rem: 106 v-fix: 0 done: 44730 time: 2.47 s
702.80/702.88 c Removed useless bin: 1528 fixed: 0 props: 20.01M time: 0.21 s
719.40/719.45 c lits-rem: 100 cl-subs: 2044 v-elim: 1552 v-fix: 0 time: 16.57 s
719.79/719.83 c vivif2 -- cl tried 28011 cl shrink 656 lits rem 1337 time: 0.38
720.80/720.88 c vivif2 -- cl tried 24989 cl shrink 3472 lits rem 1402793 time: 1.05
721.20/721.21 c asymm cl-useful: 5/1389/27999 lits-rem:41 time: 0.33
723.20/723.20 c calculated reachability. Time: 1.96
723.20/723.21 c N dy 731 158501 256199 27997 1957714 24952 4614076 6976422 11.22 no data --
728.00/728.08 c Finding binary XORs T: 4.87 s found: 9
768.99/769.07 c N dy 779 169838 256130 27997 1957810 19974 4614076 5304133 11.21 11.87 --
802.59/802.64 c N dy 839 180776 256099 27997 1957899 30750 4614076 15133178 11.25 12.22 --
840.09/840.14 c N dy 903 192483 256068 27997 1957972 25273 4614076 7947852 11.27 12.23 --
883.00/883.01 c N dy 968 204792 255975 27997 1958052 37431 4614076 19769244 11.27 11.90 --
928.20/928.28 c N dy 1038 218033 255938 27997 1958138 32557 4614074 12796273 11.28 12.33 --
973.30/973.35 c N dy 1135 232101 255904 27997 1958221 27634 4614074 5729597 11.41 12.07 --
994.00/994.05 c S st 1166 237751 255884 27997 1958252 33218 4614074 11179212 11.42 8.86 --
995.41/995.51 c S st 1166 238253 255646 27997 1958256 33707 4614074 11423065 11.42 no data --
995.60/995.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
995.60/995.69 c Cache BProp: 33925 Set: 183 BXProp: 0 T: 0.08
1004.80/1004.85 c Flit: 913 Blit: 3319 bXBeca: 0 bXProp: 0 Bins: 13722 BRemL: 0 BRemN: 272 P: 200.1M T: 9.03
1004.90/1004.96 c Cleaning up after failed var search: 0.10 s
1005.10/1005.10 c Replacing 9 vars Replaced 1021 lits Time: 0.12 s
1006.00/1006.07 c bin-w-bin subsume rem 25 bins time: 0.13 s
1007.70/1007.79 c subs with bin: 346 lits-rem: 544 v-fix: 0 time: 1.72 s
1010.20/1010.28 c Subs w/ non-existent bins: 123 l-rem: 230 v-fix: 0 done: 4570 time: 2.49 s
1010.40/1010.49 c Removed useless bin: 1014 fixed: 0 props: 20.05M time: 0.21 s
1030.31/1030.30 c lits-rem: 51 cl-subs: 1967 v-elim: 2280 v-fix: 0 time: 19.81 s
1030.72/1030.72 c vivif2 -- cl tried 27435 cl shrink 595 lits rem 1205 time: 0.42
1031.82/1031.89 c vivif2 -- cl tried 31096 cl shrink 3493 lits rem 1059566 time: 1.16
1032.21/1032.23 c asymm cl-useful: 8/1398/27433 lits-rem:109 time: 0.34
1034.41/1034.44 c calculated reachability. Time: 2.18
1034.41/1034.45 c N dy 1166 238253 248380 27428 1912199 31008 4471993 6715425 11.42 no data --
1040.01/1040.00 c Finding binary XORs T: 5.55 s found: 5
1095.90/1095.91 c N dy 1252 253867 248348 27428 1912281 26644 4471993 4566733 11.41 12.16 --
1149.80/1149.84 c N dy 1354 270398 248300 27428 1912378 42997 4471993 19018028 11.46 12.61 --
1205.51/1205.53 c N dy 1446 287765 248279 27428 1912492 39286 4471993 14901189 11.47 12.53 --
1267.11/1267.11 c N dy 1563 306192 248226 27428 1912589 35947 4471993 10301214 11.56 12.27 --
1267.11/1267.19 c F st 1564 306250 248226 27428 1912591 36003 4471993 10327783 11.56 no data --
1267.31/1267.38 c Replacing 5 vars Replaced 853 lits Time: 0.12 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3370661-1305380476/watcher-3370661-1305380476 -o /tmp/evaluation-result-3370661-1305380476/solver-3370661-1305380476 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370661-1305380476.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.98 3.96 3.02 5/303 2513
/proc/meminfo: memFree=16228316/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=11796 CPUtime=0 cores=0,2
/proc/2513/stat : 2513 (runsolver) R 2511 2513 2276 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 649650684 12079104 49 33554432000 4194304 5432360 140737144547424 18446744073709551615 4881623 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/2513/statm: 2949 49 30 303 0 2643 0
[startup+0.04149 s]
/proc/loadavg: 3.98 3.96 3.02 5/303 2513
/proc/meminfo: memFree=16228316/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=34484 CPUtime=0.02 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 4317 0 0 0 2 0 0 0 19 0 1 0 649650684 35311616 3223 33554432000 4194304 4650387 140733333491264 18446744073709551615 4263642 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 8621 3223 329 112 0 3586 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 34484
[startup+0.100479 s]
/proc/loadavg: 3.98 3.96 3.02 5/303 2513
/proc/meminfo: memFree=16228316/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=58616 CPUtime=0.08 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 8432 0 0 0 7 1 0 0 19 0 1 0 649650684 60022784 6241 33554432000 4194304 4650387 140733333491264 18446744073709551615 218370615521 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 14654 6241 330 112 0 9619 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58616
[startup+0.300446 s]
/proc/loadavg: 3.98 3.96 3.02 5/303 2513
/proc/meminfo: memFree=16228316/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=112792 CPUtime=0.28 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 22534 0 0 0 25 3 0 0 20 0 1 0 649650684 115499008 18081 33554432000 4194304 4650387 140733333491264 18446744073709551615 218370654667 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 28198 18102 330 112 0 23163 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 112792
[startup+0.700398 s]
/proc/loadavg: 3.98 3.96 3.02 5/303 2513
/proc/meminfo: memFree=16228316/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=206696 CPUtime=0.68 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 51402 0 0 0 61 7 0 0 20 0 1 0 649650684 211656704 42347 33554432000 4194304 4650387 140733333491264 18446744073709551615 4352939 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 51674 42347 330 112 0 46639 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 206696
[startup+1.50026 s]
/proc/loadavg: 3.98 3.96 3.02 5/304 2514
/proc/meminfo: memFree=16011680/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=328640 CPUtime=1.48 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 85522 0 0 0 136 12 0 0 23 0 1 0 649650684 336527360 67758 33554432000 4194304 4650387 140733333491264 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 82160 67758 347 112 0 77125 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 328640
[startup+3.10098 s]
/proc/loadavg: 3.98 3.96 3.02 5/304 2514
/proc/meminfo: memFree=15926988/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=371968 CPUtime=3.08 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 95026 0 0 0 295 13 0 0 25 0 1 0 649650684 380895232 76083 33554432000 4194304 4650387 140733333491264 18446744073709551615 4245521 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 92992 76083 353 112 0 87957 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 371968
[startup+6.3004 s]
/proc/loadavg: 3.98 3.96 3.02 5/304 2514
/proc/meminfo: memFree=15820976/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=588960 CPUtime=6.28 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 134879 0 0 0 609 19 0 0 25 0 1 0 649650684 603095040 115936 33554432000 4194304 4650387 140733333491264 18446744073709551615 4369043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 147240 115936 353 112 0 142205 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 588960
[startup+12.7003 s]
/proc/loadavg: 3.99 3.96 3.03 5/304 2514
/proc/meminfo: memFree=15382168/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=977660 CPUtime=12.67 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 208616 0 0 0 1240 27 0 0 25 0 1 0 649650684 1001123840 189673 33554432000 4194304 4650387 140733333491264 18446744073709551615 4436131 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 244415 189673 364 112 0 239380 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 977660
[startup+25.501 s]
/proc/loadavg: 3.99 3.96 3.04 5/304 2514
/proc/meminfo: memFree=15289548/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=1088824 CPUtime=25.48 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 231787 0 0 0 2518 30 0 0 25 0 1 0 649650684 1114955776 206931 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315252 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 272206 206931 379 112 0 267171 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1088824
[startup+51.1004 s]
/proc/loadavg: 3.99 3.96 3.07 6/304 2515
/proc/meminfo: memFree=15159136/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=1096508 CPUtime=51.08 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 249438 0 0 0 5074 34 0 0 25 0 1 0 649650684 1122824192 219855 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315149 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 274127 219855 381 112 0 269092 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1096508
[startup+102.311 s]
/proc/loadavg: 3.99 3.97 3.12 5/304 2571
/proc/meminfo: memFree=15040300/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=1209728 CPUtime=102.28 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 274740 0 0 0 10189 39 0 0 25 0 1 0 649650684 1238761472 236318 33554432000 4194304 4650387 140733333491264 18446744073709551615 4314969 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 302432 236318 382 112 0 297397 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1209728
[startup+162.301 s]
/proc/loadavg: 4.05 3.99 3.17 5/304 2573
/proc/meminfo: memFree=14264192/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=2067528 CPUtime=162.28 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 433593 0 0 0 16171 57 0 0 25 0 1 0 649650684 2117148672 395171 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 516882 395171 383 112 0 511847 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 2067528
[startup+222.301 s]
/proc/loadavg: 4.09 4.00 3.23 5/304 2602
/proc/meminfo: memFree=14448204/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=2034092 CPUtime=222.29 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 448677 0 0 0 22167 62 0 0 25 0 1 0 649650684 2082910208 395609 33554432000 4194304 4650387 140733333491264 18446744073709551615 4231007 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 508523 395609 383 112 0 503488 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2034092
[startup+282.3 s]
/proc/loadavg: 4.04 4.00 3.27 5/304 2604
/proc/meminfo: memFree=13921444/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=2615688 CPUtime=282.28 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 566172 0 0 0 28151 77 0 0 25 0 1 0 649650684 2678464512 505184 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 653922 505184 383 112 0 648887 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 2615688
[startup+342.301 s]
/proc/loadavg: 4.01 4.00 3.32 5/304 2606
/proc/meminfo: memFree=13460128/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=3301872 CPUtime=342.28 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 692878 0 0 0 34136 92 0 0 25 0 1 0 649650684 3381116928 622898 33554432000 4194304 4650387 140733333491264 18446744073709551615 4528859 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 825468 622898 383 112 0 820433 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 3301872
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.36 5/304 2607
/proc/meminfo: memFree=13413836/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=3367416 CPUtime=402.28 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 707025 0 0 0 40132 96 0 0 25 0 1 0 649650684 3448233984 625656 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315949 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 841854 625656 383 112 0 836819 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 3367416
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.39 5/304 2609
/proc/meminfo: memFree=13373924/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=3392452 CPUtime=462.29 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 726711 0 0 0 46128 101 0 0 25 0 1 0 649650684 3473870848 630930 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 848113 630930 383 112 0 843078 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 3392452
[startup+522.301 s]
/proc/loadavg: 4.09 4.03 3.44 5/304 2610
/proc/meminfo: memFree=12837072/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=3990384 CPUtime=522.29 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 860486 0 0 0 52111 118 0 0 25 0 1 0 649650684 4086153216 764705 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315190 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 997596 764705 383 112 0 992561 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 3990384
[startup+582.3 s]
/proc/loadavg: 4.03 4.02 3.47 5/304 2612
/proc/meminfo: memFree=12788164/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=3990416 CPUtime=582.29 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 873659 0 0 0 58108 121 0 0 25 0 1 0 649650684 4086185984 761379 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315127 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 997604 761379 383 112 0 992569 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 3990416
[startup+642.301 s]
/proc/loadavg: 4.01 4.02 3.50 5/304 2614
/proc/meminfo: memFree=12734252/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=4015952 CPUtime=642.29 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 893293 0 0 0 64103 126 0 0 25 0 1 0 649650684 4112334848 769325 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315233 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1003988 769325 383 112 0 998953 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 4015952
[startup+702.301 s]
/proc/loadavg: 4.08 4.03 3.53 5/304 2615
/proc/meminfo: memFree=12235312/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=4696708 CPUtime=702.29 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1030465 0 0 0 70083 146 0 0 25 0 1 0 649650684 4809428992 893681 33554432000 4194304 4650387 140733333491264 18446744073709551615 4446334 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1174177 893681 383 112 0 1169142 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 4696708
[startup+762.311 s]
/proc/loadavg: 4.02 4.02 3.56 5/304 2617
/proc/meminfo: memFree=12239220/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=4631164 CPUtime=762.31 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1042310 0 0 0 76082 149 0 0 25 0 1 0 649650684 4742311936 886023 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315041 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1157791 886023 383 112 0 1152756 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 4631164
[startup+822.301 s]
/proc/loadavg: 4.05 4.03 3.59 5/304 2618
/proc/meminfo: memFree=12221564/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=4649356 CPUtime=822.29 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1061173 0 0 0 82076 153 0 0 25 0 1 0 649650684 4760940544 889152 33554432000 4194304 4650387 140733333491264 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1162339 889152 383 112 0 1157304 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 4649356
[startup+882.301 s]
/proc/loadavg: 4.02 4.02 3.61 5/304 2620
/proc/meminfo: memFree=12140792/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=4714900 CPUtime=882.3 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1077878 0 0 0 88072 158 0 0 25 0 1 0 649650684 4828057600 905857 33554432000 4194304 4650387 140733333491264 18446744073709551615 4364743 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1178725 905857 383 112 0 1173690 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 4714900
[startup+942.3 s]
/proc/loadavg: 4.00 4.02 3.64 5/304 2622
/proc/meminfo: memFree=12123264/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=4735692 CPUtime=942.3 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1097099 0 0 0 94068 162 0 0 25 0 1 0 649650684 4849348608 908051 33554432000 4194304 4650387 140733333491264 18446744073709551615 4363722 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1183923 908051 383 112 0 1178888 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 4735692
[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.66 5/304 2623
/proc/meminfo: memFree=11915396/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=5065848 CPUtime=1002.3 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1169704 0 0 0 100055 175 0 0 25 0 1 0 649650684 5187428352 963791 33554432000 4194304 4650387 140733333491264 18446744073709551615 4370628 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1266462 963791 383 112 0 1261427 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 5065848
[startup+1062.3 s]
/proc/loadavg: 3.73 3.94 3.65 4/298 2642
/proc/meminfo: memFree=11960288/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=5356764 CPUtime=1062.31 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1220620 0 0 0 106046 185 0 0 25 0 1 0 649650684 5485326336 1014707 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1339191 1014707 383 112 0 1334156 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 5356764
[startup+1122.3 s]
/proc/loadavg: 3.25 3.75 3.60 4/298 2643
/proc/meminfo: memFree=11990908/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=5292136 CPUtime=1122.31 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1233582 0 0 0 112041 190 0 0 25 0 1 0 649650684 5419147264 1005482 33554432000 4194304 4650387 140733333491264 18446744073709551615 4315137 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1323034 1005482 383 112 0 1317999 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 5292136
[startup+1182.3 s]
/proc/loadavg: 3.10 3.63 3.57 4/298 2645
/proc/meminfo: memFree=11986860/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=5312832 CPUtime=1182.31 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1251642 0 0 0 118036 195 0 0 25 0 1 0 649650684 5440339968 1006858 33554432000 4194304 4650387 140733333491264 18446744073709551615 4363648 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1328208 1006858 383 112 0 1323173 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 5312832
[startup+1242.3 s]
/proc/loadavg: 3.03 3.50 3.52 4/298 2656
/proc/meminfo: memFree=11979324/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=5268592 CPUtime=1242.31 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1271624 0 0 0 124030 201 0 0 25 0 1 0 649650684 5395038208 1007219 33554432000 4194304 4650387 140733333491264 18446744073709551615 4364743 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1317148 1007219 383 112 0 1312113 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 5268592
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.05 3.43 3.50 4/298 2657
/proc/meminfo: memFree=11908208/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=5334136 CPUtime=1300.01 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4202496 1288175 0 0 0 129796 205 0 0 25 0 1 0 649650684 5462155264 1023770 33554432000 4194304 4650387 140733333491264 18446744073709551615 4314845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2513/statm: 1333534 1023770 383 112 0 1328499 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 5334136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 3.05 3.43 3.50 4/299 2658
/proc/meminfo: memFree=14487996/32951124 swapFree=52307768/67111528
[pid=2513] ppid=2511 vsize=0 CPUtime=1300.13 cores=0,2
/proc/2513/stat : 2513 (strangenight1-s) R 2511 2513 2276 0 -1 4203524 1288175 0 0 0 129797 216 0 0 25 0 1 0 649650684 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1300.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.17
CPU time (s): 1300.19
CPU user time (s): 1297.97
CPU system time (s): 2.22066
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 5399680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.97
system time used= 2.22066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1288175
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= 1955
runsolver used 3.69144 second user time and 8.16776 second system time
The end
Begin job on node101 at 2011-05-14 15:41:19
IDJOB=3370661
IDBENCH=82387
IDSOLVER=1847
FILE ID=node101/3370661-1305380476
RUNJOBID= node101-1305379160-2294
PBS_JOBID= 13324401
Free space on /tmp= 73628 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3370661-1305380476/watcher-3370661-1305380476 -o /tmp/evaluation-result-3370661-1305380476/solver-3370661-1305380476 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370661-1305380476.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 5d1253e2dcc0e3e55992672756beadbc
RANDOM SEED=1712606727
node101.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.841
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.68
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.841
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
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.841
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.77
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.841
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.841
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.841
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.841
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.841
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: 32951124 kB
MemFree: 16228596 kB
Buffers: 307992 kB
Cached: 5937100 kB
SwapCached: 14848 kB
Active: 11438208 kB
Inactive: 5002616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 16228596 kB
SwapTotal: 67111528 kB
SwapFree: 52307768 kB
Dirty: 107680 kB
Writeback: 0 kB
AnonPages: 10192092 kB
Mapped: 16152 kB
Slab: 153412 kB
PageTables: 64044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 42685380 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= 73632 MiB
End job on node101 at 2011-05-14 16:03:01