| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.47 | 1203.14 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf |
| MD5SUM | 6df48a49b3cf6574a0f4cdf651f82d66 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 378.243 |
| 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-3368829-1305404047.cnf' 0.00/0.01 c -- header says num vars: 60 0.00/0.01 c -- header says num clauses: 5340 0.37/0.13 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.37/0.13 c -- vars added 60 0.37/0.13 c Parsing time: 0.01 s 0.37/0.13 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.37/0.13 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 3.17/0.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.17/0.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.17/0.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3.17/0.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.17/0.83 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 3.17/0.83 c Finding binary XORs T: 0.00 s found: 0 3.17/0.83 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 3.17/0.83 c calculated reachability. Time: 0.00 3.17/0.83 c Calc default polars - time: 0.00 s pos: 32 undec: 3 neg: 25 3.17/0.83 c ========================================================================================= 3.17/0.83 c types(t): F = full restart, N = normal restart 3.17/0.83 c types(t): S = simplification begin/end, E = solution found 3.17/0.83 c restart types(rt): st = static, dy = dynamic 3.17/0.83 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.17/0.83 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 3.17/0.83 c N dy 7 4056 60 5340 0 3631 37380 78348 18.69 19.73 -- 3.17/0.83 c N dy 12 8365 60 5340 0 5227 37380 106726 18.37 19.38 -- 3.17/0.83 c N dy 30 15082 60 5340 0 7406 37380 144267 18.31 19.36 -- 4.40/1.13 c F st 51 25000 60 5340 0 11193 37380 215153 18.22 17.50 -- 4.40/1.13 c N st 51 25000 60 5340 0 11193 37380 215153 18.22 17.50 -- 4.76/1.29 c N dy 57 30002 60 5340 0 9604 37380 172704 18.22 no data -- 4.76/1.29 c S st 57 30002 60 5340 0 9604 37380 172704 18.22 no data -- 5.16/1.32 c S st 57 30505 60 5340 0 10059 37380 182364 18.22 no data -- 5.16/1.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.16/1.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.16/1.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.16/1.33 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.16/1.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.16/1.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.16/1.33 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.15/2.33 c lits-rem: 1391 cl-subs: 1060 v-elim: 0 v-fix: 0 time: 3.98 s 9.95/2.59 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.06 9.95/2.59 c calculated reachability. Time: 0.00 9.95/2.59 c N dy 57 30505 60 5340 0 8999 37380 159038 18.22 no data -- 11.14/2.80 c N dy 81 34545 60 5340 0 12600 37380 236885 18.36 20.56 -- 11.94/3.03 c N dy 94 39163 60 5340 0 9742 37380 165484 18.31 19.33 -- 13.18/3.34 c N dy 105 45759 60 5340 0 15586 37380 290316 18.24 16.66 -- 13.18/3.34 c S st 105 45759 60 5340 0 15586 37380 290316 18.24 16.66 -- 13.54/3.40 c S st 105 46261 60 5340 0 8114 37380 123827 18.24 no data -- 13.54/3.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.54/3.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.54/3.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.54/3.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.54/3.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.54/3.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.54/3.40 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.34/4.13 c lits-rem: 115 cl-subs: 29 v-elim: 0 v-fix: 0 time: 2.88 s 16.34/4.13 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.34/4.13 c vivif2 -- cl tried 8085 cl shrink 0 lits rem 0 time: 0.00 17.15/4.35 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.86 17.15/4.35 c calculated reachability. Time: 0.00 17.15/4.35 c N dy 105 46261 60 5340 0 8085 37380 122995 18.24 no data -- 17.93/4.53 c N dy 122 50436 60 5340 0 11824 37380 203701 18.29 19.29 -- 19.52/4.92 c N dy 123 57449 60 5340 0 9187 37380 135617 18.09 19.07 -- 20.32/5.19 c N dy 146 62720 60 5340 0 13878 37380 236504 18.14 19.16 -- 22.32/5.63 c N dy 164 69392 60 5340 0 10048 37380 145255 18.13 16.68 -- 22.32/5.63 c S st 164 69392 60 5340 0 10048 37380 145255 18.13 16.68 -- 22.32/5.66 c S st 164 69897 60 5340 0 10520 37380 155834 18.13 no data -- 22.32/5.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.32/5.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.32/5.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 22.32/5.67 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.32/5.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.32/5.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.32/5.67 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.93/6.52 c lits-rem: 245 cl-subs: 155 v-elim: 0 v-fix: 0 time: 3.37 s 25.93/6.52 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 25.93/6.52 c vivif2 -- cl tried 10365 cl shrink 0 lits rem 0 time: 0.01 27.10/6.80 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.11 27.10/6.80 c calculated reachability. Time: 0.00 27.10/6.80 c N dy 164 69897 60 5340 0 10365 37380 152143 18.13 no data -- 30.73/7.77 c F st 167 87500 60 5340 0 15173 37380 239093 17.75 16.13 -- 30.73/7.77 c N st 167 87500 60 5340 0 15173 37380 239093 17.75 16.13 -- 32.30/8.16 c N dy 177 93215 60 5340 0 20250 37380 346850 17.76 18.71 -- 34.30/8.68 c N dy 191 100742 60 5340 0 15475 37380 240803 17.75 18.72 -- 35.48/8.96 c S st 209 104846 60 5340 0 19152 37380 318487 17.76 16.20 -- 35.88/9.02 c S st 209 105349 60 5340 0 19613 37380 328645 17.76 no data -- 35.88/9.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 35.88/9.02 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 35.88/9.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 35.88/9.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 35.88/9.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 35.88/9.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 35.88/9.04 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 41.87/10.59 c lits-rem: 1890 cl-subs: 2008 v-elim: 0 v-fix: 0 time: 6.20 s 41.87/10.59 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 42.27/10.60 c vivif2 -- cl tried 17605 cl shrink 0 lits rem 0 time: 0.01 43.49/10.97 c asymm cl-useful: 0/4476/5340 lits-rem:0 time: 1.46 43.49/10.97 c calculated reachability. Time: 0.00 43.49/10.97 c N dy 209 105349 60 5340 0 17605 37380 285870 17.76 no data -- 47.06/11.83 c N dy 254 116025 60 5340 0 14779 37380 217086 17.81 18.78 -- 52.26/13.20 c N dy 268 135945 60 5340 0 19143 37380 292479 17.62 18.57 -- 55.44/13.96 c N dy 312 144719 60 5340 0 27017 37380 459608 17.67 18.86 -- 58.22/14.68 c N dy 342 153967 60 5340 0 21034 37380 325540 17.66 19.22 -- 59.82/15.04 c S st 368 158024 60 5340 0 24668 37380 404229 17.70 no data -- 60.22/15.11 c S st 368 158526 60 5340 0 25130 37380 414352 17.70 no data -- 60.22/15.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 60.22/15.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 60.22/15.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 60.22/15.13 c bin-w-bin subsume rem 0 bins time: 0.00 s 60.22/15.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 60.22/15.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 60.22/15.13 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 68.20/17.18 c lits-rem: 2134 cl-subs: 2754 v-elim: 0 v-fix: 0 time: 8.18 s 68.20/17.18 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 68.20/17.19 c vivif2 -- cl tried 22376 cl shrink 0 lits rem 0 time: 0.02 69.00/17.30 c asymm cl-useful: 0/864/5340 lits-rem:0 time: 0.46 69.00/17.30 c calculated reachability. Time: 0.00 69.00/17.30 c N dy 368 158526 60 5340 0 22376 37380 355458 17.70 no data -- 73.39/18.41 c N dy 442 169017 60 5340 0 16768 37380 228123 17.80 18.76 -- 76.98/19.37 c N dy 517 179887 60 5340 0 26428 37380 435493 17.87 19.80 -- 86.96/21.83 c N dy 536 208404 60 5340 0 18800 37380 249700 17.57 18.61 -- 92.93/23.30 c N dy 645 222480 60 5340 0 31411 37380 523318 17.69 18.71 -- 98.52/24.74 c N dy 745 236731 60 5340 0 26397 37380 406093 17.77 19.89 -- 98.92/24.84 c S st 746 237789 60 5340 0 27332 37380 425222 17.77 17.87 -- 99.32/24.91 c S st 746 238295 60 5340 0 27797 37380 435337 17.77 no data -- 99.32/24.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 99.32/24.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 99.32/24.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 99.32/24.93 c bin-w-bin subsume rem 0 bins time: 0.00 s 99.32/24.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 99.32/24.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 99.32/24.93 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 108.50/27.20 c lits-rem: 1856 cl-subs: 2330 v-elim: 0 v-fix: 0 time: 9.03 s 108.50/27.20 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 108.50/27.20 c vivif2 -- cl tried 25467 cl shrink 0 lits rem 0 time: 0.02 109.73/27.59 c asymm cl-useful: 0/3278/5340 lits-rem:0 time: 1.52 109.73/27.59 c calculated reachability. Time: 0.00 109.73/27.59 c N dy 746 238295 60 5340 0 25467 37380 383180 17.77 no data -- 117.28/29.42 c N dy 820 257501 60 5340 0 23990 37380 336400 17.78 18.75 -- 124.86/31.36 c N dy 893 275518 60 5340 0 20493 37380 256648 17.80 18.74 -- 132.44/33.26 c N dy 956 294944 60 5340 0 37697 37380 617850 17.79 18.83 -- 137.22/34.48 c F st 1006 306250 60 5340 0 27328 37380 389562 17.80 15.69 -- 140.45/35.28 c N dy 1025 313810 60 5340 0 34041 37380 532261 17.81 19.40 -- 149.23/37.47 c N dy 1088 333912 60 5340 0 30540 37380 444624 17.79 20.24 -- 159.97/40.16 c N dy 1211 354011 60 5340 0 26277 37380 352322 17.86 19.78 -- 161.57/40.53 c S st 1240 357445 60 5340 0 29345 37380 419519 17.88 no data -- 161.99/40.61 c S st 1240 357949 60 5340 0 29798 37380 429548 17.88 no data -- 161.99/40.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 161.99/40.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 161.99/40.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 161.99/40.63 c bin-w-bin subsume rem 0 bins time: 0.00 s 161.99/40.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 161.99/40.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 161.99/40.63 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 170.34/42.74 c lits-rem: 1509 cl-subs: 1666 v-elim: 0 v-fix: 0 time: 8.42 s 170.34/42.74 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 170.34/42.74 c vivif2 -- cl tried 28132 cl shrink 0 lits rem 0 time: 0.02 171.53/43.07 c asymm cl-useful: 0/2062/5340 lits-rem:0 time: 1.29 171.53/43.07 c calculated reachability. Time: 0.00 171.53/43.07 c N dy 1240 357949 60 5340 0 28132 37380 391185 17.88 no data -- 185.90/46.69 c N dy 1375 378015 60 5340 0 23000 37380 271314 17.94 19.65 -- 196.28/49.23 c N dy 1502 398110 60 5340 0 40887 37380 658684 17.99 20.78 -- 209.05/52.43 c N dy 1576 425142 60 5340 0 40850 37380 630780 17.98 18.93 -- 219.46/55.05 c N dy 1642 445248 60 5340 0 33791 37380 472081 17.98 19.03 -- 230.98/57.99 c N dy 1707 465263 60 5340 0 25862 37380 298089 17.98 18.94 -- 240.99/60.49 c N dy 1812 485276 60 5340 0 43676 37380 680048 18.01 21.39 -- 252.14/63.27 c N dy 1855 506405 60 5340 0 35822 37380 494127 17.98 19.08 -- 268.89/67.47 c N dy 1959 536927 60 5340 0 35323 37380 471583 17.99 16.52 -- 268.89/67.47 c S st 1959 536927 60 5340 0 35323 37380 471583 17.99 16.52 -- 269.29/67.57 c S st 1959 537428 60 5340 0 35772 37380 481554 17.99 no data -- 269.29/67.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 269.29/67.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 269.29/67.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 269.29/67.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 269.69/67.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 269.69/67.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 269.69/67.60 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 278.47/69.85 c lits-rem: 963 cl-subs: 2606 v-elim: 0 v-fix: 0 time: 8.98 s 278.47/69.85 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 278.47/69.85 c vivif2 -- cl tried 33166 cl shrink 0 lits rem 0 time: 0.02 280.07/70.23 c asymm cl-useful: 0/2778/5340 lits-rem:0 time: 1.51 280.07/70.23 c calculated reachability. Time: 0.00 280.07/70.23 c N dy 1959 537428 60 5340 0 33166 37380 430582 17.99 no data -- 291.64/73.18 c N dy 2067 557525 60 5340 0 50997 37380 811110 18.01 19.07 -- 306.01/76.78 c N dy 2157 582871 60 5340 0 45144 37380 668652 18.00 18.97 -- 319.98/80.26 c N dy 2251 603198 60 5340 0 34081 37380 433341 18.02 18.98 -- 333.92/83.74 c N dy 2313 627322 60 5340 0 55425 37380 886344 18.01 18.96 -- 346.32/86.85 c N dy 2405 647361 60 5340 0 43174 37380 615354 18.02 21.00 -- 366.25/91.87 c N dy 2485 674692 60 5340 0 36349 37380 457680 18.01 18.98 -- 380.22/95.37 c N dy 2608 695537 60 5340 0 54840 37380 857929 18.04 19.04 -- 394.60/99.01 c N dy 2672 716477 60 5340 0 41489 37380 555720 18.03 19.03 -- 412.57/103.44 c N dy 2807 739081 60 5340 0 61606 37380 991765 18.06 19.06 -- 428.89/107.53 c N dy 2885 764622 60 5340 0 51428 37380 754462 18.06 19.11 -- 446.86/112.00 c N dy 2952 789445 60 5340 0 39714 37380 495362 18.05 19.02 -- 458.42/114.99 c S st 3072 806142 60 5340 0 54594 37380 820547 18.07 18.07 -- 459.22/115.13 c S st 3072 806648 60 5340 0 55045 37380 830398 18.07 no data -- 459.22/115.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 459.22/115.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 459.22/115.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.09 459.22/115.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 459.22/115.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 459.22/115.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 459.22/115.18 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 493.93/123.86 c lits-rem: 3490 cl-subs: 5293 v-elim: 0 v-fix: 0 time: 34.60 s 493.93/123.86 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 493.93/123.87 c vivif2 -- cl tried 49752 cl shrink 0 lits rem 0 time: 0.04 495.13/124.20 c asymm cl-useful: 0/811/5340 lits-rem:0 time: 1.30 495.13/124.20 c calculated reachability. Time: 0.00 495.13/124.20 c N dy 3072 806648 60 5340 0 49752 37380 715981 18.07 no data -- 510.69/128.00 c N dy 3113 826696 60 5340 0 67305 37380 1076857 18.05 19.86 -- 523.46/131.28 c N dy 3207 846710 60 5340 0 50813 37380 732895 18.07 19.82 -- 541.42/135.75 c N dy 3318 866768 60 5340 0 68687 37380 1120187 18.09 20.03 -- 554.58/139.08 c N dy 3365 888081 60 5340 0 52249 37380 741598 18.08 19.08 -- 575.72/144.31 c N dy 3496 910735 60 5340 0 72267 37380 1174021 18.10 19.13 -- 589.69/147.86 c N dy 3608 930952 60 5340 0 54013 37380 779456 18.12 19.08 -- 606.05/151.92 c N dy 3658 951026 60 5340 0 71753 37380 1156097 18.11 19.43 -- 620.41/155.57 c N dy 3722 972041 60 5340 0 53060 37380 736963 18.11 19.08 -- 638.77/160.19 c N dy 3839 992110 60 5340 0 70871 37380 1123222 18.13 19.91 -- 654.33/164.00 c N dy 3906 1012474 60 5340 0 50762 37380 680132 18.13 19.15 -- 671.53/168.37 c N dy 4008 1032542 60 5340 0 68558 37380 1064037 18.14 19.80 -- 689.08/172.74 c N dy 4093 1053230 60 5340 0 48044 37380 620684 18.15 19.14 -- 701.83/175.97 c F st 4120 1071876 60 5340 0 64496 37380 963298 18.13 17.08 -- 703.40/176.37 c N st 4124 1073908 60 5340 0 66301 37380 1002320 18.13 no data -- 727.35/182.36 c N dy 4207 1101822 60 5340 0 51211 37380 670590 18.13 19.19 -- 745.31/186.86 c N dy 4232 1128103 60 5340 0 74178 37380 1141830 18.11 19.09 -- 762.46/191.16 c N dy 4294 1148974 60 5340 0 52128 37380 684418 18.11 19.07 -- 781.60/195.92 c N dy 4319 1173496 60 5340 0 73549 37380 1120741 18.07 19.04 -- 802.78/201.29 c N dy 4408 1193547 60 5340 0 49936 37380 631427 18.08 20.34 -- 816.37/204.61 c S st 4438 1209974 60 5340 0 64400 37380 931414 18.07 14.54 -- 817.12/204.84 c S st 4438 1210476 60 5340 0 64866 37380 942123 18.07 no data -- 817.12/204.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 817.12/204.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 817.12/204.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.14 817.52/204.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 817.52/204.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 817.52/204.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 817.52/204.90 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 892.13/223.64 c lits-rem: 3392 cl-subs: 6778 v-elim: 0 v-fix: 0 time: 74.75 s 892.13/223.64 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 892.13/223.65 c vivif2 -- cl tried 58088 cl shrink 0 lits rem 0 time: 0.04 893.73/224.00 c asymm cl-useful: 0/662/5340 lits-rem:0 time: 1.40 893.73/224.01 c calculated reachability. Time: 0.00 893.73/224.01 c N dy 4438 1210476 60 5340 0 58088 37380 803914 18.07 no data -- 920.07/230.69 c N dy 4490 1239102 60 5340 0 83319 37380 1334320 18.05 19.24 -- 938.02/235.19 c N dy 4636 1260805 60 5340 0 60660 37380 860337 18.07 19.08 -- 959.97/240.62 c N dy 4767 1280900 60 5340 0 78578 37380 1250479 18.09 20.17 -- 993.48/249.07 c N dy 4843 1317198 60 5340 0 67275 37380 948255 18.05 19.24 -- 1019.42/255.51 c N dy 4917 1338512 60 5340 0 86154 37380 1349746 18.05 19.01 -- 1040.96/260.95 c N dy 5036 1358912 60 5340 0 60248 37380 826103 18.06 19.05 -- 1064.91/266.90 c N dy 5126 1378961 60 5340 0 77977 37380 1204022 18.07 19.45 -- 1087.25/272.54 c N dy 5166 1401976 60 5340 0 53180 37380 650642 18.05 19.05 -- 1106.04/277.26 c N dy 5250 1423765 60 5340 0 72342 37380 1054389 18.05 19.17 -- 1131.96/283.72 c N dy 5364 1445031 60 5340 0 91179 37380 1461914 18.07 19.06 -- 1150.29/288.32 c N dy 5507 1465044 60 5340 0 63072 37380 870112 18.09 20.92 -- 1174.23/294.34 c N dy 5658 1485136 60 5340 0 80972 37380 1263413 18.11 21.18 -- 1200.17/300.86 c N dy 5780 1505390 60 5340 0 52013 37380 613645 18.12 19.19 -- 1216.52/304.93 c N dy 5855 1525494 60 5340 0 69788 37380 994129 18.12 19.11 -- 1271.19/318.61 c N dy 5959 1587514 60 5340 0 76166 37380 1066143 18.06 19.02 -- 1298.32/325.47 c N dy 6098 1607613 60 5340 0 94022 37380 1454980 18.08 19.74 -- 1319.06/330.60 c N dy 6229 1627704 60 5340 0 63470 37380 846099 18.09 19.42 -- 1355.80/339.87 c N dy 6331 1662781 60 5340 0 94206 37380 1488073 18.08 19.05 -- 1377.32/345.28 c N dy 6440 1682863 60 5340 0 62699 37380 815776 18.09 19.13 -- 1398.07/350.45 c N dy 6518 1702917 60 5340 0 80378 37380 1191460 18.09 19.11 -- 1408.88/353.16 c S st 6550 1710477 60 5340 0 87056 37380 1334383 18.09 17.71 -- 1410.04/353.49 c S st 6550 1710980 60 5340 0 87509 37380 1344468 18.09 no data -- 1410.43/353.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1410.43/353.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1410.43/353.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.20 1410.43/353.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 1410.43/353.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1410.43/353.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1410.43/353.59 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1596.77/400.25 c lits-rem: 6046 cl-subs: 10137 v-elim: 0 v-fix: 0 time: 186.12 s 1596.77/400.25 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1596.77/400.27 c vivif2 -- cl tried 77372 cl shrink 0 lits rem 0 time: 0.07 1598.76/400.71 c asymm cl-useful: 0/520/5340 lits-rem:0 time: 1.78 1598.76/400.72 c calculated reachability. Time: 0.00 1598.76/400.72 c N dy 6550 1710980 60 5340 0 77372 37380 1129052 18.09 no data -- 1635.08/409.80 c N dy 6612 1734588 60 5340 0 98223 37380 1573075 18.09 19.05 -- 1662.61/416.80 c N dy 6744 1754664 60 5340 0 66386 37380 894771 18.10 20.02 -- 1700.11/426.19 c N dy 6887 1774760 60 5340 0 84199 37380 1284827 18.12 20.51 -- 1741.61/436.55 c N dy 6971 1794980 60 5340 0 51120 37380 546000 18.12 19.15 -- 1763.56/442.05 c N dy 7018 1815329 60 5340 0 68983 37380 922037 18.12 19.11 -- 1796.67/450.32 c N dy 7120 1835415 60 5340 0 86746 37380 1305955 18.12 19.69 -- 1839.76/461.12 c N dy 7223 1858453 60 5340 0 55113 37380 619425 18.13 19.12 -- 1866.09/467.75 c N dy 7334 1878520 60 5340 0 72821 37380 1001951 18.14 19.16 -- 1899.62/476.13 c N dy 7451 1898561 60 5340 0 90573 37380 1388834 18.15 19.28 -- 1938.72/485.99 c N dy 7560 1918860 60 5340 0 55630 37380 622864 18.16 19.13 -- 1957.86/490.74 c N dy 7600 1938941 60 5340 0 73228 37380 991078 18.15 20.30 -- 1986.60/497.94 c N dy 7730 1960616 60 5340 0 92431 37380 1409588 18.16 19.28 -- 2014.56/504.91 c N dy 7808 1980704 60 5340 0 56353 37380 628205 18.16 19.21 -- 2034.88/510.04 c N dy 7927 2001287 60 5340 0 74611 37380 1026450 18.17 19.16 -- 2057.62/515.72 c N dy 7983 2021678 60 5340 0 92551 37380 1404657 18.17 19.15 -- 2087.95/523.34 c N dy 8067 2042121 60 5340 0 55876 37380 606600 18.17 19.32 -- 2137.81/535.84 c N dy 8095 2097824 60 5340 0 104336 37380 1587576 18.12 19.09 -- 2163.79/542.34 c N dy 8214 2117903 60 5340 0 66880 37380 838574 18.13 19.09 -- 2188.89/548.67 c N dy 8290 2141999 60 5340 0 88050 37380 1288285 18.13 19.14 -- 2220.02/556.40 c N dy 8405 2162014 60 5340 0 105810 37380 1674545 18.14 19.13 -- 2245.96/562.95 c N dy 8494 2182371 60 5340 0 67420 37380 834934 18.14 19.14 -- 2277.50/570.88 c N dy 8605 2210980 60 5340 0 92563 37380 1372392 18.14 16.81 -- 2277.50/570.88 c S st 8605 2210980 60 5340 0 92563 37380 1372392 18.14 16.81 -- 2278.67/571.17 c S st 8605 2211483 60 5340 0 93024 37380 1383053 18.14 no data -- 2278.67/571.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2278.67/571.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2279.07/571.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.17 2279.07/571.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 2279.07/571.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2279.07/571.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2279.07/571.26 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2388.39/598.64 c lits-rem: 5425 cl-subs: 10168 v-elim: 0 v-fix: 0 time: 109.24 s 2388.39/598.64 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2388.39/598.66 c vivif2 -- cl tried 82856 cl shrink 0 lits rem 0 time: 0.06 2389.59/598.99 c asymm cl-useful: 0/451/5340 lits-rem:0 time: 1.33 2389.59/598.99 c calculated reachability. Time: 0.00 2389.59/598.99 c N dy 8605 2211483 60 5340 0 82856 37380 1169279 18.14 no data -- 2421.52/606.98 c N dy 8712 2233827 60 5340 0 102665 37380 1597192 18.15 19.18 -- 2464.60/617.73 c N dy 8798 2274020 60 5340 0 81118 37380 1103868 18.14 19.12 -- 2501.34/626.95 c N dy 8925 2298287 60 5340 0 102511 37380 1567138 18.15 19.23 -- 2536.03/635.69 c N dy 9060 2318344 60 5340 0 62529 37380 715805 18.16 20.02 -- 2563.56/642.53 c N dy 9171 2339215 60 5340 0 81030 37380 1117432 18.16 19.13 -- 2603.46/652.50 c N dy 9301 2359257 60 5340 0 98728 37380 1502340 18.17 19.18 -- 2651.74/664.62 c N dy 9425 2379443 60 5340 0 116664 37380 1893202 18.18 19.18 -- 2681.29/672.03 c N dy 9491 2400777 60 5340 0 76298 37380 990101 18.18 19.26 -- 2722.76/682.43 c N dy 9625 2424687 60 5340 0 97449 37380 1449599 18.19 19.27 -- 2759.07/691.53 c N dy 9687 2445187 60 5340 0 115471 37380 1831285 18.18 19.19 -- 2794.18/700.34 c N dy 9792 2467222 60 5340 0 75013 37380 959664 18.19 19.24 -- 2831.29/709.61 c N dy 9921 2487915 60 5340 0 93351 37380 1359045 18.19 19.30 -- 2869.20/719.10 c N dy 9978 2507921 60 5340 0 110969 37380 1733718 18.19 19.19 -- 2925.06/733.13 c N dy 10082 2540725 60 5340 0 78924 37380 1015785 18.19 19.16 -- 2957.38/741.30 c N dy 10160 2560775 60 5340 0 96596 37380 1396859 18.19 19.71 -- 3001.69/752.31 c N dy 10284 2580852 60 5340 0 114401 37380 1788820 18.20 20.22 -- 3034.78/760.62 c N dy 10381 2600911 60 5340 0 70440 37380 838025 18.20 20.60 -- 3057.13/766.27 c N dy 10458 2621637 60 5340 0 88605 37380 1222589 18.20 19.17 -- 3087.85/773.94 c N dy 10568 2641709 60 5340 0 106372 37380 1607813 18.21 19.26 -- 3124.58/783.18 c N dy 10662 2661772 60 5340 0 123943 37380 1982725 18.21 20.19 -- 3149.30/789.32 c N dy 10787 2681851 60 5340 0 79247 37380 1027661 18.22 21.23 -- 3178.02/796.54 c N dy 10929 2701857 60 5340 0 96938 37380 1415825 18.23 20.28 -- 3191.58/799.99 c S st 10956 2711483 60 5340 0 105406 37380 1597521 18.23 18.27 -- 3193.19/800.32 c S st 10956 2711987 60 5340 0 105867 37380 1607865 18.23 no data -- 3193.19/800.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3193.19/800.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3193.19/800.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.21 3193.59/800.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 3193.59/800.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3193.59/800.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3193.59/800.43 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3612.94/905.55 c lits-rem: 8380 cl-subs: 10815 v-elim: 0 v-fix: 0 time: 419.35 s 3612.94/905.55 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3612.94/905.57 c vivif2 -- cl tried 95052 cl shrink 0 lits rem 0 time: 0.08 3614.14/905.89 c asymm cl-useful: 0/583/5340 lits-rem:0 time: 1.30 3614.54/905.90 c calculated reachability. Time: 0.00 3614.54/905.90 c N dy 10956 2711987 60 5340 0 95052 37380 1364712 18.23 no data -- 3641.67/912.76 c N dy 10990 2732631 60 5340 0 113064 37380 1741092 18.22 19.19 -- 3685.57/923.78 c N dy 11052 2769571 60 5340 0 82622 37380 1072437 18.21 19.18 -- 3711.50/930.22 c N dy 11145 2789601 60 5340 0 100267 37380 1454856 18.21 19.74 -- 3745.82/938.81 c N dy 11220 2810920 60 5340 0 119009 37380 1854604 18.21 19.28 -- 3784.51/948.51 c N dy 11292 2831327 60 5340 0 73139 37380 876622 18.21 19.26 -- 3816.44/956.57 c N dy 11347 2851398 60 5340 0 90661 37380 1247246 18.21 19.27 -- 3867.50/969.38 c N dy 11444 2876264 60 5340 0 112537 37380 1718581 18.21 19.23 -- 3914.62/981.18 c N dy 11523 2896740 60 5340 0 65728 37380 703822 18.21 19.20 -- 3946.11/989.03 c N dy 11536 2921786 60 5340 0 87581 37380 1153427 18.20 19.17 -- 4011.18/1005.32 c N dy 11543 2965598 60 5340 0 125505 37380 1927512 18.17 19.44 -- 4049.06/1014.84 c N dy 11644 2985686 60 5340 0 77817 37380 960606 18.18 20.01 -- 4088.56/1024.78 c N dy 11800 3007122 60 5340 0 96719 37380 1377878 18.19 19.40 -- 4140.03/1037.67 c N dy 11899 3032600 60 5340 0 119201 37380 1858735 18.19 19.26 -- 4193.89/1051.10 c N dy 12046 3053146 60 5340 0 70571 37380 788465 18.20 19.19 -- 4231.04/1060.44 c N dy 12175 3075396 60 5340 0 90280 37380 1218490 18.20 19.17 -- 4292.49/1075.84 c N dy 12176 3117349 60 5340 0 126642 37380 1944720 18.17 19.14 -- 4339.94/1087.77 c N dy 12294 3141704 60 5340 0 80609 37380 994460 18.18 19.17 -- 4377.04/1097.03 c N dy 12404 3162136 60 5340 0 98655 37380 1386925 18.18 19.25 -- 4418.14/1107.30 c N dy 12468 3185428 60 5340 0 119102 37380 1819150 18.18 19.26 -- 4464.42/1118.97 c N dy 12584 3205466 60 5340 0 136860 37380 2210278 18.19 20.92 -- 4474.80/1121.51 c S st 12643 3211987 60 5340 0 74030 37380 846121 18.19 no data -- 4475.60/1121.73 c S st 12643 3212492 60 5340 0 74490 37380 856416 18.19 no data -- 4475.60/1121.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4475.60/1121.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4475.60/1121.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.13 4476.00/1121.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 4476.00/1121.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4476.00/1121.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4476.00/1121.80 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4533.89/1136.38 c lits-rem: 853 cl-subs: 1326 v-elim: 0 v-fix: 0 time: 58.16 s 4533.89/1136.38 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4533.89/1136.39 c vivif2 -- cl tried 73164 cl shrink 0 lits rem 0 time: 0.05 4535.05/1136.68 c asymm cl-useful: 0/600/5340 lits-rem:0 time: 1.17 4535.05/1136.68 c calculated reachability. Time: 0.00 4535.05/1136.68 c N dy 12643 3212492 60 5340 0 73164 37380 825193 18.19 no data -- 4561.77/1143.37 c N dy 12765 3232507 60 5340 0 90849 37380 1210707 18.20 21.38 -- 4606.47/1154.54 c N dy 12804 3267421 60 5340 0 121212 37380 1824582 18.18 19.15 -- 4653.55/1166.33 c N dy 12921 3292110 60 5340 0 73708 37380 824288 18.18 19.24 -- 4678.73/1172.68 c N dy 13027 3312151 60 5340 0 91407 37380 1208480 18.19 20.71 -- 4707.42/1179.87 c N dy 13099 3332374 60 5340 0 109103 37380 1586953 18.19 19.15 -- 4744.56/1189.17 c N dy 13189 3352408 60 5340 0 126762 37380 1968341 18.19 19.18 -- 4787.22/1199.82 c N dy 13299 3373283 60 5340 0 74824 37380 840017 18.20 19.18 --
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-3368829-1305404047/watcher-3368829-1305404047 -o /tmp/evaluation-result-3368829-1305404047/solver-3368829-1305404047 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368829-1305404047.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: 3.69 4.63 6.26 2/311 8191 /proc/meminfo: memFree=27337776/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 384596005 52465664 353 33554432000 4194304 4650419 140737240427840 18446744073709551615 47216757602226 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 12809 353 303 112 0 7774 0 [pid=8191/tid=8192] ppid=8189 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 384596005 52465664 353 33554432000 4194304 4650419 140737240427840 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 384596005 52465664 353 33554432000 4194304 4650419 140737240427840 18446744073709551615 47216757602220 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 384596005 52465664 353 33554432000 4194304 4650419 140737240427840 18446744073709551615 47216757602226 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.038515 s] /proc/loadavg: 3.69 4.63 6.26 2/311 8191 /proc/meminfo: memFree=27337776/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=281904 CPUtime=0.13 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 1204 0 0 0 13 0 0 0 18 0 4 0 384596005 288669696 1109 33554432000 4194304 4650419 140737240427840 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 70476 1109 366 112 0 65441 0 [pid=8191/tid=8192] ppid=8189 vsize=281904 CPUtime=0.02 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 184 0 0 0 2 0 0 0 25 0 4 0 384596005 288669696 1109 33554432000 4194304 4650419 140737240427840 18446744073709551615 4370511 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=281904 CPUtime=0.03 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 179 0 0 0 3 0 0 0 18 0 4 0 384596005 288669696 1109 33554432000 4194304 4650419 140737240427840 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=281904 CPUtime=0.03 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 228 0 0 0 3 0 0 0 18 0 4 0 384596005 288669696 1110 33554432000 4194304 4650419 140737240427840 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 281904 [startup+0.100504 s] /proc/loadavg: 3.69 4.63 6.26 2/311 8191 /proc/meminfo: memFree=27337776/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=281904 CPUtime=0.37 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 1333 0 0 0 37 0 0 0 18 0 4 0 384596005 288669696 1238 33554432000 4194304 4650419 140737240427840 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 70476 1238 366 112 0 65441 0 [pid=8191/tid=8192] ppid=8189 vsize=281904 CPUtime=0.08 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 195 0 0 0 8 0 0 0 25 0 4 0 384596005 288669696 1238 33554432000 4194304 4650419 140737240427840 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=281904 CPUtime=0.09 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 189 0 0 0 9 0 0 0 18 0 4 0 384596005 288669696 1238 33554432000 4194304 4650419 140737240427840 18446744073709551615 4370630 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=281904 CPUtime=0.09 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 325 0 0 0 9 0 0 0 18 0 4 0 384596005 288669696 1238 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 281904 [startup+0.300471 s] /proc/loadavg: 3.69 4.63 6.26 2/311 8191 /proc/meminfo: memFree=27337776/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=285256 CPUtime=1.17 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 3596 0 0 0 117 0 0 0 18 0 4 0 384596005 292102144 2657 33554432000 4194304 4650419 140737240427840 18446744073709551615 4520254 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 71314 2657 390 112 0 66279 0 [pid=8191/tid=8192] ppid=8189 vsize=285256 CPUtime=0.28 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 864 0 0 0 28 0 0 0 25 0 4 0 384596005 292102144 2658 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366956 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=285256 CPUtime=0.29 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 846 0 0 0 29 0 0 0 18 0 4 0 384596005 292102144 2658 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=285256 CPUtime=0.29 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 623 0 0 0 29 0 0 0 18 0 4 0 384596005 292102144 2658 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 285256 [startup+0.700401 s] /proc/loadavg: 3.69 4.63 6.26 2/311 8191 /proc/meminfo: memFree=27337776/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=286412 CPUtime=2.77 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 5585 0 0 0 276 1 0 0 18 0 4 0 384596005 293285888 3452 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 71603 3452 390 112 0 66568 0 [pid=8191/tid=8192] ppid=8189 vsize=286412 CPUtime=0.68 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 1296 0 0 0 68 0 0 0 25 0 4 0 384596005 293285888 3452 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=286412 CPUtime=0.69 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 1305 0 0 0 69 0 0 0 18 0 4 0 384596005 293285888 3452 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=286412 CPUtime=0.69 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 1258 0 0 0 69 0 0 0 18 0 4 0 384596005 293285888 3453 33554432000 4194304 4650419 140737240427840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 286412 [startup+1.50026 s] /proc/loadavg: 3.69 4.63 6.26 9/323 8203 /proc/meminfo: memFree=27308904/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=287620 CPUtime=5.95 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 10011 0 0 0 594 1 0 0 20 0 4 0 384596005 294522880 5394 33554432000 4194304 4650419 140737240427840 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 71905 5394 392 112 0 66870 0 [pid=8191/tid=8192] ppid=8189 vsize=287620 CPUtime=1.47 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 2132 0 0 0 147 0 0 0 25 0 4 0 384596005 294522880 5394 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=287620 CPUtime=1.49 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 2105 0 0 0 149 0 0 0 20 0 4 0 384596005 294522880 5394 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=287620 CPUtime=1.49 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 2098 0 0 0 149 0 0 0 20 0 4 0 384596005 294522880 5394 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 287620 [startup+3.10098 s] /proc/loadavg: 3.69 4.63 6.26 9/323 8203 /proc/meminfo: memFree=27276292/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=286964 CPUtime=12.34 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 16621 0 0 0 1232 2 0 0 25 0 4 0 384596005 293851136 9976 33554432000 4194304 4650419 140737240427840 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 71741 9976 392 112 0 66706 0 [pid=8191/tid=8192] ppid=8189 vsize=286964 CPUtime=3.06 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 3595 0 0 0 306 0 0 0 25 0 4 0 384596005 293851136 9976 33554432000 4194304 4650419 140737240427840 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=286964 CPUtime=3.08 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 4420 0 0 0 308 0 0 0 25 0 4 0 384596005 293851136 9976 33554432000 4194304 4650419 140737240427840 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=286964 CPUtime=3.09 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 4447 0 0 0 309 0 0 0 25 0 4 0 384596005 293851136 9976 33554432000 4194304 4650419 140737240427840 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 286964 [startup+6.30042 s] /proc/loadavg: 4.04 4.69 6.27 9/323 8203 /proc/meminfo: memFree=27246796/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=314232 CPUtime=25.11 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 24110 0 0 0 2507 4 0 0 25 0 4 0 384596005 321773568 12877 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 78558 12878 392 112 0 73523 0 [pid=8191/tid=8192] ppid=8189 vsize=314232 CPUtime=6.22 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 6139 0 0 0 622 0 0 0 25 0 4 0 384596005 321773568 12878 33554432000 4194304 4650419 140737240427840 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=314232 CPUtime=6.28 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 5666 0 0 0 628 0 0 0 25 0 4 0 384596005 321773568 12878 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=314232 CPUtime=6.28 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 6503 0 0 0 628 0 0 0 25 0 4 0 384596005 321773568 12878 33554432000 4194304 4650419 140737240427840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 314232 [startup+12.7003 s] /proc/loadavg: 4.35 4.74 6.28 9/323 8203 /proc/meminfo: memFree=27210480/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=314884 CPUtime=50.65 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 35591 0 0 0 5059 6 0 0 25 0 4 0 384596005 322441216 19109 33554432000 4194304 4650419 140737240427840 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 78721 19109 392 112 0 73686 0 [pid=8191/tid=8192] ppid=8189 vsize=314884 CPUtime=12.56 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 8788 0 0 0 1255 1 0 0 25 0 4 0 384596005 322441216 19109 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=314884 CPUtime=12.68 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 7977 0 0 0 1267 1 0 0 25 0 4 0 384596005 322441216 19109 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=314884 CPUtime=12.68 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 10023 0 0 0 1267 1 0 0 25 0 4 0 384596005 322441216 19109 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365373 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 314884 [startup+25.5011 s] /proc/loadavg: 5.16 4.90 6.31 9/323 8234 /proc/meminfo: memFree=27173100/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=311508 CPUtime=101.71 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 50774 0 0 0 10163 8 0 0 25 0 4 0 384596005 318984192 23699 33554432000 4194304 4650419 140737240427840 18446744073709551615 4433090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 77877 23699 392 112 0 72842 0 [pid=8191/tid=8192] ppid=8189 vsize=311508 CPUtime=25.23 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 12903 0 0 0 2522 1 0 0 25 0 4 0 384596005 318984192 23699 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=311508 CPUtime=25.48 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 11256 0 0 0 2546 2 0 0 25 0 4 0 384596005 318984192 23699 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=311508 CPUtime=25.49 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 14744 0 0 0 2547 2 0 0 25 0 4 0 384596005 318984192 23699 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.71 Current children cumulated vsize (KiB) 311508 [startup+51.1006 s] /proc/loadavg: 6.19 5.16 6.36 9/323 8234 /proc/meminfo: memFree=27128796/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=302092 CPUtime=203.85 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 75190 0 0 0 20370 15 0 0 25 0 4 0 384596005 309342208 28682 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 75523 28682 392 112 0 70488 0 [pid=8191/tid=8192] ppid=8189 vsize=302092 CPUtime=50.58 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 20514 0 0 0 5055 3 0 0 25 0 4 0 384596005 309342208 28682 33554432000 4194304 4650419 140737240427840 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=302092 CPUtime=51.08 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 15475 0 0 0 5105 3 0 0 25 0 4 0 384596005 309342208 28682 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=302092 CPUtime=51.09 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 22442 0 0 0 5104 5 0 0 25 0 4 0 384596005 309342208 28682 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.85 Current children cumulated vsize (KiB) 302092 [startup+102.312 s] /proc/loadavg: 7.28 5.64 6.45 9/323 8236 /proc/meminfo: memFree=27086524/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=304400 CPUtime=408.18 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 112709 0 0 0 40790 28 0 0 25 0 4 0 384596005 311705600 32549 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 76100 32549 392 112 0 71065 0 [pid=8191/tid=8192] ppid=8189 vsize=304400 CPUtime=101.27 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 29092 0 0 0 10121 6 0 0 25 0 4 0 384596005 311705600 32549 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=304400 CPUtime=102.29 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 23446 0 0 0 10223 6 0 0 25 0 4 0 384596005 311705600 32549 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=304400 CPUtime=102.3 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 35265 0 0 0 10222 8 0 0 25 0 4 0 384596005 311705600 32549 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.18 Current children cumulated vsize (KiB) 304400 [startup+162.301 s] ################ # More data... # ################ [pid=8191] ppid=8189 vsize=385596 CPUtime=2802.16 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 369141 0 0 0 280101 115 0 0 25 0 4 0 384596005 394850304 72013 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 96399 72013 392 112 0 91364 0 [pid=8191/tid=8192] ppid=8189 vsize=385596 CPUtime=695.25 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 96281 0 0 0 69499 26 0 0 25 0 4 0 384596005 394850304 72013 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=385596 CPUtime=702.29 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 83259 0 0 0 70200 29 0 0 25 0 4 0 384596005 394850304 72013 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=385596 CPUtime=702.3 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 105680 0 0 0 70201 29 0 0 25 0 4 0 384596005 394850304 72013 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2802.16 Current children cumulated vsize (KiB) 385596 [startup+762.312 s] /proc/loadavg: 8.10 7.83 7.28 9/323 8253 /proc/meminfo: memFree=26762484/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=373344 CPUtime=3041.6 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 388760 0 0 0 304038 122 0 0 25 0 4 0 384596005 382304256 69577 33554432000 4194304 4650419 140737240427840 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 93336 69577 392 112 0 88301 0 [pid=8191/tid=8192] ppid=8189 vsize=373344 CPUtime=754.65 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 103750 0 0 0 75438 27 0 0 25 0 4 0 384596005 382304256 69577 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=373344 CPUtime=762.3 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 83933 0 0 0 76200 30 0 0 25 0 4 0 384596005 382304256 69577 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=373344 CPUtime=762.31 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 112338 0 0 0 76201 30 0 0 25 0 4 0 384596005 382304256 69577 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3041.6 Current children cumulated vsize (KiB) 373344 [startup+822.3 s] /proc/loadavg: 8.08 7.87 7.32 9/323 8255 /proc/meminfo: memFree=26718056/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=455148 CPUtime=3280.97 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 397828 0 0 0 327971 126 0 0 25 0 4 0 384596005 466071552 75697 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 113787 75697 392 112 0 108752 0 [pid=8191/tid=8192] ppid=8189 vsize=455148 CPUtime=814.04 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 104032 0 0 0 81377 27 0 0 25 0 4 0 384596005 466071552 75697 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=455148 CPUtime=822.29 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 85959 0 0 0 82198 31 0 0 25 0 4 0 384596005 466071552 75697 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=455148 CPUtime=822.3 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 113758 0 0 0 82200 30 0 0 25 0 4 0 384596005 466071552 75697 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3280.97 Current children cumulated vsize (KiB) 455148 [startup+882.301 s] /proc/loadavg: 8.09 7.91 7.37 9/323 8256 /proc/meminfo: memFree=26715548/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=389888 CPUtime=3520.37 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 412025 0 0 0 351909 128 0 0 25 0 4 0 384596005 399245312 74854 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 97472 74854 392 112 0 92437 0 [pid=8191/tid=8192] ppid=8189 vsize=389888 CPUtime=873.44 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 104486 0 0 0 87317 27 0 0 25 0 4 0 384596005 399245312 74854 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=389888 CPUtime=882.29 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 87550 0 0 0 88198 31 0 0 25 0 4 0 384596005 399245312 74854 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=389888 CPUtime=882.31 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 114364 0 0 0 88200 31 0 0 25 0 4 0 384596005 399245312 74854 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3520.37 Current children cumulated vsize (KiB) 389888 [startup+942.3 s] /proc/loadavg: 8.13 7.95 7.41 9/323 8258 /proc/meminfo: memFree=26662820/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=561320 CPUtime=3759.78 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 431296 0 0 0 375842 136 0 0 25 0 4 0 384596005 574791680 83158 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365759 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 140330 83158 392 112 0 135295 0 [pid=8191/tid=8192] ppid=8189 vsize=561320 CPUtime=932.84 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 109047 0 0 0 93255 29 0 0 25 0 4 0 384596005 574791680 83158 33554432000 4194304 4650419 140737240427840 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=561320 CPUtime=942.29 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 89164 0 0 0 94196 33 0 0 25 0 4 0 384596005 574791680 83158 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=561320 CPUtime=942.3 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 118874 0 0 0 94198 32 0 0 25 0 4 0 384596005 574791680 83158 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3759.78 Current children cumulated vsize (KiB) 561320 [startup+1002.3 s] /proc/loadavg: 8.14 7.99 7.46 9/323 8260 /proc/meminfo: memFree=26643940/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=561320 CPUtime=3999.18 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 436559 0 0 0 399779 139 0 0 25 0 4 0 384596005 574791680 88317 33554432000 4194304 4650419 140737240427840 18446744073709551615 4310848 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 140330 88317 392 112 0 135295 0 [pid=8191/tid=8192] ppid=8189 vsize=561320 CPUtime=992.24 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 109094 0 0 0 99195 29 0 0 25 0 4 0 384596005 574791680 88317 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=561320 CPUtime=1002.3 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 89283 0 0 0 100196 34 0 0 25 0 4 0 384596005 574791680 88317 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=561320 CPUtime=1002.3 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 119166 0 0 0 100198 32 0 0 25 0 4 0 384596005 574791680 88317 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3999.18 Current children cumulated vsize (KiB) 561320 [startup+1062.3 s] /proc/loadavg: 8.28 8.05 7.51 9/323 8261 /proc/meminfo: memFree=26664116/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=508536 CPUtime=4238.59 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 439058 0 0 0 423718 141 0 0 25 0 4 0 384596005 520740864 83196 33554432000 4194304 4650419 140737240427840 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 127134 83196 392 112 0 122099 0 [pid=8191/tid=8192] ppid=8189 vsize=508536 CPUtime=1051.64 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 109094 0 0 0 105135 29 0 0 25 0 4 0 384596005 520740864 83196 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=508536 CPUtime=1062.3 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 89539 0 0 0 106196 34 0 0 25 0 4 0 384596005 520740864 83196 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=508536 CPUtime=1062.3 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 119229 0 0 0 106198 32 0 0 25 0 4 0 384596005 520740864 83196 33554432000 4194304 4650419 140737240427840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4238.59 Current children cumulated vsize (KiB) 508536 [startup+1122.3 s] /proc/loadavg: 8.17 8.05 7.55 9/323 8263 /proc/meminfo: memFree=26623292/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=574188 CPUtime=4477.99 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 451111 0 0 0 447653 146 0 0 25 0 4 0 384596005 587968512 85554 33554432000 4194304 4650419 140737240427840 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 143547 85554 392 112 0 138512 0 [pid=8191/tid=8192] ppid=8189 vsize=574188 CPUtime=1111.04 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 112289 0 0 0 111073 31 0 0 25 0 4 0 384596005 587968512 85554 33554432000 4194304 4650419 140737240427840 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=574188 CPUtime=1122.3 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 90137 0 0 0 112196 34 0 0 25 0 4 0 384596005 587968512 85554 33554432000 4194304 4650419 140737240427840 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=574188 CPUtime=1122.31 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 121593 0 0 0 112197 34 0 0 25 0 4 0 384596005 587968512 85554 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4477.99 Current children cumulated vsize (KiB) 574188 [startup+1182.3 s] /proc/loadavg: 8.11 8.06 7.57 9/323 8264 /proc/meminfo: memFree=26621152/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=508708 CPUtime=4717.4 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 466301 0 0 0 471586 154 0 0 25 0 4 0 384596005 520916992 89828 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 127177 89828 392 112 0 122142 0 [pid=8191/tid=8192] ppid=8189 vsize=508708 CPUtime=1170.44 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 116702 0 0 0 117011 33 0 0 25 0 4 0 384596005 520916992 89828 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=508708 CPUtime=1182.3 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 92979 0 0 0 118195 35 0 0 25 0 4 0 384596005 520916992 89828 33554432000 4194304 4650419 140737240427840 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=508708 CPUtime=1182.31 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 125114 0 0 0 118196 35 0 0 25 0 4 0 384596005 520916992 89828 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4717.4 Current children cumulated vsize (KiB) 508708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.1 s] /proc/loadavg: 8.07 8.05 7.58 9/323 8265 /proc/meminfo: memFree=26595708/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=561320 CPUtime=4800.4 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 471745 0 0 0 479885 155 0 0 25 0 4 0 384596005 574791680 92463 33554432000 4194304 4650419 140737240427840 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 140330 92463 392 112 0 135295 0 [pid=8191/tid=8192] ppid=8189 vsize=561320 CPUtime=1191.04 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 117917 0 0 0 119070 34 0 0 25 0 4 0 384596005 574791680 92463 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=561320 CPUtime=1203.11 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 92979 0 0 0 120276 35 0 0 25 0 4 0 384596005 574791680 92463 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=561320 CPUtime=1203.12 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 127216 0 0 0 120277 35 0 0 25 0 4 0 384596005 574791680 92463 33554432000 4194304 4650419 140737240427840 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.4 Current children cumulated vsize (KiB) 561320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.1 s] /proc/loadavg: 8.07 8.05 7.58 9/323 8265 /proc/meminfo: memFree=26595708/32951124 swapFree=46575252/67111528 [pid=8191] ppid=8189 vsize=561320 CPUtime=4800.4 cores=0,2,4,6 /proc/8191/stat : 8191 (strangenight1-m) R 8189 8191 7660 0 -1 4202496 471745 0 0 0 479885 155 0 0 25 0 4 0 384596005 574791680 92463 33554432000 4194304 4650419 140737240427840 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/8191/statm: 140330 92463 392 112 0 135295 0 [pid=8191/tid=8192] ppid=8189 vsize=561320 CPUtime=1191.04 cores=0,2,4,6 /proc/8191/task/8192/stat : 8192 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 117917 0 0 0 119070 34 0 0 25 0 4 0 384596005 574791680 92463 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8191/tid=8193] ppid=8189 vsize=561320 CPUtime=1203.11 cores=0,2,4,6 /proc/8191/task/8193/stat : 8193 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 92979 0 0 0 120276 35 0 0 25 0 4 0 384596005 574791680 92463 33554432000 4194304 4650419 140737240427840 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8191/tid=8194] ppid=8189 vsize=561320 CPUtime=1203.12 cores=0,2,4,6 /proc/8191/task/8194/stat : 8194 (strangenight1-m) R 8189 8191 7660 0 -1 4202560 127216 0 0 0 120277 35 0 0 25 0 4 0 384596005 574791680 92463 33554432000 4194304 4650419 140737240427840 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.4 Current children cumulated vsize (KiB) 561320 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.14 CPU time (s): 4800.47 CPU user time (s): 4798.89 CPU system time (s): 1.57676 CPU usage (%): 398.996 Max. virtual memory (cumulated for all children) (KiB): 574188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.89 system time used= 1.57676 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 471747 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= 422 involuntary context switches= 21056 runsolver used 3.34449 second user time and 8.71567 second system time The end
Begin job on node107 at 2011-05-14 22:14:07 IDJOB=3368829 IDBENCH=82838 IDSOLVER=1846 FILE ID=node107/3368829-1305404047 RUNJOBID= node107-1305404047-8176 PBS_JOBID= 13324475 Free space on /tmp= 73436 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368829-1305404047/watcher-3368829-1305404047 -o /tmp/evaluation-result-3368829-1305404047/solver-3368829-1305404047 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368829-1305404047.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6df48a49b3cf6574a0f4cdf651f82d66 RANDOM SEED=1748113172 node107.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.829 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.65 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.829 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.67 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.829 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.82 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.829 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.829 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 : 5359.47 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.829 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.829 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: 27338048 kB Buffers: 126616 kB Cached: 924308 kB SwapCached: 9832 kB Active: 5257788 kB Inactive: 75700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27338048 kB SwapTotal: 67111528 kB SwapFree: 46575252 kB Dirty: 12508 kB Writeback: 0 kB AnonPages: 4280624 kB Mapped: 18732 kB Slab: 146564 kB PageTables: 68836 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 64912832 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= 73424 MiB End job on node107 at 2011-05-14 22:34:13