0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
2.88/0.13 c This is CryptoMiniSat 3.0.0
2.88/0.13 c WARNING: for repeatability, setting FPU to use double precision
2.88/0.13 c Reading file 'HOME/instance-3400663-1306313087.cnf'
2.88/0.16 c -- header says num vars: 51064
2.88/0.16 c -- header says num clauses: 152039
23.57/1.49 c -- clauses added: 0 learnts, 152039 normals, 0 xors
23.57/1.49 c -- vars added 51064
23.57/1.49 c Parsing time: 0.23 s
23.57/1.49 c N st 0 0 51064 50679 101358 0 354753 0 no data no data
101.88/3.96 c asymm cl-useful: 0/6338/50662 lits-rem:0 time: 2.46
1076.75/43.11 c Flit: 6 Blit: 123 bXBeca: 0 bXProp: 125 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 29.26
1076.75/43.11 c Cleaning up after failed var search: 0.00 s
1076.75/43.15 c Replacing 125 vars Replaced 2382 lits Time: 0.04 s
1076.75/43.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1079.92/43.20 c bin-w-bin subsume rem 0 bins time: 0.02 s
1079.92/43.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
1107.46/44.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50792 time: 0.95 s
1115.71/44.52 c Removed useless bin: 58 fixed: 0 props: 20.00M time: 0.29 s
1141.85/45.59 c lits-rem: 0 cl-subs: 396 v-elim: 16930 v-fix: 0 time: 0.53 s
1160.86/46.16 c Finding binary XORs T: 0.57 s found: 0
1160.86/46.21 c Finding non-binary XORs: 0.03 s (found: 2023, avg size: 3.0)
1160.86/46.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1166.61/46.34 c calculated reachability. Time: 0.13
1166.61/46.36 c Calc default polars - time: 0.01 s pos: 638 undec: 20518 neg: 29908
1166.61/46.36 c =========================================================================================
1166.61/46.36 c types(t): F = full restart, N = normal restart
1166.61/46.36 c types(t): S = simplification begin/end, E = solution found
1166.61/46.36 c restart types(rt): st = static, dy = dynamic
1166.61/46.36 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1166.61/46.36 c B st 0 0 33862 45402 62791 0 293139 0 no data no data
1262.48/49.37 c N dy 9 4998 33861 45402 62867 4871 293139 301362 15.25 16.10
1358.30/52.39 c N dy 16 10202 33860 45402 68178 5792 293139 310649 12.58 13.93
1371.69/52.72 c Finding binary XORs T: 0.31 s found: 847
1371.69/52.75 c Replacing 847 vars Replaced 19532 lits Time: 0.03 s
1428.62/54.55 c N dy 26 14943 33008 43515 66502 10112 287442 444065 11.42 12.79
1508.53/57.05 c N dy 45 19336 32999 43515 70066 7898 287442 195527 11.29 12.04
1553.26/58.46 c Finding binary XORs T: 0.32 s found: 1003
1553.26/58.49 c Replacing 1003 vars Replaced 31744 lits Time: 0.04 s
1582.67/59.40 c N dy 66 23406 31991 41575 70676 11066 281539 323082 11.59 14.39
1604.41/60.04 c F st 69 25000 31991 41575 70711 12614 281539 365589 11.53 5.35
1652.95/61.57 c N st 74 28296 31991 41575 70730 15864 281539 513393 11.53 no data
1684.32/62.60 c S st 75 30001 31991 41575 73026 9624 281539 192971 11.53 no data
1703.49/63.12 c S st 75 30502 31990 41575 73059 10091 281539 204452 11.53 no data
1703.49/63.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2445.01/86.30 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 413 Bins: 10522 BRemL: 14 BRemN: 0 P: 194.7M T: 23.11
2445.01/86.36 c Replacing 413 vars Replaced 25628 lits Time: 0.05 s
2445.01/86.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2448.20/86.40 c bin-w-bin subsume rem 3677 bins time: 0.02 s
2448.20/86.44 c subs with bin: 738 lits-rem: 230 v-fix: 0 time: 0.04 s
2461.62/86.85 c Subs w/ non-existent bins: 198 l-rem: 1085 v-fix: 0 done: 31566 time: 0.39 s
2464.82/86.94 c Removed useless bin: 76 fixed: 0 props: 4.16M time: 0.10 s
2473.78/87.30 c lits-rem: 100 cl-subs: 434 v-elim: 14164 v-fix: 0 time: 0.34 s
2476.97/87.33 c subs with bin: 232 lits-rem: 171 v-fix: 0 time: 0.02 s
2476.97/87.38 c lits-rem: 20 cl-subs: 77 v-elim: 0 v-fix: 0 time: 0.03 s
2524.93/88.86 c asymm cl-useful: 938/8859/45539 lits-rem:938 time: 1.48
2528.12/88.95 c calculated reachability. Time: 0.08
2528.12/88.95 c N dy 75 30502 17402 45539 34416 3987 248959 39374 11.53 no data
2535.14/89.18 c Finding binary XORs T: 0.23 s found: 0
2598.46/91.19 c N dy 81 36838 17402 45539 34452 10211 248959 292403 10.82 11.61
2605.47/91.34 c Finding binary XORs T: 0.12 s found: 1533
2605.47/91.39 c Replacing 1533 vars Replaced 56947 lits Time: 0.04 s
2672.55/93.46 c N dy 88 40998 15860 41513 38049 7101 236067 157948 10.58 11.64
2735.87/95.40 c N dy 98 45556 15858 41513 38983 11575 236057 359024 10.34 10.90
2735.87/95.47 c S st 99 45754 15858 41513 38984 11769 236057 360948 10.32 5.76
2746.09/95.78 c S st 99 46259 15858 41513 39004 12243 236057 372490 10.32 no data
2748.64/95.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3094.46/106.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 74 Bins: 7153 BRemL: 43 BRemN: 0 P: 74.4M T: 10.85
3097.66/106.72 c Replacing 74 vars Replaced 7545 lits Time: 0.04 s
3097.66/106.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3097.66/106.76 c bin-w-bin subsume rem 2260 bins time: 0.01 s
3097.66/106.80 c subs with bin: 348 lits-rem: 341 v-fix: 0 time: 0.03 s
3100.25/106.89 c Subs w/ non-existent bins: 235 l-rem: 446 v-fix: 0 done: 15784 time: 0.09 s
3103.45/106.92 c Removed useless bin: 65 fixed: 0 props: 0.74M time: 0.03 s
3106.65/107.02 c lits-rem: 5 cl-subs: 15 v-elim: 215 v-fix: 0 time: 0.10 s
3106.65/107.09 c subs with bin: 38 lits-rem: 989 v-fix: 0 time: 0.05 s
3109.81/107.17 c lits-rem: 794 cl-subs: 735 v-elim: 0 v-fix: 0 time: 0.06 s
3113.01/107.29 c vivif2 -- cl tried 41051 cl shrink 153 lits rem 153 time: 0.12
3116.21/107.33 c vivif2 -- cl tried 8843 cl shrink 1590 lits rem 4468 time: 0.04
3164.75/108.88 c asymm cl-useful: 0/3534/41051 lits-rem:0 time: 1.55
3167.98/108.94 c calculated reachability. Time: 0.05
3167.98/108.94 c N dy 99 46259 15569 41051 41041 8842 237901 149710 10.32 no data
3170.57/109.08 c Finding binary XORs T: 0.14 s found: 0
3235.11/111.10 c N dy 105 50714 15568 41051 46721 13232 237900 382840 10.12 10.69
3276.02/112.39 c Finding binary XORs T: 0.13 s found: 93
3311.21/113.48 c N dy 117 54962 15568 41051 46729 9573 237881 184681 10.00 10.71
3394.27/116.05 c N dy 131 59185 15566 41051 46932 13704 237881 325631 9.82 10.41
3455.00/117.92 c N dy 147 63255 15560 41051 48149 17710 237881 462133 9.76 10.41
3512.55/119.73 c N dy 165 67342 15560 41051 48165 11167 237881 156939 9.75 10.34
3531.72/120.37 c S st 172 69388 15557 41051 48676 13194 237881 206611 9.73 no data
3544.52/120.73 c S st 172 69891 15557 41051 48682 13686 237881 218777 9.73 no data
3544.52/120.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3915.24/132.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 35 Bins: 2399 BRemL: 757 BRemN: 0 P: 78.9M T: 11.62
3918.44/132.43 c Replacing 128 vars Replaced 6153 lits Time: 0.04 s
3918.44/132.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3918.44/132.47 c bin-w-bin subsume rem 851 bins time: 0.01 s
3921.64/132.50 c subs with bin: 67 lits-rem: 20 v-fix: 0 time: 0.03 s
3921.64/132.58 c Subs w/ non-existent bins: 2 l-rem: 1 v-fix: 0 done: 15429 time: 0.08 s
3924.84/132.61 c Removed useless bin: 0 fixed: 0 props: 0.72M time: 0.03 s
3924.84/132.69 c lits-rem: 4 cl-subs: 8 v-elim: 35 v-fix: 0 time: 0.08 s
3928.03/132.80 c subs with bin: 52 lits-rem: 1042 v-fix: 0 time: 0.08 s
3931.24/132.88 c lits-rem: 477 cl-subs: 379 v-elim: 0 v-fix: 0 time: 0.07 s
3934.43/133.01 c vivif2 -- cl tried 40702 cl shrink 66 lits rem 66 time: 0.12
3938.22/133.06 c vivif2 -- cl tried 12522 cl shrink 1564 lits rem 6815 time: 0.05
3988.75/134.62 c asymm cl-useful: 3/3361/40702 lits-rem:9 time: 1.56
3988.75/134.69 c calculated reachability. Time: 0.05
3988.75/134.69 c N dy 172 69891 15394 40699 48707 12516 236332 185166 9.73 no data
3995.15/134.83 c Finding binary XORs T: 0.14 s found: 1
4055.85/136.76 c N dy 180 74360 15392 40699 53159 16911 236332 529624 9.60 10.28
4135.74/139.28 c N dy 201 79506 15388 40699 53170 21977 236331 850484 9.58 10.15
4161.27/140.06 c Finding binary XORs T: 0.14 s found: 54
4215.61/141.77 c N dy 228 84800 15383 40629 53317 15109 236032 359014 9.61 10.16
4250.77/142.91 c F st 242 87500 15382 40629 57674 17783 236031 480028 9.60 7.73
4254.55/142.96 c Replacing 55 vars Replaced 6585 lits Time: 0.03 s
4301.88/144.42 c N st 247 90798 15326 40548 57448 20972 235656 743375 9.60 no data
4324.85/145.15 c Finding binary XORs T: 0.14 s found: 3
4375.38/146.78 c N dy 266 96599 15325 40546 57949 25898 235641 1355232 9.57 13.25
4465.44/149.58 c N dy 303 103088 15322 40546 58286 19191 235640 466041 9.59 10.22
4490.42/150.38 c S st 317 104836 15322 40546 58288 20920 235640 570080 9.61 7.86
4500.59/150.71 c S st 317 105337 15322 40546 58653 21410 235640 588667 9.61 no data
4503.82/150.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
4883.40/162.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 13 Bins: 1074 BRemL: 1128 BRemN: 0 P: 82.3M T: 11.86
4883.40/162.66 c Replacing 16 vars Replaced 2040 lits Time: 0.05 s
4883.40/162.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4883.40/162.70 c bin-w-bin subsume rem 626 bins time: 0.01 s
4887.18/162.74 c subs with bin: 69 lits-rem: 47 v-fix: 0 time: 0.04 s
4890.37/162.83 c Subs w/ non-existent bins: 3 l-rem: 10 v-fix: 0 done: 15306 time: 0.09 s
4890.37/162.86 c Removed useless bin: 1 fixed: 0 props: 0.61M time: 0.03 s
4892.97/162.94 c lits-rem: 0 cl-subs: 15 v-elim: 32 v-fix: 0 time: 0.08 s
4908.94/163.45 c subs with bin: 167 lits-rem: 2577 v-fix: 0 time: 0.47 s
4915.34/163.66 c lits-rem: 777 cl-subs: 600 v-elim: 0 v-fix: 0 time: 0.19 s
4918.51/163.79 c vivif2 -- cl tried 40433 cl shrink 52 lits rem 67 time: 0.13
4922.32/163.91 c vivif2 -- cl tried 19329 cl shrink 3198 lits rem 33622 time: 0.11
4950.46/164.74 c asymm cl-useful: 2/2552/40430 lits-rem:6 time: 0.83
4953.66/164.80 c calculated reachability. Time: 0.05
4953.66/164.80 c N dy 317 105337 15274 40428 55571 19290 235061 450302 9.61 no data
5052.73/167.96 c Finding binary XORs T: 0.15 s found: 41
5068.73/168.42 c N dy 342 112079 15270 40395 60622 25858 234978 857164 9.57 10.14
5186.96/172.11 c N dy 390 119614 15269 40395 61150 20526 234978 637362 9.61 10.16
5314.79/176.19 c N dy 446 127253 15266 40395 61400 28010 234977 1129264 9.70 10.27
5429.84/179.75 c N dy 504 135540 15263 40395 61830 21862 234977 381083 9.84 10.56
5541.69/183.28 c Finding binary XORs T: 0.15 s found: 34
5567.24/184.01 c N dy 566 144247 15261 40355 62841 30219 234784 819453 9.99 13.74
5707.85/188.45 c N dy 634 153462 15257 40355 63261 23751 234784 388505 10.18 10.83
5771.75/190.46 c S st 665 158006 15257 40355 64616 28250 234784 603100 10.23 no data
5784.53/190.82 c S st 665 158508 15257 40355 64624 28739 234784 626063 10.23 no data
5784.53/190.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
6193.55/203.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 1279 BRemL: 482 BRemN: 0 P: 89.2M T: 12.79
6196.75/203.71 c Replacing 83 vars Replaced 11325 lits Time: 0.06 s
6196.75/203.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6196.75/203.76 c bin-w-bin subsume rem 822 bins time: 0.01 s
6196.75/203.80 c subs with bin: 105 lits-rem: 171 v-fix: 0 time: 0.04 s
6203.14/203.91 c Subs w/ non-existent bins: 4 l-rem: 30 v-fix: 0 done: 15175 time: 0.11 s
6203.14/203.94 c Removed useless bin: 5 fixed: 0 props: 0.60M time: 0.03 s
6206.34/204.02 c lits-rem: 3 cl-subs: 37 v-elim: 47 v-fix: 0 time: 0.09 s
6222.92/204.59 c subs with bin: 306 lits-rem: 4023 v-fix: 0 time: 0.52 s
6231.89/204.81 c lits-rem: 1553 cl-subs: 716 v-elim: 0 v-fix: 0 time: 0.20 s
6235.09/204.94 c vivif2 -- cl tried 40083 cl shrink 298 lits rem 326 time: 0.13
6241.48/205.10 c vivif2 -- cl tried 26167 cl shrink 3866 lits rem 35053 time: 0.16
6267.04/205.94 c asymm cl-useful: 0/3492/40076 lits-rem:0 time: 0.84
6270.24/206.01 c calculated reachability. Time: 0.06
6270.24/206.01 c N dy 665 158508 15128 40076 64161 26110 233089 463908 10.23 no data
6273.44/206.16 c Finding binary XORs T: 0.15 s found: 4
6455.56/211.84 c N dy 715 168670 15116 40076 67865 36157 233089 1496408 10.27 10.93
6509.88/213.59 c Finding binary XORs T: 0.15 s found: 39
6656.91/218.11 c N dy 777 180034 15099 40040 68831 31002 232790 840679 10.27 11.20
6855.65/224.36 c N dy 856 191760 15088 40040 69997 25307 232786 349737 10.36 10.95
6861.43/224.52 c Finding binary XORs T: 0.15 s found: 89
7059.62/230.75 c Finding binary XORs T: 0.15 s found: 55
7062.81/230.81 c Replacing 187 vars Replaced 21669 lits Time: 0.06 s
7072.38/231.17 c N dy 942 204090 14887 39739 78679 34564 231056 937774 10.47 11.13
7286.51/237.89 c N dy 1036 217182 14870 39739 84060 30033 231056 585276 10.61 16.85
7302.50/238.31 c Finding binary XORs T: 0.15 s found: 88
7523.64/245.26 c N dy 1133 231102 14852 39672 85380 43263 230646 1417174 10.73 17.85
7641.28/248.92 c S st 1168 237765 14846 39672 86088 30790 230618 534365 10.75 no data
7647.72/249.20 c S st 1168 238265 14846 39672 86090 31282 230614 570440 10.75 no data
7650.88/249.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
8443.54/274.06 c Flit: 3 Blit: 4 bXBeca: 0 bXProp: 288 Bins: 4205 BRemL: 121 BRemN: 0 P: 196.6M T: 24.73
8446.74/274.13 c Replacing 376 vars Replaced 31541 lits Time: 0.07 s
8446.74/274.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8446.74/274.18 c bin-w-bin subsume rem 5591 bins time: 0.02 s
8449.94/274.22 c subs with bin: 718 lits-rem: 1952 v-fix: 0 time: 0.05 s
8453.14/274.33 c Subs w/ non-existent bins: 138 l-rem: 1309 v-fix: 0 done: 14463 time: 0.10 s
8453.14/274.36 c Removed useless bin: 25 fixed: 0 props: 0.57M time: 0.03 s
8456.34/274.47 c lits-rem: 307 cl-subs: 502 v-elim: 280 v-fix: 0 time: 0.11 s
8465.93/274.74 c subs with bin: 1820 lits-rem: 3987 v-fix: 0 time: 0.22 s
8469.13/274.88 c lits-rem: 523 cl-subs: 869 v-elim: 0 v-fix: 0 time: 0.12 s
8476.15/275.06 c vivif2 -- cl tried 38148 cl shrink 1790 lits rem 3385 time: 0.18
8481.90/275.22 c vivif2 -- cl tried 24241 cl shrink 4490 lits rem 22342 time: 0.16
8513.86/276.21 c asymm cl-useful: 1/1127/37758 lits-rem:3 time: 0.98
8517.06/276.31 c calculated reachability. Time: 0.09
8517.06/276.31 c N dy 1168 238265 14183 37757 81388 23506 217226 389899 10.75 no data
8523.46/276.59 c Finding binary XORs T: 0.28 s found: 258
8526.65/276.62 c Replacing 258 vars Replaced 12657 lits Time: 0.03 s
8676.87/281.30 c Finding binary XORs T: 0.25 s found: 121
8789.32/284.91 c N dy 1262 253593 13844 37578 91246 36190 216022 1464463 10.86 11.69
8865.43/287.21 c Finding binary XORs T: 0.25 s found: 137
8868.62/287.31 c Replacing 258 vars Replaced 33575 lits Time: 0.09 s
9044.43/292.87 c N dy 1383 269781 13547 37388 102847 30589 214881 813009 11.04 11.99
9207.46/297.91 c Finding binary XORs T: 0.25 s found: 118
9335.31/301.90 c N dy 1516 287067 13413 37000 101696 25538 212976 487398 11.29 12.07
9517.48/307.63 c Finding binary XORs T: 0.25 s found: 204
9520.67/307.71 c Replacing 322 vars Replaced 33757 lits Time: 0.08 s
9606.96/310.49 c N dy 1663 305391 12895 35736 101835 40294 206477 1777503 11.62 25.50
9622.94/310.98 c F st 1670 306251 12894 35736 101838 41141 206477 1827593 11.63 no data
9661.30/312.17 c Finding binary XORs T: 0.26 s found: 163
9664.50/312.25 c Replacing 163 vars Replaced 22814 lits Time: 0.08 s
9879.27/318.97 c N dy 1774 324911 12608 35560 116945 36707 205499 1340297 11.80 13.07
9961.75/321.54 c Finding binary XORs T: 0.25 s found: 140
9964.95/321.62 c Replacing 140 vars Replaced 27291 lits Time: 0.08 s
10172.70/328.13 c N dy 1897 345127 12243 34429 118684 28931 199892 774051 11.90 13.03
10211.05/329.39 c Finding binary XORs T: 0.25 s found: 265
10214.25/329.45 c Replacing 265 vars Replaced 27734 lits Time: 0.06 s
10301.45/339.48 c Following stats are for *FIRST FINISHED THREAD ONLY*
10301.45/339.48 c num threads : 32
10301.45/339.48 c restarts : 2465
10301.45/339.48 c dynamic restarts : 2441
10301.45/339.48 c static restarts : 24
10301.45/339.48 c full restarts : 3
10301.45/339.48 c total simplify time : 7.62
10301.45/339.48 c learnts DL2 : 0
10301.45/339.48 c learnts size 2 : 387215
10301.45/339.48 c learnts size 1 : 3207 (6.28 % of vars)
10301.45/339.48 c filedLit time : 59.10 (18.07 % time)
10301.45/339.48 c v-elim SatELite : 30977 (60.66 % vars)
10301.45/339.48 c SatELite time : 2.52 (0.77 % time)
10301.45/339.48 c v-elim xor : 0 (0.00 % vars)
10301.45/339.48 c xor elim time : 0.05 (0.02 % time)
10301.45/339.48 c num binary xor trees : 1525
10301.45/339.48 c binxor trees' crown : 6275 (4.11 leafs/tree)
10301.45/339.48 c bin xor find time : 6.62
10301.45/339.48 c OTF clause improved : 4404 (0.01 clauses/conflict)
10301.45/339.48 c OTF impr. size diff : 7146 (1.62 lits/clause)
10301.45/339.48 c OTF cl watch-shrink : 301014 (0.65 clauses/conflict)
10301.45/339.48 c OTF cl watch-sh-lit : 2390970 (7.94 lits/clause)
10301.45/339.48 c tried to recurMin cls : 250658 (53.76 % of conflicts)
10301.45/339.48 c updated cache : 13913 (0.06 lits/tried recurMin)
10301.45/339.48 c unit cls recevied : 512 (15.97 % of units)
10301.45/339.48 c unit cls sent : 50 (1.56 % of units)
10301.45/339.48 c bin cls recevied : 196021
10301.45/339.48 c bin cls sent : 3480
10301.45/339.48 c clauses over max glue : 0 (0.00 % of all clauses)
10301.45/339.48 c conflicts : 466246 (1425.82 / sec)
10301.45/339.48 c decisions : 2183425 (1.43 % random)
10301.45/339.48 c bogo-props : 5353787436 (16372324.09 / sec)
10301.45/339.48 c conflict literals : 28481567 (35.70 % deleted)
10301.45/339.48 c Memory used : 18698.05 MB
10301.45/339.48 c single-thread CPU time : 327.00 s
10301.45/339.48 c all-threads sum CPU time : 10229.92 s
10301.45/339.48 s UNSATISFIABLE
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-3400663-1306313087/watcher-3400663-1306313087 -o /tmp/evaluation-result-3400663-1306313087/solver-3400663-1306313087 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400663-1306313087.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 21.73 29.60 31.20 1/413 14056
/proc/meminfo: memFree=255164196/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=338000 CPUtime=0.71 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) R 14054 14056 14030 0 -1 4202496 466 0 0 0 71 0 0 0 25 0 32 0 742795153 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14056/statm: 84500 407 300 95 0 79482 0
[pid=14056/tid=14057] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14057/stat : 14057 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 4 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433693 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14056/tid=14058] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14058/stat : 14058 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14056/tid=14059] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14059/stat : 14059 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584434098 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14061] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14061/stat : 14061 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14073/stat : 14073 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14056/tid=14074] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14074/stat : 14074 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14056/tid=14075] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14075/stat : 14075 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433693 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14056/tid=14076] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14076/stat : 14076 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14056/tid=14077] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14077/stat : 14077 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14056/tid=14078] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14078/stat : 14078 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14056/tid=14079] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14079/stat : 14079 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14056/tid=14080] ppid=14054 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14056/task/14080/stat : 14080 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14056/tid=14081] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14081/stat : 14081 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584434098 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14056/tid=14082] ppid=14054 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14056/task/14082/stat : 14082 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433680 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14056/tid=14083] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14083/stat : 14083 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14056/tid=14084] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14084/stat : 14084 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14056/tid=14085] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14085/stat : 14085 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14056/tid=14086] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14086/stat : 14086 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14056/tid=14087] ppid=14054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14056/task/14087/stat : 14087 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 19 0 0 0
[startup+0.0816079 s]
/proc/loadavg: 21.73 29.60 31.20 1/413 14056
/proc/meminfo: memFree=255164196/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=338000 CPUtime=2.19 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) R 14054 14056 14030 0 -1 4202496 466 0 0 0 219 0 0 0 25 0 32 0 742795153 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14056/statm: 84500 407 300 95 0 79482 0
[pid=14056/tid=14057] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14057/stat : 14057 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 4 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14056/tid=14058] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14058/stat : 14058 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14056/tid=14059] ppid=14054 vsize=338000 CPUtime=0.06 cores=0-31
/proc/14056/task/14059/stat : 14059 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 6 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584434098 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14061] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14061/stat : 14061 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433693 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433693 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14073/stat : 14073 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14056/tid=14074] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14074/stat : 14074 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14056/tid=14075] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14075/stat : 14075 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14056/tid=14076] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14076/stat : 14076 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14056/tid=14077] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14077/stat : 14077 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14056/tid=14078] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14078/stat : 14078 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14056/tid=14079] ppid=14054 vsize=338000 CPUtime=0.05 cores=0-31
/proc/14056/task/14079/stat : 14079 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14056/tid=14080] ppid=14054 vsize=338000 CPUtime=0.05 cores=0-31
/proc/14056/task/14080/stat : 14080 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14056/tid=14081] ppid=14054 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14056/task/14081/stat : 14081 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14056/tid=14082] ppid=14054 vsize=338000 CPUtime=0.05 cores=0-31
/proc/14056/task/14082/stat : 14082 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14056/tid=14083] ppid=14054 vsize=338000 CPUtime=0.06 cores=0-31
/proc/14056/task/14083/stat : 14083 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14056/tid=14084] ppid=14054 vsize=338000 CPUtime=0.06 cores=0-31
/proc/14056/task/14084/stat : 14084 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14056/tid=14085] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14085/stat : 14085 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14056/tid=14086] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14086/stat : 14086 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14056/tid=14087] ppid=14054 vsize=338000 CPUtime=0.07 cores=0-31
/proc/14056/task/14087/stat : 14087 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 7 0 0 0 25 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 338000
[startup+0.103612 s]
/proc/loadavg: 21.73 29.60 31.20 1/413 14056
/proc/meminfo: memFree=255164196/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=338000 CPUtime=2.88 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) R 14054 14056 14030 0 -1 4202496 466 0 0 0 288 0 0 0 25 0 32 0 742795153 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/14056/statm: 84500 407 300 95 0 79482 0
[pid=14056/tid=14057] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14057/stat : 14057 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 4 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14056/tid=14058] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14058/stat : 14058 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14056/tid=14059] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14059/stat : 14059 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=338000 CPUtime=0 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584434098 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14056/tid=14061] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14061/stat : 14061 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433680 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433683 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 1 0 0 0 9 0 0 0 24 0 32 0 742795154 346112000 407 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433689 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=338000 CPUtime=0.09 cores=0-31
################
# More data... #
################
/proc/14056/task/14061/stat : 14061 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147765 0 0 0 31907 220 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604501716786656 0 0 -1 19 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=19146796 CPUtime=321.35 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 132197 0 0 0 31928 207 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604478804418016 0 0 -1 26 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=19146796 CPUtime=321.21 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 135153 0 0 0 31920 201 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604477859134944 0 0 -1 12 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=19146796 CPUtime=321.19 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 136619 0 0 0 31897 222 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604504417664480 0 0 -1 7 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=19146796 CPUtime=321.57 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 145459 0 0 0 31941 216 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476684639712 0 0 -1 3 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=19146796 CPUtime=325.99 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 148578 0 0 0 32371 228 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=19146796 CPUtime=321.11 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 144624 0 0 0 31893 218 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604503897767392 0 0 -1 3 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=19146796 CPUtime=321.45 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148460 0 0 0 31922 223 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604568765668832 0 0 -1 5 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=19146796 CPUtime=321.48 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 145053 0 0 0 31914 234 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604478812880352 0 0 -1 25 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=19146796 CPUtime=321.5 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 156683 0 0 0 31910 240 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604487580491232 0 0 -1 30 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=19146796 CPUtime=321.22 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 153517 0 0 0 31891 231 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604504274075104 0 0 -1 29 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=19146796 CPUtime=321.18 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 138224 0 0 0 31879 239 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604480776568288 0 0 -1 20 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=19146796 CPUtime=320.8 cores=0-31
/proc/14056/task/14073/stat : 14073 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147544 0 0 0 31832 248 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506090479072 0 0 -1 23 0 0 0
[pid=14056/tid=14074] ppid=14054 vsize=19146796 CPUtime=321.66 cores=0-31
/proc/14056/task/14074/stat : 14074 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 152912 0 0 0 31942 224 0 0 19 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604481740979680 0 0 -1 18 0 0 0
[pid=14056/tid=14075] ppid=14054 vsize=19146796 CPUtime=321.17 cores=0-31
/proc/14056/task/14075/stat : 14075 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 149043 0 0 0 31882 235 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506105191904 0 0 -1 16 0 0 0
[pid=14056/tid=14076] ppid=14054 vsize=19146796 CPUtime=321.09 cores=0-31
/proc/14056/task/14076/stat : 14076 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 151938 0 0 0 31885 224 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604481694563808 0 0 -1 4 0 0 0
[pid=14056/tid=14077] ppid=14054 vsize=19146796 CPUtime=325.79 cores=0-31
/proc/14056/task/14077/stat : 14077 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 151574 0 0 0 32342 237 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584409131 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14078] ppid=14054 vsize=19146796 CPUtime=321.67 cores=0-31
/proc/14056/task/14078/stat : 14078 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147467 0 0 0 31941 226 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604491131067872 0 0 -1 28 0 0 0
[pid=14056/tid=14079] ppid=14054 vsize=19146796 CPUtime=321.1 cores=0-31
/proc/14056/task/14079/stat : 14079 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141290 0 0 0 31873 237 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446744071566926544 0 0 -1 17 0 0 0
[pid=14056/tid=14080] ppid=14054 vsize=19146796 CPUtime=321.35 cores=0-31
/proc/14056/task/14080/stat : 14080 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147031 0 0 0 31897 238 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506106142176 0 0 -1 1 0 0 0
[pid=14056/tid=14081] ppid=14054 vsize=19146796 CPUtime=318.7 cores=0-31
/proc/14056/task/14081/stat : 14081 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 142615 0 0 0 31635 235 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604479050014176 0 0 -1 31 0 0 0
[pid=14056/tid=14082] ppid=14054 vsize=19146796 CPUtime=320.87 cores=0-31
/proc/14056/task/14082/stat : 14082 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 151235 0 0 0 31852 235 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604505130360288 0 0 -1 14 0 0 0
[pid=14056/tid=14083] ppid=14054 vsize=19146796 CPUtime=321.13 cores=0-31
/proc/14056/task/14083/stat : 14083 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 152772 0 0 0 31867 246 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604483053731296 0 0 -1 6 0 0 0
[pid=14056/tid=14084] ppid=14054 vsize=19146796 CPUtime=318.61 cores=0-31
/proc/14056/task/14084/stat : 14084 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 137643 0 0 0 31627 234 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604477643840992 0 0 -1 27 0 0 0
[pid=14056/tid=14085] ppid=14054 vsize=19146796 CPUtime=321.24 cores=0-31
/proc/14056/task/14085/stat : 14085 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141417 0 0 0 31896 228 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476285599200 0 0 -1 13 0 0 0
[pid=14056/tid=14086] ppid=14054 vsize=19146796 CPUtime=320.11 cores=0-31
/proc/14056/task/14086/stat : 14086 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148978 0 0 0 31777 234 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604501594988000 0 0 -1 11 0 0 0
[pid=14056/tid=14087] ppid=14054 vsize=19146796 CPUtime=326.2 cores=0-31
/proc/14056/task/14087/stat : 14087 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 70605 0 0 0 32532 88 0 0 25 0 32 0 742795154 19606319104 3800648 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604474385128928 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 10293.8
Current children cumulated vsize (KiB) 19146796
[startup+339.102 s]
/proc/loadavg: 27.43 30.27 31.12 3/445 14096
/proc/meminfo: memFree=239921096/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=19146796 CPUtime=10300.8 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) S 14054 14056 14030 0 -1 4202496 4604045 0 0 0 1022915 7170 0 0 25 0 32 0 742795153 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 4786699 3801892 379 95 0 4781681 0
[pid=14056/tid=14057] ppid=14054 vsize=19146796 CPUtime=329.08 cores=0-31
/proc/14056/task/14057/stat : 14057 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 157973 0 0 0 32680 228 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14056/tid=14058] ppid=14054 vsize=19146796 CPUtime=321.47 cores=0-31
/proc/14056/task/14058/stat : 14058 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141347 0 0 0 31920 227 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604479736126944 0 0 -1 22 0 0 0
[pid=14056/tid=14059] ppid=14054 vsize=19146796 CPUtime=321.22 cores=0-31
/proc/14056/task/14059/stat : 14059 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147690 0 0 0 31916 206 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604488054185440 0 0 -1 24 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=19146796 CPUtime=321.42 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 150715 0 0 0 31912 230 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476435611104 0 0 -1 13 0 0 0
[pid=14056/tid=14061] ppid=14054 vsize=19146796 CPUtime=321.27 cores=0-31
/proc/14056/task/14061/stat : 14061 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147765 0 0 0 31907 220 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604501716786656 0 0 -1 19 0 0 0
[pid=14056/tid=14062] ppid=14054 vsize=19146796 CPUtime=321.35 cores=0-31
/proc/14056/task/14062/stat : 14062 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 132197 0 0 0 31928 207 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604478804418016 0 0 -1 26 0 0 0
[pid=14056/tid=14063] ppid=14054 vsize=19146796 CPUtime=321.21 cores=0-31
/proc/14056/task/14063/stat : 14063 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 135153 0 0 0 31920 201 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604477859134944 0 0 -1 12 0 0 0
[pid=14056/tid=14064] ppid=14054 vsize=19146796 CPUtime=321.19 cores=0-31
/proc/14056/task/14064/stat : 14064 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 136619 0 0 0 31897 222 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604504417664480 0 0 -1 7 0 0 0
[pid=14056/tid=14065] ppid=14054 vsize=19146796 CPUtime=321.57 cores=0-31
/proc/14056/task/14065/stat : 14065 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 145459 0 0 0 31941 216 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476684639712 0 0 -1 3 0 0 0
[pid=14056/tid=14066] ppid=14054 vsize=19146796 CPUtime=326.63 cores=0-31
/proc/14056/task/14066/stat : 14066 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148578 0 0 0 32435 228 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604492175252960 0 0 -1 21 0 0 0
[pid=14056/tid=14067] ppid=14054 vsize=19146796 CPUtime=321.11 cores=0-31
/proc/14056/task/14067/stat : 14067 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 144624 0 0 0 31893 218 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604503897767392 0 0 -1 3 0 0 0
[pid=14056/tid=14068] ppid=14054 vsize=19146796 CPUtime=321.45 cores=0-31
/proc/14056/task/14068/stat : 14068 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148460 0 0 0 31922 223 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604568765668832 0 0 -1 5 0 0 0
[pid=14056/tid=14069] ppid=14054 vsize=19146796 CPUtime=321.48 cores=0-31
/proc/14056/task/14069/stat : 14069 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 145053 0 0 0 31914 234 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604478812880352 0 0 -1 25 0 0 0
[pid=14056/tid=14070] ppid=14054 vsize=19146796 CPUtime=321.5 cores=0-31
/proc/14056/task/14070/stat : 14070 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 156683 0 0 0 31910 240 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604487580491232 0 0 -1 30 0 0 0
[pid=14056/tid=14071] ppid=14054 vsize=19146796 CPUtime=321.22 cores=0-31
/proc/14056/task/14071/stat : 14071 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 153517 0 0 0 31891 231 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604504274075104 0 0 -1 29 0 0 0
[pid=14056/tid=14072] ppid=14054 vsize=19146796 CPUtime=321.18 cores=0-31
/proc/14056/task/14072/stat : 14072 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 138224 0 0 0 31879 239 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604480776568288 0 0 -1 20 0 0 0
[pid=14056/tid=14073] ppid=14054 vsize=19146796 CPUtime=320.8 cores=0-31
/proc/14056/task/14073/stat : 14073 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147544 0 0 0 31832 248 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506090479072 0 0 -1 23 0 0 0
[pid=14056/tid=14074] ppid=14054 vsize=19146796 CPUtime=321.66 cores=0-31
/proc/14056/task/14074/stat : 14074 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 152912 0 0 0 31942 224 0 0 19 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604481740979680 0 0 -1 18 0 0 0
[pid=14056/tid=14075] ppid=14054 vsize=19146796 CPUtime=321.17 cores=0-31
/proc/14056/task/14075/stat : 14075 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 149043 0 0 0 31882 235 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506105191904 0 0 -1 16 0 0 0
[pid=14056/tid=14076] ppid=14054 vsize=19146796 CPUtime=321.09 cores=0-31
/proc/14056/task/14076/stat : 14076 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 151938 0 0 0 31885 224 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604481694563808 0 0 -1 4 0 0 0
[pid=14056/tid=14077] ppid=14054 vsize=19146796 CPUtime=328.99 cores=0-31
/proc/14056/task/14077/stat : 14077 (strangenight2-m) R 14054 14056 14030 0 -1 4202560 151574 0 0 0 32662 237 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584409284 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14056/tid=14078] ppid=14054 vsize=19146796 CPUtime=321.67 cores=0-31
/proc/14056/task/14078/stat : 14078 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147467 0 0 0 31941 226 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604491131067872 0 0 -1 28 0 0 0
[pid=14056/tid=14079] ppid=14054 vsize=19146796 CPUtime=321.1 cores=0-31
/proc/14056/task/14079/stat : 14079 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141290 0 0 0 31873 237 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446744071566926544 0 0 -1 17 0 0 0
[pid=14056/tid=14080] ppid=14054 vsize=19146796 CPUtime=321.35 cores=0-31
/proc/14056/task/14080/stat : 14080 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 147031 0 0 0 31897 238 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604506106142176 0 0 -1 1 0 0 0
[pid=14056/tid=14081] ppid=14054 vsize=19146796 CPUtime=318.7 cores=0-31
/proc/14056/task/14081/stat : 14081 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 142615 0 0 0 31635 235 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604479050014176 0 0 -1 31 0 0 0
[pid=14056/tid=14082] ppid=14054 vsize=19146796 CPUtime=320.87 cores=0-31
/proc/14056/task/14082/stat : 14082 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 151235 0 0 0 31852 235 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604505130360288 0 0 -1 14 0 0 0
[pid=14056/tid=14083] ppid=14054 vsize=19146796 CPUtime=321.13 cores=0-31
/proc/14056/task/14083/stat : 14083 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 152772 0 0 0 31867 246 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604483053731296 0 0 -1 6 0 0 0
[pid=14056/tid=14084] ppid=14054 vsize=19146796 CPUtime=318.61 cores=0-31
/proc/14056/task/14084/stat : 14084 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 137643 0 0 0 31627 234 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604477643840992 0 0 -1 27 0 0 0
[pid=14056/tid=14085] ppid=14054 vsize=19146796 CPUtime=321.24 cores=0-31
/proc/14056/task/14085/stat : 14085 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 141417 0 0 0 31896 228 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604476285599200 0 0 -1 13 0 0 0
[pid=14056/tid=14086] ppid=14054 vsize=19146796 CPUtime=320.11 cores=0-31
/proc/14056/task/14086/stat : 14086 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 148978 0 0 0 31777 234 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604501594988000 0 0 -1 11 0 0 0
[pid=14056/tid=14087] ppid=14054 vsize=19146796 CPUtime=326.2 cores=0-31
/proc/14056/task/14087/stat : 14087 (strangenight2-m) S 14054 14056 14030 0 -1 4202560 70605 0 0 0 32532 88 0 0 25 0 32 0 742795154 19606319104 3801892 268435456000 4194304 4580107 140734475256256 18446744073709551615 47151584433716 0 0 4096 2 18446604474385128928 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 10300.9
Current children cumulated vsize (KiB) 19146796
[startup+339.936 s]
/proc/loadavg: 27.43 30.27 31.12 2/415 14096
/proc/meminfo: memFree=242356244/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=0 CPUtime=10302.1 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) Z 14054 14056 14030 0 -1 4203548 4604049 0 0 0 1022992 7218 0 0 18 0 2 0 742795153 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 0 0 0 0 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=0 CPUtime=321.87 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4203588 150715 0 0 0 31912 275 0 0 18 0 2 0 742795154 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 10302.1
Current children cumulated vsize (KiB) 0
[startup+340.301 s]
/proc/loadavg: 27.43 30.27 31.12 2/415 14096
/proc/meminfo: memFree=242356244/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=0 CPUtime=10302.5 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) Z 14054 14056 14030 0 -1 4203548 4604049 0 0 0 1022992 7254 0 0 18 0 2 0 742795153 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 0 0 0 0 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=0 CPUtime=322.24 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4203588 150715 0 0 0 31912 312 0 0 18 0 2 0 742795154 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 10302.5
Current children cumulated vsize (KiB) 0
[startup+340.701 s]
/proc/loadavg: 27.43 30.27 31.12 2/415 14096
/proc/meminfo: memFree=242356244/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=0 CPUtime=10302.9 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) Z 14054 14056 14030 0 -1 4203548 4604049 0 0 0 1022992 7294 0 0 18 0 2 0 742795153 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 0 0 0 0 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=0 CPUtime=322.64 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4203588 150715 0 0 0 31912 352 0 0 19 0 2 0 742795154 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 10302.9
Current children cumulated vsize (KiB) 0
[startup+340.801 s]
/proc/loadavg: 27.43 30.27 31.12 2/415 14096
/proc/meminfo: memFree=242356244/264257624 swapFree=67111528/67111528
[pid=14056] ppid=14054 vsize=0 CPUtime=10303 cores=0-31
/proc/14056/stat : 14056 (strangenight2-m) Z 14054 14056 14030 0 -1 4203548 4604049 0 0 0 1022992 7304 0 0 18 0 2 0 742795153 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 9 0 0 0
/proc/14056/statm: 0 0 0 0 0 0 0
[pid=14056/tid=14060] ppid=14054 vsize=0 CPUtime=322.74 cores=0-31
/proc/14056/task/14060/stat : 14060 (strangenight2-m) R 14054 14056 14030 0 -1 4203588 150715 0 0 0 31912 362 0 0 19 0 2 0 742795154 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 10303
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 340.839
CPU time (s): 10303
CPU user time (s): 10229.9
CPU system time (s): 73.0869
CPU usage (%): 3022.84
Max. virtual memory (cumulated for all children) (KiB): 19403628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10229.9
system time used= 73.0869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4604049
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= 2136272
involuntary context switches= 25415
runsolver used 2.04869 second user time and 8.12676 second system time
The end
Begin job on node200 at 2011-05-25 10:44:47
IDJOB=3400663
IDBENCH=70817
IDSOLVER=1886
FILE ID=node200/3400663-1306313087
RUNJOBID= node200-1306313087-14044
PBS_JOBID= 13411782
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400663-1306313087/watcher-3400663-1306313087 -o /tmp/evaluation-result-3400663-1306313087/solver-3400663-1306313087 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400663-1306313087.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=1727528018
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255164732 kB
Buffers: 466216 kB
Cached: 8222864 kB
SwapCached: 0 kB
Active: 7774108 kB
Inactive: 983896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255164732 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8068 kB
Writeback: 0 kB
AnonPages: 70216 kB
Mapped: 13760 kB
Slab: 255688 kB
PageTables: 3608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-25 10:50:28