| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.18 | 1203.59 |
| Name | application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf |
| MD5SUM | e822739302a2d834ec9ddfe9fbd0caa2 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 55875 |
| Number of clauses | 177646 |
| Sum of the clauses size | 434144 |
| Maximum clause length | 2255 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 108197 |
| Number of clauses of size 3 | 68250 |
| Number of clauses of size 4 | 252 |
| Number of clauses of size 5 | 20 |
| Number of clauses of size over 5 | 926 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3367259-1305412069.cnf' 0.00/0.01 c -- header says num vars: 55875 0.00/0.01 c -- header says num clauses: 177646 3.55/0.93 c -- clauses added: 0 learnts, 177646 normals, 0 xors 3.55/0.93 c -- vars added 55875 3.55/0.93 c Parsing time: 0.06 s 3.55/0.93 c N st 0 0 55875 67709 99184 0 407954 0 no data no data 3.97/1.09 c asymm cl-useful: 17/20804/67709 lits-rem:58 time: 1.00 48.23/12.14 c Flit: 127 Blit: 18358 bXBeca: 0 bXProp: 14705 Bins: 0 BRemL: 0 BRemN: 0 P: 173.4M T: 10.87 48.23/12.15 c Cleaning up after failed var search: 0.01 s 48.23/12.16 c Replacing 14705 vars Replaced 270731 lits Time: 0.02 s 48.23/12.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 48.23/12.18 c bin-w-bin subsume rem 2372 bins time: 0.00 s 48.23/12.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 48.58/12.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 19136 time: 0.02 s 48.58/12.24 c Removed useless bin: 39 fixed: 0 props: 3.54M time: 0.02 s 48.98/12.31 c lits-rem: 7 cl-subs: 766 v-elim: 6378 v-fix: 0 time: 0.07 s 49.78/12.59 c Finding binary XORs T: 0.28 s found: 22 50.18/12.60 c Replacing 22 vars Replaced 261 lits Time: 0.00 s 50.18/12.63 c Finding non-binary XORs: 0.02 s (found: 5334, avg size: 3.0) 50.18/12.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 880 locsubst: 3234 time: 0.01 50.18/12.63 c Replacing 1617 vars Replaced 9702 lits Time: 0.00 s 50.18/12.64 c calculated reachability. Time: 0.01 50.18/12.64 c Calc default polars - time: 0.00 s pos: 1464 undec: 45857 neg: 8554 50.18/12.64 c ========================================================================================= 50.18/12.64 c types(t): F = full restart, N = normal restart 50.18/12.64 c types(t): S = simplification begin/end, E = solution found 50.18/12.64 c restart types(rt): st = static, dy = dynamic 50.18/12.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 50.18/12.64 c B st 0 0 10239 15615 17026 0 113584 0 no data no data 50.98/12.82 c Decided on static restart strategy 51.78/13.10 c N st 8 4915 10229 15615 17449 4431 113584 122575 no data no data 56.17/14.10 c N st 10 11299 10186 15615 18816 10584 113584 375509 no data no data 56.59/14.30 c Finding binary XORs T: 0.19 s found: 125 56.59/14.31 c Replacing 205 vars Replaced 4103 lits Time: 0.01 s 59.35/14.92 c N st 11 17043 9746 14956 17241 14029 107453 565805 no data no data 63.34/15.98 c F st 12 25002 9746 14956 17608 13549 107453 422360 no data no data 63.34/15.99 c N st 12 25002 9746 14956 17608 13549 107453 422360 no data no data 66.13/16.61 c Decided on static restart strategy 66.13/16.61 c N st 18 30000 9745 14956 17876 18381 107453 559704 no data no data 66.13/16.61 c S st 18 30000 9745 14956 17876 18381 107453 559704 no data no data 66.52/16.75 c S st 18 30502 9745 14956 17933 18825 107453 566818 no data no data 66.52/16.76 c x-sub: 1458 x-cut: 0 vfix: 0 v-elim: 411 locsubst: 0 time: 0.01 69.33/17.42 c Flit: 49 Blit: 29 bXBeca: 0 bXProp: 46 Bins: 85472 BRemL: 45187 BRemN: 22 P: 10.5M T: 0.65 69.33/17.44 c Replacing 82 vars Replaced 13671 lits Time: 0.01 s 69.33/17.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 69.33/17.45 c bin-w-bin subsume rem 598 bins time: 0.00 s 69.33/17.46 c subs with bin: 342 lits-rem: 172 v-fix: 0 time: 0.01 s 69.33/17.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9119 time: 0.01 s 69.33/17.48 c Removed useless bin: 74 fixed: 0 props: 0.33M time: 0.00 s 69.74/17.51 c lits-rem: 271 cl-subs: 255 v-elim: 1459 v-fix: 0 time: 0.03 s 70.17/17.62 c subs with bin: 136 lits-rem: 12361 v-fix: 0 time: 0.10 s 70.52/17.73 c lits-rem: 1186 cl-subs: 583 v-elim: 0 v-fix: 0 time: 0.10 s 70.92/17.88 c asymm cl-useful: 110/13985/13985 lits-rem:460 time: 0.15 70.92/17.89 c calculated reachability. Time: 0.00 70.92/17.89 c N st 18 30502 7660 13985 40293 11277 92304 330799 no data no data 71.72/18.08 c Finding binary XORs T: 0.19 s found: 0 74.90/18.81 c N st 20 37612 7659 13985 61936 18124 92304 611029 no data no data 75.30/18.99 c Finding binary XORs T: 0.17 s found: 28 78.94/19.84 c N st 21 44012 7630 13975 60024 13695 91469 457439 no data no data 79.70/20.03 c Finding binary XORs T: 0.17 s found: 2 80.49/20.22 c S st 22 45753 7627 13973 77646 15367 91356 537985 no data no data 80.89/20.33 c S st 22 46256 7627 13973 77652 15862 91356 548710 no data no data 80.89/20.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 202 locsubst: 0 time: 0.01 82.09/20.66 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 32 Bins: 9815 BRemL: 40277 BRemN: 236 P: 5.4M T: 0.32 82.09/20.67 c Replacing 62 vars Replaced 3716 lits Time: 0.01 s 82.09/20.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 82.09/20.68 c bin-w-bin subsume rem 5443 bins time: 0.00 s 82.09/20.69 c subs with bin: 122 lits-rem: 107 v-fix: 0 time: 0.01 s 82.49/20.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7360 time: 0.01 s 82.49/20.70 c Removed useless bin: 4 fixed: 0 props: 0.20M time: 0.00 s 82.49/20.72 c lits-rem: 31 cl-subs: 71 v-elim: 29 v-fix: 0 time: 0.01 s 82.49/20.80 c subs with bin: 71 lits-rem: 1524 v-fix: 0 time: 0.07 s 83.33/20.96 c lits-rem: 996 cl-subs: 326 v-elim: 0 v-fix: 0 time: 0.16 s 83.33/20.97 c vivif2 -- cl tried 13730 cl shrink 34 lits rem 62 time: 0.00 83.33/20.99 c vivif2 -- cl tried 14184 cl shrink 3945 lits rem 20150 time: 0.02 84.08/21.13 c asymm cl-useful: 32/13703/13703 lits-rem:91 time: 0.14 84.08/21.13 c calculated reachability. Time: 0.00 84.08/21.13 c N st 22 46256 7331 13703 37562 14164 89438 403117 no data no data 84.88/21.31 c Finding binary XORs T: 0.17 s found: 0 90.46/22.75 c N st 23 60655 7331 13703 37565 28118 89438 897562 no data no data 91.26/22.93 c Finding binary XORs T: 0.17 s found: 2 94.85/23.88 c N st 24 69384 7327 13701 40550 21654 89361 523724 no data no data 94.85/23.88 c S st 24 69384 7327 13701 40550 21654 89361 523724 no data no data 95.64/24.06 c Finding binary XORs T: 0.17 s found: 0 96.06/24.18 c S st 24 69884 7327 13701 50114 22151 89361 556023 no data no data 96.06/24.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 98 locsubst: 0 time: 0.01 97.24/24.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 1007 BRemL: 11311 BRemN: 19 P: 5.2M T: 0.26 97.24/24.46 c Replacing 4 vars Replaced 358 lits Time: 0.01 s 97.24/24.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 97.24/24.47 c bin-w-bin subsume rem 2772 bins time: 0.00 s 97.24/24.48 c subs with bin: 16 lits-rem: 21 v-fix: 0 time: 0.01 s 97.24/24.49 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 7225 time: 0.01 s 97.24/24.49 c Removed useless bin: 3 fixed: 0 props: 0.20M time: 0.00 s 97.64/24.51 c lits-rem: 2 cl-subs: 13 v-elim: 12 v-fix: 0 time: 0.02 s 98.04/24.60 c subs with bin: 12 lits-rem: 984 v-fix: 0 time: 0.08 s 98.84/24.80 c lits-rem: 884 cl-subs: 675 v-elim: 0 v-fix: 0 time: 0.20 s 98.84/24.80 c vivif2 -- cl tried 13657 cl shrink 1 lits rem 1 time: 0.00 98.84/24.83 c vivif2 -- cl tried 20724 cl shrink 2480 lits rem 10348 time: 0.02 99.24/24.98 c asymm cl-useful: 103/13657/13657 lits-rem:324 time: 0.15 99.24/24.98 c calculated reachability. Time: 0.00 99.24/24.98 c N st 24 69884 7213 13642 36698 20723 88604 482842 no data no data 110.80/27.88 c F st 25 87502 7213 13642 36725 37935 88604 1026448 no data no data 110.80/27.89 c N st 25 87502 7213 13642 36725 37935 88604 1026448 no data no data 111.60/28.07 c Finding binary XORs T: 0.17 s found: 8 114.39/28.72 c Decided on static restart strategy 115.59/29.01 c N st 32 95539 7207 13638 37266 27785 88450 618417 no data no data 120.78/30.35 c N st 34 104826 7206 13638 38085 36871 88450 920167 no data no data 120.78/30.35 c S st 34 104826 7206 13638 38085 36871 88450 920167 no data no data 121.58/30.53 c Finding binary XORs T: 0.17 s found: 2 121.98/30.67 c S st 34 105327 7204 13636 39102 37355 88347 932282 no data no data 121.98/30.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 34 locsubst: 0 time: 0.01 123.57/31.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 909 BRemL: 3731 BRemN: 4 P: 7.9M T: 0.35 123.57/31.03 c Replacing 12 vars Replaced 1318 lits Time: 0.01 s 123.57/31.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 123.57/31.04 c bin-w-bin subsume rem 340 bins time: 0.00 s 123.57/31.05 c subs with bin: 80 lits-rem: 34 v-fix: 0 time: 0.01 s 123.57/31.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7158 time: 0.01 s 123.57/31.06 c Removed useless bin: 7 fixed: 0 props: 0.20M time: 0.00 s 123.57/31.08 c lits-rem: 3 cl-subs: 41 v-elim: 10 v-fix: 0 time: 0.02 s 124.76/31.33 c subs with bin: 60 lits-rem: 2828 v-fix: 0 time: 0.22 s 126.36/31.76 c lits-rem: 2657 cl-subs: 1141 v-elim: 0 v-fix: 0 time: 0.42 s 126.36/31.76 c vivif2 -- cl tried 13522 cl shrink 1 lits rem 1 time: 0.00 126.78/31.82 c vivif2 -- cl tried 36073 cl shrink 7798 lits rem 32226 time: 0.06 127.55/32.03 c asymm cl-useful: 52/13522/13522 lits-rem:117 time: 0.21 127.55/32.03 c calculated reachability. Time: 0.00 127.55/32.03 c N st 34 105327 7148 13515 35068 36072 87515 857953 no data no data 128.35/32.20 c Finding binary XORs T: 0.17 s found: 1 132.74/33.38 c N st 35 114925 7148 13515 35071 24968 87515 490059 no data no data 139.94/35.15 c N st 36 129322 7146 13515 35795 38700 87515 965628 no data no data 140.71/35.33 c Finding binary XORs T: 0.17 s found: 0 147.10/36.94 c N st 37 150917 7141 13511 35834 36719 87296 671682 no data no data 150.28/37.70 c S st 38 157991 7141 13511 35964 43522 87296 870511 no data no data 150.69/37.87 c S st 38 158494 7141 13511 35974 44024 87296 887153 no data no data 150.69/37.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 152.29/38.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 1888 BRemL: 3887 BRemN: 2 P: 6.7M T: 0.32 152.29/38.21 c Replacing 8 vars Replaced 659 lits Time: 0.01 s 152.29/38.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 152.29/38.21 c bin-w-bin subsume rem 242 bins time: 0.00 s 152.29/38.22 c subs with bin: 23 lits-rem: 27 v-fix: 0 time: 0.01 s 152.29/38.23 c Subs w/ non-existent bins: 0 l-rem: 3 v-fix: 0 done: 7133 time: 0.01 s 152.29/38.24 c Removed useless bin: 0 fixed: 0 props: 0.20M time: 0.00 s 152.29/38.26 c lits-rem: 1 cl-subs: 23 v-elim: 13 v-fix: 0 time: 0.02 s 153.11/38.43 c subs with bin: 52 lits-rem: 908 v-fix: 0 time: 0.15 s 156.67/39.30 c lits-rem: 2077 cl-subs: 1719 v-elim: 0 v-fix: 0 time: 0.87 s 156.67/39.30 c vivif2 -- cl tried 13455 cl shrink 9 lits rem 9 time: 0.00 156.67/39.36 c vivif2 -- cl tried 42047 cl shrink 6495 lits rem 45366 time: 0.05 157.49/39.55 c asymm cl-useful: 53/13451/13451 lits-rem:164 time: 0.20 157.49/39.56 c calculated reachability. Time: 0.00 157.49/39.56 c N st 38 158494 7120 13443 33615 42043 86911 799906 no data no data 158.27/39.73 c Finding binary XORs T: 0.17 s found: 1 186.59/46.80 c N st 39 207083 7120 13443 33616 41963 86911 1210751 no data no data 186.99/46.99 c Finding binary XORs T: 0.17 s found: 1 201.79/50.63 c N st 40 237743 7119 13442 35056 45473 86884 1355752 no data no data 201.79/50.63 c S st 40 237743 7119 13442 35056 45473 86884 1355752 no data no data 202.54/50.80 c Finding binary XORs T: 0.17 s found: 1 202.94/50.99 c S st 40 238244 7119 13442 36456 45973 86884 1375386 no data no data 203.34/51.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 204.54/51.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 584 BRemL: 3120 BRemN: 3 P: 7.1M T: 0.32 204.54/51.33 c Replacing 3 vars Replaced 167 lits Time: 0.01 s 204.54/51.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 204.54/51.34 c bin-w-bin subsume rem 334 bins time: 0.00 s 204.54/51.34 c subs with bin: 8 lits-rem: 12 v-fix: 0 time: 0.01 s 204.54/51.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7116 time: 0.01 s 204.54/51.36 c Removed useless bin: 1 fixed: 0 props: 0.20M time: 0.00 s 204.54/51.38 c lits-rem: 1 cl-subs: 14 v-elim: 15 v-fix: 0 time: 0.02 s 206.18/51.75 c subs with bin: 23 lits-rem: 500 v-fix: 0 time: 0.33 s 223.73/56.17 c lits-rem: 3511 cl-subs: 1656 v-elim: 0 v-fix: 0 time: 4.42 s 223.73/56.17 c vivif2 -- cl tried 13417 cl shrink 5 lits rem 9 time: 0.00 224.07/56.26 c vivif2 -- cl tried 44284 cl shrink 6649 lits rem 35278 time: 0.08 224.87/56.46 c asymm cl-useful: 21/13413/13413 lits-rem:28 time: 0.20 224.87/56.46 c calculated reachability. Time: 0.00 224.87/56.46 c N st 40 238244 7101 13412 33516 44283 86641 1272804 no data no data 260.38/65.33 c F st 41 306250 7101 13412 33516 54523 86641 2757252 no data no data 260.38/65.34 c N st 41 306250 7101 13412 33516 54523 86641 2757252 no data no data 261.18/65.54 c Finding binary XORs T: 0.18 s found: 2 265.16/66.52 c Decided on static restart strategy 276.38/69.39 c N st 51 334550 7098 13409 34055 53398 86583 1276198 no data no data 283.92/71.23 c Finding binary XORs T: 0.17 s found: 0 287.50/72.14 c N st 53 357366 7095 13401 33984 45472 86530 1061007 no data no data 287.50/72.14 c S st 53 357366 7095 13401 33984 45472 86530 1061007 no data no data 288.30/72.31 c S st 53 357870 7095 13401 33986 45972 86529 1077829 no data no data 288.30/72.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 289.54/72.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 802 BRemL: 1598 BRemN: 1 P: 8.4M T: 0.35 289.54/72.67 c Replacing 6 vars Replaced 540 lits Time: 0.01 s 289.54/72.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 289.54/72.68 c bin-w-bin subsume rem 186 bins time: 0.00 s 289.54/72.69 c subs with bin: 14 lits-rem: 20 v-fix: 0 time: 0.01 s 289.89/72.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7089 time: 0.01 s 289.89/72.70 c Removed useless bin: 0 fixed: 0 props: 0.20M time: 0.00 s 289.89/72.72 c lits-rem: 1 cl-subs: 16 v-elim: 2 v-fix: 0 time: 0.02 s 290.68/72.96 c subs with bin: 33 lits-rem: 1000 v-fix: 0 time: 0.21 s 295.48/74.14 c lits-rem: 1931 cl-subs: 1502 v-elim: 0 v-fix: 0 time: 1.18 s 295.48/74.15 c vivif2 -- cl tried 13373 cl shrink 3 lits rem 3 time: 0.00 295.88/74.20 c vivif2 -- cl tried 43571 cl shrink 4317 lits rem 24113 time: 0.06 296.68/74.42 c asymm cl-useful: 17/13373/13373 lits-rem:32 time: 0.21 296.68/74.42 c calculated reachability. Time: 0.00 296.68/74.42 c N st 53 357870 7087 13370 32655 43571 86352 955591 no data no data 311.82/78.29 c N st 54 390262 7087 13370 32655 44219 86352 1229882 no data no data 312.62/78.48 c Finding binary XORs T: 0.17 s found: 0 334.56/83.95 c N st 55 438850 7086 13369 33320 59063 86302 1590399 no data no data 335.36/84.13 c Finding binary XORs T: 0.17 s found: 0 385.23/96.61 c N st 56 511732 7085 13367 33440 64570 86288 1959958 no data no data 403.20/101.12 c N st 57 536806 7085 13367 33480 54181 86288 1293907 no data no data 403.20/101.12 c S st 57 536806 7085 13367 33480 54181 86288 1293907 no data no data 403.97/101.33 c S st 57 537307 7085 13367 33486 54678 86288 1307205 no data no data 403.97/101.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 405.57/101.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 600 BRemL: 1812 BRemN: 0 P: 8.7M T: 0.38 405.57/101.73 c Replacing 1 vars Replaced 20 lits Time: 0.01 s 405.57/101.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 405.57/101.73 c bin-w-bin subsume rem 98 bins time: 0.00 s 405.57/101.74 c subs with bin: 4 lits-rem: 7 v-fix: 0 time: 0.01 s 405.57/101.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7083 time: 0.01 s 405.57/101.75 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.00 s 405.57/101.78 c lits-rem: 0 cl-subs: 6 v-elim: 4 v-fix: 0 time: 0.03 s 406.77/102.09 c subs with bin: 99 lits-rem: 1467 v-fix: 0 time: 0.27 s 413.54/103.70 c lits-rem: 2768 cl-subs: 3725 v-elim: 0 v-fix: 0 time: 1.61 s 413.54/103.71 c vivif2 -- cl tried 13360 cl shrink 3 lits rem 5 time: 0.00 413.54/103.78 c vivif2 -- cl tried 50833 cl shrink 6855 lits rem 37953 time: 0.07 415.14/104.11 c asymm cl-useful: 42/13357/13357 lits-rem:43 time: 0.33 415.14/104.12 c calculated reachability. Time: 0.00 415.14/104.12 c N st 57 537307 7079 13357 31866 50831 86193 1166925 no data no data 415.54/104.29 c Finding binary XORs T: 0.17 s found: 0 505.29/126.78 c N st 58 701291 7079 13357 31867 59730 86193 1915834 no data no data 506.09/126.97 c Finding binary XORs T: 0.17 s found: 1 572.70/143.62 c N st 59 805960 7077 13356 32020 80396 86137 3936805 no data no data 572.70/143.62 c S st 59 805960 7077 13356 32020 80396 86137 3936805 no data no data 573.50/143.81 c Finding binary XORs T: 0.17 s found: 0 574.32/144.10 c S st 59 806460 7074 13348 31721 80877 86085 3950256 no data no data 574.74/144.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 576.29/144.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 637 BRemL: 783 BRemN: 0 P: 10.3M T: 0.45 576.29/144.58 c Replacing 6 vars Replaced 233 lits Time: 0.01 s 576.29/144.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 576.29/144.59 c bin-w-bin subsume rem 83 bins time: 0.00 s 576.69/144.60 c subs with bin: 82 lits-rem: 13 v-fix: 0 time: 0.01 s 576.69/144.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7068 time: 0.01 s 576.69/144.61 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.00 s 576.69/144.66 c lits-rem: 0 cl-subs: 14 v-elim: 1 v-fix: 0 time: 0.04 s 580.67/145.64 c subs with bin: 54 lits-rem: 704 v-fix: 0 time: 0.86 s 651.67/163.42 c lits-rem: 6656 cl-subs: 2832 v-elim: 0 v-fix: 0 time: 17.78 s 651.67/163.42 c vivif2 -- cl tried 13249 cl shrink 2 lits rem 2 time: 0.00 652.87/163.71 c vivif2 -- cl tried 77989 cl shrink 20153 lits rem 442031 time: 0.28 654.06/164.06 c asymm cl-useful: 45/10723/13249 lits-rem:70 time: 0.35 654.06/164.07 c calculated reachability. Time: 0.00 654.06/164.07 c N st 59 806460 7067 13247 31348 77987 85694 3290416 no data no data 654.86/164.24 c Finding binary XORs T: 0.17 s found: 0 873.44/219.03 c F st 60 1071875 7067 13247 31349 71953 85694 2056078 no data no data 873.44/219.04 c N st 60 1071875 7067 13247 31349 71953 85694 2056078 no data no data 874.24/219.23 c Finding binary XORs T: 0.17 s found: 2 877.47/220.09 c Decided on static restart strategy 890.64/223.36 c N st 70 1100177 7064 13246 32572 52063 85653 1085368 no data no data 901.36/226.05 c Finding binary XORs T: 0.17 s found: 0 912.15/228.76 c N st 72 1136170 7064 13244 32406 86556 85640 2490225 no data no data 929.71/233.11 c N st 73 1168562 7064 13244 32408 69971 85640 1679247 no data no data 960.42/240.85 c N st 74 1209690 7064 13244 32409 59957 85640 1313342 no data no data 960.42/240.86 c S st 74 1209690 7064 13244 32409 59957 85640 1313342 no data no data 961.19/241.07 c S st 74 1210192 7064 13244 32418 60457 85640 1325219 no data no data 961.19/241.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 962.79/241.47 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 2 Bins: 689 BRemL: 2035 BRemN: 1 P: 8.7M T: 0.39 962.79/241.49 c Replacing 4 vars Replaced 83 lits Time: 0.02 s 962.79/241.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 963.19/241.50 c bin-w-bin subsume rem 211 bins time: 0.00 s 963.19/241.50 c subs with bin: 15 lits-rem: 12 v-fix: 0 time: 0.01 s 963.19/241.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7058 time: 0.01 s 963.19/241.52 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.01 s 963.19/241.55 c lits-rem: 0 cl-subs: 23 v-elim: 22 v-fix: 0 time: 0.03 s 964.39/241.86 c subs with bin: 31 lits-rem: 669 v-fix: 0 time: 0.28 s 970.77/243.45 c lits-rem: 2533 cl-subs: 2262 v-elim: 0 v-fix: 0 time: 1.58 s 970.77/243.45 c vivif2 -- cl tried 13187 cl shrink 4 lits rem 4 time: 0.00 971.17/243.52 c vivif2 -- cl tried 57997 cl shrink 4878 lits rem 29547 time: 0.07 971.17/243.56 c asymm cl-useful: 0/2461/13184 lits-rem:0 time: 0.04 971.17/243.57 c calculated reachability. Time: 0.00 971.17/243.57 c N st 74 1210192 7036 13184 30180 57997 85280 1238011 no data no data 971.97/243.74 c Finding binary XORs T: 0.17 s found: 0 1023.82/256.75 c N st 75 1283076 7036 13184 30181 78923 85280 2622538 no data no data 1024.61/256.94 c Finding binary XORs T: 0.17 s found: 0 1096.01/274.81 c N st 76 1392402 7035 13182 30734 79606 85231 1887419 no data no data 1227.23/307.75 c N st 77 1556387 7034 13182 30811 75080 85230 1545994 no data no data 1376.41/345.15 c N st 78 1710193 7034 13182 30899 113179 85230 2799525 no data no data 1376.41/345.15 c S st 78 1710193 7034 13182 30899 113179 85230 2799525 no data no data 1377.23/345.34 c Finding binary XORs T: 0.17 s found: 5 1378.39/345.62 c S st 78 1710694 7030 13172 30442 113661 85135 2813819 no data no data 1378.39/345.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1380.79/346.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 210 BRemL: 932 BRemN: 1 P: 13.6M T: 0.60 1380.79/346.25 c Replacing 6 vars Replaced 146 lits Time: 0.01 s 1380.79/346.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1380.79/346.26 c bin-w-bin subsume rem 125 bins time: 0.00 s 1380.79/346.27 c subs with bin: 24 lits-rem: 18 v-fix: 0 time: 0.01 s 1380.79/346.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7024 time: 0.01 s 1380.79/346.28 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.00 s 1381.19/346.32 c lits-rem: 0 cl-subs: 17 v-elim: 8 v-fix: 0 time: 0.04 s 1383.98/347.09 c subs with bin: 89 lits-rem: 1909 v-fix: 0 time: 0.68 s 1417.48/355.43 c lits-rem: 18052 cl-subs: 6489 v-elim: 0 v-fix: 0 time: 8.34 s 1417.48/355.44 c vivif2 -- cl tried 13129 cl shrink 6 lits rem 6 time: 0.00 1418.28/355.66 c vivif2 -- cl tried 106977 cl shrink 22112 lits rem 80751 time: 0.22 1419.88/356.05 c asymm cl-useful: 39/6465/13129 lits-rem:46 time: 0.39 1419.88/356.06 c calculated reachability. Time: 0.00 1419.88/356.06 c N st 78 1710694 7016 13129 29011 106974 84911 2555172 no data no data 1420.68/356.23 c Finding binary XORs T: 0.17 s found: 0 1725.00/432.53 c N st 79 2079659 7016 13129 29013 100057 84911 2261646 no data no data 1725.80/432.73 c Finding binary XORs T: 0.17 s found: 1 1827.51/458.22 c N st 80 2210696 7015 13128 29180 98959 84884 2616854 no data no data 1827.51/458.22 c S st 80 2210696 7015 13128 29180 98959 84884 2616854 no data no data 1828.31/458.49 c S st 80 2211199 7015 13128 29314 99461 84884 2632087 no data no data 1828.71/458.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1830.70/459.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 134 BRemL: 417 BRemN: 0 P: 12.0M T: 0.52 1830.70/459.04 c Replacing 1 vars Replaced 141 lits Time: 0.01 s 1830.70/459.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1830.70/459.05 c bin-w-bin subsume rem 67 bins time: 0.00 s 1830.70/459.06 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.01 s 1830.70/459.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7014 time: 0.01 s 1830.70/459.07 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.00 s 1831.10/459.11 c lits-rem: 0 cl-subs: 14 v-elim: 8 v-fix: 0 time: 0.04 s 1833.52/459.79 c subs with bin: 36 lits-rem: 128 v-fix: 0 time: 0.61 s 1855.04/465.20 c lits-rem: 4901 cl-subs: 3917 v-elim: 0 v-fix: 0 time: 5.40 s 1855.04/465.20 c vivif2 -- cl tried 13115 cl shrink 2 lits rem 2 time: 0.00 1856.23/465.41 c vivif2 -- cl tried 95384 cl shrink 17323 lits rem 139854 time: 0.20 1856.63/465.57 c asymm cl-useful: 2/6650/13115 lits-rem:6 time: 0.16 1856.63/465.58 c calculated reachability. Time: 0.00 1856.63/465.58 c N st 80 2211199 7006 13113 28712 95384 84764 2401316 no data no data 1857.42/465.75 c Finding binary XORs T: 0.17 s found: 1 2475.63/620.77 c N st 81 2711202 7006 13113 28729 100655 84764 2149196 no data no data 2475.63/620.77 c S st 81 2711202 7006 13113 28729 100655 84764 2149196 no data no data 2476.43/620.96 c Finding binary XORs T: 0.17 s found: 1 2477.63/621.27 c S st 81 2711702 7004 13111 28736 101150 84725 2163353 no data no data 2477.63/621.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2480.02/621.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 114 BRemL: 397 BRemN: 0 P: 13.2M T: 0.57 2480.02/621.87 c Replacing 3 vars Replaced 395 lits Time: 0.01 s 2480.02/621.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2480.02/621.88 c bin-w-bin subsume rem 53 bins time: 0.00 s 2480.02/621.89 c subs with bin: 6 lits-rem: 7 v-fix: 0 time: 0.01 s 2480.02/621.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7001 time: 0.01 s 2480.42/621.90 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.00 s 2480.42/621.94 c lits-rem: 0 cl-subs: 4 v-elim: 2 v-fix: 0 time: 0.04 s 2482.02/622.39 c subs with bin: 35 lits-rem: 326 v-fix: 0 time: 0.39 s 2498.36/626.48 c lits-rem: 14013 cl-subs: 4055 v-elim: 0 v-fix: 0 time: 4.08 s 2498.36/626.48 c vivif2 -- cl tried 13098 cl shrink 1 lits rem 1 time: 0.00 2499.16/626.61 c vivif2 -- cl tried 96899 cl shrink 9431 lits rem 43426 time: 0.13 2500.38/627.00 c asymm cl-useful: 28/6828/13098 lits-rem:32 time: 0.39 2500.80/627.01 c calculated reachability. Time: 0.00 2500.80/627.01 c N st 81 2711702 6999 13098 28398 96898 84645 2007008 no data no data 2965.43/743.58 c N st 82 3211703 6999 13098 28399 125247 84645 2465232 no data no data 2965.43/743.58 c S st 82 3211703 6999 13098 28399 125247 84645 2465232 no data no data 2966.20/743.75 c Finding binary XORs T: 0.17 s found: 0 2967.40/744.04 c S st 82 3212204 6999 13098 28516 125746 84645 2479648 no data no data 2967.40/744.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2969.81/744.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 68 BRemL: 177 BRemN: 1 P: 15.2M T: 0.62 2969.81/744.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2969.81/744.69 c bin-w-bin subsume rem 42 bins time: 0.00 s 2969.81/744.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2969.81/744.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6999 time: 0.01 s 2969.81/744.71 c Removed useless bin: 1 fixed: 0 props: 0.21M time: 0.00 s 2970.23/744.75 c lits-rem: 0 cl-subs: 5 v-elim: 2 v-fix: 0 time: 0.04 s 2971.78/745.18 c subs with bin: 6 lits-rem: 37 v-fix: 0 time: 0.35 s 3033.20/760.53 c lits-rem: 19459 cl-subs: 9115 v-elim: 0 v-fix: 0 time: 15.35 s 3033.20/760.54 c vivif2 -- cl tried 13094 cl shrink 0 lits rem 0 time: 0.00 3034.00/760.72 c vivif2 -- cl tried 116501 cl shrink 6482 lits rem 22372 time: 0.18 3034.80/760.94 c asymm cl-useful: 0/6266/13094 lits-rem:0 time: 0.22 3034.80/760.95 c calculated reachability. Time: 0.00 3034.80/760.95 c N st 82 3212204 6997 13094 28215 116501 84607 2263238 no data no data 3757.08/942.05 c N st 83 3712205 6997 13094 28224 123040 84607 2933511 no data no data 3757.08/942.05 c S st 83 3712205 6997 13094 28224 123040 84607 2933511 no data no data 3757.88/942.24 c Finding binary XORs T: 0.17 s found: 1 3759.50/942.63 c S st 83 3712709 6996 13088 28626 123532 84556 2950160 no data no data 3759.50/942.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3762.27/943.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 178 BRemL: 447 BRemN: 0 P: 15.8M T: 0.69 3762.27/943.35 c Replacing 1 vars Replaced 17 lits Time: 0.02 s 3762.27/943.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3762.27/943.36 c bin-w-bin subsume rem 58 bins time: 0.00 s 3762.27/943.37 c subs with bin: 4 lits-rem: 4 v-fix: 0 time: 0.01 s 3762.27/943.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6995 time: 0.01 s 3762.27/943.38 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.00 s 3762.67/943.43 c lits-rem: 0 cl-subs: 3 v-elim: 1 v-fix: 0 time: 0.05 s 3765.45/944.11 c subs with bin: 72 lits-rem: 298 v-fix: 0 time: 0.59 s 3803.37/953.70 c lits-rem: 9781 cl-subs: 7210 v-elim: 0 v-fix: 0 time: 9.58 s 3803.37/953.70 c vivif2 -- cl tried 13079 cl shrink 1 lits rem 1 time: 0.00 3804.54/953.93 c vivif2 -- cl tried 116250 cl shrink 18027 lits rem 100678 time: 0.23 3806.14/954.34 c asymm cl-useful: 19/4530/13079 lits-rem:23 time: 0.41 3806.14/954.35 c calculated reachability. Time: 0.00 3806.14/954.35 c N st 83 3712709 6994 13079 28301 116250 84485 2626573 no data no data 3845.63/964.25 c F st 84 3751563 6994 13079 28301 153676 84485 3748900 no data no data 3845.63/964.26 c N st 84 3751563 6994 13079 28301 153676 84485 3748900 no data no data 3846.43/964.43 c Finding binary XORs T: 0.17 s found: 0 3852.05/965.88 c Decided on static restart strategy 3879.53/972.74 c N st 94 3779872 6993 13079 28495 96559 84485 1774786 no data no data 3911.83/980.83 c N st 96 3815866 6993 13079 28499 131036 84485 2893676 no data no data 3940.95/988.11 c N st 97 3848260 6993 13079 28499 161074 84485 3690279 no data no data 3991.62/1000.87 c N st 98 3896848 6993 13079 28499 122072 84485 2232932 no data no data 4072.16/1021.02 c N st 99 3969730 6993 13079 28502 106943 84485 2182513 no data no data 4072.97/1021.21 c Finding binary XORs T: 0.17 s found: 0 4162.71/1043.72 c N st 100 4079053 6991 13077 28149 124190 84431 2418286 no data no data 4313.47/1081.58 c N st 101 4212709 6991 13077 28166 166071 84431 3722826 no data no data 4313.47/1081.58 c S st 101 4212709 6991 13077 28166 166071 84431 3722826 no data no data 4315.47/1082.05 c S st 101 4213211 6990 13077 28293 166571 84431 3739764 no data no data 4315.47/1082.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4319.05/1082.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 101 BRemL: 421 BRemN: 0 P: 19.7M T: 0.83 4319.05/1082.95 c Replacing 5 vars Replaced 633 lits Time: 0.05 s 4319.05/1082.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4319.05/1082.96 c bin-w-bin subsume rem 109 bins time: 0.00 s 4319.05/1082.96 c subs with bin: 13 lits-rem: 14 v-fix: 0 time: 0.01 s 4319.05/1082.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6985 time: 0.01 s 4319.05/1082.98 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.00 s 4319.45/1083.03 c lits-rem: 0 cl-subs: 11 v-elim: 0 v-fix: 0 time: 0.06 s 4322.65/1083.82 c subs with bin: 44 lits-rem: 152 v-fix: 0 time: 0.67 s 4391.27/1101.05 c lits-rem: 9074 cl-subs: 11720 v-elim: 0 v-fix: 0 time: 17.22 s 4391.27/1101.05 c vivif2 -- cl tried 13041 cl shrink 1 lits rem 1 time: 0.00 4392.44/1101.38 c vivif2 -- cl tried 154752 cl shrink 22878 lits rem 72879 time: 0.33 4394.04/1101.76 c asymm cl-useful: 1/8511/13041 lits-rem:1 time: 0.38 4394.04/1101.77 c calculated reachability. Time: 0.00 4394.04/1101.77 c N st 101 4213211 6985 13041 27828 154752 84306 3390444 no data no data 4394.84/1101.94 c Finding binary XORs T: 0.17 s found: 0 4672.04/1171.44 c N st 102 4459187 6985 13041 27828 120532 84306 1961297 no data no data
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-3367259-1305412069/watcher-3367259-1305412069 -o /tmp/evaluation-result-3367259-1305412069/solver-3367259-1305412069 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367259-1305412069.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: 5.78 7.47 7.87 5/358 18300 /proc/meminfo: memFree=24234032/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 633622347 52396032 347 33554432000 4194304 4580107 140735036850272 18446744073709551615 47072782616498 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 12792 347 299 95 0 7774 0 [pid=18300/tid=18301] ppid=18298 vsize=51168 CPUtime=0.01 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 4 0 633622348 52396032 347 33554432000 4194304 4580107 140735036850272 18446744073709551615 47072782616502 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 633622348 52396032 347 33554432000 4194304 4580107 140735036850272 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 633622348 52396032 347 33554432000 4194304 4580107 140735036850272 18446744073709551615 47072782616498 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.0208191 s] /proc/loadavg: 5.78 7.47 7.87 5/358 18300 /proc/meminfo: memFree=24234032/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=258616 CPUtime=0.04 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 6032 0 0 0 3 1 0 0 18 0 4 0 633622347 264822784 5025 33554432000 4194304 4580107 140735036850272 18446744073709551615 228095148128 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 64654 5029 334 95 0 59636 0 [pid=18300/tid=18301] ppid=18298 vsize=258616 CPUtime=0.01 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 1416 0 0 0 1 0 0 0 18 0 4 0 633622348 264822784 5036 33554432000 4194304 4580107 140735036850272 18446744073709551615 228095148217 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=258900 CPUtime=0 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 1373 0 0 0 0 0 0 0 24 0 4 0 633622348 265113600 5042 33554432000 4194304 4580107 140735036850272 18446744073709551615 228095147787 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=258900 CPUtime=0.01 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 1428 0 0 0 1 0 0 0 18 0 4 0 633622348 265113600 5057 33554432000 4194304 4580107 140735036850272 18446744073709551615 228095148128 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 258616 [startup+0.100809 s] /proc/loadavg: 5.78 7.47 7.87 5/358 18300 /proc/meminfo: memFree=24234032/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=329584 CPUtime=0.36 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 27365 0 0 0 29 7 0 0 18 0 4 0 633622347 337494016 23111 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 82396 23111 356 95 0 77378 0 [pid=18300/tid=18301] ppid=18298 vsize=329584 CPUtime=0.09 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 6695 0 0 0 7 2 0 0 18 0 4 0 633622348 337494016 23111 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=329584 CPUtime=0.07 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 6693 0 0 0 6 1 0 0 24 0 4 0 633622348 337494016 23111 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=329584 CPUtime=0.09 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 6885 0 0 0 7 2 0 0 18 0 4 0 633622348 337494016 23111 33554432000 4194304 4580107 140735036850272 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 329584 [startup+0.30077 s] /proc/loadavg: 5.78 7.47 7.87 5/358 18300 /proc/meminfo: memFree=24234032/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=330816 CPUtime=1.16 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 27695 0 0 0 109 7 0 0 18 0 4 0 633622347 338755584 23441 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 82704 23441 360 95 0 77686 0 [pid=18300/tid=18301] ppid=18298 vsize=330816 CPUtime=0.29 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 6695 0 0 0 27 2 0 0 18 0 4 0 633622348 338755584 23441 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=330816 CPUtime=0.27 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 6693 0 0 0 26 1 0 0 25 0 4 0 633622348 338755584 23441 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=330816 CPUtime=0.29 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 7215 0 0 0 27 2 0 0 18 0 4 0 633622348 338755584 23441 33554432000 4194304 4580107 140735036850272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 330816 [startup+0.700695 s] /proc/loadavg: 5.78 7.47 7.87 5/358 18300 /proc/meminfo: memFree=24234032/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=330816 CPUtime=2.76 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 27768 0 0 0 269 7 0 0 18 0 4 0 633622347 338755584 23514 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 82704 23514 360 95 0 77686 0 [pid=18300/tid=18301] ppid=18298 vsize=330816 CPUtime=0.69 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 6695 0 0 0 67 2 0 0 18 0 4 0 633622348 338755584 23514 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=330816 CPUtime=0.67 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 6693 0 0 0 66 1 0 0 25 0 4 0 633622348 338755584 23514 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=330816 CPUtime=0.69 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 7288 0 0 0 67 2 0 0 18 0 4 0 633622348 338755584 23514 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 330816 [startup+1.50055 s] /proc/loadavg: 5.96 7.48 7.87 9/362 18304 /proc/meminfo: memFree=24063996/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=330816 CPUtime=5.93 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 39473 0 0 0 583 10 0 0 18 0 4 0 633622347 338755584 35219 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 82704 35219 361 95 0 77686 0 [pid=18300/tid=18301] ppid=18298 vsize=330816 CPUtime=1.48 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 10567 0 0 0 145 3 0 0 18 0 4 0 633622348 338755584 35219 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=330816 CPUtime=1.46 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 10502 0 0 0 144 2 0 0 25 0 4 0 633622348 338755584 35226 33554432000 4194304 4580107 140735036850272 18446744073709551615 4236317 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=330816 CPUtime=1.48 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 7370 0 0 0 146 2 0 0 20 0 4 0 633622348 338755584 35231 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 330816 [startup+3.10025 s] /proc/loadavg: 5.96 7.48 7.87 9/362 18304 /proc/meminfo: memFree=23810168/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=530648 CPUtime=12.32 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 86927 0 0 0 1211 21 0 0 20 0 4 0 633622347 543383552 82673 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 132662 82673 362 95 0 127644 0 [pid=18300/tid=18301] ppid=18298 vsize=530648 CPUtime=3.08 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 26148 0 0 0 302 6 0 0 19 0 4 0 633622348 543383552 82673 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=530648 CPUtime=3.04 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 25809 0 0 0 299 5 0 0 25 0 4 0 633622348 543383552 82673 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=530648 CPUtime=3.08 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 8290 0 0 0 306 2 0 0 25 0 4 0 633622348 543383552 82673 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.32 Current children cumulated vsize (KiB) 530648 [startup+6.30066 s] /proc/loadavg: 5.96 7.48 7.87 9/362 18304 /proc/meminfo: memFree=23301520/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=927280 CPUtime=25.07 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 173849 0 0 0 2467 40 0 0 25 0 4 0 633622347 949534720 168667 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 231820 168670 362 95 0 226802 0 [pid=18300/tid=18301] ppid=18298 vsize=927280 CPUtime=6.28 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 54890 0 0 0 617 11 0 0 20 0 4 0 633622348 949534720 168673 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=927280 CPUtime=6.2 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 54305 0 0 0 609 11 0 0 25 0 4 0 633622348 949534720 168674 33554432000 4194304 4580107 140735036850272 18446744073709551615 4235813 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=927280 CPUtime=6.28 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 9326 0 0 0 626 2 0 0 25 0 4 0 633622348 949534720 168674 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.07 Current children cumulated vsize (KiB) 927280 [startup+12.7005 s] /proc/loadavg: 6.27 7.50 7.87 9/362 18304 /proc/meminfo: memFree=23004584/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1125068 CPUtime=50.58 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 226655 0 0 0 5004 54 0 0 25 0 4 0 633622347 1152069632 219976 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 281267 219976 380 95 0 276249 0 [pid=18300/tid=18301] ppid=18298 vsize=1125068 CPUtime=12.62 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 71945 0 0 0 1246 16 0 0 18 0 4 0 633622348 1152069632 219976 33554432000 4194304 4580107 140735036850272 18446744073709551615 4289598 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1125068 CPUtime=12.57 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 71868 0 0 0 1242 15 0 0 25 0 4 0 633622348 1152069632 219976 33554432000 4194304 4580107 140735036850272 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1125068 CPUtime=12.68 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 10321 0 0 0 1265 3 0 0 25 0 4 0 633622348 1152069632 219976 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (KiB) 1125068 [startup+25.5011 s] /proc/loadavg: 6.62 7.53 7.88 9/362 18305 /proc/meminfo: memFree=22758216/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1333400 CPUtime=101.62 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 261074 0 0 0 10100 62 0 0 25 0 4 0 633622347 1365401600 245223 33554432000 4194304 4580107 140735036850272 18446744073709551615 4295103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 333350 245223 381 95 0 328332 0 [pid=18300/tid=18301] ppid=18298 vsize=1333400 CPUtime=25.28 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 80325 0 0 0 2509 19 0 0 25 0 4 0 633622348 1365401600 245223 33554432000 4194304 4580107 140735036850272 18446744073709551615 4316299 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1333400 CPUtime=25.37 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 78802 0 0 0 2520 17 0 0 25 0 4 0 633622348 1365401600 245223 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1333400 CPUtime=25.47 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 19854 0 0 0 2543 4 0 0 25 0 4 0 633622348 1365401600 245223 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.62 Current children cumulated vsize (KiB) 1333400 [startup+51.1004 s] /proc/loadavg: 7.09 7.57 7.88 9/362 18305 /proc/meminfo: memFree=22613712/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1366036 CPUtime=203.74 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 302635 0 0 0 20302 72 0 0 25 0 4 0 633622347 1398820864 260038 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 341509 260038 381 95 0 336491 0 [pid=18300/tid=18301] ppid=18298 vsize=1366036 CPUtime=50.59 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 93387 0 0 0 5037 22 0 0 25 0 4 0 633622348 1398820864 260038 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1366036 CPUtime=50.97 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 90057 0 0 0 5077 20 0 0 25 0 4 0 633622348 1398820864 260038 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1366036 CPUtime=51.08 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 23707 0 0 0 5102 6 0 0 25 0 4 0 633622348 1398820864 260038 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 203.74 Current children cumulated vsize (KiB) 1366036 [startup+102.314 s] /proc/loadavg: 7.73 7.67 7.90 9/362 18307 /proc/meminfo: memFree=22307908/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1376260 CPUtime=408.01 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 376611 0 0 0 40710 91 0 0 25 0 4 0 633622347 1409290240 276168 33554432000 4194304 4580107 140735036850272 18446744073709551615 4407213 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 344065 276168 383 95 0 339047 0 [pid=18300/tid=18301] ppid=18298 vsize=1376260 CPUtime=101.22 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 110775 0 0 0 10096 26 0 0 25 0 4 0 633622348 1409290240 276168 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1376260 CPUtime=102.18 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 110376 0 0 0 10191 27 0 0 25 0 4 0 633622348 1409290240 276168 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1376260 CPUtime=102.29 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 28332 0 0 0 10222 7 0 0 25 0 4 0 633622348 1409290240 276168 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.01 Current children cumulated vsize (KiB) 1376260 [startup+162.301 s] ################ # More data... # ################ [pid=18300] ppid=18298 vsize=1794212 CPUtime=2801.09 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 780870 0 0 0 279871 238 0 0 25 0 4 0 633622347 1837273088 367565 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 448553 367565 381 95 0 443535 0 [pid=18300/tid=18301] ppid=18298 vsize=1794212 CPUtime=694.28 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 216410 0 0 0 69364 64 0 0 25 0 4 0 633622348 1837273088 367565 33554432000 4194304 4580107 140735036850272 18446744073709551615 4295469 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1794212 CPUtime=702.19 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 211873 0 0 0 70156 63 0 0 25 0 4 0 633622348 1837273088 367565 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1794212 CPUtime=702.29 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 36020 0 0 0 70218 11 0 0 25 0 4 0 633622348 1837273088 367565 33554432000 4194304 4580107 140735036850272 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2801.09 Current children cumulated vsize (KiB) 1794212 [startup+762.314 s] /proc/loadavg: 8.10 8.06 8.00 9/362 18324 /proc/meminfo: memFree=21551376/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1801004 CPUtime=3040.43 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 798496 0 0 0 303797 246 0 0 25 0 4 0 633622347 1844228096 367333 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 450251 367333 381 95 0 445233 0 [pid=18300/tid=18301] ppid=18298 vsize=1801004 CPUtime=753.57 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 220260 0 0 0 75292 65 0 0 25 0 4 0 633622348 1844228096 367333 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1801004 CPUtime=762.21 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 215751 0 0 0 76155 66 0 0 25 0 4 0 633622348 1844228096 367333 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1801004 CPUtime=762.3 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 37807 0 0 0 76218 12 0 0 25 0 4 0 633622348 1844228096 367333 33554432000 4194304 4580107 140735036850272 18446744073709551615 4304936 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3040.43 Current children cumulated vsize (KiB) 1801004 [startup+822.301 s] /proc/loadavg: 8.14 8.07 8.00 9/362 18326 /proc/meminfo: memFree=21379124/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1884308 CPUtime=3279.68 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 823143 0 0 0 327712 256 0 0 25 0 4 0 633622347 1929531392 372098 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 471077 372098 381 95 0 466059 0 [pid=18300/tid=18301] ppid=18298 vsize=1884308 CPUtime=812.87 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 228446 0 0 0 81218 69 0 0 25 0 4 0 633622348 1929531392 372098 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1884308 CPUtime=822.2 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 221664 0 0 0 82152 68 0 0 25 0 4 0 633622348 1929531392 372098 33554432000 4194304 4580107 140735036850272 18446744073709551615 4296144 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1884308 CPUtime=822.29 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 37876 0 0 0 82217 12 0 0 25 0 4 0 633622348 1929531392 372098 33554432000 4194304 4580107 140735036850272 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3279.68 Current children cumulated vsize (KiB) 1884308 [startup+882.301 s] /proc/loadavg: 8.10 8.07 8.00 9/362 18328 /proc/meminfo: memFree=21266648/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1900648 CPUtime=3518.98 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 851824 0 0 0 351632 266 0 0 25 0 4 0 633622347 1946263552 378487 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 475162 378487 381 95 0 470144 0 [pid=18300/tid=18301] ppid=18298 vsize=1900648 CPUtime=872.15 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 234586 0 0 0 87143 72 0 0 25 0 4 0 633622348 1946263552 378487 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1900648 CPUtime=882.19 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 230501 0 0 0 88149 70 0 0 25 0 4 0 633622348 1946263552 378487 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1900648 CPUtime=882.29 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 41802 0 0 0 88216 13 0 0 25 0 4 0 633622348 1946263552 378487 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3518.98 Current children cumulated vsize (KiB) 1900648 [startup+942.301 s] /proc/loadavg: 8.13 8.09 8.01 9/362 18329 /proc/meminfo: memFree=21359524/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1848052 CPUtime=3758.28 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 878453 0 0 0 375548 280 0 0 25 0 4 0 633622347 1892405248 376005 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 462013 376005 381 95 0 456995 0 [pid=18300/tid=18301] ppid=18298 vsize=1848052 CPUtime=931.45 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 239669 0 0 0 93070 75 0 0 25 0 4 0 633622348 1892405248 376005 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1848052 CPUtime=942.2 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 238803 0 0 0 94145 75 0 0 25 0 4 0 633622348 1892405248 376005 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1848052 CPUtime=942.29 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 45151 0 0 0 94214 15 0 0 25 0 4 0 633622348 1892405248 376005 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3758.28 Current children cumulated vsize (KiB) 1848052 [startup+1002.3 s] /proc/loadavg: 8.13 8.10 8.01 9/362 18331 /proc/meminfo: memFree=21224980/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1894368 CPUtime=3997.59 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 906563 0 0 0 399467 292 0 0 25 0 4 0 633622347 1939832832 390779 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294144 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 473592 390779 381 95 0 468574 0 [pid=18300/tid=18301] ppid=18298 vsize=1894368 CPUtime=990.75 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 248406 0 0 0 98997 78 0 0 25 0 4 0 633622348 1939832832 390779 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1894368 CPUtime=1002.2 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 247837 0 0 0 100141 79 0 0 25 0 4 0 633622348 1939832832 390779 33554432000 4194304 4580107 140735036850272 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1894368 CPUtime=1002.29 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 45313 0 0 0 100214 15 0 0 25 0 4 0 633622348 1939832832 390779 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3997.59 Current children cumulated vsize (KiB) 1894368 [startup+1062.3 s] /proc/loadavg: 8.09 8.09 8.01 9/362 18332 /proc/meminfo: memFree=21155896/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1831696 CPUtime=4236.9 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 926857 0 0 0 423388 302 0 0 25 0 4 0 633622347 1875656704 384111 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 457924 384111 381 95 0 452906 0 [pid=18300/tid=18301] ppid=18298 vsize=1831696 CPUtime=1050.06 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 253372 0 0 0 104925 81 0 0 25 0 4 0 633622348 1875656704 384111 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1831696 CPUtime=1062.2 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 252378 0 0 0 106139 81 0 0 25 0 4 0 633622348 1875656704 384111 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1831696 CPUtime=1062.3 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 45693 0 0 0 106214 16 0 0 25 0 4 0 633622348 1875656704 384111 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4236.9 Current children cumulated vsize (KiB) 1831696 [startup+1122.3 s] /proc/loadavg: 8.03 8.07 8.01 9/362 18334 /proc/meminfo: memFree=21062012/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1916472 CPUtime=4476.19 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 947445 0 0 0 447309 310 0 0 25 0 4 0 633622347 1962467328 394047 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 479118 394047 381 95 0 474100 0 [pid=18300/tid=18301] ppid=18298 vsize=1916472 CPUtime=1109.35 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 259390 0 0 0 110852 83 0 0 25 0 4 0 633622348 1962467328 394047 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1916472 CPUtime=1122.2 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 259642 0 0 0 112134 86 0 0 25 0 4 0 633622348 1962467328 394047 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1916472 CPUtime=1122.3 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 45694 0 0 0 112214 16 0 0 25 0 4 0 633622348 1962467328 394047 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4476.19 Current children cumulated vsize (KiB) 1916472 [startup+1182.3 s] /proc/loadavg: 8.04 8.07 8.01 9/362 18336 /proc/meminfo: memFree=21022572/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1834852 CPUtime=4715.5 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 964397 0 0 0 471231 319 0 0 25 0 4 0 633622347 1878888448 388547 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 458713 388547 381 95 0 453695 0 [pid=18300/tid=18301] ppid=18298 vsize=1834852 CPUtime=1168.66 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 264798 0 0 0 116780 86 0 0 25 0 4 0 633622348 1878888448 388547 33554432000 4194304 4580107 140735036850272 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1834852 CPUtime=1182.2 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 265746 0 0 0 118130 90 0 0 25 0 4 0 633622348 1878888448 388547 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1834852 CPUtime=1182.3 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 46122 0 0 0 118214 16 0 0 25 0 4 0 633622348 1878888448 388547 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4715.5 Current children cumulated vsize (KiB) 1834852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.5 s] /proc/loadavg: 8.09 8.08 8.01 5/358 18337 /proc/meminfo: memFree=22674036/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1919948 CPUtime=4800.06 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 972157 0 0 0 479684 322 0 0 25 0 4 0 633622347 1966026752 391460 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 479987 391460 381 95 0 474969 0 [pid=18300/tid=18301] ppid=18298 vsize=1919948 CPUtime=1189.59 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 265588 0 0 0 118872 87 0 0 25 0 4 0 633622348 1966026752 391462 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1919948 CPUtime=1203.42 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 269159 0 0 0 120252 90 0 0 25 0 4 0 633622348 1966026752 391462 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1919948 CPUtime=1203.51 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 46263 0 0 0 120335 16 0 0 25 0 4 0 633622348 1966026752 391462 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.06 Current children cumulated vsize (KiB) 1919948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.5 s] /proc/loadavg: 8.09 8.08 8.01 5/358 18337 /proc/meminfo: memFree=22674036/32951124 swapFree=65980216/67111528 [pid=18300] ppid=18298 vsize=1919948 CPUtime=4800.06 cores=1,3,5,7 /proc/18300/stat : 18300 (strangenight2-m) R 18298 18300 17667 0 -1 4202496 972157 0 0 0 479684 322 0 0 25 0 4 0 633622347 1966026752 391460 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18300/statm: 479987 391460 381 95 0 474969 0 [pid=18300/tid=18301] ppid=18298 vsize=1919948 CPUtime=1189.59 cores=1,3,5,7 /proc/18300/task/18301/stat : 18301 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 265588 0 0 0 118872 87 0 0 25 0 4 0 633622348 1966026752 391462 33554432000 4194304 4580107 140735036850272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18300/tid=18302] ppid=18298 vsize=1919948 CPUtime=1203.42 cores=1,3,5,7 /proc/18300/task/18302/stat : 18302 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 269159 0 0 0 120252 90 0 0 25 0 4 0 633622348 1966026752 391462 33554432000 4194304 4580107 140735036850272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18300/tid=18303] ppid=18298 vsize=1919948 CPUtime=1203.51 cores=1,3,5,7 /proc/18300/task/18303/stat : 18303 (strangenight2-m) R 18298 18300 17667 0 -1 4202560 46263 0 0 0 120335 16 0 0 25 0 4 0 633622348 1966026752 391462 33554432000 4194304 4580107 140735036850272 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.06 Current children cumulated vsize (KiB) 1919948 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.59 CPU time (s): 4800.18 CPU user time (s): 4796.89 CPU system time (s): 3.2915 CPU usage (%): 398.823 Max. virtual memory (cumulated for all children) (KiB): 1983248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4796.89 system time used= 3.2915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972160 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= 6596 involuntary context switches= 31367 runsolver used 4.00139 second user time and 10.0555 second system time The end
Begin job on node142 at 2011-05-15 00:27:49 IDJOB=3367259 IDBENCH=83113 IDSOLVER=1844 FILE ID=node142/3367259-1305412069 RUNJOBID= node142-1305412069-18278 PBS_JOBID= 13324504 Free space on /tmp= 73432 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367259-1305412069/watcher-3367259-1305412069 -o /tmp/evaluation-result-3367259-1305412069/solver-3367259-1305412069 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367259-1305412069.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e822739302a2d834ec9ddfe9fbd0caa2 RANDOM SEED=1576750710 node142.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.846 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.69 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.846 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 : 5131.95 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.846 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.82 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.846 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.67 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.846 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.81 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.846 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.846 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.846 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: 24240760 kB Buffers: 317876 kB Cached: 3842272 kB SwapCached: 11520 kB Active: 6058148 kB Inactive: 2321320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24240760 kB SwapTotal: 67111528 kB SwapFree: 65980216 kB Dirty: 16692 kB Writeback: 0 kB AnonPages: 4217076 kB Mapped: 20528 kB Slab: 234364 kB PageTables: 31940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 77070260 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= 73436 MiB End job on node142 at 2011-05-15 00:47:54