0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400764-1306760249.cnf'
0.00/0.07 c -- header says num vars: 257030
0.00/0.07 c -- header says num clauses: 769313
124.71/7.75 c -- clauses added: 0 learnts, 769313 normals, 0 xors
124.71/7.75 c -- vars added 257030
124.71/7.75 c Parsing time: 1.09 s
124.71/7.75 c N st 0 0 257030 256437 512874 0 1795059 0 no data no data
159.26/8.83 c asymm cl-useful: 0/72582/254022 lits-rem:0 time: 0.88
484.21/19.10 c Flit: 220 Blit: 9020 bXBeca: 0 bXProp: 21158 Bins: 0 BRemL: 0 BRemN: 0 P: 124.8M T: 10.42
487.16/19.18 c Cleaning up after failed var search: 0.08 s
495.34/19.48 c Replacing 21158 vars Replaced 377481 lits Time: 0.20 s
515.36/20.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
518.05/20.94 c bin-w-bin subsume rem 1232 bins time: 0.09 s
524.41/21.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.31 s
539.78/21.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 130234 time: 0.44 s
547.00/22.28 c Removed useless bin: 333 fixed: 0 props: 20.00M time: 0.29 s
684.33/27.84 c lits-rem: 40 cl-subs: 146 v-elim: 74685 v-fix: 0 time: 2.23 s
687.05/27.97 c Finding binary XORs T: 0.13 s found: 20
692.69/28.10 c Replacing 20 vars Replaced 840 lits Time: 0.13 s
705.19/28.52 c Finding non-binary XORs: 0.25 s (found: 12899, avg size: 3.0)
705.19/28.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5928 locsubst: 0 time: 0.14
705.19/28.58 c calculated reachability. Time: 0.01
709.45/28.65 c Calc default polars - time: 0.06 s pos: 15447 undec: 145265 neg: 96318
709.45/28.65 c =========================================================================================
709.45/28.65 c types(t): F = full restart, N = normal restart
709.45/28.65 c types(t): S = simplification begin/end, E = solution found
709.45/28.65 c restart types(rt): st = static, dy = dynamic
709.45/28.65 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
709.45/28.65 c B st 0 0 143423 237075 233733 0 1211200 0 no data no data
995.99/37.63 c N dy 18 4174 143423 237075 233749 4135 1211200 139031 15.54 16.37
1267.69/46.16 c N dy 26 9332 143423 237075 234088 9240 1211200 308818 14.10 14.85
1478.67/52.78 c N dy 51 13431 143422 237075 234464 13316 1211200 429917 14.50 17.92
1680.04/59.02 c N dy 77 17453 143422 237075 234465 17306 1211200 553636 14.78 15.90
1904.37/66.02 c N dy 104 21866 143422 237075 234553 11764 1211200 241663 15.01 15.97
2063.58/71.06 c F st 127 25000 143422 237075 234587 14877 1211200 335704 15.16 no data
2140.29/73.49 c N st 130 26188 143422 237071 234587 16057 1211188 378090 15.16 no data
2335.27/79.56 c S st 133 30000 143422 237071 234587 19822 1211188 501847 15.16 no data
2373.63/80.76 c S st 133 30502 143422 237071 234718 20183 1211188 503854 15.16 no data
2376.84/80.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 3260 locsubst: 0 time: 0.10
2581.41/87.28 c Flit: 627 Blit: 52 bXBeca: 0 bXProp: 4165 Bins: 505220 BRemL: 60855 BRemN: 20 P: 72.0M T: 6.41
2581.41/87.29 c Cleaning up after failed var search: 0.00 s
2591.01/87.54 c Replacing 4166 vars Replaced 627551 lits Time: 0.24 s
2597.40/87.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
2603.80/87.92 c bin-w-bin subsume rem 251815 bins time: 0.21 s
2610.82/88.16 c subs with bin: 3286 lits-rem: 3189 v-fix: 0 time: 0.24 s
2622.96/88.51 c Subs w/ non-existent bins: 59 l-rem: 87 v-fix: 0 done: 125361 time: 0.34 s
2629.35/88.74 c Removed useless bin: 627 fixed: 0 props: 15.90M time: 0.22 s
2686.88/90.55 c lits-rem: 1168 cl-subs: 12547 v-elim: 40568 v-fix: 0 time: 1.74 s
2690.08/90.69 c subs with bin: 19 lits-rem: 164 v-fix: 0 time: 0.10 s
2699.68/90.95 c lits-rem: 33 cl-subs: 142 v-elim: 0 v-fix: 0 time: 0.16 s
2728.44/91.85 c asymm cl-useful: 3813/69836/248886 lits-rem:6492 time: 0.90
2731.64/91.90 c calculated reachability. Time: 0.01
2731.64/91.91 c N dy 133 30502 94745 247982 290181 2489 1165227 292154 15.16 no data
2734.83/92.00 c Finding binary XORs T: 0.09 s found: 218
2841.23/95.95 c N dy 155 34522 94743 247982 290293 6482 1165227 390390 15.20 16.23
3018.97/106.21 c Finding binary XORs T: 0.10 s found: 2
3023.18/106.52 c N dy 175 38563 94743 247969 776856 10482 1165195 1461115 15.22 17.38
3060.03/109.10 c N dy 195 42687 94743 247969 776856 8040 1165195 1363594 15.25 16.14
3107.33/112.03 c S st 210 45753 94692 247969 777674 11059 1165195 1443481 15.26 no data
3121.44/112.84 c S st 210 46253 94692 247969 777781 11414 1165185 1445378 15.26 no data
3123.24/112.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1416 locsubst: 0 time: 0.11
3191.07/116.20 c Flit: 236 Blit: 5 bXBeca: 0 bXProp: 683 Bins: 4982 BRemL: 41150 BRemN: 266 P: 40.6M T: 3.24
3193.27/116.20 c Cleaning up after failed var search: 0.00 s
3197.81/116.41 c Replacing 903 vars Replaced 55999 lits Time: 0.20 s
3200.10/116.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
3209.07/117.00 c bin-w-bin subsume rem 447182 bins time: 0.41 s
3216.28/117.25 c subs with bin: 26118 lits-rem: 45888 v-fix: 0 time: 0.26 s
3221.09/117.50 c Subs w/ non-existent bins: 1196 l-rem: 1443 v-fix: 0 done: 92115 time: 0.24 s
3225.80/117.71 c Removed useless bin: 14983 fixed: 0 props: 4.33M time: 0.20 s
3238.85/118.19 c lits-rem: 20 cl-subs: 637 v-elim: 551 v-fix: 0 time: 0.47 s
3244.48/118.36 c subs with bin: 4 lits-rem: 28 v-fix: 0 time: 0.11 s
3252.88/118.68 c lits-rem: 138 cl-subs: 291 v-elim: 0 v-fix: 0 time: 0.22 s
3285.89/119.79 c asymm cl-useful: 0/31931/218398 lits-rem:0 time: 1.11
3289.09/119.84 c calculated reachability. Time: 0.01
3289.09/119.85 c N dy 210 46253 91564 218398 286208 11103 1057288 447241 15.26 no data
3292.87/119.94 c Finding binary XORs T: 0.09 s found: 12
3401.56/123.37 c N dy 239 50270 91564 218398 315032 15056 1057288 598735 15.37 16.65
3542.23/127.73 c Finding binary XORs T: 0.10 s found: 49
3579.94/128.93 c N dy 251 54508 91538 218225 315030 19227 1056850 702403 15.26 16.12
3694.98/132.51 c N dy 267 58552 91538 218225 319090 23200 1056850 808081 15.20 16.03
3835.63/136.94 c Finding binary XORs T: 0.10 s found: 286
3851.63/137.44 c N dy 288 62624 91349 217248 337010 27216 1053832 944152 15.23 18.15
3992.25/141.85 c N dy 312 66670 91349 217248 337010 17196 1053832 631091 15.28 16.18
4084.92/144.76 c S st 329 69379 91245 217248 340184 19857 1053832 704223 15.31 no data
4113.69/145.69 c S st 329 69879 91244 217248 340281 20229 1053829 706143 15.31 no data
4116.89/145.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 904 locsubst: 0 time: 0.10
4286.23/151.00 c Flit: 1414 Blit: 27 bXBeca: 0 bXProp: 3727 Bins: 41501 BRemL: 94788 BRemN: 688 P: 49.1M T: 5.19
4286.23/151.07 c Cleaning up after failed var search: 0.06 s
4292.63/151.21 c Replacing 4074 vars Replaced 136223 lits Time: 0.13 s
4295.83/151.38 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
4299.02/151.46 c bin-w-bin subsume rem 47001 bins time: 0.08 s
4305.42/151.64 c subs with bin: 940 lits-rem: 6603 v-fix: 0 time: 0.18 s
4312.41/151.90 c Subs w/ non-existent bins: 252 l-rem: 159 v-fix: 0 done: 84806 time: 0.26 s
4318.19/152.09 c Removed useless bin: 2177 fixed: 0 props: 5.27M time: 0.19 s
4337.38/152.65 c lits-rem: 117 cl-subs: 3827 v-elim: 2482 v-fix: 0 time: 0.55 s
4343.78/152.84 c subs with bin: 15 lits-rem: 129 v-fix: 0 time: 0.12 s
4356.55/153.29 c lits-rem: 370 cl-subs: 599 v-elim: 0 v-fix: 0 time: 0.35 s
4398.12/154.54 c asymm cl-useful: 18/21478/205401 lits-rem:54 time: 1.25
4398.12/154.59 c calculated reachability. Time: 0.01
4398.12/154.59 c N dy 329 69879 82324 205383 211046 19523 977267 469734 15.31 no data
4401.32/154.68 c Finding binary XORs T: 0.09 s found: 11
4532.37/158.74 c N dy 350 74418 82324 205383 213965 23980 977267 584638 15.33 19.24
4692.10/163.73 c N dy 377 79217 82110 205383 213965 28712 977267 706764 15.37 16.26
4730.46/164.94 c Finding binary XORs T: 0.09 s found: 155
4842.97/168.47 c N dy 409 84360 81912 203101 242659 33752 969745 895508 15.42 17.16
4928.56/171.14 c F st 423 87500 81531 203101 251678 18633 969745 467605 15.43 15.16
4931.75/171.29 c Replacing 166 vars Replaced 3298 lits Time: 0.10 s
5040.25/174.61 c N st 428 90795 81365 201195 250418 21868 962323 552973 15.43 no data
5088.82/176.12 c Finding binary XORs T: 0.09 s found: 114
5177.69/178.96 c N dy 450 96639 81365 201195 287826 27595 962323 773039 15.45 16.57
5375.87/185.12 c N dy 475 103067 80753 201195 291597 33872 962323 929389 15.44 16.28
5440.38/187.13 c S st 484 104819 80753 201195 299510 35610 962323 991747 15.44 no data
5478.10/188.32 c S st 484 105322 79407 191802 295710 36019 931228 986209 15.44 no data
5481.29/188.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 264 locsubst: 0 time: 0.09
5676.27/194.59 c Flit: 204 Blit: 14 bXBeca: 0 bXProp: 1495 Bins: 55758 BRemL: 53968 BRemN: 259 P: 64.2M T: 6.18
5679.46/194.60 c Cleaning up after failed var search: 0.00 s
5683.26/194.77 c Replacing 1609 vars Replaced 47616 lits Time: 0.17 s
5689.04/194.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
5692.24/195.01 c bin-w-bin subsume rem 63972 bins time: 0.08 s
5695.43/195.18 c subs with bin: 2116 lits-rem: 2759 v-fix: 0 time: 0.17 s
5705.04/195.45 c Subs w/ non-existent bins: 1313 l-rem: 709 v-fix: 0 done: 77304 time: 0.26 s
5711.43/195.63 c Removed useless bin: 1057 fixed: 0 props: 5.60M time: 0.17 s
5727.41/196.12 c lits-rem: 56 cl-subs: 560 v-elim: 2437 v-fix: 0 time: 0.48 s
5733.80/196.35 c subs with bin: 15 lits-rem: 235 v-fix: 0 time: 0.14 s
5781.75/197.81 c lits-rem: 1717 cl-subs: 2676 v-elim: 0 v-fix: 0 time: 1.36 s
5820.11/199.02 c asymm cl-useful: 155/16566/190592 lits-rem:208 time: 1.20
5820.11/199.07 c calculated reachability. Time: 0.01
5820.11/199.07 c N dy 484 105322 74867 190582 214089 33258 909992 778290 15.44 no data
5823.89/199.16 c Finding binary XORs T: 0.09 s found: 9
5989.52/204.39 c Finding binary XORs T: 0.09 s found: 869
5995.92/204.50 c Replacing 878 vars Replaced 34160 lits Time: 0.11 s
6024.69/205.47 c N dy 499 112508 73689 188388 231683 40322 902029 989162 15.35 16.16
6206.78/211.12 c Finding binary XORs T: 0.09 s found: 0
6241.94/212.29 c N dy 542 120456 73686 188371 277521 27348 901978 707230 15.41 16.30
6500.81/220.30 c N dy 583 130466 73510 188371 283832 37117 901978 950278 15.40 16.41
6603.10/223.50 c Finding binary XORs T: 0.09 s found: 523
6811.52/230.09 c N dy 623 141806 73288 186908 297300 25655 897464 693851 15.35 16.18
6961.11/234.79 c Finding binary XORs T: 0.09 s found: 228
6964.32/234.90 c Replacing 751 vars Replaced 41209 lits Time: 0.11 s
7041.02/237.29 c N dy 658 150856 72459 185631 294563 34533 892665 897714 15.33 16.53
7210.44/242.59 c S st 696 157984 72459 185631 294677 41543 892665 1068392 15.37 15.13
7248.79/243.74 c S st 696 158486 72459 185631 294727 41992 892665 1070810 15.37 no data
7251.98/243.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 128 locsubst: 0 time: 0.09
7444.37/249.84 c Flit: 99 Blit: 22 bXBeca: 0 bXProp: 683 Bins: 65890 BRemL: 73015 BRemN: 439 P: 64.0M T: 6.00
7444.37/249.84 c Cleaning up after failed var search: 0.00 s
7450.13/250.02 c Replacing 683 vars Replaced 57139 lits Time: 0.17 s
7453.33/250.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
7456.53/250.25 c bin-w-bin subsume rem 57173 bins time: 0.08 s
7462.92/250.42 c subs with bin: 3220 lits-rem: 3802 v-fix: 0 time: 0.17 s
7472.51/250.76 c Subs w/ non-existent bins: 521 l-rem: 214 v-fix: 0 done: 71525 time: 0.34 s
7479.52/250.94 c Removed useless bin: 1387 fixed: 0 props: 5.36M time: 0.18 s
7494.86/251.40 c lits-rem: 300 cl-subs: 1883 v-elim: 1318 v-fix: 0 time: 0.45 s
7501.25/251.63 c subs with bin: 8 lits-rem: 234 v-fix: 0 time: 0.14 s
7546.58/253.08 c lits-rem: 2430 cl-subs: 2520 v-elim: 0 v-fix: 0 time: 1.35 s
7577.96/254.07 c asymm cl-useful: 1385/27058/181186 lits-rem:2099 time: 0.99
7577.96/254.11 c calculated reachability. Time: 0.01
7577.96/254.12 c N dy 696 158486 70207 180948 218882 39393 866276 879152 15.37 no data
7581.75/254.20 c Finding binary XORs T: 0.09 s found: 54
7875.23/263.32 c Finding binary XORs T: 0.09 s found: 430
7878.43/263.46 c N dy 765 168687 69947 179437 271201 25434 861791 607368 15.45 16.39
8162.94/272.39 c N dy 821 180491 69947 179437 283340 37030 861791 915963 15.48 16.32
8166.10/272.47 c Finding binary XORs T: 0.09 s found: 2
8460.80/281.66 c N dy 903 192047 69794 179437 289115 48402 861791 1214776 15.57 18.70
8710.13/289.48 c Finding binary XORs T: 0.09 s found: 486
8715.92/289.60 c Replacing 972 vars Replaced 58560 lits Time: 0.12 s
8805.43/292.40 c N dy 945 204614 68800 177932 286526 35398 855437 856405 15.54 16.41
8901.30/295.48 c Finding binary XORs T: 0.09 s found: 343
9192.15/304.51 c N dy 1030 220140 68657 177132 314338 50649 853066 1297102 15.58 16.47
9406.33/311.20 c Finding binary XORs T: 0.09 s found: 487
9406.33/311.31 c Replacing 830 vars Replaced 66464 lits Time: 0.11 s
9562.95/316.15 c N dy 1112 234232 67498 175486 328811 38129 846945 1001519 15.64 18.44
9639.68/318.57 c Finding binary XORs T: 0.09 s found: 275
9659.46/319.13 c S st 1130 237730 67455 174682 330365 41511 844536 1086792 15.63 no data
9691.43/320.15 c S st 1130 238232 67455 174682 330394 41971 844535 1089434 15.63 no data
9694.62/320.25 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 128 locsubst: 2 time: 0.09
9857.05/325.31 c Flit: 56 Blit: 9 bXBeca: 0 bXProp: 513 Bins: 47739 BRemL: 94404 BRemN: 612 P: 52.4M T: 5.06
9860.25/325.49 c Replacing 789 vars Replaced 45149 lits Time: 0.16 s
9867.23/325.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
9870.43/325.72 c bin-w-bin subsume rem 67010 bins time: 0.08 s
9873.03/325.88 c subs with bin: 2961 lits-rem: 2294 v-fix: 0 time: 0.16 s
9882.62/326.16 c Subs w/ non-existent bins: 143 l-rem: 191 v-fix: 0 done: 66469 time: 0.27 s
9889.01/326.31 c Removed useless bin: 809 fixed: 0 props: 4.07M time: 0.15 s
9902.38/326.80 c lits-rem: 206 cl-subs: 1298 v-elim: 1740 v-fix: 0 time: 0.49 s
9911.38/327.02 c subs with bin: 17 lits-rem: 358 v-fix: 0 time: 0.13 s
9949.71/328.23 c lits-rem: 1147 cl-subs: 2404 v-elim: 0 v-fix: 0 time: 1.12 s
9988.07/329.49 c asymm cl-useful: 153/17605/173303 lits-rem:430 time: 1.26
9991.27/329.54 c calculated reachability. Time: 0.01
9991.27/329.54 c N dy 1130 238232 64729 173165 203825 39467 828350 803758 15.63 no data
9994.46/329.63 c Finding binary XORs T: 0.08 s found: 47
10378.04/341.65 c N dy 1142 255760 64598 173165 208276 29276 828350 527994 15.47 16.37
10384.44/341.85 c Finding binary XORs T: 0.09 s found: 287
10668.78/350.79 c Finding binary XORs T: 0.09 s found: 22
10806.19/355.02 c N dy 1221 272129 64231 171671 272922 45360 823577 1050889 15.46 17.68
11062.51/363.08 c Finding binary XORs T: 0.09 s found: 572
11065.74/363.19 c Replacing 928 vars Replaced 39980 lits Time: 0.11 s
11282.47/369.94 c N dy 1306 290128 63163 169591 269767 34635 815130 751701 15.48 16.30
11739.49/384.22 c F st 1322 306251 63070 169591 277013 50110 815130 1153898 15.29 8.97
11761.88/385.01 c Finding binary XORs T: 0.09 s found: 520
11857.75/387.97 c N st 1327 309548 62933 168470 281416 53341 811413 1256674 15.29 no data
11915.29/389.76 c Decided on static restart strategy
12202.98/398.70 c Finding binary XORs T: 0.09 s found: 563
12206.18/398.82 c Replacing 1083 vars Replaced 57382 lits Time: 0.12 s
12429.95/405.90 c N st 1332 334553 61643 167239 283204 48379 806132 1223286 15.29 no data
13014.89/424.20 c N st 1334 357348 61525 167239 286130 40956 806132 1121690 15.29 no data
13018.09/424.20 c S st 1334 357348 61525 167239 286130 40956 806132 1121690 15.29 no data
13053.26/425.34 c S st 1334 357848 61525 167239 286195 41423 806132 1124385 15.29 no data
13056.46/425.43 c x-sub: 2 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
13216.28/430.46 c Flit: 47 Blit: 5 bXBeca: 0 bXProp: 577 Bins: 54282 BRemL: 76196 BRemN: 629 P: 55.1M T: 5.03
13222.66/430.64 c Replacing 577 vars Replaced 27341 lits Time: 0.16 s
13225.86/430.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
13229.07/430.86 c bin-w-bin subsume rem 54048 bins time: 0.07 s
13235.46/431.02 c subs with bin: 2623 lits-rem: 2637 v-fix: 0 time: 0.15 s
13242.43/431.25 c Subs w/ non-existent bins: 132 l-rem: 293 v-fix: 0 done: 60890 time: 0.23 s
13245.63/431.39 c Removed useless bin: 562 fixed: 0 props: 3.01M time: 0.14 s
13261.01/431.90 c lits-rem: 1134 cl-subs: 1470 v-elim: 2138 v-fix: 0 time: 0.50 s
13270.60/432.12 c subs with bin: 16 lits-rem: 416 v-fix: 0 time: 0.13 s
13424.03/436.91 c lits-rem: 1918 cl-subs: 9025 v-elim: 0 v-fix: 0 time: 4.70 s
13462.36/438.15 c asymm cl-useful: 191/17052/166364 lits-rem:573 time: 1.23
13462.36/438.19 c calculated reachability. Time: 0.01
13462.36/438.19 c N st 1334 357848 58752 166173 196163 32335 788359 776045 15.29 no data
13465.55/438.28 c Finding binary XORs T: 0.08 s found: 17
14159.81/459.96 c N st 1335 390240 58752 166173 196163 33171 788359 727568 15.29 no data
15370.62/497.86 c N st 1336 438829 58646 166173 197210 48629 788359 1138720 15.29 no data
15377.03/498.08 c Finding binary XORs T: 0.09 s found: 422
17253.93/556.76 c N st 1337 511711 58512 165087 249433 52487 784480 1303884 15.29 no data
17259.68/556.96 c Finding binary XORs T: 0.09 s found: 481
17262.88/557.08 c Replacing 920 vars Replaced 36387 lits Time: 0.12 s
17844.63/575.20 c N st 1338 536772 57396 164046 279325 41888 779408 1051773 15.29 no data
17844.63/575.21 c S st 1338 536772 57396 164046 279325 41888 779408 1051773 15.29 no data
17879.79/576.31 c S st 1338 537272 57374 164046 279687 42364 779407 1055095 15.29 no data
17879.79/576.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
18029.99/581.02 c Flit: 12 Blit: 5 bXBeca: 0 bXProp: 88 Bins: 11014 BRemL: 85247 BRemN: 529 P: 61.7M T: 4.62
18033.19/581.18 c Replacing 88 vars Replaced 2573 lits Time: 0.15 s
18039.59/581.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
18039.59/581.38 c bin-w-bin subsume rem 34015 bins time: 0.06 s
18045.98/581.52 c subs with bin: 2466 lits-rem: 2906 v-fix: 0 time: 0.14 s
18055.58/581.81 c Subs w/ non-existent bins: 231 l-rem: 555 v-fix: 0 done: 57267 time: 0.28 s
18059.36/581.94 c Removed useless bin: 448 fixed: 0 props: 2.72M time: 0.13 s
18071.55/582.36 c lits-rem: 1421 cl-subs: 705 v-elim: 798 v-fix: 0 time: 0.42 s
18077.94/582.55 c subs with bin: 9 lits-rem: 11 v-fix: 0 time: 0.11 s
18148.27/584.73 c lits-rem: 1048 cl-subs: 4251 v-elim: 0 v-fix: 0 time: 2.08 s
18154.66/584.92 c vivif2 -- cl tried 162034 cl shrink 1847 lits rem 1894 time: 0.19
18157.86/585.10 c vivif2 -- cl tried 38087 cl shrink 17035 lits rem 60115 time: 0.17
18193.02/586.17 c asymm cl-useful: 24/15385/161389 lits-rem:72 time: 1.07
18196.22/586.25 c calculated reachability. Time: 0.04
18196.22/586.25 c N st 1338 537272 56469 161365 166667 38083 761488 685261 15.29 no data
18200.01/586.38 c Finding binary XORs T: 0.13 s found: 6
18554.84/597.42 c Finding binary XORs T: 0.13 s found: 65
20270.78/651.11 c Finding binary XORs T: 0.13 s found: 174
21658.05/694.52 c Finding binary XORs T: 0.14 s found: 156
22680.95/726.51 c N st 1339 701258 56250 160436 184400 48516 758117 954216 15.29 no data
22687.34/726.73 c Finding binary XORs T: 0.14 s found: 303
22690.54/726.84 c Replacing 704 vars Replaced 18659 lits Time: 0.10 s
25855.04/825.83 c N st 1340 805908 55434 159902 191639 69422 755227 1462998 15.29 no data
25855.04/825.83 c S st 1340 805908 55434 159902 191639 69422 755227 1462998 15.29 no data
25865.22/826.12 c Finding binary XORs T: 0.14 s found: 1468
25868.42/826.24 c Replacing 1468 vars Replaced 49200 lits Time: 0.12 s
25909.37/827.52 c S st 1340 806408 53481 157727 241709 69894 745996 1568132 15.29 no data
25912.57/827.61 c x-sub: 4 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 2 time: 0.09
26085.19/833.06 c Flit: 7 Blit: 8 bXBeca: 0 bXProp: 114 Bins: 5822 BRemL: 53687 BRemN: 549 P: 87.6M T: 5.44
26091.55/833.22 c Replacing 115 vars Replaced 3685 lits Time: 0.15 s
26094.75/833.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
26097.96/833.43 c bin-w-bin subsume rem 32544 bins time: 0.06 s
26101.19/833.56 c subs with bin: 990 lits-rem: 551 v-fix: 0 time: 0.13 s
26107.55/833.76 c Subs w/ non-existent bins: 41 l-rem: 225 v-fix: 0 done: 53350 time: 0.20 s
26111.34/833.89 c Removed useless bin: 397 fixed: 0 props: 2.41M time: 0.13 s
26126.75/834.35 c lits-rem: 1689 cl-subs: 2134 v-elim: 1207 v-fix: 0 time: 0.46 s
26136.31/834.60 c subs with bin: 6 lits-rem: 0 v-fix: 0 time: 0.12 s
26679.69/851.69 c lits-rem: 1433 cl-subs: 16128 v-elim: 0 v-fix: 0 time: 16.98 s
26686.09/851.87 c vivif2 -- cl tried 156932 cl shrink 3669 lits rem 3819 time: 0.19
26692.48/852.08 c vivif2 -- cl tried 53748 cl shrink 7993 lits rem 24196 time: 0.20
26724.46/853.05 c asymm cl-useful: 0/15042/155586 lits-rem:0 time: 0.97
26727.66/853.12 c calculated reachability. Time: 0.04
26727.66/853.13 c N st 1340 806408 52143 155586 156826 53748 726652 1006198 15.29 no data
26730.85/853.26 c Finding binary XORs T: 0.13 s found: 2
27229.49/868.84 c Finding binary XORs T: 0.14 s found: 681
27232.68/868.95 c Replacing 683 vars Replaced 21816 lits Time: 0.11 s
29927.33/953.22 c Finding binary XORs T: 0.14 s found: 399
34514.97/1096.74 c F st 1341 1071877 51350 155054 215234 95091 724192 2277938 15.29 no data
34518.20/1096.86 c Replacing 399 vars Replaced 16256 lits Time: 0.12 s
34530.35/1097.29 c N st 1341 1071877 50951 154911 213467 95091 723391 2274616 15.29 no data
34539.94/1097.55 c Finding binary XORs T: 0.14 s found: 339
35332.67/1122.33 c N dy 1349 1098844 50931 154843 246188 74341 723175 1598857 15.10 15.90
35339.06/1122.54 c Finding binary XORs T: 0.14 s found: 77
35879.30/1139.43 c Finding binary XORs T: 0.14 s found: 82
37279.36/1183.21 c N dy 1380 1166050 50928 154821 253091 91366 723093 1953694 14.66 15.53
37285.75/1183.45 c Finding binary XORs T: 0.14 s found: 166
37288.95/1183.57 c Replacing 664 vars Replaced 28745 lits Time: 0.12 s
38634.68/1225.66 c N dy 1390 1209614 50258 154539 260423 84749 721711 1794333 14.45 12.59
38634.68/1225.67 c S st 1390 1209614 50258 154539 260423 84749 721711 1794333 14.45 12.59
38644.27/1225.92 c Finding binary XORs T: 0.14 s found: 326
38695.43/1227.50 c S st 1390 1210115 50251 154505 282413 85240 721603 1842408 14.45 no data
38695.43/1227.60 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
38868.00/1232.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 20 Bins: 2166 BRemL: 77648 BRemN: 611 P: 66.4M T: 5.35
38871.20/1233.07 c Replacing 346 vars Replaced 12106 lits Time: 0.11 s
38878.21/1233.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
38878.21/1233.28 c bin-w-bin subsume rem 44044 bins time: 0.06 s
38883.97/1233.42 c subs with bin: 1688 lits-rem: 1098 v-fix: 0 time: 0.14 s
38890.36/1233.62 c Subs w/ non-existent bins: 70 l-rem: 381 v-fix: 0 done: 49905 time: 0.20 s
38893.56/1233.74 c Removed useless bin: 568 fixed: 0 props: 2.15M time: 0.13 s
38906.36/1234.18 c lits-rem: 1493 cl-subs: 2590 v-elim: 481 v-fix: 0 time: 0.43 s
38919.13/1234.57 c subs with bin: 5 lits-rem: 3 v-fix: 0 time: 0.23 s
39056.59/1238.80 c lits-rem: 3203 cl-subs: 3224 v-elim: 0 v-fix: 0 time: 4.14 s
39059.79/1238.99 c vivif2 -- cl tried 151049 cl shrink 1565 lits rem 1606 time: 0.19
39075.78/1239.43 c vivif2 -- cl tried 82005 cl shrink 20121 lits rem 43854 time: 0.43
39114.13/1240.67 c asymm cl-useful: 4/13512/150364 lits-rem:12 time: 1.24
39117.33/1240.75 c calculated reachability. Time: 0.04
39117.33/1240.75 c N dy 1390 1210115 49424 150360 158856 82005 696113 1504234 14.45 no data
39121.12/1240.89 c Finding binary XORs T: 0.14 s found: 2
39373.04/1248.73 c Finding binary XORs T: 0.14 s found: 128
39754.02/1260.64 c N dy 1399 1230410 49423 150357 177384 51564 696096 788610 14.33 15.11
39757.24/1260.78 c Finding binary XORs T: 0.14 s found: 46
40395.92/1280.76 c N dy 1431 1250495 49423 150357 179686 71502 696096 1287018 14.29 15.07
40789.08/1293.06 c Finding binary XORs T: 0.14 s found: 463
40792.28/1293.17 c Replacing 639 vars Replaced 22237 lits Time: 0.12 s
41125.33/1303.52 c N dy 1443 1270920 48784 150092 189906 91738 694713 1833367 14.21 14.96
41390.05/1311.80 c Finding binary XORs T: 0.14 s found: 38
41607.39/1318.65 c Finding binary XORs T: 0.15 s found: 2510
41610.59/1318.80 c Replacing 2548 vars Replaced 73821 lits Time: 0.14 s
41955.82/1329.53 c N dy 1462 1295400 46230 149538 203704 64424 692333 1186409 14.09 15.02
42026.14/1331.80 c Finding binary XORs T: 0.13 s found: 1
42377.74/1342.75 c Finding binary XORs T: 0.14 s found: 147
44119.82/1397.21 c N dy 1509 1359879 46230 149538 219263 75566 692333 1393004 13.86 14.60
44126.21/1397.45 c Finding binary XORs T: 0.14 s found: 433
44129.44/1397.56 c Replacing 581 vars Replaced 30111 lits Time: 0.11 s
44647.27/1413.73 c Finding binary XORs T: 0.14 s found: 113
44803.92/1418.60 c N dy 1526 1380343 45648 149172 247798 95722 690721 1954118 13.79 14.52
45890.70/1452.62 c N dy 1536 1412025 45648 149172 248055 73637 690721 1361125 13.69 14.47
45893.93/1452.76 c Finding binary XORs T: 0.14 s found: 1
46424.54/1469.40 c Finding binary XORs T: 0.14 s found: 70
46555.59/1473.43 c N dy 1570 1436373 45648 149172 255861 97734 690721 1937636 13.64 14.36
47268.41/1495.70 c Finding binary XORs T: 0.14 s found: 38
47297.18/1496.61 c N dy 1577 1456432 45648 149172 259882 63215 690721 1126841 13.58 14.31
48067.53/1520.70 c N dy 1615 1480393 45648 149172 260036 86939 690721 1682362 13.54 14.26
48070.72/1520.86 c Finding binary XORs T: 0.14 s found: 50
49307.78/1559.55 c N dy 1637 1511820 45648 149172 263239 62611 690721 1090149 13.46 14.41
49314.17/1559.71 c Finding binary XORs T: 0.14 s found: 104
50165.09/1586.35 c N dy 1680 1538362 45648 149172 269018 88877 690721 1755136 13.42 14.30
50474.51/1596.08 c Finding binary XORs T: 0.14 s found: 44
51174.56/1617.90 c N dy 1705 1572849 45648 149172 269308 66654 690721 1171717 13.34 14.05
51884.80/1640.14 c N dy 1741 1593908 45648 149172 269506 87515 690721 1680853 13.32 14.03
52204.45/1650.15 c Finding binary XORs T: 0.14 s found: 59
52207.04/1650.27 c Replacing 479 vars Replaced 27306 lits Time: 0.12 s
52721.67/1666.39 c N dy 1778 1615744 45169 148703 270949 109158 688852 2209586 13.29 14.13
53623.07/1694.60 c N dy 1779 1638472 45169 148703 271440 74173 688852 1311912 13.23 13.97
53629.46/1694.75 c Finding binary XORs T: 0.14 s found: 53
54604.40/1725.26 c N dy 1821 1667459 45169 148703 274178 102851 688852 1990904 13.20 13.91
54610.79/1725.42 c Finding binary XORs T: 0.14 s found: 103
55291.66/1746.79 c N dy 1893 1687464 45169 148703 281336 64390 688852 1100055 13.18 14.24
55425.91/1750.92 c Finding binary XORs T: 0.14 s found: 24
56030.05/1769.90 c N dy 1930 1710115 45169 148703 283250 86717 688852 1616532 13.16 10.85
56030.05/1769.91 c S st 1930 1710115 45169 148703 283250 86717 688852 1616532 13.16 10.85
56074.79/1771.26 c S st 1930 1710618 45169 148703 283253 87212 688851 1621741 13.16 no data
56077.98/1771.35 c x-sub: 3 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 4 time: 0.09
56202.67/1775.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 69 Bins: 1127 BRemL: 73702 BRemN: 848 P: 53.1M T: 3.95
56205.86/1775.41 c Replacing 249 vars Replaced 9188 lits Time: 0.10 s
56212.88/1775.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
56215.44/1775.62 c bin-w-bin subsume rem 59200 bins time: 0.06 s
56218.64/1775.74 c subs with bin: 2257 lits-rem: 2090 v-fix: 0 time: 0.13 s
56225.03/1775.94 c Subs w/ non-existent bins: 40 l-rem: 310 v-fix: 0 done: 44920 time: 0.19 s
56228.23/1776.06 c Removed useless bin: 617 fixed: 0 props: 1.71M time: 0.12 s
56241.03/1776.50 c lits-rem: 729 cl-subs: 10693 v-elim: 282 v-fix: 0 time: 0.44 s
56253.80/1776.80 c subs with bin: 12 lits-rem: 6 v-fix: 0 time: 0.17 s
56324.13/1779.03 c lits-rem: 3734 cl-subs: 2326 v-elim: 0 v-fix: 0 time: 2.14 s
56327.33/1779.20 c vivif2 -- cl tried 136057 cl shrink 768 lits rem 775 time: 0.17
56340.12/1779.51 c vivif2 -- cl tried 84856 cl shrink 11797 lits rem 23528 time: 0.32
56368.88/1780.48 c asymm cl-useful: 2/7381/135683 lits-rem:6 time: 0.96
56372.08/1780.55 c calculated reachability. Time: 0.04
56372.08/1780.55 c N dy 1930 1710618 44638 135681 148568 84856 626344 1311283 13.16 no data
56375.28/1780.68 c Finding binary XORs T: 0.13 s found: 0
56944.24/1798.49 c Finding binary XORs T: 0.13 s found: 98
56948.03/1798.58 c N dy 1981 1730638 44638 135681 151341 104666 626344 1793162 13.15 13.85
57350.21/1811.17 c Finding binary XORs T: 0.13 s found: 107
57532.42/1816.90 c N dy 2035 1750823 44638 135681 155875 65380 626344 871290 13.14 14.04
58152.51/1836.29 c N dy 2049 1776438 44638 135681 155875 90638 626344 1478338 13.09 13.78
58158.91/1836.44 c Finding binary XORs T: 0.13 s found: 147
58731.12/1854.31 c N dy 2087 1797459 44638 135681 162793 111390 626344 1963965 13.07 14.11
58734.28/1854.45 c Finding binary XORs T: 0.13 s found: 63
59233.56/1870.04 c Finding binary XORs T: 0.13 s found: 138
59236.76/1870.14 c Replacing 553 vars Replaced 21550 lits Time: 0.11 s
59322.46/1872.82 c N dy 2128 1817653 44085 135271 164476 71113 624521 987532 13.06 13.83
59667.67/1883.68 c Finding binary XORs T: 0.13 s found: 230
59961.76/1892.86 c N dy 2191 1838331 44085 135271 173907 91567 624521 1482376 13.05 13.82
60204.71/1900.46 c Finding binary XORs T: 0.13 s found: 38
60617.06/1913.31 c N dy 2235 1858652 44085 135271 176216 111716 624521 1961636 13.03 13.74
61032.60/1926.35 c Finding binary XORs T: 0.13 s found: 47
61262.78/1933.57 c N dy 2273 1880124 44085 135271 178266 71618 624521 1009480 13.02 13.71
61818.96/1950.93 c Finding binary XORs T: 0.13 s found: 45
61841.32/1951.67 c N dy 2351 1900337 44085 135271 180334 91659 624521 1476266 13.02 13.72
62582.89/1974.89 c N dy 2367 1923912 44085 135271 181673 114831 624521 1994527 12.98 13.80
62589.28/1975.04 c Finding binary XORs T: 0.13 s found: 26
63269.99/1996.39 c N dy 2405 1944016 44085 135271 182689 72473 624521 1022182 12.97 13.67
63815.83/2013.42 c N dy 2428 1965118 44085 135271 183431 93151 624521 1499291 12.94 13.65
63819.03/2013.56 c Finding binary XORs T: 0.13 s found: 38
64416.50/2032.21 c N dy 2507 1985321 44085 135271 184761 113187 624521 1976972 12.94 13.70
64678.63/2040.44 c Finding binary XORs T: 0.13 s found: 23
64682.42/2040.55 c Replacing 447 vars Replaced 18539 lits Time: 0.11 s
65059.03/2052.37 c N dy 2582 2005401 43638 135079 186770 69900 623641 954663 12.94 14.65
65557.68/2067.92 c Finding binary XORs T: 0.13 s found: 52
65637.58/2070.44 c N dy 2630 2026368 43638 135079 189307 90649 623641 1444010 12.93 13.64
66299.90/2091.20 c N dy 2700 2046826 43638 135079 189645 110872 623641 1915956 12.93 13.63
66890.65/2109.67 c Finding binary XORs T: 0.13 s found: 36
67088.80/2115.87 c N dy 2786 2069765 43638 135079 192130 69299 623641 920530 12.92 13.61
67788.88/2137.74 c N dy 2824 2094901 43638 135079 192356 94097 623641 1512332 12.90 13.66
68364.24/2155.70 c N dy 2902 2115073 43638 135079 192409 114062 623641 1965928 12.90 13.59
68856.53/2171.12 c Finding binary XORs T: 0.13 s found: 9
69000.35/2175.68 c N dy 2950 2135119 43638 135079 193601 68644 623641 888842 12.89 18.85
69690.80/2197.30 c N dy 3006 2158196 43638 135079 193699 91476 623641 1413628 12.88 13.59
70390.83/2219.14 c N dy 3096 2178759 43638 135079 193900 111839 623641 1887811 12.88 13.67
70576.24/2224.98 c Finding binary XORs T: 0.13 s found: 54
71145.20/2242.77 c N dy 3167 2198811 43638 135079 198016 131675 623641 2368963 12.88 15.43
71308.21/2247.85 c Finding binary XORs T: 0.14 s found: 32
71507.04/2254.02 c S st 3199 2210618 43638 135079 199139 77091 623641 1082679 12.87 no data
71547.95/2255.35 c S st 3199 2211121 43638 135079 199143 77589 623641 1087542 12.87 no data
71551.15/2255.43 c x-sub: 3 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
71663.04/2258.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 45 Bins: 965 BRemL: 30831 BRemN: 642 P: 45.2M T: 3.54
71666.23/2259.08 c Replacing 228 vars Replaced 8189 lits Time: 0.10 s
71672.62/2259.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
71672.62/2259.26 c bin-w-bin subsume rem 24497 bins time: 0.05 s
71675.83/2259.38 c subs with bin: 1400 lits-rem: 849 v-fix: 0 time: 0.12 s
71685.41/2259.63 c Subs w/ non-existent bins: 17 l-rem: 231 v-fix: 0 done: 43410 time: 0.24 s
71688.61/2259.75 c Removed useless bin: 482 fixed: 0 props: 1.45M time: 0.12 s
71701.40/2260.10 c lits-rem: 159 cl-subs: 1555 v-elim: 122 v-fix: 0 time: 0.35 s
71707.79/2260.33 c subs with bin: 3 lits-rem: 8 v-fix: 0 time: 0.13 s
71730.14/2261.07 c lits-rem: 1482 cl-subs: 785 v-elim: 0 v-fix: 0 time: 0.65 s
71736.53/2261.24 c vivif2 -- cl tried 132178 cl shrink 202 lits rem 204 time: 0.17
71742.93/2261.41 c vivif2 -- cl tried 76796 cl shrink 3989 lits rem 8718 time: 0.18
71753.14/2261.76 c asymm cl-useful: 1/2473/132074 lits-rem:3 time: 0.35
71755.70/2261.83 c calculated reachability. Time: 0.04
71755.70/2261.84 c N dy 3199 2211121 43288 132073 142180 76796 607676 958896 12.87 no data
71896.35/2266.24 c Finding binary XORs T: 0.13 s found: 2
72356.66/2280.66 c N dy 3253 2232183 43288 132073 144053 97650 607676 1446755 12.86 13.68
72935.23/2298.77 c N dy 3283 2252210 43288 132073 144724 117381 607676 1888310 12.85 13.55
72941.62/2298.92 c Finding binary XORs T: 0.13 s found: 55
73603.29/2319.68 c N dy 3338 2272370 43288 132073 147410 70122 607676 795517 12.84 13.54
74169.10/2337.34 c N dy 3380 2293293 43288 132073 147698 90799 607676 1258431 12.83 13.51
74387.06/2344.14 c Finding binary XORs T: 0.13 s found: 119
74827.58/2357.92 c N dy 3429 2313399 43288 132073 151522 110687 607676 1736532 12.82 13.52
75102.48/2366.52 c Finding binary XORs T: 0.13 s found: 25
75565.98/2381.01 c N dy 3488 2333490 43288 132073 153560 130587 607676 2214053 12.82 13.55
76110.01/2398.04 c Finding binary XORs T: 0.13 s found: 38
76243.68/2402.22 c N dy 3532 2354667 43288 132073 154987 83269 607676 1102554 12.81 13.58
76813.24/2420.05 c N dy 3593 2374717 43288 132073 155968 103135 607676 1576478 12.81 13.61
77017.22/2426.45 c Finding binary XORs T: 0.13 s found: 24
77458.32/2440.26 c N dy 3625 2394886 43288 132073 157911 123081 607676 2045833 12.79 13.47
77899.48/2454.03 c Finding binary XORs T: 0.13 s found: 68
78152.62/2461.92 c N dy 3651 2415035 43288 132073 160524 73728 607676 872708 12.78 13.55
78522.77/2473.55 c Finding binary XORs T: 0.13 s found: 53
78817.47/2482.73 c N dy 3734 2435124 43288 132073 162996 93651 607676 1364676 12.78 15.60
79536.07/2505.26 c N dy 3800 2455143 43288 132073 163866 113504 607676 1880292 12.77 16.78
80089.09/2522.55 c Finding binary XORs T: 0.14 s found: 11
80277.68/2528.43 c N dy 3849 2475501 43288 132073 163987 133651 607676 2360649 12.76 13.45
80923.41/2548.61 c N dy 3894 2495654 43288 132073 164616 83307 607676 1083256 12.76 13.54
81537.12/2567.90 c N dy 3936 2516143 43288 132073 164635 103556 607676 1554133 12.75 13.44
81968.62/2581.31 c Finding binary XORs T: 0.13 s found: 27
82186.00/2588.10 c N dy 4023 2536145 43288 132073 165342 123434 607676 2033690 12.75 13.60
82864.28/2609.36 c N dy 4075 2556293 43288 132073 166179 72107 607676 812892 12.74 13.49
83068.24/2615.79 c Finding binary XORs T: 0.13 s found: 39
83072.03/2615.90 c Replacing 461 vars Replaced 17074 lits Time: 0.10 s
83448.64/2627.63 c N dy 4110 2577031 42827 131792 167013 92501 606452 1273542 12.73 13.46
84177.43/2650.40 c N dy 4134 2599293 42827 131792 167016 114411 606452 1768980 12.72 13.46
84180.63/2650.55 c Finding binary XORs T: 0.13 s found: 12
85305.83/2685.74 c N dy 4211 2633034 42827 131792 168430 75605 606452 876720 12.70 13.38
85312.23/2685.90 c Finding binary XORs T: 0.13 s found: 34
85877.98/2703.65 c Finding binary XORs T: 0.13 s found: 5
86009.06/2707.72 c N dy 4280 2656369 42827 131792 173825 98668 606452 1424445 12.69 13.44
86760.23/2731.31 c N dy 4351 2677463 42827 131792 173978 119574 606452 1935796 12.69 13.45
87297.22/2748.03 c Finding binary XORs T: 0.13 s found: 39
87552.95/2756.00 c N dy 4428 2697660 42827 131792 177000 139607 606452 2421039 12.69 13.38
88083.58/2772.65 c S st 4467 2711121 42827 131792 177096 79732 606452 976055 12.69 12.30
88128.30/2774.04 c S st 4467 2711623 42827 131792 177102 80227 606452 982101 12.69 no data
88131.55/2774.13 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 2 time: 0.09
88244.01/2777.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 23 Bins: 954 BRemL: 20999 BRemN: 497 P: 41.0M T: 3.56
88249.76/2777.80 c Replacing 114 vars Replaced 3301 lits Time: 0.10 s
88252.97/2777.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
88252.97/2777.97 c bin-w-bin subsume rem 15192 bins time: 0.05 s
88256.17/2778.09 c subs with bin: 921 lits-rem: 476 v-fix: 0 time: 0.12 s
88265.76/2778.32 c Subs w/ non-existent bins: 2 l-rem: 158 v-fix: 0 done: 42713 time: 0.22 s
88268.96/2778.44 c Removed useless bin: 286 fixed: 0 props: 1.36M time: 0.12 s
88279.17/2778.77 c lits-rem: 33 cl-subs: 693 v-elim: 75 v-fix: 0 time: 0.33 s
88284.93/2778.99 c subs with bin: 7 lits-rem: 9 v-fix: 0 time: 0.12 s
88307.31/2779.67 c lits-rem: 1256 cl-subs: 1196 v-elim: 0 v-fix: 0 time: 0.59 s
88314.33/2779.84 c vivif2 -- cl tried 130211 cl shrink 50 lits rem 51 time: 0.17
88320.09/2780.00 c vivif2 -- cl tried 79016 cl shrink 1541 lits rem 3187 time: 0.16
88355.25/2781.16 c asymm cl-useful: 37/13001/130179 lits-rem:46 time: 1.16
88358.45/2781.23 c calculated reachability. Time: 0.04
88358.45/2781.23 c N dy 4467 2711623 42638 130176 140520 79016 598200 890256 12.69 no data
88483.13/2785.12 c Finding binary XORs T: 0.13 s found: 3
88927.47/2799.04 c Finding binary XORs T: 0.13 s found: 47
89183.17/2807.04 c N dy 4562 2736619 42638 130176 144665 103736 598200 1483150 12.69 13.40
89940.77/2830.79 c N dy 4658 2757600 42638 130176 145298 124531 598200 1970671 12.69 13.41
90104.36/2835.90 c Finding binary XORs T: 0.13 s found: 25
90832.61/2858.68 c N dy 4701 2781155 42638 130176 146886 147721 598200 2501270 12.68 13.35
91059.55/2865.75 c Finding binary XORs T: 0.13 s found: 15
91430.34/2877.30 c N dy 4776 2801276 42638 130176 148781 93513 598200 1232618 12.68 13.37
92063.23/2897.16 c N dy 4824 2821678 42638 130176 149040 113690 598200 1687189 12.67 13.44
92830.38/2921.10 c N dy 4844 2843841 42638 130176 149062 135440 598200 2145084 12.66 13.44
92833.58/2921.25 c Finding binary XORs T: 0.13 s found: 84
93533.65/2943.15 c N dy 4911 2863920 42638 130176 152763 80254 598200 913824 12.66 14.94
94265.63/2966.09 c N dy 4997 2885882 42638 130176 153348 101981 598200 1431570 12.66 13.37
94518.16/2973.91 c Finding binary XORs T: 0.13 s found: 24
95016.82/2989.57 c N dy 5072 2905958 42638 130176 154376 121836 598200 1898937 12.65 13.37
95800.55/3014.08 c N dy 5142 2926001 42638 130176 155168 141648 598200 2358082 12.65 13.40
96292.84/3029.48 c Finding binary XORs T: 0.13 s found: 24
96586.28/3038.64 c N dy 5221 2946712 42638 130176 157605 86015 598200 1038320 12.65 13.33
97034.40/3052.68 c Finding binary XORs T: 0.14 s found: 47
97375.82/3063.36 c N dy 5235 2970939 42638 130176 159475 109764 598200 1556611 12.63 13.31
98184.57/3088.60 c N dy 5336 2990980 42638 130176 160567 129671 598200 2042110 12.63 13.85
98405.73/3095.57 c Finding binary XORs T: 0.13 s found: 16
99076.40/3116.58 c N dy 5424 3011878 42638 130176 161368 150334 598200 2526795 12.64 13.33
99658.17/3134.73 c Finding binary XORs T: 0.13 s found: 17
99734.89/3137.11 c N dy 5467 3032772 42638 130176 162322 93946 598200 1225049 12.63 13.31
100374.82/3157.13 c N dy 5495 3053789 42638 130176 162436 114627 598200 1683435 12.62 13.46
101183.53/3182.48 c N dy 5539 3077212 42638 130176 162438 137723 598200 2202114 12.61 13.44
101989.01/3207.70 c N dy 5619 3099336 42638 130176 162964 81607 598200 931939 12.61 13.40
102579.77/3226.12 c N dy 5706 3119414 42638 130176 163037 101503 598200 1390305 12.61 13.33
102755.59/3231.65 c Finding binary XORs T: 0.13 s found: 13
103228.64/3246.43 c N dy 5797 3139418 42638 130176 164556 121313 598200 1846224 12.61 15.91
103634.62/3259.16 c Finding binary XORs T: 0.13 s found: 24
103967.02/3269.58 c N dy 5856 3160006 42638 130176 165359 141604 598200 2299676 12.60 13.31
104753.37/3294.12 c Finding binary XORs T: 0.14 s found: 11
104814.10/3296.08 c N dy 5957 3180025 42638 130176 166926 82383 598200 930468 12.61 14.89
105523.75/3318.23 c N dy 6043 3200726 42638 130176 166931 102848 598200 1398864 12.61 13.32
105865.74/3328.93 c S st 6101 3211625 42638 130176 166978 113633 598200 1664426 12.61 10.65
105907.31/3330.26 c S st 6101 3212130 42638 130176 166981 114134 598200 1669332 12.61 no data
105910.51/3330.34 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
106028.79/3334.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 11 Bins: 473 BRemL: 15521 BRemN: 194 P: 49.4M T: 3.74
106032.57/3334.20 c Replacing 361 vars Replaced 10781 lits Time: 0.10 s
106038.36/3334.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
106038.36/3334.37 c bin-w-bin subsume rem 10319 bins time: 0.04 s
106041.56/3334.48 c subs with bin: 700 lits-rem: 290 v-fix: 0 time: 0.12 s
106051.16/3334.70 c Subs w/ non-existent bins: 4 l-rem: 115 v-fix: 0 done: 42277 time: 0.22 s
106054.36/3334.82 c Removed useless bin: 207 fixed: 0 props: 1.32M time: 0.12 s
106063.95/3335.14 c lits-rem: 21 cl-subs: 612 v-elim: 59 v-fix: 0 time: 0.32 s
106073.52/3335.48 c subs with bin: 5 lits-rem: 15 v-fix: 0 time: 0.19 s
106141.29/3337.58 c lits-rem: 1692 cl-subs: 2168 v-elim: 0 v-fix: 0 time: 2.02 s
106147.05/3337.75 c vivif2 -- cl tried 128777 cl shrink 39 lits rem 39 time: 0.17
106159.85/3338.11 c vivif2 -- cl tried 111954 cl shrink 11762 lits rem 26820 time: 0.36
106185.42/3338.91 c asymm cl-useful: 5/11972/128750 lits-rem:8 time: 0.80
106185.42/3338.98 c calculated reachability. Time: 0.04
106185.42/3338.98 c N dy 6101 3212130 42218 128749 139912 111954 591611 1556245 12.61 no data
106466.72/3347.70 c Finding binary XORs T: 0.13 s found: 6
107035.69/3365.53 c N dy 6216 3234913 42218 128749 140944 134543 591611 2113673 12.61 13.34
107038.89/3365.69 c Finding binary XORs T: 0.13 s found: 31
107783.66/3388.90 c N dy 6295 3255411 42218 128749 145821 154822 591611 2591547 12.61 13.28
107899.37/3392.54 c Finding binary XORs T: 0.13 s found: 10
108423.54/3408.97 c N dy 6378 3275480 42218 128749 146031 94608 591611 1157657 12.61 16.00
109145.38/3431.54 c N dy 6390 3301393 42218 128749 147416 120026 591611 1705447 12.58 13.33
109148.58/3431.70 c Finding binary XORs T: 0.13 s found: 48
109830.02/3452.99 c N dy 6486 3321474 42218 128749 150125 139932 591611 2181242 12.59 13.28
110104.34/3461.54 c Finding binary XORs T: 0.13 s found: 15
110657.33/3478.90 c N dy 6554 3342360 42218 128749 150694 160602 591611 2685171 12.58 13.25
111255.06/3497.58 c N dy 6621 3362440 42218 128749 151696 99401 591611 1254759 12.58 13.79
111891.18/3517.42 c N dy 6709 3382537 42218 128749 151696 119275 591611 1725234 12.58 14.59
111964.70/3519.76 c Finding binary XORs T: 0.13 s found: 12
112821.96/3546.54 c N dy 6772 3410531 42218 128749 152726 146977 591611 2371454 12.57 13.51
113617.30/3571.42 c N dy 6843 3431230 42218 128749 153298 85375 591611 920700 12.57 13.33
113620.51/3571.56 c Finding binary XORs T: 0.13 s found: 5
114310.94/3593.14 c N dy 6929 3451371 42218 128749 153440 105288 591611 1390975 12.57 13.28
115058.92/3616.52 c N dy 7009 3471900 42218 128749 154013 125639 591611 1871854 12.57 13.24
115410.53/3627.59 c Finding binary XORs T: 0.13 s found: 33
115889.99/3642.52 c N dy 7084 3494062 42218 128749 155181 147573 591611 2373568 12.57 13.31
116171.31/3651.34 c Finding binary XORs T: 0.13 s found: 22
116765.83/3669.99 c N dy 7150 3514646 42218 128749 157250 84835 591611 900445 12.56 13.24
117190.98/3683.23 c Finding binary XORs T: 0.13 s found: 18
117398.76/3689.75 c N dy 7207 3534698 42218 128749 158564 104666 591611 1367261 12.56 13.73
118175.52/3714.06 c N dy 7260 3557231 42218 128749 159361 126967 591611 1877050 12.56 13.26
118181.92/3714.21 c Finding binary XORs T: 0.13 s found: 14
118940.12/3737.98 c N dy 7297 3577534 42218 128749 160732 147082 591611 2354802 12.55 13.26
119351.86/3750.85 c Finding binary XORs T: 0.13 s found: 1
119780.76/3764.24 c N dy 7375 3598335 42218 128749 162702 167644 591611 2820112 12.55 13.24
120311.41/3780.82 c Finding binary XORs T: 0.13 s found: 16
120438.65/3784.87 c N dy 7458 3618420 42218 128749 163461 103461 591611 1366701 12.55 14.76
121231.41/3809.68 c N dy 7545 3640640 42218 128749 163568 125483 591611 1887222 12.55 13.29
121944.19/3831.93 c N dy 7614 3660667 42218 128749 164335 145330 591611 2371250 12.55 14.02
122378.91/3845.51 c Finding binary XORs T: 0.13 s found: 15
122717.73/3856.13 c N dy 7669 3681362 42218 128749 165643 165858 591611 2857045 12.55 13.22
123408.17/3877.79 c N dy 7742 3702696 42218 128749 165715 101732 591611 1271396 12.55 13.23
123734.23/3887.94 c S st 7762 3712130 42218 128749 166366 111033 591611 1478814 12.54 9.09
123775.80/3889.27 c S st 7762 3712631 42218 128749 166366 111533 591611 1484384 12.54 no data
123778.99/3889.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
123897.86/3893.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 17 Bins: 120 BRemL: 16225 BRemN: 141 P: 48.8M T: 3.74
123903.65/3893.21 c Replacing 263 vars Replaced 7911 lits Time: 0.10 s
123906.85/3893.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
123906.85/3893.38 c bin-w-bin subsume rem 9553 bins time: 0.04 s
123910.05/3893.49 c subs with bin: 738 lits-rem: 218 v-fix: 0 time: 0.11 s
123919.64/3893.74 c Subs w/ non-existent bins: 3 l-rem: 140 v-fix: 0 done: 41955 time: 0.25 s
123922.84/3893.86 c Removed useless bin: 174 fixed: 0 props: 1.27M time: 0.12 s
123933.02/3894.18 c lits-rem: 5 cl-subs: 515 v-elim: 64 v-fix: 0 time: 0.32 s
123942.02/3894.48 c subs with bin: 5 lits-rem: 10 v-fix: 0 time: 0.16 s
123996.35/3896.14 c lits-rem: 1613 cl-subs: 2100 v-elim: 0 v-fix: 0 time: 1.58 s
124000.14/3896.31 c vivif2 -- cl tried 127457 cl shrink 19 lits rem 19 time: 0.17
124009.12/3896.60 c vivif2 -- cl tried 109427 cl shrink 6289 lits rem 12762 time: 0.29
124041.09/3897.55 c asymm cl-useful: 12/13302/127442 lits-rem:19 time: 0.95
124044.29/3897.62 c calculated reachability. Time: 0.04
124044.29/3897.62 c N dy 7762 3712631 41891 127439 139169 109427 586043 1386944 12.54 no data
124047.48/3897.75 c Finding binary XORs T: 0.13 s found: 1
124581.30/3914.48 c Finding binary XORs T: 0.13 s found: 12
124706.60/3918.33 c N dy 7844 3732710 41891 127439 143678 129358 586043 1871094 12.54 13.26
125393.22/3939.84 c F st 7917 3751562 41891 127439 144533 148014 586043 2304362 12.54 10.65
125396.41/3939.94 c Replacing 13 vars Replaced 406 lits Time: 0.10 s
125412.39/3940.43 c Finding binary XORs T: 0.13 s found: 12
125447.53/3941.54 c N st 7920 3752751 41878 127433 144803 149195 586015 2333851 12.54 no data
126451.25/3972.93 c N dy 8000 3777629 41878 127433 145802 87748 586015 906069 12.54 13.24
126454.44/3973.08 c Finding binary XORs T: 0.13 s found: 24
127068.16/3992.29 c N dy 8070 3798276 41878 127433 146481 108176 586015 1373104 12.54 13.20
127860.89/4017.09 c N dy 8086 3823921 41878 127433 146485 133356 586015 1973467 12.52 13.24
127867.88/4017.23 c Finding binary XORs T: 0.13 s found: 16
128621.67/4040.86 c N dy 8183 3844122 41878 127433 148716 153373 586015 2459546 12.52 13.33
129494.31/4068.12 c N dy 8245 3867709 41878 127433 148799 89690 586015 941949 12.52 13.24
129497.51/4068.27 c Finding binary XORs T: 0.13 s found: 14
130108.04/4087.36 c N dy 8323 3887767 41878 127433 150382 109543 586015 1404626 12.52 15.02
130526.81/4100.47 c Finding binary XORs T: 0.13 s found: 4
130891.79/4111.90 c N dy 8365 3913339 41878 127433 150485 134647 586015 1943378 12.51 13.24
131591.23/4133.79 c N dy 8403 3934363 41878 127433 151049 155428 586015 2413019 12.50 13.16
132368.61/4158.02 c N dy 8436 3955220 41878 127433 151117 88149 586015 898083 12.50 13.17
133020.11/4178.49 c N dy 8506 3976706 41878 127433 151125 109401 586015 1395647 12.49 13.20
133720.12/4200.36 c N dy 8598 3996802 41878 127433 151540 129317 586015 1874918 12.50 15.57
133927.92/4206.85 c Finding binary XORs T: 0.13 s found: 16
134781.39/4233.59 c N dy 8643 4025626 41878 127433 151679 157611 586015 2497961 12.49 13.15
135644.45/4260.59 c N dy 8681 4048612 41878 127433 151944 91495 586015 962107 12.48 13.26
135650.84/4260.74 c Finding binary XORs T: 0.13 s found: 21
136239.62/4279.18 c N dy 8751 4068742 41878 127433 152892 111417 586015 1411831 12.48 13.16
136939.67/4301.08 c N dy 8820 4088746 41878 127433 153298 131222 586015 1875514 12.47 15.96
137511.20/4318.91 c Finding binary XORs T: 0.13 s found: 19
137725.39/4325.64 c N dy 8905 4108988 41878 127433 153923 151286 586015 2346096 12.47 13.26
138566.06/4351.91 c N dy 8962 4129624 41878 127433 154949 171727 586015 2830530 12.47 13.17
138729.11/4357.08 c Finding binary XORs T: 0.13 s found: 18
139263.52/4373.76 c Finding binary XORs T: 0.14 s found: 17
139346.00/4376.34 c N dy 9041 4149626 41878 127433 157860 101528 586015 1184967 12.47 13.13
140164.30/4401.90 c N dy 9122 4169687 41878 127433 158069 121428 586015 1674106 12.47 13.33
141129.64/4432.13 c N dy 9209 4192191 41878 127433 158263 143645 586015 2191259 12.47 13.14
142053.45/4461.02 c N dy 9281 4212198 41878 127433 158649 163399 586015 2648926 12.47 13.13
142076.45/4461.76 c S st 9282 4212632 41878 127433 158649 163825 586015 2658789 12.47 11.70
142136.56/4463.64 c S st 9282 4213136 41878 127433 158649 164329 586015 2666518 12.47 no data
142139.77/4463.74 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
142309.17/4469.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 463 BRemL: 11089 BRemN: 92 P: 62.0M T: 5.30
142312.38/4469.17 c Replacing 168 vars Replaced 4690 lits Time: 0.11 s
142315.56/4469.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
142319.38/4469.34 c bin-w-bin subsume rem 7114 bins time: 0.04 s
142322.58/4469.46 c subs with bin: 417 lits-rem: 147 v-fix: 0 time: 0.12 s
142331.55/4469.71 c Subs w/ non-existent bins: 2 l-rem: 72 v-fix: 0 done: 41710 time: 0.25 s
142334.75/4469.84 c Removed useless bin: 97 fixed: 0 props: 1.24M time: 0.12 s
142344.36/4470.19 c lits-rem: 6 cl-subs: 415 v-elim: 36 v-fix: 0 time: 0.35 s
142366.72/4470.83 c subs with bin: 4 lits-rem: 9 v-fix: 0 time: 0.38 s
142639.05/4479.40 c lits-rem: 3393 cl-subs: 3957 v-elim: 0 v-fix: 0 time: 8.49 s
142644.83/4479.58 c vivif2 -- cl tried 126558 cl shrink 25 lits rem 25 time: 0.18
142671.00/4480.36 c vivif2 -- cl tried 160367 cl shrink 23291 lits rem 51050 time: 0.78
142711.95/4481.62 c asymm cl-useful: 13/4523/126544 lits-rem:39 time: 1.25
142711.95/4481.69 c calculated reachability. Time: 0.04
142711.95/4481.69 c N dy 9282 4213136 41674 126531 140114 160367 582219 2512742 12.47 no data
142718.31/4481.83 c Finding binary XORs T: 0.14 s found: 0
143779.58/4515.05 c N dy 9354 4235023 41674 126531 140386 91065 582219 891849 12.47 13.17
143785.98/4515.20 c Finding binary XORs T: 0.13 s found: 16
144418.89/4535.08 c N dy 9390 4255895 41674 126531 141574 111624 582219 1359351 12.46 13.12
145112.53/4556.79 c N dy 9483 4276083 41674 126531 142145 131594 582219 1832886 12.46 13.12
145288.34/4562.21 c Finding binary XORs T: 0.13 s found: 15
145854.11/4579.98 c N dy 9538 4296155 41674 126531 142842 151441 582219 2300142 12.46 13.12
146634.08/4604.35 c N dy 9632 4316158 41674 126531 143619 171253 582219 2766644 12.46 15.14
147014.45/4616.26 c Finding binary XORs T: 0.13 s found: 20
147532.30/4632.48 c N dy 9762 4338363 41674 126531 143786 101309 582219 1131604 12.47 13.18
148734.20/4670.03 c N dy 9868 4375394 41674 126531 144419 137858 582219 1989851 12.46 13.12
148737.39/4670.18 c Finding binary XORs T: 0.13 s found: 10
149536.53/4695.14 c N dy 9956 4396509 41674 126531 144899 158737 582219 2500815 12.46 13.12
150371.41/4721.27 c N dy 10055 4416597 41674 126531 145576 178660 582219 2978581 12.47 15.72
151000.50/4740.98 c Finding binary XORs T: 0.13 s found: 18
151099.59/4744.06 c N dy 10120 4436602 41674 126531 146384 105465 582219 1197417 12.47 13.22
151793.23/4765.79 c N dy 10192 4456688 41674 126531 146701 125306 582219 1659215 12.47 13.51
152528.42/4788.79 c N dy 10223 4476741 41674 126531 147097 145175 582219 2148461 12.46 15.88
153065.44/4805.57 c Finding binary XORs T: 0.13 s found: 4
153343.55/4814.20 c N dy 10302 4497607 41674 126531 147492 165839 582219 2634033 12.46 13.20
154267.34/4843.11 c N dy 10410 4518578 41674 126531 148072 186587 582219 3120818 12.46 13.18
155165.56/4871.26 c N dy 10484 4544365 41674 126531 148077 118118 582219 1472002 12.46 13.19
155721.75/4888.64 c Finding binary XORs T: 0.13 s found: 5
156035.67/4898.46 c N dy 10588 4564897 41674 126531 148757 138470 582219 1967350 12.46 13.14
156942.88/4926.83 c N dy 10704 4584937 41674 126531 149091 158369 582219 2449547 12.47 13.77
157585.34/4946.92 c Finding binary XORs T: 0.13 s found: 11
157892.23/4956.57 c N dy 10749 4604951 41674 126531 150192 178020 582219 2881457 12.46 14.49
158835.20/4986.08 c N dy 10833 4624964 41674 126531 150363 102900 582219 1124085 12.46 13.24
159548.61/5008.34 c N dy 10904 4645017 41674 126531 150733 122726 582219 1589910 12.46 14.13
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-3400764-1306760249/watcher-3400764-1306760249 -o /tmp/evaluation-result-3400764-1306760249/solver-3400764-1306760249 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400764-1306760249.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: 26.68 27.93 29.89 1/413 17091
/proc/meminfo: memFree=263769236/264257624 swapFree=67044744/67111528
[pid=17091] ppid=17089 vsize=338000 CPUtime=0.75 cores=0-31
/proc/17091/stat : 17091 (strangenight2-m) R 17089 17091 17005 0 -1 4202496 436 0 0 0 75 0 0 0 24 0 32 0 1991017 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727660 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17091/statm: 84500 376 297 95 0 79482 0
[pid=17091/tid=17092] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17092/stat : 17092 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727660 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17091/tid=17093] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17093/stat : 17093 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17091/tid=17094] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17094/stat : 17094 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17091/tid=17095] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17095/stat : 17095 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17091/tid=17096] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17096/stat : 17096 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17091/tid=17097] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17097/stat : 17097 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17098/stat : 17098 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727660 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17091/tid=17099] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17099/stat : 17099 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727660 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17091/tid=17100] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17100/stat : 17100 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17091/tid=17101] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17101/stat : 17101 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17091/tid=17102] ppid=17089 vsize=338000 CPUtime=0 cores=0-31
/proc/17091/task/17102/stat : 17102 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17091/tid=17103] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17103/stat : 17103 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727670 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17091/tid=17104] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17104/stat : 17104 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17091/tid=17105] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17105/stat : 17105 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727664 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17091/tid=17106] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17106/stat : 17106 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17091/tid=17107] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17107/stat : 17107 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17091/tid=17108] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17108/stat : 17108 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17091/tid=17109] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17109/stat : 17109 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727660 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17091/tid=17110] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17110/stat : 17110 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727664 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17091/tid=17111] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17111/stat : 17111 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17091/tid=17112] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17112/stat : 17112 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727656 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17091/tid=17113] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17113/stat : 17113 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17091/tid=17114] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17114/stat : 17114 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727656 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17091/tid=17115] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17115/stat : 17115 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17091/tid=17116] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17116/stat : 17116 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17091/tid=17117] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17117/stat : 17117 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17091/tid=17118] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17118/stat : 17118 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727670 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17091/tid=17119] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17119/stat : 17119 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727656 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17091/tid=17120] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17120/stat : 17120 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17091/tid=17121] ppid=17089 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17091/task/17121/stat : 17121 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17091/tid=17122] ppid=17089 vsize=338000 CPUtime=0 cores=0-31
/proc/17091/task/17122/stat : 17122 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 1991018 346112000 376 268435456000 4194304 4580107 140734674996304 18446744073709551615 47371277727666 0 0 4096 2 0 0 0 -1 5 0 0 0
[startup+0.133893 s]
/proc/loadavg: 26.68 27.93 29.89 1/413 17091
/proc/meminfo: memFree=263769236/264257624 swapFree=67044744/67111528
[pid=17091] ppid=17089 vsize=1530748 CPUtime=2.28 cores=0-31
/proc/17091/stat : 17091 (strangenight2-m) S 17089 17091 17005 0 -1 4202496 17449 0 0 0 113 115 0 0 17 0 32 0 1991017 1567485952 16253 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/17091/statm: 382687 16300 334 95 0 377669 0
[pid=17091/tid=17092] ppid=17089 vsize=1530748 CPUtime=0.06 cores=0-31
/proc/17091/task/17092/stat : 17092 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 580 0 0 0 3 3 0 0 17 0 32 0 1991018 1567485952 16325 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17091/tid=17093] ppid=17089 vsize=1530748 CPUtime=0.08 cores=0-31
/proc/17091/task/17093/stat : 17093 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 523 0 0 0 4 4 0 0 17 0 32 0 1991018 1567485952 16328 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604568378645984 0 0 -1 2 0 0 0
[pid=17091/tid=17094] ppid=17089 vsize=1530748 CPUtime=0.07 cores=0-31
/proc/17091/task/17094/stat : 17094 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 513 0 0 0 4 3 0 0 17 0 32 0 1991018 1567485952 16455 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446744071566926064 0 0 -1 20 0 0 0
[pid=17091/tid=17095] ppid=17089 vsize=1530748 CPUtime=0.05 cores=0-31
/proc/17091/task/17095/stat : 17095 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 498 0 0 0 3 2 0 0 17 0 32 0 1991018 1567485952 16482 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604561184529888 0 0 -1 24 0 0 0
[pid=17091/tid=17096] ppid=17089 vsize=1530748 CPUtime=0.06 cores=0-31
/proc/17091/task/17096/stat : 17096 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 550 0 0 0 3 3 0 0 17 0 32 0 1991018 1567485952 16527 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17091/tid=17097] ppid=17089 vsize=1530748 CPUtime=0.06 cores=0-31
/proc/17091/task/17097/stat : 17097 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 655 0 0 0 3 3 0 0 17 0 32 0 1991018 1567485952 16546 268435456000 4194304 4580107 140734674996304 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=1530928 CPUtime=0.06 cores=0-31
/proc/17091/task/17098/stat : 17098 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 579 0 0 0 3 3 0 0 17 0 32 0 1991018 1567670272 16566 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17091/tid=17099] ppid=17089 vsize=1530928 CPUtime=0.06 cores=0-31
/proc/17091/task/17099/stat : 17099 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 560 0 0 0 3 3 0 0 17 0 32 0 1991018 1567670272 16579 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604504095260128 0 0 -1 8 0 0 0
[pid=17091/tid=17100] ppid=17089 vsize=1530928 CPUtime=0.06 cores=0-31
/proc/17091/task/17100/stat : 17100 (strangenight2-m) D 17089 17091 17005 0 -1 4202560 583 0 0 0 3 3 0 0 17 0 32 0 1991018 1567670272 16585 268435456000 4194304 4580107 140734674996304 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17091/tid=17101] ppid=17089 vsize=1530928 CPUtime=0.07 cores=0-31
/proc/17091/task/17101/stat : 17101 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 477 0 0 0 3 4 0 0 17 0 32 0 1991018 1567670272 16609 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604508586958304 0 0 -1 25 0 0 0
[pid=17091/tid=17102] ppid=17089 vsize=1530928 CPUtime=0.03 cores=0-31
/proc/17091/task/17102/stat : 17102 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 559 0 0 0 0 3 0 0 17 0 32 0 1991018 1567670272 16624 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17091/tid=17103] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17103/stat : 17103 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 483 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16759 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604529476042208 0 0 -1 13 0 0 0
[pid=17091/tid=17104] ppid=17089 vsize=1531436 CPUtime=0.07 cores=0-31
/proc/17091/task/17104/stat : 17104 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 574 0 0 0 3 4 0 0 17 0 32 0 1991018 1568190464 16794 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17091/tid=17105] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17105/stat : 17105 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 509 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16849 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17091/tid=17106] ppid=17089 vsize=1531436 CPUtime=0.07 cores=0-31
/proc/17091/task/17106/stat : 17106 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 604 0 0 0 3 4 0 0 17 0 32 0 1991018 1568190464 16855 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604513549966816 0 0 -1 17 0 0 0
[pid=17091/tid=17107] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17107/stat : 17107 (strangenight2-m) D 17089 17091 17005 0 -1 4202560 579 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16866 268435456000 4194304 4580107 140734674996304 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17091/tid=17108] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17108/stat : 17108 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 544 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16870 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17091/tid=17109] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17109/stat : 17109 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 558 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16886 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604511769361888 0 0 -1 3 0 0 0
[pid=17091/tid=17110] ppid=17089 vsize=1531436 CPUtime=0.07 cores=0-31
/proc/17091/task/17110/stat : 17110 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 532 0 0 0 3 4 0 0 17 0 32 0 1991018 1568190464 16894 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604490050444768 0 0 -1 10 0 0 0
[pid=17091/tid=17111] ppid=17089 vsize=1531436 CPUtime=0.07 cores=0-31
/proc/17091/task/17111/stat : 17111 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 581 0 0 0 4 3 0 0 17 0 32 0 1991018 1568190464 16912 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604572535004640 0 0 -1 7 0 0 0
[pid=17091/tid=17112] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17112/stat : 17112 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 574 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16922 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604490050444768 0 0 -1 14 0 0 0
[pid=17091/tid=17113] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17113/stat : 17113 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 536 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16941 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604513549966816 0 0 -1 11 0 0 0
[pid=17091/tid=17114] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17114/stat : 17114 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 455 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16959 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604561184718304 0 0 -1 18 0 0 0
[pid=17091/tid=17115] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17115/stat : 17115 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 568 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16969 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604511769681376 0 0 -1 15 0 0 0
[pid=17091/tid=17116] ppid=17089 vsize=1531436 CPUtime=0.07 cores=0-31
/proc/17091/task/17116/stat : 17116 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 557 0 0 0 3 4 0 0 17 0 32 0 1991018 1568190464 16989 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604548341882336 0 0 -1 22 0 0 0
[pid=17091/tid=17117] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17117/stat : 17117 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 560 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 16991 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604508586999264 0 0 -1 19 0 0 0
[pid=17091/tid=17118] ppid=17089 vsize=1531436 CPUtime=0.07 cores=0-31
/proc/17091/task/17118/stat : 17118 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 615 0 0 0 3 4 0 0 17 0 32 0 1991018 1568190464 17011 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604511769681376 0 0 -1 26 0 0 0
[pid=17091/tid=17119] ppid=17089 vsize=1531436 CPUtime=0.07 cores=0-31
/proc/17091/task/17119/stat : 17119 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 548 0 0 0 4 3 0 0 17 0 32 0 1991018 1568190464 17022 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604513549966816 0 0 -1 23 0 0 0
[pid=17091/tid=17120] ppid=17089 vsize=1531436 CPUtime=0.06 cores=0-31
/proc/17091/task/17120/stat : 17120 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 522 0 0 0 3 3 0 0 17 0 32 0 1991018 1568190464 17025 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604497496432096 0 0 -1 30 0 0 0
[pid=17091/tid=17121] ppid=17089 vsize=1531436 CPUtime=0.05 cores=0-31
/proc/17091/task/17121/stat : 17121 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 582 0 0 0 3 2 0 0 17 0 32 0 1991018 1568190464 17049 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604441720970720 0 0 -1 27 0 0 0
[pid=17091/tid=17122] ppid=17089 vsize=1531436 CPUtime=0.04 cores=0-31
/proc/17091/task/17122/stat : 17122 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 467 0 0 0 1 3 0 0 17 0 32 0 1991018 1568190464 17060 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604561184734688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 1530748
[startup+0.209876 s]
/proc/loadavg: 26.68 27.93 29.89 1/413 17091
/proc/meminfo: memFree=263769236/264257624 swapFree=67044744/67111528
[pid=17091] ppid=17089 vsize=1546428 CPUtime=3.67 cores=0-31
/proc/17091/stat : 17091 (strangenight2-m) S 17089 17091 17005 0 -1 4202496 29804 0 0 0 153 214 0 0 17 0 32 0 1991017 1583542272 26505 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/17091/statm: 386607 26519 335 95 0 381589 0
[pid=17091/tid=17092] ppid=17089 vsize=1546428 CPUtime=0.12 cores=0-31
/proc/17091/task/17092/stat : 17092 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 989 0 0 0 5 7 0 0 17 0 32 0 1991018 1583542272 26520 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604490050452960 0 0 -1 1 0 0 0
[pid=17091/tid=17093] ppid=17089 vsize=1546428 CPUtime=0.11 cores=0-31
/proc/17091/task/17093/stat : 17093 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 928 0 0 0 5 6 0 0 17 0 32 0 1991018 1583542272 26530 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604572525026784 0 0 -1 2 0 0 0
[pid=17091/tid=17094] ppid=17089 vsize=1546428 CPUtime=0.11 cores=0-31
/proc/17091/task/17094/stat : 17094 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 924 0 0 0 5 6 0 0 17 0 32 0 1991018 1583542272 26543 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604491376319968 0 0 -1 20 0 0 0
[pid=17091/tid=17095] ppid=17089 vsize=1546428 CPUtime=0.1 cores=0-31
/proc/17091/task/17095/stat : 17095 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 803 0 0 0 4 6 0 0 17 0 32 0 1991018 1583542272 26546 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604511769361888 0 0 -1 24 0 0 0
[pid=17091/tid=17096] ppid=17089 vsize=1546428 CPUtime=0.1 cores=0-31
/proc/17091/task/17096/stat : 17096 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 914 0 0 0 4 6 0 0 17 0 32 0 1991018 1583542272 26615 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446744071566932944 0 0 -1 16 0 0 0
[pid=17091/tid=17097] ppid=17089 vsize=1546428 CPUtime=0.1 cores=0-31
/proc/17091/task/17097/stat : 17097 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 1035 0 0 0 4 6 0 0 17 0 32 0 1991018 1583542272 26624 268435456000 4194304 4580107 140734674996304 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=1546428 CPUtime=0.11 cores=0-31
/proc/17091/task/17098/stat : 17098 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 1053 0 0 0 5 6 0 0 17 0 32 0 1991018 1583542272 26630 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604511769681376 0 0 -1 12 0 0 0
[pid=17091/tid=17099] ppid=17089 vsize=1546716 CPUtime=0.1 cores=0-31
/proc/17091/task/17099/stat : 17099 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 1016 0 0 0 4 6 0 0 17 0 32 0 1991018 1583837184 26650 268435456000 4194304 4580107 140734674996304 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17091/tid=17100] ppid=17089 vsize=1546716 CPUtime=0.11 cores=0-31
/proc/17091/task/17100/stat : 17100 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 1103 0 0 0 5 6 0 0 17 0 32 0 1991018 1583837184 26681 268435456000 4194304 4580107 140734674996304 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17091/tid=17101] ppid=17089 vsize=1546716 CPUtime=0.12 cores=0-31
/proc/17091/task/17101/stat : 17101 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 832 0 0 0 5 7 0 0 17 0 32 0 1991018 1583837184 26703 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17091/tid=17102] ppid=17089 vsize=1546716 CPUtime=0.08 cores=0-31
/proc/17091/task/17102/stat : 17102 (strangenight2-m) S 17089 17091 17005 0 -1 4202560 1050 0 0 0 2 6 0 0 17 0 32 0 1991018 1583837184 26716 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 18446604556645785056 0 0 -1 0 0 0 0
[pid=17091/tid=17103] ppid=17089 vsize=1546716 CPUtime=0.1 cores=0-31
/proc/17091/task/17103/stat : 17103 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 836 0 0 0 4 6 0 0 17 0 32 0 1991018 1583837184 26722 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651061007 0 0 4096 2 18446604712749171008 0 0 -1 13 0 0 0
[pid=17091/tid=17104] ppid=17089 vsize=1547004 CPUtime=0.11 cores=0-31
/proc/17091/task/17104/stat : 17104 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 1005 0 0 0 4 7 0 0 17 0 32 0 1991018 1584132096 26743 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17091/tid=17105] ppid=17089 vsize=1547004 CPUtime=0.11 cores=0-31
/proc/17091/task/17105/stat : 17105 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 803 0 0 0 4 7 0 0 17 0 32 0 1991018 1584132096 26758 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17091/tid=17106] ppid=17089 vsize=1547004 CPUtime=0.11 cores=0-31
/proc/17091/task/17106/stat : 17106 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 972 0 0 0 4 7 0 0 17 0 32 0 1991018 1584132096 26761 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17091/tid=17107] ppid=17089 vsize=1547004 CPUtime=0.12 cores=0-31
/proc/17091/task/17107/stat : 17107 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 993 0 0 0 5 7 0 0 17 0 32 0 1991018 1584132096 26775 268435456000 4194304 4580107 140734674996304 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17091/tid=17108] ppid=17089 vsize=1547004 CPUtime=0.1 cores=0-31
################
# More data... #
################
/proc/17091/task/17095/stat : 17095 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 280138 0 0 0 495379 452 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17091/tid=17096] ppid=17089 vsize=16293436 CPUtime=5002.22 cores=0-31
/proc/17091/task/17096/stat : 17096 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 299193 0 0 0 499652 570 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17091/tid=17097] ppid=17089 vsize=16293436 CPUtime=5005.66 cores=0-31
/proc/17091/task/17097/stat : 17097 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 294303 0 0 0 500100 466 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=16293436 CPUtime=5002.51 cores=0-31
/proc/17091/task/17098/stat : 17098 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 294317 0 0 0 499694 557 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17091/tid=17099] ppid=17089 vsize=16293436 CPUtime=5005.99 cores=0-31
/proc/17091/task/17099/stat : 17099 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 298218 0 0 0 499988 611 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17091/tid=17100] ppid=17089 vsize=16293436 CPUtime=5003.65 cores=0-31
/proc/17091/task/17100/stat : 17100 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 317377 0 0 0 499900 465 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17091/tid=17101] ppid=17089 vsize=16293436 CPUtime=5005.73 cores=0-31
/proc/17091/task/17101/stat : 17101 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 215924 0 0 0 500165 408 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17091/tid=17102] ppid=17089 vsize=16293436 CPUtime=5001.86 cores=0-31
/proc/17091/task/17102/stat : 17102 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 254578 0 0 0 499857 329 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17091/tid=17103] ppid=17089 vsize=16293436 CPUtime=5004.19 cores=0-31
/proc/17091/task/17103/stat : 17103 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 256675 0 0 0 499829 590 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17091/tid=17104] ppid=17089 vsize=16293436 CPUtime=5002.95 cores=0-31
/proc/17091/task/17104/stat : 17104 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 213573 0 0 0 499733 562 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17091/tid=17105] ppid=17089 vsize=16293436 CPUtime=5009.25 cores=0-31
/proc/17091/task/17105/stat : 17105 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 236399 0 0 0 500333 592 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17091/tid=17106] ppid=17089 vsize=16293436 CPUtime=5001.73 cores=0-31
/proc/17091/task/17106/stat : 17106 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 272096 0 0 0 499573 600 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17091/tid=17107] ppid=17089 vsize=16293436 CPUtime=4998.42 cores=0-31
/proc/17091/task/17107/stat : 17107 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 239533 0 0 0 499286 556 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17091/tid=17108] ppid=17089 vsize=16293436 CPUtime=5003.57 cores=0-31
/proc/17091/task/17108/stat : 17108 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 239307 0 0 0 499770 587 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17091/tid=17109] ppid=17089 vsize=16293436 CPUtime=4999.38 cores=0-31
/proc/17091/task/17109/stat : 17109 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 270227 0 0 0 499336 602 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17091/tid=17110] ppid=17089 vsize=16293436 CPUtime=5001.64 cores=0-31
/proc/17091/task/17110/stat : 17110 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 219690 0 0 0 499615 549 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4316636 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17091/tid=17111] ppid=17089 vsize=16293436 CPUtime=5006.8 cores=0-31
/proc/17091/task/17111/stat : 17111 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 177008 0 0 0 500215 465 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17091/tid=17112] ppid=17089 vsize=16293436 CPUtime=5005.05 cores=0-31
/proc/17091/task/17112/stat : 17112 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 180464 0 0 0 499966 539 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4330185 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17091/tid=17113] ppid=17089 vsize=16293436 CPUtime=5008.25 cores=0-31
/proc/17091/task/17113/stat : 17113 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 183902 0 0 0 500371 454 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17091/tid=17114] ppid=17089 vsize=16293436 CPUtime=5001.06 cores=0-31
/proc/17091/task/17114/stat : 17114 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 229635 0 0 0 499540 566 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17091/tid=17115] ppid=17089 vsize=16293436 CPUtime=4994.79 cores=0-31
/proc/17091/task/17115/stat : 17115 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 271587 0 0 0 498905 574 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17091/tid=17116] ppid=17089 vsize=16293436 CPUtime=5004.62 cores=0-31
/proc/17091/task/17116/stat : 17116 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 201095 0 0 0 499918 544 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17091/tid=17117] ppid=17089 vsize=16293436 CPUtime=4999.23 cores=0-31
/proc/17091/task/17117/stat : 17117 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 207942 0 0 0 499413 510 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17091/tid=17118] ppid=17089 vsize=16293436 CPUtime=4999.55 cores=0-31
/proc/17091/task/17118/stat : 17118 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 219680 0 0 0 499381 574 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4305984 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17091/tid=17119] ppid=17089 vsize=16293436 CPUtime=4959.81 cores=0-31
/proc/17091/task/17119/stat : 17119 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 196898 0 0 0 495444 537 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17091/tid=17120] ppid=17089 vsize=16293436 CPUtime=5004.58 cores=0-31
/proc/17091/task/17120/stat : 17120 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 139823 0 0 0 499960 498 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17091/tid=17121] ppid=17089 vsize=16293436 CPUtime=4976.59 cores=0-31
/proc/17091/task/17121/stat : 17121 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 219315 0 0 0 497203 456 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17091/tid=17122] ppid=17089 vsize=16293436 CPUtime=5016.84 cores=0-31
/proc/17091/task/17122/stat : 17122 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 191290 0 0 0 501329 355 0 0 25 0 32 0 1991018 16684478464 3427841 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 159996
Current children cumulated vsize (KiB) 16293436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5022.5 s]
/proc/loadavg: 32.26 32.15 32.06 33/445 17278
/proc/meminfo: memFree=250033540/264257624 swapFree=67044744/67111528
[pid=17091] ppid=17089 vsize=16293436 CPUtime=160003 cores=0-31
/proc/17091/stat : 17091 (strangenight2-m) R 17089 17091 17005 0 -1 4202496 7778928 0 0 0 15983361 16896 0 0 25 0 32 0 1991017 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/17091/statm: 4073359 3427885 379 95 0 4068341 0
[pid=17091/tid=17092] ppid=17089 vsize=16293436 CPUtime=4998.5 cores=0-31
/proc/17091/task/17092/stat : 17092 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 246027 0 0 0 499288 562 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17091/tid=17093] ppid=17089 vsize=16293436 CPUtime=5000.28 cores=0-31
/proc/17091/task/17093/stat : 17093 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 327367 0 0 0 499462 566 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17091/tid=17094] ppid=17089 vsize=16293436 CPUtime=5005.45 cores=0-31
/proc/17091/task/17094/stat : 17094 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 314591 0 0 0 499948 597 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17091/tid=17095] ppid=17089 vsize=16293436 CPUtime=4958.51 cores=0-31
/proc/17091/task/17095/stat : 17095 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 280143 0 0 0 495399 452 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17091/tid=17096] ppid=17089 vsize=16293436 CPUtime=5002.44 cores=0-31
/proc/17091/task/17096/stat : 17096 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 299193 0 0 0 499674 570 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17091/tid=17097] ppid=17089 vsize=16293436 CPUtime=5005.89 cores=0-31
/proc/17091/task/17097/stat : 17097 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 294303 0 0 0 500123 466 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294266 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=16293436 CPUtime=5002.73 cores=0-31
/proc/17091/task/17098/stat : 17098 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 294317 0 0 0 499716 557 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17091/tid=17099] ppid=17089 vsize=16293436 CPUtime=5006.21 cores=0-31
/proc/17091/task/17099/stat : 17099 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 298218 0 0 0 500010 611 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17091/tid=17100] ppid=17089 vsize=16293436 CPUtime=5003.87 cores=0-31
/proc/17091/task/17100/stat : 17100 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 317384 0 0 0 499922 465 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17091/tid=17101] ppid=17089 vsize=16293436 CPUtime=5005.95 cores=0-31
/proc/17091/task/17101/stat : 17101 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 215924 0 0 0 500187 408 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17091/tid=17102] ppid=17089 vsize=16293436 CPUtime=5002.08 cores=0-31
/proc/17091/task/17102/stat : 17102 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 254585 0 0 0 499879 329 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17091/tid=17103] ppid=17089 vsize=16293436 CPUtime=5004.42 cores=0-31
/proc/17091/task/17103/stat : 17103 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 256675 0 0 0 499852 590 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17091/tid=17104] ppid=17089 vsize=16293436 CPUtime=5003.17 cores=0-31
/proc/17091/task/17104/stat : 17104 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 213573 0 0 0 499755 562 0 0 25 0 32 0 1991018 16684478464 3427885 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17091/tid=17105] ppid=17089 vsize=16293436 CPUtime=5009.47 cores=0-31
/proc/17091/task/17105/stat : 17105 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 236399 0 0 0 500355 592 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17091/tid=17106] ppid=17089 vsize=16293436 CPUtime=5001.95 cores=0-31
/proc/17091/task/17106/stat : 17106 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 272096 0 0 0 499595 600 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17091/tid=17107] ppid=17089 vsize=16293436 CPUtime=4998.64 cores=0-31
/proc/17091/task/17107/stat : 17107 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 239534 0 0 0 499308 556 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17091/tid=17108] ppid=17089 vsize=16293436 CPUtime=5003.79 cores=0-31
/proc/17091/task/17108/stat : 17108 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 239307 0 0 0 499792 587 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17091/tid=17109] ppid=17089 vsize=16293436 CPUtime=4999.6 cores=0-31
/proc/17091/task/17109/stat : 17109 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 270231 0 0 0 499358 602 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17091/tid=17110] ppid=17089 vsize=16293436 CPUtime=5001.86 cores=0-31
/proc/17091/task/17110/stat : 17110 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 219690 0 0 0 499637 549 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17091/tid=17111] ppid=17089 vsize=16293436 CPUtime=5007.02 cores=0-31
/proc/17091/task/17111/stat : 17111 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 177012 0 0 0 500237 465 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17091/tid=17112] ppid=17089 vsize=16293436 CPUtime=5005.27 cores=0-31
/proc/17091/task/17112/stat : 17112 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 180464 0 0 0 499988 539 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17091/tid=17113] ppid=17089 vsize=16293436 CPUtime=5008.47 cores=0-31
/proc/17091/task/17113/stat : 17113 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 183902 0 0 0 500393 454 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17091/tid=17114] ppid=17089 vsize=16293436 CPUtime=5001.28 cores=0-31
/proc/17091/task/17114/stat : 17114 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 229635 0 0 0 499562 566 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17091/tid=17115] ppid=17089 vsize=16293436 CPUtime=4995.01 cores=0-31
/proc/17091/task/17115/stat : 17115 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 271592 0 0 0 498927 574 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17091/tid=17116] ppid=17089 vsize=16293436 CPUtime=5004.84 cores=0-31
/proc/17091/task/17116/stat : 17116 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 201095 0 0 0 499940 544 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17091/tid=17117] ppid=17089 vsize=16293436 CPUtime=4999.45 cores=0-31
/proc/17091/task/17117/stat : 17117 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 207946 0 0 0 499435 510 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17091/tid=17118] ppid=17089 vsize=16293436 CPUtime=4999.77 cores=0-31
/proc/17091/task/17118/stat : 17118 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 219680 0 0 0 499403 574 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17091/tid=17119] ppid=17089 vsize=16293436 CPUtime=4960.03 cores=0-31
/proc/17091/task/17119/stat : 17119 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 196898 0 0 0 495466 537 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17091/tid=17120] ppid=17089 vsize=16293436 CPUtime=5004.8 cores=0-31
/proc/17091/task/17120/stat : 17120 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 139823 0 0 0 499982 498 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17091/tid=17121] ppid=17089 vsize=16293436 CPUtime=4976.81 cores=0-31
/proc/17091/task/17121/stat : 17121 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 219315 0 0 0 497225 456 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17091/tid=17122] ppid=17089 vsize=16293436 CPUtime=5017.06 cores=0-31
/proc/17091/task/17122/stat : 17122 (strangenight2-m) R 17089 17091 17005 0 -1 4202560 191290 0 0 0 501351 355 0 0 25 0 32 0 1991018 16684478464 3427886 268435456000 4194304 4580107 140734674996304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 16293436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5023.1 s]
/proc/loadavg: 32.26 32.15 32.06 2/416 17279
/proc/meminfo: memFree=251360696/264257624 swapFree=67044744/67111528
[pid=17091] ppid=17089 vsize=0 CPUtime=160003 cores=0-31
/proc/17091/stat : 17091 (strangenight2-m) Z 17089 17091 17005 0 -1 4203548 7778929 0 0 0 15983383 16953 0 0 25 0 2 0 1991017 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/17091/statm: 0 0 0 0 0 0 0
[pid=17091/tid=17095] ppid=17089 vsize=0 CPUtime=4959.08 cores=0-31
/proc/17091/task/17095/stat : 17095 (strangenight2-m) R 17089 17091 17005 0 -1 4203588 280143 0 0 0 495399 509 0 0 25 0 2 0 1991018 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5023.3 s]
/proc/loadavg: 32.26 32.15 32.06 2/416 17279
/proc/meminfo: memFree=251360696/264257624 swapFree=67044744/67111528
[pid=17091] ppid=17089 vsize=0 CPUtime=160004 cores=0-31
/proc/17091/stat : 17091 (strangenight2-m) Z 17089 17091 17005 0 -1 4203548 7778929 0 0 0 15983383 16973 0 0 25 0 2 0 1991017 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/17091/statm: 0 0 0 0 0 0 0
[pid=17091/tid=17095] ppid=17089 vsize=0 CPUtime=4959.28 cores=0-31
/proc/17091/task/17095/stat : 17095 (strangenight2-m) R 17089 17091 17005 0 -1 4203588 280143 0 0 0 495399 529 0 0 25 0 2 0 1991018 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5023.4 s]
/proc/loadavg: 32.26 32.15 32.06 2/416 17279
/proc/meminfo: memFree=251360696/264257624 swapFree=67044744/67111528
[pid=17091] ppid=17089 vsize=0 CPUtime=160004 cores=0-31
/proc/17091/stat : 17091 (strangenight2-m) Z 17089 17091 17005 0 -1 4203548 7778929 0 0 0 15983383 16983 0 0 25 0 2 0 1991017 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/17091/statm: 0 0 0 0 0 0 0
[pid=17091/tid=17095] ppid=17089 vsize=0 CPUtime=4959.38 cores=0-31
/proc/17091/task/17095/stat : 17095 (strangenight2-m) R 17089 17091 17005 0 -1 4203588 280143 0 0 0 495399 539 0 0 25 0 2 0 1991018 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5023.48
CPU time (s): 160004
CPU user time (s): 159834
CPU system time (s): 169.913
CPU usage (%): 3185.12
Max. virtual memory (cumulated for all children) (KiB): 16445248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159834
system time used= 169.913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7778929
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= 2931361
involuntary context switches= 412081
runsolver used 25.5541 second user time and 114.466 second system time
The end
Begin job on node200 at 2011-05-30 14:57:30
IDJOB=3400764
IDBENCH=82459
IDSOLVER=1886
FILE ID=node200/3400764-1306760249
RUNJOBID= node200-1306760188-17019
PBS_JOBID= 13471827
Free space on /tmp= 61568 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400764-1306760249/watcher-3400764-1306760249 -o /tmp/evaluation-result-3400764-1306760249/solver-3400764-1306760249 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400764-1306760249.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= b967fca11e85ef5b614d3452b1c4b2ad
RANDOM SEED=2013862512
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.042
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.08
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.042
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.042
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.12
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.042
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.14
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.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
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 : 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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 : 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
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.08
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.042
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.042
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.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263769516 kB
Buffers: 22848 kB
Cached: 277828 kB
SwapCached: 29520 kB
Active: 130792 kB
Inactive: 204888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263769516 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 18848 kB
Writeback: 0 kB
AnonPages: 32324 kB
Mapped: 8784 kB
Slab: 58664 kB
PageTables: 3860 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189828 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= 61560 MiB
End job on node200 at 2011-05-30 16:21:15