| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.47 | 1201.74 |
| Name | random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf |
| MD5SUM | 30f9bf8e3b9c70d1ebd1c611372c0c4a |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.562914 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 700 |
| Number of clauses | 2982 |
| Sum of the clauses size | 8946 |
| 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 | 2982 |
| 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.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-3175335-1304119403.cnf' 0.00/0.00 c -- header says num vars: 700 0.00/0.00 c -- header says num clauses: 2982 0.00/0.00 c -- clauses added: 0 learnts, 2982 normals, 0 xors 0.00/0.00 c -- vars added 700 0.00/0.00 c Parsing time: 0.01 s 0.00/0.00 c N st 0 0 700 2982 0 0 8946 0 no data no data -- 0.00/0.01 c asymm cl-useful: 0/2982/2982 lits-rem:0 time: 0.01 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: 700 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.01 c lits-rem: 0 cl-subs: 0 v-elim: 19 v-fix: 0 time: 0.01 s 0.00/0.01 c Finding binary XORs T: 0.00 s found: 0 0.00/0.01 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.01 c calculated reachability. Time: 0.00 0.00/0.01 c Calc default polars - time: 0.00 s pos: 318 undec: 87 neg: 295 0.00/0.01 c ========================================================================================= 0.00/0.01 c types(t): F = full restart, N = normal restart 0.00/0.01 c types(t): S = simplification begin/end, E = solution found 0.00/0.01 c restart types(rt): st = static, dy = dynamic 0.00/0.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.01 c B st 0 0 681 2969 0 0 9022 0 no data no data -- 0.00/0.07 c Decided on static restart strategy 0.37/0.17 c N st 8 4917 681 2969 0 4872 9022 149751 no data no data -- 1.57/0.44 c N st 10 11300 681 2969 0 4516 9022 92555 no data no data -- 2.78/0.74 c N st 11 17043 681 2969 0 10210 9022 276328 no data no data -- 4.39/1.17 c F st 12 25002 681 2969 0 12485 9022 329540 no data no data -- 4.39/1.17 c N st 12 25002 681 2969 0 12485 9022 329540 no data no data -- 5.57/1.42 c N dy 18 30002 681 2969 0 10742 9022 257476 no data no data -- 5.57/1.42 c S st 18 30002 681 2969 0 10742 9022 257476 no data no data -- 5.57/1.45 c S st 18 30505 681 2969 0 11244 9022 272083 no data no data -- 5.57/1.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.57/1.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.57/1.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 5.57/1.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.57/1.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.57/1.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 5.57/1.47 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 6.77/1.76 c lits-rem: 253 cl-subs: 260 v-elim: 0 v-fix: 0 time: 1.19 s 6.77/1.77 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.04 6.77/1.77 c calculated reachability. Time: 0.00 6.77/1.77 c N dy 18 30505 681 2969 0 10984 9022 262130 no data no data -- 7.97/2.02 c N dy 25 34566 681 2969 0 14994 9022 371911 18.75 19.79 -- 8.79/2.24 c N dy 51 38585 681 2969 0 11151 9022 208884 19.53 22.42 -- 10.36/2.61 c N dy 65 44080 681 2969 0 16563 9022 359851 19.01 20.08 -- 10.76/2.74 c S st 71 45758 681 2969 0 9363 9022 124267 18.90 19.06 -- 10.76/2.76 c S st 71 46259 681 2969 0 9864 9022 138342 18.90 no data -- 10.76/2.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.76/2.76 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.76/2.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 10.76/2.77 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.76/2.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.76/2.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 10.76/2.77 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 11.16/2.87 c lits-rem: 7 cl-subs: 36 v-elim: 0 v-fix: 0 time: 0.41 s 11.16/2.87 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 11.16/2.87 c vivif2 -- cl tried 9828 cl shrink 0 lits rem 0 time: 0.00 11.16/2.88 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.04 11.16/2.88 c calculated reachability. Time: 0.00 11.16/2.88 c N dy 71 46259 681 2969 0 9828 9022 137435 18.90 no data -- 12.37/3.11 c N dy 93 50280 681 2969 0 13824 9022 249348 18.97 20.15 -- 13.18/3.39 c N dy 113 54444 681 2969 0 17963 9022 366153 19.04 20.08 -- 14.36/3.66 c N dy 126 58526 681 2969 0 12107 9022 175506 18.94 20.26 -- 15.96/4.04 c N dy 149 64540 681 2969 0 18056 9022 341446 18.88 19.95 -- 17.17/4.39 c N dy 159 68969 681 2969 0 11577 9022 137753 18.82 20.21 -- 17.57/4.42 c S st 162 69388 681 2969 0 11990 9022 148639 18.82 no data -- 17.57/4.45 c S st 162 69893 681 2969 0 12495 9022 162132 18.82 no data -- 17.57/4.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 17.57/4.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 17.57/4.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 17.57/4.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 17.57/4.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.57/4.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 17.57/4.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 18.35/4.62 c lits-rem: 45 cl-subs: 33 v-elim: 0 v-fix: 0 time: 0.65 s 18.35/4.62 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 18.35/4.62 c vivif2 -- cl tried 12462 cl shrink 0 lits rem 0 time: 0.01 18.35/4.63 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.04 18.35/4.63 c calculated reachability. Time: 0.00 18.35/4.63 c N dy 162 69893 681 2969 0 12462 9022 160975 18.82 no data -- 19.55/4.93 c N dy 183 74353 681 2969 0 16886 9022 285465 18.84 19.89 -- 21.15/5.33 c N dy 207 79466 681 2969 0 21949 9022 427016 18.89 19.92 -- 23.14/5.86 c N dy 224 86680 681 2969 0 17172 9022 264464 18.82 20.16 -- 23.54/5.92 c F st 230 87500 681 2969 0 17988 9022 287143 18.82 no data -- 25.14/6.32 c N dy 236 92694 681 2969 0 23116 9022 432223 18.82 no data -- 27.14/6.80 c N dy 270 98681 681 2969 0 16183 9022 218950 18.91 20.20 -- 29.14/7.31 c S st 303 104839 681 2969 0 22304 9022 392553 18.99 no data -- 29.14/7.37 c S st 303 105343 681 2969 0 22806 9022 407328 18.99 no data -- 29.14/7.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 29.14/7.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.14/7.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.03 29.14/7.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.14/7.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.14/7.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 29.14/7.39 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 33.53/8.41 c lits-rem: 416 cl-subs: 262 v-elim: 0 v-fix: 0 time: 4.07 s 33.53/8.41 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 33.53/8.41 c vivif2 -- cl tried 22544 cl shrink 0 lits rem 0 time: 0.02 33.53/8.43 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.08 33.53/8.43 c calculated reachability. Time: 0.00 33.53/8.43 c N dy 303 105343 681 2969 0 22544 9022 398062 18.99 no data -- 35.92/9.08 c N dy 342 112089 681 2969 0 15368 9022 172571 19.04 20.09 -- 38.32/9.65 c N dy 385 119289 681 2969 0 22525 9022 374184 19.10 20.15 -- 41.53/10.49 c N dy 421 127324 681 2969 0 15609 9022 158163 19.13 20.27 -- 44.32/11.16 c N dy 457 135677 681 2969 0 23891 9022 390011 19.13 20.41 -- 47.93/12.09 c N dy 497 144811 681 2969 0 17076 9022 177634 19.15 20.19 -- 51.11/12.87 c N dy 552 154136 681 2969 0 26341 9022 438243 19.19 20.95 -- 52.72/13.29 c S st 579 158014 681 2969 0 30190 9022 547280 19.23 no data -- 53.10/13.35 c S st 579 158517 681 2969 0 30693 9022 560923 19.23 no data -- 53.10/13.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 53.10/13.36 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 53.10/13.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 53.10/13.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 53.10/13.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 53.10/13.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 53.10/13.38 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 60.69/15.21 c lits-rem: 766 cl-subs: 310 v-elim: 0 v-fix: 0 time: 7.29 s 60.69/15.22 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 60.69/15.22 c vivif2 -- cl tried 30383 cl shrink 0 lits rem 0 time: 0.02 60.69/15.25 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.11 60.69/15.25 c calculated reachability. Time: 0.00 60.69/15.25 c N dy 579 158517 681 2969 0 30383 9022 549467 19.23 no data -- 64.70/16.21 c N dy 629 168726 681 2969 0 23665 9022 339651 19.26 20.95 -- 69.49/17.47 c N dy 655 180417 681 2969 0 35232 9022 659064 19.21 20.30 -- 73.89/18.59 c N dy 710 192382 681 2969 0 29228 9022 476867 19.22 20.29 -- 80.27/20.11 c N dy 778 204697 681 2969 0 22622 9022 268498 19.23 20.35 -- 85.87/21.57 c N dy 794 217795 681 2969 0 35555 9022 632201 19.13 20.18 -- 92.66/23.23 c N dy 876 232803 681 2969 0 30621 9022 473476 19.18 20.29 -- 95.45/23.96 c S st 897 237775 681 2969 0 35540 9022 608758 19.18 16.94 -- 95.85/24.06 c S st 897 238278 681 2969 0 36043 9022 622631 19.18 no data -- 95.85/24.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 95.85/24.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 95.85/24.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.07 95.85/24.10 c bin-w-bin subsume rem 0 bins time: 0.00 s 95.85/24.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 95.85/24.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 96.27/24.10 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 105.06/26.34 c lits-rem: 690 cl-subs: 486 v-elim: 0 v-fix: 0 time: 8.93 s 105.06/26.34 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 105.06/26.35 c vivif2 -- cl tried 35557 cl shrink 0 lits rem 0 time: 0.03 105.06/26.38 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.13 105.06/26.38 c calculated reachability. Time: 0.00 105.06/26.38 c N dy 897 238278 681 2969 0 35557 9022 606355 19.18 no data -- 112.24/28.18 c N dy 955 254358 681 2969 0 30678 9022 451597 19.17 20.35 -- 121.82/30.59 c N dy 1035 273093 681 2969 0 27457 9022 340902 19.16 20.22 -- 131.43/32.95 c N dy 1111 291023 681 2969 0 45229 9022 850849 19.15 20.21 -- 138.20/34.66 c F st 1204 306250 681 2969 0 37561 9022 607459 19.21 no data -- 140.99/35.35 c Decided on static restart strategy 140.99/35.35 c N st 1210 311442 681 2969 0 42702 9022 764402 19.21 no data -- 152.59/38.25 c N st 1214 334551 681 2969 0 41615 9022 924131 19.21 no data -- 164.17/41.15 c N st 1216 357418 681 2969 0 39464 9022 896975 19.21 no data -- 164.17/41.15 c S st 1216 357418 681 2969 0 39464 9022 896975 19.21 no data -- 164.57/41.25 c S st 1216 357924 681 2969 0 39970 9022 911376 19.21 no data -- 164.57/41.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 164.57/41.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 164.57/41.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.07 164.97/41.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 164.97/41.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 164.97/41.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 164.97/41.30 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 174.56/43.79 c lits-rem: 802 cl-subs: 2092 v-elim: 0 v-fix: 0 time: 9.93 s 174.56/43.79 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 174.56/43.80 c vivif2 -- cl tried 37878 cl shrink 0 lits rem 0 time: 0.04 174.96/43.84 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.17 174.96/43.84 c calculated reachability. Time: 0.00 174.96/43.84 c N st 1216 357924 681 2969 0 37878 9022 844540 19.21 no data -- 193.73/48.56 c N st 1217 390317 681 2969 0 44103 9022 1013996 19.21 no data -- 220.50/55.21 c N st 1218 438906 681 2969 0 38059 9022 769845 19.21 no data -- 268.06/67.18 c N st 1219 511789 681 2969 0 51710 9022 1183970 19.21 no data -- 282.82/70.84 c N st 1220 536886 681 2969 0 45786 9022 932564 19.21 no data -- 282.82/70.84 c S st 1220 536886 681 2969 0 45786 9022 932564 19.21 no data -- 283.22/70.96 c S st 1220 537389 681 2969 0 46289 9022 947221 19.21 no data -- 283.22/70.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 283.22/70.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 283.22/70.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.08 283.62/71.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 283.62/71.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 283.62/71.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 283.62/71.02 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 294.03/73.62 c lits-rem: 631 cl-subs: 1463 v-elim: 0 v-fix: 0 time: 10.42 s 294.03/73.62 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 294.03/73.64 c vivif2 -- cl tried 44826 cl shrink 0 lits rem 0 time: 0.04 294.03/73.69 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.20 294.03/73.69 c calculated reachability. Time: 0.00 294.03/73.69 c N st 1220 537389 681 2969 0 44826 9022 897949 19.21 no data -- 408.69/102.37 c N st 1221 701373 681 2969 0 38907 9022 568607 19.21 no data -- 487.78/122.14 c N st 1222 806083 681 2969 0 67939 9022 1398362 19.21 no data -- 487.78/122.14 c S st 1222 806083 681 2969 0 67939 9022 1398362 19.21 no data -- 488.56/122.32 c S st 1222 806586 681 2969 0 68441 9022 1413177 19.21 no data -- 488.56/122.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 488.56/122.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 488.56/122.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.13 488.95/122.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 488.95/122.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 488.95/122.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 488.95/122.41 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 513.74/128.62 c lits-rem: 116 cl-subs: 4519 v-elim: 0 v-fix: 0 time: 24.79 s 513.74/128.62 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 513.74/128.63 c vivif2 -- cl tried 63922 cl shrink 0 lits rem 0 time: 0.06 514.14/128.72 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.34 514.14/128.72 c calculated reachability. Time: 0.00 514.14/128.72 c N st 1222 806586 681 2969 0 63922 9022 1276954 19.21 no data -- 747.05/187.06 c F st 1223 1071875 681 2969 0 79915 9022 1680247 19.21 no data -- 747.05/187.06 c N st 1223 1071875 681 2969 0 79915 9022 1680247 19.21 no data -- 767.00/192.01 c N dy 1293 1091899 681 2969 0 55548 9022 813851 19.24 20.64 -- 787.38/197.12 c N dy 1384 1111946 681 2969 0 75437 9022 1390209 19.26 20.32 -- 812.15/203.33 c N dy 1486 1132007 681 2969 0 49930 9022 590240 19.30 20.80 -- 830.13/207.87 c N dy 1536 1153134 681 2969 0 70866 9022 1198808 19.26 20.30 -- 855.28/214.15 c N dy 1625 1173191 681 2969 0 90741 9022 1765247 19.28 23.04 -- 874.86/219.04 c N dy 1695 1194897 681 2969 0 65747 9022 998161 19.26 20.37 -- 894.03/223.81 c S st 1778 1209879 681 2969 0 80614 9022 1425952 19.28 19.26 -- 894.83/224.03 c S st 1778 1210385 681 2969 0 81118 9022 1440286 19.28 no data -- 894.83/224.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 894.83/224.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 894.83/224.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.16 895.23/224.13 c bin-w-bin subsume rem 0 bins time: 0.00 s 895.23/224.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 895.23/224.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 895.23/224.13 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 905.62/226.73 c lits-rem: 273 cl-subs: 1129 v-elim: 0 v-fix: 0 time: 10.41 s 905.62/226.73 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 905.62/226.75 c vivif2 -- cl tried 79989 cl shrink 0 lits rem 0 time: 0.07 906.02/226.86 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.44 906.02/226.86 c calculated reachability. Time: 0.00 906.02/226.86 c N dy 1778 1210385 681 2969 0 79989 9022 1404788 19.28 no data -- 930.79/233.06 c N dy 1884 1230496 681 2969 0 52382 9022 575004 19.30 20.39 -- 949.56/237.74 c N dy 1957 1250541 681 2969 0 72166 9022 1126819 19.30 23.97 -- 975.92/244.34 c N dy 2080 1270784 681 2969 0 92266 9022 1714236 19.34 20.37 -- 996.30/249.42 c N dy 2190 1290801 681 2969 0 63609 9022 866559 19.37 22.95 -- 1020.26/255.48 c N dy 2296 1310883 681 2969 0 83497 9022 1440651 19.40 22.19 -- 1057.02/264.60 c N dy 2388 1334902 681 2969 0 57762 9022 663559 19.39 20.49 -- 1080.19/270.48 c N dy 2482 1355661 681 2969 0 78344 9022 1259668 19.40 20.78 -- 1108.15/277.45 c N dy 2578 1375781 681 2969 0 98291 9022 1841200 19.42 20.57 -- 1128.12/282.40 c N dy 2665 1395801 681 2969 0 67581 9022 917470 19.43 24.31 -- 1151.69/288.38 c N dy 2751 1415995 681 2969 0 87618 9022 1502487 19.44 20.67 -- 1179.65/295.37 c N dy 2856 1436198 681 2969 0 56130 9022 569116 19.46 20.90 -- 1200.82/300.66 c N dy 2978 1457120 681 2969 0 76879 9022 1171643 19.49 20.53 -- 1228.39/307.52 c N dy 3067 1477161 681 2969 0 96710 9022 1740682 19.50 20.58 -- 1253.15/313.74 c N dy 3191 1497193 681 2969 0 64039 9022 763750 19.53 20.56 -- 1275.12/319.23 c N dy 3251 1517350 681 2969 0 83966 9022 1326387 19.51 20.57 -- 1306.28/327.07 c N dy 3359 1537648 681 2969 0 104097 9022 1910145 19.53 20.56 -- 1327.85/332.45 c N dy 3462 1557845 681 2969 0 70627 9022 928142 19.54 20.92 -- 1351.82/338.44 c N dy 3552 1577935 681 2969 0 90538 9022 1506046 19.54 22.44 -- 1384.20/346.52 c N dy 3673 1597975 681 2969 0 55887 9022 476942 19.57 20.76 -- 1403.75/351.46 c N dy 3758 1618566 681 2969 0 76270 9022 1065601 19.58 20.77 -- 1433.32/358.89 c N dy 3844 1640518 681 2969 0 98031 9022 1686885 19.58 20.65 -- 1462.08/366.08 c N dy 3941 1660618 681 2969 0 62447 9022 640932 19.58 20.67 -- 1484.86/371.71 c N dy 4063 1680700 681 2969 0 82381 9022 1226407 19.61 22.24 -- 1514.40/379.15 c N dy 4161 1700736 681 2969 0 102256 9022 1800409 19.62 22.20 -- 1531.98/383.54 c S st 4225 1710385 681 2969 0 111827 9022 2079290 19.63 no data -- 1533.60/383.91 c S st 4225 1710889 681 2969 0 112330 9022 2093814 19.63 no data -- 1533.60/383.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1533.60/383.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1533.60/383.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.25 1533.97/384.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 1533.97/384.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1533.97/384.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 1533.97/384.05 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1554.35/389.19 c lits-rem: 220 cl-subs: 1712 v-elim: 0 v-fix: 0 time: 20.54 s 1554.35/389.19 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 1554.75/389.22 c vivif2 -- cl tried 110618 cl shrink 0 lits rem 0 time: 0.10 1555.16/389.39 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.67 1555.16/389.39 c calculated reachability. Time: 0.00 1555.16/389.39 c N dy 4225 1710889 681 2969 0 110618 9022 2037589 19.63 no data -- 1578.32/395.10 c N dy 4333 1731046 681 2969 0 74104 9022 960085 19.64 20.74 -- 1610.28/403.19 c N dy 4463 1751074 681 2969 0 93971 9022 1538091 19.67 24.27 -- 1649.43/412.99 c N dy 4563 1774388 681 2969 0 59570 9022 514217 19.67 20.84 -- 1670.99/418.30 c N dy 4697 1794478 681 2969 0 79484 9022 1099271 19.70 21.16 -- 1695.36/424.42 c N dy 4725 1814532 681 2969 0 99271 9022 1655792 19.65 22.24 -- 1726.13/432.15 c N dy 4791 1834543 681 2969 0 60626 9022 518898 19.65 25.24 -- 1747.70/437.54 c N dy 4886 1854666 681 2969 0 80522 9022 1094910 19.65 21.03 -- 1775.28/444.41 c N dy 4935 1874756 681 2969 0 100311 9022 1651837 19.64 20.86 -- 1808.81/452.84 c N dy 5012 1894818 681 2969 0 60848 9022 498245 19.64 21.64 -- 1830.38/458.21 c N dy 5129 1914877 681 2969 0 80741 9022 1077214 19.65 20.90 -- 1859.54/465.52 c N dy 5260 1934881 681 2969 0 100599 9022 1660206 19.67 20.89 -- 1895.89/474.67 c N dy 5351 1955052 681 2969 0 120567 9022 2241375 19.68 20.92 -- 1917.47/480.01 c N dy 5455 1975066 681 2969 0 80015 9022 1034596 19.69 20.78 -- 1945.83/487.14 c N dy 5567 1995459 681 2969 0 100207 9022 1618670 19.71 20.77 -- 1981.39/496.09 c N dy 5673 2015547 681 2969 0 120098 9022 2197101 19.72 21.54 -- 2005.75/502.18 c N dy 5762 2036027 681 2969 0 78961 9022 973709 19.72 20.87 -- 2032.51/508.86 c N dy 5848 2056048 681 2969 0 98777 9022 1544825 19.72 22.08 -- 2067.67/517.67 c N dy 5940 2076232 681 2969 0 118741 9022 2115673 19.73 20.87 -- 2094.03/524.24 c N dy 6038 2096287 681 2969 0 76226 9022 874705 19.74 21.45 -- 2120.39/530.80 c N dy 6124 2116867 681 2969 0 96599 9022 1463956 19.74 21.07 -- 2158.34/540.30 c N dy 6230 2138599 681 2969 0 118136 9022 2086656 19.75 20.82 -- 2187.92/547.73 c N dy 6298 2159615 681 2969 0 75558 9022 826823 19.74 20.96 -- 2223.48/556.70 c N dy 6415 2184085 681 2969 0 99795 9022 1536572 19.75 20.80 -- 2259.81/565.78 c N dy 6539 2204147 681 2969 0 119681 9022 2124474 19.77 24.10 -- 2272.99/569.07 c S st 6550 2210890 681 2969 0 126357 9022 2320268 19.77 19.98 -- 2274.58/569.46 c S st 6550 2211394 681 2969 0 126860 9022 2335252 19.77 no data -- 2274.58/569.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2274.58/569.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2274.98/569.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.29 2275.38/569.62 c bin-w-bin subsume rem 0 bins time: 0.00 s 2275.38/569.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2275.38/569.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 2275.38/569.62 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2302.57/576.44 c lits-rem: 220 cl-subs: 2256 v-elim: 0 v-fix: 0 time: 27.24 s 2302.57/576.44 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 2302.57/576.47 c vivif2 -- cl tried 124604 cl shrink 0 lits rem 0 time: 0.11 2303.35/576.66 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.78 2303.35/576.67 c calculated reachability. Time: 0.00 2303.35/576.67 c N dy 6550 2211394 681 2969 0 124604 9022 2263415 19.77 no data -- 2331.31/583.66 c N dy 6635 2232536 681 2969 0 81156 9022 958267 19.76 20.95 -- 2359.69/590.73 c N dy 6745 2252584 681 2969 0 101020 9022 1540663 19.77 22.07 -- 2396.42/599.96 c N dy 6835 2273222 681 2969 0 121488 9022 2137805 19.77 20.90 -- 2426.38/607.50 c N dy 6925 2293301 681 2969 0 76001 9022 793149 19.78 22.36 -- 2453.55/614.23 c N dy 7044 2313482 681 2969 0 96008 9022 1378129 19.79 20.94 -- 2487.12/622.64 c N dy 7142 2333500 681 2969 0 115779 9022 1948401 19.80 20.87 -- 2527.04/632.64 c N dy 7207 2356519 681 2969 0 72210 9022 665094 19.79 20.92 -- 2552.21/638.93 c N dy 7309 2376674 681 2969 0 92157 9022 1247942 19.80 20.87 -- 2584.57/647.09 c N dy 7440 2396693 681 2969 0 112024 9022 1834759 19.82 20.96 -- 2626.91/657.60 c N dy 7529 2417792 681 2969 0 132915 9022 2438920 19.82 21.05 -- 2654.87/664.68 c N dy 7629 2440039 681 2969 0 87602 9022 1086331 19.83 20.99 -- 2686.43/672.50 c N dy 7749 2460064 681 2969 0 107442 9022 1664161 19.84 21.01 -- 2724.41/682.01 c N dy 7838 2480631 681 2969 0 127804 9022 2256891 19.84 21.04 -- 2755.54/689.89 c N dy 7902 2501743 681 2969 0 80347 9022 845448 19.83 20.94 -- 2782.30/696.55 c N dy 7948 2522589 681 2969 0 100897 9022 1426982 19.83 20.99 -- 2817.05/705.23 c N dy 8049 2542599 681 2969 0 120734 9022 2008975 19.83 21.69 -- 2857.81/715.40 c N dy 8132 2562834 681 2969 0 71513 9022 579058 19.83 21.07 -- 2882.97/721.74 c N dy 8245 2583614 681 2969 0 92075 9022 1182254 19.84 21.03 -- 2914.93/729.77 c N dy 8322 2603637 681 2969 0 111922 9022 1765846 19.84 21.15 -- 2954.47/739.60 c N dy 8389 2624463 681 2969 0 132506 9022 2356166 19.84 20.93 -- 2986.03/747.58 c N dy 8470 2644633 681 2969 0 82190 9022 861617 19.84 20.90 -- 3014.01/754.53 c N dy 8544 2664723 681 2969 0 102027 9022 1428912 19.84 21.21 -- 3057.13/765.39 c N dy 8649 2689840 681 2969 0 126870 9022 2152221 19.84 20.96 -- 3099.08/775.82 c N dy 8738 2710331 681 2969 0 75915 9022 654672 19.85 20.95 -- 3100.28/776.13 c S st 8748 2711394 681 2969 0 76973 9022 686922 19.85 19.39 -- 3101.08/776.33 c S st 8748 2711894 681 2969 0 77473 9022 701500 19.85 no data -- 3101.08/776.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3101.08/776.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3101.08/776.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.14 3101.08/776.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 3101.08/776.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3101.08/776.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 3101.08/776.40 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3111.08/778.83 c lits-rem: 296 cl-subs: 329 v-elim: 0 v-fix: 0 time: 9.73 s 3111.08/778.83 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 3111.08/778.84 c vivif2 -- cl tried 77144 cl shrink 0 lits rem 0 time: 0.04 3111.46/778.94 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.37 3111.46/778.94 c calculated reachability. Time: 0.00 3111.46/778.94 c N dy 8748 2711894 681 2969 0 77144 9022 691757 19.85 no data -- 3138.23/785.63 c N dy 8843 2731943 681 2969 0 96992 9022 1272948 19.85 21.07 -- 3172.60/794.24 c N dy 8928 2752736 681 2969 0 117564 9022 1864173 19.85 20.94 -- 3214.53/804.79 c N dy 9013 2772822 681 2969 0 137423 9022 2438621 19.85 20.94 -- 3247.68/813.00 c N dy 9100 2794016 681 2969 0 86208 9022 931852 19.85 20.92 -- 3278.06/820.63 c N dy 9210 2814689 681 2969 0 106648 9022 1529530 19.86 21.05 -- 3315.59/830.07 c N dy 9316 2834763 681 2969 0 126517 9022 2103311 19.87 25.82 -- 3359.13/840.97 c N dy 9390 2855866 681 2969 0 74182 9022 559553 19.87 20.92 -- 3384.69/847.31 c N dy 9479 2875965 681 2969 0 94098 9022 1143075 19.87 20.93 -- 3417.05/855.49 c N dy 9602 2896143 681 2969 0 114100 9022 1732651 19.88 20.96 -- 3461.79/866.67 c N dy 9721 2917606 681 2969 0 135325 9022 2350601 19.89 20.98 -- 3500.95/876.43 c N dy 9829 2937667 681 2969 0 80956 9022 735230 19.89 22.38 -- 3528.12/883.26 c N dy 9898 2957778 681 2969 0 100822 9022 1305369 19.89 20.94 -- 3564.06/892.25 c N dy 10022 2977833 681 2969 0 120703 9022 1893818 19.90 21.65 -- 3608.40/903.32 c N dy 10163 2997919 681 2969 0 140609 9022 2483314 19.92 21.56 -- 3652.34/914.33 c N dy 10272 3018140 681 2969 0 85376 9022 844505 19.92 21.15 -- 3686.30/922.86 c N dy 10341 3038303 681 2969 0 105353 9022 1428656 19.92 20.98 -- 3722.64/931.96 c N dy 10445 3058403 681 2969 0 125242 9022 2013699 19.93 23.83 -- 3767.38/943.19 c N dy 10550 3078515 681 2969 0 145166 9022 2602157 19.93 21.09 -- 3801.33/951.68 c N dy 10654 3098660 681 2969 0 88892 9022 922617 19.94 21.02 -- 3832.09/959.31 c N dy 10752 3118817 681 2969 0 108837 9022 1506782 19.95 21.00 -- 3870.86/969.02 c N dy 10850 3138880 681 2969 0 128685 9022 2085068 19.95 21.06 -- 3916.38/980.40 c N dy 10940 3158894 681 2969 0 148485 9022 2663480 19.95 23.20 -- 3953.93/989.89 c N dy 11045 3178897 681 2969 0 91078 9022 955990 19.96 21.01 -- 3987.88/998.34 c N dy 11133 3200910 681 2969 0 112850 9022 1592927 19.96 21.18 -- 4009.06/1003.61 c S st 11171 3211894 681 2969 0 123712 9022 1906540 19.96 19.16 -- 4010.66/1004.02 c S st 11171 3212396 681 2969 0 124214 9022 1920736 19.96 no data -- 4010.66/1004.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4010.66/1004.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4011.06/1004.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.30 4011.06/1004.16 c bin-w-bin subsume rem 0 bins time: 0.00 s 4011.06/1004.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4011.06/1004.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 681 time: 0.00 s 4011.06/1004.17 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4035.42/1010.27 c lits-rem: 412 cl-subs: 2201 v-elim: 0 v-fix: 0 time: 24.38 s 4035.42/1010.27 c vivif2 -- cl tried 2969 cl shrink 0 lits rem 0 time: 0.00 4035.82/1010.30 c vivif2 -- cl tried 122013 cl shrink 0 lits rem 0 time: 0.11 4036.62/1010.51 c asymm cl-useful: 0/2969/2969 lits-rem:0 time: 0.84 4036.62/1010.51 c calculated reachability. Time: 0.00 4036.62/1010.51 c N dy 11171 3212396 681 2969 0 122013 9022 1853768 19.96 no data -- 4076.97/1020.64 c N dy 11249 3232490 681 2969 0 141905 9022 2432523 19.96 21.03 -- 4118.91/1031.13 c N dy 11338 3252575 681 2969 0 83622 9022 720479 19.96 21.20 -- 4145.67/1037.89 c N dy 11402 3272632 681 2969 0 103455 9022 1294257 19.96 21.03 -- 4181.63/1046.86 c N dy 11463 3293575 681 2969 0 124119 9022 1878238 19.95 21.05 -- 4225.97/1057.90 c N dy 11535 3315063 681 2969 0 145367 9022 2489486 19.95 21.18 -- 4267.11/1068.23 c N dy 11617 3335083 681 2969 0 86027 9022 763387 19.95 21.46 -- 4295.87/1075.40 c N dy 11686 3355103 681 2969 0 105799 9022 1327817 19.95 21.01 -- 4330.62/1084.18 c N dy 11765 3375404 681 2969 0 125874 9022 1909469 19.95 21.12 -- 4379.77/1096.44 c N dy 11862 3397747 681 2969 0 147967 9022 2550922 19.95 21.03 -- 4422.50/1107.15 c N dy 11981 3417833 681 2969 0 87762 9022 794637 19.96 24.03 -- 4453.26/1114.81 c N dy 12103 3437857 681 2969 0 107620 9022 1388451 19.97 21.11 -- 4494.01/1125.07 c N dy 12185 3458816 681 2969 0 128319 9022 1980910 19.97 21.23 -- 4537.15/1135.82 c N dy 12242 3479297 681 2969 0 148577 9022 2559072 19.96 21.04 -- 4579.09/1146.33 c N dy 12349 3499365 681 2969 0 87303 9022 761780 19.97 21.03 -- 4609.47/1154.00 c N dy 12448 3519709 681 2969 0 107468 9022 1346077 19.97 21.04 -- 4645.40/1162.99 c N dy 12507 3539874 681 2969 0 127409 9022 1923373 19.97 21.12 -- 4690.14/1174.10 c N dy 12611 3559972 681 2969 0 147300 9022 2516803 19.97 21.04 -- 4732.10/1184.70 c N dy 12648 3580039 681 2969 0 85005 9022 668108 19.97 21.70 -- 4759.24/1191.42 c N dy 12700 3600089 681 2969 0 104772 9022 1234695 19.96 22.58 -- 4796.01/1200.60 c N dy 12806 3620136 681 2969 0 124643 9022 1820317 19.97 21.03 --
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-3175335-1304119403/watcher-3175335-1304119403 -o /tmp/evaluation-result-3175335-1304119403/solver-3175335-1304119403 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175335-1304119403.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 6.97 7.87 7.99 4/176 22187 /proc/meminfo: memFree=17892880/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 4 0 523542943 52465664 352 33554432000 4194304 4650419 140734250572640 18446744073709551615 47781016532914 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 12809 352 303 112 0 7774 0 [pid=22187/tid=22190] ppid=22183 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 523542944 52465664 352 33554432000 4194304 4650419 140734250572640 18446744073709551615 47781016532908 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 523542944 52465664 352 33554432000 4194304 4650419 140734250572640 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 523542944 52465664 352 33554432000 4194304 4650419 140734250572640 18446744073709551615 47781016532908 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.0908679 s] /proc/loadavg: 6.97 7.87 7.99 4/176 22187 /proc/meminfo: memFree=17892880/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=283084 CPUtime=0.33 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 1922 0 0 0 33 0 0 0 18 0 4 0 523542943 289878016 1768 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 70771 1768 391 112 0 65736 0 [pid=22187/tid=22190] ppid=22183 vsize=283084 CPUtime=0.08 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 392 0 0 0 8 0 0 0 18 0 4 0 523542944 289878016 1768 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=283084 CPUtime=0.08 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 400 0 0 0 8 0 0 0 23 0 4 0 523542944 289878016 1768 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365410 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=283084 CPUtime=0.08 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 279 0 0 0 8 0 0 0 18 0 4 0 523542944 289878016 1768 33554432000 4194304 4650419 140734250572640 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 283084 [startup+0.100866 s] /proc/loadavg: 6.97 7.87 7.99 4/176 22187 /proc/meminfo: memFree=17892880/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=283084 CPUtime=0.37 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 1959 0 0 0 37 0 0 0 18 0 4 0 523542943 289878016 1805 33554432000 4194304 4650419 140734250572640 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 70771 1805 391 112 0 65736 0 [pid=22187/tid=22190] ppid=22183 vsize=283084 CPUtime=0.09 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 401 0 0 0 9 0 0 0 18 0 4 0 523542944 289878016 1805 33554432000 4194304 4650419 140734250572640 18446744073709551615 4315640 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=283084 CPUtime=0.09 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 409 0 0 0 9 0 0 0 23 0 4 0 523542944 289878016 1805 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=283084 CPUtime=0.09 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 288 0 0 0 9 0 0 0 18 0 4 0 523542944 289878016 1805 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363620 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 283084 [startup+0.300831 s] /proc/loadavg: 6.97 7.87 7.99 4/176 22187 /proc/meminfo: memFree=17892880/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=284380 CPUtime=1.17 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 3187 0 0 0 117 0 0 0 18 0 4 0 523542943 291205120 2329 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 71095 2329 393 112 0 66060 0 [pid=22187/tid=22190] ppid=22183 vsize=284380 CPUtime=0.29 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 681 0 0 0 29 0 0 0 18 0 4 0 523542944 291205120 2329 33554432000 4194304 4650419 140734250572640 18446744073709551615 4331084 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=284380 CPUtime=0.29 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 722 0 0 0 29 0 0 0 23 0 4 0 523542944 291205120 2329 33554432000 4194304 4650419 140734250572640 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=284380 CPUtime=0.29 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 602 0 0 0 29 0 0 0 18 0 4 0 523542944 291205120 2329 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 284380 [startup+0.700762 s] /proc/loadavg: 6.97 7.87 7.99 4/176 22187 /proc/meminfo: memFree=17892880/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=285324 CPUtime=2.78 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 4998 0 0 0 277 1 0 0 18 0 4 0 523542943 292171776 3074 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 71331 3074 393 112 0 66296 0 [pid=22187/tid=22190] ppid=22183 vsize=285324 CPUtime=0.69 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 1135 0 0 0 69 0 0 0 18 0 4 0 523542944 292171776 3074 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=285324 CPUtime=0.69 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 1197 0 0 0 69 0 0 0 25 0 4 0 523542944 292171776 3074 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=285324 CPUtime=0.69 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 1008 0 0 0 69 0 0 0 18 0 4 0 523542944 292171776 3074 33554432000 4194304 4650419 140734250572640 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 285324 [startup+1.50063 s] /proc/loadavg: 6.97 7.87 7.99 10/184 22195 /proc/meminfo: memFree=17871864/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=293244 CPUtime=5.97 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 10194 0 0 0 596 1 0 0 20 0 4 0 523542943 300281856 5269 33554432000 4194304 4650419 140734250572640 18446744073709551615 4438671 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 73311 5269 395 112 0 68276 0 [pid=22187/tid=22190] ppid=22183 vsize=293244 CPUtime=1.49 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 2010 0 0 0 149 0 0 0 19 0 4 0 523542944 300281856 5269 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=293244 CPUtime=1.48 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 2162 0 0 0 148 0 0 0 25 0 4 0 523542944 300281856 5269 33554432000 4194304 4650419 140734250572640 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=293244 CPUtime=1.49 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 1807 0 0 0 149 0 0 0 20 0 4 0 523542944 300281856 5269 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 293244 [startup+3.10034 s] /proc/loadavg: 7.05 7.87 7.99 10/184 22195 /proc/meminfo: memFree=17845080/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=266928 CPUtime=12.37 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 18290 0 0 0 1234 3 0 0 25 0 4 0 523542943 273334272 11323 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 66732 11323 395 112 0 61697 0 [pid=22187/tid=22190] ppid=22183 vsize=266928 CPUtime=3.08 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 4091 0 0 0 308 0 0 0 25 0 4 0 523542944 273334272 11323 33554432000 4194304 4650419 140734250572640 18446744073709551615 4331254 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=266928 CPUtime=3.07 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 4426 0 0 0 307 0 0 0 25 0 4 0 523542944 273334272 11323 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=266928 CPUtime=3.08 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 4515 0 0 0 308 0 0 0 25 0 4 0 523542944 273334272 11324 33554432000 4194304 4650419 140734250572640 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 266928 [startup+6.30078 s] /proc/loadavg: 7.05 7.87 7.99 10/184 22195 /proc/meminfo: memFree=17794160/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=284468 CPUtime=25.14 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 24795 0 0 0 2510 4 0 0 25 0 4 0 523542943 291295232 16260 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 71117 16260 395 112 0 66082 0 [pid=22187/tid=22190] ppid=22183 vsize=284468 CPUtime=6.29 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 6635 0 0 0 628 1 0 0 25 0 4 0 523542944 291295232 16260 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=284468 CPUtime=6.26 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 6041 0 0 0 625 1 0 0 25 0 4 0 523542944 291295232 16260 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=284468 CPUtime=6.28 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 6037 0 0 0 628 0 0 0 25 0 4 0 523542944 291295232 16260 33554432000 4194304 4650419 140734250572640 18446744073709551615 4368117 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 284468 [startup+12.7007 s] /proc/loadavg: 7.20 7.87 7.99 10/184 22225 /proc/meminfo: memFree=17793120/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=304116 CPUtime=50.71 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 37697 0 0 0 5064 7 0 0 25 0 4 0 523542943 311414784 22089 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363460 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 76029 22089 395 112 0 70994 0 [pid=22187/tid=22190] ppid=22183 vsize=304116 CPUtime=12.68 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 10629 0 0 0 1267 1 0 0 25 0 4 0 523542944 311414784 22089 33554432000 4194304 4650419 140734250572640 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=304116 CPUtime=12.62 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 9791 0 0 0 1260 2 0 0 25 0 4 0 523542944 311414784 22089 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=304116 CPUtime=12.69 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 8727 0 0 0 1268 1 0 0 25 0 4 0 523542944 311414784 22089 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 304116 [startup+25.5004 s] /proc/loadavg: 7.32 7.87 7.99 9/184 22226 /proc/meminfo: memFree=17680100/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=388976 CPUtime=101.85 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 55951 0 0 0 10173 12 0 0 25 0 4 0 523542943 398311424 32540 33554432000 4194304 4650419 140734250572640 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 97244 32540 395 112 0 92209 0 [pid=22187/tid=22190] ppid=22183 vsize=388976 CPUtime=25.48 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 15703 0 0 0 2546 2 0 0 25 0 4 0 523542944 398311424 32540 33554432000 4194304 4650419 140734250572640 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=388976 CPUtime=25.35 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 15959 0 0 0 2532 3 0 0 25 0 4 0 523542944 398311424 32540 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=388976 CPUtime=25.49 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 11886 0 0 0 2547 2 0 0 25 0 4 0 523542944 398311424 32540 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 388976 [startup+51.1009 s] /proc/loadavg: 7.63 7.90 8.00 9/184 22226 /proc/meminfo: memFree=17616352/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=369528 CPUtime=204.12 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 86161 0 0 0 20391 21 0 0 25 0 4 0 523542943 378396672 42530 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 92382 42530 395 112 0 87347 0 [pid=22187/tid=22190] ppid=22183 vsize=369528 CPUtime=51.09 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 22396 0 0 0 5103 6 0 0 25 0 4 0 523542944 378396672 42530 33554432000 4194304 4650419 140734250572640 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=369528 CPUtime=50.82 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 26113 0 0 0 5076 6 0 0 25 0 4 0 523542944 378396672 42530 33554432000 4194304 4650419 140734250572640 18446744073709551615 4438235 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=369528 CPUtime=51.08 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 17227 0 0 0 5105 3 0 0 25 0 4 0 523542944 378396672 42530 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 204.12 Current children cumulated vsize (KiB) 369528 [startup+102.307 s] /proc/loadavg: 7.92 7.93 8.00 9/184 22228 /proc/meminfo: memFree=17546876/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=400456 CPUtime=408.69 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 126145 0 0 0 40833 36 0 0 25 0 4 0 523542943 410066944 50931 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 100114 50931 395 112 0 95079 0 [pid=22187/tid=22190] ppid=22183 vsize=400456 CPUtime=102.3 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 30362 0 0 0 10221 9 0 0 25 0 4 0 523542944 410066944 50931 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=400456 CPUtime=101.77 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 36144 0 0 0 10167 10 0 0 25 0 4 0 523542944 410066944 50931 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=400456 CPUtime=102.29 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 27121 0 0 0 10222 7 0 0 25 0 4 0 523542944 410066944 50931 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 408.69 Current children cumulated vsize (KiB) 400456 [startup+162.3 s] ################ # More data... # ################ [pid=22187] ppid=22183 vsize=604912 CPUtime=2805.47 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 386990 0 0 0 280376 171 0 0 25 0 4 0 523542943 619429888 102543 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 151228 102543 395 112 0 146193 0 [pid=22187/tid=22190] ppid=22183 vsize=604912 CPUtime=702.3 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 77403 0 0 0 70199 31 0 0 25 0 4 0 523542944 619429888 102543 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=604912 CPUtime=698.54 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 133336 0 0 0 69792 62 0 0 25 0 4 0 523542944 619429888 102543 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=604912 CPUtime=702.3 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 86833 0 0 0 70191 39 0 0 25 0 4 0 523542944 619429888 102543 33554432000 4194304 4650419 140734250572640 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2805.47 Current children cumulated vsize (KiB) 604912 [startup+762.307 s] /proc/loadavg: 8.00 8.03 8.00 9/184 22245 /proc/meminfo: memFree=17046592/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=616968 CPUtime=3045.18 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 407759 0 0 0 304335 183 0 0 25 0 4 0 523542943 631775232 100880 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 154242 100880 395 112 0 149207 0 [pid=22187/tid=22190] ppid=22183 vsize=616968 CPUtime=762.31 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 82521 0 0 0 76197 34 0 0 25 0 4 0 523542944 631775232 100880 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=616968 CPUtime=758.22 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 142706 0 0 0 75755 67 0 0 25 0 4 0 523542944 631775232 100880 33554432000 4194304 4650419 140734250572640 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=616968 CPUtime=762.31 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 90107 0 0 0 76190 41 0 0 25 0 4 0 523542944 631775232 100880 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3045.18 Current children cumulated vsize (KiB) 616968 [startup+822.3 s] /proc/loadavg: 8.03 8.04 8.00 9/184 22247 /proc/meminfo: memFree=17028100/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=605824 CPUtime=3284.83 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 429354 0 0 0 328288 195 0 0 25 0 4 0 523542943 620363776 106183 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 151456 106183 395 112 0 146421 0 [pid=22187/tid=22190] ppid=22183 vsize=605824 CPUtime=822.3 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 85708 0 0 0 82194 36 0 0 25 0 4 0 523542944 620363776 106183 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=605824 CPUtime=817.89 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 150288 0 0 0 81718 71 0 0 25 0 4 0 523542944 620363776 106183 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=605824 CPUtime=822.31 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 95893 0 0 0 82186 45 0 0 25 0 4 0 523542944 620363776 106183 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3284.83 Current children cumulated vsize (KiB) 605824 [startup+882.301 s] /proc/loadavg: 8.05 8.04 8.00 9/184 22248 /proc/meminfo: memFree=17031556/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=582608 CPUtime=3524.51 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 451004 0 0 0 352244 207 0 0 25 0 4 0 523542943 596590592 102280 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 145652 102280 395 112 0 140617 0 [pid=22187/tid=22190] ppid=22183 vsize=582608 CPUtime=882.3 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 91239 0 0 0 88192 38 0 0 25 0 4 0 523542944 596590592 102280 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=582608 CPUtime=877.56 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 158014 0 0 0 87680 76 0 0 25 0 4 0 523542944 596590592 102280 33554432000 4194304 4650419 140734250572640 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=582608 CPUtime=882.3 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 98560 0 0 0 88183 47 0 0 25 0 4 0 523542944 596590592 102280 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3524.51 Current children cumulated vsize (KiB) 582608 [startup+942.3 s] /proc/loadavg: 8.13 8.06 8.01 9/184 22250 /proc/meminfo: memFree=16986540/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=582724 CPUtime=3764.19 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 473026 0 0 0 376199 220 0 0 25 0 4 0 523542943 596709376 109868 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 145681 109868 395 112 0 140646 0 [pid=22187/tid=22190] ppid=22183 vsize=582724 CPUtime=942.31 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 96621 0 0 0 94189 42 0 0 25 0 4 0 523542944 596709376 109868 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=582724 CPUtime=937.24 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 165053 0 0 0 93644 80 0 0 25 0 4 0 523542944 596709376 109868 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=582724 CPUtime=942.3 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 103611 0 0 0 94180 50 0 0 25 0 4 0 523542944 596709376 109868 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3764.19 Current children cumulated vsize (KiB) 582724 [startup+1002.3 s] /proc/loadavg: 8.23 8.10 8.02 9/184 22252 /proc/meminfo: memFree=17022856/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=647976 CPUtime=4003.87 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 493839 0 0 0 400156 231 0 0 25 0 4 0 523542943 663527424 109592 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 161994 109592 395 112 0 156959 0 [pid=22187/tid=22190] ppid=22183 vsize=647976 CPUtime=1002.31 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 102970 0 0 0 100185 46 0 0 25 0 4 0 523542944 663527424 109592 33554432000 4194304 4650419 140734250572640 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=647976 CPUtime=996.91 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 171365 0 0 0 99608 83 0 0 25 0 4 0 523542944 663527424 109592 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=647976 CPUtime=1002.31 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 109090 0 0 0 100180 51 0 0 25 0 4 0 523542944 663527424 109592 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4003.87 Current children cumulated vsize (KiB) 647976 [startup+1062.3 s] /proc/loadavg: 8.22 8.11 8.02 9/184 22253 /proc/meminfo: memFree=16968136/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=708496 CPUtime=4243.54 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 513550 0 0 0 424114 240 0 0 25 0 4 0 523542943 725499904 116356 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 177124 116356 395 112 0 172089 0 [pid=22187/tid=22190] ppid=22183 vsize=708496 CPUtime=1062.31 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 108679 0 0 0 106183 48 0 0 25 0 4 0 523542944 725499904 116356 33554432000 4194304 4650419 140734250572640 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=708496 CPUtime=1056.59 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 179207 0 0 0 105572 87 0 0 25 0 4 0 523542944 725499904 116356 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=708496 CPUtime=1062.31 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 113950 0 0 0 106177 54 0 0 25 0 4 0 523542944 725499904 116356 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4243.54 Current children cumulated vsize (KiB) 708496 [startup+1122.3 s] /proc/loadavg: 8.23 8.12 8.03 9/184 22255 /proc/meminfo: memFree=16952624/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=684924 CPUtime=4483.22 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 532204 0 0 0 448071 251 0 0 25 0 4 0 523542943 701362176 125010 33554432000 4194304 4650419 140734250572640 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 171231 125010 395 112 0 166196 0 [pid=22187/tid=22190] ppid=22183 vsize=684924 CPUtime=1122.31 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 111686 0 0 0 112182 49 0 0 25 0 4 0 523542944 701362176 125010 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=684924 CPUtime=1116.26 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 186687 0 0 0 111534 92 0 0 25 0 4 0 523542944 701362176 125010 33554432000 4194304 4650419 140734250572640 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=684924 CPUtime=1122.31 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 119372 0 0 0 112174 57 0 0 25 0 4 0 523542944 701362176 125010 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4483.22 Current children cumulated vsize (KiB) 684924 [startup+1182.3 s] /proc/loadavg: 8.16 8.11 8.03 9/184 22256 /proc/meminfo: memFree=16902892/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=709644 CPUtime=4722.9 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 545501 0 0 0 472031 259 0 0 25 0 4 0 523542943 726675456 123708 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 177411 123708 395 112 0 172376 0 [pid=22187/tid=22190] ppid=22183 vsize=709644 CPUtime=1182.32 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 113871 0 0 0 118181 51 0 0 25 0 4 0 523542944 726675456 123708 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=709644 CPUtime=1175.94 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 191653 0 0 0 117499 95 0 0 25 0 4 0 523542944 726675456 123708 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=709644 CPUtime=1182.31 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 123998 0 0 0 118172 59 0 0 25 0 4 0 523542944 726675456 123708 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4722.9 Current children cumulated vsize (KiB) 709644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.11 8.10 8.02 9/184 22257 /proc/meminfo: memFree=16884284/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=721708 CPUtime=4800.41 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 553613 0 0 0 479774 267 0 0 25 0 4 0 523542943 739028992 127073 33554432000 4194304 4650419 140734250572640 18446744073709551615 4330361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 180427 127073 395 112 0 175392 0 [pid=22187/tid=22190] ppid=22183 vsize=721708 CPUtime=1201.72 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 115247 0 0 0 120119 53 0 0 25 0 4 0 523542944 739028992 127073 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=721708 CPUtime=1195.23 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 195045 0 0 0 119425 98 0 0 25 0 4 0 523542944 739028992 127073 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=721708 CPUtime=1201.71 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 125046 0 0 0 120111 60 0 0 25 0 4 0 523542944 739028992 127073 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 721708 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.11 8.10 8.02 9/184 22257 /proc/meminfo: memFree=16884284/32951124 swapFree=67111528/67111528 [pid=22187] ppid=22183 vsize=721708 CPUtime=4800.41 cores=1,3,5,7 /proc/22187/stat : 22187 (strangenight1-m) R 22183 22187 21853 0 -1 4202496 553613 0 0 0 479774 267 0 0 25 0 4 0 523542943 739028992 127073 33554432000 4194304 4650419 140734250572640 18446744073709551615 4330361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/22187/statm: 180427 127073 395 112 0 175392 0 [pid=22187/tid=22190] ppid=22183 vsize=721708 CPUtime=1201.72 cores=1,3,5,7 /proc/22187/task/22190/stat : 22190 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 115247 0 0 0 120119 53 0 0 25 0 4 0 523542944 739028992 127073 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=22187/tid=22191] ppid=22183 vsize=721708 CPUtime=1195.23 cores=1,3,5,7 /proc/22187/task/22191/stat : 22191 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 195045 0 0 0 119425 98 0 0 25 0 4 0 523542944 739028992 127073 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=22187/tid=22192] ppid=22183 vsize=721708 CPUtime=1201.71 cores=1,3,5,7 /proc/22187/task/22192/stat : 22192 (strangenight1-m) R 22183 22187 21853 0 -1 4202560 125046 0 0 0 120111 60 0 0 25 0 4 0 523542944 739028992 127073 33554432000 4194304 4650419 140734250572640 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 721708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.74 CPU time (s): 4800.47 CPU user time (s): 4797.77 CPU system time (s): 2.69759 CPU usage (%): 399.461 Max. virtual memory (cumulated for all children) (KiB): 776084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.77 system time used= 2.69759 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 553614 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= 442 involuntary context switches= 32103 runsolver used 1.82972 second user time and 4.67529 second system time The end
Begin job on node103 at 2011-04-30 01:23:23 IDJOB=3175335 IDBENCH=82953 IDSOLVER=1588 FILE ID=node103/3175335-1304119403 RUNJOBID= node103-1304119403-22169 PBS_JOBID= 13170711 Free space on /tmp= 71520 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175335-1304119403/watcher-3175335-1304119403 -o /tmp/evaluation-result-3175335-1304119403/solver-3175335-1304119403 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175335-1304119403.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 30f9bf8e3b9c70d1ebd1c611372c0c4a RANDOM SEED=1010791097 node103.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.858 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.71 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.858 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.77 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.858 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.75 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.858 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.858 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.83 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.858 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: 17893316 kB Buffers: 2149604 kB Cached: 12260856 kB SwapCached: 0 kB Active: 5601972 kB Inactive: 8871800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 17893316 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12560 kB Writeback: 0 kB AnonPages: 63040 kB Mapped: 14480 kB Slab: 520332 kB PageTables: 4488 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 187244 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= 71508 MiB End job on node103 at 2011-04-30 01:43:27