| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.16 | 1201.8 |
| Name | crafted/skvortsov/battleship/ battleship-17-33-sat.cnf |
| MD5SUM | ff3a31481d1bf95f014a91f5192a55fa |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.038993 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 561 |
| Number of clauses | 4777 |
| Sum of the clauses size | 18513 |
| Maximum clause length | 33 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 4488 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 289 |
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-3261539-1304120398.cnf' 0.00/0.00 c -- header says num vars: 561 0.00/0.00 c -- header says num clauses: 4777 0.00/0.01 c -- clauses added: 0 learnts, 4777 normals, 0 xors 0.00/0.01 c -- vars added 561 0.00/0.01 c Parsing time: 0.00 s 0.00/0.01 c N st 0 0 561 289 4488 0 18513 0 no data no data 0.00/0.01 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.00 0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.03 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.00/0.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 0.00/0.03 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 0.00/0.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 0.00/0.03 c Finding binary XORs T: 0.00 s found: 0 0.00/0.03 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.03 c calculated reachability. Time: 0.00 0.00/0.03 c Calc default polars - time: 0.00 s pos: 0 undec: 0 neg: 561 0.00/0.03 c ========================================================================================= 0.00/0.03 c types(t): F = full restart, N = normal restart 0.00/0.03 c types(t): S = simplification begin/end, E = solution found 0.00/0.03 c restart types(rt): st = static, dy = dynamic 0.00/0.03 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.03 c B st 0 0 561 289 4488 0 18513 0 no data no data 0.77/0.27 c N dy 9 4987 561 289 4488 4839 18513 937910 38.96 41.08 1.97/0.50 c N dy 16 9078 561 289 4488 6432 18513 1108862 38.69 40.83 2.77/0.71 c N dy 25 13101 561 289 4488 6217 18513 860521 38.84 40.92 3.97/1.01 c N dy 33 17169 561 289 4488 10154 18513 1618397 38.95 44.57 5.57/1.41 c N dy 38 23137 561 289 4488 10455 18513 1577726 38.85 40.94 5.96/1.54 c F st 48 25001 561 289 4488 12281 18513 1887887 38.96 40.86 6.77/1.72 c N st 53 28296 561 289 4488 8807 18513 1042145 38.96 no data 7.16/1.83 c S st 54 30001 561 289 4488 10419 18513 1375370 38.96 no data 7.16/1.87 c S st 54 30503 561 289 4488 10916 18513 1450980 38.96 no data 7.16/1.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 7.16/1.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.01 7.16/1.89 c blocked clauses removed: 0 vars: 0 tried: 561 T: 0.00 s 7.16/1.89 c bin-w-bin subsume rem 0 bins time: 0.00 s 7.16/1.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 7.16/1.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 7.16/1.89 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 7.56/1.90 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 13.95/3.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.64 s 31.53/7.97 c lits-rem: 216 cl-subs: 207 v-elim: 0 v-fix: 0 time: 4.38 s 31.53/7.99 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.02 31.53/7.99 c calculated reachability. Time: 0.00 31.53/7.99 c N dy 54 30503 561 289 4488 10709 18513 1403521 38.96 no data 33.12/8.30 c N dy 66 34956 561 289 4488 15076 18513 2223745 38.86 41.06 33.92/8.59 c N dy 82 39506 561 289 4488 11898 18513 1476589 38.93 41.00 35.92/9.02 c N dy 96 44319 561 289 4488 16643 18513 2364406 39.06 41.15 36.32/9.16 c S st 97 45756 561 289 4488 9314 18513 921308 39.08 39.61 36.32/9.19 c S st 97 46260 561 289 4488 9813 18513 998903 39.08 no data 36.32/9.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 36.72/9.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.01 36.72/9.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 36.72/9.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 36.72/9.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 36.72/9.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 36.72/9.21 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 36.72/9.22 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 43.93/11.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.79 s 48.32/12.19 c lits-rem: 17 cl-subs: 20 v-elim: 0 v-fix: 0 time: 1.15 s 48.32/12.19 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 48.32/12.20 c vivif2 -- cl tried 9793 cl shrink 0 lits rem 0 time: 0.01 48.72/12.22 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.02 48.72/12.22 c calculated reachability. Time: 0.00 48.72/12.22 c N dy 97 46260 561 289 4488 9793 18513 994603 39.08 no data 49.90/12.53 c N dy 106 50365 561 289 4488 13833 18513 1816038 39.06 41.26 51.10/12.89 c N dy 124 54663 561 289 4488 18006 18513 2487525 39.20 41.26 53.50/13.48 c N dy 130 60991 561 289 4488 14475 18513 1803314 39.15 41.39 55.09/13.81 c N dy 141 65143 561 289 4488 18527 18513 2499988 39.17 41.27 56.70/14.29 c N dy 152 69390 561 289 4488 11929 18513 1128613 39.18 39.77 56.70/14.29 c S st 152 69390 561 289 4488 11929 18513 1128613 39.18 39.77 57.11/14.33 c S st 152 69891 561 289 4488 12427 18513 1206935 39.18 no data 57.11/14.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 57.11/14.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.02 57.11/14.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 57.11/14.35 c bin-w-bin subsume rem 0 bins time: 0.00 s 57.11/14.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 57.11/14.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 57.11/14.36 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 57.11/14.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 64.28/16.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.79 s 73.07/18.30 c lits-rem: 14 cl-subs: 19 v-elim: 0 v-fix: 0 time: 2.11 s 73.07/18.30 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 73.07/18.31 c vivif2 -- cl tried 12408 cl shrink 0 lits rem 0 time: 0.01 73.07/18.33 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.02 73.07/18.33 c calculated reachability. Time: 0.00 73.07/18.33 c N dy 152 69891 561 289 4488 12408 18513 1203204 39.18 no data 75.46/18.96 c N dy 164 77038 561 289 4488 19440 18513 2637760 39.19 41.29 77.87/19.55 c N dy 176 83639 561 289 4488 14138 18513 1517719 39.14 41.31 79.08/19.86 c F st 187 87500 561 289 4488 17926 18513 2207625 39.16 36.85 79.86/20.09 c N st 191 89531 561 289 4488 19918 18513 2599279 39.16 no data 83.06/20.84 c N dy 198 95651 561 289 4488 13175 18513 1109229 39.14 41.23 85.46/21.45 c N dy 202 102438 561 289 4488 19861 18513 2520318 39.00 41.06 86.65/21.73 c S st 204 104837 561 289 4488 22231 18513 3011669 38.96 36.16 87.05/21.81 c S st 204 105339 561 289 4488 22729 18513 3093811 38.96 no data 87.05/21.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 87.05/21.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.04 87.05/21.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 87.05/21.85 c bin-w-bin subsume rem 0 bins time: 0.00 s 87.05/21.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 87.05/21.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 87.05/21.86 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 87.05/21.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 95.04/23.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.92 s 144.17/36.14 c lits-rem: 135 cl-subs: 94 v-elim: 0 v-fix: 0 time: 12.25 s 144.17/36.14 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 144.17/36.18 c vivif2 -- cl tried 22635 cl shrink 0 lits rem 0 time: 0.04 144.57/36.24 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.06 144.57/36.24 c calculated reachability. Time: 0.00 144.57/36.24 c N dy 204 105339 561 289 4488 22635 18513 3067315 38.96 no data 146.97/36.85 c N dy 225 112159 561 289 4488 15551 18513 1425454 39.00 42.08 149.78/37.57 c N dy 246 119414 561 289 4488 22697 18513 2759656 39.05 41.13 154.96/38.81 c N dy 255 128846 561 289 4488 17209 18513 1719580 38.94 40.99 158.95/39.82 c N dy 266 138341 561 289 4488 26503 18513 3584552 38.86 40.92 165.74/41.52 c N dy 288 152968 561 289 4488 25170 18513 3218065 38.76 40.80 168.54/42.25 c S st 297 158010 561 289 4488 30127 18513 4142453 38.76 no data 168.93/42.34 c S st 297 158510 561 289 4488 30621 18513 4222883 38.76 no data 168.93/42.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 169.33/42.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.0M T: 0.06 169.33/42.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 169.33/42.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 169.33/42.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 169.33/42.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 169.33/42.42 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 169.33/42.45 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 177.33/44.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.88 s 269.20/67.49 c lits-rem: 238 cl-subs: 195 v-elim: 0 v-fix: 0 time: 23.05 s 269.20/67.49 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 269.60/67.54 c vivif2 -- cl tried 30426 cl shrink 0 lits rem 0 time: 0.05 270.00/67.62 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.08 270.00/67.62 c calculated reachability. Time: 0.00 270.00/67.62 c N dy 297 158510 561 289 4488 30426 18513 4179446 38.76 no data 273.60/68.54 c N dy 314 168653 561 289 4488 23568 18513 2591753 38.70 42.88 285.60/71.50 c N dy 334 191812 561 289 4488 28557 18513 3758523 38.54 40.65 291.97/73.12 c N dy 364 204139 561 289 4488 22082 18513 2047650 38.55 40.66 299.18/74.95 c N dy 396 217568 561 289 4488 35203 18513 4525929 38.56 40.92 307.15/76.92 c N dy 438 231478 561 289 4488 29243 18513 3195754 38.61 40.68 311.54/78.04 c S st 464 237765 561 289 4488 35432 18513 4298787 38.66 38.85 311.97/78.15 c S st 464 238268 561 289 4488 35934 18513 4377601 38.66 no data 311.97/78.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 312.37/78.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.3M T: 0.06 312.37/78.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 312.37/78.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 312.37/78.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 312.37/78.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 312.37/78.23 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 312.37/78.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 320.33/80.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.92 s 423.38/106.06 c lits-rem: 187 cl-subs: 255 v-elim: 0 v-fix: 0 time: 25.77 s 423.38/106.06 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 423.78/106.11 c vivif2 -- cl tried 35679 cl shrink 0 lits rem 0 time: 0.05 423.78/106.19 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.08 423.78/106.19 c calculated reachability. Time: 0.00 423.78/106.19 c N dy 464 238268 561 289 4488 35679 18513 4322761 38.66 no data 431.37/108.09 c N dy 516 255710 561 289 4488 32192 18513 3570215 38.68 40.78 442.56/110.88 c N dy 540 273585 561 289 4488 28160 18513 3078843 38.61 40.67 454.54/113.83 c N dy 571 294240 561 289 4488 25832 18513 2409511 38.54 40.65 459.73/115.15 c F st 588 306251 561 289 4488 37576 18513 4748337 38.50 34.73 464.52/116.36 c N dy 602 313375 561 289 4488 44548 18513 6069448 38.50 40.61 476.11/119.26 c N dy 677 333553 561 289 4488 40799 18513 4890391 38.58 40.65 492.88/123.44 c N dy 744 353737 561 289 4488 36198 18513 4140951 38.62 40.72 495.69/124.18 c S st 757 357403 561 289 4488 39796 18513 4761572 38.62 38.70 496.09/124.30 c S st 757 357903 561 289 4488 40296 18513 4842657 38.62 no data 496.50/124.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 496.90/124.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.9M T: 0.10 496.90/124.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 496.90/124.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 496.90/124.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 496.90/124.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 496.90/124.42 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 496.90/124.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 505.28/126.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.00 s 626.70/156.97 c lits-rem: 129 cl-subs: 192 v-elim: 0 v-fix: 0 time: 30.39 s 626.70/156.97 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 627.10/157.02 c vivif2 -- cl tried 40104 cl shrink 0 lits rem 0 time: 0.06 627.50/157.12 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.09 627.50/157.12 c calculated reachability. Time: 0.00 627.50/157.12 c N dy 757 357903 561 289 4488 40104 18513 4799451 38.62 no data 635.49/159.14 c N dy 812 377933 561 289 4488 34266 18513 3533977 38.63 40.69 647.86/162.22 c N dy 863 398279 561 289 4488 27755 18513 2253480 38.64 40.80 657.85/164.79 c N dy 900 418884 561 289 4488 47936 18513 6130336 38.61 40.72 670.24/167.86 c N dy 958 438982 561 289 4488 40227 18513 4362237 38.63 45.82 686.21/171.89 c N dy 992 459715 561 289 4488 32132 18513 2697004 38.60 40.68 704.18/176.31 c N dy 1059 480558 561 289 4488 52501 18513 6319767 38.62 40.66 719.37/180.17 c N dy 1124 500624 561 289 4488 42880 18513 4624472 38.65 40.69 735.34/184.12 c N dy 1196 520680 561 289 4488 32046 18513 2497895 38.69 42.61 746.54/186.98 c S st 1252 536855 561 289 4488 47913 18513 5335449 38.71 35.68 747.35/187.13 c S st 1252 537359 561 289 4488 48412 18513 5417036 38.71 no data 747.35/187.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 747.73/187.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.9M T: 0.12 747.73/187.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 747.73/187.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 747.73/187.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 747.73/187.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 747.73/187.27 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 748.13/187.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 756.52/189.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.01 s 889.93/222.87 c lits-rem: 110 cl-subs: 218 v-elim: 0 v-fix: 0 time: 33.43 s 889.93/222.87 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 890.33/222.95 c vivif2 -- cl tried 48194 cl shrink 0 lits rem 0 time: 0.07 890.73/223.08 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.14 890.73/223.08 c calculated reachability. Time: 0.00 890.73/223.08 c N dy 1252 537359 561 289 4488 48194 18513 5368147 38.71 no data 901.13/225.62 c N dy 1316 557518 561 289 4488 36360 18513 3100470 38.70 40.75 912.70/228.52 c N dy 1375 579778 561 289 4488 58083 18513 7093493 38.72 40.78 923.10/231.14 c N dy 1414 600446 561 289 4488 46077 18513 5068957 38.71 40.88 935.88/234.34 c N dy 1434 620675 561 289 4488 65866 18513 9119558 38.66 40.76 947.04/237.15 c N dy 1472 642293 561 289 4488 53826 18513 6539250 38.63 40.77 961.42/240.72 c N dy 1531 662425 561 289 4488 39390 18513 3398162 38.63 40.70 973.41/243.70 c N dy 1577 682550 561 289 4488 59157 18513 7131349 38.63 40.73 986.58/247.09 c N dy 1649 702711 561 289 4488 43596 18513 4022172 38.65 40.84 998.96/250.18 c N dy 1698 727743 561 289 4488 67688 18513 8124911 38.62 40.68 1010.56/253.01 c N dy 1729 748522 561 289 4488 51756 18513 5419238 38.59 40.77 1024.93/256.68 c N dy 1780 768773 561 289 4488 71547 18513 9013564 38.59 40.68 1037.70/259.82 c N dy 1829 789930 561 289 4488 55329 18513 6142922 38.58 40.62 1048.90/262.61 c S st 1871 806040 561 289 4488 70921 18513 8897402 38.59 no data 1049.70/262.81 c S st 1871 806541 561 289 4488 71415 18513 8974162 38.59 no data 1049.70/262.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1050.11/262.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.9M T: 0.16 1050.11/262.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1050.11/262.99 c bin-w-bin subsume rem 0 bins time: 0.00 s 1050.11/263.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1050.11/263.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 1050.11/263.00 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 1050.51/263.07 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 1059.67/265.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.02 s 1317.72/329.93 c lits-rem: 194 cl-subs: 579 v-elim: 0 v-fix: 0 time: 64.61 s 1317.72/329.93 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 1318.14/330.05 c vivif2 -- cl tried 70836 cl shrink 0 lits rem 0 time: 0.12 1318.91/330.29 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.24 1318.91/330.29 c calculated reachability. Time: 0.00 1318.91/330.29 c N dy 1871 806541 561 289 4488 70836 18513 8852884 38.59 no data 1330.10/333.00 c N dy 1926 826608 561 289 4488 52323 18513 5442854 38.59 42.20 1346.48/337.17 c N dy 1968 848586 561 289 4488 73797 18513 9506370 38.58 40.73 1357.69/339.95 c N dy 1978 869250 561 289 4488 54539 18513 5877448 38.51 40.57 1376.83/344.76 c N dy 2035 896686 561 289 4488 41263 18513 3420747 38.48 40.56 1388.85/347.74 c N dy 2079 917002 561 289 4488 61119 18513 7303567 38.47 40.51 1412.39/353.67 c N dy 2166 937232 561 289 4488 80992 18513 10834318 38.51 40.64 1427.16/357.31 c N dy 2227 957321 561 289 4488 59812 18513 6567705 38.52 44.48 1456.33/364.68 c N dy 2263 978917 561 289 4488 81045 18513 10672022 38.50 40.55 1474.30/369.13 c N dy 2330 999146 561 289 4488 59025 18513 6405088 38.51 40.60 1497.47/374.92 c N dy 2376 1020235 561 289 4488 79733 18513 10245132 38.51 40.64 1515.44/379.45 c N dy 2429 1040978 561 289 4488 57015 18513 6006347 38.51 40.68 1533.03/383.89 c N dy 2477 1061180 561 289 4488 76626 18513 9431751 38.52 40.61 1548.19/387.68 c F st 2517 1071875 561 289 4488 87159 18513 11250530 38.53 33.07 1556.19/389.64 c N dy 2548 1081255 561 289 4488 52383 18513 4919611 38.53 40.61 1577.38/394.99 c N dy 2630 1103916 561 289 4488 74481 18513 8808240 38.55 40.75 1604.15/401.62 c N dy 2671 1124092 561 289 4488 49226 18513 4241104 38.55 40.62 1620.50/405.71 c N dy 2767 1144356 561 289 4488 69077 18513 7535836 38.57 40.70 1654.85/414.38 c N dy 2844 1172426 561 289 4488 50576 18513 4489307 38.57 40.68 1671.62/418.58 c N dy 2898 1193057 561 289 4488 70789 18513 7981702 38.57 40.63 1697.19/424.94 c S st 2955 1209813 561 289 4488 87270 18513 10945784 38.58 39.03 1697.99/425.17 c S st 2955 1210316 561 289 4488 87768 18513 11024646 38.58 no data 1698.39/425.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1698.79/425.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.2M T: 0.20 1698.79/425.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1698.79/425.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 1699.19/425.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1699.19/425.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 1699.19/425.40 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 1699.19/425.49 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 1708.37/427.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.96 s 1948.04/487.79 c lits-rem: 151 cl-subs: 557 v-elim: 0 v-fix: 0 time: 59.74 s 1948.04/487.79 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 1948.84/487.93 c vivif2 -- cl tried 87211 cl shrink 0 lits rem 0 time: 0.14 1949.63/488.20 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.27 1950.03/488.20 c calculated reachability. Time: 0.00 1950.03/488.20 c N dy 2955 1210316 561 289 4488 87211 18513 10912970 38.58 no data 1962.42/491.38 c N dy 3008 1231621 561 289 4488 61060 18513 6146012 38.58 40.63 1979.19/495.54 c N dy 3077 1251622 561 289 4488 80607 18513 9671416 38.59 40.85 2001.96/501.29 c N dy 3146 1272424 561 289 4488 52973 18513 4421691 38.60 40.66 2017.15/505.10 c N dy 3180 1293230 561 289 4488 73028 18513 8144122 38.59 40.70 2042.31/511.31 c N dy 3220 1313844 561 289 4488 93176 18513 12113815 38.59 40.65 2055.48/514.65 c N dy 3263 1334633 561 289 4488 64481 18513 6299866 38.59 40.65 2075.05/519.52 c N dy 3320 1354728 561 289 4488 84076 18513 9842669 38.59 49.43 2099.42/525.65 c N dy 3372 1375781 561 289 4488 55005 18513 4599923 38.59 40.66 2118.98/530.57 c N dy 3440 1398841 561 289 4488 77735 18513 8882800 38.59 40.99 2146.55/537.48 c N dy 3503 1418948 561 289 4488 97459 18513 12452149 38.60 40.63 2167.32/542.65 c N dy 3569 1439029 561 289 4488 66325 18513 6452801 38.61 42.13 2192.09/548.86 c N dy 3638 1459130 561 289 4488 86041 18513 10099261 38.61 49.41 2220.85/556.04 c N dy 3690 1479186 561 289 4488 53699 18513 4052159 38.62 40.71 2236.85/560.04 c N dy 3735 1499273 561 289 4488 73420 18513 7764886 38.62 40.65 2260.79/566.04 c N dy 3761 1519958 561 289 4488 93667 18513 11764264 38.59 40.67 2286.36/572.41 c N dy 3819 1539972 561 289 4488 60443 18513 5062524 38.59 44.08 2308.73/578.01 c N dy 3892 1561807 561 289 4488 81900 18513 8902786 38.60 40.64 2342.30/586.44 c N dy 3954 1585206 561 289 4488 104808 18513 13048873 38.61 40.67 2364.27/591.98 c N dy 4006 1606782 561 289 4488 71918 18513 7215832 38.60 40.66 2391.00/598.61 c N dy 4078 1627717 561 289 4488 92486 18513 10948010 38.61 40.74 2425.38/607.25 c N dy 4138 1647981 561 289 4488 57524 18513 4395205 38.62 40.69 2444.13/611.96 c N dy 4179 1668428 561 289 4488 77562 18513 8189815 38.62 40.67 2468.50/618.10 c N dy 4232 1688829 561 289 4488 97546 18513 11652128 38.62 40.71 2497.25/625.27 c N dy 4280 1708856 561 289 4488 61365 18513 4975935 38.62 51.56 2498.85/625.60 c S st 4293 1710316 561 289 4488 62791 18513 5206631 38.62 no data 2499.25/625.77 c S st 4293 1710816 561 289 4488 63287 18513 5285602 38.62 no data 2499.25/625.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2500.07/625.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 5.7M T: 0.13 2500.07/625.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2500.07/625.93 c bin-w-bin subsume rem 0 bins time: 0.00 s 2500.07/625.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2500.07/625.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 2500.07/625.93 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 2500.07/625.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 2508.86/628.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.02 s 2603.51/651.82 c lits-rem: 9 cl-subs: 83 v-elim: 0 v-fix: 0 time: 23.56 s 2603.51/651.82 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 2603.51/651.89 c vivif2 -- cl tried 63204 cl shrink 0 lits rem 0 time: 0.07 2604.71/652.11 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.22 2604.71/652.11 c calculated reachability. Time: 0.00 2604.71/652.11 c N dy 4293 1710816 561 289 4488 63204 18513 5269458 38.62 no data 2620.68/656.19 c N dy 4322 1731452 561 289 4488 83242 18513 9203382 38.61 40.65 2652.65/664.16 c N dy 4371 1754119 561 289 4488 105461 18513 13530262 38.60 40.70 2679.81/670.95 c N dy 4413 1774128 561 289 4488 68317 18513 6220491 38.61 40.92 2696.58/675.15 c N dy 4449 1794299 561 289 4488 88089 18513 10018058 38.60 40.68 2722.94/681.72 c N dy 4486 1814324 561 289 4488 107682 18513 13930863 38.59 41.41 2748.50/688.13 c N dy 4564 1834670 561 289 4488 69835 18513 6264799 38.60 40.65 2779.27/695.83 c N dy 4641 1859450 561 289 4488 94202 18513 10889138 38.60 40.65 2814.42/704.60 c N dy 4694 1879458 561 289 4488 113752 18513 14519290 38.60 40.82 2839.18/710.88 c N dy 4765 1899662 561 289 4488 74741 18513 7132213 38.61 40.90 2863.15/716.89 c N dy 4826 1920883 561 289 4488 95445 18513 10900790 38.61 40.77 2905.89/727.53 c N dy 4884 1949589 561 289 4488 63817 18513 5017179 38.60 40.67 2965.41/742.42 c N dy 4906 1992395 561 289 4488 105717 18513 14047115 38.53 40.64 2998.16/750.61 c N dy 4986 2012401 561 289 4488 64627 18513 4964026 38.54 40.69 3017.74/755.58 c N dy 5053 2032426 561 289 4488 84261 18513 8454244 38.55 40.64 3044.49/762.21 c N dy 5098 2053143 561 289 4488 104392 18513 12020766 38.56 40.66 3087.24/772.99 c N dy 5167 2073398 561 289 4488 62661 18513 4541094 38.56 40.60 3107.20/777.91 c N dy 5225 2093760 561 289 4488 82674 18513 8120762 38.57 40.72 3134.36/784.78 c N dy 5277 2114345 561 289 4488 102845 18513 11690244 38.57 40.65 3174.30/794.72 c N dy 5325 2134396 561 289 4488 122485 18513 15559511 38.58 40.66 3199.47/801.03 c N dy 5384 2155035 561 289 4488 79987 18513 7636892 38.57 40.66 3227.83/808.14 c N dy 5422 2180260 561 289 4488 104437 18513 12058232 38.56 40.66 3264.18/817.30 c N dy 5474 2200307 561 289 4488 124183 18513 15638115 38.56 40.66 3280.15/821.21 c S st 5513 2210817 561 289 4488 70930 18513 5862383 38.57 no data 3280.55/821.39 c S st 5513 2211320 561 289 4488 71428 18513 5947994 38.57 no data 3280.96/821.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3281.36/821.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.2M T: 0.14 3281.36/821.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3281.36/821.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 3281.36/821.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3281.36/821.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 3281.36/821.56 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 3281.76/821.62 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 3290.13/823.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.96 s 3401.97/851.75 c lits-rem: 20 cl-subs: 101 v-elim: 0 v-fix: 0 time: 27.87 s 3401.97/851.75 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 3402.37/851.83 c vivif2 -- cl tried 71327 cl shrink 0 lits rem 0 time: 0.08 3403.17/852.06 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.24 3403.17/852.07 c calculated reachability. Time: 0.00 3403.17/852.07 c N dy 5513 2211320 561 289 4488 71327 18513 5930128 38.57 no data 3425.94/857.75 c N dy 5566 2238041 561 289 4488 97496 18513 11176563 38.56 40.67 3449.90/863.72 c N dy 5630 2258092 561 289 4488 116940 18513 14484531 38.56 43.00 3476.66/870.47 c N dy 5700 2278140 561 289 4488 72083 18513 6010703 38.57 42.37 3493.06/874.58 c N dy 5780 2298225 561 289 4488 91693 18513 9474998 38.58 43.11 3518.61/880.95 c N dy 5847 2318895 561 289 4488 111936 18513 13089569 38.59 40.69 3560.15/891.30 c N dy 5909 2340549 561 289 4488 67613 18513 5114912 38.59 40.66 3576.95/895.59 c N dy 5975 2361668 561 289 4488 88297 18513 8884063 38.59 40.82 3603.32/902.11 c N dy 6005 2382981 561 289 4488 109179 18513 12995936 38.58 40.62 3638.46/910.93 c N dy 6069 2403322 561 289 4488 129083 18513 16526169 38.58 40.65 3658.81/916.07 c N dy 6132 2423416 561 289 4488 82198 18513 7496486 38.59 45.52 3687.17/923.14 c N dy 6156 2451739 561 289 4488 109621 18513 12767068 38.57 40.65 3715.94/930.31 c N dy 6203 2471916 561 289 4488 129333 18513 16411309 38.57 40.67 3737.10/935.62 c N dy 6259 2492728 561 289 4488 82330 18513 7515199 38.57 40.61 3762.67/942.04 c N dy 6296 2514952 561 289 4488 104199 18513 11768592 38.56 40.84 3794.62/950.03 c N dy 6354 2535083 561 289 4488 123854 18513 15272135 38.56 40.70 3836.56/960.56 c N dy 6382 2568470 561 289 4488 87981 18513 9189263 38.53 40.67 3863.72/967.36 c N dy 6459 2589759 561 289 4488 108967 18513 12998677 38.53 40.65 3901.69/976.83 c N dy 6528 2609804 561 289 4488 128737 18513 16512463 38.54 43.93 3929.23/983.74 c N dy 6607 2630517 561 289 4488 79452 18513 6861915 38.55 40.74 3951.60/989.35 c N dy 6664 2650577 561 289 4488 99127 18513 10362108 38.55 40.77 3985.17/997.73 c N dy 6711 2672164 561 289 4488 120314 18513 14214849 38.55 40.68 4025.50/1007.82 c N dy 6771 2692227 561 289 4488 139999 18513 17710800 38.56 40.94 4043.86/1012.47 c S st 6811 2711320 561 289 4488 88030 18513 8272864 38.55 38.17 4044.66/1012.69 c S st 6811 2711824 561 289 4488 88531 18513 8351704 38.55 no data 4045.06/1012.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4045.87/1012.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.2M T: 0.19 4045.87/1012.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4045.87/1012.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 4045.87/1012.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4045.87/1012.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 561 time: 0.00 s 4045.87/1012.91 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 4045.87/1012.99 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 4054.65/1015.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.99 s 4234.40/1060.19 c lits-rem: 114 cl-subs: 254 v-elim: 0 v-fix: 0 time: 44.77 s 4234.40/1060.19 c vivif2 -- cl tried 289 cl shrink 0 lits rem 0 time: 0.00 4235.20/1060.30 c vivif2 -- cl tried 88277 cl shrink 0 lits rem 0 time: 0.11 4236.01/1060.57 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.27 4236.01/1060.57 c calculated reachability. Time: 0.00 4236.01/1060.57 c N dy 6811 2711824 561 289 4488 88277 18513 8297162 38.55 no data 4251.97/1064.59 c N dy 6885 2731889 561 289 4488 107956 18513 11880570 38.56 42.80 4275.94/1070.50 c N dy 6958 2752452 561 289 4488 128168 18513 15641826 38.56 40.65 4301.52/1076.91 c N dy 7021 2772491 561 289 4488 76202 18513 6071774 38.57 43.86 4317.09/1080.88 c N dy 7068 2794290 561 289 4488 97372 18513 9932596 38.56 40.70 4342.65/1087.23 c N dy 7141 2814294 561 289 4488 117023 18513 13450894 38.57 40.77 4396.58/1100.72 c N dy 7193 2838280 561 289 4488 140554 18513 17893080 38.57 40.81 4424.96/1107.85 c N dy 7238 2858588 561 289 4488 88014 18513 8391364 38.57 40.65 4448.90/1113.82 c N dy 7292 2879056 561 289 4488 108176 18513 12305620 38.57 40.64 4492.04/1124.63 c N dy 7328 2911743 561 289 4488 139936 18513 18532997 38.55 40.76 4516.41/1130.77 c N dy 7388 2933146 561 289 4488 87423 18513 7841337 38.55 40.60 4543.97/1137.69 c N dy 7454 2953148 561 289 4488 107103 18513 11412624 38.55 48.71 4586.71/1148.36 c N dy 7494 2973656 561 289 4488 127302 18513 15388903 38.55 40.69 4639.86/1161.69 c N dy 7597 2993868 561 289 4488 147071 18513 18744557 38.56 40.61 4665.00/1167.91 c N dy 7671 3017257 561 289 4488 95602 18513 9364417 38.56 40.71 4686.97/1173.45 c N dy 7720 3037332 561 289 4488 115281 18513 12830783 38.56 40.84 4721.32/1182.07 c N dy 7785 3057439 561 289 4488 135096 18513 16533048 38.57 40.65 4761.27/1192.06 c N dy 7857 3077593 561 289 4488 79352 18513 6195754 38.57 40.70 4783.64/1197.64 c N dy 7931 3098178 561 289 4488 99580 18513 9834221 38.58 40.61
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-3261539-1304120398/watcher-3261539-1304120398 -o /tmp/evaluation-result-3261539-1304120398/solver-3261539-1304120398 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3261539-1304120398.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.38 7.90 7.96 6/180 20733 /proc/meminfo: memFree=30631776/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 523639633 52441088 354 33554432000 4194304 4627427 140736491851376 18446744073709551615 248089698235 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 12803 354 303 106 0 7774 0 [pid=20733/tid=20734] ppid=20731 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523639633 52441088 354 33554432000 4194304 4627427 140736491851376 18446744073709551615 47400273565618 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523639633 52441088 354 33554432000 4194304 4627427 140736491851376 18446744073709551615 47400273565207 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523639633 52441088 354 33554432000 4194304 4627427 140736491851376 18446744073709551615 47400273565209 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.105933 s] /proc/loadavg: 7.38 7.90 7.96 6/180 20733 /proc/meminfo: memFree=30631776/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=282392 CPUtime=0.4 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 3057 0 0 0 40 0 0 0 25 0 4 0 523639633 289169408 2965 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 70598 2965 384 106 0 65569 0 [pid=20733/tid=20734] ppid=20731 vsize=282392 CPUtime=0.09 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 639 0 0 0 9 0 0 0 25 0 4 0 523639633 289169408 2965 33554432000 4194304 4627427 140736491851376 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=282392 CPUtime=0.09 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 601 0 0 0 9 0 0 0 25 0 4 0 523639633 289169408 2965 33554432000 4194304 4627427 140736491851376 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=282392 CPUtime=0.09 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 755 0 0 0 9 0 0 0 25 0 4 0 523639633 289169408 2965 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 282392 [startup+0.200917 s] /proc/loadavg: 7.38 7.90 7.96 6/180 20733 /proc/meminfo: memFree=30631776/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=283956 CPUtime=0.77 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 4941 0 0 0 77 0 0 0 25 0 4 0 523639633 290770944 3908 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 70989 3908 385 106 0 65960 0 [pid=20733/tid=20734] ppid=20731 vsize=283956 CPUtime=0.19 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1010 0 0 0 19 0 0 0 25 0 4 0 523639633 290770944 3909 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=283956 CPUtime=0.19 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 946 0 0 0 19 0 0 0 25 0 4 0 523639633 290770944 3909 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=283956 CPUtime=0.19 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1524 0 0 0 19 0 0 0 25 0 4 0 523639633 290770944 3909 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 283956 [startup+0.3009 s] /proc/loadavg: 7.38 7.90 7.96 6/180 20733 /proc/meminfo: memFree=30631776/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=287076 CPUtime=1.18 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 7071 0 0 0 117 1 0 0 25 0 4 0 523639633 293965824 4215 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 71769 4216 385 106 0 66740 0 [pid=20733/tid=20734] ppid=20731 vsize=287076 CPUtime=0.29 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1659 0 0 0 29 0 0 0 25 0 4 0 523639633 293965824 4216 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=287076 CPUtime=0.29 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1266 0 0 0 29 0 0 0 25 0 4 0 523639633 293965824 4216 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=287076 CPUtime=0.29 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 2031 0 0 0 29 0 0 0 25 0 4 0 523639633 293965824 4216 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 287076 [startup+0.70083 s] /proc/loadavg: 7.38 7.90 7.96 6/180 20733 /proc/meminfo: memFree=30631776/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=291700 CPUtime=2.77 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 14625 0 0 0 275 2 0 0 25 0 4 0 523639633 298700800 6515 33554432000 4194304 4627427 140736491851376 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 72925 6515 385 106 0 67896 0 [pid=20733/tid=20734] ppid=20731 vsize=291700 CPUtime=0.68 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 3484 0 0 0 68 0 0 0 25 0 4 0 523639633 298700800 6515 33554432000 4194304 4627427 140736491851376 18446744073709551615 4334711 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=291700 CPUtime=0.68 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 2970 0 0 0 68 0 0 0 25 0 4 0 523639633 298700800 6515 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=291700 CPUtime=0.68 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 4117 0 0 0 68 0 0 0 25 0 4 0 523639633 298700800 6515 33554432000 4194304 4627427 140736491851376 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 291700 [startup+1.50069 s] /proc/loadavg: 7.38 7.90 7.96 9/184 20827 /proc/meminfo: memFree=30590916/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=285312 CPUtime=5.96 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 27778 0 0 0 592 4 0 0 25 0 4 0 523639633 292159488 8690 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 71328 8691 386 106 0 66299 0 [pid=20733/tid=20734] ppid=20731 vsize=285312 CPUtime=1.47 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 6242 0 0 0 147 0 0 0 25 0 4 0 523639633 292159488 8691 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=285312 CPUtime=1.48 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 6708 0 0 0 147 1 0 0 25 0 4 0 523639633 292159488 8691 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=285312 CPUtime=1.49 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 7911 0 0 0 148 1 0 0 25 0 4 0 523639633 292159488 8691 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 285312 [startup+3.10041 s] /proc/loadavg: 7.38 7.90 7.96 9/184 20827 /proc/meminfo: memFree=30525196/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=322292 CPUtime=12.35 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 62393 0 0 0 1225 10 0 0 25 0 4 0 523639633 330027008 31309 33554432000 4194304 4627427 140736491851376 18446744073709551615 4424993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 80573 31309 389 106 0 75544 0 [pid=20733/tid=20734] ppid=20731 vsize=322292 CPUtime=3.07 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 16718 0 0 0 305 2 0 0 25 0 4 0 523639633 330027008 31309 33554432000 4194304 4627427 140736491851376 18446744073709551615 4424714 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=322292 CPUtime=3.08 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 12493 0 0 0 306 2 0 0 25 0 4 0 523639633 330027008 31309 33554432000 4194304 4627427 140736491851376 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=322292 CPUtime=3.08 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 16210 0 0 0 305 3 0 0 25 0 4 0 523639633 330027008 31309 33554432000 4194304 4627427 140736491851376 18446744073709551615 4424686 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 322292 [startup+6.30085 s] /proc/loadavg: 7.51 7.92 7.96 9/184 20827 /proc/meminfo: memFree=30285052/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=323240 CPUtime=25.13 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 78996 0 0 0 2500 13 0 0 25 0 4 0 523639633 330997760 47912 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428403 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 80810 47912 389 106 0 75781 0 [pid=20733/tid=20734] ppid=20731 vsize=323240 CPUtime=6.25 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 16932 0 0 0 623 2 0 0 25 0 4 0 523639633 330997760 47912 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428398 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=323240 CPUtime=6.28 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 28283 0 0 0 623 5 0 0 25 0 4 0 523639633 330997760 47912 33554432000 4194304 4627427 140736491851376 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=323240 CPUtime=6.29 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 16600 0 0 0 626 3 0 0 25 0 4 0 523639633 330997760 47912 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428380 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.13 Current children cumulated vsize (KiB) 323240 [startup+12.7007 s] /proc/loadavg: 7.55 7.92 7.96 9/184 20827 /proc/meminfo: memFree=30218628/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=388368 CPUtime=50.7 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 98177 0 0 0 5052 18 0 0 25 0 4 0 523639633 397688832 62084 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 97092 62084 389 106 0 92063 0 [pid=20733/tid=20734] ppid=20731 vsize=388368 CPUtime=12.62 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 30791 0 0 0 1257 5 0 0 25 0 4 0 523639633 397688832 62084 33554432000 4194304 4627427 140736491851376 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=388368 CPUtime=12.68 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 28283 0 0 0 1263 5 0 0 25 0 4 0 523639633 397688832 62084 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428093 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=388368 CPUtime=12.69 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 16600 0 0 0 1266 3 0 0 25 0 4 0 523639633 397688832 62084 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428403 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 388368 [startup+25.5005 s] /proc/loadavg: 7.65 7.92 7.96 9/184 20828 /proc/meminfo: memFree=29873196/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=622212 CPUtime=101.83 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 158032 0 0 0 10151 32 0 0 25 0 4 0 523639633 637145088 100410 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428390 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 155553 100410 389 106 0 150524 0 [pid=20733/tid=20734] ppid=20731 vsize=622212 CPUtime=25.35 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 34028 0 0 0 2529 6 0 0 25 0 4 0 523639633 637145088 100410 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=622212 CPUtime=25.48 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 38813 0 0 0 2541 7 0 0 25 0 4 0 523639633 637145088 100410 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=622212 CPUtime=25.48 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 53294 0 0 0 2537 11 0 0 25 0 4 0 523639633 637145088 100410 33554432000 4194304 4627427 140736491851376 18446744073709551615 4424993 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (KiB) 622212 [startup+51.1009 s] /proc/loadavg: 7.77 7.93 7.96 9/184 20828 /proc/meminfo: memFree=29705444/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=784080 CPUtime=204.09 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 227245 0 0 0 20360 49 0 0 25 0 4 0 523639633 802897920 125080 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428111 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 196020 125080 389 106 0 190991 0 [pid=20733/tid=20734] ppid=20731 vsize=784080 CPUtime=50.8 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 58905 0 0 0 5069 11 0 0 25 0 4 0 523639633 802897920 125080 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=784080 CPUtime=51.07 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 53275 0 0 0 5096 11 0 0 25 0 4 0 523639633 802897920 125080 33554432000 4194304 4627427 140736491851376 18446744073709551615 4332428 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=784080 CPUtime=51.08 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 68976 0 0 0 5093 15 0 0 25 0 4 0 523639633 802897920 125080 33554432000 4194304 4627427 140736491851376 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.09 Current children cumulated vsize (KiB) 784080 [startup+102.301 s] /proc/loadavg: 7.94 7.95 7.97 9/184 20830 /proc/meminfo: memFree=29424272/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=1039024 CPUtime=408.62 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 377863 0 0 0 40776 86 0 0 25 0 4 0 523639633 1063960576 151990 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428398 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/20733/statm: 259756 151990 389 106 0 254727 0 [pid=20733/tid=20734] ppid=20731 vsize=1039024 CPUtime=101.73 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 104113 0 0 0 10149 24 0 0 25 0 4 0 523639633 1063960576 151990 33554432000 4194304 4627427 140736491851376 18446744073709551615 4305869 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=1039024 CPUtime=102.28 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 93878 0 0 0 10207 21 0 0 25 0 4 0 523639633 1063960576 151990 33554432000 4194304 4627427 140736491851376 18446744073709551615 4332826 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=1039024 CPUtime=102.29 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 121938 0 0 0 10202 27 0 0 25 0 4 0 523639633 1063960576 151990 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.62 Current children cumulated vsize (KiB) 1039024 [startup+162.3 s] ################ # More data... # ################ [pid=20733] ppid=20731 vsize=1951652 CPUtime=2565.56 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 1838447 0 0 0 256073 483 0 0 25 0 4 0 523639633 1998491648 384367 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428093 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 487913 384367 389 106 0 482884 0 [pid=20733/tid=20734] ppid=20731 vsize=1951652 CPUtime=640.33 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 438139 0 0 0 63914 119 0 0 25 0 4 0 523639633 1998491648 384367 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=1951652 CPUtime=642.22 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 461578 0 0 0 64105 117 0 0 25 0 4 0 523639633 1998491648 384367 33554432000 4194304 4627427 140736491851376 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=1951652 CPUtime=642.26 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 663918 0 0 0 64061 165 0 0 25 0 4 0 523639633 1998491648 384367 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2565.56 Current children cumulated vsize (KiB) 1951652 [startup+702.301 s] /proc/loadavg: 8.15 8.09 8.02 9/184 20846 /proc/meminfo: memFree=27472340/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2095108 CPUtime=2805.23 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 1946671 0 0 0 280005 518 0 0 25 0 4 0 523639633 2145390592 403241 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 523777 403241 389 106 0 518748 0 [pid=20733/tid=20734] ppid=20731 vsize=2095108 CPUtime=700.32 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 465992 0 0 0 69905 127 0 0 25 0 4 0 523639633 2145390592 403241 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2095108 CPUtime=702.22 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 461578 0 0 0 70105 117 0 0 25 0 4 0 523639633 2145390592 403241 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428121 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2095108 CPUtime=702.26 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 720866 0 0 0 70043 183 0 0 25 0 4 0 523639633 2145390592 403241 33554432000 4194304 4627427 140736491851376 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.23 Current children cumulated vsize (KiB) 2095108 [startup+762.3 s] /proc/loadavg: 8.14 8.10 8.02 9/184 20847 /proc/meminfo: memFree=27422320/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2176496 CPUtime=3044.91 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 2041281 0 0 0 303944 547 0 0 25 0 4 0 523639633 2228731904 408169 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 544124 408169 389 106 0 539095 0 [pid=20733/tid=20734] ppid=20731 vsize=2176496 CPUtime=760.33 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 479028 0 0 0 75904 129 0 0 25 0 4 0 523639633 2228731904 408169 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428016 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2176496 CPUtime=762.23 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 496372 0 0 0 76095 128 0 0 25 0 4 0 523639633 2228731904 408169 33554432000 4194304 4627427 140736491851376 18446744073709551615 4322548 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2176496 CPUtime=762.26 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 743610 0 0 0 76038 188 0 0 25 0 4 0 523639633 2228731904 408169 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.91 Current children cumulated vsize (KiB) 2176496 [startup+822.301 s] /proc/loadavg: 8.08 8.09 8.02 9/184 20849 /proc/meminfo: memFree=27370688/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2180212 CPUtime=3284.55 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 2183716 0 0 0 327872 583 0 0 25 0 4 0 523639633 2232537088 410036 33554432000 4194304 4627427 140736491851376 18446744073709551615 4424452 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 545053 410036 389 106 0 540024 0 [pid=20733/tid=20734] ppid=20731 vsize=2180212 CPUtime=820.32 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 502085 0 0 0 81896 136 0 0 25 0 4 0 523639633 2232537088 410036 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2180212 CPUtime=822.21 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 543369 0 0 0 82083 138 0 0 25 0 4 0 523639633 2232537088 410036 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2180212 CPUtime=822.25 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 795331 0 0 0 82025 200 0 0 25 0 4 0 523639633 2232537088 410036 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.55 Current children cumulated vsize (KiB) 2180212 [startup+882.307 s] /proc/loadavg: 8.14 8.10 8.03 9/184 20851 /proc/meminfo: memFree=27417508/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2292564 CPUtime=3524.22 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 2303177 0 0 0 351800 622 0 0 25 0 4 0 523639633 2347585536 408555 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 573141 408555 389 106 0 568112 0 [pid=20733/tid=20734] ppid=20731 vsize=2292564 CPUtime=880.32 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 539424 0 0 0 87884 148 0 0 25 0 4 0 523639633 2347585536 408555 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2292564 CPUtime=882.21 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 551638 0 0 0 88080 141 0 0 25 0 4 0 523639633 2347585536 408555 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428398 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2292564 CPUtime=882.26 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 853874 0 0 0 88007 219 0 0 25 0 4 0 523639633 2347585536 408555 33554432000 4194304 4627427 140736491851376 18446744073709551615 4468063 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.22 Current children cumulated vsize (KiB) 2292564 [startup+942.301 s] /proc/loadavg: 8.12 8.10 8.03 9/184 20852 /proc/meminfo: memFree=27373684/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2275948 CPUtime=3763.87 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 2420949 0 0 0 375732 655 0 0 25 0 4 0 523639633 2330570752 407950 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 568987 407950 389 106 0 563958 0 [pid=20733/tid=20734] ppid=20731 vsize=2275948 CPUtime=940.31 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 569552 0 0 0 93874 157 0 0 25 0 4 0 523639633 2330570752 407950 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2275948 CPUtime=942.21 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 590245 0 0 0 94070 151 0 0 25 0 4 0 523639633 2330570752 407950 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2275948 CPUtime=942.25 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 877199 0 0 0 94001 224 0 0 25 0 4 0 523639633 2330570752 407950 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3763.87 Current children cumulated vsize (KiB) 2275948 [startup+1002.3 s] /proc/loadavg: 8.08 8.09 8.03 9/184 20854 /proc/meminfo: memFree=27293524/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2389608 CPUtime=4003.52 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 2566728 0 0 0 399655 697 0 0 25 0 4 0 523639633 2446958592 438035 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 597402 438035 389 106 0 592373 0 [pid=20733/tid=20734] ppid=20731 vsize=2389608 CPUtime=1000.31 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 596560 0 0 0 99870 161 0 0 25 0 4 0 523639633 2446958592 438035 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2389608 CPUtime=1002.2 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 627724 0 0 0 100058 162 0 0 25 0 4 0 523639633 2446958592 438035 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2389608 CPUtime=1002.24 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 926378 0 0 0 99983 241 0 0 25 0 4 0 523639633 2446958592 438035 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.52 Current children cumulated vsize (KiB) 2389608 [startup+1062.3 s] /proc/loadavg: 8.07 8.08 8.03 9/184 20855 /proc/meminfo: memFree=27385488/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2216468 CPUtime=4243.19 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 2704956 0 0 0 423581 738 0 0 25 0 4 0 523639633 2269663232 418839 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 554117 418839 389 106 0 549088 0 [pid=20733/tid=20734] ppid=20731 vsize=2216468 CPUtime=1060.31 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 640599 0 0 0 105856 175 0 0 25 0 4 0 523639633 2269663232 418839 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2216468 CPUtime=1062.19 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 665124 0 0 0 106047 172 0 0 25 0 4 0 523639633 2269663232 418839 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2216468 CPUtime=1062.23 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 979584 0 0 0 105967 256 0 0 25 0 4 0 523639633 2269663232 418839 33554432000 4194304 4627427 140736491851376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.19 Current children cumulated vsize (KiB) 2216468 [startup+1122.3 s] /proc/loadavg: 8.12 8.10 8.03 9/184 20857 /proc/meminfo: memFree=27123692/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2576820 CPUtime=4482.85 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 2839844 0 0 0 447508 777 0 0 25 0 4 0 523639633 2638663680 467028 33554432000 4194304 4627427 140736491851376 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 644205 467028 389 106 0 639176 0 [pid=20733/tid=20734] ppid=20731 vsize=2576820 CPUtime=1120.31 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 678227 0 0 0 111842 189 0 0 25 0 4 0 523639633 2638663680 467028 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2576820 CPUtime=1122.18 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 678806 0 0 0 112043 175 0 0 25 0 4 0 523639633 2638663680 467028 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2576820 CPUtime=1122.25 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1027743 0 0 0 111961 264 0 0 25 0 4 0 523639633 2638663680 467028 33554432000 4194304 4627427 140736491851376 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4482.85 Current children cumulated vsize (KiB) 2576820 [startup+1182.3 s] /proc/loadavg: 8.22 8.12 8.04 9/184 20859 /proc/meminfo: memFree=27076656/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2588728 CPUtime=4722.52 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 2948700 0 0 0 471435 817 0 0 25 0 4 0 523639633 2650857472 466381 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309364 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 647182 466381 389 106 0 642153 0 [pid=20733/tid=20734] ppid=20731 vsize=2588728 CPUtime=1180.3 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 714793 0 0 0 117827 203 0 0 25 0 4 0 523639633 2650857472 466381 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2588728 CPUtime=1182.18 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 721212 0 0 0 118028 190 0 0 25 0 4 0 523639633 2650857472 466381 33554432000 4194304 4627427 140736491851376 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2588728 CPUtime=1182.25 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1027743 0 0 0 117961 264 0 0 25 0 4 0 523639633 2650857472 466381 33554432000 4194304 4627427 140736491851376 18446744073709551615 4428121 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.52 Current children cumulated vsize (KiB) 2588728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.16 8.11 8.04 9/184 20859 /proc/meminfo: memFree=26868452/32950928 swapFree=67111428/67111528 [pid=20733] ppid=20731 vsize=2825308 CPUtime=4800.03 cores=1,3,5,7 /proc/20733/stat : 20733 (strangenight2-m) R 20731 20733 20152 0 -1 4202496 3033780 0 0 0 479168 835 0 0 25 0 4 0 523639633 2893115392 520933 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/20733/statm: 706327 520933 389 106 0 701298 0 [pid=20733/tid=20734] ppid=20731 vsize=2825308 CPUtime=1199.71 cores=1,3,5,7 /proc/20733/task/20734/stat : 20734 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 764268 0 0 0 119761 210 0 0 25 0 4 0 523639633 2893115392 520933 33554432000 4194304 4627427 140736491851376 18446744073709551615 4468063 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=20733/tid=20735] ppid=20731 vsize=2825308 CPUtime=1201.59 cores=1,3,5,7 /proc/20733/task/20735/stat : 20735 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 742214 0 0 0 119963 196 0 0 25 0 4 0 523639633 2893115392 520933 33554432000 4194304 4627427 140736491851376 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=20733/tid=20736] ppid=20731 vsize=2825308 CPUtime=1201.65 cores=1,3,5,7 /proc/20733/task/20736/stat : 20736 (strangenight2-m) R 20731 20733 20152 0 -1 4202560 1027743 0 0 0 119901 264 0 0 25 0 4 0 523639633 2893115392 520933 33554432000 4194304 4627427 140736491851376 18446744073709551615 4427670 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.03 Current children cumulated vsize (KiB) 2825308 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.8 CPU time (s): 4800.16 CPU user time (s): 4791.71 CPU system time (s): 8.44971 CPU usage (%): 399.413 Max. virtual memory (cumulated for all children) (KiB): 2825308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.71 system time used= 8.44971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3033783 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= 744 involuntary context switches= 33752 runsolver used 1.78773 second user time and 4.78127 second system time The end
Begin job on node123 at 2011-04-30 01:39:58 IDJOB=3261539 IDBENCH=83234 IDSOLVER=1586 FILE ID=node123/3261539-1304120398 RUNJOBID= node123-1304119194-20527 PBS_JOBID= 13170709 Free space on /tmp= 72812 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-17-33-sat.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261539-1304120398/watcher-3261539-1304120398 -o /tmp/evaluation-result-3261539-1304120398/solver-3261539-1304120398 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3261539-1304120398.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ff3a31481d1bf95f014a91f5192a55fa RANDOM SEED=1914718261 node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30632056 kB Buffers: 584944 kB Cached: 1304424 kB SwapCached: 100 kB Active: 145680 kB Inactive: 1812060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30632056 kB SwapTotal: 67111528 kB SwapFree: 67111428 kB Dirty: 10892 kB Writeback: 0 kB AnonPages: 67492 kB Mapped: 15492 kB Slab: 298232 kB PageTables: 4256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 274448 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= 72808 MiB End job on node123 at 2011-04-30 02:00:02