| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | UNSAT | 1394.93 | 349.424 |
| Name | crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf |
| MD5SUM | f20ed0313cfa494f86b5c8ef723973ee |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 36.1265 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 135 |
| Number of clauses | 5251 |
| Sum of the clauses size | 22611 |
| Maximum clause length | 12 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 4489 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 762 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3262641-1304132383.cnf' 0.00/0.00 c -- header says num vars: 135 0.00/0.00 c -- header says num clauses: 5251 0.00/0.01 c -- clauses added: 0 learnts, 5251 normals, 0 xors 0.00/0.01 c -- vars added 135 0.00/0.01 c Parsing time: 0.00 s 0.00/0.01 c N st 0 0 135 5251 0 0 22611 0 no data no data -- 0.00/0.02 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.05 0.00/0.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 0.00/0.02 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 0.00/0.80 c Finding binary XORs T: 0.00 s found: 0 0.00/0.80 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.80 c calculated reachability. Time: 0.00 0.00/0.80 c Calc default polars - time: 0.00 s pos: 135 undec: 0 neg: 0 0.00/0.80 c ========================================================================================= 0.00/0.80 c types(t): F = full restart, N = normal restart 0.00/0.80 c types(t): S = simplification begin/end, E = solution found 0.00/0.80 c restart types(rt): st = static, dy = dynamic 0.00/0.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.80 c B st 0 0 135 5251 0 0 22611 0 no data no data -- 0.00/0.80 c N dy 15 6054 135 5251 0 3336 22611 51911 11.57 12.23 -- 0.00/0.80 c N dy 28 10103 135 5251 0 7146 22611 116419 11.40 12.06 -- 0.00/0.80 c N dy 35 14373 135 5251 0 7110 22611 108326 10.92 11.50 -- 0.00/0.80 c N dy 43 18384 135 5251 0 5579 22611 79859 10.71 12.85 -- 3.40/0.90 c N dy 67 22506 135 5251 0 9475 22611 146880 10.91 11.54 -- 3.97/1.00 c F st 79 25001 135 5251 0 11836 22611 187402 11.00 10.32 -- 4.37/1.10 c N st 83 27033 135 5251 0 7386 22611 104156 11.00 no data -- 4.77/1.20 c S st 85 30001 135 5251 0 10174 22611 148972 11.00 no data -- 4.77/1.20 c S st 85 30506 135 5251 0 10675 22611 158525 11.00 no data -- 4.77/1.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 4.77/1.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4.77/1.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 4.77/1.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 4.77/1.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4.77/1.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 4.77/1.20 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 6.37/1.67 c lits-rem: 169 cl-subs: 1486 v-elim: 0 v-fix: 0 time: 1.98 s 6.77/1.73 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.24 6.77/1.73 c calculated reachability. Time: 0.00 6.77/1.73 c N dy 85 30506 135 5251 0 9189 22611 142628 11.00 no data -- 7.59/1.90 c N dy 110 34662 135 5251 0 13161 22611 209772 11.10 11.75 -- 7.97/2.09 c N dy 134 38714 135 5251 0 9557 22611 139189 11.22 11.91 -- 8.77/2.29 c N dy 148 43406 135 5251 0 13986 22611 213262 11.21 11.80 -- 9.57/2.40 c S st 155 45760 135 5251 0 16189 22611 249535 11.16 no data -- 9.57/2.43 c S st 155 46264 135 5251 0 16688 22611 258853 11.16 no data -- 9.57/2.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 9.57/2.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 9.57/2.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 9.57/2.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 9.57/2.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.57/2.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 9.57/2.44 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 13.57/3.43 c lits-rem: 229 cl-subs: 1332 v-elim: 0 v-fix: 0 time: 3.95 s 13.57/3.43 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 13.57/3.43 c vivif2 -- cl tried 15356 cl shrink 0 lits rem 0 time: 0.01 13.97/3.53 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.37 13.97/3.53 c calculated reachability. Time: 0.00 13.97/3.53 c N dy 155 46264 135 5251 0 15356 22611 241145 11.16 no data -- 14.76/3.72 c N dy 174 50483 135 5251 0 10949 22611 158677 11.17 11.81 -- 15.56/3.95 c N dy 186 55792 135 5251 0 15890 22611 239296 11.10 11.69 -- 16.38/4.18 c N dy 207 59841 135 5251 0 10359 22611 147465 11.16 15.06 -- 17.15/4.37 c N dy 225 63902 135 5251 0 14172 22611 211647 11.19 14.43 -- 18.35/4.65 c N dy 245 69396 135 5251 0 19308 22611 294429 11.15 8.66 -- 18.35/4.65 c S st 245 69396 135 5251 0 19308 22611 294429 11.15 8.66 -- 18.35/4.68 c S st 245 69899 135 5251 0 19797 22611 303545 11.15 no data -- 18.35/4.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 18.35/4.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 18.35/4.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 18.35/4.69 c bin-w-bin subsume rem 0 bins time: 0.00 s 18.76/4.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 18.76/4.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 18.76/4.71 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 22.75/5.73 c lits-rem: 296 cl-subs: 1697 v-elim: 0 v-fix: 0 time: 4.15 s 22.75/5.73 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 22.75/5.74 c vivif2 -- cl tried 18100 cl shrink 0 lits rem 0 time: 0.01 23.15/5.84 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.42 23.15/5.84 c calculated reachability. Time: 0.00 23.15/5.84 c N dy 245 69899 135 5251 0 18100 22611 282125 11.15 no data -- 24.77/6.23 c N dy 272 77775 135 5251 0 15249 22611 216185 11.12 11.81 -- 25.94/6.51 c N dy 285 82969 135 5251 0 20137 22611 296365 11.10 11.71 -- 26.74/6.77 c F st 304 87500 135 5251 0 13145 22611 176101 11.11 10.73 -- 27.14/6.82 c N st 307 88689 135 5251 0 14266 22611 194449 11.11 no data -- 28.74/7.21 c N dy 313 96347 135 5251 0 21337 22611 304228 11.04 11.66 -- 29.95/7.56 c N dy 337 102573 135 5251 0 15040 22611 204293 11.02 11.63 -- 30.34/7.69 c S st 351 104848 135 5251 0 17171 22611 239415 11.03 no data -- 30.74/7.72 c S st 351 105348 135 5251 0 17667 22611 248727 11.03 no data -- 30.74/7.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 30.74/7.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 30.74/7.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 30.74/7.73 c bin-w-bin subsume rem 0 bins time: 0.00 s 30.74/7.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 30.74/7.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 30.74/7.73 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 34.33/8.63 c lits-rem: 219 cl-subs: 1156 v-elim: 0 v-fix: 0 time: 3.60 s 34.33/8.63 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 34.33/8.64 c vivif2 -- cl tried 16511 cl shrink 0 lits rem 0 time: 0.01 34.73/8.73 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.37 34.73/8.73 c calculated reachability. Time: 0.00 34.73/8.73 c N dy 351 105348 135 5251 0 16511 22611 235470 11.03 no data -- 36.74/9.24 c N dy 375 114732 135 5251 0 25349 22611 379281 11.02 11.62 -- 38.35/9.67 c N dy 401 122848 135 5251 0 19790 22611 277122 10.99 11.62 -- 40.33/10.15 c N dy 422 130792 135 5251 0 27267 22611 396270 10.97 11.55 -- 42.34/10.62 c N dy 442 139183 135 5251 0 21055 22611 292674 10.93 11.52 -- 44.73/11.21 c N dy 491 148092 135 5251 0 29482 22611 431441 10.95 13.05 -- 46.74/11.77 c N dy 518 157553 135 5251 0 23352 22611 330475 10.94 11.74 -- 46.74/11.80 c S st 521 158026 135 5251 0 23804 22611 337537 10.94 no data -- 47.14/11.83 c S st 521 158528 135 5251 0 24296 22611 346574 10.94 no data -- 47.14/11.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 47.14/11.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 47.14/11.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 47.14/11.85 c bin-w-bin subsume rem 0 bins time: 0.00 s 47.14/11.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 47.14/11.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 47.14/11.85 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 51.54/12.97 c lits-rem: 340 cl-subs: 1810 v-elim: 0 v-fix: 0 time: 4.47 s 51.54/12.97 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 51.54/12.97 c vivif2 -- cl tried 22486 cl shrink 0 lits rem 0 time: 0.02 52.32/13.12 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.57 52.32/13.12 c calculated reachability. Time: 0.00 52.32/13.12 c N dy 521 158528 135 5251 0 22486 22611 324853 10.94 no data -- 55.53/13.92 c N dy 559 170793 135 5251 0 18061 22611 236555 10.93 11.53 -- 57.91/14.59 c N dy 598 181780 135 5251 0 28379 22611 400623 10.93 11.55 -- 61.10/15.39 c N dy 643 193424 135 5251 0 22375 22611 296587 10.91 15.52 -- 65.10/16.30 c N dy 689 206162 135 5251 0 34340 22611 487926 10.92 11.54 -- 68.30/17.14 c N dy 735 219406 135 5251 0 28955 22611 394001 10.91 12.48 -- 72.28/18.14 c N dy 772 233872 135 5251 0 23671 22611 303961 10.87 11.46 -- 73.10/18.39 c S st 786 237793 135 5251 0 27369 22611 362496 10.86 11.07 -- 73.50/18.43 c S st 786 238293 135 5251 0 27859 22611 370951 10.86 no data -- 73.50/18.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 73.50/18.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 73.50/18.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 73.50/18.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 73.50/18.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 73.50/18.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 73.50/18.45 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 78.28/19.62 c lits-rem: 510 cl-subs: 2508 v-elim: 0 v-fix: 0 time: 4.69 s 78.28/19.62 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 78.28/19.63 c vivif2 -- cl tried 25351 cl shrink 0 lits rem 0 time: 0.02 78.68/19.79 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.63 78.68/19.79 c calculated reachability. Time: 0.00 78.68/19.79 c N dy 786 238293 135 5251 0 25351 22611 342838 10.86 no data -- 83.08/20.88 c N dy 824 253641 135 5251 0 20108 22611 246019 10.83 11.53 -- 87.47/21.97 c N dy 895 269910 135 5251 0 35349 22611 486256 10.83 13.47 -- 92.26/23.19 c N dy 934 287494 135 5251 0 31268 22611 411981 10.79 11.39 -- 97.86/24.54 c N dy 982 305849 135 5251 0 26936 22611 342503 10.77 11.39 -- 97.86/24.57 c F st 986 306250 135 5251 0 27312 22611 348413 10.77 no data -- 104.27/26.13 c N dy 1046 325586 135 5251 0 23015 22611 278211 10.77 11.36 -- 109.83/27.57 c N dy 1122 345653 135 5251 0 41784 22611 571194 10.77 12.25 -- 113.83/28.55 c S st 1159 357439 135 5251 0 29391 22611 372371 10.75 8.67 -- 113.83/28.59 c S st 1159 357941 135 5251 0 29885 22611 381669 10.75 no data -- 113.83/28.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 113.83/28.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 113.83/28.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 114.23/28.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 114.23/28.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 114.23/28.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 114.23/28.60 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 118.23/29.67 c lits-rem: 307 cl-subs: 2482 v-elim: 0 v-fix: 0 time: 4.23 s 118.23/29.67 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 118.23/29.67 c vivif2 -- cl tried 27403 cl shrink 0 lits rem 0 time: 0.01 119.02/29.83 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.62 119.02/29.83 c calculated reachability. Time: 0.00 119.02/29.83 c N dy 1159 357941 135 5251 0 27403 22611 356446 10.75 no data -- 126.24/31.65 c N dy 1224 379113 135 5251 0 47102 22611 657251 10.73 11.38 -- 133.41/33.41 c N dy 1293 399124 135 5251 0 41601 22611 561354 10.73 11.33 -- 140.19/35.18 c N dy 1365 420138 135 5251 0 36104 22611 474415 10.71 11.30 -- 148.21/37.12 c N dy 1424 441655 135 5251 0 29992 22611 376352 10.68 11.49 -- 155.38/38.95 c N dy 1520 462297 135 5251 0 49390 22611 677568 10.69 11.37 -- 162.17/40.66 c N dy 1578 482334 135 5251 0 40981 22611 542123 10.67 11.72 -- 170.18/42.61 c N dy 1644 502818 135 5251 0 32100 22611 402497 10.67 11.27 -- 176.95/44.38 c N dy 1722 522884 135 5251 0 50877 22611 685983 10.66 11.25 -- 182.54/45.76 c S st 1777 536911 135 5251 0 34987 22611 438475 10.66 10.86 -- 182.95/45.81 c S st 1777 537412 135 5251 0 35485 22611 448101 10.66 no data -- 182.95/45.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 182.95/45.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 182.95/45.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 182.95/45.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 182.95/45.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 182.95/45.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 182.95/45.83 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 188.53/47.21 c lits-rem: 305 cl-subs: 1745 v-elim: 0 v-fix: 0 time: 5.49 s 188.53/47.21 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 188.53/47.21 c vivif2 -- cl tried 33740 cl shrink 0 lits rem 0 time: 0.02 189.33/47.42 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.84 189.33/47.43 c calculated reachability. Time: 0.00 189.33/47.43 c N dy 1777 537412 135 5251 0 33740 22611 429260 10.66 no data -- 196.92/49.35 c N dy 1847 559694 135 5251 0 54500 22611 737803 10.64 11.39 -- 204.12/51.15 c N dy 1891 579716 135 5251 0 43265 22611 554951 10.62 11.22 -- 213.30/53.44 c N dy 1968 601659 135 5251 0 32972 22611 393259 10.62 11.24 -- 220.49/55.24 c N dy 2026 622386 135 5251 0 52226 22611 677252 10.60 11.41 -- 228.48/57.29 c N dy 2086 642480 135 5251 0 39422 22611 486905 10.59 11.87 -- 236.86/59.35 c N dy 2137 663680 135 5251 0 59088 22611 772252 10.57 11.14 -- 244.88/61.38 c N dy 2212 683999 135 5251 0 45443 22611 569946 10.57 11.14 -- 253.26/63.46 c N dy 2265 704024 135 5251 0 64009 22611 844768 10.56 11.15 -- 261.64/65.54 c N dy 2351 724041 135 5251 0 49209 22611 624189 10.56 11.16 -- 270.85/67.88 c N dy 2395 746064 135 5251 0 35127 22611 404545 10.54 11.10 -- 278.41/69.73 c N dy 2477 766415 135 5251 0 54118 22611 691146 10.54 11.13 -- 287.60/72.08 c N dy 2540 786540 135 5251 0 37554 22611 435931 10.53 11.10 -- 294.79/73.81 c S st 2583 806118 135 5251 0 55600 22611 695772 10.51 11.10 -- 294.79/73.88 c S st 2583 806619 135 5251 0 56092 22611 704549 10.51 no data -- 294.79/73.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 294.79/73.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 294.79/73.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.06 295.19/73.92 c bin-w-bin subsume rem 0 bins time: 0.00 s 295.19/73.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 295.19/73.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 295.19/73.92 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 307.57/77.04 c lits-rem: 579 cl-subs: 6649 v-elim: 0 v-fix: 0 time: 12.44 s 307.57/77.04 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 307.57/77.04 c vivif2 -- cl tried 49443 cl shrink 0 lits rem 0 time: 0.03 308.37/77.23 c asymm cl-useful: 0/2649/5251 lits-rem:0 time: 0.74 308.37/77.23 c calculated reachability. Time: 0.00 308.37/77.23 c N dy 2583 806619 135 5251 0 49443 22611 632548 10.51 no data -- 317.94/79.61 c N dy 2654 827073 135 5251 0 68512 22611 913986 10.51 11.16 -- 325.93/81.67 c N dy 2706 847864 135 5251 0 51863 22611 647532 10.50 11.10 -- 335.12/83.99 c N dy 2794 867973 135 5251 0 70609 22611 926266 10.50 11.06 -- 343.50/86.04 c N dy 2849 888048 135 5251 0 52161 22611 641140 10.49 11.10 -- 352.69/88.35 c N dy 2926 909124 135 5251 0 71818 22611 931207 10.49 11.04 -- 361.88/90.60 c N dy 3017 929533 135 5251 0 52769 22611 654135 10.49 11.21 -- 371.07/92.93 c N dy 3095 949651 135 5251 0 71510 22611 929197 10.49 11.05 -- 380.68/95.33 c N dy 3177 970137 135 5251 0 51399 22611 623400 10.49 11.09 -- 389.46/97.51 c N dy 3227 990229 135 5251 0 70032 22611 888711 10.47 11.04 -- 399.43/100.00 c N dy 3308 1010776 135 5251 0 49151 22611 584134 10.47 11.04 -- 407.82/102.16 c N dy 3369 1030857 135 5251 0 67830 22611 856452 10.47 11.04 -- 418.21/104.75 c N dy 3438 1051418 135 5251 0 46074 22611 534384 10.47 11.07 -- 427.00/106.91 c F st 3500 1071876 135 5251 0 65013 22611 807327 10.46 8.86 -- 427.00/106.91 c N st 3500 1071876 135 5251 0 65013 22611 807327 10.46 8.86 -- 438.20/109.71 c N dy 3565 1091942 135 5251 0 41877 22611 468666 10.46 11.13 -- 445.78/111.62 c N dy 3626 1112028 135 5251 0 60532 22611 737385 10.45 11.04 -- 456.15/114.25 c N dy 3703 1133003 135 5251 0 80112 22611 1024678 10.45 11.04 -- 465.75/116.64 c N dy 3777 1153014 135 5251 0 55871 22611 666556 10.45 12.45 -- 476.54/119.33 c N dy 3849 1173552 135 5251 0 74911 22611 940522 10.44 11.15 -- 488.51/122.37 c N dy 3908 1194151 135 5251 0 50388 22611 583118 10.44 11.01 -- 496.90/124.41 c S st 3966 1209929 135 5251 0 65078 22611 797035 10.44 no data -- 496.90/124.49 c S st 3966 1210430 135 5251 0 65574 22611 805603 10.44 no data -- 497.30/124.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 497.30/124.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 497.30/124.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.12 497.30/124.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 497.30/124.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 497.30/124.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 497.30/124.55 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 521.69/130.61 c lits-rem: 943 cl-subs: 7009 v-elim: 0 v-fix: 0 time: 24.17 s 521.69/130.61 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 521.69/130.62 c vivif2 -- cl tried 58565 cl shrink 0 lits rem 0 time: 0.04 522.47/130.83 c asymm cl-useful: 0/2345/5251 lits-rem:0 time: 0.84 522.47/130.83 c calculated reachability. Time: 0.00 522.47/130.83 c N dy 3966 1210430 135 5251 0 58565 22611 730447 10.44 no data -- 531.65/133.17 c N dy 4030 1230461 135 5251 0 77120 22611 995505 10.43 11.08 -- 542.44/135.88 c N dy 4091 1251096 135 5251 0 51923 22611 607544 10.43 11.01 -- 551.63/138.18 c N dy 4176 1271200 135 5251 0 70571 22611 879133 10.43 11.07 -- 562.82/140.99 c N dy 4247 1291298 135 5251 0 89223 22611 1146758 10.42 11.72 -- 573.20/143.52 c N dy 4287 1311478 135 5251 0 62487 22611 746450 10.41 11.02 -- 584.39/146.31 c N dy 4344 1331527 135 5251 0 81089 22611 1010070 10.41 10.98 -- 597.16/149.52 c N dy 4416 1351598 135 5251 0 53434 22611 618581 10.40 11.10 -- 606.36/151.89 c N dy 4466 1371915 135 5251 0 72113 22611 877955 10.40 11.06 -- 617.54/154.67 c N dy 4543 1392154 135 5251 0 90932 22611 1148339 10.40 10.96 -- 628.73/157.42 c N dy 4619 1413547 135 5251 0 63629 22611 762328 10.39 11.03 -- 639.52/160.17 c N dy 4699 1434488 135 5251 0 83056 22611 1041196 10.39 11.01 -- 651.10/163.07 c N dy 4759 1454737 135 5251 0 53667 22611 614923 10.39 10.99 -- 661.09/165.53 c N dy 4839 1474987 135 5251 0 72480 22611 887866 10.39 10.95 -- 672.67/168.46 c N dy 4921 1495033 135 5251 0 90991 22611 1153175 10.39 10.96 -- 684.66/171.48 c N dy 5006 1517048 135 5251 0 62228 22611 734640 10.39 11.01 -- 695.04/174.06 c N dy 5097 1537109 135 5251 0 80798 22611 1001209 10.39 11.01 -- 707.43/177.11 c N dy 5153 1557208 135 5251 0 99356 22611 1261443 10.38 10.96 -- 717.82/179.78 c N dy 5210 1578302 135 5251 0 68776 22611 816618 10.38 10.97 -- 728.61/182.42 c N dy 5266 1598440 135 5251 0 87348 22611 1075813 10.37 10.98 -- 741.00/185.51 c N dy 5320 1618527 135 5251 0 55065 22611 624185 10.36 12.80 -- 751.37/188.15 c N dy 5389 1640452 135 5251 0 75222 22611 906296 10.36 10.92 -- 763.38/191.14 c N dy 5448 1661063 135 5251 0 94172 22611 1166547 10.35 10.92 -- 775.74/194.21 c N dy 5508 1681211 135 5251 0 61151 22611 709008 10.35 10.95 -- 787.32/197.19 c N dy 5590 1701918 135 5251 0 80287 22611 982985 10.35 10.90 -- 792.91/198.58 c S st 5616 1710430 135 5251 0 88136 22611 1094501 10.34 9.88 -- 793.31/198.70 c S st 5616 1710933 135 5251 0 88626 22611 1103380 10.34 no data -- 793.74/198.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 793.74/198.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 793.74/198.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.17 793.74/198.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 793.74/198.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 793.74/198.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 793.74/198.79 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 855.66/214.23 c lits-rem: 666 cl-subs: 11857 v-elim: 0 v-fix: 0 time: 61.68 s 855.66/214.23 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 855.66/214.25 c vivif2 -- cl tried 76769 cl shrink 0 lits rem 0 time: 0.06 856.83/214.56 c asymm cl-useful: 0/2049/5251 lits-rem:0 time: 1.25 856.83/214.56 c calculated reachability. Time: 0.00 856.83/214.56 c N dy 5616 1710933 135 5251 0 76769 22611 979151 10.34 no data -- 868.84/217.52 c N dy 5675 1731875 135 5251 0 96103 22611 1245198 10.34 10.97 -- 881.20/220.68 c N dy 5747 1752531 135 5251 0 63007 22611 741851 10.34 10.96 -- 892.38/223.43 c N dy 5797 1774372 135 5251 0 83119 22611 1018888 10.33 10.95 -- 905.97/226.80 c N dy 5867 1794940 135 5251 0 102095 22611 1283373 10.33 10.88 -- 918.75/230.05 c N dy 5943 1815045 135 5251 0 67464 22611 800193 10.33 10.90 -- 930.74/233.05 c N dy 6012 1835582 135 5251 0 86362 22611 1064734 10.32 10.91 -- 943.54/236.23 c N dy 6069 1855674 135 5251 0 104782 22611 1319167 10.32 11.09 -- 955.11/239.16 c N dy 6120 1875827 135 5251 0 69138 22611 815698 10.31 10.87 -- 966.29/241.91 c N dy 6173 1896030 135 5251 0 87755 22611 1069864 10.31 10.85 -- 979.88/245.33 c N dy 6238 1917296 135 5251 0 107308 22611 1341988 10.30 10.91 -- 991.89/248.34 c N dy 6312 1937323 135 5251 0 70619 22611 835201 10.30 10.86 -- 1003.45/251.29 c N dy 6378 1958092 135 5251 0 89752 22611 1097254 10.30 10.85 -- 1017.44/254.76 c N dy 6445 1978306 135 5251 0 108340 22611 1350752 10.29 10.84 -- 1029.01/257.69 c N dy 6485 1998468 135 5251 0 70759 22611 817505 10.29 10.91 -- 1040.22/260.42 c N dy 6540 2018519 135 5251 0 89169 22611 1065972 10.28 10.88 -- 1052.58/263.54 c N dy 6591 2038576 135 5251 0 107531 22611 1313313 10.28 10.86 -- 1065.37/266.73 c N dy 6659 2058634 135 5251 0 68887 22611 781717 10.27 10.88 -- 1076.14/269.44 c N dy 6724 2078657 135 5251 0 87326 22611 1036644 10.27 12.92 -- 1088.93/272.68 c N dy 6799 2098756 135 5251 0 105989 22611 1295989 10.27 11.96 -- 1102.91/276.18 c N dy 6862 2118816 135 5251 0 66447 22611 743311 10.27 11.80 -- 1114.10/278.98 c N dy 6939 2139112 135 5251 0 85140 22611 1000167 10.27 10.82 -- 1126.83/282.16 c N dy 6995 2159334 135 5251 1 103728 22611 1252143 10.26 10.84 -- 1141.49/285.84 c N dy 7047 2180025 135 5251 1 63832 22611 693396 10.26 10.83 -- 1152.96/288.71 c N dy 7102 2200186 135 5251 2 82346 22611 945600 10.25 10.87 -- 1159.68/290.43 c S st 7143 2210935 135 5251 2 92294 22611 1083693 10.25 8.90 -- 1160.07/290.54 c S st 7143 2211439 135 5251 2 92787 22611 1092284 10.25 no data -- 1160.07/290.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1160.07/290.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1160.07/290.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.16 1160.46/290.62 c bin-w-bin subsume rem 0 bins time: 0.00 s 1161.25/290.89 c subs with bin: 890 lits-rem: 2299 v-fix: 0 time: 1.05 s 1161.25/290.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 1161.25/290.89 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1229.07/307.95 c lits-rem: 1137 cl-subs: 12950 v-elim: 0 v-fix: 0 time: 67.66 s 1229.07/307.95 c vivif2 -- cl tried 5246 cl shrink 0 lits rem 0 time: 0.00 1229.07/307.97 c vivif2 -- cl tried 78952 cl shrink 0 lits rem 0 time: 0.06 1230.67/308.32 c asymm cl-useful: 0/1256/5246 lits-rem:0 time: 1.40 1230.67/308.32 c calculated reachability. Time: 0.00 1230.67/308.32 c N dy 7143 2211439 135 5246 2 78952 22600 945993 10.25 no data -- 1231.47/308.55 c Finding binary XORs T: 0.00 s found: 0 1243.06/311.43 c N dy 7179 2233365 135 5246 5 99052 22600 1208053 10.24 10.81 -- 1247.85/312.67 c Finding binary XORs T: 0.00 s found: 0 1256.64/314.82 c N dy 7208 2253523 135 5246 7 117418 22600 1449616 10.23 10.80 -- 1269.83/318.14 c N dy 7248 2274589 135 5246 7 77594 22600 878311 10.23 10.81 -- 1281.81/321.17 c N dy 7292 2295289 135 5246 8 96561 22600 1128891 10.22 10.87 -- 1290.19/323.26 c Finding binary XORs T: 0.00 s found: 0 1296.58/324.82 c N dy 7339 2316775 135 5246 10 116273 22600 1383923 10.21 10.76 -- 1308.57/327.88 c N dy 7373 2336946 135 5246 11 74451 22600 827127 10.20 10.80 -- 1320.58/330.87 c N dy 7399 2358218 135 5246 12 93988 22600 1077258 10.19 10.88 -- 1320.58/330.87 c Finding binary XORs T: 0.00 s found: 0 1332.54/333.85 c Finding binary XORs T: 0.00 s found: 0 1332.94/333.91 c N dy 7421 2378299 135 5246 18 112266 22600 1309319 10.18 10.73 -- 1345.33/337.05 c Finding binary XORs T: 0.00 s found: 0 1347.32/337.52 c N dy 7462 2398517 135 5246 28 69653 22600 754051 10.17 10.72 -- 1352.12/338.72 c Finding binary XORs T: 0.00 s found: 0 1357.71/340.12 c N dy 7489 2418676 135 5246 33 88026 22599 985275 10.16 10.70 -- 1358.91/340.45 c Finding binary XORs T: 0.00 s found: 0 1369.70/343.16 c N dy 7507 2439612 135 5246 45 107139 22599 1222945 10.15 10.73 -- 1370.10/343.23 c Finding binary XORs T: 0.00 s found: 0 1379.28/345.54 c Finding binary XORs T: 0.00 s found: 0 1384.87/346.91 c N dy 7526 2459701 134 5126 47 58717 22144 604414 10.14 10.71 -- 1390.49/348.35 c Finding binary XORs T: 0.00 s found: 0 1394.47/349.31 c Finding binary XORs T: 0.00 s found: 0 1394.89/349.41 c Following stats are for *FIRST FINISHED THREAD ONLY* 1394.89/349.41 c num threads : 4 1394.89/349.41 c restarts : 7804 1394.89/349.41 c dynamic restarts : 7774 1394.89/349.41 c static restarts : 30 1394.89/349.41 c full restarts : 4 1394.89/349.41 c total simplify time : 0.98 1394.89/349.41 c learnts DL2 : 0 1394.89/349.41 c learnts size 2 : 142 1394.89/349.41 c learnts size 1 : 104 (77.04 % of vars) 1394.89/349.41 c filedLit time : 0.67 (0.05 % time) 1394.89/349.41 c v-elim SatELite : 0 (0.00 % vars) 1394.89/349.41 c SatELite time : 194.74 (13.97 % time) 1394.89/349.41 c v-elim xor : 0 (0.00 % vars) 1394.89/349.41 c xor elim time : 0.10 (0.01 % time) 1394.89/349.41 c num binary xor trees : 0 1394.89/349.41 c binxor trees' crown : 0 (nan leafs/tree) 1394.89/349.41 c bin xor find time : 0.01 1394.89/349.41 c OTF clause improved : 183670 (0.07 clauses/conflict) 1394.89/349.41 c OTF impr. size diff : 200896 (1.09 lits/clause) 1394.89/349.41 c OTF cl watch-shrink : 1836799 (0.74 clauses/conflict) 1394.89/349.41 c OTF cl watch-sh-lit : 5465574 (2.98 lits/clause) 1394.89/349.41 c tried to recurMin cls : 249400 (10.02 % of conflicts) 1394.89/349.41 c updated cache : 1159 (0.00 lits/tried recurMin) 1394.89/349.41 c unit cls received : 4 (3.85 % of units) 1394.89/349.41 c unit cls sent : 5 (4.81 % of units) 1394.89/349.41 c bin cls received : 45 1394.89/349.41 c bin cls sent : 59 1394.89/349.41 c clauses over max glue : 0 (0.00 % of all clauses) 1394.89/349.41 c conflicts : 2490024 (1786.24 / sec) 1394.89/349.41 c decisions : 3081034 (0.29 % random) 1394.89/349.41 c bogo-props : 61547705131 (44151866.31 / sec) 1394.89/349.41 c conflict literals : 35367378 (47.76 % deleted) 1394.89/349.41 c Memory used : 341.26 MB 1394.89/349.41 c single-thread CPU time : 1394.00 s 1394.89/349.41 c all-threads sum CPU time : 1394.00 s 1394.89/349.41 s UNSATISFIABLE
No possible verification on an UNSAT instance
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-3262641-1304132383/watcher-3262641-1304132383 -o /tmp/evaluation-result-3262641-1304132383/solver-3262641-1304132383 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3262641-1304132383.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: 6.56 7.71 7.89 2/176 6734 /proc/meminfo: memFree=24387116/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 417 0 0 0 0 0 0 0 18 0 4 0 524836062 52465664 356 33554432000 4194304 4650419 140733992474240 18446744073709551615 47901848475570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 12809 356 306 112 0 7774 0 [pid=6732/tid=6737] ppid=6729 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 4 0 524836062 52465664 356 33554432000 4194304 4650419 140733992474240 18446744073709551615 47901848475161 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 524836062 52465664 356 33554432000 4194304 4650419 140733992474240 18446744073709551615 47901848475161 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 524836062 52465664 356 33554432000 4194304 4650419 140733992474240 18446744073709551615 47901848475649 0 0 4096 2 0 0 0 -1 7 0 0 0 [startup+0.0245871 s] /proc/loadavg: 6.56 7.71 7.89 2/176 6734 /proc/meminfo: memFree=24387116/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=285436 CPUtime=3.4 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 5704 0 0 0 339 1 0 0 19 0 4 0 524836062 292286464 3237 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 71359 3237 391 112 0 66324 0 [pid=6732/tid=6737] ppid=6729 vsize=285436 CPUtime=0.84 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1373 0 0 0 84 0 0 0 18 0 4 0 524836062 292286464 3237 33554432000 4194304 4650419 140733992474240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=285436 CPUtime=0.84 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1331 0 0 0 84 0 0 0 19 0 4 0 524836062 292286464 3238 33554432000 4194304 4650419 140733992474240 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=285436 CPUtime=0.84 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1188 0 0 0 84 0 0 0 19 0 4 0 524836062 292286464 3238 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.4 Current children cumulated vsize (KiB) 285436 [startup+0.956313 s] /proc/loadavg: 6.56 7.71 7.89 2/176 6734 /proc/meminfo: memFree=24387116/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=285436 CPUtime=3.8 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 5928 0 0 0 379 1 0 0 19 0 4 0 524836062 292286464 3461 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 71359 3461 392 112 0 66324 0 [pid=6732/tid=6737] ppid=6729 vsize=285436 CPUtime=0.94 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1446 0 0 0 94 0 0 0 19 0 4 0 524836062 292286464 3461 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=285436 CPUtime=0.94 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1379 0 0 0 94 0 0 0 19 0 4 0 524836062 292286464 3461 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=285436 CPUtime=0.94 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1239 0 0 0 94 0 0 0 19 0 4 0 524836062 292286464 3461 33554432000 4194304 4650419 140733992474240 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 285436 [startup+1.00031 s] /proc/loadavg: 6.56 7.71 7.89 2/176 6734 /proc/meminfo: memFree=24387116/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=286112 CPUtime=3.97 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 6687 0 0 0 396 1 0 0 19 0 4 0 524836062 292978688 3127 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 71528 3127 392 112 0 66493 0 [pid=6732/tid=6737] ppid=6729 vsize=286112 CPUtime=0.99 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1650 0 0 0 99 0 0 0 19 0 4 0 524836062 292978688 3127 33554432000 4194304 4650419 140733992474240 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=286112 CPUtime=0.98 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1549 0 0 0 98 0 0 0 19 0 4 0 524836062 292978688 3127 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=286112 CPUtime=0.98 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1447 0 0 0 98 0 0 0 19 0 4 0 524836062 292978688 3127 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 286112 [startup+1.10029 s] /proc/loadavg: 6.56 7.71 7.89 2/176 6734 /proc/meminfo: memFree=24387116/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=286112 CPUtime=4.37 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 6888 0 0 0 436 1 0 0 19 0 4 0 524836062 292978688 3328 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363538 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 71528 3328 392 112 0 66493 0 [pid=6732/tid=6737] ppid=6729 vsize=286112 CPUtime=1.09 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1702 0 0 0 109 0 0 0 19 0 4 0 524836062 292978688 3328 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=286112 CPUtime=1.08 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1600 0 0 0 108 0 0 0 19 0 4 0 524836062 292978688 3328 33554432000 4194304 4650419 140733992474240 18446744073709551615 4229514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=286112 CPUtime=1.08 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1496 0 0 0 108 0 0 0 19 0 4 0 524836062 292978688 3328 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366018 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.37 Current children cumulated vsize (KiB) 286112 [startup+1.50022 s] /proc/loadavg: 6.56 7.71 7.89 2/176 6734 /proc/meminfo: memFree=24387116/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=286940 CPUtime=5.97 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 10025 0 0 0 596 1 0 0 20 0 4 0 524836062 293826560 5526 33554432000 4194304 4650419 140733992474240 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 71735 5526 393 112 0 66700 0 [pid=6732/tid=6737] ppid=6729 vsize=286940 CPUtime=1.49 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 2989 0 0 0 149 0 0 0 19 0 4 0 524836062 293826560 5526 33554432000 4194304 4650419 140733992474240 18446744073709551615 4438259 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=286940 CPUtime=1.48 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1972 0 0 0 148 0 0 0 20 0 4 0 524836062 293826560 5526 33554432000 4194304 4650419 140733992474240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=286940 CPUtime=1.48 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 1898 0 0 0 148 0 0 0 20 0 4 0 524836062 293826560 5526 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 286940 [startup+3.10093 s] /proc/loadavg: 6.75 7.73 7.90 10/184 6742 /proc/meminfo: memFree=24298016/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=294112 CPUtime=12.37 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 16814 0 0 0 1234 3 0 0 25 0 4 0 524836062 301170688 9961 33554432000 4194304 4650419 140733992474240 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 73528 9961 393 112 0 68493 0 [pid=6732/tid=6737] ppid=6729 vsize=294112 CPUtime=3.09 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 3854 0 0 0 309 0 0 0 25 0 4 0 524836062 301170688 9961 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363493 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=294112 CPUtime=3.09 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 3992 0 0 0 308 1 0 0 25 0 4 0 524836062 301170688 9961 33554432000 4194304 4650419 140733992474240 18446744073709551615 4328305 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=294112 CPUtime=3.08 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 4375 0 0 0 307 1 0 0 25 0 4 0 524836062 301170688 9961 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 294112 [startup+6.30634 s] /proc/loadavg: 6.75 7.73 7.90 10/184 6743 /proc/meminfo: memFree=24226360/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=312704 CPUtime=25.17 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 25654 0 0 0 2513 4 0 0 25 0 4 0 524836062 320208896 14252 33554432000 4194304 4650419 140733992474240 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 78176 14252 393 112 0 73141 0 [pid=6732/tid=6737] ppid=6729 vsize=312704 CPUtime=6.29 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 6240 0 0 0 629 0 0 0 25 0 4 0 524836062 320208896 14252 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365094 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=312704 CPUtime=6.29 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 5722 0 0 0 628 1 0 0 25 0 4 0 524836062 320208896 14252 33554432000 4194304 4650419 140733992474240 18446744073709551615 4440749 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=312704 CPUtime=6.26 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 7195 0 0 0 625 1 0 0 25 0 4 0 524836062 320208896 14252 33554432000 4194304 4650419 140733992474240 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 312704 [startup+12.7012 s] /proc/loadavg: 7.02 7.76 7.90 10/184 6743 /proc/meminfo: memFree=24204096/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=295144 CPUtime=50.72 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 39024 0 0 0 5065 7 0 0 25 0 4 0 524836062 302227456 14834 33554432000 4194304 4650419 140733992474240 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 73786 14834 393 112 0 68751 0 [pid=6732/tid=6737] ppid=6729 vsize=295144 CPUtime=12.69 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 10084 0 0 0 1268 1 0 0 25 0 4 0 524836062 302227456 14834 33554432000 4194304 4650419 140733992474240 18446744073709551615 4334040 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=295144 CPUtime=12.69 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 8696 0 0 0 1267 2 0 0 25 0 4 0 524836062 302227456 14834 33554432000 4194304 4650419 140733992474240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=295144 CPUtime=12.63 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 10325 0 0 0 1261 2 0 0 25 0 4 0 524836062 302227456 14834 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 295144 [startup+25.5008 s] /proc/loadavg: 7.17 7.76 7.91 10/184 6743 /proc/meminfo: memFree=24141160/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=305932 CPUtime=101.85 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 61599 0 0 0 10173 12 0 0 25 0 4 0 524836062 313274368 19459 33554432000 4194304 4650419 140733992474240 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 76483 19459 393 112 0 71448 0 [pid=6732/tid=6737] ppid=6729 vsize=305932 CPUtime=25.49 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 16131 0 0 0 2547 2 0 0 25 0 4 0 524836062 313274368 19459 33554432000 4194304 4650419 140733992474240 18446744073709551615 4329696 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=305932 CPUtime=25.49 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 14854 0 0 0 2546 3 0 0 25 0 4 0 524836062 313274368 19459 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=305932 CPUtime=25.36 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 15277 0 0 0 2533 3 0 0 25 0 4 0 524836062 313274368 19459 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 305932 [startup+51.1012 s] /proc/loadavg: 7.45 7.78 7.91 10/184 6744 /proc/meminfo: memFree=24092876/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=287376 CPUtime=204.12 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 96962 0 0 0 20389 23 0 0 25 0 4 0 524836062 294273024 23713 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 71844 23713 393 112 0 66809 0 [pid=6732/tid=6737] ppid=6729 vsize=287376 CPUtime=51.09 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 25139 0 0 0 5104 5 0 0 25 0 4 0 524836062 294273024 23713 33554432000 4194304 4650419 140733992474240 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=287376 CPUtime=51.08 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 23513 0 0 0 5102 6 0 0 25 0 4 0 524836062 294273024 23713 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=287376 CPUtime=50.82 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 23990 0 0 0 5076 6 0 0 25 0 4 0 524836062 294273024 23713 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366018 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 204.12 Current children cumulated vsize (KiB) 287376 [startup+102.301 s] /proc/loadavg: 7.82 7.83 7.91 10/184 6754 /proc/meminfo: memFree=24007448/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=318684 CPUtime=408.62 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 156484 0 0 0 40825 37 0 0 25 0 4 0 524836062 326332416 29844 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 79671 29844 393 112 0 74636 0 [pid=6732/tid=6737] ppid=6729 vsize=318684 CPUtime=102.29 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 38473 0 0 0 10221 8 0 0 25 0 4 0 524836062 326332416 29844 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366593 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=318684 CPUtime=102.28 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 39098 0 0 0 10219 9 0 0 25 0 4 0 524836062 326332416 29844 33554432000 4194304 4650419 140733992474240 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=318684 CPUtime=101.74 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 39575 0 0 0 10164 10 0 0 25 0 4 0 524836062 326332416 29844 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.62 Current children cumulated vsize (KiB) 318684 [startup+162.301 s] /proc/loadavg: 8.03 7.89 7.93 10/184 6756 /proc/meminfo: memFree=23912272/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=335760 CPUtime=648.31 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 214292 0 0 0 64777 54 0 0 25 0 4 0 524836062 343818240 43604 33554432000 4194304 4650419 140733992474240 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 83940 43604 393 112 0 78905 0 [pid=6732/tid=6737] ppid=6729 vsize=335760 CPUtime=162.29 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 53701 0 0 0 16217 12 0 0 25 0 4 0 524836062 343818240 43604 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=335760 CPUtime=162.29 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 55496 0 0 0 16214 15 0 0 25 0 4 0 524836062 343818240 43604 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=335760 CPUtime=161.43 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 53587 0 0 0 16129 14 0 0 25 0 4 0 524836062 343818240 43604 33554432000 4194304 4650419 140733992474240 18446744073709551615 4326360 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 648.31 Current children cumulated vsize (KiB) 335760 [startup+222.301 s] /proc/loadavg: 8.07 7.92 7.93 10/184 6757 /proc/meminfo: memFree=23868588/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=349116 CPUtime=887.99 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 251728 0 0 0 88733 66 0 0 25 0 4 0 524836062 357494784 49709 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 87279 49709 393 112 0 82244 0 [pid=6732/tid=6737] ppid=6729 vsize=349116 CPUtime=222.29 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 62632 0 0 0 22214 15 0 0 25 0 4 0 524836062 357494784 49709 33554432000 4194304 4650419 140733992474240 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=349116 CPUtime=222.29 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 63858 0 0 0 22211 18 0 0 25 0 4 0 524836062 357494784 49710 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=349116 CPUtime=221.11 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 62638 0 0 0 22095 16 0 0 25 0 4 0 524836062 357494784 49710 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 887.99 Current children cumulated vsize (KiB) 349116 [startup+282.301 s] /proc/loadavg: 8.24 7.98 7.95 11/185 6762 /proc/meminfo: memFree=23804548/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=403104 CPUtime=1127.63 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 287479 0 0 0 112685 78 0 0 25 0 4 0 524836062 412778496 55488 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 100776 55488 393 112 0 95741 0 [pid=6732/tid=6737] ppid=6729 vsize=403104 CPUtime=282.3 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 69566 0 0 0 28213 17 0 0 25 0 4 0 524836062 412778496 55488 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=403104 CPUtime=282.29 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 73642 0 0 0 28208 21 0 0 25 0 4 0 524836062 412778496 55488 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=403104 CPUtime=280.73 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 70578 0 0 0 28054 19 0 0 25 0 4 0 524836062 412778496 55488 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1127.63 Current children cumulated vsize (KiB) 403104 [startup+342.301 s] /proc/loadavg: 8.38 8.08 7.98 10/184 6763 /proc/meminfo: memFree=23805328/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=374708 CPUtime=1366.5 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 314715 0 0 0 136560 90 0 0 25 0 4 0 524836062 383700992 55229 33554432000 4194304 4650419 140733992474240 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 93677 55229 393 112 0 88642 0 [pid=6732/tid=6737] ppid=6729 vsize=374708 CPUtime=342.3 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 73303 0 0 0 34212 18 0 0 25 0 4 0 524836062 383700992 55229 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=374708 CPUtime=342.29 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 82520 0 0 0 34204 25 0 0 25 0 4 0 524836062 383700992 55229 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=374708 CPUtime=339.61 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 76967 0 0 0 33939 22 0 0 25 0 4 0 524836062 383700992 55229 33554432000 4194304 4650419 140733992474240 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1366.5 Current children cumulated vsize (KiB) 374708 Solver just ended. Dumping a history of the last processes samples [startup+346.3 s] /proc/loadavg: 8.38 8.08 7.98 10/184 6764 /proc/meminfo: memFree=23791068/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=362436 CPUtime=1382.47 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 315987 0 0 0 138156 91 0 0 25 0 4 0 524836062 371134464 54698 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 90609 54698 393 112 0 85574 0 [pid=6732/tid=6737] ppid=6729 vsize=362436 CPUtime=346.3 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 73649 0 0 0 34611 19 0 0 25 0 4 0 524836062 371134464 54698 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=362436 CPUtime=346.28 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 82922 0 0 0 34603 25 0 0 25 0 4 0 524836062 371134464 54698 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=362436 CPUtime=343.59 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 77160 0 0 0 34336 23 0 0 25 0 4 0 524836062 371134464 54698 33554432000 4194304 4650419 140733992474240 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1382.47 Current children cumulated vsize (KiB) 362436 [startup+347.901 s] /proc/loadavg: 8.35 8.08 7.98 10/184 6764 /proc/meminfo: memFree=23793300/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=349444 CPUtime=1388.88 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 316927 0 0 0 138796 92 0 0 25 0 4 0 524836062 357830656 52042 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 87361 52042 393 112 0 82326 0 [pid=6732/tid=6737] ppid=6729 vsize=349444 CPUtime=347.9 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 74454 0 0 0 34771 19 0 0 25 0 4 0 524836062 357830656 52042 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=349444 CPUtime=347.88 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 83052 0 0 0 34763 25 0 0 25 0 4 0 524836062 357830656 52042 33554432000 4194304 4650419 140733992474240 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=349444 CPUtime=345.19 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 77160 0 0 0 34496 23 0 0 25 0 4 0 524836062 357830656 52042 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1388.88 Current children cumulated vsize (KiB) 349444 [startup+348.701 s] /proc/loadavg: 8.35 8.08 7.98 10/184 6764 /proc/meminfo: memFree=23793300/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=349444 CPUtime=1392.07 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 317082 0 0 0 139115 92 0 0 25 0 4 0 524836062 357830656 52197 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 87361 52197 393 112 0 82326 0 [pid=6732/tid=6737] ppid=6729 vsize=349444 CPUtime=348.7 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 74547 0 0 0 34851 19 0 0 25 0 4 0 524836062 357830656 52197 33554432000 4194304 4650419 140733992474240 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=349444 CPUtime=348.68 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 83114 0 0 0 34843 25 0 0 25 0 4 0 524836062 357830656 52197 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=349444 CPUtime=345.98 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 77160 0 0 0 34575 23 0 0 25 0 4 0 524836062 357830656 52197 33554432000 4194304 4650419 140733992474240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1392.07 Current children cumulated vsize (KiB) 349444 [startup+349.101 s] /proc/loadavg: 8.35 8.08 7.98 10/184 6764 /proc/meminfo: memFree=23793300/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=349444 CPUtime=1393.67 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 317178 0 0 0 139275 92 0 0 25 0 4 0 524836062 357830656 52293 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 87361 52293 393 112 0 82326 0 [pid=6732/tid=6737] ppid=6729 vsize=349444 CPUtime=349.1 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 74600 0 0 0 34891 19 0 0 25 0 4 0 524836062 357830656 52294 33554432000 4194304 4650419 140733992474240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=349444 CPUtime=349.08 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 83158 0 0 0 34883 25 0 0 25 0 4 0 524836062 357830656 52294 33554432000 4194304 4650419 140733992474240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=349444 CPUtime=346.38 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 77160 0 0 0 34615 23 0 0 25 0 4 0 524836062 357830656 52294 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1393.67 Current children cumulated vsize (KiB) 349444 [startup+349.301 s] /proc/loadavg: 8.35 8.08 7.98 10/184 6764 /proc/meminfo: memFree=23793300/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=349444 CPUtime=1394.47 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 317219 0 0 0 139355 92 0 0 25 0 4 0 524836062 357830656 52334 33554432000 4194304 4650419 140733992474240 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 87361 52334 393 112 0 82326 0 [pid=6732/tid=6737] ppid=6729 vsize=349444 CPUtime=349.3 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 74622 0 0 0 34911 19 0 0 25 0 4 0 524836062 357830656 52334 33554432000 4194304 4650419 140733992474240 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=349444 CPUtime=349.28 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 83176 0 0 0 34903 25 0 0 25 0 4 0 524836062 357830656 52334 33554432000 4194304 4650419 140733992474240 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=349444 CPUtime=346.58 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 77160 0 0 0 34635 23 0 0 25 0 4 0 524836062 357830656 52334 33554432000 4194304 4650419 140733992474240 18446744073709551615 4312912 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1394.47 Current children cumulated vsize (KiB) 349444 [startup+349.401 s] /proc/loadavg: 8.35 8.08 7.98 10/184 6764 /proc/meminfo: memFree=23789208/32951124 swapFree=67111524/67111528 [pid=6732] ppid=6729 vsize=349444 CPUtime=1394.89 cores=1,3,5,7 /proc/6732/stat : 6732 (strangenight1-m) R 6729 6732 5765 0 -1 4202496 317222 0 0 0 139397 92 0 0 25 0 4 0 524836062 357830656 52337 33554432000 4194304 4650419 140733992474240 18446744073709551615 47901848475161 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/6732/statm: 87361 52337 393 112 0 82326 0 [pid=6732/tid=6737] ppid=6729 vsize=349444 CPUtime=349.4 cores=1,3,5,7 /proc/6732/task/6737/stat : 6737 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 74623 0 0 0 34921 19 0 0 25 0 4 0 524836062 357830656 52337 33554432000 4194304 4650419 140733992474240 18446744073709551615 47901848450756 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=6732/tid=6739] ppid=6729 vsize=349444 CPUtime=349.39 cores=1,3,5,7 /proc/6732/task/6739/stat : 6739 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 83178 0 0 0 34914 25 0 0 25 0 4 0 524836062 357830656 52337 33554432000 4194304 4650419 140733992474240 18446744073709551615 47901848475161 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=6732/tid=6740] ppid=6729 vsize=349444 CPUtime=346.68 cores=1,3,5,7 /proc/6732/task/6740/stat : 6740 (strangenight1-m) R 6729 6732 5765 0 -1 4202560 77160 0 0 0 34645 23 0 0 25 0 4 0 524836062 357830656 52337 33554432000 4194304 4650419 140733992474240 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1394.89 Current children cumulated vsize (KiB) 349444 Child status: 20 Real time (s): 349.424 CPU time (s): 1394.93 CPU user time (s): 1394 CPU system time (s): 0.930858 CPU usage (%): 399.209 Max. virtual memory (cumulated for all children) (KiB): 415296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1394 system time used= 0.930858 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 317225 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= 679 involuntary context switches= 10207 runsolver used 0.563914 second user time and 1.3098 second system time The end
Begin job on node139 at 2011-04-30 04:59:43 IDJOB=3262641 IDBENCH=83361 IDSOLVER=1588 FILE ID=node139/3262641-1304132383 RUNJOBID= node139-1304132383-6716 PBS_JOBID= 13170782 Free space on /tmp= 72900 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262641-1304132383/watcher-3262641-1304132383 -o /tmp/evaluation-result-3262641-1304132383/solver-3262641-1304132383 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3262641-1304132383.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f20ed0313cfa494f86b5c8ef723973ee RANDOM SEED=1584352992 node139.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.852 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.70 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.74 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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 : 5321.49 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.852 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.852 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.852 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24387560 kB Buffers: 2054912 kB Cached: 5926284 kB SwapCached: 4 kB Active: 959820 kB Inactive: 7084408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24387560 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 13272 kB Writeback: 0 kB AnonPages: 62636 kB Mapped: 14496 kB Slab: 454632 kB PageTables: 4516 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 185628 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= 72888 MiB End job on node139 at 2011-04-30 05:05:33