| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.41 | 1203.79 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf |
| MD5SUM | 472b10ce0a2683d9355981037eea091e |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 7.17391 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3672 |
| Number of clauses | 1163952 |
| Sum of the clauses size | 2331456 |
| Maximum clause length | 62 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 1163892 |
| 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 | 60 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3366713-1305433537.cnf' 0.00/0.01 c -- header says num vars: 3672 0.00/0.01 c -- header says num clauses: 1163952 0.37/0.20 c -- clauses added: 0 learnts, 1163952 normals, 0 xors 0.37/0.20 c -- vars added 3672 0.37/0.20 c Parsing time: 0.17 s 0.37/0.20 c N st 0 0 3672 60 1163892 0 2331456 0 no data no data 0.37/0.21 c asymm cl-useful: 0/60/60 lits-rem:0 time: 0.00 0.89/0.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.2M T: 0.14 0.89/0.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.89/0.82 c bin-w-bin subsume rem 0 bins time: 0.20 s 0.89/0.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.21 s 3.26/0.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3672 time: 0.09 s 3.63/0.99 c Removed useless bin: 0 fixed: 0 props: 5.83M time: 0.10 s 5.52/1.49 c lits-rem: 148 cl-subs: 0 v-elim: 60 v-fix: 0 time: 0.47 s 5.95/1.51 c Finding binary XORs T: 0.02 s found: 0 5.95/1.58 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan) 5.95/1.58 c calculated reachability. Time: 0.00 5.95/1.59 c Calc default polars - time: 0.01 s pos: 0 undec: 60 neg: 3612 5.95/1.59 c ========================================================================================= 5.95/1.59 c types(t): F = full restart, N = normal restart 5.95/1.59 c types(t): S = simplification begin/end, E = solution found 5.95/1.59 c restart types(rt): st = static, dy = dynamic 5.95/1.59 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 5.95/1.59 c B st 0 0 3612 19291 1140989 0 3563108 0 no data no data 9.91/2.50 c N dy 18 4041 3612 19291 1140989 3921 3563107 552421 11.30 11.92 12.70/3.28 c N dy 33 8413 3612 19291 1140989 5773 3563107 562227 10.67 11.25 15.88/4.09 c N dy 51 12602 3612 19291 1140989 5723 3563107 474987 10.61 11.32 19.12/4.89 c N dy 69 16789 3612 19291 1140989 9837 3563107 945588 10.69 11.38 22.67/5.73 c N dy 86 20842 3612 19291 1140989 8318 3563107 577203 10.60 11.25 25.85/6.59 c F st 104 25001 3612 19291 1140989 12413 3563107 898318 10.54 8.04 26.66/6.73 c N st 104 25001 3612 19291 1140989 12413 3563107 898318 10.54 8.04 31.03/7.82 c N dy 110 30000 3612 19291 1140989 10599 3563107 662218 10.54 no data 31.03/7.82 c S st 110 30000 3612 19291 1140989 10599 3563107 662218 10.54 no data 31.43/7.92 c S st 110 30504 3612 19291 1140989 11103 3563107 709472 10.54 no data 31.43/7.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 39.41/9.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 82.9M T: 2.05 39.81/10.01 c blocked clauses removed: 0 vars: 0 tried: 3612 T: 0.00 s 40.21/10.11 c bin-w-bin subsume rem 0 bins time: 0.10 s 59.00/14.87 c subs with bin: 0 lits-rem: 21555 v-fix: 0 time: 4.76 s 59.34/14.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 59.74/15.07 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 64.53/16.24 c lits-rem: 8631 cl-subs: 0 v-elim: 0 v-fix: 0 time: 1.17 s 69.72/17.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.33 s 73.70/18.59 c lits-rem: 200 cl-subs: 888 v-elim: 0 v-fix: 0 time: 0.96 s 75.30/18.90 c asymm cl-useful: 170/1880/19291 lits-rem:2955 time: 0.32 75.30/18.93 c calculated reachability. Time: 0.00 75.30/18.93 c N dy 110 30504 3612 19291 1140989 10215 3521335 670308 10.54 no data 78.89/19.81 c N dy 126 34664 3612 19291 1140989 14290 3521335 1099053 10.53 11.18 82.48/20.76 c N dy 148 38698 3612 19291 1140989 10491 3521335 807393 10.57 11.30 85.67/21.58 c N dy 172 42783 3612 19291 1140989 14522 3521335 1232641 10.66 11.26 88.46/22.20 c S st 193 45756 3612 19291 1140989 17430 3521335 1585365 10.70 no data 88.87/22.34 c S st 193 46256 3612 19291 1140989 9157 3521335 570896 10.70 no data 88.87/22.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 97.24/24.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 80.1M T: 2.08 97.24/24.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 97.64/24.57 c bin-w-bin subsume rem 0 bins time: 0.10 s 117.18/29.40 c subs with bin: 0 lits-rem: 20186 v-fix: 0 time: 4.83 s 117.58/29.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 117.98/29.60 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 117.98/29.69 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 123.56/31.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.31 s 124.39/31.30 c lits-rem: 34 cl-subs: 411 v-elim: 0 v-fix: 0 time: 0.25 s 124.79/31.37 c vivif2 -- cl tried 19291 cl shrink 14589 lits rem 244712 time: 0.07 125.14/31.40 c vivif2 -- cl tried 8746 cl shrink 0 lits rem 0 time: 0.03 125.54/31.59 c asymm cl-useful: 0/973/19291 lits-rem:0 time: 0.19 125.94/31.62 c calculated reachability. Time: 0.01 125.94/31.62 c N dy 193 46256 3612 19291 1140989 8746 3250594 551996 10.70 no data 128.77/32.40 c N dy 216 50306 3612 19291 1140989 12729 3250594 1131397 10.78 11.56 132.32/33.26 c N dy 237 54308 3612 19291 1140989 16649 3250594 1511487 10.83 12.50 136.71/34.32 c N dy 266 58717 3612 19291 1140989 11158 3250594 849222 10.93 11.67 140.70/35.39 c N dy 294 63834 3612 19291 1140989 16173 3250594 1548769 11.11 11.84 144.68/36.34 c N dy 320 67957 3612 19291 1140989 20211 3250594 2126782 11.23 17.40 146.32/36.77 c S st 330 69385 3612 19291 1140989 10846 3250594 715734 11.29 10.64 146.72/36.88 c S st 330 69886 3612 19291 1140989 11345 3250594 796838 11.29 no data 147.07/36.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 155.50/39.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 81.6M T: 2.16 155.50/39.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 155.85/39.19 c bin-w-bin subsume rem 0 bins time: 0.10 s 174.99/43.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.71 s 175.39/44.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 175.79/44.10 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 177.04/44.47 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.36 s 182.17/45.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.29 s 183.36/46.07 c lits-rem: 67 cl-subs: 62 v-elim: 0 v-fix: 0 time: 0.27 s 183.77/46.10 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 183.77/46.14 c vivif2 -- cl tried 11283 cl shrink 0 lits rem 0 time: 0.04 184.57/46.36 c asymm cl-useful: 0/1208/19291 lits-rem:0 time: 0.22 184.57/46.38 c calculated reachability. Time: 0.01 184.57/46.38 c N dy 330 69886 3612 19291 1140989 11283 3250594 793145 11.29 no data 188.95/47.40 c N dy 348 74363 3612 19291 1140989 15627 3250594 1177098 11.27 18.32 193.34/48.59 c N dy 360 79374 3612 19291 1140989 20493 3250594 1558255 11.20 11.82 198.96/49.97 c N dy 391 84715 3612 19291 1140989 14018 3250594 1200368 11.38 12.01 201.72/50.62 c F st 412 87502 3612 19291 1140989 16751 3250594 1573181 11.52 10.32 205.30/51.54 c N st 417 90803 3612 19291 1140989 19962 3250594 2152587 11.52 no data 212.53/53.32 c N dy 445 96748 3612 19291 1140989 13087 3250594 997684 11.68 12.30 218.86/54.95 c N dy 475 103143 3612 19291 1140989 19325 3250594 1902648 11.79 12.42 220.90/55.42 c S st 482 104829 3612 19291 1140989 20968 3250594 2044267 11.79 11.35 221.31/55.54 c S st 482 105330 3612 19291 1140989 21465 3250594 2119791 11.79 no data 221.31/55.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 232.02/58.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 93.5M T: 2.68 232.02/58.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 232.42/58.37 c bin-w-bin subsume rem 0 bins time: 0.10 s 251.17/63.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.66 s 251.61/63.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 252.01/63.23 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 252.01/63.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 257.55/64.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.31 s 268.32/67.36 c lits-rem: 641 cl-subs: 619 v-elim: 0 v-fix: 0 time: 2.69 s 268.32/67.38 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 268.72/67.46 c vivif2 -- cl tried 20846 cl shrink 0 lits rem 0 time: 0.07 269.91/67.75 c asymm cl-useful: 0/431/19291 lits-rem:0 time: 0.29 269.91/67.78 c calculated reachability. Time: 0.00 269.91/67.78 c N dy 482 105330 3612 19291 1140989 20846 3250594 2071464 11.79 no data 277.49/69.63 c N dy 515 112197 3612 19291 1140989 13899 3250594 977773 11.82 12.53 284.27/71.33 c N dy 553 119608 3612 19291 1140989 21177 3250594 2183271 11.85 12.58 292.64/73.41 c N dy 606 127319 3612 19291 1140989 28713 3250594 3435801 12.04 12.82 301.02/75.50 c N dy 640 135606 3612 19291 1140989 22067 3250594 1743888 12.03 12.77 309.78/77.73 c N dy 684 144609 3612 19291 1140989 30865 3250594 3365655 12.16 12.86 318.15/79.88 c N dy 739 153901 3612 19291 1140989 24355 3250594 2424839 12.27 13.07 322.19/80.90 c S st 749 157995 3612 19291 1140989 28377 3250594 3036427 12.25 7.77 322.94/81.02 c S st 749 158498 3612 19291 1140989 28880 3250594 3118125 12.25 no data 322.94/81.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 335.71/84.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 100.2M T: 3.21 335.71/84.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 336.11/84.38 c bin-w-bin subsume rem 0 bins time: 0.10 s 354.85/89.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.71 s 355.25/89.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 355.65/89.29 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 356.05/89.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 362.83/91.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.58 s 378.39/94.94 c lits-rem: 573 cl-subs: 364 v-elim: 0 v-fix: 0 time: 3.91 s 378.39/94.97 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 378.82/95.07 c vivif2 -- cl tried 28516 cl shrink 0 lits rem 0 time: 0.10 379.97/95.37 c asymm cl-useful: 0/382/19291 lits-rem:0 time: 0.30 379.97/95.39 c calculated reachability. Time: 0.00 379.97/95.39 c N dy 749 158498 3612 19291 1140989 28516 3250594 3053362 12.25 no data 390.75/98.02 c N dy 786 168724 3612 19291 1140989 21859 3250594 1730037 12.21 12.88 403.11/101.16 c N dy 834 179806 3612 19291 1140989 32616 3250594 3028886 12.20 12.97 415.87/104.39 c N dy 889 191337 3612 19291 1140989 26238 3250594 2126499 12.26 13.33 431.47/108.22 c N dy 949 205032 3612 19291 1140989 21058 3250594 1504579 12.31 13.09 446.18/111.97 c N dy 1016 218656 3612 19291 1140989 34405 3250594 3738670 12.35 13.04 460.54/115.56 c N dy 1066 232756 3612 19291 1140989 28641 3250594 2291509 12.34 13.07 465.33/116.76 c S st 1090 237747 3612 19291 1140989 33520 3250594 2982334 12.37 no data 465.73/116.89 c S st 1090 238248 3612 19291 1140989 34016 3250594 3049655 12.37 no data 466.13/116.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 477.29/119.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 96.3M T: 2.87 477.69/119.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 478.09/119.91 c bin-w-bin subsume rem 0 bins time: 0.10 s 496.82/124.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.69 s 496.82/124.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 497.27/124.80 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 497.67/124.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 503.20/126.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.35 s 521.55/130.81 c lits-rem: 1451 cl-subs: 1017 v-elim: 0 v-fix: 0 time: 4.50 s 521.55/130.84 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 521.95/130.95 c vivif2 -- cl tried 32999 cl shrink 0 lits rem 0 time: 0.11 523.15/131.22 c asymm cl-useful: 0/441/19291 lits-rem:0 time: 0.27 523.15/131.25 c calculated reachability. Time: 0.00 523.15/131.25 c N dy 1090 238248 3612 19291 1140989 32999 3250594 2977998 12.37 no data 539.89/135.45 c N dy 1145 253532 3612 19291 1140989 27387 3250594 1970429 12.38 13.05 560.63/140.67 c N dy 1192 270985 3612 19291 1140989 22924 3250594 1396789 12.33 13.07 581.77/145.98 c N dy 1255 288500 3612 19291 1140989 39854 3250594 3252284 12.33 12.99 600.52/150.65 c F st 1334 306250 3612 19291 1140989 34826 3250594 2796765 12.35 no data 602.95/151.28 c N st 1337 307438 3612 19291 1140989 35974 3250594 2886140 12.35 no data 629.28/157.88 c N dy 1401 327112 3612 19291 1140989 31652 3250594 2121938 12.36 13.03 654.36/164.11 c N dy 1485 347535 3612 19291 1140989 27244 3250594 1625347 12.37 13.03 666.72/167.28 c S st 1534 357372 3612 19291 1140989 36802 3250594 2607479 12.41 no data 667.52/167.41 c S st 1534 357879 3612 19291 1140989 37307 3250594 2694746 12.41 no data 667.52/167.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 679.47/170.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 98.9M T: 2.97 679.47/170.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 679.87/170.54 c bin-w-bin subsume rem 0 bins time: 0.10 s 698.22/175.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.64 s 698.62/175.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 699.05/175.38 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 699.46/175.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 705.80/177.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.55 s 730.52/183.28 c lits-rem: 3149 cl-subs: 2028 v-elim: 0 v-fix: 0 time: 6.21 s 730.92/183.31 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 731.31/183.43 c vivif2 -- cl tried 35279 cl shrink 0 lits rem 0 time: 0.13 732.52/183.70 c asymm cl-useful: 0/531/19291 lits-rem:0 time: 0.27 732.52/183.73 c calculated reachability. Time: 0.01 732.52/183.73 c N dy 1534 357879 3612 19291 1140989 35279 3250594 2637657 12.41 no data 754.85/189.32 c N dy 1611 377913 3612 19291 1140989 29605 3250594 1891454 12.44 16.61 776.39/194.71 c N dy 1693 397931 3612 19291 1140989 49180 3250594 4656825 12.48 17.38 797.12/199.90 c N dy 1781 418018 3612 19291 1140989 42465 3250594 3680538 12.51 26.03 819.45/205.59 c N dy 1869 438052 3612 19291 1140989 34741 3250594 2705836 12.55 15.02 843.38/211.52 c N dy 1955 458363 3612 19291 1140989 54585 3250594 5808464 12.58 13.28 866.51/217.39 c N dy 2058 478429 3612 19291 1140989 45669 3250594 3540365 12.65 13.60 890.84/223.40 c N dy 2139 498494 3612 19291 1140989 36130 3250594 2788472 12.66 13.43 912.77/228.99 c N dy 2220 518524 3612 19291 1140989 55599 3250594 5055411 12.66 13.51 932.31/233.89 c S st 2296 536819 3612 19291 1140989 43357 3250594 3976389 12.67 9.87 933.11/234.05 c S st 2296 537319 3612 19291 1140989 43854 3250594 4057960 12.67 no data 933.11/234.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 946.67/237.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 106.7M T: 3.39 946.67/237.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 947.46/237.60 c bin-w-bin subsume rem 0 bins time: 0.10 s 965.82/242.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.69 s 966.22/242.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 966.65/242.49 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 967.06/242.54 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 973.00/244.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.34 s 996.53/249.91 c lits-rem: 778 cl-subs: 1476 v-elim: 0 v-fix: 0 time: 5.89 s 996.53/249.94 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 996.93/250.09 c vivif2 -- cl tried 42378 cl shrink 0 lits rem 0 time: 0.15 998.12/250.39 c asymm cl-useful: 0/382/19291 lits-rem:0 time: 0.30 998.52/250.42 c calculated reachability. Time: 0.00 998.52/250.42 c N dy 2296 537319 3612 19291 1140989 42378 3250594 3977873 12.67 no data 1026.82/257.55 c N dy 2378 557563 3612 19291 1140989 62101 3250594 6893412 12.69 13.37 1053.55/264.21 c N dy 2472 577858 3612 19291 1140989 50630 3250594 4115080 12.69 13.69 1084.65/272.10 c N dy 2548 598606 3612 19291 1140989 38634 3250594 2691181 12.68 13.50 1112.96/279.11 c N dy 2615 618887 3612 19291 1140989 58246 3250594 5046433 12.67 13.38 1137.73/285.36 c N dy 2667 638896 3612 19291 1140989 44595 3250594 2981379 12.64 14.08 1172.39/294.01 c N dy 2767 658996 3612 19291 1140989 63920 3250594 4680107 12.68 13.38 1202.69/301.65 c N dy 2876 679401 3612 19291 1140989 49877 3250594 4190113 12.74 13.59 1232.60/309.14 c N dy 2958 699785 3612 19291 1140989 69717 3250594 6744018 12.75 13.57 1259.72/315.93 c N dy 3030 720306 3612 19291 1140989 54619 3250594 3917428 12.74 13.42 1287.28/322.82 c N dy 3099 740372 3612 19291 1140989 38250 3250594 2415292 12.73 13.48 1317.16/330.32 c N dy 3206 760549 3612 19291 1140989 57824 3250594 4830151 12.76 13.73 1350.24/338.65 c N dy 3280 780556 3612 19291 1140989 40418 3250594 2865787 12.75 13.49 1377.77/345.59 c N dy 3355 801158 3612 19291 1140989 60433 3250594 5346505 12.75 13.43 1385.34/347.49 c S st 3374 805978 3612 19291 1140989 65136 3250594 6084558 12.75 9.77 1386.14/347.67 c S st 3374 806482 3612 19291 1140989 65639 3250594 6163300 12.75 no data 1386.54/347.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1402.09/351.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 123.0M T: 3.99 1402.49/351.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1402.89/351.82 c bin-w-bin subsume rem 0 bins time: 0.10 s 1421.63/356.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.72 s 1422.03/356.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 1422.43/356.74 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 1422.43/356.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 1429.21/358.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.50 s 1478.66/370.83 c lits-rem: 2531 cl-subs: 4206 v-elim: 0 v-fix: 0 time: 12.32 s 1478.66/370.86 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 1479.46/371.09 c vivif2 -- cl tried 61433 cl shrink 0 lits rem 0 time: 0.23 1481.05/371.40 c asymm cl-useful: 0/337/19291 lits-rem:0 time: 0.32 1481.05/371.43 c calculated reachability. Time: 0.00 1481.05/371.43 c N dy 3374 806482 3612 19291 1140989 61433 3250594 6035321 12.75 no data 1511.76/379.12 c N dy 3460 826695 3612 19291 1140989 43324 3250594 3223831 12.76 13.59 1538.48/385.80 c N dy 3526 846930 3612 19291 1140989 62938 3250594 5490674 12.76 13.51 1569.18/393.57 c N dy 3599 866935 3612 19291 1140989 43582 3250594 2996282 12.77 16.38 1595.50/400.13 c N dy 3649 886938 3612 19291 1140989 62893 3250594 4703610 12.74 13.59 1624.23/407.31 c N dy 3731 907119 3612 19291 1140989 42726 3250594 2897077 12.74 13.59 1649.35/413.61 c N dy 3824 927175 3612 19291 1140989 62242 3250594 5721514 12.77 22.60 1680.86/421.56 c N dy 3909 947276 3612 19291 1140989 41027 3250594 2791046 12.79 21.89 1705.19/427.67 c N dy 3994 967345 3612 19291 1140989 60686 3250594 6073866 12.80 14.55 1737.48/435.70 c N dy 4083 987361 3612 19291 1140989 80174 3250594 8372954 12.82 22.85 1762.20/441.95 c N dy 4160 1007408 3612 19291 1140989 57882 3250594 4814337 12.83 17.49 1793.31/449.70 c N dy 4250 1028365 3612 19291 1140989 78363 3250594 7998169 12.85 13.54 1820.44/456.55 c N dy 4328 1048439 3612 19291 1140989 55087 3250594 4501075 12.85 19.43 1847.56/463.36 c N dy 4411 1068674 3612 19291 1140989 74764 3250594 6915192 12.86 13.72 1852.35/464.50 c F st 4428 1071875 3612 19291 1140989 77893 3250594 7476914 12.86 11.95 1878.27/471.00 c N dy 4460 1088847 3612 19291 1140989 50425 3250594 3380579 12.85 13.61 1905.42/477.88 c N dy 4524 1109020 3612 19291 1140989 69972 3250594 5441359 12.84 13.53 1943.26/487.35 c N dy 4633 1129231 3612 19291 1140989 44874 3250594 2667202 12.88 13.74 1971.22/494.33 c N dy 4714 1149939 3612 19291 1140989 64973 3250594 4597046 12.88 13.61 2000.70/501.76 c N dy 4813 1170853 3612 19291 1140989 85441 3250594 7320399 12.90 13.66 2028.26/508.67 c N dy 4889 1190932 3612 19291 1140989 59287 3250594 4820559 12.90 13.59 2052.95/514.85 c S st 4964 1209724 3612 19291 1140989 77485 3250594 6959591 12.91 10.27 2053.75/515.04 c S st 4964 1210226 3612 19291 1140989 77985 3250594 7022337 12.91 no data 2053.75/515.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2071.69/519.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 130.5M T: 4.44 2071.69/519.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2072.13/519.64 c bin-w-bin subsume rem 0 bins time: 0.10 s 2090.83/524.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.72 s 2091.23/524.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 2091.63/524.57 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 2092.03/524.63 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 2100.00/526.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.83 s 2149.45/539.09 c lits-rem: 2393 cl-subs: 3552 v-elim: 0 v-fix: 0 time: 12.40 s 2149.85/539.12 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 2150.65/539.39 c vivif2 -- cl tried 74433 cl shrink 0 lits rem 0 time: 0.27 2152.24/539.78 c asymm cl-useful: 0/300/19291 lits-rem:0 time: 0.39 2152.64/539.81 c calculated reachability. Time: 0.00 2152.64/539.81 c N dy 4964 1210226 3612 19291 1140989 74433 3250594 6874605 12.91 no data 2188.54/548.81 c N dy 5019 1230588 3612 19291 1140989 47541 3250594 2871823 12.90 13.61 2222.84/557.47 c N dy 5108 1250759 3612 19291 1140989 67004 3250594 4711082 12.90 13.63 2253.14/565.09 c N dy 5187 1270841 3612 19291 1140989 86443 3250594 6800512 12.91 16.08 2281.05/572.06 c N dy 5266 1290973 3612 19291 1140989 58500 3250594 4192409 12.91 13.62 2310.16/579.31 c N dy 5346 1311003 3612 19291 1140989 78033 3250594 6685360 12.92 13.69 2346.07/588.31 c N dy 5432 1331071 3612 19291 1140989 48954 3250594 2924334 12.93 15.19 2378.77/596.51 c N dy 5528 1352941 3612 19291 1140989 70074 3250594 5408048 12.94 13.64 2420.24/606.95 c N dy 5632 1374238 3612 19291 1140989 90684 3250594 7807586 12.97 13.67 2455.34/615.70 c N dy 5713 1394256 3612 19291 1140989 60689 3250594 4063804 12.97 15.31 2488.04/623.91 c N dy 5808 1414308 3612 19291 1140989 80154 3250594 6221289 12.99 13.80 2520.73/632.18 c N dy 5901 1434313 3612 19291 1140989 99663 3250594 9041932 13.01 14.50 2548.65/639.14 c N dy 5975 1454450 3612 19291 1140989 68754 3250594 4679505 13.01 13.78 2581.00/647.26 c N dy 6071 1474815 3612 19291 1140989 88445 3250594 6924352 13.02 13.77 2613.66/655.42 c N dy 6177 1495558 3612 19291 1140989 57198 3250594 3377933 13.05 13.75 2640.37/662.13 c N dy 6272 1515703 3612 19291 1140989 76781 3250594 6130881 13.06 13.84 2677.06/671.31 c N dy 6351 1535756 3612 19291 1140989 96157 3250594 8461096 13.06 13.78 2710.96/679.82 c N dy 6424 1555816 3612 19291 1140989 63206 3250594 3938973 13.06 18.03 2744.05/688.18 c N dy 6535 1576401 3612 19291 1140989 83168 3250594 6225991 13.08 13.77 2771.98/695.16 c N dy 6585 1596407 3612 19291 1140989 102707 3250594 9054415 13.07 13.89 2801.49/702.51 c N dy 6641 1616861 3612 19291 1140989 69118 3250594 4439995 13.06 13.76 2828.21/709.24 c N dy 6706 1637773 3612 19291 1140989 89543 3250594 7499172 13.06 13.76 2861.74/717.66 c N dy 6798 1658240 3612 19291 1140989 55068 3250594 2941331 13.06 13.92 2889.22/724.56 c N dy 6882 1678320 3612 19291 1140989 74540 3250594 5307935 13.07 18.80 2922.33/732.89 c N dy 6954 1699344 3612 19291 1140989 94931 3250594 7690979 13.07 13.89 2943.86/738.21 c S st 6987 1710226 3612 19291 1140989 105393 3250594 8616306 13.07 8.10 2944.66/738.41 c S st 6987 1710731 3612 19291 1140989 105897 3250594 8681038 13.07 no data 2944.66/738.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2964.60/743.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 145.4M T: 5.02 2964.60/743.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2965.40/743.60 c bin-w-bin subsume rem 0 bins time: 0.10 s 2984.15/748.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.73 s 2984.58/748.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 2984.99/748.53 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 2985.34/748.60 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 2991.72/750.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.40 s 3067.09/769.11 c lits-rem: 4111 cl-subs: 5100 v-elim: 0 v-fix: 0 time: 18.81 s 3067.09/769.13 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 3068.68/769.50 c vivif2 -- cl tried 100797 cl shrink 0 lits rem 0 time: 0.37 3069.88/769.85 c asymm cl-useful: 0/273/19291 lits-rem:0 time: 0.35 3069.88/769.88 c calculated reachability. Time: 0.00 3069.88/769.88 c N dy 6987 1710731 3612 19291 1140989 100797 3250594 8469915 13.07 no data 3109.77/779.82 c N dy 7093 1730756 3612 19291 1140989 64936 3250594 4061526 13.08 19.62 3135.28/786.24 c N dy 7169 1751371 3612 19291 1140989 85030 3250594 6772706 13.08 13.84 3171.19/795.26 c N dy 7243 1771459 3612 19291 1140989 104539 3250594 9117279 13.08 14.17 3203.92/803.46 c N dy 7315 1794620 3612 19291 1140989 70815 3250594 5077550 13.07 13.93 3236.97/811.71 c N dy 7393 1815039 3612 19291 1140989 90484 3250594 7062827 13.07 13.87 3280.05/822.55 c N dy 7471 1835442 3612 19291 1140989 110085 3250594 9005356 13.07 13.81 3313.59/831.00 c N dy 7581 1855458 3612 19291 1140990 72414 3250594 5113133 13.08 13.80 3346.65/839.24 c N dy 7655 1875698 3612 19291 1140990 91941 3250594 7405736 13.08 13.80 3393.70/851.01 c N dy 7760 1896159 3612 19291 1140990 111686 3250594 9427057 13.10 13.81 3427.65/859.53 c N dy 7846 1917341 3612 19291 1140990 74224 3250594 4824711 13.10 14.12 3465.89/869.10 c N dy 7937 1937454 3612 19291 1140990 93487 3250594 6395399 13.11 13.89 3502.23/878.24 c N dy 8014 1957786 3612 19291 1140990 113205 3250594 8939015 13.11 13.86 3540.06/887.71 c N dy 8090 1978275 3612 19291 1140990 73911 3250594 4217805 13.11 13.84 3580.75/898.00 c N dy 8198 1998343 3612 19291 1140990 93238 3250594 5984998 13.12 29.50 3630.19/910.35 c N dy 8290 2019293 3612 19291 1140990 113401 3250594 8137193 13.13 14.08 3668.92/920.09 c N dy 8383 2039297 3612 19291 1140990 72926 3250594 4253134 13.14 14.31 3693.61/926.24 c N dy 8440 2059443 3612 19291 1140990 92635 3250594 6946925 13.13 13.88 3720.72/933.01 c N dy 8512 2079507 3612 19291 1140990 112220 3250594 9817151 13.13 13.85 3755.02/941.63 c N dy 8584 2101337 3612 19291 1140990 72328 3250594 4275906 13.13 13.88 3784.93/949.11 c N dy 8657 2121354 3612 19291 1140990 91611 3250594 6018204 13.13 23.94 3818.83/957.66 c N dy 8733 2142830 3612 19291 1140990 112445 3250594 8469355 13.13 13.92 3855.13/966.74 c N dy 8812 2162895 3612 19291 1140990 69862 3250594 3789611 13.14 15.31 3883.05/973.76 c N dy 8899 2182919 3612 19291 1140990 89285 3250594 6299750 13.14 14.02 3919.72/982.98 c N dy 8988 2202966 3612 19291 1140990 108723 3250594 8884558 13.15 13.90 3935.28/986.82 c S st 9016 2210731 3612 19291 1140990 116248 3250594 9938622 13.15 11.80 3936.08/987.05 c S st 9016 2211232 3612 19291 1140990 116748 3250594 10006254 13.15 no data 3936.08/987.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3958.02/992.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 156.0M T: 5.52 3958.45/992.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3958.86/992.74 c bin-w-bin subsume rem 0 bins time: 0.10 s 3977.55/997.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.74 s 3977.95/997.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.10 s 3978.35/997.68 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.10 s 3978.75/997.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 3985.53/999.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.41 s 4050.98/1015.86 c lits-rem: 8402 cl-subs: 6891 v-elim: 0 v-fix: 0 time: 16.36 s 4050.98/1015.88 c vivif2 -- cl tried 19291 cl shrink 1 lits rem 1 time: 0.03 4052.53/1016.28 c vivif2 -- cl tried 109857 cl shrink 52 lits rem 52 time: 0.40 4054.14/1016.64 c asymm cl-useful: 0/248/19291 lits-rem:0 time: 0.36 4054.14/1016.67 c calculated reachability. Time: 0.00 4054.14/1016.67 c N dy 9016 2211232 3612 19291 1140990 109857 3250593 9746005 13.15 no data 4092.40/1026.23 c N dy 9123 2231723 3612 19291 1140990 66973 3250593 3666686 13.16 13.93 4117.13/1032.40 c N dy 9230 2251730 3612 19291 1140990 86556 3250593 6499783 13.17 23.80 4149.44/1040.57 c N dy 9317 2272780 3612 19291 1140990 107080 3250593 9189304 13.18 13.91 4186.14/1049.70 c N dy 9408 2293083 3612 19291 1140990 126920 3250593 12056314 13.19 14.01 4211.26/1056.05 c N dy 9476 2313405 3612 19291 1140990 82494 3250593 5533922 13.18 14.25 4247.98/1065.24 c N dy 9548 2335362 3612 19291 1140990 103849 3250593 8204726 13.17 14.22 4281.83/1073.77 c N dy 9637 2355365 3612 19291 1140990 123306 3250593 10824380 13.18 14.25 4312.14/1081.33 c N dy 9713 2375455 3612 19291 1140990 77724 3250593 4826023 13.18 14.00 4338.06/1087.85 c N dy 9773 2395898 3612 19291 1140990 97606 3250593 7290038 13.18 13.90 4368.38/1095.41 c N dy 9860 2416777 3612 19291 1140990 118032 3250593 10159087 13.19 13.90 4404.27/1104.40 c N dy 9934 2436875 3612 19291 1140990 71329 3250593 3757832 13.19 15.05 4431.79/1111.40 c N dy 10030 2457740 3612 19291 1140990 91629 3250593 6107226 13.20 13.92 4461.69/1118.83 c N dy 10067 2478252 3612 19291 1140990 111466 3250593 8147398 13.18 13.88 4490.80/1126.14 c N dy 10150 2499263 3612 19291 1140990 132027 3250593 10721223 13.19 13.88 4515.14/1132.24 c N dy 10220 2519346 3612 19291 1140990 84474 3250593 5614937 13.18 13.88 4544.65/1139.67 c N dy 10307 2540485 3612 19291 1140990 104974 3250593 8250407 13.19 14.02 4576.16/1147.58 c N dy 10416 2560904 3612 19291 1140990 124969 3250593 11035253 13.20 14.02 4606.06/1155.00 c N dy 10495 2581266 3612 19291 1140990 76662 3250593 4408073 13.20 14.04 4631.97/1161.52 c N dy 10591 2601292 3612 19291 1140990 96154 3250593 6982780 13.22 28.42 4661.09/1168.87 c N dy 10678 2621420 3612 19291 1140990 115852 3250593 9697023 13.22 14.00 4696.19/1177.68 c N dy 10753 2641437 3612 19291 1140990 135336 3250593 12363515 13.23 17.22 4722.16/1184.14 c N dy 10803 2662162 3612 19291 1140990 86320 3250593 5409246 13.22 13.98 4755.61/1192.52 c N dy 10863 2683031 3612 19291 1140990 106357 3250593 7418945 13.21 14.00 4784.32/1199.76 c N dy 10929 2703107 3612 19291 1140990 125920 3250593 9983259 13.21 21.98 4797.47/1203.07 c S st 10961 2711233 3612 19291 1140990 133786 3250593 10946806 13.22 10.50 4798.67/1203.30 c S st 10961 2711735 3612 19291 1140990 134285 3250593 11020317 13.22 no data 4798.67/1203.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
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: 961) 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-3366713-1305433537/watcher-3366713-1305433537 -o /tmp/evaluation-result-3366713-1305433537/solver-3366713-1305433537 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366713-1305433537.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.72 8.01 7.98 5/367 16673 /proc/meminfo: memFree=26784764/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=51168 CPUtime=0.02 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 412 0 0 0 2 0 0 0 23 0 4 0 635769974 52396032 352 33554432000 4194304 4580107 140737142817136 18446744073709551615 48005124335129 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 12792 352 302 95 0 7774 0 [pid=16673/tid=16674] ppid=16671 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 635769974 52396032 352 33554432000 4194304 4580107 140737142817136 18446744073709551615 48005124335538 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 635769974 52396032 352 33554432000 4194304 4580107 140737142817136 18446744073709551615 48005124335129 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 635769974 52396032 352 33554432000 4194304 4580107 140737142817136 18446744073709551615 48005124335123 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.052685 s] /proc/loadavg: 7.72 8.01 7.98 5/367 16673 /proc/meminfo: memFree=26784764/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=288064 CPUtime=0.18 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 6821 0 0 0 16 2 0 0 24 0 4 0 635769974 294977536 6611 33554432000 4194304 4580107 140737142817136 18446744073709551615 4511120 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 72016 6615 336 95 0 66998 0 [pid=16673/tid=16674] ppid=16671 vsize=288064 CPUtime=0.03 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 1625 0 0 0 3 0 0 0 25 0 4 0 635769974 294977536 6616 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039698615 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=288064 CPUtime=0.04 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 1611 0 0 0 4 0 0 0 25 0 4 0 635769974 294977536 6618 33554432000 4194304 4580107 140737142817136 18446744073709551615 4511062 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=288064 CPUtime=0.03 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 1571 0 0 0 3 0 0 0 18 0 4 0 635769974 294977536 6621 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039316513 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 288064 [startup+0.101168 s] /proc/loadavg: 7.72 8.01 7.98 5/367 16673 /proc/meminfo: memFree=26784764/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=295352 CPUtime=0.37 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 13746 0 0 0 33 4 0 0 18 0 4 0 635769974 302440448 13536 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039316165 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 73971 13907 336 95 0 68953 0 [pid=16673/tid=16674] ppid=16671 vsize=295884 CPUtime=0.09 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) D 16671 16673 8955 0 -1 4202560 3438 0 0 0 8 1 0 0 18 0 4 0 635769974 302985216 14014 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039698615 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=296280 CPUtime=0.09 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 3508 0 0 0 8 1 0 0 18 0 4 0 635769974 303390720 14372 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039698615 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=296548 CPUtime=0.09 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) D 16671 16673 8955 0 -1 4202560 3559 0 0 0 8 1 0 0 18 0 4 0 635769974 303665152 14744 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039698615 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 295352 [startup+0.629755 s] /proc/loadavg: 7.72 8.01 7.98 5/367 16673 /proc/meminfo: memFree=26784764/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=323920 CPUtime=3.26 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 40132 0 0 0 316 10 0 0 18 0 4 0 635769974 331694080 39050 33554432000 4194304 4580107 140737142817136 18446744073709551615 4516107 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 81013 39119 369 95 0 75995 0 [pid=16673/tid=16674] ppid=16671 vsize=324184 CPUtime=0.8 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) D 16671 16673 8955 0 -1 4202560 10085 0 0 0 78 2 0 0 18 0 4 0 635769974 331964416 39191 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039698615 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=324316 CPUtime=0.8 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 9869 0 0 0 78 2 0 0 18 0 4 0 635769974 332099584 39247 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039316165 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=324316 CPUtime=0.81 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 9093 0 0 0 79 2 0 0 18 0 4 0 635769974 332099584 39351 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.26 Current children cumulated vsize (KiB) 323920 [startup+0.922529 s] /proc/loadavg: 7.72 8.01 7.98 5/367 16673 /proc/meminfo: memFree=26784764/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=334488 CPUtime=3.63 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 46892 0 0 0 350 13 0 0 18 0 4 0 635769974 342515712 45810 33554432000 4194304 4580107 140737142817136 18446744073709551615 4292051 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 83622 45810 371 95 0 78604 0 [pid=16673/tid=16674] ppid=16671 vsize=334488 CPUtime=0.89 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 12719 0 0 0 86 3 0 0 18 0 4 0 635769974 342515712 45810 33554432000 4194304 4580107 140737142817136 18446744073709551615 4491910 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=334488 CPUtime=0.9 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 12418 0 0 0 87 3 0 0 18 0 4 0 635769974 342515712 45810 33554432000 4194304 4580107 140737142817136 18446744073709551615 4490566 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=334488 CPUtime=0.9 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 9267 0 0 0 88 2 0 0 18 0 4 0 635769974 342515712 45810 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.63 Current children cumulated vsize (KiB) 334488 [startup+1.50043 s] /proc/loadavg: 7.72 8.01 7.98 9/371 16677 /proc/meminfo: memFree=26533012/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=390788 CPUtime=5.95 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 66409 0 0 0 576 19 0 0 18 0 4 0 635769974 400166912 62854 33554432000 4194304 4580107 140737142817136 18446744073709551615 4496931 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 97697 62854 373 95 0 92679 0 [pid=16673/tid=16674] ppid=16671 vsize=390788 CPUtime=1.47 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 18219 0 0 0 142 5 0 0 18 0 4 0 635769974 400166912 62856 33554432000 4194304 4580107 140737142817136 18446744073709551615 4496913 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=390788 CPUtime=1.48 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 19163 0 0 0 143 5 0 0 18 0 4 0 635769974 400166912 62856 33554432000 4194304 4580107 140737142817136 18446744073709551615 4496880 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=390788 CPUtime=1.5 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 9950 0 0 0 147 3 0 0 19 0 4 0 635769974 400166912 62856 33554432000 4194304 4580107 140737142817136 18446744073709551615 212039316513 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) 390788 [startup+3.10114 s] /proc/loadavg: 7.72 8.01 7.98 9/371 16677 /proc/meminfo: memFree=26121812/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=480356 CPUtime=12.3 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 76107 0 0 0 1208 22 0 0 19 0 4 0 635769974 491884544 68477 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 120089 68477 377 95 0 115071 0 [pid=16673/tid=16674] ppid=16671 vsize=480356 CPUtime=3.04 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 19917 0 0 0 299 5 0 0 21 0 4 0 635769974 491884544 68478 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=480356 CPUtime=3.07 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 22452 0 0 0 301 6 0 0 20 0 4 0 635769974 491884544 68478 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=480356 CPUtime=3.08 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 13021 0 0 0 305 3 0 0 24 0 4 0 635769974 491884544 68478 33554432000 4194304 4580107 140737142817136 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.3 Current children cumulated vsize (KiB) 480356 [startup+6.30057 s] /proc/loadavg: 7.82 8.02 7.98 9/371 16677 /proc/meminfo: memFree=25349552/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=497116 CPUtime=25.05 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 92935 0 0 0 2479 26 0 0 25 0 4 0 635769974 509046784 73122 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 124279 73122 378 95 0 119261 0 [pid=16673/tid=16674] ppid=16671 vsize=497116 CPUtime=6.2 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 23838 0 0 0 614 6 0 0 25 0 4 0 635769974 509046784 73122 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=497116 CPUtime=6.27 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 25968 0 0 0 620 7 0 0 25 0 4 0 635769974 509046784 73122 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=497116 CPUtime=6.28 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 19405 0 0 0 623 5 0 0 25 0 4 0 635769974 509046784 73122 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.05 Current children cumulated vsize (KiB) 497116 [startup+12.7004 s] /proc/loadavg: 7.92 8.04 7.99 9/371 16677 /proc/meminfo: memFree=25289648/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=554248 CPUtime=50.57 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 123543 0 0 0 5023 34 0 0 25 0 4 0 635769974 567549952 86655 33554432000 4194304 4580107 140737142817136 18446744073709551615 4413183 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 138562 86655 378 95 0 133544 0 [pid=16673/tid=16674] ppid=16671 vsize=554248 CPUtime=12.53 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 30362 0 0 0 1245 8 0 0 25 0 4 0 635769974 567549952 86655 33554432000 4194304 4580107 140737142817136 18446744073709551615 4413545 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=554248 CPUtime=12.67 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 30136 0 0 0 1259 8 0 0 25 0 4 0 635769974 567549952 86655 33554432000 4194304 4580107 140737142817136 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=554248 CPUtime=12.68 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 37071 0 0 0 1258 10 0 0 25 0 4 0 635769974 567549952 86655 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.57 Current children cumulated vsize (KiB) 554248 [startup+25.5012 s] /proc/loadavg: 7.93 8.04 7.99 8/371 16677 /proc/meminfo: memFree=25085032/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=641348 CPUtime=101.63 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 168351 0 0 0 10121 42 0 0 25 0 4 0 635769974 656740352 108503 33554432000 4194304 4580107 140737142817136 18446744073709551615 4413545 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 160337 108503 378 95 0 155319 0 [pid=16673/tid=16674] ppid=16671 vsize=641348 CPUtime=25.19 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 42123 0 0 0 2509 10 0 0 25 0 4 0 635769974 656740352 108503 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=641348 CPUtime=25.46 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 43514 0 0 0 2536 10 0 0 25 0 4 0 635769974 656740352 108503 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=641348 CPUtime=25.48 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 51561 0 0 0 2535 13 0 0 25 0 4 0 635769974 656740352 108503 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.63 Current children cumulated vsize (KiB) 641348 [startup+51.1136 s] /proc/loadavg: 8.10 8.06 8.00 9/371 16708 /proc/meminfo: memFree=29257360/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=743224 CPUtime=203.76 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 227174 0 0 0 20323 53 0 0 25 0 4 0 635769974 761061376 138942 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 185806 138942 378 95 0 180788 0 [pid=16673/tid=16674] ppid=16671 vsize=743224 CPUtime=50.48 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 66343 0 0 0 5034 14 0 0 25 0 4 0 635769974 761061376 138942 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=743224 CPUtime=51.07 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 55172 0 0 0 5094 13 0 0 25 0 4 0 635769974 761061376 138942 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=743224 CPUtime=51.09 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 71475 0 0 0 5093 16 0 0 25 0 4 0 635769974 761061376 138942 33554432000 4194304 4580107 140737142817136 18446744073709551615 4318491 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.76 Current children cumulated vsize (KiB) 743224 [startup+102.3 s] /proc/loadavg: 8.08 8.07 8.00 9/371 16709 /proc/meminfo: memFree=28987156/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1053364 CPUtime=407.9 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 305692 0 0 0 40721 69 0 0 25 0 4 0 635769974 1078644736 179720 33554432000 4194304 4580107 140737142817136 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 263341 179720 378 95 0 258323 0 [pid=16673/tid=16674] ppid=16671 vsize=1053364 CPUtime=101.08 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 87600 0 0 0 10089 19 0 0 25 0 4 0 635769974 1078644736 179720 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1053364 CPUtime=102.25 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 67874 0 0 0 10210 15 0 0 25 0 4 0 635769974 1078644736 179720 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1053364 CPUtime=102.28 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 101034 0 0 0 10207 21 0 0 25 0 4 0 635769974 1078644736 179720 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 407.9 Current children cumulated vsize (KiB) 1053364 [startup+162.301 s] ################ # More data... # ################ [pid=16673] ppid=16671 vsize=1773372 CPUtime=2561.41 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1106385 0 0 0 255850 291 0 0 25 0 4 0 635769974 1815932928 303692 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 443343 303692 378 95 0 438325 0 [pid=16673/tid=16674] ppid=16671 vsize=1773372 CPUtime=635.69 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 344336 0 0 0 63477 92 0 0 25 0 4 0 635769974 1815932928 303692 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1773372 CPUtime=642.15 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 212260 0 0 0 64160 55 0 0 25 0 4 0 635769974 1815932928 303692 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1773372 CPUtime=641.29 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 367575 0 0 0 64036 93 0 0 25 0 4 0 635769974 1815932928 303692 33554432000 4194304 4580107 140737142817136 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2561.41 Current children cumulated vsize (KiB) 1773372 [startup+702.314 s] /proc/loadavg: 8.06 8.10 8.03 9/371 16725 /proc/meminfo: memFree=28008968/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1630152 CPUtime=2800.75 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1160519 0 0 0 279765 310 0 0 25 0 4 0 635769974 1669275648 302555 33554432000 4194304 4580107 140737142817136 18446744073709551615 4321438 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 407538 302555 378 95 0 402520 0 [pid=16673/tid=16674] ppid=16671 vsize=1630152 CPUtime=694.98 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 353092 0 0 0 69404 94 0 0 25 0 4 0 635769974 1669275648 302555 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1630152 CPUtime=702.16 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 224187 0 0 0 70156 60 0 0 25 0 4 0 635769974 1669275648 302555 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1630152 CPUtime=701.31 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 390111 0 0 0 70032 99 0 0 25 0 4 0 635769974 1669275648 302555 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2800.75 Current children cumulated vsize (KiB) 1630152 [startup+762.301 s] /proc/loadavg: 8.06 8.10 8.03 9/371 16727 /proc/meminfo: memFree=27883404/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1753148 CPUtime=3039.97 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1236385 0 0 0 303665 332 0 0 25 0 4 0 635769974 1795223552 323124 33554432000 4194304 4580107 140737142817136 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 438287 323124 378 95 0 433269 0 [pid=16673/tid=16674] ppid=16671 vsize=1753148 CPUtime=754.27 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 361270 0 0 0 75330 97 0 0 25 0 4 0 635769974 1795223552 323124 33554432000 4194304 4580107 140737142817136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1753148 CPUtime=762.13 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 243630 0 0 0 76148 65 0 0 25 0 4 0 635769974 1795223552 323124 33554432000 4194304 4580107 140737142817136 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1753148 CPUtime=761.29 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 419842 0 0 0 76020 109 0 0 25 0 4 0 635769974 1795223552 323124 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3039.97 Current children cumulated vsize (KiB) 1753148 [startup+822.301 s] /proc/loadavg: 8.07 8.09 8.03 9/371 16729 /proc/meminfo: memFree=27820200/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1907404 CPUtime=3279.25 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1302909 0 0 0 327572 353 0 0 25 0 4 0 635769974 1953181696 339905 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 476851 339906 378 95 0 471833 0 [pid=16673/tid=16674] ppid=16671 vsize=1907404 CPUtime=813.55 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 386100 0 0 0 81251 104 0 0 25 0 4 0 635769974 1953181696 339906 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1907404 CPUtime=822.12 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 250259 0 0 0 82145 67 0 0 25 0 4 0 635769974 1953181696 339906 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1907404 CPUtime=821.29 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 446654 0 0 0 82011 118 0 0 25 0 4 0 635769974 1953181696 339906 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3279.25 Current children cumulated vsize (KiB) 1907404 [startup+882.301 s] /proc/loadavg: 8.06 8.08 8.03 9/371 16730 /proc/meminfo: memFree=27832428/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1733396 CPUtime=3518.54 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1359292 0 0 0 351483 371 0 0 25 0 4 0 635769974 1774997504 324578 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 433349 324578 378 95 0 428331 0 [pid=16673/tid=16674] ppid=16671 vsize=1733396 CPUtime=872.85 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 397046 0 0 0 87176 109 0 0 25 0 4 0 635769974 1774997504 324578 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1733396 CPUtime=882.11 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 259030 0 0 0 88143 68 0 0 25 0 4 0 635769974 1774997504 324578 33554432000 4194304 4580107 140737142817136 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1733396 CPUtime=881.29 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 475167 0 0 0 88003 126 0 0 25 0 4 0 635769974 1774997504 324578 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3518.54 Current children cumulated vsize (KiB) 1733396 [startup+942.3 s] /proc/loadavg: 8.14 8.10 8.03 9/371 16732 /proc/meminfo: memFree=27770480/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1909248 CPUtime=3757.81 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1422804 0 0 0 375391 390 0 0 25 0 4 0 635769974 1955069952 340073 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 477312 340073 378 95 0 472294 0 [pid=16673/tid=16674] ppid=16671 vsize=1909248 CPUtime=932.14 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 411939 0 0 0 93101 113 0 0 25 0 4 0 635769974 1955069952 340073 33554432000 4194304 4580107 140737142817136 18446744073709551615 4321083 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1909248 CPUtime=942.1 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 275046 0 0 0 94137 73 0 0 25 0 4 0 635769974 1955069952 340073 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1909248 CPUtime=941.29 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 499437 0 0 0 93995 134 0 0 25 0 4 0 635769974 1955069952 340073 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3757.81 Current children cumulated vsize (KiB) 1909248 [startup+1002.3 s] /proc/loadavg: 8.16 8.11 8.04 9/371 16733 /proc/meminfo: memFree=27644404/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1978416 CPUtime=3997.09 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1489897 0 0 0 399298 411 0 0 25 0 4 0 635769974 2025897984 356727 33554432000 4194304 4580107 140737142817136 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 494604 356727 378 95 0 489586 0 [pid=16673/tid=16674] ppid=16671 vsize=1978416 CPUtime=991.43 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 424241 0 0 0 99026 117 0 0 25 0 4 0 635769974 2025897984 356727 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1978416 CPUtime=1002.09 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 282650 0 0 0 100133 76 0 0 25 0 4 0 635769974 2025897984 356727 33554432000 4194304 4580107 140737142817136 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1978416 CPUtime=1001.3 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 527853 0 0 0 99987 143 0 0 25 0 4 0 635769974 2025897984 356727 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3997.09 Current children cumulated vsize (KiB) 1978416 [startup+1062.3 s] /proc/loadavg: 8.16 8.12 8.04 9/371 16735 /proc/meminfo: memFree=27512400/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1901520 CPUtime=4236.38 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1591153 0 0 0 423195 443 0 0 25 0 4 0 635769974 1947156480 359750 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 475380 359750 378 95 0 470362 0 [pid=16673/tid=16674] ppid=16671 vsize=1901520 CPUtime=1050.72 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 456212 0 0 0 104945 127 0 0 25 0 4 0 635769974 1947156480 359750 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1901520 CPUtime=1062.08 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 307456 0 0 0 106125 83 0 0 25 0 4 0 635769974 1947156480 359750 33554432000 4194304 4580107 140737142817136 18446744073709551615 4321093 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1901520 CPUtime=1061.29 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 555568 0 0 0 105977 152 0 0 25 0 4 0 635769974 1947156480 359750 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4236.38 Current children cumulated vsize (KiB) 1901520 [startup+1122.3 s] /proc/loadavg: 8.23 8.14 8.05 9/371 16737 /proc/meminfo: memFree=27551772/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1895160 CPUtime=4475.65 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1656432 0 0 0 447098 467 0 0 25 0 4 0 635769974 1940643840 355989 33554432000 4194304 4580107 140737142817136 18446744073709551615 4316670 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 473790 355989 378 95 0 468772 0 [pid=16673/tid=16674] ppid=16671 vsize=1895160 CPUtime=1110.02 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 469852 0 0 0 110870 132 0 0 25 0 4 0 635769974 1940643840 355989 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1895160 CPUtime=1122.07 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 321964 0 0 0 112118 89 0 0 25 0 4 0 635769974 1940643840 355989 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1895160 CPUtime=1121.3 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 579159 0 0 0 111969 161 0 0 25 0 4 0 635769974 1940643840 355989 33554432000 4194304 4580107 140737142817136 18446744073709551615 4416767 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4475.65 Current children cumulated vsize (KiB) 1895160 [startup+1182.3 s] /proc/loadavg: 8.21 8.14 8.06 9/371 16738 /proc/meminfo: memFree=27493060/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=2043820 CPUtime=4714.93 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1738021 0 0 0 471001 492 0 0 25 0 4 0 635769974 2092871680 364564 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 510955 364564 378 95 0 505937 0 [pid=16673/tid=16674] ppid=16671 vsize=2043820 CPUtime=1169.3 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 485915 0 0 0 116794 136 0 0 25 0 4 0 635769974 2092871680 364564 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=2043820 CPUtime=1182.05 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 350779 0 0 0 118108 97 0 0 25 0 4 0 635769974 2092871680 364564 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=2043820 CPUtime=1181.29 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 601387 0 0 0 117962 167 0 0 25 0 4 0 635769974 2092871680 364564 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4714.93 Current children cumulated vsize (KiB) 2043820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.7 s] /proc/loadavg: 8.14 8.13 8.05 9/371 16739 /proc/meminfo: memFree=27457940/32951124 swapFree=51873460/67111528 [pid=16673] ppid=16671 vsize=1982908 CPUtime=4800.31 cores=0,2,4,6 /proc/16673/stat : 16673 (strangenight2-m) R 16671 16673 8955 0 -1 4202496 1774576 0 0 0 479529 502 0 0 25 0 4 0 635769974 2030497792 374534 33554432000 4194304 4580107 140737142817136 18446744073709551615 4329890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/16673/statm: 495727 374534 378 95 0 490709 0 [pid=16673/tid=16674] ppid=16671 vsize=1982908 CPUtime=1190.46 cores=0,2,4,6 /proc/16673/task/16674/stat : 16674 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 496913 0 0 0 118907 139 0 0 25 0 4 0 635769974 2030497792 374534 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=16673/tid=16675] ppid=16671 vsize=1982908 CPUtime=1203.46 cores=0,2,4,6 /proc/16673/task/16675/stat : 16675 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 359650 0 0 0 120246 100 0 0 25 0 4 0 635769974 2030497792 374534 33554432000 4194304 4580107 140737142817136 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=16673/tid=16676] ppid=16671 vsize=1982908 CPUtime=1202.71 cores=0,2,4,6 /proc/16673/task/16676/stat : 16676 (strangenight2-m) R 16671 16673 8955 0 -1 4202560 613325 0 0 0 120101 170 0 0 25 0 4 0 635769974 2030497792 374534 33554432000 4194304 4580107 140737142817136 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.31 Current children cumulated vsize (KiB) 1982908 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): 1203.79 CPU time (s): 4800.41 CPU user time (s): 4795.32 CPU system time (s): 5.08923 CPU usage (%): 398.776 Max. virtual memory (cumulated for all children) (KiB): 2212392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4795.32 system time used= 5.08923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1774578 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= 14104 involuntary context switches= 21698 runsolver used 4.01439 second user time and 10.2444 second system time The end
Begin job on node146 at 2011-05-15 06:25:37 IDJOB=3366713 IDBENCH=88203 IDSOLVER=1844 FILE ID=node146/3366713-1305433537 RUNJOBID= node146-1305433512-16621 PBS_JOBID= 13324589 Free space on /tmp= 73196 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366713-1305433537/watcher-3366713-1305433537 -o /tmp/evaluation-result-3366713-1305433537/solver-3366713-1305433537 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366713-1305433537.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 472b10ce0a2683d9355981037eea091e RANDOM SEED=1689252096 node146.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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.86 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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.830 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: 26785044 kB Buffers: 103412 kB Cached: 461912 kB SwapCached: 56148 kB Active: 4035364 kB Inactive: 1893568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26785044 kB SwapTotal: 67111528 kB SwapFree: 51873460 kB Dirty: 148796 kB Writeback: 0 kB AnonPages: 5314496 kB Mapped: 17620 kB Slab: 105904 kB PageTables: 65192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 85741972 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= 73308 MiB End job on node146 at 2011-05-15 06:45:43