| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.27 | 1201.76 |
| Name | application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf |
| MD5SUM | 6ee28191d649bfeef8c7d8c569a3cd59 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 703.609 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60823 |
| Number of clauses | 193450 |
| Sum of the clauses size | 472824 |
| Maximum clause length | 2414 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 117689 |
| Number of clauses of size 3 | 74473 |
| Number of clauses of size 4 | 275 |
| Number of clauses of size 5 | 21 |
| Number of clauses of size over 5 | 991 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3289058-1304117381.cnf' 0.00/0.00 c -- header says num vars: 60823 0.00/0.00 c -- header says num clauses: 193450 0.00/0.15 c -- clauses added: 0 learnts, 193450 normals, 0 xors 0.00/0.15 c -- vars added 60823 0.00/0.15 c Parsing time: 0.06 s 0.00/0.15 c N st 0 0 60823 73920 107866 0 444486 0 no data no data 4.79/1.25 c asymm cl-useful: 12/19832/73920 lits-rem:33 time: 1.16 53.51/13.46 c Flit: 618 Blit: 17333 bXBeca: 0 bXProp: 16650 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 12.21 53.51/13.47 c Cleaning up after failed var search: 0.01 s 53.51/13.49 c Replacing 16650 vars Replaced 300627 lits Time: 0.02 s 53.90/13.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 53.90/13.51 c bin-w-bin subsume rem 2444 bins time: 0.00 s 53.90/13.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 53.90/13.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 20914 time: 0.03 s 53.90/13.57 c Removed useless bin: 40 fixed: 0 props: 3.92M time: 0.02 s 54.31/13.66 c lits-rem: 10 cl-subs: 791 v-elim: 6971 v-fix: 0 time: 0.09 s 54.31/13.67 c Finding binary XORs T: 0.00 s found: 0 54.70/13.70 c Finding non-binary XORs: 0.02 s (found: 5819, avg size: 3.0) 54.70/13.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 968 locsubst: 3542 time: 0.01 54.70/13.71 c Replacing 1771 vars Replaced 10626 lits Time: 0.00 s 54.70/13.71 c calculated reachability. Time: 0.00 54.70/13.71 c Calc default polars - time: 0.00 s pos: 1584 undec: 49853 neg: 9386 54.70/13.71 c ========================================================================================= 54.70/13.71 c types(t): F = full restart, N = normal restart 54.70/13.71 c types(t): S = simplification begin/end, E = solution found 54.70/13.71 c restart types(rt): st = static, dy = dynamic 54.70/13.71 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 54.70/13.71 c B st 0 0 11204 17208 18446 0 124433 0 no data no data 55.11/13.87 c Decided on static restart strategy 56.30/14.10 c N st 8 4915 11204 17208 18636 4606 124433 114849 no data no data 59.10/14.83 c N st 10 11298 11147 17208 20023 10618 124433 307582 no data no data 59.10/14.84 c Finding binary XORs T: 0.01 s found: 171 59.10/14.85 c Replacing 229 vars Replaced 4574 lits Time: 0.01 s 61.09/15.40 c N st 11 17041 10699 16534 18465 13706 118438 355231 no data no data 66.30/16.63 c F st 12 25001 10692 16534 19127 13373 118438 383827 no data no data 66.30/16.65 c N st 12 25001 10692 16531 19030 13365 118317 383673 no data no data 67.89/17.08 c Finding binary XORs T: 0.01 s found: 2 69.09/17.36 c Decided on static restart strategy 69.09/17.36 c N st 18 30000 10686 16530 19155 18264 118206 559457 no data no data 69.09/17.36 c S st 18 30000 10686 16530 19155 18264 118206 559457 no data no data 69.48/17.47 c S st 18 30501 10686 16530 19199 18720 118206 569542 no data no data 69.48/17.48 c x-sub: 1604 x-cut: 0 vfix: 0 v-elim: 450 locsubst: 0 time: 0.01 72.67/18.28 c Flit: 86 Blit: 15 bXBeca: 0 bXProp: 68 Bins: 101262 BRemL: 44461 BRemN: 21 P: 11.3M T: 0.79 72.67/18.28 c Cleaning up after failed var search: 0.00 s 73.07/18.30 c Replacing 93 vars Replaced 14896 lits Time: 0.02 s 73.07/18.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 73.07/18.31 c bin-w-bin subsume rem 520 bins time: 0.01 s 73.07/18.33 c subs with bin: 371 lits-rem: 196 v-fix: 0 time: 0.01 s 73.07/18.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9981 time: 0.02 s 73.07/18.35 c Removed useless bin: 91 fixed: 0 props: 0.36M time: 0.01 s 73.07/18.39 c lits-rem: 287 cl-subs: 284 v-elim: 1539 v-fix: 0 time: 0.04 s 73.47/18.47 c subs with bin: 154 lits-rem: 7779 v-fix: 0 time: 0.07 s 73.88/18.52 c lits-rem: 439 cl-subs: 617 v-elim: 0 v-fix: 0 time: 0.04 s 74.28/18.69 c asymm cl-useful: 100/15461/15461 lits-rem:467 time: 0.17 74.28/18.69 c calculated reachability. Time: 0.00 74.28/18.69 c N st 18 30501 8442 15461 53737 8775 101566 258066 no data no data 74.70/18.70 c Finding binary XORs T: 0.01 s found: 0 77.47/19.42 c N st 20 37612 8442 15461 53751 15706 101566 479944 no data no data 79.49/20.00 c N st 21 44011 8441 15461 53758 12131 101566 292923 no data no data 79.87/20.03 c Finding binary XORs T: 0.01 s found: 22 80.27/20.19 c S st 22 45753 8430 15459 95446 13829 101234 436670 no data no data 80.67/20.29 c S st 22 46257 8430 15459 95457 14320 101234 445607 no data no data 81.06/20.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 224 locsubst: 0 time: 0.01 82.67/20.72 c Flit: 5 Blit: 0 bXBeca: 0 bXProp: 39 Bins: 12601 BRemL: 64403 BRemN: 254 P: 5.9M T: 0.42 82.67/20.73 c Replacing 61 vars Replaced 3245 lits Time: 0.01 s 82.67/20.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 82.67/20.74 c bin-w-bin subsume rem 6421 bins time: 0.00 s 82.67/20.75 c subs with bin: 177 lits-rem: 148 v-fix: 0 time: 0.01 s 82.67/20.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8140 time: 0.01 s 82.67/20.77 c Removed useless bin: 1 fixed: 0 props: 0.24M time: 0.00 s 82.67/20.79 c lits-rem: 28 cl-subs: 89 v-elim: 24 v-fix: 0 time: 0.02 s 83.07/20.84 c subs with bin: 39 lits-rem: 430 v-fix: 0 time: 0.05 s 83.48/20.94 c lits-rem: 957 cl-subs: 451 v-elim: 0 v-fix: 0 time: 0.10 s 83.48/20.95 c vivif2 -- cl tried 15152 cl shrink 23 lits rem 54 time: 0.00 83.48/20.96 c vivif2 -- cl tried 11867 cl shrink 2736 lits rem 22561 time: 0.01 84.26/21.12 c asymm cl-useful: 39/15133/15133 lits-rem:83 time: 0.16 84.26/21.13 c calculated reachability. Time: 0.00 84.26/21.13 c N st 22 46257 8116 15133 33159 11850 99087 232758 no data no data 84.26/21.14 c Finding binary XORs T: 0.01 s found: 0 93.04/23.32 c N st 23 60654 8116 15133 33159 26010 99086 1400512 no data no data 93.04/23.34 c Finding binary XORs T: 0.01 s found: 2 96.66/24.29 c N st 24 69385 8105 15131 33791 19929 98778 521537 no data no data 96.66/24.29 c S st 24 69385 8105 15131 33791 19929 98778 521537 no data no data 97.07/24.31 c Finding binary XORs T: 0.01 s found: 0 97.45/24.42 c S st 24 69889 8104 15131 43459 20427 98748 554676 no data no data 97.45/24.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 106 locsubst: 0 time: 0.01 98.65/24.77 c Flit: 1 Blit: 2 bXBeca: 0 bXProp: 3 Bins: 2301 BRemL: 10856 BRemN: 3 P: 5.6M T: 0.34 98.65/24.79 c Replacing 5 vars Replaced 599 lits Time: 0.01 s 98.65/24.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 98.65/24.79 c bin-w-bin subsume rem 2720 bins time: 0.00 s 99.04/24.80 c subs with bin: 6 lits-rem: 2 v-fix: 0 time: 0.01 s 99.04/24.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7989 time: 0.01 s 99.04/24.82 c Removed useless bin: 0 fixed: 0 props: 0.27M time: 0.00 s 99.04/24.84 c lits-rem: 2 cl-subs: 21 v-elim: 24 v-fix: 0 time: 0.02 s 99.44/24.93 c subs with bin: 21 lits-rem: 210 v-fix: 0 time: 0.08 s 100.24/25.15 c lits-rem: 1200 cl-subs: 514 v-elim: 0 v-fix: 0 time: 0.22 s 100.24/25.16 c vivif2 -- cl tried 15088 cl shrink 0 lits rem 0 time: 0.00 100.24/25.18 c vivif2 -- cl tried 18021 cl shrink 1527 lits rem 9378 time: 0.02 101.06/25.34 c asymm cl-useful: 130/15088/15088 lits-rem:363 time: 0.16 101.06/25.35 c calculated reachability. Time: 0.00 101.06/25.35 c N st 24 69889 7965 15061 30070 18020 97799 407189 no data no data 107.43/26.99 c F st 25 87500 7965 15061 30070 35122 97798 943772 no data no data 107.83/27.00 c N st 25 87500 7965 15061 30070 35122 97798 943772 no data no data 107.83/27.02 c Finding binary XORs T: 0.01 s found: 5 109.84/27.54 c Decided on static restart strategy 111.02/27.82 c N st 32 95541 7962 15060 29868 25360 97771 554123 no data no data 115.81/29.03 c N st 34 104835 7962 15060 31313 34512 97771 1092483 no data no data 115.81/29.03 c S st 34 104835 7962 15060 31313 34512 97771 1092483 no data no data 115.81/29.05 c Finding binary XORs T: 0.01 s found: 2 116.21/29.17 c S st 34 105338 7961 15059 32503 35000 97692 1104083 no data no data 116.21/29.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 42 locsubst: 0 time: 0.01 117.81/29.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 804 BRemL: 3478 BRemN: 16 P: 7.6M T: 0.38 117.81/29.57 c Replacing 7 vars Replaced 910 lits Time: 0.01 s 117.81/29.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 117.81/29.58 c bin-w-bin subsume rem 387 bins time: 0.00 s 117.81/29.59 c subs with bin: 40 lits-rem: 24 v-fix: 0 time: 0.01 s 118.21/29.60 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 7912 time: 0.01 s 118.21/29.60 c Removed useless bin: 0 fixed: 0 props: 0.27M time: 0.00 s 118.21/29.63 c lits-rem: 4 cl-subs: 37 v-elim: 10 v-fix: 0 time: 0.02 s 119.81/30.00 c subs with bin: 41 lits-rem: 553 v-fix: 0 time: 0.33 s 122.60/30.70 c lits-rem: 1546 cl-subs: 1263 v-elim: 0 v-fix: 0 time: 0.70 s 122.60/30.70 c vivif2 -- cl tried 14997 cl shrink 9 lits rem 9 time: 0.00 122.60/30.77 c vivif2 -- cl tried 33451 cl shrink 5991 lits rem 40083 time: 0.06 123.43/30.99 c asymm cl-useful: 53/14997/14997 lits-rem:104 time: 0.22 123.43/31.00 c calculated reachability. Time: 0.00 123.43/31.00 c N st 34 105338 7902 14991 29115 33450 97177 1015922 no data no data 123.80/31.00 c Finding binary XORs T: 0.01 s found: 0 127.00/31.85 c N st 35 114938 7902 14991 29115 22524 97177 408445 no data no data 132.21/33.14 c N st 36 129336 7902 14991 29462 36308 97176 913159 no data no data 132.21/33.16 c Finding binary XORs T: 0.01 s found: 2 144.99/36.34 c N st 37 150931 7900 14989 30664 35424 97129 1738684 no data no data 146.97/36.82 c S st 38 158007 7897 14989 31023 42186 97129 1868970 no data no data 147.37/36.99 c S st 38 158510 7897 14989 31039 42688 97129 1881722 no data no data 147.77/37.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 149.39/37.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 719 BRemL: 2061 BRemN: 0 P: 8.2M T: 0.42 149.39/37.44 c Replacing 6 vars Replaced 878 lits Time: 0.02 s 149.39/37.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 149.39/37.45 c bin-w-bin subsume rem 328 bins time: 0.00 s 149.39/37.46 c subs with bin: 25 lits-rem: 9 v-fix: 0 time: 0.01 s 149.39/37.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7891 time: 0.01 s 149.39/37.48 c Removed useless bin: 4 fixed: 0 props: 0.27M time: 0.00 s 149.79/37.51 c lits-rem: 0 cl-subs: 23 v-elim: 8 v-fix: 0 time: 0.03 s 151.37/37.98 c subs with bin: 31 lits-rem: 1226 v-fix: 0 time: 0.42 s 162.97/40.88 c lits-rem: 2019 cl-subs: 1497 v-elim: 0 v-fix: 0 time: 2.89 s 162.97/40.88 c vivif2 -- cl tried 14932 cl shrink 0 lits rem 0 time: 0.00 163.75/41.00 c vivif2 -- cl tried 41105 cl shrink 7094 lits rem 86514 time: 0.11 164.55/41.24 c asymm cl-useful: 46/14932/14932 lits-rem:94 time: 0.24 164.55/41.24 c calculated reachability. Time: 0.00 164.55/41.24 c N st 38 158510 7883 14929 28686 41104 96588 1713036 no data no data 164.55/41.25 c Finding binary XORs T: 0.01 s found: 1 184.53/46.24 c N st 39 207100 7883 14929 28686 39497 96588 1103373 no data no data 201.70/50.60 c N st 40 237765 7881 14929 28765 43176 96588 1464260 no data no data 201.70/50.60 c S st 40 237765 7881 14929 28765 43176 96588 1464260 no data no data 202.11/50.62 c Finding binary XORs T: 0.01 s found: 0 202.51/50.79 c S st 40 238266 7881 14928 29017 43670 96503 1480050 no data no data 202.89/50.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 204.09/51.19 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 449 BRemL: 752 BRemN: 5 P: 7.6M T: 0.39 204.49/51.21 c Replacing 4 vars Replaced 118 lits Time: 0.02 s 204.49/51.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 204.49/51.22 c bin-w-bin subsume rem 132 bins time: 0.00 s 204.49/51.22 c subs with bin: 19 lits-rem: 14 v-fix: 0 time: 0.01 s 204.49/51.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7875 time: 0.01 s 204.49/51.24 c Removed useless bin: 0 fixed: 0 props: 0.27M time: 0.01 s 204.49/51.27 c lits-rem: 5 cl-subs: 10 v-elim: 3 v-fix: 0 time: 0.03 s 206.09/51.61 c subs with bin: 6 lits-rem: 915 v-fix: 0 time: 0.30 s 216.08/54.11 c lits-rem: 2579 cl-subs: 1872 v-elim: 0 v-fix: 0 time: 2.49 s 216.08/54.11 c vivif2 -- cl tried 14900 cl shrink 5 lits rem 5 time: 0.00 216.48/54.22 c vivif2 -- cl tried 41791 cl shrink 7970 lits rem 91919 time: 0.10 217.28/54.43 c asymm cl-useful: 27/14897/14897 lits-rem:63 time: 0.22 217.28/54.44 c calculated reachability. Time: 0.00 217.28/54.44 c N st 40 238266 7872 14892 28254 41791 96255 1332437 no data no data 252.42/63.27 c F st 41 306252 7872 14892 28254 52129 96255 2076761 no data no data 252.42/63.28 c N st 41 306252 7872 14892 28254 52129 96255 2076761 no data no data 252.82/63.31 c Finding binary XORs T: 0.01 s found: 3 255.25/63.97 c Decided on static restart strategy 266.01/66.68 c N st 51 334558 7868 14890 30354 50950 96215 1139497 no data no data 277.60/69.60 c N st 53 357400 7868 14890 30373 43432 96215 1009450 no data no data 277.60/69.60 c S st 53 357400 7868 14890 30373 43432 96215 1009450 no data no data 278.80/69.82 c S st 53 357901 7868 14890 30383 43932 96215 1025533 no data no data 278.80/69.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 280.80/70.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 1049 BRemL: 2555 BRemN: 5 P: 8.3M T: 0.48 280.80/70.33 c Replacing 9 vars Replaced 1664 lits Time: 0.02 s 280.80/70.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 280.80/70.34 c bin-w-bin subsume rem 327 bins time: 0.00 s 280.80/70.35 c subs with bin: 13 lits-rem: 27 v-fix: 0 time: 0.01 s 280.80/70.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7859 time: 0.01 s 280.80/70.37 c Removed useless bin: 0 fixed: 0 props: 0.27M time: 0.01 s 280.80/70.40 c lits-rem: 0 cl-subs: 17 v-elim: 7 v-fix: 0 time: 0.03 s 282.39/70.70 c subs with bin: 35 lits-rem: 6627 v-fix: 0 time: 0.27 s 286.38/71.74 c lits-rem: 1497 cl-subs: 1433 v-elim: 0 v-fix: 0 time: 1.03 s 286.38/71.74 c vivif2 -- cl tried 14864 cl shrink 3 lits rem 3 time: 0.00 286.78/71.81 c vivif2 -- cl tried 42297 cl shrink 6143 lits rem 50019 time: 0.06 287.58/72.06 c asymm cl-useful: 37/14864/14864 lits-rem:63 time: 0.25 287.58/72.06 c calculated reachability. Time: 0.00 287.58/72.06 c N st 53 357901 7852 14860 27965 42295 95974 927229 no data no data 287.58/72.07 c Finding binary XORs T: 0.01 s found: 1 308.35/77.26 c N st 54 390294 7852 14860 27968 43080 95974 814009 no data no data 329.54/82.50 c N st 55 438882 7852 14860 27985 57626 95974 1204474 no data no data 329.54/82.51 c Finding binary XORs T: 0.01 s found: 0 372.67/93.31 c N st 56 511767 7852 14860 30564 61988 95974 2131454 no data no data 387.45/97.09 c N st 57 536851 7852 14860 30597 51696 95974 1134208 no data no data 387.45/97.09 c S st 57 536851 7852 14860 30597 51696 95974 1134208 no data no data 388.25/97.23 c S st 57 537354 7852 14860 30601 52199 95974 1148913 no data no data 388.25/97.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 389.85/97.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 361 BRemL: 2689 BRemN: 2 P: 9.5M T: 0.45 389.85/97.69 c Replacing 1 vars Replaced 19 lits Time: 0.01 s 390.25/97.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 390.25/97.70 c bin-w-bin subsume rem 250 bins time: 0.00 s 390.25/97.71 c subs with bin: 27 lits-rem: 18 v-fix: 0 time: 0.01 s 390.25/97.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7851 time: 0.01 s 390.25/97.73 c Removed useless bin: 2 fixed: 0 props: 0.28M time: 0.00 s 390.25/97.76 c lits-rem: 0 cl-subs: 7 v-elim: 0 v-fix: 0 time: 0.03 s 391.06/97.99 c subs with bin: 39 lits-rem: 1141 v-fix: 0 time: 0.20 s 395.45/99.08 c lits-rem: 4307 cl-subs: 2380 v-elim: 0 v-fix: 0 time: 1.09 s 395.45/99.08 c vivif2 -- cl tried 14826 cl shrink 0 lits rem 0 time: 0.00 395.85/99.16 c vivif2 -- cl tried 49780 cl shrink 7890 lits rem 37210 time: 0.08 397.43/99.50 c asymm cl-useful: 70/13510/14826 lits-rem:131 time: 0.34 397.43/99.50 c calculated reachability. Time: 0.00 397.43/99.50 c N st 57 537354 7851 14821 28024 49780 95677 1047983 no data no data 397.43/99.51 c Finding binary XORs T: 0.01 s found: 0 498.48/124.83 c N st 58 701339 7851 14821 28024 60025 95677 2575003 no data no data 556.42/139.39 c N st 59 806031 7850 14821 28059 79898 95677 4389723 no data no data 556.42/139.39 c S st 59 806031 7850 14821 28059 79898 95677 4389723 no data no data 556.82/139.42 c Finding binary XORs T: 0.01 s found: 0 557.62/139.68 c S st 59 806532 7849 14820 28657 80385 95628 4405851 no data no data 557.62/139.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 560.01/140.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 1242 BRemL: 1437 BRemN: 0 P: 12.8M T: 0.59 560.41/140.30 c Replacing 4 vars Replaced 219 lits Time: 0.02 s 560.41/140.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 560.41/140.31 c bin-w-bin subsume rem 225 bins time: 0.00 s 560.41/140.32 c subs with bin: 65 lits-rem: 10 v-fix: 0 time: 0.01 s 560.41/140.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7845 time: 0.01 s 560.41/140.34 c Removed useless bin: 2 fixed: 0 props: 0.27M time: 0.01 s 560.41/140.39 c lits-rem: 2 cl-subs: 20 v-elim: 17 v-fix: 0 time: 0.06 s 564.40/141.33 c subs with bin: 23 lits-rem: 2407 v-fix: 0 time: 0.81 s 659.86/165.23 c lits-rem: 3688 cl-subs: 1690 v-elim: 0 v-fix: 0 time: 23.89 s 659.86/165.23 c vivif2 -- cl tried 14736 cl shrink 0 lits rem 0 time: 0.00 661.47/165.62 c vivif2 -- cl tried 78343 cl shrink 24005 lits rem 598801 time: 0.38 661.47/165.63 c asymm cl-useful: 0/1226/14736 lits-rem:0 time: 0.01 661.47/165.64 c calculated reachability. Time: 0.00 661.47/165.64 c N st 59 806532 7828 14736 27754 78342 95410 3655710 no data no data 661.47/165.65 c Finding binary XORs T: 0.01 s found: 0 820.06/205.37 c F st 60 1071875 7828 14736 27758 69346 95410 1872735 no data no data 820.06/205.38 c N st 60 1071875 7828 14736 27758 69346 95410 1872735 no data no data 820.46/205.41 c Finding binary XORs T: 0.01 s found: 1 823.64/206.23 c Decided on static restart strategy 832.03/208.38 c Finding binary XORs T: 0.01 s found: 0 836.83/209.51 c N st 70 1100179 7825 14726 28651 49980 95329 1014474 no data no data 861.21/215.70 c N st 72 1136173 7825 14726 28653 85309 95329 2645144 no data no data 875.97/219.38 c N st 73 1168567 7825 14726 28657 68533 95329 2327806 no data no data 906.33/226.98 c N st 74 1209802 7824 14726 28659 59940 95329 1475205 no data no data 906.33/226.98 c S st 74 1209802 7824 14726 28659 59940 95329 1475205 no data no data 907.13/227.16 c S st 74 1210305 7823 14726 28678 60441 95329 1490116 no data no data 907.13/227.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 909.13/227.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 325 BRemL: 1600 BRemN: 0 P: 9.1M T: 0.45 909.13/227.65 c Replacing 4 vars Replaced 102 lits Time: 0.02 s 909.13/227.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 909.13/227.66 c bin-w-bin subsume rem 197 bins time: 0.00 s 909.13/227.67 c subs with bin: 22 lits-rem: 11 v-fix: 0 time: 0.01 s 909.13/227.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7819 time: 0.01 s 909.13/227.69 c Removed useless bin: 2 fixed: 0 props: 0.28M time: 0.01 s 909.55/227.72 c lits-rem: 0 cl-subs: 5 v-elim: 3 v-fix: 0 time: 0.03 s 910.73/228.08 c subs with bin: 24 lits-rem: 756 v-fix: 0 time: 0.32 s 917.11/229.66 c lits-rem: 1436 cl-subs: 1372 v-elim: 0 v-fix: 0 time: 1.58 s 917.11/229.67 c vivif2 -- cl tried 14692 cl shrink 1 lits rem 1 time: 0.00 917.51/229.77 c vivif2 -- cl tried 59028 cl shrink 8976 lits rem 96879 time: 0.10 919.11/230.11 c asymm cl-useful: 34/14691/14691 lits-rem:46 time: 0.34 919.11/230.12 c calculated reachability. Time: 0.00 919.11/230.12 c N st 74 1210305 7816 14691 26887 59028 95181 1358213 no data no data 919.11/230.13 c Finding binary XORs T: 0.01 s found: 0 960.66/240.51 c N st 75 1283187 7816 14691 26887 79312 95181 1815359 no data no data 960.66/240.54 c Finding binary XORs T: 0.01 s found: 2 1058.94/265.16 c N st 76 1392510 7814 14691 26922 81606 95119 1944505 no data no data 1159.19/290.27 c N st 77 1556494 7814 14691 27015 76056 95119 1815902 no data no data 1293.80/323.99 c N st 78 1710305 7814 14691 27034 113017 95119 2606133 no data no data 1293.80/323.99 c S st 78 1710305 7814 14691 27034 113017 95119 2606133 no data no data 1294.20/324.00 c Finding binary XORs T: 0.01 s found: 0 1295.00/324.29 c S st 78 1710808 7814 14691 27626 113517 95119 2621369 no data no data 1295.40/324.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1297.79/324.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 563 BRemL: 1008 BRemN: 0 P: 13.7M T: 0.63 1297.79/324.95 c Replacing 2 vars Replaced 94 lits Time: 0.01 s 1297.79/324.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1297.79/324.96 c bin-w-bin subsume rem 170 bins time: 0.00 s 1297.79/324.97 c subs with bin: 18 lits-rem: 10 v-fix: 0 time: 0.01 s 1297.79/324.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7812 time: 0.01 s 1297.79/324.99 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.00 s 1298.19/325.04 c lits-rem: 2 cl-subs: 12 v-elim: 7 v-fix: 0 time: 0.05 s 1300.19/325.58 c subs with bin: 22 lits-rem: 1801 v-fix: 0 time: 0.46 s 1334.15/334.06 c lits-rem: 27057 cl-subs: 6412 v-elim: 0 v-fix: 0 time: 8.47 s 1334.15/334.06 c vivif2 -- cl tried 14659 cl shrink 8 lits rem 8 time: 0.00 1335.35/334.31 c vivif2 -- cl tried 107048 cl shrink 18463 lits rem 53171 time: 0.24 1336.55/334.68 c asymm cl-useful: 46/7053/14658 lits-rem:63 time: 0.37 1336.55/334.69 c calculated reachability. Time: 0.00 1336.55/334.69 c N st 78 1710808 7805 14657 26846 107048 94928 2401506 no data no data 1528.28/382.66 c N st 79 2079773 7805 14657 26846 102221 94928 2539892 no data no data 1528.28/382.69 c Finding binary XORs T: 0.01 s found: 1 1643.34/411.46 c N st 80 2210808 7804 14656 27373 100845 94901 2575129 no data no data 1643.34/411.46 c S st 80 2210808 7804 14656 27373 100845 94901 2575129 no data no data 1643.34/411.47 c Finding binary XORs T: 0.01 s found: 0 1644.51/411.74 c S st 80 2211311 7804 14656 27681 101345 94901 2588932 no data no data 1644.51/411.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1647.31/412.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 144 BRemL: 869 BRemN: 1 P: 15.1M T: 0.67 1647.31/412.43 c Replacing 1 vars Replaced 214 lits Time: 0.01 s 1647.31/412.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1647.31/412.44 c bin-w-bin subsume rem 136 bins time: 0.00 s 1647.31/412.45 c subs with bin: 7 lits-rem: 2 v-fix: 0 time: 0.01 s 1647.31/412.46 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 7803 time: 0.01 s 1647.31/412.46 c Removed useless bin: 1 fixed: 0 props: 0.28M time: 0.00 s 1647.73/412.51 c lits-rem: 0 cl-subs: 12 v-elim: 8 v-fix: 0 time: 0.05 s 1649.71/413.06 c subs with bin: 1 lits-rem: 190 v-fix: 0 time: 0.48 s 1680.07/420.64 c lits-rem: 7663 cl-subs: 5487 v-elim: 0 v-fix: 0 time: 7.57 s 1680.07/420.65 c vivif2 -- cl tried 14642 cl shrink 6 lits rem 9 time: 0.00 1680.87/420.85 c vivif2 -- cl tried 95844 cl shrink 15552 lits rem 146123 time: 0.20 1681.67/421.01 c asymm cl-useful: 0/7589/14642 lits-rem:0 time: 0.16 1681.67/421.02 c calculated reachability. Time: 0.00 1681.67/421.02 c N st 80 2211311 7795 14642 26375 95844 94791 2278759 no data no data 2012.02/503.72 c N st 81 2711311 7795 14642 26375 96294 94791 2295419 no data no data 2012.02/503.72 c S st 81 2711311 7795 14642 26375 96294 94791 2295419 no data no data 2012.02/503.73 c Finding binary XORs T: 0.01 s found: 0 2013.21/504.08 c S st 81 2711811 7795 14642 26884 96793 94791 2311585 no data no data 2013.21/504.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2016.41/504.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 122 BRemL: 611 BRemN: 0 P: 12.9M T: 0.77 2016.41/504.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2016.41/504.87 c bin-w-bin subsume rem 49 bins time: 0.00 s 2016.41/504.88 c subs with bin: 22 lits-rem: 0 v-fix: 0 time: 0.01 s 2016.41/504.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7795 time: 0.01 s 2016.83/504.90 c Removed useless bin: 2 fixed: 0 props: 0.28M time: 0.01 s 2016.83/504.96 c lits-rem: 2 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 2019.20/505.55 c subs with bin: 9 lits-rem: 256 v-fix: 0 time: 0.52 s 2041.17/511.07 c lits-rem: 1943 cl-subs: 944 v-elim: 0 v-fix: 0 time: 5.52 s 2041.17/511.07 c vivif2 -- cl tried 14618 cl shrink 1 lits rem 1 time: 0.00 2041.97/511.22 c vivif2 -- cl tried 95842 cl shrink 6462 lits rem 16048 time: 0.15 2043.18/511.60 c asymm cl-useful: 24/8111/14618 lits-rem:64 time: 0.38 2043.59/511.60 c calculated reachability. Time: 0.00 2043.59/511.60 c N st 81 2711811 7795 14618 26344 95842 94595 2259333 no data no data 2427.04/607.69 c N st 82 3211812 7795 14618 26344 134366 94595 4102774 no data no data 2427.04/607.69 c S st 82 3211812 7795 14618 26344 134366 94595 4102774 no data no data 2428.64/608.04 c S st 82 3212314 7795 14618 26383 134866 94595 4119299 no data no data 2428.64/608.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2431.84/608.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 63 BRemL: 53 BRemN: 0 P: 16.0M T: 0.76 2431.84/608.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2431.84/608.83 c bin-w-bin subsume rem 8 bins time: 0.00 s 2431.84/608.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2431.84/608.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7795 time: 0.01 s 2431.84/608.85 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.00 s 2432.24/608.92 c lits-rem: 0 cl-subs: 1 v-elim: 5 v-fix: 0 time: 0.07 s 2435.43/609.75 c subs with bin: 0 lits-rem: 21 v-fix: 0 time: 0.71 s 2487.38/622.75 c lits-rem: 8305 cl-subs: 1421 v-elim: 0 v-fix: 0 time: 13.00 s 2487.38/622.76 c vivif2 -- cl tried 14619 cl shrink 0 lits rem 0 time: 0.00 2489.75/623.31 c vivif2 -- cl tried 133445 cl shrink 32516 lits rem 192621 time: 0.55 2490.15/623.45 c asymm cl-useful: 0/6508/14619 lits-rem:0 time: 0.14 2490.15/623.46 c calculated reachability. Time: 0.00 2490.15/623.46 c N st 82 3212314 7790 14619 26373 133445 94649 3871960 no data no data 2490.15/623.47 c Finding binary XORs T: 0.01 s found: 0 3222.34/806.74 c N st 83 3712314 7790 14619 26374 131943 94649 3504290 no data no data 3222.34/806.74 c S st 83 3712314 7790 14619 26374 131943 94649 3504290 no data no data 3222.34/806.78 c Finding binary XORs T: 0.01 s found: 6 3223.94/807.14 c S st 83 3712817 7787 14608 26870 132425 94552 3521904 no data no data 3223.94/807.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3227.13/807.91 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 1 Bins: 108 BRemL: 729 BRemN: 0 P: 15.8M T: 0.75 3227.13/807.96 c Replacing 7 vars Replaced 162 lits Time: 0.05 s 3227.13/807.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3227.13/807.97 c bin-w-bin subsume rem 46 bins time: 0.00 s 3227.13/807.97 c subs with bin: 27 lits-rem: 19 v-fix: 0 time: 0.01 s 3227.13/807.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7779 time: 0.01 s 3227.13/807.99 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.00 s 3227.53/808.06 c lits-rem: 0 cl-subs: 16 v-elim: 7 v-fix: 0 time: 0.06 s 3231.13/808.92 c subs with bin: 12 lits-rem: 798 v-fix: 0 time: 0.75 s 3271.47/819.00 c lits-rem: 18772 cl-subs: 7392 v-elim: 0 v-fix: 0 time: 10.08 s 3271.47/819.00 c vivif2 -- cl tried 14555 cl shrink 4 lits rem 4 time: 0.00 3272.68/819.30 c vivif2 -- cl tried 124923 cl shrink 18337 lits rem 65317 time: 0.29 3274.27/819.70 c asymm cl-useful: 28/4363/14555 lits-rem:46 time: 0.41 3274.27/819.71 c calculated reachability. Time: 0.00 3274.27/819.71 c N st 83 3712817 7772 14555 25790 124923 94327 3260577 no data no data 3294.24/824.71 c F st 84 3751562 7771 14555 25816 161137 94327 4251219 no data no data 3294.24/824.76 c N st 84 3751562 7771 14555 25717 159037 94298 4228016 no data no data 3294.24/824.77 c Finding binary XORs T: 0.01 s found: 0 3299.44/826.09 c Decided on static restart strategy 3315.81/830.15 c N st 94 3779865 7771 14555 25825 103469 94298 2138847 no data no data 3344.19/837.29 c N st 96 3815857 7771 14555 25826 138252 94298 3214689 no data no data 3368.13/843.28 c N st 97 3848252 7771 14555 25839 169149 94298 4321117 no data no data 3419.67/856.15 c N st 98 3896841 7771 14555 25840 132166 94298 3538150 no data no data 3455.62/865.17 c N st 99 3969723 7771 14555 25843 115591 94298 2394544 no data no data 3582.25/896.87 c N st 100 4079047 7771 14555 25851 135927 94298 3063112 no data no data 3761.22/941.68 c N st 101 4212817 7771 14555 25853 177351 94298 4715995 no data no data 3761.22/941.68 c S st 101 4212817 7771 14555 25853 177351 94298 4715995 no data no data 3763.20/942.16 c S st 101 4213318 7771 14555 25984 177850 94298 4733616 no data no data 3763.20/942.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3767.59/943.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 575 BRemL: 774 BRemN: 2 P: 23.2M T: 1.04 3767.59/943.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3767.59/943.23 c bin-w-bin subsume rem 40 bins time: 0.00 s 3767.59/943.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3767.59/943.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7771 time: 0.01 s 3767.59/943.26 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.00 s 3767.99/943.34 c lits-rem: 1 cl-subs: 8 v-elim: 10 v-fix: 0 time: 0.08 s 3772.39/944.44 c subs with bin: 55 lits-rem: 381 v-fix: 0 time: 0.96 s 3878.24/970.98 c lits-rem: 27981 cl-subs: 9220 v-elim: 0 v-fix: 0 time: 26.53 s 3878.24/970.98 c vivif2 -- cl tried 14553 cl shrink 3 lits rem 3 time: 0.00 3880.26/971.49 c vivif2 -- cl tried 168472 cl shrink 37974 lits rem 144519 time: 0.50 3881.84/971.86 c asymm cl-useful: 3/10190/14553 lits-rem:7 time: 0.37 3881.84/971.87 c calculated reachability. Time: 0.00 3881.84/971.87 c N st 101 4213318 7761 14551 25481 168470 94277 4285896 no data no data 3881.84/971.88 c Finding binary XORs T: 0.01 s found: 0 4057.19/1015.74 c N st 102 4459295 7761 14551 25482 133556 94277 3068229 no data no data 4057.19/1015.77 c Finding binary XORs T: 0.01 s found: 0 4364.38/1092.64 c N st 103 4713320 7760 14551 26193 103335 94248 1984741 no data no data 4364.38/1092.64 c S st 103 4713320 7760 14551 26193 103335 94248 1984741 no data no data 4365.17/1092.86 c S st 103 4713824 7760 14551 26259 103837 94248 2000768 no data no data 4365.17/1092.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4367.99/1093.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 136 BRemL: 772 BRemN: 0 P: 14.7M T: 0.64 4367.99/1093.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4367.99/1093.52 c bin-w-bin subsume rem 183 bins time: 0.00 s 4367.99/1093.53 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.01 s 4367.99/1093.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7760 time: 0.01 s 4367.99/1093.55 c Removed useless bin: 2 fixed: 0 props: 0.28M time: 0.01 s 4367.99/1093.60 c lits-rem: 0 cl-subs: 3 v-elim: 0 v-fix: 0 time: 0.05 s 4369.57/1093.98 c subs with bin: 11 lits-rem: 221 v-fix: 0 time: 0.33 s 4375.56/1095.46 c lits-rem: 3993 cl-subs: 1214 v-elim: 0 v-fix: 0 time: 1.47 s 4375.56/1095.46 c vivif2 -- cl tried 14546 cl shrink 1 lits rem 1 time: 0.00 4375.96/1095.58 c vivif2 -- cl tried 102612 cl shrink 3035 lits rem 15522 time: 0.12 4377.55/1095.96 c asymm cl-useful: 38/6777/14546 lits-rem:74 time: 0.38 4377.55/1095.96 c calculated reachability. Time: 0.00 4377.55/1095.96 c N st 103 4713824 7760 14545 25442 102612 94143 1959203 no data no data 4377.55/1095.97 c Finding binary XORs T: 0.01 s found: 0
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-3289058-1304117381/watcher-3289058-1304117381 -o /tmp/evaluation-result-3289058-1304117381/solver-3289058-1304117381 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3289058-1304117381.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.05 7.98 7.15 6/180 3446 /proc/meminfo: memFree=30900312/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 523336949 52441088 348 33554432000 4194304 4627427 140735973855968 18446744073709551615 47037775046576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 12803 348 299 106 0 7774 0 [pid=3446/tid=3447] ppid=3444 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523336950 52441088 348 33554432000 4194304 4627427 140735973855968 18446744073709551615 47037775046578 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523336950 52441088 348 33554432000 4194304 4627427 140735973855968 18446744073709551615 47037775046576 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523336950 52441088 348 33554432000 4194304 4627427 140735973855968 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.157566 s] /proc/loadavg: 8.05 7.98 7.15 6/180 3446 /proc/meminfo: memFree=30900312/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=330936 CPUtime=0.6 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 28971 0 0 0 53 7 0 0 18 0 4 0 523336949 338878464 24689 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 82734 24689 366 106 0 77705 0 [pid=3446/tid=3447] ppid=3444 vsize=330936 CPUtime=0.14 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7026 0 0 0 13 1 0 0 18 0 4 0 523336950 338878464 24689 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=330936 CPUtime=0.14 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7017 0 0 0 13 1 0 0 18 0 4 0 523336950 338878464 24689 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=330936 CPUtime=0.14 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7490 0 0 0 13 1 0 0 25 0 4 0 523336950 338878464 24689 33554432000 4194304 4627427 140735973855968 18446744073709551615 4332856 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 330936 [startup+0.200494 s] /proc/loadavg: 8.05 7.98 7.15 6/180 3446 /proc/meminfo: memFree=30900312/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=330936 CPUtime=0.78 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 29015 0 0 0 71 7 0 0 18 0 4 0 523336949 338878464 24733 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 82734 24733 366 106 0 77705 0 [pid=3446/tid=3447] ppid=3444 vsize=330936 CPUtime=0.19 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7027 0 0 0 18 1 0 0 18 0 4 0 523336950 338878464 24733 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=330936 CPUtime=0.18 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7018 0 0 0 17 1 0 0 18 0 4 0 523336950 338878464 24733 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=330936 CPUtime=0.18 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7531 0 0 0 17 1 0 0 25 0 4 0 523336950 338878464 24733 33554432000 4194304 4627427 140735973855968 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.78 Current children cumulated vsize (KiB) 330936 [startup+0.300477 s] /proc/loadavg: 8.05 7.98 7.15 6/180 3446 /proc/meminfo: memFree=30900312/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=330936 CPUtime=1.18 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 29023 0 0 0 111 7 0 0 18 0 4 0 523336949 338878464 24741 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 82734 24741 366 106 0 77705 0 [pid=3446/tid=3447] ppid=3444 vsize=330936 CPUtime=0.29 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7027 0 0 0 28 1 0 0 18 0 4 0 523336950 338878464 24741 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=330936 CPUtime=0.28 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7018 0 0 0 27 1 0 0 18 0 4 0 523336950 338878464 24741 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=330936 CPUtime=0.28 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7539 0 0 0 27 1 0 0 25 0 4 0 523336950 338878464 24741 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 330936 [startup+0.700405 s] /proc/loadavg: 8.05 7.98 7.15 6/180 3446 /proc/meminfo: memFree=30900312/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=331496 CPUtime=2.78 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 29191 0 0 0 271 7 0 0 18 0 4 0 523336949 339451904 24909 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 82874 24909 366 106 0 77845 0 [pid=3446/tid=3447] ppid=3444 vsize=331496 CPUtime=0.69 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7027 0 0 0 68 1 0 0 18 0 4 0 523336950 339451904 24909 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=331496 CPUtime=0.68 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7018 0 0 0 67 1 0 0 18 0 4 0 523336950 339451904 24909 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=331496 CPUtime=0.68 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7707 0 0 0 67 1 0 0 25 0 4 0 523336950 339451904 24909 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308668 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 331496 [startup+1.50026 s] /proc/loadavg: 8.05 7.98 7.15 10/184 3450 /proc/meminfo: memFree=30795252/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=331496 CPUtime=5.97 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 30578 0 0 0 590 7 0 0 20 0 4 0 523336949 339451904 26296 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308942 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 82874 26296 368 106 0 77845 0 [pid=3446/tid=3447] ppid=3444 vsize=331496 CPUtime=1.49 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7467 0 0 0 148 1 0 0 20 0 4 0 523336950 339451904 26296 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=331496 CPUtime=1.48 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7446 0 0 0 147 1 0 0 19 0 4 0 523336950 339451904 26296 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=331496 CPUtime=1.47 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7798 0 0 0 146 1 0 0 25 0 4 0 523336950 339451904 26296 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 331496 [startup+3.10098 s] /proc/loadavg: 8.04 7.98 7.15 9/184 3450 /proc/meminfo: memFree=30663872/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=334820 CPUtime=12.36 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 31995 0 0 0 1229 7 0 0 25 0 4 0 523336949 342855680 27713 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 83705 27713 369 106 0 78676 0 [pid=3446/tid=3447] ppid=3444 vsize=334820 CPUtime=3.09 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7615 0 0 0 308 1 0 0 25 0 4 0 523336950 342855680 27713 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=334820 CPUtime=3.08 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7605 0 0 0 307 1 0 0 25 0 4 0 523336950 342855680 27713 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=334820 CPUtime=3.07 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 8750 0 0 0 306 1 0 0 25 0 4 0 523336950 342855680 27713 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 334820 [startup+6.30041 s] /proc/loadavg: 8.04 7.98 7.15 9/184 3450 /proc/meminfo: memFree=30309124/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=336192 CPUtime=25.14 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 32572 0 0 0 2507 7 0 0 25 0 4 0 523336949 344260608 28290 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 84048 28290 369 106 0 79019 0 [pid=3446/tid=3447] ppid=3444 vsize=336192 CPUtime=6.29 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7624 0 0 0 628 1 0 0 25 0 4 0 523336950 344260608 28290 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=336192 CPUtime=6.28 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7614 0 0 0 627 1 0 0 25 0 4 0 523336950 344260608 28290 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=336192 CPUtime=6.25 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 9300 0 0 0 624 1 0 0 25 0 4 0 523336950 344260608 28290 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 336192 [startup+12.7003 s] /proc/loadavg: 8.11 8.00 7.16 9/184 3451 /proc/meminfo: memFree=30039256/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=339436 CPUtime=50.71 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 34329 0 0 0 5062 9 0 0 25 0 4 0 523336949 347582464 29073 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 84859 29073 371 106 0 79830 0 [pid=3446/tid=3447] ppid=3444 vsize=339436 CPUtime=12.69 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7725 0 0 0 1268 1 0 0 25 0 4 0 523336950 347582464 29073 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=339436 CPUtime=12.69 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 7715 0 0 0 1267 2 0 0 25 0 4 0 523336950 347582464 29073 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=339436 CPUtime=12.62 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 10754 0 0 0 1259 3 0 0 25 0 4 0 523336950 347582464 29073 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308248 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 339436 [startup+25.501 s] /proc/loadavg: 8.09 8.00 7.17 9/184 3451 /proc/meminfo: memFree=29749108/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=504384 CPUtime=101.83 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 84963 0 0 0 10163 20 0 0 25 0 4 0 523336949 516489216 66912 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 126096 66912 391 106 0 121067 0 [pid=3446/tid=3447] ppid=3444 vsize=504384 CPUtime=25.48 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 21658 0 0 0 2544 4 0 0 25 0 4 0 523336950 516489216 66912 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=504384 CPUtime=25.48 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 20103 0 0 0 2544 4 0 0 25 0 4 0 523336950 516489216 66912 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=504384 CPUtime=25.35 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 20639 0 0 0 2530 5 0 0 25 0 4 0 523336950 516489216 66912 33554432000 4194304 4627427 140735973855968 18446744073709551615 4327606 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (KiB) 504384 [startup+51.1004 s] /proc/loadavg: 8.06 8.00 7.19 9/184 3452 /proc/meminfo: memFree=29594996/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=527700 CPUtime=204.09 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 124950 0 0 0 20381 28 0 0 25 0 4 0 523336949 540364800 87503 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 131925 87503 391 106 0 126896 0 [pid=3446/tid=3447] ppid=3444 vsize=527700 CPUtime=51.09 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 31941 0 0 0 5102 7 0 0 25 0 4 0 523336950 540364800 87503 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=527700 CPUtime=51.08 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 29461 0 0 0 5101 7 0 0 25 0 4 0 523336950 540364800 87503 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309982 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=527700 CPUtime=50.81 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 23662 0 0 0 5076 5 0 0 25 0 4 0 523336950 540364800 87503 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 204.09 Current children cumulated vsize (KiB) 527700 [startup+102.3 s] /proc/loadavg: 8.10 8.03 7.25 9/184 3453 /proc/meminfo: memFree=29456444/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=606648 CPUtime=408.63 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 206739 0 0 0 40812 51 0 0 25 0 4 0 523336949 621207552 107640 33554432000 4194304 4627427 140735973855968 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 151662 107640 391 106 0 146633 0 [pid=3446/tid=3447] ppid=3444 vsize=606648 CPUtime=102.3 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 57893 0 0 0 10216 14 0 0 25 0 4 0 523336950 621207552 107642 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=606648 CPUtime=102.29 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 54996 0 0 0 10214 15 0 0 25 0 4 0 523336950 621207552 107642 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=606648 CPUtime=101.73 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 29521 0 0 0 10166 7 0 0 25 0 4 0 523336950 621207552 107642 33554432000 4194304 4627427 140735973855968 18446744073709551615 4306044 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.63 Current children cumulated vsize (KiB) 606648 [startup+162.301 s] ################ # More data... # ################ [pid=3446] ppid=3444 vsize=1100232 CPUtime=2565.65 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 691901 0 0 0 256354 211 0 0 25 0 4 0 523336949 1126637568 212562 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 275058 212562 391 106 0 270029 0 [pid=3446/tid=3447] ppid=3444 vsize=1100232 CPUtime=642.3 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 173175 0 0 0 64177 53 0 0 25 0 4 0 523336950 1126637568 212562 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1100232 CPUtime=642.24 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 222741 0 0 0 64157 67 0 0 25 0 4 0 523336950 1126637568 212562 33554432000 4194304 4627427 140735973855968 18446744073709551615 4302476 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1100232 CPUtime=638.79 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 55643 0 0 0 63862 17 0 0 25 0 4 0 523336950 1126637568 212562 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2565.65 Current children cumulated vsize (KiB) 1100232 [startup+702.301 s] /proc/loadavg: 8.17 8.14 7.66 9/184 3480 /proc/meminfo: memFree=28694152/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1159396 CPUtime=2805.3 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 733218 0 0 0 280304 226 0 0 25 0 4 0 523336949 1187221504 220600 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 289849 220600 391 106 0 284820 0 [pid=3446/tid=3447] ppid=3444 vsize=1159396 CPUtime=702.29 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 193100 0 0 0 70172 57 0 0 25 0 4 0 523336950 1187221504 220600 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1159396 CPUtime=702.23 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 235414 0 0 0 70151 72 0 0 25 0 4 0 523336950 1187221504 220600 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1159396 CPUtime=698.46 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 57413 0 0 0 69828 18 0 0 25 0 4 0 523336950 1187221504 220600 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2805.3 Current children cumulated vsize (KiB) 1159396 [startup+762.301 s] /proc/loadavg: 8.10 8.13 7.68 9/184 3482 /proc/meminfo: memFree=28610784/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1246316 CPUtime=3044.99 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 773081 0 0 0 304255 244 0 0 25 0 4 0 523336949 1276227584 238965 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 311579 238965 391 106 0 306550 0 [pid=3446/tid=3447] ppid=3444 vsize=1246316 CPUtime=762.3 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 217142 0 0 0 76161 69 0 0 25 0 4 0 523336950 1276227584 238965 33554432000 4194304 4627427 140735973855968 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1246316 CPUtime=762.24 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 245595 0 0 0 76147 77 0 0 25 0 4 0 523336950 1276227584 238965 33554432000 4194304 4627427 140735973855968 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1246316 CPUtime=758.14 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 60951 0 0 0 75795 19 0 0 25 0 4 0 523336950 1276227584 238965 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3044.99 Current children cumulated vsize (KiB) 1246316 [startup+822.301 s] /proc/loadavg: 8.12 8.13 7.71 9/184 3483 /proc/meminfo: memFree=28574288/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1287788 CPUtime=3284.65 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 810899 0 0 0 328206 259 0 0 25 0 4 0 523336949 1318694912 247008 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 321947 247008 391 106 0 316918 0 [pid=3446/tid=3447] ppid=3444 vsize=1287788 CPUtime=822.3 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 235149 0 0 0 82154 76 0 0 25 0 4 0 523336950 1318694912 247008 33554432000 4194304 4627427 140735973855968 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1287788 CPUtime=822.23 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 254309 0 0 0 82142 81 0 0 25 0 4 0 523336950 1318694912 247008 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1287788 CPUtime=817.81 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 61068 0 0 0 81762 19 0 0 25 0 4 0 523336950 1318694912 247008 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3284.65 Current children cumulated vsize (KiB) 1287788 [startup+882.307 s] /proc/loadavg: 8.45 8.20 7.76 10/185 3490 /proc/meminfo: memFree=28548416/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1276740 CPUtime=3524.34 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 841195 0 0 0 352163 271 0 0 25 0 4 0 523336949 1307381760 253867 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 319185 253867 391 106 0 314156 0 [pid=3446/tid=3447] ppid=3444 vsize=1276740 CPUtime=882.31 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 241657 0 0 0 88153 78 0 0 25 0 4 0 523336950 1307381760 253867 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1276740 CPUtime=882.23 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 262000 0 0 0 88139 84 0 0 25 0 4 0 523336950 1307381760 253867 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1276740 CPUtime=877.48 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 61072 0 0 0 87729 19 0 0 25 0 4 0 523336950 1307381760 253867 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3524.34 Current children cumulated vsize (KiB) 1276740 [startup+942.301 s] /proc/loadavg: 8.20 8.18 7.78 9/184 3491 /proc/meminfo: memFree=28515720/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1301468 CPUtime=3763.99 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 860292 0 0 0 376117 282 0 0 25 0 4 0 523336949 1332703232 252002 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 325367 252002 391 106 0 320338 0 [pid=3446/tid=3447] ppid=3444 vsize=1301468 CPUtime=942.3 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 244994 0 0 0 94151 79 0 0 25 0 4 0 523336950 1332703232 252002 33554432000 4194304 4627427 140735973855968 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1301468 CPUtime=942.22 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 271995 0 0 0 94133 89 0 0 25 0 4 0 523336950 1332703232 252002 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1301468 CPUtime=937.15 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 61072 0 0 0 93696 19 0 0 25 0 4 0 523336950 1332703232 252002 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3763.99 Current children cumulated vsize (KiB) 1301468 [startup+1002.3 s] /proc/loadavg: 8.10 8.16 7.79 9/184 3493 /proc/meminfo: memFree=28487552/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1369532 CPUtime=4003.66 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 906656 0 0 0 400066 300 0 0 25 0 4 0 523336949 1402400768 263943 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 342383 263943 391 106 0 337354 0 [pid=3446/tid=3447] ppid=3444 vsize=1369532 CPUtime=1002.31 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 257741 0 0 0 100146 85 0 0 25 0 4 0 523336950 1402400768 263943 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1369532 CPUtime=1002.21 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 283192 0 0 0 100127 94 0 0 25 0 4 0 523336950 1402400768 263943 33554432000 4194304 4627427 140735973855968 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1369532 CPUtime=996.82 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 66287 0 0 0 99661 21 0 0 25 0 4 0 523336950 1402400768 263943 33554432000 4194304 4627427 140735973855968 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4003.66 Current children cumulated vsize (KiB) 1369532 [startup+1062.3 s] /proc/loadavg: 8.07 8.14 7.81 9/184 3495 /proc/meminfo: memFree=28436552/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1345896 CPUtime=4243.34 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 943849 0 0 0 424018 316 0 0 25 0 4 0 523336949 1378197504 260951 33554432000 4194304 4627427 140735973855968 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 336474 260951 391 106 0 331445 0 [pid=3446/tid=3447] ppid=3444 vsize=1345896 CPUtime=1062.3 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 264666 0 0 0 106143 87 0 0 25 0 4 0 523336950 1378197504 260951 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1345896 CPUtime=1062.21 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 296580 0 0 0 106121 100 0 0 25 0 4 0 523336950 1378197504 260951 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1345896 CPUtime=1056.5 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 68116 0 0 0 105628 22 0 0 25 0 4 0 523336950 1378197504 260951 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4243.34 Current children cumulated vsize (KiB) 1345896 [startup+1122.3 s] /proc/loadavg: 8.02 8.11 7.82 9/184 3496 /proc/meminfo: memFree=28430948/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1367224 CPUtime=4483.01 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 986774 0 0 0 447966 335 0 0 25 0 4 0 523336949 1400037376 263633 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 341806 263633 391 106 0 336777 0 [pid=3446/tid=3447] ppid=3444 vsize=1367224 CPUtime=1122.31 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 282919 0 0 0 112136 95 0 0 25 0 4 0 523336950 1400037376 263633 33554432000 4194304 4627427 140735973855968 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1367224 CPUtime=1122.2 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 305088 0 0 0 112115 105 0 0 25 0 4 0 523336950 1400037376 263633 33554432000 4194304 4627427 140735973855968 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1367224 CPUtime=1116.17 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 68423 0 0 0 111595 22 0 0 25 0 4 0 523336950 1400037376 263633 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4483.01 Current children cumulated vsize (KiB) 1367224 [startup+1182.3 s] /proc/loadavg: 8.08 8.11 7.83 9/184 3499 /proc/meminfo: memFree=28368044/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1351264 CPUtime=4722.69 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 1035451 0 0 0 471915 354 0 0 25 0 4 0 523336949 1383694336 281215 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 337816 281215 391 106 0 332787 0 [pid=3446/tid=3447] ppid=3444 vsize=1351264 CPUtime=1182.31 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 299412 0 0 0 118131 100 0 0 25 0 4 0 523336950 1383694336 281215 33554432000 4194304 4627427 140735973855968 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1351264 CPUtime=1182.2 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 314915 0 0 0 118112 108 0 0 25 0 4 0 523336950 1383694336 281215 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1351264 CPUtime=1175.85 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 68589 0 0 0 117562 23 0 0 25 0 4 0 523336950 1383694336 281215 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4722.69 Current children cumulated vsize (KiB) 1351264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.11 8.11 7.84 7/183 3500 /proc/meminfo: memFree=28390920/32950928 swapFree=67111464/67111528 [pid=3446] ppid=3444 vsize=1418752 CPUtime=4800.19 cores=1,3,5,7 /proc/3446/stat : 3446 (strangenight2-m) R 3444 3446 2758 0 -1 4202496 1051650 0 0 0 479660 359 0 0 25 0 4 0 523336949 1452802048 276598 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/3446/statm: 354688 276598 391 106 0 349659 0 [pid=3446/tid=3447] ppid=3444 vsize=1418752 CPUtime=1201.72 cores=1,3,5,7 /proc/3446/task/3447/stat : 3447 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 304971 0 0 0 120071 101 0 0 25 0 4 0 523336950 1452802048 276598 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=3446/tid=3448] ppid=3444 vsize=1418752 CPUtime=1201.6 cores=1,3,5,7 /proc/3446/task/3448/stat : 3448 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 316190 0 0 0 120051 109 0 0 25 0 4 0 523336950 1452802048 276598 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=3446/tid=3449] ppid=3444 vsize=1418752 CPUtime=1195.15 cores=1,3,5,7 /proc/3446/task/3449/stat : 3449 (strangenight2-m) R 3444 3446 2758 0 -1 4202560 68589 0 0 0 119492 23 0 0 25 0 4 0 523336950 1452802048 276598 33554432000 4194304 4627427 140735973855968 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.19 Current children cumulated vsize (KiB) 1418752 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.76 CPU time (s): 4800.27 CPU user time (s): 4796.63 CPU system time (s): 3.63845 CPU usage (%): 399.437 Max. virtual memory (cumulated for all children) (KiB): 1515796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4796.63 system time used= 3.63845 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1051651 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= 1402 involuntary context switches= 35640 runsolver used 1.88471 second user time and 4.67729 second system time The end
Begin job on node122 at 2011-04-30 00:49:42 IDJOB=3289058 IDBENCH=83114 IDSOLVER=1586 FILE ID=node122/3289058-1304117381 RUNJOBID= node122-1304116177-3324 PBS_JOBID= 13170682 Free space on /tmp= 71652 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top23.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289058-1304117381/watcher-3289058-1304117381 -o /tmp/evaluation-result-3289058-1304117381/solver-3289058-1304117381 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3289058-1304117381.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6ee28191d649bfeef8c7d8c569a3cd59 RANDOM SEED=402153736 node122.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.820 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.64 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 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.83 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30900592 kB Buffers: 278220 kB Cached: 1278988 kB SwapCached: 64 kB Active: 220768 kB Inactive: 1492968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30900592 kB SwapTotal: 67111528 kB SwapFree: 67111464 kB Dirty: 17100 kB Writeback: 0 kB AnonPages: 155824 kB Mapped: 15656 kB Slab: 272028 kB PageTables: 4668 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 360408 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= 71648 MiB End job on node122 at 2011-04-30 01:09:45