| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.46 | 1201.98 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf |
| MD5SUM | dda220d08783aabf4e7a9e99eeeccae6 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2444 |
| Number of clauses | 498568 |
| Sum of the clauses size | 999480 |
| Maximum clause length | 52 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 498518 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 50 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3251551-1304182870.cnf' 0.00/0.00 c -- header says num vars: 2444 0.00/0.00 c -- header says num clauses: 498568 0.16/0.10 c -- clauses added: 0 learnts, 498568 normals, 0 xors 0.16/0.10 c -- vars added 2444 0.16/0.10 c Parsing time: 0.32 s 0.16/0.10 c N st 0 0 2444 50 498518 0 999480 0 no data no data -- 0.16/0.10 c asymm cl-useful: 0/50/50 lits-rem:0 time: 0.00 0.16/0.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.7M T: 0.31 0.16/0.39 c bin-w-bin subsume rem 0 bins time: 0.40 s 0.16/0.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.30 s 0.16/0.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2444 time: 0.22 s 0.16/0.48 c Removed useless bin: 0 fixed: 0 props: 2.50M time: 0.20 s 0.16/0.67 c lits-rem: 72 cl-subs: 0 v-elim: 50 v-fix: 0 time: 0.73 s 0.16/0.68 c Finding binary XORs T: 0.04 s found: 0 0.16/0.70 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan) 0.16/0.70 c calculated reachability. Time: 0.01 0.16/0.70 c Calc default polars - time: 0.01 s pos: 0 undec: 50 neg: 2394 0.16/0.70 c ========================================================================================= 0.16/0.70 c types(t): F = full restart, N = normal restart 0.16/0.70 c types(t): S = simplification begin/end, E = solution found 0.16/0.70 c restart types(rt): st = static, dy = dynamic 0.16/0.70 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.16/0.70 c B st 0 0 2394 8468 487656 0 1443781 0 no data no data -- 0.16/1.14 c N dy 13 4126 2394 8468 487656 4000 1443781 575750 13.48 14.28 -- 6.33/1.60 c N dy 28 8548 2394 8468 487656 5898 1443781 625488 13.05 13.85 -- 7.53/1.98 c N dy 45 12687 2394 8468 487656 5781 1443775 494975 13.11 13.80 -- 9.52/2.40 c N dy 58 16885 2394 8468 487656 9870 1443775 902731 12.99 13.73 -- 11.13/2.83 c N dy 86 20901 2394 8468 487656 8286 1443766 861653 13.53 14.37 -- 12.73/3.27 c F st 103 25001 2394 8468 487656 12288 1443766 1343048 13.39 13.14 -- 13.13/3.34 c N st 103 25001 2394 8468 487656 12288 1443766 1343048 13.39 13.14 -- 15.11/3.89 c N dy 109 30000 2394 8468 487656 10530 1443766 979412 13.39 no data -- 15.11/3.89 c S st 109 30000 2394 8468 487656 10530 1443766 979412 13.39 no data -- 15.51/3.95 c S st 109 30501 2394 8468 487656 11031 1443766 1028278 13.39 no data -- 15.51/3.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 15.51/3.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 18.30/4.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 26.7M T: 2.57 18.71/4.71 c bin-w-bin subsume rem 0 bins time: 0.23 s 23.90/6.03 c subs with bin: 0 lits-rem: 1548 v-fix: 0 time: 5.23 s 23.90/6.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 24.30/6.12 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 29.10/7.34 c lits-rem: 3462 cl-subs: 261 v-elim: 0 v-fix: 0 time: 4.84 s 29.90/7.56 c asymm cl-useful: 651/1761/8468 lits-rem:7121 time: 0.91 29.90/7.57 c calculated reachability. Time: 0.01 29.90/7.57 c N dy 109 30501 2394 8468 487656 10770 1432124 1000004 13.39 no data -- 31.89/8.02 c N dy 122 34628 2394 8468 487656 14777 1432124 1490037 13.32 14.06 -- 33.88/8.53 c N dy 148 38722 2394 8468 487656 11080 1432122 1030250 13.46 14.57 -- 36.29/9.12 c N dy 159 43824 2394 8468 487656 16075 1432122 1641593 13.32 14.07 -- 37.48/9.41 c S st 169 45751 2394 8468 487656 9217 1432120 753508 13.33 no data -- 37.48/9.48 c S st 169 46254 2394 8468 487656 9717 1432119 818787 13.33 no data -- 37.48/9.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 37.48/9.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 40.67/10.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 25.8M T: 3.11 41.07/10.36 c bin-w-bin subsume rem 0 bins time: 0.23 s 46.27/11.62 c subs with bin: 0 lits-rem: 2290 v-fix: 0 time: 5.02 s 46.27/11.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.19 s 46.67/11.72 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 50.26/12.60 c lits-rem: 677 cl-subs: 49 v-elim: 0 v-fix: 0 time: 3.52 s 50.26/12.63 c vivif2 -- cl tried 8468 cl shrink 6470 lits rem 69657 time: 0.10 50.26/12.65 c vivif2 -- cl tried 9668 cl shrink 0 lits rem 0 time: 0.08 51.06/12.83 c asymm cl-useful: 0/1759/8468 lits-rem:0 time: 0.73 51.06/12.85 c calculated reachability. Time: 0.01 51.06/12.85 c N dy 169 46254 2394 8468 487656 9668 1359472 811919 13.33 no data -- 53.06/13.31 c N dy 190 50337 2394 8468 487656 13648 1359472 1412446 13.36 14.08 -- 55.06/13.86 c N dy 213 54401 2394 8468 487656 17583 1359468 2040217 13.48 15.35 -- 57.45/14.48 c N dy 227 59478 2394 8468 487656 12831 1359468 1170240 13.38 14.24 -- 60.25/15.10 c N dy 239 64433 2394 8468 487656 17698 1359468 1893089 13.32 14.06 -- 62.64/15.77 c N dy 255 68614 2394 8468 487656 11036 1359468 843687 13.29 14.96 -- 63.04/15.86 c S st 260 69382 2394 8468 487656 11778 1359468 942265 13.30 no data -- 63.44/15.92 c S st 260 69886 2394 8468 487656 12280 1359467 1013325 13.30 no data -- 63.44/15.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 63.44/15.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.24/16.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 26.9M T: 2.78 66.63/16.73 c bin-w-bin subsume rem 0 bins time: 0.23 s 71.44/17.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.95 s 71.84/18.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 71.84/18.07 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 77.02/19.34 c lits-rem: 548 cl-subs: 63 v-elim: 0 v-fix: 0 time: 5.07 s 77.02/19.34 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 77.02/19.37 c vivif2 -- cl tried 12217 cl shrink 0 lits rem 0 time: 0.10 77.83/19.58 c asymm cl-useful: 0/2176/8468 lits-rem:0 time: 0.83 77.83/19.59 c calculated reachability. Time: 0.01 77.83/19.59 c N dy 260 69886 2394 8468 487656 12217 1359185 1003581 13.30 no data -- 81.42/20.46 c N dy 279 76598 2394 8468 487656 18766 1359185 1855039 13.24 14.31 -- 84.22/21.18 c N dy 294 81999 2394 8468 487656 12307 1359183 995445 13.19 13.90 -- 87.02/21.86 c F st 324 87501 2394 8468 487656 17673 1359181 1745931 13.28 11.07 -- 87.42/21.92 c N st 324 87501 2394 8468 487656 17673 1359181 1745931 13.28 11.07 -- 90.61/22.76 c N dy 332 93430 2394 8468 487656 23453 1359181 2665330 13.26 13.99 -- 94.20/23.60 c N dy 368 99392 2394 8468 487656 16579 1359180 1485218 13.35 20.47 -- 97.00/24.39 c S st 393 104830 2394 8468 487656 21872 1359180 2097561 13.36 11.94 -- 97.40/24.45 c S st 393 105332 2394 8468 487656 22373 1359180 2150939 13.36 no data -- 97.40/24.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 97.40/24.46 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 101.01/25.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.1M T: 3.38 101.40/25.44 c bin-w-bin subsume rem 0 bins time: 0.22 s 106.58/26.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.21 s 106.58/26.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 106.98/26.84 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 122.99/30.85 c lits-rem: 794 cl-subs: 318 v-elim: 0 v-fix: 0 time: 15.98 s 122.99/30.86 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 123.36/30.91 c vivif2 -- cl tried 22055 cl shrink 0 lits rem 0 time: 0.21 124.16/31.15 c asymm cl-useful: 0/970/8468 lits-rem:0 time: 0.94 124.16/31.16 c calculated reachability. Time: 0.01 124.16/31.16 c N dy 393 105332 2394 8468 487656 22055 1359171 2111465 13.36 no data -- 128.16/32.18 c N dy 422 112092 2394 8468 487656 14987 1359168 1300853 13.40 19.35 -- 132.55/33.28 c N dy 464 120152 2394 8468 487656 22842 1359166 2359305 13.56 14.36 -- 138.15/34.63 c N dy 502 127972 2394 8468 487656 15838 1359166 1302977 13.59 14.35 -- 142.94/35.84 c N dy 534 137383 2394 8468 487656 24964 1359166 2685041 13.62 14.39 -- 148.94/37.33 c N dy 571 146260 2394 8468 487656 18047 1359166 1537000 13.67 14.40 -- 154.52/38.78 c N dy 619 155743 2394 8468 487656 27196 1359166 2529293 13.73 14.89 -- 156.12/39.15 c S st 625 157998 2394 8468 487656 29395 1359166 2729521 13.71 no data -- 156.52/39.21 c S st 625 158499 2394 8468 487656 29890 1359163 2801152 13.71 no data -- 156.52/39.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 156.52/39.23 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 160.11/40.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 34.9M T: 3.60 160.52/40.28 c bin-w-bin subsume rem 0 bins time: 0.23 s 166.11/41.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.27 s 166.11/41.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 166.11/41.70 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 187.67/47.04 c lits-rem: 688 cl-subs: 738 v-elim: 0 v-fix: 0 time: 21.29 s 187.67/47.05 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 188.08/47.12 c vivif2 -- cl tried 29152 cl shrink 0 lits rem 0 time: 0.28 188.89/47.33 c asymm cl-useful: 0/795/8468 lits-rem:0 time: 0.81 188.89/47.34 c calculated reachability. Time: 0.01 188.89/47.34 c N dy 625 158499 2394 8468 487656 29152 1359158 2749131 13.71 no data -- 194.46/48.76 c N dy 655 168870 2394 8468 487656 22750 1359158 2239232 13.65 14.67 -- 201.26/50.45 c N dy 695 180163 2394 8468 487656 33695 1359157 3792954 13.63 14.47 -- 208.45/52.20 c N dy 736 191688 2394 8468 487656 27456 1359157 2736785 13.65 26.98 -- 217.64/54.53 c N dy 808 204136 2394 8468 487656 21093 1359157 1928481 13.74 14.57 -- 227.62/57.07 c N dy 881 217275 2394 8468 487656 33803 1359156 3572756 13.79 14.55 -- 239.61/60.09 c N dy 947 231250 2394 8468 487656 27928 1359155 2775882 13.85 14.67 -- 244.80/61.37 c S st 960 237748 2394 8468 487656 34203 1359154 3493008 13.80 11.10 -- 245.20/61.47 c S st 960 238251 2394 8468 487656 34704 1359154 3555403 13.80 no data -- 245.20/61.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 245.20/61.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 251.19/62.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 43.7M T: 5.90 251.99/63.13 c bin-w-bin subsume rem 0 bins time: 0.23 s 257.58/64.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.76 s 257.98/64.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 257.98/64.68 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 291.94/73.18 c lits-rem: 719 cl-subs: 962 v-elim: 0 v-fix: 0 time: 33.92 s 291.94/73.19 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 292.33/73.27 c vivif2 -- cl tried 33742 cl shrink 0 lits rem 0 time: 0.32 293.53/73.50 c asymm cl-useful: 0/854/8468 lits-rem:0 time: 0.93 293.53/73.52 c calculated reachability. Time: 0.01 293.53/73.52 c N dy 960 238251 2394 8468 487656 33742 1359140 3491254 13.80 no data -- 304.32/76.28 c N dy 1036 253824 2394 8468 487656 28583 1359140 2681393 13.85 14.66 -- 315.50/79.10 c N dy 1102 270494 2394 8468 487656 23409 1359139 1862590 13.85 14.64 -- 327.09/81.93 c N dy 1172 288112 2394 8468 487656 40520 1359139 4300712 13.87 14.64 -- 339.87/85.10 c F st 1230 306250 2394 8468 487656 35779 1359136 3346567 13.85 12.88 -- 340.27/85.29 c N st 1232 306875 2394 8468 487656 36391 1359136 3414872 13.85 no data -- 355.88/89.14 c N dy 1300 327922 2394 8468 487656 33524 1359135 3397655 13.88 14.61 -- 371.43/93.09 c N dy 1393 348435 2394 8468 487656 29179 1359135 2443215 13.92 14.71 -- 377.43/94.60 c S st 1425 357377 2394 8468 487656 37892 1359135 3840904 13.93 11.46 -- 378.22/94.70 c S st 1425 357878 2394 8468 487656 38391 1359135 3907631 13.93 no data -- 378.22/94.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 378.22/94.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 383.01/95.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 46.1M T: 5.08 383.81/96.17 c bin-w-bin subsume rem 0 bins time: 0.23 s 391.40/98.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 7.41 s 391.40/98.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 391.80/98.13 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.20 s 432.95/108.43 c lits-rem: 683 cl-subs: 1213 v-elim: 0 v-fix: 0 time: 41.10 s 432.95/108.43 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 433.35/108.52 c vivif2 -- cl tried 37178 cl shrink 0 lits rem 0 time: 0.33 434.15/108.77 c asymm cl-useful: 9/1248/8468 lits-rem:9 time: 1.02 434.15/108.79 c calculated reachability. Time: 0.01 434.15/108.79 c N dy 1425 357878 2394 8468 487656 37178 1359122 3840827 13.93 no data -- 450.92/112.95 c N dy 1511 378057 2394 8468 487656 31578 1359122 2809613 13.98 14.75 -- 466.10/116.70 c N dy 1586 398086 2394 8468 487656 51064 1359120 5117182 13.99 14.97 -- 481.28/120.50 c N dy 1674 419234 2394 8468 487656 45387 1359120 4232424 14.01 14.75 -- 497.25/124.56 c N dy 1778 439248 2394 8468 487656 37611 1359118 3271815 14.09 20.74 -- 514.06/128.73 c N dy 1863 459325 2394 8468 487656 28954 1359117 2136882 14.09 14.85 -- 528.82/132.40 c N dy 1945 479633 2394 8468 487656 48723 1359117 4679430 14.11 14.90 -- 545.60/136.68 c N dy 2016 499821 2394 8468 487656 39141 1359117 3202675 14.09 14.85 -- 562.40/140.87 c N dy 2070 521228 2394 8468 487656 59864 1359117 5683917 14.05 14.97 -- 574.36/143.81 c S st 2130 536817 2394 8468 487656 44907 1359117 3880925 14.04 no data -- 574.76/143.90 c S st 2130 537321 2394 8468 487656 45410 1359117 3939624 14.04 no data -- 574.76/143.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 574.76/143.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 579.56/145.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 43.6M T: 4.76 579.97/145.29 c bin-w-bin subsume rem 0 bins time: 0.22 s 585.13/146.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.03 s 585.13/146.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 585.53/146.64 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 614.72/153.97 c lits-rem: 188 cl-subs: 1402 v-elim: 0 v-fix: 0 time: 29.23 s 614.72/153.97 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 615.13/154.08 c vivif2 -- cl tried 44008 cl shrink 0 lits rem 0 time: 0.40 616.30/154.31 c asymm cl-useful: 0/1504/8468 lits-rem:0 time: 0.95 616.30/154.33 c calculated reachability. Time: 0.01 616.30/154.33 c N dy 2130 537321 2394 8468 487656 44008 1359102 3883136 14.04 no data -- 633.47/158.66 c N dy 2219 557435 2394 8468 487656 32490 1359102 2368726 14.06 15.30 -- 647.45/162.16 c N dy 2290 577727 2394 8468 487656 52262 1359100 5146195 14.06 14.86 -- 665.72/166.72 c N dy 2377 598037 2394 8468 487656 39932 1359100 3372445 14.10 14.95 -- 683.57/171.25 c N dy 2473 618126 2394 8468 487656 59473 1359100 5808622 14.13 18.44 -- 700.53/175.54 c N dy 2550 638517 2394 8468 487656 46219 1359098 4249988 14.12 14.91 -- 721.05/180.74 c N dy 2636 658538 2394 8468 487656 65659 1359096 6503874 14.15 17.08 -- 738.12/185.08 c N dy 2724 678583 2394 8468 487656 51103 1359094 4552792 14.16 20.39 -- 758.09/190.02 c N dy 2821 698586 2394 8468 487656 35572 1359092 2503880 14.21 20.20 -- 772.87/193.72 c N dy 2893 718877 2394 8468 487656 55284 1359092 4823171 14.19 14.95 -- 790.84/198.21 c N dy 2971 738929 2394 8468 487656 38785 1359090 2803694 14.20 15.01 -- 808.02/202.50 c N dy 3086 758933 2394 8468 487656 58234 1359089 5582235 14.25 15.10 -- 829.62/207.98 c N dy 3191 779467 2394 8468 487656 41250 1359089 3091387 14.29 15.27 -- 847.18/212.34 c N dy 3289 799509 2394 8468 487656 60788 1359089 5690750 14.33 17.34 -- 853.96/214.03 c S st 3315 805983 2394 8468 487656 67091 1359089 6453545 14.35 14.00 -- 854.36/214.14 c S st 3315 806485 2394 8468 487656 67592 1359089 6519379 14.35 no data -- 854.36/214.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09 854.36/214.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 861.55/215.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 58.2M T: 7.26 862.75/216.24 c bin-w-bin subsume rem 0 bins time: 0.22 s 869.16/217.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.51 s 869.54/217.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 869.54/217.97 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 990.57/248.28 c lits-rem: 576 cl-subs: 2206 v-elim: 0 v-fix: 0 time: 120.83 s 990.57/248.29 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 991.37/248.44 c vivif2 -- cl tried 65386 cl shrink 0 lits rem 0 time: 0.62 992.57/248.70 c asymm cl-useful: 0/523/8468 lits-rem:0 time: 1.03 992.57/248.72 c calculated reachability. Time: 0.01 992.57/248.72 c N dy 3315 806485 2394 8468 487656 65386 1359086 6404994 14.35 no data -- 1011.74/253.59 c N dy 3410 826491 2394 8468 487656 46983 1359086 3937989 14.36 15.27 -- 1030.12/258.12 c N dy 3486 846503 2394 8468 487656 66421 1359082 6572995 14.38 16.94 -- 1049.69/263.01 c N dy 3571 866607 2394 8468 487656 47076 1359082 3836373 14.39 15.41 -- 1069.26/267.94 c N dy 3663 887172 2394 8468 487656 67043 1359082 6222523 14.40 15.20 -- 1088.45/272.72 c N dy 3720 907774 2394 8468 487656 47208 1359082 3626564 14.38 15.17 -- 1106.02/277.14 c N dy 3804 927823 2394 8468 487656 66678 1359082 5995563 14.38 15.20 -- 1125.17/281.99 c N dy 3875 947870 2394 8468 487656 45363 1359082 3492975 14.38 15.15 -- 1143.56/286.52 c N dy 3956 968456 2394 8468 487656 65444 1359081 6091280 14.39 15.15 -- 1170.32/293.27 c N dy 4034 988646 2394 8468 487656 43263 1359080 3057874 14.40 15.18 -- 1189.91/298.15 c N dy 4113 1010076 2394 8468 487656 64172 1359079 5688747 14.40 15.23 -- 1212.66/303.84 c N dy 4192 1030742 2394 8468 487656 84230 1359078 8355248 14.41 15.18 -- 1231.84/308.60 c N dy 4263 1050831 2394 8468 487656 60843 1359078 5094633 14.41 17.26 -- 1251.81/313.69 c N dy 4322 1071731 2394 8468 487656 81172 1359076 7818292 14.40 15.18 -- 1252.21/313.75 c F st 4324 1071875 2394 8468 487656 81315 1359076 7841462 14.40 no data -- 1273.77/319.15 c N dy 4398 1092413 2394 8468 487656 57561 1359075 4747295 14.41 15.55 -- 1293.36/324.03 c N dy 4481 1112859 2394 8468 487656 77433 1359074 7589408 14.41 15.26 -- 1318.51/330.31 c N dy 4569 1132954 2394 8468 487656 52167 1359074 3997440 14.41 15.53 -- 1338.90/335.41 c N dy 4686 1153022 2394 8468 487656 71612 1359074 6962635 14.47 24.73 -- 1365.67/342.11 c N dy 4744 1173472 2394 8468 487656 45838 1359074 3237640 14.45 15.28 -- 1384.03/346.76 c N dy 4851 1193717 2394 8468 487656 65496 1359074 5661112 14.47 15.32 -- 1401.20/351.01 c S st 4912 1209728 2394 8468 487656 80992 1359074 7426451 14.48 no data -- 1401.60/351.13 c S st 4912 1210230 2394 8468 487656 81487 1359074 7498717 14.48 no data -- 1401.60/351.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10 1401.60/351.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1409.62/353.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 62.0M T: 7.96 1410.79/353.44 c bin-w-bin subsume rem 0 bins time: 0.22 s 1415.98/354.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.16 s 1415.98/354.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 1416.38/354.83 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 1590.14/398.39 c lits-rem: 476 cl-subs: 2396 v-elim: 0 v-fix: 0 time: 173.74 s 1590.54/398.40 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 1591.35/398.60 c vivif2 -- cl tried 79091 cl shrink 0 lits rem 0 time: 0.79 1592.55/398.91 c asymm cl-useful: 0/539/8468 lits-rem:0 time: 1.23 1592.55/398.93 c calculated reachability. Time: 0.01 1592.55/398.93 c N dy 4912 1210230 2394 8468 487656 79091 1359070 7370916 14.48 no data -- 1616.91/405.08 c N dy 4994 1233929 2394 8468 487656 55617 1359069 4371995 14.47 15.28 -- 1634.88/409.57 c N dy 5075 1253969 2394 8468 487656 75067 1359069 6801337 14.48 17.86 -- 1657.26/415.17 c N dy 5163 1274051 2394 8468 487656 94643 1359067 9457513 14.50 15.41 -- 1676.44/419.96 c N dy 5231 1294245 2394 8468 487656 66688 1359067 5804984 14.50 15.35 -- 1699.21/425.64 c N dy 5327 1314872 2394 8468 487656 86766 1359067 8335299 14.52 15.64 -- 1719.58/430.79 c N dy 5389 1336276 2394 8468 487656 58966 1359067 4782788 14.51 15.45 -- 1738.76/435.58 c N dy 5461 1356520 2394 8468 487656 78643 1359066 7301282 14.51 15.45 -- 1765.91/442.38 c N dy 5587 1376982 2394 8468 487656 98600 1359065 10110693 14.55 15.36 -- 1784.69/447.08 c N dy 5629 1397011 2394 8468 487656 68335 1359065 5627346 14.54 15.48 -- 1807.05/452.65 c N dy 5715 1417046 2394 8468 487656 87802 1359063 8297140 14.55 19.47 -- 1831.81/458.80 c N dy 5805 1437259 2394 8468 487656 56953 1359062 4561352 14.57 15.35 -- 1852.58/464.03 c N dy 5878 1457458 2394 8468 487656 76550 1359062 7172713 14.58 15.45 -- 1877.76/470.32 c N dy 5944 1478223 2394 8468 487656 96778 1359062 9704319 14.57 15.41 -- 1900.52/476.04 c N dy 6042 1498345 2394 8468 487656 64883 1359062 5371997 14.58 15.44 -- 1924.49/482.09 c N dy 6134 1518414 2394 8468 487656 84432 1359062 7845433 14.59 15.46 -- 1955.24/489.70 c N dy 6241 1538424 2394 8468 487656 103855 1359059 10526416 14.62 16.01 -- 1976.81/495.10 c N dy 6323 1558446 2394 8468 487656 70761 1359057 6152537 14.62 23.91 -- 2007.58/502.89 c N dy 6395 1578904 2394 8468 487656 90668 1359057 8593037 14.62 15.42 -- 2039.13/510.79 c N dy 6490 1599050 2394 8468 487656 56778 1359056 4222286 14.63 15.59 -- 2059.93/515.93 c N dy 6567 1619115 2394 8468 487656 76260 1359056 6905782 14.64 15.57 -- 2085.48/522.35 c N dy 6659 1639524 2394 8468 487656 96093 1359055 9732032 14.66 15.48 -- 2118.23/530.50 c N dy 6768 1660330 2394 8468 487656 61828 1359055 4835574 14.68 15.62 -- 2141.79/536.45 c N dy 6850 1680403 2394 8468 487656 81254 1359053 7376707 14.69 27.72 -- 2173.36/544.30 c N dy 6946 1701368 2394 8468 487656 101604 1359051 10460885 14.70 15.51 -- 2191.34/548.83 c S st 6989 1710230 2394 8468 487656 110179 1359051 11530565 14.71 no data -- 2193.73/549.40 c S st 6989 1710730 2394 8468 487656 55404 1359051 4020102 14.71 no data -- 2193.73/549.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09 2193.73/549.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2200.92/551.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 49.8M T: 7.07 2201.32/551.37 c bin-w-bin subsume rem 0 bins time: 0.22 s 2208.11/553.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.69 s 2208.51/553.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 2208.51/553.15 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 2234.87/559.76 c lits-rem: 120 cl-subs: 1649 v-elim: 0 v-fix: 0 time: 26.35 s 2234.87/559.77 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 2235.28/559.89 c vivif2 -- cl tried 53755 cl shrink 0 lits rem 0 time: 0.47 2236.46/560.17 c asymm cl-useful: 0/1215/8468 lits-rem:0 time: 1.14 2236.46/560.18 c calculated reachability. Time: 0.01 2236.46/560.19 c N dy 6989 1710730 2394 8468 487656 53755 1359048 3991399 14.71 no data -- 2258.43/565.69 c N dy 7081 1730951 2394 8468 487656 73265 1359048 6232203 14.72 15.52 -- 2285.20/572.39 c N dy 7151 1750986 2394 8468 487656 92679 1359048 8518509 14.71 19.72 -- 2321.56/581.44 c N dy 7248 1772250 2394 8468 487656 57185 1359048 4330201 14.72 15.59 -- 2345.92/587.59 c N dy 7316 1792346 2394 8468 487656 76671 1359047 6845192 14.72 15.68 -- 2377.48/595.41 c N dy 7406 1812377 2394 8468 487656 96113 1359047 9608702 14.73 15.72 -- 2417.83/605.53 c N dy 7492 1832441 2394 8468 487656 58376 1359047 4349655 14.74 15.68 -- 2442.99/611.89 c N dy 7584 1854558 2394 8468 487656 79942 1359047 7304785 14.75 15.88 -- 2471.75/619.03 c N dy 7636 1874703 2394 8468 487656 99435 1359047 9744331 14.75 15.69 -- 2504.50/627.22 c N dy 7715 1895026 2394 8468 487656 60945 1359047 4640085 14.75 15.71 -- 2527.28/632.98 c N dy 7788 1917190 2394 8468 487656 82427 1359047 7421958 14.76 15.56 -- 2555.65/640.07 c N dy 7886 1937773 2394 8468 487656 102371 1359046 10227499 14.77 15.91 -- 2587.99/648.18 c N dy 7974 1958823 2394 8468 487656 63621 1359046 5000662 14.78 15.71 -- 2611.56/654.04 c N dy 8041 1978898 2394 8468 487656 83076 1359046 7365516 14.78 15.90 -- 2637.53/660.51 c N dy 8097 2000020 2394 8468 487656 103510 1359045 10194431 14.77 15.60 -- 2666.31/667.76 c N dy 8149 2020110 2394 8468 487656 62896 1359045 4917525 14.76 29.18 -- 2689.46/673.58 c N dy 8245 2040426 2394 8468 487656 82675 1359045 7453117 14.78 15.63 -- 2717.02/680.45 c N dy 8320 2061014 2394 8468 487656 102625 1359045 10075314 14.78 15.62 -- 2752.17/689.27 c N dy 8418 2081039 2394 8468 487656 122081 1359044 12930132 14.80 21.20 -- 2777.33/695.53 c N dy 8490 2101082 2394 8468 487656 80430 1359044 7289381 14.80 17.63 -- 2810.49/703.80 c N dy 8599 2121103 2394 8468 487656 99898 1359042 10055296 14.82 21.00 -- 2850.04/713.79 c N dy 8698 2141352 2394 8468 487656 119472 1359042 12641412 14.84 15.63 -- 2886.01/722.76 c N dy 8796 2164606 2394 8468 487656 79931 1359041 7088414 14.85 15.67 -- 2917.94/730.71 c N dy 8894 2184706 2394 8468 487656 99494 1359040 10078127 14.87 18.98 -- 2954.70/739.90 c N dy 8970 2204732 2394 8468 487656 118857 1359040 12331784 14.87 15.81 -- 2965.88/742.76 c S st 8992 2210732 2394 8468 487656 124610 1359040 13093418 14.87 no data -- 2966.68/742.99 c S st 8992 2211233 2394 8468 487656 125109 1359040 13173953 14.87 no data -- 2967.08/743.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15 2967.08/743.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2982.27/746.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 98.7M T: 15.43 2984.25/747.39 c bin-w-bin subsume rem 0 bins time: 0.22 s 2993.45/749.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 9.12 s 2993.85/749.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 2993.85/749.78 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 3568.66/893.60 c lits-rem: 52 cl-subs: 4829 v-elim: 0 v-fix: 0 time: 573.80 s 3568.66/893.61 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 3569.87/893.93 c vivif2 -- cl tried 120280 cl shrink 0 lits rem 0 time: 1.27 3571.48/894.31 c asymm cl-useful: 0/837/8468 lits-rem:0 time: 1.54 3571.48/894.33 c calculated reachability. Time: 0.01 3571.48/894.33 c N dy 8992 2211233 2394 8468 487656 120280 1359037 12934407 14.87 no data -- 3602.23/902.09 c N dy 9073 2231533 2394 8468 487656 77001 1359036 6944090 14.88 15.70 -- 3635.37/910.34 c N dy 9137 2251554 2394 8468 487656 96393 1359036 9358785 14.88 15.70 -- 3672.93/919.76 c N dy 9218 2271570 2394 8468 487656 115884 1359036 11824606 14.89 22.08 -- 3712.89/929.75 c N dy 9329 2291584 2394 8468 487656 71299 1359036 5870190 14.91 17.74 -- 3738.85/936.27 c N dy 9398 2311613 2394 8468 487656 90679 1359036 8403702 14.91 17.63 -- 3772.41/944.62 c N dy 9469 2333079 2394 8468 487656 111505 1359036 11015642 14.91 15.88 -- 3811.57/954.42 c N dy 9556 2353142 2394 8468 487656 65980 1359036 5138423 14.92 22.09 -- 3839.56/961.48 c N dy 9618 2373593 2394 8468 487656 85709 1359036 7207554 14.91 15.70 -- 3870.70/969.22 c N dy 9692 2394387 2394 8468 487656 105918 1359036 9969461 14.92 15.81 -- 3912.25/979.69 c N dy 9796 2414437 2394 8468 487656 125330 1359036 12525723 14.94 24.44 -- 3944.62/987.79 c N dy 9871 2434776 2394 8468 487656 79199 1359035 6947935 14.94 16.03 -- 3977.78/996.02 c N dy 9937 2455091 2394 8468 487656 98982 1359035 9372671 14.94 15.74 -- 4015.72/1005.58 c N dy 10018 2476607 2394 8468 487656 119806 1359035 11820273 14.94 15.74 -- 4048.08/1013.64 c N dy 10082 2496670 2394 8468 487656 72332 1359035 5902423 14.94 24.92 -- 4075.65/1020.59 c N dy 10156 2516703 2394 8468 487656 91699 1359035 8269887 14.94 16.05 -- 4110.00/1029.14 c N dy 10222 2536859 2394 8468 487656 111219 1359035 10661298 14.95 15.82 -- 4145.56/1038.07 c N dy 10304 2557131 2394 8468 487656 130878 1359035 13580991 14.95 15.81 -- 4177.94/1046.18 c N dy 10408 2577320 2394 8468 487656 82615 1359035 7492602 14.97 16.01 -- 4206.69/1053.35 c N dy 10487 2597346 2394 8468 487656 102069 1359035 9787270 14.97 24.29 -- 4239.85/1061.63 c N dy 10584 2617542 2394 8468 487656 121703 1359035 12662896 14.98 16.07 -- 4279.81/1071.69 c N dy 10680 2638492 2394 8468 487656 73167 1359035 5774654 14.99 15.80 -- 4306.17/1078.25 c N dy 10777 2658511 2394 8468 487656 92543 1359035 8381190 15.01 17.54 -- 4338.94/1086.42 c N dy 10865 2678903 2394 8468 487656 112350 1359035 10901250 15.01 15.99 -- 4377.69/1096.11 c N dy 10969 2698940 2394 8468 487656 131732 1359035 13340378 15.02 16.26 -- 4398.06/1101.21 c S st 11010 2711234 2394 8468 487656 73861 1359035 5938701 15.02 13.13 -- 4398.46/1101.34 c S st 11010 2711734 2394 8468 487656 74360 1359035 6008961 15.02 no data -- 4398.46/1101.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11 4398.46/1101.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4407.65/1103.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 65.0M T: 9.06 4408.45/1103.86 c bin-w-bin subsume rem 0 bins time: 0.22 s 4413.65/1105.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.98 s 4413.65/1105.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2394 time: 0.20 s 4414.05/1105.21 c Removed useless bin: 0 fixed: 0 props: 2.45M time: 0.19 s 4533.10/1135.08 c lits-rem: 1158 cl-subs: 3179 v-elim: 0 v-fix: 0 time: 119.17 s 4533.10/1135.09 c vivif2 -- cl tried 8468 cl shrink 0 lits rem 0 time: 0.03 4533.91/1135.26 c vivif2 -- cl tried 71181 cl shrink 0 lits rem 0 time: 0.66 4535.50/1135.62 c asymm cl-useful: 0/435/8468 lits-rem:0 time: 1.45 4535.50/1135.63 c calculated reachability. Time: 0.01 4535.50/1135.63 c N dy 11010 2711734 2394 8468 487656 71181 1359035 5949538 15.02 no data -- 4569.45/1144.13 c N dy 11120 2732899 2394 8468 487656 91676 1359035 8562112 15.04 15.99 -- 4607.81/1153.76 c N dy 11219 2753516 2394 8468 487656 111650 1359035 11352944 15.04 15.85 -- 4647.35/1163.70 c N dy 11283 2774322 2394 8468 487656 131917 1359035 13896236 15.04 15.86 -- 4692.88/1175.04 c N dy 11376 2795376 2394 8468 487656 81585 1359035 7003292 15.05 15.86 -- 4725.65/1183.24 c N dy 11470 2815431 2394 8468 487656 101036 1359035 9778764 15.06 27.15 -- 4768.00/1193.81 c N dy 11568 2835454 2394 8468 487656 120513 1359035 12508969 15.08 31.14 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3251551-1304182870/watcher-3251551-1304182870 -o /tmp/evaluation-result-3251551-1304182870/solver-3251551-1304182870 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3251551-1304182870.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.90 7.98 7.99 6/180 2519 /proc/meminfo: memFree=29762344/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 529887932 52465664 352 33554432000 4194304 4650419 140733538289680 18446744073709551615 270613167089 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 12809 352 303 112 0 7774 0 [pid=2519/tid=2520] ppid=2517 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 529887932 52465664 352 33554432000 4194304 4650419 140733538289680 18446744073709551615 47505198340022 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 529887933 52465664 352 33554432000 4194304 4650419 140733538289680 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 529887933 52465664 352 33554432000 4194304 4650419 140733538289680 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.0512981 s] /proc/loadavg: 7.90 7.98 7.99 6/180 2519 /proc/meminfo: memFree=29762344/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=288188 CPUtime=0.16 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 6957 0 0 0 14 2 0 0 18 0 4 0 529887932 295104512 6773 33554432000 4194304 4650419 140733538289680 18446744073709551615 270612771873 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 72047 6778 343 112 0 67012 0 [pid=2519/tid=2520] ppid=2517 vsize=288188 CPUtime=0.03 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 1644 0 0 0 3 0 0 0 18 0 4 0 529887932 295104512 6779 33554432000 4194304 4650419 140733538289680 18446744073709551615 4372934 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=288188 CPUtime=0.03 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) S 2517 2519 2123 0 -1 4202560 1488 0 0 0 3 0 0 0 18 0 4 0 529887933 295104512 6781 33554432000 4194304 4650419 140733538289680 18446744073709551615 270613215726 0 0 4096 2 18446604466492176512 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=288188 CPUtime=0.03 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 1738 0 0 0 3 0 0 0 24 0 4 0 529887933 295104512 6783 33554432000 4194304 4650419 140733538289680 18446744073709551615 270612765964 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 288188 [startup+0.101003 s] /proc/loadavg: 7.90 7.98 7.99 6/180 2519 /proc/meminfo: memFree=29762344/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=295224 CPUtime=0.49 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 15322 0 0 0 44 5 0 0 18 0 4 0 529887932 302309376 15126 33554432000 4194304 4650419 140733538289680 18446744073709551615 4370337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 73806 15798 371 112 0 68771 0 [pid=2519/tid=2520] ppid=2517 vsize=295356 CPUtime=0.13 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 4210 0 0 0 12 1 0 0 18 0 4 0 529887932 302444544 16361 33554432000 4194304 4650419 140733538289680 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=296940 CPUtime=0.37 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 5012 0 0 0 36 1 0 0 18 0 4 0 529887933 304066560 19856 33554432000 4194304 4650419 140733538289680 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=298980 CPUtime=0.6 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) D 2517 2519 2123 0 -1 4202560 5181 0 0 0 59 1 0 0 18 0 4 0 529887933 306155520 27741 33554432000 4194304 4650419 140733538289680 18446744073709551615 270612771525 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 295224 [startup+1.33508 s] /proc/loadavg: 7.90 7.98 7.99 6/180 2519 /proc/meminfo: memFree=29762344/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=304800 CPUtime=5.26 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 35804 0 0 0 515 11 0 0 18 0 4 0 529887932 312115200 31846 33554432000 4194304 4650419 140733538289680 18446744073709551615 4331944 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 76200 31846 392 112 0 71165 0 [pid=2519/tid=2520] ppid=2517 vsize=304800 CPUtime=1.3 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 9028 0 0 0 128 2 0 0 19 0 4 0 529887932 312115200 31846 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=304800 CPUtime=1.3 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 9203 0 0 0 127 3 0 0 18 0 4 0 529887933 312115200 31846 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=304800 CPUtime=1.31 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 7307 0 0 0 130 1 0 0 19 0 4 0 529887933 312115200 31846 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.26 Current children cumulated vsize (KiB) 304800 [startup+1.43506 s] /proc/loadavg: 7.90 7.98 7.99 6/180 2519 /proc/meminfo: memFree=29762344/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=313252 CPUtime=5.66 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 38146 0 0 0 555 11 0 0 19 0 4 0 529887932 320770048 31158 33554432000 4194304 4650419 140733538289680 18446744073709551615 4315094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 78313 31158 392 112 0 73278 0 [pid=2519/tid=2520] ppid=2517 vsize=313252 CPUtime=1.4 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 10169 0 0 0 138 2 0 0 19 0 4 0 529887932 320770048 31158 33554432000 4194304 4650419 140733538289680 18446744073709551615 4328879 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=313252 CPUtime=1.4 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 10119 0 0 0 137 3 0 0 18 0 4 0 529887933 320770048 31158 33554432000 4194304 4650419 140733538289680 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=313252 CPUtime=1.41 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 7489 0 0 0 140 1 0 0 19 0 4 0 529887933 320770048 31158 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.66 Current children cumulated vsize (KiB) 313252 [startup+1.53504 s] /proc/loadavg: 7.90 7.98 7.99 6/180 2519 /proc/meminfo: memFree=29762344/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=313384 CPUtime=6.06 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 38667 0 0 0 595 11 0 0 19 0 4 0 529887932 320905216 31679 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 78346 31680 392 112 0 73311 0 [pid=2519/tid=2520] ppid=2517 vsize=313384 CPUtime=1.5 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 10290 0 0 0 148 2 0 0 19 0 4 0 529887932 320905216 31681 33554432000 4194304 4650419 140733538289680 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=313384 CPUtime=1.5 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 10205 0 0 0 147 3 0 0 19 0 4 0 529887933 320905216 31681 33554432000 4194304 4650419 140733538289680 18446744073709551615 4334357 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=313384 CPUtime=1.51 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 7695 0 0 0 150 1 0 0 19 0 4 0 529887933 320905216 31681 33554432000 4194304 4650419 140733538289680 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 313384 [startup+3.10076 s] /proc/loadavg: 7.91 7.98 7.99 9/184 2523 /proc/meminfo: memFree=29619588/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=357744 CPUtime=12.32 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 53689 0 0 0 1218 14 0 0 22 0 4 0 529887932 366329856 35524 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 89436 35525 393 112 0 84401 0 [pid=2519/tid=2520] ppid=2517 vsize=357744 CPUtime=3.07 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 14191 0 0 0 304 3 0 0 22 0 4 0 529887932 366329856 35525 33554432000 4194304 4650419 140733538289680 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=357744 CPUtime=3.07 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 13540 0 0 0 303 4 0 0 22 0 4 0 529887933 366329856 35525 33554432000 4194304 4650419 140733538289680 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=357744 CPUtime=3.08 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 11807 0 0 0 306 2 0 0 23 0 4 0 529887933 366329856 35525 33554432000 4194304 4650419 140733538289680 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.32 Current children cumulated vsize (KiB) 357744 [startup+6.3012 s] /proc/loadavg: 7.91 7.98 7.99 9/184 2523 /proc/meminfo: memFree=29518948/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=460820 CPUtime=25.1 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 79179 0 0 0 2492 18 0 0 25 0 4 0 529887932 471879680 55152 33554432000 4194304 4650419 140733538289680 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 115205 55152 394 112 0 110170 0 [pid=2519/tid=2520] ppid=2517 vsize=460820 CPUtime=6.27 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 21038 0 0 0 623 4 0 0 25 0 4 0 529887932 471879680 55152 33554432000 4194304 4650419 140733538289680 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=460820 CPUtime=6.26 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 16714 0 0 0 622 4 0 0 25 0 4 0 529887933 471879680 55152 33554432000 4194304 4650419 140733538289680 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=460820 CPUtime=6.25 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 19350 0 0 0 623 2 0 0 25 0 4 0 529887933 471879680 55152 33554432000 4194304 4650419 140733538289680 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 460820 [startup+12.7011 s] /proc/loadavg: 7.91 7.98 7.99 9/184 2524 /proc/meminfo: memFree=29430912/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=522784 CPUtime=50.66 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 98875 0 0 0 5044 22 0 0 25 0 4 0 529887932 535330816 68468 33554432000 4194304 4650419 140733538289680 18446744073709551615 4370526 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 130696 68468 394 112 0 125661 0 [pid=2519/tid=2520] ppid=2517 vsize=522784 CPUtime=12.67 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 26447 0 0 0 1261 6 0 0 25 0 4 0 529887932 535330816 68468 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=522784 CPUtime=12.66 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 22741 0 0 0 1261 5 0 0 25 0 4 0 529887933 535330816 68468 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=522784 CPUtime=12.62 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 23078 0 0 0 1259 3 0 0 25 0 4 0 529887933 535330816 68468 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.66 Current children cumulated vsize (KiB) 522784 [startup+25.5008 s] /proc/loadavg: 8.07 8.01 8.00 9/184 2524 /proc/meminfo: memFree=29243528/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=614932 CPUtime=101.79 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 154716 0 0 0 10146 33 0 0 25 0 4 0 529887932 629690368 103465 33554432000 4194304 4650419 140733538289680 18446744073709551615 4436452 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 153733 103465 394 112 0 148698 0 [pid=2519/tid=2520] ppid=2517 vsize=614932 CPUtime=25.48 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 41641 0 0 0 2539 9 0 0 25 0 4 0 529887932 629690368 103465 33554432000 4194304 4650419 140733538289680 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=614932 CPUtime=25.47 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 32501 0 0 0 2540 7 0 0 25 0 4 0 529887933 629690368 103465 33554432000 4194304 4650419 140733538289680 18446744073709551615 4314717 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=614932 CPUtime=25.35 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 38032 0 0 0 2529 6 0 0 25 0 4 0 529887933 629690368 103465 33554432000 4194304 4650419 140733538289680 18446744073709551615 4330680 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.79 Current children cumulated vsize (KiB) 614932 [startup+51.1003 s] /proc/loadavg: 8.05 8.01 8.00 9/184 2525 /proc/meminfo: memFree=29153872/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=796832 CPUtime=204.05 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 245293 0 0 0 20351 54 0 0 25 0 4 0 529887932 815955968 131419 33554432000 4194304 4650419 140733538289680 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 199208 131419 394 112 0 194173 0 [pid=2519/tid=2520] ppid=2517 vsize=796832 CPUtime=51.07 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 66940 0 0 0 5094 13 0 0 25 0 4 0 529887932 815955968 131419 33554432000 4194304 4650419 140733538289680 18446744073709551615 4436168 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=796832 CPUtime=51.06 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 56562 0 0 0 5093 13 0 0 25 0 4 0 529887933 815955968 131419 33554432000 4194304 4650419 140733538289680 18446744073709551615 4334396 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=796832 CPUtime=50.82 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 66775 0 0 0 5067 15 0 0 25 0 4 0 529887933 815955968 131419 33554432000 4194304 4650419 140733538289680 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 204.05 Current children cumulated vsize (KiB) 796832 [startup+102.306 s] /proc/loadavg: 8.06 8.02 8.00 9/184 2526 /proc/meminfo: memFree=28843372/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=962232 CPUtime=408.6 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 380896 0 0 0 40774 86 0 0 25 0 4 0 529887932 985325568 178757 33554432000 4194304 4650419 140733538289680 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 240558 178757 394 112 0 235523 0 [pid=2519/tid=2520] ppid=2517 vsize=962232 CPUtime=102.28 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 94872 0 0 0 10208 20 0 0 25 0 4 0 529887932 985325568 178757 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=962232 CPUtime=102.27 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 92975 0 0 0 10204 23 0 0 25 0 4 0 529887933 985325568 178757 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=962232 CPUtime=101.75 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 103059 0 0 0 10152 23 0 0 25 0 4 0 529887933 985325568 178757 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.6 Current children cumulated vsize (KiB) 962232 [startup+162.301 s] ################ # More data... # ################ [pid=2519] ppid=2517 vsize=1620580 CPUtime=2564.83 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 1747323 0 0 0 256046 437 0 0 25 0 4 0 529887932 1659473920 286413 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 405145 286413 394 112 0 400110 0 [pid=2519/tid=2520] ppid=2517 vsize=1620580 CPUtime=641.7 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 394786 0 0 0 64060 110 0 0 25 0 4 0 529887932 1659473920 286415 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1620580 CPUtime=642.27 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 569084 0 0 0 64099 128 0 0 25 0 4 0 529887933 1659473920 286415 33554432000 4194304 4650419 140733538289680 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1620580 CPUtime=638.58 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 362035 0 0 0 63770 88 0 0 25 0 4 0 529887933 1659473920 286415 33554432000 4194304 4650419 140733538289680 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2564.83 Current children cumulated vsize (KiB) 1620580 [startup+702.301 s] /proc/loadavg: 8.19 8.11 8.03 9/184 2545 /proc/meminfo: memFree=27903392/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1618564 CPUtime=2804.5 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 1860402 0 0 0 279984 466 0 0 25 0 4 0 529887932 1657409536 300084 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 404641 300084 394 112 0 399606 0 [pid=2519/tid=2520] ppid=2517 vsize=1618564 CPUtime=701.69 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 429548 0 0 0 70052 117 0 0 25 0 4 0 529887932 1657409536 300084 33554432000 4194304 4650419 140733538289680 18446744073709551615 4441664 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1618564 CPUtime=702.26 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 595971 0 0 0 70091 135 0 0 25 0 4 0 529887933 1657409536 300084 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1618564 CPUtime=698.25 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 376551 0 0 0 69732 93 0 0 25 0 4 0 529887933 1657409536 300084 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2804.5 Current children cumulated vsize (KiB) 1618564 [startup+762.306 s] /proc/loadavg: 8.18 8.12 8.03 9/184 2547 /proc/meminfo: memFree=27850992/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1749592 CPUtime=3044.2 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 1960924 0 0 0 303923 497 0 0 25 0 4 0 529887932 1791582208 344396 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 437398 344396 394 112 0 432363 0 [pid=2519/tid=2520] ppid=2517 vsize=1749592 CPUtime=761.7 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 444940 0 0 0 76048 122 0 0 25 0 4 0 529887932 1791582208 344396 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1749592 CPUtime=762.27 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 620658 0 0 0 76083 144 0 0 25 0 4 0 529887933 1791582208 344396 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1749592 CPUtime=757.93 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 395892 0 0 0 75691 102 0 0 25 0 4 0 529887933 1791582208 344396 33554432000 4194304 4650419 140733538289680 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3044.2 Current children cumulated vsize (KiB) 1749592 [startup+822.301 s] /proc/loadavg: 8.19 8.12 8.04 9/184 2548 /proc/meminfo: memFree=27823664/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1947072 CPUtime=3283.85 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 2032610 0 0 0 327861 524 0 0 25 0 4 0 529887932 1993801728 349996 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 486768 349996 394 112 0 481733 0 [pid=2519/tid=2520] ppid=2517 vsize=1947072 CPUtime=821.69 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 476973 0 0 0 82037 132 0 0 25 0 4 0 529887932 1993801728 349996 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1947072 CPUtime=822.26 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 648072 0 0 0 82073 153 0 0 25 0 4 0 529887933 1993801728 349996 33554432000 4194304 4650419 140733538289680 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1947072 CPUtime=817.59 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 408131 0 0 0 81651 108 0 0 25 0 4 0 529887933 1993801728 349996 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3283.85 Current children cumulated vsize (KiB) 1947072 [startup+882.301 s] /proc/loadavg: 8.12 8.11 8.04 9/184 2550 /proc/meminfo: memFree=27798472/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1816916 CPUtime=3523.52 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 2111664 0 0 0 351796 556 0 0 25 0 4 0 529887932 1860521984 350871 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 454229 350871 394 112 0 449194 0 [pid=2519/tid=2520] ppid=2517 vsize=1816916 CPUtime=881.7 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 505343 0 0 0 88026 144 0 0 25 0 4 0 529887932 1860521984 350871 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1816916 CPUtime=882.26 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 693587 0 0 0 88053 173 0 0 25 0 4 0 529887933 1860521984 350871 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1816916 CPUtime=877.27 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 413300 0 0 0 87617 110 0 0 25 0 4 0 529887933 1860521984 350871 33554432000 4194304 4650419 140733538289680 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3523.52 Current children cumulated vsize (KiB) 1816916 [startup+942.301 s] /proc/loadavg: 6.14 7.61 7.87 5/175 2570 /proc/meminfo: memFree=29282316/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1884268 CPUtime=3763.23 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 2186690 0 0 0 375732 591 0 0 25 0 4 0 529887932 1929490432 356212 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 471067 356212 394 112 0 466032 0 [pid=2519/tid=2520] ppid=2517 vsize=1884268 CPUtime=941.7 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 527461 0 0 0 94014 156 0 0 25 0 4 0 529887932 1929490432 356212 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1884268 CPUtime=942.27 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 720932 0 0 0 94043 184 0 0 25 0 4 0 529887933 1929490432 356212 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1884268 CPUtime=936.97 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 413300 0 0 0 93587 110 0 0 25 0 4 0 529887933 1929490432 356212 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3763.23 Current children cumulated vsize (KiB) 1884268 [startup+1002.3 s] /proc/loadavg: 4.72 6.90 7.61 5/175 2572 /proc/meminfo: memFree=29257976/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1885496 CPUtime=4002.94 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 2272490 0 0 0 399668 626 0 0 25 0 4 0 529887932 1930747904 361550 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 471374 361550 394 112 0 466339 0 [pid=2519/tid=2520] ppid=2517 vsize=1885496 CPUtime=1001.7 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 542510 0 0 0 100010 160 0 0 25 0 4 0 529887932 1930747904 361550 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476505 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1885496 CPUtime=1002.27 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 761966 0 0 0 100025 202 0 0 25 0 4 0 529887933 1930747904 361550 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1885496 CPUtime=996.69 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 414419 0 0 0 99558 111 0 0 25 0 4 0 529887933 1930747904 361550 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4002.94 Current children cumulated vsize (KiB) 1885496 [startup+1062.3 s] /proc/loadavg: 4.33 6.42 7.40 5/175 2574 /proc/meminfo: memFree=29264980/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1952632 CPUtime=4242.66 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 2358405 0 0 0 423605 661 0 0 25 0 4 0 529887932 1999495168 360454 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 488158 360454 394 112 0 483123 0 [pid=2519/tid=2520] ppid=2517 vsize=1952632 CPUtime=1061.69 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 564064 0 0 0 106002 167 0 0 25 0 4 0 529887932 1999495168 360454 33554432000 4194304 4650419 140733538289680 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1952632 CPUtime=1062.26 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 782710 0 0 0 106016 210 0 0 25 0 4 0 529887933 1999495168 360454 33554432000 4194304 4650419 140733538289680 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1952632 CPUtime=1056.41 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 426925 0 0 0 105522 119 0 0 25 0 4 0 529887933 1999495168 360454 33554432000 4194304 4650419 140733538289680 18446744073709551615 4360358 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4242.66 Current children cumulated vsize (KiB) 1952632 [startup+1122.3 s] /proc/loadavg: 4.11 5.95 7.17 5/175 2575 /proc/meminfo: memFree=29236668/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1859460 CPUtime=4482.36 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 2488248 0 0 0 447538 698 0 0 25 0 4 0 529887932 1904087040 366839 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 464865 366839 394 112 0 459830 0 [pid=2519/tid=2520] ppid=2517 vsize=1859460 CPUtime=1121.69 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 595049 0 0 0 111994 175 0 0 25 0 4 0 529887932 1904087040 366839 33554432000 4194304 4650419 140733538289680 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1859460 CPUtime=1122.26 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 829250 0 0 0 112003 223 0 0 25 0 4 0 529887933 1904087040 366839 33554432000 4194304 4650419 140733538289680 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1859460 CPUtime=1116.13 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 455411 0 0 0 111484 129 0 0 25 0 4 0 529887933 1904087040 366839 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4482.36 Current children cumulated vsize (KiB) 1859460 [startup+1182.3 s] /proc/loadavg: 4.08 5.63 6.99 5/175 2577 /proc/meminfo: memFree=29215552/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1954972 CPUtime=4722.06 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 2590088 0 0 0 471473 733 0 0 25 0 4 0 529887932 2001891328 372279 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366643 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 488743 372279 394 112 0 483708 0 [pid=2519/tid=2520] ppid=2517 vsize=1954972 CPUtime=1181.69 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 616111 0 0 0 117983 186 0 0 25 0 4 0 529887932 2001891328 372279 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1954972 CPUtime=1182.26 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 878125 0 0 0 117995 231 0 0 25 0 4 0 529887933 2001891328 372279 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1954972 CPUtime=1175.81 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 468084 0 0 0 117445 136 0 0 25 0 4 0 529887933 2001891328 372279 33554432000 4194304 4650419 140733538289680 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4722.06 Current children cumulated vsize (KiB) 1954972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 4.11 5.51 6.91 5/175 2577 /proc/meminfo: memFree=29194460/32951124 swapFree=67111524/67111528 [pid=2519] ppid=2517 vsize=1927236 CPUtime=4800.36 cores=1,3,5,7 /proc/2519/stat : 2519 (strangenight1-m) R 2517 2519 2123 0 -1 4202496 2643850 0 0 0 479287 749 0 0 25 0 4 0 529887932 1973489664 377077 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2519/statm: 481809 377077 394 112 0 476774 0 [pid=2519/tid=2520] ppid=2517 vsize=1927236 CPUtime=1201.26 cores=1,3,5,7 /proc/2519/task/2520/stat : 2520 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 628274 0 0 0 119935 191 0 0 25 0 4 0 529887932 1973489664 377079 33554432000 4194304 4650419 140733538289680 18446744073709551615 4360332 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2519/tid=2521] ppid=2517 vsize=1927236 CPUtime=1201.87 cores=1,3,5,7 /proc/2519/task/2521/stat : 2521 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 903188 0 0 0 119953 234 0 0 25 0 4 0 529887933 1973489664 377079 33554432000 4194304 4650419 140733538289680 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2519/tid=2522] ppid=2517 vsize=1927236 CPUtime=1195.34 cores=1,3,5,7 /proc/2519/task/2522/stat : 2522 (strangenight1-m) R 2517 2519 2123 0 -1 4202560 479932 0 0 0 119394 140 0 0 25 0 4 0 529887933 1973489664 377079 33554432000 4194304 4650419 140733538289680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.36 Current children cumulated vsize (KiB) 1927236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.98 CPU time (s): 4800.46 CPU user time (s): 4792.91 CPU system time (s): 7.55485 CPU usage (%): 399.381 Max. virtual memory (cumulated for all children) (KiB): 2029392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4792.91 system time used= 7.55485 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2643857 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= 11355 involuntary context switches= 20469 runsolver used 1.90471 second user time and 4.46632 second system time The end
Begin job on node108 at 2011-04-30 19:01:10 IDJOB=3251551 IDBENCH=88226 IDSOLVER=1588 FILE ID=node108/3251551-1304182870 RUNJOBID= node108-1304182568-2450 PBS_JOBID= 13172452 Free space on /tmp= 72612 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251551-1304182870/watcher-3251551-1304182870 -o /tmp/evaluation-result-3251551-1304182870/solver-3251551-1304182870 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3251551-1304182870.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dda220d08783aabf4e7a9e99eeeccae6 RANDOM SEED=422298736 node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29762500 kB Buffers: 613232 kB Cached: 1188320 kB SwapCached: 4 kB Active: 1095384 kB Inactive: 1692516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29762500 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 12600 kB Writeback: 0 kB AnonPages: 986300 kB Mapped: 15504 kB Slab: 334496 kB PageTables: 6768 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1327720 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72624 MiB End job on node108 at 2011-04-30 19:21:14