| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.46 | 1201.73 |
| Name | random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf |
| MD5SUM | 91ecb427720c901d7e357cfd52fa252a |
| 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-3175119-1304089238.cnf' 0.00/0.00 c -- header says num vars: 70 0.00/0.00 c -- header says num clauses: 6230 0.00/0.01 c -- clauses added: 0 learnts, 6230 normals, 0 xors 0.00/0.01 c -- vars added 70 0.00/0.01 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 70 6230 0 0 43610 0 no data no data -- 3.18/0.80 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 0.55 3.18/0.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 3.18/0.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.18/0.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.18/0.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 3.18/0.80 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.18/0.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 3.18/0.80 c Finding binary XORs T: 0.00 s found: 0 3.18/0.80 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 3.18/0.80 c calculated reachability. Time: 0.00 3.18/0.80 c Calc default polars - time: 0.00 s pos: 34 undec: 1 neg: 35 3.18/0.80 c ========================================================================================= 3.18/0.80 c types(t): F = full restart, N = normal restart 3.18/0.80 c types(t): S = simplification begin/end, E = solution found 3.18/0.80 c restart types(rt): st = static, dy = dynamic 3.18/0.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.18/0.80 c B st 0 0 70 6230 0 0 43610 0 no data no data -- 3.18/0.80 c N dy 8 5851 70 6230 0 3026 43610 66689 20.74 21.91 -- 3.18/0.80 c N dy 21 10005 70 6230 0 6782 43610 158403 21.02 22.13 -- 3.18/0.80 c N dy 31 15270 70 6230 0 7701 43610 168493 20.92 22.12 -- 3.57/0.90 c N dy 36 19296 70 6230 0 6268 43610 122750 20.72 22.24 -- 4.77/1.20 c F st 45 25001 70 6230 0 11429 43610 246800 20.65 18.36 -- 4.77/1.20 c N st 45 25001 70 6230 0 11429 43610 246800 20.65 18.36 -- 5.57/1.40 c N dy 51 30000 70 6230 0 9811 43610 196727 20.65 no data -- 5.57/1.40 c S st 51 30000 70 6230 0 9811 43610 196727 20.65 no data -- 5.57/1.40 c S st 51 30504 70 6230 0 10261 43610 207922 20.65 no data -- 5.57/1.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.57/1.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.57/1.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 5.57/1.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.57/1.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.57/1.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 5.57/1.40 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.16/2.37 c lits-rem: 1528 cl-subs: 866 v-elim: 0 v-fix: 0 time: 3.91 s 10.36/2.67 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 1.20 10.36/2.67 c calculated reachability. Time: 0.00 10.36/2.67 c N dy 51 30504 70 6230 0 9395 43610 184722 20.65 no data -- 11.56/2.91 c N dy 77 34573 70 6230 0 13097 43610 275328 20.82 21.94 -- 13.55/3.49 c N dy 88 45758 70 6230 0 16057 43610 332410 20.67 20.12 -- 13.55/3.49 c S st 88 45758 70 6230 0 16057 43610 332410 20.67 20.12 -- 13.95/3.54 c S st 88 46260 70 6230 0 8442 43610 137920 20.67 no data -- 13.95/3.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.95/3.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.95/3.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.95/3.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.95/3.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.95/3.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 13.95/3.55 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 17.17/4.40 c lits-rem: 148 cl-subs: 43 v-elim: 0 v-fix: 0 time: 3.40 s 17.17/4.40 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 17.17/4.40 c vivif2 -- cl tried 8399 cl shrink 0 lits rem 0 time: 0.00 18.35/4.65 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 0.99 18.35/4.65 c calculated reachability. Time: 0.00 18.35/4.65 c N dy 88 46260 70 6230 0 8399 43610 136542 20.67 no data -- 19.15/4.86 c N dy 105 50354 70 6230 0 12106 43610 226151 20.71 22.57 -- 20.35/5.15 c N dy 115 55127 70 6230 0 16425 43610 328921 20.66 21.81 -- 21.15/5.40 c N dy 127 59175 70 6230 0 11042 43610 189505 20.70 22.94 -- 22.34/5.63 c N dy 137 63193 70 6230 0 14692 43610 277349 20.70 22.76 -- 23.94/6.07 c N dy 151 69391 70 6230 0 10393 43610 160348 20.68 18.42 -- 23.94/6.07 c S st 151 69391 70 6230 0 10393 43610 160348 20.68 18.42 -- 24.34/6.10 c S st 151 69892 70 6230 0 10860 43610 172018 20.68 no data -- 24.34/6.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 24.34/6.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 24.34/6.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 24.34/6.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 24.34/6.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 24.34/6.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 24.34/6.11 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 27.53/6.96 c lits-rem: 215 cl-subs: 181 v-elim: 0 v-fix: 0 time: 3.39 s 27.53/6.96 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 27.53/6.96 c vivif2 -- cl tried 10679 cl shrink 0 lits rem 0 time: 0.00 28.74/7.25 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 1.17 28.74/7.26 c calculated reachability. Time: 0.00 28.74/7.26 c N dy 151 69892 70 6230 0 10679 43610 167427 20.68 no data -- 30.35/7.61 c N dy 160 76187 70 6230 0 16375 43610 304765 20.63 21.81 -- 31.53/7.95 c N dy 168 81075 70 6230 0 20802 43610 411370 20.61 21.73 -- 33.12/8.30 c N dy 170 86583 70 6230 0 14912 43610 256792 20.54 21.63 -- 33.12/8.37 c F st 180 87502 70 6230 0 15756 43610 278353 20.58 no data -- 34.75/8.72 c N dy 186 92696 70 6230 0 20483 43610 394876 20.58 no data -- 37.53/9.47 c N dy 227 102696 70 6230 0 17762 43610 313679 20.64 21.83 -- 38.33/9.64 c S st 236 104838 70 6230 0 19706 43610 360522 20.64 19.79 -- 38.33/9.69 c S st 236 105338 70 6230 0 20162 43610 371720 20.64 no data -- 38.33/9.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 38.33/9.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.73/9.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 38.73/9.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 38.73/9.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 38.73/9.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 38.73/9.71 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 45.11/11.39 c lits-rem: 1748 cl-subs: 1897 v-elim: 0 v-fix: 0 time: 6.71 s 45.11/11.39 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 45.51/11.40 c vivif2 -- cl tried 18265 cl shrink 0 lits rem 0 time: 0.02 46.71/11.77 c asymm cl-useful: 0/4878/6230 lits-rem:0 time: 1.49 46.71/11.77 c calculated reachability. Time: 0.00 46.71/11.77 c N dy 236 105338 70 6230 0 18265 43610 323683 20.64 no data -- 51.11/12.84 c N dy 255 121090 70 6230 0 19799 43610 346299 20.52 21.61 -- 54.31/13.66 c N dy 272 131294 70 6230 0 15554 43610 236474 20.47 21.78 -- 57.50/14.41 c N dy 312 141200 70 6230 0 24525 43610 452802 20.50 21.63 -- 62.30/15.61 c N dy 316 158008 70 6230 0 25170 43610 450808 20.30 19.05 -- 62.30/15.61 c S st 316 158008 70 6230 0 25170 43610 450808 20.30 19.05 -- 62.30/15.68 c S st 316 158511 70 6230 0 25632 43610 462306 20.30 no data -- 62.30/15.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 62.30/15.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 62.30/15.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 62.70/15.70 c bin-w-bin subsume rem 0 bins time: 0.00 s 62.70/15.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 62.70/15.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 62.70/15.70 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 71.08/17.85 c lits-rem: 2107 cl-subs: 2874 v-elim: 0 v-fix: 0 time: 8.58 s 71.08/17.85 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 71.08/17.86 c vivif2 -- cl tried 22758 cl shrink 0 lits rem 0 time: 0.02 71.88/18.01 c asymm cl-useful: 0/1352/6230 lits-rem:0 time: 0.63 71.88/18.01 c calculated reachability. Time: 0.00 71.88/18.01 c N dy 316 158511 70 6230 0 22758 43610 397475 20.30 no data -- 76.28/19.15 c N dy 385 169536 70 6230 0 17615 43610 260907 20.37 21.47 -- 80.28/20.10 c N dy 393 181575 70 6230 0 28373 43610 508598 20.28 21.47 -- 84.27/21.15 c N dy 450 193364 70 6230 0 22979 43610 378870 20.32 21.40 -- 93.84/23.58 c N dy 512 218891 70 6230 0 28770 43610 494754 20.21 21.37 -- 100.25/25.10 c N dy 588 233264 70 6230 0 23871 43610 376768 20.28 21.37 -- 101.84/25.53 c S st 611 237766 70 6230 0 27947 43610 475442 20.29 18.75 -- 102.24/25.61 c S st 611 238270 70 6230 0 28416 43610 486940 20.29 no data -- 102.24/25.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 102.24/25.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 102.24/25.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 102.24/25.63 c bin-w-bin subsume rem 0 bins time: 0.00 s 102.24/25.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 102.24/25.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 102.24/25.63 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 111.42/27.97 c lits-rem: 1731 cl-subs: 2016 v-elim: 0 v-fix: 0 time: 9.35 s 111.42/27.97 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 111.42/27.98 c vivif2 -- cl tried 26400 cl shrink 0 lits rem 0 time: 0.02 113.03/28.37 c asymm cl-useful: 0/3655/6230 lits-rem:0 time: 1.57 113.03/28.37 c calculated reachability. Time: 0.00 113.03/28.37 c N dy 611 238270 70 6230 0 26400 43610 433944 20.29 no data -- 119.81/30.04 c N dy 673 254249 70 6230 0 21981 43610 314731 20.32 21.42 -- 126.61/31.73 c N dy 734 270535 70 6230 0 36771 43610 669824 20.35 21.47 -- 134.60/33.79 c N dy 829 289514 70 6230 0 34048 43610 592024 20.41 21.52 -- 142.19/35.69 c F st 894 306250 70 6230 0 28396 43610 440712 20.42 18.27 -- 142.99/35.88 c N st 898 308282 70 6230 0 30228 43610 485645 20.42 no data -- 153.79/38.55 c N dy 998 331452 70 6230 0 29437 43610 454302 20.45 21.82 -- 164.96/41.30 c N dy 1047 356047 70 6230 0 29001 43610 429917 20.43 21.52 -- 165.36/41.45 c S st 1056 357406 70 6230 0 30224 43610 459566 20.43 no data -- 165.76/41.52 c S st 1056 357906 70 6230 0 30692 43610 471184 20.43 no data -- 165.76/41.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 165.76/41.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 165.76/41.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 165.76/41.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 165.76/41.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 165.76/41.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 165.76/41.55 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 174.95/43.83 c lits-rem: 1342 cl-subs: 2127 v-elim: 0 v-fix: 0 time: 9.13 s 174.95/43.83 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 174.95/43.84 c vivif2 -- cl tried 28565 cl shrink 0 lits rem 0 time: 0.02 176.95/44.36 c asymm cl-useful: 0/2575/6230 lits-rem:0 time: 2.08 176.95/44.36 c calculated reachability. Time: 0.00 176.95/44.36 c N dy 1056 357906 70 6230 0 28565 43610 420550 20.43 no data -- 188.96/47.36 c N dy 1101 378101 70 6230 0 23462 43610 286766 20.41 21.64 -- 203.71/51.10 c N dy 1173 408118 70 6230 0 26217 43610 336523 20.38 21.53 -- 214.09/53.61 c N dy 1263 428155 70 6230 0 44355 43610 772632 20.39 21.80 -- 224.48/56.22 c N dy 1335 448692 70 6230 0 37673 43610 600230 20.39 21.59 -- 237.67/59.53 c N dy 1435 471751 70 6230 0 32308 43610 454924 20.40 21.50 -- 250.07/62.63 c N dy 1492 495107 70 6230 0 53358 43610 954603 20.38 21.56 -- 262.04/65.61 c N dy 1603 517396 70 6230 0 46496 43610 792323 20.42 21.50 -- 272.82/68.33 c S st 1668 536860 70 6230 0 36059 43610 525693 20.41 no data -- 273.22/68.42 c S st 1668 537366 70 6230 0 36529 43610 537457 20.41 no data -- 273.22/68.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 273.22/68.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 273.22/68.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 273.22/68.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 273.22/68.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 273.22/68.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 273.22/68.45 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 282.81/70.84 c lits-rem: 801 cl-subs: 1693 v-elim: 0 v-fix: 0 time: 9.53 s 282.81/70.84 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 282.81/70.85 c vivif2 -- cl tried 34836 cl shrink 0 lits rem 0 time: 0.02 283.61/71.04 c asymm cl-useful: 0/1561/6230 lits-rem:0 time: 0.79 283.61/71.05 c calculated reachability. Time: 0.00 283.61/71.05 c N dy 1668 537366 70 6230 0 34836 43610 492997 20.41 no data -- 299.19/74.96 c N dy 1716 566796 70 6230 0 32426 43610 421358 20.34 21.71 -- 309.98/77.65 c N dy 1765 586880 70 6230 0 50517 43610 852665 20.34 21.99 -- 325.95/81.64 c N dy 1861 614294 70 6230 0 45584 43610 730769 20.35 21.43 -- 341.55/85.57 c N dy 1995 634344 70 6230 0 33107 43610 413544 20.39 23.68 -- 354.72/88.89 c N dy 2106 654420 70 6230 0 51302 43610 856285 20.42 22.01 -- 367.51/92.03 c N dy 2125 674660 70 6230 0 37830 43610 509347 20.38 21.50 -- 380.69/95.30 c N dy 2231 694671 70 6230 0 55882 43610 947941 20.40 22.82 -- 397.86/99.62 c N dy 2352 717656 70 6230 0 44176 43610 653204 20.43 21.61 -- 415.04/103.92 c N dy 2486 737718 70 6230 0 62408 43610 1100817 20.46 21.74 -- 430.24/107.71 c N dy 2550 761048 70 6230 0 49938 43610 773942 20.46 21.56 -- 448.60/112.38 c N dy 2709 781063 70 6230 0 68010 43610 1219314 20.50 23.51 -- 461.40/115.52 c N dy 2805 801291 70 6230 0 51997 43610 817537 20.51 21.67 -- 464.98/116.40 c S st 2825 806049 70 6230 0 56332 43610 923211 20.52 21.14 -- 465.40/116.56 c S st 2825 806550 70 6230 0 56800 43610 934851 20.52 no data -- 465.40/116.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 465.40/116.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 465.40/116.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.10 465.80/116.61 c bin-w-bin subsume rem 0 bins time: 0.00 s 465.80/116.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 465.80/116.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 465.80/116.61 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 504.94/126.41 c lits-rem: 2810 cl-subs: 4642 v-elim: 0 v-fix: 0 time: 39.12 s 504.94/126.41 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 504.94/126.42 c vivif2 -- cl tried 52158 cl shrink 0 lits rem 0 time: 0.04 506.13/126.73 c asymm cl-useful: 0/950/6230 lits-rem:0 time: 1.25 506.13/126.74 c calculated reachability. Time: 0.00 506.13/126.74 c N dy 2825 806550 70 6230 0 52158 43610 816671 20.52 no data -- 523.70/131.14 c N dy 2903 826591 70 6230 0 35243 43610 399416 20.53 21.65 -- 535.28/134.01 c N dy 2907 849334 70 6230 0 55443 43610 860114 20.46 21.73 -- 550.07/137.78 c N dy 2923 869399 70 6230 0 37649 43610 447325 20.43 21.85 -- 560.85/140.46 c N dy 2949 889532 70 6230 0 55623 43610 873816 20.39 21.53 -- 584.04/146.27 c N dy 3036 919112 70 6230 0 45475 43610 616937 20.39 21.54 -- 600.80/150.49 c N dy 3181 939251 70 6230 0 63754 43610 1066885 20.42 21.63 -- 621.17/155.56 c N dy 3319 961207 70 6230 0 45827 43610 618449 20.45 21.61 -- 637.95/159.74 c N dy 3436 981256 70 6230 0 63984 43610 1063393 20.47 23.41 -- 656.32/164.33 c N dy 3511 1001454 70 6230 0 43443 43610 545513 20.48 21.81 -- 671.11/168.09 c N dy 3618 1021709 70 6230 0 61791 43610 994147 20.50 21.76 -- 691.09/173.08 c N dy 3684 1044503 70 6230 0 42547 43610 508491 20.49 21.68 -- 705.87/176.79 c N dy 3781 1064592 70 6230 0 60798 43610 954645 20.51 24.80 -- 713.45/178.66 c F st 3845 1071875 70 6230 0 67409 43610 1119962 20.52 no data -- 747.03/187.02 c N dy 3888 1116442 70 6230 0 66482 43610 1041339 20.45 21.76 -- 770.98/193.02 c N dy 3998 1138734 70 6230 0 45310 43610 551758 20.47 21.57 -- 789.75/197.72 c N dy 4073 1160298 70 6230 0 64718 43610 1016524 20.47 21.55 -- 836.09/209.37 c N dy 4129 1209825 70 6230 0 66632 43610 1028632 20.42 17.54 -- 836.09/209.37 c S st 4129 1209825 70 6230 0 66632 43610 1028632 20.42 17.54 -- 837.29/209.66 c S st 4129 1210330 70 6230 0 67101 43610 1040136 20.42 no data -- 837.29/209.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 837.29/209.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 837.69/209.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.17 837.69/209.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 837.69/209.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 837.69/209.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 837.69/209.74 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 906.00/226.89 c lits-rem: 1748 cl-subs: 8141 v-elim: 0 v-fix: 0 time: 68.47 s 906.00/226.89 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 906.40/226.90 c vivif2 -- cl tried 58960 cl shrink 0 lits rem 0 time: 0.05 907.60/227.26 c asymm cl-useful: 0/793/6230 lits-rem:0 time: 1.42 907.60/227.26 c calculated reachability. Time: 0.00 907.60/227.26 c N dy 4129 1210330 70 6230 0 58960 43610 865931 20.42 no data -- 929.57/232.72 c N dy 4243 1230417 70 6230 0 77115 43610 1310828 20.43 22.19 -- 948.35/237.42 c N dy 4303 1251228 70 6230 0 53190 43610 713974 20.43 21.52 -- 968.31/242.47 c N dy 4330 1279679 70 6230 0 78500 43610 1303484 20.40 21.49 -- 990.68/248.09 c N dy 4398 1300941 70 6230 0 54076 43610 727568 20.40 21.64 -- 1011.86/253.36 c N dy 4502 1321060 70 6230 0 72263 43610 1168869 20.41 21.61 -- 1041.04/260.62 c N dy 4603 1341318 70 6230 0 45653 43610 508740 20.41 21.49 -- 1071.80/268.35 c N dy 4722 1375581 70 6230 0 76478 43610 1246414 20.40 21.57 -- 1096.94/274.65 c N dy 4846 1395585 70 6230 0 48738 43610 570114 20.42 24.70 -- 1114.12/278.93 c N dy 4946 1415595 70 6230 0 66837 43610 1010084 20.43 22.76 -- 1137.29/284.75 c N dy 5058 1435653 70 6230 0 84921 43610 1449699 20.44 23.89 -- 1156.06/289.46 c N dy 5081 1457782 70 6230 0 57914 43610 770158 20.42 21.58 -- 1178.83/295.15 c N dy 5212 1480079 70 6230 0 78074 43610 1262310 20.44 21.55 -- 1209.19/302.78 c N dy 5315 1506073 70 6230 0 53624 43610 652458 20.44 21.52 -- 1229.57/307.87 c N dy 5436 1528046 70 6230 0 73568 43610 1141488 20.45 21.53 -- 1254.34/314.07 c N dy 5543 1548143 70 6230 0 91756 43610 1586360 20.46 22.04 -- 1275.51/319.33 c N dy 5642 1568213 70 6230 0 61134 43610 829219 20.47 22.18 -- 1300.69/325.66 c N dy 5763 1592805 70 6230 0 83308 43610 1369835 20.49 21.64 -- 1326.24/332.05 c N dy 5828 1614803 70 6230 0 53508 43610 631799 20.49 21.57 -- 1343.82/336.45 c N dy 5921 1634826 70 6230 0 71613 43610 1071828 20.49 23.15 -- 1366.21/342.04 c N dy 6000 1655049 70 6230 0 89905 43610 1514740 20.50 21.62 -- 1399.35/350.36 c N dy 6126 1679853 70 6230 0 61658 43610 814718 20.51 21.64 -- 1426.51/357.10 c N dy 6193 1702522 70 6230 0 81973 43610 1305251 20.51 21.60 -- 1438.50/360.16 c S st 6234 1710330 70 6230 0 89027 43610 1477783 20.51 20.77 -- 1440.10/360.51 c S st 6234 1710830 70 6230 0 89479 43610 1489111 20.51 no data -- 1440.10/360.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1440.10/360.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1440.10/360.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.23 1440.50/360.63 c bin-w-bin subsume rem 0 bins time: 0.00 s 1440.50/360.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1440.50/360.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 1440.50/360.63 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1647.43/412.49 c lits-rem: 6863 cl-subs: 9124 v-elim: 0 v-fix: 0 time: 207.12 s 1647.43/412.49 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 1647.83/412.51 c vivif2 -- cl tried 80355 cl shrink 0 lits rem 0 time: 0.07 1649.41/412.92 c asymm cl-useful: 0/565/6230 lits-rem:0 time: 1.63 1649.41/412.92 c calculated reachability. Time: 0.00 1649.41/412.92 c N dy 6234 1710830 70 6230 0 80355 43610 1262481 20.51 no data -- 1681.76/421.02 c N dy 6353 1731693 70 6230 0 99233 43610 1727815 20.53 21.65 -- 1700.56/425.77 c N dy 6369 1752918 70 6230 0 67344 43610 942086 20.51 21.61 -- 1726.53/432.29 c N dy 6413 1777617 70 6230 0 89384 43610 1461367 20.50 21.64 -- 1756.07/439.62 c N dy 6489 1797704 70 6230 0 55539 43610 651572 20.50 22.31 -- 1776.04/444.65 c N dy 6519 1820482 70 6230 0 75856 43610 1127684 20.48 21.64 -- 1799.21/450.44 c N dy 6586 1840560 70 6230 0 93929 43610 1564479 20.48 22.58 -- 1827.99/457.64 c N dy 6729 1861271 70 6230 0 59828 43610 743589 20.50 21.79 -- 1851.94/463.67 c N dy 6829 1886190 70 6230 0 82316 43610 1288401 20.50 21.61 -- 1881.50/471.04 c N dy 6962 1906224 70 6230 0 100499 43610 1737490 20.52 22.35 -- 1905.87/477.18 c N dy 7046 1926246 70 6230 0 64526 43610 837312 20.52 23.28 -- 1928.66/482.81 c N dy 7178 1946263 70 6230 0 82599 43610 1285669 20.53 21.67 -- 1954.61/489.34 c N dy 7252 1966308 70 6230 0 100660 43610 1719154 20.53 23.06 -- 1982.97/496.49 c N dy 7390 1986386 70 6230 0 63866 43610 812114 20.55 22.44 -- 2003.35/501.58 c N dy 7469 2006803 70 6230 0 82277 43610 1262827 20.55 21.65 -- 2034.52/509.35 c N dy 7563 2030036 70 6230 0 103240 43610 1771866 20.56 21.72 -- 2066.45/517.37 c N dy 7641 2061494 70 6230 0 75591 43610 1077705 20.55 21.76 -- 2092.42/523.83 c N dy 7757 2081555 70 6230 0 93700 43610 1524031 20.56 23.53 -- 2122.78/531.47 c N dy 7859 2101568 70 6230 0 111731 43610 1965651 20.57 22.61 -- 2147.15/537.50 c N dy 7928 2126289 70 6230 0 77178 43610 1103087 20.57 21.70 -- 2191.89/548.79 c N dy 8047 2164094 70 6230 0 111099 43610 1926251 20.57 21.73 -- 2227.04/557.53 c N dy 8114 2198229 70 6230 0 83969 43610 1237814 20.55 21.86 -- 2243.82/561.79 c S st 8178 2210831 70 6230 0 95333 43610 1515643 20.56 21.52 -- 2245.04/562.07 c S st 8178 2211334 70 6230 0 95797 43610 1527289 20.56 no data -- 2245.04/562.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2245.04/562.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2245.44/562.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.18 2245.44/562.17 c bin-w-bin subsume rem 0 bins time: 0.00 s 2245.44/562.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2245.44/562.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 2245.44/562.17 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2451.56/613.78 c lits-rem: 4591 cl-subs: 11075 v-elim: 0 v-fix: 0 time: 206.11 s 2451.56/613.78 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 2451.56/613.80 c vivif2 -- cl tried 84722 cl shrink 0 lits rem 0 time: 0.08 2453.94/614.33 c asymm cl-useful: 0/516/6230 lits-rem:0 time: 2.13 2453.94/614.33 c calculated reachability. Time: 0.00 2453.94/614.33 c N dy 8178 2211334 70 6230 0 84722 43610 1269872 20.56 no data -- 2494.28/624.45 c N dy 8244 2231342 70 6230 0 102649 43610 1698902 20.55 21.65 -- 2537.42/635.22 c N dy 8327 2251501 70 6230 0 63007 43610 742682 20.56 21.68 -- 2566.97/642.67 c N dy 8431 2271564 70 6230 0 81067 43610 1183968 20.56 23.45 -- 2602.53/651.51 c N dy 8539 2291577 70 6230 0 99158 43610 1629204 20.57 23.12 -- 2643.28/661.75 c N dy 8618 2312257 70 6230 0 117775 43610 2079558 20.57 21.73 -- 2666.86/667.62 c N dy 8640 2332333 70 6230 0 76682 43610 1055726 20.57 23.00 -- 2704.40/677.02 c N dy 8761 2353679 70 6230 0 95963 43610 1530543 20.58 21.69 -- 2743.54/686.83 c N dy 8839 2373716 70 6230 0 113980 43610 1969043 20.58 22.42 -- 2778.70/695.66 c N dy 8930 2393790 70 6230 0 71901 43610 929461 20.58 21.76 -- 2817.04/705.28 c N dy 9070 2416063 70 6230 0 92069 43610 1426549 20.59 21.77 -- 2851.41/713.88 c N dy 9158 2436204 70 6230 0 110203 43610 1871203 20.60 21.72 -- 2887.35/722.82 c N dy 9181 2463065 70 6230 0 73048 43610 924082 20.58 21.80 -- 2912.11/729.08 c N dy 9262 2484286 70 6230 0 92158 43610 1391241 20.58 21.74 -- 2938.08/735.57 c N dy 9305 2504937 70 6230 0 110658 43610 1833035 20.58 21.75 -- 2972.03/744.08 c N dy 9420 2526144 70 6230 0 67813 43610 807574 20.58 21.74 -- 3001.60/751.43 c N dy 9441 2558734 70 6230 0 96815 43610 1487659 20.56 21.64 -- 3037.56/760.48 c N dy 9498 2583659 70 6230 0 119134 43610 2023686 20.55 21.69 -- 3073.50/769.43 c N dy 9632 2610467 70 6230 0 80512 43610 1101730 20.56 21.69 -- 3110.68/778.79 c N dy 9739 2638274 70 6230 0 105558 43610 1708040 20.56 21.68 -- 3146.24/787.63 c N dy 9835 2658308 70 6230 0 123580 43610 2144289 20.56 23.52 -- 3178.18/795.68 c N dy 9935 2686533 70 6230 0 85206 43610 1199522 20.56 21.68 -- 3202.96/801.85 c N dy 9989 2707024 70 6230 0 103507 43610 1635631 20.56 21.65 -- 3210.14/803.66 c S st 10015 2711336 70 6230 0 107424 43610 1731965 20.56 20.37 -- 3211.34/803.98 c S st 10015 2711839 70 6230 0 107891 43610 1743726 20.56 no data -- 3211.34/803.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3211.34/803.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3211.75/804.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.21 3211.75/804.09 c bin-w-bin subsume rem 0 bins time: 0.00 s 3211.75/804.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3211.75/804.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 3211.75/804.09 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3662.72/916.96 c lits-rem: 5298 cl-subs: 11541 v-elim: 0 v-fix: 0 time: 450.78 s 3662.72/916.96 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 3662.72/916.98 c vivif2 -- cl tried 96350 cl shrink 0 lits rem 0 time: 0.09 3664.74/917.49 c asymm cl-useful: 0/468/6230 lits-rem:0 time: 2.04 3665.12/917.50 c calculated reachability. Time: 0.00 3665.12/917.50 c N dy 10015 2711839 70 6230 0 96350 43610 1469440 20.56 no data -- 3711.47/929.17 c N dy 10101 2733669 70 6230 0 116014 43610 1946368 20.56 21.65 -- 3757.79/940.73 c N dy 10193 2755437 70 6230 0 71494 43610 863260 20.57 21.66 -- 3781.77/946.72 c N dy 10195 2777389 70 6230 0 90969 43610 1322582 20.55 21.76 -- 3816.52/955.44 c N dy 10225 2797397 70 6230 0 108702 43610 1735368 20.54 22.37 -- 3860.86/966.52 c N dy 10284 2820060 70 6230 0 128945 43610 2217590 20.54 21.81 -- 3894.82/975.05 c N dy 10406 2840600 70 6230 0 82510 43610 1124840 20.55 21.68 -- 3931.97/984.34 c N dy 10511 2860793 70 6230 0 100756 43610 1572292 20.55 21.70 -- 3983.10/997.19 c N dy 10660 2882281 70 6230 0 120197 43610 2053803 20.56 21.65 -- 4026.64/1008.02 c N dy 10745 2902380 70 6230 0 71896 43610 839586 20.56 23.68 -- 4060.99/1016.66 c N dy 10851 2924490 70 6230 0 91799 43610 1327811 20.57 21.68 -- 4106.93/1028.16 c N dy 10937 2948923 70 6230 0 113797 43610 1864885 20.57 21.68 -- 4158.46/1041.05 c N dy 11047 2969178 70 6230 0 131972 43610 2311797 20.58 21.72 -- 4190.42/1049.03 c N dy 11119 2989201 70 6230 0 82608 43610 1089090 20.58 22.38 -- 4227.96/1058.45 c N dy 11236 3009318 70 6230 0 100778 43610 1537463 20.59 21.68 -- 4275.12/1070.28 c N dy 11339 3031009 70 6230 0 120369 43610 2015439 20.59 21.73 -- 4323.04/1082.29 c N dy 11452 3051012 70 6230 0 70022 43610 768385 20.60 22.03 -- 4355.79/1090.42 c N dy 11560 3071407 70 6230 0 88455 43610 1222752 20.60 21.71 -- 4396.14/1100.59 c N dy 11670 3091504 70 6230 0 106493 43610 1665502 20.61 21.71 -- 4437.29/1110.85 c N dy 11756 3111602 70 6230 0 124599 43610 2108550 20.61 24.92 -- 4476.04/1120.52 c N dy 11804 3131651 70 6230 0 73273 43610 832942 20.61 23.05 -- 4508.01/1128.51 c N dy 11958 3151964 70 6230 0 91674 43610 1290756 20.62 21.75 -- 4543.16/1137.38 c N dy 12063 3172005 70 6230 0 109739 43610 1734358 20.63 21.88 -- 4585.49/1147.92 c N dy 12163 3192472 70 6230 0 128120 43610 2185936 20.63 21.74 -- 4624.63/1157.74 c S st 12241 3211839 70 6230 0 75348 43610 872523 20.63 20.33 -- 4625.44/1157.99 c S st 12241 3212345 70 6230 0 75818 43610 884287 20.63 no data -- 4625.84/1158.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4625.84/1158.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4625.84/1158.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.17 4625.84/1158.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 4625.84/1158.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4625.84/1158.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 4625.84/1158.07 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4689.74/1174.09 c lits-rem: 911 cl-subs: 1182 v-elim: 0 v-fix: 0 time: 63.98 s 4689.74/1174.09 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 4690.14/1174.10 c vivif2 -- cl tried 74636 cl shrink 0 lits rem 0 time: 0.05 4691.35/1174.41 c asymm cl-useful: 0/616/6230 lits-rem:0 time: 1.23 4691.35/1174.42 c calculated reachability. Time: 0.00 4691.35/1174.42 c N dy 12241 3212345 70 6230 0 74636 43610 853944 20.63 no data -- 4715.71/1180.51 c N dy 12336 3232421 70 6230 0 92763 43610 1299320 20.64 22.42 -- 4748.06/1188.67 c N dy 12426 3253602 70 6230 0 111887 43610 1762591 20.64 21.79 --
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-3175119-1304089238/watcher-3175119-1304089238 -o /tmp/evaluation-result-3175119-1304089238/solver-3175119-1304089238 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175119-1304089238.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 3.13 3.48 2/172 7519 /proc/meminfo: memFree=31384924/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 501339432 52465664 352 33554432000 4194304 4650419 140733958550848 18446744073709551615 47483920390056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 12809 352 303 112 0 7774 0 [pid=7519/tid=7520] ppid=7517 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 501339432 52465664 352 33554432000 4194304 4650419 140733958550848 18446744073709551615 47483920390060 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 501339432 52465664 352 33554432000 4194304 4650419 140733958550848 18446744073709551615 47483920390066 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 501339433 52465664 352 33554432000 4194304 4650419 140733958550848 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.095993 s] /proc/loadavg: 2.06 3.13 3.48 2/172 7519 /proc/meminfo: memFree=31384924/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=282336 CPUtime=0.36 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 1429 0 0 0 36 0 0 0 18 0 4 0 501339432 289112064 1348 33554432000 4194304 4650419 140733958550848 18446744073709551615 4229403 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 70584 1348 366 112 0 65549 0 [pid=7519/tid=7520] ppid=7517 vsize=282336 CPUtime=0.08 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 224 0 0 0 8 0 0 0 18 0 4 0 501339432 289112064 1348 33554432000 4194304 4650419 140733958550848 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=282336 CPUtime=0.09 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 221 0 0 0 9 0 0 0 18 0 4 0 501339432 289112064 1348 33554432000 4194304 4650419 140733958550848 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=282336 CPUtime=0.08 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 336 0 0 0 8 0 0 0 25 0 4 0 501339433 289112064 1348 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 282336 [startup+0.100989 s] /proc/loadavg: 2.06 3.13 3.48 2/172 7519 /proc/meminfo: memFree=31384924/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=282336 CPUtime=0.38 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 1434 0 0 0 38 0 0 0 18 0 4 0 501339432 289112064 1353 33554432000 4194304 4650419 140733958550848 18446744073709551615 4370537 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 70584 1353 366 112 0 65549 0 [pid=7519/tid=7520] ppid=7517 vsize=282336 CPUtime=0.09 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 224 0 0 0 9 0 0 0 18 0 4 0 501339432 289112064 1353 33554432000 4194304 4650419 140733958550848 18446744073709551615 4371140 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=282336 CPUtime=0.09 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 221 0 0 0 9 0 0 0 18 0 4 0 501339432 289112064 1353 33554432000 4194304 4650419 140733958550848 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=282336 CPUtime=0.08 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 341 0 0 0 8 0 0 0 25 0 4 0 501339433 289112064 1353 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 282336 [startup+0.300892 s] /proc/loadavg: 2.06 3.13 3.48 2/172 7519 /proc/meminfo: memFree=31384924/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=286156 CPUtime=1.17 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 3699 0 0 0 117 0 0 0 18 0 4 0 501339432 293023744 3165 33554432000 4194304 4650419 140733958550848 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 71539 3166 390 112 0 66504 0 [pid=7519/tid=7520] ppid=7517 vsize=286156 CPUtime=0.29 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 860 0 0 0 29 0 0 0 18 0 4 0 501339432 293023744 3166 33554432000 4194304 4650419 140733958550848 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=286156 CPUtime=0.29 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 855 0 0 0 29 0 0 0 18 0 4 0 501339432 293023744 3166 33554432000 4194304 4650419 140733958550848 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=286156 CPUtime=0.28 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 697 0 0 0 28 0 0 0 25 0 4 0 501339433 293023744 3166 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 286156 [startup+0.700813 s] /proc/loadavg: 2.06 3.13 3.48 2/172 7519 /proc/meminfo: memFree=31384924/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=288004 CPUtime=2.78 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 6071 0 0 0 277 1 0 0 18 0 4 0 501339432 294916096 3611 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 72001 3611 390 112 0 66966 0 [pid=7519/tid=7520] ppid=7517 vsize=288004 CPUtime=0.69 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 1459 0 0 0 69 0 0 0 18 0 4 0 501339432 294916096 3611 33554432000 4194304 4650419 140733958550848 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=288004 CPUtime=0.69 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 1416 0 0 0 69 0 0 0 18 0 4 0 501339432 294916096 3611 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=288004 CPUtime=0.68 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 1321 0 0 0 68 0 0 0 25 0 4 0 501339433 294916096 3611 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 288004 [startup+1.50066 s] /proc/loadavg: 2.29 3.16 3.49 9/184 7536 /proc/meminfo: memFree=31353448/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=295300 CPUtime=5.97 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 10831 0 0 0 596 1 0 0 20 0 4 0 501339432 302387200 5977 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 73825 5977 392 112 0 68790 0 [pid=7519/tid=7520] ppid=7517 vsize=295300 CPUtime=1.48 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 2374 0 0 0 148 0 0 0 20 0 4 0 501339432 302387200 5977 33554432000 4194304 4650419 140733958550848 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=295300 CPUtime=1.49 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 2304 0 0 0 149 0 0 0 20 0 4 0 501339432 302387200 5977 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=295300 CPUtime=1.48 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 2008 0 0 0 148 0 0 0 25 0 4 0 501339433 302387200 5977 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 295300 [startup+3.10034 s] /proc/loadavg: 2.29 3.16 3.49 9/184 7536 /proc/meminfo: memFree=31328524/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=294708 CPUtime=12.36 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 17716 0 0 0 1234 2 0 0 25 0 4 0 501339432 301780992 10275 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 73677 10275 392 112 0 68642 0 [pid=7519/tid=7520] ppid=7517 vsize=294708 CPUtime=3.08 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 3928 0 0 0 308 0 0 0 25 0 4 0 501339432 301780992 10275 33554432000 4194304 4650419 140733958550848 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=294708 CPUtime=3.09 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 4882 0 0 0 309 0 0 0 25 0 4 0 501339432 301780992 10275 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=294708 CPUtime=3.07 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 4567 0 0 0 307 0 0 0 25 0 4 0 501339433 301780992 10275 33554432000 4194304 4650419 140733958550848 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 294708 [startup+6.3007 s] /proc/loadavg: 2.75 3.24 3.51 9/184 7536 /proc/meminfo: memFree=31272896/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=295376 CPUtime=25.14 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 26210 0 0 0 2510 4 0 0 25 0 4 0 501339432 302465024 14581 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 73844 14581 392 112 0 68809 0 [pid=7519/tid=7520] ppid=7517 vsize=295376 CPUtime=6.29 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 6956 0 0 0 628 1 0 0 25 0 4 0 501339432 302465024 14581 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=295376 CPUtime=6.28 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 6605 0 0 0 628 0 0 0 25 0 4 0 501339432 302465024 14581 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=295376 CPUtime=6.26 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 6716 0 0 0 625 1 0 0 25 0 4 0 501339433 302465024 14581 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 295376 [startup+12.7004 s] /proc/loadavg: 3.17 3.32 3.54 9/184 7536 /proc/meminfo: memFree=31227248/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=288448 CPUtime=50.71 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 37415 0 0 0 5064 7 0 0 25 0 4 0 501339432 295370752 17793 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 72112 17793 392 112 0 67077 0 [pid=7519/tid=7520] ppid=7517 vsize=288448 CPUtime=12.69 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 9679 0 0 0 1267 2 0 0 25 0 4 0 501339432 295370752 17793 33554432000 4194304 4650419 140733958550848 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=288448 CPUtime=12.69 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 8941 0 0 0 1268 1 0 0 25 0 4 0 501339432 295370752 17793 33554432000 4194304 4650419 140733958550848 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=288448 CPUtime=12.62 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 10420 0 0 0 1261 1 0 0 25 0 4 0 501339433 295370752 17793 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 288448 [startup+25.5009 s] /proc/loadavg: 4.24 3.54 3.61 9/184 7546 /proc/meminfo: memFree=31165864/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=373848 CPUtime=101.84 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 57285 0 0 0 10171 13 0 0 25 0 4 0 501339432 382820352 26654 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 93462 26654 392 112 0 88427 0 [pid=7519/tid=7520] ppid=7517 vsize=373848 CPUtime=25.49 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 15564 0 0 0 2546 3 0 0 25 0 4 0 501339432 382820352 26654 33554432000 4194304 4650419 140733958550848 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=373848 CPUtime=25.48 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 14098 0 0 0 2545 3 0 0 25 0 4 0 501339432 382820352 26654 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=373848 CPUtime=25.35 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 14906 0 0 0 2533 2 0 0 25 0 4 0 501339433 382820352 26654 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 373848 [startup+51.1008 s] /proc/loadavg: 5.52 3.90 3.72 9/184 7546 /proc/meminfo: memFree=31125824/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=314384 CPUtime=204.11 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 83993 0 0 0 20390 21 0 0 25 0 4 0 501339432 321929216 27975 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 78596 27975 392 112 0 73561 0 [pid=7519/tid=7520] ppid=7517 vsize=314384 CPUtime=51.08 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 23284 0 0 0 5103 5 0 0 25 0 4 0 501339432 321929216 27975 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=314384 CPUtime=51.09 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 22185 0 0 0 5103 6 0 0 25 0 4 0 501339432 321929216 27975 33554432000 4194304 4650419 140733958550848 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=314384 CPUtime=50.83 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 20253 0 0 0 5079 4 0 0 25 0 4 0 501339433 321929216 27975 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 204.11 Current children cumulated vsize (KiB) 314384 [startup+102.307 s] /proc/loadavg: 6.96 4.54 3.95 9/184 7548 /proc/meminfo: memFree=31050728/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=351716 CPUtime=408.68 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 124212 0 0 0 40834 34 0 0 25 0 4 0 501339432 360157184 36666 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 87929 36666 392 112 0 82894 0 [pid=7519/tid=7520] ppid=7517 vsize=351716 CPUtime=102.29 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 34552 0 0 0 10221 8 0 0 25 0 4 0 501339432 360157184 36666 33554432000 4194304 4650419 140733958550848 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=351716 CPUtime=102.3 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 34517 0 0 0 10219 11 0 0 25 0 4 0 501339432 360157184 36666 33554432000 4194304 4650419 140733958550848 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=351716 CPUtime=101.78 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 31426 0 0 0 10171 7 0 0 25 0 4 0 501339433 360157184 36666 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.68 Current children cumulated vsize (KiB) 351716 [startup+162.301 s] ################ # More data... # ################ [pid=7519] ppid=7517 vsize=532468 CPUtime=2805.46 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 381478 0 0 0 280415 131 0 0 25 0 4 0 501339432 545247232 77506 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 133117 77506 392 112 0 128082 0 [pid=7519/tid=7520] ppid=7517 vsize=532468 CPUtime=702.31 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 100001 0 0 0 70202 29 0 0 25 0 4 0 501339432 545247232 77506 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=532468 CPUtime=702.31 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 111048 0 0 0 70186 45 0 0 25 0 4 0 501339432 545247232 77506 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=532468 CPUtime=698.57 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 95515 0 0 0 69828 29 0 0 25 0 4 0 501339433 545247232 77506 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2805.46 Current children cumulated vsize (KiB) 532468 [startup+762.307 s] /proc/loadavg: 8.01 7.68 6.04 9/184 7565 /proc/meminfo: memFree=30623304/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=508072 CPUtime=3045.17 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 397285 0 0 0 304378 139 0 0 25 0 4 0 501339432 520265728 82692 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 127018 82692 392 112 0 121983 0 [pid=7519/tid=7520] ppid=7517 vsize=508072 CPUtime=762.33 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 105574 0 0 0 76201 32 0 0 25 0 4 0 501339432 520265728 82692 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=508072 CPUtime=762.32 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 117088 0 0 0 76184 48 0 0 25 0 4 0 501339432 520265728 82692 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=508072 CPUtime=758.25 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 98618 0 0 0 75795 30 0 0 25 0 4 0 501339433 520265728 82692 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3045.17 Current children cumulated vsize (KiB) 508072 [startup+822.301 s] /proc/loadavg: 8.00 7.73 6.16 9/184 7567 /proc/meminfo: memFree=30589416/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=521024 CPUtime=3284.84 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 410528 0 0 0 328339 145 0 0 25 0 4 0 501339432 533528576 80982 33554432000 4194304 4650419 140733958550848 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 130256 80982 392 112 0 125221 0 [pid=7519/tid=7520] ppid=7517 vsize=521024 CPUtime=822.32 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 108304 0 0 0 82199 33 0 0 25 0 4 0 501339432 533528576 80982 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=521024 CPUtime=822.31 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 122665 0 0 0 82181 50 0 0 25 0 4 0 501339432 533528576 80982 33554432000 4194304 4650419 140733958550848 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=521024 CPUtime=817.93 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 98626 0 0 0 81763 30 0 0 25 0 4 0 501339433 533528576 80982 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3284.84 Current children cumulated vsize (KiB) 521024 [startup+882.301 s] /proc/loadavg: 8.11 7.81 6.28 9/184 7569 /proc/meminfo: memFree=30592484/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=521148 CPUtime=3524.51 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 418629 0 0 0 352302 149 0 0 25 0 4 0 501339432 533655552 80872 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 130287 80872 392 112 0 125252 0 [pid=7519/tid=7520] ppid=7517 vsize=521148 CPUtime=882.32 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 110970 0 0 0 88198 34 0 0 25 0 4 0 501339432 533655552 80872 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=521148 CPUtime=882.31 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 127022 0 0 0 88179 52 0 0 25 0 4 0 501339432 533655552 80872 33554432000 4194304 4650419 140733958550848 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=521148 CPUtime=877.61 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 99704 0 0 0 87730 31 0 0 25 0 4 0 501339433 533655552 80872 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3524.51 Current children cumulated vsize (KiB) 521148 [startup+942.301 s] /proc/loadavg: 8.08 7.86 6.39 9/184 7570 /proc/meminfo: memFree=30544840/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=508572 CPUtime=3764.19 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 427655 0 0 0 376266 153 0 0 25 0 4 0 501339432 520777728 84024 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 127143 84024 392 112 0 122108 0 [pid=7519/tid=7520] ppid=7517 vsize=508572 CPUtime=942.33 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 113132 0 0 0 94198 35 0 0 25 0 4 0 501339432 520777728 84024 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=508572 CPUtime=942.32 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 131088 0 0 0 94176 56 0 0 25 0 4 0 501339432 520777728 84024 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=508572 CPUtime=937.28 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 101635 0 0 0 93697 31 0 0 25 0 4 0 501339433 520777728 84024 33554432000 4194304 4650419 140733958550848 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3764.19 Current children cumulated vsize (KiB) 508572 [startup+1002.3 s] /proc/loadavg: 8.07 7.89 6.49 9/184 7572 /proc/meminfo: memFree=30572056/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=514068 CPUtime=4003.87 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 441830 0 0 0 400229 158 0 0 25 0 4 0 501339432 526405632 84366 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 128517 84366 392 112 0 123482 0 [pid=7519/tid=7520] ppid=7517 vsize=514068 CPUtime=1002.32 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 120970 0 0 0 100197 35 0 0 25 0 4 0 501339432 526405632 84366 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=514068 CPUtime=1002.32 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 136180 0 0 0 100173 59 0 0 25 0 4 0 501339432 526405632 84366 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=514068 CPUtime=996.96 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 101661 0 0 0 99665 31 0 0 25 0 4 0 501339433 526405632 84366 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4003.87 Current children cumulated vsize (KiB) 514068 [startup+1062.3 s] /proc/loadavg: 8.13 7.94 6.60 9/184 7573 /proc/meminfo: memFree=30507020/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=525880 CPUtime=4243.55 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 454304 0 0 0 424192 163 0 0 25 0 4 0 501339432 538501120 87534 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 131470 87534 392 112 0 126435 0 [pid=7519/tid=7520] ppid=7517 vsize=525880 CPUtime=1062.34 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 126651 0 0 0 106197 37 0 0 25 0 4 0 501339432 538501120 87534 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=525880 CPUtime=1062.32 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 140181 0 0 0 106171 61 0 0 25 0 4 0 501339432 538501120 87534 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=525880 CPUtime=1056.64 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 101661 0 0 0 105633 31 0 0 25 0 4 0 501339433 538501120 87534 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4243.55 Current children cumulated vsize (KiB) 525880 [startup+1122.3 s] /proc/loadavg: 8.23 7.99 6.70 9/184 7575 /proc/meminfo: memFree=30531284/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=592052 CPUtime=4483.22 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 463000 0 0 0 448155 167 0 0 25 0 4 0 501339432 606261248 87953 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 148013 87953 392 112 0 142978 0 [pid=7519/tid=7520] ppid=7517 vsize=592052 CPUtime=1122.33 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 130261 0 0 0 112194 39 0 0 25 0 4 0 501339432 606261248 87953 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=592052 CPUtime=1122.32 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 145028 0 0 0 112170 62 0 0 25 0 4 0 501339432 606261248 87953 33554432000 4194304 4650419 140733958550848 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=592052 CPUtime=1116.31 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 101745 0 0 0 111600 31 0 0 25 0 4 0 501339433 606261248 87953 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4483.22 Current children cumulated vsize (KiB) 592052 [startup+1182.3 s] /proc/loadavg: 8.14 8.01 6.78 9/184 7576 /proc/meminfo: memFree=30494276/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=592052 CPUtime=4722.9 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 472425 0 0 0 472119 171 0 0 25 0 4 0 501339432 606261248 89062 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 148013 89062 392 112 0 142978 0 [pid=7519/tid=7520] ppid=7517 vsize=592052 CPUtime=1182.34 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 133419 0 0 0 118193 41 0 0 25 0 4 0 501339432 606261248 89062 33554432000 4194304 4650419 140733958550848 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=592052 CPUtime=1182.32 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 151061 0 0 0 118168 64 0 0 25 0 4 0 501339432 606261248 89062 33554432000 4194304 4650419 140733958550848 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=592052 CPUtime=1175.99 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 101756 0 0 0 117567 32 0 0 25 0 4 0 501339433 606261248 89062 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4722.9 Current children cumulated vsize (KiB) 592052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.16 8.02 6.81 9/184 7577 /proc/meminfo: memFree=30494764/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=592104 CPUtime=4800.41 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 474613 0 0 0 479869 172 0 0 25 0 4 0 501339432 606314496 87921 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 148026 87921 392 112 0 142991 0 [pid=7519/tid=7520] ppid=7517 vsize=592104 CPUtime=1201.75 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 133419 0 0 0 120134 41 0 0 25 0 4 0 501339432 606314496 87921 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=592104 CPUtime=1201.73 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 153249 0 0 0 120108 65 0 0 25 0 4 0 501339432 606314496 87921 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=592104 CPUtime=1195.29 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 101756 0 0 0 119497 32 0 0 25 0 4 0 501339433 606314496 87921 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 592104 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.16 8.02 6.81 9/184 7577 /proc/meminfo: memFree=30494764/32951124 swapFree=67111356/67111528 [pid=7519] ppid=7517 vsize=592104 CPUtime=4800.41 cores=0,2,4,6 /proc/7519/stat : 7519 (strangenight1-m) R 7517 7519 7164 0 -1 4202496 474613 0 0 0 479869 172 0 0 25 0 4 0 501339432 606314496 87921 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7519/statm: 148026 87921 392 112 0 142991 0 [pid=7519/tid=7520] ppid=7517 vsize=592104 CPUtime=1201.75 cores=0,2,4,6 /proc/7519/task/7520/stat : 7520 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 133419 0 0 0 120134 41 0 0 25 0 4 0 501339432 606314496 87921 33554432000 4194304 4650419 140733958550848 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7519/tid=7521] ppid=7517 vsize=592104 CPUtime=1201.73 cores=0,2,4,6 /proc/7519/task/7521/stat : 7521 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 153249 0 0 0 120108 65 0 0 25 0 4 0 501339432 606314496 87921 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7519/tid=7522] ppid=7517 vsize=592104 CPUtime=1195.29 cores=0,2,4,6 /proc/7519/task/7522/stat : 7522 (strangenight1-m) R 7517 7519 7164 0 -1 4202560 101756 0 0 0 119497 32 0 0 25 0 4 0 501339433 606314496 87921 33554432000 4194304 4650419 140733958550848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 592104 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.73 CPU time (s): 4800.46 CPU user time (s): 4798.72 CPU system time (s): 1.74373 CPU usage (%): 399.463 Max. virtual memory (cumulated for all children) (KiB): 592104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.72 system time used= 1.74373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 474614 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= 256 involuntary context switches= 33830 runsolver used 1.9537 second user time and 4.52231 second system time The end
Begin job on node143 at 2011-04-29 17:00:38 IDJOB=3175119 IDBENCH=82737 IDSOLVER=1588 FILE ID=node143/3175119-1304089238 RUNJOBID= node143-1304089238-7509 PBS_JOBID= 13170544 Free space on /tmp= 72924 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175119-1304089238/watcher-3175119-1304089238 -o /tmp/evaluation-result-3175119-1304089238/solver-3175119-1304089238 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175119-1304089238.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 91ecb427720c901d7e357cfd52fa252a RANDOM SEED=2031852431 node143.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.846 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.69 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.846 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 : 5226.15 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.83 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.846 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.846 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.83 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.846 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.74 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.846 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: 31385204 kB Buffers: 215196 kB Cached: 1010884 kB SwapCached: 168 kB Active: 276980 kB Inactive: 1012972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31385204 kB SwapTotal: 67111528 kB SwapFree: 67111356 kB Dirty: 6312 kB Writeback: 0 kB AnonPages: 63116 kB Mapped: 14692 kB Slab: 212152 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184552 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= 72912 MiB End job on node143 at 2011-04-29 17:20:42