| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.37 | 1201.73 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf |
| MD5SUM | 1e7a565e93334fc4a75fcaa13a0d446a |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 363.699 |
| 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-3175434-1304123754.cnf' 0.00/0.00 c -- header says num vars: 60 0.00/0.00 c -- header says num clauses: 5340 0.00/0.00 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.00/0.00 c -- vars added 60 0.00/0.00 c Parsing time: 0.01 s 0.00/0.00 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.41/0.12 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.46 0.41/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.41/0.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.41/0.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.41/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.41/0.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.41/0.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.41/0.14 c Finding binary XORs T: 0.00 s found: 0 0.41/0.14 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.41/0.14 c calculated reachability. Time: 0.00 0.41/0.14 c Calc default polars - time: 0.00 s pos: 32 undec: 0 neg: 28 0.41/0.14 c ========================================================================================= 0.41/0.14 c types(t): F = full restart, N = normal restart 0.41/0.14 c types(t): S = simplification begin/end, E = solution found 0.41/0.14 c restart types(rt): st = static, dy = dynamic 0.41/0.14 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.41/0.14 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 1.18/0.30 c N dy 8 5835 60 5340 0 2956 37380 57230 17.81 18.81 -- 1.58/0.46 c N dy 25 10597 60 5340 0 7193 37380 147203 18.04 19.05 -- 2.38/0.66 c N dy 38 15808 60 5340 0 8043 37380 156761 18.03 19.02 -- 3.17/0.84 c N dy 59 19896 60 5340 0 6726 37380 121269 18.20 19.84 -- 3.97/1.01 c N dy 75 23924 60 5340 0 10282 37380 196835 18.22 19.88 -- 3.97/1.07 c F st 82 25001 60 5340 0 11247 37380 217397 18.25 16.94 -- 4.79/1.22 c N st 87 28296 60 5340 0 8129 37380 143152 18.25 no data -- 4.79/1.29 c S st 88 30000 60 5340 0 9647 37380 175606 18.25 no data -- 5.16/1.32 c S st 88 30501 60 5340 0 10102 37380 185688 18.25 no data -- 5.16/1.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.16/1.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.16/1.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 5.16/1.33 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.16/1.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.16/1.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.16/1.33 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.77/2.23 c lits-rem: 1281 cl-subs: 946 v-elim: 0 v-fix: 0 time: 3.57 s 9.57/2.49 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.06 9.57/2.49 c calculated reachability. Time: 0.00 9.57/2.49 c N dy 88 30501 60 5340 0 9156 37380 163467 18.25 no data -- 11.57/2.90 c N dy 94 38123 60 5340 0 8909 37380 146753 18.08 19.05 -- 12.37/3.11 c N dy 117 42227 60 5340 0 12548 37380 224962 18.16 19.14 -- 13.17/3.34 c S st 138 45751 60 5340 0 15710 37380 293222 18.24 17.69 -- 13.17/3.38 c S st 138 46257 60 5340 0 8226 37380 124543 18.24 no data -- 13.17/3.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.17/3.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.17/3.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.17/3.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.17/3.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.17/3.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.17/3.39 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.36/4.13 c lits-rem: 125 cl-subs: 44 v-elim: 0 v-fix: 0 time: 2.97 s 16.36/4.13 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.36/4.14 c vivif2 -- cl tried 8182 cl shrink 0 lits rem 0 time: 0.00 17.15/4.37 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.92 17.15/4.37 c calculated reachability. Time: 0.00 17.15/4.37 c N dy 138 46257 60 5340 0 8182 37380 123377 18.24 no data -- 17.98/4.58 c N dy 150 50835 60 5340 0 12225 37380 208486 18.22 19.21 -- 19.16/4.88 c N dy 156 55965 60 5340 0 16759 37380 303413 18.16 19.15 -- 21.56/5.48 c N dy 175 66286 60 5340 0 17082 37380 299501 18.08 19.11 -- 22.75/5.70 c S st 185 69387 60 5340 0 10110 37380 145931 18.08 no data -- 22.75/5.74 c S st 185 69889 60 5340 0 10559 37380 155644 18.08 no data -- 22.75/5.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.75/5.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.75/5.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 22.75/5.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.75/5.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.75/5.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.75/5.75 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 26.35/6.61 c lits-rem: 244 cl-subs: 136 v-elim: 0 v-fix: 0 time: 3.44 s 26.35/6.61 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 26.35/6.61 c vivif2 -- cl tried 10423 cl shrink 0 lits rem 0 time: 0.01 27.14/6.88 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.09 27.14/6.88 c calculated reachability. Time: 0.00 27.14/6.88 c N dy 185 69889 60 5340 0 10423 37380 152183 18.08 no data -- 31.53/7.95 c F st 202 87500 60 5340 0 15372 37380 243879 17.85 18.05 -- 31.53/7.95 c N st 202 87500 60 5340 0 15372 37380 243879 17.85 18.05 -- 33.14/8.36 c N dy 210 93489 60 5340 0 20723 37380 359204 17.85 18.81 -- 35.14/8.84 c N dy 241 99952 60 5340 0 14963 37380 227826 17.89 18.97 -- 36.33/9.13 c S st 246 104834 60 5340 0 19281 37380 314540 17.81 14.84 -- 36.33/9.19 c S st 246 105335 60 5340 0 19743 37380 324731 17.81 no data -- 36.33/9.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 36.33/9.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 36.33/9.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 36.73/9.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 36.73/9.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 36.73/9.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 36.73/9.20 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 41.52/10.44 c lits-rem: 1660 cl-subs: 2362 v-elim: 0 v-fix: 0 time: 4.92 s 41.52/10.44 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 41.52/10.44 c vivif2 -- cl tried 17381 cl shrink 0 lits rem 0 time: 0.01 42.72/10.80 c asymm cl-useful: 0/4431/5340 lits-rem:0 time: 1.42 43.12/10.80 c calculated reachability. Time: 0.00 43.12/10.80 c N dy 246 105335 60 5340 0 17381 37380 277112 17.81 no data -- 45.12/11.39 c N dy 285 112941 60 5340 0 24161 37380 421602 17.86 18.82 -- 48.33/12.14 c N dy 318 123893 60 5340 0 21543 37380 357394 17.82 19.00 -- 51.11/12.83 c N dy 366 131888 60 5340 0 15407 37380 219184 17.90 19.46 -- 53.51/13.43 c N dy 390 140367 60 5340 0 22906 37380 376027 17.89 19.48 -- 57.90/14.51 c N dy 417 154300 60 5340 0 21082 37380 322013 17.82 18.81 -- 59.10/14.86 c S st 450 158004 60 5340 0 24388 37380 393726 17.87 18.26 -- 59.50/14.92 c S st 450 158506 60 5340 0 24843 37380 403537 17.87 no data -- 59.50/14.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 59.50/14.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 59.50/14.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.02 59.50/14.94 c bin-w-bin subsume rem 0 bins time: 0.00 s 59.50/14.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 59.50/14.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 59.50/14.94 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 67.09/16.89 c lits-rem: 1759 cl-subs: 2880 v-elim: 0 v-fix: 0 time: 7.78 s 67.09/16.89 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 67.49/16.90 c vivif2 -- cl tried 21963 cl shrink 0 lits rem 0 time: 0.02 67.89/17.02 c asymm cl-useful: 0/909/5340 lits-rem:0 time: 0.50 67.89/17.02 c calculated reachability. Time: 0.00 67.89/17.02 c N dy 450 158506 60 5340 0 21963 37380 344956 17.87 no data -- 73.48/18.44 c N dy 451 177788 60 5340 0 23978 37380 374518 17.66 18.65 -- 77.87/19.60 c N dy 537 189171 60 5340 0 18309 37380 255610 17.75 19.86 -- 82.27/20.67 c N dy 587 201971 60 5340 0 29645 37380 495924 17.78 18.73 -- 87.88/22.09 c N dy 681 214910 60 5340 0 24418 37380 375815 17.86 19.87 -- 94.25/23.63 c N dy 711 230440 60 5340 0 20452 37380 274204 17.84 18.79 -- 96.25/24.19 c S st 718 237759 60 5340 0 26881 37380 406467 17.82 17.17 -- 96.66/24.26 c S st 718 238264 60 5340 0 27338 37380 416632 17.82 no data -- 96.66/24.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 96.66/24.26 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 96.66/24.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 96.66/24.28 c bin-w-bin subsume rem 0 bins time: 0.00 s 96.66/24.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 96.66/24.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 96.66/24.28 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 105.04/26.32 c lits-rem: 2143 cl-subs: 2871 v-elim: 0 v-fix: 0 time: 8.15 s 105.04/26.32 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 105.04/26.33 c vivif2 -- cl tried 24467 cl shrink 0 lits rem 0 time: 0.02 106.63/26.72 c asymm cl-useful: 0/3287/5340 lits-rem:0 time: 1.54 106.63/26.72 c calculated reachability. Time: 0.00 106.63/26.72 c N dy 718 238264 60 5340 0 24467 37380 358312 17.82 no data -- 115.82/29.03 c N dy 829 260623 60 5340 0 25889 37380 375037 17.85 18.92 -- 123.43/30.96 c N dy 876 280691 60 5340 0 24249 37380 332997 17.83 18.88 -- 131.81/33.08 c N dy 990 298788 60 5340 0 40410 37380 680800 17.90 18.94 -- 135.00/33.85 c F st 1039 306250 60 5340 0 26694 37380 380488 17.93 18.30 -- 140.19/35.13 c N dy 1071 317917 60 5340 0 37109 37380 600961 17.94 19.61 -- 147.77/37.04 c N dy 1103 337957 60 5340 0 33497 37380 510148 17.89 20.41 -- 157.77/39.53 c S st 1204 357397 60 5340 0 28588 37380 400844 17.93 17.54 -- 157.77/39.60 c S st 1204 357901 60 5340 0 29050 37380 410829 17.93 no data -- 157.77/39.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 157.77/39.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 158.18/39.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 158.18/39.62 c bin-w-bin subsume rem 0 bins time: 0.00 s 158.18/39.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 158.18/39.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 158.18/39.62 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 166.56/41.76 c lits-rem: 1475 cl-subs: 1671 v-elim: 0 v-fix: 0 time: 8.54 s 166.56/41.76 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 166.56/41.76 c vivif2 -- cl tried 27379 cl shrink 0 lits rem 0 time: 0.02 167.75/42.05 c asymm cl-useful: 0/2053/5340 lits-rem:0 time: 1.14 167.75/42.05 c calculated reachability. Time: 0.00 167.75/42.05 c N dy 1204 357901 60 5340 0 27379 37380 373356 17.93 no data -- 178.54/44.73 c N dy 1270 378793 60 5340 0 45793 37380 761259 17.93 19.15 -- 194.11/48.61 c N dy 1347 406559 60 5340 0 47434 37380 782046 17.91 18.87 -- 202.90/50.85 c N dy 1400 426676 60 5340 0 41244 37380 638691 17.90 18.91 -- 214.49/53.77 c N dy 1498 449125 60 5340 0 36384 37380 529460 17.92 18.88 -- 226.87/56.83 c N dy 1628 469147 60 5340 0 28564 37380 356493 17.97 19.90 -- 236.85/59.38 c N dy 1670 491707 60 5340 0 48464 37380 765236 17.93 18.89 -- 247.25/61.95 c N dy 1713 512088 60 5340 0 39888 37380 578980 17.90 18.99 -- 260.02/65.15 c N dy 1813 532174 60 5340 0 30291 37380 373272 17.92 19.69 -- 262.42/65.73 c S st 1844 536852 60 5340 0 34435 37380 462063 17.93 no data -- 262.82/65.83 c S st 1844 537358 60 5340 0 34893 37380 472269 17.93 no data -- 262.82/65.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 262.82/65.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 262.82/65.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 262.82/65.85 c bin-w-bin subsume rem 0 bins time: 0.00 s 262.82/65.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 262.82/65.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 262.82/65.85 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 271.61/68.03 c lits-rem: 847 cl-subs: 1836 v-elim: 0 v-fix: 0 time: 8.69 s 271.61/68.03 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 271.61/68.04 c vivif2 -- cl tried 33057 cl shrink 0 lits rem 0 time: 0.02 273.20/68.41 c asymm cl-useful: 0/2660/5340 lits-rem:0 time: 1.49 273.20/68.41 c calculated reachability. Time: 0.00 273.20/68.41 c N dy 1844 537358 60 5340 0 33057 37380 431490 17.93 no data -- 285.19/71.47 c N dy 1967 557398 60 5340 0 50941 37380 818622 17.97 20.15 -- 299.19/74.92 c N dy 2027 581783 60 5340 0 44224 37380 649764 17.95 18.94 -- 313.55/78.54 c N dy 2146 602304 60 5340 0 33275 37380 418492 17.99 18.96 -- 340.71/85.38 c N dy 2261 654114 60 5340 0 48664 37380 707040 17.90 19.13 -- 359.10/89.99 c N dy 2296 682406 60 5340 0 42659 37380 576878 17.83 18.80 -- 372.67/93.37 c N dy 2347 702432 60 5340 0 60379 37380 950207 17.82 18.77 -- 387.07/96.92 c N dy 2460 724162 60 5340 0 48043 37380 704318 17.85 18.80 -- 405.83/101.62 c N dy 2582 744189 60 5340 0 33114 37380 372292 17.88 18.83 -- 418.21/104.75 c N dy 2705 764284 60 5340 0 51002 37380 757485 17.90 20.46 -- 434.59/108.83 c N dy 2791 784473 60 5340 0 35192 37380 405762 17.91 19.00 -- 448.18/112.29 c N dy 2931 804613 60 5340 0 53140 37380 795588 17.95 19.02 -- 449.37/112.59 c S st 2938 806038 60 5340 0 54405 37380 822402 17.95 16.80 -- 450.17/112.75 c S st 2938 806541 60 5340 0 54868 37380 832793 17.95 no data -- 450.17/112.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 450.17/112.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 450.17/112.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 450.57/112.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 450.57/112.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 450.57/112.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 450.57/112.80 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 479.35/120.05 c lits-rem: 2991 cl-subs: 4862 v-elim: 0 v-fix: 0 time: 28.95 s 479.35/120.05 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 479.35/120.06 c vivif2 -- cl tried 50006 cl shrink 0 lits rem 0 time: 0.03 480.52/120.31 c asymm cl-useful: 0/763/5340 lits-rem:0 time: 1.00 480.52/120.31 c calculated reachability. Time: 0.00 480.52/120.31 c N dy 2938 806541 60 5340 0 50006 37380 722089 17.95 no data -- 498.90/124.93 c N dy 3008 827507 60 5340 0 68623 37380 1115597 17.95 18.98 -- 512.48/128.38 c N dy 3082 851188 60 5340 0 55168 37380 816484 17.94 19.10 -- 531.67/133.14 c N dy 3220 871276 60 5340 0 37730 37380 439684 17.97 19.01 -- 545.63/136.64 c N dy 3349 891314 60 5340 0 55504 37380 825187 18.00 21.16 -- 564.81/141.43 c N dy 3456 911479 60 5340 0 37077 37380 414253 18.01 18.96 -- 584.80/146.49 c N dy 3531 943792 60 5340 0 65402 37380 1005267 17.99 19.07 -- 600.37/150.33 c N dy 3599 963862 60 5340 0 46098 37380 596504 17.98 19.00 -- 617.94/154.76 c N dy 3716 985584 60 5340 0 65357 37380 1009732 18.00 18.98 -- 635.92/159.29 c N dy 3832 1005664 60 5340 0 45176 37380 569943 18.02 19.16 -- 653.10/163.55 c N dy 3908 1028878 60 5340 0 65723 37380 1004652 18.02 19.09 -- 675.47/169.12 c N dy 3970 1057061 60 5340 0 51558 37380 685033 18.01 18.98 -- 687.45/172.18 c F st 4030 1071875 60 5340 0 64651 37380 962646 18.01 18.15 -- 691.84/173.20 c N dy 4036 1077065 60 5340 0 69207 37380 1061463 18.01 no data -- 709.82/177.71 c N dy 4129 1097160 60 5340 0 47316 37380 594186 18.02 19.84 -- 725.79/181.77 c N dy 4231 1117405 60 5340 0 65285 37380 980043 18.03 18.99 -- 746.57/187.00 c N dy 4324 1137428 60 5340 0 42362 37380 478218 18.03 21.10 -- 765.34/191.67 c N dy 4408 1163635 60 5340 0 65457 37380 969518 18.03 19.03 -- 794.10/198.83 c N dy 4538 1183896 60 5340 0 41886 37380 457016 18.05 19.09 -- 811.68/203.25 c N dy 4612 1206760 60 5340 0 62020 37380 887106 18.06 19.16 -- 814.87/204.02 c S st 4628 1209812 60 5340 0 64738 37380 945763 18.06 18.68 -- 815.67/204.24 c S st 4628 1210313 60 5340 0 65184 37380 955845 18.06 no data -- 815.67/204.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 815.67/204.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 815.67/204.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.13 816.08/204.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 816.08/204.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 816.08/204.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 816.08/204.31 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 885.98/221.83 c lits-rem: 3398 cl-subs: 6456 v-elim: 0 v-fix: 0 time: 69.97 s 885.98/221.83 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 885.98/221.85 c vivif2 -- cl tried 58728 cl shrink 0 lits rem 0 time: 0.04 887.17/222.20 c asymm cl-useful: 0/658/5340 lits-rem:0 time: 1.41 887.58/222.20 c calculated reachability. Time: 0.00 887.58/222.20 c N dy 4628 1210313 60 5340 0 58728 37380 817460 18.06 no data -- 917.53/229.73 c N dy 4649 1241774 60 5340 0 44255 37380 497915 18.02 19.07 -- 934.71/234.04 c N dy 4714 1266564 60 5340 0 66082 37380 956965 18.01 19.07 -- 955.48/239.25 c N dy 4793 1286565 60 5340 0 83756 37380 1330846 18.01 19.60 -- 974.27/243.99 c N dy 4871 1307069 60 5340 0 58830 37380 795539 18.01 19.00 -- 1000.63/250.51 c N dy 5035 1327103 60 5340 0 76571 37380 1185777 18.04 22.29 -- 1026.19/256.96 c N dy 5105 1350142 60 5340 0 52900 37380 660672 18.04 19.04 -- 1048.16/262.44 c N dy 5231 1370193 60 5340 0 70673 37380 1047932 18.06 19.53 -- 1079.31/270.24 c N dy 5283 1406373 60 5340 0 57372 37380 736204 18.03 18.99 -- 1098.91/275.13 c N dy 5396 1426445 60 5340 0 75108 37380 1117881 18.04 19.81 -- 1123.66/281.31 c N dy 5490 1447038 60 5340 0 47563 37380 530026 18.05 19.01 -- 1140.83/285.63 c N dy 5536 1471242 60 5340 0 68857 37380 975620 18.04 19.19 -- 1164.82/291.63 c N dy 5648 1491288 60 5340 0 86590 37380 1360580 18.05 19.01 -- 1184.38/296.57 c N dy 5764 1511562 60 5340 0 57803 37380 745924 18.06 19.04 -- 1203.15/301.25 c N dy 5852 1532208 60 5340 0 76012 37380 1136504 18.07 19.02 -- 1225.52/306.86 c N dy 5912 1552305 60 5340 0 93750 37380 1512050 18.07 19.81 -- 1242.29/311.05 c N dy 5952 1573205 60 5340 0 64517 37380 866982 18.06 19.14 -- 1276.65/319.65 c N dy 6054 1607262 60 5340 0 94492 37380 1495734 18.05 19.10 -- 1300.63/325.70 c N dy 6151 1635500 60 5340 0 70680 37380 983290 18.05 19.01 -- 1326.18/332.07 c N dy 6307 1655569 60 5340 0 88528 37380 1375082 18.06 19.13 -- 1349.75/337.96 c N dy 6402 1675857 60 5340 0 57194 37380 699582 18.07 19.06 -- 1367.73/342.48 c N dy 6483 1695861 60 5340 0 74887 37380 1073809 18.07 19.11 -- 1385.30/346.88 c S st 6510 1710314 60 5340 0 87644 37380 1342048 18.07 16.07 -- 1386.50/347.18 c S st 6510 1710819 60 5340 0 88090 37380 1352073 18.07 no data -- 1386.50/347.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1386.50/347.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1386.90/347.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.20 1386.90/347.28 c bin-w-bin subsume rem 0 bins time: 0.00 s 1386.90/347.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1386.90/347.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1386.90/347.28 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1575.85/394.58 c lits-rem: 5473 cl-subs: 10701 v-elim: 0 v-fix: 0 time: 188.88 s 1575.85/394.58 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1575.85/394.59 c vivif2 -- cl tried 77389 cl shrink 0 lits rem 0 time: 0.07 1577.86/395.05 c asymm cl-useful: 0/499/5340 lits-rem:0 time: 1.82 1577.86/395.05 c calculated reachability. Time: 0.00 1577.86/395.05 c N dy 6510 1710819 60 5340 0 77389 37380 1127741 18.07 no data -- 1615.39/404.45 c N dy 6643 1730887 60 5340 0 95120 37380 1514573 18.08 20.91 -- 1646.95/412.30 c N dy 6661 1761553 60 5340 0 72076 37380 975463 18.05 19.05 -- 1680.11/420.66 c N dy 6745 1781584 60 5340 0 89741 37380 1355144 18.05 19.05 -- 1724.04/431.67 c N dy 6875 1805302 60 5340 0 60017 37380 738336 18.07 19.02 -- 1756.41/439.72 c N dy 7012 1825340 60 5340 0 77764 37380 1126769 18.08 20.73 -- 1792.36/448.78 c N dy 7094 1845363 60 5340 0 95453 37380 1507286 18.08 19.04 -- 1827.51/457.59 c N dy 7265 1865406 60 5340 0 61352 37380 761724 18.10 20.08 -- 1855.47/464.51 c N dy 7374 1885438 60 5340 0 79005 37380 1142736 18.11 20.09 -- 1893.02/473.98 c N dy 7499 1908335 60 5340 0 99204 37380 1579450 18.12 19.08 -- 1919.39/480.56 c N dy 7580 1929186 60 5340 0 64672 37380 810062 18.12 19.10 -- 1943.75/486.66 c N dy 7722 1949226 60 5340 0 82465 37380 1200550 18.13 19.86 -- 1969.32/493.05 c N dy 7810 1969611 60 5340 0 100401 37380 1586392 18.14 19.13 -- 1992.88/498.91 c N dy 7905 1989695 60 5340 0 64350 37380 800659 18.14 20.21 -- 2015.25/504.58 c N dy 7992 2011751 60 5340 0 83716 37380 1214031 18.14 19.10 -- 2057.19/515.07 c N dy 8085 2044021 60 5340 0 57416 37380 636124 18.13 19.11 -- 2077.57/520.19 c N dy 8181 2064485 60 5340 0 75470 37380 1025439 18.14 19.14 -- 2107.93/527.77 c N dy 8273 2089109 60 5340 0 97175 37380 1490693 18.14 19.37 -- 2138.29/535.31 c N dy 8360 2109131 60 5340 0 59343 37380 667970 18.14 19.23 -- 2158.66/540.44 c N dy 8404 2131773 60 5340 0 79222 37380 1086267 18.14 19.24 -- 2185.43/547.14 c N dy 8531 2151820 60 5340 0 96954 37380 1474641 18.15 20.09 -- 2223.38/556.66 c N dy 8600 2181406 60 5340 0 66584 37380 808038 18.14 19.19 -- 2246.54/562.44 c N dy 8723 2201432 60 5340 0 84296 37380 1193326 18.15 20.49 -- 2259.72/565.71 c S st 8786 2210820 60 5340 0 92597 37380 1375732 18.15 no data -- 2260.52/565.99 c S st 8786 2211324 60 5340 0 93052 37380 1385614 18.15 no data -- 2260.92/566.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2260.92/566.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2260.92/566.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.18 2260.92/566.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 2260.92/566.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2260.92/566.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2260.92/566.08 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2375.57/594.78 c lits-rem: 6184 cl-subs: 9841 v-elim: 0 v-fix: 0 time: 114.59 s 2375.57/594.78 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2375.57/594.79 c vivif2 -- cl tried 83211 cl shrink 0 lits rem 0 time: 0.06 2377.17/595.13 c asymm cl-useful: 0/490/5340 lits-rem:0 time: 1.33 2377.17/595.13 c calculated reachability. Time: 0.00 2377.17/595.13 c N dy 8786 2211324 60 5340 0 83211 37380 1174787 18.15 no data -- 2412.33/603.95 c N dy 8838 2240373 60 5340 0 108526 37380 1697820 18.14 19.24 -- 2437.09/610.15 c N dy 8958 2260471 60 5340 0 69722 37380 885333 18.15 19.15 -- 2468.64/618.04 c N dy 9093 2283956 60 5340 0 90425 37380 1335619 18.16 19.23 -- 2511.79/628.86 c N dy 9215 2307625 60 5340 0 111310 37380 1785096 18.16 19.18 -- 2537.35/635.28 c N dy 9246 2327700 60 5340 0 71116 37380 890970 18.16 19.14 -- 2562.51/641.58 c N dy 9312 2347733 60 5340 0 88729 37380 1265492 18.16 19.23 -- 2603.66/651.83 c N dy 9421 2369188 60 5340 0 107656 37380 1674406 18.16 19.14 -- 2638.41/660.53 c N dy 9467 2389283 60 5340 0 66431 37380 778525 18.16 19.15 -- 2671.58/668.83 c N dy 9598 2409780 60 5340 0 84589 37380 1174252 18.17 19.14 -- 2705.92/677.45 c N dy 9671 2429787 60 5340 0 102216 37380 1552209 18.17 19.52 -- 2768.66/693.17 c N dy 9747 2472120 60 5340 0 79334 37380 1030021 18.15 19.25 -- 2806.19/702.56 c N dy 9875 2492460 60 5340 0 97325 37380 1422581 18.16 19.12 -- 2848.13/713.05 c N dy 9963 2512960 60 5340 0 115342 37380 1809251 18.16 19.12 -- 2896.86/725.24 c N dy 10089 2542957 60 5340 0 81221 37380 1082100 18.16 19.17 -- 2935.22/734.86 c N dy 10220 2562961 60 5340 0 98854 37380 1466613 18.17 19.87 -- 2970.38/743.66 c N dy 10265 2584254 60 5340 0 117548 37380 1862839 18.17 19.17 -- 3003.92/752.02 c N dy 10319 2609260 60 5340 0 77847 37380 990698 18.16 19.20 -- 3033.88/759.51 c N dy 10422 2629895 60 5340 0 96082 37380 1386314 18.17 19.18 -- 3065.83/767.56 c N dy 10517 2650765 60 5340 0 114438 37380 1780114 18.17 19.13 -- 3093.82/774.58 c N dy 10554 2671104 60 5340 0 69856 37380 811508 18.16 19.24 -- 3117.77/780.56 c N dy 10664 2691370 60 5340 0 87789 37380 1201322 18.17 19.15 -- 3144.93/787.33 c S st 10729 2711324 60 5340 0 105365 37380 1577832 18.17 no data -- 3146.14/787.68 c S st 10729 2711831 60 5340 0 105824 37380 1588292 18.17 no data -- 3146.14/787.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3146.14/787.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3146.55/787.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.21 3146.55/787.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 3146.55/787.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3146.55/787.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3146.55/787.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3535.61/885.18 c lits-rem: 6415 cl-subs: 12397 v-elim: 0 v-fix: 0 time: 388.94 s 3535.61/885.18 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3535.61/885.19 c vivif2 -- cl tried 93427 cl shrink 0 lits rem 0 time: 0.07 3537.22/885.52 c asymm cl-useful: 0/567/5340 lits-rem:0 time: 1.29 3537.22/885.52 c calculated reachability. Time: 0.00 3537.22/885.52 c N dy 10729 2711831 60 5340 0 93427 37380 1329143 18.17 no data -- 3571.56/894.16 c N dy 10794 2737585 60 5340 0 116027 37380 1807133 18.17 19.15 -- 3602.32/901.88 c N dy 10897 2757630 60 5340 0 71150 37380 846101 18.17 19.76 -- 3631.08/909.09 c N dy 10904 2787720 60 5340 0 97209 37380 1381216 18.15 19.21 -- 3658.64/915.97 c N dy 10931 2807799 60 5340 0 114765 37380 1751273 18.15 19.14 -- 3688.19/923.37 c N dy 10949 2831345 60 5340 0 71625 37380 834418 18.14 19.22 -- 3719.36/931.10 c N dy 11052 2852254 60 5340 0 90003 37380 1231534 18.14 19.13 -- 3762.50/941.97 c N dy 11178 2872530 60 5340 0 107830 37380 1618336 18.15 19.12 -- 3831.21/959.12 c N dy 11264 2906847 60 5340 0 73258 37380 853361 18.14 19.12 -- 3866.36/967.90 c N dy 11394 2926876 60 5340 0 91009 37380 1244267 18.14 20.00 -- 3906.73/978.03 c N dy 11453 2948580 60 5340 0 110082 37380 1645292 18.14 19.18 -- 3956.64/990.52 c N dy 11496 2974380 60 5340 0 66934 37380 720878 18.13 19.28 -- 3987.00/998.20 c N dy 11603 2994422 60 5340 0 84577 37380 1104333 18.14 21.65 -- 4025.74/1007.87 c N dy 11717 3014470 60 5340 0 102252 37380 1487093 18.14 20.28 -- 4076.08/1020.41 c N dy 11855 3034885 60 5340 0 120359 37380 1884613 18.15 19.11 -- 4123.62/1032.33 c N dy 11963 3054977 60 5340 0 71254 37380 803202 18.16 21.07 -- 4157.97/1040.98 c N dy 12054 3077232 60 5340 0 90856 37380 1224361 18.16 19.13 -- 4199.11/1051.22 c N dy 12141 3098482 60 5340 0 109613 37380 1627349 18.16 19.20 -- 4248.65/1063.64 c N dy 12255 3118811 60 5340 0 127473 37380 2015181 18.17 19.16 -- 4296.98/1075.74 c N dy 12390 3141724 60 5340 0 79974 37380 985471 18.17 19.35 -- 4338.12/1086.04 c N dy 12540 3162400 60 5340 0 98245 37380 1386614 18.18 19.16 -- 4375.28/1095.32 c N dy 12606 3182603 60 5340 0 115965 37380 1764475 18.18 19.23 -- 4420.43/1106.62 c N dy 12688 3203384 60 5340 0 134259 37380 2158651 18.18 19.18 -- 4437.59/1110.98 c S st 12726 3211831 60 5340 0 72935 37380 814804 18.18 18.79 -- 4438.79/1111.24 c S st 12726 3212334 60 5340 0 73384 37380 824877 18.18 no data -- 4438.79/1111.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4438.79/1111.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4438.79/1111.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.16 4439.19/1111.32 c bin-w-bin subsume rem 0 bins time: 0.00 s 4439.19/1111.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4439.19/1111.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4439.19/1111.32 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4504.70/1127.75 c lits-rem: 882 cl-subs: 1471 v-elim: 0 v-fix: 0 time: 65.65 s 4504.70/1127.75 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4504.70/1127.77 c vivif2 -- cl tried 71913 cl shrink 0 lits rem 0 time: 0.05 4506.30/1128.14 c asymm cl-useful: 0/610/5340 lits-rem:0 time: 1.51 4506.30/1128.15 c calculated reachability. Time: 0.00 4506.30/1128.15 c N dy 12726 3212334 60 5340 0 71913 37380 794894 18.18 no data -- 4531.46/1134.42 c N dy 12774 3232344 60 5340 0 89452 37380 1163031 18.18 19.88 -- 4558.63/1141.27 c N dy 12781 3254784 60 5340 0 109044 37380 1567767 18.17 19.15 -- 4603.77/1152.59 c N dy 12899 3275306 60 5340 0 127126 37380 1963093 18.18 19.16 -- 4652.90/1164.87 c N dy 13019 3300661 60 5340 0 80092 37380 963021 18.18 19.16 -- 4679.26/1171.50 c N dy 13095 3321278 60 5340 0 98243 37380 1352131 18.18 19.15 -- 4716.01/1180.60 c N dy 13235 3341345 60 5340 0 115878 37380 1740801 18.19 19.64 -- 4751.97/1189.68 c N dy 13321 3361650 60 5340 0 133741 37380 2127770 18.19 19.19 -- 4795.11/1200.43 c N dy 13398 3394210 60 5340 0 91942 37380 1194008 18.19 19.22 --
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-3175434-1304123754/watcher-3175434-1304123754 -o /tmp/evaluation-result-3175434-1304123754/solver-3175434-1304123754 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175434-1304123754.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.02 7.79 7.92 6/180 1319 /proc/meminfo: memFree=30906452/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 523973369 52465664 352 33554432000 4194304 4650419 140735923565936 18446744073709551615 228244405233 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1319/statm: 12809 352 303 112 0 7774 0 [pid=1319/tid=1320] ppid=1317 vsize=208040 CPUtime=0 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 51 0 0 0 0 0 0 0 25 0 4 0 523973369 213032960 664 33554432000 4194304 4650419 140735923565936 18446744073709551615 228244348731 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=208040 CPUtime=0 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 89 0 0 0 0 0 0 0 25 0 4 0 523973369 213032960 670 33554432000 4194304 4650419 140735923565936 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=208040 CPUtime=0 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 103 0 0 0 0 0 0 0 25 0 4 0 523973369 213032960 685 33554432000 4194304 4650419 140735923565936 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.106761 s] /proc/loadavg: 7.02 7.79 7.92 6/180 1319 /proc/meminfo: memFree=30906452/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=216956 CPUtime=0.41 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 1342 0 0 0 41 0 0 0 25 0 4 0 523973369 222162944 1255 33554432000 4194304 4650419 140735923565936 18446744073709551615 4370647 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 54239 1255 366 112 0 49204 0 [pid=1319/tid=1320] ppid=1317 vsize=216956 CPUtime=0.1 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 168 0 0 0 10 0 0 0 25 0 4 0 523973369 222162944 1255 33554432000 4194304 4650419 140735923565936 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=216956 CPUtime=0.1 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 192 0 0 0 10 0 0 0 25 0 4 0 523973369 222162944 1255 33554432000 4194304 4650419 140735923565936 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=216956 CPUtime=0.1 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 355 0 0 0 10 0 0 0 18 0 4 0 523973369 222162944 1255 33554432000 4194304 4650419 140735923565936 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 216956 [startup+0.200735 s] /proc/loadavg: 7.02 7.79 7.92 6/180 1319 /proc/meminfo: memFree=30906452/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=219652 CPUtime=0.78 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 2965 0 0 0 78 0 0 0 25 0 4 0 523973369 224923648 2504 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 54913 2504 390 112 0 49878 0 [pid=1319/tid=1320] ppid=1317 vsize=219652 CPUtime=0.19 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 637 0 0 0 19 0 0 0 25 0 4 0 523973369 224923648 2504 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=219652 CPUtime=0.19 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 686 0 0 0 19 0 0 0 25 0 4 0 523973369 224923648 2504 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=219652 CPUtime=0.19 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 538 0 0 0 19 0 0 0 18 0 4 0 523973369 224923648 2504 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.78 Current children cumulated vsize (KiB) 219652 [startup+0.300718 s] /proc/loadavg: 7.02 7.79 7.92 6/180 1319 /proc/meminfo: memFree=30906452/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=220516 CPUtime=1.18 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 3595 0 0 0 118 0 0 0 25 0 4 0 523973369 225808384 2652 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 55129 2652 390 112 0 50094 0 [pid=1319/tid=1320] ppid=1317 vsize=220516 CPUtime=0.29 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 840 0 0 0 29 0 0 0 25 0 4 0 523973369 225808384 2652 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=220516 CPUtime=0.29 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 870 0 0 0 29 0 0 0 25 0 4 0 523973369 225808384 2652 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=220516 CPUtime=0.29 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 602 0 0 0 29 0 0 0 18 0 4 0 523973369 225808384 2652 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 220516 [startup+0.700649 s] /proc/loadavg: 7.02 7.79 7.92 6/180 1319 /proc/meminfo: memFree=30906452/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=221980 CPUtime=2.77 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 5559 0 0 0 277 0 0 0 25 0 4 0 523973369 227307520 3429 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 55495 3429 390 112 0 50460 0 [pid=1319/tid=1320] ppid=1317 vsize=221980 CPUtime=0.69 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 1270 0 0 0 69 0 0 0 25 0 4 0 523973369 227307520 3429 33554432000 4194304 4650419 140735923565936 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=221980 CPUtime=0.69 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 1320 0 0 0 69 0 0 0 25 0 4 0 523973369 227307520 3429 33554432000 4194304 4650419 140735923565936 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=221980 CPUtime=0.69 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 1226 0 0 0 69 0 0 0 18 0 4 0 523973369 227307520 3429 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 221980 [startup+1.50051 s] /proc/loadavg: 7.02 7.79 7.92 9/184 1353 /proc/meminfo: memFree=30888884/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=223604 CPUtime=5.97 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 9965 0 0 0 596 1 0 0 25 0 4 0 523973369 228970496 5349 33554432000 4194304 4650419 140735923565936 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 55901 5349 392 112 0 50866 0 [pid=1319/tid=1320] ppid=1317 vsize=223604 CPUtime=1.48 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 2036 0 0 0 148 0 0 0 25 0 4 0 523973369 228970496 5349 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=223604 CPUtime=1.49 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 2151 0 0 0 149 0 0 0 25 0 4 0 523973369 228970496 5349 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=223604 CPUtime=1.49 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 2063 0 0 0 149 0 0 0 20 0 4 0 523973369 228970496 5349 33554432000 4194304 4650419 140735923565936 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 223604 [startup+3.10023 s] /proc/loadavg: 7.02 7.79 7.92 9/184 1353 /proc/meminfo: memFree=30858380/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=226852 CPUtime=12.37 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 16408 0 0 0 1235 2 0 0 25 0 4 0 523973369 232296448 10101 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 56713 10101 392 112 0 51678 0 [pid=1319/tid=1320] ppid=1317 vsize=226852 CPUtime=3.07 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 3563 0 0 0 307 0 0 0 25 0 4 0 523973369 232296448 10101 33554432000 4194304 4650419 140735923565936 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=226852 CPUtime=3.08 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 4350 0 0 0 308 0 0 0 25 0 4 0 523973369 232296448 10101 33554432000 4194304 4650419 140735923565936 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=226852 CPUtime=3.08 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 4267 0 0 0 308 0 0 0 25 0 4 0 523973369 232296448 10101 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 226852 [startup+6.30067 s] /proc/loadavg: 7.10 7.79 7.92 9/184 1353 /proc/meminfo: memFree=30820232/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=224120 CPUtime=25.15 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 24049 0 0 0 2512 3 0 0 25 0 4 0 523973369 229498880 13020 33554432000 4194304 4650419 140735923565936 18446744073709551615 4438383 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 56030 13020 392 112 0 50995 0 [pid=1319/tid=1320] ppid=1317 vsize=224120 CPUtime=6.26 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 5907 0 0 0 626 0 0 0 25 0 4 0 523973369 229498880 13020 33554432000 4194304 4650419 140735923565936 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=224120 CPUtime=6.28 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 6136 0 0 0 628 0 0 0 25 0 4 0 523973369 229498880 13020 33554432000 4194304 4650419 140735923565936 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=224120 CPUtime=6.29 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 6303 0 0 0 628 1 0 0 25 0 4 0 523973369 229498880 13020 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 224120 [startup+12.7006 s] /proc/loadavg: 7.17 7.79 7.92 9/184 1353 /proc/meminfo: memFree=30765620/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=251068 CPUtime=50.71 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 34426 0 0 0 5066 5 0 0 25 0 4 0 523973369 257093632 18858 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 62767 18858 392 112 0 57732 0 [pid=1319/tid=1320] ppid=1317 vsize=251068 CPUtime=12.62 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 8188 0 0 0 1261 1 0 0 25 0 4 0 523973369 257093632 18858 33554432000 4194304 4650419 140735923565936 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=251068 CPUtime=12.69 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 8829 0 0 0 1268 1 0 0 25 0 4 0 523973369 257093632 18858 33554432000 4194304 4650419 140735923565936 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=251068 CPUtime=12.68 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 8917 0 0 0 1267 1 0 0 25 0 4 0 523973369 257093632 18858 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 251068 [startup+25.5003 s] /proc/loadavg: 7.42 7.82 7.92 9/184 1353 /proc/meminfo: memFree=30730288/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=270128 CPUtime=101.83 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 49528 0 0 0 10174 9 0 0 25 0 4 0 523973369 276611072 22421 33554432000 4194304 4650419 140735923565936 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 67532 22421 392 112 0 62497 0 [pid=1319/tid=1320] ppid=1317 vsize=270128 CPUtime=25.35 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 11611 0 0 0 2533 2 0 0 25 0 4 0 523973369 276611072 22421 33554432000 4194304 4650419 140735923565936 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=270128 CPUtime=25.48 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 13381 0 0 0 2546 2 0 0 25 0 4 0 523973369 276611072 22421 33554432000 4194304 4650419 140735923565936 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=270128 CPUtime=25.49 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 11598 0 0 0 2547 2 0 0 25 0 4 0 523973369 276611072 22421 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (KiB) 270128 [startup+51.1008 s] /proc/loadavg: 7.62 7.83 7.92 9/184 1354 /proc/meminfo: memFree=30698324/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=256720 CPUtime=204.1 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 75227 0 0 0 20392 18 0 0 25 0 4 0 523973369 262881280 24892 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 64180 24892 392 112 0 59145 0 [pid=1319/tid=1320] ppid=1317 vsize=256720 CPUtime=50.81 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 18478 0 0 0 5078 3 0 0 25 0 4 0 523973369 262881280 24892 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366956 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=256720 CPUtime=51.09 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 20434 0 0 0 5104 5 0 0 25 0 4 0 523973369 262881280 24892 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=256720 CPUtime=51.09 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 16754 0 0 0 5104 5 0 0 25 0 4 0 523973369 262881280 24892 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 204.1 Current children cumulated vsize (KiB) 256720 [startup+102.301 s] /proc/loadavg: 7.88 7.87 7.93 9/184 1356 /proc/meminfo: memFree=30649308/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=309556 CPUtime=408.64 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 113366 0 0 0 40833 31 0 0 25 0 4 0 523973369 316985344 32713 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 77389 32713 392 112 0 72354 0 [pid=1319/tid=1320] ppid=1317 vsize=309556 CPUtime=101.73 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 26068 0 0 0 10167 6 0 0 25 0 4 0 523973369 316985344 32714 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=309556 CPUtime=102.29 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 31842 0 0 0 10220 9 0 0 25 0 4 0 523973369 316985344 32714 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=309556 CPUtime=102.29 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 25519 0 0 0 10222 7 0 0 25 0 4 0 523973369 316985344 32714 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.64 Current children cumulated vsize (KiB) 309556 [startup+162.3 s] ################ # More data... # ################ [pid=1319] ppid=1317 vsize=370080 CPUtime=2565.71 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 321237 0 0 0 256445 126 0 0 25 0 4 0 523973369 378961920 66838 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 92520 66838 392 112 0 87485 0 [pid=1319/tid=1320] ppid=1317 vsize=370080 CPUtime=638.8 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 68218 0 0 0 63854 26 0 0 25 0 4 0 523973369 378961920 66838 33554432000 4194304 4650419 140735923565936 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=370080 CPUtime=642.3 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 100581 0 0 0 64189 41 0 0 25 0 4 0 523973369 378961920 66838 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=370080 CPUtime=642.3 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 62275 0 0 0 64207 23 0 0 25 0 4 0 523973369 378961920 66838 33554432000 4194304 4650419 140735923565936 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2565.71 Current children cumulated vsize (KiB) 370080 [startup+702.301 s] /proc/loadavg: 8.00 8.01 7.99 9/184 1371 /proc/meminfo: memFree=30315960/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=382424 CPUtime=2805.39 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 333161 0 0 0 280407 132 0 0 25 0 4 0 523973369 391602176 70852 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 95606 70852 392 112 0 90571 0 [pid=1319/tid=1320] ppid=1317 vsize=382424 CPUtime=698.47 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 68954 0 0 0 69821 26 0 0 25 0 4 0 523973369 391602176 70852 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=382424 CPUtime=702.3 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 105718 0 0 0 70186 44 0 0 25 0 4 0 523973369 391602176 70852 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=382424 CPUtime=702.3 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 66030 0 0 0 70206 24 0 0 25 0 4 0 523973369 391602176 70852 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2805.39 Current children cumulated vsize (KiB) 382424 [startup+762.3 s] /proc/loadavg: 8.04 8.02 7.99 9/184 1373 /proc/meminfo: memFree=30293676/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=448072 CPUtime=3045.07 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 341198 0 0 0 304370 137 0 0 25 0 4 0 523973369 458825728 73903 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 112018 73903 392 112 0 106983 0 [pid=1319/tid=1320] ppid=1317 vsize=448072 CPUtime=758.14 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 69280 0 0 0 75788 26 0 0 25 0 4 0 523973369 458825728 73903 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=448072 CPUtime=762.3 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 110929 0 0 0 76183 47 0 0 25 0 4 0 523973369 458825728 73903 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=448072 CPUtime=762.3 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 66390 0 0 0 76206 24 0 0 25 0 4 0 523973369 458825728 73903 33554432000 4194304 4650419 140735923565936 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3045.07 Current children cumulated vsize (KiB) 448072 [startup+822.301 s] /proc/loadavg: 8.10 8.05 8.00 9/184 1375 /proc/meminfo: memFree=30302556/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=434904 CPUtime=3284.74 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 353689 0 0 0 328328 146 0 0 25 0 4 0 523973369 445341696 74268 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 108726 74268 392 112 0 103691 0 [pid=1319/tid=1320] ppid=1317 vsize=434904 CPUtime=817.82 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 71771 0 0 0 81754 28 0 0 25 0 4 0 523973369 445341696 74268 33554432000 4194304 4650419 140735923565936 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=434904 CPUtime=822.3 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 115837 0 0 0 82179 51 0 0 25 0 4 0 523973369 445341696 74268 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=434904 CPUtime=822.31 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 68681 0 0 0 82204 27 0 0 25 0 4 0 523973369 445341696 74268 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3284.74 Current children cumulated vsize (KiB) 434904 [startup+882.306 s] /proc/loadavg: 8.17 8.08 8.01 9/184 1376 /proc/meminfo: memFree=30292208/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=435416 CPUtime=3524.44 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 357973 0 0 0 352295 149 0 0 25 0 4 0 523973369 445865984 73236 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 108854 73236 392 112 0 103819 0 [pid=1319/tid=1320] ppid=1317 vsize=435416 CPUtime=877.49 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 71842 0 0 0 87721 28 0 0 25 0 4 0 523973369 445865984 73236 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=435416 CPUtime=882.31 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 120050 0 0 0 88178 53 0 0 25 0 4 0 523973369 445865984 73236 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=435416 CPUtime=882.31 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 68681 0 0 0 88204 27 0 0 25 0 4 0 523973369 445865984 73236 33554432000 4194304 4650419 140735923565936 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3524.44 Current children cumulated vsize (KiB) 435416 [startup+942.301 s] /proc/loadavg: 8.22 8.11 8.02 9/184 1378 /proc/meminfo: memFree=30283224/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=435936 CPUtime=3764.1 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 367345 0 0 0 376256 154 0 0 25 0 4 0 523973369 446398464 73477 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 108984 73477 392 112 0 103949 0 [pid=1319/tid=1320] ppid=1317 vsize=435936 CPUtime=937.16 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 72281 0 0 0 93688 28 0 0 25 0 4 0 523973369 446398464 73477 33554432000 4194304 4650419 140735923565936 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=435936 CPUtime=942.31 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 125061 0 0 0 94175 56 0 0 25 0 4 0 523973369 446398464 73477 33554432000 4194304 4650419 140735923565936 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=435936 CPUtime=942.31 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 68848 0 0 0 94204 27 0 0 25 0 4 0 523973369 446398464 73477 33554432000 4194304 4650419 140735923565936 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3764.1 Current children cumulated vsize (KiB) 435936 [startup+1002.3 s] /proc/loadavg: 8.18 8.12 8.03 9/184 1379 /proc/meminfo: memFree=30273736/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=436000 CPUtime=4003.77 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 375212 0 0 0 400217 160 0 0 25 0 4 0 523973369 446464000 78455 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 109000 78455 392 112 0 103965 0 [pid=1319/tid=1320] ppid=1317 vsize=436000 CPUtime=996.83 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 72281 0 0 0 99655 28 0 0 25 0 4 0 523973369 446464000 78455 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=436000 CPUtime=1002.31 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 128544 0 0 0 100172 59 0 0 25 0 4 0 523973369 446464000 78455 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=436000 CPUtime=1002.31 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 68848 0 0 0 100204 27 0 0 25 0 4 0 523973369 446464000 78455 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4003.77 Current children cumulated vsize (KiB) 436000 [startup+1062.3 s] /proc/loadavg: 8.23 8.14 8.04 9/184 1381 /proc/meminfo: memFree=30282740/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=436048 CPUtime=4243.46 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 379699 0 0 0 424183 163 0 0 25 0 4 0 523973369 446513152 75519 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 109012 75519 392 112 0 103977 0 [pid=1319/tid=1320] ppid=1317 vsize=436048 CPUtime=1056.51 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 72281 0 0 0 105623 28 0 0 25 0 4 0 523973369 446513152 75519 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=436048 CPUtime=1062.31 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 132019 0 0 0 106170 61 0 0 25 0 4 0 523973369 446513152 75519 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=436048 CPUtime=1062.31 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 68863 0 0 0 106204 27 0 0 25 0 4 0 523973369 446513152 75519 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4243.46 Current children cumulated vsize (KiB) 436048 [startup+1122.3 s] /proc/loadavg: 8.16 8.13 8.04 9/184 1383 /proc/meminfo: memFree=30224024/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=448616 CPUtime=4483.13 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 393300 0 0 0 448143 170 0 0 25 0 4 0 523973369 459382784 82774 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 112154 82774 392 112 0 107119 0 [pid=1319/tid=1320] ppid=1317 vsize=448616 CPUtime=1116.18 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 72773 0 0 0 111590 28 0 0 25 0 4 0 523973369 459382784 82774 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=448616 CPUtime=1122.31 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 138421 0 0 0 112169 62 0 0 25 0 4 0 523973369 459382784 82774 33554432000 4194304 4650419 140735923565936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=448616 CPUtime=1122.31 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 71768 0 0 0 112201 30 0 0 25 0 4 0 523973369 459382784 82774 33554432000 4194304 4650419 140735923565936 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4483.13 Current children cumulated vsize (KiB) 448616 [startup+1182.3 s] /proc/loadavg: 8.16 8.13 8.04 9/184 1384 /proc/meminfo: memFree=30236464/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=461048 CPUtime=4722.82 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 401468 0 0 0 472107 175 0 0 25 0 4 0 523973369 472113152 82841 33554432000 4194304 4650419 140735923565936 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 115262 82841 392 112 0 110227 0 [pid=1319/tid=1320] ppid=1317 vsize=461048 CPUtime=1175.86 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 72826 0 0 0 117558 28 0 0 25 0 4 0 523973369 472113152 82841 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=461048 CPUtime=1182.31 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 142433 0 0 0 118167 64 0 0 25 0 4 0 523973369 472113152 82841 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=461048 CPUtime=1182.31 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 74277 0 0 0 118200 31 0 0 25 0 4 0 523973369 472113152 82841 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4722.82 Current children cumulated vsize (KiB) 461048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.18 8.14 8.04 9/184 1385 /proc/meminfo: memFree=30227400/32951124 swapFree=67111364/67111528 [pid=1319] ppid=1317 vsize=461092 CPUtime=4800.31 cores=1,3,5,7 /proc/1319/stat : 1319 (strangenight1-m) R 1317 1319 811 0 -1 4202496 405277 0 0 0 479855 176 0 0 25 0 4 0 523973369 472158208 83628 33554432000 4194304 4650419 140735923565936 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1319/statm: 115273 83628 392 112 0 110238 0 [pid=1319/tid=1320] ppid=1317 vsize=461092 CPUtime=1195.15 cores=1,3,5,7 /proc/1319/task/1320/stat : 1320 (strangenight1-m) R 1317 1319 811 0 -1 4202560 72826 0 0 0 119487 28 0 0 25 0 4 0 523973369 472158208 83628 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1319/tid=1321] ppid=1317 vsize=461092 CPUtime=1201.72 cores=1,3,5,7 /proc/1319/task/1321/stat : 1321 (strangenight1-m) R 1317 1319 811 0 -1 4202560 144712 0 0 0 120107 65 0 0 25 0 4 0 523973369 472158208 83628 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1319/tid=1322] ppid=1317 vsize=461092 CPUtime=1201.72 cores=1,3,5,7 /proc/1319/task/1322/stat : 1322 (strangenight1-m) R 1317 1319 811 0 -1 4202560 74277 0 0 0 120141 31 0 0 25 0 4 0 523973369 472158208 83628 33554432000 4194304 4650419 140735923565936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.31 Current children cumulated vsize (KiB) 461092 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.73 CPU time (s): 4800.37 CPU user time (s): 4798.59 CPU system time (s): 1.77873 CPU usage (%): 399.455 Max. virtual memory (cumulated for all children) (KiB): 461092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.59 system time used= 1.77873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 405279 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= 243 involuntary context switches= 33276 runsolver used 1.68774 second user time and 4.89426 second system time The end
Begin job on node136 at 2011-04-30 02:35:54 IDJOB=3175434 IDBENCH=83052 IDSOLVER=1588 FILE ID=node136/3175434-1304123754 RUNJOBID= node136-1304123753-1267 PBS_JOBID= 13170731 Free space on /tmp= 72328 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175434-1304123754/watcher-3175434-1304123754 -o /tmp/evaluation-result-3175434-1304123754/solver-3175434-1304123754 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175434-1304123754.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1e7a565e93334fc4a75fcaa13a0d446a RANDOM SEED=1389199734 node136.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.809 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.61 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.76 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.809 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.809 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.809 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.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30906484 kB Buffers: 598024 kB Cached: 946752 kB SwapCached: 0 kB Active: 158232 kB Inactive: 1461984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30906484 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 12460 kB Writeback: 0 kB AnonPages: 75316 kB Mapped: 15228 kB Slab: 361020 kB PageTables: 4672 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 282508 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= 72324 MiB End job on node136 at 2011-04-30 02:55:58