| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.41 | 1203.13 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf |
| MD5SUM | 3d0491523e951b9423a05375c0461833 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.104983 |
| 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.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3368755-1305402240.cnf' 0.00/0.00 c -- header says num vars: 60 0.00/0.00 c -- header says num clauses: 5340 0.00/0.10 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.00/0.10 c -- vars added 60 0.00/0.10 c Parsing time: 0.03 s 0.00/0.10 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.78/0.20 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.45 0.78/0.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.78/0.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.78/0.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.78/0.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.78/0.20 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.78/0.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.78/0.20 c Finding binary XORs T: 0.00 s found: 0 0.78/0.20 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.78/0.20 c calculated reachability. Time: 0.00 0.78/0.20 c Calc default polars - time: 0.00 s pos: 19 undec: 0 neg: 41 0.78/0.20 c ========================================================================================= 0.78/0.20 c types(t): F = full restart, N = normal restart 0.78/0.20 c types(t): S = simplification begin/end, E = solution found 0.78/0.20 c restart types(rt): st = static, dy = dynamic 0.78/0.20 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.78/0.20 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 0.78/0.25 c N dy 15 4012 60 5340 0 3561 37380 77400 18.82 20.48 -- 1.57/0.42 c N dy 19 9184 60 5340 0 5944 37380 120642 18.03 19.08 -- 1.97/0.59 c N dy 30 13591 60 5340 0 6077 37380 116138 18.12 19.09 -- 2.77/0.76 c N dy 39 17634 60 5340 0 9690 37380 192646 18.08 20.48 -- 3.58/0.95 c N dy 44 22473 60 5340 0 8975 37380 167308 17.93 18.97 -- 3.97/1.06 c F st 47 25000 60 5340 0 11227 37380 213636 17.84 no data -- 4.39/1.18 c N st 51 27033 60 5340 0 6978 37380 117999 17.84 no data -- 4.81/1.30 c S st 53 30002 60 5340 0 9613 37380 174071 17.84 no data -- 5.16/1.33 c S st 53 30506 60 5340 0 10070 37380 184347 17.84 no data -- 5.16/1.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.16/1.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.16/1.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.16/1.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.16/1.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.16/1.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.16/1.34 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.19/2.33 c lits-rem: 1417 cl-subs: 995 v-elim: 0 v-fix: 0 time: 3.96 s 10.35/2.60 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.07 10.35/2.60 c calculated reachability. Time: 0.00 10.35/2.60 c N dy 53 30506 60 5340 0 9075 37380 161788 17.84 no data -- 11.15/2.83 c N dy 78 34813 60 5340 0 12931 37380 244454 17.98 19.00 -- 11.95/3.06 c N dy 94 39259 60 5340 0 9878 37380 167376 18.02 18.98 -- 12.75/3.28 c N dy 112 43384 60 5340 0 13532 37380 245125 18.08 19.07 -- 13.59/3.44 c S st 124 45761 60 5340 0 15650 37380 290498 18.12 no data -- 13.59/3.49 c S st 124 46265 60 5340 0 8181 37380 124438 18.12 no data -- 13.59/3.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.59/3.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.94/3.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.94/3.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.94/3.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.94/3.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.94/3.50 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.74/4.25 c lits-rem: 130 cl-subs: 35 v-elim: 0 v-fix: 0 time: 3.00 s 16.74/4.25 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.74/4.25 c vivif2 -- cl tried 8146 cl shrink 0 lits rem 0 time: 0.00 17.56/4.49 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.96 17.56/4.49 c calculated reachability. Time: 0.00 17.56/4.49 c N dy 124 46265 60 5340 0 8146 37380 123458 18.12 no data -- 18.73/4.75 c N dy 136 51261 60 5340 0 12567 37380 217573 18.13 19.09 -- 20.33/5.16 c N dy 146 58642 60 5340 0 10239 37380 156463 18.02 19.04 -- 21.13/5.38 c N dy 151 62856 60 5340 0 13973 37380 234727 17.99 19.00 -- 22.72/5.71 c N dy 160 67852 60 5340 0 18361 37380 325581 17.95 18.99 -- 23.12/5.83 c S st 169 69398 60 5340 0 10048 37380 146151 17.97 no data -- 23.12/5.86 c S st 169 69903 60 5340 0 10505 37380 155911 17.97 no data -- 23.12/5.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 23.12/5.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.12/5.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 23.12/5.87 c bin-w-bin subsume rem 0 bins time: 0.00 s 23.12/5.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 23.12/5.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 23.12/5.87 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 26.74/6.79 c lits-rem: 293 cl-subs: 115 v-elim: 0 v-fix: 0 time: 3.66 s 26.74/6.79 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 26.74/6.79 c vivif2 -- cl tried 10390 cl shrink 0 lits rem 0 time: 0.00 27.91/7.07 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.11 27.91/7.07 c calculated reachability. Time: 0.00 27.91/7.07 c N dy 169 69903 60 5340 0 10390 37380 152896 17.97 no data -- 29.11/7.30 c N dy 182 74390 60 5340 0 14411 37380 238328 17.98 18.97 -- 31.49/7.94 c N dy 203 83472 60 5340 0 11828 37380 172437 17.94 18.97 -- 32.69/8.20 c F st 228 87500 60 5340 0 15426 37380 250097 18.00 no data -- 33.09/8.33 c N st 232 89531 60 5340 0 17208 37380 288367 18.00 no data -- 34.69/8.75 c N dy 249 95265 60 5340 0 22322 37380 397083 18.02 20.91 -- 36.28/9.17 c N dy 274 101401 60 5340 0 16233 37380 255964 18.05 19.99 -- 37.48/9.40 c S st 279 104855 60 5340 0 19299 37380 319748 18.04 17.71 -- 37.48/9.45 c S st 279 105360 60 5340 0 19762 37380 330075 18.04 no data -- 37.48/9.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 37.48/9.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 37.48/9.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 37.48/9.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 37.48/9.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 37.48/9.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 37.48/9.47 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 43.48/10.96 c lits-rem: 1566 cl-subs: 2140 v-elim: 0 v-fix: 0 time: 5.94 s 43.48/10.96 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 43.48/10.96 c vivif2 -- cl tried 17622 cl shrink 0 lits rem 0 time: 0.01 45.06/11.32 c asymm cl-useful: 0/4687/5340 lits-rem:0 time: 1.44 45.06/11.32 c calculated reachability. Time: 0.00 45.06/11.32 c N dy 279 105360 60 5340 0 17622 37380 283920 18.04 no data -- 47.46/11.92 c N dy 307 113164 60 5340 0 24598 37380 432099 18.05 19.05 -- 50.65/12.76 c N dy 316 125276 60 5340 0 22880 37380 379285 17.90 18.92 -- 55.84/14.01 c N dy 358 142280 60 5340 0 24757 37380 412990 17.83 18.83 -- 58.63/14.79 c N dy 418 151430 60 5340 0 18799 37380 283285 17.90 18.91 -- 61.03/15.34 c S st 440 158041 60 5340 0 24685 37380 406130 17.90 16.19 -- 61.45/15.42 c S st 440 158544 60 5340 0 25138 37380 416098 17.90 no data -- 61.45/15.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 61.45/15.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.45/15.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 61.45/15.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 61.45/15.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 61.45/15.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 61.45/15.44 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 69.81/17.50 c lits-rem: 1908 cl-subs: 2538 v-elim: 0 v-fix: 0 time: 8.25 s 69.81/17.50 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 69.81/17.51 c vivif2 -- cl tried 22600 cl shrink 0 lits rem 0 time: 0.02 70.23/17.61 c asymm cl-useful: 0/653/5340 lits-rem:0 time: 0.40 70.23/17.61 c calculated reachability. Time: 0.00 70.23/17.61 c N dy 440 158544 60 5340 0 22600 37380 359908 17.90 no data -- 74.62/18.73 c N dy 476 170645 60 5340 0 18347 37380 258136 17.89 19.11 -- 78.18/19.68 c N dy 514 181615 60 5340 0 28086 37380 463722 17.91 19.18 -- 82.58/20.71 c N dy 578 193287 60 5340 0 22571 37380 345433 17.96 19.05 -- 87.78/22.06 c N dy 608 206796 60 5340 0 17696 37380 229247 17.96 18.96 -- 93.75/23.54 c N dy 642 222891 60 5340 0 31943 37380 523636 17.91 18.87 -- 98.93/24.81 c N dy 647 237816 60 5340 0 27398 37380 416385 17.82 15.40 -- 98.93/24.81 c S st 647 237816 60 5340 0 27398 37380 416385 17.82 15.40 -- 98.93/24.88 c S st 647 238320 60 5340 0 27864 37380 426709 17.82 no data -- 98.93/24.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 98.93/24.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 98.93/24.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 99.33/24.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 99.33/24.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 99.33/24.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 99.33/24.90 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 108.51/27.26 c lits-rem: 1706 cl-subs: 3136 v-elim: 0 v-fix: 0 time: 9.42 s 108.51/27.26 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 108.51/27.27 c vivif2 -- cl tried 24728 cl shrink 0 lits rem 0 time: 0.01 110.15/27.65 c asymm cl-useful: 0/3657/5340 lits-rem:0 time: 1.53 110.15/27.65 c calculated reachability. Time: 0.00 110.15/27.65 c N dy 647 238320 60 5340 0 24728 37380 366202 17.82 no data -- 117.29/29.43 c N dy 755 253574 60 5340 0 19895 37380 255542 17.90 19.55 -- 124.06/31.18 c N dy 865 269825 60 5340 0 34403 37380 569113 17.98 19.42 -- 131.67/33.07 c N dy 953 287068 60 5340 0 30276 37380 464373 18.03 20.16 -- 140.03/35.12 c F st 995 306250 60 5340 0 26826 37380 372245 17.98 15.62 -- 140.03/35.12 c N st 995 306250 60 5340 0 26826 37380 372245 17.98 15.62 -- 149.23/37.49 c N dy 1046 327383 60 5340 0 24294 37380 315312 17.98 19.30 -- 158.42/39.73 c N dy 1118 347410 60 5340 0 42016 37380 689482 18.00 19.14 -- 163.16/40.95 c S st 1169 357480 60 5340 0 28842 37380 404361 18.02 16.49 -- 163.56/41.03 c S st 1169 357982 60 5340 0 29300 37380 414646 18.02 no data -- 163.56/41.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 163.56/41.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.56/41.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 163.56/41.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 163.56/41.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 163.56/41.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 163.56/41.05 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 172.34/43.24 c lits-rem: 1405 cl-subs: 1702 v-elim: 0 v-fix: 0 time: 8.72 s 172.34/43.24 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 172.34/43.24 c vivif2 -- cl tried 27598 cl shrink 0 lits rem 0 time: 0.02 173.14/43.48 c asymm cl-useful: 0/1683/5340 lits-rem:0 time: 0.94 173.14/43.48 c calculated reachability. Time: 0.00 173.14/43.48 c N dy 1169 357982 60 5340 0 27598 37380 377040 18.02 no data -- 185.91/46.60 c N dy 1244 378012 60 5340 0 45457 37380 756997 18.03 19.25 -- 196.29/49.28 c N dy 1308 399133 60 5340 0 41092 37380 649371 18.02 19.07 -- 206.29/51.79 c N dy 1371 419911 60 5340 0 35577 37380 523783 18.02 19.01 -- 228.23/57.27 c N dy 1409 467441 60 5340 0 26973 37380 319704 17.78 18.73 -- 239.38/60.06 c N dy 1540 488318 60 5340 0 45499 37380 719521 17.83 18.80 -- 251.74/63.13 c N dy 1676 508529 60 5340 0 37112 37380 533950 17.88 18.82 -- 267.74/67.13 c N dy 1747 536974 60 5340 0 34726 37380 459285 17.84 15.05 -- 267.74/67.13 c S st 1747 536974 60 5340 0 34726 37380 459285 17.84 15.05 -- 268.15/67.22 c S st 1747 537477 60 5340 0 35183 37380 469548 17.84 no data -- 268.15/67.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 268.15/67.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 268.15/67.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 268.15/67.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 268.15/67.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 268.15/67.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 268.15/67.25 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 277.28/69.52 c lits-rem: 791 cl-subs: 2560 v-elim: 0 v-fix: 0 time: 9.05 s 277.28/69.52 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 277.28/69.52 c vivif2 -- cl tried 32623 cl shrink 0 lits rem 0 time: 0.02 278.88/69.91 c asymm cl-useful: 0/2751/5340 lits-rem:0 time: 1.56 278.88/69.91 c calculated reachability. Time: 0.00 278.88/69.91 c N dy 1747 537477 60 5340 0 32623 37380 422191 17.84 no data -- 291.65/73.13 c N dy 1831 559344 60 5340 0 52006 37380 832991 17.86 18.85 -- 304.01/76.26 c N dy 1949 579883 60 5340 0 42113 37380 617299 17.89 18.84 -- 319.18/80.04 c N dy 2060 599925 60 5340 0 30764 37380 362645 17.92 18.99 -- 331.55/83.15 c N dy 2186 620284 60 5340 0 48827 37380 751994 17.95 18.97 -- 348.70/87.47 c N dy 2293 646067 60 5340 0 41458 37380 580350 17.96 19.15 -- 364.29/91.35 c N dy 2375 666298 60 5340 0 59304 37380 956988 17.97 18.96 -- 376.64/94.47 c N dy 2464 686397 60 5340 0 46173 37380 674784 17.98 19.49 -- 395.02/99.01 c N dy 2556 709312 60 5340 0 34631 37380 413909 17.99 19.08 -- 408.96/102.59 c N dy 2644 729852 60 5340 0 52831 37380 800965 18.00 19.13 -- 424.12/106.37 c N dy 2715 749896 60 5340 0 37841 37380 471547 18.01 19.11 -- 438.09/109.81 c N dy 2803 770634 60 5340 0 56284 37380 865887 18.02 19.22 -- 454.04/113.87 c N dy 2898 791012 60 5340 0 40655 37380 519787 18.03 19.02 -- 464.43/116.47 c S st 2976 806217 60 5340 0 54102 37380 806958 18.04 no data -- 465.25/116.63 c S st 2976 806724 60 5340 0 54562 37380 817369 18.04 no data -- 465.25/116.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 465.25/116.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 465.25/116.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 465.25/116.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 465.25/116.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 465.25/116.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 465.25/116.68 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 496.39/124.42 c lits-rem: 2406 cl-subs: 5608 v-elim: 0 v-fix: 0 time: 30.85 s 496.39/124.42 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 496.39/124.43 c vivif2 -- cl tried 48954 cl shrink 0 lits rem 0 time: 0.04 497.54/124.73 c asymm cl-useful: 0/805/5340 lits-rem:0 time: 1.22 497.54/124.73 c calculated reachability. Time: 0.00 497.54/124.73 c N dy 2976 806724 60 5340 0 48954 37380 698104 18.04 no data -- 513.53/128.74 c N dy 3023 826812 60 5340 0 66640 37380 1070530 18.04 20.96 -- 527.10/132.17 c N dy 3134 846838 60 5340 0 50176 37380 718195 18.05 20.44 -- 544.25/136.48 c N dy 3192 868927 60 5340 0 69649 37380 1130535 18.05 19.06 -- 557.41/139.75 c N dy 3276 888980 60 5340 0 52206 37380 746251 18.06 19.21 -- 578.14/144.99 c N dy 3337 919488 60 5340 0 42868 37380 531111 18.02 19.09 -- 595.70/149.39 c N dy 3415 944520 60 5340 0 64922 37380 995833 18.02 19.06 -- 614.88/154.15 c N dy 3475 970775 60 5340 0 51067 37380 694123 18.00 19.09 -- 633.20/158.75 c N dy 3602 990798 60 5340 0 68862 37380 1078252 18.02 19.98 -- 648.77/162.60 c N dy 3673 1010886 60 5340 0 48618 37380 643940 18.03 19.53 -- 665.52/166.89 c N dy 3737 1033375 60 5340 0 68476 37380 1065132 18.02 18.99 -- 683.88/171.44 c N dy 3842 1053397 60 5340 0 47373 37380 607881 18.04 18.99 -- 700.24/175.54 c F st 3969 1071877 60 5340 0 63860 37380 966724 18.06 no data -- 701.83/175.93 c N st 3973 1073908 60 5340 0 65647 37380 1005561 18.06 no data -- 723.78/181.45 c N dy 4080 1096044 60 5340 0 45400 37380 548434 18.07 19.09 -- 741.77/185.92 c N dy 4176 1118101 60 5340 0 64948 37380 969328 18.09 19.17 -- 761.69/190.94 c N dy 4232 1138158 60 5340 0 41920 37380 465964 18.08 21.67 -- 777.64/194.90 c N dy 4350 1158697 60 5340 0 60126 37380 859128 18.10 19.08 -- 803.98/201.56 c N dy 4444 1181377 60 5340 0 80179 37380 1287182 18.10 19.09 -- 826.32/207.17 c N dy 4553 1201421 60 5340 0 56294 37380 765259 18.11 19.09 -- 837.10/209.84 c S st 4604 1210087 60 5340 0 63975 37380 930967 18.12 16.03 -- 837.90/210.09 c S st 4604 1210594 60 5340 0 64443 37380 941508 18.12 no data -- 838.32/210.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 838.32/210.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 838.32/210.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.16 838.32/210.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 838.32/210.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 838.32/210.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 838.32/210.18 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 909.30/227.99 c lits-rem: 3230 cl-subs: 5614 v-elim: 0 v-fix: 0 time: 71.02 s 909.30/227.99 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 909.70/228.00 c vivif2 -- cl tried 58829 cl shrink 0 lits rem 0 time: 0.05 910.90/228.36 c asymm cl-useful: 0/637/5340 lits-rem:0 time: 1.44 910.90/228.36 c calculated reachability. Time: 0.00 910.90/228.36 c N dy 4604 1210594 60 5340 0 58829 37380 818071 18.12 no data -- 931.26/233.48 c N dy 4682 1230595 60 5340 0 76551 37380 1197182 18.12 19.86 -- 950.41/238.25 c N dy 4787 1250668 60 5340 0 52113 37380 669791 18.13 19.14 -- 967.97/242.63 c N dy 4861 1271826 60 5340 0 70820 37380 1069977 18.13 19.44 -- 997.49/250.02 c N dy 4965 1296814 60 5340 0 49695 37380 600742 18.14 19.11 -- 1018.27/255.22 c N dy 5044 1319253 60 5340 0 69467 37380 1020357 18.14 19.21 -- 1045.37/262.09 c N dy 5138 1339297 60 5340 0 87234 37380 1404938 18.15 19.66 -- 1064.12/266.71 c N dy 5211 1359333 60 5340 0 60873 37380 834115 18.15 20.76 -- 1084.10/271.79 c N dy 5275 1380487 60 5340 0 79611 37380 1236065 18.15 19.12 -- 1121.19/281.01 c N dy 5278 1429810 60 5340 0 77631 37380 1158798 18.08 19.29 -- 1143.53/286.61 c N dy 5341 1449856 60 5340 0 49566 37380 573688 18.08 20.47 -- 1165.48/292.18 c N dy 5421 1475499 60 5340 0 72197 37380 1053000 18.08 19.17 -- 1193.84/299.26 c N dy 5538 1496864 60 5340 0 91059 37380 1458411 18.09 19.33 -- 1210.97/303.59 c N dy 5610 1516930 60 5340 0 62129 37380 832126 18.09 19.56 -- 1236.10/309.83 c N dy 5737 1539701 60 5340 0 82314 37380 1266544 18.10 19.15 -- 1261.24/316.12 c N dy 5850 1559775 60 5340 0 52373 37380 613407 18.11 20.31 -- 1278.40/320.43 c N dy 5927 1580573 60 5340 0 70597 37380 998863 18.11 19.09 -- 1300.35/325.94 c N dy 5969 1600615 60 5340 0 88248 37380 1370315 18.11 19.09 -- 1323.89/331.85 c N dy 6071 1620749 60 5340 0 57588 37380 714124 18.12 19.13 -- 1345.44/337.24 c N dy 6149 1643981 60 5340 0 78008 37380 1143809 18.11 19.11 -- 1368.98/343.12 c N dy 6189 1664065 60 5340 0 95688 37380 1510476 18.10 19.87 -- 1388.52/348.08 c N dy 6281 1684560 60 5340 0 64452 37380 852096 18.11 19.12 -- 1410.47/353.54 c N dy 6323 1705175 60 5340 0 82533 37380 1232098 18.10 19.08 -- 1417.68/355.36 c S st 6331 1710594 60 5340 0 87270 37380 1330438 18.10 18.46 -- 1418.85/355.68 c S st 6331 1711099 60 5340 0 87728 37380 1340722 18.10 no data -- 1418.85/355.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1418.85/355.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1419.25/355.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.20 1419.25/355.78 c bin-w-bin subsume rem 0 bins time: 0.00 s 1419.25/355.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1419.25/355.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1419.25/355.78 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1617.53/405.47 c lits-rem: 4994 cl-subs: 10969 v-elim: 0 v-fix: 0 time: 198.21 s 1617.53/405.47 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1617.53/405.48 c vivif2 -- cl tried 76759 cl shrink 0 lits rem 0 time: 0.06 1619.13/405.89 c asymm cl-useful: 0/523/5340 lits-rem:0 time: 1.60 1619.13/405.89 c calculated reachability. Time: 0.00 1619.13/405.89 c N dy 6331 1711099 60 5340 0 76759 37380 1113846 18.10 no data -- 1651.44/413.99 c N dy 6440 1731121 60 5340 0 94392 37380 1494319 18.11 22.21 -- 1673.79/419.55 c N dy 6531 1751211 60 5340 0 62609 37380 806710 18.12 19.94 -- 1701.73/426.54 c N dy 6646 1772924 60 5340 0 81813 37380 1221234 18.13 19.14 -- 1740.03/436.18 c N dy 6746 1798824 60 5340 0 53788 37380 600205 18.13 19.15 -- 1760.42/441.23 c N dy 6814 1818898 60 5340 0 71447 37380 976298 18.13 19.93 -- 1787.51/448.05 c N dy 6863 1846442 60 5340 0 95581 37380 1477342 18.11 19.07 -- 1821.46/456.57 c N dy 6918 1880411 60 5340 0 73535 37380 987010 18.09 19.12 -- 1848.20/463.27 c N dy 6986 1903394 60 5340 0 93714 37380 1410562 18.08 19.06 -- 1876.49/470.34 c N dy 7100 1923662 60 5340 0 59096 37380 699798 18.09 19.18 -- 1895.65/475.19 c N dy 7150 1944388 60 5340 0 77321 37380 1079530 18.09 19.05 -- 1922.82/481.97 c N dy 7265 1964416 60 5340 0 94997 37380 1461040 18.09 20.25 -- 1950.71/488.96 c N dy 7362 1984798 60 5340 0 59329 37380 691823 18.10 19.08 -- 1969.47/493.69 c N dy 7419 2004802 60 5340 0 76908 37380 1059249 18.09 20.60 -- 1995.81/500.23 c N dy 7497 2027187 60 5340 0 96534 37380 1475590 18.09 19.11 -- 2046.47/512.95 c N dy 7625 2072486 60 5340 0 81674 37380 1142751 18.08 19.19 -- 2075.21/520.17 c N dy 7761 2092617 60 5340 0 99474 37380 1531517 18.10 19.06 -- 2105.94/527.89 c N dy 7908 2112633 60 5340 0 61857 37380 731829 18.11 20.28 -- 2127.08/533.15 c N dy 7996 2133145 60 5340 0 79945 37380 1121265 18.11 19.09 -- 2149.82/538.88 c N dy 8013 2153150 60 5340 0 97458 37380 1483988 18.10 19.08 -- 2193.71/549.81 c N dy 8045 2196205 60 5340 0 78686 37380 1050846 18.08 19.07 -- 2217.65/555.87 c S st 8134 2211099 60 5340 0 91827 37380 1336685 18.08 no data -- 2219.24/556.26 c S st 8134 2211599 60 5340 0 92281 37380 1347034 18.08 no data -- 2219.24/556.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2219.24/556.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2219.64/556.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.25 2219.64/556.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 2219.64/556.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2219.64/556.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2219.64/556.38 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2437.48/610.95 c lits-rem: 7436 cl-subs: 11777 v-elim: 0 v-fix: 0 time: 217.67 s 2437.48/610.95 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2437.48/610.97 c vivif2 -- cl tried 80504 cl shrink 0 lits rem 0 time: 0.07 2439.48/611.43 c asymm cl-useful: 0/490/5340 lits-rem:0 time: 1.84 2439.48/611.43 c calculated reachability. Time: 0.00 2439.48/611.43 c N dy 8134 2211599 60 5340 0 80504 37380 1113274 18.08 no data -- 2486.15/623.11 c N dy 8156 2245326 60 5340 0 109907 37380 1706841 18.05 19.01 -- 2517.27/630.93 c N dy 8265 2265464 60 5340 0 71493 37380 926467 18.06 19.03 -- 2570.73/644.36 c N dy 8358 2302081 60 5340 0 103506 37380 1589124 18.05 19.05 -- 2607.84/653.60 c N dy 8479 2322733 60 5340 0 64186 37380 754151 18.06 19.11 -- 2634.17/660.20 c N dy 8585 2342739 60 5340 0 81850 37380 1135832 18.07 19.23 -- 2677.30/671.05 c N dy 8671 2372573 60 5340 0 108049 37380 1688889 18.06 19.05 -- 2708.44/678.87 c N dy 8791 2392605 60 5340 0 67027 37380 804202 18.07 20.53 -- 2743.90/687.79 c N dy 8899 2424954 60 5340 0 95466 37380 1411777 18.07 19.13 -- 2777.02/696.01 c N dy 9011 2445042 60 5340 0 113196 37380 1792906 18.08 20.22 -- 2806.55/703.48 c N dy 9156 2465392 60 5340 0 71420 37380 886143 18.09 19.08 -- 2830.91/709.52 c N dy 9249 2485779 60 5340 0 89398 37380 1270412 18.09 19.05 -- 2863.61/717.71 c N dy 9401 2505855 60 5340 0 107182 37380 1662601 18.10 19.45 -- 2899.53/726.77 c N dy 9518 2525931 60 5340 0 64161 37380 718962 18.11 20.60 -- 2923.50/732.76 c N dy 9664 2546029 60 5340 0 81945 37380 1110760 18.12 19.42 -- 2954.22/740.43 c N dy 9810 2566074 60 5340 0 99747 37380 1502956 18.13 19.66 -- 2996.48/751.08 c N dy 9902 2592723 60 5340 0 123187 37380 2002338 18.13 19.25 -- 3030.40/759.57 c N dy 9966 2626465 60 5340 0 90877 37380 1260539 18.12 19.09 -- 3073.49/770.39 c N dy 10036 2657497 60 5340 0 117942 37380 1821611 18.11 19.13 -- 3107.84/778.97 c N dy 10136 2685334 60 5340 0 80157 37380 1042412 18.11 19.28 -- 3140.52/787.15 c N dy 10233 2709584 60 5340 0 101517 37380 1501177 18.12 19.12 -- 3144.12/788.08 c S st 10248 2711601 60 5340 0 103298 37380 1540078 18.12 no data -- 3145.32/788.39 c S st 10248 2712108 60 5340 0 103751 37380 1550137 18.12 no data -- 3145.72/788.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3145.72/788.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3145.72/788.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.21 3146.11/788.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 3146.11/788.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3146.11/788.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3146.11/788.50 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3754.95/941.15 c lits-rem: 6663 cl-subs: 11329 v-elim: 0 v-fix: 0 time: 608.93 s 3754.95/941.15 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3754.95/941.17 c vivif2 -- cl tried 92422 cl shrink 0 lits rem 0 time: 0.08 3756.97/941.65 c asymm cl-useful: 0/627/5340 lits-rem:0 time: 1.89 3756.97/941.65 c calculated reachability. Time: 0.00 3756.97/941.65 c N dy 10248 2712108 60 5340 0 92422 37380 1308614 18.12 no data -- 3793.65/950.88 c N dy 10315 2732304 60 5340 0 110151 37380 1685026 18.12 19.08 -- 3840.78/962.69 c N dy 10410 2752351 60 5340 0 65159 37380 717576 18.12 20.78 -- 3871.85/970.47 c N dy 10528 2772371 60 5340 0 82871 37380 1102884 18.13 21.98 -- 3913.74/980.91 c N dy 10673 2793146 60 5340 0 101305 37380 1508379 18.14 19.21 -- 3951.24/990.38 c N dy 10738 2814498 60 5340 0 120072 37380 1911062 18.14 19.10 -- 3997.13/1001.83 c N dy 10817 2847625 60 5340 0 85065 37380 1116649 18.13 19.26 -- 4029.08/1009.83 c N dy 10903 2867644 60 5340 0 102674 37380 1493010 18.13 19.93 -- 4074.93/1021.35 c N dy 11003 2891388 60 5340 0 123653 37380 1947098 18.14 19.23 -- 4115.63/1031.52 c N dy 11021 2929871 60 5340 0 92252 37380 1245549 18.11 19.13 -- 4159.52/1042.52 c N dy 11132 2958807 60 5340 0 117745 37380 1784648 18.11 19.15 -- 4194.23/1051.28 c N dy 11235 2978893 60 5340 0 69652 37380 782455 18.11 19.40 -- 4219.37/1057.57 c N dy 11371 2998922 60 5340 0 87383 37380 1169180 18.12 21.45 -- 4250.49/1065.33 c N dy 11478 3018991 60 5340 0 105146 37380 1552803 18.13 20.26 -- 4288.80/1074.91 c N dy 11585 3039041 60 5340 0 122823 37380 1935135 18.13 19.86 -- 4325.52/1084.15 c N dy 11669 3060274 60 5340 0 74529 37380 868046 18.13 19.12 -- 4359.02/1092.54 c N dy 11807 3081615 60 5340 0 93433 37380 1283725 18.14 19.35 -- 4410.51/1105.47 c N dy 11877 3111975 60 5340 0 119929 37380 1838244 18.13 19.24 -- 4457.18/1117.15 c N dy 11988 3132180 60 5340 0 69989 37380 766534 18.14 19.11 -- 4481.15/1123.19 c N dy 12039 3154655 60 5340 0 89688 37380 1180818 18.13 19.10 -- 4519.83/1132.87 c N dy 12152 3179144 60 5340 0 111362 37380 1645647 18.14 19.20 -- 4561.73/1143.37 c N dy 12302 3199148 60 5340 0 129090 37380 2034389 18.15 19.71 -- 4589.66/1150.31 c S st 12401 3212109 60 5340 0 71850 37380 797425 18.15 17.10 -- 4590.46/1150.51 c S st 12401 3212611 60 5340 0 72308 37380 807872 18.15 no data -- 4590.46/1150.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4590.46/1150.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4590.46/1150.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.11 4590.46/1150.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 4590.46/1150.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4590.46/1150.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4590.46/1150.57 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4638.74/1162.66 c lits-rem: 413 cl-subs: 817 v-elim: 0 v-fix: 0 time: 48.22 s 4638.74/1162.66 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4638.74/1162.67 c vivif2 -- cl tried 71491 cl shrink 0 lits rem 0 time: 0.04 4639.93/1162.97 c asymm cl-useful: 0/633/5340 lits-rem:0 time: 1.19 4639.93/1162.97 c calculated reachability. Time: 0.00 4639.93/1162.97 c N dy 12401 3212611 60 5340 0 71491 37380 788930 18.15 no data -- 4665.91/1169.44 c N dy 12533 3232680 60 5340 0 89192 37380 1177917 18.16 21.10 -- 4699.38/1177.82 c N dy 12635 3253699 60 5340 0 107706 37380 1578680 18.16 19.22 -- 4748.07/1190.02 c N dy 12751 3276621 60 5340 0 127954 37380 2016651 18.17 19.23 -- 4787.16/1199.85 c N dy 12875 3296696 60 5340 0 76063 37380 878251 18.18 21.07 --
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-3368755-1305402240/watcher-3368755-1305402240 -o /tmp/evaluation-result-3368755-1305402240/solver-3368755-1305402240 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368755-1305402240.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.66 8.01 7.99 1/312 7665 /proc/meminfo: memFree=11169048/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=281788 CPUtime=0.01 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 931 0 0 0 1 0 0 0 25 0 4 0 651826372 288550912 854 33554432000 4194304 4650419 140734582879824 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7665/statm: 70447 856 343 112 0 65412 0 [pid=7665/tid=7666] ppid=7663 vsize=281932 CPUtime=0 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 189 0 0 0 0 0 0 0 25 0 4 0 651826372 288698368 962 33554432000 4194304 4650419 140734582879824 18446744073709551615 4370710 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=281932 CPUtime=0 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 158 0 0 0 0 0 0 0 25 0 4 0 651826372 288698368 962 33554432000 4194304 4650419 140734582879824 18446744073709551615 212435677893 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=281932 CPUtime=0 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 193 0 0 0 0 0 0 0 25 0 4 0 651826372 288698368 962 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.108949 s] /proc/loadavg: 7.66 8.01 7.99 1/312 7665 /proc/meminfo: memFree=11169048/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=282060 CPUtime=0.41 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 1345 0 0 0 41 0 0 0 25 0 4 0 651826372 288829440 1268 33554432000 4194304 4650419 140734582879824 18446744073709551615 4371148 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 70515 1268 366 112 0 65480 0 [pid=7665/tid=7666] ppid=7663 vsize=282060 CPUtime=0.1 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 208 0 0 0 10 0 0 0 18 0 4 0 651826372 288829440 1268 33554432000 4194304 4650419 140734582879824 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=282060 CPUtime=0.1 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 181 0 0 0 10 0 0 0 18 0 4 0 651826372 288829440 1268 33554432000 4194304 4650419 140734582879824 18446744073709551615 4536394 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=282060 CPUtime=0.1 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 340 0 0 0 10 0 0 0 25 0 4 0 651826372 288829440 1268 33554432000 4194304 4650419 140734582879824 18446744073709551615 212435682466 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 282060 [startup+0.200934 s] /proc/loadavg: 7.66 8.01 7.99 1/312 7665 /proc/meminfo: memFree=11169048/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=284916 CPUtime=0.78 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 3029 0 0 0 78 0 0 0 25 0 4 0 651826372 291753984 2577 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 71229 2577 390 112 0 66194 0 [pid=7665/tid=7666] ppid=7663 vsize=284916 CPUtime=0.19 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 684 0 0 0 19 0 0 0 18 0 4 0 651826372 291753984 2577 33554432000 4194304 4650419 140734582879824 18446744073709551615 4360606 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=284916 CPUtime=0.19 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 678 0 0 0 19 0 0 0 18 0 4 0 651826372 291753984 2577 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=284916 CPUtime=0.19 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 568 0 0 0 19 0 0 0 25 0 4 0 651826372 291753984 2578 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.78 Current children cumulated vsize (KiB) 284916 [startup+0.300914 s] /proc/loadavg: 7.66 8.01 7.99 1/312 7665 /proc/meminfo: memFree=11169048/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=285608 CPUtime=1.17 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 3650 0 0 0 117 0 0 0 25 0 4 0 651826372 292462592 2717 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 71402 2717 390 112 0 66367 0 [pid=7665/tid=7666] ppid=7663 vsize=285608 CPUtime=0.29 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 873 0 0 0 29 0 0 0 18 0 4 0 651826372 292462592 2717 33554432000 4194304 4650419 140734582879824 18446744073709551615 4334371 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=285608 CPUtime=0.29 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 861 0 0 0 29 0 0 0 18 0 4 0 651826372 292462592 2717 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=285608 CPUtime=0.29 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 642 0 0 0 29 0 0 0 25 0 4 0 651826372 292462592 2717 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 285608 [startup+0.700838 s] /proc/loadavg: 7.66 8.01 7.99 1/312 7665 /proc/meminfo: memFree=11169048/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=286796 CPUtime=2.77 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 5628 0 0 0 277 0 0 0 25 0 4 0 651826372 293679104 3509 33554432000 4194304 4650419 140734582879824 18446744073709551615 4333209 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 71699 3509 390 112 0 66664 0 [pid=7665/tid=7666] ppid=7663 vsize=286796 CPUtime=0.69 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 1332 0 0 0 69 0 0 0 18 0 4 0 651826372 293679104 3509 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=286796 CPUtime=0.69 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 1344 0 0 0 69 0 0 0 18 0 4 0 651826372 293679104 3509 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=286796 CPUtime=0.69 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 1254 0 0 0 69 0 0 0 25 0 4 0 651826372 293679104 3509 33554432000 4194304 4650419 140734582879824 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 286796 [startup+1.50069 s] /proc/loadavg: 7.66 8.01 7.99 9/324 7682 /proc/meminfo: memFree=11135660/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=288208 CPUtime=5.96 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 10047 0 0 0 595 1 0 0 25 0 4 0 651826372 295124992 5445 33554432000 4194304 4650419 140734582879824 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 72052 5445 392 112 0 67017 0 [pid=7665/tid=7666] ppid=7663 vsize=288208 CPUtime=1.49 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 2182 0 0 0 149 0 0 0 20 0 4 0 651826372 295124992 5445 33554432000 4194304 4650419 140734582879824 18446744073709551615 4350779 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=288208 CPUtime=1.48 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 2162 0 0 0 148 0 0 0 19 0 4 0 651826372 295124992 5445 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=288208 CPUtime=1.49 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 2091 0 0 0 149 0 0 0 25 0 4 0 651826372 295124992 5445 33554432000 4194304 4650419 140734582879824 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 288208 [startup+3.10039 s] /proc/loadavg: 7.66 8.01 7.99 9/324 7682 /proc/meminfo: memFree=11104660/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=296684 CPUtime=12.35 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 16524 0 0 0 1233 2 0 0 25 0 4 0 651826372 303804416 9795 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 74171 9795 392 112 0 69136 0 [pid=7665/tid=7666] ppid=7663 vsize=296684 CPUtime=3.09 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 3686 0 0 0 309 0 0 0 25 0 4 0 651826372 303804416 9796 33554432000 4194304 4650419 140734582879824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=296684 CPUtime=3.08 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 4418 0 0 0 308 0 0 0 25 0 4 0 651826372 303804416 9796 33554432000 4194304 4650419 140734582879824 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=296684 CPUtime=3.08 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 4391 0 0 0 308 0 0 0 25 0 4 0 651826372 303804416 9796 33554432000 4194304 4650419 140734582879824 18446744073709551615 4334261 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 296684 [startup+6.30078 s] /proc/loadavg: 7.69 8.01 7.99 9/324 7682 /proc/meminfo: memFree=11052680/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=314548 CPUtime=25.11 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 23648 0 0 0 2508 3 0 0 25 0 4 0 651826372 322097152 12934 33554432000 4194304 4650419 140734582879824 18446744073709551615 4439073 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 78637 12934 392 112 0 73602 0 [pid=7665/tid=7666] ppid=7663 vsize=314548 CPUtime=6.28 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 6240 0 0 0 628 0 0 0 25 0 4 0 651826372 322097152 12934 33554432000 4194304 4650419 140734582879824 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=314548 CPUtime=6.28 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 5664 0 0 0 628 0 0 0 25 0 4 0 651826372 322097152 12934 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=314548 CPUtime=6.29 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 6467 0 0 0 628 1 0 0 25 0 4 0 651826372 322097152 12934 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 314548 [startup+12.7006 s] /proc/loadavg: 7.96 8.05 8.01 9/324 7683 /proc/meminfo: memFree=11003484/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=310548 CPUtime=50.65 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 34646 0 0 0 5060 5 0 0 25 0 4 0 651826372 318001152 17850 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 77637 17850 392 112 0 72602 0 [pid=7665/tid=7666] ppid=7663 vsize=310548 CPUtime=12.69 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 8719 0 0 0 1268 1 0 0 25 0 4 0 651826372 318001152 17850 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=310548 CPUtime=12.69 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 8247 0 0 0 1268 1 0 0 25 0 4 0 651826372 318001152 17850 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=310548 CPUtime=12.68 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 10080 0 0 0 1267 1 0 0 25 0 4 0 651826372 318001152 17850 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 310548 [startup+25.5011 s] /proc/loadavg: 7.97 8.05 8.01 9/324 7683 /proc/meminfo: memFree=10933668/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=320628 CPUtime=101.72 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 51802 0 0 0 10162 10 0 0 25 0 4 0 651826372 328323072 24216 33554432000 4194304 4650419 140734582879824 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 80157 24216 392 112 0 75122 0 [pid=7665/tid=7666] ppid=7663 vsize=320628 CPUtime=25.49 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 12919 0 0 0 2548 1 0 0 25 0 4 0 651826372 328323072 24216 33554432000 4194304 4650419 140734582879824 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=320628 CPUtime=25.49 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 11632 0 0 0 2547 2 0 0 25 0 4 0 651826372 328323072 24216 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=320628 CPUtime=25.48 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 14742 0 0 0 2545 3 0 0 25 0 4 0 651826372 328323072 24216 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.72 Current children cumulated vsize (KiB) 320628 [startup+51.1013 s] /proc/loadavg: 7.98 8.05 8.00 9/324 7684 /proc/meminfo: memFree=10874956/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=322336 CPUtime=203.87 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 72861 0 0 0 20368 19 0 0 25 0 4 0 651826372 330072064 28912 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 80584 28912 392 112 0 75549 0 [pid=7665/tid=7666] ppid=7663 vsize=322336 CPUtime=51.09 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 17969 0 0 0 5106 3 0 0 25 0 4 0 651826372 330072064 28912 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=322336 CPUtime=51.09 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 16524 0 0 0 5105 4 0 0 25 0 4 0 651826372 330072064 28912 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=322336 CPUtime=51.09 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 22240 0 0 0 5102 7 0 0 25 0 4 0 651826372 330072064 28912 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 203.87 Current children cumulated vsize (KiB) 322336 [startup+102.301 s] /proc/loadavg: 8.08 8.07 8.01 9/324 7685 /proc/meminfo: memFree=10823468/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=296112 CPUtime=408.19 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 109990 0 0 0 40787 32 0 0 25 0 4 0 651826372 303218688 31984 33554432000 4194304 4650419 140734582879824 18446744073709551615 4334120 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 74028 31984 392 112 0 68993 0 [pid=7665/tid=7666] ppid=7663 vsize=296112 CPUtime=102.3 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 26009 0 0 0 10224 6 0 0 25 0 4 0 651826372 303218688 31984 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=296112 CPUtime=102.3 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 24037 0 0 0 10223 7 0 0 25 0 4 0 651826372 303218688 31984 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=296112 CPUtime=102.29 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 35536 0 0 0 10218 11 0 0 25 0 4 0 651826372 303218688 31984 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.19 Current children cumulated vsize (KiB) 296112 [startup+162.301 s] ################ # More data... # ################ [pid=7665] ppid=7663 vsize=411864 CPUtime=2562.76 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 341360 0 0 0 256148 128 0 0 25 0 4 0 651826372 421748736 65229 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 102966 65229 392 112 0 97931 0 [pid=7665/tid=7666] ppid=7663 vsize=411864 CPUtime=642.31 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 82457 0 0 0 64200 31 0 0 25 0 4 0 651826372 421748736 65229 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=411864 CPUtime=642.31 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 71724 0 0 0 64202 29 0 0 25 0 4 0 651826372 421748736 65229 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=411864 CPUtime=642.3 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 103721 0 0 0 64194 36 0 0 25 0 4 0 651826372 421748736 65229 33554432000 4194304 4650419 140734582879824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2562.76 Current children cumulated vsize (KiB) 411864 [startup+702.301 s] /proc/loadavg: 8.13 8.11 8.04 9/324 7701 /proc/meminfo: memFree=10429492/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=368104 CPUtime=2802.16 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 361305 0 0 0 280080 136 0 0 25 0 4 0 651826372 376938496 68752 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 92026 68752 392 112 0 86991 0 [pid=7665/tid=7666] ppid=7663 vsize=368104 CPUtime=702.31 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 85157 0 0 0 70199 32 0 0 25 0 4 0 651826372 376938496 68752 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=368104 CPUtime=702.31 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 75078 0 0 0 70200 31 0 0 25 0 4 0 651826372 376938496 68752 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=368104 CPUtime=702.31 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 113196 0 0 0 70193 38 0 0 25 0 4 0 651826372 376938496 68752 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2802.16 Current children cumulated vsize (KiB) 368104 [startup+762.3 s] /proc/loadavg: 8.16 8.12 8.04 9/324 7703 /proc/meminfo: memFree=10387420/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=446116 CPUtime=3041.59 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 375970 0 0 0 304015 144 0 0 25 0 4 0 651826372 456822784 75805 33554432000 4194304 4650419 140734582879824 18446744073709551615 4363624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 111529 75805 392 112 0 106494 0 [pid=7665/tid=7666] ppid=7663 vsize=446116 CPUtime=762.32 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 89202 0 0 0 76198 34 0 0 25 0 4 0 651826372 456822784 75805 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=446116 CPUtime=762.32 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 75626 0 0 0 76201 31 0 0 25 0 4 0 651826372 456822784 75805 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=446116 CPUtime=762.31 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 119174 0 0 0 76190 41 0 0 25 0 4 0 651826372 456822784 75805 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3041.59 Current children cumulated vsize (KiB) 446116 [startup+822.301 s] /proc/loadavg: 8.06 8.10 8.04 9/324 7704 /proc/meminfo: memFree=10366568/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=511772 CPUtime=3280.98 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 385917 0 0 0 327948 150 0 0 25 0 4 0 651826372 524054528 73969 33554432000 4194304 4650419 140734582879824 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 127943 73969 392 112 0 122908 0 [pid=7665/tid=7666] ppid=7663 vsize=511772 CPUtime=822.31 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 93830 0 0 0 82195 36 0 0 25 0 4 0 651826372 524054528 73969 33554432000 4194304 4650419 140734582879824 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=511772 CPUtime=822.31 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 75721 0 0 0 82200 31 0 0 25 0 4 0 651826372 524054528 73969 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=511772 CPUtime=822.31 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 122651 0 0 0 82187 44 0 0 25 0 4 0 651826372 524054528 73969 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3280.98 Current children cumulated vsize (KiB) 511772 [startup+882.313 s] /proc/loadavg: 8.12 8.11 8.04 9/324 7706 /proc/meminfo: memFree=10334564/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=511772 CPUtime=3520.4 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 400783 0 0 0 351887 153 0 0 25 0 4 0 651826372 524054528 76639 33554432000 4194304 4650419 140734582879824 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 127943 76639 392 112 0 122908 0 [pid=7665/tid=7666] ppid=7663 vsize=511772 CPUtime=882.33 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 98257 0 0 0 88196 37 0 0 25 0 4 0 651826372 524054528 76639 33554432000 4194304 4650419 140734582879824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=511772 CPUtime=882.33 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 75774 0 0 0 88201 32 0 0 25 0 4 0 651826372 524054528 76639 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=511772 CPUtime=882.32 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 125835 0 0 0 88187 45 0 0 25 0 4 0 651826372 524054528 76639 33554432000 4194304 4650419 140734582879824 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3520.4 Current children cumulated vsize (KiB) 511772 [startup+942.301 s] /proc/loadavg: 8.04 8.08 8.04 9/324 7707 /proc/meminfo: memFree=10317928/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=524520 CPUtime=3759.74 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 421871 0 0 0 375816 158 0 0 25 0 4 0 651826372 537108480 77661 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 131130 77661 392 112 0 126095 0 [pid=7665/tid=7666] ppid=7663 vsize=524520 CPUtime=942.32 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 106292 0 0 0 94193 39 0 0 25 0 4 0 651826372 537108480 77661 33554432000 4194304 4650419 140734582879824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=524520 CPUtime=942.32 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 77404 0 0 0 94200 32 0 0 25 0 4 0 651826372 537108480 77661 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=524520 CPUtime=942.3 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 131029 0 0 0 94185 45 0 0 25 0 4 0 651826372 537108480 77661 33554432000 4194304 4650419 140734582879824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3759.74 Current children cumulated vsize (KiB) 524520 [startup+1002.3 s] /proc/loadavg: 8.06 8.08 8.03 9/324 7709 /proc/meminfo: memFree=10301168/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=511368 CPUtime=3999.12 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 443384 0 0 0 399749 163 0 0 25 0 4 0 651826372 523640832 75587 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 127842 75587 392 112 0 122807 0 [pid=7665/tid=7666] ppid=7663 vsize=511368 CPUtime=1002.32 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 113642 0 0 0 100192 40 0 0 25 0 4 0 651826372 523640832 75587 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=511368 CPUtime=1002.32 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 78406 0 0 0 100199 33 0 0 25 0 4 0 651826372 523640832 75587 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=511368 CPUtime=1002.31 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 142716 0 0 0 100184 47 0 0 25 0 4 0 651826372 523640832 75587 33554432000 4194304 4650419 140734582879824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3999.12 Current children cumulated vsize (KiB) 511368 [startup+1062.3 s] /proc/loadavg: 8.06 8.08 8.03 9/324 7720 /proc/meminfo: memFree=10253736/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=499128 CPUtime=4238.53 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 464826 0 0 0 423681 172 0 0 25 0 4 0 651826372 511107072 80414 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 124782 80414 392 112 0 119747 0 [pid=7665/tid=7666] ppid=7663 vsize=499128 CPUtime=1062.32 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 117443 0 0 0 106190 42 0 0 25 0 4 0 651826372 511107072 80414 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=499128 CPUtime=1062.32 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 83456 0 0 0 106196 36 0 0 25 0 4 0 651826372 511107072 80414 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=499128 CPUtime=1062.31 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 149967 0 0 0 106182 49 0 0 25 0 4 0 651826372 511107072 80414 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4238.53 Current children cumulated vsize (KiB) 499128 [startup+1122.3 s] /proc/loadavg: 8.06 8.08 8.03 9/324 7721 /proc/meminfo: memFree=10234600/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=524752 CPUtime=4477.93 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 476625 0 0 0 447616 177 0 0 25 0 4 0 651826372 537346048 83987 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 131188 83987 392 112 0 126153 0 [pid=7665/tid=7666] ppid=7663 vsize=524752 CPUtime=1122.33 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 119722 0 0 0 112190 43 0 0 25 0 4 0 651826372 537346048 83987 33554432000 4194304 4650419 140734582879824 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=524752 CPUtime=1122.33 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 86534 0 0 0 112195 38 0 0 25 0 4 0 651826372 537346048 83987 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=524752 CPUtime=1122.31 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 151581 0 0 0 112181 50 0 0 25 0 4 0 651826372 537346048 83987 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4477.93 Current children cumulated vsize (KiB) 524752 [startup+1182.3 s] /proc/loadavg: 8.05 8.08 8.03 10/324 7725 /proc/meminfo: memFree=10226264/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=524640 CPUtime=4717.34 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 490270 0 0 0 471549 185 0 0 25 0 4 0 651826372 537231360 84493 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 131160 84493 392 112 0 126125 0 [pid=7665/tid=7666] ppid=7663 vsize=524640 CPUtime=1182.32 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 123650 0 0 0 118187 45 0 0 25 0 4 0 651826372 537231360 84493 33554432000 4194304 4650419 140734582879824 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=524640 CPUtime=1182.33 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 87588 0 0 0 118194 39 0 0 25 0 4 0 651826372 537231360 84493 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=524640 CPUtime=1182.32 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 156898 0 0 0 118179 53 0 0 25 0 4 0 651826372 537231360 84493 33554432000 4194304 4650419 140734582879824 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4717.34 Current children cumulated vsize (KiB) 524640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.1 s] /proc/loadavg: 8.45 8.17 8.06 9/324 7726 /proc/meminfo: memFree=10226716/32951124 swapFree=67093864/67111528 [pid=7665] ppid=7663 vsize=590176 CPUtime=4800.35 cores=1,3,5,7 /proc/7665/stat : 7665 (strangenight1-m) R 7663 7665 7247 0 -1 4202496 493101 0 0 0 479849 186 0 0 25 0 4 0 651826372 604340224 86206 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7665/statm: 147544 86206 392 112 0 142509 0 [pid=7665/tid=7666] ppid=7663 vsize=590176 CPUtime=1203.13 cores=1,3,5,7 /proc/7665/task/7666/stat : 7666 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 124167 0 0 0 120268 45 0 0 25 0 4 0 651826372 604340224 86206 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7665/tid=7667] ppid=7663 vsize=590176 CPUtime=1203.14 cores=1,3,5,7 /proc/7665/task/7667/stat : 7667 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 87588 0 0 0 120275 39 0 0 25 0 4 0 651826372 604340224 86206 33554432000 4194304 4650419 140734582879824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7665/tid=7668] ppid=7663 vsize=590176 CPUtime=1203.13 cores=1,3,5,7 /proc/7665/task/7668/stat : 7668 (strangenight1-m) R 7663 7665 7247 0 -1 4202560 156898 0 0 0 120260 53 0 0 25 0 4 0 651826372 604340224 86206 33554432000 4194304 4650419 140734582879824 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.35 Current children cumulated vsize (KiB) 590176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.13 CPU time (s): 4800.41 CPU user time (s): 4798.53 CPU system time (s): 1.88471 CPU usage (%): 398.993 Max. virtual memory (cumulated for all children) (KiB): 590176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.53 system time used= 1.88471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 493101 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= 191 involuntary context switches= 20582 runsolver used 3.2985 second user time and 8.93164 second system time The end
Begin job on node102 at 2011-05-14 21:44:00 IDJOB=3368755 IDBENCH=82764 IDSOLVER=1846 FILE ID=node102/3368755-1305402240 RUNJOBID= node102-1305401035-7562 PBS_JOBID= 13324460 Free space on /tmp= 73532 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368755-1305402240/watcher-3368755-1305402240 -o /tmp/evaluation-result-3368755-1305402240/solver-3368755-1305402240 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368755-1305402240.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d0491523e951b9423a05375c0461833 RANDOM SEED=1780643471 node102.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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.82 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 11169452 kB Buffers: 254164 kB Cached: 2793744 kB SwapCached: 1128 kB Active: 19506720 kB Inactive: 1980884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 11169452 kB SwapTotal: 67111528 kB SwapFree: 67093864 kB Dirty: 6244 kB Writeback: 0 kB AnonPages: 18438092 kB Mapped: 26132 kB Slab: 176704 kB PageTables: 52584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 59040908 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= 73524 MiB End job on node102 at 2011-05-14 22:04:05