| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.38 | 1201.77 |
| 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.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3250845-1304131346.cnf' 0.00/0.00 c -- header says num vars: 3672 0.00/0.00 c -- header says num clauses: 1163952 0.86/0.23 c -- clauses added: 0 learnts, 1163952 normals, 0 xors 0.86/0.23 c -- vars added 3672 0.86/0.23 c Parsing time: 0.18 s 0.86/0.23 c N st 0 0 3672 60 1163892 0 2331456 0 no data no data 0.86/0.23 c asymm cl-useful: 0/60/60 lits-rem:0 time: 0.00 3.55/1.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.2M T: 0.20 3.55/1.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3.55/1.00 c bin-w-bin subsume rem 0 bins time: 0.26 s 3.55/1.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.24 s 3.96/1.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3672 time: 0.12 s 4.37/1.18 c Removed useless bin: 0 fixed: 0 props: 5.83M time: 0.11 s 6.34/1.67 c lits-rem: 148 cl-subs: 0 v-elim: 60 v-fix: 0 time: 0.47 s 6.34/1.69 c Finding binary XORs T: 0.02 s found: 0 6.75/1.77 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan) 6.75/1.77 c calculated reachability. Time: 0.00 6.75/1.78 c Calc default polars - time: 0.01 s pos: 0 undec: 60 neg: 3612 6.75/1.78 c ========================================================================================= 6.75/1.78 c types(t): F = full restart, N = normal restart 6.75/1.78 c types(t): S = simplification begin/end, E = solution found 6.75/1.78 c restart types(rt): st = static, dy = dynamic 6.75/1.78 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 6.75/1.78 c B st 0 0 3612 19291 1140989 0 3563108 0 no data no data 10.73/2.70 c N dy 18 4041 3612 19291 1140989 3921 3563107 552421 11.30 11.92 13.52/3.48 c N dy 33 8413 3612 19291 1140989 5773 3563107 562227 10.67 11.25 17.14/4.31 c N dy 51 12602 3612 19291 1140989 5723 3563107 474987 10.61 11.32 20.32/5.11 c N dy 69 16789 3612 19291 1140989 9837 3563107 945588 10.69 11.38 23.51/5.96 c N dy 86 20842 3612 19291 1140989 8318 3563107 577203 10.60 11.25 27.11/6.82 c F st 104 25001 3612 19291 1140989 12413 3563107 898318 10.54 8.04 27.51/6.98 c N st 104 25001 3612 19291 1140989 12413 3563107 898318 10.54 8.04 31.90/8.07 c N dy 110 30000 3612 19291 1140989 10599 3563107 662218 10.54 no data 31.90/8.07 c S st 110 30000 3612 19291 1140989 10599 3563107 662218 10.54 no data 32.30/8.17 c S st 110 30504 3612 19291 1140989 11103 3563107 709472 10.54 no data 32.30/8.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 41.09/10.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 82.9M T: 2.15 41.09/10.38 c blocked clauses removed: 0 vars: 0 tried: 3612 T: 0.00 s 41.90/10.51 c bin-w-bin subsume rem 0 bins time: 0.14 s 62.66/15.73 c subs with bin: 0 lits-rem: 21555 v-fix: 0 time: 5.21 s 63.06/15.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 63.46/15.96 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 68.25/17.15 c lits-rem: 8631 cl-subs: 0 v-elim: 0 v-fix: 0 time: 1.19 s 74.26/18.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.44 s 78.24/19.63 c lits-rem: 200 cl-subs: 888 v-elim: 0 v-fix: 0 time: 0.98 s 79.43/19.94 c asymm cl-useful: 170/1880/19291 lits-rem:2955 time: 0.31 79.43/19.97 c calculated reachability. Time: 0.01 79.43/19.97 c N dy 110 30504 3612 19291 1140989 10215 3521335 670308 10.54 no data 83.05/20.89 c N dy 126 34664 3612 19291 1140989 14290 3521335 1099053 10.53 11.18 87.03/21.85 c N dy 148 38698 3612 19291 1140989 10491 3521335 807393 10.57 11.30 90.22/22.67 c N dy 172 42783 3612 19291 1140989 14522 3521335 1232641 10.66 11.26 92.62/23.29 c S st 193 45756 3612 19291 1140989 17430 3521335 1585365 10.70 no data 93.42/23.44 c S st 193 46256 3612 19291 1140989 9157 3521335 570896 10.70 no data 93.42/23.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 102.21/25.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 80.1M T: 2.18 102.21/25.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 103.00/25.80 c bin-w-bin subsume rem 0 bins time: 0.14 s 124.17/31.11 c subs with bin: 0 lits-rem: 20186 v-fix: 0 time: 5.31 s 124.57/31.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 124.97/31.34 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 125.37/31.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 130.97/32.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.42 s 132.16/33.15 c lits-rem: 34 cl-subs: 411 v-elim: 0 v-fix: 0 time: 0.26 s 132.56/33.23 c vivif2 -- cl tried 19291 cl shrink 14589 lits rem 244712 time: 0.08 132.56/33.26 c vivif2 -- cl tried 8746 cl shrink 0 lits rem 0 time: 0.03 133.36/33.46 c asymm cl-useful: 0/973/19291 lits-rem:0 time: 0.20 133.36/33.49 c calculated reachability. Time: 0.00 133.36/33.49 c N dy 193 46256 3612 19291 1140989 8746 3250594 551996 10.70 no data 136.55/34.28 c N dy 216 50306 3612 19291 1140989 12729 3250594 1131397 10.78 11.56 140.16/35.17 c N dy 237 54308 3612 19291 1140989 16649 3250594 1511487 10.83 12.50 144.56/36.25 c N dy 266 58717 3612 19291 1140989 11158 3250594 849222 10.93 11.67 148.95/37.32 c N dy 294 63834 3612 19291 1140989 16173 3250594 1548769 11.11 11.84 152.94/38.32 c N dy 320 67957 3612 19291 1140989 20211 3250594 2126782 11.23 17.40 154.53/38.77 c S st 330 69385 3612 19291 1140989 10846 3250594 715734 11.29 10.64 155.33/38.90 c S st 330 69886 3612 19291 1140989 11345 3250594 796838 11.29 no data 155.33/38.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 164.52/41.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 81.6M T: 2.30 164.52/41.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 164.92/41.38 c bin-w-bin subsume rem 0 bins time: 0.14 s 186.09/46.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.27 s 186.49/46.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 186.89/46.87 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 188.50/47.25 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.38 s 194.47/48.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.43 s 195.68/49.01 c lits-rem: 67 cl-subs: 62 v-elim: 0 v-fix: 0 time: 0.28 s 195.68/49.04 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 195.68/49.08 c vivif2 -- cl tried 11283 cl shrink 0 lits rem 0 time: 0.04 196.88/49.31 c asymm cl-useful: 0/1208/19291 lits-rem:0 time: 0.23 196.88/49.33 c calculated reachability. Time: 0.01 196.88/49.34 c N dy 330 69886 3612 19291 1140989 11283 3250594 793145 11.29 no data 200.87/50.37 c N dy 348 74363 3612 19291 1140989 15627 3250594 1177098 11.27 18.32 205.67/51.57 c N dy 360 79374 3612 19291 1140989 20493 3250594 1558255 11.20 11.82 211.25/52.98 c N dy 391 84715 3612 19291 1140989 14018 3250594 1200368 11.38 12.01 214.06/53.63 c F st 412 87502 3612 19291 1140989 16751 3250594 1573181 11.52 10.32 217.65/54.58 c N st 417 90803 3612 19291 1140989 19962 3250594 2152587 11.52 no data 225.24/56.40 c N dy 445 96748 3612 19291 1140989 13087 3250594 997684 11.68 12.30 231.63/58.07 c N dy 475 103143 3612 19291 1140989 19325 3250594 1902648 11.79 12.42 233.62/58.55 c S st 482 104829 3612 19291 1140989 20968 3250594 2044267 11.79 11.35 234.02/58.68 c S st 482 105330 3612 19291 1140989 21465 3250594 2119791 11.79 no data 234.42/58.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 244.81/61.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 93.5M T: 2.68 245.21/61.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 245.61/61.54 c bin-w-bin subsume rem 0 bins time: 0.14 s 266.78/66.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.26 s 267.18/66.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 267.58/67.02 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 267.58/67.06 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 273.97/68.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.49 s 284.75/71.37 c lits-rem: 641 cl-subs: 619 v-elim: 0 v-fix: 0 time: 2.73 s 284.75/71.40 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 285.16/71.48 c vivif2 -- cl tried 20846 cl shrink 0 lits rem 0 time: 0.07 286.34/71.77 c asymm cl-useful: 0/431/19291 lits-rem:0 time: 0.29 286.75/71.80 c calculated reachability. Time: 0.01 286.75/71.80 c N dy 482 105330 3612 19291 1140989 20846 3250594 2071464 11.79 no data 293.95/73.64 c N dy 515 112197 3612 19291 1140989 13899 3250594 977773 11.82 12.53 300.73/75.37 c N dy 553 119608 3612 19291 1140989 21177 3250594 2183271 11.85 12.58 309.12/77.46 c N dy 606 127319 3612 19291 1140989 28713 3250594 3435801 12.04 12.82 317.11/79.47 c N dy 640 135606 3612 19291 1140989 22067 3250594 1743888 12.03 12.77 326.30/81.72 c N dy 684 144609 3612 19291 1140989 30865 3250594 3365655 12.16 12.86 335.08/83.97 c N dy 739 153901 3612 19291 1140989 24355 3250594 2424839 12.27 13.07 339.87/85.10 c S st 749 157995 3612 19291 1140989 28377 3250594 3036427 12.25 7.77 340.27/85.22 c S st 749 158498 3612 19291 1140989 28880 3250594 3118125 12.25 no data 340.27/85.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 353.46/88.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 100.2M T: 3.33 353.86/88.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 354.26/88.74 c bin-w-bin subsume rem 0 bins time: 0.14 s 375.04/93.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.17 s 375.43/94.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 375.83/94.13 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 375.83/94.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 383.43/96.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.75 s 399.41/100.05 c lits-rem: 573 cl-subs: 364 v-elim: 0 v-fix: 0 time: 4.01 s 399.41/100.08 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 399.82/100.18 c vivif2 -- cl tried 28516 cl shrink 0 lits rem 0 time: 0.10 400.99/100.49 c asymm cl-useful: 0/382/19291 lits-rem:0 time: 0.31 401.39/100.52 c calculated reachability. Time: 0.01 401.39/100.52 c N dy 749 158498 3612 19291 1140989 28516 3250594 3053362 12.25 no data 412.18/103.26 c N dy 786 168724 3612 19291 1140989 21859 3250594 1730037 12.21 12.88 424.17/106.29 c N dy 834 179806 3612 19291 1140989 32616 3250594 3028886 12.20 12.97 436.95/109.44 c N dy 889 191337 3612 19291 1140989 26238 3250594 2126499 12.26 13.33 454.13/113.73 c N dy 949 205032 3612 19291 1140989 21058 3250594 1504579 12.31 13.09 468.51/117.35 c N dy 1016 218656 3612 19291 1140989 34405 3250594 3738670 12.35 13.04 482.89/120.94 c N dy 1066 232756 3612 19291 1140989 28641 3250594 2291509 12.34 13.07 487.70/122.13 c S st 1090 237747 3612 19291 1140989 33520 3250594 2982334 12.37 no data 488.08/122.25 c S st 1090 238248 3612 19291 1140989 34016 3250594 3049655 12.37 no data 488.08/122.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 500.06/125.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 96.3M T: 2.93 500.06/125.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 500.47/125.37 c bin-w-bin subsume rem 0 bins time: 0.14 s 521.24/130.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.18 s 521.64/130.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 522.03/130.77 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 522.44/130.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 528.83/132.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.57 s 547.61/137.11 c lits-rem: 1451 cl-subs: 1017 v-elim: 0 v-fix: 0 time: 4.60 s 547.61/137.13 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 548.00/137.25 c vivif2 -- cl tried 32999 cl shrink 0 lits rem 0 time: 0.11 549.22/137.53 c asymm cl-useful: 0/441/19291 lits-rem:0 time: 0.28 549.22/137.56 c calculated reachability. Time: 0.01 549.22/137.56 c N dy 1090 238248 3612 19291 1140989 32999 3250594 2977998 12.37 no data 566.38/141.82 c N dy 1145 253532 3612 19291 1140989 27387 3250594 1970429 12.38 13.05 587.54/147.10 c N dy 1192 270985 3612 19291 1140989 22924 3250594 1396789 12.33 13.07 608.72/152.45 c N dy 1255 288500 3612 19291 1140989 39854 3250594 3252284 12.33 12.99 627.90/157.24 c F st 1334 306250 3612 19291 1140989 34826 3250594 2796765 12.35 no data 630.29/157.87 c N st 1337 307438 3612 19291 1140989 35974 3250594 2886140 12.35 no data 656.65/164.44 c N dy 1401 327112 3612 19291 1140989 31652 3250594 2121938 12.36 13.03 682.61/170.93 c N dy 1485 347535 3612 19291 1140989 27244 3250594 1625347 12.37 13.03 694.60/173.92 c S st 1534 357372 3612 19291 1140989 36802 3250594 2607479 12.41 no data 695.00/174.04 c S st 1534 357879 3612 19291 1140989 37307 3250594 2694746 12.41 no data 695.00/174.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 706.19/176.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 98.9M T: 2.82 706.59/176.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 707.00/177.05 c bin-w-bin subsume rem 0 bins time: 0.14 s 727.76/182.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.16 s 728.16/182.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 728.56/182.43 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 728.56/182.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 736.15/184.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.77 s 761.71/190.76 c lits-rem: 3149 cl-subs: 2028 v-elim: 0 v-fix: 0 time: 6.40 s 761.71/190.79 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 762.51/190.91 c vivif2 -- cl tried 35279 cl shrink 0 lits rem 0 time: 0.13 763.31/191.19 c asymm cl-useful: 0/531/19291 lits-rem:0 time: 0.27 763.71/191.21 c calculated reachability. Time: 0.00 763.71/191.21 c N dy 1534 357879 3612 19291 1140989 35279 3250594 2637657 12.41 no data 786.10/196.89 c N dy 1611 377913 3612 19291 1140989 29605 3250594 1891454 12.44 16.61 807.65/202.29 c N dy 1693 397931 3612 19291 1140989 49180 3250594 4656825 12.48 17.38 828.83/207.59 c N dy 1781 418018 3612 19291 1140989 42465 3250594 3680538 12.51 26.03 852.00/213.33 c N dy 1869 438052 3612 19291 1140989 34741 3250594 2705836 12.55 15.02 875.96/219.34 c N dy 1955 458363 3612 19291 1140989 54585 3250594 5808464 12.58 13.28 899.53/225.24 c N dy 2058 478429 3612 19291 1140989 45669 3250594 3540365 12.65 13.60 923.89/231.38 c N dy 2139 498494 3612 19291 1140989 36130 3250594 2788472 12.66 13.43 946.26/236.91 c N dy 2220 518524 3612 19291 1140989 55599 3250594 5055411 12.66 13.51 966.25/241.94 c S st 2296 536819 3612 19291 1140989 43357 3250594 3976389 12.67 9.87 966.66/242.10 c S st 2296 537319 3612 19291 1140989 43854 3250594 4057960 12.67 no data 967.04/242.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 981.01/245.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 106.7M T: 3.56 981.42/245.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 981.82/245.85 c bin-w-bin subsume rem 0 bins time: 0.14 s 1002.58/251.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.18 s 1002.98/251.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 1003.38/251.25 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 1003.78/251.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 1010.19/252.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.49 s 1034.14/258.96 c lits-rem: 778 cl-subs: 1476 v-elim: 0 v-fix: 0 time: 6.02 s 1034.14/258.99 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 1034.94/259.13 c vivif2 -- cl tried 42378 cl shrink 0 lits rem 0 time: 0.15 1036.14/259.43 c asymm cl-useful: 0/382/19291 lits-rem:0 time: 0.30 1036.14/259.46 c calculated reachability. Time: 0.00 1036.14/259.46 c N dy 2296 537319 3612 19291 1140989 42378 3250594 3977873 12.67 no data 1064.91/266.66 c N dy 2378 557563 3612 19291 1140989 62101 3250594 6893412 12.69 13.37 1091.67/273.38 c N dy 2472 577858 3612 19291 1140989 50630 3250594 4115080 12.69 13.69 1124.02/281.48 c N dy 2548 598606 3612 19291 1140989 38634 3250594 2691181 12.68 13.50 1150.80/288.15 c N dy 2615 618887 3612 19291 1140989 58246 3250594 5046433 12.67 13.38 1178.35/295.08 c N dy 2667 638896 3612 19291 1140989 44595 3250594 2981379 12.64 14.08 1212.32/303.52 c N dy 2767 658996 3612 19291 1140989 63920 3250594 4680107 12.68 13.38 1242.67/311.16 c N dy 2876 679401 3612 19291 1140989 49877 3250594 4190113 12.74 13.59 1272.63/318.69 c N dy 2958 699785 3612 19291 1140989 69717 3250594 6744018 12.75 13.57 1300.20/325.54 c N dy 3030 720306 3612 19291 1140989 54619 3250594 3917428 12.74 13.42 1328.15/332.55 c N dy 3099 740372 3612 19291 1140989 38250 3250594 2415292 12.73 13.48 1358.11/340.04 c N dy 3206 760549 3612 19291 1140989 57824 3250594 4830151 12.76 13.73 1393.27/348.81 c N dy 3280 780556 3612 19291 1140989 40418 3250594 2865787 12.75 13.49 1420.03/355.56 c N dy 3355 801158 3612 19291 1140989 60433 3250594 5346505 12.75 13.43 1427.64/357.44 c S st 3374 805978 3612 19291 1140989 65136 3250594 6084558 12.75 9.77 1428.42/357.63 c S st 3374 806482 3612 19291 1140989 65639 3250594 6163300 12.75 no data 1428.42/357.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1445.20/361.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 123.0M T: 4.15 1445.20/361.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1445.61/361.98 c bin-w-bin subsume rem 0 bins time: 0.14 s 1466.37/367.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.13 s 1466.77/367.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 1467.18/367.34 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 1467.59/367.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 1474.75/369.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.67 s 1524.71/381.75 c lits-rem: 2531 cl-subs: 4206 v-elim: 0 v-fix: 0 time: 12.46 s 1524.71/381.78 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 1525.88/382.01 c vivif2 -- cl tried 61433 cl shrink 0 lits rem 0 time: 0.23 1527.09/382.33 c asymm cl-useful: 0/337/19291 lits-rem:0 time: 0.32 1527.09/382.36 c calculated reachability. Time: 0.01 1527.09/382.36 c N dy 3374 806482 3612 19291 1140989 61433 3250594 6035321 12.75 no data 1558.25/390.13 c N dy 3460 826695 3612 19291 1140989 43324 3250594 3223831 12.76 13.59 1585.01/396.87 c N dy 3526 846930 3612 19291 1140989 62938 3250594 5490674 12.76 13.51 1616.17/404.69 c N dy 3599 866935 3612 19291 1140989 43582 3250594 2996282 12.77 16.38 1642.94/411.34 c N dy 3649 886938 3612 19291 1140989 62893 3250594 4703610 12.74 13.59 1672.09/418.66 c N dy 3731 907119 3612 19291 1140989 42726 3250594 2897077 12.74 13.59 1697.66/425.01 c N dy 3824 927175 3612 19291 1140989 62242 3250594 5721514 12.77 22.60 1729.21/432.95 c N dy 3909 947276 3612 19291 1140989 41027 3250594 2791046 12.79 21.89 1754.38/439.20 c N dy 3994 967345 3612 19291 1140989 60686 3250594 6073866 12.80 14.55 1786.73/447.32 c N dy 4083 987361 3612 19291 1140989 80174 3250594 8372954 12.82 22.85 1811.91/453.64 c N dy 4160 1007408 3612 19291 1140989 57882 3250594 4814337 12.83 17.49 1843.06/461.41 c N dy 4250 1028365 3612 19291 1140989 78363 3250594 7998169 12.85 13.54 1870.63/468.34 c N dy 4328 1048439 3612 19291 1140989 55087 3250594 4501075 12.85 19.43 1897.80/475.18 c N dy 4411 1068674 3612 19291 1140989 74764 3250594 6915192 12.86 13.72 1902.61/476.34 c F st 4428 1071875 3612 19291 1140989 77893 3250594 7476914 12.86 11.95 1928.97/482.94 c N dy 4460 1088847 3612 19291 1140989 50425 3250594 3380579 12.85 13.61 1956.91/489.92 c N dy 4524 1109020 3612 19291 1140989 69972 3250594 5441359 12.84 13.53 1994.06/499.24 c N dy 4633 1129231 3612 19291 1140989 44874 3250594 2667202 12.88 13.74 2022.82/506.41 c N dy 4714 1149939 3612 19291 1140989 64973 3250594 4597046 12.88 13.61 2052.38/513.83 c N dy 4813 1170853 3612 19291 1140989 85441 3250594 7320399 12.90 13.66 2080.34/520.89 c N dy 4889 1190932 3612 19291 1140989 59287 3250594 4820559 12.90 13.59 2105.11/527.08 c S st 4964 1209724 3612 19291 1140989 77485 3250594 6959591 12.91 10.27 2105.91/527.28 c S st 4964 1210226 3612 19291 1140989 77985 3250594 7022337 12.91 no data 2106.31/527.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2124.68/531.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 130.5M T: 4.65 2124.68/531.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2125.48/532.13 c bin-w-bin subsume rem 0 bins time: 0.14 s 2145.85/537.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.14 s 2146.25/537.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 2146.65/537.48 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 2147.05/537.57 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 2155.84/539.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.93 s 2207.37/552.68 c lits-rem: 2393 cl-subs: 3552 v-elim: 0 v-fix: 0 time: 12.95 s 2207.77/552.70 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 2208.57/552.97 c vivif2 -- cl tried 74433 cl shrink 0 lits rem 0 time: 0.26 2210.19/553.32 c asymm cl-useful: 0/300/19291 lits-rem:0 time: 0.35 2210.19/553.35 c calculated reachability. Time: 0.01 2210.19/553.35 c N dy 4964 1210226 3612 19291 1140989 74433 3250594 6874605 12.91 no data 2244.93/562.02 c N dy 5019 1230588 3612 19291 1140989 47541 3250594 2871823 12.90 13.61 2279.28/570.63 c N dy 5108 1250759 3612 19291 1140989 67004 3250594 4711082 12.90 13.63 2309.63/578.28 c N dy 5187 1270841 3612 19291 1140989 86443 3250594 6800512 12.91 16.08 2338.40/585.45 c N dy 5266 1290973 3612 19291 1140989 58500 3250594 4192409 12.91 13.62 2367.16/592.69 c N dy 5346 1311003 3612 19291 1140989 78033 3250594 6685360 12.92 13.69 2404.31/601.90 c N dy 5432 1331071 3612 19291 1140989 48954 3250594 2924334 12.93 15.19 2437.07/610.18 c N dy 5528 1352941 3612 19291 1140989 70074 3250594 5408048 12.94 13.64 2478.61/620.56 c N dy 5632 1374238 3612 19291 1140989 90684 3250594 7807586 12.97 13.67 2514.57/629.52 c N dy 5713 1394256 3612 19291 1140989 60689 3250594 4063804 12.97 15.31 2547.32/637.77 c N dy 5808 1414308 3612 19291 1140989 80154 3250594 6221289 12.99 13.80 2580.87/646.10 c N dy 5901 1434313 3612 19291 1140989 99663 3250594 9041932 13.01 14.50 2609.24/653.21 c N dy 5975 1454450 3612 19291 1140989 68754 3250594 4679505 13.01 13.78 2641.59/661.32 c N dy 6071 1474815 3612 19291 1140989 88445 3250594 6924352 13.02 13.77 2674.75/669.64 c N dy 6177 1495558 3612 19291 1140989 57198 3250594 3377933 13.05 13.75 2701.92/676.40 c N dy 6272 1515703 3612 19291 1140989 76781 3250594 6130881 13.06 13.84 2738.27/685.52 c N dy 6351 1535756 3612 19291 1140989 96157 3250594 8461096 13.06 13.78 2773.02/694.22 c N dy 6424 1555816 3612 19291 1140989 63206 3250594 3938973 13.06 18.03 2806.57/702.66 c N dy 6535 1576401 3612 19291 1140989 83168 3250594 6225991 13.08 13.77 2834.54/709.65 c N dy 6585 1596407 3612 19291 1140989 102707 3250594 9054415 13.07 13.89 2864.92/717.23 c N dy 6641 1616861 3612 19291 1140989 69118 3250594 4439995 13.06 13.76 2892.46/724.15 c N dy 6706 1637773 3612 19291 1140989 89543 3250594 7499172 13.06 13.76 2925.21/732.37 c N dy 6798 1658240 3612 19291 1140989 55068 3250594 2941331 13.06 13.92 2953.18/739.32 c N dy 6882 1678320 3612 19291 1140989 74540 3250594 5307935 13.07 18.80 2986.73/747.71 c N dy 6954 1699344 3612 19291 1140989 94931 3250594 7690979 13.07 13.89 3007.90/753.07 c S st 6987 1710226 3612 19291 1140989 105393 3250594 8616306 13.07 8.10 3008.70/753.27 c S st 6987 1710731 3612 19291 1140989 105897 3250594 8681038 13.07 no data 3009.10/753.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3030.28/758.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 145.4M T: 5.36 3030.68/758.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3031.08/758.84 c bin-w-bin subsume rem 0 bins time: 0.14 s 3051.44/763.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.15 s 3052.25/764.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 3052.65/764.21 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 3053.05/764.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 3059.83/766.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.50 s 3137.73/785.53 c lits-rem: 4111 cl-subs: 5100 v-elim: 0 v-fix: 0 time: 19.44 s 3137.73/785.56 c vivif2 -- cl tried 19291 cl shrink 0 lits rem 0 time: 0.03 3139.33/785.93 c vivif2 -- cl tried 100797 cl shrink 0 lits rem 0 time: 0.37 3140.53/786.27 c asymm cl-useful: 0/273/19291 lits-rem:0 time: 0.34 3140.93/786.31 c calculated reachability. Time: 0.00 3140.93/786.31 c N dy 6987 1710731 3612 19291 1140989 100797 3250594 8469915 13.07 no data 3180.47/796.23 c N dy 7093 1730756 3612 19291 1140989 64936 3250594 4061526 13.08 19.62 3206.04/802.67 c N dy 7169 1751371 3612 19291 1140989 85030 3250594 6772706 13.08 13.84 3242.40/811.79 c N dy 7243 1771459 3612 19291 1140989 104539 3250594 9117279 13.08 14.17 3275.55/820.06 c N dy 7315 1794620 3612 19291 1140989 70815 3250594 5077550 13.07 13.93 3309.09/828.41 c N dy 7393 1815039 3612 19291 1140990 90484 3250594 7062825 13.07 13.87 3338.66/835.82 c N dy 7462 1835861 3612 19291 1140990 110815 3250594 10002196 13.07 13.87 3369.02/843.44 c N dy 7545 1856257 3612 19291 1140990 73316 3250594 4923131 13.08 13.77 3402.97/851.97 c N dy 7605 1876669 3612 19291 1140990 92967 3250594 6664908 13.07 13.89 3451.30/864.02 c N dy 7712 1896764 3612 19291 1140990 112355 3250594 8564462 13.08 13.93 3484.07/872.26 c N dy 7799 1917025 3612 19291 1140990 73965 3250594 5167653 13.09 13.98 3513.62/879.62 c N dy 7877 1937601 3612 19291 1140990 93986 3250594 7630967 13.09 14.25 3547.17/888.02 c N dy 7949 1957902 3612 19291 1140990 113666 3250594 9863933 13.09 13.83 3581.16/896.54 c N dy 8051 1978035 3612 19291 1140990 74051 3250594 4666044 13.11 13.96 3613.09/904.58 c N dy 8132 1998514 3612 19291 1140990 93801 3250594 6919373 13.10 14.09 3648.64/913.50 c N dy 8225 2018666 3612 19291 1140990 113385 3250594 9382630 13.12 13.97 3686.20/922.83 c N dy 8313 2038721 3612 19291 1140990 72604 3250594 4038294 13.12 13.96 3716.16/930.34 c N dy 8407 2058723 3612 19291 1140990 92097 3250594 6482997 13.13 14.41 3756.51/940.41 c N dy 8505 2078737 3612 19291 1140990 111462 3250594 8748020 13.14 37.14 3788.05/948.34 c N dy 8577 2098761 3612 19291 1140990 69861 3250594 3821046 13.14 16.70 3823.60/957.29 c N dy 8666 2119827 3612 19291 1140990 90263 3250594 5832577 13.15 13.88 3858.76/966.02 c N dy 8765 2139923 3612 19291 1140990 109794 3250594 8395032 13.17 14.34 3908.69/978.50 c N dy 8852 2160061 3612 19291 1140990 67184 3250594 3759192 13.17 13.93 3936.67/985.60 c N dy 8928 2180086 3612 19291 1140990 86561 3250594 6022014 13.17 14.23 3975.41/995.26 c N dy 9026 2200104 3612 19291 1140990 105880 3250594 8124783 13.18 14.04 4002.58/1002.00 c S st 9091 2210733 3612 19291 1140990 116098 3250594 9105817 13.19 9.76 4003.36/1002.21 c S st 9091 2211237 3612 19291 1140990 116600 3250594 9175970 13.19 no data 4003.36/1002.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4023.34/1007.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 139.1M T: 5.03 4023.74/1007.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4024.14/1007.44 c bin-w-bin subsume rem 0 bins time: 0.14 s 4044.91/1012.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.17 s 4045.31/1012.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3612 time: 0.11 s 4045.71/1012.83 c Removed useless bin: 0 fixed: 0 props: 5.72M time: 0.11 s 4046.11/1012.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 4054.10/1014.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.72 s 4117.61/1030.86 c lits-rem: 6473 cl-subs: 6276 v-elim: 0 v-fix: 0 time: 15.92 s 4117.61/1030.89 c vivif2 -- cl tried 19291 cl shrink 1 lits rem 1 time: 0.03 4119.21/1031.28 c vivif2 -- cl tried 110324 cl shrink 54 lits rem 54 time: 0.39 4120.81/1031.64 c asymm cl-useful: 0/288/19291 lits-rem:0 time: 0.36 4120.81/1031.67 c calculated reachability. Time: 0.00 4120.81/1031.67 c N dy 9091 2211237 3612 19291 1140990 110324 3250593 8955268 13.19 no data 4157.56/1040.86 c N dy 9151 2232428 3612 19291 1140990 68085 3250593 3652976 13.18 14.12 4180.33/1046.56 c N dy 9220 2252511 3612 19291 1140990 87737 3250593 6620373 13.18 13.89 4209.10/1053.80 c N dy 9295 2272518 3612 19291 1140990 107290 3250593 9122138 13.19 14.02 4247.04/1063.24 c N dy 9379 2292985 3612 19291 1140990 127201 3250593 11409578 13.19 13.96 4272.21/1069.58 c N dy 9469 2313723 3612 19291 1140990 83346 3250593 6119320 13.19 13.96 4302.57/1077.13 c N dy 9545 2333727 3612 19291 1140990 102759 3250593 8350001 13.19 13.96 4334.92/1085.26 c N dy 9625 2354136 3612 19291 1140990 122682 3250593 11004877 13.19 13.90 4363.69/1092.45 c N dy 9710 2374604 3612 19291 1140990 77457 3250593 4747614 13.20 13.93 4390.45/1099.14 c N dy 9781 2396538 3612 19291 1140990 98721 3250593 7100733 13.19 13.94 4423.60/1107.46 c N dy 9883 2416599 3612 19291 1140990 118241 3250593 9785644 13.20 24.16 4455.56/1115.45 c N dy 9959 2436859 3612 19291 1140990 71861 3250593 4233212 13.21 13.98 4481.51/1121.96 c N dy 10062 2456875 3612 19291 1140990 91483 3250593 7038690 13.22 15.55 4509.06/1128.89 c N dy 10121 2476890 3612 19291 1140990 111062 3250593 9757199 13.21 13.93 4543.81/1137.57 c N dy 10215 2496920 3612 19291 1140990 130615 3250593 12367976 13.23 22.52 4572.98/1144.87 c N dy 10301 2517302 3612 19291 1140990 83211 3250593 5364513 13.23 14.51 4600.15/1151.67 c N dy 10371 2537761 3612 19291 1140990 103135 3250593 7773189 13.22 14.38 4636.49/1160.77 c N dy 10473 2559521 3612 19291 1140990 124346 3250593 10535412 13.23 13.95 4672.44/1169.74 c N dy 10542 2579561 3612 19291 1140990 75588 3250593 4241534 13.23 14.07 4701.22/1176.94 c N dy 10615 2601330 3612 19291 1140990 96686 3250593 6556122 13.23 14.00 4730.77/1184.37 c N dy 10686 2621596 3612 19291 1140990 116471 3250593 9195266 13.23 13.95 4764.32/1192.76 c N dy 10766 2641658 3612 19291 1140990 136029 3250593 11547622 13.23 14.14 4791.48/1199.53 c N dy 10842 2661705 3612 19291 1140990 86404 3250593 5592732 13.23 17.85
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-3250845-1304131346/watcher-3250845-1304131346 -o /tmp/evaluation-result-3250845-1304131346/solver-3250845-1304131346 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3250845-1304131346.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.37 6.13 6.86 6/180 1262 /proc/meminfo: memFree=29144860/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 524731330 52441088 347 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500748273 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 12803 347 299 106 0 7774 0 [pid=1262/tid=1263] ppid=1260 vsize=200080 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 52 0 0 0 0 0 0 0 25 0 4 0 524731330 204881920 1305 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500691771 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=200212 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 370 0 0 0 0 0 0 0 25 0 4 0 524731330 205017088 1329 33554432000 4194304 4627427 140734845064048 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=200212 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 388 0 0 0 0 0 0 0 25 0 4 0 524731330 205017088 1352 33554432000 4194304 4627427 140734845064048 18446744073709551615 4316503 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.0789549 s] /proc/loadavg: 7.37 6.13 6.86 6/180 1262 /proc/meminfo: memFree=29144860/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=292556 CPUtime=0.3 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 11195 0 0 0 26 4 0 0 18 0 4 0 524731330 299577344 11048 33554432000 4194304 4627427 140734845064048 18446744073709551615 4531878 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 73406 11751 338 106 0 68377 0 [pid=1262/tid=1263] ppid=1260 vsize=294020 CPUtime=0.08 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) D 1260 1262 32493 0 -1 4202560 2850 0 0 0 7 1 0 0 18 0 4 0 524731330 301076480 12051 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500388619 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=294152 CPUtime=0.08 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 3244 0 0 0 8 0 0 0 18 0 4 0 524731330 301211648 12186 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=294152 CPUtime=0.08 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) D 1260 1262 32493 0 -1 4202560 2932 0 0 0 7 1 0 0 18 0 4 0 524731330 301211648 12269 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 292556 [startup+0.121317 s] /proc/loadavg: 7.37 6.13 6.86 6/180 1262 /proc/meminfo: memFree=29144860/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=298536 CPUtime=0.48 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 16667 0 0 0 42 6 0 0 18 0 4 0 524731330 305700864 16519 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500735159 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 74733 16762 338 106 0 69704 0 [pid=1262/tid=1263] ppid=1260 vsize=299196 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 4052 0 0 0 10 1 0 0 18 0 4 0 524731330 306376704 16983 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=299460 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 4565 0 0 0 11 0 0 0 18 0 4 0 524731330 306647040 17209 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=299724 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) D 1260 1262 32493 0 -1 4202560 4252 0 0 0 10 1 0 0 18 0 4 0 524731330 306917376 17520 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 298536 [startup+0.301239 s] /proc/loadavg: 7.37 6.13 6.86 6/180 1262 /proc/meminfo: memFree=29144860/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=317084 CPUtime=1.15 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 33296 0 0 0 103 12 0 0 18 0 4 0 524731330 324694016 33148 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500353057 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 79271 33153 365 106 0 74242 0 [pid=1262/tid=1263] ppid=1260 vsize=317084 CPUtime=0.28 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 8382 0 0 0 25 3 0 0 18 0 4 0 524731330 324694016 33155 33554432000 4194304 4627427 140734845064048 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=317084 CPUtime=0.28 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 8994 0 0 0 27 1 0 0 18 0 4 0 524731330 324694016 33157 33554432000 4194304 4627427 140734845064048 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=317084 CPUtime=0.28 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 7138 0 0 0 25 3 0 0 18 0 4 0 524731330 324694016 33159 33554432000 4194304 4627427 140734845064048 18446744073709551615 4305894 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 317084 [startup+0.701162 s] /proc/loadavg: 7.37 6.13 6.86 6/180 1262 /proc/meminfo: memFree=29144860/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=321416 CPUtime=2.75 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 37780 0 0 0 261 14 0 0 18 0 4 0 524731330 329129984 36760 33554432000 4194304 4627427 140734845064048 18446744073709551615 4466367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 80354 36760 374 106 0 75325 0 [pid=1262/tid=1263] ppid=1260 vsize=321416 CPUtime=0.67 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 9649 0 0 0 64 3 0 0 18 0 4 0 524731330 329129984 36760 33554432000 4194304 4627427 140734845064048 18446744073709551615 4418366 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=321416 CPUtime=0.68 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 9705 0 0 0 67 1 0 0 18 0 4 0 524731330 329129984 36760 33554432000 4194304 4627427 140734845064048 18446744073709551615 4426318 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=321416 CPUtime=0.68 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 8358 0 0 0 65 3 0 0 18 0 4 0 524731330 329129984 36760 33554432000 4194304 4627427 140734845064048 18446744073709551615 4332398 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.75 Current children cumulated vsize (KiB) 321416 [startup+1.50101 s] /proc/loadavg: 7.37 6.13 6.86 10/184 1266 /proc/meminfo: memFree=28983380/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=346892 CPUtime=5.94 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 61283 0 0 0 573 21 0 0 18 0 4 0 524731330 355217408 58977 33554432000 4194304 4627427 140734845064048 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 86723 58977 381 106 0 81694 0 [pid=1262/tid=1263] ppid=1260 vsize=346892 CPUtime=1.48 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 16512 0 0 0 142 6 0 0 18 0 4 0 524731330 355217408 58977 33554432000 4194304 4627427 140734845064048 18446744073709551615 4420296 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=346892 CPUtime=1.48 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 17259 0 0 0 145 3 0 0 18 0 4 0 524731330 355217408 58977 33554432000 4194304 4627427 140734845064048 18446744073709551615 4442772 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=346892 CPUtime=1.47 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 10733 0 0 0 143 4 0 0 19 0 4 0 524731330 355217408 58977 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 346892 [startup+3.10069 s] /proc/loadavg: 7.37 6.13 6.86 9/184 1266 /proc/meminfo: memFree=28887384/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=556508 CPUtime=12.33 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 74016 0 0 0 1208 25 0 0 20 0 4 0 524731330 569864192 66829 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 139127 66829 386 106 0 134098 0 [pid=1262/tid=1263] ppid=1260 vsize=556508 CPUtime=3.08 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 19450 0 0 0 301 7 0 0 21 0 4 0 524731330 569864192 66829 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=556508 CPUtime=3.08 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 20866 0 0 0 304 4 0 0 20 0 4 0 524731330 569864192 66829 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=556508 CPUtime=3.07 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 13841 0 0 0 302 5 0 0 24 0 4 0 524731330 569864192 66829 33554432000 4194304 4627427 140734845064048 18446744073709551615 4247140 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.33 Current children cumulated vsize (KiB) 556508 [startup+6.30105 s] /proc/loadavg: 7.42 6.16 6.87 9/184 1266 /proc/meminfo: memFree=28869448/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=509168 CPUtime=25.12 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 92272 0 0 0 2481 31 0 0 25 0 4 0 524731330 521388032 71149 33554432000 4194304 4627427 140734845064048 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 127292 71149 389 106 0 122263 0 [pid=1262/tid=1263] ppid=1260 vsize=509168 CPUtime=6.28 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 23343 0 0 0 620 8 0 0 25 0 4 0 524731330 521388032 71149 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=509168 CPUtime=6.28 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 24561 0 0 0 623 5 0 0 25 0 4 0 524731330 521388032 71149 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=509168 CPUtime=6.25 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 21104 0 0 0 617 8 0 0 25 0 4 0 524731330 521388032 71149 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 509168 [startup+12.7008 s] /proc/loadavg: 7.46 6.19 6.88 9/184 1266 /proc/meminfo: memFree=28805216/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=629204 CPUtime=50.68 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 119800 0 0 0 5028 40 0 0 25 0 4 0 524731330 644304896 85319 33554432000 4194304 4627427 140734845064048 18446744073709551615 4424704 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 157301 85319 389 106 0 152272 0 [pid=1262/tid=1263] ppid=1260 vsize=629204 CPUtime=12.67 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 30097 0 0 0 1257 10 0 0 25 0 4 0 524731330 644304896 85319 33554432000 4194304 4627427 140734845064048 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=629204 CPUtime=12.68 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 29249 0 0 0 1262 6 0 0 25 0 4 0 524731330 644304896 85319 33554432000 4194304 4627427 140734845064048 18446744073709551615 4415723 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=629204 CPUtime=12.61 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 33822 0 0 0 1249 12 0 0 25 0 4 0 524731330 644304896 85319 33554432000 4194304 4627427 140734845064048 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 629204 [startup+25.5012 s] /proc/loadavg: 7.58 6.27 6.89 9/184 1266 /proc/meminfo: memFree=28713484/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=581504 CPUtime=101.81 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 170779 0 0 0 10129 52 0 0 25 0 4 0 524731330 595460096 107075 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 145376 107075 389 106 0 140347 0 [pid=1262/tid=1263] ppid=1260 vsize=581504 CPUtime=25.47 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 42126 0 0 0 2534 13 0 0 25 0 4 0 524731330 595460096 107075 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=581504 CPUtime=25.48 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 38918 0 0 0 2540 8 0 0 25 0 4 0 524731330 595460096 107075 33554432000 4194304 4627427 140734845064048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=581504 CPUtime=25.34 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 50126 0 0 0 2518 16 0 0 25 0 4 0 524731330 595460096 107075 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.81 Current children cumulated vsize (KiB) 581504 [startup+51.1011 s] /proc/loadavg: 7.78 6.43 6.93 9/184 1267 /proc/meminfo: memFree=28598732/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=699680 CPUtime=204.07 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 217753 0 0 0 20342 65 0 0 25 0 4 0 524731330 716472320 137308 33554432000 4194304 4627427 140734845064048 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 174920 137308 389 106 0 169891 0 [pid=1262/tid=1263] ppid=1260 vsize=699680 CPUtime=51.07 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 56816 0 0 0 5091 16 0 0 25 0 4 0 524731330 716472320 137308 33554432000 4194304 4627427 140734845064048 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=699680 CPUtime=51.08 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 50905 0 0 0 5097 11 0 0 25 0 4 0 524731330 716472320 137309 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=699680 CPUtime=50.8 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 65669 0 0 0 5059 21 0 0 25 0 4 0 524731330 716472320 137309 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 204.07 Current children cumulated vsize (KiB) 699680 [startup+102.307 s] /proc/loadavg: 7.97 6.68 6.99 9/184 1269 /proc/meminfo: memFree=28105952/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=871556 CPUtime=408.61 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 310324 0 0 0 40773 88 0 0 25 0 4 0 524731330 892473344 165631 33554432000 4194304 4627427 140734845064048 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 217889 165631 389 106 0 212860 0 [pid=1262/tid=1263] ppid=1260 vsize=871556 CPUtime=102.29 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 77306 0 0 0 10207 22 0 0 25 0 4 0 524731330 892473344 165631 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=871556 CPUtime=102.3 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 60657 0 0 0 10215 15 0 0 25 0 4 0 524731330 892473344 165631 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=871556 CPUtime=101.72 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 104208 0 0 0 10141 31 0 0 25 0 4 0 524731330 892473344 165632 33554432000 4194304 4627427 140734845064048 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.61 Current children cumulated vsize (KiB) 871556 [startup+162.301 s] ################ # More data... # ################ [pid=1262] ppid=1260 vsize=1614316 CPUtime=2805.37 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1254458 0 0 0 280172 365 0 0 25 0 4 0 524731330 1653059584 300526 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 403579 300526 389 106 0 398550 0 [pid=1262/tid=1263] ppid=1260 vsize=1614316 CPUtime=702.29 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 365258 0 0 0 70122 107 0 0 25 0 4 0 524731330 1653059584 300526 33554432000 4194304 4627427 140734845064048 18446744073709551615 4424993 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1614316 CPUtime=702.3 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 213480 0 0 0 70171 59 0 0 25 0 4 0 524731330 1653059584 300526 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1614316 CPUtime=698.47 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 398299 0 0 0 69737 110 0 0 25 0 4 0 524731330 1653059584 300526 33554432000 4194304 4627427 140734845064048 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2805.37 Current children cumulated vsize (KiB) 1614316 [startup+762.307 s] /proc/loadavg: 8.14 7.77 7.36 9/184 1316 /proc/meminfo: memFree=28838192/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1714548 CPUtime=3045.07 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1335720 0 0 0 304118 389 0 0 25 0 4 0 524731330 1755697152 287339 33554432000 4194304 4627427 140734845064048 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 428637 287339 389 106 0 423608 0 [pid=1262/tid=1263] ppid=1260 vsize=1714548 CPUtime=762.3 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 386625 0 0 0 76116 114 0 0 25 0 4 0 524731330 1755697152 287339 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1714548 CPUtime=762.32 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 231049 0 0 0 76167 65 0 0 25 0 4 0 524731330 1755697152 287339 33554432000 4194304 4627427 140734845064048 18446744073709551615 4425020 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1714548 CPUtime=758.14 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 423084 0 0 0 75698 116 0 0 25 0 4 0 524731330 1755697152 287339 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3045.07 Current children cumulated vsize (KiB) 1714548 [startup+822.301 s] /proc/loadavg: 8.16 7.84 7.40 9/184 1318 /proc/meminfo: memFree=28615300/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1722304 CPUtime=3284.74 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1430744 0 0 0 328057 417 0 0 25 0 4 0 524731330 1763639296 309541 33554432000 4194304 4627427 140734845064048 18446744073709551615 4299634 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 430576 309541 389 106 0 425547 0 [pid=1262/tid=1263] ppid=1260 vsize=1722304 CPUtime=822.29 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 406257 0 0 0 82107 122 0 0 25 0 4 0 524731330 1763639296 309541 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1722304 CPUtime=822.31 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 244224 0 0 0 82163 68 0 0 25 0 4 0 524731330 1763639296 309541 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1722304 CPUtime=817.81 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 453543 0 0 0 81655 126 0 0 18 0 4 0 524731330 1763639296 309541 33554432000 4194304 4627427 140734845064048 18446744073709551615 4330960 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3284.74 Current children cumulated vsize (KiB) 1722304 [startup+882.301 s] /proc/loadavg: 8.16 7.90 7.45 9/184 1319 /proc/meminfo: memFree=28599620/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1732392 CPUtime=3524.41 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1521319 0 0 0 351996 445 0 0 25 0 4 0 524731330 1773969408 312360 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 433098 312360 389 106 0 428069 0 [pid=1262/tid=1263] ppid=1260 vsize=1732392 CPUtime=882.29 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 430285 0 0 0 88101 128 0 0 25 0 4 0 524731330 1773969408 312360 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1732392 CPUtime=882.31 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 260255 0 0 0 88158 73 0 0 25 0 4 0 524731330 1773969408 312360 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1732392 CPUtime=877.48 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 480211 0 0 0 87612 136 0 0 25 0 4 0 524731330 1773969408 312360 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3524.41 Current children cumulated vsize (KiB) 1732392 [startup+942.301 s] /proc/loadavg: 8.11 7.93 7.49 9/184 1321 /proc/meminfo: memFree=28470084/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1845340 CPUtime=3764.09 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1587722 0 0 0 375945 464 0 0 25 0 4 0 524731330 1889628160 327427 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 461335 327427 389 106 0 456306 0 [pid=1262/tid=1263] ppid=1260 vsize=1845340 CPUtime=942.29 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 446257 0 0 0 94097 132 0 0 25 0 4 0 524731330 1889628160 327427 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1845340 CPUtime=942.31 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 282479 0 0 0 94152 79 0 0 25 0 4 0 524731330 1889628160 327427 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1845340 CPUtime=937.16 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 498643 0 0 0 93575 141 0 0 25 0 4 0 524731330 1889628160 327427 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3764.09 Current children cumulated vsize (KiB) 1845340 [startup+1002.3 s] /proc/loadavg: 8.16 7.98 7.53 9/184 1323 /proc/meminfo: memFree=28390924/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1677032 CPUtime=4003.76 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1673092 0 0 0 399886 490 0 0 25 0 4 0 524731330 1717280768 327924 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 419258 327924 389 106 0 414229 0 [pid=1262/tid=1263] ppid=1260 vsize=1677032 CPUtime=1002.29 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 470742 0 0 0 100089 140 0 0 25 0 4 0 524731330 1717280768 327924 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1677032 CPUtime=1002.31 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 290407 0 0 0 100149 82 0 0 25 0 4 0 524731330 1717280768 327924 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1677032 CPUtime=996.83 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 529978 0 0 0 99533 150 0 0 25 0 4 0 524731330 1717280768 327924 33554432000 4194304 4627427 140734845064048 18446744073709551615 4333080 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4003.76 Current children cumulated vsize (KiB) 1677032 [startup+1062.3 s] /proc/loadavg: 8.14 8.01 7.57 9/184 1324 /proc/meminfo: memFree=28339020/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1797096 CPUtime=4243.45 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1745604 0 0 0 423831 514 0 0 25 0 4 0 524731330 1840226304 336101 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 449274 336101 389 106 0 444245 0 [pid=1262/tid=1263] ppid=1260 vsize=1797096 CPUtime=1062.3 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 491828 0 0 0 106083 147 0 0 25 0 4 0 524731330 1840226304 336101 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1797096 CPUtime=1062.31 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 300527 0 0 0 106146 85 0 0 25 0 4 0 524731330 1840226304 336101 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1797096 CPUtime=1056.51 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 556343 0 0 0 105492 159 0 0 25 0 4 0 524731330 1840226304 336101 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4243.45 Current children cumulated vsize (KiB) 1797096 [startup+1122.3 s] /proc/loadavg: 8.05 8.01 7.59 9/184 1335 /proc/meminfo: memFree=28227516/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1998300 CPUtime=4483.09 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1834868 0 0 0 447768 541 0 0 25 0 4 0 524731330 2046259200 356958 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 499575 356958 389 106 0 494546 0 [pid=1262/tid=1263] ppid=1260 vsize=1998300 CPUtime=1122.29 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 517164 0 0 0 112075 154 0 0 25 0 4 0 524731330 2046259200 356958 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1998300 CPUtime=1122.28 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 314905 0 0 0 112138 90 0 0 25 0 4 0 524731330 2046259200 356958 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1998300 CPUtime=1116.18 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 579037 0 0 0 111452 166 0 0 25 0 4 0 524731330 2046259200 356958 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4483.09 Current children cumulated vsize (KiB) 1998300 [startup+1182.3 s] /proc/loadavg: 8.09 8.02 7.62 9/184 1336 /proc/meminfo: memFree=28288016/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1946080 CPUtime=4722.78 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1901255 0 0 0 471712 566 0 0 25 0 4 0 524731330 1992785920 330319 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 486520 330319 389 106 0 481491 0 [pid=1262/tid=1263] ppid=1260 vsize=1946080 CPUtime=1182.3 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 526968 0 0 0 118072 158 0 0 25 0 4 0 524731330 1992785920 330319 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1946080 CPUtime=1182.28 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 327714 0 0 0 118132 96 0 0 25 0 4 0 524731330 1992785920 330319 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1946080 CPUtime=1175.86 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 602521 0 0 0 117413 173 0 0 25 0 4 0 524731330 1992785920 330319 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4722.78 Current children cumulated vsize (KiB) 1946080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.06 8.02 7.63 9/184 1337 /proc/meminfo: memFree=28199592/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1941356 CPUtime=4800.28 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1933118 0 0 0 479453 575 0 0 25 0 4 0 524731330 1987948544 350364 33554432000 4194304 4627427 140734845064048 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 485339 350364 389 106 0 480310 0 [pid=1262/tid=1263] ppid=1260 vsize=1941356 CPUtime=1201.71 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 537316 0 0 0 120010 161 0 0 25 0 4 0 524731330 1987948544 350366 33554432000 4194304 4627427 140734845064048 18446744073709551615 4332090 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1941356 CPUtime=1201.7 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 332537 0 0 0 120072 98 0 0 25 0 4 0 524731330 1987948544 350366 33554432000 4194304 4627427 140734845064048 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1941356 CPUtime=1195.15 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 608003 0 0 0 119340 175 0 0 25 0 4 0 524731330 1987948544 350366 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.28 Current children cumulated vsize (KiB) 1941356 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.06 8.02 7.63 9/184 1337 /proc/meminfo: memFree=28199592/32950928 swapFree=67111464/67111528 [pid=1262] ppid=1260 vsize=1941356 CPUtime=4800.28 cores=1,3,5,7 /proc/1262/stat : 1262 (strangenight2-m) R 1260 1262 32493 0 -1 4202496 1933118 0 0 0 479453 575 0 0 25 0 4 0 524731330 1987948544 350364 33554432000 4194304 4627427 140734845064048 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/1262/statm: 485339 350364 389 106 0 480310 0 [pid=1262/tid=1263] ppid=1260 vsize=1941356 CPUtime=1201.71 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 537316 0 0 0 120010 161 0 0 25 0 4 0 524731330 1987948544 350366 33554432000 4194304 4627427 140734845064048 18446744073709551615 4332090 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1262/tid=1264] ppid=1260 vsize=1941356 CPUtime=1201.7 cores=1,3,5,7 /proc/1262/task/1264/stat : 1264 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 332537 0 0 0 120072 98 0 0 25 0 4 0 524731330 1987948544 350366 33554432000 4194304 4627427 140734845064048 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=1941356 CPUtime=1195.15 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (strangenight2-m) R 1260 1262 32493 0 -1 4202560 608003 0 0 0 119340 175 0 0 25 0 4 0 524731330 1987948544 350366 33554432000 4194304 4627427 140734845064048 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.28 Current children cumulated vsize (KiB) 1941356 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.77 CPU time (s): 4800.38 CPU user time (s): 4794.56 CPU system time (s): 5.81512 CPU usage (%): 399.442 Max. virtual memory (cumulated for all children) (KiB): 2192024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4794.56 system time used= 5.81511 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1933124 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= 8952 involuntary context switches= 21907 runsolver used 1.76573 second user time and 4.81527 second system time The end
Begin job on node149 at 2011-04-30 04:42:26 IDJOB=3250845 IDBENCH=88203 IDSOLVER=1586 FILE ID=node149/3250845-1304131346 RUNJOBID= node149-1304131219-1120 PBS_JOBID= 13170772 Free space on /tmp= 73204 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt 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-3250845-1304131346/watcher-3250845-1304131346 -o /tmp/evaluation-result-3250845-1304131346/solver-3250845-1304131346 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3250845-1304131346.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 472b10ce0a2683d9355981037eea091e RANDOM SEED=528246749 node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29145008 kB Buffers: 478768 kB Cached: 1355284 kB SwapCached: 60 kB Active: 1810104 kB Inactive: 1616020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29145008 kB SwapTotal: 67111528 kB SwapFree: 67111464 kB Dirty: 99096 kB Writeback: 0 kB AnonPages: 1592028 kB Mapped: 15460 kB Slab: 312344 kB PageTables: 7808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1935648 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= 73284 MiB End job on node149 at 2011-04-30 05:02:30