| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.43 | 1201.93 |
| Name | random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf |
| MD5SUM | 68db236c1470208d12f1f4e80de80849 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 70 |
| Number of clauses | 6230 |
| Sum of the clauses size | 43610 |
| 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 | 6230 |
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-3175090-1304084161.cnf' 0.00/0.00 c -- header says num vars: 70 0.00/0.00 c -- header says num clauses: 6230 0.00/0.00 c -- clauses added: 0 learnts, 6230 normals, 0 xors 0.00/0.00 c -- vars added 70 0.00/0.00 c Parsing time: 0.01 s 0.00/0.00 c N st 0 0 70 6230 0 0 43610 0 no data no data -- 0.38/0.15 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 0.56 0.38/0.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 0.38/0.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.38/0.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.38/0.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 0.38/0.15 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.38/0.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 0.38/0.17 c Finding binary XORs T: 0.00 s found: 0 0.38/0.17 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.38/0.17 c calculated reachability. Time: 0.00 0.38/0.17 c Calc default polars - time: 0.00 s pos: 36 undec: 0 neg: 34 0.38/0.17 c ========================================================================================= 0.38/0.17 c types(t): F = full restart, N = normal restart 0.38/0.17 c types(t): S = simplification begin/end, E = solution found 0.38/0.17 c restart types(rt): st = static, dy = dynamic 0.38/0.17 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.38/0.17 c B st 0 0 70 6230 0 0 43610 0 no data no data -- 0.78/0.28 c N dy 8 4030 70 6230 0 3626 43610 86980 19.88 21.10 -- 1.57/0.42 c N dy 20 8081 70 6230 0 5036 43610 112505 20.31 21.50 -- 1.97/0.59 c N dy 30 12487 70 6230 0 5184 43610 106871 20.32 21.41 -- 2.78/0.76 c N dy 44 16500 70 6230 0 8833 43610 194419 20.50 21.63 -- 3.58/0.94 c N dy 58 20524 70 6230 0 7381 43610 147632 20.56 21.69 -- 4.39/1.14 c N dy 68 24891 70 6230 0 11302 43610 240424 20.49 21.59 -- 4.39/1.15 c F st 70 25000 70 6230 0 11402 43610 242904 20.50 no data -- 5.17/1.38 c N dy 76 30000 70 6230 0 9793 43610 194934 20.50 no data -- 5.17/1.38 c S st 76 30000 70 6230 0 9793 43610 194934 20.50 no data -- 5.57/1.42 c S st 76 30506 70 6230 0 10267 43610 206585 20.50 no data -- 5.57/1.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.57/1.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.57/1.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.57/1.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.57/1.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.57/1.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 5.57/1.43 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.57/2.46 c lits-rem: 1509 cl-subs: 865 v-elim: 0 v-fix: 0 time: 4.10 s 10.77/2.76 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 1.20 10.77/2.76 c calculated reachability. Time: 0.00 10.77/2.76 c N dy 76 30506 70 6230 0 9402 43610 183777 20.50 no data -- 11.57/2.97 c N dy 97 34513 70 6230 0 13034 43610 272467 20.62 21.73 -- 13.96/3.58 c N dy 110 45761 70 6230 0 16010 43610 324668 20.28 18.59 -- 13.96/3.58 c S st 110 45761 70 6230 0 16010 43610 324668 20.28 18.59 -- 14.36/3.63 c S st 110 46264 70 6230 0 8421 43610 138133 20.28 no data -- 14.36/3.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 14.36/3.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 14.36/3.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 14.36/3.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 14.36/3.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 14.36/3.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 14.36/3.64 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 17.58/4.41 c lits-rem: 180 cl-subs: 52 v-elim: 0 v-fix: 0 time: 3.07 s 17.58/4.41 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 17.58/4.41 c vivif2 -- cl tried 8369 cl shrink 0 lits rem 0 time: 0.01 18.35/4.66 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 1.02 18.35/4.67 c calculated reachability. Time: 0.00 18.35/4.67 c N dy 110 46264 70 6230 0 8369 43610 136485 20.28 no data -- 19.15/4.89 c N dy 113 50978 70 6230 0 12563 43610 233247 20.18 21.29 -- 20.35/5.18 c N dy 144 55061 70 6230 0 16308 43610 324180 20.30 21.96 -- 21.56/5.45 c N dy 166 59225 70 6230 0 11077 43610 189372 20.39 21.57 -- 22.75/5.70 c N dy 188 63308 70 6230 0 14766 43610 278384 20.46 21.87 -- 23.94/6.08 c N dy 194 69398 70 6230 0 10358 43610 159584 20.38 20.62 -- 23.94/6.08 c S st 194 69398 70 6230 0 10358 43610 159584 20.38 20.62 -- 24.34/6.12 c S st 194 69903 70 6230 0 10824 43610 170996 20.38 no data -- 24.34/6.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 24.34/6.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 24.34/6.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 24.34/6.13 c bin-w-bin subsume rem 0 bins time: 0.00 s 24.34/6.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 24.34/6.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 24.34/6.13 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 27.54/6.99 c lits-rem: 251 cl-subs: 163 v-elim: 0 v-fix: 0 time: 3.43 s 27.54/6.99 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 27.54/6.99 c vivif2 -- cl tried 10661 cl shrink 0 lits rem 0 time: 0.01 28.74/7.29 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 1.20 28.74/7.29 c calculated reachability. Time: 0.00 28.74/7.29 c N dy 194 69903 70 6230 0 10661 43610 166687 20.38 no data -- 29.94/7.56 c N dy 214 74419 70 6230 0 14773 43610 265456 20.41 21.51 -- 32.34/8.16 c N dy 233 83345 70 6230 0 11987 43610 186984 20.39 21.53 -- 33.53/8.44 c F st 246 87502 70 6230 0 15758 43610 275267 20.37 17.78 -- 33.93/8.52 c N st 249 88691 70 6230 0 16843 43610 301498 20.37 no data -- 35.52/8.95 c N dy 257 94639 70 6230 0 22225 43610 432951 20.38 21.46 -- 37.12/9.37 c N dy 273 100873 70 6230 0 16113 43610 271871 20.37 21.51 -- 38.32/9.61 c S st 275 104856 70 6230 0 19648 43610 354455 20.33 18.63 -- 38.32/9.66 c S st 275 105357 70 6230 0 20113 43610 365781 20.33 no data -- 38.32/9.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 38.32/9.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.32/9.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 38.32/9.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 38.32/9.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 38.32/9.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 38.32/9.68 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 44.71/11.28 c lits-rem: 1877 cl-subs: 2058 v-elim: 0 v-fix: 0 time: 6.36 s 44.71/11.28 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 44.71/11.28 c vivif2 -- cl tried 18055 cl shrink 0 lits rem 0 time: 0.01 46.31/11.66 c asymm cl-useful: 0/4795/6230 lits-rem:0 time: 1.52 46.31/11.66 c calculated reachability. Time: 0.00 46.31/11.66 c N dy 275 105357 70 6230 0 18055 43610 315725 20.33 no data -- 48.71/12.26 c N dy 324 112111 70 6230 0 24222 43610 466639 20.43 22.12 -- 51.12/12.84 c N dy 335 120293 70 6230 0 19011 43610 327955 20.39 21.69 -- 53.91/13.53 c N dy 378 128360 70 6230 0 26344 43610 504898 20.44 21.58 -- 56.71/14.30 c N dy 400 138743 70 6230 0 22188 43610 394892 20.42 21.58 -- 60.30/15.15 c N dy 448 147800 70 6230 0 15986 43610 232000 20.48 21.58 -- 63.49/15.92 c N dy 481 158037 70 6230 0 25240 43610 453700 20.48 19.51 -- 63.49/15.92 c S st 481 158037 70 6230 0 25240 43610 453700 20.48 19.51 -- 63.49/15.98 c S st 481 158539 70 6230 0 25706 43610 465446 20.48 no data -- 63.49/15.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 63.49/15.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 63.49/15.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 63.89/16.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 63.89/16.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 63.89/16.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 63.89/16.01 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 72.29/18.11 c lits-rem: 2066 cl-subs: 2501 v-elim: 0 v-fix: 0 time: 8.39 s 72.29/18.11 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 72.29/18.11 c vivif2 -- cl tried 23205 cl shrink 0 lits rem 0 time: 0.02 73.08/18.30 c asymm cl-useful: 0/1435/6230 lits-rem:0 time: 0.74 73.08/18.30 c calculated reachability. Time: 0.00 73.08/18.30 c N dy 481 158539 70 6230 0 23205 43610 402750 20.48 no data -- 77.07/19.31 c N dy 540 168749 70 6230 0 17212 43610 249764 20.55 22.56 -- 80.66/20.25 c N dy 584 179521 70 6230 0 26938 43610 484030 20.58 23.34 -- 84.66/21.28 c N dy 621 190987 70 6230 0 21092 43610 329625 20.59 23.78 -- 90.25/22.62 c N dy 632 205337 70 6230 0 34049 43610 634275 20.50 21.62 -- 95.05/23.86 c N dy 674 218582 70 6230 0 28821 43610 502575 20.48 21.78 -- 102.23/25.64 c N dy 720 237808 70 6230 0 28139 43610 470275 20.44 18.24 -- 102.23/25.64 c S st 720 237808 70 6230 0 28139 43610 470275 20.44 18.24 -- 102.63/25.71 c S st 720 238314 70 6230 0 28610 43610 481897 20.44 no data -- 102.63/25.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 102.63/25.71 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 102.63/25.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 102.63/25.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 102.63/25.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 102.63/25.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 102.63/25.74 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 111.82/28.07 c lits-rem: 1772 cl-subs: 2558 v-elim: 0 v-fix: 0 time: 9.32 s 111.82/28.07 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 111.82/28.08 c vivif2 -- cl tried 26052 cl shrink 0 lits rem 0 time: 0.02 113.42/28.47 c asymm cl-useful: 0/3656/6230 lits-rem:0 time: 1.57 113.42/28.47 c calculated reachability. Time: 0.00 113.42/28.47 c N dy 720 238314 70 6230 0 26052 43610 421658 20.44 no data -- 124.21/31.13 c N dy 740 269138 70 6230 0 34712 43610 596044 20.21 21.36 -- 131.41/32.95 c N dy 827 286352 70 6230 0 30665 43610 513653 20.27 21.49 -- 140.20/35.18 c F st 887 306251 70 6230 0 27860 43610 421296 20.26 18.12 -- 140.20/35.18 c N st 887 306251 70 6230 0 27860 43610 421296 20.26 18.12 -- 150.17/37.60 c N dy 985 325814 70 6230 0 23989 43610 324383 20.31 21.39 -- 159.35/39.95 c N dy 1074 345829 70 6230 0 42133 43610 762300 20.34 21.67 -- 164.56/41.28 c S st 1108 357473 70 6230 0 30089 43610 455407 20.33 17.85 -- 164.95/41.35 c S st 1108 357976 70 6230 0 30549 43610 466837 20.33 no data -- 164.95/41.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 164.95/41.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 164.95/41.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 164.95/41.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 164.95/41.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 164.95/41.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 164.95/41.38 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 173.73/43.55 c lits-rem: 1316 cl-subs: 1898 v-elim: 0 v-fix: 0 time: 8.66 s 173.73/43.55 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 173.73/43.55 c vivif2 -- cl tried 28651 cl shrink 0 lits rem 0 time: 0.02 175.35/43.91 c asymm cl-useful: 0/2574/6230 lits-rem:0 time: 1.40 175.35/43.91 c calculated reachability. Time: 0.00 175.35/43.91 c N dy 1108 357976 70 6230 0 28651 43610 422045 20.33 no data -- 189.71/47.52 c N dy 1182 383721 70 6230 0 28408 43610 399930 20.33 21.47 -- 201.30/50.41 c N dy 1274 403831 70 6230 0 46596 43610 840818 20.37 21.60 -- 210.91/52.86 c N dy 1354 423878 70 6230 0 40443 43610 678077 20.38 21.58 -- 222.47/55.74 c N dy 1453 443912 70 6230 0 33264 43610 494310 20.41 21.59 -- 234.06/58.67 c N dy 1544 464189 70 6230 0 51680 43610 940321 20.44 21.62 -- 244.04/61.18 c N dy 1605 484674 70 6230 0 43911 43610 735388 20.45 21.75 -- 257.62/64.58 c N dy 1680 509672 70 6230 0 39342 43610 609231 20.45 21.58 -- 270.41/67.77 c N dy 1759 530097 70 6230 0 29831 43610 370792 20.46 21.59 -- 273.60/68.53 c S st 1770 536964 70 6230 0 36049 43610 518829 20.45 20.89 -- 274.00/68.63 c S st 1770 537468 70 6230 0 36514 43610 530614 20.45 no data -- 274.00/68.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 274.00/68.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 274.00/68.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 274.00/68.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 274.00/68.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 274.00/68.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 274.00/68.66 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 283.19/70.99 c lits-rem: 705 cl-subs: 2091 v-elim: 0 v-fix: 0 time: 9.32 s 283.19/70.99 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 283.59/71.00 c vivif2 -- cl tried 34423 cl shrink 0 lits rem 0 time: 0.02 284.39/71.20 c asymm cl-useful: 0/1584/6230 lits-rem:0 time: 0.80 284.39/71.20 c calculated reachability. Time: 0.00 284.39/71.20 c N dy 1770 537468 70 6230 0 34423 43610 481716 20.45 no data -- 300.37/75.20 c N dy 1802 567653 70 6230 0 32794 43610 428321 20.38 21.49 -- 318.34/79.73 c N dy 1910 598292 70 6230 0 30748 43610 368352 20.39 21.48 -- 329.14/82.50 c N dy 1997 618369 70 6230 0 48911 43610 808269 20.40 21.58 -- 342.73/85.83 c N dy 2080 638391 70 6230 0 36334 43610 488857 20.42 21.93 -- 357.88/89.63 c N dy 2134 661455 70 6230 0 56991 43610 973482 20.39 21.59 -- 389.05/97.44 c N dy 2178 716462 70 6230 0 42280 43610 591856 20.21 21.30 -- 403.84/101.16 c N dy 2267 736500 70 6230 0 60370 43610 1025765 20.23 23.44 -- 420.61/105.39 c N dy 2416 757438 70 6230 0 46236 43610 697163 20.27 21.35 -- 437.79/109.65 c N dy 2514 779502 70 6230 0 66165 43610 1178070 20.29 21.41 -- 450.57/112.89 c N dy 2600 800170 70 6230 0 50602 43610 786347 20.30 21.41 -- 455.76/114.12 c S st 2635 806203 70 6230 0 56056 43610 918086 20.31 20.82 -- 456.15/114.29 c S st 2635 806704 70 6230 0 56510 43610 929450 20.31 no data -- 456.15/114.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 456.15/114.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 456.56/114.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.09 456.56/114.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 456.56/114.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 456.56/114.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 456.56/114.34 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 495.30/124.05 c lits-rem: 2650 cl-subs: 4576 v-elim: 0 v-fix: 0 time: 38.74 s 495.30/124.05 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 495.30/124.06 c vivif2 -- cl tried 51934 cl shrink 0 lits rem 0 time: 0.04 496.52/124.39 c asymm cl-useful: 0/965/6230 lits-rem:0 time: 1.32 496.52/124.39 c calculated reachability. Time: 0.00 496.52/124.39 c N dy 2635 806704 70 6230 0 51934 43610 812359 20.31 no data -- 514.87/128.93 c N dy 2743 826803 70 6230 0 35074 43610 395825 20.33 24.32 -- 527.27/132.03 c N dy 2837 846927 70 6230 0 53242 43610 835735 20.35 21.43 -- 545.63/136.68 c N dy 2965 866930 70 6230 0 71402 43610 1281267 20.38 22.00 -- 559.22/140.02 c N dy 3017 888767 70 6230 0 54956 43610 852812 20.37 21.45 -- 581.18/145.56 c N dy 3101 916030 70 6230 0 42598 43610 546847 20.37 21.59 -- 599.56/150.11 c N dy 3161 942550 70 6230 0 66464 43610 1115627 20.35 21.47 -- 615.53/154.18 c N dy 3263 962562 70 6230 0 46731 43610 642800 20.37 22.75 -- 630.72/157.98 c N dy 3355 982582 70 6230 0 64812 43610 1079501 20.38 21.77 -- 651.09/163.00 c N dy 3469 1004939 70 6230 0 46189 43610 613303 20.40 21.53 -- 694.25/173.82 c N dy 3571 1068359 70 6230 0 63143 43610 978136 20.30 21.38 -- 696.63/174.45 c F st 3572 1071876 70 6230 0 66320 43610 1052709 20.30 18.11 -- 714.20/178.80 c N dy 3670 1088436 70 6230 0 40977 43610 462359 20.32 23.58 -- 728.58/182.49 c N dy 3793 1108505 70 6230 0 59175 43610 907409 20.34 22.11 -- 749.75/187.79 c N dy 3944 1128566 70 6230 0 77301 43610 1354739 20.37 23.87 -- 764.93/191.57 c N dy 3987 1148858 70 6230 0 54145 43610 760854 20.36 21.45 -- 786.53/196.95 c N dy 4095 1169013 70 6230 0 72391 43610 1205217 20.38 21.53 -- 818.06/204.87 c N dy 4161 1202875 70 6230 0 60219 43610 881934 20.35 21.45 -- 825.67/206.75 c S st 4199 1210056 70 6230 0 66674 43610 1038787 20.36 no data -- 826.46/206.97 c S st 4199 1210561 70 6230 0 67130 43610 1050238 20.36 no data -- 826.46/206.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 826.46/206.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 826.86/207.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.15 826.86/207.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 826.86/207.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 826.86/207.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 826.86/207.05 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 908.73/227.51 c lits-rem: 3564 cl-subs: 7065 v-elim: 0 v-fix: 0 time: 81.70 s 908.73/227.51 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 908.73/227.52 c vivif2 -- cl tried 60065 cl shrink 0 lits rem 0 time: 0.05 909.93/227.89 c asymm cl-useful: 0/786/6230 lits-rem:0 time: 1.47 910.33/227.90 c calculated reachability. Time: 0.00 910.33/227.90 c N dy 4199 1210561 70 6230 0 60065 43610 889723 20.36 no data -- 933.10/233.63 c N dy 4295 1230648 70 6230 0 78242 43610 1330823 20.37 23.36 -- 951.88/238.39 c N dy 4397 1251356 70 6230 0 54165 43610 747732 20.37 21.62 -- 973.05/243.66 c N dy 4519 1271432 70 6230 0 72341 43610 1191987 20.39 23.53 -- 999.01/250.14 c N dy 4596 1292153 70 6230 0 47035 43610 552965 20.39 21.47 -- 1017.39/254.70 c N dy 4678 1312169 70 6230 0 65093 43610 989885 20.40 21.77 -- 1044.96/261.63 c N dy 4810 1332931 70 6230 0 83847 43610 1448945 20.41 21.52 -- 1066.52/267.07 c N dy 4889 1353129 70 6230 0 57057 43610 781610 20.42 21.52 -- 1082.10/270.98 c N dy 4918 1373227 70 6230 0 75091 43610 1207726 20.41 23.28 -- 1108.07/277.46 c N dy 5048 1393275 70 6230 0 47319 43610 535127 20.43 22.20 -- 1126.04/281.92 c N dy 5130 1416451 70 6230 0 68239 43610 1036010 20.43 21.67 -- 1148.41/287.56 c N dy 5243 1436466 70 6230 0 86325 43610 1480212 20.44 23.63 -- 1171.59/293.34 c N dy 5351 1458769 70 6230 0 59539 43610 817047 20.46 21.68 -- 1188.36/297.51 c N dy 5378 1479544 70 6230 0 78134 43610 1256947 20.45 21.61 -- 1215.52/304.34 c N dy 5489 1500116 70 6230 0 48960 43610 548416 20.46 21.54 -- 1233.10/308.71 c N dy 5596 1520199 70 6230 0 67104 43610 992238 20.47 21.63 -- 1255.07/314.27 c N dy 5668 1542572 70 6230 0 87117 43610 1471466 20.47 21.64 -- 1278.66/320.17 c N dy 5764 1562789 70 6230 0 56739 43610 724544 20.48 21.57 -- 1294.62/324.10 c N dy 5789 1582846 70 6230 0 74753 43610 1154697 20.47 22.51 -- 1318.20/330.02 c N dy 5883 1602990 70 6230 0 92942 43610 1599024 20.48 21.61 -- 1338.55/335.17 c N dy 5950 1624239 70 6230 0 62516 43610 845243 20.48 21.58 -- 1360.52/340.65 c N dy 6090 1644347 70 6230 0 80720 43610 1294409 20.49 21.62 -- 1389.28/347.81 c N dy 6207 1664992 70 6230 0 99400 43610 1753035 20.51 21.59 -- 1416.45/354.65 c N dy 6297 1689800 70 6230 0 71162 43610 1041988 20.51 21.82 -- 1441.61/360.99 c N dy 6345 1710561 70 6230 0 89832 43610 1488986 20.50 17.08 -- 1441.61/360.99 c S st 6345 1710561 70 6230 0 89832 43610 1488986 20.50 17.08 -- 1443.22/361.32 c S st 6345 1711067 70 6230 0 90296 43610 1500838 20.50 no data -- 1443.22/361.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1443.22/361.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1443.22/361.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.21 1443.62/361.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 1443.62/361.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1443.62/361.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 1443.62/361.43 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1645.74/412.01 c lits-rem: 5578 cl-subs: 10287 v-elim: 0 v-fix: 0 time: 201.98 s 1645.74/412.01 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 1645.74/412.02 c vivif2 -- cl tried 80009 cl shrink 0 lits rem 0 time: 0.07 1647.35/412.48 c asymm cl-useful: 0/551/6230 lits-rem:0 time: 1.81 1647.35/412.48 c calculated reachability. Time: 0.00 1647.35/412.48 c N dy 6345 1711067 70 6230 0 80009 43610 1254287 20.50 no data -- 1678.89/420.38 c N dy 6413 1731150 70 6230 0 98093 43610 1691497 20.51 22.05 -- 1707.66/427.55 c N dy 6471 1751215 70 6230 0 65313 43610 894779 20.50 21.97 -- 1736.02/434.68 c N dy 6532 1771259 70 6230 0 83400 43610 1332052 20.50 22.35 -- 1775.19/444.48 c N dy 6678 1791285 70 6230 0 101489 43610 1781125 20.52 23.60 -- 1803.53/451.58 c N dy 6746 1814542 70 6230 0 70301 43610 998669 20.52 21.61 -- 1831.90/458.68 c N dy 6839 1834622 70 6230 0 88387 43610 1439209 20.52 22.43 -- 1867.06/467.48 c N dy 6981 1854669 70 6230 0 53521 43610 586786 20.54 21.72 -- 1883.41/471.59 c N dy 7042 1874922 70 6230 0 71679 43610 1020041 20.53 21.72 -- 1908.98/477.90 c N dy 7132 1897050 70 6230 0 91617 43610 1506574 20.54 21.69 -- 1937.35/485.08 c N dy 7153 1923392 70 6230 0 61316 43610 758803 20.53 21.67 -- 1955.34/489.58 c N dy 7197 1943546 70 6230 0 79427 43610 1192202 20.52 21.69 -- 1983.28/496.55 c N dy 7247 1966876 70 6230 0 100308 43610 1691926 20.52 21.85 -- 2009.64/503.19 c N dy 7336 1986949 70 6230 0 63542 43610 799753 20.52 22.04 -- 2032.01/508.76 c N dy 7434 2008595 70 6230 0 83050 43610 1274167 20.53 21.65 -- 2061.58/516.18 c N dy 7517 2031338 70 6230 0 103482 43610 1766970 20.53 21.64 -- 2087.54/522.66 c N dy 7622 2051354 70 6230 0 65887 43610 851410 20.54 23.17 -- 2109.91/528.27 c N dy 7742 2071424 70 6230 0 84010 43610 1297694 20.55 23.27 -- 2147.87/537.73 c N dy 7827 2100387 70 6230 0 109906 43610 1919753 20.55 21.74 -- 2175.42/544.68 c N dy 7907 2126062 70 6230 0 76321 43610 1086206 20.54 21.66 -- 2202.98/551.50 c N dy 8052 2146076 70 6230 0 94482 43610 1535276 20.56 21.65 -- 2232.17/558.83 c N dy 8119 2166148 70 6230 0 112532 43610 1974477 20.56 22.33 -- 2253.72/564.21 c N dy 8190 2186293 70 6230 0 73088 43610 997490 20.56 21.66 -- 2282.87/571.51 c N dy 8306 2210501 70 6230 0 94982 43610 1532352 20.57 21.66 -- 2283.67/571.71 c S st 8311 2211067 70 6230 0 95508 43610 1545489 20.57 20.96 -- 2284.48/572.00 c S st 8311 2211572 70 6230 0 95964 43610 1557015 20.57 no data -- 2284.89/572.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2284.89/572.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2284.89/572.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.19 2285.27/572.10 c bin-w-bin subsume rem 0 bins time: 0.00 s 2285.27/572.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2285.27/572.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 2285.27/572.10 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2427.47/607.71 c lits-rem: 5187 cl-subs: 8874 v-elim: 0 v-fix: 0 time: 142.18 s 2427.47/607.71 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 2427.47/607.73 c vivif2 -- cl tried 87090 cl shrink 0 lits rem 0 time: 0.08 2429.07/608.16 c asymm cl-useful: 0/519/6230 lits-rem:0 time: 1.72 2429.07/608.16 c calculated reachability. Time: 0.00 2429.07/608.16 c N dy 8311 2211572 70 6230 0 87090 43610 1334489 20.57 no data -- 2456.63/615.06 c N dy 8356 2231726 70 6230 0 105094 43610 1764451 20.57 21.71 -- 2493.39/624.21 c N dy 8483 2251746 70 6230 0 65119 43610 799559 20.58 23.30 -- 2521.36/631.21 c N dy 8556 2272260 70 6230 0 83593 43610 1248772 20.58 21.71 -- 2559.70/640.82 c N dy 8638 2292317 70 6230 0 101604 43610 1687103 20.58 21.72 -- 2607.23/652.71 c N dy 8768 2312432 70 6230 0 60548 43610 669149 20.59 21.75 -- 2635.19/659.75 c N dy 8874 2332505 70 6230 0 78710 43610 1115368 20.60 22.43 -- 2672.75/669.14 c N dy 9005 2353618 70 6230 0 97713 43610 1583933 20.61 21.71 -- 2716.68/680.18 c N dy 9115 2373657 70 6230 0 115758 43610 2025142 20.62 22.77 -- 2756.23/690.03 c N dy 9223 2399337 70 6230 0 78546 43610 1091192 20.62 21.76 -- 2791.79/698.92 c N dy 9315 2420765 70 6230 0 97820 43610 1558546 20.62 21.71 -- 2827.73/707.96 c N dy 9341 2441145 70 6230 0 116014 43610 1984376 20.61 21.82 -- 2856.50/715.14 c N dy 9362 2461187 70 6230 0 72863 43610 934181 20.60 22.80 -- 2889.25/723.34 c N dy 9436 2484134 70 6230 0 93474 43610 1433426 20.60 21.75 -- 2917.63/730.49 c N dy 9480 2504214 70 6230 0 111399 43610 1863650 20.60 21.98 -- 2967.14/742.88 c N dy 9564 2540194 70 6230 0 81716 43610 1128423 20.59 21.71 -- 2995.91/750.09 c N dy 9626 2560802 70 6230 0 100282 43610 1572997 20.59 21.71 -- 3035.45/759.96 c N dy 9748 2584465 70 6230 0 121541 43610 2093933 20.60 21.69 -- 3061.82/766.50 c N dy 9860 2605281 70 6230 0 77543 43610 1037372 20.60 21.71 -- 3087.79/773.08 c N dy 9954 2625713 70 6230 0 95959 43610 1487772 20.61 21.73 -- 3121.74/781.50 c N dy 10054 2646200 70 6230 0 114502 43610 1943057 20.61 21.80 -- 3149.69/788.54 c N dy 10096 2666281 70 6230 0 68621 43610 798134 20.61 22.76 -- 3172.86/794.31 c N dy 10191 2686381 70 6230 0 86783 43610 1240463 20.61 22.55 -- 3195.64/800.05 c N dy 10210 2706846 70 6230 0 104975 43610 1671258 20.61 21.79 -- 3203.63/802.00 c S st 10229 2711572 70 6230 0 109221 43610 1773872 20.61 20.10 -- 3204.82/802.31 c S st 10229 2712077 70 6230 0 109679 43610 1785502 20.61 no data -- 3204.82/802.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3204.82/802.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3204.82/802.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.23 3205.22/802.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 3205.22/802.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3205.22/802.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 3205.22/802.43 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3665.80/917.74 c lits-rem: 6676 cl-subs: 11746 v-elim: 0 v-fix: 0 time: 460.51 s 3665.80/917.74 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 3665.80/917.76 c vivif2 -- cl tried 97933 cl shrink 0 lits rem 0 time: 0.09 3667.80/918.21 c asymm cl-useful: 0/486/6230 lits-rem:0 time: 1.78 3667.80/918.21 c calculated reachability. Time: 0.00 3667.80/918.21 c N dy 10229 2712077 70 6230 0 97933 43610 1502724 20.61 no data -- 3702.54/926.94 c N dy 10296 2732239 70 6230 0 116060 43610 1942907 20.61 21.74 -- 3746.89/938.01 c N dy 10407 2755772 70 6230 0 73089 43610 898449 20.61 21.73 -- 3783.26/947.11 c N dy 10419 2784933 70 6230 0 99038 43610 1510083 20.60 22.05 -- 3819.98/956.31 c N dy 10461 2805072 70 6230 0 117142 43610 1947606 20.59 21.68 -- 3863.93/967.34 c N dy 10557 2825113 70 6230 0 70056 43610 818167 20.60 22.76 -- 3896.69/975.56 c N dy 10673 2845635 70 6230 0 88630 43610 1275275 20.61 21.73 -- 3936.23/985.40 c N dy 10742 2867492 70 6230 0 108206 43610 1744813 20.61 21.73 -- 3982.16/996.94 c N dy 10830 2887920 70 6230 0 126627 43610 2193664 20.61 21.87 -- 4031.30/1009.25 c N dy 10905 2918272 70 6230 0 87300 43610 1200755 20.60 21.72 -- 4071.25/1019.24 c N dy 10975 2940636 70 6230 0 107338 43610 1683263 20.60 21.78 -- 4121.20/1031.73 c N dy 11083 2962060 70 6230 0 126627 43610 2158263 20.61 21.70 -- 4164.73/1042.65 c N dy 11221 2982129 70 6230 0 77526 43610 975431 20.62 22.66 -- 4197.47/1050.86 c N dy 11315 3002178 70 6230 0 95579 43610 1415217 20.62 23.58 -- 4232.23/1059.55 c N dy 11357 3022233 70 6230 0 113596 43610 1846234 20.62 21.88 -- 4275.39/1070.36 c N dy 11425 3042255 70 6230 0 131562 43610 2283836 20.62 23.36 -- 4319.70/1081.49 c N dy 11550 3067722 70 6230 0 86208 43610 1164773 20.62 21.76 -- 4390.41/1099.19 c N dy 11655 3110548 70 6230 0 124620 43610 2091541 20.61 21.97 -- 4448.73/1113.70 c N dy 11776 3138343 70 6230 0 80425 43610 1004084 20.61 21.86 -- 4482.69/1122.23 c N dy 11897 3159116 70 6230 0 99113 43610 1465405 20.62 21.80 -- 4514.65/1130.20 c N dy 11927 3179186 70 6230 0 116994 43610 1890035 20.61 21.95 -- 4550.60/1139.21 c N dy 11970 3199732 70 6230 0 135423 43610 2332667 20.61 21.86 -- 4568.18/1143.65 c S st 11988 3212077 70 6230 0 76557 43610 904296 20.61 21.11 -- 4569.39/1143.92 c S st 11988 3212583 70 6230 0 77029 43610 916222 20.61 no data -- 4569.39/1143.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4569.39/1143.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4569.39/1143.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.18 4569.39/1144.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 4569.39/1144.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4569.39/1144.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 4569.39/1144.00 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4634.09/1160.17 c lits-rem: 1069 cl-subs: 1678 v-elim: 0 v-fix: 0 time: 64.58 s 4634.09/1160.17 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 4634.09/1160.18 c vivif2 -- cl tried 75351 cl shrink 0 lits rem 0 time: 0.06 4635.70/1160.58 c asymm cl-useful: 0/620/6230 lits-rem:0 time: 1.58 4635.70/1160.58 c calculated reachability. Time: 0.00 4635.70/1160.58 c N dy 11988 3212583 70 6230 0 75351 43610 874786 20.61 no data -- 4662.07/1167.17 c N dy 12048 3232597 70 6230 0 93325 43610 1310238 20.61 22.77 -- 4699.19/1176.47 c N dy 12159 3252598 70 6230 0 111364 43610 1754422 20.61 23.06 -- 4739.08/1186.44 c N dy 12222 3272691 70 6230 0 129391 43610 2189423 20.61 22.11 -- 4772.32/1194.89 c N dy 12252 3294852 70 6230 0 78326 43610 924504 20.60 21.96 -- 4796.01/1200.86 c N dy 12311 3315700 70 6230 0 97048 43610 1379435 20.60 21.75 --
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-3175090-1304084161/watcher-3175090-1304084161 -o /tmp/evaluation-result-3175090-1304084161/solver-3175090-1304084161 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175090-1304084161.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: 8.02 8.05 8.00 6/180 2395 /proc/meminfo: memFree=30662760/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 4 0 252607368 52465664 353 33554432000 4194304 4650419 140737011318416 18446744073709551615 47473685153714 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 12809 353 303 112 0 7774 0 [pid=2395/tid=2396] ppid=2393 vsize=207908 CPUtime=0 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 59 0 0 0 0 0 0 0 25 0 4 0 252607368 212897792 631 33554432000 4194304 4650419 140737011318416 18446744073709551615 268660767263 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=207908 CPUtime=0 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 79 0 0 0 0 0 0 0 25 0 4 0 252607368 212897792 635 33554432000 4194304 4650419 140737011318416 18446744073709551615 268660767214 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=207908 CPUtime=0 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) S 2393 2395 2145 0 -1 4202560 77 0 0 0 0 0 0 0 25 0 4 0 252607368 212897792 640 33554432000 4194304 4650419 140737011318416 18446744073709551615 268660767214 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.067341 s] /proc/loadavg: 8.02 8.05 8.00 6/180 2395 /proc/meminfo: memFree=30662760/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=216572 CPUtime=0.25 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 1374 0 0 0 25 0 0 0 24 0 4 0 252607368 221769728 1294 33554432000 4194304 4650419 140737011318416 18446744073709551615 4371151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 54143 1294 366 112 0 49108 0 [pid=2395/tid=2396] ppid=2393 vsize=216572 CPUtime=0.06 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 212 0 0 0 6 0 0 0 25 0 4 0 252607368 221769728 1294 33554432000 4194304 4650419 140737011318416 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=216572 CPUtime=0.06 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 225 0 0 0 6 0 0 0 18 0 4 0 252607368 221769728 1294 33554432000 4194304 4650419 140737011318416 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=216572 CPUtime=0.06 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 286 0 0 0 6 0 0 0 18 0 4 0 252607368 221769728 1294 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 216572 [startup+0.100335 s] /proc/loadavg: 8.02 8.05 8.00 6/180 2395 /proc/meminfo: memFree=30662760/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=216572 CPUtime=0.38 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 1434 0 0 0 38 0 0 0 24 0 4 0 252607368 221769728 1354 33554432000 4194304 4650419 140737011318416 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 54143 1354 366 112 0 49108 0 [pid=2395/tid=2396] ppid=2393 vsize=216572 CPUtime=0.09 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 217 0 0 0 9 0 0 0 25 0 4 0 252607368 221769728 1354 33554432000 4194304 4650419 140737011318416 18446744073709551615 4536415 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=216572 CPUtime=0.09 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 228 0 0 0 9 0 0 0 18 0 4 0 252607368 221769728 1354 33554432000 4194304 4650419 140737011318416 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=216572 CPUtime=0.09 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 335 0 0 0 9 0 0 0 18 0 4 0 252607368 221769728 1354 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 216572 [startup+0.300302 s] /proc/loadavg: 8.02 8.05 8.00 6/180 2395 /proc/meminfo: memFree=30662760/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=220228 CPUtime=1.18 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 3656 0 0 0 118 0 0 0 18 0 4 0 252607368 225513472 3153 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 55057 3153 390 112 0 50022 0 [pid=2395/tid=2396] ppid=2393 vsize=220228 CPUtime=0.29 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 848 0 0 0 29 0 0 0 25 0 4 0 252607368 225513472 3153 33554432000 4194304 4650419 140737011318416 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=220228 CPUtime=0.29 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 860 0 0 0 29 0 0 0 18 0 4 0 252607368 225513472 3153 33554432000 4194304 4650419 140737011318416 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=220228 CPUtime=0.29 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 675 0 0 0 29 0 0 0 18 0 4 0 252607368 225513472 3153 33554432000 4194304 4650419 140737011318416 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 220228 [startup+0.700234 s] /proc/loadavg: 8.02 8.05 8.00 6/180 2395 /proc/meminfo: memFree=30662760/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=221720 CPUtime=2.78 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 6096 0 0 0 277 1 0 0 18 0 4 0 252607368 227041280 3692 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 55430 3692 390 112 0 50395 0 [pid=2395/tid=2396] ppid=2393 vsize=221720 CPUtime=0.69 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 1474 0 0 0 69 0 0 0 25 0 4 0 252607368 227041280 3692 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=221720 CPUtime=0.69 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 1494 0 0 0 69 0 0 0 18 0 4 0 252607368 227041280 3692 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=221720 CPUtime=0.69 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 1259 0 0 0 69 0 0 0 18 0 4 0 252607368 227041280 3692 33554432000 4194304 4650419 140737011318416 18446744073709551615 4367232 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) 221720 [startup+1.5011 s] /proc/loadavg: 8.02 8.05 8.00 9/184 2399 /proc/meminfo: memFree=30635200/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=228684 CPUtime=5.98 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 11010 0 0 0 596 2 0 0 19 0 4 0 252607368 234172416 5800 33554432000 4194304 4650419 140737011318416 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 57171 5800 392 112 0 52136 0 [pid=2395/tid=2396] ppid=2393 vsize=228684 CPUtime=1.48 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 2374 0 0 0 148 0 0 0 25 0 4 0 252607368 234172416 5800 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=228684 CPUtime=1.48 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 2377 0 0 0 148 0 0 0 19 0 4 0 252607368 234172416 5800 33554432000 4194304 4650419 140737011318416 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=228684 CPUtime=1.48 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 2146 0 0 0 148 0 0 0 19 0 4 0 252607368 234172416 5800 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.98 Current children cumulated vsize (KiB) 228684 [startup+3.10082 s] /proc/loadavg: 8.02 8.05 8.00 9/184 2399 /proc/meminfo: memFree=30610800/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=236236 CPUtime=12.37 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 17781 0 0 0 1234 3 0 0 24 0 4 0 252607368 241905664 10590 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 59059 10590 392 112 0 54024 0 [pid=2395/tid=2396] ppid=2393 vsize=236236 CPUtime=3.07 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 3959 0 0 0 307 0 0 0 25 0 4 0 252607368 241905664 10590 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=236236 CPUtime=3.09 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 4855 0 0 0 308 1 0 0 25 0 4 0 252607368 241905664 10590 33554432000 4194304 4650419 140737011318416 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=236236 CPUtime=3.09 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 4432 0 0 0 308 1 0 0 25 0 4 0 252607368 241905664 10590 33554432000 4194304 4650419 140737011318416 18446744073709551615 4370522 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) 236236 [startup+6.30026 s] /proc/loadavg: 8.02 8.05 8.00 9/184 2399 /proc/meminfo: memFree=30557116/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=219224 CPUtime=25.14 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 26251 0 0 0 2509 5 0 0 25 0 4 0 252607368 224485376 14094 33554432000 4194304 4650419 140737011318416 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 54806 14094 392 112 0 49771 0 [pid=2395/tid=2396] ppid=2393 vsize=219224 CPUtime=6.26 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 6898 0 0 0 625 1 0 0 25 0 4 0 252607368 224485376 14094 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=219224 CPUtime=6.29 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 6552 0 0 0 628 1 0 0 25 0 4 0 252607368 224485376 14094 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=219224 CPUtime=6.28 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 6631 0 0 0 627 1 0 0 25 0 4 0 252607368 224485376 14094 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364775 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) 219224 [startup+12.7011 s] /proc/loadavg: 8.01 8.04 8.00 9/184 2399 /proc/meminfo: memFree=30504420/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=230700 CPUtime=50.72 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 36591 0 0 0 5064 8 0 0 25 0 4 0 252607368 236236800 19961 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 57675 19961 392 112 0 52640 0 [pid=2395/tid=2396] ppid=2393 vsize=230700 CPUtime=12.62 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 9434 0 0 0 1260 2 0 0 25 0 4 0 252607368 236236800 19961 33554432000 4194304 4650419 140737011318416 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=230700 CPUtime=12.68 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 8435 0 0 0 1267 1 0 0 25 0 4 0 252607368 236236800 19961 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=230700 CPUtime=12.69 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 10233 0 0 0 1267 2 0 0 25 0 4 0 252607368 236236800 19961 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 230700 [startup+25.5009 s] /proc/loadavg: 8.01 8.04 8.00 9/184 2400 /proc/meminfo: memFree=30460132/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=290492 CPUtime=101.84 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 53226 0 0 0 10172 12 0 0 25 0 4 0 252607368 297463808 26444 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 72623 26444 392 112 0 67588 0 [pid=2395/tid=2396] ppid=2393 vsize=290492 CPUtime=25.35 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 12663 0 0 0 2532 3 0 0 25 0 4 0 252607368 297463808 26444 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=290492 CPUtime=25.48 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 13069 0 0 0 2546 2 0 0 25 0 4 0 252607368 297463808 26444 33554432000 4194304 4650419 140737011318416 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=290492 CPUtime=25.49 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 15412 0 0 0 2545 4 0 0 25 0 4 0 252607368 297463808 26444 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 290492 [startup+51.1004 s] /proc/loadavg: 8.15 8.07 8.01 9/184 2401 /proc/meminfo: memFree=30424204/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=303172 CPUtime=204.09 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 76870 0 0 0 20388 21 0 0 25 0 4 0 252607368 310448128 31658 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 75793 31658 392 112 0 70758 0 [pid=2395/tid=2396] ppid=2393 vsize=303172 CPUtime=50.8 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 18426 0 0 0 5075 5 0 0 25 0 4 0 252607368 310448128 31658 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=303172 CPUtime=51.09 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 16832 0 0 0 5105 4 0 0 25 0 4 0 252607368 310448128 31658 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=303172 CPUtime=51.09 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 23399 0 0 0 5102 7 0 0 25 0 4 0 252607368 310448128 31658 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 204.09 Current children cumulated vsize (KiB) 303172 [startup+102.306 s] /proc/loadavg: 8.21 8.09 8.02 9/184 2402 /proc/meminfo: memFree=30372440/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=327920 CPUtime=408.64 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 113763 0 0 0 40829 35 0 0 25 0 4 0 252607368 335790080 36399 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 81980 36399 392 112 0 76945 0 [pid=2395/tid=2396] ppid=2393 vsize=327920 CPUtime=101.73 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 24714 0 0 0 10165 8 0 0 25 0 4 0 252607368 335790080 36399 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=327920 CPUtime=102.3 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 26594 0 0 0 10223 7 0 0 25 0 4 0 252607368 335790080 36399 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=327920 CPUtime=102.29 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 36179 0 0 0 10218 11 0 0 25 0 4 0 252607368 335790080 36399 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 408.64 Current children cumulated vsize (KiB) 327920 [startup+162.301 s] ################ # More data... # ################ [pid=2395] ppid=2393 vsize=479184 CPUtime=2805.36 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 343912 0 0 0 280395 141 0 0 25 0 4 0 252607368 490684416 75735 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 119796 75735 392 112 0 114761 0 [pid=2395/tid=2396] ppid=2393 vsize=479184 CPUtime=698.47 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 81544 0 0 0 69815 32 0 0 25 0 4 0 252607368 490684416 75735 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=479184 CPUtime=702.3 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 92249 0 0 0 70191 39 0 0 25 0 4 0 252607368 490684416 75735 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=479184 CPUtime=702.27 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 87919 0 0 0 70192 35 0 0 25 0 4 0 252607368 490684416 75735 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2805.36 Current children cumulated vsize (KiB) 479184 [startup+762.307 s] /proc/loadavg: 8.13 8.06 8.01 9/184 2419 /proc/meminfo: memFree=30044352/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=491864 CPUtime=3045.06 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 357739 0 0 0 304357 149 0 0 25 0 4 0 252607368 503668736 81907 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364796 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 122966 81907 392 112 0 117931 0 [pid=2395/tid=2396] ppid=2393 vsize=491864 CPUtime=758.14 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 86253 0 0 0 75779 35 0 0 25 0 4 0 252607368 503668736 81907 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=491864 CPUtime=762.31 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 97811 0 0 0 76189 42 0 0 25 0 4 0 252607368 503668736 81907 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=491864 CPUtime=762.27 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 87921 0 0 0 76192 35 0 0 25 0 4 0 252607368 503668736 81907 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3045.06 Current children cumulated vsize (KiB) 491864 [startup+822.3 s] /proc/loadavg: 8.12 8.06 8.01 9/184 2421 /proc/meminfo: memFree=30013300/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=491776 CPUtime=3284.71 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 371679 0 0 0 328314 157 0 0 25 0 4 0 252607368 503578624 82905 33554432000 4194304 4650419 140737011318416 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 122944 82905 392 112 0 117909 0 [pid=2395/tid=2396] ppid=2393 vsize=491776 CPUtime=817.81 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 90798 0 0 0 81744 37 0 0 25 0 4 0 252607368 503578624 82905 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=491776 CPUtime=822.3 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 103374 0 0 0 82185 45 0 0 25 0 4 0 252607368 503578624 82905 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=491776 CPUtime=822.26 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 89985 0 0 0 82190 36 0 0 25 0 4 0 252607368 503578624 82905 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3284.71 Current children cumulated vsize (KiB) 491776 [startup+882.301 s] /proc/loadavg: 8.11 8.07 8.01 9/184 2423 /proc/meminfo: memFree=30016944/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=479032 CPUtime=3524.38 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 379942 0 0 0 352276 162 0 0 25 0 4 0 252607368 490528768 85572 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 119758 85572 392 112 0 114723 0 [pid=2395/tid=2396] ppid=2393 vsize=479032 CPUtime=877.48 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 94889 0 0 0 87708 40 0 0 25 0 4 0 252607368 490528768 85572 33554432000 4194304 4650419 140737011318416 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=479032 CPUtime=882.3 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 106660 0 0 0 88183 47 0 0 25 0 4 0 252607368 490528768 85572 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=479032 CPUtime=882.26 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 90871 0 0 0 88189 37 0 0 25 0 4 0 252607368 490528768 85572 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3524.38 Current children cumulated vsize (KiB) 479032 [startup+942.3 s] /proc/loadavg: 8.04 8.05 8.00 9/184 2424 /proc/meminfo: memFree=29983632/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=491956 CPUtime=3764.07 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 388909 0 0 0 376239 168 0 0 25 0 4 0 252607368 503762944 86336 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 122989 86337 392 112 0 117954 0 [pid=2395/tid=2396] ppid=2393 vsize=491956 CPUtime=937.16 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 98743 0 0 0 93674 42 0 0 25 0 4 0 252607368 503762944 86337 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=491956 CPUtime=942.31 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 109495 0 0 0 94181 50 0 0 25 0 4 0 252607368 503762944 86337 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=491956 CPUtime=942.26 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 91345 0 0 0 94188 38 0 0 25 0 4 0 252607368 503762944 86337 33554432000 4194304 4650419 140737011318416 18446744073709551615 4426561 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3764.07 Current children cumulated vsize (KiB) 491956 [startup+1002.3 s] /proc/loadavg: 8.15 8.07 8.01 9/184 2426 /proc/meminfo: memFree=29954692/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=492068 CPUtime=4003.74 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 397797 0 0 0 400199 175 0 0 25 0 4 0 252607368 503877632 85880 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 123017 85880 392 112 0 117982 0 [pid=2395/tid=2396] ppid=2393 vsize=492068 CPUtime=996.84 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 98817 0 0 0 99642 42 0 0 25 0 4 0 252607368 503877632 85880 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=492068 CPUtime=1002.31 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 114305 0 0 0 100177 54 0 0 25 0 4 0 252607368 503877632 85880 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=492068 CPUtime=1002.26 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 91409 0 0 0 100188 38 0 0 25 0 4 0 252607368 503877632 85880 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4003.74 Current children cumulated vsize (KiB) 492068 [startup+1062.3 s] /proc/loadavg: 8.19 8.09 8.01 9/184 2427 /proc/meminfo: memFree=29963684/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=492128 CPUtime=4243.41 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 403997 0 0 0 424161 180 0 0 25 0 4 0 252607368 503939072 89128 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 123032 89128 392 112 0 117997 0 [pid=2395/tid=2396] ppid=2393 vsize=492128 CPUtime=1056.51 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 98817 0 0 0 105609 42 0 0 25 0 4 0 252607368 503939072 89128 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=492128 CPUtime=1062.31 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 118158 0 0 0 106173 58 0 0 25 0 4 0 252607368 503939072 89128 33554432000 4194304 4650419 140737011318416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=492128 CPUtime=1062.26 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 91409 0 0 0 106188 38 0 0 25 0 4 0 252607368 503939072 89128 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4243.41 Current children cumulated vsize (KiB) 492128 [startup+1122.3 s] /proc/loadavg: 8.19 8.10 8.02 9/184 2429 /proc/meminfo: memFree=29962280/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=505984 CPUtime=4483.09 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 412921 0 0 0 448123 186 0 0 25 0 4 0 252607368 518127616 89466 33554432000 4194304 4650419 140737011318416 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 126496 89467 392 112 0 121461 0 [pid=2395/tid=2396] ppid=2393 vsize=505984 CPUtime=1116.18 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 99454 0 0 0 111576 42 0 0 25 0 4 0 252607368 518127616 89467 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=505984 CPUtime=1122.31 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 122028 0 0 0 112171 60 0 0 25 0 4 0 252607368 518127616 89467 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=505984 CPUtime=1122.26 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 92471 0 0 0 112188 38 0 0 25 0 4 0 252607368 518127616 89467 33554432000 4194304 4650419 140737011318416 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4483.09 Current children cumulated vsize (KiB) 505984 [startup+1182.3 s] /proc/loadavg: 8.18 8.11 8.02 9/184 2433 /proc/meminfo: memFree=29943620/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=505984 CPUtime=4722.76 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 420666 0 0 0 472085 191 0 0 25 0 4 0 252607368 518127616 94042 33554432000 4194304 4650419 140737011318416 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 126496 94042 392 112 0 121461 0 [pid=2395/tid=2396] ppid=2393 vsize=505984 CPUtime=1175.86 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 104770 0 0 0 117540 46 0 0 25 0 4 0 252607368 518127616 94042 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=505984 CPUtime=1182.32 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 122028 0 0 0 118172 60 0 0 25 0 4 0 252607368 518127616 94042 33554432000 4194304 4650419 140737011318416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=505984 CPUtime=1182.26 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 94258 0 0 0 118186 40 0 0 25 0 4 0 252607368 518127616 94042 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4722.76 Current children cumulated vsize (KiB) 505984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.48 8.18 8.05 5/179 2435 /proc/meminfo: memFree=30286348/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=505984 CPUtime=4800.37 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 423937 0 0 0 479844 193 0 0 25 0 4 0 252607368 518127616 94065 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 126496 94065 392 112 0 121461 0 [pid=2395/tid=2396] ppid=2393 vsize=505984 CPUtime=1195.35 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 105117 0 0 0 119489 46 0 0 25 0 4 0 252607368 518127616 94065 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=505984 CPUtime=1201.92 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 122988 0 0 0 120132 60 0 0 25 0 4 0 252607368 518127616 94065 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=505984 CPUtime=1201.17 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 94495 0 0 0 120077 40 0 0 25 0 4 0 252607368 518127616 94065 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.37 Current children cumulated vsize (KiB) 505984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.9 s] /proc/loadavg: 8.48 8.18 8.05 5/179 2435 /proc/meminfo: memFree=30286348/32951124 swapFree=67111524/67111528 [pid=2395] ppid=2393 vsize=505984 CPUtime=4800.37 cores=1,3,5,7 /proc/2395/stat : 2395 (strangenight1-m) R 2393 2395 2145 0 -1 4202496 423937 0 0 0 479844 193 0 0 25 0 4 0 252607368 518127616 94065 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2395/statm: 126496 94065 392 112 0 121461 0 [pid=2395/tid=2396] ppid=2393 vsize=505984 CPUtime=1195.35 cores=1,3,5,7 /proc/2395/task/2396/stat : 2396 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 105117 0 0 0 119489 46 0 0 25 0 4 0 252607368 518127616 94065 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2395/tid=2397] ppid=2393 vsize=505984 CPUtime=1201.92 cores=1,3,5,7 /proc/2395/task/2397/stat : 2397 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 122988 0 0 0 120132 60 0 0 25 0 4 0 252607368 518127616 94065 33554432000 4194304 4650419 140737011318416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2395/tid=2398] ppid=2393 vsize=505984 CPUtime=1201.17 cores=1,3,5,7 /proc/2395/task/2398/stat : 2398 (strangenight1-m) R 2393 2395 2145 0 -1 4202560 94495 0 0 0 120077 40 0 0 25 0 4 0 252607368 518127616 94065 33554432000 4194304 4650419 140737011318416 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.37 Current children cumulated vsize (KiB) 505984 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.93 CPU time (s): 4800.43 CPU user time (s): 4798.47 CPU system time (s): 1.9527 CPU usage (%): 399.393 Max. virtual memory (cumulated for all children) (KiB): 557704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.47 system time used= 1.9527 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 423938 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= 412 involuntary context switches= 20735 runsolver used 1.72474 second user time and 4.85226 second system time The end
Begin job on node107 at 2011-04-29 15:36:01 IDJOB=3175090 IDBENCH=82708 IDSOLVER=1588 FILE ID=node107/3175090-1304084161 RUNJOBID= node107-1304081753-2164 PBS_JOBID= 13170536 Free space on /tmp= 71796 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175090-1304084161/watcher-3175090-1304084161 -o /tmp/evaluation-result-3175090-1304084161/solver-3175090-1304084161 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175090-1304084161.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 68db236c1470208d12f1f4e80de80849 RANDOM SEED=1189050817 node107.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.829 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.829 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.829 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.67 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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 : 5359.47 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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30663040 kB Buffers: 634572 kB Cached: 1222184 kB SwapCached: 4 kB Active: 130804 kB Inactive: 1794168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30663040 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 12412 kB Writeback: 4 kB AnonPages: 67956 kB Mapped: 15136 kB Slab: 300896 kB PageTables: 4552 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 270000 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= 71796 MiB End job on node107 at 2011-04-29 15:56:05