| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.39 | 1203.24 |
| Name | crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf |
| MD5SUM | ca44a78076b8228fbb99ecc0147f157f |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 4645.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 133 |
| Number of clauses | 276 |
| Sum of the clauses size | 828 |
| 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 | 276 |
| 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.01 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3366985-1305413033.cnf' 0.00/0.01 c -- header says num vars: 133 0.00/0.01 c -- header says num clauses: 276 0.00/0.01 c -- clauses added: 0 learnts, 276 normals, 0 xors 0.00/0.01 c -- vars added 133 0.00/0.01 c Parsing time: 0.00 s 0.00/0.01 c N st 0 0 133 276 0 0 828 0 no data no data 0.00/0.01 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 0.00/0.01 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.00/0.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Finding binary XORs T: 0.00 s found: 0 0.00/0.01 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.01 c calculated reachability. Time: 0.00 0.00/0.01 c Calc default polars - time: 0.00 s pos: 3 undec: 125 neg: 5 0.00/0.01 c ========================================================================================= 0.00/0.01 c types(t): F = full restart, N = normal restart 0.00/0.01 c types(t): S = simplification begin/end, E = solution found 0.00/0.01 c restart types(rt): st = static, dy = dynamic 0.00/0.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.01 c B st 0 0 133 276 0 0 828 0 no data no data 3.17/0.77 c Decided on static restart strategy 3.17/0.77 c N st 8 4924 133 276 0 4372 828 95181 no data no data 3.17/0.77 c N st 10 11307 133 276 0 3943 828 59684 no data no data 3.17/0.77 c N st 11 17051 133 276 0 8894 828 154372 no data no data 3.17/0.77 c F st 12 25002 133 276 0 11092 828 180160 no data no data 3.17/0.77 c N st 12 25002 133 276 0 11092 828 180160 no data no data 3.17/0.82 c Decided on static restart strategy 3.17/0.82 c N st 18 30005 133 276 0 9464 828 153971 no data no data 3.17/0.82 c S st 18 30005 133 276 0 9464 828 153971 no data no data 3.17/0.82 c S st 18 30510 133 276 0 9952 828 163802 no data no data 3.17/0.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3.17/0.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 3.17/0.82 c blocked clauses removed: 0 vars: 0 tried: 133 T: 0.00 s 3.17/0.82 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.17/0.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.17/0.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 3.17/0.82 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.17/0.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 3.17/0.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.57/0.92 c lits-rem: 941 cl-subs: 729 v-elim: 0 v-fix: 0 time: 0.08 s 3.57/0.92 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 3.57/0.92 c calculated reachability. Time: 0.00 3.57/0.92 c N st 18 30510 133 276 0 9223 828 144567 no data no data 4.38/1.12 c N st 20 37620 133 276 0 8494 828 124215 no data no data 5.16/1.32 c N st 21 44019 133 276 0 14052 828 254050 no data no data 5.56/1.42 c S st 22 45768 133 276 0 7820 828 96313 no data no data 5.56/1.42 c S st 22 46270 133 276 0 8309 828 106791 no data no data 5.56/1.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.56/1.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 5.56/1.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 5.56/1.42 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.56/1.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 5.56/1.42 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 5.56/1.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 5.56/1.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.43 c lits-rem: 172 cl-subs: 133 v-elim: 0 v-fix: 0 time: 0.01 s 5.56/1.43 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 5.56/1.43 c vivif2 -- cl tried 8176 cl shrink 0 lits rem 0 time: 0.00 5.56/1.43 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 5.56/1.43 c calculated reachability. Time: 0.00 5.56/1.43 c N st 22 46270 133 276 0 8176 828 103909 no data no data 7.55/1.94 c N st 23 60667 133 276 0 11790 828 176409 no data no data 8.77/2.29 c N st 24 69405 133 276 0 9837 828 120884 no data no data 8.77/2.29 c S st 24 69405 133 276 0 9837 828 120884 no data no data 9.19/2.31 c S st 24 69909 133 276 0 10326 828 130425 no data no data 9.19/2.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 9.19/2.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 9.19/2.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 9.19/2.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 9.19/2.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.19/2.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 9.19/2.31 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.19/2.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 9.19/2.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.19/2.34 c lits-rem: 343 cl-subs: 244 v-elim: 0 v-fix: 0 time: 0.02 s 9.19/2.34 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 9.19/2.34 c vivif2 -- cl tried 10082 cl shrink 0 lits rem 0 time: 0.00 9.19/2.35 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 9.19/2.35 c calculated reachability. Time: 0.00 9.19/2.35 c N st 24 69909 133 276 0 10082 828 125063 no data no data 11.94/3.03 c F st 25 87500 133 276 0 15143 828 233482 no data no data 11.94/3.03 c N st 25 87500 133 276 0 15143 828 233482 no data no data 12.74/3.23 c Decided on static restart strategy 13.16/3.37 c N st 32 95538 133 276 0 22343 828 391932 no data no data 14.73/3.74 c N st 34 104864 133 276 0 19169 828 310930 no data no data 14.73/3.74 c S st 34 104864 133 276 0 19169 828 310930 no data no data 14.73/3.78 c S st 34 105367 133 276 0 19653 828 320677 no data no data 14.73/3.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 14.73/3.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 14.73/3.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 14.73/3.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 14.73/3.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 14.73/3.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 14.73/3.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 14.73/3.79 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 15.14/3.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 15.93/4.07 c lits-rem: 1636 cl-subs: 1106 v-elim: 0 v-fix: 0 time: 0.27 s 15.93/4.07 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 15.93/4.08 c vivif2 -- cl tried 18547 cl shrink 0 lits rem 0 time: 0.00 15.93/4.08 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 15.93/4.08 c calculated reachability. Time: 0.00 15.93/4.08 c N st 34 105367 133 276 0 18547 828 289310 no data no data 17.97/4.52 c N st 35 114967 133 276 0 14781 828 202445 no data no data 20.32/5.16 c N st 36 129364 133 276 0 14344 828 173394 no data no data 24.32/6.11 c N st 37 150959 133 276 0 18925 828 255958 no data no data 25.11/6.38 c S st 38 158050 133 276 0 25149 828 375289 no data no data 25.51/6.43 c S st 38 158552 133 276 0 25630 828 385044 no data no data 25.51/6.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 25.51/6.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00 25.51/6.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 25.51/6.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 25.51/6.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 25.51/6.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 25.51/6.44 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.51/6.44 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 25.51/6.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 27.10/6.86 c lits-rem: 3515 cl-subs: 1911 v-elim: 0 v-fix: 0 time: 0.40 s 27.10/6.86 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 27.10/6.86 c vivif2 -- cl tried 23719 cl shrink 0 lits rem 0 time: 0.00 27.10/6.87 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 27.10/6.87 c calculated reachability. Time: 0.00 27.10/6.87 c N st 38 158552 133 276 0 23719 828 336746 no data no data 36.27/9.18 c N st 39 207140 133 276 0 18389 828 225221 no data no data 42.26/10.68 c N st 40 237828 133 276 0 27840 828 414004 no data no data 42.26/10.68 c S st 40 237828 133 276 0 27840 828 414004 no data no data 42.66/10.74 c S st 40 238333 133 276 0 28333 828 425390 no data no data 42.66/10.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 42.66/10.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 42.66/10.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 42.66/10.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 42.66/10.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 42.66/10.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 42.66/10.75 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 42.66/10.75 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 42.66/10.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 45.46/11.47 c lits-rem: 3696 cl-subs: 1882 v-elim: 0 v-fix: 0 time: 0.71 s 45.46/11.47 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 45.46/11.48 c vivif2 -- cl tried 26451 cl shrink 0 lits rem 0 time: 0.00 45.46/11.48 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.01 45.46/11.48 c calculated reachability. Time: 0.00 45.46/11.48 c N st 40 238333 133 276 0 26451 828 374903 no data no data 60.22/15.12 c F st 41 306250 133 276 0 27037 828 366569 no data no data 60.22/15.12 c N st 41 306250 133 276 0 27037 828 366569 no data no data 61.02/15.39 c Decided on static restart strategy 66.60/16.70 c N st 51 334556 133 276 0 31755 828 476969 no data no data 71.38/17.96 c N st 53 357500 133 276 0 29711 828 411521 no data no data 71.38/17.96 c S st 53 357500 133 276 0 29711 828 411521 no data no data 71.78/18.01 c S st 53 358003 133 276 0 30189 828 421325 no data no data 71.78/18.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 71.78/18.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 71.78/18.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 71.78/18.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 71.78/18.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 71.78/18.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 71.78/18.02 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 71.78/18.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 71.78/18.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 73.78/18.50 c lits-rem: 2434 cl-subs: 1972 v-elim: 0 v-fix: 0 time: 0.47 s 73.78/18.50 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 73.78/18.51 c vivif2 -- cl tried 28217 cl shrink 0 lits rem 0 time: 0.00 73.78/18.52 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.01 73.78/18.52 c calculated reachability. Time: 0.00 73.78/18.52 c N st 53 358003 133 276 0 28217 828 370498 no data no data 81.76/20.52 c N st 54 390397 133 276 0 33972 828 503642 no data no data 95.73/24.01 c N st 55 438986 133 276 0 27960 828 345803 no data no data 114.10/28.65 c N st 56 511869 133 276 0 38658 828 561501 no data no data 120.07/30.15 c N st 57 537004 133 276 0 34407 828 464224 no data no data 120.07/30.15 c S st 57 537004 133 276 0 34407 828 464224 no data no data 120.47/30.21 c S st 57 537505 133 276 0 34895 828 475085 no data no data 120.47/30.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 120.47/30.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 120.47/30.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 120.47/30.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 120.47/30.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 120.47/30.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 120.47/30.22 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 120.47/30.23 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 120.47/30.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 123.30/30.91 c lits-rem: 5470 cl-subs: 1828 v-elim: 0 v-fix: 0 time: 0.67 s 123.30/30.91 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 123.30/30.92 c vivif2 -- cl tried 33067 cl shrink 0 lits rem 0 time: 0.00 123.30/30.93 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.01 123.30/30.93 c calculated reachability. Time: 0.00 123.30/30.93 c N st 57 537505 133 276 0 33067 828 425906 no data no data 166.36/41.75 c N st 58 701489 133 276 0 55282 828 823347 no data no data 201.07/50.40 c N st 59 806258 133 276 0 51843 828 827415 no data no data 201.07/50.40 c S st 59 806258 133 276 0 51843 828 827415 no data no data 201.07/50.49 c S st 59 806760 133 276 0 52335 828 838534 no data no data 201.07/50.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 201.47/50.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.01 201.47/50.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 201.47/50.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 201.47/50.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 201.47/50.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 201.47/50.50 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 201.47/50.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 201.47/50.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 219.03/54.90 c lits-rem: 8440 cl-subs: 6696 v-elim: 0 v-fix: 0 time: 4.37 s 219.03/54.90 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 219.03/54.91 c vivif2 -- cl tried 45639 cl shrink 0 lits rem 0 time: 0.01 219.03/54.92 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.01 219.03/54.92 c calculated reachability. Time: 0.00 219.03/54.92 c N st 59 806760 133 276 0 45639 828 662889 no data no data 315.58/79.11 c F st 60 1071877 133 276 0 61984 828 961611 no data no data 315.58/79.11 c N st 60 1071877 133 276 0 61984 828 961611 no data no data 317.17/79.58 c Decided on static restart strategy 325.18/81.56 c N st 70 1100182 133 276 0 48045 828 610020 no data no data 337.12/84.58 c N st 72 1136176 133 276 0 39993 828 452866 no data no data 347.14/87.01 c N st 73 1168569 133 276 0 65635 828 947264 no data no data 362.66/90.98 c N st 74 1210141 133 276 0 60576 828 862083 no data no data 362.66/90.98 c S st 74 1210141 133 276 0 60576 828 862083 no data no data 363.46/91.14 c S st 74 1210644 133 276 0 61065 828 873711 no data no data 363.46/91.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 363.46/91.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 363.46/91.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 363.46/91.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 363.46/91.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 363.46/91.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 363.46/91.18 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 363.46/91.19 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 363.86/91.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 392.58/98.45 c lits-rem: 7467 cl-subs: 6215 v-elim: 0 v-fix: 0 time: 7.23 s 392.58/98.45 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 392.58/98.46 c vivif2 -- cl tried 54850 cl shrink 0 lits rem 0 time: 0.01 392.58/98.49 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.02 392.58/98.49 c calculated reachability. Time: 0.00 392.58/98.49 c N st 74 1210644 133 276 0 54850 828 726890 no data no data 422.09/105.88 c N st 75 1283527 133 276 0 77744 828 1358782 no data no data 463.59/116.23 c N st 76 1392851 133 276 0 42318 828 474845 no data no data 532.61/133.55 c N st 77 1556835 133 276 0 46496 828 538003 no data no data 598.86/150.17 c N st 78 1710646 133 276 0 81404 828 1280196 no data no data 598.86/150.17 c S st 78 1710646 133 276 0 81404 828 1280196 no data no data 600.05/150.41 c S st 78 1711151 133 276 0 81896 828 1292037 no data no data 600.05/150.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 600.05/150.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 600.05/150.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 600.05/150.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 600.05/150.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 600.05/150.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 600.05/150.46 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 600.05/150.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 600.45/150.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 702.97/176.22 c lits-rem: 15339 cl-subs: 12567 v-elim: 0 v-fix: 0 time: 25.70 s 702.97/176.22 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 702.97/176.23 c vivif2 -- cl tried 69329 cl shrink 0 lits rem 0 time: 0.01 702.97/176.27 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.03 702.97/176.27 c calculated reachability. Time: 0.00 702.97/176.27 c N st 78 1711151 133 276 0 69329 828 979618 no data no data 849.80/213.08 c N st 79 2080115 133 276 0 78122 828 1099633 no data no data 905.26/226.95 c N st 80 2211151 133 276 0 81548 828 1190034 no data no data 905.26/226.95 c S st 80 2211151 133 276 0 81548 828 1190034 no data no data 906.06/227.14 c S st 80 2211655 133 276 0 82038 828 1201634 no data no data 906.06/227.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 906.06/227.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 906.06/227.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 906.06/227.19 c bin-w-bin subsume rem 0 bins time: 0.00 s 906.06/227.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 906.06/227.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 906.06/227.19 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 906.46/227.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 906.46/227.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 990.63/248.32 c lits-rem: 12107 cl-subs: 11321 v-elim: 0 v-fix: 0 time: 21.09 s 990.63/248.32 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 990.63/248.34 c vivif2 -- cl tried 70717 cl shrink 0 lits rem 0 time: 0.02 990.63/248.39 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.05 990.63/248.40 c calculated reachability. Time: 0.00 990.63/248.40 c N st 80 2211655 133 276 0 70717 828 935239 no data no data 1236.81/310.06 c N st 81 2711655 133 276 0 91865 828 1304786 no data no data 1236.81/310.06 c S st 81 2711655 133 276 0 91865 828 1304786 no data no data 1237.62/310.22 c S st 81 2712159 133 276 0 92363 828 1316103 no data no data 1237.62/310.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1237.62/310.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.04 1237.62/310.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1237.62/310.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 1237.62/310.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1237.62/310.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 1237.62/310.26 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1237.62/310.28 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 1238.04/310.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1347.74/337.86 c lits-rem: 11453 cl-subs: 12883 v-elim: 0 v-fix: 0 time: 27.55 s 1347.74/337.86 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 1347.74/337.88 c vivif2 -- cl tried 79480 cl shrink 0 lits rem 0 time: 0.02 1348.09/337.94 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.05 1348.09/337.94 c calculated reachability. Time: 0.00 1348.09/337.94 c N st 81 2712159 133 276 0 79480 828 1042138 no data no data 1603.06/401.82 c N st 82 3212160 133 276 0 62767 828 700245 no data no data 1603.06/401.82 c S st 82 3212160 133 276 0 62767 828 700245 no data no data 1603.46/401.93 c S st 82 3212666 133 276 0 63259 828 711920 no data no data 1603.46/401.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1603.46/401.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.01 1603.46/401.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1603.46/401.95 c bin-w-bin subsume rem 0 bins time: 0.00 s 1603.46/401.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1603.46/401.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 1603.46/401.95 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1603.46/401.96 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 1603.46/401.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1605.45/402.40 c lits-rem: 737 cl-subs: 575 v-elim: 0 v-fix: 0 time: 0.42 s 1605.45/402.40 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 1605.45/402.41 c vivif2 -- cl tried 62684 cl shrink 0 lits rem 0 time: 0.01 1605.45/402.43 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.02 1605.45/402.43 c calculated reachability. Time: 0.00 1605.45/402.43 c N st 82 3212666 133 276 0 62684 828 698779 no data no data 1878.80/470.96 c N st 83 3712667 133 276 0 71187 828 824281 no data no data 1878.80/470.96 c S st 83 3712667 133 276 0 71187 828 824281 no data no data 1879.16/471.10 c S st 83 3713171 133 276 0 71684 828 836015 no data no data 1879.56/471.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1879.56/471.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.02 1879.56/471.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1879.56/471.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 1879.56/471.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1879.56/471.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 1879.56/471.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1879.56/471.13 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 1879.56/471.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1883.54/472.17 c lits-rem: 2284 cl-subs: 2575 v-elim: 0 v-fix: 0 time: 1.01 s 1883.54/472.17 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 1883.54/472.18 c vivif2 -- cl tried 69109 cl shrink 0 lits rem 0 time: 0.01 1883.94/472.20 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.02 1883.94/472.20 c calculated reachability. Time: 0.00 1883.94/472.20 c N st 83 3713171 133 276 0 69109 828 782097 no data no data 1901.11/476.56 c F st 84 3751563 133 276 0 99776 828 1364664 no data no data 1901.11/476.56 c N st 84 3751563 133 276 0 99776 828 1364664 no data no data 1903.90/477.25 c Decided on static restart strategy 1916.27/480.37 c N st 94 3779873 133 276 0 123614 828 1856394 no data no data 1935.86/485.29 c N st 96 3815866 133 276 0 85570 828 1100263 no data no data 1952.58/489.42 c N st 97 3848258 133 276 0 111031 828 1590012 no data no data 1978.11/495.89 c N st 98 3896846 133 276 0 80643 828 1000456 no data no data 2019.60/506.27 c N st 99 3969732 133 276 0 69429 828 754570 no data no data 2086.24/522.95 c N st 100 4079055 133 276 0 84812 828 1032849 no data no data 2155.31/540.22 c N st 101 4213171 133 276 0 119362 828 1727317 no data no data 2155.31/540.22 c S st 101 4213171 133 276 0 119362 828 1727317 no data no data 2156.46/540.59 c S st 101 4213674 133 276 0 119850 828 1737612 no data no data 2156.86/540.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2156.86/540.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.06 2156.86/540.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2156.86/540.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 2156.86/540.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2156.86/540.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 2156.86/540.66 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2156.86/540.69 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 2157.26/540.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2424.51/607.78 c lits-rem: 13076 cl-subs: 22870 v-elim: 0 v-fix: 0 time: 67.04 s 2424.51/607.78 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 2424.91/607.81 c vivif2 -- cl tried 96980 cl shrink 0 lits rem 0 time: 0.02 2424.91/607.88 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.07 2424.91/607.88 c calculated reachability. Time: 0.00 2424.91/607.88 c N st 101 4213674 133 276 0 96980 828 1226546 no data no data 2570.15/644.25 c N st 102 4459653 133 276 0 81308 828 975230 no data no data 2710.59/679.49 c N st 103 4713674 133 276 0 133163 828 1914412 no data no data 2710.59/679.49 c S st 103 4713674 133 276 0 133163 828 1914412 no data no data 2712.21/679.82 c S st 103 4714176 133 276 0 133651 828 1925884 no data no data 2712.21/679.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2712.21/679.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.07 2712.21/679.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2712.21/679.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 2712.21/679.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2712.21/679.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 2712.21/679.90 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2712.63/679.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 2712.63/679.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3049.66/764.44 c lits-rem: 10363 cl-subs: 30724 v-elim: 0 v-fix: 0 time: 84.45 s 3049.66/764.44 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 3049.66/764.46 c vivif2 -- cl tried 102927 cl shrink 0 lits rem 0 time: 0.02 3050.08/764.52 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.05 3050.08/764.52 c calculated reachability. Time: 0.00 3050.08/764.52 c N st 103 4714176 133 276 0 102927 828 1283567 no data no data 3340.51/837.33 c N st 104 5214177 133 276 0 120770 828 1656186 no data no data 3340.51/837.33 c S st 104 5214177 133 276 0 120770 828 1656186 no data no data 3341.31/837.59 c S st 104 5214678 133 276 0 121261 828 1667320 no data no data 3341.31/837.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3341.71/837.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.05 3341.71/837.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3341.71/837.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 3341.71/837.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3341.71/837.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 3341.71/837.64 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3341.71/837.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 3342.11/837.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3508.46/879.43 c lits-rem: 10801 cl-subs: 19031 v-elim: 0 v-fix: 0 time: 41.72 s 3508.46/879.43 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 3508.46/879.45 c vivif2 -- cl tried 102230 cl shrink 0 lits rem 0 time: 0.03 3508.86/879.53 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.07 3508.86/879.53 c calculated reachability. Time: 0.00 3508.86/879.53 c N st 104 5214678 133 276 0 102230 828 1279508 no data no data 3807.32/954.31 c N st 105 5714679 133 276 0 98452 828 1227309 no data no data 3807.32/954.31 c S st 105 5714679 133 276 0 98452 828 1227309 no data no data 3808.12/954.50 c S st 105 5715181 133 276 0 98944 828 1238709 no data no data 3808.12/954.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3808.12/954.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.03 3808.12/954.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3808.12/954.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 3808.12/954.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3808.12/954.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 3808.12/954.54 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3808.12/954.56 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 3808.12/954.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3831.70/960.48 c lits-rem: 7311 cl-subs: 9500 v-elim: 0 v-fix: 0 time: 5.89 s 3831.70/960.48 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 3832.04/960.50 c vivif2 -- cl tried 89444 cl shrink 0 lits rem 0 time: 0.01 3832.04/960.53 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.03 3832.04/960.54 c calculated reachability. Time: 0.00 3832.04/960.54 c N st 105 5715181 133 276 0 89444 828 1047683 no data no data 4171.19/1045.55 c N st 106 6215181 133 276 0 146930 828 2082086 no data no data 4171.19/1045.55 c S st 106 6215181 133 276 0 146930 828 2082086 no data no data 4172.39/1045.84 c S st 106 6215682 133 276 0 147416 828 2093998 no data no data 4172.39/1045.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 4172.79/1045.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.7M T: 0.06 4172.79/1045.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4172.79/1045.91 c bin-w-bin subsume rem 0 bins time: 0.00 s 4172.79/1045.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4172.79/1045.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 4172.79/1045.91 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4172.79/1045.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 4172.79/1045.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4440.86/1113.20 c lits-rem: 20223 cl-subs: 27979 v-elim: 0 v-fix: 0 time: 67.21 s 4440.86/1113.20 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 4441.28/1113.23 c vivif2 -- cl tried 119437 cl shrink 0 lits rem 0 time: 0.03 4441.70/1113.32 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.10 4441.70/1113.33 c calculated reachability. Time: 0.00 4441.70/1113.33 c N st 106 6215682 133 276 0 119437 828 1528912 no data no data
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: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366985-1305413033/watcher-3366985-1305413033 -o /tmp/evaluation-result-3366985-1305413033/solver-3366985-1305413033 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366985-1305413033.cnf running on 4 cores: 0,2,4,6 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: 8.18 8.12 7.31 6/319 18536 /proc/meminfo: memFree=15088552/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 731534007 52396032 348 33554432000 4194304 4580107 140736121222176 18446744073709551615 47144081995698 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 12792 348 299 95 0 7774 0 [pid=18536/tid=18537] ppid=18534 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731534008 52396032 353 33554432000 4194304 4580107 140736121222176 18446744073709551615 47144081995696 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731534008 52396032 353 33554432000 4194304 4580107 140736121222176 18446744073709551615 47144081995289 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731534008 52396032 353 33554432000 4194304 4580107 140736121222176 18446744073709551615 47144081995289 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.112216 s] /proc/loadavg: 8.18 8.12 7.31 6/319 18536 /proc/meminfo: memFree=15088552/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=282680 CPUtime=0.41 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 1605 0 0 0 41 0 0 0 18 0 4 0 731534007 289464320 1084 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 70670 1084 377 95 0 65652 0 [pid=18536/tid=18537] ppid=18534 vsize=282680 CPUtime=0.1 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 300 0 0 0 10 0 0 0 25 0 4 0 731534008 289464320 1084 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=282680 CPUtime=0.1 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 308 0 0 0 10 0 0 0 18 0 4 0 731534008 289464320 1085 33554432000 4194304 4580107 140736121222176 18446744073709551615 4316772 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=282680 CPUtime=0.1 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 284 0 0 0 10 0 0 0 18 0 4 0 731534008 289464320 1085 33554432000 4194304 4580107 140736121222176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 282680 [startup+0.2012 s] /proc/loadavg: 8.18 8.12 7.31 6/319 18536 /proc/meminfo: memFree=15088552/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=282812 CPUtime=0.77 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 2121 0 0 0 77 0 0 0 18 0 4 0 731534007 289599488 1600 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 70703 1601 377 95 0 65685 0 [pid=18536/tid=18537] ppid=18534 vsize=282812 CPUtime=0.18 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 434 0 0 0 18 0 0 0 25 0 4 0 731534008 289599488 1601 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=282812 CPUtime=0.19 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 432 0 0 0 19 0 0 0 18 0 4 0 731534008 289599488 1601 33554432000 4194304 4580107 140736121222176 18446744073709551615 4321048 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=282812 CPUtime=0.19 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 419 0 0 0 19 0 0 0 18 0 4 0 731534008 289599488 1601 33554432000 4194304 4580107 140736121222176 18446744073709551615 231895151301 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 282812 [startup+0.300182 s] /proc/loadavg: 8.18 8.12 7.31 6/319 18536 /proc/meminfo: memFree=15088552/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=283436 CPUtime=1.16 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 2836 0 0 0 116 0 0 0 18 0 4 0 731534007 290238464 1620 33554432000 4194304 4580107 140736121222176 18446744073709551615 4321646 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 70859 1620 377 95 0 65841 0 [pid=18536/tid=18537] ppid=18534 vsize=283436 CPUtime=0.28 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 613 0 0 0 28 0 0 0 25 0 4 0 731534008 290238464 1620 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=283436 CPUtime=0.29 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 613 0 0 0 29 0 0 0 18 0 4 0 731534008 290238464 1620 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=283436 CPUtime=0.29 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 599 0 0 0 29 0 0 0 18 0 4 0 731534008 290238464 1620 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 283436 [startup+0.701108 s] /proc/loadavg: 8.18 8.12 7.31 6/319 18536 /proc/meminfo: memFree=15088552/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=284416 CPUtime=2.77 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 5145 0 0 0 277 0 0 0 18 0 4 0 731534007 291241984 2104 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 71104 2104 378 95 0 66086 0 [pid=18536/tid=18537] ppid=18534 vsize=284416 CPUtime=0.68 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 1201 0 0 0 68 0 0 0 25 0 4 0 731534008 291241984 2104 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=284416 CPUtime=0.69 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 1192 0 0 0 69 0 0 0 18 0 4 0 731534008 291241984 2104 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=284416 CPUtime=0.69 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 1199 0 0 0 69 0 0 0 18 0 4 0 731534008 291241984 2104 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 284416 [startup+1.50096 s] /proc/loadavg: 8.33 8.15 7.32 10/323 18540 /proc/meminfo: memFree=15069924/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=290484 CPUtime=5.96 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 13198 0 0 0 595 1 0 0 20 0 4 0 731534007 297455616 7564 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 72621 7564 379 95 0 67603 0 [pid=18536/tid=18537] ppid=18534 vsize=290484 CPUtime=1.47 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 2945 0 0 0 147 0 0 0 25 0 4 0 731534008 297455616 7564 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=290484 CPUtime=1.48 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 3576 0 0 0 148 0 0 0 20 0 4 0 731534008 297455616 7564 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=290484 CPUtime=1.49 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 3174 0 0 0 149 0 0 0 20 0 4 0 731534008 297455616 7564 33554432000 4194304 4580107 140736121222176 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 290484 [startup+3.10066 s] /proc/loadavg: 8.33 8.15 7.32 9/323 18540 /proc/meminfo: memFree=15047852/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=291104 CPUtime=12.34 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 19829 0 0 0 1232 2 0 0 25 0 4 0 731534007 298090496 9541 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 72776 9541 379 95 0 67758 0 [pid=18536/tid=18537] ppid=18534 vsize=291104 CPUtime=3.06 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 5289 0 0 0 306 0 0 0 25 0 4 0 731534008 298090496 9541 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=291104 CPUtime=3.08 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 4919 0 0 0 308 0 0 0 25 0 4 0 731534008 298090496 9541 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=291104 CPUtime=3.08 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 4504 0 0 0 308 0 0 0 25 0 4 0 731534008 298090496 9541 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 291104 [startup+6.30106 s] /proc/loadavg: 8.33 8.15 7.32 9/323 18540 /proc/meminfo: memFree=15040412/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=298252 CPUtime=25.11 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 33428 0 0 0 2506 5 0 0 25 0 4 0 731534007 305410048 14260 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 74563 14260 379 95 0 69545 0 [pid=18536/tid=18537] ppid=18534 vsize=298252 CPUtime=6.22 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 8616 0 0 0 621 1 0 0 25 0 4 0 731534008 305410048 14260 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=298252 CPUtime=6.29 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 8147 0 0 0 628 1 0 0 25 0 4 0 731534008 305410048 14260 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=298252 CPUtime=6.29 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 8017 0 0 0 628 1 0 0 25 0 4 0 731534008 305410048 14260 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 298252 [startup+12.7009 s] /proc/loadavg: 8.35 8.16 7.33 9/323 18540 /proc/meminfo: memFree=15008372/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=289904 CPUtime=50.64 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 52848 0 0 0 5056 8 0 0 25 0 4 0 731534007 296861696 19304 33554432000 4194304 4580107 140736121222176 18446744073709551615 4316638 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 72476 19304 379 95 0 67458 0 [pid=18536/tid=18537] ppid=18534 vsize=289904 CPUtime=12.56 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 13388 0 0 0 1254 2 0 0 25 0 4 0 731534008 296861696 19304 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=289904 CPUtime=12.69 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 13155 0 0 0 1267 2 0 0 25 0 4 0 731534008 296861696 19304 33554432000 4194304 4580107 140736121222176 18446744073709551615 4305203 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=289904 CPUtime=12.69 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 11885 0 0 0 1267 2 0 0 25 0 4 0 731534008 296861696 19304 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 289904 [startup+25.5005 s] /proc/loadavg: 8.30 8.15 7.34 9/323 18540 /proc/meminfo: memFree=14988388/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=292964 CPUtime=101.71 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 78762 0 0 0 10156 15 0 0 25 0 4 0 731534007 299995136 24410 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 73241 24410 379 95 0 68223 0 [pid=18536/tid=18537] ppid=18534 vsize=292964 CPUtime=25.22 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 19870 0 0 0 2518 4 0 0 25 0 4 0 731534008 299995136 24411 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=292964 CPUtime=25.49 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 20271 0 0 0 2545 4 0 0 25 0 4 0 731534008 299995136 24411 33554432000 4194304 4580107 140736121222176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=292964 CPUtime=25.48 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 18471 0 0 0 2545 3 0 0 25 0 4 0 731534008 299995136 24411 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.71 Current children cumulated vsize (KiB) 292964 [startup+51.1007 s] /proc/loadavg: 8.23 8.15 7.37 9/323 18541 /proc/meminfo: memFree=14968212/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=305264 CPUtime=203.86 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 123454 0 0 0 20362 24 0 0 25 0 4 0 731534007 312590336 34071 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406476 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 76316 34071 379 95 0 71298 0 [pid=18536/tid=18537] ppid=18534 vsize=305264 CPUtime=50.57 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 30142 0 0 0 5051 6 0 0 25 0 4 0 731534008 312590336 34071 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=305264 CPUtime=51.08 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 30949 0 0 0 5102 6 0 0 25 0 4 0 731534008 312590336 34071 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=305264 CPUtime=51.09 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 30910 0 0 0 5103 6 0 0 25 0 4 0 731534008 312590336 34071 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.86 Current children cumulated vsize (KiB) 305264 [startup+102.301 s] /proc/loadavg: 8.24 8.17 7.41 9/323 18542 /proc/meminfo: memFree=14920200/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=387340 CPUtime=408.15 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 189822 0 0 0 40775 40 0 0 25 0 4 0 731534007 396636160 46254 33554432000 4194304 4580107 140736121222176 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 96835 46254 379 95 0 91817 0 [pid=18536/tid=18537] ppid=18534 vsize=387340 CPUtime=101.25 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 48305 0 0 0 10115 10 0 0 25 0 4 0 731534008 396636160 46255 33554432000 4194304 4580107 140736121222176 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=387340 CPUtime=102.3 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 48759 0 0 0 10219 11 0 0 25 0 4 0 731534008 396636160 46255 33554432000 4194304 4580107 140736121222176 18446744073709551615 4305152 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=387340 CPUtime=102.29 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 47092 0 0 0 10220 9 0 0 25 0 4 0 731534008 396636160 46255 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.15 Current children cumulated vsize (KiB) 387340 [startup+162.301 s] ################ # More data... # ################ [pid=18536] ppid=18534 vsize=627460 CPUtime=2801.94 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 473781 0 0 0 280067 127 0 0 25 0 4 0 731534007 642519040 107941 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 156865 107941 379 95 0 151847 0 [pid=18536/tid=18537] ppid=18534 vsize=627460 CPUtime=695.01 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 122619 0 0 0 69467 34 0 0 25 0 4 0 731534008 642519040 107941 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=627460 CPUtime=702.3 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 161067 0 0 0 70186 44 0 0 25 0 4 0 731534008 642519040 107941 33554432000 4194304 4580107 140736121222176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=627460 CPUtime=702.29 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 70508 0 0 0 70212 17 0 0 25 0 4 0 731534008 642519040 107941 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2801.94 Current children cumulated vsize (KiB) 627460 [startup+762.301 s] /proc/loadavg: 8.20 8.14 7.76 10/323 18591 /proc/meminfo: memFree=14138276/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=627460 CPUtime=3041.3 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 477322 0 0 0 304000 130 0 0 25 0 4 0 731534007 642519040 111482 33554432000 4194304 4580107 140736121222176 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 156865 111482 379 95 0 151847 0 [pid=18536/tid=18537] ppid=18534 vsize=627460 CPUtime=754.35 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 122619 0 0 0 75401 34 0 0 25 0 4 0 731534008 642519040 111482 33554432000 4194304 4580107 140736121222176 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=627460 CPUtime=762.31 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 164608 0 0 0 76184 47 0 0 25 0 4 0 731534008 642519040 111482 33554432000 4194304 4580107 140736121222176 18446744073709551615 4331710 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=627460 CPUtime=762.31 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 70508 0 0 0 76214 17 0 0 25 0 4 0 731534008 642519040 111482 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406358 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3041.3 Current children cumulated vsize (KiB) 627460 [startup+822.3 s] /proc/loadavg: 8.12 8.13 7.78 10/323 18593 /proc/meminfo: memFree=14088732/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=580888 CPUtime=3280.68 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 501568 0 0 0 327931 137 0 0 25 0 4 0 731534007 594829312 107194 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 145222 107194 379 95 0 140204 0 [pid=18536/tid=18537] ppid=18534 vsize=580888 CPUtime=813.74 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 125265 0 0 0 81340 34 0 0 25 0 4 0 731534008 594829312 107194 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=580888 CPUtime=822.3 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 173410 0 0 0 82180 50 0 0 25 0 4 0 731534008 594829312 107194 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=580888 CPUtime=822.29 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 76706 0 0 0 82210 19 0 0 25 0 4 0 731534008 594829312 107194 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3280.68 Current children cumulated vsize (KiB) 580888 [startup+882.312 s] /proc/loadavg: 8.04 8.10 7.79 10/323 18594 /proc/meminfo: memFree=14042556/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=594192 CPUtime=3520.07 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 509815 0 0 0 351866 141 0 0 25 0 4 0 731534007 608452608 107979 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 148548 107979 379 95 0 143530 0 [pid=18536/tid=18537] ppid=18534 vsize=594192 CPUtime=873.1 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 125337 0 0 0 87276 34 0 0 25 0 4 0 731534008 608452608 107979 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=594192 CPUtime=882.32 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 177795 0 0 0 88179 53 0 0 25 0 4 0 731534008 608452608 107979 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=594192 CPUtime=882.31 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 77586 0 0 0 88211 20 0 0 25 0 4 0 731534008 608452608 107979 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406334 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3520.07 Current children cumulated vsize (KiB) 594192 [startup+942.301 s] /proc/loadavg: 8.10 8.11 7.81 10/323 18596 /proc/meminfo: memFree=14024904/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=613712 CPUtime=3759.44 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 534889 0 0 0 375793 151 0 0 25 0 4 0 731534007 628441088 111585 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 153428 111585 379 95 0 148410 0 [pid=18536/tid=18537] ppid=18534 vsize=613712 CPUtime=932.49 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 126186 0 0 0 93215 34 0 0 25 0 4 0 731534008 628441088 111585 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=613712 CPUtime=942.31 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 189185 0 0 0 94174 57 0 0 25 0 4 0 731534008 628441088 111585 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295352 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=613712 CPUtime=942.29 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 80984 0 0 0 94208 21 0 0 25 0 4 0 731534008 628441088 111585 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3759.44 Current children cumulated vsize (KiB) 613712 [startup+1002.3 s] /proc/loadavg: 8.08 8.10 7.83 10/323 18597 /proc/meminfo: memFree=14041440/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=613716 CPUtime=3998.83 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 551864 0 0 0 399726 157 0 0 25 0 4 0 731534007 628445184 116638 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 153429 116638 379 95 0 148411 0 [pid=18536/tid=18537] ppid=18534 vsize=613716 CPUtime=991.88 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 126205 0 0 0 99154 34 0 0 25 0 4 0 731534008 628445184 116638 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=613716 CPUtime=1002.31 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 199149 0 0 0 100171 60 0 0 25 0 4 0 731534008 628445184 116638 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=613716 CPUtime=1002.3 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 81946 0 0 0 100208 22 0 0 25 0 4 0 731534008 628445184 116638 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3998.83 Current children cumulated vsize (KiB) 613716 [startup+1062.3 s] /proc/loadavg: 8.10 8.11 7.84 10/323 18608 /proc/meminfo: memFree=14045856/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=600988 CPUtime=4238.22 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 568902 0 0 0 423661 161 0 0 25 0 4 0 731534007 615411712 115337 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 150247 115337 379 95 0 145229 0 [pid=18536/tid=18537] ppid=18534 vsize=600988 CPUtime=1051.27 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 129209 0 0 0 105092 35 0 0 25 0 4 0 731534008 615411712 115337 33554432000 4194304 4580107 140736121222176 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=600988 CPUtime=1062.31 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 205103 0 0 0 106169 62 0 0 25 0 4 0 731534008 615411712 115337 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=600988 CPUtime=1062.3 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 84963 0 0 0 106207 23 0 0 25 0 4 0 731534008 615411712 115337 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4238.22 Current children cumulated vsize (KiB) 600988 [startup+1122.3 s] /proc/loadavg: 8.07 8.10 7.85 10/323 18610 /proc/meminfo: memFree=13981468/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=614904 CPUtime=4477.56 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 582034 0 0 0 447589 167 0 0 25 0 4 0 731534007 629661696 122234 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 153726 122234 379 95 0 148708 0 [pid=18536/tid=18537] ppid=18534 vsize=614904 CPUtime=1110.61 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 132225 0 0 0 111025 36 0 0 25 0 4 0 731534008 629661696 122234 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=614904 CPUtime=1122.32 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 214357 0 0 0 112165 67 0 0 25 0 4 0 731534008 629661696 122234 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=614904 CPUtime=1122.3 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 85022 0 0 0 112207 23 0 0 25 0 4 0 731534008 629661696 122234 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4477.56 Current children cumulated vsize (KiB) 614904 [startup+1182.3 s] /proc/loadavg: 8.21 8.14 7.88 9/323 18611 /proc/meminfo: memFree=13847128/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=628608 CPUtime=4716.92 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 585637 0 0 0 471522 170 0 0 25 0 4 0 731534007 643694592 125696 33554432000 4194304 4580107 140736121222176 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 157152 125696 379 95 0 152134 0 [pid=18536/tid=18537] ppid=18534 vsize=628608 CPUtime=1169.96 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 132225 0 0 0 116960 36 0 0 25 0 4 0 731534008 643694592 125696 33554432000 4194304 4580107 140736121222176 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=628608 CPUtime=1182.32 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 214357 0 0 0 118165 67 0 0 25 0 4 0 731534008 643694592 125696 33554432000 4194304 4580107 140736121222176 18446744073709551615 4406358 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=628608 CPUtime=1182.3 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 85022 0 0 0 118207 23 0 0 25 0 4 0 731534008 643694592 125696 33554432000 4194304 4580107 140736121222176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4716.92 Current children cumulated vsize (KiB) 628608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.2 s] /proc/loadavg: 8.15 8.13 7.88 9/323 18612 /proc/meminfo: memFree=13824560/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=642628 CPUtime=4800.31 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 589764 0 0 0 479858 173 0 0 25 0 4 0 731534007 658051072 129484 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 160657 129484 379 95 0 155639 0 [pid=18536/tid=18537] ppid=18534 vsize=642628 CPUtime=1190.63 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 132969 0 0 0 119026 37 0 0 25 0 4 0 731534008 658051072 129485 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=642628 CPUtime=1203.23 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 214357 0 0 0 120256 67 0 0 25 0 4 0 731534008 658051072 129485 33554432000 4194304 4580107 140736121222176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=642628 CPUtime=1203.21 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 85708 0 0 0 120298 23 0 0 25 0 4 0 731534008 658051072 129485 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.31 Current children cumulated vsize (KiB) 642628 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.2 s] /proc/loadavg: 8.15 8.13 7.88 9/323 18612 /proc/meminfo: memFree=13824560/32950928 swapFree=67085488/67111528 [pid=18536] ppid=18534 vsize=642628 CPUtime=4800.31 cores=0,2,4,6 /proc/18536/stat : 18536 (strangenight2-m) R 18534 18536 18342 0 -1 4202496 589764 0 0 0 479858 173 0 0 25 0 4 0 731534007 658051072 129484 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/18536/statm: 160657 129484 379 95 0 155639 0 [pid=18536/tid=18537] ppid=18534 vsize=642628 CPUtime=1190.63 cores=0,2,4,6 /proc/18536/task/18537/stat : 18537 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 132969 0 0 0 119026 37 0 0 25 0 4 0 731534008 658051072 129485 33554432000 4194304 4580107 140736121222176 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18536/tid=18538] ppid=18534 vsize=642628 CPUtime=1203.23 cores=0,2,4,6 /proc/18536/task/18538/stat : 18538 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 214357 0 0 0 120256 67 0 0 25 0 4 0 731534008 658051072 129485 33554432000 4194304 4580107 140736121222176 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=18536/tid=18539] ppid=18534 vsize=642628 CPUtime=1203.21 cores=0,2,4,6 /proc/18536/task/18539/stat : 18539 (strangenight2-m) R 18534 18536 18342 0 -1 4202560 85708 0 0 0 120298 23 0 0 25 0 4 0 731534008 658051072 129485 33554432000 4194304 4580107 140736121222176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.31 Current children cumulated vsize (KiB) 642628 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.24 CPU time (s): 4800.39 CPU user time (s): 4798.63 CPU system time (s): 1.75673 CPU usage (%): 398.953 Max. virtual memory (cumulated for all children) (KiB): 697604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.63 system time used= 1.75673 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 589765 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= 109 involuntary context switches= 22720 runsolver used 3.56946 second user time and 8.84366 second system time The end
Begin job on node114 at 2011-05-15 00:43:53 IDJOB=3366985 IDBENCH=83148 IDSOLVER=1844 FILE ID=node114/3366985-1305413033 RUNJOBID= node114-1305410849-18360 PBS_JOBID= 13324529 Free space on /tmp= 72976 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n130-s30940966-unsat.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366985-1305413033/watcher-3366985-1305413033 -o /tmp/evaluation-result-3366985-1305413033/solver-3366985-1305413033 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366985-1305413033.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca44a78076b8228fbb99ecc0147f157f RANDOM SEED=434511682 node114.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.848 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.69 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.848 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.848 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.74 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.848 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.73 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.848 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.75 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.848 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.848 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.74 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.848 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: 32950928 kB MemFree: 15088708 kB Buffers: 278096 kB Cached: 6223888 kB SwapCached: 96 kB Active: 12489616 kB Inactive: 4964376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15088708 kB SwapTotal: 67111528 kB SwapFree: 67085488 kB Dirty: 5444 kB Writeback: 0 kB AnonPages: 10951624 kB Mapped: 27176 kB Slab: 306680 kB PageTables: 37904 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 53218248 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= 72964 MiB End job on node114 at 2011-05-15 01:03:59