| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | SAT | 1433.1 | 358.775 |
| Name | SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf |
| MD5SUM | f874c09c5787bb3c6a16f7a5f9ea0ad4 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 26.544 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 841 |
| Number of clauses | 120147 |
| Sum of the clauses size | 314766 |
| Maximum clause length | 29 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 47183 |
| Number of clauses of size 3 | 72906 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 58 |
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-3292234-1304181051.cnf' 0.00/0.00 c -- header says num vars: 841 0.00/0.00 c -- header says num clauses: 120147 0.00/0.80 c -- clauses added: 0 learnts, 120147 normals, 0 xors 0.00/0.80 c -- vars added 841 0.00/0.80 c Parsing time: 0.13 s 0.00/0.80 c N st 0 0 841 72964 47183 0 314766 0 no data no data -- 0.00/0.80 c asymm cl-useful: 129/7956/72964 lits-rem:387 time: 3.01 3.57/0.92 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.0M T: 0.44 7.18/1.81 c bin-w-bin subsume rem 23587 bins time: 0.07 s 7.18/1.81 c subs with bin: 13801 lits-rem: 9286 v-fix: 0 time: 0.19 s 7.18/1.81 c Subs w/ non-existent bins: 115 l-rem: 53 v-fix: 0 done: 840 time: 0.04 s 7.18/1.81 c Removed useless bin: 5302 fixed: 0 props: 3.20M time: 0.05 s 7.18/1.81 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.37 s 7.18/1.81 c Finding binary XORs T: 0.00 s found: 0 7.18/1.81 c Finding non-binary XORs: 0.18 s (found: 0, avg size: nan) 7.18/1.81 c calculated reachability. Time: 0.00 7.18/1.81 c Calc default polars - time: 0.01 s pos: 0 undec: 1 neg: 840 7.18/1.81 c ========================================================================================= 7.18/1.81 c types(t): F = full restart, N = normal restart 7.18/1.81 c types(t): S = simplification begin/end, E = solution found 7.18/1.81 c restart types(rt): st = static, dy = dynamic 7.18/1.81 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 7.18/1.81 c B st 0 0 840 58346 28020 0 232584 0 no data no data -- 7.18/1.81 c N dy 18 4107 840 58346 28025 4039 232584 91379 9.52 10.03 -- 8.76/2.26 c N dy 38 8304 840 58346 32759 8171 232584 194127 8.97 9.55 -- 9.56/2.46 c Finding binary XORs T: 0.00 s found: 0 11.16/2.86 c N dy 63 12577 840 58346 32759 12400 232584 293930 8.99 9.68 -- 13.55/3.42 c N dy 84 16628 840 58346 32783 16393 232584 387424 9.04 9.56 -- 15.97/4.10 c N dy 107 21035 840 58346 32788 10871 232584 188649 9.01 9.68 -- 18.34/4.69 c F st 124 25000 840 58346 32794 14772 232584 270811 8.91 no data -- 18.74/4.74 c N st 125 25253 840 58346 32794 15021 232584 276103 8.91 no data -- 21.54/5.41 c N dy 130 30002 840 58346 32794 19711 232584 392961 8.91 no data -- 21.54/5.41 c S st 130 30002 840 58346 32794 19711 232584 392961 8.91 no data -- 21.54/5.48 c S st 130 30505 840 58346 32794 20214 232584 402979 8.91 no data -- 21.54/5.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 21.54/5.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.34/5.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 85 BRemL: 4746 BRemN: 0 P: 3.4M T: 0.54 22.34/5.65 c bin-w-bin subsume rem 2326 bins time: 0.03 s 25.53/6.46 c subs with bin: 398 lits-rem: 535 v-fix: 0 time: 3.22 s 25.53/6.48 c Subs w/ non-existent bins: 4 l-rem: 2262 v-fix: 0 done: 657 time: 0.06 s 25.53/6.48 c Removed useless bin: 13 fixed: 0 props: 2.14M time: 0.02 s 37.52/9.40 c lits-rem: 1083 cl-subs: 3362 v-elim: 0 v-fix: 0 time: 11.62 s 39.12/9.81 c asymm cl-useful: 0/2239/58258 lits-rem:0 time: 1.64 39.12/9.81 c calculated reachability. Time: 0.00 39.12/9.81 c N dy 130 30505 840 58258 25853 16538 227818 346620 8.91 no data -- 41.52/10.45 c N dy 154 34759 840 58258 25858 20722 227818 435284 8.90 9.56 -- 43.91/11.08 c N dy 175 38782 840 58258 25867 24689 227818 522096 8.89 9.48 -- 46.72/11.73 c N dy 195 42895 840 58258 25868 28737 227818 608462 8.88 9.54 -- 48.30/12.18 c S st 208 45757 840 58258 25869 16309 227818 242438 8.85 7.94 -- 48.70/12.25 c S st 208 46258 840 58258 25869 16810 227818 253305 8.85 no data -- 48.70/12.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 48.70/12.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 49.10/12.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 24 BRemL: 11 BRemN: 9 P: 3.3M T: 0.48 49.10/12.40 c bin-w-bin subsume rem 41 bins time: 0.03 s 51.12/12.86 c subs with bin: 35 lits-rem: 117 v-fix: 0 time: 1.87 s 51.12/12.88 c Subs w/ non-existent bins: 0 l-rem: 1678 v-fix: 0 done: 840 time: 0.06 s 51.12/12.88 c Removed useless bin: 15 fixed: 0 props: 2.18M time: 0.02 s 60.30/15.19 c lits-rem: 535 cl-subs: 1299 v-elim: 0 v-fix: 0 time: 9.19 s 60.68/15.20 c vivif2 -- cl tried 58228 cl shrink 0 lits rem 0 time: 0.06 60.68/15.21 c vivif2 -- cl tried 15506 cl shrink 284 lits rem 416 time: 0.04 63.88/16.01 c asymm cl-useful: 0/4403/58228 lits-rem:0 time: 3.21 63.88/16.02 c calculated reachability. Time: 0.00 63.88/16.02 c N dy 208 46258 840 58228 25838 15506 227734 239615 8.85 no data -- 66.28/16.61 c N dy 236 50354 840 58228 25838 19546 227734 331765 8.87 9.55 -- 68.70/17.26 c N dy 257 54441 840 58228 25955 23556 227734 415265 8.88 9.39 -- 71.47/17.92 c N dy 289 58708 840 58228 25956 27757 227734 508603 8.91 9.42 -- 74.26/18.61 c N dy 311 62900 840 58228 25956 31889 227734 599387 8.92 9.53 -- 76.67/19.24 c N dy 337 66927 840 58228 25957 35854 227734 689872 8.95 10.09 -- 77.49/19.42 c Finding binary XORs T: 0.00 s found: 0 78.26/19.68 c S st 347 69387 840 58228 25958 19834 227734 245941 8.94 no data -- 78.66/19.76 c S st 347 69888 840 58228 25958 20335 227734 255719 8.94 no data -- 78.66/19.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 78.66/19.76 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 79.06/19.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 9 BRemL: 108 BRemN: 2 P: 3.4M T: 0.52 79.46/19.92 c bin-w-bin subsume rem 21 bins time: 0.03 s 81.06/20.33 c subs with bin: 141 lits-rem: 142 v-fix: 0 time: 1.65 s 81.06/20.35 c Subs w/ non-existent bins: 0 l-rem: 1174 v-fix: 0 done: 840 time: 0.06 s 81.06/20.35 c Removed useless bin: 20 fixed: 0 props: 2.19M time: 0.02 s 90.25/22.62 c lits-rem: 394 cl-subs: 1423 v-elim: 0 v-fix: 0 time: 9.07 s 90.25/22.64 c vivif2 -- cl tried 58216 cl shrink 0 lits rem 0 time: 0.06 90.25/22.65 c vivif2 -- cl tried 18783 cl shrink 148 lits rem 194 time: 0.05 93.44/23.46 c asymm cl-useful: 21/4478/58216 lits-rem:63 time: 3.22 93.44/23.46 c calculated reachability. Time: 0.00 93.44/23.46 c N dy 347 69888 840 58195 25845 18783 227645 239958 8.94 no data -- 96.23/24.13 c N dy 373 74440 840 58195 25845 23268 227645 339429 8.95 10.05 -- 99.04/24.89 c N dy 402 79268 840 58195 25859 28024 227645 439988 8.96 10.26 -- 102.23/25.69 c N dy 434 84378 840 58195 25860 33058 227645 551656 8.98 9.48 -- 104.62/26.21 c F st 454 87500 840 58195 25861 36125 227645 617686 9.00 6.40 -- 106.62/26.73 c N st 459 90800 840 58195 25863 39354 227645 691417 9.00 no data -- 110.21/27.65 c N dy 474 96630 840 58195 25870 24541 227645 308430 8.98 9.52 -- 114.21/28.62 c N dy 510 102863 840 58195 25876 30683 227645 443327 8.98 9.45 -- 115.41/28.94 c S st 521 104832 840 58195 25876 32612 227645 483469 8.98 8.52 -- 115.81/29.02 c S st 521 105334 840 58195 25876 33114 227645 493381 8.98 no data -- 115.81/29.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 115.81/29.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 116.21/29.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 26 BRemL: 6 BRemN: 9 P: 4.0M T: 0.55 116.21/29.20 c bin-w-bin subsume rem 9 bins time: 0.03 s 120.20/30.15 c subs with bin: 1658 lits-rem: 1671 v-fix: 0 time: 3.81 s 120.20/30.17 c Subs w/ non-existent bins: 0 l-rem: 3421 v-fix: 0 done: 622 time: 0.07 s 120.20/30.17 c Removed useless bin: 7 fixed: 0 props: 2.15M time: 0.02 s 132.18/33.19 c lits-rem: 764 cl-subs: 3020 v-elim: 0 v-fix: 0 time: 12.04 s 132.58/33.20 c vivif2 -- cl tried 58165 cl shrink 0 lits rem 0 time: 0.06 132.58/33.22 c vivif2 -- cl tried 28466 cl shrink 1485 lits rem 2036 time: 0.08 134.19/33.61 c asymm cl-useful: 9/2006/58165 lits-rem:27 time: 1.54 134.19/33.61 c calculated reachability. Time: 0.00 134.19/33.61 c N dy 521 105334 840 58156 25904 28466 227570 434663 8.98 no data -- 138.58/34.70 c N dy 565 112150 840 58156 25921 35157 227570 584262 9.00 9.64 -- 143.38/35.96 c N dy 603 119554 840 58156 25923 42419 227570 742007 9.00 9.49 -- 148.56/37.26 c N dy 653 127308 840 58156 25927 28039 227570 389008 9.03 9.58 -- 154.15/38.63 c N dy 699 135529 840 58156 25931 36115 227570 565728 9.04 10.19 -- 160.15/40.17 c N dy 753 144453 840 58156 25935 44878 227570 752066 9.06 10.31 -- 166.13/41.67 c N dy 814 153692 840 58156 25936 30677 227570 359905 9.10 9.59 -- 168.94/42.31 c S st 834 158001 840 58156 25942 34918 227570 457139 9.09 8.67 -- 168.94/42.38 c S st 834 158502 840 58156 25942 35419 227570 467904 9.09 no data -- 168.94/42.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 168.94/42.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 169.76/42.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 15 BRemL: 4 BRemN: 3 P: 3.8M T: 0.54 169.76/42.55 c bin-w-bin subsume rem 23 bins time: 0.03 s 173.33/43.41 c subs with bin: 332 lits-rem: 562 v-fix: 0 time: 3.41 s 173.33/43.43 c Subs w/ non-existent bins: 0 l-rem: 3519 v-fix: 0 done: 633 time: 0.07 s 173.33/43.43 c Removed useless bin: 5 fixed: 0 props: 2.15M time: 0.02 s 184.91/46.35 c lits-rem: 1010 cl-subs: 3279 v-elim: 0 v-fix: 0 time: 11.64 s 184.91/46.36 c vivif2 -- cl tried 58123 cl shrink 0 lits rem 0 time: 0.06 184.91/46.38 c vivif2 -- cl tried 31841 cl shrink 1570 lits rem 2144 time: 0.09 186.51/46.78 c asymm cl-useful: 6/1999/58123 lits-rem:18 time: 1.57 186.51/46.78 c calculated reachability. Time: 0.00 186.51/46.78 c N dy 834 158502 840 58117 25951 31841 227511 420673 9.09 no data -- 186.51/46.78 c Finding binary XORs T: 0.00 s found: 0 193.30/48.41 c N dy 886 168716 840 58117 25972 41843 227511 634721 9.10 9.86 -- 200.10/50.20 c N dy 951 179654 840 58117 25976 28204 227511 265235 9.13 9.61 -- 207.28/51.98 c N dy 1015 191185 840 58117 25977 39559 227511 516079 9.12 9.76 -- 215.67/54.07 c N dy 1087 203427 840 58117 25984 26137 227511 197190 9.14 9.68 -- 223.66/56.07 c N dy 1157 216666 840 58117 25996 39124 227511 486328 9.15 9.96 -- 233.25/58.43 c N dy 1242 230582 840 58117 26006 52788 227511 790958 9.16 9.66 -- 237.64/59.56 c S st 1293 237753 840 58117 26009 33364 227511 355636 9.18 no data -- 238.04/59.64 c S st 1293 238257 840 58117 26009 33867 227511 366504 9.18 no data -- 238.04/59.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 238.04/59.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 238.44/59.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 16 BRemL: 5 BRemN: 2 P: 3.8M T: 0.57 238.84/59.81 c bin-w-bin subsume rem 23 bins time: 0.03 s 241.24/60.45 c subs with bin: 1070 lits-rem: 1102 v-fix: 0 time: 2.54 s 241.24/60.47 c Subs w/ non-existent bins: 2 l-rem: 3040 v-fix: 0 done: 798 time: 0.07 s 241.24/60.47 c Removed useless bin: 11 fixed: 0 props: 2.13M time: 0.02 s 252.02/63.15 c lits-rem: 550 cl-subs: 1922 v-elim: 0 v-fix: 0 time: 10.68 s 252.02/63.16 c vivif2 -- cl tried 58087 cl shrink 0 lits rem 0 time: 0.06 252.02/63.18 c vivif2 -- cl tried 30903 cl shrink 622 lits rem 930 time: 0.07 253.64/63.57 c asymm cl-useful: 6/2016/58087 lits-rem:18 time: 1.57 253.64/63.58 c calculated reachability. Time: 0.00 253.64/63.58 c N dy 1293 238257 840 58081 26012 30903 227443 335329 9.18 no data -- 263.61/66.05 c N dy 1397 253543 839 58081 26027 45939 227443 676016 9.22 9.72 -- 274.40/68.77 c N dy 1505 269809 839 58081 26032 34430 227443 362567 9.26 9.78 -- 285.98/71.61 c N dy 1617 287039 839 58081 26046 51320 227443 744276 9.31 10.14 -- 298.36/74.70 c N dy 1740 305487 839 58081 26067 40946 227443 493816 9.34 9.94 -- 298.76/74.83 c F st 1748 306250 839 58081 26067 41695 227443 510562 9.35 no data -- 307.55/77.06 c Finding binary XORs T: 0.00 s found: 0 311.95/78.11 c N dy 1836 325230 838 58006 25834 29000 226986 250737 9.37 10.11 -- 325.12/81.41 c N dy 1974 345253 838 58006 25836 48679 226986 697696 9.40 14.48 -- 333.91/83.61 c S st 2053 357385 838 58006 25838 31117 226986 265459 9.42 8.85 -- 333.91/83.68 c S st 2053 357888 838 58006 25838 31618 226986 276415 9.42 no data -- 333.91/83.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 333.91/83.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 334.71/83.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 5 BRemL: 0 BRemN: 1 P: 3.8M T: 0.53 334.71/83.84 c bin-w-bin subsume rem 20 bins time: 0.03 s 336.31/84.22 c subs with bin: 254 lits-rem: 130 v-fix: 0 time: 1.52 s 336.31/84.23 c Subs w/ non-existent bins: 9 l-rem: 942 v-fix: 0 done: 838 time: 0.06 s 336.31/84.24 c Removed useless bin: 2 fixed: 0 props: 2.21M time: 0.02 s 345.91/86.69 c lits-rem: 223 cl-subs: 965 v-elim: 0 v-fix: 0 time: 9.79 s 346.29/86.71 c vivif2 -- cl tried 57991 cl shrink 0 lits rem 0 time: 0.06 346.29/86.72 c vivif2 -- cl tried 30405 cl shrink 110 lits rem 152 time: 0.06 349.49/87.54 c asymm cl-useful: 18/3883/57991 lits-rem:54 time: 3.27 349.49/87.54 c calculated reachability. Time: 0.00 349.49/87.54 c N dy 2053 357888 838 57973 25848 30405 226947 263454 9.42 no data -- 363.50/91.09 c N dy 2155 379123 838 57973 25861 51258 226947 715761 9.41 9.99 -- 377.46/94.56 c N dy 2252 399142 838 57973 25865 40006 226947 453255 9.40 12.89 -- 391.03/97.98 c N dy 2355 419143 838 57973 25872 59657 226947 887636 9.40 10.56 -- 404.62/101.37 c N dy 2451 439157 838 57973 25879 47144 226947 588775 9.39 17.88 -- 419.01/104.94 c N dy 2556 459197 838 57973 25886 33551 226947 240389 9.39 9.91 -- 431.78/108.16 c N dy 2655 479248 838 57973 25892 53302 226947 682896 9.39 9.92 -- 445.36/111.52 c N dy 2787 499252 838 57973 25897 38607 226947 317967 9.41 9.98 -- 457.75/114.68 c N dy 2886 519424 838 57973 25901 58389 226947 745019 9.40 10.04 -- 469.33/117.58 c S st 2985 536834 838 57973 25906 40155 226947 305392 9.41 no data -- 469.73/117.65 c S st 2985 537338 838 57973 25906 40658 226947 316844 9.41 no data -- 469.73/117.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 469.73/117.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 470.13/117.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 20 BRemL: 10 BRemN: 9 P: 3.4M T: 0.52 470.53/117.81 c bin-w-bin subsume rem 11 bins time: 0.03 s 472.13/118.23 c subs with bin: 756 lits-rem: 521 v-fix: 0 time: 1.64 s 472.13/118.24 c Subs w/ non-existent bins: 0 l-rem: 1737 v-fix: 0 done: 838 time: 0.06 s 472.13/118.25 c Removed useless bin: 3 fixed: 0 props: 2.17M time: 0.02 s 482.52/120.87 c lits-rem: 648 cl-subs: 1997 v-elim: 0 v-fix: 0 time: 10.48 s 482.52/120.89 c vivif2 -- cl tried 57931 cl shrink 0 lits rem 0 time: 0.06 482.91/120.91 c vivif2 -- cl tried 37947 cl shrink 299 lits rem 434 time: 0.07 484.52/121.32 c asymm cl-useful: 21/2102/57931 lits-rem:63 time: 1.67 484.52/121.33 c calculated reachability. Time: 0.00 484.52/121.33 c N dy 2985 537338 838 57910 25947 37947 226856 288131 9.41 no data -- 497.30/124.51 c N dy 3096 557492 838 57910 25951 57745 226856 715761 9.41 9.94 -- 510.48/127.84 c N dy 3207 577504 838 57910 25953 41118 226856 316868 9.41 10.01 -- 523.26/131.06 c N dy 3328 597552 838 57910 25956 60806 226856 761891 9.42 10.08 -- 536.84/134.49 c N dy 3437 617824 838 57910 25961 43396 226856 334022 9.43 9.98 -- 548.82/137.47 c Finding binary XORs T: 0.00 s found: 0 550.02/137.73 c N dy 3537 637870 838 57910 25982 63118 226856 763848 9.42 10.48 -- 563.21/141.09 c N dy 3629 657897 838 57910 25992 44467 226856 321160 9.41 10.10 -- 576.38/144.34 c N dy 3733 678082 838 57910 25994 64290 226856 761549 9.41 9.92 -- 590.37/147.88 c N dy 3845 698193 838 57910 26022 44774 226856 309968 9.42 9.93 -- 603.15/151.03 c N dy 3953 718317 838 57910 26025 64526 226856 751400 9.42 10.14 -- 616.74/154.48 c N dy 4076 738477 838 57910 26031 44048 226856 283210 9.42 10.00 -- 629.52/157.66 c N dy 4189 758576 838 57910 26035 63823 226856 724534 9.43 10.01 -- 643.50/161.15 c N dy 4300 778610 838 57910 26047 42236 226856 222355 9.43 13.79 -- 655.88/164.25 c N dy 4426 798630 838 57910 26054 61872 226856 672668 9.44 11.70 -- 661.08/165.55 c S st 4466 806007 838 57910 26056 69096 226856 828283 9.44 no data -- 661.48/165.63 c S st 4466 806510 838 57910 26056 69597 226856 839061 9.44 no data -- 661.48/165.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 661.48/165.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 661.89/165.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 17 BRemL: 5 BRemN: 7 P: 4.4M T: 0.63 662.30/165.84 c bin-w-bin subsume rem 34 bins time: 0.04 s 666.69/166.95 c subs with bin: 923 lits-rem: 546 v-fix: 0 time: 4.42 s 666.69/166.97 c Subs w/ non-existent bins: 52 l-rem: 4612 v-fix: 0 done: 396 time: 0.09 s 666.69/166.98 c Removed useless bin: 8 fixed: 0 props: 2.11M time: 0.02 s 676.25/169.36 c lits-rem: 766 cl-subs: 6600 v-elim: 0 v-fix: 0 time: 9.51 s 676.25/169.38 c vivif2 -- cl tried 57847 cl shrink 15 lits rem 15 time: 0.06 676.65/169.43 c vivif2 -- cl tried 61997 cl shrink 4910 lits rem 7307 time: 0.20 678.25/169.80 c asymm cl-useful: 9/1626/57832 lits-rem:27 time: 1.50 678.25/169.81 c calculated reachability. Time: 0.00 678.25/169.81 c N dy 4466 806510 838 57823 26090 61997 226731 731282 9.44 no data -- 679.87/170.23 c Finding binary XORs T: 0.00 s found: 0 692.65/173.45 c N dy 4593 826529 838 57823 26111 81666 226731 1174445 9.45 10.22 -- 705.83/176.80 c N dy 4696 846767 838 57823 26130 59368 226731 584720 9.45 9.97 -- 720.19/180.35 c N dy 4797 867562 838 57823 26152 79719 226731 1031612 9.45 10.44 -- 733.38/183.61 c N dy 4919 887693 837 57823 26170 56344 226731 515556 9.45 9.99 -- 746.95/187.01 c N dy 5041 907715 837 57823 26175 75999 226731 959354 9.46 10.04 -- 760.94/190.56 c N dy 5158 927776 837 57823 26180 51544 226731 383438 9.47 11.21 -- 774.12/193.82 c N dy 5274 947794 837 57823 26186 71133 226731 826522 9.47 14.54 -- 788.91/197.51 c N dy 5394 967906 837 57823 26194 45770 226731 238510 9.48 10.10 -- 801.29/200.65 c N dy 5500 987922 837 57823 26223 65445 226731 681163 9.48 10.17 -- 815.27/204.15 c N dy 5623 1008056 837 57823 26232 85194 226731 1122465 9.49 9.99 -- 828.86/207.56 c N dy 5744 1028218 837 57823 26240 58862 226731 514302 9.49 10.14 -- 842.45/210.97 c N dy 5858 1048277 837 57823 26251 78508 226731 958597 9.50 10.40 -- 856.81/214.57 c N dy 5991 1068309 837 57823 26258 51086 226731 321056 9.51 10.06 -- 859.22/215.15 c F st 6010 1071875 837 57823 26260 54585 226731 396508 9.51 no data -- 870.39/217.97 c N dy 6080 1088830 837 57769 26139 69670 226479 762085 9.51 10.08 -- 884.77/221.55 c N dy 6212 1109054 837 57769 26146 89535 226479 1217427 9.52 10.34 -- 893.16/223.66 c Finding binary XORs T: 0.00 s found: 0 898.36/224.99 c N dy 6320 1129099 837 57769 26151 61907 226479 564968 9.52 10.10 -- 911.94/228.36 c N dy 6427 1149134 837 57769 26210 81557 226479 1015248 9.52 10.53 -- 926.72/232.09 c N dy 6553 1169397 837 57769 26221 52759 226479 337705 9.53 10.13 -- 940.30/235.47 c N dy 6668 1189400 837 57769 26236 72361 226479 768996 9.53 10.20 -- 955.08/239.10 c N dy 6801 1209507 837 57769 26273 92079 226479 1211959 9.54 10.11 -- 955.08/239.14 c S st 6802 1209765 837 57769 26273 92337 226479 1217654 9.54 7.90 -- 955.49/239.23 c S st 6802 1210265 837 57769 26273 92837 226479 1227465 9.54 no data -- 955.49/239.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 955.49/239.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 956.30/239.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 16 BRemL: 14 BRemN: 2 P: 5.2M T: 0.72 956.30/239.48 c bin-w-bin subsume rem 77 bins time: 0.03 s 961.09/240.69 c subs with bin: 2151 lits-rem: 1708 v-fix: 0 time: 4.84 s 961.46/240.72 c Subs w/ non-existent bins: 137 l-rem: 5004 v-fix: 0 done: 280 time: 0.10 s 961.46/240.74 c Removed useless bin: 10 fixed: 0 props: 2.03M time: 0.02 s 975.45/244.24 c lits-rem: 298 cl-subs: 8927 v-elim: 0 v-fix: 0 time: 13.95 s 975.45/244.25 c vivif2 -- cl tried 57670 cl shrink 21 lits rem 21 time: 0.06 975.85/244.33 c vivif2 -- cl tried 81339 cl shrink 8112 lits rem 12557 time: 0.31 977.05/244.68 c asymm cl-useful: 6/1351/57649 lits-rem:18 time: 1.42 977.05/244.69 c calculated reachability. Time: 0.00 977.05/244.69 c N dy 6802 1210265 837 57643 26300 81337 226321 1065397 9.54 no data -- 977.05/244.69 c Finding binary XORs T: 0.00 s found: 0 992.63/248.53 c N dy 6924 1230334 836 57643 26310 51313 226321 284480 9.55 10.50 -- 1005.80/251.81 c N dy 7044 1250371 836 57643 26317 71002 226321 723736 9.55 10.11 -- 1020.20/255.48 c N dy 7170 1270833 836 57643 26318 91123 226321 1179602 9.55 10.06 -- 1034.98/259.10 c N dy 7286 1290922 836 57643 26323 59919 226321 453690 9.56 10.14 -- 1048.97/262.61 c N dy 7411 1311071 836 57643 26329 79650 226321 894320 9.57 10.14 -- 1063.34/266.30 c N dy 7525 1331085 836 57643 26334 99326 226321 1340858 9.58 11.43 -- 1077.71/269.89 c N dy 7647 1351178 836 57643 26336 67038 226321 593669 9.58 11.26 -- 1092.10/273.42 c N dy 7760 1371205 836 57643 26366 86658 226321 1023035 9.58 10.12 -- 1107.67/277.33 c N dy 7886 1391302 836 57643 26370 53470 226321 282001 9.59 10.15 -- 1120.86/280.67 c N dy 8009 1411374 836 57643 26372 73142 226321 715135 9.60 14.67 -- 1135.23/284.20 c N dy 8136 1431382 836 57643 26379 92754 226321 1159046 9.60 10.13 -- 1150.42/288.04 c N dy 8248 1451609 836 57643 26393 58679 226321 380355 9.61 10.48 -- 1164.00/291.44 c N dy 8374 1471628 836 57643 26399 78342 226321 823229 9.61 10.15 -- 1178.78/295.12 c N dy 8506 1491723 836 57643 26404 98042 226321 1269589 9.62 10.15 -- 1193.57/298.84 c N dy 8632 1511820 836 57643 26411 62830 226321 461209 9.63 12.33 -- 1207.54/302.31 c N dy 8748 1531870 836 57643 26414 82496 226321 902923 9.63 10.28 -- 1222.72/306.14 c N dy 8865 1552030 836 57643 26417 102206 226321 1332317 9.63 10.32 -- 1237.92/309.92 c N dy 8984 1572191 836 57643 26433 66101 226321 510885 9.63 10.15 -- 1251.48/313.36 c N dy 9099 1592268 836 57643 26447 85773 226321 951916 9.64 10.29 -- 1267.06/317.22 c N dy 9210 1612499 836 57643 26456 105652 226321 1396313 9.64 10.24 -- 1282.24/321.09 c N dy 9344 1632597 836 57643 26459 68545 226321 553350 9.65 10.51 -- 1291.43/323.34 c Finding binary XORs T: 0.01 s found: 0 1296.62/324.65 c N dy 9451 1652641 836 57616 26348 87228 226108 977462 9.65 10.60 -- 1312.21/328.59 c N dy 9566 1672896 836 57616 26358 107075 226108 1423055 9.65 10.34 -- 1327.77/332.44 c N dy 9678 1693046 836 57616 26364 69440 226108 564859 9.65 10.18 -- 1339.76/335.42 c S st 9787 1710265 836 57616 26383 86288 226108 939644 9.66 no data -- 1340.16/335.51 c S st 9787 1710765 836 57616 26383 86786 226108 950956 9.66 no data -- 1340.16/335.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1340.16/335.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1340.56/335.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 7 BRemL: 7 BRemN: 7 P: 4.9M T: 0.69 1340.96/335.73 c bin-w-bin subsume rem 91 bins time: 0.04 s 1345.35/336.87 c subs with bin: 1229 lits-rem: 1814 v-fix: 0 time: 4.53 s 1345.35/336.89 c Subs w/ non-existent bins: 79 l-rem: 4122 v-fix: 0 done: 373 time: 0.09 s 1345.75/336.90 c Removed useless bin: 6 fixed: 0 props: 1.95M time: 0.02 s 1356.56/339.65 c lits-rem: 229 cl-subs: 7183 v-elim: 0 v-fix: 0 time: 10.96 s 1356.56/339.66 c vivif2 -- cl tried 57514 cl shrink 21 lits rem 21 time: 0.06 1356.94/339.72 c vivif2 -- cl tried 78347 cl shrink 4798 lits rem 6982 time: 0.23 1358.14/340.08 c asymm cl-useful: 10/1461/57493 lits-rem:30 time: 1.45 1358.14/340.09 c calculated reachability. Time: 0.00 1358.14/340.09 c N dy 9787 1710765 836 57483 26389 78345 225941 833699 9.66 no data -- 1372.12/343.53 c Finding binary XORs T: 0.00 s found: 0 1372.92/343.80 c N dy 9884 1730841 836 57483 26427 97987 225941 1261210 9.66 10.30 -- 1390.49/348.10 c N dy 10001 1751416 835 57483 26435 59675 225941 331373 9.66 10.21 -- 1404.08/351.59 c N dy 10108 1771706 835 57483 26445 79542 225941 763680 9.66 10.37 -- 1419.25/355.37 c N dy 10222 1792008 835 57483 26455 99464 225941 1197844 9.66 10.17 -- 1432.84/358.75 c E dy 10311 1809062 0 57483 26472 116190 225941 1566640 9.66 8.46 -- 1432.84/358.76 c Verified 57483 clauses. 1432.84/358.76 c Verified 57483 clauses. 1432.84/358.76 c Following stats are for *FIRST FINISHED THREAD ONLY* 1432.84/358.76 c num threads : 4 1432.84/358.76 c restarts : 10311 1432.84/358.76 c dynamic restarts : 10281 1432.84/358.76 c static restarts : 30 1432.84/358.76 c full restarts : 4 1432.84/358.76 c total simplify time : 0.14 1432.84/358.76 c learnts DL2 : 0 1432.84/358.76 c learnts size 2 : 63758 1432.84/358.76 c learnts size 1 : 6 (0.71 % of vars) 1432.84/358.76 c filedLit time : 6.75 (0.47 % time) 1432.84/358.76 c v-elim SatELite : 0 (0.00 % vars) 1432.84/358.76 c SatELite time : 119.39 (8.34 % time) 1432.84/358.76 c v-elim xor : 0 (0.00 % vars) 1432.84/358.76 c xor elim time : 0.19 (0.01 % time) 1432.84/358.76 c num binary xor trees : 0 1432.84/358.76 c binxor trees' crown : 0 (nan leafs/tree) 1432.84/358.76 c bin xor find time : 0.05 1432.84/358.76 c OTF clause improved : 33187 (0.02 clauses/conflict) 1432.84/358.76 c OTF impr. size diff : 43425 (1.31 lits/clause) 1432.84/358.76 c OTF cl watch-shrink : 1047177 (0.58 clauses/conflict) 1432.84/358.76 c OTF cl watch-sh-lit : 4802321 (4.59 lits/clause) 1432.84/358.76 c tried to recurMin cls : 744129 (41.13 % of conflicts) 1432.84/358.76 c updated cache : 6374 (0.01 lits/tried recurMin) 1432.84/358.76 c unit cls received : 4 (66.67 % of units) 1432.84/358.76 c unit cls sent : 0 (0.00 % of units) 1432.84/358.76 c bin cls received : 5644 1432.84/358.76 c bin cls sent : 668 1432.84/358.76 c clauses over max glue : 0 (0.00 % of all clauses) 1432.84/358.76 c conflicts : 1809062 (1263.03 / sec) 1432.84/358.76 c decisions : 3919132 (0.10 % random) 1432.84/358.76 c bogo-props : 21858263133 (15260769.27 / sec) 1432.84/358.76 c conflict literals : 40028761 (58.17 % deleted) 1432.84/358.76 c Memory used : 474.86 MB 1432.84/358.76 c single-thread CPU time : 1432.32 s 1432.84/358.76 c all-threads sum CPU time : 1432.32 s 1432.84/358.76 s SATISFIABLE 1432.84/358.76 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 492 -493 -494 -495 -496 -497 -498 -499 -500 501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 0
OK
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-3292234-1304181051/watcher-3292234-1304181051 -o /tmp/evaluation-result-3292234-1304181051/solver-3292234-1304181051 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3292234-1304181051.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.50 7.97 8.04 6/184 18616 /proc/meminfo: memFree=29852876/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 529703289 52465664 352 33554432000 4194304 4650419 140737127071008 18446744073709551615 47010732427180 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 12809 352 303 112 0 7774 0 [pid=18616/tid=18617] ppid=18614 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529703289 52465664 352 33554432000 4194304 4650419 140737127071008 18446744073709551615 47010732427186 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529703289 52465664 352 33554432000 4194304 4650419 140737127071008 18446744073709551615 47010732427180 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529703289 52465664 352 33554432000 4194304 4650419 140737127071008 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.860173 s] /proc/loadavg: 7.50 7.97 8.04 6/184 18616 /proc/meminfo: memFree=29852876/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=295708 CPUtime=3.4 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 10823 0 0 0 337 3 0 0 19 0 4 0 529703289 302804992 8631 33554432000 4194304 4650419 140737127071008 18446744073709551615 4369226 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 73927 8631 372 112 0 68892 0 [pid=18616/tid=18617] ppid=18614 vsize=295708 CPUtime=0.85 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 3061 0 0 0 85 0 0 0 18 0 4 0 529703289 302804992 8631 33554432000 4194304 4650419 140737127071008 18446744073709551615 4369179 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=295708 CPUtime=0.84 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 2673 0 0 0 84 0 0 0 19 0 4 0 529703289 302804992 8631 33554432000 4194304 4650419 140737127071008 18446744073709551615 4241536 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=295708 CPUtime=0.83 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 1925 0 0 0 83 0 0 0 19 0 4 0 529703289 302804992 8631 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.4 Current children cumulated vsize (KiB) 295708 [startup+0.901166 s] /proc/loadavg: 7.50 7.97 8.04 6/184 18616 /proc/meminfo: memFree=29852876/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=295708 CPUtime=3.57 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 10831 0 0 0 354 3 0 0 19 0 4 0 529703289 302804992 8639 33554432000 4194304 4650419 140737127071008 18446744073709551615 4369295 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 73927 8639 372 112 0 68892 0 [pid=18616/tid=18617] ppid=18614 vsize=295708 CPUtime=0.89 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 3061 0 0 0 89 0 0 0 18 0 4 0 529703289 302804992 8639 33554432000 4194304 4650419 140737127071008 18446744073709551615 4369221 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=295708 CPUtime=0.88 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 2673 0 0 0 88 0 0 0 19 0 4 0 529703289 302804992 8639 33554432000 4194304 4650419 140737127071008 18446744073709551615 4369877 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=295708 CPUtime=0.88 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 1933 0 0 0 88 0 0 0 19 0 4 0 529703289 302804992 8639 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.57 Current children cumulated vsize (KiB) 295708 [startup+1.00115 s] /proc/loadavg: 7.50 7.97 8.04 6/184 18616 /proc/meminfo: memFree=29852876/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=295840 CPUtime=3.97 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 16054 0 0 0 393 4 0 0 18 0 4 0 529703289 302940160 13862 33554432000 4194304 4650419 140737127071008 18446744073709551615 4435224 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 73960 13862 384 112 0 68925 0 [pid=18616/tid=18617] ppid=18614 vsize=295840 CPUtime=0.98 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 4946 0 0 0 98 0 0 0 19 0 4 0 529703289 302940160 13862 33554432000 4194304 4650419 140737127071008 18446744073709551615 4435916 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=295840 CPUtime=0.98 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 4325 0 0 0 97 1 0 0 18 0 4 0 529703289 302940160 13862 33554432000 4194304 4650419 140737127071008 18446744073709551615 4436053 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=295840 CPUtime=0.98 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 1955 0 0 0 98 0 0 0 19 0 4 0 529703289 302940160 13862 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 295840 [startup+1.10114 s] /proc/loadavg: 7.50 7.97 8.04 6/184 18616 /proc/meminfo: memFree=29852876/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=300724 CPUtime=4.36 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 19055 0 0 0 432 4 0 0 18 0 4 0 529703289 307941376 16849 33554432000 4194304 4650419 140737127071008 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 75181 16849 387 112 0 70146 0 [pid=18616/tid=18617] ppid=18614 vsize=300724 CPUtime=1.08 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 5905 0 0 0 108 0 0 0 19 0 4 0 529703289 307941376 16849 33554432000 4194304 4650419 140737127071008 18446744073709551615 4224627 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=300724 CPUtime=1.08 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 5363 0 0 0 107 1 0 0 18 0 4 0 529703289 307941376 16849 33554432000 4194304 4650419 140737127071008 18446744073709551615 4476318 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=300724 CPUtime=1.08 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 1973 0 0 0 108 0 0 0 19 0 4 0 529703289 307941376 16849 33554432000 4194304 4650419 140737127071008 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 300724 [startup+1.50106 s] /proc/loadavg: 7.50 7.97 8.04 6/184 18616 /proc/meminfo: memFree=29852876/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=300724 CPUtime=5.96 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 19611 0 0 0 592 4 0 0 18 0 4 0 529703289 307941376 17209 33554432000 4194304 4650419 140737127071008 18446744073709551615 4349916 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 75181 17209 390 112 0 70146 0 [pid=18616/tid=18617] ppid=18614 vsize=300724 CPUtime=1.48 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 6207 0 0 0 148 0 0 0 19 0 4 0 529703289 307941376 17209 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=300724 CPUtime=1.48 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 5455 0 0 0 147 1 0 0 18 0 4 0 529703289 307941376 17209 33554432000 4194304 4650419 140737127071008 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=300724 CPUtime=1.48 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 2038 0 0 0 148 0 0 0 20 0 4 0 529703289 307941376 17209 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 300724 [startup+3.10077 s] /proc/loadavg: 7.50 7.97 8.04 9/188 18620 /proc/meminfo: memFree=29755264/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=300724 CPUtime=12.36 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 20837 0 0 0 1231 5 0 0 21 0 4 0 529703289 307941376 18435 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 75181 18435 390 112 0 70146 0 [pid=18616/tid=18617] ppid=18614 vsize=300724 CPUtime=3.08 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 6523 0 0 0 308 0 0 0 25 0 4 0 529703289 307941376 18435 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=300724 CPUtime=3.08 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 5726 0 0 0 307 1 0 0 21 0 4 0 529703289 307941376 18435 33554432000 4194304 4650419 140737127071008 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=300724 CPUtime=3.07 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 2370 0 0 0 306 1 0 0 25 0 4 0 529703289 307941376 18435 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 300724 [startup+6.30618 s] /proc/loadavg: 7.62 7.99 8.04 9/188 18620 /proc/meminfo: memFree=29718920/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=304784 CPUtime=25.15 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 26985 0 0 0 2509 6 0 0 25 0 4 0 529703289 312098816 20599 33554432000 4194304 4650419 140737127071008 18446744073709551615 4435531 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 76196 20599 394 112 0 71161 0 [pid=18616/tid=18617] ppid=18614 vsize=304784 CPUtime=6.29 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 7609 0 0 0 628 1 0 0 25 0 4 0 529703289 312098816 20599 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=304784 CPUtime=6.29 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 7187 0 0 0 627 2 0 0 25 0 4 0 529703289 312098816 20599 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=304784 CPUtime=6.26 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 3630 0 0 0 625 1 0 0 25 0 4 0 529703289 312098816 20599 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 304784 [startup+12.701 s] /proc/loadavg: 7.73 8.01 8.05 9/188 18620 /proc/meminfo: memFree=29674816/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=296464 CPUtime=50.7 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 44166 0 0 0 5061 9 0 0 25 0 4 0 529703289 303579136 30189 33554432000 4194304 4650419 140737127071008 18446744073709551615 4436220 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 74116 30189 394 112 0 69081 0 [pid=18616/tid=18617] ppid=18614 vsize=296464 CPUtime=12.68 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 12648 0 0 0 1267 1 0 0 25 0 4 0 529703289 303579136 30189 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=296464 CPUtime=12.68 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 10124 0 0 0 1266 2 0 0 25 0 4 0 529703289 303579136 30189 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=296464 CPUtime=12.62 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 10275 0 0 0 1260 2 0 0 25 0 4 0 529703289 303579136 30189 33554432000 4194304 4650419 140737127071008 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 296464 [startup+25.5007 s] /proc/loadavg: 7.79 8.00 8.05 9/188 18620 /proc/meminfo: memFree=29634780/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=296720 CPUtime=101.83 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 59589 0 0 0 10170 13 0 0 25 0 4 0 529703289 303841280 35141 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 74180 35141 394 112 0 69145 0 [pid=18616/tid=18617] ppid=18614 vsize=296720 CPUtime=25.49 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 15698 0 0 0 2547 2 0 0 25 0 4 0 529703289 303841280 35141 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=296720 CPUtime=25.48 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 14263 0 0 0 2545 3 0 0 25 0 4 0 529703289 303841280 35141 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328302 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=296720 CPUtime=25.34 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 14674 0 0 0 2531 3 0 0 25 0 4 0 529703289 303841280 35141 33554432000 4194304 4650419 140737127071008 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (KiB) 296720 [startup+51.101 s] /proc/loadavg: 7.92 8.02 8.05 9/188 18621 /proc/meminfo: memFree=29569192/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=372604 CPUtime=204.09 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 76009 0 0 0 20392 17 0 0 25 0 4 0 529703289 381546496 44345 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 93151 44345 394 112 0 88116 0 [pid=18616/tid=18617] ppid=18614 vsize=372604 CPUtime=51.08 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 15853 0 0 0 5106 2 0 0 25 0 4 0 529703289 381546496 44345 33554432000 4194304 4650419 140737127071008 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=372604 CPUtime=51.08 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 19595 0 0 0 5103 5 0 0 25 0 4 0 529703289 381546496 44345 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=372604 CPUtime=50.81 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 21009 0 0 0 5076 5 0 0 25 0 4 0 529703289 381546496 44345 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 204.09 Current children cumulated vsize (KiB) 372604 [startup+102.301 s] /proc/loadavg: 8.07 8.04 8.06 9/188 18622 /proc/meminfo: memFree=29459408/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=472528 CPUtime=408.61 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 106241 0 0 0 40836 25 0 0 25 0 4 0 529703289 483868672 51947 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 118132 51947 394 112 0 113097 0 [pid=18616/tid=18617] ppid=18614 vsize=472528 CPUtime=102.29 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 24880 0 0 0 10224 5 0 0 25 0 4 0 529703289 483868672 51947 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=472528 CPUtime=102.28 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 27591 0 0 0 10220 8 0 0 25 0 4 0 529703289 483868672 51947 33554432000 4194304 4650419 140737127071008 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=472528 CPUtime=101.73 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 30076 0 0 0 10166 7 0 0 25 0 4 0 529703289 483868672 51947 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.61 Current children cumulated vsize (KiB) 472528 [startup+162.301 s] /proc/loadavg: 8.12 8.06 8.06 9/188 18624 /proc/meminfo: memFree=29409268/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=537680 CPUtime=648.29 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 140416 0 0 0 64794 35 0 0 25 0 4 0 529703289 550584320 59431 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328302 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 134420 59431 394 112 0 129385 0 [pid=18616/tid=18617] ppid=18614 vsize=537680 CPUtime=162.29 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 29027 0 0 0 16223 6 0 0 25 0 4 0 529703289 550584320 59431 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=537680 CPUtime=162.28 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 33326 0 0 0 16218 10 0 0 25 0 4 0 529703289 550584320 59431 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=537680 CPUtime=161.4 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 45606 0 0 0 16129 11 0 0 25 0 4 0 529703289 550584320 59431 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 648.29 Current children cumulated vsize (KiB) 537680 [startup+222.301 s] /proc/loadavg: 8.29 8.14 8.09 9/188 18626 /proc/meminfo: memFree=29348952/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=484656 CPUtime=887.97 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 181449 0 0 0 88751 46 0 0 25 0 4 0 529703289 496287744 62205 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 121164 62205 394 112 0 116129 0 [pid=18616/tid=18617] ppid=18614 vsize=484656 CPUtime=222.29 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 34428 0 0 0 22222 7 0 0 25 0 4 0 529703289 496287744 62205 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=484656 CPUtime=222.28 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 44875 0 0 0 22216 12 0 0 25 0 4 0 529703289 496287744 62205 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328264 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=484656 CPUtime=221.08 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 58878 0 0 0 22093 15 0 0 25 0 4 0 529703289 496287744 62205 33554432000 4194304 4650419 140737127071008 18446744073709551615 4426629 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 887.97 Current children cumulated vsize (KiB) 484656 [startup+282.301 s] /proc/loadavg: 8.18 8.14 8.09 9/188 18627 /proc/meminfo: memFree=29308228/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=473444 CPUtime=1127.66 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 231308 0 0 0 112706 60 0 0 25 0 4 0 529703289 484806656 65718 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 118361 65718 394 112 0 113326 0 [pid=18616/tid=18617] ppid=18614 vsize=473444 CPUtime=282.3 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 47984 0 0 0 28218 12 0 0 25 0 4 0 529703289 484806656 65718 33554432000 4194304 4650419 140737127071008 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=473444 CPUtime=282.28 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 57986 0 0 0 28213 15 0 0 25 0 4 0 529703289 484806656 65718 33554432000 4194304 4650419 140737127071008 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=473444 CPUtime=280.76 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 70734 0 0 0 28058 18 0 0 25 0 4 0 529703289 484806656 65718 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1127.66 Current children cumulated vsize (KiB) 473444 [startup+342.301 s] /proc/loadavg: 8.28 8.18 8.11 9/188 18629 /proc/meminfo: memFree=29292176/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=498084 CPUtime=1367.32 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 282516 0 0 0 136659 73 0 0 25 0 4 0 529703289 510038016 74123 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363455 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 124521 74123 394 112 0 119486 0 [pid=18616/tid=18617] ppid=18614 vsize=498084 CPUtime=342.29 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 65739 0 0 0 34214 15 0 0 25 0 4 0 529703289 510038016 74123 33554432000 4194304 4650419 140737127071008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=498084 CPUtime=342.28 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 66673 0 0 0 34210 18 0 0 25 0 4 0 529703289 510038016 74123 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=498084 CPUtime=340.42 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 85933 0 0 0 34020 22 0 0 25 0 4 0 529703289 510038016 74123 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1367.32 Current children cumulated vsize (KiB) 498084 Solver just ended. Dumping a history of the last processes samples [startup+346.301 s] /proc/loadavg: 8.25 8.18 8.10 9/188 18629 /proc/meminfo: memFree=29282372/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=498084 CPUtime=1383.3 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 284469 0 0 0 138256 74 0 0 25 0 4 0 529703289 510038016 76076 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328338 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 124521 76076 394 112 0 119486 0 [pid=18616/tid=18617] ppid=18614 vsize=498084 CPUtime=346.29 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 66209 0 0 0 34614 15 0 0 25 0 4 0 529703289 510038016 76076 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=498084 CPUtime=346.28 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 67154 0 0 0 34610 18 0 0 25 0 4 0 529703289 510038016 76076 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=498084 CPUtime=344.4 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 86457 0 0 0 34418 22 0 0 25 0 4 0 529703289 510038016 76076 33554432000 4194304 4650419 140737127071008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1383.3 Current children cumulated vsize (KiB) 498084 [startup+352.701 s] /proc/loadavg: 8.31 8.19 8.11 9/188 18629 /proc/meminfo: memFree=29281380/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=486188 CPUtime=1408.89 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 291471 0 0 0 140813 76 0 0 25 0 4 0 529703289 497856512 73086 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 121547 73086 394 112 0 116512 0 [pid=18616/tid=18617] ppid=18614 vsize=486188 CPUtime=352.7 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 67869 0 0 0 35254 16 0 0 25 0 4 0 529703289 497856512 73086 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=486188 CPUtime=352.69 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 69048 0 0 0 35250 19 0 0 25 0 4 0 529703289 497856512 73086 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=486188 CPUtime=350.77 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 88290 0 0 0 35054 23 0 0 25 0 4 0 529703289 497856512 73086 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1408.89 Current children cumulated vsize (KiB) 486188 [startup+355.9 s] /proc/loadavg: 8.29 8.19 8.11 9/188 18629 /proc/meminfo: memFree=29271088/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=486188 CPUtime=1421.65 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 293141 0 0 0 142089 76 0 0 25 0 4 0 529703289 497856512 74756 33554432000 4194304 4650419 140737127071008 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 121547 74756 394 112 0 116512 0 [pid=18616/tid=18617] ppid=18614 vsize=486188 CPUtime=355.89 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 68277 0 0 0 35573 16 0 0 25 0 4 0 529703289 497856512 74756 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328176 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=486188 CPUtime=355.88 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 69452 0 0 0 35569 19 0 0 25 0 4 0 529703289 497856512 74756 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=486188 CPUtime=353.95 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 88742 0 0 0 35372 23 0 0 25 0 4 0 529703289 497856512 74756 33554432000 4194304 4650419 140737127071008 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 486188 [startup+357.501 s] /proc/loadavg: 8.29 8.19 8.11 9/188 18629 /proc/meminfo: memFree=29264264/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=486188 CPUtime=1428.05 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 293939 0 0 0 142728 77 0 0 25 0 4 0 529703289 497856512 75554 33554432000 4194304 4650419 140737127071008 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 121547 75554 394 112 0 116512 0 [pid=18616/tid=18617] ppid=18614 vsize=486188 CPUtime=357.5 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 68469 0 0 0 35734 16 0 0 25 0 4 0 529703289 497856512 75554 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=486188 CPUtime=357.48 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 69663 0 0 0 35729 19 0 0 25 0 4 0 529703289 497856512 75554 33554432000 4194304 4650419 140737127071008 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=486188 CPUtime=355.54 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 88944 0 0 0 35531 23 0 0 25 0 4 0 529703289 497856512 75554 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1428.05 Current children cumulated vsize (KiB) 486188 [startup+358.307 s] /proc/loadavg: 8.29 8.19 8.11 9/188 18629 /proc/meminfo: memFree=29261040/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=486188 CPUtime=1431.26 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 294332 0 0 0 143049 77 0 0 25 0 4 0 529703289 497856512 75947 33554432000 4194304 4650419 140737127071008 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 121547 75947 394 112 0 116512 0 [pid=18616/tid=18617] ppid=18614 vsize=486188 CPUtime=358.3 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 68569 0 0 0 35814 16 0 0 25 0 4 0 529703289 497856512 75947 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=486188 CPUtime=358.28 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 69753 0 0 0 35809 19 0 0 25 0 4 0 529703289 497856512 75947 33554432000 4194304 4650419 140737127071008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=486188 CPUtime=356.34 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 89052 0 0 0 35611 23 0 0 25 0 4 0 529703289 497856512 75947 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1431.26 Current children cumulated vsize (KiB) 486188 [startup+358.701 s] /proc/loadavg: 8.29 8.19 8.11 9/188 18629 /proc/meminfo: memFree=29261040/32951124 swapFree=67102748/67111528 [pid=18616] ppid=18614 vsize=486256 CPUtime=1432.84 cores=1,3,5,7 /proc/18616/stat : 18616 (strangenight1-m) R 18614 18616 18485 0 -1 4202496 295376 0 0 0 143207 77 0 0 25 0 4 0 529703289 497926144 74591 33554432000 4194304 4650419 140737127071008 18446744073709551615 4332995 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18616/statm: 121564 74591 394 112 0 116529 0 [pid=18616/tid=18617] ppid=18614 vsize=486256 CPUtime=358.7 cores=1,3,5,7 /proc/18616/task/18617/stat : 18617 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 68616 0 0 0 35854 16 0 0 25 0 4 0 529703289 497926144 74591 33554432000 4194304 4650419 140737127071008 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18616/tid=18618] ppid=18614 vsize=486256 CPUtime=358.68 cores=1,3,5,7 /proc/18616/task/18618/stat : 18618 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 70658 0 0 0 35849 19 0 0 25 0 4 0 529703289 497926144 74591 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18616/tid=18619] ppid=18614 vsize=486256 CPUtime=356.73 cores=1,3,5,7 /proc/18616/task/18619/stat : 18619 (strangenight1-m) R 18614 18616 18485 0 -1 4202560 89095 0 0 0 35650 23 0 0 25 0 4 0 529703289 497926144 74591 33554432000 4194304 4650419 140737127071008 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1432.84 Current children cumulated vsize (KiB) 486256 Child status: 10 Real time (s): 358.775 CPU time (s): 1433.1 CPU user time (s): 1432.32 CPU system time (s): 0.78588 CPU usage (%): 399.443 Max. virtual memory (cumulated for all children) (KiB): 563472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1432.32 system time used= 0.78588 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295417 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= 4159 involuntary context switches= 10194 runsolver used 0.614906 second user time and 1.35679 second system time The end
Begin job on node134 at 2011-04-30 18:30:51 IDJOB=3292234 IDBENCH=85973 IDSOLVER=1588 FILE ID=node134/3292234-1304181051 RUNJOBID= node134-1304181043-18504 PBS_JOBID= 13172461 Free space on /tmp= 72500 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292234-1304181051/watcher-3292234-1304181051 -o /tmp/evaluation-result-3292234-1304181051/solver-3292234-1304181051 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3292234-1304181051.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4 RANDOM SEED=996345881 node134.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.831 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.66 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.831 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.67 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.831 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.83 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.831 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 : 7186.06 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.831 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.80 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.831 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.831 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.831 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29853280 kB Buffers: 1039636 kB Cached: 1488060 kB SwapCached: 4632 kB Active: 332732 kB Inactive: 2365084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29853280 kB SwapTotal: 67111528 kB SwapFree: 67102748 kB Dirty: 17388 kB Writeback: 0 kB AnonPages: 167636 kB Mapped: 15548 kB Slab: 336628 kB PageTables: 4952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 392256 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72496 MiB End job on node134 at 2011-04-30 18:36:50