| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.31 | 1201.74 |
| Name | crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf |
| MD5SUM | e0b064ae815c6a8bb8a9898180562bec |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 153 |
| Number of clauses | 316 |
| Sum of the clauses size | 948 |
| 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 | 316 |
| 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.02 c Outputting solution to console 0.00/0.03 c Using 4 threads 0.00/0.03 c This is CryptoMiniSat 3.0.0 0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.03 c Reading file 'HOME/instance-3273616-1304118177.cnf' 0.00/0.03 c -- header says num vars: 153 0.00/0.03 c -- header says num clauses: 316 0.00/0.03 c -- clauses added: 0 learnts, 316 normals, 0 xors 0.00/0.03 c -- vars added 153 0.00/0.03 c Parsing time: 0.00 s 0.00/0.03 c N st 0 0 153 316 0 0 948 0 no data no data 0.00/0.03 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.00 0.00/0.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.03 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 0.00/0.03 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.00/0.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 0.00/0.03 c Finding binary XORs T: 0.00 s found: 0 0.00/0.03 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.03 c calculated reachability. Time: 0.00 0.00/0.03 c Calc default polars - time: 0.00 s pos: 5 undec: 143 neg: 5 0.00/0.03 c ========================================================================================= 0.00/0.03 c types(t): F = full restart, N = normal restart 0.00/0.03 c types(t): S = simplification begin/end, E = solution found 0.00/0.03 c restart types(rt): st = static, dy = dynamic 0.00/0.03 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.03 c B st 0 0 153 316 0 0 948 0 no data no data 0.32/0.12 c Decided on static restart strategy 0.32/0.12 c N st 8 4914 153 316 0 4409 948 95671 no data no data 0.68/0.26 c N st 10 11298 153 316 0 4021 948 68692 no data no data 1.48/0.43 c N st 11 17042 153 316 0 9069 948 196990 no data no data 2.28/0.68 c F st 12 25002 153 316 0 11023 948 227262 no data no data 2.28/0.68 c N st 12 25002 153 316 0 11023 948 227262 no data no data 3.08/0.81 c Decided on static restart strategy 3.08/0.81 c N st 18 30003 153 316 0 9569 948 164563 no data no data 3.08/0.81 c S st 18 30003 153 316 0 9569 948 164563 no data no data 3.08/0.83 c S st 18 30504 153 316 0 10057 948 175449 no data no data 3.08/0.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3.08/0.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 3.08/0.83 c blocked clauses removed: 0 vars: 0 tried: 153 T: 0.00 s 3.08/0.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.08/0.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.08/0.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 3.08/0.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.08/0.83 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 3.08/0.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.48/0.90 c lits-rem: 778 cl-subs: 520 v-elim: 0 v-fix: 0 time: 0.06 s 3.48/0.90 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.00 3.48/0.90 c calculated reachability. Time: 0.00 3.48/0.90 c N st 18 30504 153 316 0 9537 948 161533 no data no data 4.29/1.13 c N st 20 37615 153 316 0 8785 948 138149 no data no data 5.07/1.35 c N st 21 44016 153 316 0 14567 948 292829 no data no data 5.47/1.42 c S st 22 45757 153 316 0 8194 948 117564 no data no data 5.47/1.44 c S st 22 46261 153 316 0 8685 948 127638 no data no data 5.47/1.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.47/1.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 5.47/1.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 5.47/1.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.47/1.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.47/1.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 5.47/1.44 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 5.47/1.44 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 5.47/1.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.47/1.46 c lits-rem: 151 cl-subs: 107 v-elim: 0 v-fix: 0 time: 0.01 s 5.47/1.46 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 5.47/1.46 c vivif2 -- cl tried 8578 cl shrink 0 lits rem 0 time: 0.00 5.47/1.46 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.00 5.47/1.46 c calculated reachability. Time: 0.00 5.47/1.46 c N st 22 46261 153 316 0 8578 948 124865 no data no data 7.88/2.06 c N st 23 60660 153 316 0 12512 948 224453 no data no data 9.47/2.43 c N st 24 69391 153 316 0 10419 948 155526 no data no data 9.47/2.43 c S st 24 69391 153 316 0 10419 948 155526 no data no data 9.47/2.45 c S st 24 69895 153 316 0 10912 948 165987 no data no data 9.47/2.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 9.47/2.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 9.47/2.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 9.47/2.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 9.47/2.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.47/2.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 9.47/2.45 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.47/2.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 9.47/2.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.47/2.49 c lits-rem: 438 cl-subs: 209 v-elim: 0 v-fix: 0 time: 0.03 s 9.47/2.49 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 9.47/2.50 c vivif2 -- cl tried 10703 cl shrink 0 lits rem 0 time: 0.00 9.87/2.50 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.00 9.87/2.50 c calculated reachability. Time: 0.00 9.87/2.50 c N st 24 69895 153 316 0 10703 948 159688 no data no data 12.26/3.18 c F st 25 87500 153 316 0 15211 948 265090 no data no data 12.26/3.18 c N st 25 87500 153 316 0 15211 948 265090 no data no data 13.08/3.36 c Decided on static restart strategy 13.48/3.48 c N st 32 95540 153 316 0 22534 948 432401 no data no data 15.06/3.88 c N st 34 104844 153 316 0 19741 948 378902 no data no data 15.06/3.88 c S st 34 104844 153 316 0 19741 948 378902 no data no data 15.46/3.92 c S st 34 105347 153 316 0 20222 948 389318 no data no data 15.46/3.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 15.46/3.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 15.46/3.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 15.46/3.93 c bin-w-bin subsume rem 0 bins time: 0.00 s 15.46/3.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 15.46/3.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 15.46/3.93 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 15.46/3.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 15.46/3.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 16.26/4.12 c lits-rem: 1277 cl-subs: 484 v-elim: 0 v-fix: 0 time: 0.18 s 16.26/4.12 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 16.26/4.13 c vivif2 -- cl tried 19738 cl shrink 0 lits rem 0 time: 0.00 16.26/4.13 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.00 16.26/4.13 c calculated reachability. Time: 0.00 16.26/4.13 c N st 34 105347 153 316 0 19738 948 372230 no data no data 17.88/4.59 c N st 35 114946 153 316 0 15996 948 263144 no data no data 20.65/5.27 c N st 36 129344 153 316 0 15235 948 215623 no data no data 24.26/6.15 c N st 37 150940 153 316 0 19187 948 301838 no data no data 25.46/6.45 c S st 38 158021 153 316 0 25353 948 462815 no data no data 25.46/6.49 c S st 38 158524 153 316 0 25838 948 473683 no data no data 25.46/6.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 25.86/6.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00 25.86/6.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 25.86/6.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 25.86/6.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 25.86/6.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 25.86/6.50 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.86/6.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 25.86/6.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 28.65/7.21 c lits-rem: 3544 cl-subs: 2979 v-elim: 0 v-fix: 0 time: 0.69 s 28.65/7.21 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 28.65/7.22 c vivif2 -- cl tried 22859 cl shrink 0 lits rem 0 time: 0.00 28.65/7.22 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.00 28.65/7.22 c calculated reachability. Time: 0.00 28.65/7.22 c N st 38 158524 153 316 0 22859 948 384581 no data no data 39.45/9.98 c N st 39 207112 153 316 0 18639 948 280418 no data no data 46.62/11.70 c N st 40 237786 153 316 0 27712 948 519990 no data no data 46.62/11.70 c S st 40 237786 153 316 0 27712 948 519990 no data no data 46.62/11.76 c S st 40 238288 153 316 0 28198 948 531362 no data no data 46.62/11.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 46.62/11.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 46.62/11.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 46.62/11.77 c bin-w-bin subsume rem 0 bins time: 0.00 s 46.62/11.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 46.62/11.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 46.62/11.77 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 46.62/11.78 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 46.62/11.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 53.03/13.35 c lits-rem: 5239 cl-subs: 3490 v-elim: 0 v-fix: 0 time: 1.56 s 53.03/13.35 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 53.03/13.36 c vivif2 -- cl tried 24708 cl shrink 0 lits rem 0 time: 0.01 53.03/13.36 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.01 53.03/13.36 c calculated reachability. Time: 0.00 53.03/13.36 c N st 40 238288 153 316 0 24708 948 425667 no data no data 70.61/17.74 c F st 41 306251 153 316 0 26636 948 460799 no data no data 70.61/17.74 c N st 41 306251 153 316 0 26636 948 460799 no data no data 71.79/18.01 c Decided on static restart strategy 76.59/19.26 c N st 51 334554 153 316 0 30861 948 522456 no data no data 82.57/20.75 c N st 53 357432 153 316 0 28891 948 474769 no data no data 82.57/20.75 c S st 53 357432 153 316 0 28891 948 474769 no data no data 82.97/20.80 c S st 53 357934 153 316 0 29379 948 485893 no data no data 82.97/20.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 82.97/20.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 82.97/20.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 82.97/20.81 c bin-w-bin subsume rem 0 bins time: 0.00 s 82.97/20.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 82.97/20.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 82.97/20.81 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 82.97/20.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 82.97/20.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 84.96/21.34 c lits-rem: 3174 cl-subs: 1396 v-elim: 0 v-fix: 0 time: 0.51 s 84.96/21.34 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 84.96/21.34 c vivif2 -- cl tried 27983 cl shrink 0 lits rem 0 time: 0.01 84.96/21.35 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.01 84.96/21.35 c calculated reachability. Time: 0.00 84.96/21.35 c N st 53 357934 153 316 0 27983 948 445201 no data no data 92.58/23.23 c N st 54 390327 153 316 0 32832 948 551287 no data no data 106.54/26.74 c N st 55 438917 153 316 0 27408 948 406306 no data no data 125.31/31.46 c N st 56 511799 153 316 0 38220 948 677898 no data no data 131.73/33.10 c N st 57 536901 153 316 0 33842 948 536125 no data no data 131.73/33.10 c S st 57 536901 153 316 0 33842 948 536125 no data no data 132.13/33.16 c S st 57 537405 153 316 0 34338 948 548080 no data no data 132.13/33.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 132.13/33.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 132.13/33.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 132.13/33.17 c bin-w-bin subsume rem 0 bins time: 0.00 s 132.13/33.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 132.13/33.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 132.13/33.17 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 132.13/33.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 132.13/33.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 135.30/33.95 c lits-rem: 5009 cl-subs: 1407 v-elim: 0 v-fix: 0 time: 0.76 s 135.30/33.95 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 135.30/33.96 c vivif2 -- cl tried 32931 cl shrink 0 lits rem 0 time: 0.01 135.30/33.96 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.01 135.30/33.97 c calculated reachability. Time: 0.00 135.30/33.97 c N st 57 537405 153 316 0 32931 948 501370 no data no data 187.63/47.06 c N st 58 701390 153 316 0 58107 948 1091473 no data no data 224.40/56.27 c N st 59 806109 153 316 0 54096 948 1042060 no data no data 224.40/56.27 c S st 59 806109 153 316 0 54096 948 1042060 no data no data 224.77/56.37 c S st 59 806612 153 316 0 54592 948 1054118 no data no data 224.77/56.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 224.77/56.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.01 224.77/56.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 224.77/56.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 224.77/56.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 224.77/56.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 224.77/56.39 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 225.17/56.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 225.17/56.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 248.35/62.25 c lits-rem: 13266 cl-subs: 5492 v-elim: 0 v-fix: 0 time: 5.82 s 248.35/62.25 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 248.35/62.26 c vivif2 -- cl tried 49100 cl shrink 0 lits rem 0 time: 0.01 248.35/62.28 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.02 248.35/62.29 c calculated reachability. Time: 0.00 248.35/62.29 c N st 59 806612 153 316 0 49100 948 876725 no data no data 348.61/87.36 c F st 60 1071878 153 316 0 62544 948 1162690 no data no data 348.61/87.36 c N st 60 1071878 153 316 0 62544 948 1162690 no data no data 351.01/87.94 c Decided on static restart strategy 359.81/90.12 c N st 70 1100184 153 316 0 50231 948 788271 no data no data 372.99/93.48 c N st 72 1136178 153 316 0 41681 948 558490 no data no data 385.36/96.55 c N st 73 1168571 153 316 0 71222 948 1442595 no data no data 406.54/101.82 c N st 74 1209918 153 316 0 66062 948 1234451 no data no data 406.54/101.82 c S st 74 1209918 153 316 0 66062 948 1234451 no data no data 407.34/102.03 c S st 74 1210421 153 316 0 66558 948 1247757 no data no data 407.34/102.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 407.34/102.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.04 407.34/102.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 407.34/102.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 407.34/102.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 407.34/102.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 407.34/102.08 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 407.74/102.11 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 407.74/102.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 450.88/112.90 c lits-rem: 7242 cl-subs: 5041 v-elim: 0 v-fix: 0 time: 10.75 s 450.88/112.90 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 450.88/112.92 c vivif2 -- cl tried 61517 cl shrink 0 lits rem 0 time: 0.01 450.88/112.94 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.02 450.88/112.94 c calculated reachability. Time: 0.00 450.88/112.94 c N st 74 1210421 153 316 0 61517 948 1083746 no data no data 484.44/121.33 c N st 75 1283305 153 316 0 84136 948 1711188 no data no data 539.16/135.05 c N st 76 1392629 153 316 0 45072 948 606118 no data no data 599.48/150.11 c N st 77 1556614 153 316 0 48860 948 651681 no data no data 660.60/165.46 c N st 78 1710421 153 316 0 85212 948 1581746 no data no data 660.60/165.46 c S st 78 1710421 153 316 0 85212 948 1581746 no data no data 661.40/165.63 c S st 78 1710924 153 316 0 85705 948 1593952 no data no data 661.40/165.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 661.40/165.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.03 661.40/165.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 661.40/165.67 c bin-w-bin subsume rem 0 bins time: 0.00 s 661.40/165.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 661.40/165.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 661.40/165.67 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 661.40/165.69 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 661.80/165.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 732.50/183.40 c lits-rem: 28564 cl-subs: 12777 v-elim: 0 v-fix: 0 time: 17.66 s 732.50/183.40 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 732.50/183.41 c vivif2 -- cl tried 72928 cl shrink 0 lits rem 0 time: 0.02 732.50/183.44 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.02 732.50/183.44 c calculated reachability. Time: 0.00 732.50/183.44 c N st 78 1710924 153 316 0 72928 948 1240243 no data no data 913.87/228.83 c N st 79 2079888 153 316 0 84538 948 1483320 no data no data 978.17/244.93 c N st 80 2210925 153 316 0 90085 948 1640183 no data no data 978.17/244.93 c S st 80 2210925 153 316 0 90085 948 1640183 no data no data 978.97/245.10 c S st 80 2211427 153 316 0 90581 948 1652722 no data no data 978.97/245.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 978.97/245.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03 978.97/245.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 978.97/245.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 978.97/245.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 978.97/245.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 978.97/245.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 978.97/245.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 979.37/245.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1040.88/260.69 c lits-rem: 15501 cl-subs: 8944 v-elim: 0 v-fix: 0 time: 15.48 s 1040.88/260.69 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 1041.30/260.71 c vivif2 -- cl tried 81637 cl shrink 0 lits rem 0 time: 0.02 1041.30/260.74 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.03 1041.30/260.74 c calculated reachability. Time: 0.00 1041.30/260.74 c N st 80 2211427 153 316 0 81637 948 1370498 no data no data 1308.53/327.64 c N st 81 2711428 153 316 0 100295 948 1792304 no data no data 1308.53/327.64 c S st 81 2711428 153 316 0 100295 948 1792304 no data no data 1309.34/327.84 c S st 81 2711934 153 316 0 100786 948 1804623 no data no data 1309.34/327.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1309.34/327.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.04 1309.34/327.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1309.34/327.88 c bin-w-bin subsume rem 0 bins time: 0.00 s 1309.34/327.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1309.34/327.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 1309.34/327.88 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1309.74/327.91 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 1309.74/327.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1398.00/350.09 c lits-rem: 13918 cl-subs: 13072 v-elim: 0 v-fix: 0 time: 22.14 s 1398.00/350.09 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 1398.40/350.11 c vivif2 -- cl tried 87714 cl shrink 0 lits rem 0 time: 0.02 1398.40/350.15 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.03 1398.40/350.15 c calculated reachability. Time: 0.00 1398.40/350.15 c N st 81 2711934 153 316 0 87714 948 1418408 no data no data 1694.00/424.14 c N st 82 3211935 153 316 0 70898 948 962187 no data no data 1694.00/424.14 c S st 82 3211935 153 316 0 70898 948 962187 no data no data 1694.80/424.33 c S st 82 3212441 153 316 0 71393 948 975731 no data no data 1694.80/424.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1694.80/424.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.04 1694.80/424.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1694.80/424.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 1694.80/424.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1694.80/424.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 1694.80/424.37 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1694.80/424.39 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 1695.20/424.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1701.19/425.97 c lits-rem: 1778 cl-subs: 1135 v-elim: 0 v-fix: 0 time: 1.55 s 1701.19/425.97 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 1701.19/425.98 c vivif2 -- cl tried 70258 cl shrink 0 lits rem 0 time: 0.01 1701.59/426.02 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.03 1701.59/426.02 c calculated reachability. Time: 0.00 1701.59/426.02 c N st 82 3212441 153 316 0 70258 948 940369 no data no data 2021.96/506.20 c N st 83 3712442 153 316 0 80982 948 1135708 no data no data 2021.96/506.20 c S st 83 3712442 153 316 0 80982 948 1135708 no data no data 2022.76/506.40 c S st 83 3712945 153 316 0 81472 948 1147875 no data no data 2022.76/506.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2022.76/506.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 2022.76/506.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2022.76/506.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 2022.76/506.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2022.76/506.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 2022.76/506.45 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2022.76/506.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 2023.16/506.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2030.37/508.31 c lits-rem: 4209 cl-subs: 1070 v-elim: 0 v-fix: 0 time: 1.80 s 2030.37/508.31 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 2030.37/508.33 c vivif2 -- cl tried 80402 cl shrink 0 lits rem 0 time: 0.02 2030.37/508.36 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.03 2030.37/508.37 c calculated reachability. Time: 0.00 2030.37/508.37 c N st 83 3712945 153 316 0 80402 948 1112005 no data no data 2053.12/514.02 c F st 84 3751562 153 316 0 113448 948 2009224 no data no data 2053.12/514.02 c N st 84 3751562 153 316 0 113448 948 2009224 no data no data 2056.34/514.80 c Decided on static restart strategy 2072.30/518.86 c N st 94 3779867 153 316 0 138382 948 2670704 no data no data 2094.27/524.37 c N st 96 3815860 153 316 0 97496 948 1617646 no data no data 2116.64/529.90 c N st 97 3848253 153 316 0 125574 948 2453469 no data no data 2152.19/538.81 c N st 98 3896841 153 316 0 92240 948 1389516 no data no data 2208.12/552.83 c N st 99 3969725 153 316 0 78887 948 1043893 no data no data 2266.84/567.59 c N st 100 4079048 153 316 0 94669 948 1441401 no data no data 2350.33/588.45 c N st 101 4212947 153 316 0 131189 948 2533573 no data no data 2350.33/588.45 c S st 101 4212947 153 316 0 131189 948 2533573 no data no data 2351.14/588.68 c S st 101 4213452 153 316 0 131690 948 2546528 no data no data 2351.14/588.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2351.52/588.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.06 2351.52/588.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2351.52/588.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 2351.52/588.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2351.52/588.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 2351.52/588.75 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2351.52/588.79 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 2351.92/588.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2526.51/632.60 c lits-rem: 22949 cl-subs: 14433 v-elim: 0 v-fix: 0 time: 43.75 s 2526.51/632.60 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 2526.91/632.63 c vivif2 -- cl tried 117257 cl shrink 0 lits rem 0 time: 0.03 2527.28/632.70 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.07 2527.28/632.71 c calculated reachability. Time: 0.00 2527.28/632.71 c N st 101 4213452 153 316 0 117257 948 2083011 no data no data 2735.00/684.77 c N st 102 4459433 153 316 0 99146 948 1535211 no data no data 2921.97/731.51 c N st 103 4713455 153 316 0 151671 948 2828019 no data no data 2921.97/731.51 c S st 103 4713455 153 316 0 151671 948 2828019 no data no data 2923.15/731.86 c S st 103 4713958 153 316 0 152170 948 2839902 no data no data 2923.15/731.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2923.55/731.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.07 2923.55/731.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2923.55/731.93 c bin-w-bin subsume rem 0 bins time: 0.00 s 2923.55/731.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2923.55/731.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 2923.55/731.93 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2923.55/731.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 2923.95/732.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3318.23/830.78 c lits-rem: 32924 cl-subs: 32516 v-elim: 0 v-fix: 0 time: 98.73 s 3318.23/830.78 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 3318.63/830.82 c vivif2 -- cl tried 119654 cl shrink 0 lits rem 0 time: 0.04 3319.03/830.91 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.09 3319.03/830.91 c calculated reachability. Time: 0.00 3319.03/830.91 c N st 103 4713958 153 316 0 119654 948 1918683 no data no data 3672.15/919.36 c N st 104 5213958 153 316 0 136734 948 2354815 no data no data 3672.15/919.36 c S st 104 5213958 153 316 0 136734 948 2354815 no data no data 3673.36/919.63 c S st 104 5214462 153 316 0 137230 948 2367917 no data no data 3673.36/919.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3673.36/919.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.7M T: 0.06 3673.36/919.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3673.36/919.70 c bin-w-bin subsume rem 0 bins time: 0.00 s 3673.36/919.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3673.36/919.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 3673.36/919.70 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3673.77/919.73 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 3673.77/919.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3821.15/956.60 c lits-rem: 23751 cl-subs: 13810 v-elim: 0 v-fix: 0 time: 36.81 s 3821.15/956.60 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 3821.15/956.63 c vivif2 -- cl tried 123420 cl shrink 0 lits rem 0 time: 0.03 3821.55/956.71 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.07 3821.55/956.71 c calculated reachability. Time: 0.00 3821.55/956.71 c N st 104 5214462 153 316 0 123420 948 1957274 no data no data 4197.44/1050.85 c N st 105 5714465 153 316 0 118988 948 1917219 no data no data 4197.44/1050.85 c S st 105 5714465 153 316 0 118988 948 1917219 no data no data 4199.04/1051.20 c S st 105 5714969 153 316 0 119481 948 1930578 no data no data 4199.04/1051.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 4199.04/1051.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.08 4199.44/1051.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4199.44/1051.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 4199.44/1051.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4199.44/1051.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 4199.44/1051.30 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4199.44/1051.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 4199.84/1051.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4300.91/1076.78 c lits-rem: 14479 cl-subs: 7896 v-elim: 0 v-fix: 0 time: 25.37 s 4300.91/1076.78 c vivif2 -- cl tried 316 cl shrink 0 lits rem 0 time: 0.00 4301.31/1076.80 c vivif2 -- cl tried 111585 cl shrink 0 lits rem 0 time: 0.03 4301.31/1076.87 c asymm cl-useful: 0/316/316 lits-rem:0 time: 0.06 4301.31/1076.87 c calculated reachability. Time: 0.00 4301.31/1076.87 c N st 105 5714969 153 316 0 111585 948 1687798 no data no data 4738.71/1186.36 c N st 106 6214969 153 316 0 179079 948 3712943 no data no data 4738.71/1186.36 c S st 106 6214969 153 316 0 179079 948 3712943 no data no data 4740.71/1186.89 c S st 106 6215470 153 316 0 179567 948 3726107 no data no data 4741.13/1186.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4741.53/1187.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.11 4741.53/1187.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4741.53/1187.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 4741.53/1187.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4741.53/1187.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 153 time: 0.00 s 4741.53/1187.01 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4741.53/1187.08 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 4741.90/1187.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
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-3273616-1304118177/watcher-3273616-1304118177 -o /tmp/evaluation-result-3273616-1304118177/solver-3273616-1304118177 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3273616-1304118177.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: 8.15 8.09 7.93 8/180 4452 /proc/meminfo: memFree=31206992/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=11800 CPUtime=0 cores=1,3,5,7 /proc/4452/stat : 4452 (runsolver) S 4450 4452 4213 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 523416473 12083200 51 33554432000 4194304 5434984 140737038760112 18446744073709551615 4881607 0 2147483391 4096 24578 18446744071699977015 0 0 17 7 0 0 0 /proc/4452/statm: 2950 51 31 303 0 2644 0 [startup+0.111955 s] /proc/loadavg: 8.15 8.09 7.93 8/180 4452 /proc/meminfo: memFree=31206992/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=299012 CPUtime=0.32 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 1436 0 0 0 32 0 0 0 25 0 4 0 523416473 306188288 1227 33554432000 4194304 4627427 140737165723296 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 74753 1227 385 106 0 69724 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 299012 [startup+0.200138 s] /proc/loadavg: 8.15 8.09 7.93 8/180 4452 /proc/meminfo: memFree=31206992/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=282960 CPUtime=0.68 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 2099 0 0 0 68 0 0 0 25 0 4 0 523416473 289751040 1575 33554432000 4194304 4627427 140737165723296 18446744073709551615 4328697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 70740 1575 385 106 0 65711 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 282960 [startup+0.300121 s] /proc/loadavg: 8.15 8.09 7.93 8/180 4452 /proc/meminfo: memFree=31206992/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=283560 CPUtime=1.08 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 2874 0 0 0 108 0 0 0 25 0 4 0 523416473 290365440 1578 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 70890 1579 385 106 0 65861 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 283560 [startup+0.70105 s] /proc/loadavg: 8.15 8.09 7.93 8/180 4452 /proc/meminfo: memFree=31206992/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=284648 CPUtime=2.68 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 5012 0 0 0 268 0 0 0 25 0 4 0 523416473 291479552 2409 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 71162 2409 386 106 0 66133 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 284648 [startup+1.50091 s] /proc/loadavg: 8.15 8.09 7.93 9/184 4456 /proc/meminfo: memFree=31181044/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=284896 CPUtime=5.87 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 12692 0 0 0 586 1 0 0 25 0 4 0 523416473 291733504 7043 33554432000 4194304 4627427 140737165723296 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 71224 7043 389 106 0 66195 0 [pid=4452/tid=4454] ppid=4450 vsize=284896 CPUtime=1.46 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 3024 0 0 0 146 0 0 0 25 0 4 0 523416475 291733504 7043 33554432000 4194304 4627427 140737165723296 18446744073709551615 4330928 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=284896 CPUtime=1.46 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 3845 0 0 0 146 0 0 0 25 0 4 0 523416475 291733504 7043 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=284896 CPUtime=1.46 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 2223 0 0 0 146 0 0 0 25 0 4 0 523416475 291733504 7043 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.87 Current children cumulated vsize (KiB) 284896 [startup+3.10063 s] /proc/loadavg: 8.15 8.09 7.93 9/184 4456 /proc/meminfo: memFree=31149272/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=285552 CPUtime=12.26 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 21611 0 0 0 1224 2 0 0 25 0 4 0 523416473 292405248 10023 33554432000 4194304 4627427 140737165723296 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 71388 10024 389 106 0 66359 0 [pid=4452/tid=4454] ppid=4450 vsize=285552 CPUtime=3.05 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 5523 0 0 0 305 0 0 0 25 0 4 0 523416475 292405248 10024 33554432000 4194304 4627427 140737165723296 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=285552 CPUtime=3.06 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 5467 0 0 0 306 0 0 0 25 0 4 0 523416475 292405248 10024 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=285552 CPUtime=3.06 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 5405 0 0 0 306 0 0 0 25 0 4 0 523416475 292405248 10024 33554432000 4194304 4627427 140737165723296 18446744073709551615 4327392 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.26 Current children cumulated vsize (KiB) 285552 [startup+6.30107 s] /proc/loadavg: 8.14 8.09 7.93 9/184 4456 /proc/meminfo: memFree=31089500/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=298996 CPUtime=25.06 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 35448 0 0 0 2501 5 0 0 25 0 4 0 523416473 306171904 15939 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 74749 15939 389 106 0 69720 0 [pid=4452/tid=4454] ppid=4450 vsize=298996 CPUtime=6.24 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 8516 0 0 0 623 1 0 0 25 0 4 0 523416475 306171904 15939 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309186 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=298996 CPUtime=6.26 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 8709 0 0 0 625 1 0 0 25 0 4 0 523416475 306171904 15939 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=298996 CPUtime=6.26 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 9142 0 0 0 625 1 0 0 25 0 4 0 523416475 306171904 15939 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.06 Current children cumulated vsize (KiB) 298996 [startup+12.7009 s] /proc/loadavg: 8.13 8.09 7.93 10/184 4456 /proc/meminfo: memFree=31028976/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=307968 CPUtime=50.62 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 56435 0 0 0 5055 7 0 0 25 0 4 0 523416473 315359232 23495 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420116 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 76992 23495 389 106 0 71963 0 [pid=4452/tid=4454] ppid=4450 vsize=307968 CPUtime=12.6 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 13778 0 0 0 1259 1 0 0 25 0 4 0 523416475 315359232 23495 33554432000 4194304 4627427 140737165723296 18446744073709551615 4427851 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=307968 CPUtime=12.66 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 14139 0 0 0 1265 1 0 0 25 0 4 0 523416475 315359232 23495 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=307968 CPUtime=12.67 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 13636 0 0 0 1265 2 0 0 25 0 4 0 523416475 315359232 23495 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.62 Current children cumulated vsize (KiB) 307968 [startup+25.5007 s] /proc/loadavg: 8.25 8.12 7.94 9/184 4456 /proc/meminfo: memFree=30978872/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=296072 CPUtime=101.75 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 85478 0 0 0 10161 14 0 0 25 0 4 0 523416473 303177728 30979 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 74018 30979 389 106 0 68989 0 [pid=4452/tid=4454] ppid=4450 vsize=296072 CPUtime=25.33 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 20814 0 0 0 2531 2 0 0 25 0 4 0 523416475 303177728 30979 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=296072 CPUtime=25.46 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 22437 0 0 0 2543 3 0 0 25 0 4 0 523416475 303177728 30979 33554432000 4194304 4627427 140737165723296 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=296072 CPUtime=25.47 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 21809 0 0 0 2543 4 0 0 25 0 4 0 523416475 303177728 30979 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.75 Current children cumulated vsize (KiB) 296072 [startup+51.1012 s] /proc/loadavg: 8.16 8.11 7.94 9/184 4457 /proc/meminfo: memFree=30931820/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=316808 CPUtime=204.01 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 131193 0 0 0 20380 21 0 0 25 0 4 0 523416473 324411392 36283 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 79202 36283 389 106 0 74173 0 [pid=4452/tid=4454] ppid=4450 vsize=316808 CPUtime=50.8 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 28173 0 0 0 5076 4 0 0 25 0 4 0 523416475 324411392 36283 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=316808 CPUtime=51.06 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 33940 0 0 0 5100 6 0 0 25 0 4 0 523416475 324411392 36283 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=316808 CPUtime=51.06 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 36448 0 0 0 5101 5 0 0 25 0 4 0 523416475 324411392 36283 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 204.01 Current children cumulated vsize (KiB) 316808 [startup+102.301 s] /proc/loadavg: 8.43 8.18 7.97 10/184 4461 /proc/meminfo: memFree=30812940/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=384760 CPUtime=408.56 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 210281 0 0 0 40820 36 0 0 25 0 4 0 523416473 393994240 58704 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 96190 58704 389 106 0 91161 0 [pid=4452/tid=4454] ppid=4450 vsize=384760 CPUtime=101.72 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 45694 0 0 0 10166 6 0 0 25 0 4 0 523416475 393994240 58704 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=384760 CPUtime=102.27 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 50902 0 0 0 10217 10 0 0 25 0 4 0 523416475 393994240 58704 33554432000 4194304 4627427 140737165723296 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=384760 CPUtime=102.27 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 61683 0 0 0 10217 10 0 0 25 0 4 0 523416475 393994240 58704 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.56 Current children cumulated vsize (KiB) 384760 [startup+162.301 s] /proc/loadavg: 8.16 8.15 7.97 10/184 4463 /proc/meminfo: memFree=30695764/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=499648 CPUtime=648.21 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 268262 0 0 0 64768 53 0 0 25 0 4 0 523416473 511639552 74385 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 124912 74385 389 106 0 119883 0 [pid=4452/tid=4454] ppid=4450 vsize=499648 CPUtime=161.39 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 57870 0 0 0 16128 11 0 0 25 0 4 0 523416475 511639552 74385 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=499648 CPUtime=162.26 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 66393 0 0 0 16212 14 0 0 25 0 4 0 523416475 511639552 74385 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=499648 CPUtime=162.27 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 78704 0 0 0 16213 14 0 0 25 0 4 0 523416475 511639552 74385 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 648.21 Current children cumulated vsize (KiB) 499648 [startup+222.307 s] /proc/loadavg: 8.06 8.12 7.97 9/184 4464 /proc/meminfo: memFree=30669436/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=555852 CPUtime=887.91 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 323513 0 0 0 88721 70 0 0 25 0 4 0 523416473 569192448 78295 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 138963 78295 389 106 0 133934 0 [pid=4452/tid=4454] ppid=4450 vsize=555852 CPUtime=221.07 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 70449 0 0 0 22092 15 0 0 25 0 4 0 523416475 569192448 78295 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=555852 CPUtime=222.28 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 80326 0 0 0 22209 19 0 0 25 0 4 0 523416475 569192448 78295 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=555852 CPUtime=222.27 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 97356 0 0 0 22207 20 0 0 25 0 4 0 523416475 569192448 78295 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 887.91 Current children cumulated vsize (KiB) 555852 [startup+282.301 s] ################ # More data... # ################ [pid=4452] ppid=4450 vsize=716516 CPUtime=2565.64 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 594730 0 0 0 256401 163 0 0 25 0 4 0 523416473 733712384 126989 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 179129 126989 389 106 0 174100 0 [pid=4452/tid=4454] ppid=4450 vsize=716516 CPUtime=638.79 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 149260 0 0 0 63837 42 0 0 25 0 4 0 523416475 733712384 126989 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=716516 CPUtime=642.27 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 112455 0 0 0 64199 28 0 0 25 0 4 0 523416475 733712384 126989 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=716516 CPUtime=642.27 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 183136 0 0 0 64176 51 0 0 25 0 4 0 523416475 733712384 126989 33554432000 4194304 4627427 140737165723296 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2565.64 Current children cumulated vsize (KiB) 716516 [startup+702.301 s] /proc/loadavg: 8.19 8.11 8.01 10/184 4477 /proc/meminfo: memFree=30319796/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=771880 CPUtime=2805.31 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 616090 0 0 0 280357 174 0 0 25 0 4 0 523416473 790405120 135580 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 192970 135580 389 106 0 187941 0 [pid=4452/tid=4454] ppid=4450 vsize=771880 CPUtime=698.46 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 156668 0 0 0 69800 46 0 0 25 0 4 0 523416475 790405120 135580 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=771880 CPUtime=702.28 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 112933 0 0 0 70199 29 0 0 25 0 4 0 523416475 790405120 135580 33554432000 4194304 4627427 140737165723296 18446744073709551615 4330994 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=771880 CPUtime=702.28 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 189641 0 0 0 70173 55 0 0 25 0 4 0 523416475 790405120 135580 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2805.31 Current children cumulated vsize (KiB) 771880 [startup+762.301 s] /proc/loadavg: 8.20 8.12 8.01 10/184 4479 /proc/meminfo: memFree=30293592/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=687992 CPUtime=3045.02 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 644704 0 0 0 304317 185 0 0 25 0 4 0 523416473 704503808 137598 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 171998 137598 389 106 0 166969 0 [pid=4452/tid=4454] ppid=4450 vsize=687992 CPUtime=758.13 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 163298 0 0 0 75765 48 0 0 25 0 4 0 523416475 704503808 137598 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=687992 CPUtime=762.28 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 118116 0 0 0 76198 30 0 0 25 0 4 0 523416475 704503808 137598 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=687992 CPUtime=762.29 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 201181 0 0 0 76169 60 0 0 25 0 4 0 523416475 704503808 137598 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3045.02 Current children cumulated vsize (KiB) 687992 [startup+822.301 s] /proc/loadavg: 8.20 8.12 8.02 10/184 4480 /proc/meminfo: memFree=30243340/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=767636 CPUtime=3284.67 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 661968 0 0 0 328273 194 0 0 25 0 4 0 523416473 786059264 150230 33554432000 4194304 4627427 140737165723296 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 191909 150230 389 106 0 186880 0 [pid=4452/tid=4454] ppid=4450 vsize=767636 CPUtime=817.8 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 173556 0 0 0 81726 54 0 0 25 0 4 0 523416475 786059264 150230 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=767636 CPUtime=822.28 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 119791 0 0 0 82196 32 0 0 25 0 4 0 523416475 786059264 150230 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420174 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=767636 CPUtime=822.28 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 206512 0 0 0 82166 62 0 0 25 0 4 0 523416475 786059264 150230 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3284.67 Current children cumulated vsize (KiB) 767636 [startup+882.307 s] /proc/loadavg: 8.18 8.13 8.02 9/184 4482 /proc/meminfo: memFree=30228300/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=885168 CPUtime=3524.37 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 683667 0 0 0 352234 203 0 0 25 0 4 0 523416473 906412032 148091 33554432000 4194304 4627427 140737165723296 18446744073709551615 4507248 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 221292 148091 389 106 0 216263 0 [pid=4452/tid=4454] ppid=4450 vsize=885168 CPUtime=877.48 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 177483 0 0 0 87692 56 0 0 25 0 4 0 523416475 906412032 148091 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=885168 CPUtime=882.29 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 120387 0 0 0 88197 32 0 0 25 0 4 0 523416475 906412032 148091 33554432000 4194304 4627427 140737165723296 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=885168 CPUtime=882.28 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 217790 0 0 0 88161 67 0 0 25 0 4 0 523416475 906412032 148091 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3524.37 Current children cumulated vsize (KiB) 885168 [startup+942.301 s] /proc/loadavg: 8.12 8.12 8.02 9/184 4483 /proc/meminfo: memFree=30218220/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=852236 CPUtime=3764.03 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 708013 0 0 0 376189 214 0 0 25 0 4 0 523416473 872689664 150691 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 213059 150691 389 106 0 208030 0 [pid=4452/tid=4454] ppid=4450 vsize=852236 CPUtime=937.15 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 188718 0 0 0 93655 60 0 0 25 0 4 0 523416475 872689664 150691 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=852236 CPUtime=942.28 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 121459 0 0 0 94196 32 0 0 25 0 4 0 523416475 872689664 150691 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=852236 CPUtime=942.28 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 225533 0 0 0 94158 70 0 0 25 0 4 0 523416475 872689664 150691 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3764.03 Current children cumulated vsize (KiB) 852236 [startup+1002.3 s] /proc/loadavg: 8.10 8.11 8.02 9/184 4485 /proc/meminfo: memFree=30170288/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=852624 CPUtime=4003.7 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 736441 0 0 0 400143 227 0 0 25 0 4 0 523416473 873086976 152556 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 213156 152556 389 106 0 208127 0 [pid=4452/tid=4454] ppid=4450 vsize=852624 CPUtime=996.82 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 198638 0 0 0 99617 65 0 0 25 0 4 0 523416475 873086976 152556 33554432000 4194304 4627427 140737165723296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=852624 CPUtime=1002.29 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 122168 0 0 0 100196 33 0 0 25 0 4 0 523416475 873086976 152556 33554432000 4194304 4627427 140737165723296 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=852624 CPUtime=1002.28 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 238539 0 0 0 100153 75 0 0 25 0 4 0 523416475 873086976 152556 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4003.7 Current children cumulated vsize (KiB) 852624 [startup+1062.3 s] /proc/loadavg: 8.08 8.10 8.02 9/184 4487 /proc/meminfo: memFree=30156612/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=899128 CPUtime=4243.38 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 754791 0 0 0 424101 237 0 0 25 0 4 0 523416473 920707072 158592 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 224782 158592 389 106 0 219753 0 [pid=4452/tid=4454] ppid=4450 vsize=899128 CPUtime=1056.5 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 206782 0 0 0 105580 70 0 0 25 0 4 0 523416475 920707072 158592 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=899128 CPUtime=1062.28 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 123273 0 0 0 106195 33 0 0 25 0 4 0 523416475 920707072 158592 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=899128 CPUtime=1062.29 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 239496 0 0 0 106153 76 0 0 25 0 4 0 523416475 920707072 158592 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4243.38 Current children cumulated vsize (KiB) 899128 [startup+1122.3 s] /proc/loadavg: 8.07 8.10 8.02 10/184 4488 /proc/meminfo: memFree=30096300/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=970972 CPUtime=4483.06 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 775301 0 0 0 448057 249 0 0 25 0 4 0 523416473 994275328 172515 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 242743 172515 389 106 0 237714 0 [pid=4452/tid=4454] ppid=4450 vsize=970972 CPUtime=1116.18 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 206782 0 0 0 111548 70 0 0 25 0 4 0 523416475 994275328 172515 33554432000 4194304 4627427 140737165723296 18446744073709551615 4468063 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=970972 CPUtime=1122.29 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 127398 0 0 0 112193 36 0 0 25 0 4 0 523416475 994275328 172515 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=970972 CPUtime=1122.29 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 249079 0 0 0 112148 81 0 0 25 0 4 0 523416475 994275328 172515 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4483.06 Current children cumulated vsize (KiB) 970972 [startup+1182.3 s] /proc/loadavg: 8.07 8.09 8.02 10/184 4490 /proc/meminfo: memFree=30093664/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=959608 CPUtime=4722.74 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 800224 0 0 0 472013 261 0 0 25 0 4 0 523416473 982638592 161314 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 239902 161314 389 106 0 234873 0 [pid=4452/tid=4454] ppid=4450 vsize=959608 CPUtime=1175.85 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 213975 0 0 0 117513 72 0 0 25 0 4 0 523416475 982638592 161314 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=959608 CPUtime=1182.29 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 131937 0 0 0 118189 40 0 0 25 0 4 0 523416475 982638592 161314 33554432000 4194304 4627427 140737165723296 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=959608 CPUtime=1182.29 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 255289 0 0 0 118146 83 0 0 25 0 4 0 523416475 982638592 161314 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4722.74 Current children cumulated vsize (KiB) 959608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.12 8.10 8.03 9/184 4491 /proc/meminfo: memFree=30086344/32950928 swapFree=67111404/67111528 [pid=4452] ppid=4450 vsize=1027912 CPUtime=4800.24 cores=1,3,5,7 /proc/4452/stat : 4452 (strangenight2-m) R 4450 4452 4213 0 -1 4202496 814431 0 0 0 479759 265 0 0 25 0 4 0 523416473 1052581888 171485 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420171 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/4452/statm: 256978 171485 389 106 0 251949 0 [pid=4452/tid=4454] ppid=4450 vsize=1027912 CPUtime=1195.14 cores=1,3,5,7 /proc/4452/task/4454/stat : 4454 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 216244 0 0 0 119440 74 0 0 25 0 4 0 523416475 1052581888 171485 33554432000 4194304 4627427 140737165723296 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4452/tid=4455] ppid=4450 vsize=1027912 CPUtime=1201.69 cores=1,3,5,7 /proc/4452/task/4455/stat : 4455 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 135755 0 0 0 120128 41 0 0 25 0 4 0 523416475 1052581888 171485 33554432000 4194304 4627427 140737165723296 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4452/tid=4456] ppid=4450 vsize=1027912 CPUtime=1201.7 cores=1,3,5,7 /proc/4452/task/4456/stat : 4456 (strangenight2-m) R 4450 4452 4213 0 -1 4202560 255289 0 0 0 120087 83 0 0 25 0 4 0 523416475 1052581888 171485 33554432000 4194304 4627427 140737165723296 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.24 Current children cumulated vsize (KiB) 1027912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.74 CPU time (s): 4800.31 CPU user time (s): 4797.62 CPU system time (s): 2.68659 CPU usage (%): 399.446 Max. virtual memory (cumulated for all children) (KiB): 1147704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.62 system time used= 2.68659 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 814431 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= 113 involuntary context switches= 20199 runsolver used 1.89571 second user time and 4.67329 second system time The end
Begin job on node120 at 2011-04-30 01:02:57 IDJOB=3273616 IDBENCH=83143 IDSOLVER=1586 FILE ID=node120/3273616-1304118177 RUNJOBID= node120-1304115769-4232 PBS_JOBID= 13170710 Free space on /tmp= 72072 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n150-s89334302-unsat.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3273616-1304118177/watcher-3273616-1304118177 -o /tmp/evaluation-result-3273616-1304118177/solver-3273616-1304118177 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3273616-1304118177.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0b064ae815c6a8bb8a9898180562bec RANDOM SEED=901909369 node120.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.809 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.61 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.809 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.07 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.78 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.809 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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: 31207024 kB Buffers: 498716 kB Cached: 819592 kB SwapCached: 8 kB Active: 417932 kB Inactive: 967184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31207024 kB SwapTotal: 67111528 kB SwapFree: 67111404 kB Dirty: 10884 kB Writeback: 0 kB AnonPages: 66520 kB Mapped: 15688 kB Slab: 295916 kB PageTables: 4268 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 275684 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= 72064 MiB End job on node120 at 2011-04-30 01:23:01