| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.13 | 1201.76 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf |
| MD5SUM | 20b02cb2651a47b9d104f0bf45924440 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.89356 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 42000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.06 c Using 4 threads 0.26/0.12 c This is CryptoMiniSat 2.9.0 0.26/0.12 c compiled with gcc version 4.4.5 0.26/0.12 c WARNING: for repeatability, setting FPU to use double precision 0.26/0.12 c Reading file 'HOME/instance-3174886-1304044686.cnf' 0.26/0.12 c -- header says num vars: 10000 0.26/0.12 c -- header says num clauses: 42000 0.26/0.19 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.26/0.19 c -- vars added 10000 0.26/0.19 c Parsing time: 0.11 s 0.26/0.19 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.66/0.21 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.66/0.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.66/0.26 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.66/0.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.66/0.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.66/0.26 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 1.01/0.39 c lits-rem: 0 cl-subs: 0 v-elim: 350 v-fix: 0 time: 0.32 s 1.01/0.39 c Finding binary XORs T: 0.00 s found: 0 1.01/0.39 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 1.01/0.39 c calculated reachability. Time: 0.00 1.01/0.39 c Calc default polars - time: 0.01 s pos: 4380 undec: 1158 neg: 4462 1.01/0.39 c ========================================================================================= 1.01/0.39 c types(t): F = full restart, N = normal restart 1.01/0.39 c types(t): S = simplification begin/end, E = solution found 1.01/0.39 c restart types(rt): st = static, dy = dynamic 1.01/0.39 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 1.01/0.39 c B st 0 0 9650 41565 0 0 126712 0 no data no data -- 3.40/0.94 c N dy 16 4056 9650 41565 0 4053 126712 642937 91.79 96.93 -- 5.80/1.54 c N dy 41 8064 9650 41565 0 4567 126712 315719 91.07 100.81 -- 8.22/2.17 c N dy 70 12221 9650 41565 0 8723 126712 914264 91.77 98.29 -- 10.99/2.82 c N dy 101 16390 9650 41565 0 7145 126712 404157 92.81 100.38 -- 13.39/3.46 c N dy 130 20494 9650 41565 0 11249 126712 1011896 93.00 98.67 -- 16.19/4.16 c N dy 160 24643 9650 41565 0 8020 126712 308079 93.70 100.27 -- 16.59/4.21 c F st 162 25000 9650 41565 0 8377 126712 358648 93.61 93.44 -- 19.79/5.08 c N dy 168 30000 9650 41565 0 13376 126712 1278802 93.61 no data -- 19.79/5.08 c S st 168 30000 9650 41565 0 13376 126712 1278802 93.61 no data -- 20.18/5.16 c S st 168 30506 9650 41565 0 13882 126712 1332044 93.61 no data -- 20.18/5.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 20.18/5.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 20.58/5.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 20.98/5.31 c bin-w-bin subsume rem 0 bins time: 0.01 s 20.98/5.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 20.98/5.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 20.98/5.32 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 28.17/7.11 c lits-rem: 5 cl-subs: 4 v-elim: 0 v-fix: 0 time: 7.16 s 28.17/7.16 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.20 28.17/7.17 c calculated reachability. Time: 0.00 28.17/7.17 c N dy 168 30506 9650 41565 0 13878 126712 1330824 93.61 no data -- 30.96/7.89 c N dy 199 34559 9650 41565 0 9248 126712 299624 93.96 100.85 -- 33.76/8.57 c N dy 220 38645 9650 41565 0 13334 126712 915054 93.79 109.18 -- 36.96/9.33 c N dy 244 42850 9650 41565 0 17539 126712 1542121 93.76 98.90 -- 38.97/9.89 c S st 262 45760 9650 41565 0 10603 126712 336840 93.58 76.57 -- 39.37/9.97 c S st 262 46264 9650 41565 0 11107 126712 397230 93.58 no data -- 39.37/9.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 39.37/9.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.75/10.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 39.75/10.04 c bin-w-bin subsume rem 0 bins time: 0.01 s 39.75/10.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 39.75/10.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 39.75/10.05 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 46.54/11.75 c lits-rem: 2 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.78 s 46.54/11.75 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 46.54/11.76 c vivif2 -- cl tried 11107 cl shrink 0 lits rem 0 time: 0.02 46.94/11.80 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.17 46.94/11.80 c calculated reachability. Time: 0.00 46.94/11.80 c N dy 262 46264 9650 41565 0 11107 126712 397228 93.58 no data -- 49.74/12.55 c N dy 292 50636 9650 41565 0 15478 126712 1059056 93.80 98.94 -- 52.56/13.27 c N dy 323 54699 9650 41565 0 19541 126712 1663354 93.92 99.52 -- 55.74/14.01 c N dy 349 58917 9650 41565 0 12842 126712 508394 93.87 100.03 -- 58.52/14.70 c N dy 380 62966 9650 41565 0 16890 126712 1125372 94.09 99.11 -- 61.34/15.44 c N dy 406 67104 9650 41565 0 21028 126712 1751432 94.14 101.85 -- 62.92/15.87 c S st 422 69397 9650 41565 0 23321 126712 2095305 94.15 no data -- 63.31/15.97 c S st 422 69899 9650 41565 0 23823 126712 2147069 94.15 no data -- 63.31/15.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 63.31/15.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 63.72/16.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.18 64.11/16.16 c bin-w-bin subsume rem 0 bins time: 0.01 s 64.11/16.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 64.11/16.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 64.11/16.17 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 81.29/20.48 c lits-rem: 2 cl-subs: 3 v-elim: 0 v-fix: 0 time: 17.17 s 81.29/20.49 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 81.69/20.51 c vivif2 -- cl tried 23820 cl shrink 0 lits rem 0 time: 0.10 81.69/20.58 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.27 81.69/20.58 c calculated reachability. Time: 0.00 81.69/20.58 c N dy 422 69899 9650 41565 0 23820 126712 2146308 94.15 no data -- 85.29/21.40 c N dy 452 74371 9650 41565 0 16332 126712 878639 94.24 103.76 -- 88.48/22.28 c N dy 483 79186 9650 41565 0 21147 126712 1605573 94.22 99.50 -- 92.47/23.27 c N dy 515 84475 9650 41565 0 13454 126712 309077 94.11 101.43 -- 94.48/23.79 c F st 534 87501 9650 41565 0 16480 126712 755173 94.04 82.12 -- 97.27/24.42 c N st 539 90796 9650 41565 0 19775 126712 1380272 94.04 no data -- 101.67/25.56 c N dy 564 96594 9650 41565 0 25572 126712 2339416 93.91 103.23 -- 106.46/26.70 c N dy 606 102776 9650 41565 0 17767 126712 788368 93.85 99.39 -- 107.66/27.06 c S st 620 104849 9650 41565 0 19840 126712 1088968 93.84 no data -- 108.06/27.15 c S st 620 105355 9650 41565 0 20346 126712 1147198 93.84 no data -- 108.06/27.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 108.06/27.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 108.46/27.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 108.46/27.26 c bin-w-bin subsume rem 0 bins time: 0.01 s 108.46/27.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 108.46/27.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 108.46/27.26 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 117.64/29.50 c lits-rem: 10 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.91 s 117.64/29.50 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 117.64/29.52 c vivif2 -- cl tried 20345 cl shrink 0 lits rem 0 time: 0.06 117.64/29.57 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.23 117.64/29.58 c calculated reachability. Time: 0.00 117.64/29.58 c N dy 620 105355 9650 41565 0 20345 126712 1146758 93.84 no data -- 122.86/30.88 c N dy 661 112236 9650 41565 0 27225 126712 2166445 93.78 99.63 -- 128.43/32.28 c N dy 711 119470 9650 41565 0 19464 126712 918910 93.81 99.84 -- 134.42/33.71 c N dy 760 127136 9650 41565 0 27130 126712 2073200 93.77 98.84 -- 140.43/35.27 c N dy 806 135255 9650 41565 0 19251 126712 728886 93.66 104.84 -- 147.20/36.90 c N dy 862 143945 9650 41565 0 27939 126712 2052830 93.78 108.44 -- 154.39/38.71 c N dy 924 153139 9650 41565 0 20135 126712 726649 93.85 98.87 -- 158.01/39.62 c S st 958 158033 9650 41565 0 25028 126712 1467736 93.96 101.70 -- 158.38/39.72 c S st 958 158534 9650 41565 0 25529 126712 1530391 93.96 no data -- 158.38/39.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 158.38/39.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 158.38/39.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 158.78/39.85 c bin-w-bin subsume rem 0 bins time: 0.01 s 158.78/39.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 158.78/39.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 158.78/39.86 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 170.79/42.88 c lits-rem: 14 cl-subs: 4 v-elim: 0 v-fix: 0 time: 12.06 s 170.79/42.88 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 171.19/42.90 c vivif2 -- cl tried 25525 cl shrink 0 lits rem 0 time: 0.08 171.19/42.97 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.26 171.19/42.97 c calculated reachability. Time: 0.00 171.19/42.97 c N dy 958 158534 9650 41565 0 25525 126712 1529123 93.96 no data -- 179.58/45.04 c N dy 1019 168705 9650 41565 0 35696 126712 3043130 93.92 127.46 -- 187.55/47.08 c N dy 1084 179521 9650 41565 0 28513 126712 1810961 93.91 99.06 -- 197.15/49.42 c N dy 1157 191090 9650 41565 0 21086 126712 578028 94.00 101.37 -- 206.72/51.83 c N dy 1235 203405 9650 41565 0 33400 126712 2405616 93.93 98.99 -- 217.51/54.57 c N dy 1317 216673 9650 41565 0 26667 126712 1254311 93.94 98.96 -- 229.49/57.57 c N dy 1410 230598 9650 41565 0 40592 126712 3361955 94.07 159.75 -- 235.48/59.00 c S st 1461 237801 9650 41565 0 26795 126712 1127472 94.12 no data -- 235.88/59.10 c S st 1461 238304 9650 41565 0 27298 126712 1184779 94.12 no data -- 235.88/59.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 235.88/59.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 235.88/59.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 236.28/59.21 c bin-w-bin subsume rem 0 bins time: 0.01 s 236.28/59.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 236.28/59.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 236.28/59.22 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 245.49/61.58 c lits-rem: 15 cl-subs: 2 v-elim: 0 v-fix: 0 time: 9.39 s 245.49/61.58 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 245.49/61.59 c vivif2 -- cl tried 27296 cl shrink 0 lits rem 0 time: 0.06 245.89/61.66 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.27 245.89/61.66 c calculated reachability. Time: 0.00 245.89/61.66 c N dy 1461 238304 9650 41565 0 27296 126712 1184708 94.12 no data -- 258.67/64.83 c N dy 1553 253521 9650 41565 0 42512 126712 3461727 94.14 116.80 -- 272.25/68.29 c N dy 1659 269853 9650 41565 0 36844 126712 2496320 94.15 105.56 -- 287.01/71.96 c N dy 1776 287187 9650 41565 0 31184 126712 1497966 94.29 99.40 -- 303.00/75.96 c N dy 1903 305555 9650 41565 0 25547 126712 515076 94.45 99.56 -- 303.38/76.09 c F st 1909 306253 9650 41565 0 26245 126712 618774 94.45 96.95 -- 319.76/80.15 c N dy 2008 325102 9650 41565 0 45094 126712 3639500 94.51 106.73 -- 336.94/84.45 c N dy 2144 345155 9650 41565 0 40145 126712 2578829 94.58 100.76 -- 348.52/87.32 c S st 2224 357457 9650 41565 0 26449 126712 362145 94.61 no data -- 348.92/87.42 c S st 2224 357963 9650 41565 0 26955 126712 426739 94.61 no data -- 348.92/87.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 348.92/87.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 348.92/87.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 349.32/87.50 c bin-w-bin subsume rem 0 bins time: 0.01 s 349.32/87.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 349.32/87.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 349.32/87.51 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 356.11/89.21 c lits-rem: 3 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.77 s 356.11/89.21 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 356.11/89.22 c vivif2 -- cl tried 26955 cl shrink 0 lits rem 0 time: 0.02 356.11/89.28 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.26 356.11/89.28 c calculated reachability. Time: 0.00 356.11/89.28 c N dy 2224 357963 9650 41565 0 26955 126712 426736 94.61 no data -- 373.68/93.63 c N dy 2354 378193 9650 41565 0 47183 126712 3452644 94.66 99.98 -- 391.66/98.18 c N dy 2478 398326 9650 41565 0 40317 126712 2311431 94.65 102.41 -- 411.23/103.01 c N dy 2615 418380 9650 41565 0 32373 126712 970006 94.79 105.57 -- 429.21/107.50 c N dy 2745 438421 9650 41565 0 52410 126712 3969930 94.77 99.79 -- 447.18/112.05 c N dy 2883 458478 9650 41565 0 43474 126712 2529730 94.87 102.41 -- 466.35/116.81 c N dy 3009 478498 9650 41565 0 33492 126712 840763 94.88 102.56 -- 484.33/121.38 c N dy 3148 498553 9650 41565 0 53546 126712 3924794 94.96 100.44 -- 503.10/126.05 c N dy 3275 518640 9650 41565 0 42633 126712 2085058 94.96 121.23 -- 520.68/130.49 c S st 3393 536944 9650 41565 0 60936 126712 4870660 94.99 no data -- 521.48/130.65 c S st 3393 537445 9650 41565 0 61437 126712 4924673 94.99 no data -- 521.48/130.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 521.48/130.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 521.87/130.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.27 522.69/130.98 c bin-w-bin subsume rem 0 bins time: 0.01 s 522.69/130.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 522.69/130.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 522.69/130.99 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 791.91/198.31 c lits-rem: 2 cl-subs: 4 v-elim: 0 v-fix: 0 time: 268.46 s 791.91/198.31 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 791.91/198.37 c vivif2 -- cl tried 61433 cl shrink 0 lits rem 0 time: 0.25 792.71/198.52 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.57 792.71/198.52 c calculated reachability. Time: 0.00 792.71/198.52 c N dy 3393 537445 9650 41565 0 61433 126712 4923423 94.99 no data -- 811.88/203.32 c N dy 3517 557527 9650 41565 0 49515 126712 2954101 94.97 100.45 -- 833.06/208.63 c N dy 3646 577633 9650 41565 0 36621 126712 873482 94.96 101.37 -- 853.03/213.69 c N dy 3771 597641 9650 41565 0 56629 126712 3892517 94.97 121.89 -- 874.22/218.91 c N dy 3901 617644 9650 41565 0 42635 126712 1648281 94.99 100.17 -- 894.98/224.11 c N dy 4032 637729 9650 41565 0 62720 126712 4693911 95.01 145.01 -- 915.35/229.26 c N dy 4155 657794 9650 41565 0 47786 126712 2256195 95.01 100.08 -- 937.31/234.74 c N dy 4285 677821 9650 41565 0 67811 126712 5315579 95.06 104.62 -- 957.71/239.86 c N dy 4415 697953 9650 41565 0 51938 126712 2780351 95.07 100.68 -- 980.46/245.55 c N dy 4543 718074 9650 41565 0 72058 126712 5841449 95.09 100.28 -- 1000.83/250.66 c N dy 4673 738158 9650 41565 0 55145 126712 3154930 95.12 102.72 -- 1024.40/256.51 c N dy 4811 758205 9650 41565 0 75192 126712 6220953 95.14 104.52 -- 1044.77/261.61 c N dy 4946 778294 9650 41565 0 57278 126712 3306620 95.17 100.34 -- 1068.34/267.56 c N dy 5081 798464 9650 41565 0 77443 126712 6404690 95.19 100.41 -- 1075.95/269.48 c S st 5135 806167 9650 41565 0 46155 126712 1462114 95.22 no data -- 1076.73/269.61 c S st 5135 806671 9650 41565 0 46659 126712 1517985 95.22 no data -- 1076.73/269.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1076.73/269.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1076.73/269.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1077.12/269.76 c bin-w-bin subsume rem 0 bins time: 0.02 s 1077.12/269.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1077.12/269.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 1077.12/269.77 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1091.51/273.35 c lits-rem: 7 cl-subs: 2 v-elim: 0 v-fix: 0 time: 14.28 s 1091.51/273.35 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.02 1091.51/273.38 c vivif2 -- cl tried 46657 cl shrink 0 lits rem 0 time: 0.08 1091.91/273.49 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.43 1091.91/273.49 c calculated reachability. Time: 0.00 1091.91/273.49 c N dy 5135 806671 9650 41565 0 46657 126712 1517619 95.22 no data -- 1113.48/278.89 c N dy 5276 826817 9650 41565 0 66802 126712 4602330 95.27 100.42 -- 1136.24/284.56 c N dy 5401 846844 9650 41565 0 46832 126712 1442306 95.28 121.38 -- 1157.02/289.76 c N dy 5537 866933 9650 41565 0 66919 126712 4490097 95.32 104.73 -- 1179.38/295.31 c N dy 5661 887057 9650 41565 0 46044 126712 1130616 95.32 101.48 -- 1199.38/300.38 c N dy 5794 907112 9650 41565 0 66097 126712 4148459 95.33 107.04 -- 1222.52/306.17 c N dy 5928 927155 9650 41565 0 44144 126712 705598 95.41 108.28 -- 1242.50/311.15 c N dy 6053 947218 9650 41565 0 64205 126712 3827999 95.44 104.05 -- 1265.67/316.95 c N dy 6176 967367 9650 41565 0 84352 126712 6924718 95.45 100.51 -- 1286.04/322.00 c N dy 6305 987375 9650 41565 0 61363 126712 3179849 95.46 104.40 -- 1309.22/327.80 c N dy 6440 1007472 9650 41565 0 81458 126712 6280982 95.50 109.76 -- 1331.97/333.56 c N dy 6574 1027558 9650 41565 0 57543 126712 2450705 95.52 102.75 -- 1355.54/339.49 c N dy 6718 1047587 9650 41565 0 77572 126712 5513708 95.55 100.76 -- 1379.53/345.47 c N dy 6850 1067606 9650 41565 0 52596 126712 1584994 95.57 101.27 -- 1383.92/346.58 c F st 6881 1071875 9650 41565 0 56865 126712 2237108 95.57 no data -- 1401.87/351.05 c N dy 6959 1087607 9650 41565 0 72596 126712 4795173 95.60 100.64 -- 1427.05/357.38 c N dy 7090 1107705 9650 41565 0 46696 126712 507270 95.60 101.12 -- 1447.42/362.47 c N dy 7217 1127794 9650 41565 0 66784 126712 3616107 95.62 100.85 -- 1471.40/368.46 c N dy 7348 1147882 9650 41565 0 86871 126712 6712995 95.66 103.33 -- 1493.77/374.02 c N dy 7467 1167883 9650 41565 0 59874 126712 2359365 95.65 102.01 -- 1516.51/379.73 c N dy 7603 1187884 9650 41565 0 79875 126712 5406715 95.67 101.29 -- 1541.28/385.96 c N dy 7730 1207949 9650 41565 0 51940 126712 1005578 95.69 101.48 -- 1543.27/386.47 c S st 7745 1210007 9650 41565 0 53998 126712 1316663 95.68 no data -- 1544.07/386.60 c S st 7745 1210513 9650 41565 0 54504 126712 1376235 95.68 no data -- 1544.07/386.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1544.07/386.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1544.07/386.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1544.47/386.74 c bin-w-bin subsume rem 0 bins time: 0.01 s 1544.47/386.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1544.47/386.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 1544.47/386.75 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1557.25/389.90 c lits-rem: 9 cl-subs: 3 v-elim: 0 v-fix: 0 time: 12.55 s 1557.25/389.90 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 1557.25/389.92 c vivif2 -- cl tried 54501 cl shrink 0 lits rem 0 time: 0.08 1557.65/390.03 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.47 1557.65/390.04 c calculated reachability. Time: 0.00 1557.65/390.04 c N dy 7745 1210513 9650 41565 0 54501 126712 1375131 95.68 no data -- 1579.23/395.46 c N dy 7877 1230609 9650 41565 0 74597 126712 4434900 95.70 101.59 -- 1604.40/401.75 c N dy 8006 1250618 9650 41565 0 94604 126712 7508072 95.71 101.08 -- 1626.36/407.25 c N dy 8139 1270776 9650 41565 0 65762 126712 2969126 95.72 101.86 -- 1649.93/413.18 c N dy 8271 1290852 9650 41565 0 85836 126712 6083811 95.74 117.13 -- 1675.09/419.45 c N dy 8402 1310879 9650 41565 0 55865 126712 1328863 95.76 101.42 -- 1697.06/424.97 c N dy 8537 1330907 9650 41565 0 75892 126712 4434722 95.79 102.85 -- 1723.43/431.52 c N dy 8665 1351026 9650 41565 0 96010 126712 7476745 95.79 103.07 -- 1747.40/437.58 c N dy 8802 1371123 9650 41565 0 65106 126712 2603979 95.82 100.89 -- 1770.96/443.47 c N dy 8925 1391236 9650 41565 0 85219 126712 5712952 95.83 102.09 -- 1798.12/450.24 c N dy 9060 1411345 9650 41565 0 53330 126712 654371 95.86 102.73 -- 1819.69/455.67 c N dy 9192 1431502 9650 41565 0 73486 126712 3737813 95.88 109.81 -- 1844.88/462.00 c N dy 9330 1451577 9650 41565 0 93559 126712 6819861 95.90 101.88 -- 1870.42/468.33 c N dy 9461 1471596 9650 41565 0 60576 126712 1601261 95.90 101.43 -- 1893.21/474.06 c N dy 9600 1491745 9650 41565 0 80722 126712 4694093 95.92 101.16 -- 1919.57/480.68 c N dy 9733 1511887 9650 41565 0 100863 126712 7765385 95.93 101.42 -- 1943.52/486.63 c N dy 9855 1532141 9650 41565 0 67122 126712 2439271 95.90 101.50 -- 1967.49/492.62 c N dy 9987 1552167 9650 41565 0 87147 126712 5510250 95.91 101.05 -- 1994.67/499.50 c N dy 10117 1572236 9650 41565 0 107214 126712 8579955 95.92 124.20 -- 2017.82/505.26 c N dy 10242 1592348 9650 41565 0 72333 126712 3101524 95.91 101.42 -- 2044.19/511.88 c N dy 10370 1612393 9650 41565 0 92377 126712 6212822 95.93 101.57 -- 2076.14/519.87 c N dy 10493 1632438 9650 41565 0 56423 126712 528895 95.95 107.05 -- 2100.51/525.97 c N dy 10619 1652756 9650 41565 0 76740 126712 3641513 95.95 102.14 -- 2128.87/533.08 c N dy 10745 1672851 9650 41565 0 96833 126712 6712436 95.96 112.33 -- 2160.43/540.91 c N dy 10876 1692974 9650 41565 0 59954 126712 924483 95.97 101.89 -- 2182.00/546.33 c S st 10990 1710514 9650 41565 0 77491 126712 3613295 95.97 100.52 -- 2182.79/546.53 c S st 10990 1711020 9650 41565 0 77997 126712 3665194 95.97 no data -- 2182.79/546.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2182.79/546.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2183.22/546.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.33 2183.99/546.81 c bin-w-bin subsume rem 0 bins time: 0.01 s 2183.99/546.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2183.99/546.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.02 s 2183.99/546.82 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2337.01/585.13 c lits-rem: 0 cl-subs: 5 v-elim: 0 v-fix: 0 time: 152.61 s 2337.01/585.13 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 2337.01/585.18 c vivif2 -- cl tried 77992 cl shrink 0 lits rem 0 time: 0.20 2337.78/585.35 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.69 2337.78/585.36 c calculated reachability. Time: 0.00 2337.78/585.36 c N dy 10990 1711020 9650 41565 0 77992 126712 3663812 95.97 no data -- 2364.55/592.07 c N dy 11119 1731093 9650 41565 0 98065 126712 6716338 95.97 101.58 -- 2394.54/599.52 c N dy 11242 1751187 9650 41565 0 60159 126712 803886 95.97 103.80 -- 2417.28/605.21 c N dy 11361 1771307 9650 41565 0 80278 126712 3816453 95.96 101.09 -- 2443.24/611.75 c N dy 11498 1791407 9650 41565 0 100377 126712 6903649 95.98 101.19 -- 2472.40/619.00 c N dy 11624 1811429 9650 41565 0 61406 126712 856235 95.97 104.33 -- 2494.77/624.65 c N dy 11747 1831436 9650 41565 0 81413 126712 3931572 95.97 102.10 -- 2521.13/631.22 c N dy 11874 1851539 9650 41565 0 101515 126712 7032327 95.99 102.12 -- 2550.29/638.54 c N dy 11998 1871582 9650 41565 0 61557 126712 736461 95.99 101.40 -- 2573.46/644.30 c N dy 12129 1891681 9650 41565 0 81655 126712 3815841 96.00 136.51 -- 2599.82/650.94 c N dy 12259 1911750 9650 41565 0 101723 126712 6892095 96.01 173.23 -- 2630.18/658.56 c N dy 12393 1931955 9650 41565 0 121924 126712 10025991 96.03 105.77 -- 2653.37/664.31 c N dy 12518 1951960 9650 41565 0 80942 126712 3561958 96.04 105.06 -- 2679.73/670.90 c N dy 12645 1972080 9650 41565 0 101061 126712 6641493 96.05 101.22 -- 2709.67/678.40 c N dy 12775 1992330 9650 41565 0 121310 126712 9746786 96.06 101.29 -- 2734.03/684.55 c N dy 12912 2012470 9650 41565 0 79446 126712 3192445 96.08 106.69 -- 2760.40/691.12 c N dy 13048 2032617 9650 41565 0 99593 126712 6350375 96.09 101.75 -- 2789.99/698.52 c N dy 13178 2052628 9650 41565 0 119602 126712 9450677 96.10 101.40 -- 2815.95/705.02 c N dy 13299 2072724 9650 41565 0 76704 126712 2611972 96.10 106.09 -- 2841.49/711.49 c N dy 13437 2092778 9650 41565 0 96756 126712 5708267 96.12 108.04 -- 2870.64/718.74 c N dy 13564 2112850 9650 41565 0 116827 126712 8753042 96.12 102.35 -- 2900.21/726.11 c N dy 13708 2132899 9650 41565 0 72878 126712 1862078 96.14 101.55 -- 2926.57/732.75 c N dy 13842 2153117 9650 41565 0 93094 126712 4994600 96.17 103.51 -- 2956.55/740.22 c N dy 13974 2173299 9650 41565 0 113273 126712 8096977 96.18 104.17 -- 2988.49/748.25 c N dy 14107 2193338 9650 41565 0 68330 126712 1019309 96.19 102.36 -- 3010.46/753.73 c S st 14219 2211021 9650 41565 0 86013 126712 3753062 96.19 100.09 -- 3011.26/753.93 c S st 14219 2211523 9650 41565 0 86515 126712 3816947 96.19 no data -- 3011.26/753.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 3011.26/753.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3011.66/754.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.36 3012.46/754.22 c bin-w-bin subsume rem 0 bins time: 0.01 s 3012.46/754.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 3012.46/754.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 3012.46/754.23 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3182.23/796.73 c lits-rem: 4 cl-subs: 3 v-elim: 0 v-fix: 0 time: 169.49 s 3182.23/796.73 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 3182.23/796.79 c vivif2 -- cl tried 86512 cl shrink 0 lits rem 0 time: 0.22 3183.03/796.99 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.81 3183.03/797.00 c calculated reachability. Time: 0.00 3183.03/797.00 c N dy 14219 2211523 9650 41565 0 86512 126712 3816144 96.19 no data -- 3213.79/804.68 c N dy 14350 2231617 9650 41565 0 106603 126712 6910897 96.20 115.50 -- 3249.34/813.58 c N dy 14487 2251684 9650 41565 0 126669 126712 10043210 96.22 101.47 -- 3278.90/820.93 c N dy 14615 2271741 9650 41565 0 80720 126712 2763751 96.22 103.85 -- 3308.86/828.42 c N dy 14752 2291918 9650 41565 0 100893 126712 5874015 96.24 103.13 -- 3343.23/837.05 c N dy 14888 2311936 9650 41565 0 120909 126712 8946053 96.25 105.39 -- 3376.77/845.43 c N dy 15008 2332054 9650 41565 0 74029 126712 1609304 96.25 107.67 -- 3404.75/852.48 c N dy 15133 2352072 9650 41565 0 94045 126712 4750431 96.26 108.44 -- 3437.49/860.68 c N dy 15268 2372100 9650 41565 0 114073 126712 7815221 96.27 101.75 -- 3475.83/870.23 c N dy 15403 2392671 9650 41565 0 134642 126712 10968884 96.28 103.07 -- 3503.39/877.13 c N dy 15539 2412773 9650 41565 0 86751 126712 3444936 96.30 101.96 -- 3532.96/884.51 c N dy 15673 2433012 9650 41565 0 106986 126712 6574525 96.31 101.41 -- 3566.11/892.81 c N dy 15803 2453023 9650 41565 0 126993 126712 9619647 96.31 102.84 -- 3597.28/900.61 c N dy 15926 2473061 9650 41565 0 78036 126712 1943701 96.32 104.81 -- 3624.45/907.49 c N dy 16052 2493081 9650 41565 0 98054 126712 5001763 96.32 103.14 -- 3656.39/915.49 c N dy 16187 2513135 9650 41565 0 118106 126712 8140028 96.34 103.62 -- 3692.35/924.46 c N dy 16319 2533164 9650 41565 0 138131 126712 11205266 96.35 101.74 -- 3719.91/931.32 c N dy 16461 2553186 9650 41565 0 88155 126712 3336527 96.36 105.81 -- 3749.46/938.77 c N dy 16601 2573250 9650 41565 0 108219 126712 6452114 96.38 103.51 -- 3783.04/947.15 c N dy 16733 2593267 9650 41565 0 128234 126712 9549398 96.39 106.48 -- 3816.98/955.60 c N dy 16866 2613326 9650 41565 0 77296 126712 1527100 96.40 108.17 -- 3844.56/962.51 c N dy 17007 2633486 9650 41565 0 97454 126712 4660221 96.43 103.99 -- 3875.32/970.29 c N dy 17141 2653492 9650 41565 0 117460 126712 7774917 96.44 104.51 -- 3912.04/979.48 c N dy 17279 2673505 9650 41565 0 137470 126712 10879044 96.46 102.71 -- 3944.01/987.42 c N dy 17404 2693664 9650 41565 0 85637 126712 2672005 96.45 101.89 -- 3969.57/993.89 c S st 17521 2711523 9650 41565 0 103495 126712 5443382 96.46 98.50 -- 3970.78/994.11 c S st 17521 2712026 9650 41565 0 103998 126712 5503240 96.46 no data -- 3970.78/994.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3970.78/994.13 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3971.17/994.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.41 3972.37/994.50 c bin-w-bin subsume rem 0 bins time: 0.02 s 3972.37/994.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3972.37/994.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.02 s 3972.37/994.51 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4355.05/1090.38 c lits-rem: 13 cl-subs: 11 v-elim: 0 v-fix: 0 time: 382.06 s 4355.05/1090.39 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.02 4355.45/1090.46 c vivif2 -- cl tried 103987 cl shrink 0 lits rem 0 time: 0.29 4356.25/1090.69 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.90 4356.25/1090.69 c calculated reachability. Time: 0.00 4356.25/1090.69 c N dy 17521 2712026 9650 41565 0 103987 126712 5500628 96.46 no data -- 4389.02/1098.85 c N dy 17660 2732194 9650 41565 0 124155 126712 8618908 96.47 109.16 -- 4424.95/1107.87 c N dy 17785 2752243 9650 41565 0 144203 126712 11742115 96.48 103.16 -- 4452.51/1114.77 c N dy 17917 2772287 9650 41565 0 91248 126712 3377142 96.49 102.80 -- 4482.47/1122.26 c N dy 18046 2792362 9650 41565 0 111323 126712 6428647 96.49 102.24 -- 4516.45/1130.75 c N dy 18169 2812387 9650 41565 0 131347 126712 9498647 96.49 127.77 -- 4553.18/1139.90 c N dy 18308 2832449 9650 41565 0 77410 126712 1091703 96.51 102.52 -- 4580.34/1146.72 c N dy 18433 2852569 9650 41565 0 97529 126712 4182274 96.51 106.23 -- 4611.91/1154.64 c N dy 18572 2872643 9650 41565 0 117602 126712 7305562 96.52 101.84 -- 4647.45/1163.56 c N dy 18711 2892656 9650 41565 0 137614 126712 10399642 96.54 104.27 -- 4681.80/1172.13 c N dy 18842 2912760 9650 41565 0 82719 126712 1767844 96.55 102.93 -- 4709.78/1179.13 c N dy 18966 2932823 9650 41565 0 102781 126712 4847854 96.55 104.21 -- 4742.52/1187.35 c N dy 19105 2952841 9650 41565 0 122796 126712 7970123 96.56 104.06 -- 4782.07/1197.24 c N dy 19242 2972993 9650 41565 0 142946 126712 11072421 96.58 103.09 --
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-3174886-1304044686/watcher-3174886-1304044686 -o /tmp/evaluation-result-3174886-1304044686/solver-3174886-1304044686 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174886-1304044686.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: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 4 0 516069025 52465664 352 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626508214 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9485/statm: 12809 352 303 112 0 7774 0 [pid=9485/tid=9487] ppid=9481 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 516069026 52465664 352 33554432000 4194304 4650419 140736847494608 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 516069026 52465664 352 33554432000 4194304 4650419 140736847494608 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 516069026 52465664 352 33554432000 4194304 4650419 140736847494608 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.079725 s] /proc/loadavg: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=51236 CPUtime=0.2 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 418 0 0 0 20 0 0 0 20 0 4 0 516069025 52465664 357 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626507795 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 12809 357 306 112 0 7774 0 [pid=9485/tid=9487] ppid=9481 vsize=51236 CPUtime=0.04 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 4 0 516069026 52465664 357 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626508210 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=51236 CPUtime=0.01 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 1 0 0 0 1 0 0 0 21 0 4 0 516069026 52465664 357 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626507792 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=51236 CPUtime=0.07 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 4 0 0 0 7 0 0 0 21 0 4 0 516069026 52465664 357 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626507805 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 51236 [startup+0.100721 s] /proc/loadavg: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=51236 CPUtime=0.26 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 418 0 0 0 26 0 0 0 20 0 4 0 516069025 52465664 357 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626507801 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 12809 357 306 112 0 7774 0 [pid=9485/tid=9487] ppid=9481 vsize=51236 CPUtime=0.04 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 4 0 516069026 52465664 357 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626508210 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=51236 CPUtime=0.03 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 4 0 516069026 52465664 357 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626507795 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=51236 CPUtime=0.09 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 4 0 0 0 9 0 0 0 21 0 4 0 516069026 52465664 357 33554432000 4194304 4650419 140736847494608 18446744073709551615 47679626507795 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 51236 [startup+0.300692 s] /proc/loadavg: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=369556 CPUtime=1.01 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 15532 0 0 0 94 7 0 0 18 0 4 0 516069025 378425344 12758 33554432000 4194304 4650419 140736847494608 18446744073709551615 244446603526 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 92389 12758 387 112 0 87354 0 [pid=9485/tid=9487] ppid=9481 vsize=369556 CPUtime=0.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 4259 0 0 0 19 2 0 0 18 0 4 0 516069026 378425344 12758 33554432000 4194304 4650419 140736847494608 18446744073709551615 4451766 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=369556 CPUtime=0.22 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 4485 0 0 0 21 1 0 0 18 0 4 0 516069026 378425344 12758 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476599 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=369556 CPUtime=0.28 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 2218 0 0 0 27 1 0 0 18 0 4 0 516069026 378425344 12758 33554432000 4194304 4650419 140736847494608 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 369556 [startup+0.700616 s] /proc/loadavg: 3.89 6.06 8.01 3/176 9485 /proc/meminfo: memFree=15608228/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=369556 CPUtime=2.61 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 17770 0 0 0 254 7 0 0 18 0 4 0 516069025 378425344 14371 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 92389 14371 391 112 0 87354 0 [pid=9485/tid=9487] ppid=9481 vsize=369556 CPUtime=0.61 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 5117 0 0 0 59 2 0 0 18 0 4 0 516069026 378425344 14372 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=369556 CPUtime=0.62 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 5059 0 0 0 61 1 0 0 18 0 4 0 516069026 378425344 14372 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=369556 CPUtime=0.68 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 2620 0 0 0 67 1 0 0 18 0 4 0 516069026 378425344 14373 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 369556 [startup+1.50047 s] /proc/loadavg: 3.89 6.06 8.01 11/184 9493 /proc/meminfo: memFree=15487768/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=373884 CPUtime=5.8 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 23242 0 0 0 572 8 0 0 19 0 4 0 516069025 382857216 14272 33554432000 4194304 4650419 140736847494608 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 93471 14273 393 112 0 88436 0 [pid=9485/tid=9487] ppid=9481 vsize=373884 CPUtime=1.41 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 6528 0 0 0 139 2 0 0 19 0 4 0 516069026 382857216 14273 33554432000 4194304 4650419 140736847494608 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=373884 CPUtime=1.42 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 6545 0 0 0 141 1 0 0 19 0 4 0 516069026 382857216 14273 33554432000 4194304 4650419 140736847494608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=373884 CPUtime=1.47 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 3892 0 0 0 146 1 0 0 19 0 4 0 516069026 382857216 14273 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.8 Current children cumulated vsize (KiB) 373884 [startup+3.10117 s] /proc/loadavg: 3.89 6.06 8.01 10/184 9493 /proc/meminfo: memFree=15477972/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=374780 CPUtime=12.19 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 31777 0 0 0 1209 10 0 0 24 0 4 0 516069025 383774720 16159 33554432000 4194304 4650419 140736847494608 18446744073709551615 4363644 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 93695 16159 393 112 0 88660 0 [pid=9485/tid=9487] ppid=9481 vsize=374780 CPUtime=3.01 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 8789 0 0 0 299 2 0 0 23 0 4 0 516069026 383774720 16159 33554432000 4194304 4650419 140736847494608 18446744073709551615 4360531 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=374780 CPUtime=3.02 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 8787 0 0 0 301 1 0 0 24 0 4 0 516069026 383774720 16159 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=374780 CPUtime=3.06 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 5893 0 0 0 305 1 0 0 24 0 4 0 516069026 383774720 16159 33554432000 4194304 4650419 140736847494608 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.19 Current children cumulated vsize (KiB) 374780 [startup+6.30057 s] /proc/loadavg: 4.22 6.09 8.01 10/184 9493 /proc/meminfo: memFree=15395388/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=375320 CPUtime=24.97 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 53975 0 0 0 2483 14 0 0 25 0 4 0 516069025 384327680 24250 33554432000 4194304 4650419 140736847494608 18446744073709551615 4438951 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 93830 24250 395 112 0 88795 0 [pid=9485/tid=9487] ppid=9481 vsize=375320 CPUtime=6.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 12954 0 0 0 618 3 0 0 25 0 4 0 516069026 384327680 24250 33554432000 4194304 4650419 140736847494608 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=375320 CPUtime=6.22 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 13149 0 0 0 620 2 0 0 25 0 4 0 516069026 384327680 24250 33554432000 4194304 4650419 140736847494608 18446744073709551615 4360531 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=375320 CPUtime=6.25 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 10234 0 0 0 623 2 0 0 25 0 4 0 516069026 384327680 24250 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 24.97 Current children cumulated vsize (KiB) 375320 [startup+12.7004 s] /proc/loadavg: 4.52 6.12 8.01 10/184 9493 /proc/meminfo: memFree=15268576/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=434876 CPUtime=50.54 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 91652 0 0 0 5031 23 0 0 25 0 4 0 516069025 445313024 44046 33554432000 4194304 4650419 140736847494608 18446744073709551615 4304044 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 108719 43713 395 112 0 103684 0 [pid=9485/tid=9487] ppid=9481 vsize=434876 CPUtime=12.61 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 19072 0 0 0 1257 4 0 0 25 0 4 0 516069026 445313024 43534 33554432000 4194304 4650419 140736847494608 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=434876 CPUtime=12.63 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 26906 0 0 0 1258 5 0 0 25 0 4 0 516069026 445313024 43534 33554432000 4194304 4650419 140736847494608 18446744073709551615 244446988423 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=434876 CPUtime=12.6 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 22662 0 0 0 1256 4 0 0 25 0 4 0 516069026 445313024 43534 33554432000 4194304 4650419 140736847494608 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.54 Current children cumulated vsize (KiB) 434876 [startup+25.501 s] /proc/loadavg: 5.29 6.22 8.01 10/184 9494 /proc/meminfo: memFree=15064848/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=428468 CPUtime=101.67 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 149680 0 0 0 10127 40 0 0 25 0 4 0 516069025 438751232 62483 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 107117 62483 397 112 0 102082 0 [pid=9485/tid=9487] ppid=9481 vsize=428468 CPUtime=25.41 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 36455 0 0 0 2533 8 0 0 25 0 4 0 516069026 438751232 62483 33554432000 4194304 4650419 140736847494608 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=428468 CPUtime=25.42 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 39177 0 0 0 2535 7 0 0 25 0 4 0 516069026 438751232 62483 33554432000 4194304 4650419 140736847494608 18446744073709551615 4360504 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=428468 CPUtime=25.34 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 34578 0 0 0 2525 9 0 0 25 0 4 0 516069026 438751232 62483 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.67 Current children cumulated vsize (KiB) 428468 [startup+51.1002 s] /proc/loadavg: 6.21 6.36 8.01 10/184 9495 /proc/meminfo: memFree=14991392/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=483444 CPUtime=203.92 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 234783 0 0 0 20332 60 0 0 25 0 4 0 516069025 495046656 75504 33554432000 4194304 4650419 140736847494608 18446744073709551615 4363620 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 120861 75504 395 112 0 115826 0 [pid=9485/tid=9487] ppid=9481 vsize=483444 CPUtime=51.01 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 55680 0 0 0 5088 13 0 0 25 0 4 0 516069026 495046656 75504 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=483444 CPUtime=51.03 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 62551 0 0 0 5089 14 0 0 25 0 4 0 516069026 495046656 75504 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=483444 CPUtime=50.79 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 55123 0 0 0 5065 14 0 0 25 0 4 0 516069026 495046656 75504 33554432000 4194304 4650419 140736847494608 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.92 Current children cumulated vsize (KiB) 483444 [startup+102.307 s] /proc/loadavg: 7.26 6.62 8.01 10/184 9496 /proc/meminfo: memFree=14864636/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=727824 CPUtime=408.46 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 383956 0 0 0 40745 101 0 0 25 0 4 0 516069025 745291776 97356 33554432000 4194304 4650419 140736847494608 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 181956 97356 395 112 0 176921 0 [pid=9485/tid=9487] ppid=9481 vsize=727824 CPUtime=102.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 91381 0 0 0 10199 22 0 0 25 0 4 0 516069026 745291776 97356 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=727824 CPUtime=102.23 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 103554 0 0 0 10198 25 0 0 25 0 4 0 516069026 745291776 97356 33554432000 4194304 4650419 140736847494608 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=727824 CPUtime=101.71 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 93754 0 0 0 10146 25 0 0 25 0 4 0 516069026 745291776 97356 33554432000 4194304 4650419 140736847494608 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.46 Current children cumulated vsize (KiB) 727824 [startup+162.3 s] ################ # More data... # ################ [pid=9485] ppid=9481 vsize=993492 CPUtime=2805.14 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 1921194 0 0 0 279959 555 0 0 25 0 4 0 516069025 1017335808 174198 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364301 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 248373 174198 395 112 0 243338 0 [pid=9485/tid=9487] ppid=9481 vsize=993492 CPUtime=702.2 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 379753 0 0 0 70100 120 0 0 25 0 4 0 516069026 1017335808 174198 33554432000 4194304 4650419 140736847494608 18446744073709551615 4331989 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=993492 CPUtime=702.21 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 578906 0 0 0 70065 156 0 0 25 0 4 0 516069026 1017335808 174198 33554432000 4194304 4650419 140736847494608 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=993492 CPUtime=698.42 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 468375 0 0 0 69704 138 0 0 25 0 4 0 516069026 1017335808 174198 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2805.14 Current children cumulated vsize (KiB) 993492 [startup+762.307 s] /proc/loadavg: 8.07 7.91 8.02 10/184 9513 /proc/meminfo: memFree=14194620/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1076268 CPUtime=3044.84 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2047148 0 0 0 303888 596 0 0 25 0 4 0 516069025 1102098432 178611 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 269067 178611 395 112 0 264032 0 [pid=9485/tid=9487] ppid=9481 vsize=1076268 CPUtime=762.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 404820 0 0 0 76090 131 0 0 25 0 4 0 516069026 1102098432 178611 33554432000 4194304 4650419 140736847494608 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1076268 CPUtime=762.23 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 607906 0 0 0 76055 168 0 0 25 0 4 0 516069026 1102098432 178611 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1076268 CPUtime=758.09 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 515148 0 0 0 75662 147 0 0 25 0 4 0 516069026 1102098432 178611 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3044.84 Current children cumulated vsize (KiB) 1076268 [startup+822.3 s] /proc/loadavg: 8.06 7.94 8.02 10/184 9515 /proc/meminfo: memFree=13998688/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1055032 CPUtime=3284.49 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2198122 0 0 0 327814 635 0 0 25 0 4 0 516069025 1080352768 196538 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 263758 196538 395 112 0 258723 0 [pid=9485/tid=9487] ppid=9481 vsize=1055032 CPUtime=822.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 443225 0 0 0 82084 137 0 0 25 0 4 0 516069026 1080352768 196538 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1055032 CPUtime=822.22 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 626662 0 0 0 82049 173 0 0 25 0 4 0 516069026 1080352768 196538 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1055032 CPUtime=817.76 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 536902 0 0 0 81616 160 0 0 25 0 4 0 516069026 1080352768 196538 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3284.49 Current children cumulated vsize (KiB) 1055032 [startup+882.301 s] /proc/loadavg: 8.06 7.96 8.02 10/184 9517 /proc/meminfo: memFree=14015644/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1109264 CPUtime=3524.17 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2263069 0 0 0 351750 667 0 0 25 0 4 0 516069025 1135886336 203581 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 277316 203581 395 112 0 272281 0 [pid=9485/tid=9487] ppid=9481 vsize=1109264 CPUtime=882.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 460540 0 0 0 88080 141 0 0 25 0 4 0 516069026 1135886336 203581 33554432000 4194304 4650419 140736847494608 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1109264 CPUtime=882.23 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 626662 0 0 0 88050 173 0 0 25 0 4 0 516069026 1135886336 203581 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1109264 CPUtime=877.44 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 559028 0 0 0 87569 175 0 0 25 0 4 0 516069026 1135886336 203581 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3524.17 Current children cumulated vsize (KiB) 1109264 [startup+942.301 s] /proc/loadavg: 8.06 7.98 8.02 10/184 9518 /proc/meminfo: memFree=13973468/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1072236 CPUtime=3763.85 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2339196 0 0 0 375682 703 0 0 25 0 4 0 516069025 1097969664 207382 33554432000 4194304 4650419 140736847494608 18446744073709551615 4315186 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 268059 207382 395 112 0 263024 0 [pid=9485/tid=9487] ppid=9481 vsize=1072236 CPUtime=942.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 484826 0 0 0 94069 152 0 0 25 0 4 0 516069026 1097969664 207382 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1072236 CPUtime=942.23 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 626662 0 0 0 94050 173 0 0 25 0 4 0 516069026 1097969664 207382 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476111 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1072236 CPUtime=937.12 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 585146 0 0 0 93525 187 0 0 25 0 4 0 516069026 1097969664 207382 33554432000 4194304 4650419 140736847494608 18446744073709551615 4364573 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3763.85 Current children cumulated vsize (KiB) 1072236 [startup+1002.3 s] /proc/loadavg: 8.06 8.00 8.02 10/184 9520 /proc/meminfo: memFree=13961672/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1076256 CPUtime=4003.52 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2465580 0 0 0 399607 745 0 0 25 0 4 0 516069025 1102086144 203206 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 269064 203206 395 112 0 264029 0 [pid=9485/tid=9487] ppid=9481 vsize=1076256 CPUtime=1002.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 507802 0 0 0 100055 166 0 0 25 0 4 0 516069026 1102086144 203206 33554432000 4194304 4650419 140736847494608 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1076256 CPUtime=1002.23 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 632325 0 0 0 100047 176 0 0 25 0 4 0 516069026 1102086144 203206 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1076256 CPUtime=996.78 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 650156 0 0 0 99477 201 0 0 25 0 4 0 516069026 1102086144 203206 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4003.52 Current children cumulated vsize (KiB) 1076256 [startup+1062.3 s] /proc/loadavg: 8.05 8.01 8.02 10/184 9521 /proc/meminfo: memFree=13912680/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1207004 CPUtime=4243.21 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2708097 0 0 0 423517 804 0 0 25 0 4 0 516069025 1235972096 215204 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 301751 215205 395 112 0 296716 0 [pid=9485/tid=9487] ppid=9481 vsize=1207004 CPUtime=1062.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 532903 0 0 0 106040 181 0 0 25 0 4 0 516069026 1235972096 215205 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1207004 CPUtime=1062.22 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 657949 0 0 0 106031 191 0 0 25 0 4 0 516069026 1235972096 215205 33554432000 4194304 4650419 140736847494608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1207004 CPUtime=1056.47 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 796351 0 0 0 105423 224 0 0 25 0 4 0 516069026 1235972096 215205 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4243.21 Current children cumulated vsize (KiB) 1207004 [startup+1122.3 s] /proc/loadavg: 8.13 8.04 8.02 10/184 9523 /proc/meminfo: memFree=13850044/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1220740 CPUtime=4482.88 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2856738 0 0 0 447440 848 0 0 25 0 4 0 516069025 1250037760 224207 33554432000 4194304 4650419 140736847494608 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 305185 224207 395 112 0 300150 0 [pid=9485/tid=9487] ppid=9481 vsize=1220740 CPUtime=1122.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 575535 0 0 0 112033 188 0 0 25 0 4 0 516069026 1250037760 224207 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1220740 CPUtime=1122.23 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 683106 0 0 0 112017 206 0 0 25 0 4 0 516069026 1250037760 224207 33554432000 4194304 4650419 140736847494608 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1220740 CPUtime=1116.13 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 863430 0 0 0 111373 240 0 0 25 0 4 0 516069026 1250037760 224207 33554432000 4194304 4650419 140736847494608 18446744073709551615 4360427 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4482.88 Current children cumulated vsize (KiB) 1220740 [startup+1182.3 s] /proc/loadavg: 8.12 8.04 8.02 10/184 9525 /proc/meminfo: memFree=13836516/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1221832 CPUtime=4722.55 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2932070 0 0 0 471367 888 0 0 25 0 4 0 516069025 1251155968 223701 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 305458 223701 395 112 0 300423 0 [pid=9485/tid=9487] ppid=9481 vsize=1221832 CPUtime=1182.21 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 575535 0 0 0 118033 188 0 0 25 0 4 0 516069026 1251155968 223701 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1221832 CPUtime=1182.22 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 708637 0 0 0 118002 220 0 0 25 0 4 0 516069026 1251155968 223701 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1221832 CPUtime=1175.81 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 888302 0 0 0 117328 253 0 0 25 0 4 0 516069026 1251155968 223701 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4722.55 Current children cumulated vsize (KiB) 1221832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.08 8.04 8.02 9/184 9525 /proc/meminfo: memFree=13783940/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1302668 CPUtime=4800.06 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2965687 0 0 0 479104 902 0 0 25 0 4 0 516069025 1333932032 232766 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 325667 232766 395 112 0 320632 0 [pid=9485/tid=9487] ppid=9481 vsize=1302668 CPUtime=1201.62 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 575535 0 0 0 119974 188 0 0 25 0 4 0 516069026 1333932032 232767 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476220 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1302668 CPUtime=1201.63 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 727496 0 0 0 119939 224 0 0 25 0 4 0 516069026 1333932032 232767 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1302668 CPUtime=1195.1 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 896736 0 0 0 119252 258 0 0 25 0 4 0 516069026 1333932032 232767 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.06 Current children cumulated vsize (KiB) 1302668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.08 8.04 8.02 9/184 9525 /proc/meminfo: memFree=13783940/32951124 swapFree=67111528/67111528 [pid=9485] ppid=9481 vsize=1302668 CPUtime=4800.06 cores=1,3,5,7 /proc/9485/stat : 9485 (strangenight1-m) R 9481 9485 7235 0 -1 4202496 2965687 0 0 0 479104 902 0 0 25 0 4 0 516069025 1333932032 232766 33554432000 4194304 4650419 140736847494608 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/9485/statm: 325667 232766 395 112 0 320632 0 [pid=9485/tid=9487] ppid=9481 vsize=1302668 CPUtime=1201.62 cores=1,3,5,7 /proc/9485/task/9487/stat : 9487 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 575535 0 0 0 119974 188 0 0 25 0 4 0 516069026 1333932032 232767 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476220 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9485/tid=9489] ppid=9481 vsize=1302668 CPUtime=1201.63 cores=1,3,5,7 /proc/9485/task/9489/stat : 9489 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 727496 0 0 0 119939 224 0 0 25 0 4 0 516069026 1333932032 232767 33554432000 4194304 4650419 140736847494608 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9485/tid=9491] ppid=9481 vsize=1302668 CPUtime=1195.1 cores=1,3,5,7 /proc/9485/task/9491/stat : 9491 (strangenight1-m) R 9481 9485 7235 0 -1 4202560 896736 0 0 0 119252 258 0 0 25 0 4 0 516069026 1333932032 232767 33554432000 4194304 4650419 140736847494608 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.06 Current children cumulated vsize (KiB) 1302668 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.76 CPU time (s): 4800.13 CPU user time (s): 4791.07 CPU system time (s): 9.06462 CPU usage (%): 399.427 Max. virtual memory (cumulated for all children) (KiB): 1302668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.07 system time used= 9.06462 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2965689 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= 4765 involuntary context switches= 45481 runsolver used 1.78673 second user time and 4.78827 second system time The end
Begin job on node105 at 2011-04-29 04:38:06 IDJOB=3174886 IDBENCH=82504 IDSOLVER=1588 FILE ID=node105/3174886-1304044686 RUNJOBID= node105-1304044686-9467 PBS_JOBID= 13170347 Free space on /tmp= 71936 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174886-1304044686/watcher-3174886-1304044686 -o /tmp/evaluation-result-3174886-1304044686/solver-3174886-1304044686 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174886-1304044686.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 20b02cb2651a47b9d104f0bf45924440 RANDOM SEED=883457729 node105.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.825 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.65 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.825 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.825 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.825 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.75 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.825 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 : 5410.70 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.825 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.74 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.825 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.82 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.825 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 15608788 kB Buffers: 2300068 kB Cached: 14409960 kB SwapCached: 0 kB Active: 8902556 kB Inactive: 7870656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 15608788 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13980 kB Writeback: 0 kB AnonPages: 62396 kB Mapped: 14496 kB Slab: 506880 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 188968 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= 71924 MiB End job on node105 at 2011-04-29 04:58:10