| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.16 | 1203.64 |
| Name | random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf |
| MD5SUM | bb08468cf0220e53f83e89f3d31d3696 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of clauses | 2556 |
| Sum of the clauses size | 7668 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 2556 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368899-1305405586.cnf' 0.00/0.01 c -- header says num vars: 600 0.00/0.01 c -- header says num clauses: 2556 0.00/0.01 c -- clauses added: 0 learnts, 2556 normals, 0 xors 0.00/0.01 c -- vars added 600 0.00/0.01 c Parsing time: 0.00 s 0.00/0.01 c N st 0 0 600 2556 0 0 7668 0 no data no data -- 0.00/0.01 c asymm cl-useful: 0/2556/2556 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 bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 600 time: 0.00 s 0.00/0.01 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.02 c lits-rem: 0 cl-subs: 0 v-elim: 21 v-fix: 0 time: 0.01 s 0.00/0.02 c Finding binary XORs T: 0.00 s found: 0 0.00/0.02 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.02 c calculated reachability. Time: 0.00 0.00/0.02 c Calc default polars - time: 0.00 s pos: 268 undec: 80 neg: 252 0.00/0.02 c ========================================================================================= 0.00/0.02 c types(t): F = full restart, N = normal restart 0.00/0.02 c types(t): S = simplification begin/end, E = solution found 0.00/0.02 c restart types(rt): st = static, dy = dynamic 0.00/0.02 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.02 c B st 0 0 579 2520 0 0 7654 0 no data no data -- 0.00/0.07 c Decided on static restart strategy 0.42/0.17 c N st 8 4919 579 2520 0 4860 7654 129375 no data no data -- 1.56/0.43 c N st 10 11302 579 2520 0 4500 7654 82243 no data no data -- 2.76/0.70 c N st 11 17045 579 2520 0 10136 7654 239799 no data no data -- 4.37/1.14 c F st 12 25001 579 2520 0 12377 7654 281989 no data no data -- 4.37/1.15 c N st 12 25001 579 2520 0 12377 7654 281989 no data no data -- 5.15/1.39 c Decided on static restart strategy 5.15/1.39 c N st 18 30000 579 2520 0 10665 7654 218461 no data no data -- 5.15/1.39 c S st 18 30000 579 2520 0 10665 7654 218461 no data no data -- 5.55/1.42 c S st 18 30501 579 2520 0 11166 7654 230773 no data no data -- 5.55/1.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.55/1.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.55/1.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 5.55/1.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.55/1.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.55/1.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 5.55/1.43 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 6.35/1.66 c lits-rem: 221 cl-subs: 382 v-elim: 0 v-fix: 0 time: 0.90 s 6.35/1.67 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.03 6.35/1.67 c calculated reachability. Time: 0.00 6.35/1.67 c N st 18 30501 579 2520 0 10784 7654 219872 no data no data -- 8.35/2.10 c N st 20 37614 579 2520 0 10041 7654 181525 no data no data -- 9.54/2.49 c N st 21 44013 579 2520 0 16327 7654 345732 no data no data -- 10.33/2.62 c S st 22 45751 579 2520 0 9249 7654 142657 no data no data -- 10.33/2.65 c S st 22 46252 579 2520 0 9750 7654 155192 no data no data -- 10.33/2.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.33/2.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.33/2.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 10.33/2.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.33/2.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.33/2.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 10.33/2.66 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 10.73/2.76 c lits-rem: 41 cl-subs: 42 v-elim: 0 v-fix: 0 time: 0.42 s 10.73/2.76 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 10.73/2.76 c vivif2 -- cl tried 9708 cl shrink 0 lits rem 0 time: 0.00 10.73/2.77 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.03 10.73/2.77 c calculated reachability. Time: 0.00 10.73/2.77 c N st 22 46252 579 2520 0 9708 7654 154109 no data no data -- 14.72/3.75 c N st 23 60650 579 2520 0 14080 7654 257058 no data no data -- 17.13/4.34 c N st 24 69378 579 2520 0 11883 7654 187675 no data no data -- 17.13/4.34 c S st 24 69378 579 2520 0 11883 7654 187675 no data no data -- 17.13/4.38 c S st 24 69882 579 2520 0 12387 7654 200203 no data no data -- 17.13/4.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 17.13/4.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 17.13/4.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 17.13/4.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 17.13/4.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.13/4.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 17.13/4.39 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 17.96/4.59 c lits-rem: 54 cl-subs: 91 v-elim: 0 v-fix: 0 time: 0.81 s 17.96/4.59 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 18.31/4.60 c vivif2 -- cl tried 12296 cl shrink 0 lits rem 0 time: 0.01 18.31/4.61 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.04 18.31/4.61 c calculated reachability. Time: 0.00 18.31/4.61 c N st 24 69882 579 2520 0 12296 7654 197631 no data no data -- 23.49/5.97 c F st 25 87502 579 2520 0 17781 7654 345579 no data no data -- 23.49/5.97 c N st 25 87502 579 2520 0 17781 7654 345579 no data no data -- 25.49/6.44 c N dy 32 93271 579 2520 0 23459 7654 490926 16.41 17.29 -- 27.48/6.95 c N dy 59 99657 579 2520 0 16962 7654 257406 17.21 18.12 -- 29.08/7.38 c S st 75 104825 579 2520 0 22078 7654 386989 16.79 14.37 -- 29.48/7.44 c S st 75 105327 579 2520 0 22579 7654 399701 16.79 no data -- 29.48/7.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 29.48/7.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.48/7.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 29.48/7.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.48/7.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.48/7.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 29.48/7.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 33.07/8.34 c lits-rem: 272 cl-subs: 355 v-elim: 0 v-fix: 0 time: 3.52 s 33.07/8.34 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 33.07/8.35 c vivif2 -- cl tried 22224 cl shrink 0 lits rem 0 time: 0.02 33.07/8.37 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.08 33.07/8.37 c calculated reachability. Time: 0.00 33.07/8.37 c N dy 75 105327 579 2520 0 22224 7654 390083 16.79 no data -- 35.85/9.06 c N dy 116 112099 579 2520 0 15087 7654 179398 17.07 18.11 -- 38.25/9.62 c N dy 153 119375 579 2520 0 22296 7654 365066 17.27 18.26 -- 42.24/10.61 c N dy 170 129246 579 2520 0 17197 7654 206781 16.96 17.87 -- 45.03/11.33 c N dy 220 137554 579 2520 0 25435 7654 416889 17.15 19.54 -- 48.67/12.26 c N dy 266 146698 579 2520 0 18650 7654 222407 17.25 18.18 -- 52.22/13.14 c N dy 298 156386 579 2520 0 28245 7654 465825 17.21 18.12 -- 53.06/13.33 c S st 306 157990 579 2520 0 29834 7654 505726 17.22 16.38 -- 53.40/13.40 c S st 306 158491 579 2520 0 30335 7654 519289 17.22 no data -- 53.40/13.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 53.40/13.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 53.40/13.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 53.40/13.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 53.40/13.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 53.40/13.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 53.40/13.43 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 59.39/14.97 c lits-rem: 474 cl-subs: 564 v-elim: 0 v-fix: 0 time: 6.17 s 59.39/14.97 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 59.39/14.98 c vivif2 -- cl tried 29771 cl shrink 0 lits rem 0 time: 0.02 59.79/15.00 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.10 59.79/15.00 c calculated reachability. Time: 0.00 59.79/15.00 c N dy 306 158491 579 2520 0 29771 7654 502975 17.22 no data -- 63.37/15.97 c N dy 344 168758 579 2520 0 23105 7654 315543 17.22 18.18 -- 68.57/17.20 c N dy 409 180050 579 2520 0 34279 7654 602984 17.33 18.28 -- 72.95/18.35 c N dy 447 191687 579 2520 0 27938 7654 413125 17.27 18.23 -- 78.95/19.89 c N dy 498 204039 579 2520 0 21358 7654 228152 17.27 18.44 -- 84.51/21.28 c N dy 548 217063 579 2520 0 34217 7654 551150 17.27 18.39 -- 91.70/23.02 c N dy 614 231014 579 2520 0 28267 7654 383793 17.32 18.63 -- 94.89/23.87 c S st 660 237737 579 2520 0 34907 7654 551971 17.37 16.70 -- 95.29/23.95 c S st 660 238239 579 2520 0 35409 7654 564497 17.37 no data -- 95.29/23.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 95.29/23.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 95.29/23.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 95.29/23.98 c bin-w-bin subsume rem 0 bins time: 0.00 s 95.29/23.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 95.29/23.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 95.29/23.98 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 102.05/25.66 c lits-rem: 661 cl-subs: 565 v-elim: 0 v-fix: 0 time: 6.66 s 102.05/25.66 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 102.05/25.66 c vivif2 -- cl tried 34844 cl shrink 0 lits rem 0 time: 0.03 102.05/25.69 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.12 102.05/25.69 c calculated reachability. Time: 0.00 102.05/25.69 c N dy 660 238239 579 2520 0 34844 7654 547503 17.37 no data -- 109.65/27.51 c N dy 755 253644 579 2520 0 29327 7654 394459 17.45 18.41 -- 118.43/29.76 c N dy 825 270827 579 2520 0 24552 7654 248944 17.44 18.37 -- 126.79/31.80 c N dy 887 288115 579 2520 0 41642 7654 685665 17.43 18.50 -- 135.57/34.00 c F st 961 306251 579 2520 0 36829 7654 538546 17.40 no data -- 135.57/34.09 c N st 963 306879 579 2520 0 37450 7654 555590 17.40 no data -- 145.93/36.69 c N dy 983 327569 579 2520 0 34154 7654 450910 17.30 18.29 -- 157.90/39.68 c N dy 1098 348387 579 2520 0 30030 7654 326899 17.36 18.37 -- 162.72/40.82 c S st 1141 357359 579 2520 0 38906 7654 556377 17.38 17.28 -- 163.07/40.91 c S st 1141 357862 579 2520 0 39408 7654 568790 17.38 no data -- 163.07/40.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 163.07/40.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.07/40.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 163.07/40.94 c bin-w-bin subsume rem 0 bins time: 0.00 s 163.07/40.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 163.07/40.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 163.07/40.95 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 170.25/42.75 c lits-rem: 764 cl-subs: 603 v-elim: 0 v-fix: 0 time: 7.19 s 170.25/42.75 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 170.25/42.75 c vivif2 -- cl tried 38805 cl shrink 0 lits rem 0 time: 0.03 170.25/42.79 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.13 170.25/42.79 c calculated reachability. Time: 0.00 170.25/42.79 c N dy 1141 357862 579 2520 0 38805 7654 551106 17.38 no data -- 183.41/46.09 c N dy 1197 380513 579 2520 0 35457 7654 446984 17.33 18.42 -- 197.82/49.65 c N dy 1253 401344 579 2520 0 29362 7654 274576 17.30 18.22 -- 209.74/52.67 c N dy 1337 421982 579 2520 0 49779 7654 794181 17.30 18.41 -- 223.31/56.09 c N dy 1376 444704 579 2520 0 44477 7654 629824 17.23 18.20 -- 237.30/59.58 c N dy 1494 464771 579 2520 0 35702 7654 401780 17.28 23.19 -- 251.21/63.02 c N dy 1573 484860 579 2520 0 55558 7654 901109 17.27 18.26 -- 263.97/66.20 c N dy 1628 505410 579 2520 0 46156 7654 637507 17.26 18.29 -- 278.34/69.83 c N dy 1700 525421 579 2520 0 35358 7654 349563 17.25 18.42 -- 285.13/71.55 c S st 1733 536794 579 2520 0 46545 7654 623248 17.23 15.63 -- 285.56/71.67 c S st 1733 537295 579 2520 0 47046 7654 636402 17.23 no data -- 285.56/71.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 285.56/71.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 285.56/71.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 285.91/71.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 285.91/71.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 285.91/71.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 285.91/71.71 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 293.50/73.62 c lits-rem: 636 cl-subs: 964 v-elim: 0 v-fix: 0 time: 7.62 s 293.50/73.62 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 293.50/73.62 c vivif2 -- cl tried 46082 cl shrink 0 lits rem 0 time: 0.03 293.50/73.67 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.18 293.50/73.67 c calculated reachability. Time: 0.00 293.50/73.67 c N dy 1733 537295 579 2520 0 46082 7654 613114 17.23 no data -- 309.05/77.55 c N dy 1818 557416 579 2520 0 34392 7654 304470 17.23 18.42 -- 321.80/80.79 c N dy 1899 577509 579 2520 0 54256 7654 808711 17.24 21.08 -- 336.96/84.57 c N dy 1969 597519 579 2520 0 41401 7654 462547 17.23 19.37 -- 352.50/88.44 c N dy 2079 617566 579 2520 0 61214 7654 976507 17.26 18.20 -- 367.68/92.21 c N dy 2177 638222 579 2520 0 48022 7654 608477 17.27 18.26 -- 385.62/96.73 c N dy 2260 658508 579 2520 0 68066 7654 1115942 17.29 18.44 -- 400.36/100.41 c N dy 2359 678646 579 2520 0 53431 7654 734352 17.30 18.31 -- 420.72/105.55 c N dy 2461 698679 579 2520 0 37661 7654 313391 17.32 18.35 -- 439.11/110.12 c N dy 2548 723422 579 2520 0 62058 7654 927916 17.31 18.28 -- 456.22/114.46 c N dy 2634 743460 579 2520 0 45313 7654 489579 17.32 18.29 -- 474.55/119.04 c N dy 2741 764781 579 2520 0 66345 7654 1025391 17.34 18.33 -- 491.32/123.25 c N dy 2793 785943 579 2520 0 49687 7654 573319 17.31 18.40 -- 510.44/128.06 c S st 2905 805943 579 2520 0 69498 7654 1085008 17.34 no data -- 511.24/128.25 c S st 2905 806447 579 2520 0 70001 7654 1099119 17.34 no data -- 511.24/128.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 511.24/128.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 511.24/128.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.12 511.64/128.32 c bin-w-bin subsume rem 0 bins time: 0.00 s 511.64/128.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 511.64/128.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 511.64/128.32 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 518.81/130.18 c lits-rem: 424 cl-subs: 2122 v-elim: 0 v-fix: 0 time: 7.43 s 518.81/130.18 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 519.21/130.20 c vivif2 -- cl tried 67879 cl shrink 0 lits rem 0 time: 0.05 519.21/130.28 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.32 519.21/130.28 c calculated reachability. Time: 0.00 519.21/130.28 c N dy 2905 806447 579 2520 0 67879 7654 1046354 17.34 no data -- 537.16/134.79 c N dy 2973 826462 579 2520 0 49110 7654 545506 17.34 18.56 -- 563.48/141.35 c N dy 3067 853740 579 2520 0 75955 7654 1216126 17.32 18.30 -- 580.23/145.52 c N dy 3141 874570 579 2520 0 57069 7654 723982 17.32 18.36 -- 601.41/150.85 c N dy 3259 894631 579 2520 0 76900 7654 1235309 17.34 18.32 -- 621.32/155.83 c N dy 3322 919413 579 2520 0 60820 7654 803276 17.33 18.30 -- 643.25/161.35 c N dy 3422 939414 579 2520 0 80557 7654 1310866 17.34 18.48 -- 660.00/165.50 c N dy 3511 959561 579 2520 0 59031 7654 753189 17.35 18.35 -- 681.13/170.81 c N dy 3586 979800 579 2520 0 78986 7654 1267220 17.35 18.29 -- 700.28/175.68 c N dy 3677 1001337 579 2520 0 57841 7654 700073 17.36 18.30 -- 722.21/181.12 c N dy 3727 1023287 579 2520 0 79448 7654 1249088 17.33 18.31 -- 743.74/186.52 c N dy 3829 1045703 579 2520 0 58173 7654 693465 17.34 18.27 -- 771.67/193.57 c F st 3885 1071876 579 2520 0 83757 7654 1302217 17.30 13.95 -- 771.67/193.58 c N st 3885 1071876 579 2520 0 83757 7654 1302217 17.30 13.95 -- 789.63/198.03 c N dy 3981 1091946 579 2520 0 59355 7654 711865 17.31 21.21 -- 811.99/203.66 c N dy 4119 1111979 579 2520 0 79152 7654 1227886 17.34 20.26 -- 834.27/209.21 c N dy 4207 1131996 579 2520 0 53573 7654 533134 17.35 23.69 -- 854.22/214.29 c N dy 4284 1152059 579 2520 0 73355 7654 1035461 17.35 22.32 -- 881.75/221.12 c N dy 4387 1172113 579 2520 0 46816 7654 341312 17.36 18.46 -- 899.29/225.55 c N dy 4485 1192733 579 2520 0 67199 7654 867153 17.36 18.50 -- 921.66/231.12 c S st 4561 1209671 579 2520 0 83917 7654 1296900 17.37 17.98 -- 922.41/231.35 c S st 4561 1210177 579 2520 0 84423 7654 1310090 17.37 no data -- 922.41/231.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 922.41/231.36 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 922.41/231.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.16 922.81/231.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 922.81/231.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 922.81/231.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 922.81/231.44 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 931.58/233.68 c lits-rem: 433 cl-subs: 1897 v-elim: 0 v-fix: 0 time: 8.93 s 931.58/233.68 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 931.58/233.69 c vivif2 -- cl tried 82526 cl shrink 0 lits rem 0 time: 0.06 932.38/233.80 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.42 932.38/233.80 c calculated reachability. Time: 0.00 932.38/233.80 c N dy 4561 1210177 579 2520 0 82526 7654 1260539 17.37 no data -- 956.32/239.90 c N dy 4649 1230789 579 2520 0 55492 7654 535358 17.37 18.30 -- 986.23/247.36 c N dy 4693 1260651 579 2520 0 84834 7654 1270074 17.32 18.25 -- 1012.15/253.82 c N dy 4777 1282833 579 2520 0 58364 7654 593264 17.32 18.28 -- 1045.66/262.21 c N dy 4814 1309242 579 2520 0 84255 7654 1217524 17.28 18.32 -- 1075.55/269.71 c N dy 4919 1330331 579 2520 0 55880 7654 519559 17.29 18.32 -- 1098.29/275.42 c N dy 5042 1352013 579 2520 0 77271 7654 1071234 17.30 18.28 -- 1126.61/282.51 c N dy 5137 1372286 579 2520 0 97264 7654 1583006 17.30 18.33 -- 1146.54/287.54 c N dy 5201 1392690 579 2520 0 67134 7654 782367 17.30 18.42 -- 1172.07/293.96 c N dy 5333 1412764 579 2520 0 86958 7654 1302410 17.32 21.35 -- 1201.19/301.22 c N dy 5443 1432794 579 2520 0 55469 7654 466132 17.33 21.32 -- 1221.13/306.21 c N dy 5547 1452826 579 2520 0 75244 7654 973953 17.34 18.39 -- 1264.99/317.27 c N dy 5619 1485238 579 2520 0 54894 7654 434046 17.31 18.35 -- 1285.34/322.35 c N dy 5738 1505633 579 2520 0 75033 7654 954687 17.33 18.32 -- 1322.03/331.59 c N dy 5823 1532914 579 2520 0 101930 7654 1659283 17.32 18.24 -- 1344.76/337.27 c N dy 5931 1552959 579 2520 0 68436 7654 765454 17.33 20.64 -- 1370.68/343.77 c N dy 6021 1573038 579 2520 0 88249 7654 1274789 17.34 20.04 -- 1407.79/353.07 c N dy 6134 1596661 579 2520 0 57291 7654 460695 17.34 18.55 -- 1428.11/358.13 c N dy 6221 1616743 579 2520 0 77090 7654 962750 17.35 20.24 -- 1458.81/365.84 c N dy 6358 1637702 579 2520 0 97799 7654 1500708 17.36 18.28 -- 1488.33/373.25 c N dy 6481 1657771 579 2520 0 62360 7654 567784 17.37 19.80 -- 1510.67/378.84 c N dy 6566 1677826 579 2520 0 82146 7654 1079268 17.38 18.38 -- 1541.77/386.70 c N dy 6694 1697832 579 2520 0 101897 7654 1591960 17.39 19.00 -- 1563.71/392.11 c S st 6728 1710178 579 2520 0 57790 7654 433117 17.39 no data -- 1564.11/392.27 c S st 6728 1710684 579 2520 0 58296 7654 446873 17.39 no data -- 1564.11/392.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1564.11/392.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1564.11/392.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.10 1564.51/392.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 1564.51/392.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1564.51/392.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 1564.51/392.31 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1571.69/394.10 c lits-rem: 231 cl-subs: 57 v-elim: 0 v-fix: 0 time: 7.14 s 1571.69/394.10 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 1571.69/394.11 c vivif2 -- cl tried 58239 cl shrink 0 lits rem 0 time: 0.03 1571.69/394.17 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.25 1571.69/394.17 c calculated reachability. Time: 0.00 1571.69/394.17 c N dy 6728 1710684 579 2520 0 58239 7654 445117 17.39 no data -- 1593.21/399.51 c N dy 6806 1731824 579 2520 0 79065 7654 981390 17.39 18.38 -- 1619.54/406.18 c N dy 6858 1752756 579 2520 0 99665 7654 1508150 17.38 18.30 -- 1657.04/415.57 c N dy 6977 1772777 579 2520 0 62269 7654 529345 17.39 18.56 -- 1680.61/421.41 c N dy 7049 1792786 579 2520 0 82052 7654 1040199 17.39 21.66 -- 1723.24/432.18 c N dy 7082 1821919 579 2520 0 110636 7654 1746186 17.37 18.64 -- 1751.55/439.24 c N dy 7168 1844059 579 2520 0 74285 7654 801943 17.37 18.42 -- 1779.46/446.28 c N dy 7248 1865866 579 2520 0 95795 7654 1349147 17.37 18.41 -- 1814.96/455.14 c N dy 7349 1885913 579 2520 0 115553 7654 1857120 17.38 19.21 -- 1841.28/461.76 c N dy 7422 1909364 579 2520 0 79482 7654 934145 17.37 18.37 -- 1873.20/469.74 c N dy 7543 1930854 579 2520 0 100701 7654 1482873 17.38 18.80 -- 1911.08/479.25 c N dy 7655 1950984 579 2520 0 60452 7654 427898 17.39 18.31 -- 1934.21/485.08 c N dy 7729 1972515 579 2520 0 81679 7654 964798 17.39 18.37 -- 1963.31/492.39 c N dy 7827 1992544 579 2520 0 101428 7654 1472282 17.40 18.34 -- 2000.85/501.74 c N dy 7907 2012852 579 2520 0 121459 7654 1994691 17.40 18.37 -- 2028.32/508.60 c N dy 7973 2037272 579 2520 0 84346 7654 1008513 17.39 18.33 -- 2059.43/516.40 c N dy 8097 2057487 579 2520 0 104283 7654 1525037 17.41 18.34 -- 2098.91/526.33 c N dy 8230 2077494 579 2520 0 124040 7654 2042050 17.42 18.37 -- 2121.66/532.01 c N dy 8309 2098143 579 2520 0 82257 7654 946294 17.42 18.80 -- 2152.35/539.73 c N dy 8438 2118169 579 2520 0 102020 7654 1461928 17.43 18.50 -- 2189.83/549.14 c N dy 8542 2138210 579 2520 0 121844 7654 1978226 17.44 19.67 -- 2216.96/555.97 c N dy 8621 2159160 579 2520 0 79437 7654 858148 17.44 18.40 -- 2247.67/563.68 c N dy 8746 2179878 579 2520 0 99869 7654 1388674 17.45 18.50 -- 2286.36/573.38 c N dy 8864 2199938 579 2520 0 119670 7654 1906676 17.46 18.39 -- 2307.50/578.66 c S st 8926 2210685 579 2520 0 66150 7654 497793 17.46 16.43 -- 2308.28/578.82 c S st 8926 2211186 579 2520 0 66649 7654 511262 17.46 no data -- 2308.28/578.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2308.28/578.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2308.28/578.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.10 2308.28/578.87 c bin-w-bin subsume rem 0 bins time: 0.00 s 2308.28/578.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2308.28/578.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 2308.28/578.87 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2315.87/580.77 c lits-rem: 105 cl-subs: 85 v-elim: 0 v-fix: 0 time: 7.60 s 2315.87/580.77 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 2315.87/580.78 c vivif2 -- cl tried 66564 cl shrink 0 lits rem 0 time: 0.04 2316.28/580.86 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.28 2316.28/580.86 c calculated reachability. Time: 0.00 2316.28/580.86 c N dy 8926 2211186 579 2520 0 66564 7654 508677 17.46 no data -- 2340.99/587.07 c N dy 9015 2231654 579 2520 0 86763 7654 1033765 17.47 18.58 -- 2378.47/596.46 c N dy 9124 2255301 579 2520 0 110070 7654 1633597 17.47 18.49 -- 2422.35/607.42 c N dy 9225 2277031 579 2520 0 66381 7654 483079 17.48 18.46 -- 2444.29/612.91 c N dy 9270 2297049 579 2520 0 86059 7654 981803 17.47 19.37 -- 2475.00/620.62 c N dy 9345 2317244 579 2520 0 105970 7654 1492520 17.47 18.92 -- 2515.67/630.84 c N dy 9421 2338893 579 2520 0 127307 7654 2046869 17.47 18.40 -- 2547.99/638.92 c N dy 9505 2359333 579 2520 0 81401 7654 842574 17.47 18.46 -- 2576.69/646.17 c N dy 9597 2379514 579 2520 0 101309 7654 1358203 17.48 18.40 -- 2613.79/655.40 c N dy 9704 2399541 579 2520 0 121064 7654 1876606 17.48 21.78 -- 2651.27/664.84 c N dy 9791 2420816 579 2520 0 74994 7654 660574 17.49 18.43 -- 2677.59/671.49 c N dy 9884 2440835 579 2520 0 94747 7654 1172954 17.49 18.43 -- 2712.28/680.13 c N dy 9955 2460836 579 2520 0 114378 7654 1665508 17.49 18.42 -- 2754.57/690.75 c N dy 10053 2480860 579 2520 0 134136 7654 2183334 17.49 20.98 -- 2780.10/697.11 c N dy 10122 2501313 579 2520 0 86289 7654 946096 17.49 18.48 -- 2820.79/707.38 c N dy 10232 2526959 579 2520 0 111513 7654 1599097 17.49 18.52 -- 2863.84/718.15 c N dy 10365 2547058 579 2520 0 131354 7654 2122870 17.51 18.77 -- 2894.15/725.77 c N dy 10416 2567263 579 2520 0 82278 7654 818103 17.50 18.43 -- 2923.27/733.07 c N dy 10514 2587276 579 2520 0 102030 7654 1329341 17.51 18.85 -- 2963.54/743.14 c N dy 10612 2608752 579 2520 0 123195 7654 1877562 17.51 18.44 -- 3007.02/754.04 c N dy 10734 2629008 579 2520 0 73227 7654 571907 17.52 18.47 -- 3034.53/760.98 c N dy 10824 2649544 579 2520 0 93498 7654 1096983 17.52 18.52 -- 3068.03/769.36 c N dy 10890 2670134 579 2520 0 113788 7654 1609522 17.52 18.46 -- 3121.87/782.85 c N dy 10990 2695847 579 2520 0 139142 7654 2266253 17.52 18.50 -- 3143.81/788.34 c S st 11083 2711188 579 2520 0 83257 7654 812670 17.53 14.01 -- 3144.61/788.57 c S st 11083 2711688 579 2520 0 83756 7654 826130 17.53 no data -- 3144.61/788.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3144.61/788.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3145.01/788.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.14 3145.01/788.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 3145.01/788.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3145.01/788.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 3145.01/788.64 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3156.97/791.63 c lits-rem: 1153 cl-subs: 646 v-elim: 0 v-fix: 0 time: 11.92 s 3156.97/791.63 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 3156.97/791.64 c vivif2 -- cl tried 83110 cl shrink 0 lits rem 0 time: 0.05 3157.37/791.75 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.43 3157.37/791.76 c calculated reachability. Time: 0.00 3157.37/791.76 c N dy 11083 2711688 579 2520 0 83110 7654 807761 17.53 no data -- 3188.48/799.54 c N dy 11196 2731971 579 2520 0 103135 7654 1325830 17.53 18.47 -- 3225.96/808.96 c N dy 11296 2751990 579 2520 0 122881 7654 1839354 17.54 20.98 -- 3277.02/821.78 c N dy 11386 2772113 579 2520 0 142682 7654 2347810 17.54 18.71 -- 3322.87/833.25 c N dy 11490 2798829 579 2520 0 97064 7654 1138991 17.54 18.73 -- 3363.55/843.40 c N dy 11574 2818854 579 2520 0 116816 7654 1650958 17.55 20.12 -- 3409.41/854.93 c N dy 11639 2840003 579 2520 0 137676 7654 2184507 17.54 18.79 -- 3443.72/863.60 c N dy 11740 2860013 579 2520 0 84425 7654 793528 17.55 18.58 -- 3474.87/871.32 c N dy 11826 2880790 579 2520 0 104933 7654 1328072 17.55 18.53 -- 3511.51/880.54 c N dy 11894 2900823 579 2520 0 124680 7654 1840554 17.55 18.93 -- 3566.15/894.24 c N dy 11938 2927290 579 2520 0 76724 7654 578025 17.54 18.50 -- 3594.05/901.22 c N dy 12041 2947997 579 2520 0 97149 7654 1104106 17.54 18.53 -- 3629.56/910.16 c N dy 12133 2968737 579 2520 0 117606 7654 1638498 17.55 18.52 -- 3668.64/919.93 c N dy 12203 2988822 579 2520 0 137348 7654 2147994 17.54 20.52 -- 3710.53/930.43 c N dy 12286 3009954 579 2520 0 83321 7654 730012 17.54 18.55 -- 3741.62/938.29 c N dy 12408 3031034 579 2520 0 104119 7654 1275541 17.55 18.50 -- 3781.52/948.30 c N dy 12524 3051315 579 2520 0 124140 7654 1795467 17.55 18.50 -- 3847.32/964.72 c N dy 12595 3082936 579 2520 0 79356 7654 609431 17.54 18.50 -- 3879.21/972.77 c N dy 12685 3102983 579 2520 0 99143 7654 1119746 17.54 19.79 -- 3919.89/982.90 c N dy 12741 3123068 579 2520 0 118887 7654 1627153 17.54 19.79 -- 3964.97/994.23 c N dy 12866 3143076 579 2520 0 138626 7654 2142291 17.55 19.38 -- 4004.45/1004.11 c N dy 12913 3163097 579 2520 0 81476 7654 649660 17.55 20.70 -- 4032.01/1011.08 c N dy 12971 3183189 579 2520 0 101204 7654 1148155 17.54 23.01 -- 4069.85/1020.50 c N dy 13086 3203422 579 2520 0 121177 7654 1671394 17.55 18.50 -- 4087.80/1025.07 c S st 13129 3211688 579 2520 0 129319 7654 1880641 17.55 17.81 -- 4089.39/1025.46 c S st 13129 3212192 579 2520 0 129823 7654 1894838 17.55 no data -- 4089.39/1025.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4089.39/1025.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4089.79/1025.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.27 4090.19/1025.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 4090.19/1025.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4090.19/1025.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 4090.19/1025.60 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4113.31/1031.41 c lits-rem: 235 cl-subs: 3459 v-elim: 0 v-fix: 0 time: 23.16 s 4113.31/1031.41 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 4113.31/1031.43 c vivif2 -- cl tried 126364 cl shrink 0 lits rem 0 time: 0.10 4114.11/1031.62 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.73 4114.11/1031.62 c calculated reachability. Time: 0.00 4114.11/1031.62 c N dy 13129 3212192 579 2520 0 126364 7654 1808031 17.55 no data -- 4165.56/1044.51 c N dy 13221 3232217 579 2520 0 146102 7654 2311873 17.55 18.65 -- 4215.42/1057.00 c N dy 13318 3253399 579 2520 0 89208 7654 823323 17.55 18.61 -- 4259.69/1068.20 c N dy 13412 3275406 579 2520 0 110908 7654 1392050 17.56 18.55 -- 4301.95/1078.79 c N dy 13471 3295457 579 2520 0 130552 7654 1873506 17.56 21.56 -- 4349.81/1090.74 c N dy 13533 3315550 579 2520 0 150338 7654 2374725 17.55 18.62 -- 4386.91/1100.04 c N dy 13640 3335805 579 2520 0 91552 7654 879857 17.56 18.51 -- 4419.60/1108.21 c N dy 13713 3355884 579 2520 0 111303 7654 1385906 17.56 18.70 -- 4459.48/1118.20 c N dy 13805 3375927 579 2520 0 131035 7654 1896992 17.56 20.00 -- 4509.33/1130.77 c N dy 13867 3398488 579 2520 0 153162 7654 2472596 17.56 18.57 -- 4545.28/1139.75 c N dy 13927 3418529 579 2520 0 93204 7654 890626 17.55 20.08 -- 4578.74/1148.18 c N dy 14029 3438778 579 2520 0 113158 7654 1409641 17.55 18.54 -- 4618.61/1158.11 c N dy 14110 3458944 579 2520 0 133024 7654 1928001 17.56 18.51 -- 4667.26/1170.31 c N dy 14192 3479486 579 2520 0 153249 7654 2450447 17.56 18.56 -- 4704.35/1179.67 c N dy 14212 3499906 579 2520 0 92480 7654 834588 17.54 18.62 -- 4737.46/1187.96 c N dy 14310 3519911 579 2520 0 112216 7654 1346229 17.55 19.59 -- 4776.54/1197.70 c N dy 14349 3539935 579 2520 0 131895 7654 1843884 17.54 18.50 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368899-1305405586/watcher-3368899-1305405586 -o /tmp/evaluation-result-3368899-1305405586/solver-3368899-1305405586 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368899-1305405586.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 6.86 7.84 8.00 4/360 786 /proc/meminfo: memFree=25731828/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=30748 CPUtime=0 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 410 0 0 0 0 0 0 0 23 0 2 0 632974209 31485952 350 33554432000 4194304 4650419 140733419945232 18446744073709551615 264726461425 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 7687 350 303 112 0 2652 0 [pid=786/tid=790] ppid=783 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 632974209 52465664 353 33554432000 4194304 4650419 140733419945232 18446744073709551615 47874352306098 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632974209 52465664 353 33554432000 4194304 4650419 140733419945232 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=786/tid=792] ppid=783 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632974209 52465664 353 33554432000 4194304 4650419 140733419945232 18446744073709551615 47874352306098 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.113456 s] /proc/loadavg: 6.86 7.84 8.00 4/360 786 /proc/meminfo: memFree=25731828/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=282292 CPUtime=0.42 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 1894 0 0 0 42 0 0 0 18 0 4 0 632974209 289067008 1717 33554432000 4194304 4650419 140733419945232 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 70573 1717 391 112 0 65538 0 [pid=786/tid=790] ppid=783 vsize=282292 CPUtime=0.1 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 415 0 0 0 10 0 0 0 18 0 4 0 632974209 289067008 1717 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=282292 CPUtime=0.09 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 370 0 0 0 9 0 0 0 25 0 4 0 632974209 289067008 1717 33554432000 4194304 4650419 140733419945232 18446744073709551615 4334413 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=282292 CPUtime=0.1 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 285 0 0 0 10 0 0 0 18 0 4 0 632974209 289067008 1717 33554432000 4194304 4650419 140733419945232 18446744073709551615 4331103 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 282292 [startup+0.20044 s] /proc/loadavg: 6.86 7.84 8.00 4/360 786 /proc/meminfo: memFree=25731828/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=283764 CPUtime=0.76 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 2632 0 0 0 76 0 0 0 18 0 4 0 632974209 290574336 1825 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 70941 1825 393 112 0 65906 0 [pid=786/tid=790] ppid=783 vsize=283764 CPUtime=0.19 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 604 0 0 0 19 0 0 0 18 0 4 0 632974209 290574336 1825 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=283764 CPUtime=0.18 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 559 0 0 0 18 0 0 0 25 0 4 0 632974209 290574336 1825 33554432000 4194304 4650419 140733419945232 18446744073709551615 4333991 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=283764 CPUtime=0.19 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 474 0 0 0 19 0 0 0 18 0 4 0 632974209 290574336 1825 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.76 Current children cumulated vsize (KiB) 283764 [startup+0.300421 s] /proc/loadavg: 6.86 7.84 8.00 4/360 786 /proc/meminfo: memFree=25731828/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=283928 CPUtime=1.16 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 3056 0 0 0 116 0 0 0 18 0 4 0 632974209 290742272 2249 33554432000 4194304 4650419 140733419945232 18446744073709551615 4514128 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 70982 2249 393 112 0 65947 0 [pid=786/tid=790] ppid=783 vsize=283928 CPUtime=0.29 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 708 0 0 0 29 0 0 0 18 0 4 0 632974209 290742272 2249 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=283928 CPUtime=0.28 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 663 0 0 0 28 0 0 0 25 0 4 0 632974209 290742272 2249 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=283928 CPUtime=0.28 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 582 0 0 0 28 0 0 0 18 0 4 0 632974209 290742272 2249 33554432000 4194304 4650419 140733419945232 18446744073709551615 4520268 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 283928 [startup+0.700345 s] /proc/loadavg: 6.86 7.84 8.00 4/360 786 /proc/meminfo: memFree=25731828/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=284676 CPUtime=2.76 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 4776 0 0 0 276 0 0 0 18 0 4 0 632974209 291508224 3023 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 71169 3023 393 112 0 66134 0 [pid=786/tid=790] ppid=783 vsize=284676 CPUtime=0.69 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 1134 0 0 0 69 0 0 0 18 0 4 0 632974209 291508224 3023 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=284676 CPUtime=0.68 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 1121 0 0 0 68 0 0 0 25 0 4 0 632974209 291508224 3023 33554432000 4194304 4650419 140733419945232 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=284676 CPUtime=0.68 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 981 0 0 0 68 0 0 0 18 0 4 0 632974209 291508224 3023 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 284676 [startup+1.5002 s] /proc/loadavg: 7.27 7.91 8.02 9/371 797 /proc/meminfo: memFree=25705824/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=286056 CPUtime=5.94 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 9366 0 0 0 593 1 0 0 20 0 4 0 632974209 292921344 4966 33554432000 4194304 4650419 140733419945232 18446744073709551615 4438402 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 71514 4966 395 112 0 66479 0 [pid=786/tid=790] ppid=783 vsize=286056 CPUtime=1.49 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 1987 0 0 0 149 0 0 0 20 0 4 0 632974209 292921344 4966 33554432000 4194304 4650419 140733419945232 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=286056 CPUtime=1.46 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 1977 0 0 0 146 0 0 0 25 0 4 0 632974209 292921344 4966 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=286056 CPUtime=1.48 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 1714 0 0 0 148 0 0 0 20 0 4 0 632974209 292921344 4966 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 286056 [startup+3.10089 s] /proc/loadavg: 7.27 7.91 8.02 9/371 797 /proc/meminfo: memFree=25679288/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=295512 CPUtime=12.34 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 17596 0 0 0 1231 3 0 0 25 0 4 0 632974209 302604288 10528 33554432000 4194304 4650419 140733419945232 18446744073709551615 4314930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 73878 10528 395 112 0 68843 0 [pid=786/tid=790] ppid=783 vsize=295512 CPUtime=3.09 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 4145 0 0 0 309 0 0 0 25 0 4 0 632974209 302604288 10528 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=295512 CPUtime=3.05 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 4696 0 0 0 305 0 0 0 25 0 4 0 632974209 302604288 10528 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=295512 CPUtime=3.08 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 3957 0 0 0 308 0 0 0 25 0 4 0 632974209 302604288 10528 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 295512 [startup+6.30029 s] /proc/loadavg: 7.27 7.91 8.02 9/371 797 /proc/meminfo: memFree=25609376/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=313960 CPUtime=25.09 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 26159 0 0 0 2505 4 0 0 25 0 4 0 632974209 321495040 14728 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 78490 14728 395 112 0 73455 0 [pid=786/tid=790] ppid=783 vsize=313960 CPUtime=6.28 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 7346 0 0 0 628 0 0 0 25 0 4 0 632974209 321495040 14728 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=313960 CPUtime=6.21 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 6414 0 0 0 620 1 0 0 25 0 4 0 632974209 321495040 14728 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=313960 CPUtime=6.29 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 5355 0 0 0 628 1 0 0 25 0 4 0 632974209 321495040 14728 33554432000 4194304 4650419 140733419945232 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.09 Current children cumulated vsize (KiB) 313960 [startup+12.7011 s] /proc/loadavg: 7.38 7.92 8.02 9/371 797 /proc/meminfo: memFree=25558804/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=305272 CPUtime=50.62 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 38280 0 0 0 5055 7 0 0 25 0 4 0 632974209 312598528 21265 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 76318 21265 395 112 0 71283 0 [pid=786/tid=790] ppid=783 vsize=305272 CPUtime=12.69 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 10890 0 0 0 1268 1 0 0 25 0 4 0 632974209 312598528 21265 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=305272 CPUtime=12.53 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 9854 0 0 0 1252 1 0 0 25 0 4 0 632974209 312598528 21266 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=305272 CPUtime=12.69 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 6786 0 0 0 1268 1 0 0 25 0 4 0 632974209 312598528 21266 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.62 Current children cumulated vsize (KiB) 305272 [startup+25.5007 s] /proc/loadavg: 7.47 7.92 8.02 9/371 798 /proc/meminfo: memFree=25508604/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=306024 CPUtime=101.65 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 55431 0 0 0 10153 12 0 0 25 0 4 0 632974209 313368576 26796 33554432000 4194304 4650419 140733419945232 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 76506 26796 395 112 0 71471 0 [pid=786/tid=790] ppid=783 vsize=306024 CPUtime=25.49 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 17331 0 0 0 2546 3 0 0 25 0 4 0 632974209 313368576 26796 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=306024 CPUtime=25.17 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 16672 0 0 0 2513 4 0 0 25 0 4 0 632974209 313368576 26796 33554432000 4194304 4650419 140733419945232 18446744073709551615 4360427 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=306024 CPUtime=25.48 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 7564 0 0 0 2547 1 0 0 25 0 4 0 632974209 313368576 26796 33554432000 4194304 4650419 140733419945232 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.65 Current children cumulated vsize (KiB) 306024 [startup+51.1008 s] /proc/loadavg: 7.65 7.92 8.02 9/371 798 /proc/meminfo: memFree=25453404/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=372800 CPUtime=203.75 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 79890 0 0 0 20356 19 0 0 25 0 4 0 632974209 381747200 34571 33554432000 4194304 4650419 140733419945232 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 93200 34571 395 112 0 88165 0 [pid=786/tid=790] ppid=783 vsize=372800 CPUtime=51.08 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 23191 0 0 0 5104 4 0 0 25 0 4 0 632974209 381747200 34571 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363319 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=372800 CPUtime=50.47 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 26868 0 0 0 5041 6 0 0 25 0 4 0 632974209 381747200 34571 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=372800 CPUtime=51.09 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 11449 0 0 0 5106 3 0 0 25 0 4 0 632974209 381747200 34571 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.75 Current children cumulated vsize (KiB) 372800 [startup+102.301 s] /proc/loadavg: 7.94 7.96 8.02 9/371 800 /proc/meminfo: memFree=25350324/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=384944 CPUtime=407.96 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 118560 0 0 0 40763 33 0 0 25 0 4 0 632974209 394182656 43248 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 96236 43248 395 112 0 91201 0 [pid=786/tid=790] ppid=783 vsize=384944 CPUtime=102.28 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 38290 0 0 0 10219 9 0 0 25 0 4 0 632974209 394182656 43249 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=384944 CPUtime=101.07 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 40769 0 0 0 10096 11 0 0 25 0 4 0 632974209 394182656 43249 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=384944 CPUtime=102.3 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 13404 0 0 0 10226 4 0 0 25 0 4 0 632974209 394182656 43249 33554432000 4194304 4650419 140733419945232 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 407.96 Current children cumulated vsize (KiB) 384944 [startup+162.301 s] ################ # More data... # ################ [pid=786] ppid=783 vsize=538124 CPUtime=2800.83 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 381095 0 0 0 279943 140 0 0 25 0 4 0 632974209 551038976 86988 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 134531 86988 395 112 0 129496 0 [pid=786/tid=790] ppid=783 vsize=538124 CPUtime=702.18 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 140400 0 0 0 70166 52 0 0 25 0 4 0 632974209 551038976 86988 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=538124 CPUtime=693.99 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 134086 0 0 0 69354 45 0 0 25 0 4 0 632974209 551038976 86988 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=538124 CPUtime=702.31 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 33866 0 0 0 70217 14 0 0 25 0 4 0 632974209 551038976 86988 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2800.83 Current children cumulated vsize (KiB) 538124 [startup+762.301 s] /proc/loadavg: 8.11 8.07 8.04 9/371 817 /proc/meminfo: memFree=24979384/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=565312 CPUtime=3040.12 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 397575 0 0 0 303866 146 0 0 25 0 4 0 632974209 578879488 87823 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 141328 87823 395 112 0 136293 0 [pid=786/tid=790] ppid=783 vsize=565312 CPUtime=762.18 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 148329 0 0 0 76163 55 0 0 25 0 4 0 632974209 578879488 87825 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=565312 CPUtime=753.3 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 136144 0 0 0 75284 46 0 0 25 0 4 0 632974209 578879488 87825 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=565312 CPUtime=762.33 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 36581 0 0 0 76217 16 0 0 25 0 4 0 632974209 578879488 87825 33554432000 4194304 4650419 140733419945232 18446744073709551615 4306832 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3040.12 Current children cumulated vsize (KiB) 565312 [startup+822.3 s] /proc/loadavg: 8.12 8.09 8.04 9/371 819 /proc/meminfo: memFree=24958400/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=532752 CPUtime=3279.4 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 422542 0 0 0 327785 155 0 0 25 0 4 0 632974209 545538048 91762 33554432000 4194304 4650419 140733419945232 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 133188 91762 395 112 0 128153 0 [pid=786/tid=790] ppid=783 vsize=532752 CPUtime=822.16 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 162179 0 0 0 82157 59 0 0 25 0 4 0 632974209 545538048 91762 33554432000 4194304 4650419 140733419945232 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=532752 CPUtime=812.58 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 141863 0 0 0 81210 48 0 0 25 0 4 0 632974209 545538048 91762 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=532752 CPUtime=822.31 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 39108 0 0 0 82214 17 0 0 25 0 4 0 632974209 545538048 91762 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3279.4 Current children cumulated vsize (KiB) 532752 [startup+882.314 s] /proc/loadavg: 8.12 8.10 8.05 9/371 821 /proc/meminfo: memFree=24970900/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=546528 CPUtime=3518.73 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 437206 0 0 0 351711 162 0 0 25 0 4 0 632974209 559644672 94124 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 136632 94124 395 112 0 131597 0 [pid=786/tid=790] ppid=783 vsize=546528 CPUtime=882.17 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 167491 0 0 0 88156 61 0 0 25 0 4 0 632974209 559644672 94124 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=546528 CPUtime=871.88 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 146953 0 0 0 87138 50 0 0 25 0 4 0 632974209 559644672 94124 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=546528 CPUtime=882.32 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 40565 0 0 0 88215 17 0 0 25 0 4 0 632974209 559644672 94124 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3518.73 Current children cumulated vsize (KiB) 546528 [startup+942.301 s] /proc/loadavg: 8.12 8.11 8.05 9/371 822 /proc/meminfo: memFree=24881348/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=557572 CPUtime=3757.97 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 456574 0 0 0 375626 171 0 0 25 0 4 0 632974209 570953728 100204 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 139393 100204 395 112 0 134358 0 [pid=786/tid=790] ppid=783 vsize=557572 CPUtime=942.14 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 174324 0 0 0 94150 64 0 0 25 0 4 0 632974209 570953728 100204 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=557572 CPUtime=931.17 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 153127 0 0 0 93064 53 0 0 25 0 4 0 632974209 570953728 100204 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=557572 CPUtime=942.31 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 42261 0 0 0 94213 18 0 0 25 0 4 0 632974209 570953728 100204 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3757.97 Current children cumulated vsize (KiB) 557572 [startup+1002.3 s] /proc/loadavg: 8.04 8.08 8.05 9/371 824 /proc/meminfo: memFree=24897172/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=621056 CPUtime=3997.26 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 472939 0 0 0 399546 180 0 0 25 0 4 0 632974209 635961344 99734 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 155264 99734 395 112 0 150229 0 [pid=786/tid=790] ppid=783 vsize=621056 CPUtime=1002.14 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 180818 0 0 0 100146 68 0 0 25 0 4 0 632974209 635961344 99734 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=621056 CPUtime=990.45 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 157945 0 0 0 98989 56 0 0 25 0 4 0 632974209 635961344 99734 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=621056 CPUtime=1002.32 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 46227 0 0 0 100211 21 0 0 25 0 4 0 632974209 635961344 99734 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3997.26 Current children cumulated vsize (KiB) 621056 [startup+1062.3 s] /proc/loadavg: 8.06 8.08 8.05 9/371 825 /proc/meminfo: memFree=24822992/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=556736 CPUtime=4236.56 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 491280 0 0 0 423467 189 0 0 25 0 4 0 632974209 570097664 106982 33554432000 4194304 4650419 140733419945232 18446744073709551615 4329342 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 139184 106982 395 112 0 134149 0 [pid=786/tid=790] ppid=783 vsize=556736 CPUtime=1062.12 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 186892 0 0 0 106143 69 0 0 25 0 4 0 632974209 570097664 106982 33554432000 4194304 4650419 140733419945232 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=556736 CPUtime=1049.74 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 164068 0 0 0 104915 59 0 0 25 0 4 0 632974209 570097664 106982 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=556736 CPUtime=1062.32 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 46562 0 0 0 106211 21 0 0 25 0 4 0 632974209 570097664 106982 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4236.56 Current children cumulated vsize (KiB) 556736 [startup+1122.3 s] /proc/loadavg: 8.09 8.08 8.05 9/371 827 /proc/meminfo: memFree=24809320/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=616976 CPUtime=4475.83 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 506044 0 0 0 447387 196 0 0 25 0 4 0 632974209 631783424 106897 33554432000 4194304 4650419 140733419945232 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 154244 106897 395 112 0 149209 0 [pid=786/tid=790] ppid=783 vsize=616976 CPUtime=1122.11 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 192366 0 0 0 112139 72 0 0 25 0 4 0 632974209 631783424 106898 33554432000 4194304 4650419 140733419945232 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=616976 CPUtime=1109.03 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 170520 0 0 0 110841 62 0 0 25 0 4 0 632974209 631783424 106898 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=616976 CPUtime=1122.32 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 47815 0 0 0 112210 22 0 0 25 0 4 0 632974209 631783424 106898 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4475.83 Current children cumulated vsize (KiB) 616976 [startup+1182.3 s] /proc/loadavg: 8.13 8.09 8.05 9/371 829 /proc/meminfo: memFree=24786208/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=589756 CPUtime=4715.12 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 526157 0 0 0 471304 208 0 0 25 0 4 0 632974209 603910144 108893 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 147439 108893 395 112 0 142404 0 [pid=786/tid=790] ppid=783 vsize=589756 CPUtime=1182.11 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 199005 0 0 0 118136 75 0 0 25 0 4 0 632974209 603910144 108893 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=589756 CPUtime=1168.33 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 176979 0 0 0 116768 65 0 0 25 0 4 0 632974209 603910144 108893 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=589756 CPUtime=1182.33 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 51706 0 0 0 118207 26 0 0 25 0 4 0 632974209 603910144 108893 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4715.12 Current children cumulated vsize (KiB) 589756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 8.10 8.09 8.05 9/371 829 /proc/meminfo: memFree=24768708/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=589820 CPUtime=4800.08 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 532740 0 0 0 479798 210 0 0 25 0 4 0 632974209 603975680 109630 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 147455 109630 395 112 0 142420 0 [pid=786/tid=790] ppid=783 vsize=589820 CPUtime=1203.42 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 201515 0 0 0 120266 76 0 0 25 0 4 0 632974209 603975680 109631 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=589820 CPUtime=1189.38 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 181053 0 0 0 118872 66 0 0 25 0 4 0 632974209 603975680 109631 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=589820 CPUtime=1203.64 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 51706 0 0 0 120338 26 0 0 25 0 4 0 632974209 603975680 109631 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.08 Current children cumulated vsize (KiB) 589820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.6 s] /proc/loadavg: 8.10 8.09 8.05 9/371 829 /proc/meminfo: memFree=24768708/32951124 swapFree=63083164/67111528 [pid=786] ppid=783 vsize=589820 CPUtime=4800.08 cores=0,2,4,6 /proc/786/stat : 786 (strangenight1-m) R 783 786 751 0 -1 4202496 532740 0 0 0 479798 210 0 0 25 0 4 0 632974209 603975680 109630 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/786/statm: 147455 109630 395 112 0 142420 0 [pid=786/tid=790] ppid=783 vsize=589820 CPUtime=1203.42 cores=0,2,4,6 /proc/786/task/790/stat : 790 (strangenight1-m) R 783 786 751 0 -1 4202560 201515 0 0 0 120266 76 0 0 25 0 4 0 632974209 603975680 109631 33554432000 4194304 4650419 140733419945232 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=786/tid=791] ppid=783 vsize=589820 CPUtime=1189.38 cores=0,2,4,6 /proc/786/task/791/stat : 791 (strangenight1-m) R 783 786 751 0 -1 4202560 181053 0 0 0 118872 66 0 0 25 0 4 0 632974209 603975680 109631 33554432000 4194304 4650419 140733419945232 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=786/tid=792] ppid=783 vsize=589820 CPUtime=1203.64 cores=0,2,4,6 /proc/786/task/792/stat : 792 (strangenight1-m) R 783 786 751 0 -1 4202560 51706 0 0 0 120338 26 0 0 25 0 4 0 632974209 603975680 109631 33554432000 4194304 4650419 140733419945232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.08 Current children cumulated vsize (KiB) 589820 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.64 CPU time (s): 4800.16 CPU user time (s): 4798.03 CPU system time (s): 2.12468 CPU usage (%): 398.803 Max. virtual memory (cumulated for all children) (KiB): 690240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.03 system time used= 2.12468 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 532742 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= 209 involuntary context switches= 24222 runsolver used 4.05938 second user time and 10.2144 second system time The end
Begin job on node141 at 2011-05-14 22:39:46 IDJOB=3368899 IDBENCH=82908 IDSOLVER=1846 FILE ID=node141/3368899-1305405586 RUNJOBID= node141-1305405586-770 PBS_JOBID= 13324495 Free space on /tmp= 73300 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368899-1305405586/watcher-3368899-1305405586 -o /tmp/evaluation-result-3368899-1305405586/solver-3368899-1305405586 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368899-1305405586.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb08468cf0220e53f83e89f3d31d3696 RANDOM SEED=779927891 node141.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.806 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.61 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.806 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 : 5362.96 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.806 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.84 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.806 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25731992 kB Buffers: 227812 kB Cached: 4781088 kB SwapCached: 15708 kB Active: 1978948 kB Inactive: 4998300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25731992 kB SwapTotal: 67111528 kB SwapFree: 63083164 kB Dirty: 12560 kB Writeback: 0 kB AnonPages: 1959856 kB Mapped: 12224 kB Slab: 136012 kB PageTables: 38268 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 86228156 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= 73288 MiB End job on node141 at 2011-05-14 22:59:52