| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.35 | 1201.72 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf |
| MD5SUM | 4227d784a99fd8c0304137876add0b08 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 398.758 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60 |
| Number of clauses | 5340 |
| Sum of the clauses size | 37380 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 5340 |
0.00/0.00 c Outputting solution to console 0.00/0.02 c Using 4 threads 0.00/0.02 c This is CryptoMiniSat 2.9.0 0.00/0.02 c compiled with gcc version 4.4.5 0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.02 c Reading file 'HOME/instance-3175229-1304101543.cnf' 0.00/0.02 c -- header says num vars: 60 0.00/0.02 c -- header says num clauses: 5340 0.00/0.02 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.00/0.02 c -- vars added 60 0.00/0.02 c Parsing time: 0.01 s 0.00/0.02 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.00/0.14 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.45 0.00/0.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.00/0.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.52/0.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.52/0.16 c Finding binary XORs T: 0.00 s found: 0 0.52/0.16 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.52/0.16 c calculated reachability. Time: 0.00 0.52/0.16 c Calc default polars - time: 0.00 s pos: 25 undec: 1 neg: 34 0.52/0.16 c ========================================================================================= 0.52/0.16 c types(t): F = full restart, N = normal restart 0.52/0.16 c types(t): S = simplification begin/end, E = solution found 0.52/0.16 c restart types(rt): st = static, dy = dynamic 0.52/0.16 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.52/0.16 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 0.52/0.26 c N dy 8 4014 60 5340 0 3577 37380 76791 17.99 19.36 -- 0.52/0.41 c N dy 25 8614 60 5340 0 5420 37380 110244 18.16 19.21 -- 0.52/0.74 c N dy 39 17226 60 5340 0 9222 37380 176960 17.56 18.60 -- 0.52/0.91 c N dy 68 21238 60 5340 0 7883 37380 147271 17.83 18.92 -- 0.52/1.09 c F st 93 25000 60 5340 0 11240 37380 219499 18.02 16.55 -- 4.36/1.11 c N st 94 25251 60 5340 0 11467 37380 224384 18.02 no data -- 5.17/1.31 c N dy 99 30001 60 5340 0 9656 37380 173843 18.02 no data -- 5.17/1.31 c S st 99 30001 60 5340 0 9656 37380 173843 18.02 no data -- 5.17/1.34 c S st 99 30505 60 5340 0 10116 37380 184040 18.02 no data -- 5.17/1.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.17/1.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.17/1.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.17/1.35 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.17/1.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.17/1.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.17/1.35 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.74/2.25 c lits-rem: 1544 cl-subs: 1134 v-elim: 0 v-fix: 0 time: 3.57 s 9.94/2.54 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.14 9.94/2.54 c calculated reachability. Time: 0.00 9.94/2.54 c N dy 99 30505 60 5340 0 8982 37380 160061 18.02 no data -- 11.14/2.84 c N dy 121 36397 60 5340 0 7219 37380 112535 18.07 19.03 -- 11.94/3.05 c N dy 135 41109 60 5340 0 11408 37380 201436 18.06 19.20 -- 13.14/3.33 c N dy 149 45758 60 5340 0 15544 37380 289375 18.07 17.96 -- 13.14/3.33 c S st 149 45758 60 5340 0 15544 37380 289375 18.07 17.96 -- 13.14/3.38 c S st 149 46262 60 5340 0 8063 37380 122834 18.07 no data -- 13.14/3.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.14/3.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.14/3.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.14/3.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.14/3.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.14/3.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.14/3.39 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.33/4.10 c lits-rem: 82 cl-subs: 22 v-elim: 0 v-fix: 0 time: 2.87 s 16.33/4.11 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.33/4.11 c vivif2 -- cl tried 8041 cl shrink 0 lits rem 0 time: 0.00 17.15/4.33 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.90 17.15/4.33 c calculated reachability. Time: 0.00 17.15/4.33 c N dy 149 46262 60 5340 0 8041 37380 122243 18.07 no data -- 17.92/4.52 c N dy 164 50323 60 5340 0 11666 37380 199937 18.10 19.18 -- 19.13/4.82 c N dy 185 55358 60 5340 0 16173 37380 296454 18.16 19.12 -- 19.93/5.06 c N dy 204 59404 60 5340 0 10897 37380 172048 18.20 19.95 -- 20.73/5.27 c N dy 207 63461 60 5340 0 14494 37380 246689 18.13 19.13 -- 22.32/5.66 c N dy 211 69393 60 5340 0 9996 37380 144531 18.01 15.60 -- 22.32/5.66 c S st 211 69393 60 5340 0 9996 37380 144531 18.01 15.60 -- 22.32/5.69 c S st 211 69894 60 5340 0 10448 37380 154646 18.01 no data -- 22.32/5.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.32/5.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.32/5.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 22.72/5.70 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.72/5.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.72/5.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.72/5.70 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.94/6.53 c lits-rem: 304 cl-subs: 116 v-elim: 0 v-fix: 0 time: 3.32 s 25.94/6.53 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 25.94/6.53 c vivif2 -- cl tried 10332 cl shrink 0 lits rem 0 time: 0.00 27.12/6.82 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.16 27.12/6.82 c calculated reachability. Time: 0.00 27.12/6.82 c N dy 211 69894 60 5340 0 10332 37380 151792 18.01 no data -- 27.91/7.08 c N dy 243 74367 60 5340 0 14295 37380 237198 18.09 19.66 -- 29.51/7.41 c N dy 265 79167 60 5340 0 18592 37380 328360 18.11 19.14 -- 30.71/7.76 c N dy 283 84302 60 5340 0 12499 37380 187558 18.12 19.59 -- 31.51/7.93 c F st 287 87500 60 5340 0 15337 37380 247413 18.11 no data -- 32.31/8.15 c N st 292 90799 60 5340 0 18250 37380 307423 18.11 no data -- 33.91/8.59 c N dy 304 96644 60 5340 0 11869 37380 163080 18.11 19.11 -- 35.90/9.07 c N dy 310 104842 60 5340 0 19108 37380 312873 18.04 15.83 -- 35.90/9.07 c S st 310 104842 60 5340 0 19108 37380 312873 18.04 15.83 -- 36.30/9.13 c S st 310 105345 60 5340 0 19555 37380 322831 18.04 no data -- 36.30/9.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 36.30/9.13 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 36.30/9.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 36.30/9.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 36.30/9.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 36.30/9.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 36.30/9.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 41.49/10.45 c lits-rem: 1632 cl-subs: 2358 v-elim: 0 v-fix: 0 time: 5.23 s 41.49/10.45 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 41.49/10.46 c vivif2 -- cl tried 17197 cl shrink 0 lits rem 0 time: 0.01 43.11/10.81 c asymm cl-useful: 0/4457/5340 lits-rem:0 time: 1.42 43.11/10.82 c calculated reachability. Time: 0.00 43.11/10.82 c N dy 310 105345 60 5340 0 17197 37380 273962 18.04 no data -- 45.89/11.52 c N dy 327 114333 60 5340 0 12886 37380 176840 18.01 18.97 -- 57.88/14.57 c N dy 336 158021 60 5340 0 23878 37380 376506 17.39 15.53 -- 57.88/14.57 c S st 336 158021 60 5340 0 23878 37380 376506 17.39 15.53 -- 58.28/14.64 c S st 336 158522 60 5340 0 24330 37380 386653 17.39 no data -- 58.28/14.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 58.28/14.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 58.28/14.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 58.28/14.65 c bin-w-bin subsume rem 0 bins time: 0.00 s 58.28/14.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 58.28/14.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 58.28/14.65 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 66.26/16.69 c lits-rem: 1791 cl-subs: 3875 v-elim: 0 v-fix: 0 time: 8.14 s 66.26/16.69 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 66.26/16.70 c vivif2 -- cl tried 20455 cl shrink 0 lits rem 0 time: 0.02 66.66/16.79 c asymm cl-useful: 0/883/5340 lits-rem:0 time: 0.36 66.66/16.79 c calculated reachability. Time: 0.00 66.66/16.79 c N dy 336 158522 60 5340 0 20455 37380 317145 17.39 no data -- 71.06/17.89 c N dy 425 168700 60 5340 0 14867 37380 193078 17.52 18.48 -- 75.05/18.85 c N dy 507 180436 60 5340 0 25331 37380 419091 17.63 18.62 -- 79.44/19.99 c N dy 570 192050 60 5340 0 19905 37380 287707 17.68 18.75 -- 84.63/21.26 c N dy 673 204397 60 5340 0 30979 37380 528731 17.79 18.79 -- 89.43/22.49 c N dy 713 217492 60 5340 0 25735 37380 397544 17.78 19.87 -- 96.24/24.10 c N dy 779 233001 60 5340 0 21778 37380 305571 17.81 18.88 -- 97.82/24.56 c S st 819 237784 60 5340 0 26050 37380 398075 17.84 no data -- 98.22/24.63 c S st 819 238285 60 5340 0 26511 37380 408315 17.84 no data -- 98.22/24.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 98.22/24.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 98.22/24.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 98.22/24.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 98.22/24.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 98.22/24.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 98.22/24.64 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 106.21/26.61 c lits-rem: 1858 cl-subs: 1933 v-elim: 0 v-fix: 0 time: 7.84 s 106.21/26.61 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 106.21/26.61 c vivif2 -- cl tried 24578 cl shrink 0 lits rem 0 time: 0.02 107.41/26.97 c asymm cl-useful: 0/3329/5340 lits-rem:0 time: 1.43 107.41/26.97 c calculated reachability. Time: 0.00 107.41/26.97 c N dy 819 238285 60 5340 0 24578 37380 363481 17.84 no data -- 115.00/28.81 c N dy 884 255492 60 5340 0 21265 37380 281960 17.87 18.90 -- 121.39/30.48 c N dy 965 271844 60 5340 0 35802 37380 591511 17.91 18.97 -- 129.38/32.46 c N dy 1025 291184 60 5340 0 33506 37380 530125 17.91 18.86 -- 136.16/34.14 c F st 1076 306251 60 5340 0 26429 37380 367576 17.91 14.66 -- 138.16/34.62 c N dy 1082 311446 60 5340 0 31003 37380 464490 17.91 no data -- 150.94/37.86 c N dy 1147 342254 60 5340 0 36907 37380 568923 17.83 18.79 -- 158.94/39.85 c S st 1226 357427 60 5340 0 28339 37380 397949 17.86 17.16 -- 159.34/39.93 c S st 1226 357932 60 5340 0 28794 37380 408039 17.86 no data -- 159.34/39.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 159.34/39.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 159.34/39.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 159.34/39.95 c bin-w-bin subsume rem 0 bins time: 0.00 s 159.34/39.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 159.34/39.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 159.34/39.95 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 167.72/42.01 c lits-rem: 1289 cl-subs: 1489 v-elim: 0 v-fix: 0 time: 8.22 s 167.72/42.01 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 167.72/42.02 c vivif2 -- cl tried 27305 cl shrink 0 lits rem 0 time: 0.02 168.52/42.29 c asymm cl-useful: 0/2011/5340 lits-rem:0 time: 1.10 168.52/42.29 c calculated reachability. Time: 0.00 168.52/42.29 c N dy 1226 357932 60 5340 0 27305 37380 374049 17.86 no data -- 181.30/45.48 c N dy 1309 377933 60 5340 0 45024 37380 748271 17.87 19.41 -- 192.50/48.30 c N dy 1442 397938 60 5340 0 39877 37380 635429 17.93 18.96 -- 228.44/57.23 c N dy 1542 477814 60 5340 0 35683 37380 490274 17.62 18.77 -- 242.02/60.67 c N dy 1709 497840 60 5340 0 27220 37380 321289 17.69 18.83 -- 253.21/63.40 c N dy 1849 517908 60 5340 0 45111 37380 708792 17.75 19.15 -- 265.19/66.41 c S st 1956 536898 60 5340 0 34516 37380 464539 17.78 18.16 -- 265.59/66.50 c S st 1956 537404 60 5340 0 34982 37380 474948 17.78 no data -- 265.59/66.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 265.59/66.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 265.59/66.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 265.59/66.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 265.59/66.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 265.59/66.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 265.59/66.53 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 274.38/68.72 c lits-rem: 1068 cl-subs: 1864 v-elim: 0 v-fix: 0 time: 8.77 s 274.38/68.73 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 274.38/68.73 c vivif2 -- cl tried 33118 cl shrink 0 lits rem 0 time: 0.02 275.99/69.10 c asymm cl-useful: 0/2706/5340 lits-rem:0 time: 1.48 275.99/69.10 c calculated reachability. Time: 0.00 275.99/69.10 c N dy 1956 537404 60 5340 0 33118 37380 434974 17.78 no data -- 288.36/72.25 c N dy 2076 557621 60 5340 0 51015 37380 817651 17.82 18.78 -- 300.74/75.35 c N dy 2193 577935 60 5340 0 40853 37380 595321 17.86 18.87 -- 315.13/78.93 c N dy 2286 597986 60 5340 0 29402 37380 336082 17.86 19.54 -- 327.11/81.97 c N dy 2451 618052 60 5340 0 47310 37380 725133 17.91 19.77 -- 350.70/87.83 c N dy 2544 655741 60 5340 0 50335 37380 756644 17.87 18.82 -- 365.86/91.62 c N dy 2634 675756 60 5340 0 37172 37380 482879 17.89 21.68 -- 382.63/95.85 c N dy 2783 700106 60 5340 0 58850 37380 950024 17.92 18.88 -- 397.82/99.64 c N dy 2901 720189 60 5340 0 44693 37380 631930 17.95 18.90 -- 412.99/103.49 c N dy 2985 740740 60 5340 0 62929 37380 1018831 17.96 18.92 -- 426.17/106.78 c N dy 3068 760766 60 5340 0 47891 37380 688844 17.97 18.99 -- 441.36/110.52 c N dy 3107 782483 60 5340 0 67060 37380 1089568 17.96 18.99 -- 454.94/113.99 c N dy 3256 802523 60 5340 0 51263 37380 758006 17.99 20.81 -- 457.73/114.67 c S st 3274 806106 60 5340 0 54429 37380 825581 17.99 18.26 -- 458.53/114.82 c S st 3274 806607 60 5340 0 54883 37380 835780 17.99 no data -- 458.53/114.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 458.53/114.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 458.53/114.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 458.53/114.87 c bin-w-bin subsume rem 0 bins time: 0.00 s 458.53/114.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 458.53/114.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 458.53/114.87 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 493.29/123.55 c lits-rem: 2998 cl-subs: 4872 v-elim: 0 v-fix: 0 time: 34.65 s 493.29/123.55 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 493.29/123.55 c vivif2 -- cl tried 50011 cl shrink 0 lits rem 0 time: 0.04 494.49/123.85 c asymm cl-useful: 0/773/5340 lits-rem:0 time: 1.19 494.49/123.85 c calculated reachability. Time: 0.00 494.49/123.85 c N dy 3274 806607 60 5340 0 50011 37380 724696 17.99 no data -- 515.25/129.04 c N dy 3407 827865 60 5340 0 34549 37380 383461 18.02 18.99 -- 525.64/131.68 c N dy 3437 847931 60 5340 0 52222 37380 752895 18.00 19.81 -- 541.62/135.68 c N dy 3473 867954 60 5340 0 69875 37380 1120679 17.99 19.07 -- 555.60/139.11 c N dy 3584 887964 60 5340 0 52419 37380 757516 18.01 21.00 -- 573.58/143.66 c N dy 3678 908025 60 5340 0 70087 37380 1134184 18.02 19.43 -- 588.38/147.33 c N dy 3794 928092 60 5340 0 51748 37380 735626 18.04 19.04 -- 606.73/151.99 c N dy 3903 949267 60 5340 0 70572 37380 1141907 18.05 19.02 -- 621.91/155.70 c N dy 3996 969409 60 5340 0 51139 37380 706482 18.07 19.12 -- 637.89/159.78 c N dy 4050 989508 60 5340 0 68728 37380 1075364 18.06 19.01 -- 653.88/163.76 c N dy 4099 1010395 60 5340 0 49205 37380 650472 18.05 19.08 -- 670.25/167.89 c N dy 4173 1030440 60 5340 0 66963 37380 1027385 18.05 19.01 -- 687.42/172.15 c N dy 4228 1050577 60 5340 0 45903 37380 573540 18.05 19.06 -- 703.81/176.22 c N dy 4353 1070834 60 5340 0 63877 37380 962207 18.07 19.09 -- 705.00/176.50 c F st 4364 1071875 60 5340 0 64804 37380 982536 18.07 no data -- 726.57/181.92 c N dy 4448 1095460 60 5340 0 45839 37380 559024 18.07 19.13 -- 742.55/185.90 c N dy 4541 1116277 60 5340 0 64304 37380 953335 18.08 19.09 -- 764.52/191.45 c N dy 4625 1138169 60 5340 0 42928 37380 488210 18.08 19.04 -- 783.30/196.18 c N dy 4754 1158224 60 5340 0 60763 37380 876498 18.10 19.53 -- 808.86/202.52 c N dy 4867 1178326 60 5340 0 78644 37380 1264473 18.12 19.23 -- 831.63/208.28 c N dy 4953 1198373 60 5340 0 54750 37380 732230 18.13 20.39 -- 846.41/211.97 c S st 5037 1209910 60 5340 0 64965 37380 955764 18.14 18.30 -- 847.22/212.18 c S st 5037 1210412 60 5340 0 65425 37380 965850 18.14 no data -- 847.22/212.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 847.22/212.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 847.63/212.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.14 847.63/212.24 c bin-w-bin subsume rem 0 bins time: 0.00 s 847.63/212.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 847.63/212.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 847.63/212.24 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 905.93/226.89 c lits-rem: 3390 cl-subs: 5829 v-elim: 0 v-fix: 0 time: 58.48 s 905.93/226.89 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 906.33/226.90 c vivif2 -- cl tried 59596 cl shrink 0 lits rem 0 time: 0.04 907.13/227.17 c asymm cl-useful: 0/623/5340 lits-rem:0 time: 1.08 907.13/227.17 c calculated reachability. Time: 0.00 907.13/227.17 c N dy 5037 1210412 60 5340 0 59596 37380 837210 18.14 no data -- 929.90/232.88 c N dy 5117 1234728 60 5340 0 81045 37380 1293191 18.14 19.11 -- 946.28/236.99 c N dy 5189 1254880 60 5340 0 56627 37380 764030 18.14 19.22 -- 965.86/241.83 c N dy 5296 1274943 60 5340 0 74411 37380 1148643 18.15 20.75 -- 988.24/247.41 c N dy 5351 1295015 60 5340 0 48945 37380 592838 18.15 19.39 -- 1016.18/254.40 c N dy 5427 1326010 60 5340 0 76114 37380 1159433 18.14 19.18 -- 1041.75/260.90 c N dy 5537 1346038 60 5340 0 49821 37380 601830 18.15 19.38 -- 1064.91/266.63 c N dy 5629 1370568 60 5340 0 71449 37380 1060030 18.15 19.11 -- 1103.27/276.29 c N dy 5698 1418118 60 5340 0 68044 37380 942810 18.10 19.27 -- 1122.04/280.92 c N dy 5745 1438728 60 5340 0 86103 37380 1318461 18.10 19.12 -- 1158.79/290.16 c N dy 5830 1484564 60 5340 0 80695 37380 1221913 18.07 19.13 -- 1182.76/296.16 c N dy 5986 1504590 60 5340 0 51929 37380 618640 18.09 19.62 -- 1201.13/300.77 c N dy 6116 1524684 60 5340 0 69714 37380 1007420 18.11 19.07 -- 1223.50/306.30 c N dy 6182 1545101 60 5340 0 87773 37380 1393681 18.11 19.16 -- 1245.07/311.75 c N dy 6283 1565123 60 5340 0 57888 37380 731218 18.12 21.25 -- 1265.06/316.73 c N dy 6387 1585301 60 5340 0 75774 37380 1116913 18.13 19.08 -- 1287.41/322.35 c N dy 6450 1605316 60 5340 0 93467 37380 1494044 18.12 20.45 -- 1307.79/327.45 c N dy 6551 1626010 60 5340 0 63179 37380 834375 18.13 19.09 -- 1326.17/332.01 c N dy 6564 1646720 60 5340 0 81199 37380 1203905 18.11 19.13 -- 1353.72/338.97 c N dy 6662 1666734 60 5340 0 49586 37380 533461 18.11 19.10 -- 1377.30/344.89 c N dy 6765 1689317 60 5340 0 69491 37380 961409 18.12 19.09 -- 1404.87/351.74 c N dy 6817 1709338 60 5340 0 87086 37380 1331599 18.12 21.28 -- 1407.26/352.34 c S st 6828 1710412 60 5340 0 88054 37380 1353307 18.12 no data -- 1408.46/352.69 c S st 6828 1710913 60 5340 0 88509 37380 1363599 18.12 no data -- 1408.86/352.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1408.86/352.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1408.86/352.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.23 1409.26/352.81 c bin-w-bin subsume rem 0 bins time: 0.00 s 1409.26/352.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1409.26/352.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1409.26/352.81 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1599.39/400.47 c lits-rem: 5677 cl-subs: 10949 v-elim: 0 v-fix: 0 time: 190.36 s 1599.39/400.47 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1599.39/400.49 c vivif2 -- cl tried 77560 cl shrink 0 lits rem 0 time: 0.07 1601.39/400.94 c asymm cl-useful: 0/515/5340 lits-rem:0 time: 1.81 1601.39/400.94 c calculated reachability. Time: 0.00 1601.39/400.94 c N dy 6828 1710913 60 5340 0 77560 37380 1130296 18.12 no data -- 1635.34/409.40 c N dy 6922 1731758 60 5340 0 96001 37380 1526803 18.12 19.14 -- 1659.31/415.41 c N dy 7045 1751809 60 5340 0 64137 37380 843924 18.14 21.54 -- 1684.88/421.87 c N dy 7116 1771853 60 5340 0 81759 37380 1217220 18.14 19.17 -- 1722.82/431.35 c N dy 7159 1797471 60 5340 0 53410 37380 595342 18.13 19.09 -- 1744.40/436.77 c N dy 7213 1817483 60 5340 0 71016 37380 964074 18.12 19.09 -- 1777.95/445.17 c N dy 7327 1840341 60 5340 0 91298 37380 1403366 18.13 19.14 -- 1808.71/452.88 c N dy 7355 1869760 60 5340 0 65092 37380 813574 18.10 19.24 -- 1831.90/458.69 c N dy 7477 1889800 60 5340 0 82866 37380 1199992 18.11 20.06 -- 1859.84/465.62 c N dy 7584 1909881 60 5340 0 100626 37380 1582397 18.12 19.78 -- 1885.41/472.03 c N dy 7728 1930243 60 5340 0 65910 37380 849938 18.13 19.10 -- 1907.38/477.51 c N dy 7821 1950294 60 5340 0 83616 37380 1231850 18.14 20.46 -- 1936.54/484.85 c N dy 7954 1970328 60 5340 0 101321 37380 1616606 18.15 20.41 -- 1960.11/490.75 c N dy 8045 1990409 60 5340 0 65199 37380 815605 18.15 19.26 -- 1983.27/496.52 c N dy 8157 2011768 60 5340 0 84034 37380 1223846 18.16 19.18 -- 2009.24/503.00 c N dy 8223 2031781 60 5340 0 101657 37380 1597344 18.16 19.15 -- 2034.81/509.42 c N dy 8316 2051930 60 5340 0 64844 37380 801084 18.16 19.13 -- 2054.38/514.31 c N dy 8365 2072323 60 5340 0 82765 37380 1182762 18.16 19.33 -- 2087.13/522.50 c N dy 8399 2103128 60 5340 0 109574 37380 1732917 18.14 19.28 -- 2108.32/527.85 c N dy 8478 2124194 60 5340 0 72805 37380 959760 18.14 19.11 -- 2130.70/533.46 c N dy 8550 2144600 60 5340 0 90854 37380 1349395 18.14 19.16 -- 2160.64/540.99 c N dy 8645 2164819 60 5340 0 108706 37380 1734880 18.15 19.19 -- 2185.01/547.00 c N dy 8716 2187092 60 5340 0 71852 37380 928661 18.15 19.44 -- 2208.58/552.99 c N dy 8791 2208294 60 5340 0 90603 37380 1331693 18.15 19.15 -- 2212.17/553.85 c S st 8800 2210916 60 5340 0 92930 37380 1380850 18.15 17.41 -- 2213.37/554.15 c S st 8800 2211424 60 5340 0 93383 37380 1391041 18.15 no data -- 2213.37/554.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2213.37/554.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2213.37/554.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.17 2213.78/554.24 c bin-w-bin subsume rem 0 bins time: 0.00 s 2213.78/554.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2213.78/554.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2213.78/554.24 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2535.33/634.78 c lits-rem: 5164 cl-subs: 10369 v-elim: 0 v-fix: 0 time: 321.63 s 2535.33/634.78 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2535.33/634.80 c vivif2 -- cl tried 83014 cl shrink 0 lits rem 0 time: 0.07 2537.33/635.25 c asymm cl-useful: 0/459/5340 lits-rem:0 time: 1.83 2537.33/635.26 c calculated reachability. Time: 0.00 2537.33/635.26 c N dy 8800 2211424 60 5340 0 83014 37380 1171694 18.15 no data -- 2572.88/644.13 c N dy 8912 2231459 60 5340 0 100777 37380 1557944 18.16 22.08 -- 2619.21/655.70 c N dy 8991 2265512 60 5340 0 73983 37380 953265 18.15 19.16 -- 2652.38/664.06 c N dy 9074 2289551 60 5340 0 95090 37380 1401560 18.15 19.19 -- 2691.12/673.71 c N dy 9177 2309574 60 5340 0 112769 37380 1782735 18.15 20.27 -- 2717.89/680.44 c N dy 9272 2330105 60 5340 0 73137 37380 943021 18.16 19.19 -- 2743.85/686.97 c N dy 9311 2352942 60 5340 0 93202 37380 1366874 18.15 19.13 -- 2777.41/695.32 c N dy 9391 2373006 60 5340 0 110936 37380 1746021 18.15 19.96 -- 2806.57/702.64 c N dy 9454 2393047 60 5340 0 69715 37380 857823 18.15 19.55 -- 2832.93/709.21 c N dy 9537 2413057 60 5340 0 87393 37380 1237966 18.15 20.20 -- 2873.67/719.46 c N dy 9556 2445303 60 5340 0 115501 37380 1815638 18.13 19.14 -- 2898.84/725.71 c N dy 9653 2465393 60 5340 0 73479 37380 926475 18.14 19.40 -- 2920.41/731.19 c N dy 9714 2486485 60 5340 0 91979 37380 1318880 18.14 19.10 -- 2953.16/739.31 c N dy 9825 2506559 60 5340 0 109721 37380 1704390 18.14 20.77 -- 2993.91/749.58 c N dy 9914 2538228 60 5340 0 76792 37380 968615 18.13 19.18 -- 3018.30/755.68 c N dy 9995 2558304 60 5340 0 94389 37380 1346670 18.14 19.96 -- 3061.43/766.47 c N dy 10048 2592263 60 5340 0 62639 37380 676401 18.12 19.09 -- 3120.94/781.35 c N dy 10147 2651793 60 5340 0 114431 37380 1725432 18.08 19.12 -- 3153.30/789.41 c N dy 10276 2671815 60 5340 0 70035 37380 831359 18.09 19.06 -- 3180.06/796.15 c N dy 10403 2692005 60 5340 0 87897 37380 1221805 18.10 19.09 -- 3214.42/804.78 c S st 10508 2711424 60 5340 0 105001 37380 1591346 18.10 16.83 -- 3216.03/805.16 c S st 10508 2711928 60 5340 0 105451 37380 1601490 18.10 no data -- 3216.03/805.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3216.03/805.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3216.41/805.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.24 3216.41/805.28 c bin-w-bin subsume rem 0 bins time: 0.00 s 3216.41/805.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3216.41/805.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3216.41/805.28 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3677.42/920.64 c lits-rem: 7924 cl-subs: 11096 v-elim: 0 v-fix: 0 time: 460.71 s 3677.42/920.64 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3677.42/920.66 c vivif2 -- cl tried 94355 cl shrink 0 lits rem 0 time: 0.08 3678.99/921.07 c asymm cl-useful: 0/551/5340 lits-rem:0 time: 1.65 3678.99/921.08 c calculated reachability. Time: 0.00 3678.99/921.08 c N dy 10508 2711928 60 5340 0 94355 37380 1354999 18.10 no data -- 3718.93/931.04 c N dy 10627 2732007 60 5340 0 112066 37380 1740319 18.11 20.33 -- 3762.88/942.02 c N dy 10790 2752159 60 5340 0 67271 37380 765729 18.12 19.08 -- 3788.84/948.50 c N dy 10885 2772195 60 5340 0 84913 37380 1147189 18.13 20.73 -- 3831.21/959.12 c N dy 10903 2802732 60 5340 0 111547 37380 1696574 18.11 19.29 -- 3893.90/974.86 c N dy 10949 2848681 60 5340 0 87887 37380 1157781 18.09 19.10 -- 3929.45/983.77 c N dy 11058 2869071 60 5340 0 105840 37380 1543111 18.10 19.05 -- 3975.39/995.21 c N dy 11202 2889366 60 5340 0 123821 37380 1936840 18.10 19.16 -- 4008.95/1003.69 c N dy 11288 2911520 60 5340 0 78535 37380 980122 18.10 19.06 -- 4038.10/1010.96 c N dy 11363 2931588 60 5340 0 96091 37380 1349898 18.10 20.20 -- 4084.04/1022.42 c N dy 11511 2953501 60 5340 0 115410 37380 1772803 18.11 19.17 -- 4133.18/1034.73 c N dy 11606 2979776 60 5340 0 72604 37380 840809 18.11 19.17 -- 4157.15/1040.77 c N dy 11698 3001275 60 5340 0 91450 37380 1243741 18.11 19.18 -- 4190.30/1049.01 c N dy 11848 3021357 60 5340 0 109282 37380 1636506 18.12 20.97 -- 4227.85/1058.43 c N dy 11941 3041365 60 5340 0 126897 37380 2018136 18.13 20.73 -- 4262.21/1067.04 c N dy 12064 3061455 60 5340 0 77851 37380 948813 18.13 19.30 -- 4290.17/1074.03 c N dy 12156 3081485 60 5340 0 95531 37380 1331457 18.14 20.60 -- 4326.52/1083.17 c N dy 12247 3101523 60 5340 0 113160 37380 1710549 18.14 19.10 -- 4374.06/1095.06 c N dy 12361 3124755 60 5340 0 133582 37380 2153607 18.15 19.23 -- 4417.20/1105.88 c N dy 12420 3156931 60 5340 0 93808 37380 1259556 18.14 19.10 -- 4451.95/1114.59 c N dy 12515 3176996 60 5340 0 111518 37380 1641387 18.14 20.10 -- 4497.89/1126.05 c N dy 12616 3197064 60 5340 0 129153 37380 2022584 18.15 19.26 -- 4522.66/1132.20 c S st 12619 3211928 60 5340 0 73745 37380 833329 18.14 13.94 -- 4523.46/1132.45 c S st 12619 3212432 60 5340 0 74195 37380 843566 18.14 no data -- 4523.46/1132.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4523.46/1132.46 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4523.46/1132.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.16 4523.86/1132.52 c bin-w-bin subsume rem 0 bins time: 0.00 s 4523.86/1132.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4523.86/1132.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4523.86/1132.52 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4599.77/1151.59 c lits-rem: 1322 cl-subs: 1813 v-elim: 0 v-fix: 0 time: 76.16 s 4599.77/1151.59 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4600.17/1151.61 c vivif2 -- cl tried 72382 cl shrink 0 lits rem 0 time: 0.05 4601.35/1151.98 c asymm cl-useful: 0/614/5340 lits-rem:0 time: 1.49 4601.35/1151.98 c calculated reachability. Time: 0.00 4601.35/1151.98 c N dy 12619 3212432 60 5340 0 72382 37380 809588 18.14 no data -- 4629.71/1159.00 c N dy 12715 3234228 60 5340 0 91512 37380 1221616 18.14 19.19 -- 4660.47/1166.77 c N dy 12823 3254639 60 5340 0 109489 37380 1611509 18.15 19.20 -- 4693.62/1175.09 c N dy 12897 3274686 60 5340 0 127047 37380 1987442 18.15 19.99 -- 4726.79/1183.30 c N dy 12927 3298001 60 5340 0 78103 37380 919729 18.14 19.11 -- 4755.14/1190.43 c N dy 13042 3318179 60 5340 0 95829 37380 1303657 18.14 19.10 -- 4789.12/1198.98 c N dy 13165 3338759 60 5340 0 114028 37380 1701868 18.15 19.12 --
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-3175229-1304101543/watcher-3175229-1304101543 -o /tmp/evaluation-result-3175229-1304101543/solver-3175229-1304101543 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175229-1304101543.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: 5.43 8.47 9.42 7/180 2723 /proc/meminfo: memFree=30767640/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=40992 CPUtime=0 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 3 0 521755060 41975808 350 33554432000 4194304 4650419 140734003864928 18446744073709551615 222921833457 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 10248 350 303 112 0 5213 0 [pid=2723/tid=2724] ppid=2721 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 521755061 52465664 352 33554432000 4194304 4650419 140734003864928 18446744073709551615 47554590980018 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 521755061 52465664 352 33554432000 4194304 4650419 140734003864928 18446744073709551615 47554590980008 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 521755061 52465664 352 33554432000 4194304 4650419 140734003864928 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.142809 s] /proc/loadavg: 5.43 8.47 9.42 7/180 2723 /proc/meminfo: memFree=30767640/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=283696 CPUtime=0.52 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 1971 0 0 0 52 0 0 0 18 0 4 0 521755060 290504704 1723 33554432000 4194304 4650419 140734003864928 18446744073709551615 222921473803 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 70958 1780 376 112 0 65923 0 [pid=2723/tid=2724] ppid=2721 vsize=283832 CPUtime=0.13 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 319 0 0 0 13 0 0 0 18 0 4 0 521755061 290643968 1828 33554432000 4194304 4650419 140734003864928 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=283964 CPUtime=0.13 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) D 2721 2723 2052 0 -1 4202560 418 0 0 0 13 0 0 0 18 0 4 0 521755061 290779136 1854 33554432000 4194304 4650419 140734003864928 18446744073709551615 222921438241 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=284108 CPUtime=0.11 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 367 0 0 0 11 0 0 0 25 0 4 0 521755061 290926592 1919 33554432000 4194304 4650419 140734003864928 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 283696 [startup+1.10503 s] /proc/loadavg: 5.43 8.47 9.42 7/180 2723 /proc/meminfo: memFree=30767640/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=287220 CPUtime=4.36 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 7123 0 0 0 435 1 0 0 19 0 4 0 521755060 294113280 3895 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 71805 3895 391 112 0 66770 0 [pid=2723/tid=2724] ppid=2721 vsize=287220 CPUtime=1.08 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1690 0 0 0 108 0 0 0 19 0 4 0 521755061 294113280 3895 33554432000 4194304 4650419 140734003864928 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=287220 CPUtime=1.09 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1624 0 0 0 109 0 0 0 19 0 4 0 521755061 294113280 3895 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=287220 CPUtime=1.07 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1663 0 0 0 107 0 0 0 25 0 4 0 521755061 294113280 3895 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 287220 [startup+1.20501 s] /proc/loadavg: 5.43 8.47 9.42 7/180 2723 /proc/meminfo: memFree=30767640/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=287624 CPUtime=4.77 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 7966 0 0 0 475 2 0 0 19 0 4 0 521755060 294526976 3770 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365773 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 71906 3770 391 112 0 66871 0 [pid=2723/tid=2724] ppid=2721 vsize=287624 CPUtime=1.18 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1979 0 0 0 118 0 0 0 19 0 4 0 521755061 294526976 3770 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=287624 CPUtime=1.19 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1861 0 0 0 119 0 0 0 19 0 4 0 521755061 294526976 3770 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=287624 CPUtime=1.17 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1721 0 0 0 117 0 0 0 25 0 4 0 521755061 294526976 3770 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.77 Current children cumulated vsize (KiB) 287624 [startup+1.30499 s] /proc/loadavg: 5.43 8.47 9.42 7/180 2723 /proc/meminfo: memFree=30767640/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=287624 CPUtime=5.17 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 8173 0 0 0 515 2 0 0 19 0 4 0 521755060 294526976 3977 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 71906 3977 391 112 0 66871 0 [pid=2723/tid=2724] ppid=2721 vsize=287624 CPUtime=1.28 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 2034 0 0 0 128 0 0 0 19 0 4 0 521755061 294526976 3977 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=287624 CPUtime=1.29 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1917 0 0 0 129 0 0 0 19 0 4 0 521755061 294526976 3977 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=287624 CPUtime=1.27 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 1765 0 0 0 127 0 0 0 25 0 4 0 521755061 294526976 3977 33554432000 4194304 4650419 140734003864928 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.17 Current children cumulated vsize (KiB) 287624 [startup+1.50096 s] /proc/loadavg: 5.43 8.47 9.42 7/180 2723 /proc/meminfo: memFree=30767640/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=293020 CPUtime=5.95 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 9934 0 0 0 593 2 0 0 20 0 4 0 521755060 300052480 5340 33554432000 4194304 4650419 140734003864928 18446744073709551615 4439099 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 73255 5340 392 112 0 68220 0 [pid=2723/tid=2724] ppid=2721 vsize=293020 CPUtime=1.48 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 2122 0 0 0 148 0 0 0 19 0 4 0 521755061 300052480 5340 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=293020 CPUtime=1.49 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 2004 0 0 0 149 0 0 0 19 0 4 0 521755061 300052480 5340 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=293020 CPUtime=1.46 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 2061 0 0 0 146 0 0 0 25 0 4 0 521755061 300052480 5340 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 293020 [startup+3.10067 s] /proc/loadavg: 5.43 8.47 9.42 9/184 2727 /proc/meminfo: memFree=30693948/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=292464 CPUtime=12.35 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 16186 0 0 0 1232 3 0 0 25 0 4 0 521755060 299483136 9973 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 73116 9973 392 112 0 68081 0 [pid=2723/tid=2724] ppid=2721 vsize=292464 CPUtime=3.09 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 3568 0 0 0 308 1 0 0 25 0 4 0 521755061 299483136 9976 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=292464 CPUtime=3.08 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 4237 0 0 0 308 0 0 0 25 0 4 0 521755061 299483136 9976 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=292464 CPUtime=3.07 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 4367 0 0 0 306 1 0 0 25 0 4 0 521755061 299483136 9976 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 292464 [startup+6.30108 s] /proc/loadavg: 5.64 8.46 9.41 9/184 2727 /proc/meminfo: memFree=30678076/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=302924 CPUtime=25.12 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 23579 0 0 0 2508 4 0 0 25 0 4 0 521755060 310194176 12102 33554432000 4194304 4650419 140734003864928 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 75731 12102 392 112 0 70696 0 [pid=2723/tid=2724] ppid=2721 vsize=302924 CPUtime=6.28 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 6054 0 0 0 627 1 0 0 25 0 4 0 521755061 310194176 12102 33554432000 4194304 4650419 140734003864928 18446744073709551615 4370630 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=302924 CPUtime=6.26 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 6062 0 0 0 626 0 0 0 25 0 4 0 521755061 310194176 12102 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=302924 CPUtime=6.27 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 6506 0 0 0 626 1 0 0 25 0 4 0 521755061 310194176 12102 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 302924 [startup+12.7009 s] /proc/loadavg: 5.83 8.45 9.41 9/184 2727 /proc/meminfo: memFree=30636452/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=312776 CPUtime=50.68 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 35661 0 0 0 5062 6 0 0 25 0 4 0 521755060 320282624 18018 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 78194 18018 392 112 0 73159 0 [pid=2723/tid=2724] ppid=2721 vsize=312776 CPUtime=12.68 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 8831 0 0 0 1266 2 0 0 25 0 4 0 521755061 320282624 18018 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=312776 CPUtime=12.62 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 9411 0 0 0 1261 1 0 0 25 0 4 0 521755061 320282624 18018 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=312776 CPUtime=12.66 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 9957 0 0 0 1265 1 0 0 25 0 4 0 521755061 320282624 18018 33554432000 4194304 4650419 140734003864928 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 312776 [startup+25.5006 s] /proc/loadavg: 6.31 8.43 9.38 9/184 2728 /proc/meminfo: memFree=30587588/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=304568 CPUtime=101.82 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 50186 0 0 0 10172 10 0 0 25 0 4 0 521755060 311877632 23970 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 76142 23970 392 112 0 71107 0 [pid=2723/tid=2724] ppid=2721 vsize=304568 CPUtime=25.48 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 13096 0 0 0 2546 2 0 0 25 0 4 0 521755061 311877632 23970 33554432000 4194304 4650419 140734003864928 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=304568 CPUtime=25.36 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 13750 0 0 0 2534 2 0 0 25 0 4 0 521755061 311877632 23970 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=304568 CPUtime=25.46 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 13855 0 0 0 2544 2 0 0 25 0 4 0 521755061 311877632 23970 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.82 Current children cumulated vsize (KiB) 304568 [startup+51.1009 s] /proc/loadavg: 6.96 8.41 9.35 9/184 2728 /proc/meminfo: memFree=30571020/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=316464 CPUtime=204.08 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 73643 0 0 0 20391 17 0 0 25 0 4 0 521755060 324059136 26673 33554432000 4194304 4650419 140734003864928 18446744073709551615 4304183 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 79116 26673 392 112 0 74081 0 [pid=2723/tid=2724] ppid=2721 vsize=316464 CPUtime=51.07 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 20087 0 0 0 5103 4 0 0 25 0 4 0 521755061 324059136 26673 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=316464 CPUtime=50.81 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 20299 0 0 0 5077 4 0 0 25 0 4 0 521755061 324059136 26673 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=316464 CPUtime=51.06 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 18911 0 0 0 5102 4 0 0 25 0 4 0 521755061 324059136 26673 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.08 Current children cumulated vsize (KiB) 316464 [startup+102.301 s] /proc/loadavg: 7.61 8.36 9.28 9/184 2730 /proc/meminfo: memFree=30525924/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=308036 CPUtime=408.6 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 109201 0 0 0 40830 30 0 0 25 0 4 0 521755060 315428864 31491 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 77009 31491 392 112 0 71974 0 [pid=2723/tid=2724] ppid=2721 vsize=308036 CPUtime=102.28 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 28094 0 0 0 10220 8 0 0 25 0 4 0 521755061 315428864 31491 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=308036 CPUtime=101.74 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 31895 0 0 0 10166 8 0 0 25 0 4 0 521755061 315428864 31491 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=308036 CPUtime=102.26 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 30692 0 0 0 10218 8 0 0 25 0 4 0 521755061 315428864 31491 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.6 Current children cumulated vsize (KiB) 308036 [startup+162.301 s] ################ # More data... # ################ [pid=2723] ppid=2721 vsize=435656 CPUtime=2805.37 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 353539 0 0 0 280397 140 0 0 25 0 4 0 521755060 446111744 68524 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 108914 68524 392 112 0 103879 0 [pid=2723/tid=2724] ppid=2721 vsize=435656 CPUtime=702.3 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 90603 0 0 0 70193 37 0 0 25 0 4 0 521755061 446111744 68524 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=435656 CPUtime=698.46 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 101537 0 0 0 69806 40 0 0 25 0 4 0 521755061 446111744 68524 33554432000 4194304 4650419 140734003864928 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=435656 CPUtime=702.27 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 92160 0 0 0 70194 33 0 0 25 0 4 0 521755061 446111744 68524 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.37 Current children cumulated vsize (KiB) 435656 [startup+762.301 s] /proc/loadavg: 8.13 8.14 8.67 9/184 2747 /proc/meminfo: memFree=30227076/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=435776 CPUtime=3045.04 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 369984 0 0 0 304355 149 0 0 25 0 4 0 521755060 446234624 72864 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 108944 72864 392 112 0 103909 0 [pid=2723/tid=2724] ppid=2721 vsize=435776 CPUtime=762.3 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 95990 0 0 0 76190 40 0 0 25 0 4 0 521755061 446234624 72864 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=435776 CPUtime=758.12 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 106968 0 0 0 75769 43 0 0 25 0 4 0 521755061 446234624 72864 33554432000 4194304 4650419 140734003864928 18446744073709551615 4363866 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=435776 CPUtime=762.27 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 96455 0 0 0 76192 35 0 0 25 0 4 0 521755061 446234624 72864 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3045.04 Current children cumulated vsize (KiB) 435776 [startup+822.301 s] /proc/loadavg: 8.11 8.13 8.63 9/184 2749 /proc/meminfo: memFree=30198092/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=435884 CPUtime=3284.72 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 383785 0 0 0 328316 156 0 0 25 0 4 0 521755060 446345216 74628 33554432000 4194304 4650419 140734003864928 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 108971 74628 392 112 0 103936 0 [pid=2723/tid=2724] ppid=2721 vsize=435884 CPUtime=822.3 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 98300 0 0 0 82189 41 0 0 25 0 4 0 521755061 446345216 74628 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=435884 CPUtime=817.8 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 111923 0 0 0 81734 46 0 0 25 0 4 0 521755061 446345216 74628 33554432000 4194304 4650419 140734003864928 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=435884 CPUtime=822.28 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 102609 0 0 0 82189 39 0 0 25 0 4 0 521755061 446345216 74628 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.72 Current children cumulated vsize (KiB) 435884 [startup+882.301 s] /proc/loadavg: 8.10 8.12 8.59 9/184 2751 /proc/meminfo: memFree=30194428/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=435944 CPUtime=3524.4 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 392808 0 0 0 352278 162 0 0 25 0 4 0 521755060 446406656 74855 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 108986 74855 392 112 0 103951 0 [pid=2723/tid=2724] ppid=2721 vsize=435944 CPUtime=882.29 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 100102 0 0 0 88188 41 0 0 25 0 4 0 521755061 446406656 74855 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=435944 CPUtime=877.48 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 115394 0 0 0 87700 48 0 0 25 0 4 0 521755061 446406656 74855 33554432000 4194304 4650419 140734003864928 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=435944 CPUtime=882.28 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 106359 0 0 0 88186 42 0 0 25 0 4 0 521755061 446406656 74855 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.4 Current children cumulated vsize (KiB) 435944 [startup+942.301 s] /proc/loadavg: 8.04 8.09 8.55 9/184 2752 /proc/meminfo: memFree=30158368/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=567124 CPUtime=3764.08 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 406923 0 0 0 376237 171 0 0 25 0 4 0 521755060 580734976 83633 33554432000 4194304 4650419 140734003864928 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 141781 83633 392 112 0 136746 0 [pid=2723/tid=2724] ppid=2721 vsize=567124 CPUtime=942.3 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 104491 0 0 0 94186 44 0 0 25 0 4 0 521755061 580734976 83633 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=567124 CPUtime=937.15 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 120094 0 0 0 93665 50 0 0 25 0 4 0 521755061 580734976 83633 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=567124 CPUtime=942.28 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 110651 0 0 0 94184 44 0 0 25 0 4 0 521755061 580734976 83633 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3764.08 Current children cumulated vsize (KiB) 567124 [startup+1002.3 s] /proc/loadavg: 8.07 8.09 8.52 9/184 2754 /proc/meminfo: memFree=30153300/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=501696 CPUtime=4003.76 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 428272 0 0 0 400198 178 0 0 25 0 4 0 521755060 513736704 80303 33554432000 4194304 4650419 140734003864928 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 125424 80303 392 112 0 120389 0 [pid=2723/tid=2724] ppid=2721 vsize=501696 CPUtime=1002.3 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 107608 0 0 0 100183 47 0 0 25 0 4 0 521755061 513736704 80303 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=501696 CPUtime=996.82 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 125114 0 0 0 99629 53 0 0 25 0 4 0 521755061 513736704 80303 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=501696 CPUtime=1002.28 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 123863 0 0 0 100183 45 0 0 25 0 4 0 521755061 513736704 80303 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.76 Current children cumulated vsize (KiB) 501696 [startup+1062.3 s] /proc/loadavg: 8.08 8.09 8.49 9/184 2755 /proc/meminfo: memFree=30135232/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=501804 CPUtime=4243.43 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 442538 0 0 0 424160 183 0 0 25 0 4 0 521755060 513847296 81452 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 125451 81452 392 112 0 120416 0 [pid=2723/tid=2724] ppid=2721 vsize=501804 CPUtime=1062.3 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 111409 0 0 0 106181 49 0 0 25 0 4 0 521755061 513847296 81452 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=501804 CPUtime=1056.49 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 130537 0 0 0 105594 55 0 0 25 0 4 0 521755061 513847296 81452 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=501804 CPUtime=1062.28 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 128905 0 0 0 106182 46 0 0 25 0 4 0 521755061 513847296 81452 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.43 Current children cumulated vsize (KiB) 501804 [startup+1122.3 s] /proc/loadavg: 8.10 8.09 8.46 9/184 2757 /proc/meminfo: memFree=30141588/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=569480 CPUtime=4483.12 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 449586 0 0 0 448124 188 0 0 25 0 4 0 521755060 583147520 80482 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 142370 80482 392 112 0 137335 0 [pid=2723/tid=2724] ppid=2721 vsize=569480 CPUtime=1122.31 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 113053 0 0 0 112180 51 0 0 25 0 4 0 521755061 583147520 80482 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=569480 CPUtime=1116.17 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 132926 0 0 0 111561 56 0 0 25 0 4 0 521755061 583147520 80482 33554432000 4194304 4650419 140734003864928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=569480 CPUtime=1122.29 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 131505 0 0 0 112181 48 0 0 25 0 4 0 521755061 583147520 80482 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4483.12 Current children cumulated vsize (KiB) 569480 [startup+1182.3 s] /proc/loadavg: 8.10 8.08 8.44 9/184 2759 /proc/meminfo: memFree=30100696/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=582512 CPUtime=4722.81 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 460648 0 0 0 472086 195 0 0 25 0 4 0 521755060 596492288 86054 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 145628 86054 392 112 0 140593 0 [pid=2723/tid=2724] ppid=2721 vsize=582512 CPUtime=1182.31 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 117478 0 0 0 118178 53 0 0 25 0 4 0 521755061 596492288 86054 33554432000 4194304 4650419 140734003864928 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=582512 CPUtime=1175.84 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 134129 0 0 0 117527 57 0 0 25 0 4 0 521755061 596492288 86054 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=582512 CPUtime=1182.29 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 136637 0 0 0 118178 51 0 0 25 0 4 0 521755061 596492288 86054 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.81 Current children cumulated vsize (KiB) 582512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.07 8.08 8.43 5/179 2760 /proc/meminfo: memFree=30437748/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=582568 CPUtime=4800.29 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 464198 0 0 0 479832 197 0 0 25 0 4 0 521755060 596549632 81662 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 145642 81662 392 112 0 140607 0 [pid=2723/tid=2724] ppid=2721 vsize=582568 CPUtime=1201.71 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 118550 0 0 0 120117 54 0 0 25 0 4 0 521755061 596549632 81662 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=582568 CPUtime=1195.14 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 136292 0 0 0 119455 59 0 0 25 0 4 0 521755061 596549632 81662 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=582568 CPUtime=1201.69 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 136952 0 0 0 120118 51 0 0 25 0 4 0 521755061 596549632 81662 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.29 Current children cumulated vsize (KiB) 582568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.07 8.08 8.43 5/179 2760 /proc/meminfo: memFree=30437748/32951124 swapFree=67110188/67111528 [pid=2723] ppid=2721 vsize=582568 CPUtime=4800.29 cores=1,3,5,7 /proc/2723/stat : 2723 (strangenight1-m) R 2721 2723 2052 0 -1 4202496 464198 0 0 0 479832 197 0 0 25 0 4 0 521755060 596549632 81662 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2723/statm: 145642 81662 392 112 0 140607 0 [pid=2723/tid=2724] ppid=2721 vsize=582568 CPUtime=1201.71 cores=1,3,5,7 /proc/2723/task/2724/stat : 2724 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 118550 0 0 0 120117 54 0 0 25 0 4 0 521755061 596549632 81662 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2723/tid=2725] ppid=2721 vsize=582568 CPUtime=1195.14 cores=1,3,5,7 /proc/2723/task/2725/stat : 2725 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 136292 0 0 0 119455 59 0 0 25 0 4 0 521755061 596549632 81662 33554432000 4194304 4650419 140734003864928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2723/tid=2726] ppid=2721 vsize=582568 CPUtime=1201.69 cores=1,3,5,7 /proc/2723/task/2726/stat : 2726 (strangenight1-m) R 2721 2723 2052 0 -1 4202560 136952 0 0 0 120118 51 0 0 25 0 4 0 521755061 596549632 81662 33554432000 4194304 4650419 140734003864928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.29 Current children cumulated vsize (KiB) 582568 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.72 CPU time (s): 4800.35 CPU user time (s): 4798.35 CPU system time (s): 1.9907 CPU usage (%): 399.455 Max. virtual memory (cumulated for all children) (KiB): 582568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.35 system time used= 1.9907 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 464198 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= 486 involuntary context switches= 33683 runsolver used 1.74673 second user time and 4.82427 second system time The end
Begin job on node109 at 2011-04-29 20:25:43 IDJOB=3175229 IDBENCH=82847 IDSOLVER=1588 FILE ID=node109/3175229-1304101543 RUNJOBID= node109-1304101543-2701 PBS_JOBID= 13170607 Free space on /tmp= 72380 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175229-1304101543/watcher-3175229-1304101543 -o /tmp/evaluation-result-3175229-1304101543/solver-3175229-1304101543 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175229-1304101543.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4227d784a99fd8c0304137876add0b08 RANDOM SEED=1730566322 node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30767672 kB Buffers: 728048 kB Cached: 1003048 kB SwapCached: 712 kB Active: 147052 kB Inactive: 1648364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30767672 kB SwapTotal: 67111528 kB SwapFree: 67110188 kB Dirty: 12532 kB Writeback: 0 kB AnonPages: 63808 kB Mapped: 15040 kB Slab: 324472 kB PageTables: 4772 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 239452 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= 72380 MiB End job on node109 at 2011-04-29 20:45:47