| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.22 | 1203.03 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf |
| MD5SUM | ea8a8c80a9c6e1328d7a171765d2b8ef |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.099984 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60 |
| Number of clauses | 5340 |
| Sum of the clauses size | 37380 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 5340 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368993-1305409509.cnf' 0.00/0.01 c -- header says num vars: 60 0.00/0.01 c -- header says num clauses: 5340 0.00/0.01 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.00/0.01 c -- vars added 60 0.00/0.01 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.37/0.12 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.46 0.37/0.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.37/0.13 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.37/0.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.37/0.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.37/0.13 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.37/0.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.37/0.14 c Finding binary XORs T: 0.00 s found: 0 0.37/0.15 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.37/0.15 c calculated reachability. Time: 0.00 0.37/0.15 c Calc default polars - time: 0.00 s pos: 26 undec: 2 neg: 32 0.37/0.15 c ========================================================================================= 0.37/0.15 c types(t): F = full restart, N = normal restart 0.37/0.15 c types(t): S = simplification begin/end, E = solution found 0.37/0.15 c restart types(rt): st = static, dy = dynamic 0.37/0.15 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.37/0.15 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 0.77/0.25 c N dy 8 4018 60 5340 0 3558 37380 76228 17.47 20.15 -- 1.56/0.40 c N dy 21 8984 60 5340 0 5772 37380 115481 17.56 18.51 -- 1.97/0.56 c N dy 54 13052 60 5340 0 5624 37380 106450 18.23 20.37 -- 2.77/0.74 c N dy 64 17118 60 5340 0 9209 37380 181502 18.14 19.26 -- 3.57/0.91 c N dy 83 21132 60 5340 0 7763 37380 142896 18.27 19.38 -- 3.98/1.09 c F st 97 25000 60 5340 0 11219 37380 217281 18.33 19.17 -- 4.40/1.11 c N st 98 25250 60 5340 0 11440 37380 222042 18.33 no data -- 5.16/1.31 c N dy 103 30001 60 5340 0 9626 37380 173121 18.33 no data -- 5.16/1.31 c S st 103 30001 60 5340 0 9626 37380 173121 18.33 no data -- 5.16/1.34 c S st 103 30504 60 5340 0 10091 37380 183415 18.33 no data -- 5.16/1.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.16/1.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.16/1.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 5.16/1.35 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.16/1.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.16/1.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.16/1.35 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.15/2.30 c lits-rem: 1372 cl-subs: 1010 v-elim: 0 v-fix: 0 time: 3.78 s 9.95/2.56 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.06 9.95/2.56 c calculated reachability. Time: 0.00 9.95/2.56 c N dy 103 30504 60 5340 0 9081 37380 160864 18.33 no data -- 10.75/2.76 c N dy 107 34524 60 5340 0 12664 37380 235728 18.18 20.16 -- 12.35/3.16 c N dy 131 42842 60 5340 0 13090 37380 236398 18.17 19.29 -- 13.18/3.32 c S st 136 45756 60 5340 0 15677 37380 291029 18.14 17.24 -- 13.18/3.37 c S st 136 46258 60 5340 0 8192 37380 124580 18.14 no data -- 13.18/3.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.18/3.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.18/3.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.18/3.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.18/3.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.18/3.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.18/3.38 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.34/4.10 c lits-rem: 149 cl-subs: 35 v-elim: 0 v-fix: 0 time: 2.89 s 16.34/4.10 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.34/4.10 c vivif2 -- cl tried 8157 cl shrink 0 lits rem 0 time: 0.00 17.15/4.32 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.88 17.15/4.33 c calculated reachability. Time: 0.00 17.15/4.33 c N dy 136 46258 60 5340 0 8157 37380 123544 18.14 no data -- 18.33/4.64 c N dy 154 52410 60 5340 0 13581 37380 237270 18.10 19.08 -- 19.53/4.94 c N dy 161 57531 60 5340 0 9271 37380 136709 18.05 19.22 -- 21.12/5.38 c N dy 179 66067 60 5340 0 16842 37380 295467 17.98 19.09 -- 21.95/5.59 c S st 182 69387 60 5340 0 10043 37380 145190 17.90 15.11 -- 22.31/5.62 c S st 182 69890 60 5340 0 10497 37380 154962 17.90 no data -- 22.31/5.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.31/5.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.31/5.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 22.31/5.63 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.31/5.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.31/5.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.31/5.63 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.51/6.44 c lits-rem: 256 cl-subs: 182 v-elim: 0 v-fix: 0 time: 3.26 s 25.51/6.44 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 25.51/6.44 c vivif2 -- cl tried 10315 cl shrink 0 lits rem 0 time: 0.00 26.71/6.71 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.06 26.71/6.71 c calculated reachability. Time: 0.00 26.71/6.71 c N dy 182 69890 60 5340 0 10315 37380 151072 17.90 no data -- 27.91/7.03 c N dy 191 75990 60 5340 0 15685 37380 261523 17.85 18.83 -- 30.74/7.72 c F st 200 87502 60 5340 0 15218 37380 239679 17.70 16.51 -- 30.74/7.73 c N st 200 87502 60 5340 0 15218 37380 239679 17.70 16.51 -- 31.89/8.08 c N dy 209 93153 60 5340 0 20197 37380 345560 17.71 19.54 -- 34.30/8.60 c N dy 261 99145 60 5340 0 14106 37380 213578 17.83 20.53 -- 35.49/8.99 c S st 290 104836 60 5340 0 19190 37380 319991 17.85 16.67 -- 35.89/9.05 c S st 290 105337 60 5340 0 19648 37380 330152 17.85 no data -- 35.89/9.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 35.89/9.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 35.89/9.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 35.89/9.06 c bin-w-bin subsume rem 0 bins time: 0.00 s 35.89/9.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 35.89/9.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 35.89/9.06 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 42.28/10.65 c lits-rem: 1839 cl-subs: 1894 v-elim: 0 v-fix: 0 time: 6.34 s 42.28/10.65 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 42.28/10.66 c vivif2 -- cl tried 17754 cl shrink 0 lits rem 0 time: 0.01 43.91/11.02 c asymm cl-useful: 0/4417/5340 lits-rem:0 time: 1.44 43.91/11.02 c calculated reachability. Time: 0.00 43.91/11.02 c N dy 290 105337 60 5340 0 17754 37380 287871 17.85 no data -- 46.66/11.76 c N dy 317 114972 60 5340 0 13979 37380 197726 17.82 18.78 -- 49.46/12.45 c N dy 339 125189 60 5340 0 23041 37380 386471 17.79 18.75 -- 52.69/13.24 c N dy 370 135122 60 5340 0 18586 37380 283794 17.80 18.78 -- 55.45/13.93 c N dy 411 143809 60 5340 0 26309 37380 449892 17.84 19.43 -- 58.24/14.66 c N dy 446 153094 60 5340 0 20356 37380 311154 17.85 18.88 -- 59.83/15.05 c S st 466 158007 60 5340 0 24712 37380 404282 17.87 17.63 -- 60.23/15.12 c S st 466 158508 60 5340 0 25163 37380 414306 17.87 no data -- 60.23/15.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 60.23/15.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 60.23/15.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 60.23/15.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 60.23/15.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 60.23/15.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 60.23/15.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 67.81/17.06 c lits-rem: 2027 cl-subs: 2815 v-elim: 0 v-fix: 0 time: 7.64 s 67.81/17.06 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 67.81/17.06 c vivif2 -- cl tried 22348 cl shrink 0 lits rem 0 time: 0.02 68.22/17.17 c asymm cl-useful: 0/923/5340 lits-rem:0 time: 0.41 68.22/17.17 c calculated reachability. Time: 0.00 68.22/17.17 c N dy 466 158508 60 5340 0 22348 37380 354766 17.87 no data -- 72.60/18.22 c N dy 501 170047 60 5340 0 17681 37380 246456 17.88 18.91 -- 78.61/19.79 c N dy 587 186530 60 5340 0 16461 37380 211639 17.94 18.89 -- 82.58/20.73 c N dy 624 198801 60 5340 0 27416 37380 444332 17.94 19.03 -- 87.81/22.08 c N dy 693 211615 60 5340 0 21968 37380 321184 17.99 18.99 -- 93.76/23.57 c N dy 745 226407 60 5340 0 35115 37380 600820 18.01 19.02 -- 97.75/24.59 c S st 792 237763 60 5340 0 27462 37380 426374 18.03 no data -- 98.15/24.66 c S st 792 238268 60 5340 0 27918 37380 436490 18.03 no data -- 98.15/24.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 98.15/24.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 98.15/24.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 98.15/24.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 98.15/24.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 98.15/24.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 98.15/24.68 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 106.92/26.84 c lits-rem: 2374 cl-subs: 2491 v-elim: 0 v-fix: 0 time: 8.61 s 106.92/26.84 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 106.92/26.85 c vivif2 -- cl tried 25427 cl shrink 0 lits rem 0 time: 0.02 108.53/27.24 c asymm cl-useful: 0/3336/5340 lits-rem:0 time: 1.59 108.53/27.24 c calculated reachability. Time: 0.00 108.53/27.24 c N dy 792 238268 60 5340 0 25427 37380 381422 18.03 no data -- 118.12/29.63 c N dy 830 264958 60 5340 0 30404 37380 462360 17.90 18.93 -- 125.28/31.45 c N dy 918 281949 60 5340 0 26151 37380 377832 17.94 19.35 -- 133.27/33.46 c N dy 979 299955 60 5340 0 21715 37380 269982 17.94 19.14 -- 135.68/34.03 c F st 1014 306250 60 5340 0 27326 37380 390903 17.96 16.15 -- 140.84/35.38 c N dy 1053 319159 60 5340 0 38742 37380 634488 17.97 19.82 -- 150.43/37.73 c N dy 1158 339347 60 5340 0 35524 37380 559779 18.02 18.97 -- 158.41/39.73 c S st 1207 357404 60 5340 0 29312 37380 413144 18.01 17.21 -- 158.80/39.81 c S st 1207 357904 60 5340 0 29768 37380 423178 18.01 no data -- 158.80/39.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 158.80/39.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 158.80/39.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 158.80/39.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 158.80/39.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 158.80/39.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 158.80/39.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 167.19/41.99 c lits-rem: 1670 cl-subs: 1910 v-elim: 0 v-fix: 0 time: 8.62 s 167.19/41.99 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 167.19/41.99 c vivif2 -- cl tried 27858 cl shrink 0 lits rem 0 time: 0.02 168.39/42.27 c asymm cl-useful: 0/2004/5340 lits-rem:0 time: 1.11 168.39/42.27 c calculated reachability. Time: 0.00 168.39/42.27 c N dy 1207 357904 60 5340 0 27858 37380 382287 18.01 no data -- 181.15/45.49 c N dy 1297 377913 60 5340 0 45621 37380 757288 18.02 19.88 -- 191.54/48.08 c N dy 1352 399543 60 5340 0 41747 37380 663284 18.00 19.01 -- 201.11/50.45 c N dy 1398 419716 60 5340 0 35742 37380 523718 17.99 18.98 -- 213.49/53.55 c N dy 1458 444618 60 5340 0 32907 37380 447255 17.94 18.92 -- 225.06/56.48 c N dy 1536 465098 60 5340 0 51051 37380 833127 17.96 18.93 -- 238.23/59.75 c N dy 1615 491275 60 5340 0 48562 37380 773563 17.94 18.90 -- 249.41/62.52 c N dy 1720 511287 60 5340 0 39807 37380 585133 17.97 19.95 -- 261.38/65.56 c N dy 1782 532266 60 5340 0 30958 37380 385002 17.96 18.92 -- 263.40/66.08 c S st 1804 536858 60 5340 0 35019 37380 471970 17.97 17.94 -- 263.76/66.17 c S st 1804 537362 60 5340 0 35469 37380 482000 17.97 no data -- 263.76/66.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 263.76/66.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 263.76/66.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 263.76/66.19 c bin-w-bin subsume rem 0 bins time: 0.00 s 263.76/66.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 263.76/66.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 263.76/66.19 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 272.55/68.39 c lits-rem: 965 cl-subs: 1969 v-elim: 0 v-fix: 0 time: 8.79 s 272.55/68.40 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 272.95/68.40 c vivif2 -- cl tried 33500 cl shrink 0 lits rem 0 time: 0.02 274.15/68.76 c asymm cl-useful: 0/2728/5340 lits-rem:0 time: 1.43 274.15/68.76 c calculated reachability. Time: 0.00 274.15/68.76 c N dy 1804 537362 60 5340 0 33500 37380 439722 17.97 no data -- 288.11/72.29 c N dy 1901 561234 60 5340 0 54733 37380 891450 17.97 18.94 -- 299.28/75.09 c N dy 1994 581307 60 5340 0 44262 37380 660030 17.99 20.38 -- 313.66/78.66 c N dy 2119 601320 60 5340 0 32854 37380 407385 18.02 19.04 -- 324.87/81.42 c N dy 2200 621373 60 5340 0 50641 37380 786217 18.03 19.95 -- 340.40/85.30 c N dy 2319 644509 60 5340 0 41056 37380 571065 18.06 19.06 -- 355.60/89.15 c N dy 2414 665469 60 5340 0 59704 37380 971173 18.07 19.07 -- 369.53/92.62 c N dy 2498 686345 60 5340 0 47047 37380 686205 18.08 19.10 -- 385.50/96.67 c N dy 2569 709389 60 5340 0 35537 37380 431040 18.08 19.06 -- 399.86/100.25 c N dy 2690 729470 60 5340 0 53382 37380 816963 18.10 20.48 -- 414.63/103.96 c N dy 2765 749480 60 5340 0 38299 37380 481097 18.10 19.57 -- 427.40/107.18 c N dy 2826 769870 60 5340 0 56267 37380 857786 18.10 19.25 -- 449.35/112.63 c N dy 2852 806044 60 5340 0 54371 37380 783866 18.01 15.91 -- 449.35/112.63 c S st 2852 806044 60 5340 0 54371 37380 783866 18.01 15.91 -- 449.75/112.78 c S st 2852 806544 60 5340 0 54822 37380 793901 18.01 no data -- 449.75/112.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 449.75/112.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 450.15/112.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.08 450.15/112.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 450.15/112.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 450.15/112.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 450.15/112.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 482.08/120.80 c lits-rem: 2666 cl-subs: 7781 v-elim: 0 v-fix: 0 time: 31.81 s 482.08/120.80 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 482.08/120.81 c vivif2 -- cl tried 47041 cl shrink 0 lits rem 0 time: 0.03 482.91/121.06 c asymm cl-useful: 0/851/5340 lits-rem:0 time: 1.00 482.91/121.06 c calculated reachability. Time: 0.00 482.91/121.06 c N dy 2852 806544 60 5340 0 47041 37380 651777 18.01 no data -- 501.23/125.65 c N dy 2962 826662 60 5340 0 64937 37380 1036829 18.03 19.03 -- 514.80/129.07 c N dy 3017 847527 60 5340 0 49384 37380 694469 18.02 19.01 -- 532.36/133.43 c N dy 3112 868840 60 5340 0 68174 37380 1096807 18.03 19.00 -- 546.73/137.07 c N dy 3195 891283 60 5340 0 52909 37380 761991 18.04 19.05 -- 565.90/141.87 c N dy 3273 916271 60 5340 0 38954 37380 451174 18.04 19.11 -- 580.65/145.58 c N dy 3362 937762 60 5340 0 57994 37380 859171 18.04 19.01 -- 599.41/150.24 c N dy 3461 957770 60 5340 0 38623 37380 436380 18.06 19.34 -- 612.98/153.68 c N dy 3572 977794 60 5340 0 56382 37380 818837 18.07 19.28 -- 631.76/158.33 c N dy 3664 997830 60 5340 0 74126 37380 1197960 18.08 19.91 -- 645.70/161.88 c N dy 3740 1017856 60 5340 0 53758 37380 745429 18.08 20.23 -- 665.26/166.76 c N dy 3871 1038012 60 5340 0 71658 37380 1136477 18.10 19.07 -- 682.83/171.10 c N dy 3944 1060428 60 5340 0 52501 37380 710223 18.10 19.16 -- 692.41/173.57 c F st 4002 1071876 60 5340 0 62581 37380 923691 18.10 no data -- 701.59/175.90 c N dy 4035 1082303 60 5340 0 71798 37380 1124069 18.11 19.10 -- 720.34/180.56 c N dy 4128 1104848 60 5340 0 51909 37380 689026 18.12 19.08 -- 753.07/188.72 c N dy 4185 1151115 60 5340 0 51873 37380 663980 18.05 19.29 -- 775.02/194.27 c N dy 4327 1174526 60 5340 0 72604 37380 1111736 18.07 19.09 -- 797.37/199.84 c N dy 4402 1195183 60 5340 0 49467 37380 621520 18.07 19.03 -- 813.73/203.95 c S st 4514 1209816 60 5340 0 62462 37380 905965 18.09 17.84 -- 814.53/204.19 c S st 4514 1210319 60 5340 0 62917 37380 916133 18.09 no data -- 814.53/204.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 814.53/204.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 814.93/204.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.15 814.93/204.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 814.93/204.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 814.93/204.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 814.93/204.26 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 889.95/223.03 c lits-rem: 3063 cl-subs: 5205 v-elim: 0 v-fix: 0 time: 74.89 s 889.95/223.03 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 889.95/223.04 c vivif2 -- cl tried 57712 cl shrink 0 lits rem 0 time: 0.04 891.18/223.39 c asymm cl-useful: 0/673/5340 lits-rem:0 time: 1.37 891.18/223.39 c calculated reachability. Time: 0.00 891.18/223.39 c N dy 4514 1210319 60 5340 0 57712 37380 798617 18.09 no data -- 911.90/228.50 c N dy 4595 1230343 60 5340 0 75512 37380 1182574 18.09 20.62 -- 929.06/232.88 c N dy 4623 1253862 60 5340 0 54021 37380 697740 18.07 19.03 -- 947.02/237.30 c N dy 4718 1273890 60 5340 0 71761 37380 1080581 18.08 21.89 -- 968.97/242.80 c N dy 4814 1293920 60 5340 0 46353 37380 533434 18.09 20.88 -- 986.93/247.40 c N dy 4893 1315504 60 5340 0 65454 37380 943257 18.09 19.08 -- 1014.46/254.20 c N dy 5007 1335690 60 5340 0 83390 37380 1331204 18.11 19.15 -- 1036.81/259.84 c N dy 5136 1355770 60 5340 0 57035 37380 756318 18.12 19.12 -- 1059.96/265.61 c N dy 5229 1377231 60 5340 0 75982 37380 1161785 18.13 19.09 -- 1083.11/271.45 c N dy 5306 1397301 60 5340 0 48656 37380 562741 18.13 19.73 -- 1116.23/279.75 c N dy 5329 1441556 60 5340 0 87253 37380 1349246 18.06 19.07 -- 1136.19/284.76 c N dy 5442 1461941 60 5340 0 59555 37380 786398 18.07 19.03 -- 1152.15/288.75 c N dy 5471 1481966 60 5340 0 76963 37380 1148475 18.06 20.05 -- 1179.29/295.56 c N dy 5610 1501997 60 5340 0 48125 37380 532570 18.08 19.67 -- 1203.63/301.64 c N dy 5656 1534461 60 5340 0 76508 37380 1116408 18.06 19.08 -- 1242.75/311.44 c N dy 5759 1576526 60 5340 0 65948 37380 879419 18.03 19.08 -- 1268.31/317.87 c N dy 5886 1598425 60 5340 0 85276 37380 1297096 18.04 19.02 -- 1309.00/328.06 c N dy 5959 1643093 60 5340 0 76055 37380 1076648 18.00 18.99 -- 1333.75/334.30 c N dy 6049 1663268 60 5340 0 93899 37380 1459916 18.01 19.08 -- 1359.29/340.70 c N dy 6120 1691790 60 5340 0 69796 37380 952563 18.00 18.97 -- 1381.65/346.23 c S st 6238 1710320 60 5340 0 86209 37380 1309688 18.01 16.95 -- 1382.87/346.55 c S st 6238 1710825 60 5340 0 86662 37380 1319872 18.01 no data -- 1382.87/346.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1382.87/346.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1383.23/346.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.20 1383.23/346.65 c bin-w-bin subsume rem 0 bins time: 0.00 s 1383.23/346.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1383.23/346.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1383.23/346.65 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1568.78/393.16 c lits-rem: 5711 cl-subs: 10912 v-elim: 0 v-fix: 0 time: 185.52 s 1568.78/393.16 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1568.78/393.17 c vivif2 -- cl tried 75750 cl shrink 0 lits rem 0 time: 0.06 1570.78/393.62 c asymm cl-useful: 0/538/5340 lits-rem:0 time: 1.80 1570.78/393.63 c calculated reachability. Time: 0.00 1570.78/393.63 c N dy 6238 1710825 60 5340 0 75750 37380 1093312 18.01 no data -- 1606.32/402.60 c N dy 6391 1730897 60 5340 0 93604 37380 1484462 18.03 19.79 -- 1637.82/410.46 c N dy 6542 1750967 60 5340 0 61796 37380 793747 18.05 19.86 -- 1665.36/417.36 c N dy 6628 1770984 60 5340 0 79518 37380 1173635 18.05 20.76 -- 1689.73/423.49 c N dy 6631 1791198 60 5340 0 97199 37380 1536598 18.03 19.12 -- 1719.24/430.82 c N dy 6731 1811376 60 5340 0 64206 37380 828734 18.04 19.05 -- 1752.75/439.26 c N dy 6858 1831834 60 5340 0 82295 37380 1220022 18.05 19.03 -- 1811.83/454.01 c N dy 6887 1875595 60 5340 0 68726 37380 892751 18.01 19.08 -- 1846.94/462.87 c N dy 7045 1895660 60 5340 0 86612 37380 1286806 18.02 19.53 -- 1889.64/473.57 c N dy 7205 1915693 60 5340 0 104393 37380 1678226 18.04 19.01 -- 1914.79/479.87 c N dy 7314 1935866 60 5340 0 69357 37380 918967 18.05 19.05 -- 1954.29/489.73 c N dy 7367 1971875 60 5340 0 100780 37380 1563179 18.03 19.00 -- 1980.63/496.36 c N dy 7512 1991956 60 5340 0 64947 37380 817204 18.04 20.40 -- 2002.98/501.92 c N dy 7585 2012004 60 5340 0 82555 37380 1188863 18.04 19.43 -- 2028.17/508.27 c N dy 7621 2033935 60 5340 0 101797 37380 1591246 18.03 19.03 -- 2054.09/514.71 c N dy 7747 2053970 60 5340 0 64951 37380 805395 18.04 20.20 -- 2073.23/519.53 c N dy 7817 2074056 60 5340 0 82603 37380 1182181 18.04 21.42 -- 2111.58/529.11 c N dy 7890 2105047 60 5340 0 109692 37380 1745080 18.03 19.07 -- 2138.28/535.87 c N dy 8007 2130542 60 5340 0 76847 37380 1048042 18.04 19.02 -- 2181.40/546.68 c N dy 8122 2166918 60 5340 0 108796 37380 1721788 18.03 19.07 -- 2206.12/552.84 c N dy 8172 2190664 60 5340 0 73354 37380 952830 18.03 19.02 -- 2230.11/558.82 c N dy 8247 2210825 60 5340 0 91115 37380 1331565 18.03 17.14 -- 2230.11/558.82 c S st 8247 2210825 60 5340 0 91115 37380 1331565 18.03 17.14 -- 2230.87/559.10 c S st 8247 2211331 60 5340 0 91577 37380 1342135 18.03 no data -- 2231.27/559.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2231.27/559.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2231.27/559.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.17 2231.27/559.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 2231.27/559.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2231.27/559.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2231.27/559.18 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2333.44/584.78 c lits-rem: 5246 cl-subs: 10472 v-elim: 0 v-fix: 0 time: 102.13 s 2333.44/584.78 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2333.44/584.80 c vivif2 -- cl tried 81105 cl shrink 0 lits rem 0 time: 0.06 2335.06/585.11 c asymm cl-useful: 0/483/5340 lits-rem:0 time: 1.26 2335.06/585.12 c calculated reachability. Time: 0.00 2335.06/585.12 c N dy 8247 2211331 60 5340 0 81105 37380 1126763 18.03 no data -- 2359.38/591.23 c N dy 8312 2231521 60 5340 0 98803 37380 1501276 18.03 19.09 -- 2392.90/599.65 c N dy 8460 2251610 60 5340 0 60063 37380 676222 18.04 21.53 -- 2414.49/605.03 c N dy 8582 2271667 60 5340 0 77753 37380 1060390 18.05 19.07 -- 2437.21/610.79 c N dy 8632 2291865 60 5340 0 95424 37380 1428248 18.05 19.06 -- 2469.53/618.88 c N dy 8714 2312511 60 5340 0 113625 37380 1818553 18.05 19.14 -- 2493.52/624.85 c N dy 8804 2332513 60 5340 0 73527 37380 947880 18.05 19.34 -- 2528.99/633.78 c N dy 8967 2352527 60 5340 0 91296 37380 1338949 18.06 19.09 -- 2571.30/644.38 c N dy 9030 2374743 60 5340 0 110827 37380 1750693 18.06 19.06 -- 2610.00/654.05 c N dy 9158 2394766 60 5340 0 69607 37380 856340 18.07 19.79 -- 2637.55/660.93 c N dy 9226 2415012 60 5340 0 87367 37380 1232007 18.07 19.04 -- 2679.84/671.52 c N dy 9351 2436446 60 5340 0 106395 37380 1647896 18.08 19.03 -- 2725.34/683.00 c N dy 9495 2456473 60 5340 0 64184 37380 729151 18.09 20.58 -- 2748.12/688.62 c N dy 9527 2476487 60 5340 0 81691 37380 1092068 18.08 19.06 -- 2785.20/697.91 c N dy 9620 2497926 60 5340 0 100613 37380 1498672 18.08 19.04 -- 2828.30/708.73 c N dy 9715 2517995 60 5340 0 118295 37380 1879116 18.09 19.06 -- 2859.43/716.56 c N dy 9806 2538073 60 5340 0 75213 37380 958792 18.09 21.05 -- 2896.96/725.95 c N dy 9923 2559926 60 5340 0 94463 37380 1375253 18.10 19.06 -- 2943.23/737.58 c N dy 10041 2581910 60 5340 0 113881 37380 1795934 18.10 19.12 -- 2981.54/747.14 c N dy 10148 2602558 60 5340 0 70379 37380 844419 18.11 19.07 -- 3013.48/755.17 c N dy 10269 2628085 60 5340 0 92858 37380 1327119 18.11 19.17 -- 3079.73/771.73 c N dy 10297 2689551 60 5340 0 83892 37380 1086739 18.06 19.21 -- 3110.06/779.39 c N dy 10436 2709575 60 5340 0 101564 37380 1472827 18.07 20.31 -- 3113.25/780.15 c S st 10453 2711333 60 5340 0 103123 37380 1507554 18.07 no data -- 3114.45/780.46 c S st 10453 2711835 60 5340 0 103577 37380 1518009 18.07 no data -- 3114.45/780.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3114.45/780.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3114.85/780.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.20 3114.85/780.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 3114.85/780.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3114.85/780.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3114.85/780.57 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3426.15/858.55 c lits-rem: 6785 cl-subs: 12807 v-elim: 0 v-fix: 0 time: 311.20 s 3426.15/858.55 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3426.15/858.57 c vivif2 -- cl tried 90770 cl shrink 0 lits rem 0 time: 0.07 3427.75/858.95 c asymm cl-useful: 0/606/5340 lits-rem:0 time: 1.52 3427.75/858.95 c calculated reachability. Time: 0.00 3427.75/858.95 c N dy 10453 2711835 60 5340 0 90770 37380 1269856 18.07 no data -- 3460.47/867.19 c N dy 10566 2731880 60 5340 0 108496 37380 1656665 18.08 20.32 -- 3499.98/877.03 c N dy 10699 2753807 60 5340 0 65365 37380 722058 18.08 19.12 -- 3521.13/882.35 c N dy 10789 2773834 60 5340 0 83081 37380 1104354 18.09 19.57 -- 3547.47/888.99 c N dy 10871 2793855 60 5340 0 100687 37380 1481284 18.09 19.12 -- 3577.84/896.54 c N dy 10942 2813879 60 5340 0 118345 37380 1856772 18.09 20.33 -- 3610.13/904.68 c N dy 11046 2834585 60 5340 0 72696 37380 864980 18.10 19.06 -- 3638.08/911.60 c N dy 11125 2859865 60 5340 0 94926 37380 1332366 18.09 19.16 -- 3674.78/920.86 c N dy 11275 2881579 60 5340 0 114069 37380 1750876 18.10 19.19 -- 3724.28/933.28 c N dy 11353 2908307 60 5340 0 72568 37380 839744 18.10 19.07 -- 3760.20/942.20 c N dy 11459 2928761 60 5340 0 90586 37380 1231458 18.11 19.06 -- 3808.45/954.38 c N dy 11629 2948851 60 5340 0 108402 37380 1625785 18.12 19.97 -- 3859.13/967.01 c N dy 11738 2968866 60 5340 0 126052 37380 2008529 18.12 19.85 -- 3894.64/975.90 c N dy 11764 2990664 60 5340 0 79186 37380 965616 18.11 19.07 -- 3943.74/988.21 c N dy 11844 3023206 60 5340 0 107501 37380 1557266 18.10 19.07 -- 3990.82/1000.09 c N dy 11962 3043238 60 5340 0 125148 37380 1940348 18.11 20.82 -- 4035.52/1011.27 c N dy 12107 3063265 60 5340 0 76188 37380 913346 18.12 20.09 -- 4075.03/1021.19 c N dy 12183 3088874 60 5340 0 98439 37380 1378913 18.11 19.13 -- 4128.11/1034.42 c N dy 12310 3112946 60 5340 0 119552 37380 1835467 18.12 19.12 -- 4183.21/1048.25 c N dy 12420 3135460 60 5340 0 71932 37380 806163 18.12 19.11 -- 4213.51/1055.87 c N dy 12458 3160642 60 5340 0 93862 37380 1261105 18.12 19.11 -- 4246.64/1064.14 c N dy 12527 3180653 60 5340 0 111350 37380 1635643 18.12 20.99 -- 4296.12/1076.57 c N dy 12609 3206087 60 5340 0 133722 37380 2112284 18.12 19.12 -- 4311.28/1080.31 c S st 12647 3211835 60 5340 0 70446 37380 767802 18.12 18.99 -- 4312.08/1080.56 c S st 12647 3212339 60 5340 0 70901 37380 778133 18.12 no data -- 4312.08/1080.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4312.08/1080.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4312.48/1080.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.15 4312.48/1080.63 c bin-w-bin subsume rem 0 bins time: 0.00 s 4312.48/1080.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4312.48/1080.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4312.48/1080.63 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4405.47/1103.98 c lits-rem: 283 cl-subs: 648 v-elim: 0 v-fix: 0 time: 93.20 s 4405.47/1103.98 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4405.87/1104.00 c vivif2 -- cl tried 70253 cl shrink 0 lits rem 0 time: 0.05 4407.09/1104.37 c asymm cl-useful: 0/643/5340 lits-rem:0 time: 1.46 4407.09/1104.37 c calculated reachability. Time: 0.00 4407.09/1104.37 c N dy 12647 3212339 60 5340 0 70253 37380 763855 18.12 no data -- 4434.41/1111.23 c N dy 12732 3232990 60 5340 0 88350 37380 1149292 18.12 19.09 -- 4469.51/1120.14 c N dy 12852 3253041 60 5340 0 106008 37380 1535479 18.13 19.11 -- 4509.20/1130.12 c N dy 12959 3275092 60 5340 0 125450 37380 1956731 18.13 19.29 -- 4551.90/1140.83 c N dy 13090 3296312 60 5340 0 74722 37380 845466 18.14 19.11 -- 4576.25/1146.95 c N dy 13170 3316407 60 5340 0 92464 37380 1226131 18.14 20.31 -- 4608.98/1155.12 c N dy 13299 3336506 60 5340 0 110326 37380 1618233 18.14 19.72 -- 4644.50/1164.04 c N dy 13377 3356551 60 5340 0 127927 37380 1997341 18.15 21.44 -- 4675.63/1171.85 c N dy 13410 3376556 60 5340 0 75051 37380 845790 18.14 19.46 -- 4699.97/1177.94 c N dy 13501 3396760 60 5340 0 92777 37380 1226117 18.14 19.21 -- 4733.90/1186.42 c N dy 13631 3416788 60 5340 0 110454 37380 1612781 18.15 19.80 -- 4766.24/1194.58 c N dy 13686 3436832 60 5340 0 128056 37380 1982081 18.15 20.36 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368993-1305409509/watcher-3368993-1305409509 -o /tmp/evaluation-result-3368993-1305409509/solver-3368993-1305409509 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368993-1305409509.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 6.14 7.60 7.87 3/287 5520 /proc/meminfo: memFree=16812012/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 652553715 52465664 353 33554432000 4194304 4650419 140734818246160 18446744073709551615 47476130527152 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 12809 353 303 112 0 7774 0 [pid=5520/tid=5521] ppid=5518 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652553715 52465664 353 33554432000 4194304 4650419 140734818246160 18446744073709551615 47476130527154 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652553715 52465664 353 33554432000 4194304 4650419 140734818246160 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652553715 52465664 353 33554432000 4194304 4650419 140734818246160 18446744073709551615 47476130527154 0 0 4096 2 0 0 0 -1 4 0 0 0 [startup+0.0526369 s] /proc/loadavg: 6.14 7.60 7.87 3/287 5520 /proc/meminfo: memFree=16812012/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=281924 CPUtime=0.18 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 1232 0 0 0 18 0 0 0 18 0 4 0 652553715 288690176 1138 33554432000 4194304 4650419 140734818246160 18446744073709551615 4370707 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 70481 1138 366 112 0 65446 0 [pid=5520/tid=5521] ppid=5518 vsize=281924 CPUtime=0.04 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 178 0 0 0 4 0 0 0 18 0 4 0 652553715 288690176 1138 33554432000 4194304 4650419 140734818246160 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=281924 CPUtime=0.04 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 184 0 0 0 4 0 0 0 25 0 4 0 652553715 288690176 1138 33554432000 4194304 4650419 140734818246160 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=281924 CPUtime=0.04 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 260 0 0 0 4 0 0 0 18 0 4 0 652553715 288690176 1138 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 281924 [startup+0.100628 s] /proc/loadavg: 6.14 7.60 7.87 3/287 5520 /proc/meminfo: memFree=16812012/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=281924 CPUtime=0.37 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 1323 0 0 0 37 0 0 0 18 0 4 0 652553715 288690176 1229 33554432000 4194304 4650419 140734818246160 18446744073709551615 4370643 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 70481 1229 366 112 0 65446 0 [pid=5520/tid=5521] ppid=5518 vsize=281924 CPUtime=0.09 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 185 0 0 0 9 0 0 0 18 0 4 0 652553715 288690176 1229 33554432000 4194304 4650419 140734818246160 18446744073709551615 4370537 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=281924 CPUtime=0.08 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 191 0 0 0 8 0 0 0 25 0 4 0 652553715 288690176 1229 33554432000 4194304 4650419 140734818246160 18446744073709551615 4370567 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=281924 CPUtime=0.09 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 334 0 0 0 9 0 0 0 18 0 4 0 652553715 288690176 1229 33554432000 4194304 4650419 140734818246160 18446744073709551615 4330534 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 281924 [startup+0.300594 s] /proc/loadavg: 6.14 7.60 7.87 3/287 5520 /proc/meminfo: memFree=16812012/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=285432 CPUtime=1.17 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 3582 0 0 0 117 0 0 0 18 0 4 0 652553715 292282368 2688 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 71358 2688 390 112 0 66323 0 [pid=5520/tid=5521] ppid=5518 vsize=285432 CPUtime=0.29 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 833 0 0 0 29 0 0 0 18 0 4 0 652553715 292282368 2688 33554432000 4194304 4650419 140734818246160 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=285432 CPUtime=0.28 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 844 0 0 0 28 0 0 0 25 0 4 0 652553715 292282368 2688 33554432000 4194304 4650419 140734818246160 18446744073709551615 4311121 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=285432 CPUtime=0.29 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 577 0 0 0 29 0 0 0 18 0 4 0 652553715 292282368 2688 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 285432 [startup+0.700523 s] /proc/loadavg: 6.14 7.60 7.87 3/287 5520 /proc/meminfo: memFree=16812012/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=286480 CPUtime=2.77 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 5520 0 0 0 276 1 0 0 18 0 4 0 652553715 293355520 3442 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 71620 3442 390 112 0 66585 0 [pid=5520/tid=5521] ppid=5518 vsize=286480 CPUtime=0.69 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 1279 0 0 0 69 0 0 0 18 0 4 0 652553715 293355520 3442 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=286480 CPUtime=0.68 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 1309 0 0 0 68 0 0 0 25 0 4 0 652553715 293355520 3442 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=286480 CPUtime=0.68 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 1173 0 0 0 68 0 0 0 18 0 4 0 652553715 293355520 3442 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 286480 [startup+1.50038 s] /proc/loadavg: 6.14 7.60 7.87 9/298 5532 /proc/meminfo: memFree=16787512/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=287896 CPUtime=5.96 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 9990 0 0 0 595 1 0 0 20 0 4 0 652553715 294805504 5402 33554432000 4194304 4650419 140734818246160 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 71974 5402 392 112 0 66939 0 [pid=5520/tid=5521] ppid=5518 vsize=287896 CPUtime=1.49 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 2056 0 0 0 149 0 0 0 19 0 4 0 652553715 294805504 5402 33554432000 4194304 4650419 140734818246160 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=287896 CPUtime=1.47 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 2118 0 0 0 147 0 0 0 25 0 4 0 652553715 294805504 5402 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=287896 CPUtime=1.48 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 2041 0 0 0 148 0 0 0 20 0 4 0 652553715 294805504 5402 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 287896 [startup+3.1011 s] /proc/loadavg: 6.29 7.61 7.87 9/298 5532 /proc/meminfo: memFree=16750316/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=286664 CPUtime=12.35 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 16348 0 0 0 1233 2 0 0 25 0 4 0 652553715 293543936 9852 33554432000 4194304 4650419 140734818246160 18446744073709551615 4334332 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 71666 9852 392 112 0 66631 0 [pid=5520/tid=5521] ppid=5518 vsize=286664 CPUtime=3.09 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 3550 0 0 0 309 0 0 0 25 0 4 0 652553715 293543936 9852 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=286664 CPUtime=3.06 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 4292 0 0 0 306 0 0 0 25 0 4 0 652553715 293543936 9852 33554432000 4194304 4650419 140734818246160 18446744073709551615 4439335 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=286664 CPUtime=3.08 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 4342 0 0 0 308 0 0 0 25 0 4 0 652553715 293543936 9852 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 286664 [startup+6.30053 s] /proc/loadavg: 6.29 7.61 7.87 9/298 5532 /proc/meminfo: memFree=16718000/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=304592 CPUtime=25.11 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 23939 0 0 0 2508 3 0 0 25 0 4 0 652553715 311902208 13286 33554432000 4194304 4650419 140734818246160 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 76148 13286 392 112 0 71113 0 [pid=5520/tid=5521] ppid=5518 vsize=304592 CPUtime=6.29 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 6253 0 0 0 628 1 0 0 25 0 4 0 652553715 311902208 13286 33554432000 4194304 4650419 140734818246160 18446744073709551615 4370482 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=304592 CPUtime=6.23 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 5536 0 0 0 623 0 0 0 25 0 4 0 652553715 311902208 13286 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=304592 CPUtime=6.29 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 6431 0 0 0 628 1 0 0 25 0 4 0 652553715 311902208 13286 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 304592 [startup+12.7004 s] /proc/loadavg: 6.55 7.62 7.87 9/298 5532 /proc/meminfo: memFree=16674696/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=295552 CPUtime=50.66 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 36027 0 0 0 5059 7 0 0 25 0 4 0 652553715 302645248 18007 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 73888 18007 392 112 0 68853 0 [pid=5520/tid=5521] ppid=5518 vsize=295552 CPUtime=12.69 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 9574 0 0 0 1267 2 0 0 25 0 4 0 652553715 302645248 18007 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=295552 CPUtime=12.57 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 7496 0 0 0 1256 1 0 0 25 0 4 0 652553715 302645248 18007 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=295552 CPUtime=12.69 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 10118 0 0 0 1267 2 0 0 25 0 4 0 652553715 302645248 18007 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 50.66 Current children cumulated vsize (KiB) 295552 [startup+25.5011 s] /proc/loadavg: 6.92 7.66 7.89 9/298 5532 /proc/meminfo: memFree=16620012/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=301288 CPUtime=101.73 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 53858 0 0 0 10164 9 0 0 25 0 4 0 652553715 308518912 23677 33554432000 4194304 4650419 140734818246160 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 75322 23677 392 112 0 70287 0 [pid=5520/tid=5521] ppid=5518 vsize=301288 CPUtime=25.49 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 13894 0 0 0 2546 3 0 0 25 0 4 0 652553715 308518912 23677 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=301288 CPUtime=25.24 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 11441 0 0 0 2523 1 0 0 25 0 4 0 652553715 308518912 23677 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=301288 CPUtime=25.49 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 14976 0 0 0 2547 2 0 0 25 0 4 0 652553715 308518912 23677 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 101.73 Current children cumulated vsize (KiB) 301288 [startup+51.1006 s] /proc/loadavg: 7.29 7.69 7.89 9/298 5533 /proc/meminfo: memFree=16590764/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=302076 CPUtime=203.9 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 80005 0 0 0 20375 15 0 0 25 0 4 0 652553715 309325824 27082 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 75519 27082 392 112 0 70484 0 [pid=5520/tid=5521] ppid=5518 vsize=302076 CPUtime=51.09 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 21361 0 0 0 5104 5 0 0 25 0 4 0 652553715 309325824 27082 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=302076 CPUtime=50.61 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 16990 0 0 0 5059 2 0 0 25 0 4 0 652553715 309325824 27082 33554432000 4194304 4650419 140734818246160 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=302076 CPUtime=51.09 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 21732 0 0 0 5105 4 0 0 25 0 4 0 652553715 309325824 27082 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 203.9 Current children cumulated vsize (KiB) 302076 [startup+102.311 s] /proc/loadavg: 7.81 7.77 7.91 9/298 5534 /proc/meminfo: memFree=16535084/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=324200 CPUtime=408.28 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 123386 0 0 0 40800 28 0 0 25 0 4 0 652553715 331980800 31880 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 81050 31880 392 112 0 76015 0 [pid=5520/tid=5521] ppid=5518 vsize=324200 CPUtime=102.3 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 31921 0 0 0 10222 8 0 0 25 0 4 0 652553715 331980800 31880 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=324200 CPUtime=101.35 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 27773 0 0 0 10129 6 0 0 25 0 4 0 652553715 331980800 31880 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=324200 CPUtime=102.3 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 33748 0 0 0 10224 6 0 0 25 0 4 0 652553715 331980800 31880 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 408.28 Current children cumulated vsize (KiB) 324200 [startup+162.301 s] ################ # More data... # ################ [pid=5520] ppid=5518 vsize=498392 CPUtime=2563.34 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 365419 0 0 0 256223 111 0 0 25 0 4 0 652553715 510353408 70433 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 124598 70433 392 112 0 119563 0 [pid=5520/tid=5521] ppid=5518 vsize=498392 CPUtime=642.31 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 93188 0 0 0 64201 30 0 0 25 0 4 0 652553715 510353408 70433 33554432000 4194304 4650419 140734818246160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=498392 CPUtime=636.39 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 79922 0 0 0 63612 27 0 0 25 0 4 0 652553715 510353408 70433 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=498392 CPUtime=642.31 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 101702 0 0 0 64205 26 0 0 25 0 4 0 652553715 510353408 70433 33554432000 4194304 4650419 140734818246160 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2563.34 Current children cumulated vsize (KiB) 498392 [startup+702.301 s] /proc/loadavg: 8.20 8.11 8.01 9/298 5550 /proc/meminfo: memFree=16156700/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=498620 CPUtime=2802.75 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 382504 0 0 0 280158 117 0 0 25 0 4 0 652553715 510586880 70199 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 124655 70199 392 112 0 119620 0 [pid=5520/tid=5521] ppid=5518 vsize=498620 CPUtime=702.3 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 96196 0 0 0 70200 30 0 0 25 0 4 0 652553715 510586880 70199 33554432000 4194304 4650419 140734818246160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=498620 CPUtime=695.82 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 82444 0 0 0 69553 29 0 0 25 0 4 0 652553715 510586880 70199 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=498620 CPUtime=702.3 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 108542 0 0 0 70203 27 0 0 25 0 4 0 652553715 510586880 70199 33554432000 4194304 4650419 140734818246160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2802.75 Current children cumulated vsize (KiB) 498620 [startup+762.311 s] /proc/loadavg: 8.19 8.12 8.01 9/298 5552 /proc/meminfo: memFree=16151596/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=433316 CPUtime=3042.25 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 402919 0 0 0 304102 123 0 0 25 0 4 0 652553715 443715584 71871 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 108329 71871 392 112 0 103294 0 [pid=5520/tid=5521] ppid=5518 vsize=433316 CPUtime=762.32 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 105750 0 0 0 76200 32 0 0 25 0 4 0 652553715 443715584 71871 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=433316 CPUtime=755.28 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 84791 0 0 0 75497 31 0 0 25 0 4 0 652553715 443715584 71871 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=433316 CPUtime=762.32 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 111988 0 0 0 76204 28 0 0 25 0 4 0 652553715 443715584 71871 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3042.25 Current children cumulated vsize (KiB) 433316 [startup+822.301 s] /proc/loadavg: 8.07 8.09 8.01 9/298 5554 /proc/meminfo: memFree=16154808/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=421112 CPUtime=3281.67 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 413433 0 0 0 328040 127 0 0 25 0 4 0 652553715 431218688 70672 33554432000 4194304 4650419 140734818246160 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 105278 70672 392 112 0 100243 0 [pid=5520/tid=5521] ppid=5518 vsize=421112 CPUtime=822.31 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 106174 0 0 0 82199 32 0 0 25 0 4 0 652553715 431218688 70672 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=421112 CPUtime=814.73 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 88391 0 0 0 81441 32 0 0 25 0 4 0 652553715 431218688 70672 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=421112 CPUtime=822.31 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 115463 0 0 0 82202 29 0 0 25 0 4 0 652553715 431218688 70672 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3281.67 Current children cumulated vsize (KiB) 421112 [startup+882.3 s] /proc/loadavg: 8.07 8.09 8.01 9/298 5555 /proc/meminfo: memFree=16116964/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=486472 CPUtime=3521.13 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 421143 0 0 0 351982 131 0 0 25 0 4 0 652553715 498147328 72864 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 121618 72864 392 112 0 116583 0 [pid=5520/tid=5521] ppid=5518 vsize=486472 CPUtime=882.31 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 108792 0 0 0 88197 34 0 0 25 0 4 0 652553715 498147328 72864 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=486472 CPUtime=874.18 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 88638 0 0 0 87386 32 0 0 25 0 4 0 652553715 498147328 72864 33554432000 4194304 4650419 140734818246160 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=486472 CPUtime=882.31 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 118100 0 0 0 88201 30 0 0 25 0 4 0 652553715 498147328 72864 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3521.13 Current children cumulated vsize (KiB) 486472 [startup+942.301 s] /proc/loadavg: 8.02 8.07 8.00 9/298 5557 /proc/meminfo: memFree=16082100/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=486472 CPUtime=3760.6 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 438405 0 0 0 375922 138 0 0 25 0 4 0 652553715 498147328 81987 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 121618 81987 392 112 0 116583 0 [pid=5520/tid=5521] ppid=5518 vsize=486472 CPUtime=942.31 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 111789 0 0 0 94196 35 0 0 25 0 4 0 652553715 498147328 81987 33554432000 4194304 4650419 140734818246160 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=486472 CPUtime=933.64 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 91524 0 0 0 93329 35 0 0 25 0 4 0 652553715 498147328 81987 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=486472 CPUtime=942.31 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 124380 0 0 0 94199 32 0 0 25 0 4 0 652553715 498147328 81987 33554432000 4194304 4650419 140734818246160 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3760.6 Current children cumulated vsize (KiB) 486472 [startup+1002.3 s] /proc/loadavg: 8.06 8.07 8.00 9/298 5567 /proc/meminfo: memFree=16090208/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=564880 CPUtime=4000 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 452083 0 0 0 399858 142 0 0 25 0 4 0 652553715 578437120 82722 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 141220 82722 392 112 0 136185 0 [pid=5520/tid=5521] ppid=5518 vsize=564880 CPUtime=1002.3 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 116574 0 0 0 100194 36 0 0 25 0 4 0 652553715 578437120 82722 33554432000 4194304 4650419 140734818246160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=564880 CPUtime=993.07 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 96238 0 0 0 99270 37 0 0 25 0 4 0 652553715 578437120 82722 33554432000 4194304 4650419 140734818246160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=564880 CPUtime=1002.3 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 127341 0 0 0 100198 32 0 0 25 0 4 0 652553715 578437120 82722 33554432000 4194304 4650419 140734818246160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4000 Current children cumulated vsize (KiB) 564880 [startup+1062.3 s] /proc/loadavg: 8.06 8.07 8.00 9/298 5569 /proc/meminfo: memFree=16038116/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=552008 CPUtime=4239.46 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 462404 0 0 0 423800 146 0 0 25 0 4 0 652553715 565256192 85477 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 138002 85477 392 112 0 132967 0 [pid=5520/tid=5521] ppid=5518 vsize=552008 CPUtime=1062.3 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 120191 0 0 0 106194 36 0 0 25 0 4 0 652553715 565256192 85477 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=552008 CPUtime=1052.52 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 97321 0 0 0 105214 38 0 0 25 0 4 0 652553715 565256192 85477 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=552008 CPUtime=1062.31 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 128344 0 0 0 106198 33 0 0 25 0 4 0 652553715 565256192 85477 33554432000 4194304 4650419 140734818246160 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4239.46 Current children cumulated vsize (KiB) 552008 [startup+1122.3 s] /proc/loadavg: 8.35 8.13 8.02 10/299 5574 /proc/meminfo: memFree=16034728/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=543332 CPUtime=4478.18 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 473492 0 0 0 447667 151 0 0 25 0 4 0 652553715 556371968 82470 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 135833 82470 392 112 0 130798 0 [pid=5520/tid=5521] ppid=5518 vsize=543332 CPUtime=1122.3 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 124986 0 0 0 112192 38 0 0 25 0 4 0 652553715 556371968 82470 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=543332 CPUtime=1111.96 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 100078 0 0 0 111157 39 0 0 25 0 4 0 652553715 556371968 82470 33554432000 4194304 4650419 140734818246160 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=543332 CPUtime=1121.75 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 130698 0 0 0 112142 33 0 0 25 0 4 0 652553715 556371968 82470 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4478.18 Current children cumulated vsize (KiB) 543332 [startup+1182.3 s] /proc/loadavg: 8.16 8.12 8.02 9/298 5575 /proc/meminfo: memFree=16071972/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=488796 CPUtime=4717.54 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 489800 0 0 0 471596 158 0 0 25 0 4 0 652553715 500527104 78443 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 122199 78443 392 112 0 117164 0 [pid=5520/tid=5521] ppid=5518 vsize=488796 CPUtime=1182.3 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 130415 0 0 0 118190 40 0 0 25 0 4 0 652553715 500527104 78443 33554432000 4194304 4650419 140734818246160 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=488796 CPUtime=1171.42 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 105070 0 0 0 117101 41 0 0 25 0 4 0 652553715 500527104 78443 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=488796 CPUtime=1181.64 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 132020 0 0 0 118130 34 0 0 25 0 4 0 652553715 500527104 78443 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4717.54 Current children cumulated vsize (KiB) 488796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203 s] /proc/loadavg: 8.18 8.13 8.03 5/293 5577 /proc/meminfo: memFree=16472392/32951124 swapFree=52307768/67111528 [pid=5520] ppid=5518 vsize=488796 CPUtime=4800.16 cores=0,2,4,6 /proc/5520/stat : 5520 (strangenight1-m) R 5518 5520 5130 0 -1 4202496 495497 0 0 0 479856 160 0 0 25 0 4 0 652553715 500527104 84139 33554432000 4194304 4650419 140734818246160 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/5520/statm: 122199 84139 392 112 0 117164 0 [pid=5520/tid=5521] ppid=5518 vsize=488796 CPUtime=1203.01 cores=0,2,4,6 /proc/5520/task/5521/stat : 5521 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 132524 0 0 0 120260 41 0 0 25 0 4 0 652553715 500527104 84139 33554432000 4194304 4650419 140734818246160 18446744073709551615 218370981783 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5520/tid=5522] ppid=5518 vsize=488796 CPUtime=1191.93 cores=0,2,4,6 /proc/5520/task/5522/stat : 5522 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 106245 0 0 0 119151 42 0 0 25 0 4 0 652553715 500527104 84139 33554432000 4194304 4650419 140734818246160 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5520/tid=5523] ppid=5518 vsize=488796 CPUtime=1202.36 cores=0,2,4,6 /proc/5520/task/5523/stat : 5523 (strangenight1-m) R 5518 5520 5130 0 -1 4202560 133445 0 0 0 120201 35 0 0 25 0 4 0 652553715 500527104 84139 33554432000 4194304 4650419 140734818246160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.16 Current children cumulated vsize (KiB) 488796 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): 1203.03 CPU time (s): 4800.22 CPU user time (s): 4798.6 CPU system time (s): 1.62175 CPU usage (%): 399.011 Max. virtual memory (cumulated for all children) (KiB): 564992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.6 system time used= 1.62175 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 495499 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= 274 involuntary context switches= 19577 runsolver used 3.14652 second user time and 7.94879 second system time The end
Begin job on node101 at 2011-05-14 23:45:10 IDJOB=3368993 IDBENCH=83002 IDSOLVER=1846 FILE ID=node101/3368993-1305409509 RUNJOBID= node101-1305409509-5505 PBS_JOBID= 13324502 Free space on /tmp= 73736 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368993-1305409509/watcher-3368993-1305409509 -o /tmp/evaluation-result-3368993-1305409509/solver-3368993-1305409509 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368993-1305409509.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ea8a8c80a9c6e1328d7a171765d2b8ef RANDOM SEED=1681384147 node101.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.841 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.68 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.841 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.841 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.77 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.841 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.841 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.74 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.841 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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: 16813540 kB Buffers: 323488 kB Cached: 5884804 kB SwapCached: 14848 kB Active: 10831080 kB Inactive: 5031888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16813540 kB SwapTotal: 67111528 kB SwapFree: 52307768 kB Dirty: 11008 kB Writeback: 0 kB AnonPages: 9651552 kB Mapped: 14296 kB Slab: 149516 kB PageTables: 61808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 41977232 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= 73724 MiB End job on node101 at 2011-05-15 00:05:15