| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.21 | 1201.75 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf |
| MD5SUM | d872c255da29ab531c07d575af8ab92a |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 41.3467 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 42000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3174931-1304054635.cnf' 0.00/0.00 c -- header says num vars: 10000 0.00/0.00 c -- header says num clauses: 42000 0.00/0.05 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.00/0.05 c -- vars added 10000 0.00/0.05 c Parsing time: 0.05 s 0.00/0.05 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.00/0.05 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.00/0.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.28/0.10 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.28/0.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.28/0.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.36/0.10 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 0.36/0.92 c lits-rem: 0 cl-subs: 0 v-elim: 336 v-fix: 0 time: 0.33 s 0.36/0.92 c Finding binary XORs T: 0.00 s found: 0 0.36/0.92 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 0.36/0.92 c calculated reachability. Time: 0.00 0.36/0.92 c Calc default polars - time: 0.01 s pos: 4353 undec: 1191 neg: 4456 0.36/0.92 c ========================================================================================= 0.36/0.92 c types(t): F = full restart, N = normal restart 0.36/0.92 c types(t): S = simplification begin/end, E = solution found 0.36/0.92 c restart types(rt): st = static, dy = dynamic 0.36/0.92 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.36/0.92 c B st 0 0 9664 41583 0 0 126682 0 no data no data -- 0.36/0.92 c N dy 20 4083 9664 41583 0 4083 126682 661483 89.38 94.72 -- 5.14/1.39 c N dy 46 8141 9664 41583 0 4648 126682 320303 90.73 96.26 -- 7.93/2.01 c N dy 77 12394 9664 41583 0 8900 126682 948749 91.81 97.02 -- 10.33/2.64 c N dy 103 16458 9664 41583 0 7213 126682 415337 92.92 134.96 -- 12.72/3.27 c N dy 133 20542 9664 41583 0 11296 126682 1031770 93.70 101.53 -- 15.53/3.91 c N dy 156 24560 9664 41583 0 7939 126682 293723 93.07 107.36 -- 15.53/3.98 c F st 158 25001 9664 41583 0 8380 126682 356802 92.94 87.18 -- 19.11/4.83 c N dy 164 30000 9664 41583 0 13379 126682 1341867 92.94 no data -- 19.11/4.83 c S st 164 30000 9664 41583 0 13379 126682 1341867 92.94 no data -- 19.52/4.91 c S st 164 30504 9664 41583 0 13883 126682 1393426 92.94 no data -- 19.52/4.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.52/4.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.52/4.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 19.93/5.06 c bin-w-bin subsume rem 0 bins time: 0.01 s 19.93/5.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 19.93/5.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 19.93/5.07 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 26.71/6.77 c lits-rem: 7 cl-subs: 1 v-elim: 0 v-fix: 0 time: 6.76 s 27.11/6.81 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.19 27.11/6.82 c calculated reachability. Time: 0.00 27.11/6.82 c N dy 164 30504 9664 41583 0 13882 126682 1393382 92.94 no data -- 29.90/7.53 c N dy 190 34593 9664 41583 0 9283 126682 313404 92.97 101.15 -- 32.70/8.21 c N dy 222 38612 9664 41583 0 13302 126682 920750 93.49 103.67 -- 35.50/8.96 c N dy 249 42721 9664 41583 0 17410 126682 1522752 93.40 101.24 -- 37.91/9.53 c S st 271 45756 9664 41583 0 10602 126682 329616 93.45 91.75 -- 38.28/9.62 c S st 271 46264 9664 41583 0 11110 126682 390180 93.45 no data -- 38.28/9.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.28/9.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.28/9.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 38.28/9.69 c bin-w-bin subsume rem 0 bins time: 0.01 s 38.28/9.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 38.28/9.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 38.68/9.70 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 44.68/11.25 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.22 s 44.68/11.26 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 44.68/11.26 c vivif2 -- cl tried 11110 cl shrink 0 lits rem 0 time: 0.02 45.08/11.30 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.16 45.08/11.31 c calculated reachability. Time: 0.00 45.08/11.31 c N dy 271 46264 9664 41583 0 11110 126682 390180 93.45 no data -- 47.47/11.98 c N dy 298 50365 9664 41583 0 15209 126682 1004593 93.62 99.96 -- 50.28/12.67 c N dy 325 54463 9664 41583 0 19306 126682 1601203 93.62 106.59 -- 53.47/13.40 c N dy 351 58742 9664 41583 0 12665 126682 482951 93.60 98.56 -- 56.26/14.10 c N dy 378 62937 9664 41583 0 16860 126682 1130290 93.85 99.34 -- 59.06/14.82 c N dy 402 67068 9664 41583 0 20990 126682 1740837 93.83 99.52 -- 60.65/15.23 c S st 416 69397 9664 41583 0 23319 126682 2088137 93.76 92.08 -- 61.05/15.33 c S st 416 69898 9664 41583 0 23820 126682 2145570 93.76 no data -- 61.05/15.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 61.05/15.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.05/15.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 61.86/15.50 c bin-w-bin subsume rem 0 bins time: 0.01 s 61.86/15.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 61.86/15.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 61.86/15.51 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 77.83/19.60 c lits-rem: 12 cl-subs: 5 v-elim: 0 v-fix: 0 time: 16.25 s 78.23/19.60 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 78.23/19.63 c vivif2 -- cl tried 23815 cl shrink 0 lits rem 0 time: 0.10 78.23/19.69 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.26 78.23/19.69 c calculated reachability. Time: 0.00 78.23/19.69 c N dy 416 69898 9664 41583 0 23815 126682 2143968 93.76 no data -- 81.45/20.48 c N dy 451 74388 9664 41583 0 16345 126682 869376 93.90 116.41 -- 85.03/21.35 c N dy 478 79136 9664 41583 0 21093 126682 1591207 93.84 100.40 -- 89.02/22.31 c N dy 512 84283 9664 41583 0 13261 126682 266993 93.96 100.73 -- 91.01/22.84 c F st 532 87500 9664 41583 0 16478 126682 751708 93.97 no data -- 93.41/23.46 c N st 537 90795 9664 41583 0 19772 126682 1364267 93.97 no data -- 97.81/24.58 c N dy 567 96711 9664 41583 0 25687 126682 2358531 94.10 99.11 -- 102.60/25.70 c N dy 614 102931 9664 41583 0 17918 126682 818107 94.30 101.10 -- 103.82/26.05 c S st 629 104847 9664 41583 0 19834 126682 1124437 94.41 no data -- 104.20/26.13 c S st 629 105348 9664 41583 0 20335 126682 1180824 94.41 no data -- 104.20/26.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.20/26.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.20/26.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 104.60/26.23 c bin-w-bin subsume rem 0 bins time: 0.01 s 104.60/26.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 104.60/26.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 104.60/26.24 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 114.18/28.60 c lits-rem: 11 cl-subs: 0 v-elim: 0 v-fix: 0 time: 9.42 s 114.18/28.61 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 114.18/28.62 c vivif2 -- cl tried 20335 cl shrink 0 lits rem 0 time: 0.06 114.18/28.68 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.22 114.18/28.68 c calculated reachability. Time: 0.00 114.18/28.68 c N dy 629 105348 9664 41583 0 20335 126682 1180813 94.41 no data -- 119.38/29.93 c N dy 674 112161 9664 41583 0 27148 126682 2194983 94.43 99.70 -- 124.57/31.29 c N dy 718 119506 9664 41583 0 19498 126682 910751 94.38 99.80 -- 130.55/32.73 c N dy 769 127206 9664 41583 0 27197 126682 2038865 94.33 104.86 -- 136.95/34.31 c N dy 824 135609 9664 41583 0 19605 126682 773805 94.39 100.89 -- 143.36/35.92 c N dy 884 144336 9664 41583 0 28332 126682 2113668 94.46 102.16 -- 150.13/37.69 c N dy 945 153598 9664 41583 0 20596 126682 777061 94.55 100.76 -- 153.73/38.51 c S st 977 158023 9664 41583 0 25021 126682 1460657 94.59 no data -- 154.13/38.60 c S st 977 158527 9664 41583 0 25525 126682 1510737 94.59 no data -- 154.13/38.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 154.13/38.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 154.13/38.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 154.53/38.72 c bin-w-bin subsume rem 0 bins time: 0.01 s 154.53/38.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 154.53/38.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 154.53/38.73 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 166.11/41.61 c lits-rem: 8 cl-subs: 2 v-elim: 0 v-fix: 0 time: 11.49 s 166.11/41.62 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 166.11/41.64 c vivif2 -- cl tried 25523 cl shrink 0 lits rem 0 time: 0.07 166.51/41.70 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.26 166.51/41.70 c calculated reachability. Time: 0.00 166.51/41.70 c N dy 977 158527 9664 41583 0 25523 126682 1510491 94.59 no data -- 174.49/43.79 c N dy 1045 168838 9664 41583 0 35834 126682 3060486 94.69 100.53 -- 182.91/45.83 c N dy 1114 179811 9664 41583 0 28807 126682 1887586 94.80 100.04 -- 192.07/48.15 c N dy 1192 191366 9664 41583 0 21363 126682 606079 94.89 100.03 -- 201.26/50.47 c N dy 1270 203585 9664 41583 0 33582 126682 2447507 94.93 101.49 -- 211.65/53.09 c N dy 1349 216768 9664 41583 0 26766 126682 1286086 94.90 101.04 -- 223.63/56.05 c N dy 1440 230612 9664 41583 0 40609 126682 3379163 94.93 100.65 -- 229.22/57.44 c S st 1482 237792 9664 41583 0 26789 126682 1128854 94.87 no data -- 229.62/57.54 c S st 1482 238295 9664 41583 0 27292 126682 1182325 94.87 no data -- 229.62/57.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 229.62/57.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 229.62/57.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 230.02/57.64 c bin-w-bin subsume rem 0 bins time: 0.01 s 230.02/57.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 230.02/57.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 230.02/57.65 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 238.01/59.69 c lits-rem: 9 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.15 s 238.41/59.70 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 238.41/59.71 c vivif2 -- cl tried 27291 cl shrink 0 lits rem 0 time: 0.06 238.41/59.78 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.26 238.41/59.78 c calculated reachability. Time: 0.00 238.41/59.78 c N dy 1482 238295 9664 41583 0 27291 126682 1182235 94.87 no data -- 251.19/62.95 c N dy 1581 253538 9664 41583 0 42533 126682 3493772 94.89 101.17 -- 264.77/66.33 c N dy 1687 269768 9664 41583 0 36766 126682 2550584 94.99 100.50 -- 278.76/69.89 c N dy 1801 286991 9664 41583 0 30989 126682 1463207 94.97 100.04 -- 294.34/73.77 c N dy 1906 305359 9664 41583 0 25360 126682 483820 94.87 101.70 -- 295.14/73.94 c F st 1910 306250 9664 41583 0 26251 126682 609330 94.85 92.78 -- 310.71/77.89 c N dy 1996 325152 9664 41583 0 45152 126682 3667064 94.80 100.15 -- 327.51/82.08 c N dy 2128 345169 9664 41583 0 40167 126682 2545286 94.87 100.53 -- 338.67/84.90 c S st 2211 357442 9664 41583 0 26443 126682 354508 94.90 no data -- 339.07/84.99 c S st 2211 357949 9664 41583 0 26950 126682 410200 94.90 no data -- 339.47/85.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 339.47/85.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 339.47/85.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 339.47/85.07 c bin-w-bin subsume rem 0 bins time: 0.01 s 339.47/85.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 339.47/85.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 339.47/85.08 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 345.86/86.61 c lits-rem: 2 cl-subs: 1 v-elim: 0 v-fix: 0 time: 6.12 s 345.86/86.62 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 345.86/86.62 c vivif2 -- cl tried 26949 cl shrink 0 lits rem 0 time: 0.02 345.86/86.68 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.25 345.86/86.69 c calculated reachability. Time: 0.00 345.86/86.69 c N dy 2211 357949 9664 41583 0 26949 126682 410057 94.90 no data -- 363.05/90.93 c N dy 2343 378008 9664 41583 0 47005 126682 3499482 94.96 107.95 -- 380.23/95.28 c N dy 2480 398029 9664 41583 0 40025 126682 2276171 95.03 100.42 -- 399.38/100.02 c N dy 2606 418047 9664 41583 0 32048 126682 916880 95.07 101.39 -- 416.95/104.45 c N dy 2735 438122 9664 41583 0 52119 126682 3950427 95.11 100.14 -- 434.53/108.84 c N dy 2866 458217 9664 41583 0 43209 126682 2467979 95.16 101.12 -- 453.31/113.54 c N dy 2996 478232 9664 41583 0 33228 126682 806676 95.19 101.93 -- 470.88/117.97 c N dy 3123 498291 9664 41583 0 53286 126682 3823111 95.16 101.35 -- 489.26/122.56 c N dy 3254 518312 9664 41583 0 42305 126682 2034347 95.22 103.72 -- 507.24/127.03 c S st 3376 536926 9664 41583 0 60915 126682 4877445 95.24 83.90 -- 507.65/127.18 c S st 3376 537431 9664 41583 0 61420 126682 4930862 95.24 no data -- 507.65/127.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 507.65/127.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 508.05/127.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.26 509.23/127.52 c bin-w-bin subsume rem 0 bins time: 0.01 s 509.23/127.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 509.23/127.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 509.23/127.53 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 780.85/195.59 c lits-rem: 4 cl-subs: 6 v-elim: 0 v-fix: 0 time: 270.94 s 781.25/195.60 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 781.25/195.66 c vivif2 -- cl tried 61414 cl shrink 0 lits rem 0 time: 0.25 782.06/195.80 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.55 782.06/195.80 c calculated reachability. Time: 0.00 782.06/195.80 c N dy 3376 537431 9664 41583 0 61414 126682 4929165 95.24 no data -- 800.83/200.53 c N dy 3509 557552 9664 41583 0 49536 126682 2991470 95.28 101.58 -- 821.60/205.73 c N dy 3635 577748 9664 41583 0 36737 126682 889492 95.34 102.20 -- 841.17/210.65 c N dy 3773 597874 9664 41583 0 56863 126682 3936182 95.37 100.86 -- 861.94/215.86 c N dy 3900 618357 9664 41583 0 43347 126682 1747372 95.36 101.06 -- 882.71/221.03 c N dy 4040 638427 9664 41583 0 63416 126682 4814886 95.44 100.55 -- 902.69/226.00 c N dy 4159 658498 9664 41583 0 48489 126682 2375941 95.42 100.59 -- 923.86/231.39 c N dy 4284 678625 9664 41583 0 68615 126682 5428684 95.42 106.12 -- 943.83/236.36 c N dy 4406 698690 9664 41583 0 52676 126682 2914057 95.44 102.34 -- 966.20/241.95 c N dy 4535 718802 9664 41583 0 72786 126682 6003647 95.47 103.21 -- 986.18/246.92 c N dy 4660 739110 9664 41583 0 56102 126682 3252941 95.47 101.07 -- 1008.96/252.63 c N dy 4785 759115 9664 41583 0 38105 126682 375247 95.50 103.59 -- 1028.52/257.51 c N dy 4909 779266 9664 41583 0 58254 126682 3448740 95.52 102.30 -- 1052.09/263.42 c N dy 5041 799505 9664 41583 0 39498 126682 438440 95.54 101.12 -- 1058.07/264.96 c S st 5085 806146 9664 41583 0 46139 126682 1444786 95.55 83.50 -- 1058.47/265.09 c S st 5085 806646 9664 41583 0 46639 126682 1501316 95.55 no data -- 1058.87/265.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1058.87/265.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1058.87/265.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1059.27/265.23 c bin-w-bin subsume rem 0 bins time: 0.01 s 1059.27/265.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1059.27/265.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.02 s 1059.27/265.24 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1072.45/268.56 c lits-rem: 11 cl-subs: 2 v-elim: 0 v-fix: 0 time: 13.24 s 1072.45/268.56 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 1072.45/268.58 c vivif2 -- cl tried 46637 cl shrink 0 lits rem 0 time: 0.08 1072.85/268.69 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.43 1072.85/268.70 c calculated reachability. Time: 0.00 1072.85/268.70 c N dy 5085 806646 9664 41583 0 46637 126682 1500536 95.55 no data -- 1094.03/273.93 c N dy 5206 827009 9664 41583 0 66998 126682 4559191 95.53 101.68 -- 1115.99/279.45 c N dy 5336 847027 9664 41583 0 47014 126682 1423476 95.51 103.05 -- 1136.39/284.55 c N dy 5469 867053 9664 41583 0 67039 126682 4501896 95.52 103.45 -- 1157.95/290.00 c N dy 5595 887147 9664 41583 0 46139 126682 1154088 95.51 101.62 -- 1177.91/294.95 c N dy 5726 907237 9664 41583 0 66228 126682 4247810 95.54 100.78 -- 1200.28/300.59 c N dy 5858 927288 9664 41583 0 44284 126682 720375 95.57 105.32 -- 1219.87/305.41 c N dy 5973 947329 9664 41583 0 64324 126682 3749656 95.55 106.55 -- 1242.62/311.18 c N dy 6107 967436 9664 41583 0 84429 126682 6823572 95.56 101.96 -- 1262.99/316.20 c N dy 6232 987635 9664 41583 0 61626 126682 3218869 95.57 103.56 -- 1284.96/321.78 c N dy 6357 1007648 9664 41583 0 81636 126682 6281759 95.57 102.63 -- 1306.53/327.16 c N dy 6494 1027707 9664 41583 0 57695 126682 2500543 95.61 109.29 -- 1329.72/332.96 c N dy 6625 1047881 9664 41583 0 77867 126682 5576481 95.61 105.99 -- 1352.86/338.73 c N dy 6751 1067920 9664 41583 0 52914 126682 1603249 95.62 101.22 -- 1356.85/339.77 c F st 6780 1071878 9664 41583 0 56872 126682 2208547 95.63 94.22 -- 1374.83/344.26 c N dy 6859 1087977 9664 41583 0 72970 126682 4823742 95.62 101.67 -- 1400.02/350.53 c N dy 6991 1107979 9664 41583 0 46969 126682 558937 95.64 118.35 -- 1419.98/355.59 c N dy 7133 1128002 9664 41583 0 66990 126682 3640376 95.69 141.89 -- 1443.96/361.56 c N dy 7274 1148181 9664 41583 0 87168 126682 6724652 95.72 102.97 -- 1465.93/367.06 c N dy 7412 1168350 9664 41583 0 60342 126682 2460549 95.75 105.73 -- 1488.28/372.68 c N dy 7541 1188419 9664 41583 0 80411 126682 5568845 95.77 118.93 -- 1512.64/378.72 c N dy 7666 1208578 9664 41583 0 52566 126682 1117864 95.78 102.01 -- 1513.86/379.06 c S st 7676 1209969 9664 41583 0 53956 126682 1326880 95.78 no data -- 1514.26/379.19 c S st 7676 1210473 9664 41583 0 54460 126682 1377880 95.78 no data -- 1514.26/379.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1514.26/379.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1514.63/379.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1515.03/379.32 c bin-w-bin subsume rem 0 bins time: 0.01 s 1515.03/379.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1515.03/379.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 1515.03/379.33 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1527.05/382.35 c lits-rem: 5 cl-subs: 1 v-elim: 0 v-fix: 0 time: 12.06 s 1527.05/382.36 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.02 1527.05/382.38 c vivif2 -- cl tried 54459 cl shrink 0 lits rem 0 time: 0.08 1527.45/382.49 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.45 1527.45/382.49 c calculated reachability. Time: 0.00 1527.45/382.49 c N dy 7676 1210473 9664 41583 0 54459 126682 1377333 95.78 no data -- 1548.60/387.78 c N dy 7793 1230549 9664 41583 0 74535 126682 4443738 95.76 101.12 -- 1572.96/393.88 c N dy 7919 1250598 9664 41583 0 94581 126682 7536004 95.77 104.84 -- 1594.53/399.23 c N dy 8051 1270612 9664 41583 0 65594 126682 2986388 95.78 108.73 -- 1617.70/405.02 c N dy 8171 1290648 9664 41583 0 85630 126682 6026516 95.78 106.23 -- 1642.06/411.16 c N dy 8305 1310800 9664 41583 0 55784 126682 1309059 95.79 102.61 -- 1663.65/416.53 c N dy 8438 1330876 9664 41583 0 75859 126682 4374053 95.81 100.88 -- 1688.80/422.82 c N dy 8574 1350899 9664 41583 0 95879 126682 7430368 95.82 100.90 -- 1711.99/428.67 c N dy 8708 1371014 9664 41583 0 64997 126682 2579693 95.85 101.37 -- 1735.54/434.51 c N dy 8824 1391027 9664 41583 0 85008 126682 5678338 95.86 108.80 -- 1762.30/441.20 c N dy 8955 1411496 9664 41583 0 53484 126682 652573 95.86 101.30 -- 1783.06/446.43 c N dy 9080 1431591 9664 41583 0 73578 126682 3755809 95.87 110.85 -- 1807.43/452.59 c N dy 9209 1451696 9664 41583 0 93680 126682 6813254 95.88 101.88 -- 1833.00/458.90 c N dy 9345 1471849 9664 41583 0 60832 126682 1655308 95.89 101.43 -- 1854.57/464.37 c N dy 9463 1491864 9664 41583 0 80845 126682 4694281 95.88 102.03 -- 1880.53/470.88 c N dy 9597 1511937 9664 41583 0 100917 126682 7783273 95.89 102.46 -- 1903.70/476.70 c N dy 9725 1531973 9664 41583 0 66955 126682 2466847 95.92 101.30 -- 1927.29/482.54 c N dy 9858 1552156 9664 41583 0 87138 126682 5557900 95.93 104.00 -- 1954.03/489.26 c N dy 9981 1572368 9664 41583 0 107347 126682 8642430 95.92 101.17 -- 1976.80/494.90 c N dy 10116 1592432 9664 41583 0 72415 126682 3172210 95.94 107.23 -- 2001.58/501.19 c N dy 10241 1612539 9664 41583 0 92522 126682 6227216 95.94 104.17 -- 2032.34/508.83 c N dy 10371 1632586 9664 41583 0 56572 126682 551972 95.95 101.58 -- 2055.49/514.67 c N dy 10498 1652623 9664 41583 0 76608 126682 3623446 95.96 101.67 -- 2083.06/521.51 c N dy 10632 1672689 9664 41583 0 96673 126682 6709460 95.98 140.45 -- 2113.02/529.08 c N dy 10765 1692754 9664 41583 0 59738 126682 899074 95.99 151.36 -- 2134.19/534.31 c S st 10874 1710473 9664 41583 0 77456 126682 3608693 96.00 no data -- 2134.99/534.50 c S st 10874 1710975 9664 41583 0 77958 126682 3662688 96.00 no data -- 2134.99/534.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2134.99/534.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2134.99/534.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.32 2135.78/534.77 c bin-w-bin subsume rem 0 bins time: 0.01 s 2135.78/534.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2135.78/534.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 2135.78/534.78 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2279.59/570.76 c lits-rem: 1 cl-subs: 3 v-elim: 0 v-fix: 0 time: 143.16 s 2279.59/570.76 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 2279.98/570.81 c vivif2 -- cl tried 77955 cl shrink 0 lits rem 0 time: 0.20 2280.39/570.98 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.67 2280.39/570.99 c calculated reachability. Time: 0.00 2280.39/570.99 c N dy 10874 1710975 9664 41583 0 77955 126682 3661745 96.00 no data -- 2306.75/577.54 c N dy 11004 1731122 9664 41583 0 98101 126682 6734291 96.00 101.77 -- 2335.93/584.85 c N dy 11137 1751286 9664 41583 0 60278 126682 831581 96.02 102.74 -- 2359.48/590.74 c N dy 11276 1771316 9664 41583 0 80306 126682 3928343 96.05 116.41 -- 2386.25/597.46 c N dy 11408 1791367 9664 41583 0 100356 126682 7032315 96.07 101.81 -- 2415.03/604.66 c N dy 11541 1811373 9664 41583 0 61363 126682 838282 96.09 101.76 -- 2437.37/610.27 c N dy 11668 1831529 9664 41583 0 81517 126682 3929094 96.09 101.91 -- 2463.35/616.79 c N dy 11804 1851663 9664 41583 0 101650 126682 7052137 96.11 103.83 -- 2492.49/624.01 c N dy 11929 1871874 9664 41583 0 61861 126682 767883 96.10 102.09 -- 2514.86/629.63 c N dy 12051 1891952 9664 41583 0 81937 126682 3860460 96.10 105.24 -- 2540.43/636.07 c N dy 12180 1912009 9664 41583 0 101993 126682 6920040 96.10 102.46 -- 2570.38/643.51 c N dy 12309 1932062 9664 41583 0 61045 126682 500047 96.10 101.23 -- 2592.75/649.13 c N dy 12443 1952118 9664 41583 0 81100 126682 3607339 96.12 103.11 -- 2619.11/655.70 c N dy 12581 1972137 9664 41583 0 101116 126682 6706695 96.14 103.01 -- 2648.27/663.01 c N dy 12712 1992148 9664 41583 0 121127 126682 9762276 96.16 102.05 -- 2671.83/668.92 c N dy 12831 2012188 9664 41583 0 79170 126682 3145543 96.16 104.38 -- 2697.41/675.32 c N dy 12967 2032259 9664 41583 0 99239 126682 6224820 96.18 102.62 -- 2726.58/682.62 c N dy 13101 2052403 9664 41583 0 119383 126682 9332167 96.19 103.07 -- 2752.13/689.01 c N dy 13229 2072434 9664 41583 0 76417 126682 2550603 96.20 119.70 -- 2776.89/695.27 c N dy 13345 2092582 9664 41583 0 96564 126682 5664260 96.18 105.47 -- 2805.66/702.50 c N dy 13479 2112770 9664 41583 0 116750 126682 8747764 96.19 102.41 -- 2835.21/709.89 c N dy 13623 2132930 9664 41583 0 72915 126682 1896251 96.22 105.20 -- 2860.78/716.25 c N dy 13759 2153021 9664 41583 0 93003 126682 4979611 96.23 102.88 -- 2889.93/723.55 c N dy 13895 2173062 9664 41583 0 113042 126682 8104383 96.25 105.62 -- 2921.09/731.33 c N dy 14014 2193243 9664 41583 0 68221 126682 1017436 96.25 101.78 -- 2942.66/736.73 c S st 14131 2210975 9664 41583 0 85952 126682 3789877 96.26 103.97 -- 2943.46/736.91 c S st 14131 2211481 9664 41583 0 86458 126682 3841074 96.26 no data -- 2943.46/736.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2943.46/736.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2943.86/737.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2944.26/737.19 c bin-w-bin subsume rem 0 bins time: 0.01 s 2944.65/737.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2944.65/737.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 2944.65/737.20 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3115.22/779.94 c lits-rem: 0 cl-subs: 6 v-elim: 0 v-fix: 0 time: 170.15 s 3115.22/779.94 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.02 3115.62/780.00 c vivif2 -- cl tried 86452 cl shrink 0 lits rem 0 time: 0.22 3116.02/780.19 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.79 3116.42/780.20 c calculated reachability. Time: 0.00 3116.42/780.20 c N dy 14131 2211481 9664 41583 0 86452 126682 3840359 96.26 no data -- 3145.98/787.62 c N dy 14251 2231648 9664 41583 0 106619 126682 6921768 96.26 102.00 -- 3179.55/796.06 c N dy 14382 2251653 9664 41583 0 126623 126682 9990174 96.27 107.67 -- 3208.30/803.21 c N dy 14514 2271678 9664 41583 0 80652 126682 2803527 96.29 101.50 -- 3237.06/810.46 c N dy 14658 2291770 9664 41583 0 100743 126682 5899359 96.31 108.83 -- 3269.82/818.69 c N dy 14785 2311873 9664 41583 0 120844 126682 8944537 96.31 102.40 -- 3302.59/826.84 c N dy 14914 2332027 9664 41583 0 74006 126682 1622118 96.32 101.99 -- 3329.73/833.61 c N dy 15039 2352092 9664 41583 0 94063 126682 4682549 96.32 101.66 -- 3360.49/841.38 c N dy 15162 2372189 9664 41583 0 114160 126682 7704119 96.31 101.91 -- 3396.44/850.35 c N dy 15301 2392303 9664 41583 0 134272 126682 10858454 96.34 102.43 -- 3424.01/857.22 c N dy 15436 2412360 9664 41583 0 86331 126682 3391636 96.35 101.60 -- 3453.56/864.68 c N dy 15563 2432566 9664 41583 0 106535 126682 6508604 96.35 102.10 -- 3487.52/873.12 c N dy 15701 2452584 9664 41583 0 126550 126682 9638766 96.37 101.68 -- 3518.68/880.97 c N dy 15836 2472713 9664 41583 0 77686 126682 1891117 96.39 103.44 -- 3545.44/887.62 c N dy 15972 2492812 9664 41583 0 97785 126682 4962825 96.40 102.48 -- 3576.19/895.31 c N dy 16102 2512860 9664 41583 0 117833 126682 8080325 96.41 110.30 -- 3610.18/903.89 c N dy 16232 2532955 9664 41583 0 137928 126682 11196493 96.42 103.82 -- 3636.92/910.51 c N dy 16359 2553052 9664 41583 0 88024 126682 3366920 96.43 105.48 -- 3665.67/917.75 c N dy 16492 2573112 9664 41583 0 108083 126682 6510292 96.45 115.34 -- 3698.83/926.00 c N dy 16627 2593259 9664 41583 0 128224 126682 9620911 96.46 103.04 -- 3730.78/934.07 c N dy 16751 2613290 9664 41583 0 77260 126682 1516064 96.46 105.62 -- 3757.94/940.83 c N dy 16879 2633606 9664 41583 0 97575 126682 4611317 96.46 101.57 -- 3789.93/948.90 c N dy 17009 2653662 9664 41583 0 117630 126682 7712004 96.47 102.49 -- 3826.65/958.08 c N dy 17146 2673752 9664 41583 0 137718 126682 10808905 96.49 103.84 -- 3857.01/965.67 c N dy 17270 2693889 9664 41583 0 85859 126682 2654540 96.48 102.40 -- 3882.19/972.00 c S st 17385 2711481 9664 41583 0 103451 126682 5360250 96.49 79.72 -- 3883.38/972.24 c S st 17385 2711988 9664 41583 0 103958 126682 5417469 96.49 no data -- 3883.38/972.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3883.38/972.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3883.78/972.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.41 3884.97/972.63 c bin-w-bin subsume rem 0 bins time: 0.01 s 3884.97/972.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3884.97/972.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.02 s 3884.97/972.64 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4259.27/1066.30 c lits-rem: 0 cl-subs: 5 v-elim: 0 v-fix: 0 time: 372.86 s 4259.27/1066.31 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.02 4259.27/1066.38 c vivif2 -- cl tried 103953 cl shrink 0 lits rem 0 time: 0.28 4260.08/1066.59 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.83 4260.08/1066.59 c calculated reachability. Time: 0.00 4260.08/1066.59 c N dy 17385 2711988 9664 41583 0 103953 126682 5416461 96.49 no data -- 4291.24/1074.33 c N dy 17515 2732102 9664 41583 0 124063 126682 8509814 96.50 105.69 -- 4326.78/1083.22 c N dy 17641 2752383 9664 41583 0 144344 126682 11620035 96.50 106.87 -- 4353.54/1090.00 c N dy 17773 2772393 9664 41583 0 91361 126682 3393643 96.50 103.66 -- 4383.11/1097.37 c N dy 17910 2792426 9664 41583 0 111391 126682 6482397 96.51 110.45 -- 4416.25/1105.66 c N dy 18041 2812841 9664 41583 0 131804 126682 9586489 96.51 102.03 -- 4451.01/1114.37 c N dy 18162 2833040 9664 41583 0 78008 126682 1198803 96.51 101.75 -- 4477.36/1120.94 c N dy 18288 2853090 9664 41583 0 98056 126682 4299470 96.52 103.77 -- 4508.13/1128.67 c N dy 18412 2873457 9664 41583 0 118420 126682 7396388 96.52 102.38 -- 4542.48/1137.24 c N dy 18542 2893530 9664 41583 0 138491 126682 10514226 96.53 107.32 -- 4574.83/1145.40 c N dy 18674 2913615 9664 41583 0 83586 126682 1904690 96.53 102.72 -- 4602.39/1152.28 c N dy 18804 2933622 9664 41583 0 103592 126682 4998271 96.54 101.70 -- 4633.96/1160.18 c N dy 18931 2953725 9664 41583 0 123694 126682 8096000 96.54 101.81 -- 4669.50/1169.04 c N dy 19056 2973880 9664 41583 0 143848 126682 11183575 96.54 102.51 -- 4700.65/1176.87 c N dy 19192 2993887 9664 41583 0 87854 126682 2385718 96.55 104.78 -- 4730.64/1184.39 c N dy 19322 3013896 9664 41583 0 107863 126682 5423071 96.55 104.98 -- 4765.38/1193.02 c N dy 19458 3033967 9664 41583 0 127932 126682 8522344 96.57 104.92 --
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-3174931-1304054635/watcher-3174931-1304054635 -o /tmp/evaluation-result-3174931-1304054635/solver-3174931-1304054635 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174931-1304054635.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: 8.09 8.05 7.58 3/174 12936 /proc/meminfo: memFree=14128196/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 517063352 52465664 353 33554432000 4194304 4650419 140734858019888 18446744073709551615 46913103259570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 12809 353 303 112 0 7774 0 [pid=12936/tid=12937] ppid=12934 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 517063352 52465664 353 33554432000 4194304 4650419 140734858019888 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 517063352 52465664 353 33554432000 4194304 4650419 140734858019888 18446744073709551615 46913103259564 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 517063352 52465664 353 33554432000 4194304 4650419 140734858019888 18446744073709551615 46913103259570 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0825321 s] /proc/loadavg: 8.09 8.05 7.58 3/174 12936 /proc/meminfo: memFree=14128196/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=299264 CPUtime=0.28 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) D 12934 12936 12807 0 -1 4202496 10440 0 0 0 25 3 0 0 18 0 4 0 517063352 306446336 8678 33554432000 4194304 4650419 140734858019888 18446744073709551615 248089741495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 74816 8678 377 112 0 69781 0 [pid=12936/tid=12937] ppid=12934 vsize=299264 CPUtime=0.06 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 2669 0 0 0 5 1 0 0 25 0 4 0 517063352 306446336 8678 33554432000 4194304 4650419 140734858019888 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=299264 CPUtime=0.06 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) D 12934 12936 12807 0 -1 4202560 2682 0 0 0 6 0 0 0 18 0 4 0 517063352 306446336 8678 33554432000 4194304 4650419 140734858019888 18446744073709551615 248089359045 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=299264 CPUtime=0.06 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 2007 0 0 0 6 0 0 0 18 0 4 0 517063352 306446336 8678 33554432000 4194304 4650419 140734858019888 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 299264 [startup+0.104859 s] /proc/loadavg: 8.09 8.05 7.58 3/174 12936 /proc/meminfo: memFree=14128196/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=302580 CPUtime=0.36 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 12745 0 0 0 32 4 0 0 18 0 4 0 517063352 309841920 10983 33554432000 4194304 4650419 140734858019888 18446744073709551615 4523701 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 75645 10983 385 112 0 70610 0 [pid=12936/tid=12937] ppid=12934 vsize=302580 CPUtime=0.08 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 3400 0 0 0 7 1 0 0 18 0 4 0 517063352 309841920 10983 33554432000 4194304 4650419 140734858019888 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=302580 CPUtime=0.08 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 3503 0 0 0 8 0 0 0 18 0 4 0 517063352 309841920 10983 33554432000 4194304 4650419 140734858019888 18446744073709551615 4441897 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=302580 CPUtime=0.09 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) D 12934 12936 12807 0 -1 4202560 2027 0 0 0 8 1 0 0 18 0 4 0 517063352 309841920 10983 33554432000 4194304 4650419 140734858019888 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 302580 [startup+0.968256 s] /proc/loadavg: 8.09 8.05 7.58 3/174 12936 /proc/meminfo: memFree=14128196/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=305248 CPUtime=3.81 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 19160 0 0 0 376 5 0 0 19 0 4 0 517063352 312573952 15550 33554432000 4194304 4650419 140734858019888 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 76312 15550 391 112 0 71277 0 [pid=12936/tid=12937] ppid=12934 vsize=305248 CPUtime=0.93 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 5373 0 0 0 92 1 0 0 19 0 4 0 517063352 312573952 15550 33554432000 4194304 4650419 140734858019888 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=305248 CPUtime=0.94 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 4936 0 0 0 94 0 0 0 19 0 4 0 517063352 312573952 15550 33554432000 4194304 4650419 140734858019888 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=305248 CPUtime=0.95 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 3055 0 0 0 94 1 0 0 19 0 4 0 517063352 312573952 15550 33554432000 4194304 4650419 140734858019888 18446744073709551615 4229517 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.81 Current children cumulated vsize (KiB) 305248 [startup+1.00125 s] /proc/loadavg: 8.09 8.05 7.58 3/174 12936 /proc/meminfo: memFree=14128196/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=305248 CPUtime=3.94 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 19299 0 0 0 389 5 0 0 19 0 4 0 517063352 312573952 15689 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 76312 15689 391 112 0 71277 0 [pid=12936/tid=12937] ppid=12934 vsize=305248 CPUtime=0.97 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 5407 0 0 0 96 1 0 0 19 0 4 0 517063352 312573952 15689 33554432000 4194304 4650419 140734858019888 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=305248 CPUtime=0.97 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 4970 0 0 0 97 0 0 0 19 0 4 0 517063352 312573952 15689 33554432000 4194304 4650419 140734858019888 18446744073709551615 4328378 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=305248 CPUtime=0.98 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 3093 0 0 0 97 1 0 0 19 0 4 0 517063352 312573952 15689 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363371 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 305248 [startup+1.50117 s] /proc/loadavg: 8.09 8.05 7.58 3/174 12936 /proc/meminfo: memFree=14128196/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=309604 CPUtime=5.94 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 23638 0 0 0 588 6 0 0 19 0 4 0 517063352 317034496 14469 33554432000 4194304 4650419 140734858019888 18446744073709551615 4328094 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 77401 14469 393 112 0 72366 0 [pid=12936/tid=12937] ppid=12934 vsize=309604 CPUtime=1.48 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 6517 0 0 0 146 2 0 0 19 0 4 0 517063352 317034496 14469 33554432000 4194304 4650419 140734858019888 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=309604 CPUtime=1.48 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 5873 0 0 0 147 1 0 0 20 0 4 0 517063352 317034496 14469 33554432000 4194304 4650419 140734858019888 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=309604 CPUtime=1.48 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 4310 0 0 0 147 1 0 0 20 0 4 0 517063352 317034496 14469 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 309604 [startup+3.10088 s] /proc/loadavg: 8.08 8.05 7.58 9/184 12949 /proc/meminfo: memFree=13831208/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=310496 CPUtime=12.32 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 32243 0 0 0 1225 7 0 0 25 0 4 0 517063352 317947904 16324 33554432000 4194304 4650419 140734858019888 18446744073709551615 4333710 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 77624 16324 393 112 0 72589 0 [pid=12936/tid=12937] ppid=12934 vsize=310496 CPUtime=3.06 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 8734 0 0 0 304 2 0 0 25 0 4 0 517063352 317947904 16324 33554432000 4194304 4650419 140734858019888 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=310496 CPUtime=3.08 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 7914 0 0 0 307 1 0 0 25 0 4 0 517063352 317947904 16324 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363482 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=310496 CPUtime=3.08 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 6450 0 0 0 307 1 0 0 25 0 4 0 517063352 317947904 16324 33554432000 4194304 4650419 140734858019888 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.32 Current children cumulated vsize (KiB) 310496 [startup+6.30032 s] /proc/loadavg: 8.08 8.05 7.58 9/184 12950 /proc/meminfo: memFree=13762276/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=310988 CPUtime=25.1 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 58824 0 0 0 2496 14 0 0 25 0 4 0 517063352 318451712 28826 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 77747 28827 395 112 0 72712 0 [pid=12936/tid=12937] ppid=12934 vsize=310988 CPUtime=6.25 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 16679 0 0 0 621 4 0 0 25 0 4 0 517063352 318451712 28828 33554432000 4194304 4650419 140734858019888 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=310988 CPUtime=6.27 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 11986 0 0 0 625 2 0 0 25 0 4 0 517063352 318451712 28828 33554432000 4194304 4650419 140734858019888 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=310988 CPUtime=6.28 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 10715 0 0 0 625 3 0 0 25 0 4 0 517063352 318451712 28828 33554432000 4194304 4650419 140734858019888 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 310988 [startup+12.7012 s] /proc/loadavg: 8.07 8.05 7.59 9/184 12950 /proc/meminfo: memFree=13686540/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=338112 CPUtime=50.69 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 92337 0 0 0 5047 22 0 0 25 0 4 0 517063352 346226688 47296 33554432000 4194304 4650419 140734858019888 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 84528 47296 395 112 0 79493 0 [pid=12936/tid=12937] ppid=12934 vsize=338112 CPUtime=12.61 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 19323 0 0 0 1257 4 0 0 25 0 4 0 517063352 346226688 47296 33554432000 4194304 4650419 140734858019888 18446744073709551615 4328275 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=338112 CPUtime=12.68 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 25151 0 0 0 1264 4 0 0 25 0 4 0 517063352 346226688 47296 33554432000 4194304 4650419 140734858019888 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=338112 CPUtime=12.68 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 23167 0 0 0 1262 6 0 0 25 0 4 0 517063352 346226688 47296 33554432000 4194304 4650419 140734858019888 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.69 Current children cumulated vsize (KiB) 338112 [startup+25.5009 s] /proc/loadavg: 8.06 8.05 7.59 9/184 12950 /proc/meminfo: memFree=13282796/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=447964 CPUtime=101.8 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 148003 0 0 0 10143 37 0 0 25 0 4 0 517063352 458715136 68148 33554432000 4194304 4650419 140734858019888 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 111991 68148 395 112 0 106956 0 [pid=12936/tid=12937] ppid=12934 vsize=447964 CPUtime=25.34 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 36654 0 0 0 2526 8 0 0 25 0 4 0 517063352 458715136 68148 33554432000 4194304 4650419 140734858019888 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=447964 CPUtime=25.47 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 38112 0 0 0 2540 7 0 0 25 0 4 0 517063352 458715136 68148 33554432000 4194304 4650419 140734858019888 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=447964 CPUtime=25.48 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 33993 0 0 0 2538 10 0 0 25 0 4 0 517063352 458715136 68148 33554432000 4194304 4650419 140734858019888 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.8 Current children cumulated vsize (KiB) 447964 [startup+51.1004 s] /proc/loadavg: 8.04 8.04 7.60 9/184 12951 /proc/meminfo: memFree=13106164/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=481396 CPUtime=204.05 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 220959 0 0 0 20349 56 0 0 25 0 4 0 517063352 492949504 77588 33554432000 4194304 4650419 140734858019888 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 120349 77589 395 112 0 115314 0 [pid=12936/tid=12937] ppid=12934 vsize=481396 CPUtime=50.8 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 53392 0 0 0 5066 14 0 0 25 0 4 0 517063352 492949504 77589 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=481396 CPUtime=51.07 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 56263 0 0 0 5095 12 0 0 25 0 4 0 517063352 492949504 77589 33554432000 4194304 4650419 140734858019888 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=481396 CPUtime=51.08 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 57819 0 0 0 5091 17 0 0 25 0 4 0 517063352 492949504 77589 33554432000 4194304 4650419 140734858019888 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.05 Current children cumulated vsize (KiB) 481396 [startup+102.3 s] /proc/loadavg: 8.01 8.03 7.62 9/184 12952 /proc/meminfo: memFree=12971108/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=771272 CPUtime=408.57 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 374531 0 0 0 40755 102 0 0 25 0 4 0 517063352 789782528 96558 33554432000 4194304 4650419 140734858019888 18446744073709551615 4334509 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 192818 96558 395 112 0 187783 0 [pid=12936/tid=12937] ppid=12934 vsize=771272 CPUtime=101.72 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 89357 0 0 0 10146 26 0 0 25 0 4 0 517063352 789782528 96558 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=771272 CPUtime=102.27 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 85902 0 0 0 10205 22 0 0 25 0 4 0 517063352 789782528 96558 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=771272 CPUtime=102.27 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 103969 0 0 0 10197 30 0 0 25 0 4 0 517063352 789782528 96560 33554432000 4194304 4650419 140734858019888 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.57 Current children cumulated vsize (KiB) 771272 [startup+162.301 s] ################ # More data... # ################ [pid=12936] ppid=12934 vsize=966640 CPUtime=2565.58 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 2466751 0 0 0 255935 623 0 0 25 0 4 0 517063352 989839360 173686 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 241660 173686 395 112 0 236625 0 [pid=12936/tid=12937] ppid=12934 vsize=966640 CPUtime=638.76 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 785043 0 0 0 63698 178 0 0 25 0 4 0 517063352 989839360 173686 33554432000 4194304 4650419 140734858019888 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=966640 CPUtime=642.27 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 315791 0 0 0 64115 112 0 0 25 0 4 0 517063352 989839360 173686 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=966640 CPUtime=642.26 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 651001 0 0 0 64055 171 0 0 25 0 4 0 517063352 989839360 173686 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2565.58 Current children cumulated vsize (KiB) 966640 [startup+702.3 s] /proc/loadavg: 8.09 8.08 7.83 9/184 12968 /proc/meminfo: memFree=12054384/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=983752 CPUtime=2805.25 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 2587456 0 0 0 279858 667 0 0 25 0 4 0 517063352 1007362048 173433 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 245938 173433 395 112 0 240903 0 [pid=12936/tid=12937] ppid=12934 vsize=983752 CPUtime=698.44 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 810046 0 0 0 69658 186 0 0 25 0 4 0 517063352 1007362048 173433 33554432000 4194304 4650419 140734858019888 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=983752 CPUtime=702.27 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 345993 0 0 0 70102 125 0 0 25 0 4 0 517063352 1007362048 173433 33554432000 4194304 4650419 140734858019888 18446744073709551615 4333856 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=983752 CPUtime=702.26 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 684764 0 0 0 70044 182 0 0 25 0 4 0 517063352 1007362048 173433 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.25 Current children cumulated vsize (KiB) 983752 [startup+762.301 s] /proc/loadavg: 8.08 8.08 7.84 9/184 12970 /proc/meminfo: memFree=12040488/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1023352 CPUtime=3044.92 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 2913486 0 0 0 303755 737 0 0 25 0 4 0 517063352 1047912448 177457 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 255838 177457 395 112 0 250803 0 [pid=12936/tid=12937] ppid=12934 vsize=1023352 CPUtime=758.1 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 835995 0 0 0 75613 197 0 0 25 0 4 0 517063352 1047912448 177457 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1023352 CPUtime=762.26 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 373747 0 0 0 76088 138 0 0 25 0 4 0 517063352 1047912448 177457 33554432000 4194304 4650419 140734858019888 18446744073709551615 4314971 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1023352 CPUtime=762.25 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 861007 0 0 0 76016 209 0 0 25 0 4 0 517063352 1047912448 177457 33554432000 4194304 4650419 140734858019888 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.92 Current children cumulated vsize (KiB) 1023352 [startup+822.3 s] /proc/loadavg: 8.10 8.09 7.85 9/184 12971 /proc/meminfo: memFree=11888828/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1037612 CPUtime=3284.61 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 3075240 0 0 0 327678 783 0 0 25 0 4 0 517063352 1062514688 198926 33554432000 4194304 4650419 140734858019888 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 259403 198926 395 112 0 254368 0 [pid=12936/tid=12937] ppid=12934 vsize=1037612 CPUtime=817.78 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 838277 0 0 0 81580 198 0 0 25 0 4 0 517063352 1062514688 198926 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1037612 CPUtime=822.27 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 390412 0 0 0 82086 141 0 0 25 0 4 0 517063352 1062514688 198926 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1037612 CPUtime=822.25 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 889192 0 0 0 81999 226 0 0 25 0 4 0 517063352 1062514688 198926 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.61 Current children cumulated vsize (KiB) 1037612 [startup+882.301 s] /proc/loadavg: 8.12 8.10 7.87 9/184 12973 /proc/meminfo: memFree=11914232/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1051412 CPUtime=3524.26 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 3133137 0 0 0 351612 814 0 0 25 0 4 0 517063352 1076645888 197686 33554432000 4194304 4650419 140734858019888 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 262853 197686 395 112 0 257818 0 [pid=12936/tid=12937] ppid=12934 vsize=1051412 CPUtime=877.45 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 842036 0 0 0 87544 201 0 0 25 0 4 0 517063352 1076645888 197686 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1051412 CPUtime=882.26 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 390495 0 0 0 88085 141 0 0 25 0 4 0 517063352 1076645888 197687 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1051412 CPUtime=882.25 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 916236 0 0 0 87984 241 0 0 25 0 4 0 517063352 1076645888 197687 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.26 Current children cumulated vsize (KiB) 1051412 [startup+942.307 s] /proc/loadavg: 8.11 8.11 7.89 9/184 12974 /proc/meminfo: memFree=11738888/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1170052 CPUtime=3763.96 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 3220217 0 0 0 375543 853 0 0 25 0 4 0 517063352 1198133248 211273 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 292513 211273 395 112 0 287478 0 [pid=12936/tid=12937] ppid=12934 vsize=1170052 CPUtime=937.12 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 869623 0 0 0 93500 212 0 0 25 0 4 0 517063352 1198133248 211273 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1170052 CPUtime=942.27 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 390504 0 0 0 94086 141 0 0 25 0 4 0 517063352 1198133248 211273 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1170052 CPUtime=942.25 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 949030 0 0 0 93970 255 0 0 25 0 4 0 517063352 1198133248 211273 33554432000 4194304 4650419 140734858019888 18446744073709551615 4422491 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3763.96 Current children cumulated vsize (KiB) 1170052 [startup+1002.3 s] /proc/loadavg: 8.19 8.13 7.91 9/184 12976 /proc/meminfo: memFree=11817868/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1170724 CPUtime=4003.61 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 3531872 0 0 0 399443 918 0 0 25 0 4 0 517063352 1198821376 209792 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 292681 209792 395 112 0 287646 0 [pid=12936/tid=12937] ppid=12934 vsize=1170724 CPUtime=996.8 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 891442 0 0 0 99454 226 0 0 25 0 4 0 517063352 1198821376 209792 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1170724 CPUtime=1002.27 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 399513 0 0 0 100080 147 0 0 25 0 4 0 517063352 1198821376 209792 33554432000 4194304 4650419 140734858019888 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1170724 CPUtime=1002.25 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1129093 0 0 0 99945 280 0 0 25 0 4 0 517063352 1198821376 209792 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.61 Current children cumulated vsize (KiB) 1170724 [startup+1062.3 s] /proc/loadavg: 8.18 8.13 7.92 9/184 12978 /proc/meminfo: memFree=11770224/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1132880 CPUtime=4243.29 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 3988912 0 0 0 423328 1001 0 0 25 0 4 0 517063352 1160069120 213929 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 283220 213929 395 112 0 278185 0 [pid=12936/tid=12937] ppid=12934 vsize=1132880 CPUtime=1056.47 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 916803 0 0 0 105408 239 0 0 25 0 4 0 517063352 1160069120 213929 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1132880 CPUtime=1062.27 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 422265 0 0 0 106069 158 0 0 25 0 4 0 517063352 1160069120 213929 33554432000 4194304 4650419 140734858019888 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1132880 CPUtime=1062.25 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1302970 0 0 0 105920 305 0 0 25 0 4 0 517063352 1160069120 213929 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.29 Current children cumulated vsize (KiB) 1132880 [startup+1122.3 s] /proc/loadavg: 8.25 8.15 7.94 9/184 12979 /proc/meminfo: memFree=11734244/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1211212 CPUtime=4482.96 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 4213346 0 0 0 447240 1056 0 0 25 0 4 0 517063352 1240281088 227991 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 302803 227991 395 112 0 297768 0 [pid=12936/tid=12937] ppid=12934 vsize=1211212 CPUtime=1116.14 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1051161 0 0 0 111356 258 0 0 25 0 4 0 517063352 1240281088 227991 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1211212 CPUtime=1122.26 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 444712 0 0 0 112057 169 0 0 25 0 4 0 517063352 1240281088 227991 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1211212 CPUtime=1122.24 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1329662 0 0 0 111908 316 0 0 25 0 4 0 517063352 1240281088 227991 33554432000 4194304 4650419 140734858019888 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4482.96 Current children cumulated vsize (KiB) 1211212 [startup+1182.3 s] /proc/loadavg: 8.27 8.17 7.95 9/184 12981 /proc/meminfo: memFree=11646924/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1212256 CPUtime=4722.63 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 4441870 0 0 0 471151 1112 0 0 25 0 4 0 517063352 1241350144 226580 33554432000 4194304 4650419 140734858019888 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 303064 226580 395 112 0 298029 0 [pid=12936/tid=12937] ppid=12934 vsize=1212256 CPUtime=1175.82 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1210503 0 0 0 117303 279 0 0 25 0 4 0 517063352 1241350144 226580 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1212256 CPUtime=1182.26 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 461288 0 0 0 118049 177 0 0 25 0 4 0 517063352 1241350144 226580 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1212256 CPUtime=1182.24 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1356046 0 0 0 117895 329 0 0 25 0 4 0 517063352 1241350144 226580 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.63 Current children cumulated vsize (KiB) 1212256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.20 8.16 7.95 9/184 12981 /proc/meminfo: memFree=11616664/32950928 swapFree=67111528/67111528 [pid=12936] ppid=12934 vsize=1212468 CPUtime=4800.13 cores=1,3,5,7 /proc/12936/stat : 12936 (strangenight1-m) R 12934 12936 12807 0 -1 4202496 4513223 0 0 0 478885 1128 0 0 25 0 4 0 517063352 1241567232 228501 33554432000 4194304 4650419 140734858019888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/12936/statm: 303117 228501 404 112 0 298082 0 [pid=12936/tid=12937] ppid=12934 vsize=1212468 CPUtime=1195.11 cores=1,3,5,7 /proc/12936/task/12937/stat : 12937 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1266470 0 0 0 119225 286 0 0 25 0 4 0 517063352 1241567232 228501 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12936/tid=12938] ppid=12934 vsize=1212468 CPUtime=1201.66 cores=1,3,5,7 /proc/12936/task/12938/stat : 12938 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 461288 0 0 0 119989 177 0 0 25 0 4 0 517063352 1241567232 228501 33554432000 4194304 4650419 140734858019888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=12936/tid=12939] ppid=12934 vsize=1212468 CPUtime=1201.65 cores=1,3,5,7 /proc/12936/task/12939/stat : 12939 (strangenight1-m) R 12934 12936 12807 0 -1 4202560 1364758 0 0 0 119831 334 0 0 25 0 4 0 517063352 1241567232 228501 33554432000 4194304 4650419 140734858019888 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.13 Current children cumulated vsize (KiB) 1212468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.75 CPU time (s): 4800.21 CPU user time (s): 4788.88 CPU system time (s): 11.3243 CPU usage (%): 399.434 Max. virtual memory (cumulated for all children) (KiB): 1212468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4788.88 system time used= 11.3243 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4513226 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= 1729 involuntary context switches= 30195 runsolver used 1.81972 second user time and 4.76628 second system time The end
Begin job on node123 at 2011-04-29 07:23:56 IDJOB=3174931 IDBENCH=82549 IDSOLVER=1588 FILE ID=node123/3174931-1304054635 RUNJOBID= node123-1304053431-12826 PBS_JOBID= 13170421 Free space on /tmp= 72816 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174931-1304054635/watcher-3174931-1304054635 -o /tmp/evaluation-result-3174931-1304054635/solver-3174931-1304054635 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174931-1304054635.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d872c255da29ab531c07d575af8ab92a RANDOM SEED=1797905046 node123.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.838 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.67 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.838 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 : 5226.15 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.838 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.838 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.82 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.838 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.74 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.838 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.80 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.838 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.74 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.838 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 14128352 kB Buffers: 2192664 kB Cached: 16012968 kB SwapCached: 0 kB Active: 9092540 kB Inactive: 9181308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 14128352 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 7804 kB Writeback: 0 kB AnonPages: 67772 kB Mapped: 14304 kB Slab: 486052 kB PageTables: 4628 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 193424 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= 72800 MiB End job on node123 at 2011-04-29 07:43:59