| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.08 | 1201.63 |
| 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-3175146-1304091646.cnf' 0.00/0.00 c -- header says num vars: 60 0.00/0.00 c -- header says num clauses: 5340 0.00/0.01 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.00/0.01 c -- vars added 60 0.00/0.01 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.38/0.12 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.45 0.38/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.38/0.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.38/0.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.38/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.38/0.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.38/0.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.38/0.14 c Finding binary XORs T: 0.00 s found: 0 0.38/0.14 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.38/0.14 c calculated reachability. Time: 0.00 0.38/0.14 c Calc default polars - time: 0.00 s pos: 19 undec: 0 neg: 41 0.38/0.14 c ========================================================================================= 0.38/0.14 c types(t): F = full restart, N = normal restart 0.38/0.14 c types(t): S = simplification begin/end, E = solution found 0.38/0.14 c restart types(rt): st = static, dy = dynamic 0.38/0.14 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.38/0.14 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 0.77/0.24 c N dy 15 4012 60 5340 0 3561 37380 77400 18.82 20.48 -- 1.57/0.41 c N dy 19 9184 60 5340 0 5944 37380 120642 18.03 19.08 -- 1.97/0.58 c N dy 30 13591 60 5340 0 6077 37380 116138 18.12 19.09 -- 2.78/0.75 c N dy 39 17634 60 5340 0 9690 37380 192646 18.08 20.48 -- 3.58/0.94 c N dy 44 22473 60 5340 0 8975 37380 167308 17.93 18.97 -- 3.99/1.06 c F st 47 25000 60 5340 0 11227 37380 213636 17.84 no data -- 4.39/1.16 c N st 51 27033 60 5340 0 6978 37380 117999 17.84 no data -- 4.77/1.27 c S st 53 30002 60 5340 0 9613 37380 174071 17.84 no data -- 5.17/1.31 c S st 53 30506 60 5340 0 10070 37380 184347 17.84 no data -- 5.17/1.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.17/1.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.17/1.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 5.17/1.32 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.17/1.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.17/1.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.17/1.32 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.79/2.24 c lits-rem: 1417 cl-subs: 995 v-elim: 0 v-fix: 0 time: 3.67 s 9.96/2.51 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.09 9.96/2.51 c calculated reachability. Time: 0.00 9.96/2.51 c N dy 53 30506 60 5340 0 9075 37380 161788 17.84 no data -- 10.75/2.74 c N dy 78 34813 60 5340 0 12931 37380 244454 17.98 19.00 -- 11.55/2.97 c N dy 94 39259 60 5340 0 9878 37380 167376 18.02 18.98 -- 12.35/3.19 c N dy 112 43384 60 5340 0 13532 37380 245125 18.08 19.07 -- 13.18/3.34 c S st 124 45761 60 5340 0 15650 37380 290498 18.12 no data -- 13.18/3.39 c S st 124 46265 60 5340 0 8181 37380 124438 18.12 no data -- 13.18/3.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.18/3.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.18/3.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.56/3.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.56/3.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.56/3.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.56/3.40 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.36/4.13 c lits-rem: 130 cl-subs: 35 v-elim: 0 v-fix: 0 time: 2.93 s 16.36/4.13 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.36/4.13 c vivif2 -- cl tried 8146 cl shrink 0 lits rem 0 time: 0.00 17.17/4.36 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.91 17.17/4.36 c calculated reachability. Time: 0.00 17.17/4.36 c N dy 124 46265 60 5340 0 8146 37380 123458 18.12 no data -- 18.35/4.61 c N dy 136 51261 60 5340 0 12567 37380 217573 18.13 19.09 -- 19.95/5.03 c N dy 146 58642 60 5340 0 10239 37380 156463 18.02 19.04 -- 20.75/5.25 c N dy 151 62856 60 5340 0 13973 37380 234727 17.99 19.00 -- 21.97/5.56 c N dy 160 67852 60 5340 0 18361 37380 325581 17.95 18.99 -- 22.35/5.68 c S st 169 69398 60 5340 0 10048 37380 146151 17.97 no data -- 22.75/5.71 c S st 169 69903 60 5340 0 10505 37380 155911 17.97 no data -- 22.75/5.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.75/5.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.75/5.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 22.75/5.72 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.75/5.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.75/5.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.75/5.72 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 26.37/6.60 c lits-rem: 293 cl-subs: 115 v-elim: 0 v-fix: 0 time: 3.51 s 26.37/6.60 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 26.37/6.61 c vivif2 -- cl tried 10390 cl shrink 0 lits rem 0 time: 0.00 27.14/6.88 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.11 27.14/6.88 c calculated reachability. Time: 0.00 27.14/6.88 c N dy 169 69903 60 5340 0 10390 37380 152896 17.97 no data -- 28.34/7.11 c N dy 182 74390 60 5340 0 14411 37380 238328 17.98 18.97 -- 30.76/7.73 c N dy 203 83472 60 5340 0 11828 37380 172437 17.94 18.97 -- 31.53/7.98 c F st 228 87500 60 5340 0 15426 37380 250097 18.00 no data -- 32.34/8.12 c N st 232 89531 60 5340 0 17208 37380 288367 18.00 no data -- 33.94/8.54 c N dy 249 95265 60 5340 0 22322 37380 397083 18.02 20.91 -- 35.53/8.96 c N dy 274 101401 60 5340 0 16233 37380 255964 18.05 19.99 -- 36.33/9.18 c S st 279 104855 60 5340 0 19299 37380 319748 18.04 17.71 -- 36.73/9.24 c S st 279 105360 60 5340 0 19762 37380 330075 18.04 no data -- 36.73/9.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 36.73/9.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 36.73/9.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 36.73/9.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 36.73/9.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 36.73/9.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 36.73/9.25 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 42.32/10.67 c lits-rem: 1566 cl-subs: 2140 v-elim: 0 v-fix: 0 time: 5.68 s 42.32/10.67 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 42.32/10.68 c vivif2 -- cl tried 17622 cl shrink 0 lits rem 0 time: 0.01 43.95/11.03 c asymm cl-useful: 0/4687/5340 lits-rem:0 time: 1.41 43.95/11.03 c calculated reachability. Time: 0.00 43.95/11.03 c N dy 279 105360 60 5340 0 17622 37380 283920 18.04 no data -- 46.32/11.62 c N dy 307 113164 60 5340 0 24598 37380 432099 18.05 19.05 -- 49.51/12.45 c N dy 316 125276 60 5340 0 22880 37380 379285 17.90 18.92 -- 54.31/13.69 c N dy 358 142280 60 5340 0 24757 37380 412990 17.83 18.83 -- 57.50/14.45 c N dy 418 151430 60 5340 0 18799 37380 283285 17.90 18.91 -- 59.91/15.00 c S st 440 158041 60 5340 0 24685 37380 406130 17.90 16.19 -- 59.91/15.06 c S st 440 158544 60 5340 0 25138 37380 416098 17.90 no data -- 59.91/15.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 59.91/15.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 59.91/15.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 59.91/15.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 59.91/15.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 59.91/15.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 59.91/15.08 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 67.89/17.02 c lits-rem: 1908 cl-subs: 2538 v-elim: 0 v-fix: 0 time: 7.73 s 67.89/17.02 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 67.89/17.02 c vivif2 -- cl tried 22600 cl shrink 0 lits rem 0 time: 0.02 68.29/17.12 c asymm cl-useful: 0/653/5340 lits-rem:0 time: 0.38 68.29/17.12 c calculated reachability. Time: 0.00 68.29/17.12 c N dy 440 158544 60 5340 0 22600 37380 359908 17.90 no data -- 72.68/18.23 c N dy 476 170645 60 5340 0 18347 37380 258136 17.89 19.11 -- 76.69/19.21 c N dy 514 181615 60 5340 0 28086 37380 463722 17.91 19.18 -- 80.68/20.22 c N dy 578 193287 60 5340 0 22571 37380 345433 17.96 19.05 -- 85.87/21.50 c N dy 608 206796 60 5340 0 17696 37380 229247 17.96 18.96 -- 91.46/22.99 c N dy 642 222891 60 5340 0 31943 37380 523636 17.91 18.87 -- 96.68/24.26 c N dy 647 237816 60 5340 0 27398 37380 416385 17.82 15.40 -- 96.68/24.26 c S st 647 237816 60 5340 0 27398 37380 416385 17.82 15.40 -- 97.06/24.33 c S st 647 238320 60 5340 0 27864 37380 426709 17.82 no data -- 97.06/24.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 97.06/24.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 97.06/24.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 97.06/24.35 c bin-w-bin subsume rem 0 bins time: 0.00 s 97.06/24.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 97.06/24.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 97.06/24.35 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 106.24/26.61 c lits-rem: 1706 cl-subs: 3136 v-elim: 0 v-fix: 0 time: 9.03 s 106.24/26.61 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 106.24/26.62 c vivif2 -- cl tried 24728 cl shrink 0 lits rem 0 time: 0.02 107.84/27.00 c asymm cl-useful: 0/3657/5340 lits-rem:0 time: 1.53 107.84/27.00 c calculated reachability. Time: 0.00 107.84/27.00 c N dy 647 238320 60 5340 0 24728 37380 366202 17.82 no data -- 114.63/28.79 c N dy 755 253574 60 5340 0 19895 37380 255542 17.90 19.55 -- 121.83/30.51 c N dy 865 269825 60 5340 0 34403 37380 569113 17.98 19.42 -- 129.01/32.38 c N dy 953 287068 60 5340 0 30276 37380 464373 18.03 20.16 -- 137.40/34.42 c F st 995 306250 60 5340 0 26826 37380 372245 17.98 15.62 -- 137.40/34.42 c N st 995 306250 60 5340 0 26826 37380 372245 17.98 15.62 -- 146.59/36.75 c N dy 1046 327383 60 5340 0 24294 37380 315312 17.98 19.30 -- 155.38/38.97 c N dy 1118 347410 60 5340 0 42016 37380 689482 18.00 19.14 -- 160.17/40.17 c S st 1169 357480 60 5340 0 28842 37380 404361 18.02 16.49 -- 160.57/40.25 c S st 1169 357982 60 5340 0 29300 37380 414646 18.02 no data -- 160.57/40.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 160.57/40.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 160.57/40.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 160.57/40.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 160.57/40.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 160.57/40.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 160.57/40.27 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 168.96/42.37 c lits-rem: 1405 cl-subs: 1702 v-elim: 0 v-fix: 0 time: 8.37 s 168.96/42.37 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 168.96/42.37 c vivif2 -- cl tried 27598 cl shrink 0 lits rem 0 time: 0.02 170.16/42.61 c asymm cl-useful: 0/1683/5340 lits-rem:0 time: 0.95 170.16/42.61 c calculated reachability. Time: 0.00 170.16/42.61 c N dy 1169 357982 60 5340 0 27598 37380 377040 18.02 no data -- 181.35/45.47 c N dy 1244 378012 60 5340 0 45457 37380 756997 18.03 19.25 -- 192.53/48.28 c N dy 1308 399133 60 5340 0 41092 37380 649371 18.02 19.07 -- 202.92/50.80 c N dy 1371 419911 60 5340 0 35577 37380 523783 18.02 19.01 -- 224.12/56.18 c N dy 1409 467441 60 5340 0 26973 37380 319704 17.78 18.73 -- 235.28/58.98 c N dy 1540 488318 60 5340 0 45499 37380 719521 17.83 18.80 -- 247.27/61.97 c N dy 1676 508529 60 5340 0 37112 37380 533950 17.88 18.82 -- 262.85/65.87 c N dy 1747 536974 60 5340 0 34726 37380 459285 17.84 15.05 -- 262.85/65.87 c S st 1747 536974 60 5340 0 34726 37380 459285 17.84 15.05 -- 263.26/65.96 c S st 1747 537477 60 5340 0 35183 37380 469548 17.84 no data -- 263.26/65.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 263.26/65.96 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 263.26/65.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 263.26/65.99 c bin-w-bin subsume rem 0 bins time: 0.00 s 263.26/65.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 263.26/65.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 263.26/65.99 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 272.46/68.23 c lits-rem: 791 cl-subs: 2560 v-elim: 0 v-fix: 0 time: 8.94 s 272.46/68.23 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 272.46/68.23 c vivif2 -- cl tried 32623 cl shrink 0 lits rem 0 time: 0.02 274.04/68.60 c asymm cl-useful: 0/2751/5340 lits-rem:0 time: 1.47 274.04/68.60 c calculated reachability. Time: 0.00 274.04/68.60 c N dy 1747 537477 60 5340 0 32623 37380 422191 17.84 no data -- 286.41/71.77 c N dy 1831 559344 60 5340 0 52006 37380 832991 17.86 18.85 -- 298.82/74.85 c N dy 1949 579883 60 5340 0 42113 37380 617299 17.89 18.84 -- 313.59/78.59 c N dy 2060 599925 60 5340 0 30764 37380 362645 17.92 18.99 -- 325.97/81.60 c N dy 2186 620284 60 5340 0 48827 37380 751994 17.95 18.97 -- 342.37/85.76 c N dy 2293 646067 60 5340 0 41458 37380 580350 17.96 19.15 -- 357.53/89.55 c N dy 2375 666298 60 5340 0 59304 37380 956988 17.97 18.96 -- 370.31/92.76 c N dy 2464 686397 60 5340 0 46173 37380 674784 17.98 19.49 -- 387.49/97.05 c N dy 2556 709312 60 5340 0 34631 37380 413909 17.99 19.08 -- 401.88/100.67 c N dy 2644 729852 60 5340 0 52831 37380 800965 18.00 19.13 -- 417.48/104.54 c N dy 2715 749896 60 5340 0 37841 37380 471547 18.01 19.11 -- 430.66/107.88 c N dy 2803 770634 60 5340 0 56284 37380 865887 18.02 19.22 -- 447.02/111.92 c N dy 2898 791012 60 5340 0 40655 37380 519787 18.03 19.02 -- 457.02/114.44 c S st 2976 806217 60 5340 0 54102 37380 806958 18.04 no data -- 457.40/114.59 c S st 2976 806724 60 5340 0 54562 37380 817369 18.04 no data -- 457.40/114.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 457.40/114.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 457.80/114.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 457.80/114.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 457.80/114.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 457.80/114.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 457.80/114.64 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 485.76/121.65 c lits-rem: 2406 cl-subs: 5608 v-elim: 0 v-fix: 0 time: 27.98 s 485.76/121.65 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 485.76/121.65 c vivif2 -- cl tried 48954 cl shrink 0 lits rem 0 time: 0.03 486.56/121.88 c asymm cl-useful: 0/805/5340 lits-rem:0 time: 0.92 486.56/121.88 c calculated reachability. Time: 0.00 486.56/121.88 c N dy 2976 806724 60 5340 0 48954 37380 698104 18.04 no data -- 502.94/125.96 c N dy 3023 826812 60 5340 0 66640 37380 1070530 18.04 20.96 -- 516.92/129.49 c N dy 3134 846838 60 5340 0 50176 37380 718195 18.05 20.44 -- 533.69/133.65 c N dy 3192 868927 60 5340 0 69649 37380 1130535 18.05 19.06 -- 546.88/136.93 c N dy 3276 888980 60 5340 0 52206 37380 746251 18.06 19.21 -- 567.25/142.06 c N dy 3337 919488 60 5340 0 42868 37380 531111 18.02 19.09 -- 584.83/146.42 c N dy 3415 944520 60 5340 0 64922 37380 995833 18.02 19.06 -- 603.21/151.09 c N dy 3475 970775 60 5340 0 51067 37380 694123 18.00 19.09 -- 621.58/155.60 c N dy 3602 990798 60 5340 0 68862 37380 1078252 18.02 19.98 -- 636.37/159.38 c N dy 3673 1010886 60 5340 0 48618 37380 643940 18.03 19.53 -- 653.54/163.66 c N dy 3737 1033375 60 5340 0 68476 37380 1065132 18.02 18.99 -- 671.52/168.13 c N dy 3842 1053397 60 5340 0 47373 37380 607881 18.04 18.99 -- 687.50/172.15 c F st 3969 1071877 60 5340 0 63860 37380 966724 18.06 no data -- 689.10/172.54 c N st 3973 1073908 60 5340 0 65647 37380 1005561 18.06 no data -- 711.06/178.01 c N dy 4080 1096044 60 5340 0 45400 37380 548434 18.07 19.09 -- 728.25/182.34 c N dy 4176 1118101 60 5340 0 64948 37380 969328 18.09 19.17 -- 748.22/187.33 c N dy 4232 1138158 60 5340 0 41920 37380 465964 18.08 21.67 -- 763.41/191.17 c N dy 4350 1158697 60 5340 0 60126 37380 859128 18.10 19.08 -- 786.19/196.85 c N dy 4444 1181377 60 5340 0 80179 37380 1287182 18.10 19.09 -- 806.15/201.85 c N dy 4553 1201421 60 5340 0 56294 37380 765259 18.11 19.09 -- 816.14/204.32 c S st 4604 1210087 60 5340 0 63975 37380 930967 18.12 16.03 -- 816.95/204.58 c S st 4604 1210594 60 5340 0 64443 37380 941508 18.12 no data -- 816.95/204.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 816.95/204.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 817.36/204.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.17 817.36/204.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 817.36/204.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 817.36/204.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 817.36/204.66 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 900.02/225.36 c lits-rem: 3230 cl-subs: 5614 v-elim: 0 v-fix: 0 time: 82.67 s 900.02/225.36 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 900.02/225.37 c vivif2 -- cl tried 58829 cl shrink 0 lits rem 0 time: 0.04 901.62/225.70 c asymm cl-useful: 0/637/5340 lits-rem:0 time: 1.30 901.62/225.70 c calculated reachability. Time: 0.00 901.62/225.70 c N dy 4604 1210594 60 5340 0 58829 37380 818071 18.12 no data -- 923.59/231.24 c N dy 4682 1230595 60 5340 0 76551 37380 1197182 18.12 19.86 -- 942.36/235.96 c N dy 4787 1250668 60 5340 0 52113 37380 669791 18.13 19.14 -- 959.54/240.28 c N dy 4861 1271826 60 5340 0 70820 37380 1069977 18.13 19.44 -- 986.30/246.97 c N dy 4965 1296814 60 5340 0 49695 37380 600742 18.14 19.11 -- 1007.07/252.15 c N dy 5044 1319253 60 5340 0 69467 37380 1020357 18.14 19.21 -- 1033.83/258.86 c N dy 5138 1339297 60 5340 0 87234 37380 1404938 18.15 19.66 -- 1052.22/263.45 c N dy 5211 1359333 60 5340 0 60873 37380 834115 18.15 20.76 -- 1074.18/268.90 c N dy 5275 1380487 60 5340 0 79611 37380 1236065 18.15 19.12 -- 1110.54/278.02 c N dy 5278 1429810 60 5340 0 77631 37380 1158798 18.08 19.29 -- 1132.51/283.52 c N dy 5341 1449856 60 5340 0 49566 37380 573688 18.08 20.47 -- 1154.48/289.05 c N dy 5421 1475499 60 5340 0 72197 37380 1053000 18.08 19.17 -- 1182.06/295.97 c N dy 5538 1496864 60 5340 0 91059 37380 1458411 18.09 19.33 -- 1199.24/300.27 c N dy 5610 1516930 60 5340 0 62129 37380 832126 18.09 19.56 -- 1223.59/306.38 c N dy 5737 1539701 60 5340 0 82314 37380 1266544 18.10 19.15 -- 1248.75/312.60 c N dy 5850 1559775 60 5340 0 52373 37380 613407 18.11 20.31 -- 1265.56/316.82 c N dy 5927 1580573 60 5340 0 70597 37380 998863 18.11 19.09 -- 1287.12/322.22 c N dy 5969 1600615 60 5340 0 88248 37380 1370315 18.11 19.09 -- 1310.27/328.06 c N dy 6071 1620749 60 5340 0 57588 37380 714124 18.12 19.13 -- 1331.47/333.39 c N dy 6149 1643981 60 5340 0 78008 37380 1143809 18.11 19.11 -- 1355.01/339.26 c N dy 6189 1664065 60 5340 0 95688 37380 1510476 18.10 19.87 -- 1374.59/344.10 c N dy 6281 1684560 60 5340 0 64452 37380 852096 18.11 19.12 -- 1392.98/348.73 c N dy 6323 1705175 60 5340 0 82533 37380 1232098 18.10 19.08 -- 1398.95/350.21 c S st 6331 1710594 60 5340 0 87270 37380 1330438 18.10 18.46 -- 1399.75/350.48 c S st 6331 1711099 60 5340 0 87728 37380 1340722 18.10 no data -- 1399.75/350.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1399.75/350.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1400.15/350.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.17 1400.15/350.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 1400.15/350.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1400.15/350.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1400.15/350.57 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1588.70/397.79 c lits-rem: 4994 cl-subs: 10969 v-elim: 0 v-fix: 0 time: 188.60 s 1588.70/397.79 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1589.10/397.80 c vivif2 -- cl tried 76759 cl shrink 0 lits rem 0 time: 0.07 1590.71/398.26 c asymm cl-useful: 0/523/5340 lits-rem:0 time: 1.81 1590.71/398.26 c calculated reachability. Time: 0.00 1590.71/398.26 c N dy 6331 1711099 60 5340 0 76759 37380 1113846 18.10 no data -- 1626.65/407.29 c N dy 6440 1731121 60 5340 0 94392 37380 1494319 18.11 22.21 -- 1653.41/413.94 c N dy 6531 1751211 60 5340 0 62609 37380 806710 18.12 19.94 -- 1677.38/419.90 c N dy 6646 1772924 60 5340 0 81813 37380 1221234 18.13 19.14 -- 1715.33/429.42 c N dy 6746 1798824 60 5340 0 53788 37380 600205 18.13 19.15 -- 1735.31/434.48 c N dy 6814 1818898 60 5340 0 71447 37380 976298 18.13 19.93 -- 1766.07/442.16 c N dy 6863 1846442 60 5340 0 95581 37380 1477342 18.11 19.07 -- 1799.61/450.53 c N dy 6918 1880411 60 5340 0 73535 37380 987010 18.09 19.12 -- 1825.98/457.14 c N dy 6986 1903394 60 5340 0 93714 37380 1410562 18.08 19.06 -- 1853.55/464.08 c N dy 7100 1923662 60 5340 0 59096 37380 699798 18.09 19.18 -- 1873.12/468.94 c N dy 7150 1944388 60 5340 0 77321 37380 1079530 18.09 19.05 -- 1899.49/475.52 c N dy 7265 1964416 60 5340 0 94997 37380 1461040 18.09 20.25 -- 1926.65/482.39 c N dy 7362 1984798 60 5340 0 59329 37380 691823 18.10 19.08 -- 1945.03/486.97 c N dy 7419 2004802 60 5340 0 76908 37380 1059249 18.09 20.60 -- 1971.40/493.54 c N dy 7497 2027187 60 5340 0 96534 37380 1475590 18.09 19.11 -- 2021.35/506.01 c N dy 7625 2072486 60 5340 0 81674 37380 1142751 18.08 19.19 -- 2049.70/513.14 c N dy 7761 2092617 60 5340 0 99474 37380 1531517 18.10 19.06 -- 2080.05/520.73 c N dy 7908 2112633 60 5340 0 61857 37380 731829 18.11 20.28 -- 2100.45/525.86 c N dy 7996 2133145 60 5340 0 79945 37380 1121265 18.11 19.09 -- 2123.20/531.56 c N dy 8013 2153150 60 5340 0 97458 37380 1483988 18.10 19.08 -- 2165.55/542.20 c N dy 8045 2196205 60 5340 0 78686 37380 1050846 18.08 19.07 -- 2185.52/547.16 c S st 8134 2211099 60 5340 0 91827 37380 1336685 18.08 no data -- 2186.72/547.45 c S st 8134 2211599 60 5340 0 92281 37380 1347034 18.08 no data -- 2186.72/547.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2186.72/547.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2187.12/547.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.18 2187.12/547.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 2187.12/547.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2187.12/547.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2187.12/547.54 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2384.45/596.92 c lits-rem: 7436 cl-subs: 11777 v-elim: 0 v-fix: 0 time: 197.24 s 2384.45/596.92 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2384.45/596.94 c vivif2 -- cl tried 80504 cl shrink 0 lits rem 0 time: 0.07 2386.07/597.39 c asymm cl-useful: 0/490/5340 lits-rem:0 time: 1.81 2386.44/597.40 c calculated reachability. Time: 0.00 2386.44/597.40 c N dy 8134 2211599 60 5340 0 80504 37380 1113274 18.08 no data -- 2434.79/609.59 c N dy 8156 2245326 60 5340 0 109907 37380 1706841 18.05 19.01 -- 2464.76/617.09 c N dy 8265 2265464 60 5340 0 71493 37380 926467 18.06 19.03 -- 2515.88/629.81 c N dy 8358 2302081 60 5340 0 103506 37380 1589124 18.05 19.05 -- 2556.23/639.90 c N dy 8479 2322733 60 5340 0 64186 37380 754151 18.06 19.11 -- 2582.98/646.68 c N dy 8585 2342739 60 5340 0 81850 37380 1135832 18.07 19.23 -- 2625.32/657.26 c N dy 8671 2372573 60 5340 0 108049 37380 1688889 18.06 19.05 -- 2658.88/665.68 c N dy 8791 2392605 60 5340 0 67027 37380 804202 18.07 20.53 -- 2700.02/675.96 c N dy 8899 2424954 60 5340 0 95466 37380 1411777 18.07 19.13 -- 2733.58/684.33 c N dy 9011 2445042 60 5340 0 113196 37380 1792906 18.08 20.22 -- 2762.75/691.66 c N dy 9156 2465392 60 5340 0 71420 37380 886143 18.09 19.08 -- 2786.32/697.56 c N dy 9249 2485779 60 5340 0 89398 37380 1270412 18.09 19.05 -- 2819.08/705.79 c N dy 9401 2505855 60 5340 0 107182 37380 1662601 18.10 19.45 -- 2855.03/714.78 c N dy 9518 2525931 60 5340 0 64161 37380 718962 18.11 20.60 -- 2878.59/720.64 c N dy 9664 2546029 60 5340 0 81945 37380 1110760 18.12 19.42 -- 2908.57/728.11 c N dy 9810 2566074 60 5340 0 99747 37380 1502956 18.13 19.66 -- 2950.10/738.51 c N dy 9902 2592723 60 5340 0 123187 37380 2002338 18.13 19.25 -- 2983.67/746.93 c N dy 9966 2626465 60 5340 0 90877 37380 1260539 18.12 19.09 -- 3026.40/757.63 c N dy 10036 2657497 60 5340 0 117942 37380 1821611 18.11 19.13 -- 3059.55/765.97 c N dy 10136 2685334 60 5340 0 80157 37380 1042412 18.11 19.28 -- 3091.51/773.92 c N dy 10233 2709584 60 5340 0 101517 37380 1501177 18.12 19.12 -- 3095.10/774.85 c S st 10248 2711601 60 5340 0 103298 37380 1540078 18.12 no data -- 3096.30/775.16 c S st 10248 2712108 60 5340 0 103751 37380 1550137 18.12 no data -- 3096.30/775.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3096.30/775.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3096.70/775.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.21 3096.70/775.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 3096.70/775.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3096.70/775.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3096.70/775.26 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3641.58/911.61 c lits-rem: 6663 cl-subs: 11329 v-elim: 0 v-fix: 0 time: 544.56 s 3641.58/911.61 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3641.58/911.63 c vivif2 -- cl tried 92422 cl shrink 0 lits rem 0 time: 0.08 3643.17/912.09 c asymm cl-useful: 0/627/5340 lits-rem:0 time: 1.82 3643.17/912.09 c calculated reachability. Time: 0.00 3643.17/912.09 c N dy 10248 2712108 60 5340 0 92422 37380 1308614 18.12 no data -- 3679.92/921.28 c N dy 10315 2732304 60 5340 0 110151 37380 1685026 18.12 19.08 -- 3726.28/932.89 c N dy 10410 2752351 60 5340 0 65159 37380 717576 18.12 20.78 -- 3757.04/940.54 c N dy 10528 2772371 60 5340 0 82871 37380 1102884 18.13 21.98 -- 3797.76/950.74 c N dy 10673 2793146 60 5340 0 101305 37380 1508379 18.14 19.21 -- 3839.31/961.17 c N dy 10738 2814498 60 5340 0 120072 37380 1911062 18.14 19.10 -- 3889.63/973.72 c N dy 10817 2847625 60 5340 0 85065 37380 1116649 18.13 19.26 -- 3920.80/981.59 c N dy 10903 2867644 60 5340 0 102674 37380 1493010 18.13 19.93 -- 3965.94/992.87 c N dy 11003 2891388 60 5340 0 123653 37380 1947098 18.14 19.23 -- 4011.50/1004.29 c N dy 11021 2929871 60 5340 0 92252 37380 1245549 18.11 19.13 -- 4062.60/1017.06 c N dy 11132 2958807 60 5340 0 117745 37380 1784648 18.11 19.15 -- 4099.78/1026.31 c N dy 11235 2978893 60 5340 0 69652 37380 782455 18.11 19.40 -- 4124.53/1032.58 c N dy 11371 2998922 60 5340 0 87383 37380 1169180 18.12 21.45 -- 4155.28/1040.23 c N dy 11478 3018991 60 5340 0 105146 37380 1552803 18.13 20.26 -- 4192.43/1049.51 c N dy 11585 3039041 60 5340 0 122823 37380 1935135 18.13 19.86 -- 4228.39/1058.59 c N dy 11669 3060274 60 5340 0 74529 37380 868046 18.13 19.12 -- 4256.75/1065.62 c N dy 11807 3081615 60 5340 0 93433 37380 1283725 18.14 19.35 -- 4300.69/1076.64 c N dy 11877 3111975 60 5340 0 119929 37380 1838244 18.13 19.24 -- 4343.04/1087.26 c N dy 11988 3132180 60 5340 0 69989 37380 766534 18.14 19.11 -- 4371.00/1094.26 c N dy 12039 3154655 60 5340 0 89688 37380 1180818 18.13 19.10 -- 4414.94/1105.23 c N dy 12152 3179144 60 5340 0 111362 37380 1645647 18.14 19.20 -- 4461.27/1116.89 c N dy 12302 3199148 60 5340 0 129090 37380 2034389 18.15 19.71 -- 4489.25/1123.80 c S st 12401 3212109 60 5340 0 71850 37380 797425 18.15 17.10 -- 4490.05/1124.01 c S st 12401 3212611 60 5340 0 72308 37380 807872 18.15 no data -- 4490.05/1124.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4490.05/1124.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4490.05/1124.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.12 4490.05/1124.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 4490.05/1124.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4490.05/1124.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4490.05/1124.07 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4537.97/1136.00 c lits-rem: 413 cl-subs: 817 v-elim: 0 v-fix: 0 time: 47.65 s 4537.97/1136.00 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4537.97/1136.01 c vivif2 -- cl tried 71491 cl shrink 0 lits rem 0 time: 0.04 4538.79/1136.29 c asymm cl-useful: 0/633/5340 lits-rem:0 time: 1.11 4538.79/1136.29 c calculated reachability. Time: 0.00 4538.79/1136.29 c N dy 12401 3212611 60 5340 0 71491 37380 788930 18.15 no data -- 4564.34/1142.62 c N dy 12533 3232680 60 5340 0 89192 37380 1177917 18.16 21.10 -- 4596.69/1150.70 c N dy 12635 3253699 60 5340 0 107706 37380 1578680 18.16 19.22 -- 4639.04/1161.33 c N dy 12751 3276621 60 5340 0 127954 37380 2016651 18.17 19.23 -- 4677.79/1171.03 c N dy 12875 3296696 60 5340 0 76063 37380 878251 18.18 21.07 -- 4710.16/1179.13 c N dy 13028 3316786 60 5340 0 93821 37380 1268899 18.18 20.09 -- 4749.30/1188.93 c N dy 13040 3344538 60 5340 0 118021 37380 1765059 18.17 19.16 -- 4799.62/1201.58 c N dy 13179 3368315 60 5340 0 139085 37380 2223378 18.18 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: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175146-1304091646/watcher-3175146-1304091646 -o /tmp/evaluation-result-3175146-1304091646/solver-3175146-1304091646 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175146-1304091646.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: 8.12 8.09 7.72 5/176 7728 /proc/meminfo: memFree=31375604/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 501580230 52465664 352 33554432000 4194304 4650419 140735562484512 18446744073709551615 47425375291314 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 12809 352 303 112 0 7774 0 [pid=7726/tid=7729] ppid=7723 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 501580231 52465664 352 33554432000 4194304 4650419 140735562484512 18446744073709551615 47425375291314 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 501580231 52465664 352 33554432000 4194304 4650419 140735562484512 18446744073709551615 47425375291318 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 501580231 52465664 352 33554432000 4194304 4650419 140735562484512 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0 [startup+0.077804 s] /proc/loadavg: 8.12 8.09 7.72 5/176 7728 /proc/meminfo: memFree=31375604/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=281908 CPUtime=0.29 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 1298 0 0 0 29 0 0 0 18 0 4 0 501580230 288673792 1202 33554432000 4194304 4650419 140735562484512 18446744073709551615 4371131 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 70477 1202 366 112 0 65442 0 [pid=7726/tid=7729] ppid=7723 vsize=281908 CPUtime=0.07 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 200 0 0 0 7 0 0 0 18 0 4 0 501580231 288673792 1202 33554432000 4194304 4650419 140735562484512 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=281908 CPUtime=0.07 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 196 0 0 0 7 0 0 0 18 0 4 0 501580231 288673792 1202 33554432000 4194304 4650419 140735562484512 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=281908 CPUtime=0.06 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 283 0 0 0 6 0 0 0 25 0 4 0 501580231 288673792 1202 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 281908 [startup+0.100799 s] /proc/loadavg: 8.12 8.09 7.72 5/176 7728 /proc/meminfo: memFree=31375604/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=281908 CPUtime=0.38 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 1345 0 0 0 38 0 0 0 18 0 4 0 501580230 288673792 1249 33554432000 4194304 4650419 140735562484512 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 70477 1249 366 112 0 65442 0 [pid=7726/tid=7729] ppid=7723 vsize=281908 CPUtime=0.09 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 205 0 0 0 9 0 0 0 18 0 4 0 501580231 288673792 1249 33554432000 4194304 4650419 140735562484512 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=281908 CPUtime=0.09 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 199 0 0 0 9 0 0 0 18 0 4 0 501580231 288673792 1249 33554432000 4194304 4650419 140735562484512 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=281908 CPUtime=0.09 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 318 0 0 0 9 0 0 0 25 0 4 0 501580231 288673792 1249 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 281908 [startup+0.30076 s] /proc/loadavg: 8.12 8.09 7.72 5/176 7728 /proc/meminfo: memFree=31375604/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=285464 CPUtime=1.17 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 3665 0 0 0 117 0 0 0 18 0 4 0 501580230 292315136 2716 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 71366 2716 390 112 0 66331 0 [pid=7726/tid=7729] ppid=7723 vsize=285464 CPUtime=0.29 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 865 0 0 0 29 0 0 0 18 0 4 0 501580231 292315136 2716 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=285464 CPUtime=0.29 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 857 0 0 0 29 0 0 0 18 0 4 0 501580231 292315136 2716 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=285464 CPUtime=0.29 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 640 0 0 0 29 0 0 0 25 0 4 0 501580231 292315136 2716 33554432000 4194304 4650419 140735562484512 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 285464 [startup+0.700681 s] /proc/loadavg: 8.12 8.09 7.72 5/176 7728 /proc/meminfo: memFree=31375604/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=286368 CPUtime=2.78 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 5644 0 0 0 277 1 0 0 18 0 4 0 501580230 293240832 3509 33554432000 4194304 4650419 140735562484512 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 71592 3509 390 112 0 66557 0 [pid=7726/tid=7729] ppid=7723 vsize=286368 CPUtime=0.69 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 1328 0 0 0 69 0 0 0 18 0 4 0 501580231 293240832 3509 33554432000 4194304 4650419 140735562484512 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=286368 CPUtime=0.69 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 1303 0 0 0 69 0 0 0 18 0 4 0 501580231 293240832 3509 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=286368 CPUtime=0.69 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 1246 0 0 0 69 0 0 0 25 0 4 0 501580231 293240832 3509 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 286368 [startup+1.50052 s] /proc/loadavg: 8.12 8.09 7.72 10/184 7736 /proc/meminfo: memFree=31349748/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=287524 CPUtime=5.97 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 10145 0 0 0 596 1 0 0 20 0 4 0 501580230 294424576 5518 33554432000 4194304 4650419 140735562484512 18446744073709551615 4439099 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 71881 5518 392 112 0 66846 0 [pid=7726/tid=7729] ppid=7723 vsize=287524 CPUtime=1.49 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 2183 0 0 0 149 0 0 0 20 0 4 0 501580231 294424576 5518 33554432000 4194304 4650419 140735562484512 18446744073709551615 4339788 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=287524 CPUtime=1.49 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 2104 0 0 0 149 0 0 0 20 0 4 0 501580231 294424576 5518 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=287524 CPUtime=1.48 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 2095 0 0 0 148 0 0 0 25 0 4 0 501580231 294424576 5518 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 287524 [startup+3.10021 s] /proc/loadavg: 8.11 8.09 7.73 10/184 7736 /proc/meminfo: memFree=31318252/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=287116 CPUtime=12.35 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 16752 0 0 0 1233 2 0 0 25 0 4 0 501580230 294006784 10028 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 71779 10028 392 112 0 66744 0 [pid=7726/tid=7729] ppid=7723 vsize=287116 CPUtime=3.08 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 3652 0 0 0 308 0 0 0 25 0 4 0 501580231 294006784 10028 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=287116 CPUtime=3.08 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 4416 0 0 0 308 0 0 0 25 0 4 0 501580231 294006784 10028 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=287116 CPUtime=3.07 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 4444 0 0 0 307 0 0 0 25 0 4 0 501580231 294006784 10028 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 287116 [startup+6.30057 s] /proc/loadavg: 8.11 8.09 7.73 10/184 7736 /proc/meminfo: memFree=31265764/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=304944 CPUtime=25.15 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 24065 0 0 0 2511 4 0 0 25 0 4 0 501580230 312262656 12986 33554432000 4194304 4650419 140735562484512 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 76236 12986 392 112 0 71201 0 [pid=7726/tid=7729] ppid=7723 vsize=304944 CPUtime=6.29 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 6240 0 0 0 628 1 0 0 25 0 4 0 501580231 312262656 12986 33554432000 4194304 4650419 140735562484512 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=304944 CPUtime=6.28 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 5691 0 0 0 628 0 0 0 25 0 4 0 501580231 312262656 12986 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=304944 CPUtime=6.25 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 6509 0 0 0 625 0 0 0 25 0 4 0 501580231 312262656 12986 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 304944 [startup+12.7003 s] /proc/loadavg: 8.17 8.10 7.73 10/184 7737 /proc/meminfo: memFree=31221352/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=305440 CPUtime=50.71 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 35121 0 0 0 5065 6 0 0 25 0 4 0 501580230 312770560 18173 33554432000 4194304 4650419 140735562484512 18446744073709551615 4349776 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 76360 18173 392 112 0 71325 0 [pid=7726/tid=7729] ppid=7723 vsize=305440 CPUtime=12.68 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 8599 0 0 0 1267 1 0 0 25 0 4 0 501580231 312770560 18173 33554432000 4194304 4650419 140735562484512 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=305440 CPUtime=12.69 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 7836 0 0 0 1268 1 0 0 25 0 4 0 501580231 312770560 18173 33554432000 4194304 4650419 140735562484512 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=305440 CPUtime=12.62 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 10078 0 0 0 1261 1 0 0 25 0 4 0 501580231 312770560 18173 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 305440 [startup+25.5008 s] /proc/loadavg: 8.14 8.10 7.74 10/184 7737 /proc/meminfo: memFree=31163068/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=310428 CPUtime=101.84 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 52293 0 0 0 10174 10 0 0 25 0 4 0 501580230 317878272 24001 33554432000 4194304 4650419 140735562484512 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 77607 24001 392 112 0 72572 0 [pid=7726/tid=7729] ppid=7723 vsize=310428 CPUtime=25.49 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 12901 0 0 0 2547 2 0 0 25 0 4 0 501580231 317878272 24001 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=310428 CPUtime=25.48 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 11835 0 0 0 2546 2 0 0 25 0 4 0 501580231 317878272 24001 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=310428 CPUtime=25.36 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 14713 0 0 0 2534 2 0 0 25 0 4 0 501580231 317878272 24001 33554432000 4194304 4650419 140735562484512 18446744073709551615 4514695 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 310428 [startup+51.1007 s] /proc/loadavg: 8.09 8.09 7.74 10/184 7738 /proc/meminfo: memFree=31118100/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=301408 CPUtime=204.12 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 76471 0 0 0 20395 17 0 0 25 0 4 0 501580230 308641792 26941 33554432000 4194304 4650419 140735562484512 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 75352 26941 392 112 0 70317 0 [pid=7726/tid=7729] ppid=7723 vsize=301408 CPUtime=51.09 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 19697 0 0 0 5105 4 0 0 25 0 4 0 501580231 308641792 26941 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=301408 CPUtime=51.09 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 17747 0 0 0 5105 4 0 0 25 0 4 0 501580231 308641792 26941 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=301408 CPUtime=50.83 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 21480 0 0 0 5079 4 0 0 25 0 4 0 501580231 308641792 26941 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 204.12 Current children cumulated vsize (KiB) 301408 [startup+102.307 s] /proc/loadavg: 8.07 8.09 7.76 10/184 7739 /proc/meminfo: memFree=31012156/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=292896 CPUtime=408.69 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 114290 0 0 0 40841 28 0 0 25 0 4 0 501580230 299925504 33256 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 73224 33256 392 112 0 68189 0 [pid=7726/tid=7729] ppid=7723 vsize=292896 CPUtime=102.29 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 28421 0 0 0 10223 6 0 0 25 0 4 0 501580231 299925504 33256 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=292896 CPUtime=102.29 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 23503 0 0 0 10223 6 0 0 25 0 4 0 501580231 299925504 33256 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=292896 CPUtime=101.78 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 34617 0 0 0 10171 7 0 0 25 0 4 0 501580231 299925504 33256 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.69 Current children cumulated vsize (KiB) 292896 [startup+162.301 s] ################ # More data... # ################ [pid=7726] ppid=7723 vsize=360852 CPUtime=2565.83 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 343176 0 0 0 256477 106 0 0 25 0 4 0 501580230 369512448 65510 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 90213 65510 392 112 0 85178 0 [pid=7726/tid=7729] ppid=7723 vsize=360852 CPUtime=642.31 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 86949 0 0 0 64203 28 0 0 25 0 4 0 501580231 369512448 65510 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=360852 CPUtime=642.31 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 73182 0 0 0 64208 23 0 0 25 0 4 0 501580231 369512448 65510 33554432000 4194304 4650419 140735562484512 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=360852 CPUtime=638.91 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 92923 0 0 0 63864 27 0 0 25 0 4 0 501580231 369512448 65510 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2565.83 Current children cumulated vsize (KiB) 360852 [startup+702.3 s] /proc/loadavg: 8.06 8.12 7.92 10/184 7755 /proc/meminfo: memFree=30659200/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=349712 CPUtime=2805.49 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 361277 0 0 0 280436 113 0 0 25 0 4 0 501580230 358105088 64608 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 87428 64608 392 112 0 82393 0 [pid=7726/tid=7729] ppid=7723 vsize=349712 CPUtime=702.31 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 91950 0 0 0 70201 30 0 0 25 0 4 0 501580231 358105088 64608 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=349712 CPUtime=702.32 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 78681 0 0 0 70205 27 0 0 25 0 4 0 501580231 358105088 64608 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=349712 CPUtime=698.58 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 95263 0 0 0 69831 27 0 0 25 0 4 0 501580231 358105088 64608 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2805.49 Current children cumulated vsize (KiB) 349712 [startup+762.307 s] /proc/loadavg: 8.07 8.11 7.93 10/184 7757 /proc/meminfo: memFree=30621324/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=402848 CPUtime=3045.19 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 379803 0 0 0 304397 122 0 0 25 0 4 0 501580230 412516352 64694 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 100712 64694 392 112 0 95677 0 [pid=7726/tid=7729] ppid=7723 vsize=402848 CPUtime=762.32 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 98421 0 0 0 76198 34 0 0 25 0 4 0 501580231 412516352 64694 33554432000 4194304 4650419 140735562484512 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=402848 CPUtime=762.32 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 81854 0 0 0 76204 28 0 0 25 0 4 0 501580231 412516352 64694 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=402848 CPUtime=758.26 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 97928 0 0 0 75798 28 0 0 25 0 4 0 501580231 412516352 64694 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3045.19 Current children cumulated vsize (KiB) 402848 [startup+822.301 s] /proc/loadavg: 8.07 8.10 7.93 10/184 7758 /proc/meminfo: memFree=30630104/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=482204 CPUtime=3284.85 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 392479 0 0 0 328357 128 0 0 25 0 4 0 501580230 493776896 69335 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 120551 69335 392 112 0 115516 0 [pid=7726/tid=7729] ppid=7723 vsize=482204 CPUtime=822.32 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 103001 0 0 0 82195 37 0 0 25 0 4 0 501580231 493776896 69335 33554432000 4194304 4650419 140735562484512 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=482204 CPUtime=822.33 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 84680 0 0 0 82203 30 0 0 25 0 4 0 501580231 493776896 69335 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=482204 CPUtime=817.94 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 97931 0 0 0 81766 28 0 0 25 0 4 0 501580231 493776896 69335 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3284.85 Current children cumulated vsize (KiB) 482204 [startup+882.301 s] /proc/loadavg: 8.06 8.09 7.94 10/184 7760 /proc/meminfo: memFree=30569432/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=506344 CPUtime=3524.53 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 413258 0 0 0 352320 133 0 0 25 0 4 0 501580230 518496256 74851 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 126586 74851 392 112 0 121551 0 [pid=7726/tid=7729] ppid=7723 vsize=506344 CPUtime=882.32 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 108235 0 0 0 88195 37 0 0 25 0 4 0 501580231 518496256 74851 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=506344 CPUtime=882.33 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 86903 0 0 0 88202 31 0 0 25 0 4 0 501580231 518496256 74851 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=506344 CPUtime=877.62 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 102052 0 0 0 87732 30 0 0 25 0 4 0 501580231 518496256 74851 33554432000 4194304 4650419 140735562484512 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3524.53 Current children cumulated vsize (KiB) 506344 [startup+942.301 s] /proc/loadavg: 8.06 8.09 7.94 10/184 7761 /proc/meminfo: memFree=30602628/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=559496 CPUtime=3764.21 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 434446 0 0 0 376283 138 0 0 25 0 4 0 501580230 572923904 73327 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 139874 73327 392 112 0 134839 0 [pid=7726/tid=7729] ppid=7723 vsize=559496 CPUtime=942.33 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 116619 0 0 0 94194 39 0 0 25 0 4 0 501580231 572923904 73327 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=559496 CPUtime=942.33 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 88866 0 0 0 94201 32 0 0 25 0 4 0 501580231 572923904 73327 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=559496 CPUtime=937.29 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 107256 0 0 0 93698 31 0 0 25 0 4 0 501580231 572923904 73327 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3764.21 Current children cumulated vsize (KiB) 559496 [startup+1002.3 s] /proc/loadavg: 8.06 8.08 7.95 10/184 7763 /proc/meminfo: memFree=30577028/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=534264 CPUtime=4003.88 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 458718 0 0 0 400243 145 0 0 25 0 4 0 501580230 547086336 75554 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 133566 75554 392 112 0 128531 0 [pid=7726/tid=7729] ppid=7723 vsize=534264 CPUtime=1002.33 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 123072 0 0 0 100192 41 0 0 25 0 4 0 501580231 547086336 75554 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=534264 CPUtime=1002.33 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 90028 0 0 0 100201 32 0 0 25 0 4 0 501580231 547086336 75554 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=534264 CPUtime=996.97 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 118981 0 0 0 99664 33 0 0 25 0 4 0 501580231 547086336 75555 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4003.88 Current children cumulated vsize (KiB) 534264 [startup+1062.3 s] /proc/loadavg: 8.06 8.08 7.95 9/184 7765 /proc/meminfo: memFree=30536048/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=511596 CPUtime=4243.57 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 478049 0 0 0 424203 154 0 0 25 0 4 0 501580230 523874304 72415 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 127899 72415 392 112 0 122864 0 [pid=7726/tid=7729] ppid=7723 vsize=511596 CPUtime=1062.33 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 126660 0 0 0 106191 42 0 0 25 0 4 0 501580231 523874304 72415 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=511596 CPUtime=1062.33 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 95522 0 0 0 106198 35 0 0 25 0 4 0 501580231 523874304 72415 33554432000 4194304 4650419 140735562484512 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=511596 CPUtime=1056.65 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 126540 0 0 0 105630 35 0 0 25 0 4 0 501580231 523874304 72415 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4243.57 Current children cumulated vsize (KiB) 511596 [startup+1122.3 s] /proc/loadavg: 8.15 8.11 7.97 9/184 7766 /proc/meminfo: memFree=30483180/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=525512 CPUtime=4483.25 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 493556 0 0 0 448166 159 0 0 25 0 4 0 501580230 538124288 82288 33554432000 4194304 4650419 140735562484512 18446744073709551615 4339794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 131378 82288 392 112 0 126343 0 [pid=7726/tid=7729] ppid=7723 vsize=525512 CPUtime=1122.33 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 131530 0 0 0 112189 44 0 0 25 0 4 0 501580231 538124288 82288 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=525512 CPUtime=1122.34 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 100740 0 0 0 112197 37 0 0 25 0 4 0 501580231 538124288 82288 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=525512 CPUtime=1116.32 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 128154 0 0 0 111597 35 0 0 25 0 4 0 501580231 538124288 82288 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4483.25 Current children cumulated vsize (KiB) 525512 [startup+1182.3 s] /proc/loadavg: 8.09 8.10 7.97 10/184 7768 /proc/meminfo: memFree=30474320/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=525600 CPUtime=4722.93 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 508737 0 0 0 472128 165 0 0 25 0 4 0 501580230 538214400 75740 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 131400 75740 392 112 0 126365 0 [pid=7726/tid=7729] ppid=7723 vsize=525600 CPUtime=1182.34 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 133503 0 0 0 118189 45 0 0 25 0 4 0 501580231 538214400 75740 33554432000 4194304 4650419 140735562484512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=525600 CPUtime=1182.34 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 105642 0 0 0 118195 39 0 0 25 0 4 0 501580231 538214400 75740 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=525600 CPUtime=1176 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 133471 0 0 0 117563 37 0 0 25 0 4 0 501580231 538214400 75740 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4722.93 Current children cumulated vsize (KiB) 525600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.6 s] /proc/loadavg: 8.06 8.09 7.97 10/184 7768 /proc/meminfo: memFree=30472060/32951124 swapFree=67111356/67111528 [pid=7726] ppid=7723 vsize=525600 CPUtime=4800.04 cores=0,2,4,6 /proc/7726/stat : 7726 (strangenight1-m) R 7723 7726 7164 0 -1 4202496 511678 0 0 0 479837 167 0 0 25 0 4 0 501580230 538214400 78681 33554432000 4194304 4650419 140735562484512 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7726/statm: 131400 78681 392 112 0 126365 0 [pid=7726/tid=7729] ppid=7723 vsize=525600 CPUtime=1201.64 cores=0,2,4,6 /proc/7726/task/7729/stat : 7729 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 134451 0 0 0 120119 45 0 0 25 0 4 0 501580231 538214400 78681 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7726/tid=7731] ppid=7723 vsize=525600 CPUtime=1201.65 cores=0,2,4,6 /proc/7726/task/7731/stat : 7731 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 106736 0 0 0 120125 40 0 0 25 0 4 0 501580231 538214400 78681 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7726/tid=7734] ppid=7723 vsize=525600 CPUtime=1195.2 cores=0,2,4,6 /proc/7726/task/7734/stat : 7734 (strangenight1-m) R 7723 7726 7164 0 -1 4202560 133471 0 0 0 119483 37 0 0 25 0 4 0 501580231 538214400 78681 33554432000 4194304 4650419 140735562484512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.04 Current children cumulated vsize (KiB) 525600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.63 CPU time (s): 4800.08 CPU user time (s): 4798.4 CPU system time (s): 1.68674 CPU usage (%): 399.465 Max. virtual memory (cumulated for all children) (KiB): 571880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.4 system time used= 1.68674 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 511679 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= 257 involuntary context switches= 42008 runsolver used 1.91471 second user time and 4.54331 second system time The end
Begin job on node143 at 2011-04-29 17:40:46 IDJOB=3175146 IDBENCH=82764 IDSOLVER=1588 FILE ID=node143/3175146-1304091646 RUNJOBID= node143-1304089238-7509 PBS_JOBID= 13170544 Free space on /tmp= 72924 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt 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-3175146-1304091646/watcher-3175146-1304091646 -o /tmp/evaluation-result-3175146-1304091646/solver-3175146-1304091646 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175146-1304091646.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d0491523e951b9423a05375c0461833 RANDOM SEED=1870232272 node143.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.74 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.846 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: 31375916 kB Buffers: 218452 kB Cached: 1017608 kB SwapCached: 168 kB Active: 283760 kB Inactive: 1016156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31375916 kB SwapTotal: 67111528 kB SwapFree: 67111356 kB Dirty: 12444 kB Writeback: 0 kB AnonPages: 63608 kB Mapped: 14896 kB Slab: 212100 kB PageTables: 4304 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184956 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= 72912 MiB End job on node143 at 2011-04-29 18:00:50