| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.48 | 1202.97 |
| 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.01 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368540-1305396714.cnf' 0.00/0.01 c -- header says num vars: 10000 0.00/0.01 c -- header says num clauses: 42000 0.09/0.06 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.09/0.06 c -- vars added 10000 0.09/0.06 c Parsing time: 0.07 s 0.09/0.06 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.09/0.06 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.09/0.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.09/0.13 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.09/0.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.09/0.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.09/0.13 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.00 s 0.47/0.94 c lits-rem: 0 cl-subs: 0 v-elim: 336 v-fix: 0 time: 0.33 s 0.47/0.94 c Finding binary XORs T: 0.01 s found: 0 0.47/0.94 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 0.47/0.94 c calculated reachability. Time: 0.00 0.47/0.94 c Calc default polars - time: 0.01 s pos: 4353 undec: 1191 neg: 4456 0.47/0.94 c ========================================================================================= 0.47/0.94 c types(t): F = full restart, N = normal restart 0.47/0.94 c types(t): S = simplification begin/end, E = solution found 0.47/0.94 c restart types(rt): st = static, dy = dynamic 0.47/0.94 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.47/0.94 c B st 0 0 9664 41583 0 0 126682 0 no data no data -- 0.47/0.94 c N dy 20 4083 9664 41583 0 4083 126682 661483 89.38 94.72 -- 5.53/1.40 c N dy 46 8141 9664 41583 0 4648 126682 320303 90.73 96.26 -- 7.92/2.02 c N dy 77 12394 9664 41583 0 8900 126682 948749 91.81 97.02 -- 10.32/2.66 c N dy 103 16458 9664 41583 0 7213 126682 415337 92.92 134.96 -- 12.71/3.29 c N dy 133 20542 9664 41583 0 11296 126682 1031770 93.70 101.53 -- 15.51/3.93 c N dy 156 24560 9664 41583 0 7939 126682 293723 93.07 107.36 -- 15.51/4.00 c F st 158 25001 9664 41583 0 8380 126682 356802 92.94 87.18 -- 19.10/4.86 c N dy 164 30000 9664 41583 0 13379 126682 1341867 92.94 no data -- 19.10/4.86 c S st 164 30000 9664 41583 0 13379 126682 1341867 92.94 no data -- 19.50/4.94 c S st 164 30504 9664 41583 0 13883 126682 1393426 92.94 no data -- 19.50/4.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.50/4.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.50/4.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 19.91/5.09 c bin-w-bin subsume rem 0 bins time: 0.01 s 19.91/5.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 19.91/5.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 19.91/5.10 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 27.08/6.82 c lits-rem: 7 cl-subs: 1 v-elim: 0 v-fix: 0 time: 6.85 s 27.08/6.87 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.20 27.08/6.87 c calculated reachability. Time: 0.00 27.08/6.87 c N dy 164 30504 9664 41583 0 13882 126682 1393382 92.94 no data -- 29.86/7.59 c N dy 190 34593 9664 41583 0 9283 126682 313404 92.97 101.15 -- 32.66/8.27 c N dy 222 38612 9664 41583 0 13302 126682 920750 93.49 103.67 -- 35.85/9.01 c N dy 249 42721 9664 41583 0 17410 126682 1522752 93.40 101.24 -- 37.89/9.59 c S st 271 45756 9664 41583 0 10602 126682 329616 93.45 91.75 -- 38.25/9.68 c S st 271 46264 9664 41583 0 11110 126682 390180 93.45 no data -- 38.25/9.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.25/9.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.65/9.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 38.65/9.74 c bin-w-bin subsume rem 0 bins time: 0.01 s 38.65/9.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 38.65/9.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 38.65/9.75 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 45.04/11.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.29 s 45.04/11.33 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 45.04/11.34 c vivif2 -- cl tried 11110 cl shrink 0 lits rem 0 time: 0.02 45.04/11.38 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.17 45.04/11.38 c calculated reachability. Time: 0.00 45.04/11.38 c N dy 271 46264 9664 41583 0 11110 126682 390180 93.45 no data -- 47.83/12.06 c N dy 298 50365 9664 41583 0 15209 126682 1004593 93.62 99.96 -- 50.64/12.75 c N dy 325 54463 9664 41583 0 19306 126682 1601203 93.62 106.59 -- 53.41/13.49 c N dy 351 58742 9664 41583 0 12665 126682 482951 93.60 98.56 -- 56.20/14.19 c N dy 378 62937 9664 41583 0 16860 126682 1130290 93.85 99.34 -- 59.42/14.91 c N dy 402 67068 9664 41583 0 20990 126682 1740837 93.83 99.52 -- 61.00/15.32 c S st 416 69397 9664 41583 0 23319 126682 2088137 93.76 92.08 -- 61.40/15.42 c S st 416 69898 9664 41583 0 23820 126682 2145570 93.76 no data -- 61.40/15.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 61.40/15.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.40/15.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 61.80/15.60 c bin-w-bin subsume rem 0 bins time: 0.01 s 62.20/15.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 62.20/15.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 62.20/15.60 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 78.55/19.70 c lits-rem: 12 cl-subs: 5 v-elim: 0 v-fix: 0 time: 16.28 s 78.55/19.70 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 78.55/19.73 c vivif2 -- cl tried 23815 cl shrink 0 lits rem 0 time: 0.10 78.55/19.79 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.26 78.55/19.79 c calculated reachability. Time: 0.00 78.55/19.79 c N dy 416 69898 9664 41583 0 23815 126682 2143968 93.76 no data -- 81.79/20.58 c N dy 451 74388 9664 41583 0 16345 126682 869376 93.90 116.41 -- 85.34/21.45 c N dy 478 79136 9664 41583 0 21093 126682 1591207 93.84 100.40 -- 89.33/22.42 c N dy 512 84283 9664 41583 0 13261 126682 266993 93.96 100.73 -- 91.33/22.95 c F st 532 87500 9664 41583 0 16478 126682 751708 93.97 no data -- 93.72/23.57 c N st 537 90795 9664 41583 0 19772 126682 1364267 93.97 no data -- 98.11/24.69 c N dy 567 96711 9664 41583 0 25687 126682 2358531 94.10 99.11 -- 102.90/25.81 c N dy 614 102931 9664 41583 0 17918 126682 818107 94.30 101.10 -- 104.09/26.16 c S st 629 104847 9664 41583 0 19834 126682 1124437 94.41 no data -- 104.49/26.25 c S st 629 105348 9664 41583 0 20335 126682 1180824 94.41 no data -- 104.49/26.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.49/26.26 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.49/26.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 104.89/26.35 c bin-w-bin subsume rem 0 bins time: 0.01 s 104.89/26.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 104.89/26.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 104.89/26.36 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 114.47/28.73 c lits-rem: 11 cl-subs: 0 v-elim: 0 v-fix: 0 time: 9.45 s 114.47/28.73 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 114.47/28.75 c vivif2 -- cl tried 20335 cl shrink 0 lits rem 0 time: 0.05 114.87/28.80 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.23 114.87/28.81 c calculated reachability. Time: 0.00 114.87/28.81 c N dy 629 105348 9664 41583 0 20335 126682 1180813 94.41 no data -- 119.66/30.07 c N dy 674 112161 9664 41583 0 27148 126682 2194983 94.43 99.70 -- 125.26/31.43 c N dy 718 119506 9664 41583 0 19498 126682 910751 94.38 99.80 -- 130.84/32.88 c N dy 769 127206 9664 41583 0 27197 126682 2038865 94.33 104.86 -- 137.22/34.46 c N dy 824 135609 9664 41583 0 19605 126682 773805 94.39 100.89 -- 143.60/36.07 c N dy 884 144336 9664 41583 0 28332 126682 2113668 94.46 102.16 -- 150.79/37.86 c N dy 945 153598 9664 41583 0 20596 126682 777061 94.55 100.76 -- 153.98/38.68 c S st 977 158023 9664 41583 0 25021 126682 1460657 94.59 no data -- 154.38/38.77 c S st 977 158527 9664 41583 0 25525 126682 1510737 94.59 no data -- 154.38/38.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 154.38/38.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 154.78/38.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 154.78/38.89 c bin-w-bin subsume rem 0 bins time: 0.01 s 154.78/38.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 154.78/38.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 155.18/38.90 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 166.75/41.80 c lits-rem: 8 cl-subs: 2 v-elim: 0 v-fix: 0 time: 11.59 s 166.75/41.81 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 166.75/41.83 c vivif2 -- cl tried 25523 cl shrink 0 lits rem 0 time: 0.07 166.75/41.89 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.27 166.75/41.90 c calculated reachability. Time: 0.00 166.75/41.90 c N dy 977 158527 9664 41583 0 25523 126682 1510491 94.59 no data -- 175.12/43.99 c N dy 1045 168838 9664 41583 0 35834 126682 3060486 94.69 100.53 -- 183.50/46.05 c N dy 1114 179811 9664 41583 0 28807 126682 1887586 94.80 100.04 -- 192.68/48.37 c N dy 1192 191366 9664 41583 0 21363 126682 606079 94.89 100.03 -- 202.26/50.70 c N dy 1270 203585 9664 41583 0 33582 126682 2447507 94.93 101.49 -- 212.64/53.36 c N dy 1349 216768 9664 41583 0 26766 126682 1286086 94.90 101.04 -- 224.61/56.31 c N dy 1440 230612 9664 41583 0 40609 126682 3379163 94.93 100.65 -- 230.20/57.71 c S st 1482 237792 9664 41583 0 26789 126682 1128854 94.87 no data -- 230.61/57.81 c S st 1482 238295 9664 41583 0 27292 126682 1182325 94.87 no data -- 230.61/57.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 230.61/57.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 230.61/57.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 231.03/57.91 c bin-w-bin subsume rem 0 bins time: 0.01 s 231.03/57.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 231.03/57.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 231.03/57.92 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 238.98/59.99 c lits-rem: 9 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.23 s 238.98/59.99 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 238.98/60.00 c vivif2 -- cl tried 27291 cl shrink 0 lits rem 0 time: 0.05 239.39/60.07 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.26 239.39/60.07 c calculated reachability. Time: 0.00 239.39/60.07 c N dy 1482 238295 9664 41583 0 27291 126682 1182235 94.87 no data -- 252.15/63.26 c N dy 1581 253538 9664 41583 0 42533 126682 3493772 94.89 101.17 -- 265.73/66.62 c N dy 1687 269768 9664 41583 0 36766 126682 2550584 94.99 100.50 -- 279.68/70.19 c N dy 1801 286991 9664 41583 0 30989 126682 1463207 94.97 100.04 -- 295.25/74.08 c N dy 1906 305359 9664 41583 0 25360 126682 483820 94.87 101.70 -- 296.05/74.25 c F st 1910 306250 9664 41583 0 26251 126682 609330 94.85 92.78 -- 312.01/78.21 c N dy 1996 325152 9664 41583 0 45152 126682 3667064 94.80 100.15 -- 328.77/82.40 c N dy 2128 345169 9664 41583 0 40167 126682 2545286 94.87 100.53 -- 339.95/85.23 c S st 2211 357442 9664 41583 0 26443 126682 354508 94.90 no data -- 340.36/85.33 c S st 2211 357949 9664 41583 0 26950 126682 410200 94.90 no data -- 340.36/85.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 340.36/85.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 340.36/85.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 340.36/85.41 c bin-w-bin subsume rem 0 bins time: 0.01 s 340.78/85.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 340.78/85.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 340.78/85.41 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 346.73/86.95 c lits-rem: 2 cl-subs: 1 v-elim: 0 v-fix: 0 time: 6.11 s 346.73/86.95 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 346.73/86.96 c vivif2 -- cl tried 26949 cl shrink 0 lits rem 0 time: 0.02 347.13/87.02 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.25 347.13/87.02 c calculated reachability. Time: 0.00 347.13/87.02 c N dy 2211 357949 9664 41583 0 26949 126682 410057 94.90 no data -- 363.88/91.25 c N dy 2343 378008 9664 41583 0 47005 126682 3499482 94.96 107.95 -- 381.44/95.68 c N dy 2480 398029 9664 41583 0 40025 126682 2276171 95.03 100.42 -- 400.60/100.41 c N dy 2606 418047 9664 41583 0 32048 126682 916880 95.07 101.39 -- 418.16/104.81 c N dy 2735 438122 9664 41583 0 52119 126682 3950427 95.11 100.14 -- 435.72/109.22 c N dy 2866 458217 9664 41583 0 43209 126682 2467979 95.16 101.12 -- 454.48/113.94 c N dy 2996 478232 9664 41583 0 33228 126682 806676 95.19 101.93 -- 472.05/118.38 c N dy 3123 498291 9664 41583 0 53286 126682 3823111 95.16 101.35 -- 490.39/122.98 c N dy 3254 518312 9664 41583 0 42305 126682 2034347 95.22 103.72 -- 508.34/127.45 c S st 3376 536926 9664 41583 0 60915 126682 4877445 95.24 83.90 -- 508.74/127.59 c S st 3376 537431 9664 41583 0 61420 126682 4930862 95.24 no data -- 509.14/127.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 509.14/127.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 509.14/127.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.26 510.34/127.93 c bin-w-bin subsume rem 0 bins time: 0.01 s 510.34/127.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 510.34/127.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 510.34/127.94 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 782.11/196.09 c lits-rem: 4 cl-subs: 6 v-elim: 0 v-fix: 0 time: 271.26 s 782.11/196.09 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.02 782.51/196.15 c vivif2 -- cl tried 61414 cl shrink 0 lits rem 0 time: 0.25 782.91/196.29 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.56 783.31/196.30 c calculated reachability. Time: 0.00 783.31/196.30 c N dy 3376 537431 9664 41583 0 61414 126682 4929165 95.24 no data -- 802.06/201.05 c N dy 3509 557552 9664 41583 0 49536 126682 2991470 95.28 101.58 -- 822.82/206.26 c N dy 3635 577748 9664 41583 0 36737 126682 889492 95.34 102.20 -- 841.97/211.08 c N dy 3773 597874 9664 41583 0 56863 126682 3936182 95.37 100.86 -- 863.16/216.32 c N dy 3900 618357 9664 41583 0 43347 126682 1747372 95.36 101.06 -- 883.88/221.51 c N dy 4040 638427 9664 41583 0 63416 126682 4814886 95.44 100.55 -- 903.83/226.51 c N dy 4159 658498 9664 41583 0 48489 126682 2375941 95.42 100.59 -- 925.37/231.91 c N dy 4284 678625 9664 41583 0 68615 126682 5428684 95.42 106.12 -- 944.94/236.89 c N dy 4406 698690 9664 41583 0 52676 126682 2914057 95.44 102.34 -- 967.29/242.49 c N dy 4535 718802 9664 41583 0 72786 126682 6003647 95.47 103.21 -- 987.23/247.48 c N dy 4660 739110 9664 41583 0 56102 126682 3252941 95.47 101.07 -- 1010.39/253.22 c N dy 4785 759115 9664 41583 0 38105 126682 375247 95.50 103.59 -- 1029.55/258.10 c N dy 4909 779266 9664 41583 0 58254 126682 3448740 95.52 102.30 -- 1053.49/264.02 c N dy 5041 799505 9664 41583 0 39498 126682 438440 95.54 101.12 -- 1059.47/265.55 c S st 5085 806146 9664 41583 0 46139 126682 1444786 95.55 83.50 -- 1059.87/265.68 c S st 5085 806646 9664 41583 0 46639 126682 1501316 95.55 no data -- 1059.87/265.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1059.87/265.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1060.28/265.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.21 1060.70/265.82 c bin-w-bin subsume rem 0 bins time: 0.01 s 1060.70/265.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1060.70/265.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 1060.70/265.83 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1073.86/269.19 c lits-rem: 11 cl-subs: 2 v-elim: 0 v-fix: 0 time: 13.38 s 1074.22/269.20 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 1074.22/269.22 c vivif2 -- cl tried 46637 cl shrink 0 lits rem 0 time: 0.08 1074.62/269.32 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.43 1074.62/269.33 c calculated reachability. Time: 0.00 1074.62/269.33 c N dy 5085 806646 9664 41583 0 46637 126682 1500536 95.55 no data -- 1095.39/274.60 c N dy 5206 827009 9664 41583 0 66998 126682 4559191 95.53 101.68 -- 1117.76/280.14 c N dy 5336 847027 9664 41583 0 47014 126682 1423476 95.51 103.05 -- 1138.48/285.39 c N dy 5469 867053 9664 41583 0 67039 126682 4501896 95.52 103.45 -- 1160.43/290.86 c N dy 5595 887147 9664 41583 0 46139 126682 1154088 95.51 101.62 -- 1180.37/295.80 c N dy 5726 907237 9664 41583 0 66228 126682 4247810 95.54 100.78 -- 1202.72/301.49 c N dy 5858 927288 9664 41583 0 44284 126682 720375 95.57 105.32 -- 1221.89/306.29 c N dy 5973 947329 9664 41583 0 64324 126682 3749656 95.55 106.55 -- 1245.43/312.12 c N dy 6107 967436 9664 41583 0 84429 126682 6823572 95.56 101.96 -- 1265.38/317.14 c N dy 6232 987635 9664 41583 0 61626 126682 3218869 95.57 103.56 -- 1287.74/322.72 c N dy 6357 1007648 9664 41583 0 81636 126682 6281759 95.57 102.63 -- 1309.69/328.29 c N dy 6494 1027707 9664 41583 0 57695 126682 2500543 95.61 109.29 -- 1332.86/334.07 c N dy 6625 1047881 9664 41583 0 77867 126682 5576481 95.61 105.99 -- 1356.37/339.90 c N dy 6751 1067920 9664 41583 0 52914 126682 1603249 95.62 101.22 -- 1360.37/340.93 c F st 6780 1071878 9664 41583 0 56872 126682 2208547 95.63 94.22 -- 1378.33/345.42 c N dy 6859 1087977 9664 41583 0 72970 126682 4823742 95.62 101.67 -- 1403.10/351.62 c N dy 6991 1107979 9664 41583 0 46969 126682 558937 95.64 118.35 -- 1423.02/356.68 c N dy 7133 1128002 9664 41583 0 66990 126682 3640376 95.69 141.89 -- 1446.99/362.64 c N dy 7274 1148181 9664 41583 0 87168 126682 6724652 95.72 102.97 -- 1468.94/368.18 c N dy 7412 1168350 9664 41583 0 60342 126682 2460549 95.75 105.73 -- 1491.65/373.83 c N dy 7541 1188419 9664 41583 0 80411 126682 5568845 95.77 118.93 -- 1515.60/379.88 c N dy 7666 1208578 9664 41583 0 52566 126682 1117864 95.78 102.01 -- 1517.23/380.21 c S st 7676 1209969 9664 41583 0 53956 126682 1326880 95.78 no data -- 1517.59/380.34 c S st 7676 1210473 9664 41583 0 54460 126682 1377880 95.78 no data -- 1517.59/380.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1517.59/380.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1517.99/380.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1517.99/380.48 c bin-w-bin subsume rem 0 bins time: 0.01 s 1517.99/380.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1517.99/380.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 1517.99/380.49 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1530.40/383.53 c lits-rem: 5 cl-subs: 1 v-elim: 0 v-fix: 0 time: 12.13 s 1530.40/383.53 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 1530.40/383.55 c vivif2 -- cl tried 54459 cl shrink 0 lits rem 0 time: 0.07 1530.76/383.67 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.45 1530.76/383.67 c calculated reachability. Time: 0.00 1530.76/383.67 c N dy 7676 1210473 9664 41583 0 54459 126682 1377333 95.78 no data -- 1551.93/388.97 c N dy 7793 1230549 9664 41583 0 74535 126682 4443738 95.76 101.12 -- 1576.26/395.08 c N dy 7919 1250598 9664 41583 0 94581 126682 7536004 95.77 104.84 -- 1597.81/400.44 c N dy 8051 1270612 9664 41583 0 65594 126682 2986388 95.78 108.73 -- 1620.95/406.24 c N dy 8171 1290648 9664 41583 0 85630 126682 6026516 95.78 106.23 -- 1645.69/412.40 c N dy 8305 1310800 9664 41583 0 55784 126682 1309059 95.79 102.61 -- 1666.84/417.78 c N dy 8438 1330876 9664 41583 0 75859 126682 4374053 95.81 100.88 -- 1691.98/424.07 c N dy 8574 1350899 9664 41583 0 95879 126682 7430368 95.82 100.90 -- 1714.76/429.73 c N dy 8708 1371014 9664 41583 0 64997 126682 2579693 95.85 101.37 -- 1739.07/435.80 c N dy 8824 1391027 9664 41583 0 85008 126682 5678338 95.86 108.80 -- 1765.41/442.48 c N dy 8955 1411496 9664 41583 0 53484 126682 652573 95.86 101.30 -- 1786.55/447.76 c N dy 9080 1431591 9664 41583 0 73578 126682 3755809 95.87 110.85 -- 1811.33/453.92 c N dy 9209 1451696 9664 41583 0 93680 126682 6813254 95.88 101.88 -- 1836.03/460.19 c N dy 9345 1471849 9664 41583 0 60832 126682 1655308 95.89 101.43 -- 1858.38/465.73 c N dy 9463 1491864 9664 41583 0 80845 126682 4694281 95.88 102.03 -- 1884.32/472.27 c N dy 9597 1511937 9664 41583 0 100917 126682 7783273 95.89 102.46 -- 1907.48/478.08 c N dy 9725 1531973 9664 41583 0 66955 126682 2466847 95.92 101.30 -- 1931.01/483.99 c N dy 9858 1552156 9664 41583 0 87138 126682 5557900 95.93 104.00 -- 1958.15/490.74 c N dy 9981 1572368 9664 41583 0 107347 126682 8642430 95.92 101.17 -- 1980.49/496.39 c N dy 10116 1592432 9664 41583 0 72415 126682 3172210 95.94 107.23 -- 2006.83/502.90 c N dy 10241 1612539 9664 41583 0 92522 126682 6227216 95.94 104.17 -- 2037.56/510.62 c N dy 10371 1632586 9664 41583 0 56572 126682 551972 95.95 101.58 -- 2060.71/516.50 c N dy 10498 1652623 9664 41583 0 76608 126682 3623446 95.96 101.67 -- 2088.24/523.36 c N dy 10632 1672689 9664 41583 0 96673 126682 6709460 95.98 140.45 -- 2118.61/530.94 c N dy 10765 1692754 9664 41583 0 59738 126682 899074 95.99 151.36 -- 2139.33/536.15 c S st 10874 1710473 9664 41583 0 77456 126682 3608693 96.00 no data -- 2140.14/536.34 c S st 10874 1710975 9664 41583 0 77958 126682 3662688 96.00 no data -- 2140.14/536.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2140.14/536.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2140.57/536.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.32 2141.32/536.61 c bin-w-bin subsume rem 0 bins time: 0.02 s 2141.32/536.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2141.32/536.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.02 s 2141.32/536.62 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2285.00/572.70 c lits-rem: 1 cl-subs: 3 v-elim: 0 v-fix: 0 time: 143.44 s 2285.00/572.70 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.01 2285.42/572.75 c vivif2 -- cl tried 77955 cl shrink 0 lits rem 0 time: 0.20 2286.18/572.92 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.67 2286.18/572.92 c calculated reachability. Time: 0.00 2286.18/572.92 c N dy 10874 1710975 9664 41583 0 77955 126682 3661745 96.00 no data -- 2312.53/579.53 c N dy 11004 1731122 9664 41583 0 98101 126682 6734291 96.00 101.77 -- 2341.66/586.84 c N dy 11137 1751286 9664 41583 0 60278 126682 831581 96.02 102.74 -- 2365.20/592.70 c N dy 11276 1771316 9664 41583 0 80306 126682 3928343 96.05 116.41 -- 2391.13/599.25 c N dy 11408 1791367 9664 41583 0 100356 126682 7032315 96.07 101.81 -- 2419.87/606.42 c N dy 11541 1811373 9664 41583 0 61363 126682 838282 96.09 101.76 -- 2442.21/612.01 c N dy 11668 1831529 9664 41583 0 81517 126682 3929094 96.09 101.91 -- 2468.15/618.59 c N dy 11804 1851663 9664 41583 0 101650 126682 7052137 96.11 103.83 -- 2497.29/625.85 c N dy 11929 1871874 9664 41583 0 61861 126682 767883 96.10 102.09 -- 2519.62/631.46 c N dy 12051 1891952 9664 41583 0 81937 126682 3860460 96.10 105.24 -- 2545.57/637.92 c N dy 12180 1912009 9664 41583 0 101993 126682 6920040 96.10 102.46 -- 2575.14/645.39 c N dy 12309 1932062 9664 41583 0 61045 126682 500047 96.10 101.23 -- 2597.45/650.99 c N dy 12443 1952118 9664 41583 0 81100 126682 3607339 96.12 103.11 -- 2623.78/657.55 c N dy 12581 1972137 9664 41583 0 101116 126682 6706695 96.14 103.01 -- 2652.92/664.89 c N dy 12712 1992148 9664 41583 0 121127 126682 9762276 96.16 102.05 -- 2676.46/670.78 c N dy 12831 2012188 9664 41583 0 79170 126682 3145543 96.16 104.38 -- 2702.44/677.23 c N dy 12967 2032259 9664 41583 0 99239 126682 6224820 96.18 102.62 -- 2731.93/684.60 c N dy 13101 2052403 9664 41583 0 119383 126682 9332167 96.19 103.07 -- 2757.07/690.95 c N dy 13229 2072434 9664 41583 0 76417 126682 2550603 96.20 119.70 -- 2782.21/697.20 c N dy 13345 2092582 9664 41583 0 96564 126682 5664260 96.18 105.47 -- 2811.36/704.53 c N dy 13479 2112770 9664 41583 0 116750 126682 8747764 96.19 102.41 -- 2840.48/711.87 c N dy 13623 2132930 9664 41583 0 72915 126682 1896251 96.22 105.20 -- 2866.01/718.22 c N dy 13759 2153021 9664 41583 0 93003 126682 4979611 96.23 102.88 -- 2895.16/725.52 c N dy 13895 2173062 9664 41583 0 113042 126682 8104383 96.25 105.62 -- 2925.88/733.29 c N dy 14014 2193243 9664 41583 0 68221 126682 1017436 96.25 101.78 -- 2947.43/738.69 c S st 14131 2210975 9664 41583 0 85952 126682 3789877 96.26 103.97 -- 2948.26/738.87 c S st 14131 2211481 9664 41583 0 86458 126682 3841074 96.26 no data -- 2948.26/738.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2948.26/738.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2948.62/738.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2949.42/739.15 c bin-w-bin subsume rem 0 bins time: 0.01 s 2949.42/739.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2949.42/739.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.01 s 2949.42/739.16 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3120.22/781.95 c lits-rem: 0 cl-subs: 6 v-elim: 0 v-fix: 0 time: 170.26 s 3120.22/781.96 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.02 3120.62/782.01 c vivif2 -- cl tried 86452 cl shrink 0 lits rem 0 time: 0.22 3121.42/782.21 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.79 3121.42/782.21 c calculated reachability. Time: 0.00 3121.42/782.21 c N dy 14131 2211481 9664 41583 0 86452 126682 3840359 96.26 no data -- 3150.95/789.68 c N dy 14251 2231648 9664 41583 0 106619 126682 6921768 96.26 102.00 -- 3184.89/798.14 c N dy 14382 2251653 9664 41583 0 126623 126682 9990174 96.27 107.67 -- 3213.61/805.32 c N dy 14514 2271678 9664 41583 0 80652 126682 2803527 96.29 101.50 -- 3242.38/812.57 c N dy 14658 2291770 9664 41583 0 100743 126682 5899359 96.31 108.83 -- 3275.06/820.78 c N dy 14785 2311873 9664 41583 0 120844 126682 8944537 96.31 102.40 -- 3307.81/828.92 c N dy 14914 2332027 9664 41583 0 74006 126682 1622118 96.32 101.99 -- 3334.93/835.70 c N dy 15039 2352092 9664 41583 0 94063 126682 4682549 96.32 101.66 -- 3365.66/843.47 c N dy 15162 2372189 9664 41583 0 114160 126682 7704119 96.31 101.91 -- 3401.58/852.42 c N dy 15301 2392303 9664 41583 0 134272 126682 10858454 96.34 102.43 -- 3428.71/859.29 c N dy 15436 2412360 9664 41583 0 86331 126682 3391636 96.35 101.60 -- 3458.64/866.78 c N dy 15563 2432566 9664 41583 0 106535 126682 6508604 96.35 102.10 -- 3491.37/874.91 c N dy 15701 2452584 9664 41583 0 126550 126682 9638766 96.37 101.68 -- 3522.50/882.76 c N dy 15836 2472713 9664 41583 0 77686 126682 1891117 96.39 103.44 -- 3548.83/889.41 c N dy 15972 2492812 9664 41583 0 97785 126682 4962825 96.40 102.48 -- 3579.98/897.14 c N dy 16102 2512860 9664 41583 0 117833 126682 8080325 96.41 110.30 -- 3614.28/905.74 c N dy 16232 2532955 9664 41583 0 137928 126682 11196493 96.42 103.82 -- 3640.62/912.31 c N dy 16359 2553052 9664 41583 0 88024 126682 3366920 96.43 105.48 -- 3669.35/919.55 c N dy 16492 2573112 9664 41583 0 108083 126682 6510292 96.45 115.34 -- 3702.08/927.77 c N dy 16627 2593259 9664 41583 0 128224 126682 9620911 96.46 103.04 -- 3734.05/935.78 c N dy 16751 2613290 9664 41583 0 77260 126682 1516064 96.46 105.62 -- 3761.54/942.60 c N dy 16879 2633606 9664 41583 0 97575 126682 4611317 96.46 101.57 -- 3793.46/950.62 c N dy 17009 2653662 9664 41583 0 117630 126682 7712004 96.47 102.49 -- 3829.78/959.77 c N dy 17146 2673752 9664 41583 0 137718 126682 10808905 96.49 103.84 -- 3860.11/967.31 c N dy 17270 2693889 9664 41583 0 85859 126682 2654540 96.48 102.40 -- 3885.25/973.67 c S st 17385 2711481 9664 41583 0 103451 126682 5360250 96.49 79.72 -- 3886.45/973.91 c S st 17385 2711988 9664 41583 0 103958 126682 5417469 96.49 no data -- 3886.45/973.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3886.45/973.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3886.85/974.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.42 3888.05/974.32 c bin-w-bin subsume rem 0 bins time: 0.01 s 3888.05/974.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3888.05/974.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9664 time: 0.02 s 3888.05/974.33 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4263.19/1068.33 c lits-rem: 0 cl-subs: 5 v-elim: 0 v-fix: 0 time: 374.24 s 4263.19/1068.33 c vivif2 -- cl tried 41583 cl shrink 0 lits rem 0 time: 0.02 4263.59/1068.41 c vivif2 -- cl tried 103953 cl shrink 0 lits rem 0 time: 0.29 4264.39/1068.63 c asymm cl-useful: 0/41583/41583 lits-rem:0 time: 0.89 4264.39/1068.64 c calculated reachability. Time: 0.00 4264.39/1068.64 c N dy 17385 2711988 9664 41583 0 103953 126682 5416461 96.49 no data -- 4295.53/1076.49 c N dy 17515 2732102 9664 41583 0 124063 126682 8509814 96.50 105.69 -- 4331.82/1085.50 c N dy 17641 2752383 9664 41583 0 144344 126682 11620035 96.50 106.87 -- 4358.96/1092.31 c N dy 17773 2772393 9664 41583 0 91361 126682 3393643 96.50 103.66 -- 4388.49/1099.71 c N dy 17910 2792426 9664 41583 0 111391 126682 6482397 96.51 110.45 -- 4421.62/1108.09 c N dy 18041 2812841 9664 41583 0 131804 126682 9586489 96.51 102.03 -- 4457.14/1116.91 c N dy 18162 2833040 9664 41583 0 78008 126682 1198803 96.51 101.75 -- 4483.47/1123.51 c N dy 18288 2853090 9664 41583 0 98056 126682 4299470 96.52 103.77 -- 4514.20/1131.25 c N dy 18412 2873457 9664 41583 0 118420 126682 7396388 96.52 102.38 -- 4548.93/1139.90 c N dy 18542 2893530 9664 41583 0 138491 126682 10514226 96.53 107.32 -- 4581.64/1148.10 c N dy 18674 2913615 9664 41583 0 83586 126682 1904690 96.53 102.72 -- 4609.19/1155.00 c N dy 18804 2933622 9664 41583 0 103592 126682 4998271 96.54 101.70 -- 4640.72/1162.94 c N dy 18931 2953725 9664 41583 0 123694 126682 8096000 96.54 101.81 -- 4676.63/1171.95 c N dy 19056 2973880 9664 41583 0 143848 126682 11183575 96.54 102.51 -- 4707.75/1179.76 c N dy 19192 2993887 9664 41583 0 87854 126682 2385718 96.55 104.78 -- 4736.09/1186.88 c N dy 19322 3013896 9664 41583 0 107863 126682 5423071 96.55 104.98 -- 4769.62/1195.23 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: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368540-1305396714/watcher-3368540-1305396714 -o /tmp/evaluation-result-3368540-1305396714/solver-3368540-1305396714 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368540-1305396714.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.48 8.01 7.49 3/281 2677 /proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=20368 CPUtime=0 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4194304 337 0 0 0 0 0 0 0 23 0 1 0 651269581 20856832 277 33554432000 4194304 4650419 140733860915760 18446744073709551615 46915001766784 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2677/statm: 5092 296 254 112 0 57 0 [pid=2677/tid=2678] ppid=2675 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651269582 52465664 352 33554432000 4194304 4650419 140733860915760 18446744073709551615 46915004315568 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651269582 52465664 352 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651269582 52465664 352 33554432000 4194304 4650419 140733860915760 18446744073709551615 46915004315570 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.0369271 s] /proc/loadavg: 7.48 8.01 7.49 3/281 2677 /proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=293492 CPUtime=0.09 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 7943 0 0 0 8 1 0 0 18 0 4 0 651269581 300535808 6897 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335557496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 73372 7009 354 112 0 68337 0 [pid=2677/tid=2678] ppid=2675 vsize=293488 CPUtime=0.03 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1864 0 0 0 3 0 0 0 18 0 4 0 651269582 300531712 7024 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335589131 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=293488 CPUtime=0.01 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) S 2675 2677 1724 0 -1 4202560 1878 0 0 0 1 0 0 0 18 0 4 0 651269582 300531712 7047 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335997422 0 0 4096 2 18446604442171687872 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=293488 CPUtime=0.02 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 2036 0 0 0 2 0 0 0 18 0 4 0 651269582 300531712 7067 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 293492 [startup+0.135496 s] /proc/loadavg: 7.48 8.01 7.49 3/281 2677 /proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=297028 CPUtime=0.47 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 13483 0 0 0 45 2 0 0 18 0 4 0 651269581 304156672 11643 33554432000 4194304 4650419 140733860915760 18446744073709551615 4441572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 74257 11644 385 112 0 69222 0 [pid=2677/tid=2678] ppid=2675 vsize=297028 CPUtime=0.12 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 3654 0 0 0 12 0 0 0 18 0 4 0 651269582 304156672 11645 33554432000 4194304 4650419 140733860915760 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=297028 CPUtime=0.1 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 3645 0 0 0 10 0 0 0 18 0 4 0 651269582 304156672 11645 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335589561 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=297028 CPUtime=0.11 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 2135 0 0 0 11 0 0 0 18 0 4 0 651269582 304156672 11647 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 297028 [startup+0.974714 s] /proc/loadavg: 7.48 8.01 7.49 3/281 2677 /proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=297560 CPUtime=3.83 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 19644 0 0 0 379 4 0 0 19 0 4 0 651269581 304701440 15088 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 74390 15088 391 112 0 69355 0 [pid=2677/tid=2678] ppid=2675 vsize=297560 CPUtime=0.96 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 5408 0 0 0 96 0 0 0 19 0 4 0 651269582 304701440 15088 33554432000 4194304 4650419 140733860915760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=297560 CPUtime=0.94 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 5324 0 0 0 93 1 0 0 19 0 4 0 651269582 304701440 15088 33554432000 4194304 4650419 140733860915760 18446744073709551615 4334270 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=297560 CPUtime=0.95 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 3133 0 0 0 95 0 0 0 19 0 4 0 651269582 304701440 15088 33554432000 4194304 4650419 140733860915760 18446744073709551615 4314818 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 297560 [startup+1.00071 s] /proc/loadavg: 7.48 8.01 7.49 3/281 2677 /proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=297560 CPUtime=3.93 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 19748 0 0 0 389 4 0 0 19 0 4 0 651269581 304701440 15192 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 74390 15192 391 112 0 69355 0 [pid=2677/tid=2678] ppid=2675 vsize=297560 CPUtime=0.98 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 5435 0 0 0 98 0 0 0 19 0 4 0 651269582 304701440 15192 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=297560 CPUtime=0.97 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 5350 0 0 0 96 1 0 0 19 0 4 0 651269582 304701440 15192 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=297560 CPUtime=0.97 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 3159 0 0 0 97 0 0 0 19 0 4 0 651269582 304701440 15192 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 297560 [startup+1.50062 s] /proc/loadavg: 7.48 8.01 7.49 3/281 2677 /proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=303476 CPUtime=5.93 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 24292 0 0 0 588 5 0 0 19 0 4 0 651269581 310759424 14084 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 75869 14084 393 112 0 70834 0 [pid=2677/tid=2678] ppid=2675 vsize=303476 CPUtime=1.48 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 6546 0 0 0 148 0 0 0 19 0 4 0 651269582 310759424 14084 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=303476 CPUtime=1.47 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 6455 0 0 0 146 1 0 0 19 0 4 0 651269582 310759424 14084 33554432000 4194304 4650419 140733860915760 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=303476 CPUtime=1.48 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 4381 0 0 0 147 1 0 0 20 0 4 0 651269582 310759424 14084 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 303476 [startup+3.10034 s] /proc/loadavg: 7.28 7.96 7.47 10/291 2690 /proc/meminfo: memFree=21270268/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=304880 CPUtime=12.31 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 33047 0 0 0 1225 6 0 0 25 0 4 0 651269581 312197120 16021 33554432000 4194304 4650419 140733860915760 18446744073709551615 4315633 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 76220 16021 393 112 0 71185 0 [pid=2677/tid=2678] ppid=2675 vsize=304880 CPUtime=3.08 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 8775 0 0 0 308 0 0 0 24 0 4 0 651269582 312197120 16021 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=304880 CPUtime=3.04 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 8642 0 0 0 303 1 0 0 25 0 4 0 651269582 312197120 16021 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=304880 CPUtime=3.07 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 6520 0 0 0 306 1 0 0 25 0 4 0 651269582 312197120 16021 33554432000 4194304 4650419 140733860915760 18446744073709551615 4331032 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 12.31 Current children cumulated vsize (KiB) 304880 [startup+6.30077 s] /proc/loadavg: 7.42 7.97 7.48 9/291 2690 /proc/meminfo: memFree=21200024/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=305868 CPUtime=25.08 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 59740 0 0 0 2493 15 0 0 25 0 4 0 651269581 313208832 28588 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 76467 28588 395 112 0 71432 0 [pid=2677/tid=2678] ppid=2675 vsize=305868 CPUtime=6.29 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 16712 0 0 0 626 3 0 0 25 0 4 0 651269582 313208832 28588 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=305868 CPUtime=6.21 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 13022 0 0 0 618 3 0 0 25 0 4 0 651269582 313208832 28588 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=305868 CPUtime=6.27 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 10615 0 0 0 624 3 0 0 25 0 4 0 651269582 313208832 28588 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 25.08 Current children cumulated vsize (KiB) 305868 [startup+12.7006 s] /proc/loadavg: 7.46 7.97 7.49 9/291 2690 /proc/meminfo: memFree=21109800/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=322652 CPUtime=50.64 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 93518 0 0 0 5042 22 0 0 25 0 4 0 651269581 330395648 46251 33554432000 4194304 4650419 140733860915760 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 80663 46251 395 112 0 75628 0 [pid=2677/tid=2678] ppid=2675 vsize=322652 CPUtime=12.69 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 19316 0 0 0 1266 3 0 0 25 0 4 0 651269582 330395648 46271 33554432000 4194304 4650419 140733860915760 18446744073709551615 4331971 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=322652 CPUtime=12.57 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 26713 0 0 0 1250 7 0 0 25 0 4 0 651269582 330395648 46271 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=322652 CPUtime=12.68 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 22891 0 0 0 1263 5 0 0 25 0 4 0 651269582 330395648 46271 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 322652 [startup+25.5004 s] /proc/loadavg: 7.55 7.97 7.49 9/291 2691 /proc/meminfo: memFree=20726580/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=435328 CPUtime=101.7 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 151580 0 0 0 10134 36 0 0 25 0 4 0 651269581 445775872 67857 33554432000 4194304 4650419 140733860915760 18446744073709551615 4331010 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 108832 67857 395 112 0 103797 0 [pid=2677/tid=2678] ppid=2675 vsize=435328 CPUtime=25.49 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 36738 0 0 0 2540 9 0 0 25 0 4 0 651269582 445775872 67857 33554432000 4194304 4650419 140733860915760 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=435328 CPUtime=25.24 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 42037 0 0 0 2514 10 0 0 25 0 4 0 651269582 445775872 67857 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=435328 CPUtime=25.46 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 33568 0 0 0 2539 7 0 0 25 0 4 0 651269582 445775872 67857 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476348 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 435328 [startup+51.1008 s] /proc/loadavg: 7.76 7.99 7.51 9/291 2691 /proc/meminfo: memFree=20564836/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=555128 CPUtime=203.86 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 226656 0 0 0 20332 54 0 0 25 0 4 0 651269581 568451072 77949 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 138782 77949 395 112 0 133747 0 [pid=2677/tid=2678] ppid=2675 vsize=555128 CPUtime=51.09 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 55534 0 0 0 5095 14 0 0 25 0 4 0 651269582 568451072 77949 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=555128 CPUtime=50.61 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 66084 0 0 0 5046 15 0 0 25 0 4 0 651269582 568451072 77949 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=555128 CPUtime=51.06 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 51755 0 0 0 5094 12 0 0 25 0 4 0 651269582 568451072 77949 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 203.86 Current children cumulated vsize (KiB) 555128 [startup+102.301 s] /proc/loadavg: 8.04 8.03 7.55 9/291 2693 /proc/meminfo: memFree=20410164/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=712836 CPUtime=408.18 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 378742 0 0 0 40725 93 0 0 25 0 4 0 651269581 729944064 93161 33554432000 4194304 4650419 140733860915760 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 178209 93162 395 112 0 173174 0 [pid=2677/tid=2678] ppid=2675 vsize=712836 CPUtime=102.28 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 97232 0 0 0 10204 24 0 0 25 0 4 0 651269582 729944064 93162 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=712836 CPUtime=101.35 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 106978 0 0 0 10107 28 0 0 25 0 4 0 651269582 729944064 93162 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=712836 CPUtime=102.26 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 88521 0 0 0 10206 20 0 0 25 0 4 0 651269582 729944064 93162 33554432000 4194304 4650419 140733860915760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 408.18 Current children cumulated vsize (KiB) 712836 [startup+162.301 s] ################ # More data... # ################ [pid=2677] ppid=2675 vsize=1016276 CPUtime=2563.13 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 2456025 0 0 0 255756 557 0 0 25 0 4 0 651269581 1040666624 178280 33554432000 4194304 4650419 140733860915760 18446744073709551615 4310792 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 254069 178280 395 112 0 249034 0 [pid=2677/tid=2678] ppid=2675 vsize=1016276 CPUtime=642.26 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 794163 0 0 0 64055 171 0 0 25 0 4 0 651269582 1040666624 178280 33554432000 4194304 4650419 140733860915760 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1016276 CPUtime=636.43 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 643283 0 0 0 63498 145 0 0 25 0 4 0 651269582 1040666624 178280 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1016276 CPUtime=642.24 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 321291 0 0 0 64128 96 0 0 25 0 4 0 651269582 1040666624 178280 33554432000 4194304 4650419 140733860915760 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2563.13 Current children cumulated vsize (KiB) 1016276 [startup+702.3 s] /proc/loadavg: 8.24 8.18 7.84 9/291 2709 /proc/meminfo: memFree=19486016/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1031292 CPUtime=2802.57 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 2571432 0 0 0 279663 594 0 0 25 0 4 0 651269581 1056043008 179448 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 257823 179448 395 112 0 252788 0 [pid=2677/tid=2678] ppid=2675 vsize=1031292 CPUtime=702.27 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 819283 0 0 0 70047 180 0 0 25 0 4 0 651269582 1056043008 179448 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1031292 CPUtime=695.88 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 674962 0 0 0 69432 156 0 0 25 0 4 0 651269582 1056043008 179448 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1031292 CPUtime=702.24 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 348202 0 0 0 70120 104 0 0 25 0 4 0 651269582 1056043008 179448 33554432000 4194304 4650419 140733860915760 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2802.57 Current children cumulated vsize (KiB) 1031292 [startup+762.301 s] /proc/loadavg: 8.13 8.16 7.86 9/291 2710 /proc/meminfo: memFree=19515632/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=983832 CPUtime=3042.01 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 2716167 0 0 0 303566 635 0 0 25 0 4 0 651269581 1007443968 168328 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 245958 168328 395 112 0 240923 0 [pid=2677/tid=2678] ppid=2675 vsize=983832 CPUtime=762.26 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 842471 0 0 0 76036 190 0 0 25 0 4 0 651269582 1007443968 168328 33554432000 4194304 4650419 140733860915760 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=983832 CPUtime=755.33 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 703210 0 0 0 75365 168 0 0 25 0 4 0 651269582 1007443968 168328 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=983832 CPUtime=762.24 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 353817 0 0 0 76118 106 0 0 25 0 4 0 651269582 1007443968 168328 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3042.01 Current children cumulated vsize (KiB) 983832 [startup+822.301 s] /proc/loadavg: 8.24 8.18 7.88 9/291 2712 /proc/meminfo: memFree=19332588/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1037348 CPUtime=3281.47 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 3155120 0 0 0 327436 711 0 0 25 0 4 0 651269581 1062244352 194608 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335916951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 259337 194608 395 112 0 254302 0 [pid=2677/tid=2678] ppid=2675 vsize=1037348 CPUtime=822.27 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1018239 0 0 0 82014 213 0 0 25 0 4 0 651269582 1062244352 194610 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1037348 CPUtime=814.8 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 816038 0 0 0 81294 186 0 0 25 0 4 0 651269582 1062244352 194610 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1037348 CPUtime=822.25 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 380876 0 0 0 82106 119 0 0 25 0 4 0 651269582 1062244352 194610 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3281.47 Current children cumulated vsize (KiB) 1037348 [startup+882.3 s] /proc/loadavg: 8.17 8.18 7.90 9/291 2714 /proc/meminfo: memFree=19331196/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1009404 CPUtime=3520.89 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 3529365 0 0 0 351309 780 0 0 25 0 4 0 651269581 1033629696 187504 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 252351 187504 395 112 0 247316 0 [pid=2677/tid=2678] ppid=2675 vsize=1009404 CPUtime=882.26 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1204061 0 0 0 87986 240 0 0 25 0 4 0 651269582 1033629696 187504 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1009404 CPUtime=874.25 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 950299 0 0 0 87220 205 0 0 25 0 4 0 651269582 1033629696 187504 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1009404 CPUtime=882.24 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 407053 0 0 0 88094 130 0 0 25 0 4 0 651269582 1033629696 187504 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3520.89 Current children cumulated vsize (KiB) 1009404 [startup+942.311 s] /proc/loadavg: 8.40 8.23 7.93 9/291 2715 /proc/meminfo: memFree=19258016/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1142092 CPUtime=3760.39 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 3763506 0 0 0 375207 832 0 0 25 0 4 0 651269581 1169502208 202850 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 285523 202850 402 112 0 280488 0 [pid=2677/tid=2678] ppid=2675 vsize=1142092 CPUtime=942.27 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1231138 0 0 0 93976 251 0 0 25 0 4 0 651269582 1169502208 202850 33554432000 4194304 4650419 140733860915760 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1142092 CPUtime=933.71 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1103912 0 0 0 93146 225 0 0 25 0 4 0 651269582 1169502208 202850 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1142092 CPUtime=942.24 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 432921 0 0 0 94085 139 0 0 25 0 4 0 651269582 1169502208 202850 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3760.39 Current children cumulated vsize (KiB) 1142092 [startup+1002.3 s] /proc/loadavg: 8.28 8.22 7.95 9/291 2717 /proc/meminfo: memFree=19231452/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1167876 CPUtime=3999.79 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4062563 0 0 0 399092 887 0 0 25 0 4 0 651269581 1195905024 217880 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 291969 217880 395 112 0 286934 0 [pid=2677/tid=2678] ppid=2675 vsize=1167876 CPUtime=1002.26 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1255850 0 0 0 99961 265 0 0 25 0 4 0 651269582 1195905024 217880 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1167876 CPUtime=993.16 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1280252 0 0 0 99067 249 0 0 25 0 4 0 651269582 1195905024 217880 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1167876 CPUtime=1002.23 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 432941 0 0 0 100084 139 0 0 25 0 4 0 651269582 1195905024 217880 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3999.79 Current children cumulated vsize (KiB) 1167876 [startup+1062.3 s] /proc/loadavg: 8.26 8.22 7.96 9/291 2718 /proc/meminfo: memFree=19154312/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1155044 CPUtime=4239.24 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4351944 0 0 0 422981 943 0 0 25 0 4 0 651269581 1182765056 221206 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 288761 221206 412 112 0 283726 0 [pid=2677/tid=2678] ppid=2675 vsize=1155044 CPUtime=1062.27 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1286649 0 0 0 105950 277 0 0 25 0 4 0 651269582 1182765056 221206 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1155044 CPUtime=1052.61 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1305189 0 0 0 105000 261 0 0 25 0 4 0 651269582 1182765056 221206 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1155044 CPUtime=1062.24 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 436950 0 0 0 106083 141 0 0 25 0 4 0 651269582 1182765056 221206 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4239.24 Current children cumulated vsize (KiB) 1155044 [startup+1122.3 s] /proc/loadavg: 8.18 8.21 7.97 10/291 2720 /proc/meminfo: memFree=19160864/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1207912 CPUtime=4478.69 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4591347 0 0 0 446875 994 0 0 25 0 4 0 651269581 1236901888 223619 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367388 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 301978 223619 395 112 0 296943 0 [pid=2677/tid=2678] ppid=2675 vsize=1207912 CPUtime=1122.26 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1427139 0 0 0 111931 295 0 0 25 0 4 0 651269582 1236901888 223619 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1207912 CPUtime=1112.07 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1326992 0 0 0 110937 270 0 0 25 0 4 0 651269582 1236901888 223619 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1207912 CPUtime=1122.24 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 462702 0 0 0 112071 153 0 0 25 0 4 0 651269582 1236901888 223619 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4478.69 Current children cumulated vsize (KiB) 1207912 [startup+1182.3 s] /proc/loadavg: 8.21 8.21 7.99 9/291 2722 /proc/meminfo: memFree=19161696/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1208956 CPUtime=4718.13 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4827827 0 0 0 470765 1048 0 0 25 0 4 0 651269581 1237970944 221782 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 302239 221782 395 112 0 297204 0 [pid=2677/tid=2678] ppid=2675 vsize=1208956 CPUtime=1182.27 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1589497 0 0 0 117911 316 0 0 25 0 4 0 651269582 1237970944 221782 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1208956 CPUtime=1171.52 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1349312 0 0 0 116870 282 0 0 25 0 4 0 651269582 1237970944 221782 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1208956 CPUtime=1182.24 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 488291 0 0 0 118061 163 0 0 25 0 4 0 651269582 1237970944 221782 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4718.13 Current children cumulated vsize (KiB) 1208956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.9 s] /proc/loadavg: 8.15 8.20 7.99 10/291 2722 /proc/meminfo: memFree=19054304/32951124 swapFree=66457188/67111528 [pid=2677] ppid=2675 vsize=1209168 CPUtime=4800.38 cores=0,2,4,6 /proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4930413 0 0 0 478972 1066 0 0 25 0 4 0 651269581 1238188032 230894 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2677/statm: 302292 230894 395 112 0 297257 0 [pid=2677/tid=2678] ppid=2675 vsize=1209168 CPUtime=1202.89 cores=0,2,4,6 /proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1651370 0 0 0 119965 324 0 0 25 0 4 0 651269582 1238188032 230900 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2677/tid=2679] ppid=2675 vsize=1209168 CPUtime=1191.94 cores=0,2,4,6 /proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1373438 0 0 0 118908 286 0 0 25 0 4 0 651269582 1238188032 230900 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2677/tid=2680] ppid=2675 vsize=1209168 CPUtime=1202.86 cores=0,2,4,6 /proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 497433 0 0 0 120119 167 0 0 25 0 4 0 651269582 1238188032 230900 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.38 Current children cumulated vsize (KiB) 1209168 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): 1202.97 CPU time (s): 4800.48 CPU user time (s): 4789.77 CPU system time (s): 10.7124 CPU usage (%): 399.052 Max. virtual memory (cumulated for all children) (KiB): 1209168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4789.77 system time used= 10.7124 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4930422 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= 1798 involuntary context switches= 70115 runsolver used 3.14552 second user time and 7.82581 second system time The end
Begin job on node132 at 2011-05-14 20:11:54 IDJOB=3368540 IDBENCH=82549 IDSOLVER=1846 FILE ID=node132/3368540-1305396714 RUNJOBID= node132-1305396714-2662 PBS_JOBID= 13324437 Free space on /tmp= 73332 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) 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-3368540-1305396714/watcher-3368540-1305396714 -o /tmp/evaluation-result-3368540-1305396714/solver-3368540-1305396714 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368540-1305396714.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d872c255da29ab531c07d575af8ab92a RANDOM SEED=1756015123 node132.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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.74 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.833 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.76 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.77 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.833 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.67 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.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21567340 kB Buffers: 273896 kB Cached: 5557776 kB SwapCached: 6904 kB Active: 4767648 kB Inactive: 6311248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21567340 kB SwapTotal: 67111528 kB SwapFree: 66457188 kB Dirty: 7472 kB Writeback: 0 kB AnonPages: 5244920 kB Mapped: 18472 kB Slab: 218288 kB PageTables: 23936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 34738796 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73316 MiB End job on node132 at 2011-05-14 20:31:59