| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.26 | 1201.57 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf |
| MD5SUM | ba3b1702a651cd8da3e6cada8f2e97bc |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.28965 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2088 |
| Number of clauses | 405748 |
| Sum of the clauses size | 813494 |
| Maximum clause length | 47 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 405703 |
| 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 | 45 |
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 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3251109-1304131609.cnf' 0.00/0.00 c -- header says num vars: 2088 0.00/0.00 c -- header says num clauses: 405748 0.17/0.09 c -- clauses added: 0 learnts, 405748 normals, 0 xors 0.17/0.09 c -- vars added 2088 0.17/0.09 c Parsing time: 0.07 s 0.17/0.09 c N st 0 0 2088 45 405703 0 813494 0 no data no data 0.17/0.09 c asymm cl-useful: 0/45/45 lits-rem:0 time: 0.00 0.17/0.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.07 0.17/0.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.17/0.32 c bin-w-bin subsume rem 0 bins time: 0.08 s 0.17/0.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.07 s 1.25/0.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2088 time: 0.04 s 1.25/0.42 c Removed useless bin: 0 fixed: 0 props: 2.04M time: 0.04 s 1.25/0.51 c lits-rem: 747 cl-subs: 0 v-elim: 45 v-fix: 0 time: 0.12 s 1.25/0.51 c Finding binary XORs T: 0.01 s found: 0 1.25/0.85 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 1.25/0.85 c calculated reachability. Time: 0.00 1.25/0.85 c Calc default polars - time: 0.00 s pos: 0 undec: 45 neg: 2043 1.25/0.85 c ========================================================================================= 1.25/0.85 c types(t): F = full restart, N = normal restart 1.25/0.85 c types(t): S = simplification begin/end, E = solution found 1.25/0.85 c restart types(rt): st = static, dy = dynamic 1.25/0.85 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 1.25/0.85 c B st 0 0 2043 7752 395908 0 1193749 0 no data no data 5.19/1.40 c N dy 9 6013 2043 7752 395909 3431 1193730 575374 16.95 17.90 8.76/2.23 c N dy 11 11655 2043 7752 395909 4765 1193721 578492 13.17 14.07 11.15/2.85 c N dy 24 15657 2043 7752 395911 8648 1193711 1202652 12.59 13.36 13.55/3.45 c N dy 33 19783 2043 7752 395913 7198 1193705 750629 12.10 13.09 15.95/4.06 c N dy 51 23867 2043 7752 395913 11189 1193702 1279834 12.02 12.82 16.77/4.26 c F st 54 25000 2043 7752 395913 12284 1193702 1385998 11.91 no data 19.14/4.84 c N st 59 28297 2043 7752 395914 8854 1193694 996193 11.91 no data 20.33/5.13 c S st 60 30000 2043 7752 395915 10462 1193694 1159085 11.91 no data 20.75/5.21 c S st 60 30504 2043 7752 395915 10965 1193692 1210369 11.91 no data 20.75/5.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 23.53/5.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.9M T: 0.77 23.93/6.00 c blocked clauses removed: 0 vars: 0 tried: 2043 T: 0.00 s 23.93/6.05 c bin-w-bin subsume rem 0 bins time: 0.05 s 45.10/11.33 c subs with bin: 0 lits-rem: 44594 v-fix: 0 time: 5.28 s 45.10/11.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.03 s 45.50/11.40 c Removed useless bin: 0 fixed: 0 props: 1.98M time: 0.04 s 45.90/11.55 c lits-rem: 2521 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s 51.52/13.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.41 s 59.49/14.91 c lits-rem: 3285 cl-subs: 939 v-elim: 0 v-fix: 0 time: 1.90 s 60.30/15.16 c asymm cl-useful: 360/1305/7752 lits-rem:5031 time: 0.25 60.30/15.17 c calculated reachability. Time: 0.00 60.30/15.17 c N dy 60 30504 2043 7752 395915 10026 1137883 1153324 11.91 no data 63.08/15.88 c N dy 79 34531 2043 7752 395917 13969 1137883 1582200 12.01 12.65 65.88/16.60 c N dy 96 38822 2043 7752 395917 10473 1137883 1054796 12.02 12.69 69.49/17.42 c N dy 101 42988 2043 7752 395917 14555 1137883 1764952 11.87 12.73 71.87/18.06 c S st 124 45756 2043 7752 395917 17289 1137883 2259891 12.21 8.41 72.27/18.15 c S st 124 46260 2043 7752 395917 9062 1137883 766796 12.21 no data 72.27/18.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 75.07/18.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 27.7M T: 0.64 75.07/18.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 75.07/18.86 c bin-w-bin subsume rem 0 bins time: 0.05 s 95.46/23.98 c subs with bin: 0 lits-rem: 40904 v-fix: 0 time: 5.12 s 95.86/24.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 95.86/24.05 c Removed useless bin: 0 fixed: 0 props: 1.98M time: 0.04 s 96.24/24.11 c lits-rem: 10 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 102.23/25.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.54 s 103.43/25.93 c lits-rem: 109 cl-subs: 108 v-elim: 0 v-fix: 0 time: 0.26 s 103.43/25.94 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 103.43/25.96 c vivif2 -- cl tried 8954 cl shrink 26 lits rem 27 time: 0.02 104.25/26.18 c asymm cl-useful: 0/1574/7752 lits-rem:0 time: 0.22 104.25/26.19 c calculated reachability. Time: 0.00 104.25/26.19 c N dy 124 46260 2043 7752 395917 8954 1096969 759265 12.21 no data 106.62/26.77 c N dy 140 50261 2043 7752 395922 12876 1096969 1266601 12.21 18.02 109.82/27.53 c N dy 146 54498 2043 7752 395923 17002 1096969 1896058 12.04 12.79 112.61/28.28 c N dy 158 58608 2043 7752 395923 11238 1096969 971988 11.93 12.62 115.42/28.95 c N dy 176 62741 2043 7752 395924 15272 1096969 1480695 11.94 12.67 118.61/29.74 c N dy 201 66784 2043 7752 395924 19217 1096969 2054728 12.19 14.51 120.21/30.17 c S st 207 69391 2043 7752 395924 11036 1096969 926847 12.13 9.51 120.60/30.24 c S st 207 69893 2043 7752 395924 11537 1096969 980804 12.13 no data 120.60/30.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 123.40/30.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 29.4M T: 0.71 123.40/30.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 123.80/31.02 c bin-w-bin subsume rem 0 bins time: 0.05 s 144.20/36.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.10 s 144.20/36.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 144.20/36.19 c Removed useless bin: 0 fixed: 0 props: 1.98M time: 0.04 s 144.57/36.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 150.16/37.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.44 s 152.58/38.26 c lits-rem: 149 cl-subs: 169 v-elim: 0 v-fix: 0 time: 0.57 s 152.58/38.27 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 152.58/38.29 c vivif2 -- cl tried 11368 cl shrink 124 lits rem 178 time: 0.02 153.76/38.52 c asymm cl-useful: 0/1071/7752 lits-rem:0 time: 0.23 153.76/38.53 c calculated reachability. Time: 0.00 153.76/38.53 c N dy 207 69893 2043 7752 395924 11368 1096969 973530 12.13 no data 156.56/39.26 c N dy 238 74420 2043 7752 395924 15798 1096969 1606960 12.36 13.15 160.15/40.15 c N dy 260 79248 2043 7752 395929 20527 1096969 2262544 12.43 24.93 164.15/41.14 c N dy 272 84725 2043 7752 395929 14146 1096969 1319874 12.42 13.07 166.17/41.67 c F st 292 87501 2043 7752 395929 16865 1096969 1730251 12.56 10.50 168.94/42.32 c N st 297 90802 2043 7752 395929 20102 1096969 2369002 12.56 no data 174.55/43.74 c N dy 324 96761 2043 7752 395929 13226 1096969 1194804 12.68 13.67 179.35/44.99 c N dy 337 103779 2043 7752 395930 20022 1096969 2296635 12.54 13.21 180.53/45.26 c S st 345 104840 2043 7752 395930 21060 1096969 2459548 12.55 no data 180.93/45.39 c S st 345 105341 2043 7752 395930 21561 1096969 2526582 12.55 no data 181.33/45.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 185.32/46.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 40.3M T: 1.01 185.32/46.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 185.32/46.46 c bin-w-bin subsume rem 0 bins time: 0.04 s 205.32/51.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.01 s 205.72/51.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 205.72/51.55 c Removed useless bin: 0 fixed: 0 props: 1.98M time: 0.04 s 205.72/51.58 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 212.08/53.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.50 s 230.47/57.76 c lits-rem: 1085 cl-subs: 441 v-elim: 0 v-fix: 0 time: 4.60 s 230.47/57.77 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 230.87/57.82 c vivif2 -- cl tried 21120 cl shrink 70 lits rem 70 time: 0.05 231.68/58.06 c asymm cl-useful: 0/1188/7752 lits-rem:0 time: 0.24 231.68/58.07 c calculated reachability. Time: 0.00 231.68/58.07 c N dy 345 105341 2043 7752 395930 21120 1096969 2477076 12.55 no data 238.86/59.86 c N dy 386 112124 2043 7752 395940 14124 1096969 1309106 12.68 14.45 244.45/61.27 c N dy 421 119683 2043 7752 395940 21490 1096969 2326486 12.69 13.75 251.64/63.06 c N dy 453 127400 2043 7752 395941 29043 1096969 3291910 12.66 21.76 258.45/64.71 c N dy 492 135564 2043 7752 395942 22379 1096969 2424303 12.74 13.44 266.84/66.89 c N dy 543 144300 2043 7752 395943 30941 1096969 3717905 12.93 13.67 275.21/68.92 c N dy 594 153529 2043 7752 395943 24326 1096969 2626983 13.14 18.76 279.60/70.09 c S st 608 158011 2043 7752 395944 28682 1096969 3300835 13.15 12.28 280.42/70.25 c S st 608 158513 2043 7752 395944 29183 1096969 3361062 13.15 no data 280.42/70.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 286.39/71.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 51.7M T: 1.50 286.39/71.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 286.79/71.82 c bin-w-bin subsume rem 0 bins time: 0.05 s 306.79/76.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.02 s 306.79/76.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 307.17/76.92 c Removed useless bin: 0 fixed: 0 props: 1.98M time: 0.04 s 307.17/76.95 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 314.36/78.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.72 s 342.72/85.88 c lits-rem: 1324 cl-subs: 575 v-elim: 0 v-fix: 0 time: 7.10 s 342.72/85.89 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 343.12/85.96 c vivif2 -- cl tried 28608 cl shrink 91 lits rem 131 time: 0.07 344.32/86.27 c asymm cl-useful: 0/433/7752 lits-rem:0 time: 0.31 344.32/86.28 c calculated reachability. Time: 0.00 344.32/86.28 c N dy 608 158513 2043 7752 395944 28608 1096969 3294356 13.15 no data 355.50/89.06 c N dy 660 169974 2043 7752 395948 23216 1096969 2218123 13.22 14.22 367.90/92.17 c N dy 711 180929 2043 7752 395948 33947 1096969 3791765 13.30 14.03 378.27/94.78 c N dy 761 192523 2043 7752 395949 27617 1096969 2797577 13.35 14.73 391.06/97.92 c N dy 804 205113 2043 7752 395951 21330 1096969 1713423 13.40 14.11 401.84/100.62 c N dy 841 218428 2043 7752 395952 34268 1096969 3548529 13.33 14.05 418.22/104.74 c N dy 898 235468 2043 7752 395953 31462 1096969 3125802 13.30 14.05 419.82/105.19 c S st 901 237769 2043 7752 395953 33688 1096969 3416178 13.27 11.11 420.64/105.31 c S st 901 238273 2043 7752 395953 34191 1096969 3480576 13.27 no data 420.64/105.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 425.81/106.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 50.1M T: 1.36 425.81/106.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 426.21/106.74 c bin-w-bin subsume rem 0 bins time: 0.04 s 446.18/111.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.04 s 446.58/111.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 446.58/111.86 c Removed useless bin: 0 fixed: 0 props: 1.98M time: 0.04 s 446.58/111.89 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 453.78/113.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.62 s 479.34/120.03 c lits-rem: 1438 cl-subs: 1029 v-elim: 0 v-fix: 0 time: 6.42 s 479.34/120.03 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 479.74/120.11 c vivif2 -- cl tried 33162 cl shrink 134 lits rem 172 time: 0.07 480.54/120.39 c asymm cl-useful: 0/419/7752 lits-rem:0 time: 0.28 480.54/120.40 c calculated reachability. Time: 0.00 480.94/120.40 c N dy 901 238273 2043 7752 395953 33162 1096969 3395643 13.27 no data 496.12/124.28 c N dy 993 253513 2043 7752 395957 27583 1096969 2510144 13.49 20.10 515.29/129.07 c N dy 1049 270789 2043 7752 395958 22939 1096969 1678454 13.49 14.29 530.89/132.93 c N dy 1098 289189 2043 7752 395959 40801 1096969 3752665 13.42 14.14 546.05/136.73 c F st 1161 306251 2043 7752 395959 35023 1096969 3178742 13.48 8.41 548.47/137.35 c N st 1165 308286 2043 7752 395959 37020 1096969 3447889 13.48 no data 568.82/142.43 c N dy 1243 328076 2043 7752 395960 33020 1096969 2915058 13.54 14.29 588.01/147.26 c N dy 1307 348078 2043 7752 395962 28140 1096969 2170526 13.52 35.69 597.17/149.54 c S st 1346 357409 2043 7752 395962 37223 1096969 3367660 13.57 11.21 597.57/149.69 c S st 1346 357914 2043 7752 395962 37726 1096969 3429735 13.57 no data 597.97/149.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 603.97/151.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 56.3M T: 1.57 603.97/151.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 604.37/151.32 c bin-w-bin subsume rem 0 bins time: 0.05 s 623.94/156.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.97 s 624.34/156.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 624.34/156.37 c Removed useless bin: 0 fixed: 0 props: 1.98M time: 0.04 s 624.74/156.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 631.55/158.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.64 s 659.49/165.16 c lits-rem: 1381 cl-subs: 1112 v-elim: 0 v-fix: 0 time: 7.02 s 659.49/165.17 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 659.90/165.24 c vivif2 -- cl tried 36614 cl shrink 100 lits rem 111 time: 0.08 661.09/165.53 c asymm cl-useful: 0/793/7752 lits-rem:0 time: 0.28 661.09/165.54 c calculated reachability. Time: 0.00 661.09/165.54 c N dy 1346 357914 2043 7752 395962 36614 1096969 3373068 13.57 no data 685.05/171.54 c N dy 1421 378584 2043 7752 395963 31408 1096969 2504535 13.58 14.34 707.03/177.08 c N dy 1489 399375 2043 7752 395964 51703 1096969 5379809 13.59 14.45 727.00/182.03 c N dy 1549 419534 2043 7752 395965 44975 1096969 4016686 13.54 14.35 748.97/187.51 c N dy 1619 440123 2043 7752 395965 37719 1096969 3222306 13.52 14.45 770.94/193.05 c N dy 1665 460166 2043 7752 395966 29018 1096969 1879722 13.43 14.17 788.12/197.33 c N dy 1721 480469 2043 7752 395966 48858 1096969 4241486 13.41 14.19 809.69/202.77 c N dy 1772 503967 2043 7752 395967 42523 1096969 3126239 13.33 14.21 832.06/208.39 c N dy 1818 526013 2043 7752 395967 33802 1096969 2326581 13.25 14.03 842.47/210.99 c S st 1856 536871 2043 7752 395967 44417 1096969 3525969 13.24 no data 843.25/211.12 c S st 1856 537377 2043 7752 395967 44922 1096969 3575615 13.24 no data 843.25/211.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 848.84/212.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 0 BRemN: 0 P: 54.0M T: 1.43 848.84/212.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 849.24/212.62 c bin-w-bin subsume rem 0 bins time: 0.04 s 869.60/217.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.08 s 869.60/217.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 869.60/217.78 c Removed useless bin: 0 fixed: 0 props: 1.97M time: 0.04 s 870.00/217.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 876.80/219.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.61 s 902.76/226.08 c lits-rem: 1618 cl-subs: 1126 v-elim: 0 v-fix: 0 time: 6.54 s 902.76/226.08 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 903.17/226.17 c vivif2 -- cl tried 43796 cl shrink 115 lits rem 119 time: 0.09 904.39/226.46 c asymm cl-useful: 0/698/7752 lits-rem:0 time: 0.28 904.39/226.47 c calculated reachability. Time: 0.00 904.39/226.47 c N dy 1856 537377 2043 7752 395968 43796 1096969 3524398 13.24 no data 928.73/232.52 c N dy 1940 557468 2043 7752 395970 32158 1096969 2122108 13.27 13.97 953.91/238.85 c N dy 2024 579918 2043 7752 395970 54117 1096969 4794709 13.28 14.02 978.27/244.95 c N dy 2112 600347 2043 7752 395972 41831 1096969 3263570 13.34 14.10 1003.04/251.16 c N dy 2192 620558 2043 7752 395973 61516 1096969 5681486 13.35 14.12 1026.21/256.93 c N dy 2285 640645 2043 7752 395974 47986 1096969 4073154 13.41 18.68 1055.37/264.21 c N dy 2375 661184 2043 7752 395975 68017 1096969 6631665 13.43 14.26 1075.37/269.29 c N dy 2461 681249 2043 7752 395975 53419 1096969 4441820 13.45 28.79 1101.73/275.85 c N dy 2519 701872 2043 7752 395975 38427 1096969 2442034 13.43 14.15 1122.48/281.04 c N dy 2618 721969 2043 7752 395975 58037 1096969 4933366 13.49 18.98 1146.85/287.18 c N dy 2688 743021 2043 7752 395975 42460 1096969 3037161 13.47 14.34 1168.83/292.67 c N dy 2749 763028 2043 7752 395977 61991 1096969 5477416 13.45 14.22 1193.60/298.88 c N dy 2815 783231 2043 7752 395978 44615 1096969 3016446 13.45 14.25 1214.77/304.13 c N dy 2884 803469 2043 7752 395979 64391 1096969 5304247 13.44 14.44 1217.96/304.95 c S st 2900 806067 2043 7752 395979 66929 1096969 5597067 13.45 10.40 1218.76/305.11 c S st 2900 806569 2043 7752 395979 67428 1096969 5657902 13.45 no data 1218.76/305.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1227.15/307.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 66.5M T: 2.07 1227.15/307.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1227.15/307.26 c bin-w-bin subsume rem 0 bins time: 0.04 s 1247.52/312.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.10 s 1247.52/312.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 1247.92/312.43 c Removed useless bin: 0 fixed: 0 props: 1.97M time: 0.04 s 1247.92/312.49 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 1256.32/314.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.93 s 1306.65/327.18 c lits-rem: 3418 cl-subs: 2092 v-elim: 0 v-fix: 0 time: 12.60 s 1306.65/327.19 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 1307.45/327.33 c vivif2 -- cl tried 65336 cl shrink 147 lits rem 153 time: 0.14 1308.67/327.64 c asymm cl-useful: 0/836/7752 lits-rem:0 time: 0.31 1308.67/327.66 c calculated reachability. Time: 0.00 1308.67/327.66 c N dy 2900 806569 2043 7752 395979 65336 1096969 5541617 13.45 no data 1330.23/333.05 c N dy 2940 827753 2043 7752 395982 47927 1096969 3160635 13.41 14.31 1351.79/338.46 c N dy 2991 847907 2043 7752 395984 67577 1096969 5316502 13.37 14.20 1374.18/344.09 c N dy 3047 867986 2043 7752 395984 48138 1096969 3328365 13.35 27.58 1398.12/350.01 c N dy 3117 887993 2043 7752 395984 67594 1096969 5395292 13.33 21.54 1424.09/356.52 c N dy 3209 909235 2043 7752 395984 48370 1096969 3319976 13.38 14.13 1448.46/362.61 c N dy 3284 930216 2043 7752 395984 68737 1096969 5438445 13.39 14.12 1472.43/368.65 c N dy 3363 950543 2043 7752 395986 47701 1096969 3116519 13.41 14.13 1494.00/374.02 c N dy 3419 971057 2043 7752 395987 67647 1096969 5426512 13.39 14.13 1523.15/381.31 c N dy 3505 991870 2043 7752 395987 46061 1096969 2998724 13.41 14.12 1545.54/386.90 c N dy 3574 1011905 2043 7752 395988 65649 1096969 5506195 13.41 14.38 1579.88/395.55 c N dy 3650 1032149 2043 7752 395988 85421 1096969 8075708 13.42 14.20 1605.04/401.89 c N dy 3742 1054399 2043 7752 395988 64222 1096969 5083186 13.44 14.34 1634.20/409.18 c F st 3817 1071880 2043 7752 395988 81287 1096969 7252102 13.46 14.36 1639.80/410.57 c N st 3822 1075178 2043 7752 395988 84492 1096969 7602178 13.46 no data 1662.57/416.23 c N dy 3875 1095330 2043 7752 395988 60171 1096969 4461457 13.44 14.20 1689.33/422.98 c N dy 3930 1115349 2043 7752 395989 79624 1096969 6688480 13.43 21.51 1717.69/430.02 c N dy 3993 1135548 2043 7752 395990 54523 1096969 3453666 13.42 14.41 1740.86/435.81 c N dy 4034 1155696 2043 7752 395990 74123 1096969 5306216 13.39 14.50 1768.03/442.64 c N dy 4111 1176039 2043 7752 395990 48147 1096969 2889783 13.40 14.13 1792.01/448.63 c N dy 4191 1197210 2043 7752 395990 68784 1096969 5062430 13.42 14.13 1809.97/453.10 c S st 4252 1209854 2043 7752 395990 81132 1096969 6577219 13.45 8.91 1810.37/453.30 c S st 4252 1210359 2043 7752 395990 81635 1096969 6629396 13.45 no data 1810.77/453.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1819.56/455.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 71.0M T: 2.23 1819.56/455.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1819.95/455.61 c bin-w-bin subsume rem 0 bins time: 0.04 s 1839.95/460.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.09 s 1840.35/460.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 1840.35/460.77 c Removed useless bin: 0 fixed: 0 props: 1.97M time: 0.04 s 1840.72/460.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 1852.31/463.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.68 s 1911.03/478.47 c lits-rem: 2808 cl-subs: 3583 v-elim: 0 v-fix: 0 time: 14.75 s 1911.03/478.47 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 1911.83/478.65 c vivif2 -- cl tried 78052 cl shrink 178 lits rem 188 time: 0.17 1913.03/478.98 c asymm cl-useful: 0/879/7752 lits-rem:0 time: 0.33 1913.03/478.99 c calculated reachability. Time: 0.00 1913.03/478.99 c N dy 4252 1210359 2043 7752 395990 78052 1096969 6496974 13.45 no data 1942.59/486.32 c N dy 4315 1230675 2043 7752 395992 51081 1096969 3127422 13.45 14.19 1966.96/492.41 c N dy 4396 1250884 2043 7752 395993 70827 1096969 5523616 13.46 14.23 1995.33/499.57 c N dy 4457 1270921 2043 7752 395993 90309 1096969 7826057 13.45 16.73 2022.09/506.27 c N dy 4567 1291056 2043 7752 395994 62189 1096969 4585564 13.51 14.31 2053.26/514.03 c N dy 4639 1311929 2043 7752 395995 82479 1096969 6889291 13.51 14.24 2086.83/522.44 c N dy 4701 1332153 2043 7752 395996 53524 1096969 3479328 13.51 14.56 2113.19/529.02 c N dy 4762 1353479 2043 7752 395998 74221 1096969 5893595 13.50 14.28 2147.16/537.60 c N dy 4837 1373666 2043 7752 395998 93879 1096969 8278469 13.51 14.27 2173.13/544.07 c N dy 4901 1393757 2043 7752 395998 63816 1096969 4651641 13.50 14.96 2201.90/551.27 c N dy 4973 1413978 2043 7752 395998 83495 1096969 6964831 13.52 14.38 2240.28/560.87 c N dy 5044 1435053 2043 7752 395998 53369 1096969 3199878 13.52 14.73 2261.85/566.30 c N dy 5117 1455070 2043 7752 395998 72868 1096969 5189987 13.52 14.31 2289.79/573.23 c N dy 5189 1475211 2043 7752 395999 92484 1096969 7390849 13.54 14.36 2316.17/579.85 c N dy 5234 1495259 2043 7752 396000 60365 1096969 3806299 13.51 21.45 2341.73/586.22 c N dy 5323 1515411 2043 7752 396000 80016 1096969 6242815 13.54 14.47 2378.09/595.34 c N dy 5412 1537151 2043 7752 396000 101097 1096969 8730503 13.56 14.38 2403.26/601.65 c N dy 5485 1557278 2043 7752 396000 68192 1096969 4907755 13.57 14.34 2430.83/608.57 c N dy 5542 1577625 2043 7752 396000 88030 1096969 6821526 13.56 14.34 2469.99/618.30 c N dy 5655 1598590 2043 7752 396000 54956 1096969 3294492 13.61 14.42 2495.96/624.83 c N dy 5738 1618922 2043 7752 396001 74690 1096969 5678015 13.62 14.34 2528.73/633.06 c N dy 5806 1640121 2043 7752 396001 95284 1096969 7845539 13.62 14.44 2563.49/641.73 c N dy 5855 1660963 2043 7752 396002 61125 1096969 3995564 13.60 14.51 2590.26/648.45 c N dy 5946 1680965 2043 7752 396002 80551 1096969 6212834 13.62 14.48 2623.82/656.83 c N dy 5999 1701248 2043 7752 396003 100332 1096969 8712528 13.62 14.37 2639.00/660.68 c S st 6022 1710359 2043 7752 396003 109187 1096969 9513597 13.61 no data 2640.22/660.95 c S st 6022 1710861 2043 7752 396003 109686 1096969 9578350 13.61 no data 2640.22/660.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2654.59/664.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 99.6M T: 3.57 2654.59/664.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2654.99/664.60 c bin-w-bin subsume rem 0 bins time: 0.04 s 2675.38/669.71 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 5.11 s 2675.38/669.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 2675.38/669.79 c Removed useless bin: 0 fixed: 0 props: 1.97M time: 0.04 s 2675.76/669.87 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 2688.16/672.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.82 s 2796.03/699.90 c lits-rem: 2662 cl-subs: 4831 v-elim: 0 v-fix: 0 time: 26.92 s 2796.03/699.91 c vivif2 -- cl tried 7752 cl shrink 0 lits rem 0 time: 0.01 2796.83/700.15 c vivif2 -- cl tried 104855 cl shrink 659 lits rem 769 time: 0.25 2798.44/700.52 c asymm cl-useful: 0/417/7752 lits-rem:0 time: 0.37 2798.44/700.53 c calculated reachability. Time: 0.00 2798.44/700.53 c N dy 6022 1710861 2043 7752 396003 104855 1096968 9380441 13.61 no data 2832.39/709.09 c N dy 6073 1735922 2043 7752 396004 73805 1096968 5562228 13.59 14.32 2868.36/718.10 c N dy 6142 1759950 2043 7752 396006 97149 1096968 8296998 13.58 14.34 2907.10/727.73 c N dy 6234 1780048 2043 7752 396007 60370 1096968 3856636 13.61 14.33 2933.07/734.24 c N dy 6299 1800136 2043 7752 396007 79918 1096968 5876384 13.61 38.30 2968.23/743.04 c N dy 6401 1820173 2043 7752 396007 99551 1096968 8451560 13.64 14.74 3009.41/753.33 c N dy 6512 1840191 2043 7752 396009 61622 1096968 3809551 13.68 14.70 3032.56/759.11 c N dy 6580 1861460 2043 7752 396009 82318 1096968 6018652 13.68 14.47 3065.32/767.34 c N dy 6646 1882176 2043 7752 396009 102486 1096968 8389960 13.67 14.50 3102.87/776.73 c N dy 6734 1903478 2043 7752 396009 64755 1096968 4162822 13.68 14.54 3132.06/784.02 c N dy 6823 1923501 2043 7752 396009 84312 1096968 6534989 13.70 15.01 3162.83/791.73 c N dy 6859 1944545 2043 7752 396009 104576 1096968 8036709 13.68 14.44 3200.36/801.16 c N dy 6938 1967389 2043 7752 396010 67478 1096968 4629866 13.69 14.61 3230.73/808.74 c N dy 7000 1987471 2043 7752 396010 87033 1096968 6596241 13.68 20.49 3266.69/817.73 c N dy 7051 2007779 2043 7752 396011 106725 1096968 8690943 13.67 14.54 3301.45/826.47 c N dy 7101 2027865 2043 7752 396011 65973 1096968 4217029 13.66 14.43 3333.42/834.42 c N dy 7177 2048568 2043 7752 396012 86088 1096968 6479966 13.67 14.46 3367.38/842.91 c N dy 7217 2068662 2043 7752 396013 105514 1096968 8363048 13.66 14.42 3410.93/853.86 c N dy 7314 2089219 2043 7752 396013 64345 1096968 3865201 13.68 14.46 3436.90/860.30 c N dy 7373 2109304 2043 7752 396013 83832 1096968 6061799 13.68 19.62 3469.66/868.50 c N dy 7431 2129455 2043 7752 396013 103338 1096968 8109621 13.67 14.40 3510.82/878.87 c N dy 7532 2149520 2043 7752 396014 122896 1096968 10384728 13.70 27.65 3538.79/885.85 c N dy 7599 2169570 2043 7752 396014 80257 1096968 5499327 13.70 14.51 3571.97/894.17 c N dy 7671 2189646 2043 7752 396014 99748 1096968 7661230 13.70 24.66 3611.91/904.19 c N dy 7758 2209659 2043 7752 396014 119203 1096968 9957995 13.72 18.33 3615.10/904.97 c S st 7768 2210863 2043 7752 396014 120393 1096968 10118209 13.72 no data 3616.70/905.31 c S st 7768 2211369 2043 7752 396014 120897 1096968 10175086 13.72 no data 3616.70/905.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3632.28/909.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 103.5M T: 3.92 3632.28/909.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3632.68/909.31 c bin-w-bin subsume rem 0 bins time: 0.04 s 3653.06/914.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.13 s 3653.06/914.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 3653.46/914.52 c Removed useless bin: 0 fixed: 0 props: 1.97M time: 0.04 s 3653.86/914.61 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 3662.64/916.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.94 s 3726.57/932.86 c lits-rem: 1427 cl-subs: 5985 v-elim: 0 v-fix: 0 time: 16.04 s 3726.57/932.87 c vivif2 -- cl tried 7752 cl shrink 1 lits rem 1 time: 0.01 3727.77/933.14 c vivif2 -- cl tried 114912 cl shrink 438 lits rem 447 time: 0.27 3729.37/933.51 c asymm cl-useful: 0/564/7752 lits-rem:0 time: 0.37 3729.37/933.52 c calculated reachability. Time: 0.00 3729.37/933.52 c N dy 7768 2211369 2043 7752 396014 114912 1096967 9982481 13.72 no data 3770.52/943.90 c N dy 7878 2231776 2043 7752 396014 71729 1096967 4971221 13.75 14.50 3800.88/951.41 c N dy 7960 2251831 2043 7752 396014 91243 1096967 7071785 13.76 15.02 3838.45/960.82 c N dy 7999 2272681 2043 7752 396015 111378 1096967 8867879 13.75 14.52 3879.22/971.01 c N dy 8048 2295426 2043 7752 396015 69254 1096967 4261530 13.74 14.52 3907.97/978.29 c N dy 8126 2315776 2043 7752 396015 89050 1096967 6820699 13.74 14.83 3949.13/988.50 c N dy 8195 2336545 2043 7752 396015 109254 1096967 9191241 13.74 14.49 4001.47/1001.63 c N dy 8313 2356618 2043 7752 396015 128858 1096967 11748037 13.77 19.24 4032.24/1009.32 c N dy 8361 2377093 2043 7752 396015 83577 1096967 5675580 13.76 14.51 4068.21/1018.36 c N dy 8472 2397125 2043 7752 396015 103121 1096967 8136081 13.77 29.32 4109.34/1028.60 c N dy 8527 2417326 2043 7752 396015 122742 1096967 10258656 13.77 14.94 4150.49/1038.92 c N dy 8618 2437630 2043 7752 396015 76431 1096967 5140025 13.79 14.64 4180.86/1046.56 c N dy 8698 2458086 2043 7752 396015 96347 1096967 7323832 13.80 14.57 4227.21/1058.11 c N dy 8795 2480051 2043 7752 396017 117719 1096967 10140169 13.82 14.87 4276.35/1070.41 c N dy 8857 2500178 2043 7752 396017 70160 1096967 4434140 13.82 14.59 4310.72/1079.05 c N dy 8957 2521623 2043 7752 396017 91085 1096967 7107359 13.83 14.58 4357.07/1090.60 c N dy 9018 2543342 2043 7752 396017 112172 1096967 9614391 13.83 14.62 4408.20/1103.44 c N dy 9103 2563491 2043 7752 396018 131765 1096967 11933841 13.84 14.71 4443.76/1112.30 c N dy 9155 2584088 2043 7752 396019 83728 1096967 5920296 13.83 14.70 4476.95/1120.66 c N dy 9215 2604284 2043 7752 396020 103373 1096967 8013545 13.83 14.67 4519.29/1131.22 c N dy 9271 2624514 2043 7752 396021 123009 1096967 9999973 13.83 14.63 4562.44/1142.02 c N dy 9342 2646465 2043 7752 396021 75319 1096967 4855093 13.83 14.69 4595.20/1150.25 c N dy 9409 2667019 2043 7752 396021 95248 1096967 7237942 13.83 14.70 4637.55/1160.86 c N dy 9505 2687032 2043 7752 396022 114707 1096967 9557080 13.85 14.96 4687.50/1173.34 c N dy 9581 2707127 2043 7752 396022 134231 1096967 11791090 13.85 22.49 4698.68/1176.18 c S st 9595 2711369 2043 7752 396022 138351 1096967 12253261 13.85 12.63 4700.69/1176.61 c S st 9595 2711872 2043 7752 396022 138853 1096967 12314899 13.85 no data 4700.69/1176.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4720.26/1181.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 128.2M T: 4.93 4720.26/1181.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4720.66/1181.64 c bin-w-bin subsume rem 0 bins time: 0.05 s 4740.65/1186.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.04 s 4741.05/1186.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2043 time: 0.04 s 4741.05/1186.76 c Removed useless bin: 0 fixed: 0 props: 1.97M time: 0.04 s 4741.43/1186.87 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s 4749.84/1188.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.75 s
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-3251109-1304131609/watcher-3251109-1304131609 -o /tmp/evaluation-result-3251109-1304131609/solver-3251109-1304131609 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3251109-1304131609.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.63 7.25 7.44 5/180 24178 /proc/meminfo: memFree=17361020/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 505576523 52441088 353 33554432000 4194304 4627427 140736857551296 18446744073709551615 47516805883820 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 12803 353 303 106 0 7774 0 [pid=24178/tid=24179] ppid=24176 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 505576523 52441088 353 33554432000 4194304 4627427 140736857551296 18446744073709551615 264726405051 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 505576523 52441088 353 33554432000 4194304 4627427 140736857551296 18446744073709551615 47516805883826 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505576523 52441088 353 33554432000 4194304 4627427 140736857551296 18446744073709551615 264721452118 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.0466339 s] /proc/loadavg: 7.63 7.25 7.44 5/180 24178 /proc/meminfo: memFree=17361020/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=288556 CPUtime=0.17 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 7234 0 0 0 15 2 0 0 18 0 4 0 505576523 295481344 7022 33554432000 4194304 4627427 140736857551296 18446744073709551615 4531631 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 72238 7476 338 106 0 67209 0 [pid=24178/tid=24179] ppid=24176 vsize=289216 CPUtime=0.03 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) D 24176 24178 21275 0 -1 4202560 1834 0 0 0 3 0 0 0 18 0 4 0 505576523 296157184 7632 33554432000 4194304 4627427 140736857551296 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=289480 CPUtime=0.04 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) D 24176 24178 21275 0 -1 4202560 2047 0 0 0 4 0 0 0 18 0 4 0 505576523 296427520 7896 33554432000 4194304 4627427 140736857551296 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=289744 CPUtime=0.04 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) D 24176 24178 21275 0 -1 4202560 1993 0 0 0 4 0 0 0 18 0 4 0 505576523 296697856 8210 33554432000 4194304 4627427 140736857551296 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 288556 [startup+0.321281 s] /proc/loadavg: 7.63 7.25 7.44 5/180 24178 /proc/meminfo: memFree=17361020/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=297920 CPUtime=1.25 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 15655 0 0 0 120 5 0 0 18 0 4 0 505576523 305070080 15443 33554432000 4194304 4627427 140736857551296 18446744073709551615 4457815 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 74546 15566 374 106 0 69517 0 [pid=24178/tid=24179] ppid=24176 vsize=298184 CPUtime=0.31 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 4078 0 0 0 30 1 0 0 18 0 4 0 505576523 305340416 15597 33554432000 4194304 4627427 140736857551296 18446744073709551615 264726065691 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=298448 CPUtime=0.3 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) D 24176 24178 21275 0 -1 4202560 4342 0 0 0 29 1 0 0 18 0 4 0 505576523 305610752 15712 33554432000 4194304 4627427 140736857551296 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=298448 CPUtime=0.31 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 3384 0 0 0 30 1 0 0 18 0 4 0 505576523 305610752 15790 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 297920 [startup+0.41666 s] /proc/loadavg: 7.63 7.25 7.44 5/180 24178 /proc/meminfo: memFree=17361020/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=315412 CPUtime=2.02 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) D 24176 24178 21275 0 -1 4202496 23877 0 0 0 195 7 0 0 18 0 4 0 505576523 322981888 22819 33554432000 4194304 4627427 140736857551296 18446744073709551615 264726066209 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 78853 22819 383 106 0 73824 0 [pid=24178/tid=24179] ppid=24176 vsize=315412 CPUtime=0.49 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) D 24176 24178 21275 0 -1 4202560 6517 0 0 0 48 1 0 0 18 0 4 0 505576523 322981888 22522 33554432000 4194304 4627427 140736857551296 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=309432 CPUtime=1.09 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 7450 0 0 0 107 2 0 0 19 0 4 0 505576523 316858368 26077 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=309432 CPUtime=1.09 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 5639 0 0 0 107 2 0 0 18 0 4 0 505576523 316858368 26077 33554432000 4194304 4627427 140736857551296 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 315412 [startup+1.20936 s] /proc/loadavg: 7.63 7.25 7.44 5/180 24178 /proc/meminfo: memFree=17361020/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=315524 CPUtime=4.79 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 30454 0 0 0 471 8 0 0 19 0 4 0 505576523 323096576 25829 33554432000 4194304 4627427 140736857551296 18446744073709551615 4310565 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 78881 25829 385 106 0 73852 0 [pid=24178/tid=24179] ppid=24176 vsize=315524 CPUtime=1.18 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 8178 0 0 0 117 1 0 0 19 0 4 0 505576523 323096576 25829 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=315524 CPUtime=1.19 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 8180 0 0 0 117 2 0 0 19 0 4 0 505576523 323096576 25829 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=315524 CPUtime=1.19 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 5893 0 0 0 117 2 0 0 19 0 4 0 505576523 323096576 25829 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 315524 [startup+1.5003 s] /proc/loadavg: 7.63 7.25 7.44 5/180 24178 /proc/meminfo: memFree=17361020/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=319600 CPUtime=5.95 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 32558 0 0 0 587 8 0 0 20 0 4 0 505576523 327270400 26506 33554432000 4194304 4627427 140736857551296 18446744073709551615 4330946 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 79900 26507 385 106 0 74871 0 [pid=24178/tid=24179] ppid=24176 vsize=319600 CPUtime=1.48 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 8452 0 0 0 147 1 0 0 19 0 4 0 505576523 327270400 26507 33554432000 4194304 4627427 140736857551296 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=319600 CPUtime=1.48 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 8414 0 0 0 146 2 0 0 19 0 4 0 505576523 327270400 26507 33554432000 4194304 4627427 140736857551296 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=319600 CPUtime=1.48 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 6323 0 0 0 146 2 0 0 19 0 4 0 505576523 327270400 26507 33554432000 4194304 4627427 140736857551296 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 319600 [startup+3.106 s] /proc/loadavg: 7.63 7.25 7.44 9/184 24182 /proc/meminfo: memFree=17241568/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=312240 CPUtime=12.37 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 44093 0 0 0 1226 11 0 0 25 0 4 0 505576523 319733760 29994 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 78060 29994 386 106 0 73031 0 [pid=24178/tid=24179] ppid=24176 vsize=312240 CPUtime=3.09 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 11588 0 0 0 307 2 0 0 23 0 4 0 505576523 319733760 29994 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=312240 CPUtime=3.07 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 11208 0 0 0 305 2 0 0 23 0 4 0 505576523 319733760 29994 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=312240 CPUtime=3.09 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 9239 0 0 0 306 3 0 0 23 0 4 0 505576523 319733760 29995 33554432000 4194304 4627427 140736857551296 18446744073709551615 4329707 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 312240 [startup+6.3004 s] /proc/loadavg: 7.66 7.26 7.44 9/184 24182 /proc/meminfo: memFree=17152792/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=325632 CPUtime=25.15 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 60290 0 0 0 2502 13 0 0 25 0 4 0 505576523 333447168 40531 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424527 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 81408 40531 389 106 0 76379 0 [pid=24178/tid=24179] ppid=24176 vsize=325632 CPUtime=6.28 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 15189 0 0 0 626 2 0 0 25 0 4 0 505576523 333447168 40531 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=325632 CPUtime=6.26 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 15102 0 0 0 623 3 0 0 25 0 4 0 505576523 333447168 40531 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=325632 CPUtime=6.28 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 13947 0 0 0 625 3 0 0 25 0 4 0 505576523 333447168 40531 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 325632 [startup+12.7002 s] /proc/loadavg: 7.68 7.27 7.45 8/184 24183 /proc/meminfo: memFree=17140024/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=340016 CPUtime=50.7 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 76208 0 0 0 5053 17 0 0 25 0 4 0 505576523 348176384 52778 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 85004 52778 390 106 0 79975 0 [pid=24178/tid=24179] ppid=24176 vsize=340016 CPUtime=12.68 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 15809 0 0 0 1266 2 0 0 25 0 4 0 505576523 348176384 52778 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=340016 CPUtime=12.62 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 18981 0 0 0 1259 3 0 0 25 0 4 0 505576523 348176384 52778 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=340016 CPUtime=12.68 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 19880 0 0 0 1263 5 0 0 25 0 4 0 505576523 348176384 52778 33554432000 4194304 4627427 140736857551296 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 340016 [startup+25.5008 s] /proc/loadavg: 7.67 7.29 7.45 7/184 24183 /proc/meminfo: memFree=17051388/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=479232 CPUtime=101.83 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 105367 0 0 0 10160 23 0 0 25 0 4 0 505576523 490733568 70073 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 119808 70073 390 106 0 114779 0 [pid=24178/tid=24179] ppid=24176 vsize=479232 CPUtime=25.49 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 22207 0 0 0 2545 4 0 0 25 0 4 0 505576523 490733568 70073 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=479232 CPUtime=25.36 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 26727 0 0 0 2531 5 0 0 25 0 4 0 505576523 490733568 70073 33554432000 4194304 4627427 140736857551296 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=479232 CPUtime=25.48 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 29111 0 0 0 2541 7 0 0 25 0 4 0 505576523 490733568 70073 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424686 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (KiB) 479232 [startup+51.101 s] /proc/loadavg: 7.09 7.19 7.41 7/184 24184 /proc/meminfo: memFree=16900776/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=660052 CPUtime=204.1 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 163317 0 0 0 20374 36 0 0 25 0 4 0 505576523 675893248 105368 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424993 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 165013 105368 390 106 0 159984 0 [pid=24178/tid=24179] ppid=24176 vsize=660052 CPUtime=51.08 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 33392 0 0 0 5101 7 0 0 25 0 4 0 505576523 675893248 105368 33554432000 4194304 4627427 140736857551296 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=660052 CPUtime=50.83 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 39995 0 0 0 5075 8 0 0 25 0 4 0 505576523 675893248 105368 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=660052 CPUtime=51.08 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 52042 0 0 0 5097 11 0 0 25 0 4 0 505576523 675893248 105368 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.1 Current children cumulated vsize (KiB) 660052 [startup+102.3 s] /proc/loadavg: 7.06 7.13 7.38 9/184 24185 /proc/meminfo: memFree=16771400/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=712164 CPUtime=408.63 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 250059 0 0 0 40805 58 0 0 25 0 4 0 505576523 729255936 134968 33554432000 4194304 4627427 140736857551296 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 178041 134968 390 106 0 173012 0 [pid=24178/tid=24179] ppid=24176 vsize=712164 CPUtime=102.28 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 52475 0 0 0 10217 11 0 0 25 0 4 0 505576523 729255936 134968 33554432000 4194304 4627427 140736857551296 18446744073709551615 4322614 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=712164 CPUtime=101.76 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 51646 0 0 0 10165 11 0 0 25 0 4 0 505576523 729255936 134969 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=712164 CPUtime=102.28 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 81715 0 0 0 10210 18 0 0 25 0 4 0 505576523 729255936 134969 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.63 Current children cumulated vsize (KiB) 712164 [startup+162.301 s] ################ # More data... # ################ [pid=24178] ppid=24176 vsize=1263824 CPUtime=2565.88 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1052778 0 0 0 256305 283 0 0 25 0 4 0 505576523 1294155776 229416 33554432000 4194304 4627427 140736857551296 18446744073709551615 4310481 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 315956 229416 397 106 0 310927 0 [pid=24178/tid=24179] ppid=24176 vsize=1263824 CPUtime=642.29 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 257739 0 0 0 64159 70 0 0 25 0 4 0 505576523 1294155776 229416 33554432000 4194304 4627427 140736857551296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1263824 CPUtime=638.99 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 168293 0 0 0 63852 47 0 0 25 0 4 0 505576523 1294155776 229416 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1263824 CPUtime=642.3 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 353708 0 0 0 64137 93 0 0 25 0 4 0 505576523 1294155776 229416 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2565.88 Current children cumulated vsize (KiB) 1263824 [startup+702.301 s] /proc/loadavg: 4.23 5.73 6.73 5/175 24219 /proc/meminfo: memFree=21039376/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1307100 CPUtime=2805.62 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1117581 0 0 0 280257 305 0 0 25 0 4 0 505576523 1338470400 238291 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 326775 238291 390 106 0 321746 0 [pid=24178/tid=24179] ppid=24176 vsize=1307100 CPUtime=702.29 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 279854 0 0 0 70152 77 0 0 25 0 4 0 505576523 1338470400 238291 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1307100 CPUtime=698.72 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 173972 0 0 0 69823 49 0 0 25 0 4 0 505576523 1338470400 238291 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1307100 CPUtime=702.3 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 375775 0 0 0 70130 100 0 0 25 0 4 0 505576523 1338470400 238291 33554432000 4194304 4627427 140736857551296 18446744073709551615 4322529 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.62 Current children cumulated vsize (KiB) 1307100 [startup+762.301 s] /proc/loadavg: 4.15 5.43 6.56 5/175 24221 /proc/meminfo: memFree=20906780/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1642052 CPUtime=3045.35 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1202437 0 0 0 304206 329 0 0 25 0 4 0 505576523 1681461248 271189 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309122 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 410513 271189 390 106 0 405484 0 [pid=24178/tid=24179] ppid=24176 vsize=1642052 CPUtime=762.29 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 302413 0 0 0 76146 83 0 0 25 0 4 0 505576523 1681461248 271189 33554432000 4194304 4627427 140736857551296 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1642052 CPUtime=758.45 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 196586 0 0 0 75789 56 0 0 25 0 4 0 505576523 1681461248 271189 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1642052 CPUtime=762.31 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 392524 0 0 0 76125 106 0 0 25 0 4 0 505576523 1681461248 271189 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3045.35 Current children cumulated vsize (KiB) 1642052 [startup+822.3 s] /proc/loadavg: 4.12 5.18 6.40 5/175 24222 /proc/meminfo: memFree=20917044/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1448736 CPUtime=3285.07 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1290212 0 0 0 328150 357 0 0 25 0 4 0 505576523 1483505664 269048 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 362184 269048 390 106 0 357155 0 [pid=24178/tid=24179] ppid=24176 vsize=1448736 CPUtime=822.29 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 323362 0 0 0 82139 90 0 0 25 0 4 0 505576523 1483505664 269048 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424993 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1448736 CPUtime=818.18 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 216815 0 0 0 81755 63 0 0 25 0 4 0 505576523 1483505664 269048 33554432000 4194304 4627427 140736857551296 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1448736 CPUtime=822.3 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 415637 0 0 0 82116 114 0 0 25 0 4 0 505576523 1483505664 269048 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3285.07 Current children cumulated vsize (KiB) 1448736 [startup+882.301 s] /proc/loadavg: 4.11 4.98 6.25 5/175 24233 /proc/meminfo: memFree=20926076/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1344256 CPUtime=3524.8 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1357615 0 0 0 352102 378 0 0 25 0 4 0 505576523 1376518144 266242 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 336064 266242 390 106 0 331035 0 [pid=24178/tid=24179] ppid=24176 vsize=1344256 CPUtime=882.29 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 340330 0 0 0 88133 96 0 0 25 0 4 0 505576523 1376518144 266242 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1344256 CPUtime=877.9 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 227528 0 0 0 87724 66 0 0 25 0 4 0 505576523 1376518144 266242 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1344256 CPUtime=882.31 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 434946 0 0 0 88111 120 0 0 25 0 4 0 505576523 1376518144 266242 33554432000 4194304 4627427 140736857551296 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3524.8 Current children cumulated vsize (KiB) 1344256 [startup+942.301 s] /proc/loadavg: 4.09 4.82 6.11 5/175 24234 /proc/meminfo: memFree=20884856/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1647028 CPUtime=3764.53 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1415075 0 0 0 376056 397 0 0 25 0 4 0 505576523 1686556672 277525 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 411757 277526 390 106 0 406728 0 [pid=24178/tid=24179] ppid=24176 vsize=1647028 CPUtime=942.3 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 363044 0 0 0 94127 103 0 0 25 0 4 0 505576523 1686556672 277526 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1647028 CPUtime=937.62 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 233224 0 0 0 93694 68 0 0 25 0 4 0 505576523 1686556672 277526 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1647028 CPUtime=942.31 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 451379 0 0 0 94105 126 0 0 25 0 4 0 505576523 1686556672 277526 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3764.53 Current children cumulated vsize (KiB) 1647028 [startup+1002.3 s] /proc/loadavg: 4.10 4.68 5.98 5/175 24236 /proc/meminfo: memFree=20922888/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1586176 CPUtime=4004.26 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1480059 0 0 0 400005 421 0 0 25 0 4 0 505576523 1624244224 267155 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 396544 267155 390 106 0 391515 0 [pid=24178/tid=24179] ppid=24176 vsize=1586176 CPUtime=1002.3 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 386249 0 0 0 100120 110 0 0 25 0 4 0 505576523 1624244224 267155 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1586176 CPUtime=997.35 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 241456 0 0 0 99663 72 0 0 25 0 4 0 505576523 1624244224 267155 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1586176 CPUtime=1002.31 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 473333 0 0 0 100097 134 0 0 25 0 4 0 505576523 1624244224 267155 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4004.26 Current children cumulated vsize (KiB) 1586176 [startup+1062.3 s] /proc/loadavg: 4.03 4.55 5.86 5/175 24238 /proc/meminfo: memFree=20834076/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1661472 CPUtime=4244.01 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1554523 0 0 0 423956 445 0 0 25 0 4 0 505576523 1701347328 289050 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 415368 289050 390 106 0 410339 0 [pid=24178/tid=24179] ppid=24176 vsize=1661472 CPUtime=1062.31 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 409224 0 0 0 106114 117 0 0 25 0 4 0 505576523 1701347328 289050 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1661472 CPUtime=1057.08 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 252012 0 0 0 105630 78 0 0 25 0 4 0 505576523 1701347328 289050 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1661472 CPUtime=1062.31 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 491013 0 0 0 106091 140 0 0 25 0 4 0 505576523 1701347328 289050 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4244.01 Current children cumulated vsize (KiB) 1661472 [startup+1122.3 s] /proc/loadavg: 4.06 4.47 5.74 5/175 24239 /proc/meminfo: memFree=20894048/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1605448 CPUtime=4483.73 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1613029 0 0 0 447906 467 0 0 25 0 4 0 505576523 1643978752 274668 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 401362 274668 390 106 0 396333 0 [pid=24178/tid=24179] ppid=24176 vsize=1605448 CPUtime=1122.3 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 422366 0 0 0 112110 120 0 0 25 0 4 0 505576523 1643978752 274668 33554432000 4194304 4627427 140736857551296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1605448 CPUtime=1116.8 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 259769 0 0 0 111599 81 0 0 25 0 4 0 505576523 1643978752 274668 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1605448 CPUtime=1122.32 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 513390 0 0 0 112084 148 0 0 25 0 4 0 505576523 1643978752 274668 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4483.73 Current children cumulated vsize (KiB) 1605448 [startup+1182.31 s] /proc/loadavg: 4.02 4.38 5.63 5/175 24241 /proc/meminfo: memFree=20830908/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1554368 CPUtime=4723.48 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1677097 0 0 0 471861 487 0 0 25 0 4 0 505576523 1591672832 289813 33554432000 4194304 4627427 140736857551296 18446744073709551615 4424704 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 388592 289813 390 106 0 383563 0 [pid=24178/tid=24179] ppid=24176 vsize=1554368 CPUtime=1182.31 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 440565 0 0 0 118104 127 0 0 25 0 4 0 505576523 1591672832 289813 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1554368 CPUtime=1176.54 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 275151 0 0 0 117567 87 0 0 25 0 4 0 505576523 1591672832 289813 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1554368 CPUtime=1182.32 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 527717 0 0 0 118081 151 0 0 25 0 4 0 505576523 1591672832 289813 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4723.48 Current children cumulated vsize (KiB) 1554368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.5 s] /proc/loadavg: 4.01 4.35 5.60 5/175 24241 /proc/meminfo: memFree=20829780/32951124 swapFree=67111524/67111528 [pid=24178] ppid=24176 vsize=1554412 CPUtime=4800.18 cores=0,2,4,6 /proc/24178/stat : 24178 (strangenight2-m) R 24176 24178 21275 0 -1 4202496 1690595 0 0 0 479527 491 0 0 25 0 4 0 505576523 1591717888 290065 33554432000 4194304 4627427 140736857551296 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/24178/statm: 388603 290065 390 106 0 383574 0 [pid=24178/tid=24179] ppid=24176 vsize=1554412 CPUtime=1201.51 cores=0,2,4,6 /proc/24178/task/24179/stat : 24179 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 449180 0 0 0 120022 129 0 0 25 0 4 0 505576523 1591717888 290065 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=24178/tid=24180] ppid=24176 vsize=1554412 CPUtime=1195.64 cores=0,2,4,6 /proc/24178/task/24180/stat : 24180 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 275151 0 0 0 119477 87 0 0 25 0 4 0 505576523 1591717888 290065 33554432000 4194304 4627427 140736857551296 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=24178/tid=24181] ppid=24176 vsize=1554412 CPUtime=1201.52 cores=0,2,4,6 /proc/24178/task/24181/stat : 24181 (strangenight2-m) R 24176 24178 21275 0 -1 4202560 531289 0 0 0 119999 153 0 0 25 0 4 0 505576523 1591717888 290065 33554432000 4194304 4627427 140736857551296 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.18 Current children cumulated vsize (KiB) 1554412 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.57 CPU time (s): 4800.26 CPU user time (s): 4795.29 CPU system time (s): 4.97024 CPU usage (%): 399.5 Max. virtual memory (cumulated for all children) (KiB): 1828540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4795.29 system time used= 4.97024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1690597 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= 4119 involuntary context switches= 19844 runsolver used 1.85572 second user time and 4.04638 second system time The end
Begin job on node141 at 2011-04-30 04:46:49 IDJOB=3251109 IDBENCH=88211 IDSOLVER=1586 FILE ID=node141/3251109-1304131609 RUNJOBID= node141-1304128529-21293 PBS_JOBID= 13170777 Free space on /tmp= 72368 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251109-1304131609/watcher-3251109-1304131609 -o /tmp/evaluation-result-3251109-1304131609/solver-3251109-1304131609 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3251109-1304131609.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ba3b1702a651cd8da3e6cada8f2e97bc RANDOM SEED=1231406872 node141.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.806 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.806 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 : 5362.96 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.84 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 17361300 kB Buffers: 1403116 kB Cached: 9149744 kB SwapCached: 4 kB Active: 7193256 kB Inactive: 7813656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 17361300 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 128312 kB Writeback: 0 kB AnonPages: 4453248 kB Mapped: 15504 kB Slab: 510760 kB PageTables: 14192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 5088956 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= 72588 MiB End job on node141 at 2011-04-30 05:06:53