| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.38 | 1201.93 |
| Name | random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf |
| MD5SUM | 6416f44b34786f590ff716f4b8e2cf7c |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 80 |
| Number of clauses | 7120 |
| Sum of the clauses size | 49840 |
| 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 | 7120 |
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-3175114-1304089064.cnf' 0.00/0.00 c -- header says num vars: 80 0.00/0.00 c -- header says num clauses: 7120 0.00/0.01 c -- clauses added: 0 learnts, 7120 normals, 0 xors 0.00/0.01 c -- vars added 80 0.00/0.01 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 80 7120 0 0 49840 0 no data no data -- 0.40/0.17 c asymm cl-useful: 0/7120/7120 lits-rem:0 time: 0.65 0.40/0.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 0.40/0.17 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.40/0.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.40/0.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 0.40/0.17 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.40/0.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 0.40/0.20 c Finding binary XORs T: 0.00 s found: 0 0.77/0.20 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 0.77/0.20 c calculated reachability. Time: 0.00 0.77/0.20 c Calc default polars - time: 0.00 s pos: 45 undec: 1 neg: 34 0.77/0.20 c ========================================================================================= 0.77/0.20 c types(t): F = full restart, N = normal restart 0.77/0.20 c types(t): S = simplification begin/end, E = solution found 0.77/0.20 c restart types(rt): st = static, dy = dynamic 0.77/0.20 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.77/0.20 c B st 0 0 80 7120 0 0 49840 0 no data no data -- 1.17/0.33 c N dy 7 4294 80 7120 0 3918 49840 105158 22.76 23.99 -- 2.37/0.62 c N dy 26 11387 80 7120 0 4251 49840 92714 23.11 24.44 -- 3.17/0.82 c N dy 34 16454 80 7120 0 8904 49840 216724 23.03 24.25 -- 3.98/1.04 c N dy 49 21129 80 7120 0 7984 49840 178434 23.11 24.61 -- 4.80/1.22 c F st 64 25001 80 7120 0 11545 49840 275778 23.24 23.53 -- 4.80/1.24 c N st 65 25251 80 7120 0 11777 49840 282098 23.24 no data -- 5.57/1.47 c N dy 70 30001 80 7120 0 9903 49840 214368 23.24 no data -- 5.57/1.47 c S st 70 30001 80 7120 0 9903 49840 214368 23.24 no data -- 5.97/1.50 c S st 70 30504 80 7120 0 10367 49840 226960 23.24 no data -- 5.97/1.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.97/1.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.97/1.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 5.97/1.52 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.97/1.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.97/1.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 5.97/1.52 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 10.36/2.67 c lits-rem: 1315 cl-subs: 829 v-elim: 0 v-fix: 0 time: 4.59 s 11.56/2.99 c asymm cl-useful: 0/7120/7120 lits-rem:0 time: 1.30 11.56/2.99 c calculated reachability. Time: 0.00 11.56/2.99 c N dy 70 30504 80 7120 0 9538 49840 202301 23.24 no data -- 12.75/3.24 c N dy 90 34815 80 7120 0 13509 49840 310453 23.35 24.62 -- 13.58/3.43 c N dy 93 38849 80 7120 0 10013 49840 202412 23.28 24.70 -- 14.76/3.78 c N dy 103 45378 80 7120 0 15965 49840 361562 23.21 24.56 -- 15.16/3.80 c S st 106 45756 80 7120 0 16315 49840 371033 23.22 no data -- 15.16/3.85 c S st 106 46258 80 7120 0 8600 49840 150113 23.22 no data -- 15.16/3.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 15.16/3.85 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 15.16/3.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 15.16/3.86 c bin-w-bin subsume rem 0 bins time: 0.00 s 15.16/3.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 15.16/3.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 15.16/3.86 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 18.35/4.67 c lits-rem: 159 cl-subs: 57 v-elim: 0 v-fix: 0 time: 3.24 s 18.35/4.67 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 18.35/4.67 c vivif2 -- cl tried 8543 cl shrink 0 lits rem 0 time: 0.01 19.55/4.94 c asymm cl-useful: 0/7120/7120 lits-rem:0 time: 1.07 19.55/4.94 c calculated reachability. Time: 0.00 19.55/4.94 c N dy 106 46258 80 7120 0 8543 49840 148161 23.22 no data -- 22.37/5.67 c N dy 115 58669 80 7120 0 10739 49840 192442 23.05 24.26 -- 23.55/5.92 c N dy 124 62849 80 7120 0 14574 49840 294997 23.01 24.27 -- 24.75/6.20 c N dy 137 66908 80 7120 0 18310 49840 395318 23.03 25.00 -- 25.15/6.39 c S st 151 69388 80 7120 0 10517 49840 172892 23.07 23.12 -- 25.54/6.43 c S st 151 69890 80 7120 0 10994 49840 185953 23.07 no data -- 25.54/6.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 25.54/6.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 25.54/6.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 25.54/6.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 25.54/6.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 25.54/6.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 25.54/6.44 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 29.14/7.38 c lits-rem: 254 cl-subs: 117 v-elim: 0 v-fix: 0 time: 3.75 s 29.14/7.38 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 29.14/7.38 c vivif2 -- cl tried 10877 cl shrink 0 lits rem 0 time: 0.01 30.76/7.72 c asymm cl-useful: 0/7120/7120 lits-rem:0 time: 1.34 30.76/7.72 c calculated reachability. Time: 0.00 30.76/7.72 c N dy 151 69890 80 7120 0 10877 49840 182167 23.07 no data -- 31.54/7.95 c N dy 159 74350 80 7120 0 14956 49840 290816 23.05 24.40 -- 33.53/8.41 c N dy 183 80769 80 7120 0 20838 49840 449266 23.10 24.59 -- 35.14/8.88 c F st 187 87500 80 7120 0 15960 49840 300216 23.05 22.50 -- 35.14/8.88 c N st 187 87500 80 7120 0 15960 49840 300216 23.05 22.50 -- 36.72/9.27 c N dy 197 93104 80 7120 0 21107 49840 442709 23.06 25.16 -- 39.13/9.87 c N dy 213 101753 80 7120 0 17120 49840 320532 23.04 24.29 -- 40.32/10.10 c S st 224 104835 80 7120 0 19949 49840 396021 23.04 21.97 -- 40.32/10.16 c S st 224 105338 80 7120 0 20419 49840 408929 23.04 no data -- 40.32/10.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 40.32/10.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 40.32/10.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 40.32/10.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 40.32/10.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 40.32/10.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 40.32/10.18 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 47.52/11.95 c lits-rem: 2193 cl-subs: 1593 v-elim: 0 v-fix: 0 time: 7.06 s 47.52/11.95 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 47.52/11.95 c vivif2 -- cl tried 18826 cl shrink 0 lits rem 0 time: 0.02 49.11/12.35 c asymm cl-useful: 0/5261/7120 lits-rem:0 time: 1.60 49.11/12.36 c calculated reachability. Time: 0.00 49.11/12.36 c N dy 224 105338 80 7120 0 18826 49840 362808 23.04 no data -- 53.50/13.41 c N dy 225 119567 80 7120 0 19022 49840 351736 22.78 24.10 -- 55.90/14.06 c N dy 261 127210 80 7120 0 26073 49840 542044 22.84 24.15 -- 59.50/14.99 c N dy 294 139490 80 7120 0 23629 49840 464604 22.83 24.09 -- 63.49/15.94 c N dy 317 151549 80 7120 0 20070 49840 353235 22.78 24.15 -- 65.49/16.44 c S st 330 158008 80 7120 0 25995 49840 511116 22.78 22.21 -- 65.91/16.51 c S st 330 158509 80 7120 0 26470 49840 524202 22.78 no data -- 65.91/16.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 65.91/16.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 65.91/16.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 65.91/16.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 65.91/16.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 65.91/16.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 65.91/16.53 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 75.10/18.88 c lits-rem: 2766 cl-subs: 2597 v-elim: 0 v-fix: 0 time: 9.37 s 75.10/18.88 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 75.10/18.89 c vivif2 -- cl tried 23873 cl shrink 0 lits rem 0 time: 0.02 76.28/19.10 c asymm cl-useful: 0/1824/7120 lits-rem:0 time: 0.87 76.28/19.10 c calculated reachability. Time: 0.00 76.28/19.10 c N dy 330 158509 80 7120 0 23873 49840 452541 22.78 no data -- 79.49/19.94 c N dy 355 168653 80 7120 0 17727 49840 276788 22.77 26.11 -- 83.07/20.87 c N dy 380 179963 80 7120 0 28037 49840 549316 22.75 23.95 -- 89.46/22.43 c N dy 405 199089 80 7120 0 29051 49840 557259 22.63 23.96 -- 95.46/23.90 c N dy 423 214723 80 7120 0 26031 49840 468232 22.56 23.78 -- 101.47/25.48 c N dy 490 228512 80 7120 0 20406 49840 304708 22.63 23.88 -- 105.04/26.38 c S st 542 237764 80 7120 0 28922 49840 534462 22.67 no data -- 105.45/26.46 c S st 542 238267 80 7120 0 29395 49840 547683 22.67 no data -- 105.45/26.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 105.45/26.46 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 105.45/26.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 105.45/26.49 c bin-w-bin subsume rem 0 bins time: 0.00 s 105.45/26.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 105.45/26.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 105.45/26.49 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 116.23/29.19 c lits-rem: 1979 cl-subs: 1966 v-elim: 0 v-fix: 0 time: 10.81 s 116.23/29.20 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 116.63/29.20 c vivif2 -- cl tried 27429 cl shrink 0 lits rem 0 time: 0.02 117.03/29.39 c asymm cl-useful: 0/2088/7120 lits-rem:0 time: 0.74 117.03/29.39 c calculated reachability. Time: 0.00 117.03/29.39 c N dy 542 238267 80 7120 0 27429 49840 488756 22.67 no data -- 123.44/30.94 c N dy 574 253562 80 7120 0 22299 49840 339344 22.65 23.88 -- 129.82/32.59 c N dy 627 269997 80 7120 0 37370 49840 738856 22.65 23.87 -- 138.60/34.79 c N dy 720 290901 80 7120 0 36383 49840 699413 22.69 23.92 -- 145.79/36.54 c F st 792 306250 80 7120 0 29397 49840 500398 22.73 22.83 -- 146.99/36.85 c N st 797 309546 80 7120 0 32432 49840 583802 22.73 no data -- 157.78/39.52 c N dy 877 333063 80 7120 0 31976 49840 548377 22.73 23.96 -- 168.15/42.10 c N dy 991 353276 80 7120 0 27636 49840 421114 22.78 24.06 -- 169.75/42.53 c S st 1012 357400 80 7120 0 31437 49840 523417 22.79 22.17 -- 170.15/42.61 c S st 1012 357902 80 7120 0 31894 49840 536008 22.79 no data -- 170.15/42.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 170.15/42.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 170.15/42.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 170.15/42.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 170.15/42.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 170.15/42.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 170.15/42.64 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 180.94/45.31 c lits-rem: 1803 cl-subs: 1473 v-elim: 0 v-fix: 0 time: 10.66 s 180.94/45.31 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 180.94/45.32 c vivif2 -- cl tried 30421 cl shrink 0 lits rem 0 time: 0.02 181.74/45.52 c asymm cl-useful: 0/1629/7120 lits-rem:0 time: 0.80 181.74/45.52 c calculated reachability. Time: 0.00 181.74/45.52 c N dy 1012 357902 80 7120 0 30421 49840 490737 22.79 no data -- 194.92/48.80 c N dy 1083 377947 80 7120 0 24979 49840 330605 22.80 25.46 -- 206.53/51.77 c N dy 1180 400560 80 7120 0 45712 49840 886974 22.83 24.21 -- 219.29/54.94 c N dy 1228 426380 80 7120 0 44573 49840 829474 22.77 24.09 -- 232.48/58.29 c N dy 1320 453216 80 7120 0 43577 49840 794811 22.78 23.99 -- 243.26/60.95 c N dy 1366 474320 80 7120 0 36317 49840 587422 22.77 24.23 -- 255.27/63.92 c N dy 1409 497261 80 7120 0 29823 49840 399286 22.70 24.14 -- 274.43/68.78 c N dy 1503 536853 80 7120 0 37584 49840 590090 22.68 20.24 -- 274.43/68.78 c S st 1503 536853 80 7120 0 37584 49840 590090 22.68 20.24 -- 274.83/68.87 c S st 1503 537355 80 7120 0 38066 49840 603096 22.68 no data -- 274.83/68.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 274.83/68.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 274.83/68.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 275.23/68.91 c bin-w-bin subsume rem 0 bins time: 0.00 s 275.23/68.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 275.23/68.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 275.23/68.91 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 287.60/72.05 c lits-rem: 2325 cl-subs: 2535 v-elim: 0 v-fix: 0 time: 12.55 s 287.60/72.05 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 287.60/72.06 c vivif2 -- cl tried 35531 cl shrink 0 lits rem 0 time: 0.02 288.40/72.28 c asymm cl-useful: 0/1344/7120 lits-rem:0 time: 0.88 288.40/72.28 c calculated reachability. Time: 0.00 288.40/72.28 c N dy 1503 537355 80 7120 0 35531 49840 537432 22.68 no data -- 301.19/75.47 c N dy 1596 557981 80 7120 0 54421 49840 1045783 22.70 23.90 -- 316.39/79.25 c N dy 1645 587032 80 7120 0 51764 49840 945684 22.67 23.89 -- 329.57/82.51 c N dy 1735 608019 80 7120 0 40973 49840 651664 22.69 23.91 -- 342.34/85.78 c N dy 1770 630632 80 7120 0 61609 49840 1200310 22.67 23.93 -- 354.32/88.74 c N dy 1852 650723 80 7120 0 48931 49840 850909 22.68 23.88 -- 371.10/92.98 c N dy 1946 674583 80 7120 0 38716 49840 550772 22.68 23.93 -- 385.08/96.44 c N dy 2044 695690 80 7120 0 58066 49840 1071936 22.70 23.94 -- 399.06/99.97 c N dy 2174 715695 80 7120 0 43512 49840 676360 22.74 23.94 -- 416.64/104.31 c N dy 2292 735904 80 7120 0 62111 49840 1178212 22.77 24.09 -- 431.05/107.90 c N dy 2406 756667 80 7120 0 47302 49840 763883 22.79 24.07 -- 447.00/111.91 c N dy 2527 776905 80 7120 0 65917 49840 1269038 22.82 24.05 -- 459.79/115.17 c N dy 2608 796924 80 7120 0 49335 49840 792527 22.83 26.14 -- 466.20/116.76 c S st 2640 806032 80 7120 0 57695 49840 1017451 22.83 no data -- 466.97/116.92 c S st 2640 806535 80 7120 0 58165 49840 1030286 22.83 no data -- 466.97/116.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 466.97/116.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 466.97/116.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.10 466.97/116.98 c bin-w-bin subsume rem 0 bins time: 0.00 s 466.97/116.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 466.97/116.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 466.97/116.98 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 503.72/126.10 c lits-rem: 3063 cl-subs: 4759 v-elim: 0 v-fix: 0 time: 36.40 s 503.72/126.10 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 503.72/126.11 c vivif2 -- cl tried 53406 cl shrink 0 lits rem 0 time: 0.04 504.92/126.46 c asymm cl-useful: 0/922/7120 lits-rem:0 time: 1.41 504.92/126.47 c calculated reachability. Time: 0.00 504.92/126.47 c N dy 2640 806535 80 7120 0 53406 49840 897089 22.83 no data -- 522.92/130.93 c N dy 2737 826631 80 7120 0 36245 49840 430690 22.85 24.91 -- 535.27/134.02 c N dy 2833 846797 80 7120 0 54687 49840 931867 22.87 24.08 -- 551.25/138.05 c N dy 2874 867008 80 7120 0 36602 49840 425593 22.86 24.20 -- 575.64/144.19 c N dy 2963 905380 80 7120 0 71648 49840 1363670 22.84 24.20 -- 589.24/147.54 c N dy 3054 925418 80 7120 0 52510 49840 839645 22.86 26.14 -- 605.59/151.62 c N dy 3104 945832 80 7120 0 71215 49840 1338361 22.85 24.11 -- 620.37/155.37 c N dy 3194 965840 80 7120 0 51186 49840 784442 22.87 24.40 -- 637.57/159.61 c N dy 3276 985881 80 7120 0 69577 49840 1280466 22.88 24.62 -- 655.15/164.03 c N dy 3383 1007454 80 7120 0 50010 49840 737110 22.90 24.19 -- 677.12/169.58 c N dy 3429 1037660 80 7120 0 77511 49840 1464714 22.87 24.19 -- 691.48/173.10 c N dy 3469 1057719 80 7120 0 55533 49840 855948 22.86 25.07 -- 703.48/176.13 c F st 3534 1071877 80 7120 0 68488 49840 1205999 22.87 no data -- 709.05/177.50 c N dy 3545 1078354 80 7120 0 74388 49840 1367870 22.87 24.12 -- 723.84/181.23 c N dy 3589 1098719 80 7120 0 51919 49840 752192 22.87 24.13 -- 739.01/185.08 c N dy 3638 1118805 80 7120 0 70246 49840 1237384 22.86 25.75 -- 758.99/190.06 c N dy 3734 1138894 80 7120 0 46587 49840 595412 22.87 24.41 -- 775.77/194.26 c N dy 3809 1158902 80 7120 0 64901 49840 1089280 22.88 24.14 -- 798.52/199.92 c N dy 3878 1179601 80 7120 0 83901 49840 1601951 22.88 24.09 -- 815.70/204.30 c N dy 3956 1199632 80 7120 0 59180 49840 916993 22.89 24.86 -- 824.08/206.38 c S st 3957 1209802 80 7120 0 68382 49840 1156108 22.88 21.20 -- 825.28/206.60 c S st 3957 1210304 80 7120 0 68861 49840 1169244 22.88 no data -- 825.28/206.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 825.28/206.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 825.28/206.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.16 825.28/206.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 825.28/206.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 825.28/206.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 825.28/206.68 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 901.20/225.67 c lits-rem: 3800 cl-subs: 5921 v-elim: 0 v-fix: 0 time: 75.80 s 901.20/225.67 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 901.20/225.68 c vivif2 -- cl tried 62940 cl shrink 0 lits rem 0 time: 0.05 902.77/226.04 c asymm cl-useful: 0/796/7120 lits-rem:0 time: 1.43 902.77/226.04 c calculated reachability. Time: 0.00 902.77/226.04 c N dy 3957 1210304 80 7120 0 62940 49840 1007677 22.88 no data -- 927.56/232.26 c N dy 4076 1231066 80 7120 0 82007 49840 1527186 22.90 24.15 -- 947.51/237.26 c N dy 4162 1251214 80 7120 0 56787 49840 841300 22.91 24.18 -- 967.49/242.20 c N dy 4267 1271406 80 7120 0 75289 49840 1344457 22.92 24.27 -- 991.86/248.36 c N dy 4341 1291409 80 7120 0 48913 49840 614586 22.93 25.54 -- 1011.43/253.20 c N dy 4385 1313245 80 7120 0 68771 49840 1142039 22.92 24.15 -- 1039.00/260.11 c N dy 4512 1333265 80 7120 0 87205 49840 1645971 22.94 25.12 -- 1060.58/265.51 c N dy 4641 1353299 80 7120 0 59874 49840 895012 22.96 24.20 -- 1080.56/270.56 c N dy 4673 1376253 80 7120 0 80715 49840 1451471 22.95 24.41 -- 1098.13/274.91 c N dy 4709 1396342 80 7120 0 52478 49840 676585 22.93 24.57 -- 1112.50/278.55 c N dy 4742 1416517 80 7120 0 70868 49840 1169141 22.92 24.15 -- 1136.08/284.42 c N dy 4853 1436697 80 7120 0 89357 49840 1672082 22.94 24.16 -- 1157.25/289.75 c N dy 4914 1461667 80 7120 0 64702 49840 988759 22.93 24.20 -- 1177.65/294.86 c N dy 4950 1485886 80 7120 0 86778 49840 1578958 22.91 24.12 -- 1196.00/299.47 c N dy 5002 1506109 80 7120 0 56816 49840 764112 22.91 24.13 -- 1216.38/304.53 c N dy 5041 1530256 80 7120 0 78725 49840 1341042 22.90 24.26 -- 1241.94/310.99 c N dy 5145 1550496 80 7120 0 97308 49840 1846400 22.91 24.15 -- 1260.71/315.61 c N dy 5174 1574607 80 7120 0 70002 49840 1091713 22.89 24.14 -- 1284.28/321.55 c N dy 5267 1596843 80 7120 0 90377 49840 1643172 22.90 24.11 -- 1306.65/327.11 c N dy 5359 1616898 80 7120 0 58468 49840 773907 22.91 24.51 -- 1324.22/331.58 c N dy 5407 1638418 80 7120 0 78034 49840 1294455 22.90 24.17 -- 1350.20/338.05 c N dy 5519 1658905 80 7120 0 96804 49840 1804851 22.92 24.31 -- 1369.77/342.97 c N dy 5567 1679306 80 7120 0 64204 49840 907243 22.91 24.13 -- 1392.14/348.51 c N dy 5660 1699404 80 7120 0 82635 49840 1405537 22.92 25.21 -- 1406.92/352.20 c S st 5736 1710304 80 7120 0 92626 49840 1679516 22.93 no data -- 1407.72/352.48 c S st 5736 1710807 80 7120 0 93100 49840 1692438 22.93 no data -- 1407.72/352.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1407.72/352.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1408.12/352.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.18 1408.12/352.58 c bin-w-bin subsume rem 0 bins time: 0.00 s 1408.12/352.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1408.12/352.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 1408.12/352.58 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1537.79/385.09 c lits-rem: 5580 cl-subs: 8771 v-elim: 0 v-fix: 0 time: 129.62 s 1537.79/385.09 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 1538.19/385.11 c vivif2 -- cl tried 84329 cl shrink 0 lits rem 0 time: 0.07 1539.37/385.41 c asymm cl-useful: 0/835/7120 lits-rem:0 time: 1.22 1539.37/385.42 c calculated reachability. Time: 0.00 1539.37/385.42 c N dy 5736 1710807 80 7120 0 84329 49840 1445309 22.93 no data -- 1565.84/392.12 c N dy 5804 1732537 80 7120 0 52488 49840 586754 22.93 24.27 -- 1584.39/396.88 c N dy 5892 1756274 80 7120 0 74310 49840 1176235 22.93 24.23 -- 1607.45/402.66 c N dy 5964 1776534 80 7120 0 92830 49840 1675224 22.93 24.17 -- 1635.39/409.65 c N dy 6037 1796746 80 7120 0 58487 49840 728888 22.94 24.15 -- 1669.37/418.14 c N dy 6117 1831179 80 7120 0 89926 49840 1571406 22.92 24.15 -- 1699.73/425.79 c N dy 6189 1851202 80 7120 0 54351 49840 601151 22.93 26.22 -- 1719.29/430.66 c N dy 6216 1877760 80 7120 0 78533 49840 1233778 22.90 24.21 -- 1744.08/436.89 c N dy 6289 1898868 80 7120 0 97796 49840 1753165 22.91 24.17 -- 1769.63/443.20 c N dy 6382 1918910 80 7120 0 61450 49840 778487 22.92 26.46 -- 1788.79/448.07 c N dy 6456 1939309 80 7120 0 80136 49840 1284933 22.92 24.18 -- 1812.37/453.91 c N dy 6485 1961450 80 7120 0 100225 49840 1817774 22.91 24.30 -- 1839.93/460.88 c N dy 6617 1981492 80 7120 0 62922 49840 801055 22.93 25.48 -- 1857.93/465.35 c N dy 6668 2001568 80 7120 0 81233 49840 1294449 22.92 25.37 -- 1882.67/471.59 c N dy 6738 2022243 80 7120 0 100209 49840 1807199 22.93 24.17 -- 1912.64/479.00 c N dy 6872 2042263 80 7120 0 61901 49840 760561 22.94 25.66 -- 1931.81/483.87 c N dy 6958 2062478 80 7120 0 80391 49840 1259780 22.95 24.19 -- 1954.60/489.58 c N dy 7002 2082485 80 7120 0 98646 49840 1744967 22.95 25.29 -- 1982.93/496.67 c N dy 7049 2104708 80 7120 0 61237 49840 720542 22.94 24.17 -- 2005.31/502.22 c N dy 7147 2127074 80 7120 0 81670 49840 1273226 22.95 24.19 -- 2035.26/509.79 c N dy 7298 2147158 80 7120 0 100126 49840 1782342 22.96 25.50 -- 2064.03/516.92 c N dy 7347 2168157 80 7120 0 60835 49840 695675 22.97 24.24 -- 2085.20/522.28 c N dy 7424 2188233 80 7120 0 79212 49840 1192857 22.97 25.25 -- 2111.96/528.97 c N dy 7546 2208355 80 7120 0 97689 49840 1699866 22.98 24.20 -- 2115.56/529.85 c S st 7559 2210807 80 7120 0 99952 49840 1761852 22.98 23.76 -- 2116.76/530.15 c S st 7559 2211313 80 7120 0 100431 49840 1775218 22.98 no data -- 2116.76/530.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2116.76/530.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2117.17/530.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.20 2117.17/530.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 2117.17/530.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2117.17/530.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 2117.17/530.25 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2508.23/628.12 c lits-rem: 6339 cl-subs: 8008 v-elim: 0 v-fix: 0 time: 390.81 s 2508.23/628.12 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 2508.23/628.14 c vivif2 -- cl tried 92423 cl shrink 0 lits rem 0 time: 0.08 2509.41/628.48 c asymm cl-useful: 0/614/7120 lits-rem:0 time: 1.35 2509.41/628.48 c calculated reachability. Time: 0.00 2509.41/628.48 c N dy 7559 2211313 80 7120 0 92423 49840 1540115 22.98 no data -- 2542.58/636.71 c N dy 7573 2243766 80 7120 0 62720 49840 733699 22.95 24.35 -- 2564.55/642.27 c N dy 7700 2264876 80 7120 0 82093 49840 1264343 22.96 24.20 -- 2588.11/648.19 c N dy 7763 2284887 80 7120 0 100355 49840 1758498 22.96 25.22 -- 2622.48/656.78 c N dy 7781 2316644 80 7120 0 69208 49840 889675 22.94 24.16 -- 2646.04/662.60 c N dy 7919 2336654 80 7120 0 87495 49840 1390807 22.95 26.88 -- 2674.81/669.81 c N dy 8029 2356672 80 7120 0 105792 49840 1890523 22.96 24.24 -- 2705.16/677.45 c N dy 8098 2376965 80 7120 0 63206 49840 717410 22.97 24.31 -- 2726.73/682.87 c N dy 8172 2399279 80 7120 0 83550 49840 1266224 22.97 24.45 -- 2756.29/690.29 c N dy 8259 2421100 80 7120 0 103481 49840 1805511 22.97 24.29 -- 2797.04/700.43 c N dy 8374 2441303 80 7120 0 121958 49840 2309675 22.98 24.39 -- 2826.99/707.95 c N dy 8443 2464973 80 7120 0 81459 49840 1192488 22.98 24.21 -- 2854.96/714.96 c N dy 8529 2485674 80 7120 0 100470 49840 1711860 22.99 24.21 -- 2889.71/723.65 c N dy 8610 2507464 80 7120 0 120374 49840 2248148 22.99 24.24 -- 2912.49/729.31 c N dy 8638 2527543 80 7120 0 75658 49840 1019559 22.99 24.22 -- 2935.65/735.13 c N dy 8705 2547561 80 7120 0 93950 49840 1512407 22.99 25.80 -- 2968.01/743.30 c N dy 8819 2568426 80 7120 0 113092 49840 2035781 23.00 24.25 -- 3001.56/751.62 c N dy 8907 2588588 80 7120 0 67610 49840 790145 23.00 24.22 -- 3022.35/756.83 c N dy 8989 2608624 80 7120 0 85929 49840 1284984 23.00 24.24 -- 3044.72/762.44 c N dy 9021 2629087 80 7120 0 104486 49840 1780876 23.00 24.36 -- 3079.47/771.13 c N dy 9108 2650461 80 7120 0 123982 49840 2310577 23.00 24.38 -- 3109.41/778.61 c N dy 9238 2670951 80 7120 0 77970 49840 1061729 23.01 24.29 -- 3150.18/788.86 c N dy 9304 2705574 80 7120 0 109366 49840 1906637 23.01 24.27 -- 3158.96/791.05 c S st 9328 2711313 80 7120 0 114621 49840 2050528 23.01 23.08 -- 3160.54/791.40 c S st 9328 2711815 80 7120 0 115100 49840 2064079 23.01 no data -- 3160.54/791.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3160.54/791.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3160.54/791.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.24 3160.94/791.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 3160.94/791.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3160.94/791.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 3160.94/791.53 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3764.52/942.66 c lits-rem: 8185 cl-subs: 10999 v-elim: 0 v-fix: 0 time: 603.53 s 3764.52/942.66 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 3764.52/942.69 c vivif2 -- cl tried 104101 cl shrink 0 lits rem 0 time: 0.11 3766.51/943.18 c asymm cl-useful: 0/526/7120 lits-rem:0 time: 1.97 3766.51/943.19 c calculated reachability. Time: 0.00 3766.51/943.19 c N dy 9328 2711815 80 7120 0 104101 49840 1756135 23.01 no data -- 3826.04/958.05 c N dy 9422 2740801 80 7120 0 65351 49840 705508 23.00 24.38 -- 3854.80/965.23 c N dy 9478 2763637 80 7120 0 86133 49840 1264259 23.00 24.51 -- 3893.54/974.91 c N dy 9627 2783682 80 7120 0 104542 49840 1774098 23.02 25.91 -- 3940.28/986.61 c N dy 9725 2805898 80 7120 0 124866 49840 2327639 23.02 24.32 -- 3977.42/995.93 c N dy 9824 2825912 80 7120 0 76781 49840 997846 23.03 25.82 -- 4014.97/1005.30 c N dy 9879 2848298 80 7120 0 97170 49840 1544955 23.02 24.33 -- 4061.71/1017.09 c N dy 9968 2868512 80 7120 0 115645 49840 2047986 23.03 24.29 -- 4126.82/1033.35 c N dy 10086 2896470 80 7120 0 73629 49840 886989 23.03 24.27 -- 4161.17/1041.94 c N dy 10184 2916793 80 7120 0 92172 49840 1395993 23.04 24.48 -- 4195.13/1050.47 c N dy 10199 2937017 80 7120 0 110401 49840 1876185 23.03 24.29 -- 4238.67/1061.34 c N dy 10278 2957046 80 7120 0 128657 49840 2374077 23.03 24.61 -- 4276.22/1070.79 c N dy 10341 2977069 80 7120 0 78717 49840 1015788 23.03 26.28 -- 4303.78/1077.66 c N dy 10376 2997101 80 7120 0 96922 49840 1501216 23.03 25.17 -- 4349.34/1089.06 c N dy 10427 3023199 80 7120 0 120488 49840 2121541 23.02 24.45 -- 4394.46/1100.30 c N dy 10511 3044788 80 7120 0 71100 49840 795093 23.02 24.36 -- 4424.04/1107.73 c N dy 10632 3066363 80 7120 0 90818 49840 1335567 23.03 24.29 -- 4461.17/1117.01 c N dy 10684 3093104 80 7120 0 115068 49840 1985883 23.02 24.34 -- 4503.91/1127.70 c N dy 10801 3113514 80 7120 0 133727 49840 2497451 23.03 24.28 -- 4534.67/1135.44 c N dy 10904 3133559 80 7120 0 81927 49840 1075592 23.04 26.37 -- 4565.05/1143.05 c N dy 11011 3156931 80 7120 0 103224 49840 1654180 23.04 24.29 -- 4594.19/1150.38 c N dy 11058 3178077 80 7120 0 122386 49840 2169054 23.04 24.35 -- 4634.54/1160.43 c N dy 11177 3198148 80 7120 0 140836 49840 2677723 23.05 24.38 -- 4650.51/1164.45 c S st 11200 3211816 80 7120 0 82271 49840 1065775 23.05 23.41 -- 4651.31/1164.69 c S st 11200 3212319 80 7120 0 82743 49840 1078799 23.05 no data -- 4651.31/1164.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4651.31/1164.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4651.71/1164.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.16 4651.71/1164.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 4651.71/1164.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4651.71/1164.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 80 time: 0.00 s 4651.71/1164.76 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4712.43/1179.92 c lits-rem: 923 cl-subs: 2474 v-elim: 0 v-fix: 0 time: 60.53 s 4712.43/1179.92 c vivif2 -- cl tried 7120 cl shrink 0 lits rem 0 time: 0.00 4712.43/1179.94 c vivif2 -- cl tried 80269 cl shrink 0 lits rem 0 time: 0.06 4713.63/1180.25 c asymm cl-useful: 0/669/7120 lits-rem:0 time: 1.26 4713.63/1180.25 c calculated reachability. Time: 0.00 4713.63/1180.25 c N dy 11200 3212319 80 7120 0 80269 49840 1009970 23.05 no data -- 4741.59/1187.27 c N dy 11327 3233096 80 7120 0 99308 49840 1532905 23.06 24.28 -- 4771.58/1194.72 c N dy 11396 3253149 80 7120 0 117658 49840 2030676 23.06 24.29 --
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-3175114-1304089064/watcher-3175114-1304089064 -o /tmp/evaluation-result-3175114-1304089064/solver-3175114-1304089064 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175114-1304089064.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.08 8.06 7.86 6/180 5691 /proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 520506198 52465664 353 33554432000 4194304 4650419 140735260422368 18446744073709551615 48005017954220 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 12809 353 303 112 0 7774 0 [pid=5691/tid=5692] ppid=5689 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520506199 52465664 353 33554432000 4194304 4650419 140735260422368 18446744073709551615 48005017954220 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520506199 52465664 353 33554432000 4194304 4650419 140735260422368 18446744073709551615 237290677302 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520506199 52465664 353 33554432000 4194304 4650419 140735260422368 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.108128 s] /proc/loadavg: 8.08 8.06 7.86 6/180 5691 /proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=216984 CPUtime=0.4 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 1524 0 0 0 40 0 0 0 25 0 4 0 520506198 222191616 1456 33554432000 4194304 4650419 140735260422368 18446744073709551615 4370668 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 54246 1456 366 112 0 49211 0 [pid=5691/tid=5692] ppid=5689 vsize=216984 CPUtime=0.1 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 212 0 0 0 10 0 0 0 25 0 4 0 520506199 222191616 1456 33554432000 4194304 4650419 140735260422368 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=216984 CPUtime=0.1 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 236 0 0 0 10 0 0 0 25 0 4 0 520506199 222191616 1456 33554432000 4194304 4650419 140735260422368 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=216984 CPUtime=0.09 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 399 0 0 0 9 0 0 0 25 0 4 0 520506199 222191616 1456 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 216984 [startup+0.201114 s] /proc/loadavg: 8.08 8.06 7.86 6/180 5691 /proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=220948 CPUtime=0.77 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 3492 0 0 0 77 0 0 0 25 0 4 0 520506198 226250752 2922 33554432000 4194304 4650419 140735260422368 18446744073709551615 4313362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 55237 2922 388 112 0 50202 0 [pid=5691/tid=5692] ppid=5689 vsize=220948 CPUtime=0.19 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 786 0 0 0 19 0 0 0 25 0 4 0 520506199 226250752 2922 33554432000 4194304 4650419 140735260422368 18446744073709551615 237278904215 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=220948 CPUtime=0.19 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 791 0 0 0 19 0 0 0 25 0 4 0 520506199 226250752 2922 33554432000 4194304 4650419 140735260422368 18446744073709551615 4313719 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=220948 CPUtime=0.19 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 690 0 0 0 19 0 0 0 25 0 4 0 520506199 226250752 2922 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 220948 [startup+0.301096 s] /proc/loadavg: 8.08 8.06 7.86 6/180 5691 /proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=220948 CPUtime=1.17 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 3840 0 0 0 117 0 0 0 25 0 4 0 520506198 226250752 3270 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 55237 3270 390 112 0 50202 0 [pid=5691/tid=5692] ppid=5689 vsize=220948 CPUtime=0.29 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 877 0 0 0 29 0 0 0 25 0 4 0 520506199 226250752 3270 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=220948 CPUtime=0.29 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 886 0 0 0 29 0 0 0 25 0 4 0 520506199 226250752 3270 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=220948 CPUtime=0.29 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 763 0 0 0 29 0 0 0 25 0 4 0 520506199 226250752 3271 33554432000 4194304 4650419 140735260422368 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 220948 [startup+0.701025 s] /proc/loadavg: 8.08 8.06 7.86 6/180 5691 /proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=222988 CPUtime=2.77 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 6186 0 0 0 277 0 0 0 25 0 4 0 520506198 228339712 3839 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 55747 3840 390 112 0 50712 0 [pid=5691/tid=5692] ppid=5689 vsize=222988 CPUtime=0.69 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 1520 0 0 0 69 0 0 0 25 0 4 0 520506199 228339712 3840 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=222988 CPUtime=0.69 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 1523 0 0 0 69 0 0 0 25 0 4 0 520506199 228339712 3840 33554432000 4194304 4650419 140735260422368 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=222988 CPUtime=0.69 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 1228 0 0 0 69 0 0 0 25 0 4 0 520506199 228339712 3840 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 222988 [startup+1.50088 s] /proc/loadavg: 8.07 8.06 7.86 9/184 5695 /proc/meminfo: memFree=19938984/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=224536 CPUtime=5.97 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 10075 0 0 0 596 1 0 0 25 0 4 0 520506198 229924864 4721 33554432000 4194304 4650419 140735260422368 18446744073709551615 4330253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 56134 4721 391 112 0 51099 0 [pid=5691/tid=5692] ppid=5689 vsize=224536 CPUtime=1.49 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 2515 0 0 0 149 0 0 0 25 0 4 0 520506199 229924864 4721 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=224536 CPUtime=1.48 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 2487 0 0 0 148 0 0 0 25 0 4 0 520506199 229924864 4721 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=224536 CPUtime=1.48 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 2220 0 0 0 148 0 0 0 25 0 4 0 520506199 229924864 4721 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 224536 [startup+3.1006 s] /proc/loadavg: 8.07 8.06 7.86 9/184 5725 /proc/meminfo: memFree=19931952/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=234088 CPUtime=12.35 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 19227 0 0 0 1233 2 0 0 25 0 4 0 520506198 239706112 11631 33554432000 4194304 4650419 140735260422368 18446744073709551615 4368281 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 58522 11631 392 112 0 53487 0 [pid=5691/tid=5692] ppid=5689 vsize=234088 CPUtime=3.08 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 4244 0 0 0 308 0 0 0 25 0 4 0 520506199 239706112 11631 33554432000 4194304 4650419 140735260422368 18446744073709551615 4370652 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=234088 CPUtime=3.08 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 5192 0 0 0 308 0 0 0 25 0 4 0 520506199 239706112 11631 33554432000 4194304 4650419 140735260422368 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=234088 CPUtime=3.08 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 5257 0 0 0 307 1 0 0 25 0 4 0 520506199 239706112 11631 33554432000 4194304 4650419 140735260422368 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 234088 [startup+6.30103 s] /proc/loadavg: 8.06 8.06 7.86 9/184 5725 /proc/meminfo: memFree=19877264/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=226180 CPUtime=25.15 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 28245 0 0 0 2511 4 0 0 25 0 4 0 520506198 231608320 14137 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 56545 14137 392 112 0 51510 0 [pid=5691/tid=5692] ppid=5689 vsize=226180 CPUtime=6.29 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 7140 0 0 0 628 1 0 0 25 0 4 0 520506199 231608320 14137 33554432000 4194304 4650419 140735260422368 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=226180 CPUtime=6.26 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 7121 0 0 0 626 0 0 0 25 0 4 0 520506199 231608320 14137 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=226180 CPUtime=6.28 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 7619 0 0 0 627 1 0 0 25 0 4 0 520506199 231608320 14137 33554432000 4194304 4650419 140735260422368 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 226180 [startup+12.7009 s] /proc/loadavg: 8.06 8.06 7.86 9/184 5725 /proc/meminfo: memFree=19830184/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=269384 CPUtime=50.71 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 41793 0 0 0 5064 7 0 0 25 0 4 0 520506198 275849216 20794 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 67346 20794 392 112 0 62311 0 [pid=5691/tid=5692] ppid=5689 vsize=269384 CPUtime=12.69 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 10383 0 0 0 1268 1 0 0 25 0 4 0 520506199 275849216 20794 33554432000 4194304 4650419 140735260422368 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=269384 CPUtime=12.63 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 11004 0 0 0 1262 1 0 0 25 0 4 0 520506199 275849216 20794 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=269384 CPUtime=12.68 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 11476 0 0 0 1266 2 0 0 25 0 4 0 520506199 275849216 20794 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 269384 [startup+25.5006 s] /proc/loadavg: 8.05 8.06 7.86 9/184 5725 /proc/meminfo: memFree=19791628/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=250852 CPUtime=101.84 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 62208 0 0 0 10173 11 0 0 25 0 4 0 520506198 256872448 25718 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 62713 25718 392 112 0 57678 0 [pid=5691/tid=5692] ppid=5689 vsize=250852 CPUtime=25.49 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 16151 0 0 0 2546 3 0 0 25 0 4 0 520506199 256872448 25718 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=250852 CPUtime=25.36 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 15309 0 0 0 2534 2 0 0 25 0 4 0 520506199 256872448 25718 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=250852 CPUtime=25.48 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 17600 0 0 0 2545 3 0 0 25 0 4 0 520506199 256872448 25718 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 250852 [startup+51.1011 s] /proc/loadavg: 8.03 8.05 7.86 9/184 5726 /proc/meminfo: memFree=19731064/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=272164 CPUtime=204.11 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 87013 0 0 0 20394 17 0 0 25 0 4 0 520506198 278695936 33915 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 68041 33915 392 112 0 63006 0 [pid=5691/tid=5692] ppid=5689 vsize=272164 CPUtime=51.09 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 21906 0 0 0 5105 4 0 0 25 0 4 0 520506199 278695936 33915 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=272164 CPUtime=50.83 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 22779 0 0 0 5079 4 0 0 25 0 4 0 520506199 278695936 33915 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=272164 CPUtime=51.08 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 23360 0 0 0 5103 5 0 0 25 0 4 0 520506199 278695936 33915 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 204.11 Current children cumulated vsize (KiB) 272164 [startup+102.301 s] /proc/loadavg: 8.09 8.06 7.87 9/184 5727 /proc/meminfo: memFree=19668060/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=289224 CPUtime=408.67 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 131349 0 0 0 40836 31 0 0 25 0 4 0 520506198 296165376 43584 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 72306 43584 392 112 0 67271 0 [pid=5691/tid=5692] ppid=5689 vsize=289224 CPUtime=102.29 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 32365 0 0 0 10222 7 0 0 25 0 4 0 520506199 296165376 43584 33554432000 4194304 4650419 140735260422368 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=289224 CPUtime=101.77 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 32964 0 0 0 10169 8 0 0 25 0 4 0 520506199 296165376 43584 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=289224 CPUtime=102.29 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 34358 0 0 0 10221 8 0 0 25 0 4 0 520506199 296165376 43584 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 408.67 Current children cumulated vsize (KiB) 289224 [startup+162.3 s] ################ # More data... # ################ [pid=5691] ppid=5689 vsize=450848 CPUtime=2564.95 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 402109 0 0 0 256363 132 0 0 25 0 4 0 520506198 461668352 72778 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 112712 72778 392 112 0 107677 0 [pid=5691/tid=5692] ppid=5689 vsize=450848 CPUtime=642.13 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 90908 0 0 0 64180 33 0 0 25 0 4 0 520506199 461668352 72778 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=450848 CPUtime=638.92 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 103162 0 0 0 63859 33 0 0 25 0 4 0 520506199 461668352 72778 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=450848 CPUtime=641.64 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 115067 0 0 0 64125 39 0 0 25 0 4 0 520506199 461668352 72778 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2564.95 Current children cumulated vsize (KiB) 450848 [startup+702.3 s] /proc/loadavg: 8.07 8.09 7.97 9/184 5785 /proc/meminfo: memFree=19333556/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=463776 CPUtime=2804.62 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 421073 0 0 0 280321 141 0 0 25 0 4 0 520506198 474906624 80293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 115944 80293 392 112 0 110909 0 [pid=5691/tid=5692] ppid=5689 vsize=463776 CPUtime=702.13 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 96100 0 0 0 70177 36 0 0 25 0 4 0 520506199 474906624 80293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=463776 CPUtime=698.59 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 110834 0 0 0 69823 36 0 0 25 0 4 0 520506199 474906624 80293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=463776 CPUtime=701.64 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 121131 0 0 0 70122 42 0 0 25 0 4 0 520506199 474906624 80293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2804.62 Current children cumulated vsize (KiB) 463776 [startup+762.301 s] /proc/loadavg: 8.06 8.08 7.98 9/184 5787 /proc/meminfo: memFree=19329200/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=464008 CPUtime=3044.32 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 439999 0 0 0 304282 150 0 0 25 0 4 0 520506198 475144192 76755 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 116002 76755 392 112 0 110967 0 [pid=5691/tid=5692] ppid=5689 vsize=464008 CPUtime=762.14 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 102343 0 0 0 76176 38 0 0 25 0 4 0 520506199 475144192 76755 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=464008 CPUtime=758.28 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 115079 0 0 0 75789 39 0 0 25 0 4 0 520506199 475144192 76755 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=464008 CPUtime=761.65 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 127479 0 0 0 76120 45 0 0 25 0 4 0 520506199 475144192 76755 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3044.32 Current children cumulated vsize (KiB) 464008 [startup+822.301 s] /proc/loadavg: 8.11 8.09 7.99 9/184 5789 /proc/meminfo: memFree=19292996/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=464216 CPUtime=3283.97 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 461944 0 0 0 328237 160 0 0 25 0 4 0 520506198 475357184 83293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 116054 83293 392 112 0 111019 0 [pid=5691/tid=5692] ppid=5689 vsize=464216 CPUtime=822.13 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 109020 0 0 0 82172 41 0 0 25 0 4 0 520506199 475357184 83293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=464216 CPUtime=817.95 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 119921 0 0 0 81754 41 0 0 25 0 4 0 520506199 475357184 83293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=464216 CPUtime=821.64 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 133862 0 0 0 82116 48 0 0 25 0 4 0 520506199 475357184 83293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3283.97 Current children cumulated vsize (KiB) 464216 [startup+882.306 s] /proc/loadavg: 8.20 8.12 8.00 9/184 5790 /proc/meminfo: memFree=19274140/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=464324 CPUtime=3523.67 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 474871 0 0 0 352200 167 0 0 25 0 4 0 520506198 475467776 83979 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 116081 83979 392 112 0 111046 0 [pid=5691/tid=5692] ppid=5689 vsize=464324 CPUtime=882.14 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 110771 0 0 0 88172 42 0 0 25 0 4 0 520506199 475467776 83979 33554432000 4194304 4650419 140735260422368 18446744073709551615 4303868 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=464324 CPUtime=877.62 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 126176 0 0 0 87718 44 0 0 25 0 4 0 520506199 475467776 83979 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=464324 CPUtime=881.65 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 138519 0 0 0 88114 51 0 0 25 0 4 0 520506199 475467776 83979 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3523.67 Current children cumulated vsize (KiB) 464324 [startup+942.301 s] /proc/loadavg: 8.15 8.11 8.00 9/184 5792 /proc/meminfo: memFree=19238536/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=543180 CPUtime=3763.32 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 489935 0 0 0 376159 173 0 0 25 0 4 0 520506198 556216320 92723 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 135795 92723 392 112 0 130760 0 [pid=5691/tid=5692] ppid=5689 vsize=543180 CPUtime=942.14 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 114861 0 0 0 94170 44 0 0 25 0 4 0 520506199 556216320 92723 33554432000 4194304 4650419 140735260422368 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=543180 CPUtime=937.3 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 130187 0 0 0 93683 47 0 0 25 0 4 0 520506199 556216320 92723 33554432000 4194304 4650419 140735260422368 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=543180 CPUtime=941.65 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145482 0 0 0 94112 53 0 0 25 0 4 0 520506199 556216320 92723 33554432000 4194304 4650419 140735260422368 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3763.32 Current children cumulated vsize (KiB) 543180 [startup+1002.3 s] /proc/loadavg: 8.12 8.11 8.00 9/184 5793 /proc/meminfo: memFree=19186684/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=543284 CPUtime=4002.99 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 502059 0 0 0 400120 179 0 0 25 0 4 0 520506198 556322816 98496 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 135821 98496 392 112 0 130786 0 [pid=5691/tid=5692] ppid=5689 vsize=543284 CPUtime=1002.14 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 115335 0 0 0 100170 44 0 0 25 0 4 0 520506199 556322816 98496 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=543284 CPUtime=996.96 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 136065 0 0 0 99647 49 0 0 25 0 4 0 520506199 556322816 98496 33554432000 4194304 4650419 140735260422368 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=543284 CPUtime=1001.65 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145840 0 0 0 100112 53 0 0 25 0 4 0 520506199 556322816 98496 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4002.99 Current children cumulated vsize (KiB) 543284 [startup+1062.3 s] /proc/loadavg: 8.04 8.08 8.00 9/184 5795 /proc/meminfo: memFree=19195228/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=543284 CPUtime=4242.66 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 503706 0 0 0 424086 180 0 0 25 0 4 0 520506198 556322816 95495 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 135821 95495 392 112 0 130786 0 [pid=5691/tid=5692] ppid=5689 vsize=543284 CPUtime=1062.14 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 115346 0 0 0 106170 44 0 0 25 0 4 0 520506199 556322816 95495 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=543284 CPUtime=1056.65 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 136395 0 0 0 105615 50 0 0 25 0 4 0 520506199 556322816 95495 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=543284 CPUtime=1061.65 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145841 0 0 0 106112 53 0 0 25 0 4 0 520506199 556322816 95495 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4242.66 Current children cumulated vsize (KiB) 543284 [startup+1122.3 s] /proc/loadavg: 8.01 8.07 8.00 9/184 5797 /proc/meminfo: memFree=19211464/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=530656 CPUtime=4482.34 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 511645 0 0 0 448048 186 0 0 25 0 4 0 520506198 543391744 93267 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 132664 93267 392 112 0 127629 0 [pid=5691/tid=5692] ppid=5689 vsize=530656 CPUtime=1122.14 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 116434 0 0 0 112169 45 0 0 25 0 4 0 520506199 543391744 93267 33554432000 4194304 4650419 140735260422368 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=530656 CPUtime=1116.31 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 140649 0 0 0 111579 52 0 0 25 0 4 0 520506199 543391744 93267 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=530656 CPUtime=1121.65 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145841 0 0 0 112112 53 0 0 25 0 4 0 520506199 543391744 93267 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4482.34 Current children cumulated vsize (KiB) 530656 [startup+1182.3 s] /proc/loadavg: 8.04 8.07 8.00 9/184 5798 /proc/meminfo: memFree=19177596/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=543956 CPUtime=4722.02 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 527875 0 0 0 472008 194 0 0 25 0 4 0 520506198 557010944 99654 33554432000 4194304 4650419 140735260422368 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 135989 99654 392 112 0 130954 0 [pid=5691/tid=5692] ppid=5689 vsize=543956 CPUtime=1182.15 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 120068 0 0 0 118167 48 0 0 25 0 4 0 520506199 557010944 99654 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=543956 CPUtime=1176.01 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 143314 0 0 0 117547 54 0 0 25 0 4 0 520506199 557010944 99654 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=543956 CPUtime=1181.66 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 152151 0 0 0 118110 56 0 0 25 0 4 0 520506199 557010944 99654 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4722.02 Current children cumulated vsize (KiB) 543956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.10 8.08 8.00 9/184 5799 /proc/meminfo: memFree=19196812/32950904 swapFree=67082284/67111528 [pid=5691] ppid=5689 vsize=557324 CPUtime=4800.33 cores=0,2,4,6 /proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 532927 0 0 0 479837 196 0 0 25 0 4 0 520506198 570699776 94996 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/5691/statm: 139331 94996 392 112 0 134296 0 [pid=5691/tid=5692] ppid=5689 vsize=557324 CPUtime=1201.75 cores=0,2,4,6 /proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 120068 0 0 0 120127 48 0 0 25 0 4 0 520506199 570699776 94996 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=5691/tid=5693] ppid=5689 vsize=557324 CPUtime=1195.5 cores=0,2,4,6 /proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145533 0 0 0 119496 54 0 0 25 0 4 0 520506199 570699776 94996 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=5691/tid=5694] ppid=5689 vsize=557324 CPUtime=1201.26 cores=0,2,4,6 /proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 154984 0 0 0 120069 57 0 0 25 0 4 0 520506199 570699776 94996 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.33 Current children cumulated vsize (KiB) 557324 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.93 CPU time (s): 4800.38 CPU user time (s): 4798.4 CPU system time (s): 1.9797 CPU usage (%): 399.39 Max. virtual memory (cumulated for all children) (KiB): 624528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.4 system time used= 1.9797 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 532927 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= 686 involuntary context switches= 22188 runsolver used 2.00169 second user time and 4.43133 second system time The end
Begin job on node121 at 2011-04-29 16:57:44 IDJOB=3175114 IDBENCH=82732 IDSOLVER=1588 FILE ID=node121/3175114-1304089064 RUNJOBID= node121-1304087860-5574 PBS_JOBID= 13170562 Free space on /tmp= 72648 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175114-1304089064/watcher-3175114-1304089064 -o /tmp/evaluation-result-3175114-1304089064/solver-3175114-1304089064 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175114-1304089064.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6416f44b34786f590ff716f4b8e2cf7c RANDOM SEED=259855741 node121.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.817 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.63 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.84 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.817 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.77 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.817 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.817 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.74 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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: 32950904 kB MemFree: 19969032 kB Buffers: 2182692 kB Cached: 10240916 kB SwapCached: 2776 kB Active: 9134916 kB Inactive: 3328768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 19969032 kB SwapTotal: 67111528 kB SwapFree: 67082284 kB Dirty: 12444 kB Writeback: 0 kB AnonPages: 38084 kB Mapped: 14116 kB Slab: 455544 kB PageTables: 4660 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 275500 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= 72644 MiB End job on node121 at 2011-04-29 17:17:48