| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.35 | 1201.73 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf |
| MD5SUM | 7f4758baa378252dd3709cff507a5405 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 370.78 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60 |
| Number of clauses | 5340 |
| Sum of the clauses size | 37380 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 5340 |
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-3175415-1304123110.cnf' 0.00/0.00 c -- header says num vars: 60 0.00/0.00 c -- header says num clauses: 5340 0.00/0.00 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.00/0.00 c -- vars added 60 0.00/0.10 c Parsing time: 0.01 s 0.00/0.10 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.78/0.20 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.46 0.78/0.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.78/0.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.78/0.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.78/0.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.78/0.20 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.78/0.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.78/0.20 c Finding binary XORs T: 0.00 s found: 0 0.78/0.20 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.78/0.20 c calculated reachability. Time: 0.00 0.78/0.20 c Calc default polars - time: 0.00 s pos: 25 undec: 3 neg: 32 0.78/0.20 c ========================================================================================= 0.78/0.20 c types(t): F = full restart, N = normal restart 0.78/0.20 c types(t): S = simplification begin/end, E = solution found 0.78/0.20 c restart types(rt): st = static, dy = dynamic 0.78/0.20 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.78/0.20 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 1.98/0.56 c N dy 8 13303 60 5340 0 5781 37380 110512 17.17 18.08 -- 3.18/0.86 c N dy 40 20969 60 5340 0 7587 37380 140076 17.47 18.47 -- 3.98/1.06 c F st 65 25000 60 5340 0 11198 37380 217624 17.70 18.17 -- 3.98/1.06 c N st 65 25000 60 5340 0 11198 37380 217624 17.70 18.17 -- 4.79/1.27 c N dy 71 30004 60 5340 0 9596 37380 174889 17.70 no data -- 4.79/1.27 c S st 71 30004 60 5340 0 9596 37380 174889 17.70 no data -- 5.17/1.30 c S st 71 30508 60 5340 0 10052 37380 184698 17.70 no data -- 5.17/1.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.17/1.30 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.17/1.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.17/1.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.17/1.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.17/1.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.17/1.31 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.18/2.31 c lits-rem: 1356 cl-subs: 1132 v-elim: 0 v-fix: 0 time: 3.98 s 9.96/2.58 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.09 9.96/2.58 c calculated reachability. Time: 0.00 9.96/2.58 c N dy 71 30508 60 5340 0 8920 37380 159583 17.70 no data -- 11.16/2.80 c N dy 95 34514 60 5340 0 12498 37380 236038 17.86 19.43 -- 11.96/3.01 c N dy 110 38524 60 5340 0 9109 37380 153194 17.92 21.07 -- 13.17/3.31 c N dy 135 43984 60 5340 0 13971 37380 257609 18.04 18.99 -- 13.58/3.43 c S st 153 45762 60 5340 0 15552 37380 292113 18.12 no data -- 13.58/3.48 c S st 153 46266 60 5340 0 8075 37380 122895 18.12 no data -- 13.58/3.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.58/3.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.58/3.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.58/3.49 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.58/3.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.58/3.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.58/3.49 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.76/4.29 c lits-rem: 97 cl-subs: 12 v-elim: 0 v-fix: 0 time: 3.18 s 16.76/4.29 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.76/4.29 c vivif2 -- cl tried 8063 cl shrink 0 lits rem 0 time: 0.00 17.98/4.53 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.95 17.98/4.53 c calculated reachability. Time: 0.00 17.98/4.53 c N dy 153 46266 60 5340 0 8063 37380 122509 18.12 no data -- 21.55/5.42 c N dy 168 63756 60 5340 0 14577 37380 241531 17.60 18.55 -- 22.74/5.72 c N dy 200 67829 60 5340 0 18213 37380 320051 17.72 19.47 -- 23.14/5.85 c S st 214 69399 60 5340 0 9937 37380 145230 17.76 no data -- 23.14/5.88 c S st 214 69905 60 5340 0 10395 37380 155257 17.76 no data -- 23.14/5.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 23.14/5.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.14/5.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 23.14/5.89 c bin-w-bin subsume rem 0 bins time: 0.00 s 23.14/5.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 23.14/5.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 23.14/5.89 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 26.76/6.72 c lits-rem: 276 cl-subs: 185 v-elim: 0 v-fix: 0 time: 3.30 s 26.76/6.72 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 26.76/6.72 c vivif2 -- cl tried 10210 cl shrink 0 lits rem 0 time: 0.00 27.94/7.01 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.14 27.94/7.01 c calculated reachability. Time: 0.00 27.94/7.01 c N dy 214 69905 60 5340 0 10210 37380 151342 17.76 no data -- 28.74/7.27 c N dy 249 74382 60 5340 0 14203 37380 237807 17.87 19.20 -- 30.75/7.79 c N dy 272 81339 60 5340 0 20410 37380 368809 17.89 18.87 -- 32.34/8.15 c N dy 277 87150 60 5340 0 14930 37380 236080 17.83 18.79 -- 32.34/8.17 c F st 281 87501 60 5340 0 15237 37380 242880 17.84 no data -- 33.93/8.52 c N dy 288 92870 60 5340 0 20002 37380 343909 17.84 18.82 -- 35.92/9.01 c N dy 317 99205 60 5340 0 14101 37380 212424 17.88 18.85 -- 37.52/9.40 c S st 343 104857 60 5340 0 19152 37380 319307 17.90 18.49 -- 37.52/9.45 c S st 343 105359 60 5340 0 19605 37380 329271 17.90 no data -- 37.52/9.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 37.52/9.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 37.52/9.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 37.52/9.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 37.52/9.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 37.52/9.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 37.52/9.47 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 43.52/10.95 c lits-rem: 1888 cl-subs: 1920 v-elim: 0 v-fix: 0 time: 5.89 s 43.52/10.95 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 43.52/10.95 c vivif2 -- cl tried 17685 cl shrink 0 lits rem 0 time: 0.01 45.12/11.30 c asymm cl-useful: 0/4267/5340 lits-rem:0 time: 1.40 45.12/11.30 c calculated reachability. Time: 0.00 45.12/11.30 c N dy 343 105359 60 5340 0 17685 37380 286759 17.90 no data -- 47.51/11.96 c N dy 359 114169 60 5340 0 13164 37380 182676 17.83 18.82 -- 50.30/12.64 c N dy 390 124087 60 5340 0 21928 37380 367010 17.83 18.81 -- 53.50/13.45 c N dy 435 134426 60 5340 0 17832 37380 268610 17.86 18.83 -- 56.30/14.12 c N dy 466 143026 60 5340 0 25481 37380 430273 17.87 19.69 -- 59.89/15.07 c N dy 509 155186 60 5340 0 22111 37380 350566 17.86 18.81 -- 61.09/15.32 c S st 514 158039 60 5340 0 24618 37380 402047 17.86 17.88 -- 61.09/15.38 c S st 514 158540 60 5340 0 25070 37380 411869 17.86 no data -- 61.09/15.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 61.09/15.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.09/15.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.02 61.51/15.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 61.51/15.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 61.51/15.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 61.51/15.41 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 69.09/17.37 c lits-rem: 2006 cl-subs: 2899 v-elim: 0 v-fix: 0 time: 7.85 s 69.09/17.37 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 69.09/17.38 c vivif2 -- cl tried 22171 cl shrink 0 lits rem 0 time: 0.02 69.89/17.51 c asymm cl-useful: 0/1073/5340 lits-rem:0 time: 0.53 69.89/17.51 c calculated reachability. Time: 0.00 69.89/17.51 c N dy 514 158540 60 5340 0 22171 37380 350920 17.86 no data -- 73.88/18.55 c N dy 548 169399 60 5340 0 16930 37380 232450 17.88 18.85 -- 77.87/19.52 c N dy 629 180224 60 5340 0 26592 37380 442693 17.97 19.65 -- 82.27/20.64 c N dy 692 191827 60 5340 0 20976 37380 310207 18.02 20.67 -- 89.06/22.31 c N dy 703 211805 60 5340 0 21768 37380 311806 17.86 19.00 -- 94.65/23.77 c N dy 781 225420 60 5340 0 33932 37380 573455 17.92 18.89 -- 99.44/24.92 c S st 823 237810 60 5340 0 27191 37380 418305 17.93 17.60 -- 99.44/24.99 c S st 823 238314 60 5340 0 27656 37380 428712 17.93 no data -- 99.44/24.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 99.44/24.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 99.84/25.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 99.84/25.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 99.84/25.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 99.84/25.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 99.84/25.01 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 108.23/27.11 c lits-rem: 1737 cl-subs: 2658 v-elim: 0 v-fix: 0 time: 8.38 s 108.23/27.11 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 108.23/27.12 c vivif2 -- cl tried 24998 cl shrink 0 lits rem 0 time: 0.02 109.84/27.50 c asymm cl-useful: 0/3306/5340 lits-rem:0 time: 1.55 109.84/27.51 c calculated reachability. Time: 0.00 109.84/27.51 c N dy 823 238314 60 5340 0 24998 37380 371507 17.93 no data -- 116.62/29.25 c N dy 924 253621 60 5340 0 20107 37380 260397 18.01 19.37 -- 124.21/31.12 c N dy 1000 272124 60 5340 0 36495 37380 608903 18.04 18.99 -- 131.82/33.10 c N dy 1051 292972 60 5340 0 35469 37380 569604 18.00 18.96 -- 137.79/34.52 c F st 1084 306252 60 5340 0 26921 37380 382519 17.99 no data -- 141.38/35.42 c N dy 1093 315672 60 5340 0 35197 37380 558255 17.99 18.94 -- 150.57/37.71 c N dy 1152 335803 60 5340 0 31790 37380 468838 17.97 18.92 -- 160.16/40.18 c N dy 1239 355867 60 5340 0 27470 37380 377912 18.00 20.49 -- 160.96/40.35 c S st 1243 357471 60 5340 0 28921 37380 408837 18.00 16.87 -- 161.36/40.43 c S st 1243 357972 60 5340 0 29382 37380 418714 18.00 no data -- 161.36/40.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 161.36/40.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 161.36/40.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 161.36/40.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 161.36/40.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 161.36/40.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 161.36/40.45 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 169.34/42.49 c lits-rem: 1449 cl-subs: 1753 v-elim: 0 v-fix: 0 time: 8.15 s 169.34/42.49 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 169.75/42.50 c vivif2 -- cl tried 27629 cl shrink 0 lits rem 0 time: 0.02 170.95/42.87 c asymm cl-useful: 0/2034/5340 lits-rem:0 time: 1.46 170.95/42.87 c calculated reachability. Time: 0.00 170.95/42.87 c N dy 1243 357972 60 5340 0 27629 37380 380251 18.00 no data -- 184.94/46.33 c N dy 1323 382840 60 5340 0 26663 37380 346318 17.99 18.96 -- 194.91/48.89 c N dy 1360 402935 60 5340 0 44422 37380 719090 17.97 19.12 -- 204.10/51.13 c N dy 1388 422976 60 5340 0 38275 37380 574103 17.92 20.10 -- 214.88/53.86 c N dy 1466 442995 60 5340 0 31366 37380 425627 17.94 20.45 -- 226.86/56.84 c N dy 1554 464229 60 5340 0 50266 37380 828098 17.96 18.95 -- 239.25/59.96 c N dy 1657 487503 60 5340 0 45244 37380 711954 17.98 18.94 -- 252.83/63.37 c N dy 1779 511178 60 5340 0 39656 37380 583484 18.00 19.07 -- 266.02/66.67 c N dy 1868 531295 60 5340 0 29970 37380 365424 18.02 19.00 -- 268.81/67.39 c S st 1909 536958 60 5340 0 35040 37380 476552 18.03 no data -- 269.21/67.49 c S st 1909 537468 60 5340 0 35501 37380 486513 18.03 no data -- 269.21/67.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 269.21/67.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 269.61/67.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 269.61/67.51 c bin-w-bin subsume rem 0 bins time: 0.00 s 269.61/67.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 269.61/67.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 269.61/67.51 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 278.80/69.88 c lits-rem: 1132 cl-subs: 1741 v-elim: 0 v-fix: 0 time: 9.45 s 278.80/69.88 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 278.80/69.89 c vivif2 -- cl tried 33760 cl shrink 0 lits rem 0 time: 0.02 280.40/70.27 c asymm cl-useful: 0/2670/5340 lits-rem:0 time: 1.54 280.40/70.27 c calculated reachability. Time: 0.00 280.40/70.27 c N dy 1909 537468 60 5340 0 33760 37380 446622 18.03 no data -- 293.98/73.69 c N dy 2048 558170 60 5340 0 52200 37380 846611 18.08 19.11 -- 305.56/76.58 c N dy 2144 578413 60 5340 0 41794 37380 610600 18.09 19.22 -- 319.94/80.11 c N dy 2213 599267 60 5340 0 30962 37380 365034 18.10 19.12 -- 330.72/82.80 c N dy 2263 619781 60 5340 0 49124 37380 747399 18.08 19.13 -- 344.71/86.38 c N dy 2350 639866 60 5340 0 36836 37380 481220 18.09 19.68 -- 360.31/90.22 c N dy 2424 661846 60 5340 0 56279 37380 893027 18.09 19.20 -- 375.46/94.00 c N dy 2483 686255 60 5340 0 46758 37380 677504 18.08 19.10 -- 392.64/98.33 c N dy 2585 706588 60 5340 0 32986 37380 381220 18.10 19.08 -- 406.63/101.87 c N dy 2645 730580 60 5340 0 54116 37380 823514 18.09 19.17 -- 422.60/105.83 c N dy 2768 750598 60 5340 0 39248 37380 503772 18.12 19.11 -- 435.41/109.07 c N dy 2834 770604 60 5340 0 56879 37380 875853 18.11 19.23 -- 452.58/113.35 c N dy 2966 790668 60 5340 0 41060 37380 530619 18.14 19.10 -- 461.38/115.57 c S st 2994 806203 60 5340 0 54668 37380 814572 18.13 16.61 -- 462.15/115.71 c S st 2994 806706 60 5340 0 55129 37380 824949 18.13 no data -- 462.15/115.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 462.15/115.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 462.15/115.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 462.15/115.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 462.15/115.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 462.15/115.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 462.15/115.76 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 495.71/124.13 c lits-rem: 2720 cl-subs: 6050 v-elim: 0 v-fix: 0 time: 33.40 s 495.71/124.13 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 495.71/124.14 c vivif2 -- cl tried 49079 cl shrink 0 lits rem 0 time: 0.04 496.93/124.47 c asymm cl-useful: 0/773/5340 lits-rem:0 time: 1.32 496.93/124.47 c calculated reachability. Time: 0.00 496.93/124.47 c N dy 2994 806706 60 5340 0 49079 37380 700167 18.13 no data -- 514.50/128.86 c N dy 3073 826781 60 5340 0 66967 37380 1083512 18.13 20.22 -- 528.86/132.42 c N dy 3194 846863 60 5340 0 50608 37380 730154 18.15 19.71 -- 547.24/137.09 c N dy 3312 866954 60 5340 0 68500 37380 1119120 18.18 19.15 -- 562.44/140.85 c N dy 3375 890170 60 5340 0 53565 37380 767030 18.16 19.26 -- 581.98/145.79 c N dy 3438 914544 60 5340 0 38950 37380 451762 18.15 19.14 -- 598.77/149.95 c N dy 3440 945485 60 5340 0 66011 37380 1013372 18.10 19.13 -- 616.75/154.41 c N dy 3557 965829 60 5340 0 47138 37380 622308 18.12 19.11 -- 633.15/158.54 c N dy 3634 987071 60 5340 0 65896 37380 1023299 18.12 19.24 -- 651.10/163.05 c N dy 3688 1007962 60 5340 0 46409 37380 587568 18.11 19.13 -- 665.47/166.61 c N dy 3695 1030432 60 5340 0 66062 37380 986197 18.08 19.12 -- 684.65/171.45 c N dy 3819 1050492 60 5340 0 45161 37380 560150 18.10 19.40 -- 701.43/175.69 c F st 3945 1071875 60 5340 0 64139 37380 970085 18.11 15.85 -- 701.43/175.69 c N st 3945 1071875 60 5340 0 64139 37380 970085 18.11 15.85 -- 723.40/181.19 c N dy 4029 1094041 60 5340 0 43949 37380 519965 18.12 19.09 -- 739.77/185.27 c N dy 4098 1116711 60 5340 0 63922 37380 943123 18.12 19.16 -- 762.54/190.99 c N dy 4175 1139650 60 5340 0 43608 37380 501924 18.12 19.09 -- 780.52/195.45 c N dy 4275 1159656 60 5340 0 61418 37380 886352 18.13 19.11 -- 814.88/204.00 c N dy 4316 1189792 60 5340 0 46321 37380 546527 18.11 19.14 -- 834.45/208.93 c N dy 4373 1210060 60 5340 0 64199 37380 923024 18.10 17.50 -- 834.45/208.93 c S st 4373 1210060 60 5340 0 64199 37380 923024 18.10 17.50 -- 835.27/209.17 c S st 4373 1210563 60 5340 0 64660 37380 933406 18.10 no data -- 835.27/209.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 835.27/209.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 835.65/209.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.15 835.65/209.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 835.65/209.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 835.65/209.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 835.65/209.25 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 898.76/225.01 c lits-rem: 2980 cl-subs: 7055 v-elim: 0 v-fix: 0 time: 62.92 s 898.76/225.01 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 898.76/225.02 c vivif2 -- cl tried 57605 cl shrink 0 lits rem 0 time: 0.04 899.96/225.33 c asymm cl-useful: 0/652/5340 lits-rem:0 time: 1.23 899.96/225.33 c calculated reachability. Time: 0.00 899.96/225.33 c N dy 4373 1210563 60 5340 0 57605 37380 791398 18.10 no data -- 916.34/229.45 c N dy 4414 1230565 60 5340 0 75154 37380 1162637 18.09 21.34 -- 936.33/234.42 c N dy 4529 1250631 60 5340 0 51058 37380 650775 18.11 20.54 -- 962.30/241.00 c N dy 4593 1282174 60 5340 0 78891 37380 1235804 18.10 19.22 -- 984.67/246.54 c N dy 4686 1303836 60 5340 0 54978 37380 716714 18.10 19.20 -- 1005.42/251.73 c N dy 4750 1323876 60 5340 0 72570 37380 1086813 18.10 19.08 -- 1033.78/258.88 c N dy 4845 1343938 60 5340 0 46310 37380 523572 18.11 20.65 -- 1063.77/266.37 c N dy 4914 1376119 60 5340 0 74624 37380 1117525 18.09 19.10 -- 1089.73/272.85 c N dy 5019 1396173 60 5340 0 47447 37380 537052 18.10 20.10 -- 1106.89/277.13 c N dy 5127 1417008 60 5340 0 65895 37380 936102 18.11 19.12 -- 1131.25/283.28 c N dy 5206 1439936 60 5340 0 86116 37380 1364905 18.11 19.27 -- 1152.01/288.41 c N dy 5290 1461413 60 5340 0 59251 37380 778909 18.11 19.07 -- 1172.80/293.61 c N dy 5391 1482053 60 5340 0 77565 37380 1175952 18.12 19.29 -- 1201.16/300.76 c N dy 5542 1502086 60 5340 0 48493 37380 538425 18.14 20.32 -- 1217.93/304.96 c N dy 5625 1522134 60 5340 0 66153 37380 915849 18.15 19.65 -- 1240.70/310.64 c N dy 5645 1547886 60 5340 0 88664 37380 1387158 18.13 19.10 -- 1262.27/316.01 c N dy 5751 1567921 60 5340 0 58741 37380 751984 18.14 19.60 -- 1282.65/321.15 c N dy 5842 1587963 60 5340 0 76472 37380 1133530 18.15 20.40 -- 1307.01/327.28 c N dy 5890 1608495 60 5340 0 94497 37380 1509763 18.14 19.16 -- 1326.19/332.05 c N dy 5965 1629123 60 5340 0 64230 37380 858543 18.14 19.14 -- 1346.96/337.21 c N dy 6046 1649159 60 5340 0 81901 37380 1238227 18.14 20.22 -- 1376.92/344.76 c N dy 6181 1669215 60 5340 0 50170 37380 545040 18.16 19.96 -- 1393.33/348.88 c N dy 6235 1689281 60 5340 0 67765 37380 912523 18.15 21.00 -- 1418.87/355.27 c N dy 6307 1709313 60 5340 0 85434 37380 1285881 18.15 20.02 -- 1421.66/355.90 c S st 6320 1710563 60 5340 0 86558 37380 1310859 18.15 no data -- 1422.86/356.25 c S st 6320 1711068 60 5340 0 87013 37380 1321346 18.15 no data -- 1422.86/356.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1422.86/356.26 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1423.26/356.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.24 1423.26/356.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 1423.26/356.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1423.26/356.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1423.26/356.37 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1614.59/404.22 c lits-rem: 6108 cl-subs: 11067 v-elim: 0 v-fix: 0 time: 191.10 s 1614.59/404.22 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1614.59/404.23 c vivif2 -- cl tried 75946 cl shrink 0 lits rem 0 time: 0.06 1616.20/404.63 c asymm cl-useful: 0/498/5340 lits-rem:0 time: 1.60 1616.20/404.64 c calculated reachability. Time: 0.00 1616.20/404.64 c N dy 6320 1711068 60 5340 0 75946 37380 1094157 18.15 no data -- 1652.16/413.66 c N dy 6431 1733093 60 5340 0 95503 37380 1514569 18.16 19.15 -- 1676.92/419.84 c N dy 6525 1753095 60 5340 0 63481 37380 826540 18.16 19.66 -- 1705.68/427.08 c N dy 6600 1776595 60 5340 0 84116 37380 1266431 18.16 19.35 -- 1748.02/437.66 c N dy 6617 1809938 60 5340 0 62438 37380 775981 18.14 19.11 -- 1773.59/444.06 c N dy 6687 1830007 60 5340 0 80091 37380 1151060 18.14 19.86 -- 1808.34/452.72 c N dy 6746 1850347 60 5340 0 98096 37380 1535510 18.14 19.16 -- 1837.90/460.19 c N dy 6846 1872846 60 5340 0 66148 37380 855643 18.14 19.13 -- 1863.08/466.44 c N dy 6961 1892926 60 5340 0 83977 37380 1243795 18.15 19.84 -- 1890.22/473.27 c N dy 7053 1912947 60 5340 0 101697 37380 1624781 18.16 20.94 -- 1912.59/478.90 c N dy 7147 1933066 60 5340 0 66609 37380 858176 18.16 19.12 -- 1937.78/485.16 c N dy 7192 1957054 60 5340 0 87756 37380 1305423 18.16 19.12 -- 1966.12/492.29 c N dy 7275 1977105 60 5340 0 105470 37380 1683777 18.16 19.28 -- 1988.89/497.95 c N dy 7396 1997127 60 5340 0 69405 37380 912388 18.17 19.30 -- 2010.46/503.30 c N dy 7461 2017205 60 5340 0 87042 37380 1286348 18.17 19.75 -- 2041.22/511.04 c N dy 7548 2039539 60 5340 0 106722 37380 1708121 18.17 19.13 -- 2067.18/517.58 c N dy 7597 2067816 60 5340 0 76830 37380 1040319 18.16 19.14 -- 2106.33/527.37 c N dy 7691 2099877 60 5340 0 105070 37380 1639684 18.15 19.20 -- 2130.70/533.40 c N dy 7703 2125854 60 5340 0 72352 37380 934024 18.13 19.10 -- 2156.67/539.90 c N dy 7812 2145884 60 5340 0 90022 37380 1318113 18.14 19.93 -- 2181.43/546.19 c N dy 7821 2166167 60 5340 0 107707 37380 1679744 18.12 19.09 -- 2202.60/551.43 c N dy 7864 2186376 60 5340 0 69246 37380 873420 18.12 19.19 -- 2225.37/557.17 c N dy 7949 2206474 60 5340 0 86969 37380 1253696 18.12 20.62 -- 2232.18/558.86 c S st 7966 2211068 60 5340 0 91024 37380 1340122 18.12 16.67 -- 2233.36/559.14 c S st 7966 2211573 60 5340 0 91479 37380 1350575 18.12 no data -- 2233.36/559.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2233.36/559.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2233.36/559.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.17 2233.77/559.23 c bin-w-bin subsume rem 0 bins time: 0.00 s 2233.77/559.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2233.77/559.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2233.77/559.23 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2380.37/595.92 c lits-rem: 5076 cl-subs: 9885 v-elim: 0 v-fix: 0 time: 146.53 s 2380.37/595.92 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2380.37/595.94 c vivif2 -- cl tried 81594 cl shrink 0 lits rem 0 time: 0.06 2381.99/596.34 c asymm cl-useful: 0/487/5340 lits-rem:0 time: 1.61 2381.99/596.34 c calculated reachability. Time: 0.00 2381.99/596.34 c N dy 7966 2211573 60 5340 0 81594 37380 1142210 18.12 no data -- 2415.52/604.74 c N dy 8093 2231626 60 5340 0 99307 37380 1528691 18.13 20.54 -- 2451.47/613.70 c N dy 8172 2251716 60 5340 0 60422 37380 682669 18.14 19.54 -- 2474.26/619.44 c N dy 8228 2271739 60 5340 0 77997 37380 1053402 18.13 19.24 -- 2532.16/633.95 c N dy 8337 2305218 60 5340 0 107422 37380 1674955 18.13 19.09 -- 2572.51/644.00 c N dy 8486 2325231 60 5340 0 67428 37380 825503 18.14 21.59 -- 2602.07/651.45 c N dy 8556 2345433 60 5340 0 85275 37380 1206829 18.14 19.13 -- 2644.41/662.06 c N dy 8672 2366805 60 5340 0 104162 37380 1617816 18.15 19.17 -- 2696.35/675.04 c N dy 8731 2398365 60 5340 0 72831 37380 907902 18.14 19.10 -- 2730.69/683.67 c N dy 8824 2418860 60 5340 0 90854 37380 1295916 18.14 19.18 -- 2767.05/692.78 c N dy 8885 2440752 60 5340 0 110095 37380 1706008 18.14 19.17 -- 2802.60/701.66 c N dy 8970 2461030 60 5340 0 68200 37380 807485 18.15 19.13 -- 2830.56/708.62 c N dy 9083 2481206 60 5340 0 85948 37380 1193970 18.15 19.15 -- 2867.71/717.99 c N dy 9226 2501396 60 5340 0 103852 37380 1588661 18.16 19.24 -- 2907.66/727.98 c N dy 9317 2522363 60 5340 0 61630 37380 662628 18.17 19.16 -- 2938.02/735.52 c N dy 9422 2551259 60 5340 0 86998 37380 1205805 18.17 19.14 -- 2967.57/742.93 c N dy 9494 2571268 60 5340 0 104590 37380 1582311 18.17 19.19 -- 3009.12/753.38 c N dy 9618 2592560 60 5340 0 61819 37380 656716 18.18 19.15 -- 3032.32/759.10 c N dy 9746 2612607 60 5340 0 79531 37380 1044629 18.19 19.49 -- 3060.65/766.21 c N dy 9858 2632696 60 5340 0 97332 37380 1432919 18.19 20.11 -- 3093.43/774.45 c N dy 9962 2652730 60 5340 0 114919 37380 1814491 18.20 19.97 -- 3125.36/782.49 c N dy 10071 2672874 60 5340 0 70088 37380 825945 18.20 19.19 -- 3147.73/788.07 c N dy 10143 2693212 60 5340 0 87997 37380 1208393 18.20 19.17 -- 3172.52/794.29 c S st 10213 2711573 60 5340 0 104180 37380 1554275 18.20 no data -- 3174.10/794.61 c S st 10213 2712076 60 5340 0 104625 37380 1564281 18.20 no data -- 3174.10/794.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3174.10/794.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3174.10/794.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.21 3174.50/794.72 c bin-w-bin subsume rem 0 bins time: 0.00 s 3174.50/794.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3174.50/794.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3174.50/794.72 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3592.34/899.33 c lits-rem: 5777 cl-subs: 11852 v-elim: 0 v-fix: 0 time: 417.79 s 3592.34/899.33 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3592.34/899.35 c vivif2 -- cl tried 92773 cl shrink 0 lits rem 0 time: 0.08 3593.94/899.75 c asymm cl-useful: 0/581/5340 lits-rem:0 time: 1.62 3593.94/899.75 c calculated reachability. Time: 0.00 3593.94/899.75 c N dy 10213 2712076 60 5340 0 92773 37380 1314452 18.20 no data -- 3637.08/910.59 c N dy 10322 2732113 60 5340 0 110450 37380 1694349 18.21 19.81 -- 3686.20/922.89 c N dy 10411 2752184 60 5340 0 65390 37380 721557 18.21 21.26 -- 3720.95/931.59 c N dy 10521 2772555 60 5340 0 83347 37380 1111250 18.22 19.21 -- 3762.89/942.01 c N dy 10657 2792647 60 5340 0 101137 37380 1502872 18.23 19.22 -- 3807.63/953.27 c N dy 10737 2813120 60 5340 0 119197 37380 1892466 18.23 19.20 -- 3848.78/963.59 c N dy 10812 2833139 60 5340 0 72752 37380 863534 18.23 20.62 -- 3898.70/976.03 c N dy 10913 2865080 60 5340 0 100794 37380 1464789 18.23 19.23 -- 3945.86/987.88 c N dy 11041 2885138 60 5340 0 118516 37380 1853526 18.24 19.34 -- 3993.77/999.85 c N dy 11122 2908452 60 5340 0 73897 37380 872867 18.24 19.27 -- 4028.92/1008.69 c N dy 11226 2928480 60 5340 0 91587 37380 1254210 18.24 20.00 -- 4073.68/1019.86 c N dy 11363 2948538 60 5340 0 109331 37380 1643907 18.25 22.21 -- 4124.79/1032.62 c N dy 11456 2969989 60 5340 0 128214 37380 2050438 18.25 19.33 -- 4157.54/1040.80 c N dy 11509 2992856 60 5340 0 82327 37380 1040922 18.25 19.28 -- 4188.70/1048.60 c N dy 11609 3013275 60 5340 0 100335 37380 1433781 18.25 19.25 -- 4219.46/1056.38 c N dy 11668 3033868 60 5340 0 118445 37380 1817784 18.25 19.23 -- 4255.81/1065.41 c N dy 11734 3053913 60 5340 0 69218 37380 759215 18.25 19.50 -- 4280.98/1071.76 c N dy 11851 3074219 60 5340 0 87124 37380 1151253 18.26 19.25 -- 4306.17/1078.06 c N dy 11894 3094228 60 5340 0 104603 37380 1514329 18.25 20.63 -- 4350.88/1089.24 c N dy 11974 3116465 60 5340 0 124158 37380 1934547 18.25 19.23 -- 4395.62/1100.40 c N dy 12075 3138095 60 5340 0 75531 37380 885369 18.25 19.30 -- 4426.78/1108.27 c N dy 12172 3158965 60 5340 0 93954 37380 1283793 18.26 19.22 -- 4465.52/1117.91 c N dy 12256 3180268 60 5340 0 112704 37380 1687843 18.26 19.23 -- 4523.85/1132.56 c N dy 12364 3207420 60 5340 0 136598 37380 2200219 18.26 19.24 -- 4532.64/1134.78 c S st 12383 3212076 60 5340 0 72053 37380 799332 18.26 17.50 -- 4533.84/1135.04 c S st 12383 3212583 60 5340 0 72503 37380 809401 18.26 no data -- 4533.84/1135.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4533.84/1135.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4533.84/1135.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.14 4534.24/1135.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 4534.24/1135.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4534.24/1135.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4534.24/1135.11 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4606.54/1153.27 c lits-rem: 558 cl-subs: 1048 v-elim: 0 v-fix: 0 time: 72.51 s 4606.54/1153.27 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4606.54/1153.28 c vivif2 -- cl tried 71455 cl shrink 0 lits rem 0 time: 0.05 4607.74/1153.57 c asymm cl-useful: 0/607/5340 lits-rem:0 time: 1.15 4607.74/1153.57 c calculated reachability. Time: 0.00 4607.74/1153.57 c N dy 12383 3212583 60 5340 0 71455 37380 786463 18.26 no data -- 4652.09/1164.69 c N dy 12393 3254481 60 5340 0 107909 37380 1524570 18.23 19.31 -- 4685.63/1173.05 c N dy 12472 3274954 60 5340 0 125980 37380 1915308 18.23 19.23 -- 4724.01/1182.67 c N dy 12574 3295220 60 5340 0 74551 37380 847149 18.24 19.20 -- 4751.14/1189.45 c N dy 12696 3315443 60 5340 0 92446 37380 1238983 18.24 19.23 -- 4782.70/1197.33 c N dy 12791 3335571 60 5340 0 110092 37380 1621180 18.25 19.22 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175415-1304123110/watcher-3175415-1304123110 -o /tmp/evaluation-result-3175415-1304123110/solver-3175415-1304123110 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175415-1304123110.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: 4.45 6.83 7.58 3/176 5920 /proc/meminfo: memFree=22827072/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=116780 CPUtime=0 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 560 0 0 0 0 0 0 0 25 0 4 0 523910616 119582720 478 33554432000 4194304 4650419 140735874303136 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 33299 483 333 112 0 28264 0 [pid=5920/tid=5923] ppid=5916 vsize=133196 CPUtime=0 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 4 0 523910616 136392704 494 33554432000 4194304 4650419 140735874303136 18446744073709551615 274473628357 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=133196 CPUtime=0 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 78 0 0 0 0 0 0 0 25 0 4 0 523910616 136392704 494 33554432000 4194304 4650419 140735874303136 18446744073709551615 274473628357 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=133196 CPUtime=0 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) S 5916 5920 5295 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 4 0 523910616 136392704 499 33554432000 4194304 4650419 140735874303136 18446744073709551615 274474072558 0 0 4096 2 18446604471164520512 0 0 -1 5 0 0 0 [startup+0.105938 s] /proc/loadavg: 4.45 6.83 7.58 3/176 5920 /proc/meminfo: memFree=22827072/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=216508 CPUtime=0.4 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 1329 0 0 0 40 0 0 0 25 0 4 0 523910616 221704192 1246 33554432000 4194304 4650419 140735874303136 18446744073709551615 4370618 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 54127 1246 366 112 0 49092 0 [pid=5920/tid=5923] ppid=5916 vsize=216508 CPUtime=0.1 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 190 0 0 0 10 0 0 0 25 0 4 0 523910616 221704192 1246 33554432000 4194304 4650419 140735874303136 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=216508 CPUtime=0.1 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 213 0 0 0 10 0 0 0 25 0 4 0 523910616 221704192 1247 33554432000 4194304 4650419 140735874303136 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=216508 CPUtime=0.1 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 315 0 0 0 10 0 0 0 25 0 4 0 523910616 221704192 1247 33554432000 4194304 4650419 140735874303136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 216508 [startup+0.200926 s] /proc/loadavg: 4.45 6.83 7.58 3/176 5920 /proc/meminfo: memFree=22827072/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=219348 CPUtime=0.78 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 2985 0 0 0 78 0 0 0 25 0 4 0 523910616 224612352 2554 33554432000 4194304 4650419 140735874303136 18446744073709551615 4229492 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 54837 2555 390 112 0 49802 0 [pid=5920/tid=5923] ppid=5916 vsize=219348 CPUtime=0.19 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 661 0 0 0 19 0 0 0 25 0 4 0 523910616 224612352 2555 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=219348 CPUtime=0.19 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 701 0 0 0 19 0 0 0 25 0 4 0 523910616 224612352 2555 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366192 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=219348 CPUtime=0.19 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 523 0 0 0 19 0 0 0 25 0 4 0 523910616 224612352 2555 33554432000 4194304 4650419 140735874303136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.78 Current children cumulated vsize (KiB) 219348 [startup+0.300908 s] /proc/loadavg: 4.45 6.83 7.58 3/176 5920 /proc/meminfo: memFree=22827072/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=220044 CPUtime=1.18 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 3626 0 0 0 118 0 0 0 25 0 4 0 523910616 225325056 2714 33554432000 4194304 4650419 140735874303136 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 55011 2715 390 112 0 49976 0 [pid=5920/tid=5923] ppid=5916 vsize=220044 CPUtime=0.29 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 877 0 0 0 29 0 0 0 25 0 4 0 523910616 225325056 2716 33554432000 4194304 4650419 140735874303136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=220044 CPUtime=0.29 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 876 0 0 0 29 0 0 0 25 0 4 0 523910616 225325056 2716 33554432000 4194304 4650419 140735874303136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=220044 CPUtime=0.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 585 0 0 0 29 0 0 0 25 0 4 0 523910616 225325056 2716 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 220044 [startup+0.700838 s] /proc/loadavg: 4.45 6.83 7.58 3/176 5920 /proc/meminfo: memFree=22827072/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=221040 CPUtime=2.78 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 5594 0 0 0 278 0 0 0 25 0 4 0 523910616 226344960 3480 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 55260 3480 390 112 0 50225 0 [pid=5920/tid=5923] ppid=5916 vsize=221040 CPUtime=0.69 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 1346 0 0 0 69 0 0 0 25 0 4 0 523910616 226344960 3480 33554432000 4194304 4650419 140735874303136 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=221040 CPUtime=0.69 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 1303 0 0 0 69 0 0 0 25 0 4 0 523910616 226344960 3480 33554432000 4194304 4650419 140735874303136 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=221040 CPUtime=0.69 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 1165 0 0 0 69 0 0 0 25 0 4 0 523910616 226344960 3480 33554432000 4194304 4650419 140735874303136 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 221040 [startup+1.5007 s] /proc/loadavg: 4.45 6.83 7.58 10/184 5928 /proc/meminfo: memFree=22794524/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=222380 CPUtime=5.97 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 9921 0 0 0 597 0 0 0 25 0 4 0 523910616 227717120 5314 33554432000 4194304 4650419 140735874303136 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 55595 5314 392 112 0 50560 0 [pid=5920/tid=5923] ppid=5916 vsize=222380 CPUtime=1.49 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 2132 0 0 0 149 0 0 0 25 0 4 0 523910616 227717120 5314 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=222380 CPUtime=1.49 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 2114 0 0 0 149 0 0 0 25 0 4 0 523910616 227717120 5314 33554432000 4194304 4650419 140735874303136 18446744073709551615 4316020 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=222380 CPUtime=1.49 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 1947 0 0 0 149 0 0 0 25 0 4 0 523910616 227717120 5314 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 222380 [startup+3.10042 s] /proc/loadavg: 4.74 6.85 7.59 10/184 5928 /proc/meminfo: memFree=22763152/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=230260 CPUtime=12.36 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 16248 0 0 0 1235 1 0 0 25 0 4 0 523910616 235786240 9845 33554432000 4194304 4650419 140735874303136 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 57565 9845 392 112 0 52530 0 [pid=5920/tid=5923] ppid=5916 vsize=230260 CPUtime=3.09 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 3686 0 0 0 309 0 0 0 25 0 4 0 523910616 235786240 9845 33554432000 4194304 4650419 140735874303136 18446744073709551615 4331301 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=230260 CPUtime=3.09 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 4345 0 0 0 309 0 0 0 25 0 4 0 523910616 235786240 9845 33554432000 4194304 4650419 140735874303136 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=230260 CPUtime=3.08 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 3939 0 0 0 308 0 0 0 25 0 4 0 523910616 235786240 9845 33554432000 4194304 4650419 140735874303136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 230260 [startup+6.30086 s] /proc/loadavg: 4.74 6.85 7.59 10/184 5928 /proc/meminfo: memFree=22716652/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=249168 CPUtime=25.14 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 23067 0 0 0 2512 2 0 0 25 0 4 0 523910616 255148032 12872 33554432000 4194304 4650419 140735874303136 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 62292 12872 392 112 0 57257 0 [pid=5920/tid=5923] ppid=5916 vsize=249168 CPUtime=6.28 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 6010 0 0 0 628 0 0 0 25 0 4 0 523910616 255148032 12872 33554432000 4194304 4650419 140735874303136 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=249168 CPUtime=6.29 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 5365 0 0 0 629 0 0 0 25 0 4 0 523910616 255148032 12872 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=249168 CPUtime=6.28 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 6014 0 0 0 628 0 0 0 25 0 4 0 523910616 255148032 12872 33554432000 4194304 4650419 140735874303136 18446744073709551615 4333707 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 249168 [startup+12.7007 s] /proc/loadavg: 5.24 6.89 7.59 10/184 5929 /proc/meminfo: memFree=22665868/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=244252 CPUtime=50.71 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 34066 0 0 0 5065 6 0 0 25 0 4 0 523910616 250114048 18634 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 61063 18634 392 112 0 56028 0 [pid=5920/tid=5923] ppid=5916 vsize=244252 CPUtime=12.69 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 8708 0 0 0 1268 1 0 0 25 0 4 0 523910616 250114048 18634 33554432000 4194304 4650419 140735874303136 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=244252 CPUtime=12.69 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 7947 0 0 0 1268 1 0 0 25 0 4 0 523910616 250114048 18634 33554432000 4194304 4650419 140735874303136 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=244252 CPUtime=12.68 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 9597 0 0 0 1267 1 0 0 25 0 4 0 523910616 250114048 18634 33554432000 4194304 4650419 140735874303136 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 244252 [startup+25.5005 s] /proc/loadavg: 5.66 6.92 7.59 10/184 5929 /proc/meminfo: memFree=22622764/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=245116 CPUtime=101.84 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 50315 0 0 0 10174 10 0 0 25 0 4 0 523910616 250998784 23553 33554432000 4194304 4650419 140735874303136 18446744073709551615 4439181 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 61279 23553 392 112 0 56244 0 [pid=5920/tid=5923] ppid=5916 vsize=245116 CPUtime=25.48 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 12975 0 0 0 2546 2 0 0 25 0 4 0 523910616 250998784 23553 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=245116 CPUtime=25.49 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 10633 0 0 0 2547 2 0 0 25 0 4 0 523910616 250998784 23553 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=245116 CPUtime=25.48 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 14387 0 0 0 2546 2 0 0 25 0 4 0 523910616 250998784 23553 33554432000 4194304 4650419 140735874303136 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 245116 [startup+51.101 s] /proc/loadavg: 6.59 7.04 7.61 10/184 5929 /proc/meminfo: memFree=22580124/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=236136 CPUtime=204.1 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 74607 0 0 0 20392 18 0 0 25 0 4 0 523910616 241803264 26480 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 59034 26480 392 112 0 53999 0 [pid=5920/tid=5923] ppid=5916 vsize=236136 CPUtime=51.09 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 18588 0 0 0 5105 4 0 0 25 0 4 0 523910616 241803264 26480 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=236136 CPUtime=51.09 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 17512 0 0 0 5104 5 0 0 25 0 4 0 523910616 241803264 26480 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=236136 CPUtime=51.08 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 21564 0 0 0 5103 5 0 0 25 0 4 0 523910616 241803264 26480 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 204.1 Current children cumulated vsize (KiB) 236136 [startup+102.301 s] /proc/loadavg: 7.57 7.23 7.65 10/184 5931 /proc/meminfo: memFree=22536344/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=257900 CPUtime=408.65 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 110113 0 0 0 40835 30 0 0 25 0 4 0 523910616 264089600 32147 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 64475 32147 392 112 0 59440 0 [pid=5920/tid=5923] ppid=5916 vsize=257900 CPUtime=102.3 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 24886 0 0 0 10223 7 0 0 25 0 4 0 523910616 264089600 32147 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=257900 CPUtime=102.29 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 24640 0 0 0 10222 7 0 0 25 0 4 0 523910616 264089600 32147 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=257900 CPUtime=102.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 34563 0 0 0 10220 9 0 0 25 0 4 0 523910616 264089600 32147 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.65 Current children cumulated vsize (KiB) 257900 [startup+162.3 s] ################ # More data... # ################ [pid=5920] ppid=5916 vsize=409064 CPUtime=2565.72 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 333611 0 0 0 256444 128 0 0 25 0 4 0 523910616 418881536 65964 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 102266 65964 392 112 0 97231 0 [pid=5920/tid=5923] ppid=5916 vsize=409064 CPUtime=642.3 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 78376 0 0 0 64201 29 0 0 25 0 4 0 523910616 418881536 65964 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=409064 CPUtime=642.3 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 82413 0 0 0 64196 34 0 0 25 0 4 0 523910616 418881536 65964 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=409064 CPUtime=642.28 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 94886 0 0 0 64195 33 0 0 25 0 4 0 523910616 418881536 65964 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2565.72 Current children cumulated vsize (KiB) 409064 [startup+702.3 s] /proc/loadavg: 8.00 7.94 7.83 10/184 5947 /proc/meminfo: memFree=22224208/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=397068 CPUtime=2805.39 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 342142 0 0 0 280406 133 0 0 25 0 4 0 523910616 406597632 67132 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 99267 67132 392 112 0 94232 0 [pid=5920/tid=5923] ppid=5916 vsize=397068 CPUtime=702.3 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 78482 0 0 0 70201 29 0 0 25 0 4 0 523910616 406597632 67132 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=397068 CPUtime=702.3 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 84898 0 0 0 70194 36 0 0 25 0 4 0 523910616 406597632 67132 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=397068 CPUtime=702.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 97032 0 0 0 70194 35 0 0 25 0 4 0 523910616 406597632 67132 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2805.39 Current children cumulated vsize (KiB) 397068 [startup+762.301 s] /proc/loadavg: 8.11 7.98 7.85 10/184 5949 /proc/meminfo: memFree=22186236/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=475152 CPUtime=3045.09 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 357646 0 0 0 304368 141 0 0 25 0 4 0 523910616 486555648 74965 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 118788 74965 392 112 0 113753 0 [pid=5920/tid=5923] ppid=5916 vsize=475152 CPUtime=762.31 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 81926 0 0 0 76200 31 0 0 25 0 4 0 523910616 486555648 74965 33554432000 4194304 4650419 140735874303136 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=475152 CPUtime=762.31 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 87806 0 0 0 76193 38 0 0 25 0 4 0 523910616 486555648 74965 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=475152 CPUtime=762.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 102292 0 0 0 76192 37 0 0 25 0 4 0 523910616 486555648 74965 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3045.09 Current children cumulated vsize (KiB) 475152 [startup+822.3 s] /proc/loadavg: 8.19 8.02 7.87 10/184 5950 /proc/meminfo: memFree=22173312/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=528364 CPUtime=3284.75 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 370639 0 0 0 328326 149 0 0 25 0 4 0 523910616 541044736 78637 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 132091 78637 392 112 0 127056 0 [pid=5920/tid=5923] ppid=5916 vsize=528364 CPUtime=822.31 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 87374 0 0 0 82197 34 0 0 25 0 4 0 523910616 541044736 78637 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=528364 CPUtime=822.31 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 90478 0 0 0 82191 40 0 0 25 0 4 0 523910616 541044736 78637 33554432000 4194304 4650419 140735874303136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=528364 CPUtime=822.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 106168 0 0 0 82189 40 0 0 25 0 4 0 523910616 541044736 78637 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3284.75 Current children cumulated vsize (KiB) 528364 [startup+882.308 s] /proc/loadavg: 8.20 8.04 7.88 10/184 5952 /proc/meminfo: memFree=22169068/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=462948 CPUtime=3524.45 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 378584 0 0 0 352292 153 0 0 25 0 4 0 523910616 474058752 77027 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 115737 77027 392 112 0 110702 0 [pid=5920/tid=5923] ppid=5916 vsize=462948 CPUtime=882.31 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 89929 0 0 0 88195 36 0 0 25 0 4 0 523910616 474058752 77027 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=462948 CPUtime=882.31 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 91981 0 0 0 88191 40 0 0 25 0 4 0 523910616 474058752 77027 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=462948 CPUtime=882.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 109925 0 0 0 88188 41 0 0 25 0 4 0 523910616 474058752 77027 33554432000 4194304 4650419 140735874303136 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3524.45 Current children cumulated vsize (KiB) 462948 [startup+942.301 s] /proc/loadavg: 8.20 8.06 7.90 10/184 5953 /proc/meminfo: memFree=22102080/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=461732 CPUtime=3764.09 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 385775 0 0 0 376252 157 0 0 25 0 4 0 523910616 472813568 80665 33554432000 4194304 4650419 140735874303136 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 115433 80665 392 112 0 110398 0 [pid=5920/tid=5923] ppid=5916 vsize=461732 CPUtime=942.31 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 92683 0 0 0 94194 37 0 0 25 0 4 0 523910616 472813568 80665 33554432000 4194304 4650419 140735874303136 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=461732 CPUtime=942.31 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 93542 0 0 0 94189 42 0 0 25 0 4 0 523910616 472813568 80665 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=461732 CPUtime=942.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 110653 0 0 0 94188 41 0 0 25 0 4 0 523910616 472813568 80665 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3764.09 Current children cumulated vsize (KiB) 461732 [startup+1002.3 s] /proc/loadavg: 8.18 8.08 7.91 10/184 5955 /proc/meminfo: memFree=22127960/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=461732 CPUtime=4003.75 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 390863 0 0 0 400214 161 0 0 25 0 4 0 523910616 472813568 82393 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 115433 82393 392 112 0 110398 0 [pid=5920/tid=5923] ppid=5916 vsize=461732 CPUtime=1002.31 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 92683 0 0 0 100194 37 0 0 25 0 4 0 523910616 472813568 82393 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=461732 CPUtime=1002.31 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 96228 0 0 0 100187 44 0 0 25 0 4 0 523910616 472813568 82393 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=461732 CPUtime=1002.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 111166 0 0 0 100188 41 0 0 25 0 4 0 523910616 472813568 82393 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4003.75 Current children cumulated vsize (KiB) 461732 [startup+1062.3 s] /proc/loadavg: 8.07 8.06 7.91 10/184 5957 /proc/meminfo: memFree=22120496/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=474656 CPUtime=4243.44 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 397032 0 0 0 424178 166 0 0 25 0 4 0 523910616 486047744 86060 33554432000 4194304 4650419 140735874303136 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 118664 86060 392 112 0 113629 0 [pid=5920/tid=5923] ppid=5916 vsize=474656 CPUtime=1062.31 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 95078 0 0 0 106192 39 0 0 25 0 4 0 523910616 486047744 86060 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=474656 CPUtime=1062.31 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 98713 0 0 0 106186 45 0 0 25 0 4 0 523910616 486047744 86060 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=474656 CPUtime=1062.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 111168 0 0 0 106188 41 0 0 25 0 4 0 523910616 486047744 86060 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4243.44 Current children cumulated vsize (KiB) 474656 [startup+1122.3 s] /proc/loadavg: 8.02 8.05 7.91 10/184 5958 /proc/meminfo: memFree=22100140/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=479068 CPUtime=4483.11 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 404313 0 0 0 448140 171 0 0 25 0 4 0 523910616 490565632 85737 33554432000 4194304 4650419 140735874303136 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 119767 85737 392 112 0 114732 0 [pid=5920/tid=5923] ppid=5916 vsize=479068 CPUtime=1122.31 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 97382 0 0 0 112190 41 0 0 25 0 4 0 523910616 490565632 85737 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=479068 CPUtime=1122.31 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 100970 0 0 0 112185 46 0 0 25 0 4 0 523910616 490565632 85737 33554432000 4194304 4650419 140735874303136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=479068 CPUtime=1122.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 111304 0 0 0 112188 41 0 0 25 0 4 0 523910616 490565632 85737 33554432000 4194304 4650419 140735874303136 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4483.11 Current children cumulated vsize (KiB) 479068 [startup+1182.3 s] /proc/loadavg: 8.01 8.04 7.91 10/184 5960 /proc/meminfo: memFree=22102472/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=504564 CPUtime=4722.78 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 415261 0 0 0 472102 176 0 0 25 0 4 0 523910616 516673536 91274 33554432000 4194304 4650419 140735874303136 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 126141 91274 392 112 0 121106 0 [pid=5920/tid=5923] ppid=5916 vsize=504564 CPUtime=1182.31 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 99534 0 0 0 118189 42 0 0 25 0 4 0 523910616 516673536 91274 33554432000 4194304 4650419 140735874303136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=504564 CPUtime=1182.31 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 103803 0 0 0 118183 48 0 0 25 0 4 0 523910616 516673536 91274 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=504564 CPUtime=1182.29 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 116196 0 0 0 118186 43 0 0 25 0 4 0 523910616 516673536 91274 33554432000 4194304 4650419 140735874303136 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4722.78 Current children cumulated vsize (KiB) 504564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.00 8.03 7.91 10/184 5960 /proc/meminfo: memFree=22073568/32950928 swapFree=67111524/67111528 [pid=5920] ppid=5916 vsize=504564 CPUtime=4800.3 cores=1,3,5,7 /proc/5920/stat : 5920 (strangenight1-m) R 5916 5920 5295 0 -1 4202496 419495 0 0 0 479850 180 0 0 25 0 4 0 523910616 516673536 95508 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/5920/statm: 126141 95508 392 112 0 121106 0 [pid=5920/tid=5923] ppid=5916 vsize=504564 CPUtime=1201.71 cores=1,3,5,7 /proc/5920/task/5923/stat : 5923 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 100761 0 0 0 120128 43 0 0 25 0 4 0 523910616 516673536 95508 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5920/tid=5924] ppid=5916 vsize=504564 CPUtime=1201.71 cores=1,3,5,7 /proc/5920/task/5924/stat : 5924 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 104675 0 0 0 120123 48 0 0 25 0 4 0 523910616 516673536 95508 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=5920/tid=5925] ppid=5916 vsize=504564 CPUtime=1201.69 cores=1,3,5,7 /proc/5920/task/5925/stat : 5925 (strangenight1-m) R 5916 5920 5295 0 -1 4202560 117217 0 0 0 120125 44 0 0 25 0 4 0 523910616 516673536 95508 33554432000 4194304 4650419 140735874303136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.3 Current children cumulated vsize (KiB) 504564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.73 CPU time (s): 4800.35 CPU user time (s): 4798.52 CPU system time (s): 1.82172 CPU usage (%): 399.453 Max. virtual memory (cumulated for all children) (KiB): 528484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.52 system time used= 1.82172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 419496 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= 456 involuntary context switches= 48189 runsolver used 1.72274 second user time and 4.88326 second system time The end
Begin job on node125 at 2011-04-30 02:25:10 IDJOB=3175415 IDBENCH=83033 IDSOLVER=1588 FILE ID=node125/3175415-1304123110 RUNJOBID= node125-1304123109-5902 PBS_JOBID= 13170720 Free space on /tmp= 72764 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175415-1304123110/watcher-3175415-1304123110 -o /tmp/evaluation-result-3175415-1304123110/solver-3175415-1304123110 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175415-1304123110.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7f4758baa378252dd3709cff507a5405 RANDOM SEED=262367697 node125.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.828 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.65 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.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.82 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.828 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.74 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.828 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.828 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: 32950928 kB MemFree: 22827508 kB Buffers: 2125152 kB Cached: 7411216 kB SwapCached: 4 kB Active: 2140544 kB Inactive: 7459516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 22827508 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 12404 kB Writeback: 24 kB AnonPages: 62696 kB Mapped: 14480 kB Slab: 460484 kB PageTables: 4648 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 188760 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= 72752 MiB End job on node125 at 2011-04-30 02:45:13