| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.15 | 1201.84 |
| Name | SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf |
| MD5SUM | bdf2c49c74bfdbd3bd4663dca402d24f |
| 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 | 194 |
| Number of clauses | 954 |
| Sum of the clauses size | 3252 |
| Maximum clause length | 4 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 10 |
| Number of clauses of size 3 | 544 |
| Number of clauses of size 4 | 400 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3263827-1304126489.cnf' 0.00/0.00 c -- header says num vars: 194 0.00/0.00 c -- header says num clauses: 954 0.00/0.00 c -- clauses added: 0 learnts, 954 normals, 0 xors 0.00/0.00 c -- vars added 194 0.00/0.00 c Parsing time: 0.00 s 0.00/0.00 c N st 0 0 194 944 10 0 3252 0 no data no data 0.00/0.00 c asymm cl-useful: 0/944/944 lits-rem:0 time: 0.00 0.00/0.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.00 c Replacing 1 vars Replaced 12 lits Time: 0.00 s 0.00/0.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 193 time: 0.00 s 0.00/0.00 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.00/0.01 c lits-rem: 8 cl-subs: 0 v-elim: 58 v-fix: 0 time: 0.00 s 0.00/0.01 c Finding binary XORs T: 0.00 s found: 0 0.00/0.01 c Finding non-binary XORs: 0.00 s (found: 52, avg size: 4.0) 0.00/0.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 0.00/0.01 c calculated reachability. Time: 0.00 0.00/0.01 c Calc default polars - time: 0.00 s pos: 1 undec: 60 neg: 133 0.00/0.01 c ========================================================================================= 0.00/0.01 c types(t): F = full restart, N = normal restart 0.00/0.01 c types(t): S = simplification begin/end, E = solution found 0.00/0.01 c restart types(rt): st = static, dy = dynamic 0.00/0.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.01 c B st 0 0 135 424 4 0 1958 0 no data no data 0.02/0.04 c Decided on static restart strategy 0.38/0.11 c N st 8 4914 135 424 6 4641 1958 102986 no data no data 1.18/0.31 c N st 10 11296 135 424 6 4450 1958 80520 no data no data 1.58/0.49 c N st 11 17039 135 424 6 9757 1958 195678 no data no data 2.78/0.78 c F st 12 25002 135 424 6 12067 1958 234953 no data no data 2.78/0.78 c N st 12 25002 135 424 6 12067 1958 234953 no data no data 3.58/0.97 c Decided on static restart strategy 3.58/0.97 c N st 18 30002 135 424 6 10491 1958 191557 no data no data 3.58/0.97 c S st 18 30002 135 424 6 10491 1958 191557 no data no data 3.99/1.00 c S st 18 30505 135 424 6 10991 1958 201811 no data no data 3.99/1.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3.99/1.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 3.99/1.01 c blocked clauses removed: 0 vars: 0 tried: 3 T: 0.00 s 3.99/1.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.99/1.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.99/1.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 3.99/1.01 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.99/1.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 3.99/1.01 c subs with bin: 0 lits-rem: 116 v-fix: 0 time: 0.00 s 4.40/1.16 c lits-rem: 1889 cl-subs: 980 v-elim: 0 v-fix: 0 time: 0.15 s 4.40/1.16 c asymm cl-useful: 0/424/424 lits-rem:0 time: 0.00 4.40/1.16 c calculated reachability. Time: 0.00 4.40/1.16 c N st 18 30505 135 424 6 10011 1958 178305 no data no data 5.57/1.48 c N st 20 37615 135 424 6 9349 1958 149266 no data no data 6.77/1.77 c N st 21 44014 135 424 6 15353 1958 287699 no data no data 7.17/1.86 c S st 22 45760 135 424 6 16985 1958 322173 no data no data 7.57/1.91 c S st 22 46265 135 424 6 9095 1958 131445 no data no data 7.57/1.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 7.57/1.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 7.57/1.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 7.57/1.91 c bin-w-bin subsume rem 0 bins time: 0.00 s 7.57/1.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 7.57/1.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 7.57/1.91 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 7.57/1.91 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 7.57/1.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 7.57/1.93 c lits-rem: 363 cl-subs: 111 v-elim: 0 v-fix: 0 time: 0.02 s 7.57/1.93 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 7.57/1.93 c vivif2 -- cl tried 8984 cl shrink 0 lits rem 0 time: 0.00 7.57/1.94 c asymm cl-useful: 0/424/424 lits-rem:0 time: 0.00 7.57/1.94 c calculated reachability. Time: 0.00 7.57/1.94 c N st 22 46265 135 424 6 8984 1958 129353 no data no data 10.37/2.65 c N st 23 60663 135 424 6 13151 1958 216581 no data no data 12.36/3.11 c N st 24 69398 135 424 6 11018 1958 155579 no data no data 12.36/3.11 c S st 24 69398 135 424 6 11018 1958 155579 no data no data 12.36/3.14 c S st 24 69903 135 424 6 11513 1958 165441 no data no data 12.36/3.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 12.36/3.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 12.36/3.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 12.36/3.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.36/3.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.36/3.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 12.36/3.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 12.36/3.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 12.36/3.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.36/3.18 c lits-rem: 367 cl-subs: 191 v-elim: 0 v-fix: 0 time: 0.03 s 12.36/3.18 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 12.36/3.18 c vivif2 -- cl tried 11322 cl shrink 0 lits rem 0 time: 0.00 12.36/3.18 c asymm cl-useful: 0/424/424 lits-rem:0 time: 0.00 12.36/3.18 c calculated reachability. Time: 0.00 12.36/3.18 c N st 24 69903 135 424 6 11322 1958 161428 no data no data 15.96/4.06 c F st 25 87502 135 424 6 16592 1958 270248 no data no data 15.96/4.06 c N st 25 87502 135 424 6 16592 1958 270248 no data no data 17.17/4.33 c Decided on static restart strategy 17.58/4.49 c N st 32 95545 135 424 6 24184 1958 441353 no data no data 19.55/4.95 c N st 34 104854 135 424 6 20689 1958 348124 no data no data 19.55/4.95 c S st 34 104854 135 424 6 20689 1958 348124 no data no data 19.95/5.01 c S st 34 105364 135 424 6 21195 1958 359581 no data no data 19.95/5.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 19.95/5.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00 19.95/5.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 19.95/5.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 19.95/5.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 19.95/5.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 19.95/5.02 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 19.95/5.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 19.95/5.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 21.97/5.57 c lits-rem: 2116 cl-subs: 2508 v-elim: 0 v-fix: 0 time: 0.54 s 21.97/5.57 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 21.97/5.57 c vivif2 -- cl tried 18687 cl shrink 0 lits rem 0 time: 0.00 21.97/5.58 c asymm cl-useful: 8/424/424 lits-rem:8 time: 0.01 21.97/5.58 c calculated reachability. Time: 0.00 21.97/5.58 c N st 34 105364 135 424 6 18687 1950 300317 no data no data 23.95/6.08 c N st 35 114962 135 424 6 14618 1950 200614 no data no data 27.15/6.87 c N st 36 129359 135 424 6 28000 1950 494282 no data no data 32.74/8.22 c N st 37 150956 135 424 6 19173 1950 283161 no data no data 34.33/8.62 c S st 38 158046 135 424 6 25776 1950 426652 no data no data 34.33/8.68 c S st 38 158548 135 424 6 26276 1950 437193 no data no data 34.33/8.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 34.33/8.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00 34.33/8.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 34.33/8.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 34.33/8.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 34.33/8.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 34.33/8.68 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 34.33/8.69 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 34.33/8.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 38.33/9.64 c lits-rem: 2275 cl-subs: 3739 v-elim: 0 v-fix: 0 time: 0.94 s 38.33/9.64 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 38.33/9.65 c vivif2 -- cl tried 22537 cl shrink 0 lits rem 0 time: 0.00 38.33/9.66 c asymm cl-useful: 7/424/424 lits-rem:7 time: 0.01 38.33/9.66 c calculated reachability. Time: 0.00 38.33/9.66 c N st 38 158548 135 424 6 22537 1943 355848 no data no data 51.52/12.90 c N st 39 207137 135 424 6 35182 1943 613703 no data no data 59.90/15.02 c N st 40 237822 135 424 6 27632 1943 438374 no data no data 59.90/15.02 c S st 40 237822 135 424 6 27632 1943 438374 no data no data 60.30/15.10 c S st 40 238326 135 424 6 28125 1943 448750 no data no data 60.30/15.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 60.30/15.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 60.30/15.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 60.30/15.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 60.30/15.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 60.30/15.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 60.30/15.11 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 60.30/15.11 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 60.30/15.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 63.50/15.98 c lits-rem: 1067 cl-subs: 3155 v-elim: 0 v-fix: 0 time: 0.86 s 63.50/15.98 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 63.50/15.99 c vivif2 -- cl tried 24970 cl shrink 0 lits rem 0 time: 0.00 63.90/16.00 c asymm cl-useful: 4/424/424 lits-rem:4 time: 0.01 63.90/16.00 c calculated reachability. Time: 0.00 63.90/16.00 c N st 40 238326 135 424 6 24970 1935 385912 no data no data 83.88/21.04 c F st 41 306250 135 424 6 27147 1935 402450 no data no data 83.88/21.04 c N st 41 306250 135 424 6 27147 1935 402450 no data no data 85.48/21.40 c Decided on static restart strategy 92.29/23.18 c N st 51 334554 135 424 6 31224 1935 483565 no data no data 99.45/24.99 c N st 53 357490 135 424 6 29360 1935 437611 no data no data 99.45/24.99 c S st 53 357490 135 424 6 29360 1935 437611 no data no data 99.85/25.07 c S st 53 357994 135 424 6 29856 1935 448636 no data no data 99.85/25.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 99.85/25.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 99.85/25.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 99.85/25.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 99.85/25.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 99.85/25.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 99.85/25.08 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 99.85/25.09 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 100.25/25.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 101.45/25.43 c lits-rem: 1888 cl-subs: 947 v-elim: 0 v-fix: 0 time: 0.33 s 101.45/25.43 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 101.45/25.44 c vivif2 -- cl tried 28909 cl shrink 0 lits rem 0 time: 0.01 101.45/25.45 c asymm cl-useful: 4/424/424 lits-rem:4 time: 0.01 101.45/25.46 c calculated reachability. Time: 0.00 101.45/25.46 c N st 53 357994 135 424 6 28909 1931 426392 no data no data 111.84/28.07 c N st 54 390386 135 424 6 35035 1931 545083 no data no data 130.63/32.77 c N st 55 438974 135 424 6 28568 1931 383433 no data no data 156.99/39.33 c N st 56 511858 135 424 6 41306 1931 626834 no data no data 166.18/41.61 c N st 57 536994 135 424 6 35882 1931 522652 no data no data 166.18/41.61 c S st 57 536994 135 424 6 35882 1931 522652 no data no data 166.18/41.70 c S st 57 537497 135 424 6 36378 1931 532918 no data no data 166.60/41.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 166.60/41.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 166.60/41.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 166.60/41.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 166.60/41.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 166.60/41.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 166.60/41.71 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 166.60/41.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 166.60/41.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 169.78/42.55 c lits-rem: 1740 cl-subs: 2722 v-elim: 0 v-fix: 0 time: 0.82 s 169.78/42.55 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 169.78/42.55 c vivif2 -- cl tried 33656 cl shrink 0 lits rem 0 time: 0.01 169.78/42.57 c asymm cl-useful: 7/424/424 lits-rem:7 time: 0.02 169.78/42.57 c calculated reachability. Time: 0.00 169.78/42.57 c N st 57 537497 135 424 6 33656 1924 478149 no data no data 234.89/58.87 c N st 58 701483 135 424 6 60940 1924 1001417 no data no data 277.25/69.42 c N st 59 806246 135 424 6 55729 1924 880048 no data no data 277.25/69.42 c S st 59 806246 135 424 6 55729 1924 880048 no data no data 277.65/69.57 c S st 59 806749 135 424 6 56230 1924 891300 no data no data 277.65/69.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 277.65/69.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.01 277.65/69.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 277.65/69.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 277.65/69.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 277.65/69.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 277.65/69.59 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 278.04/69.60 c lits-rem: 5 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 278.04/69.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 296.02/74.16 c lits-rem: 3650 cl-subs: 9270 v-elim: 0 v-fix: 0 time: 4.54 s 296.02/74.16 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 296.02/74.18 c vivif2 -- cl tried 46960 cl shrink 0 lits rem 0 time: 0.01 296.42/74.20 c asymm cl-useful: 2/424/424 lits-rem:2 time: 0.02 296.42/74.20 c calculated reachability. Time: 0.00 296.42/74.20 c N st 59 806749 135 424 6 46960 1916 707218 no data no data 410.29/102.71 c F st 60 1071877 135 424 6 61829 1916 954613 no data no data 410.29/102.71 c N st 60 1071877 135 424 6 61829 1916 954613 no data no data 412.29/103.26 c Decided on static restart strategy 423.07/105.97 c N st 70 1100181 135 424 6 47086 1916 665012 no data no data 438.26/109.75 c N st 72 1136174 135 424 6 80752 1916 1447083 no data no data 453.04/113.49 c N st 73 1168566 135 424 6 68122 1916 1099506 no data no data 472.62/118.34 c N st 74 1210123 135 424 6 62791 1916 968787 no data no data 472.62/118.34 c S st 74 1210123 135 424 6 62791 1916 968787 no data no data 473.42/118.57 c S st 74 1210628 135 424 6 63292 1916 980173 no data no data 473.42/118.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 473.82/118.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 473.82/118.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 473.82/118.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 473.82/118.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 473.82/118.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 473.82/118.60 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 473.82/118.62 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 473.82/118.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 508.58/127.36 c lits-rem: 5091 cl-subs: 8454 v-elim: 0 v-fix: 0 time: 8.71 s 508.58/127.36 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 508.58/127.38 c vivif2 -- cl tried 54838 cl shrink 0 lits rem 0 time: 0.02 508.98/127.46 c asymm cl-useful: 6/424/424 lits-rem:6 time: 0.08 508.98/127.46 c calculated reachability. Time: 0.00 508.98/127.46 c N st 74 1210628 135 424 6 54838 1909 805411 no data no data 553.74/138.68 c N st 75 1283510 135 424 6 77621 1909 1292098 no data no data 615.24/154.01 c N st 76 1392837 135 424 6 87544 1909 1471484 no data no data 701.12/175.51 c N st 77 1556821 135 424 6 94459 1909 1574333 no data no data 785.43/196.63 c N st 78 1710628 135 424 6 84499 1909 1340774 no data no data 785.43/196.63 c S st 78 1710628 135 424 6 84499 1909 1340774 no data no data 786.24/196.81 c S st 78 1711132 135 424 6 84997 1909 1352698 no data no data 786.24/196.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 786.24/196.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.03 786.24/196.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 786.24/196.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 786.24/196.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 786.24/196.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 786.24/196.84 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 786.24/196.86 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 786.24/196.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 833.76/208.70 c lits-rem: 6944 cl-subs: 14396 v-elim: 0 v-fix: 0 time: 11.80 s 833.76/208.70 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 833.76/208.72 c vivif2 -- cl tried 70601 cl shrink 0 lits rem 0 time: 0.02 833.76/208.77 c asymm cl-useful: 5/424/424 lits-rem:5 time: 0.05 833.76/208.77 c calculated reachability. Time: 0.00 833.76/208.77 c N st 78 1711132 135 424 6 70601 1904 1086315 no data no data 1066.25/266.96 c N st 79 2080096 135 424 6 81938 1904 1238282 no data no data 1136.96/284.69 c N st 80 2211133 135 424 6 86577 1904 1368017 no data no data 1136.96/284.69 c S st 80 2211133 135 424 6 86577 1904 1368017 no data no data 1137.77/284.88 c S st 80 2211636 135 424 6 87072 1904 1378948 no data no data 1137.77/284.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1138.17/284.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03 1138.17/284.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1138.17/284.92 c bin-w-bin subsume rem 0 bins time: 0.00 s 1138.17/284.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1138.17/284.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 1138.17/284.92 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1138.17/284.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 1138.17/284.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1185.69/296.86 c lits-rem: 5047 cl-subs: 12309 v-elim: 0 v-fix: 0 time: 11.88 s 1185.69/296.86 c vivif2 -- cl tried 424 cl shrink 0 lits rem 0 time: 0.00 1185.69/296.87 c vivif2 -- cl tried 74763 cl shrink 0 lits rem 0 time: 0.02 1186.10/296.93 c asymm cl-useful: 7/424/424 lits-rem:7 time: 0.06 1186.10/296.94 c calculated reachability. Time: 0.00 1186.10/296.94 c N st 80 2211636 135 424 6 74763 1897 1130560 no data no data 1540.02/385.52 c N st 81 2711636 135 424 6 98253 1897 1563004 no data no data 1540.02/385.52 c S st 81 2711636 135 424 6 98253 1897 1563004 no data no data 1541.22/385.80 c S st 81 2712142 135 424 6 98752 1897 1574227 no data no data 1541.22/385.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1541.22/385.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.05 1541.22/385.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1541.22/385.86 c bin-w-bin subsume rem 0 bins time: 0.00 s 1541.22/385.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1541.22/385.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 1541.22/385.86 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1541.22/385.89 c lits-rem: 12 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.03 s 1541.62/385.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1599.56/400.47 c lits-rem: 7377 cl-subs: 12226 v-elim: 0 v-fix: 0 time: 14.53 s 1599.56/400.47 c vivif2 -- cl tried 423 cl shrink 0 lits rem 0 time: 0.00 1599.56/400.49 c vivif2 -- cl tried 86526 cl shrink 0 lits rem 0 time: 0.02 1599.94/400.57 c asymm cl-useful: 4/423/423 lits-rem:4 time: 0.08 1599.94/400.57 c calculated reachability. Time: 0.00 1599.94/400.57 c N st 81 2712142 135 423 6 86526 1876 1332175 no data no data 1948.69/487.87 c N st 82 3212143 135 423 6 133906 1876 2196396 no data no data 1948.69/487.87 c S st 82 3212143 135 423 6 133906 1876 2196396 no data no data 1950.70/488.31 c S st 82 3212646 135 423 6 134402 1876 2207862 no data no data 1950.70/488.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1950.70/488.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.07 1950.70/488.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1950.70/488.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 1950.70/488.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1950.70/488.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 1950.70/488.40 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1951.10/488.44 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 1951.48/488.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2173.19/544.04 c lits-rem: 7573 cl-subs: 33838 v-elim: 0 v-fix: 0 time: 55.53 s 2173.19/544.04 c vivif2 -- cl tried 423 cl shrink 0 lits rem 0 time: 0.00 2173.19/544.06 c vivif2 -- cl tried 100564 cl shrink 0 lits rem 0 time: 0.02 2173.59/544.15 c asymm cl-useful: 3/423/423 lits-rem:3 time: 0.09 2173.59/544.16 c calculated reachability. Time: 0.00 2173.59/544.16 c N st 82 3212646 135 423 6 100564 1872 1575561 no data no data 2597.81/650.30 c N st 83 3712646 135 423 6 119871 1872 1866310 no data no data 2597.81/650.30 c S st 83 3712646 135 423 6 119871 1872 1866310 no data no data 2599.40/650.72 c S st 83 3713150 135 423 6 120373 1872 1877914 no data no data 2599.40/650.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2599.80/650.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.09 2599.80/650.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2599.80/650.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 2599.80/650.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2599.80/650.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 2599.80/650.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2599.80/650.87 c lits-rem: 3 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 2600.20/650.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2740.41/686.06 c lits-rem: 7983 cl-subs: 21055 v-elim: 0 v-fix: 0 time: 35.13 s 2740.41/686.06 c vivif2 -- cl tried 423 cl shrink 0 lits rem 0 time: 0.00 2740.41/686.08 c vivif2 -- cl tried 99318 cl shrink 0 lits rem 0 time: 0.02 2740.81/686.16 c asymm cl-useful: 2/423/423 lits-rem:2 time: 0.08 2740.81/686.17 c calculated reachability. Time: 0.00 2740.81/686.17 c N st 83 3713150 135 423 6 99318 1867 1519871 no data no data 2767.17/692.72 c F st 84 3751563 135 423 6 134533 1867 2339133 no data no data 2767.17/692.72 c N st 84 3751563 135 423 6 134533 1867 2339133 no data no data 2771.17/693.79 c Decided on static restart strategy 2790.74/698.65 c N st 94 3779867 135 423 6 84950 1867 1162145 no data no data 2812.72/704.13 c N st 96 3815860 135 423 6 118492 1867 1914751 no data no data 2835.49/709.89 c N st 97 3848253 135 423 6 148508 1867 2547107 no data no data 2869.84/718.43 c N st 98 3896843 135 423 6 115680 1867 1834370 no data no data 2924.17/732.05 c N st 99 3969728 135 423 6 103789 1867 1553848 no data no data 3004.08/752.07 c N st 100 4079052 135 423 6 124295 1867 2002804 no data no data 3152.27/789.10 c N st 101 4213151 135 423 6 84173 1867 1085126 no data no data 3152.27/789.10 c S st 101 4213151 135 423 6 84173 1867 1085126 no data no data 3153.47/789.44 c S st 101 4213653 135 423 6 84672 1867 1097251 no data no data 3153.47/789.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3153.87/789.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.06 3153.87/789.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3153.87/789.51 c bin-w-bin subsume rem 0 bins time: 0.00 s 3153.87/789.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3153.87/789.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 3153.87/789.51 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3153.87/789.55 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 3153.87/789.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3165.06/792.32 c lits-rem: 2064 cl-subs: 1149 v-elim: 0 v-fix: 0 time: 2.74 s 3165.06/792.32 c vivif2 -- cl tried 423 cl shrink 0 lits rem 0 time: 0.00 3165.06/792.34 c vivif2 -- cl tried 83523 cl shrink 0 lits rem 0 time: 0.02 3165.46/792.45 c asymm cl-useful: 0/423/423 lits-rem:0 time: 0.11 3165.46/792.46 c calculated reachability. Time: 0.00 3165.46/792.46 c N st 101 4213653 135 423 6 83523 1866 1075378 no data no data 3348.04/838.18 c N st 102 4459630 135 423 6 142565 1866 2266254 no data no data 3542.56/886.88 c N st 103 4713653 135 423 6 119380 1866 1786728 no data no data 3542.56/886.88 c S st 103 4713653 135 423 6 119380 1866 1786728 no data no data 3544.15/887.24 c S st 103 4714161 135 423 6 119881 1866 1798884 no data no data 3544.15/887.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3544.55/887.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.06 3544.55/887.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3544.55/887.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 3544.55/887.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3544.55/887.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 3544.55/887.31 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3544.55/887.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 3544.55/887.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3615.66/905.19 c lits-rem: 6074 cl-subs: 15111 v-elim: 0 v-fix: 0 time: 17.80 s 3615.66/905.19 c vivif2 -- cl tried 423 cl shrink 0 lits rem 0 time: 0.00 3616.07/905.21 c vivif2 -- cl tried 104770 cl shrink 0 lits rem 0 time: 0.02 3616.07/905.29 c asymm cl-useful: 0/423/423 lits-rem:0 time: 0.08 3616.07/905.30 c calculated reachability. Time: 0.00 3616.07/905.30 c N st 103 4714161 135 423 6 104770 1866 1502151 no data no data 4059.48/1016.30 c N st 104 5214161 135 423 6 119779 1866 1756367 no data no data 4059.48/1016.30 c S st 104 5214161 135 423 6 119779 1866 1756367 no data no data 4061.48/1016.74 c S st 104 5214664 135 423 6 120280 1866 1768165 no data no data 4061.48/1016.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 4061.88/1016.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.07 4061.88/1016.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4061.88/1016.82 c bin-w-bin subsume rem 0 bins time: 0.00 s 4061.88/1016.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4061.88/1016.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 4061.88/1016.82 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4061.88/1016.86 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 4062.28/1016.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4140.96/1036.62 c lits-rem: 4594 cl-subs: 14851 v-elim: 0 v-fix: 0 time: 19.70 s 4140.96/1036.62 c vivif2 -- cl tried 423 cl shrink 0 lits rem 0 time: 0.00 4140.96/1036.64 c vivif2 -- cl tried 105429 cl shrink 0 lits rem 0 time: 0.02 4141.36/1036.72 c asymm cl-useful: 0/423/423 lits-rem:0 time: 0.08 4141.36/1036.73 c calculated reachability. Time: 0.00 4141.36/1036.73 c N st 104 5214664 135 423 6 105429 1866 1469047 no data no data 4605.15/1153.09 c N st 105 5714664 135 423 6 98251 1866 1260479 no data no data 4605.15/1153.09 c S st 105 5714664 135 423 6 98251 1866 1260479 no data no data 4607.14/1153.58 c S st 105 5715169 135 423 6 98750 1866 1271590 no data no data 4607.54/1153.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4607.54/1153.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.09 4607.54/1153.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4607.54/1153.69 c bin-w-bin subsume rem 0 bins time: 0.00 s 4607.54/1153.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4607.54/1153.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 4607.54/1153.69 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4607.94/1153.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 4607.94/1153.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4624.72/1157.96 c lits-rem: 1608 cl-subs: 1381 v-elim: 0 v-fix: 0 time: 4.17 s 4624.72/1157.96 c vivif2 -- cl tried 423 cl shrink 0 lits rem 0 time: 0.00 4624.72/1157.99 c vivif2 -- cl tried 97369 cl shrink 0 lits rem 0 time: 0.03 4625.52/1158.16 c asymm cl-useful: 0/423/423 lits-rem:0 time: 0.16 4625.52/1158.16 c calculated reachability. Time: 0.00 4625.52/1158.16 c N st 105 5715169 135 423 6 97369 1866 1246150 no data no data
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3263827-1304126489/watcher-3263827-1304126489 -o /tmp/evaluation-result-3263827-1304126489/solver-3263827-1304126489 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3263827-1304126489.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: 4.54 6.88 7.43 6/180 7031 /proc/meminfo: memFree=29234092/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 408 0 0 0 0 0 0 0 22 0 4 0 602879352 52441088 347 33554432000 4194304 4627427 140734430856512 18446744073709551615 47781775574966 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 12803 347 299 106 0 7774 0 [pid=7031/tid=7032] ppid=7029 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 602879352 52441088 347 33554432000 4194304 4627427 140734430856512 18446744073709551615 47781775574952 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 602879353 52441088 347 33554432000 4194304 4627427 140734430856512 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 602879353 52441088 347 33554432000 4194304 4627427 140734430856512 18446744073709551615 252469863478 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.011001 s] /proc/loadavg: 4.54 6.88 7.43 6/180 7031 /proc/meminfo: memFree=29234092/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=281856 CPUtime=0.02 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 857 0 0 0 2 0 0 0 18 0 4 0 602879352 288620544 781 33554432000 4194304 4627427 140734430856512 18446744073709551615 252458065851 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 70464 782 387 106 0 65435 0 [pid=7031/tid=7032] ppid=7029 vsize=281856 CPUtime=0 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 152 0 0 0 0 0 0 0 18 0 4 0 602879352 288620544 783 33554432000 4194304 4627427 140734430856512 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=281856 CPUtime=0 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 102 0 0 0 0 0 0 0 25 0 4 0 602879353 288620544 783 33554432000 4194304 4627427 140734430856512 18446744073709551615 4372842 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=281856 CPUtime=0 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 4 0 602879353 288620544 784 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 281856 [startup+0.100977 s] /proc/loadavg: 4.54 6.88 7.43 6/180 7031 /proc/meminfo: memFree=29234092/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=282144 CPUtime=0.38 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 1475 0 0 0 38 0 0 0 18 0 4 0 602879352 288915456 1399 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 70536 1399 387 106 0 65507 0 [pid=7031/tid=7032] ppid=7029 vsize=282144 CPUtime=0.09 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 314 0 0 0 9 0 0 0 18 0 4 0 602879352 288915456 1399 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=282144 CPUtime=0.09 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 265 0 0 0 9 0 0 0 25 0 4 0 602879353 288915456 1399 33554432000 4194304 4627427 140734430856512 18446744073709551615 4322195 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=282144 CPUtime=0.09 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 207 0 0 0 9 0 0 0 25 0 4 0 602879353 288915456 1399 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 282144 [startup+0.30094 s] /proc/loadavg: 4.54 6.88 7.43 6/180 7031 /proc/meminfo: memFree=29234092/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=283404 CPUtime=1.18 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 2606 0 0 0 118 0 0 0 18 0 4 0 602879352 290205696 1836 33554432000 4194304 4627427 140734430856512 18446744073709551615 4324205 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 70851 1836 388 106 0 65822 0 [pid=7031/tid=7032] ppid=7029 vsize=283404 CPUtime=0.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 654 0 0 0 29 0 0 0 18 0 4 0 602879352 290205696 1836 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=283404 CPUtime=0.29 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 542 0 0 0 29 0 0 0 25 0 4 0 602879353 290205696 1836 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=283404 CPUtime=0.29 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 455 0 0 0 29 0 0 0 25 0 4 0 602879353 290205696 1836 33554432000 4194304 4627427 140734430856512 18446744073709551615 4333086 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 283404 [startup+0.700866 s] /proc/loadavg: 4.54 6.88 7.43 6/180 7031 /proc/meminfo: memFree=29234092/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=284496 CPUtime=2.78 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 4569 0 0 0 278 0 0 0 18 0 4 0 602879352 291323904 2191 33554432000 4194304 4627427 140734430856512 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 71124 2191 388 106 0 66095 0 [pid=7031/tid=7032] ppid=7029 vsize=284496 CPUtime=0.69 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 1076 0 0 0 69 0 0 0 18 0 4 0 602879352 291323904 2191 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=284496 CPUtime=0.69 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 1040 0 0 0 69 0 0 0 25 0 4 0 602879353 291323904 2191 33554432000 4194304 4627427 140734430856512 18446744073709551615 4327573 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=284496 CPUtime=0.69 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 970 0 0 0 69 0 0 0 25 0 4 0 602879353 291323904 2191 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 284496 [startup+1.50072 s] /proc/loadavg: 4.54 6.88 7.43 9/184 7035 /proc/meminfo: memFree=29219964/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=291156 CPUtime=5.97 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 10002 0 0 0 596 1 0 0 20 0 4 0 602879352 298143744 4876 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 72789 4876 390 106 0 67760 0 [pid=7031/tid=7032] ppid=7029 vsize=291156 CPUtime=1.49 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 2903 0 0 0 149 0 0 0 20 0 4 0 602879352 298143744 4876 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=291156 CPUtime=1.48 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 1833 0 0 0 148 0 0 0 25 0 4 0 602879353 298143744 4876 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=291156 CPUtime=1.49 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 1758 0 0 0 149 0 0 0 25 0 4 0 602879353 298143744 4876 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 291156 [startup+3.10042 s] /proc/loadavg: 4.54 6.88 7.43 9/184 7035 /proc/meminfo: memFree=29183136/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=282632 CPUtime=12.36 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 18533 0 0 0 1234 2 0 0 25 0 4 0 602879352 289415168 9953 33554432000 4194304 4627427 140734430856512 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 70658 9953 390 106 0 65629 0 [pid=7031/tid=7032] ppid=7029 vsize=282632 CPUtime=3.09 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 5484 0 0 0 309 0 0 0 25 0 4 0 602879352 289415168 9953 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=282632 CPUtime=3.07 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 4578 0 0 0 307 0 0 0 25 0 4 0 602879353 289415168 9953 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=282632 CPUtime=3.08 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 3899 0 0 0 308 0 0 0 25 0 4 0 602879353 289415168 9953 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 282632 [startup+6.30083 s] /proc/loadavg: 4.81 6.90 7.43 9/184 7035 /proc/meminfo: memFree=29131604/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=297588 CPUtime=25.15 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 28460 0 0 0 2511 4 0 0 25 0 4 0 602879352 304730112 12097 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 74397 12097 390 106 0 69368 0 [pid=7031/tid=7032] ppid=7029 vsize=297588 CPUtime=6.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 7420 0 0 0 628 1 0 0 25 0 4 0 602879352 304730112 12097 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=297588 CPUtime=6.25 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 7175 0 0 0 625 0 0 0 25 0 4 0 602879353 304730112 12097 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=297588 CPUtime=6.29 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 6101 0 0 0 628 1 0 0 25 0 4 0 602879353 304730112 12097 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 297588 [startup+12.7006 s] /proc/loadavg: 5.07 6.91 7.44 9/184 7036 /proc/meminfo: memFree=29104000/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=302924 CPUtime=50.72 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 45818 0 0 0 5065 7 0 0 25 0 4 0 602879352 310194176 17036 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309979 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 75731 17036 390 106 0 70702 0 [pid=7031/tid=7032] ppid=7029 vsize=302924 CPUtime=12.68 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 11226 0 0 0 1267 1 0 0 25 0 4 0 602879352 310194176 17036 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=302924 CPUtime=12.62 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 12099 0 0 0 1261 1 0 0 25 0 4 0 602879353 310194176 17036 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=302924 CPUtime=12.68 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 10863 0 0 0 1267 1 0 0 25 0 4 0 602879353 310194176 17036 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 302924 [startup+25.5003 s] /proc/loadavg: 5.72 6.97 7.45 9/184 7036 /proc/meminfo: memFree=29063764/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=308128 CPUtime=101.86 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 70631 0 0 0 10174 12 0 0 25 0 4 0 602879352 315523072 21158 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 77032 21158 390 106 0 72003 0 [pid=7031/tid=7032] ppid=7029 vsize=308128 CPUtime=25.49 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 18432 0 0 0 2546 3 0 0 25 0 4 0 602879352 315523072 21158 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=308128 CPUtime=25.36 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 16455 0 0 0 2533 3 0 0 25 0 4 0 602879353 315523072 21158 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=308128 CPUtime=25.48 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 17297 0 0 0 2546 2 0 0 25 0 4 0 602879353 315523072 21158 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.86 Current children cumulated vsize (KiB) 308128 [startup+51.1005 s] /proc/loadavg: 6.56 7.06 7.46 9/184 7037 /proc/meminfo: memFree=29013120/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=312640 CPUtime=204.13 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 110621 0 0 0 20393 20 0 0 25 0 4 0 602879352 320143360 25475 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 78160 25475 390 106 0 73131 0 [pid=7031/tid=7032] ppid=7029 vsize=312640 CPUtime=51.09 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 28361 0 0 0 5105 4 0 0 25 0 4 0 602879352 320143360 25475 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=312640 CPUtime=50.85 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 25978 0 0 0 5079 6 0 0 25 0 4 0 602879353 320143360 25475 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=312640 CPUtime=51.09 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 27905 0 0 0 5104 5 0 0 25 0 4 0 602879353 320143360 25475 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.13 Current children cumulated vsize (KiB) 312640 [startup+102.306 s] /proc/loadavg: 7.51 7.24 7.50 9/184 7038 /proc/meminfo: memFree=28949864/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=326512 CPUtime=408.71 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 183849 0 0 0 40837 34 0 0 25 0 4 0 602879352 334348288 32657 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 81628 32657 390 106 0 76599 0 [pid=7031/tid=7032] ppid=7029 vsize=326512 CPUtime=102.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 45579 0 0 0 10222 7 0 0 25 0 4 0 602879352 334348288 32657 33554432000 4194304 4627427 140734430856512 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=326512 CPUtime=101.8 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 44037 0 0 0 10171 9 0 0 25 0 4 0 602879353 334348288 32657 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=326512 CPUtime=102.29 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 47470 0 0 0 10220 9 0 0 25 0 4 0 602879353 334348288 32657 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.71 Current children cumulated vsize (KiB) 326512 [startup+162.301 s] ################ # More data... # ################ [pid=7031] ppid=7029 vsize=564844 CPUtime=2565.87 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 488534 0 0 0 256441 146 0 0 25 0 4 0 602879352 578400256 88245 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 141211 88245 390 106 0 136182 0 [pid=7031/tid=7032] ppid=7029 vsize=564844 CPUtime=642.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 118027 0 0 0 64199 30 0 0 25 0 4 0 602879352 578400256 88245 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=564844 CPUtime=638.92 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 129458 0 0 0 63854 38 0 0 25 0 4 0 602879353 578400256 88245 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=564844 CPUtime=642.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 109028 0 0 0 64200 31 0 0 25 0 4 0 602879353 578400256 88245 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2565.87 Current children cumulated vsize (KiB) 564844 [startup+702.3 s] /proc/loadavg: 8.12 8.00 7.77 9/184 7054 /proc/meminfo: memFree=28439076/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=539352 CPUtime=2805.53 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 513320 0 0 0 280396 157 0 0 25 0 4 0 602879352 552296448 101103 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 134838 101103 390 106 0 129809 0 [pid=7031/tid=7032] ppid=7029 vsize=539352 CPUtime=702.28 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 126465 0 0 0 70194 34 0 0 25 0 4 0 602879352 552296448 101103 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=539352 CPUtime=698.6 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 132318 0 0 0 69822 38 0 0 25 0 4 0 602879353 552296448 101103 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=539352 CPUtime=702.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 117971 0 0 0 70195 36 0 0 25 0 4 0 602879353 552296448 101103 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.53 Current children cumulated vsize (KiB) 539352 [startup+762.307 s] /proc/loadavg: 8.14 8.04 7.80 10/184 7056 /proc/meminfo: memFree=28430852/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=539600 CPUtime=3045.25 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 545281 0 0 0 304358 167 0 0 25 0 4 0 602879352 552550400 100126 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 134900 100126 390 106 0 129871 0 [pid=7031/tid=7032] ppid=7029 vsize=539600 CPUtime=762.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 133735 0 0 0 76193 36 0 0 25 0 4 0 602879352 552550400 100126 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=539600 CPUtime=758.29 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 140722 0 0 0 75789 40 0 0 25 0 4 0 602879353 552550400 100126 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=539600 CPUtime=762.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 123459 0 0 0 76194 37 0 0 25 0 4 0 602879353 552550400 100126 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3045.25 Current children cumulated vsize (KiB) 539600 [startup+822.301 s] /proc/loadavg: 8.09 8.04 7.82 9/184 7057 /proc/meminfo: memFree=28422280/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=539744 CPUtime=3284.91 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 569190 0 0 0 328313 178 0 0 25 0 4 0 602879352 552697856 100976 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 134936 100976 390 106 0 129907 0 [pid=7031/tid=7032] ppid=7029 vsize=539744 CPUtime=822.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 139777 0 0 0 82190 39 0 0 25 0 4 0 602879352 552697856 100976 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=539744 CPUtime=817.97 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 145486 0 0 0 81753 44 0 0 25 0 4 0 602879353 552697856 100976 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=539744 CPUtime=822.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 127160 0 0 0 82193 38 0 0 25 0 4 0 602879353 552697856 100976 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3284.91 Current children cumulated vsize (KiB) 539744 [startup+882.301 s] /proc/loadavg: 8.03 8.03 7.82 9/184 7059 /proc/meminfo: memFree=28394232/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=539968 CPUtime=3524.58 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 603133 0 0 0 352269 189 0 0 25 0 4 0 602879352 552927232 102862 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 134992 102862 390 106 0 129963 0 [pid=7031/tid=7032] ppid=7029 vsize=539968 CPUtime=882.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 147945 0 0 0 88187 42 0 0 25 0 4 0 602879352 552927232 102862 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=539968 CPUtime=877.64 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 151825 0 0 0 87718 46 0 0 25 0 4 0 602879353 552927232 102862 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=539968 CPUtime=882.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 134807 0 0 0 88190 41 0 0 25 0 4 0 602879353 552927232 102862 33554432000 4194304 4627427 140734430856512 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3524.58 Current children cumulated vsize (KiB) 539968 [startup+942.301 s] /proc/loadavg: 8.08 8.04 7.84 9/184 7060 /proc/meminfo: memFree=28366060/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=556688 CPUtime=3764.28 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 626505 0 0 0 376225 203 0 0 25 0 4 0 602879352 570048512 106378 33554432000 4194304 4627427 140734430856512 18446744073709551615 4324267 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 139172 106378 390 106 0 134143 0 [pid=7031/tid=7032] ppid=7029 vsize=556688 CPUtime=942.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 154712 0 0 0 94184 45 0 0 25 0 4 0 602879352 570048512 106378 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=556688 CPUtime=937.33 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 155328 0 0 0 93686 47 0 0 25 0 4 0 602879353 570048512 106378 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=556688 CPUtime=942.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 141430 0 0 0 94185 46 0 0 25 0 4 0 602879353 570048512 106378 33554432000 4194304 4627427 140734430856512 18446744073709551615 4324264 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3764.28 Current children cumulated vsize (KiB) 556688 [startup+1002.3 s] /proc/loadavg: 8.09 8.05 7.85 9/184 7062 /proc/meminfo: memFree=28293736/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=673424 CPUtime=4003.95 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 655360 0 0 0 400179 216 0 0 25 0 4 0 602879352 689586176 111014 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 168356 111014 390 106 0 163327 0 [pid=7031/tid=7032] ppid=7029 vsize=673424 CPUtime=1002.29 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 163909 0 0 0 100180 49 0 0 25 0 4 0 602879352 689586176 111014 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=673424 CPUtime=997.01 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 159119 0 0 0 99652 49 0 0 25 0 4 0 602879353 689586176 111014 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=673424 CPUtime=1002.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 147226 0 0 0 100182 49 0 0 25 0 4 0 602879353 689586176 111014 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4003.95 Current children cumulated vsize (KiB) 673424 [startup+1062.3 s] /proc/loadavg: 8.24 8.08 7.87 10/185 7067 /proc/meminfo: memFree=28245440/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=676660 CPUtime=4243.24 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 679205 0 0 0 424099 225 0 0 25 0 4 0 602879352 692899840 115810 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 169165 115810 390 106 0 164136 0 [pid=7031/tid=7032] ppid=7029 vsize=676660 CPUtime=1062.15 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 169008 0 0 0 106164 51 0 0 25 0 4 0 602879352 692899840 115810 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=676660 CPUtime=1056.68 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 165527 0 0 0 105617 51 0 0 25 0 4 0 602879353 692899840 115810 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=676660 CPUtime=1062.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 152236 0 0 0 106179 52 0 0 25 0 4 0 602879353 692899840 115810 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4243.24 Current children cumulated vsize (KiB) 676660 [startup+1122.3 s] /proc/loadavg: 8.15 8.09 7.89 9/184 7068 /proc/meminfo: memFree=28302004/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=560856 CPUtime=4482.5 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 703926 0 0 0 448015 235 0 0 25 0 4 0 602879352 574316544 105337 33554432000 4194304 4627427 140734430856512 18446744073709551615 4324205 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 140214 105337 390 106 0 135185 0 [pid=7031/tid=7032] ppid=7029 vsize=560856 CPUtime=1122.14 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 175153 0 0 0 112162 52 0 0 25 0 4 0 602879352 574316544 105337 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=560856 CPUtime=1116.35 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 168530 0 0 0 111583 52 0 0 25 0 4 0 602879353 574316544 105337 33554432000 4194304 4627427 140734430856512 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=560856 CPUtime=1122.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 159270 0 0 0 112176 55 0 0 25 0 4 0 602879353 574316544 105337 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4482.5 Current children cumulated vsize (KiB) 560856 [startup+1182.3 s] /proc/loadavg: 8.06 8.07 7.89 9/184 7070 /proc/meminfo: memFree=28320080/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=561096 CPUtime=4722.18 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 715913 0 0 0 471975 243 0 0 25 0 4 0 602879352 574562304 105743 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 140274 105743 390 106 0 135245 0 [pid=7031/tid=7032] ppid=7029 vsize=561096 CPUtime=1182.15 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 179205 0 0 0 118160 55 0 0 25 0 4 0 602879352 574562304 105743 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=561096 CPUtime=1176.02 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 168530 0 0 0 117550 52 0 0 25 0 4 0 602879353 574562304 105743 33554432000 4194304 4627427 140734430856512 18446744073709551615 4409144 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=561096 CPUtime=1182.31 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 159951 0 0 0 118176 55 0 0 25 0 4 0 602879353 574562304 105743 33554432000 4194304 4627427 140734430856512 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4722.18 Current children cumulated vsize (KiB) 561096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.8 s] /proc/loadavg: 8.04 8.07 7.89 5/179 7071 /proc/meminfo: memFree=28800364/32951124 swapFree=67111348/67111528 [pid=7031] ppid=7029 vsize=611604 CPUtime=4800.09 cores=0,2,4,6 /proc/7031/stat : 7031 (strangenight2-m) R 7029 7031 6156 0 -1 4202496 728249 0 0 0 479762 247 0 0 25 0 4 0 602879352 626282496 109321 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7031/statm: 152901 109321 390 106 0 147872 0 [pid=7031/tid=7032] ppid=7029 vsize=611604 CPUtime=1201.65 cores=0,2,4,6 /proc/7031/task/7032/stat : 7032 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 182396 0 0 0 120109 56 0 0 25 0 4 0 602879352 626282496 109321 33554432000 4194304 4627427 140734430856512 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7031/tid=7033] ppid=7029 vsize=611604 CPUtime=1195.4 cores=0,2,4,6 /proc/7031/task/7033/stat : 7033 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 171263 0 0 0 119488 52 0 0 25 0 4 0 602879353 626282496 109321 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7031/tid=7034] ppid=7029 vsize=611604 CPUtime=1201.82 cores=0,2,4,6 /proc/7031/task/7034/stat : 7034 (strangenight2-m) R 7029 7031 6156 0 -1 4202560 162912 0 0 0 120126 56 0 0 25 0 4 0 602879353 626282496 109321 33554432000 4194304 4627427 140734430856512 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.09 Current children cumulated vsize (KiB) 611604 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.84 CPU time (s): 4800.15 CPU user time (s): 4797.65 CPU system time (s): 2.49962 CPU usage (%): 399.401 Max. virtual memory (cumulated for all children) (KiB): 741116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.65 system time used= 2.49962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 728251 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= 132 involuntary context switches= 23500 runsolver used 1.79473 second user time and 4.52031 second system time The end
Begin job on node111 at 2011-04-30 03:21:29 IDJOB=3263827 IDBENCH=84028 IDSOLVER=1586 FILE ID=node111/3263827-1304126489 RUNJOBID= node111-1304126488-7008 PBS_JOBID= 13170724 Free space on /tmp= 70892 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT03/handmade/stanion/hwb/hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263827-1304126489/watcher-3263827-1304126489 -o /tmp/evaluation-result-3263827-1304126489/solver-3263827-1304126489 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3263827-1304126489.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bdf2c49c74bfdbd3bd4663dca402d24f RANDOM SEED=200726379 node111.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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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 : 5428.12 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.849 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.75 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.849 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.86 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 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.67 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.849 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: 29234628 kB Buffers: 1017832 kB Cached: 2179756 kB SwapCached: 0 kB Active: 159440 kB Inactive: 3106444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29234628 kB SwapTotal: 67111528 kB SwapFree: 67111348 kB Dirty: 11680 kB Writeback: 0 kB AnonPages: 68196 kB Mapped: 15260 kB Slab: 385912 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 273132 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= 70892 MiB End job on node111 at 2011-04-30 03:41:33