| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.42 | 1201.74 |
| 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.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3273851-1304118345.cnf' 0.00/0.00 c -- header says num vars: 133 0.00/0.00 c -- header says num clauses: 276 0.78/0.22 c -- clauses added: 0 learnts, 276 normals, 0 xors 0.78/0.22 c -- vars added 133 0.78/0.22 c Parsing time: 0.00 s 0.78/0.22 c N st 0 0 133 276 0 0 828 0 no data no data 0.78/0.22 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 0.78/0.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.78/0.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.78/0.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.78/0.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.78/0.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 0.78/0.22 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.78/0.22 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 0.78/0.22 c Finding binary XORs T: 0.00 s found: 0 0.78/0.22 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.78/0.22 c calculated reachability. Time: 0.00 0.78/0.22 c Calc default polars - time: 0.00 s pos: 3 undec: 125 neg: 5 3.18/0.80 c ========================================================================================= 3.18/0.80 c types(t): F = full restart, N = normal restart 3.18/0.80 c types(t): S = simplification begin/end, E = solution found 3.18/0.80 c restart types(rt): st = static, dy = dynamic 3.18/0.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.18/0.80 c B st 0 0 133 276 0 0 828 0 no data no data 3.18/0.80 c Decided on static restart strategy 3.18/0.80 c N st 8 4924 133 276 0 4372 828 95181 no data no data 3.18/0.80 c N st 10 11307 133 276 0 3943 828 59684 no data no data 3.18/0.80 c N st 11 17051 133 276 0 8894 828 154372 no data no data 3.18/0.80 c F st 12 25002 133 276 0 11092 828 180160 no data no data 3.18/0.80 c N st 12 25002 133 276 0 11092 828 180160 no data no data 3.18/0.80 c Decided on static restart strategy 3.18/0.80 c N st 18 30005 133 276 0 9464 828 153971 no data no data 3.18/0.80 c S st 18 30005 133 276 0 9464 828 153971 no data no data 3.18/0.80 c S st 18 30510 133 276 0 9952 828 163802 no data no data 3.18/0.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3.18/0.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 3.18/0.80 c blocked clauses removed: 0 vars: 0 tried: 133 T: 0.00 s 3.18/0.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.18/0.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.18/0.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 3.18/0.80 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.18/0.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 3.18/0.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.18/0.89 c lits-rem: 941 cl-subs: 729 v-elim: 0 v-fix: 0 time: 0.08 s 3.18/0.89 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 3.18/0.89 c calculated reachability. Time: 0.00 3.18/0.89 c N st 18 30510 133 276 0 9223 828 144567 no data no data 4.00/1.10 c N st 20 37620 133 276 0 8494 828 124215 no data no data 5.57/1.40 c N st 21 44019 133 276 0 14052 828 254050 no data no data 5.57/1.40 c S st 22 45768 133 276 0 7820 828 96313 no data no data 5.57/1.41 c S st 22 46270 133 276 0 8309 828 106791 no data no data 5.57/1.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.57/1.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 5.57/1.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 5.57/1.42 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.57/1.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.57/1.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 5.57/1.42 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 5.57/1.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 5.57/1.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.57/1.43 c lits-rem: 172 cl-subs: 133 v-elim: 0 v-fix: 0 time: 0.01 s 5.57/1.43 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 5.57/1.43 c vivif2 -- cl tried 8176 cl shrink 0 lits rem 0 time: 0.00 5.57/1.44 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 5.57/1.44 c calculated reachability. Time: 0.00 5.57/1.44 c N st 22 46270 133 276 0 8176 828 103909 no data no data 7.57/1.94 c N st 23 60667 133 276 0 11790 828 176409 no data no data 8.79/2.29 c N st 24 69405 133 276 0 9837 828 120884 no data no data 8.79/2.29 c S st 24 69405 133 276 0 9837 828 120884 no data no data 9.17/2.32 c S st 24 69909 133 276 0 10326 828 130425 no data no data 9.17/2.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 9.17/2.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 9.17/2.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 9.17/2.32 c bin-w-bin subsume rem 0 bins time: 0.00 s 9.17/2.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.17/2.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 9.17/2.32 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.17/2.32 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 9.17/2.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.17/2.35 c lits-rem: 343 cl-subs: 244 v-elim: 0 v-fix: 0 time: 0.03 s 9.17/2.35 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 9.17/2.35 c vivif2 -- cl tried 10082 cl shrink 0 lits rem 0 time: 0.00 9.17/2.35 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 9.17/2.35 c calculated reachability. Time: 0.00 9.17/2.35 c N st 24 69909 133 276 0 10082 828 125063 no data no data 11.97/3.04 c F st 25 87500 133 276 0 15143 828 233482 no data no data 11.97/3.04 c N st 25 87500 133 276 0 15143 828 233482 no data no data 12.79/3.24 c Decided on static restart strategy 13.19/3.37 c N st 32 95538 133 276 0 22343 828 391932 no data no data 14.76/3.75 c N st 34 104864 133 276 0 19169 828 310930 no data no data 14.76/3.75 c S st 34 104864 133 276 0 19169 828 310930 no data no data 14.76/3.79 c S st 34 105367 133 276 0 19653 828 320677 no data no data 14.76/3.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 15.16/3.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 15.16/3.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 15.16/3.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 15.16/3.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 15.16/3.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 15.16/3.80 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 15.16/3.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 15.16/3.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 15.97/4.08 c lits-rem: 1636 cl-subs: 1106 v-elim: 0 v-fix: 0 time: 0.27 s 15.97/4.08 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 15.97/4.09 c vivif2 -- cl tried 18547 cl shrink 0 lits rem 0 time: 0.00 15.97/4.09 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 15.97/4.09 c calculated reachability. Time: 0.00 15.97/4.09 c N st 34 105367 133 276 0 18547 828 289310 no data no data 17.96/4.53 c N st 35 114967 133 276 0 14781 828 202445 no data no data 20.36/5.18 c N st 36 129364 133 276 0 14344 828 173394 no data no data 24.35/6.13 c N st 37 150959 133 276 0 18925 828 255958 no data no data 25.55/6.40 c S st 38 158050 133 276 0 25149 828 375289 no data no data 25.55/6.45 c S st 38 158552 133 276 0 25630 828 385044 no data no data 25.55/6.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 25.55/6.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00 25.55/6.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 25.55/6.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 25.55/6.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 25.55/6.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 25.55/6.45 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.55/6.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 25.55/6.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 27.14/6.87 c lits-rem: 3515 cl-subs: 1911 v-elim: 0 v-fix: 0 time: 0.41 s 27.14/6.87 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 27.14/6.88 c vivif2 -- cl tried 23719 cl shrink 0 lits rem 0 time: 0.00 27.14/6.88 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.00 27.14/6.88 c calculated reachability. Time: 0.00 27.14/6.88 c N st 38 158552 133 276 0 23719 828 336746 no data no data 36.73/9.20 c N st 39 207140 133 276 0 18389 828 225221 no data no data 42.73/10.70 c N st 40 237828 133 276 0 27840 828 414004 no data no data 42.73/10.70 c S st 40 237828 133 276 0 27840 828 414004 no data no data 42.73/10.76 c S st 40 238333 133 276 0 28333 828 425390 no data no data 42.73/10.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 42.73/10.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 42.73/10.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 42.73/10.77 c bin-w-bin subsume rem 0 bins time: 0.00 s 42.73/10.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 42.73/10.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 42.73/10.77 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 42.73/10.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 42.73/10.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 45.92/11.50 c lits-rem: 3696 cl-subs: 1882 v-elim: 0 v-fix: 0 time: 0.72 s 45.92/11.50 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 45.92/11.51 c vivif2 -- cl tried 26451 cl shrink 0 lits rem 0 time: 0.00 45.92/11.51 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.01 45.92/11.52 c calculated reachability. Time: 0.00 45.92/11.52 c N st 40 238333 133 276 0 26451 828 374903 no data no data 60.30/15.15 c F st 41 306250 133 276 0 27037 828 366569 no data no data 60.30/15.15 c N st 41 306250 133 276 0 27037 828 366569 no data no data 61.52/15.42 c Decided on static restart strategy 66.70/16.74 c N st 51 334556 133 276 0 31755 828 476969 no data no data 71.49/17.99 c N st 53 357500 133 276 0 29711 828 411521 no data no data 71.49/17.99 c S st 53 357500 133 276 0 29711 828 411521 no data no data 71.89/18.04 c S st 53 358003 133 276 0 30189 828 421325 no data no data 71.89/18.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 71.89/18.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.00 71.89/18.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 71.89/18.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 71.89/18.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 71.89/18.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 71.89/18.05 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 71.89/18.05 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 71.89/18.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 73.89/18.54 c lits-rem: 2434 cl-subs: 1972 v-elim: 0 v-fix: 0 time: 0.47 s 73.89/18.54 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 73.89/18.54 c vivif2 -- cl tried 28217 cl shrink 0 lits rem 0 time: 0.00 73.89/18.55 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.01 73.89/18.55 c calculated reachability. Time: 0.00 73.89/18.55 c N st 53 358003 133 276 0 28217 828 370498 no data no data 81.88/20.56 c N st 54 390397 133 276 0 33972 828 503642 no data no data 95.86/24.08 c N st 55 438986 133 276 0 27960 828 345803 no data no data 114.63/28.70 c N st 56 511869 133 276 0 38658 828 561501 no data no data 120.62/30.20 c N st 57 537004 133 276 0 34407 828 464224 no data no data 120.62/30.20 c S st 57 537004 133 276 0 34407 828 464224 no data no data 120.62/30.26 c S st 57 537505 133 276 0 34895 828 475085 no data no data 120.62/30.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 120.62/30.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 120.62/30.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 120.62/30.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 120.62/30.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 120.62/30.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 120.62/30.27 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 120.62/30.28 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 120.62/30.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 123.42/30.97 c lits-rem: 5470 cl-subs: 1828 v-elim: 0 v-fix: 0 time: 0.68 s 123.42/30.97 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 123.42/30.97 c vivif2 -- cl tried 33067 cl shrink 0 lits rem 0 time: 0.00 123.42/30.98 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.01 123.42/30.98 c calculated reachability. Time: 0.00 123.42/30.98 c N st 57 537505 133 276 0 33067 828 425906 no data no data 166.58/41.78 c N st 58 701489 133 276 0 55282 828 823347 no data no data 201.33/50.43 c N st 59 806258 133 276 0 51843 828 827415 no data no data 201.33/50.43 c S st 59 806258 133 276 0 51843 828 827415 no data no data 201.74/50.52 c S st 59 806760 133 276 0 52335 828 838534 no data no data 201.74/50.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 201.74/50.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.01 201.74/50.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 201.74/50.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 201.74/50.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 201.74/50.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 201.74/50.53 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 201.74/50.54 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 201.74/50.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 219.32/54.94 c lits-rem: 8440 cl-subs: 6696 v-elim: 0 v-fix: 0 time: 4.37 s 219.32/54.94 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 219.32/54.94 c vivif2 -- cl tried 45639 cl shrink 0 lits rem 0 time: 0.01 219.32/54.96 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.01 219.32/54.96 c calculated reachability. Time: 0.00 219.32/54.96 c N st 59 806760 133 276 0 45639 828 662889 no data no data 315.58/79.04 c F st 60 1071877 133 276 0 61984 828 961611 no data no data 315.58/79.04 c N st 60 1071877 133 276 0 61984 828 961611 no data no data 317.57/79.51 c Decided on static restart strategy 325.17/81.49 c N st 70 1100182 133 276 0 48045 828 610020 no data no data 337.54/84.51 c N st 72 1136176 133 276 0 39993 828 452866 no data no data 346.75/86.90 c N st 73 1168569 133 276 0 65635 828 947264 no data no data 363.50/91.00 c N st 74 1210141 133 276 0 60576 828 862083 no data no data 363.50/91.00 c S st 74 1210141 133 276 0 60576 828 862083 no data no data 363.90/91.20 c S st 74 1210644 133 276 0 61065 828 873711 no data no data 364.32/91.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 364.32/91.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.04 364.32/91.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 364.32/91.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 364.32/91.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 364.32/91.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 364.32/91.25 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 364.32/91.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 364.32/91.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 395.86/99.14 c lits-rem: 7467 cl-subs: 6215 v-elim: 0 v-fix: 0 time: 7.85 s 395.86/99.14 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 395.86/99.15 c vivif2 -- cl tried 54850 cl shrink 0 lits rem 0 time: 0.01 395.86/99.18 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.03 395.86/99.18 c calculated reachability. Time: 0.00 395.86/99.18 c N st 74 1210644 133 276 0 54850 828 726890 no data no data 425.02/106.45 c N st 75 1283527 133 276 0 77744 828 1358782 no data no data 466.57/116.87 c N st 76 1392851 133 276 0 42318 828 474845 no data no data 535.28/134.08 c N st 77 1556835 133 276 0 46496 828 538003 no data no data 600.39/150.39 c N st 78 1710646 133 276 0 81404 828 1280196 no data no data 600.39/150.39 c S st 78 1710646 133 276 0 81404 828 1280196 no data no data 601.60/150.66 c S st 78 1711151 133 276 0 81896 828 1292037 no data no data 601.60/150.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 602.00/150.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.05 602.00/150.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 602.00/150.72 c bin-w-bin subsume rem 0 bins time: 0.00 s 602.00/150.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 602.00/150.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 602.00/150.72 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 602.00/150.75 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 602.00/150.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 709.84/177.74 c lits-rem: 15339 cl-subs: 12567 v-elim: 0 v-fix: 0 time: 26.95 s 709.84/177.74 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 709.84/177.76 c vivif2 -- cl tried 69329 cl shrink 0 lits rem 0 time: 0.02 709.84/177.80 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.04 710.24/177.80 c calculated reachability. Time: 0.00 710.24/177.80 c N st 78 1711151 133 276 0 69329 828 979618 no data no data 856.86/214.52 c N st 79 2080115 133 276 0 78122 828 1099633 no data no data 911.57/228.27 c N st 80 2211151 133 276 0 81548 828 1190034 no data no data 911.57/228.27 c S st 80 2211151 133 276 0 81548 828 1190034 no data no data 912.37/228.43 c S st 80 2211655 133 276 0 82038 828 1201634 no data no data 912.37/228.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 912.37/228.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.03 912.37/228.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 912.37/228.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 912.37/228.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 912.37/228.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 912.37/228.46 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 912.37/228.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 912.77/228.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1001.06/250.65 c lits-rem: 12107 cl-subs: 11321 v-elim: 0 v-fix: 0 time: 22.13 s 1001.06/250.65 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 1001.06/250.66 c vivif2 -- cl tried 70717 cl shrink 0 lits rem 0 time: 0.02 1001.47/250.71 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.04 1001.47/250.71 c calculated reachability. Time: 0.00 1001.47/250.71 c N st 80 2211655 133 276 0 70717 828 935239 no data no data 1246.73/312.11 c N st 81 2711655 133 276 0 91865 828 1304786 no data no data 1246.73/312.11 c S st 81 2711655 133 276 0 91865 828 1304786 no data no data 1247.13/312.27 c S st 81 2712159 133 276 0 92363 828 1316103 no data no data 1247.13/312.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1247.54/312.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03 1247.54/312.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1247.54/312.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 1247.54/312.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1247.54/312.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 1247.54/312.30 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1247.54/312.32 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 1247.54/312.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1360.17/340.50 c lits-rem: 11453 cl-subs: 12883 v-elim: 0 v-fix: 0 time: 28.15 s 1360.17/340.50 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 1360.17/340.52 c vivif2 -- cl tried 79480 cl shrink 0 lits rem 0 time: 0.02 1360.17/340.58 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.06 1360.17/340.58 c calculated reachability. Time: 0.00 1360.17/340.58 c N st 81 2712159 133 276 0 79480 828 1042138 no data no data 1614.23/404.16 c N st 82 3212160 133 276 0 62767 828 700245 no data no data 1614.23/404.16 c S st 82 3212160 133 276 0 62767 828 700245 no data no data 1614.63/404.27 c S st 82 3212666 133 276 0 63259 828 711920 no data no data 1614.63/404.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1614.63/404.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.01 1614.63/404.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1614.63/404.29 c bin-w-bin subsume rem 0 bins time: 0.00 s 1614.63/404.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1614.63/404.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 1614.63/404.29 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1615.03/404.30 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 1615.03/404.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1616.65/404.74 c lits-rem: 737 cl-subs: 575 v-elim: 0 v-fix: 0 time: 0.43 s 1616.65/404.74 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 1616.65/404.75 c vivif2 -- cl tried 62684 cl shrink 0 lits rem 0 time: 0.01 1616.65/404.77 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.02 1616.65/404.77 c calculated reachability. Time: 0.00 1616.65/404.77 c N st 82 3212666 133 276 0 62684 828 698779 no data no data 1888.67/472.82 c N st 83 3712667 133 276 0 71187 828 824281 no data no data 1888.67/472.82 c S st 83 3712667 133 276 0 71187 828 824281 no data no data 1889.08/472.95 c S st 83 3713171 133 276 0 71684 828 836015 no data no data 1889.08/472.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1889.08/472.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.02 1889.08/472.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1889.08/472.98 c bin-w-bin subsume rem 0 bins time: 0.00 s 1889.08/472.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1889.08/472.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 1889.08/472.98 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1889.08/472.99 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 1889.48/473.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1893.47/474.04 c lits-rem: 2284 cl-subs: 2575 v-elim: 0 v-fix: 0 time: 1.02 s 1893.47/474.04 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 1893.47/474.05 c vivif2 -- cl tried 69109 cl shrink 0 lits rem 0 time: 0.01 1893.47/474.07 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.02 1893.47/474.07 c calculated reachability. Time: 0.00 1893.47/474.07 c N st 83 3713171 133 276 0 69109 828 782097 no data no data 1910.64/478.38 c F st 84 3751563 133 276 0 99776 828 1364664 no data no data 1910.64/478.38 c N st 84 3751563 133 276 0 99776 828 1364664 no data no data 1913.43/479.07 c Decided on static restart strategy 1925.81/482.16 c N st 94 3779873 133 276 0 123614 828 1856394 no data no data 1945.39/487.09 c N st 96 3815866 133 276 0 85570 828 1100263 no data no data 1962.57/491.38 c N st 97 3848258 133 276 0 111031 828 1590012 no data no data 1988.13/497.76 c N st 98 3896846 133 276 0 80643 828 1000456 no data no data 2029.69/508.11 c N st 99 3969732 133 276 0 69429 828 754570 no data no data 2096.00/524.75 c N st 100 4079055 133 276 0 84812 828 1032849 no data no data 2165.50/542.19 c N st 101 4213171 133 276 0 119362 828 1727317 no data no data 2165.50/542.19 c S st 101 4213171 133 276 0 119362 828 1727317 no data no data 2167.09/542.55 c S st 101 4213674 133 276 0 119850 828 1737612 no data no data 2167.09/542.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2167.49/542.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.07 2167.49/542.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2167.49/542.63 c bin-w-bin subsume rem 0 bins time: 0.00 s 2167.49/542.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2167.49/542.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 2167.49/542.63 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2167.49/542.66 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 2167.89/542.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2431.93/608.86 c lits-rem: 13076 cl-subs: 22870 v-elim: 0 v-fix: 0 time: 66.14 s 2431.93/608.86 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 2431.93/608.88 c vivif2 -- cl tried 96980 cl shrink 0 lits rem 0 time: 0.02 2432.33/608.95 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.07 2432.33/608.96 c calculated reachability. Time: 0.00 2432.33/608.96 c N st 101 4213674 133 276 0 96980 828 1226546 no data no data 2577.74/645.30 c N st 102 4459653 133 276 0 81308 828 975230 no data no data 2719.97/680.94 c N st 103 4713674 133 276 0 133163 828 1914412 no data no data 2719.97/680.94 c S st 103 4713674 133 276 0 133163 828 1914412 no data no data 2721.14/681.28 c S st 103 4714176 133 276 0 133651 828 1925884 no data no data 2721.14/681.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2721.54/681.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.07 2721.54/681.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2721.54/681.36 c bin-w-bin subsume rem 0 bins time: 0.00 s 2721.54/681.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2721.54/681.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 2721.54/681.36 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2721.94/681.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 2721.94/681.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3051.50/763.95 c lits-rem: 10363 cl-subs: 30724 v-elim: 0 v-fix: 0 time: 82.50 s 3051.50/763.95 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 3051.50/763.98 c vivif2 -- cl tried 102927 cl shrink 0 lits rem 0 time: 0.02 3051.90/764.04 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.07 3051.90/764.05 c calculated reachability. Time: 0.00 3051.90/764.05 c N st 103 4714176 133 276 0 102927 828 1283567 no data no data 3341.11/836.49 c N st 104 5214177 133 276 0 120770 828 1656186 no data no data 3341.11/836.49 c S st 104 5214177 133 276 0 120770 828 1656186 no data no data 3342.31/836.74 c S st 104 5214678 133 276 0 121261 828 1667320 no data no data 3342.31/836.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3342.31/836.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.04 3342.31/836.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3342.31/836.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 3342.31/836.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3342.31/836.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 3342.31/836.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3342.71/836.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 3342.71/836.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3513.68/879.65 c lits-rem: 10801 cl-subs: 19031 v-elim: 0 v-fix: 0 time: 42.80 s 3513.68/879.65 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 3513.68/879.68 c vivif2 -- cl tried 102230 cl shrink 0 lits rem 0 time: 0.03 3514.08/879.76 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.07 3514.08/879.76 c calculated reachability. Time: 0.00 3514.08/879.76 c N st 104 5214678 133 276 0 102230 828 1279508 no data no data 3808.08/953.38 c N st 105 5714679 133 276 0 98452 828 1227309 no data no data 3808.08/953.38 c S st 105 5714679 133 276 0 98452 828 1227309 no data no data 3808.88/953.57 c S st 105 5715181 133 276 0 98944 828 1238709 no data no data 3808.88/953.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3809.30/953.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.03 3809.30/953.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3809.30/953.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 3809.30/953.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3809.30/953.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 3809.30/953.60 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3809.30/953.63 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 3809.30/953.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3832.85/959.53 c lits-rem: 7311 cl-subs: 9500 v-elim: 0 v-fix: 0 time: 5.87 s 3832.85/959.53 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 3832.85/959.54 c vivif2 -- cl tried 89444 cl shrink 0 lits rem 0 time: 0.01 3832.85/959.57 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.03 3832.85/959.58 c calculated reachability. Time: 0.00 3832.85/959.58 c N st 105 5715181 133 276 0 89444 828 1047683 no data no data 4170.39/1044.03 c N st 106 6215181 133 276 0 146930 828 2082086 no data no data 4170.39/1044.03 c S st 106 6215181 133 276 0 146930 828 2082086 no data no data 4171.59/1044.32 c S st 106 6215682 133 276 0 147416 828 2093998 no data no data 4171.59/1044.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 4171.59/1044.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.7M T: 0.06 4171.59/1044.38 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4171.59/1044.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 4171.59/1044.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4171.59/1044.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 133 time: 0.00 s 4171.59/1044.38 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4171.99/1044.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 4171.99/1044.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4449.22/1113.89 c lits-rem: 20223 cl-subs: 27979 v-elim: 0 v-fix: 0 time: 69.42 s 4449.22/1113.89 c vivif2 -- cl tried 276 cl shrink 0 lits rem 0 time: 0.00 4449.62/1113.93 c vivif2 -- cl tried 119437 cl shrink 0 lits rem 0 time: 0.04 4450.02/1114.04 c asymm cl-useful: 0/276/276 lits-rem:0 time: 0.11 4450.02/1114.05 c calculated reachability. Time: 0.00 4450.02/1114.05 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: 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-3273851-1304118345/watcher-3273851-1304118345 -o /tmp/evaluation-result-3273851-1304118345/solver-3273851-1304118345 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3273851-1304118345.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.47 7.89 7.37 6/180 27370 /proc/meminfo: memFree=24379592/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 602065205 52441088 347 33554432000 4194304 4627427 140734337505872 18446744073709551615 47153573521330 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 12803 347 299 106 0 7774 0 [pid=27370/tid=27371] ppid=27368 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 602065206 52441088 347 33554432000 4194304 4627427 140734337505872 18446744073709551615 47153573521330 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 602065206 52441088 347 33554432000 4194304 4627427 140734337505872 18446744073709551615 47153573521330 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602065206 52441088 347 33554432000 4194304 4627427 140734337505872 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0114931 s] /proc/loadavg: 7.47 7.89 7.37 6/180 27370 /proc/meminfo: memFree=24379592/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=281708 CPUtime=0.03 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 705 0 0 0 3 0 0 0 18 0 4 0 602065205 288468992 617 33554432000 4194304 4627427 140734337505872 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 70427 617 384 106 0 65398 0 [pid=27370/tid=27371] ppid=27368 vsize=281708 CPUtime=0 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 75 0 0 0 0 0 0 0 18 0 4 0 602065206 288468992 617 33554432000 4194304 4627427 140734337505872 18446744073709551615 4332206 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=281708 CPUtime=0 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 76 0 0 0 0 0 0 0 18 0 4 0 602065206 288468992 617 33554432000 4194304 4627427 140734337505872 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=281708 CPUtime=0 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 72 0 0 0 0 0 0 0 25 0 4 0 602065206 288468992 617 33554432000 4194304 4627427 140734337505872 18446744073709551615 4305958 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 281708 [startup+0.100478 s] /proc/loadavg: 7.47 7.89 7.37 6/180 27370 /proc/meminfo: memFree=24379592/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=282832 CPUtime=0.38 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 1570 0 0 0 38 0 0 0 18 0 4 0 602065205 289619968 1059 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 70708 1059 385 106 0 65679 0 [pid=27370/tid=27371] ppid=27368 vsize=282832 CPUtime=0.09 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 292 0 0 0 9 0 0 0 18 0 4 0 602065206 289619968 1059 33554432000 4194304 4627427 140734337505872 18446744073709551615 4327635 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=282832 CPUtime=0.09 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 292 0 0 0 9 0 0 0 18 0 4 0 602065206 289619968 1059 33554432000 4194304 4627427 140734337505872 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=282832 CPUtime=0.09 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 285 0 0 0 9 0 0 0 25 0 4 0 602065206 289619968 1059 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 282832 [startup+0.300444 s] /proc/loadavg: 7.47 7.89 7.37 6/180 27370 /proc/meminfo: memFree=24379592/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=283512 CPUtime=1.18 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 2863 0 0 0 118 0 0 0 18 0 4 0 602065205 290316288 1657 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 70878 1657 385 106 0 65849 0 [pid=27370/tid=27371] ppid=27368 vsize=283512 CPUtime=0.29 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 622 0 0 0 29 0 0 0 18 0 4 0 602065206 290316288 1658 33554432000 4194304 4627427 140734337505872 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=283512 CPUtime=0.29 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 614 0 0 0 29 0 0 0 18 0 4 0 602065206 290316288 1659 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=283512 CPUtime=0.29 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 612 0 0 0 29 0 0 0 25 0 4 0 602065206 290316288 1659 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 283512 [startup+0.700375 s] /proc/loadavg: 7.47 7.89 7.37 6/180 27370 /proc/meminfo: memFree=24379592/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=284492 CPUtime=2.78 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 5157 0 0 0 278 0 0 0 18 0 4 0 602065205 291319808 2126 33554432000 4194304 4627427 140734337505872 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 71123 2126 386 106 0 66094 0 [pid=27370/tid=27371] ppid=27368 vsize=284492 CPUtime=0.69 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 1201 0 0 0 69 0 0 0 18 0 4 0 602065206 291319808 2126 33554432000 4194304 4627427 140734337505872 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=284492 CPUtime=0.69 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 1195 0 0 0 69 0 0 0 18 0 4 0 602065206 291319808 2126 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=284492 CPUtime=0.69 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 1212 0 0 0 69 0 0 0 25 0 4 0 602065206 291319808 2126 33554432000 4194304 4627427 140734337505872 18446744073709551615 4332670 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 284492 [startup+1.50024 s] /proc/loadavg: 7.47 7.89 7.37 9/184 27374 /proc/meminfo: memFree=24346552/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=289772 CPUtime=5.97 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 13143 0 0 0 596 1 0 0 20 0 4 0 602065205 296726528 7705 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 72443 7705 389 106 0 67414 0 [pid=27370/tid=27371] ppid=27368 vsize=289772 CPUtime=1.49 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 2995 0 0 0 149 0 0 0 19 0 4 0 602065206 296726528 7705 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=289772 CPUtime=1.49 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 3573 0 0 0 149 0 0 0 20 0 4 0 602065206 296726528 7705 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=289772 CPUtime=1.48 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 3199 0 0 0 148 0 0 0 25 0 4 0 602065206 296726528 7705 33554432000 4194304 4627427 140734337505872 18446744073709551615 4427870 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 289772 [startup+3.10096 s] /proc/loadavg: 7.51 7.90 7.37 9/184 27374 /proc/meminfo: memFree=24319520/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=291100 CPUtime=12.37 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 19643 0 0 0 1235 2 0 0 25 0 4 0 602065205 298086400 9539 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 72775 9539 389 106 0 67746 0 [pid=27370/tid=27371] ppid=27368 vsize=291100 CPUtime=3.09 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 5331 0 0 0 309 0 0 0 25 0 4 0 602065206 298086400 9539 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=291100 CPUtime=3.08 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 4915 0 0 0 308 0 0 0 25 0 4 0 602065206 298086400 9539 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=291100 CPUtime=3.07 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 4528 0 0 0 307 0 0 0 25 0 4 0 602065206 298086400 9539 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 291100 [startup+6.3004 s] /proc/loadavg: 7.51 7.90 7.37 9/184 27374 /proc/meminfo: memFree=24270976/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=297044 CPUtime=25.15 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 33146 0 0 0 2510 5 0 0 25 0 4 0 602065205 304173056 14050 33554432000 4194304 4627427 140734337505872 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 74261 14050 389 106 0 69232 0 [pid=27370/tid=27371] ppid=27368 vsize=297044 CPUtime=6.29 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 8641 0 0 0 628 1 0 0 25 0 4 0 602065206 304173056 14050 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=297044 CPUtime=6.29 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 8166 0 0 0 628 1 0 0 25 0 4 0 602065206 304173056 14050 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=297044 CPUtime=6.26 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 8133 0 0 0 625 1 0 0 25 0 4 0 602065206 304173056 14050 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 297044 [startup+12.7003 s] /proc/loadavg: 7.66 7.91 7.38 9/184 27375 /proc/meminfo: memFree=24224660/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=301456 CPUtime=50.72 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 51691 0 0 0 5063 9 0 0 25 0 4 0 602065205 308690944 19541 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 75364 19541 389 106 0 70335 0 [pid=27370/tid=27371] ppid=27368 vsize=301456 CPUtime=12.69 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 13438 0 0 0 1267 2 0 0 25 0 4 0 602065206 308690944 19541 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=301456 CPUtime=12.69 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 13138 0 0 0 1267 2 0 0 25 0 4 0 602065206 308690944 19541 33554432000 4194304 4627427 140734337505872 18446744073709551615 4338556 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=301456 CPUtime=12.63 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 12273 0 0 0 1261 2 0 0 25 0 4 0 602065206 308690944 19541 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 301456 [startup+25.5011 s] /proc/loadavg: 7.71 7.92 7.39 9/184 27375 /proc/meminfo: memFree=24160780/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=315832 CPUtime=101.85 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 78379 0 0 0 10172 13 0 0 25 0 4 0 602065205 323411968 26694 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 78958 26694 389 106 0 73929 0 [pid=27370/tid=27371] ppid=27368 vsize=315832 CPUtime=25.49 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 20106 0 0 0 2546 3 0 0 25 0 4 0 602065206 323411968 26694 33554432000 4194304 4627427 140734337505872 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=315832 CPUtime=25.48 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 20988 0 0 0 2545 3 0 0 25 0 4 0 602065206 323411968 26694 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=315832 CPUtime=25.35 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 19244 0 0 0 2532 3 0 0 25 0 4 0 602065206 323411968 26694 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 315832 [startup+51.1006 s] /proc/loadavg: 7.81 7.92 7.40 9/184 27375 /proc/meminfo: memFree=24117804/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=330336 CPUtime=204.12 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 116142 0 0 0 20391 21 0 0 25 0 4 0 602065205 338264064 34605 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 82584 34605 389 106 0 77555 0 [pid=27370/tid=27371] ppid=27368 vsize=330336 CPUtime=51.09 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 29944 0 0 0 5104 5 0 0 25 0 4 0 602065206 338264064 34605 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=330336 CPUtime=51.08 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 32160 0 0 0 5102 6 0 0 25 0 4 0 602065206 338264064 34605 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=330336 CPUtime=50.82 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 31875 0 0 0 5077 5 0 0 25 0 4 0 602065206 338264064 34605 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 204.12 Current children cumulated vsize (KiB) 330336 [startup+102.307 s] /proc/loadavg: 7.97 7.95 7.44 9/184 27377 /proc/meminfo: memFree=24011144/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=338444 CPUtime=408.67 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 181642 0 0 0 40828 39 0 0 25 0 4 0 602065205 346566656 45814 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 84611 45814 389 106 0 79582 0 [pid=27370/tid=27371] ppid=27368 vsize=338444 CPUtime=102.29 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 47984 0 0 0 10220 9 0 0 25 0 4 0 602065206 346566656 45814 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=338444 CPUtime=102.3 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 50083 0 0 0 10218 12 0 0 25 0 4 0 602065206 346566656 45814 33554432000 4194304 4627427 140734337505872 18446744073709551615 4338564 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=338444 CPUtime=101.75 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 50684 0 0 0 10165 10 0 0 25 0 4 0 602065206 346566656 45814 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.67 Current children cumulated vsize (KiB) 338444 [startup+162.301 s] ################ # More data... # ################ [pid=27370] ppid=27368 vsize=569296 CPUtime=2805.44 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 456257 0 0 0 280417 127 0 0 25 0 4 0 602065205 582959104 109834 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 142324 109834 389 106 0 137295 0 [pid=27370/tid=27371] ppid=27368 vsize=569296 CPUtime=702.3 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 119360 0 0 0 70199 31 0 0 25 0 4 0 602065206 582959104 109834 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=569296 CPUtime=702.3 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 163075 0 0 0 70181 49 0 0 25 0 4 0 602065206 582959104 109834 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=569296 CPUtime=698.5 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 124891 0 0 0 69817 33 0 0 25 0 4 0 602065206 582959104 109834 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2805.44 Current children cumulated vsize (KiB) 569296 [startup+762.307 s] /proc/loadavg: 8.10 8.06 7.74 9/184 27395 /proc/meminfo: memFree=23560268/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=569296 CPUtime=3045.13 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 459798 0 0 0 304383 130 0 0 25 0 4 0 602065205 582959104 108340 33554432000 4194304 4627427 140734337505872 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 142324 108340 389 106 0 137295 0 [pid=27370/tid=27371] ppid=27368 vsize=569296 CPUtime=762.31 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 119360 0 0 0 76200 31 0 0 25 0 4 0 602065206 582959104 108340 33554432000 4194304 4627427 140734337505872 18446744073709551615 4427290 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=569296 CPUtime=762.31 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 166616 0 0 0 76178 53 0 0 25 0 4 0 602065206 582959104 108340 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=569296 CPUtime=758.18 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 124891 0 0 0 75785 33 0 0 25 0 4 0 602065206 582959104 108340 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3045.13 Current children cumulated vsize (KiB) 569296 [startup+822.301 s] /proc/loadavg: 8.08 8.06 7.76 9/184 27396 /proc/meminfo: memFree=23536556/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=655880 CPUtime=3284.79 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 486785 0 0 0 328342 137 0 0 25 0 4 0 602065205 671621120 113995 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 163970 113995 389 106 0 158941 0 [pid=27370/tid=27371] ppid=27368 vsize=655880 CPUtime=822.29 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 124581 0 0 0 82197 32 0 0 25 0 4 0 602065206 671621120 113995 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=655880 CPUtime=822.31 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 175917 0 0 0 82176 55 0 0 25 0 4 0 602065206 671621120 113995 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=655880 CPUtime=817.85 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 132650 0 0 0 81750 35 0 0 25 0 4 0 602065206 671621120 113995 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3284.79 Current children cumulated vsize (KiB) 655880 [startup+882.301 s] /proc/loadavg: 8.07 8.06 7.78 9/184 27398 /proc/meminfo: memFree=23532052/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=669384 CPUtime=3524.47 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 498224 0 0 0 352304 143 0 0 25 0 4 0 602065205 685449216 116953 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 167346 116953 389 106 0 162317 0 [pid=27370/tid=27371] ppid=27368 vsize=669384 CPUtime=882.29 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 127595 0 0 0 88196 33 0 0 25 0 4 0 602065206 685449216 116953 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=669384 CPUtime=882.3 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 181941 0 0 0 88172 58 0 0 25 0 4 0 602065206 685449216 116953 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=669384 CPUtime=877.52 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 135051 0 0 0 87716 36 0 0 25 0 4 0 602065206 685449216 116953 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3524.47 Current children cumulated vsize (KiB) 669384 [startup+942.3 s] /proc/loadavg: 8.06 8.06 7.79 9/184 27399 /proc/meminfo: memFree=23502612/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=617924 CPUtime=3764.14 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 515483 0 0 0 376264 150 0 0 25 0 4 0 602065205 632754176 118500 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 154481 118500 389 106 0 149452 0 [pid=27370/tid=27371] ppid=27368 vsize=617924 CPUtime=942.29 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 131062 0 0 0 94194 35 0 0 25 0 4 0 602065206 632754176 118500 33554432000 4194304 4627427 140734337505872 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=617924 CPUtime=942.31 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 191648 0 0 0 94168 63 0 0 25 0 4 0 602065206 632754176 118500 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=617924 CPUtime=937.2 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 135544 0 0 0 93684 36 0 0 25 0 4 0 602065206 632754176 118500 33554432000 4194304 4627427 140734337505872 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3764.14 Current children cumulated vsize (KiB) 617924 [startup+1002.3 s] /proc/loadavg: 8.11 8.08 7.82 9/184 27401 /proc/meminfo: memFree=23462776/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=684260 CPUtime=4003.82 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 531462 0 0 0 400222 160 0 0 25 0 4 0 602065205 700682240 125708 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 171065 125708 389 106 0 166036 0 [pid=27370/tid=27371] ppid=27368 vsize=684260 CPUtime=1002.3 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 138126 0 0 0 100190 40 0 0 25 0 4 0 602065206 700682240 125708 33554432000 4194304 4627427 140734337505872 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=684260 CPUtime=1002.31 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 200331 0 0 0 100164 67 0 0 25 0 4 0 602065206 700682240 125708 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=684260 CPUtime=996.87 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 135547 0 0 0 99651 36 0 0 25 0 4 0 602065206 700682240 125708 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4003.82 Current children cumulated vsize (KiB) 684260 [startup+1062.3 s] /proc/loadavg: 8.12 8.09 7.83 9/184 27402 /proc/meminfo: memFree=23417576/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=698792 CPUtime=4243.5 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 549129 0 0 0 424181 169 0 0 25 0 4 0 602065205 715563008 131214 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420181 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 174698 131214 389 106 0 169669 0 [pid=27370/tid=27371] ppid=27368 vsize=698792 CPUtime=1062.3 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 145948 0 0 0 106186 44 0 0 25 0 4 0 602065206 715563008 131214 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=698792 CPUtime=1062.31 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 207095 0 0 0 106159 72 0 0 25 0 4 0 602065206 715563008 131214 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=698792 CPUtime=1056.54 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 138626 0 0 0 105617 37 0 0 25 0 4 0 602065206 715563008 131214 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4243.5 Current children cumulated vsize (KiB) 698792 [startup+1122.3 s] /proc/loadavg: 8.09 8.08 7.84 9/184 27404 /proc/meminfo: memFree=23367056/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=699000 CPUtime=4483.17 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 560391 0 0 0 448141 176 0 0 25 0 4 0 602065205 715776000 136484 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 174750 136484 389 106 0 169721 0 [pid=27370/tid=27371] ppid=27368 vsize=699000 CPUtime=1122.3 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 146836 0 0 0 112185 45 0 0 25 0 4 0 602065206 715776000 136484 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=699000 CPUtime=1122.31 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 216698 0 0 0 112154 77 0 0 25 0 4 0 602065206 715776000 136484 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=699000 CPUtime=1116.21 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 138989 0 0 0 111584 37 0 0 25 0 4 0 602065206 715776000 136484 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4483.17 Current children cumulated vsize (KiB) 699000 [startup+1182.3 s] /proc/loadavg: 8.08 8.08 7.86 9/184 27406 /proc/meminfo: memFree=23413140/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=671872 CPUtime=4722.86 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 564074 0 0 0 472107 179 0 0 25 0 4 0 602065205 687996928 130035 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 167968 130035 389 106 0 162939 0 [pid=27370/tid=27371] ppid=27368 vsize=671872 CPUtime=1182.3 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 147122 0 0 0 118185 45 0 0 25 0 4 0 602065206 687996928 130035 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=671872 CPUtime=1182.31 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 216698 0 0 0 118154 77 0 0 25 0 4 0 602065206 687996928 130035 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=671872 CPUtime=1175.89 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 138989 0 0 0 117552 37 0 0 25 0 4 0 602065206 687996928 130035 33554432000 4194304 4627427 140734337505872 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4722.86 Current children cumulated vsize (KiB) 671872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.12 8.09 7.86 5/180 27407 /proc/meminfo: memFree=23869092/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=740868 CPUtime=4800.37 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 567939 0 0 0 479856 181 0 0 25 0 4 0 602065205 758648832 127417 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 185217 127417 389 106 0 180188 0 [pid=27370/tid=27371] ppid=27368 vsize=740868 CPUtime=1201.71 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 147577 0 0 0 120126 45 0 0 25 0 4 0 602065206 758648832 127417 33554432000 4194304 4627427 140734337505872 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=740868 CPUtime=1201.72 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 216698 0 0 0 120095 77 0 0 25 0 4 0 602065206 758648832 127417 33554432000 4194304 4627427 140734337505872 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=740868 CPUtime=1195.19 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 139544 0 0 0 119481 38 0 0 25 0 4 0 602065206 758648832 127417 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.37 Current children cumulated vsize (KiB) 740868 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.12 8.09 7.86 5/180 27407 /proc/meminfo: memFree=23869092/32951124 swapFree=67102140/67111528 [pid=27370] ppid=27368 vsize=740868 CPUtime=4800.37 cores=1,3,5,7 /proc/27370/stat : 27370 (strangenight2-m) R 27368 27370 26610 0 -1 4202496 567939 0 0 0 479856 181 0 0 25 0 4 0 602065205 758648832 127417 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27370/statm: 185217 127417 389 106 0 180188 0 [pid=27370/tid=27371] ppid=27368 vsize=740868 CPUtime=1201.71 cores=1,3,5,7 /proc/27370/task/27371/stat : 27371 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 147577 0 0 0 120126 45 0 0 25 0 4 0 602065206 758648832 127417 33554432000 4194304 4627427 140734337505872 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27370/tid=27372] ppid=27368 vsize=740868 CPUtime=1201.72 cores=1,3,5,7 /proc/27370/task/27372/stat : 27372 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 216698 0 0 0 120095 77 0 0 25 0 4 0 602065206 758648832 127417 33554432000 4194304 4627427 140734337505872 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27370/tid=27373] ppid=27368 vsize=740868 CPUtime=1195.19 cores=1,3,5,7 /proc/27370/task/27373/stat : 27373 (strangenight2-m) R 27368 27370 26610 0 -1 4202560 139544 0 0 0 119481 38 0 0 25 0 4 0 602065206 758648832 127417 33554432000 4194304 4627427 140734337505872 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.37 Current children cumulated vsize (KiB) 740868 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.74 CPU time (s): 4800.42 CPU user time (s): 4798.59 CPU system time (s): 1.83872 CPU usage (%): 399.457 Max. virtual memory (cumulated for all children) (KiB): 753820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.59 system time used= 1.83872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 567940 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= 75 involuntary context switches= 32667 runsolver used 1.89771 second user time and 4.64629 second system time The end
Begin job on node119 at 2011-04-30 01:05:45 IDJOB=3273851 IDBENCH=83148 IDSOLVER=1586 FILE ID=node119/3273851-1304118345 RUNJOBID= node119-1304118345-27348 PBS_JOBID= 13170679 Free space on /tmp= 71812 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt 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-3273851-1304118345/watcher-3273851-1304118345 -o /tmp/evaluation-result-3273851-1304118345/solver-3273851-1304118345 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3273851-1304118345.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca44a78076b8228fbb99ecc0147f157f RANDOM SEED=1723903655 node119.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.815 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.63 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.815 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 : 5332.83 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.815 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.815 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.83 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.815 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.67 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.815 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.83 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.815 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24379872 kB Buffers: 1913316 kB Cached: 6034920 kB SwapCached: 3688 kB Active: 175684 kB Inactive: 7833612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24379872 kB SwapTotal: 67111528 kB SwapFree: 67102140 kB Dirty: 11272 kB Writeback: 0 kB AnonPages: 60908 kB Mapped: 15116 kB Slab: 499020 kB PageTables: 4900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 273804 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= 71804 MiB End job on node119 at 2011-04-30 01:25:49