| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.34 | 1201.88 |
| Name | random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf |
| MD5SUM | 211de71ef1119669a20965247c8273d8 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 20.9058 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 15000 |
| Number of clauses | 63000 |
| Sum of the clauses size | 189000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 63000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.02 c Outputting solution to console 0.00/0.02 c Using 4 threads 0.00/0.02 c This is CryptoMiniSat 3.0.0 0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.02 c Reading file 'HOME/instance-3173749-1304030360.cnf' 0.00/0.02 c -- header says num vars: 15000 0.00/0.02 c -- header says num clauses: 63000 0.00/0.09 c -- clauses added: 0 learnts, 63000 normals, 0 xors 0.00/0.09 c -- vars added 15000 0.00/0.09 c Parsing time: 0.04 s 0.00/0.09 c N st 0 0 15000 63000 0 0 189000 0 no data no data 0.00/0.15 c asymm cl-useful: 0/63000/63000 lits-rem:0 time: 0.05 0.51/0.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 0.51/0.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.51/0.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.51/0.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.51/0.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15000 time: 0.00 s 0.51/0.21 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 0.51/0.36 c lits-rem: 0 cl-subs: 0 v-elim: 404 v-fix: 0 time: 0.09 s 0.51/0.36 c Finding binary XORs T: 0.00 s found: 0 0.51/0.36 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.51/0.36 c calculated reachability. Time: 0.00 0.51/0.36 c Calc default polars - time: 0.00 s pos: 6679 undec: 1639 neg: 6682 0.51/0.36 c ========================================================================================= 0.51/0.36 c types(t): F = full restart, N = normal restart 0.51/0.36 c types(t): S = simplification begin/end, E = solution found 0.51/0.36 c restart types(rt): st = static, dy = dynamic 0.51/0.36 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.51/0.36 c B st 0 0 14596 62572 0 0 190292 0 no data no data 4.65/1.24 c N dy 19 4105 14596 62572 0 4103 190292 820418 113.84 126.52 8.25/2.18 c N dy 46 8283 14596 62572 0 8281 190292 1548258 112.07 122.71 12.24/3.14 c N dy 72 12358 14596 62572 0 12355 190292 2269939 112.24 119.07 16.25/4.14 c N dy 98 16386 14596 62572 0 16383 190292 2981791 112.58 119.89 20.64/5.21 c N dy 120 20530 14596 62572 0 10534 190292 593340 111.73 118.84 24.22/6.19 c N dy 147 24554 14596 62572 0 14558 190292 1315987 112.29 131.76 25.04/6.30 c F st 150 25000 14596 62572 0 15004 190292 1399064 112.39 no data 30.21/7.69 c N dy 156 30001 14596 62572 0 20004 190292 2615719 112.39 no data 30.21/7.69 c S st 156 30001 14596 62572 0 20004 190292 2615719 112.39 no data 31.01/7.82 c S st 156 30504 14596 62572 0 20507 190292 2678833 112.39 no data 31.01/7.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 31.01/7.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 31.41/7.91 c blocked clauses removed: 281 vars: 41 tried: 14596 T: 0.01 s 31.41/7.91 c bin-w-bin subsume rem 0 bins time: 0.00 s 31.41/7.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 31.41/7.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14555 time: 0.00 s 31.41/7.93 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 31.41/8.00 c lits-rem: 0 cl-subs: 0 v-elim: 7 v-fix: 0 time: 0.07 s 32.61/8.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 35.00/8.89 c lits-rem: 12 cl-subs: 7 v-elim: 0 v-fix: 0 time: 0.67 s 35.40/8.96 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.08 35.40/8.97 c calculated reachability. Time: 0.00 35.40/8.97 c N dy 156 30504 14548 62284 0 20405 189473 2651702 112.39 no data 40.20/10.14 c N dy 184 34631 14548 62284 0 24532 189473 3401755 112.54 120.08 44.59/11.28 c N dy 207 38659 14548 62284 0 28560 189473 4117826 112.49 119.67 49.38/12.43 c N dy 231 42694 14548 62284 0 17144 189473 926837 112.50 156.94 52.57/13.24 c S st 253 45758 14548 62284 0 20208 189473 1474709 112.46 no data 52.97/13.38 c S st 253 46263 14548 62284 0 20713 189473 1537591 112.46 no data 52.97/13.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 53.37/13.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 53.37/13.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 53.37/13.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 53.37/13.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 53.37/13.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 53.37/13.48 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 53.77/13.54 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 54.17/13.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 54.97/13.85 c lits-rem: 4 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.22 s 54.97/13.85 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 54.97/13.88 c vivif2 -- cl tried 20712 cl shrink 0 lits rem 0 time: 0.02 55.39/13.95 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.08 55.39/13.96 c calculated reachability. Time: 0.00 55.39/13.96 c N dy 253 46263 14548 62284 0 20712 189473 1536727 112.46 no data 59.78/15.04 c N dy 281 50335 14548 62284 0 24784 189473 2265808 112.73 122.72 64.18/16.17 c N dy 306 54409 14548 62284 0 28858 189473 2975295 112.52 119.91 68.97/17.33 c N dy 337 58423 14548 62284 0 32872 189473 3695962 112.81 124.26 73.74/18.55 c N dy 367 62585 14548 62284 0 37034 189473 4455204 112.93 126.52 78.13/19.66 c N dy 390 66672 14548 62284 0 22395 189473 1222612 112.63 118.76 81.34/20.41 c S st 407 69394 14548 62284 0 25117 189473 1713584 112.61 no data 81.75/20.55 c S st 407 69896 14548 62284 0 25619 189473 1773514 112.61 no data 81.75/20.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 82.15/20.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 82.15/20.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 82.15/20.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 82.15/20.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 82.15/20.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 82.15/20.66 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 82.53/20.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 82.93/20.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 84.14/21.14 c lits-rem: 2 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.31 s 84.14/21.14 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 84.14/21.17 c vivif2 -- cl tried 25618 cl shrink 0 lits rem 0 time: 0.03 84.54/21.25 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.08 84.54/21.26 c calculated reachability. Time: 0.00 84.54/21.26 c N dy 407 69896 14548 62284 0 25618 189473 1773473 112.61 no data 89.73/22.55 c N dy 439 74459 14548 62284 0 30180 189473 2602887 112.72 122.14 95.34/23.99 c N dy 475 79356 14548 62284 0 35077 189473 3493496 112.88 120.67 101.71/25.59 c N dy 509 84666 14548 62284 0 40386 189473 4447192 112.90 122.07 105.29/26.44 c F st 528 87501 14548 62284 0 22362 189473 826478 112.93 no data 108.89/27.39 c N st 533 90799 14548 62284 0 25660 189473 1547385 112.93 no data 116.08/29.11 c N dy 560 96651 14548 62284 0 31511 189473 2754964 112.84 120.44 123.27/30.97 c N dy 603 102936 14548 62284 0 37795 189473 3885069 112.91 120.17 125.69/31.57 c S st 619 104844 14548 62284 0 39703 189473 4243374 113.16 no data 126.46/31.74 c S st 619 105348 14548 62284 0 40207 189473 4314139 113.16 no data 126.46/31.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 126.86/31.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.07 126.86/31.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 126.86/31.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 126.86/31.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 126.86/31.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 126.86/31.86 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 127.26/31.95 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 128.07/32.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 136.06/34.17 c lits-rem: 10 cl-subs: 4 v-elim: 0 v-fix: 0 time: 1.97 s 136.06/34.18 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 136.46/34.24 c vivif2 -- cl tried 40203 cl shrink 0 lits rem 0 time: 0.07 136.85/34.35 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.11 136.85/34.35 c calculated reachability. Time: 0.00 136.85/34.35 c N dy 619 105348 14548 62284 0 40203 189473 4312831 113.16 no data 145.24/36.46 c N dy 665 112090 14548 62284 0 24514 189473 916025 113.13 120.46 153.63/38.55 c N dy 711 119295 14548 62284 0 31719 189473 2191304 113.03 120.68 162.82/40.84 c N dy 763 126930 14548 62284 0 39354 189473 3578587 113.23 124.82 173.21/43.41 c N dy 818 135031 14548 62284 0 23737 189473 505742 113.17 119.45 183.21/45.91 c N dy 878 143809 14548 62284 0 32513 189473 2092002 113.19 120.70 194.38/48.72 c N dy 945 153079 14548 62284 0 41781 189473 3774179 113.46 126.07 200.38/50.26 c S st 975 158024 14548 62284 0 46726 189473 4663107 113.47 no data 201.16/50.44 c S st 975 158527 14548 62284 0 47229 189473 4732083 113.47 no data 201.16/50.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 201.56/50.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 201.56/50.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 201.56/50.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 201.56/50.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 201.56/50.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.01 s 201.56/50.57 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 201.96/50.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 202.76/50.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 214.74/53.87 c lits-rem: 2 cl-subs: 4 v-elim: 0 v-fix: 0 time: 2.97 s 214.74/53.88 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 215.15/53.95 c vivif2 -- cl tried 47225 cl shrink 0 lits rem 0 time: 0.07 215.55/54.07 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.11 215.55/54.07 c calculated reachability. Time: 0.00 215.55/54.07 c N dy 975 158527 14548 62284 0 47225 189473 4731724 113.47 no data 227.92/57.10 c N dy 1037 168695 14548 62284 0 32535 189473 1844854 113.43 120.75 241.11/60.41 c N dy 1105 179463 14548 62284 0 43301 189473 3791981 113.42 121.66 255.49/64.06 c N dy 1185 191001 14548 62284 0 28914 189473 1005442 113.71 167.10 270.27/67.73 c N dy 1268 203331 14548 62284 0 41244 189473 3240144 113.83 129.85 287.05/71.98 c N dy 1358 216324 14548 62284 0 27274 189473 500665 113.95 121.46 303.42/76.08 c N dy 1451 230156 14548 62284 0 41104 189473 3043418 114.11 120.96 313.01/78.46 c S st 1497 237794 14548 62284 0 48741 189473 4412196 114.07 111.00 313.81/78.63 c S st 1497 238295 14548 62284 0 49242 189473 4481909 114.07 no data 313.81/78.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 314.21/78.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 314.21/78.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 314.21/78.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 314.21/78.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 314.21/78.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 314.21/78.76 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 314.62/78.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 315.40/79.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 327.80/82.11 c lits-rem: 20 cl-subs: 8 v-elim: 0 v-fix: 0 time: 3.04 s 327.80/82.11 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 327.80/82.18 c vivif2 -- cl tried 49234 cl shrink 0 lits rem 0 time: 0.07 328.58/82.30 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.12 328.58/82.31 c calculated reachability. Time: 0.00 328.58/82.31 c N dy 1497 238295 14548 62284 0 49234 189473 4477757 114.07 no data 347.75/87.12 c N dy 1595 253581 14548 62284 0 36546 189473 2005010 114.09 149.77 369.33/92.50 c N dy 1708 269789 14548 62284 0 52754 189473 4981697 114.18 129.12 391.30/98.01 c N dy 1827 287085 14548 62284 0 41059 189473 2635356 114.28 120.79 415.27/104.01 c N dy 1934 305420 14548 62284 0 59393 189473 5968080 114.19 122.26 416.46/104.34 c F st 1941 306251 14548 62284 0 30228 189473 467525 114.20 92.77 440.03/110.25 c N dy 2039 325158 14548 62284 0 49133 189473 4154547 114.23 122.42 466.39/116.87 c N dy 2176 345250 14548 62284 0 38228 189473 1729939 114.26 121.69 481.58/120.69 c S st 2256 357442 14548 62284 0 50419 189473 3905754 114.24 no data 482.36/120.86 c S st 2256 357946 14548 62284 0 50923 189473 3973625 114.24 no data 482.36/120.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 482.76/120.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 482.76/120.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 482.76/120.97 c bin-w-bin subsume rem 0 bins time: 0.00 s 482.76/120.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 482.76/120.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.01 s 482.76/120.99 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 483.16/121.08 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 483.96/121.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 495.16/124.02 c lits-rem: 5 cl-subs: 5 v-elim: 0 v-fix: 0 time: 2.76 s 495.16/124.03 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 495.16/124.09 c vivif2 -- cl tried 50918 cl shrink 0 lits rem 0 time: 0.06 495.94/124.21 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.12 495.94/124.21 c calculated reachability. Time: 0.00 495.94/124.21 c N dy 2256 357946 14548 62284 0 50918 189473 3971485 114.24 no data 523.51/131.14 c N dy 2402 377987 14548 62284 0 38963 189473 1735774 114.39 121.16 550.28/137.88 c N dy 2538 398062 14548 62284 0 59037 189473 5458380 114.50 122.48 576.63/144.45 c N dy 2666 418148 14548 62284 0 46124 189473 2795061 114.53 121.69 604.61/151.42 c N dy 2799 438357 14548 62284 0 66332 189473 6504750 114.55 122.64 630.15/157.87 c N dy 2932 458393 14548 62284 0 52369 189473 3753590 114.55 127.59 658.11/164.80 c N dy 3059 478461 14548 62284 0 37434 189473 857643 114.52 121.75 683.70/171.29 c N dy 3186 498511 14548 62284 0 57483 189473 4527486 114.54 164.79 711.63/178.29 c N dy 3317 518624 14548 62284 0 41604 189473 1461457 114.56 121.71 736.01/184.36 c S st 3438 536920 14548 62284 0 59898 189473 4788618 114.58 no data 736.82/184.56 c S st 3438 537422 14548 62284 0 60400 189473 4858957 114.58 no data 736.82/184.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 737.20/184.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.08 737.20/184.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 737.20/184.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 737.20/184.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 737.20/184.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 737.61/184.70 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 738.01/184.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 738.80/185.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 749.60/187.71 c lits-rem: 7 cl-subs: 1 v-elim: 0 v-fix: 0 time: 2.69 s 749.60/187.72 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 749.60/187.79 c vivif2 -- cl tried 60399 cl shrink 0 lits rem 0 time: 0.07 750.39/187.92 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.13 750.39/187.93 c calculated reachability. Time: 0.00 750.39/187.93 c N dy 3438 537422 14548 62284 0 60399 189473 4858311 114.58 no data 779.15/195.12 c N dy 3579 557539 14548 62284 0 43518 189473 1632798 114.67 123.58 805.92/201.89 c N dy 3712 577579 14548 62284 0 63557 189473 5280980 114.68 130.37 834.26/208.91 c N dy 3838 597726 14548 62284 0 45704 189473 1841870 114.65 120.70 861.43/215.78 c N dy 3979 617838 14548 62284 0 65816 189473 5518827 114.69 122.75 890.20/222.96 c N dy 4117 637867 14548 62284 0 46842 189473 1872672 114.74 122.90 917.75/229.86 c N dy 4247 658074 14548 62284 0 67048 189473 5615050 114.82 124.61 948.11/237.40 c N dy 4381 678094 14548 62284 0 47069 189473 1746336 114.86 122.43 976.06/244.48 c N dy 4522 698220 14548 62284 0 67190 189473 5463152 114.95 124.62 1005.62/251.80 c N dy 4641 718269 14548 62284 0 46246 189473 1399802 114.90 124.39 1032.79/258.67 c N dy 4768 738332 14548 62284 0 66307 189473 5056978 114.88 121.44 1063.55/266.32 c N dy 4904 758533 14548 62284 0 44510 189473 897364 114.86 128.83 1091.11/273.28 c N dy 5038 778732 14548 62284 0 64707 189473 4602537 114.88 124.58 1121.86/280.95 c N dy 5167 798893 14548 62284 0 84866 189473 8302357 114.91 126.19 1131.87/283.48 c S st 5218 806133 14548 62284 0 49108 189473 1555353 114.90 no data 1132.65/283.65 c S st 5218 806638 14548 62284 0 49613 189473 1615175 114.90 no data 1132.65/283.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1133.04/283.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 1133.04/283.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1133.04/283.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 1133.04/283.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1133.04/283.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 1133.04/283.78 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1133.44/283.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 1133.84/283.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1136.27/284.55 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.62 s 1136.27/284.56 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 1136.27/284.58 c vivif2 -- cl tried 49612 cl shrink 0 lits rem 0 time: 0.03 1137.04/284.70 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.11 1137.04/284.70 c calculated reachability. Time: 0.00 1137.04/284.70 c N dy 5218 806638 14548 62284 0 49612 189473 1615056 114.90 no data 1165.40/291.80 c N dy 5361 826659 14548 62284 0 69632 189473 5314498 114.94 124.04 1197.35/299.84 c N dy 5499 846713 14548 62284 0 45689 189473 751225 114.96 121.04 1225.32/306.81 c N dy 5636 866886 14548 62284 0 65858 189473 4446420 115.00 123.10 1255.67/314.41 c N dy 5764 886898 14548 62284 0 85869 189473 8145249 115.00 122.27 1284.03/321.56 c N dy 5898 907006 14548 62284 0 60976 189473 3352036 115.04 124.79 1313.98/329.04 c N dy 6023 927072 14548 62284 0 81040 189473 7037478 115.03 122.17 1343.94/336.59 c N dy 6165 947089 14548 62284 0 55062 189473 2166778 115.10 149.84 1373.92/344.03 c N dy 6291 967490 14548 62284 0 75461 189473 5947633 115.12 121.93 1406.25/352.10 c N dy 6423 987641 14548 62284 0 48623 189473 742910 115.12 121.92 1434.22/359.13 c N dy 6557 1007731 14548 62284 0 68712 189473 4411101 115.14 153.84 1465.37/367.00 c N dy 6690 1027765 14548 62284 0 88744 189473 8129751 115.18 157.16 1495.33/374.47 c N dy 6824 1047866 14548 62284 0 60841 189473 2837110 115.21 124.48 1525.69/382.04 c N dy 6963 1067949 14548 62284 0 80921 189473 6595575 115.27 131.23 1532.09/383.60 c F st 6990 1071876 14548 62284 0 84848 189473 7347828 115.28 no data 1558.05/390.13 c N dy 7073 1088163 14548 62284 0 52138 189473 1029662 115.30 122.23 1586.79/397.39 c N dy 7211 1108179 14548 62284 0 72154 189473 4760921 115.34 123.41 1618.76/405.33 c N dy 7337 1128263 14548 62284 0 92237 189473 8520774 115.37 123.19 1649.11/412.90 c N dy 7473 1148284 14548 62284 0 62259 189473 2746469 115.39 123.86 1679.47/420.57 c N dy 7607 1168297 14548 62284 0 82268 189473 6473322 115.41 122.35 1713.81/429.18 c N dy 7739 1188397 14548 62284 0 51379 189473 561292 115.44 124.11 1743.38/436.53 c N dy 7877 1208478 14548 62284 0 71457 189473 4284151 115.49 125.84 1745.78/437.15 c S st 7888 1209958 14548 62284 0 72937 189473 4559992 115.50 100.78 1746.58/437.39 c S st 7888 1210463 14548 62284 0 73442 189473 4615208 115.50 no data 1746.99/437.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1747.39/437.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.10 1747.39/437.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1747.39/437.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 1747.39/437.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1747.39/437.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.01 s 1747.39/437.55 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1747.77/437.65 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s 1748.57/437.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1761.75/441.14 c lits-rem: 8 cl-subs: 4 v-elim: 0 v-fix: 0 time: 3.27 s 1761.75/441.14 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 1762.15/441.22 c vivif2 -- cl tried 73438 cl shrink 0 lits rem 0 time: 0.07 1762.55/441.37 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.15 1762.55/441.38 c calculated reachability. Time: 0.00 1762.55/441.38 c N dy 7888 1210463 14548 62284 0 73438 189473 4613660 115.50 no data 1795.32/449.55 c N dy 8032 1230536 14548 62284 0 93510 189473 8399799 115.55 137.84 1826.85/457.42 c N dy 8161 1250615 14548 62284 0 61597 189473 2246153 115.56 134.85 1857.23/465.02 c N dy 8292 1270698 14548 62284 0 81677 189473 5991204 115.58 123.13 1891.16/473.56 c N dy 8433 1290802 14548 62284 0 101780 189473 9736724 115.62 123.07 1921.12/481.06 c N dy 8559 1310899 14548 62284 0 68876 189473 3368868 115.61 131.17 1953.08/489.01 c N dy 8694 1330974 14548 62284 0 88950 189473 7085523 115.64 124.04 1988.22/497.88 c N dy 8830 1351027 14548 62284 0 55002 189473 685093 115.66 121.75 2017.39/505.12 c N dy 8956 1371040 14548 62284 0 75014 189473 4399094 115.68 139.10 2049.74/513.28 c N dy 9085 1391092 14548 62284 0 95062 189473 8133841 115.68 125.00 2083.28/521.61 c N dy 9207 1411100 14548 62284 0 60068 189473 1419085 115.67 121.99 2113.25/529.15 c N dy 9340 1431203 14548 62284 0 80169 189473 5112136 115.67 126.32 2146.81/537.57 c N dy 9471 1451206 14548 62284 0 100171 189473 8813516 115.68 122.16 2179.96/545.86 c N dy 9597 1471317 14548 62284 0 64285 189473 2014007 115.68 123.84 2210.71/553.56 c N dy 9731 1491376 14548 62284 0 84343 189473 5670517 115.68 126.71 2245.06/562.18 c N dy 9867 1511458 14548 62284 0 104424 189473 9370412 115.68 122.49 2277.81/570.33 c N dy 10000 1531592 14548 62284 0 67556 189473 2484494 115.68 126.09 2309.39/578.23 c N dy 10138 1551600 14548 62284 0 87562 189473 6165868 115.71 123.95 2344.11/587.00 c N dy 10273 1571688 14548 62284 0 107649 189473 9867762 115.73 127.01 2376.86/595.10 c N dy 10409 1591716 14548 62284 0 69684 189473 2668876 115.75 123.01 2408.42/603.00 c N dy 10531 1611830 14548 62284 0 89796 189473 6365959 115.74 123.76 2443.96/611.90 c N dy 10673 1631947 14548 62284 0 109910 189473 10130307 115.77 122.29 2476.33/620.01 c N dy 10803 1652019 14548 62284 0 70984 189473 2718954 115.76 122.65 2508.28/628.03 c N dy 10934 1672074 14548 62284 0 91035 189473 6458017 115.78 125.99 2543.42/636.87 c N dy 11062 1692092 14548 62284 0 111050 189473 10237760 115.80 130.77 2574.18/644.56 c S st 11181 1710466 14548 62284 0 69436 189473 2285159 115.80 no data 2574.97/644.76 c S st 11181 1710970 14548 62284 0 69940 189473 2352685 115.80 no data 2574.97/644.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2575.38/644.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.09 2575.38/644.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2575.38/644.88 c bin-w-bin subsume rem 0 bins time: 0.00 s 2575.38/644.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2575.38/644.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 2575.78/644.90 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 2575.78/644.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 2576.18/645.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2582.57/646.68 c lits-rem: 6 cl-subs: 2 v-elim: 0 v-fix: 0 time: 1.58 s 2582.57/646.68 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 2582.97/646.73 c vivif2 -- cl tried 69938 cl shrink 0 lits rem 0 time: 0.04 2583.37/646.88 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.15 2583.37/646.89 c calculated reachability. Time: 0.00 2583.37/646.89 c N dy 11181 1710970 14548 62284 0 69938 189473 2351620 115.80 no data 2616.12/655.02 c N dy 11320 1731056 14548 62284 0 90021 189473 6084659 115.82 125.83 2651.67/663.93 c N dy 11453 1751211 14548 62284 0 110175 189473 9805267 115.84 123.50 2686.01/672.54 c N dy 11586 1771283 14548 62284 0 69248 189473 2051550 115.85 125.46 2717.57/680.48 c N dy 11725 1791301 14548 62284 0 89266 189473 5773516 115.87 124.99 2753.54/689.47 c N dy 11863 1811377 14548 62284 0 109338 189473 9499899 115.88 124.11 2789.47/698.44 c N dy 11995 1831391 14548 62284 0 67358 189473 1539865 115.90 126.05 2821.02/706.35 c N dy 12128 1851633 14548 62284 0 87599 189473 5355890 115.93 122.87 2858.17/715.63 c N dy 12269 1871827 14548 62284 0 107792 189473 9117631 115.95 122.20 2896.12/725.13 c N dy 12400 1891899 14548 62284 0 64871 189473 880398 115.94 126.34 2926.87/732.83 c N dy 12534 1912017 14548 62284 0 84988 189473 4614965 115.96 128.45 2962.03/741.61 c N dy 12676 1932061 14548 62284 0 105032 189473 8440685 115.99 122.54 3000.77/751.34 c N dy 12808 1952459 14548 62284 0 125428 189473 12290087 116.01 124.90 3032.72/759.30 c N dy 12944 1972490 14548 62284 0 81458 189473 3778794 116.03 124.21 3066.67/767.83 c N dy 13080 1992603 14548 62284 0 101568 189473 7467372 116.02 122.35 3104.22/777.24 c N dy 13212 2012678 14548 62284 0 121642 189473 11183837 116.04 122.31 3138.57/785.85 c N dy 13347 2032716 14548 62284 0 76680 189473 2746496 116.05 123.68 3170.95/793.95 c N dy 13468 2052781 14548 62284 0 96745 189473 6440698 116.04 122.23 3207.28/803.07 c N dy 13600 2072782 14548 62284 0 116746 189473 10158673 116.05 129.75 3244.82/812.44 c N dy 13726 2092859 14548 62284 0 70823 189473 1468366 116.05 129.61 3276.41/820.30 c N dy 13847 2113026 14548 62284 0 90985 189473 5168025 116.04 122.81 3311.55/829.13 c N dy 13979 2133065 14548 62284 0 111022 189473 8809553 116.03 125.30 3350.70/838.97 c N dy 14111 2153305 14548 62284 0 131259 189473 12579549 116.04 124.13 3383.43/847.17 c N dy 14250 2173512 14548 62284 0 84476 189473 3832069 116.06 127.20 3417.78/855.76 c N dy 14384 2193637 14548 62284 0 104601 189473 7557985 116.07 124.96 3452.54/864.46 c S st 14507 2210971 14548 62284 0 121935 189473 10755500 116.07 no data 3453.73/864.76 c S st 14507 2211478 14548 62284 0 122442 189473 10822349 116.07 no data 3453.73/864.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3454.53/864.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.14 3454.53/864.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3454.53/864.95 c bin-w-bin subsume rem 0 bins time: 0.00 s 3454.53/864.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3454.53/864.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.01 s 3454.53/864.96 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 3455.33/865.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.18 s 3457.72/865.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3484.89/872.51 c lits-rem: 11 cl-subs: 9 v-elim: 0 v-fix: 0 time: 6.78 s 3484.89/872.52 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 3485.69/872.70 c vivif2 -- cl tried 122433 cl shrink 0 lits rem 0 time: 0.18 3486.49/872.95 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.25 3486.49/872.96 c calculated reachability. Time: 0.00 3486.49/872.96 c N dy 14507 2211478 14548 62284 0 122433 189473 10819361 116.07 no data 3526.45/882.91 c N dy 14642 2231607 14548 62284 0 74564 189473 1769568 116.08 122.54 3558.78/891.03 c N dy 14780 2251724 14548 62284 0 94678 189473 5515895 116.08 124.61 3595.13/900.18 c N dy 14916 2271750 14548 62284 0 114702 189473 9266193 116.10 123.75 3634.68/910.05 c N dy 15045 2291833 14548 62284 0 134780 189473 12954966 116.10 124.65 3667.82/918.31 c N dy 15178 2311905 14548 62284 0 85856 189473 3677967 116.11 128.17 3702.60/927.08 c N dy 15312 2332198 14548 62284 0 106149 189473 7452788 116.12 122.60 3741.32/936.72 c N dy 15451 2352277 14548 62284 0 126228 189473 11237120 116.15 123.22 3779.66/946.32 c N dy 15587 2372335 14548 62284 0 76295 189473 1766771 116.16 125.34 3812.04/954.50 c N dy 15717 2392483 14548 62284 0 96443 189473 5511205 116.16 123.36 3848.77/963.67 c N dy 15848 2412561 14548 62284 0 116520 189473 9268587 116.17 136.56 3888.70/973.61 c N dy 15971 2432654 14548 62284 0 136611 189473 12968717 116.17 123.29 3923.45/982.30 c N dy 16103 2452726 14548 62284 0 85681 189473 3301866 116.18 124.90 3957.43/990.85 c N dy 16231 2472768 14548 62284 0 105720 189473 6982826 116.18 135.71 3995.76/1000.46 c N dy 16367 2492848 14548 62284 0 125796 189473 10715504 116.18 124.74 4036.90/1010.77 c N dy 16504 2512949 14548 62284 0 73906 189473 945193 116.19 123.09 4069.25/1018.83 c N dy 16639 2532999 14548 62284 0 93953 189473 4675048 116.19 124.99 4105.61/1027.94 c N dy 16776 2553091 14548 62284 0 114044 189473 8419669 116.20 134.77 4145.55/1037.95 c N dy 16913 2573118 14548 62284 0 134069 189473 12134931 116.21 130.02 4183.89/1047.56 c N dy 17047 2593183 14548 62284 0 81139 189473 2109984 116.21 124.64 4217.04/1055.89 c N dy 17179 2613217 14548 62284 0 101172 189473 5849973 116.23 123.63 4254.20/1065.18 c N dy 17307 2633316 14548 62284 0 121269 189473 9582922 116.23 127.28 4295.35/1075.43 c N dy 17438 2653391 14548 62284 0 141343 189473 13264853 116.24 122.77 4331.27/1084.46 c N dy 17571 2673647 14548 62284 0 87603 189473 3124144 116.25 126.05 4366.06/1093.16 c N dy 17698 2693767 14548 62284 0 107723 189473 6859805 116.25 124.22 4401.98/1102.15 c S st 17814 2711478 14548 62284 0 125431 189473 10134869 116.25 no data 4403.19/1102.46 c S st 17814 2711980 14548 62284 0 125932 189473 10209096 116.25 no data 4403.19/1102.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4403.99/1102.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.14 4403.99/1102.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4403.99/1102.65 c bin-w-bin subsume rem 0 bins time: 0.00 s 4403.99/1102.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4403.99/1102.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.01 s 4403.99/1102.66 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 4404.78/1102.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.17 s 4406.77/1103.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4432.74/1109.84 c lits-rem: 8 cl-subs: 14 v-elim: 0 v-fix: 0 time: 6.51 s 4432.74/1109.85 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 4433.54/1110.01 c vivif2 -- cl tried 125918 cl shrink 0 lits rem 0 time: 0.16 4434.34/1110.24 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.23 4434.34/1110.25 c calculated reachability. Time: 0.00 4434.34/1110.25 c N dy 17814 2711980 14548 62284 0 125918 189473 10206432 116.25 no data 4478.68/1121.38 c N dy 17946 2732046 14548 62284 0 145984 189473 13948285 116.26 124.64 4513.82/1130.11 c N dy 18073 2752144 14548 62284 0 91092 189473 3591657 116.26 143.79 4548.97/1138.91 c N dy 18203 2772197 14548 62284 0 111144 189473 7344964 116.27 123.62 4588.12/1148.78 c N dy 18338 2792283 14548 62284 0 131230 189473 11108925 116.29 138.71 4630.86/1159.43 c N dy 18473 2812330 14548 62284 0 151277 189473 14810281 116.29 125.60 4664.02/1167.78 c N dy 18602 2832479 14548 62284 0 95427 189473 4205145 116.30 124.76 4700.76/1176.96 c N dy 18742 2852629 14548 62284 0 115575 189473 7936236 116.31 127.70 4743.52/1187.61 c N dy 18885 2872683 14548 62284 0 135629 189473 11757209 116.33 125.62 4786.64/1198.45 c N dy 19021 2892778 14548 62284 0 78723 189473 940778 116.34 122.70
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-3173749-1304030360/watcher-3173749-1304030360 -o /tmp/evaluation-result-3173749-1304030360/solver-3173749-1304030360 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173749-1304030360.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: 7.49 8.06 6.74 5/180 24903 /proc/meminfo: memFree=25047240/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=8484 CPUtime=0 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) D 24901 24903 24690 0 -1 4194304 93 0 1 0 0 0 0 0 20 0 1 0 495451508 8687616 49 33554432000 4194304 4627427 140736868229440 18446744073709551615 228090530694 0 0 4096 0 18446744071562154983 0 0 17 1 0 0 0 /proc/24903/statm: 2121 49 38 106 0 44 0 [startup+0.0220949 s] /proc/loadavg: 7.49 8.06 6.74 5/180 24903 /proc/meminfo: memFree=25047240/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=20388 CPUtime=0 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) D 24901 24903 24690 0 -1 4194304 115 0 3 0 0 0 0 0 20 0 1 0 495451508 20877312 73 33554432000 4194304 4627427 140736868229440 18446744073709551615 228090531427 0 0 4096 0 18446744071562154983 0 0 17 1 0 0 1 /proc/24903/statm: 5097 73 54 106 0 55 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 20388 [startup+0.163713 s] /proc/loadavg: 7.49 8.06 6.74 5/180 24903 /proc/meminfo: memFree=25047240/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=368480 CPUtime=0.51 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 12770 0 4 0 44 7 0 0 18 0 4 0 495451508 377323520 11796 33554432000 4194304 4627427 140736868229440 18446744073709551615 228095111877 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 92367 12506 371 106 0 87338 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 368480 [startup+1.03487 s] /proc/loadavg: 7.49 8.06 6.74 5/180 24903 /proc/meminfo: memFree=25047240/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=375332 CPUtime=3.99 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 24736 0 4 0 389 10 0 0 18 0 4 0 495451508 384339968 19540 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 93833 19540 385 106 0 88804 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 375332 [startup+1.13486 s] /proc/loadavg: 7.49 8.06 6.74 5/180 24903 /proc/meminfo: memFree=25047240/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=375332 CPUtime=4.39 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 25059 0 4 0 429 10 0 0 19 0 4 0 495451508 384339968 19863 33554432000 4194304 4627427 140736868229440 18446744073709551615 4310423 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 93833 19863 385 106 0 88804 0 Current children cumulated CPU time (s) 4.39 Current children cumulated vsize (KiB) 375332 [startup+1.50079 s] /proc/loadavg: 7.49 8.06 6.74 5/180 24903 /proc/meminfo: memFree=25047240/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=375332 CPUtime=5.85 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 26426 0 4 0 575 10 0 0 19 0 4 0 495451508 384339968 21230 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308632 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 93833 21230 385 106 0 88804 0 Current children cumulated CPU time (s) 5.85 Current children cumulated vsize (KiB) 375332 [startup+3.1005 s] /proc/loadavg: 7.49 8.06 6.74 9/184 24907 /proc/meminfo: memFree=24993008/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=506740 CPUtime=12.24 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 31467 0 4 0 1212 12 0 0 24 0 4 0 495451508 518901760 26271 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 126685 26271 385 106 0 121656 0 [pid=24903/tid=24905] ppid=24901 vsize=506740 CPUtime=3.04 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 8523 0 0 0 302 2 0 0 24 0 4 0 495451511 518901760 26271 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=506740 CPUtime=3.05 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 8477 0 0 0 301 4 0 0 25 0 4 0 495451511 518901760 26271 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=506740 CPUtime=3.06 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 5364 0 0 0 304 2 0 0 25 0 4 0 495451511 518901760 26271 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.24 Current children cumulated vsize (KiB) 506740 [startup+6.30691 s] /proc/loadavg: 7.69 8.09 6.75 9/184 24907 /proc/meminfo: memFree=25008376/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=393160 CPUtime=25.04 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 44766 0 4 0 2488 16 0 0 25 0 4 0 495451508 402595840 23427 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 98290 23427 387 106 0 93261 0 [pid=24903/tid=24905] ppid=24901 vsize=393160 CPUtime=6.23 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 11918 0 0 0 620 3 0 0 25 0 4 0 495451511 402595840 23427 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=393160 CPUtime=6.26 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 11830 0 0 0 621 5 0 0 25 0 4 0 495451511 402595840 23427 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=393160 CPUtime=6.26 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 8665 0 0 0 623 3 0 0 25 0 4 0 495451511 402595840 23427 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.04 Current children cumulated vsize (KiB) 393160 [startup+12.7007 s] /proc/loadavg: 7.72 8.09 6.76 9/184 24907 /proc/meminfo: memFree=24855368/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=512444 CPUtime=50.58 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 101464 0 4 0 5028 30 0 0 25 0 4 0 495451508 524742656 63580 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 128111 63580 390 106 0 123082 0 [pid=24903/tid=24905] ppid=24901 vsize=512444 CPUtime=12.59 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 33627 0 0 0 1251 8 0 0 25 0 4 0 495451511 524742656 63580 33554432000 4194304 4627427 140736868229440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=512444 CPUtime=12.66 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 22433 0 0 0 1258 8 0 0 25 0 4 0 495451511 524742656 63580 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=512444 CPUtime=12.66 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 14214 0 0 0 1262 4 0 0 25 0 4 0 495451511 524742656 63580 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (KiB) 512444 [startup+25.5004 s] /proc/loadavg: 7.78 8.08 6.78 9/184 24907 /proc/meminfo: memFree=24773408/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=605804 CPUtime=101.71 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 154152 0 4 0 10126 45 0 0 25 0 4 0 495451508 620343296 82415 33554432000 4194304 4627427 140736868229440 18446744073709551615 4310370 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 151451 82415 390 106 0 146422 0 [pid=24903/tid=24905] ppid=24901 vsize=605804 CPUtime=25.32 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 44441 0 0 0 2520 12 0 0 25 0 4 0 495451511 620343296 82415 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=605804 CPUtime=25.45 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 32720 0 0 0 2534 11 0 0 25 0 4 0 495451511 620343296 82415 33554432000 4194304 4627427 140736868229440 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=605804 CPUtime=25.45 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 33130 0 0 0 2537 8 0 0 25 0 4 0 495451511 620343296 82415 33554432000 4194304 4627427 140736868229440 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.71 Current children cumulated vsize (KiB) 605804 [startup+51.1007 s] /proc/loadavg: 7.85 8.08 6.81 9/184 24908 /proc/meminfo: memFree=24635768/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=817404 CPUtime=203.96 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 231763 0 4 0 20329 67 0 0 25 0 4 0 495451508 837021696 125211 33554432000 4194304 4627427 140736868229440 18446744073709551615 4467719 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 204351 125211 390 106 0 199322 0 [pid=24903/tid=24905] ppid=24901 vsize=817404 CPUtime=50.78 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 59423 0 0 0 5061 17 0 0 25 0 4 0 495451511 837021696 125211 33554432000 4194304 4627427 140736868229440 18446744073709551615 4407093 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=817404 CPUtime=51.05 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 53327 0 0 0 5087 18 0 0 25 0 4 0 495451511 837021696 125211 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=817404 CPUtime=51.04 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 44198 0 0 0 5093 11 0 0 25 0 4 0 495451511 837021696 125211 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 203.96 Current children cumulated vsize (KiB) 817404 [startup+102.3 s] /proc/loadavg: 7.98 8.08 6.88 9/184 24909 /proc/meminfo: memFree=24482964/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1019204 CPUtime=408.47 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 331630 0 4 0 40747 100 0 0 25 0 4 0 495451508 1043664896 152290 33554432000 4194304 4627427 140736868229440 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 254801 152290 390 106 0 249772 0 [pid=24903/tid=24905] ppid=24901 vsize=1019204 CPUtime=101.7 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 78484 0 0 0 10146 24 0 0 25 0 4 0 495451511 1043664896 152290 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1019204 CPUtime=102.25 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 80860 0 0 0 10198 27 0 0 25 0 4 0 495451511 1043664896 152290 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1019204 CPUtime=102.23 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 69851 0 0 0 10203 20 0 0 25 0 4 0 495451511 1043664896 152290 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.47 Current children cumulated vsize (KiB) 1019204 [startup+162.3 s] /proc/loadavg: 8.07 8.09 6.95 9/184 24911 /proc/meminfo: memFree=24339332/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1032012 CPUtime=648.13 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 458605 0 4 0 64671 142 0 0 25 0 4 0 495451508 1056780288 168204 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 258003 168204 391 106 0 252974 0 [pid=24903/tid=24905] ppid=24901 vsize=1032012 CPUtime=161.37 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 110535 0 0 0 16103 34 0 0 25 0 4 0 495451511 1056780288 168204 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1032012 CPUtime=162.25 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 110645 0 0 0 16189 36 0 0 25 0 4 0 495451511 1056780288 168204 33554432000 4194304 4627427 140736868229440 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1032012 CPUtime=162.23 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 100681 0 0 0 16191 32 0 0 25 0 4 0 495451511 1056780288 168204 33554432000 4194304 4627427 140736868229440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 648.13 Current children cumulated vsize (KiB) 1032012 [startup+222.3 s] /proc/loadavg: 8.02 8.07 7.02 9/184 24912 /proc/meminfo: memFree=24343492/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=908584 CPUtime=887.79 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 579376 0 4 0 88596 183 0 0 25 0 4 0 495451508 930390016 172554 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308117 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 227146 172554 391 106 0 222117 0 [pid=24903/tid=24905] ppid=24901 vsize=908584 CPUtime=221.05 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 139349 0 0 0 22060 45 0 0 25 0 4 0 495451511 930390016 172554 33554432000 4194304 4627427 140736868229440 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=908584 CPUtime=222.25 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 143136 0 0 0 22178 47 0 0 25 0 4 0 495451511 930390016 172554 33554432000 4194304 4627427 140736868229440 18446744073709551615 4332184 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=908584 CPUtime=222.22 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 128024 0 0 0 22181 41 0 0 25 0 4 0 495451511 930390016 172555 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 887.79 Current children cumulated vsize (KiB) 908584 [startup+282.3 s] /proc/loadavg: 8.01 8.05 7.07 9/184 24914 /proc/meminfo: memFree=24234084/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1063256 CPUtime=1127.47 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 703485 0 4 0 112521 226 0 0 25 0 4 0 495451508 1088774144 189151 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 265814 189151 390 106 0 260785 0 [pid=24903/tid=24905] ppid=24901 vsize=1063256 CPUtime=280.72 cores=1,3,5,7 ################ # More data... # ################ [pid=24903] ppid=24901 vsize=1178444 CPUtime=2565.39 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 1408462 0 4 0 256062 477 0 0 19 0 4 0 495451508 1206726656 207031 33554432000 4194304 4627427 140736868229440 18446744073709551615 228095111304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 294611 207031 390 106 0 289582 0 [pid=24903/tid=24905] ppid=24901 vsize=1178444 CPUtime=638.74 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 342444 0 0 0 63758 116 0 0 25 0 4 0 495451511 1206726656 207031 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1178444 CPUtime=642.24 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 363005 0 0 0 64096 128 0 0 25 0 4 0 495451511 1206726656 207031 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1178444 CPUtime=642.15 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 331370 0 0 0 64102 113 0 0 25 0 4 0 495451511 1206726656 207031 33554432000 4194304 4627427 140736868229440 18446744073709551615 4310406 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2565.39 Current children cumulated vsize (KiB) 1178444 [startup+702.3 s] /proc/loadavg: 8.05 8.09 7.44 9/184 24925 /proc/meminfo: memFree=23931864/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1298320 CPUtime=2805.05 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 1521254 0 4 0 279985 520 0 0 25 0 4 0 495451508 1329479680 217498 33554432000 4194304 4627427 140736868229440 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 324580 217498 390 106 0 319551 0 [pid=24903/tid=24905] ppid=24901 vsize=1298320 CPUtime=698.41 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 370680 0 0 0 69715 126 0 0 25 0 4 0 495451511 1329479680 217498 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1298320 CPUtime=702.24 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 391015 0 0 0 70085 139 0 0 25 0 4 0 495451511 1329479680 217498 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1298320 CPUtime=702.13 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 359530 0 0 0 70090 123 0 0 25 0 4 0 495451511 1329479680 217498 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.05 Current children cumulated vsize (KiB) 1298320 [startup+762.3 s] /proc/loadavg: 8.02 8.07 7.47 9/184 24927 /proc/meminfo: memFree=23830156/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1365928 CPUtime=3044.7 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 1647063 0 4 0 303905 565 0 0 25 0 4 0 495451508 1398710272 238875 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 341482 238875 390 106 0 336453 0 [pid=24903/tid=24905] ppid=24901 vsize=1365928 CPUtime=758.08 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 398396 0 0 0 75669 139 0 0 25 0 4 0 495451511 1398710272 238876 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1365928 CPUtime=762.24 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 433489 0 0 0 76073 151 0 0 25 0 4 0 495451511 1398710272 238876 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1365928 CPUtime=762.13 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 387236 0 0 0 76079 134 0 0 25 0 4 0 495451511 1398710272 238876 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.7 Current children cumulated vsize (KiB) 1365928 [startup+822.3 s] /proc/loadavg: 7.89 8.01 7.48 9/184 24959 /proc/meminfo: memFree=25306796/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1367580 CPUtime=3284.37 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 1757192 0 4 0 327829 608 0 0 25 0 4 0 495451508 1400401920 241769 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 341895 241769 390 106 0 336866 0 [pid=24903/tid=24905] ppid=24901 vsize=1367580 CPUtime=817.75 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 426037 0 0 0 81626 149 0 0 25 0 4 0 495451511 1400401920 241769 33554432000 4194304 4627427 140736868229440 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1367580 CPUtime=822.24 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 460718 0 0 0 82061 163 0 0 25 0 4 0 495451511 1400401920 241769 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1367580 CPUtime=822.12 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 414741 0 0 0 82067 145 0 0 25 0 4 0 495451511 1400401920 241769 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.37 Current children cumulated vsize (KiB) 1367580 [startup+882.3 s] /proc/loadavg: 7.96 8.00 7.51 9/184 24961 /proc/meminfo: memFree=24977512/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1526544 CPUtime=3524.03 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 1920507 0 4 0 351745 658 0 0 25 0 4 0 495451508 1563181056 306717 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 381636 306717 390 106 0 376607 0 [pid=24903/tid=24905] ppid=24901 vsize=1526544 CPUtime=877.42 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 475952 0 0 0 87579 163 0 0 25 0 4 0 495451511 1563181056 306717 33554432000 4194304 4627427 140736868229440 18446744073709551615 4503095 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1526544 CPUtime=882.23 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 487185 0 0 0 88049 174 0 0 25 0 4 0 495451511 1563181056 306717 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1526544 CPUtime=882.12 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 458444 0 0 0 88054 158 0 0 25 0 4 0 495451511 1563181056 306717 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.03 Current children cumulated vsize (KiB) 1526544 [startup+942.301 s] /proc/loadavg: 8.04 8.02 7.55 9/184 24963 /proc/meminfo: memFree=24820488/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1514164 CPUtime=3763.71 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 2026646 0 4 0 375675 696 0 0 25 0 4 0 495451508 1550503936 314058 33554432000 4194304 4627427 140736868229440 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 378541 314058 390 106 0 373512 0 [pid=24903/tid=24905] ppid=24901 vsize=1514164 CPUtime=937.09 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 502758 0 0 0 93538 171 0 0 25 0 4 0 495451511 1550503936 314058 33554432000 4194304 4627427 140736868229440 18446744073709551615 4332749 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1514164 CPUtime=942.24 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 513931 0 0 0 94039 185 0 0 25 0 4 0 495451511 1550503936 314058 33554432000 4194304 4627427 140736868229440 18446744073709551615 4527237 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1514164 CPUtime=942.13 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 485200 0 0 0 94044 169 0 0 25 0 4 0 495451511 1550503936 314058 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3763.71 Current children cumulated vsize (KiB) 1514164 [startup+1002.3 s] /proc/loadavg: 8.06 8.03 7.58 9/184 24964 /proc/meminfo: memFree=24776276/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1515512 CPUtime=4003.35 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 2132644 0 4 0 399597 738 0 0 25 0 4 0 495451508 1551884288 319496 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 378878 319496 390 106 0 373849 0 [pid=24903/tid=24905] ppid=24901 vsize=1515512 CPUtime=996.76 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 529771 0 0 0 99493 183 0 0 25 0 4 0 495451511 1551884288 319496 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1515512 CPUtime=1002.22 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 539263 0 0 0 100029 193 0 0 25 0 4 0 495451511 1551884288 319496 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1515512 CPUtime=1002.11 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 511561 0 0 0 100032 179 0 0 25 0 4 0 495451511 1551884288 319496 33554432000 4194304 4627427 140736868229440 18446744073709551615 4302428 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.35 Current children cumulated vsize (KiB) 1515512 [startup+1062.31 s] /proc/loadavg: 8.06 8.03 7.60 9/184 24966 /proc/meminfo: memFree=24657924/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1571808 CPUtime=4243.03 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 2237177 0 4 0 423521 782 0 0 25 0 4 0 495451508 1609531392 320909 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 392952 320909 390 106 0 387923 0 [pid=24903/tid=24905] ppid=24901 vsize=1571808 CPUtime=1056.43 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 556169 0 0 0 105450 193 0 0 25 0 4 0 495451511 1609531392 320909 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1571808 CPUtime=1062.23 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 565538 0 0 0 106019 204 0 0 25 0 4 0 495451511 1609531392 320909 33554432000 4194304 4627427 140736868229440 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1571808 CPUtime=1062.12 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 536954 0 0 0 106022 190 0 0 25 0 4 0 495451511 1609531392 320909 33554432000 4194304 4627427 140736868229440 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.03 Current children cumulated vsize (KiB) 1571808 [startup+1122.3 s] /proc/loadavg: 8.10 8.05 7.64 9/184 24967 /proc/meminfo: memFree=24562632/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1704000 CPUtime=4482.67 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 2349262 0 4 0 447443 824 0 0 25 0 4 0 495451508 1744896000 340682 33554432000 4194304 4627427 140736868229440 18446744073709551615 4321761 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 426000 340682 390 106 0 420971 0 [pid=24903/tid=24905] ppid=24901 vsize=1704000 CPUtime=1116.1 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 585214 0 0 0 111405 205 0 0 25 0 4 0 495451511 1744896000 340682 33554432000 4194304 4627427 140736868229440 18446744073709551615 4428398 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1704000 CPUtime=1122.22 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 590510 0 0 0 112007 215 0 0 25 0 4 0 495451511 1744896000 340682 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1704000 CPUtime=1122.1 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 567185 0 0 0 112009 201 0 0 25 0 4 0 495451511 1744896000 340682 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4482.67 Current children cumulated vsize (KiB) 1704000 [startup+1182.3 s] /proc/loadavg: 8.06 8.05 7.66 9/184 24969 /proc/meminfo: memFree=24444540/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1771104 CPUtime=4722.33 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 2465926 0 4 0 471369 864 0 0 25 0 4 0 495451508 1813610496 364687 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 442776 364687 422 106 0 437747 0 [pid=24903/tid=24905] ppid=24901 vsize=1771104 CPUtime=1175.77 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 610956 0 0 0 117362 215 0 0 25 0 4 0 495451511 1813610496 364687 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1771104 CPUtime=1182.22 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 630690 0 0 0 117995 227 0 0 25 0 4 0 495451511 1813610496 364687 33554432000 4194304 4627427 140736868229440 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1771104 CPUtime=1182.1 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 591645 0 0 0 117999 211 0 0 25 0 4 0 495451511 1813610496 364687 33554432000 4194304 4627427 140736868229440 18446744073709551615 4330000 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.33 Current children cumulated vsize (KiB) 1771104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.8 s] /proc/loadavg: 8.05 8.05 7.67 9/184 24970 /proc/meminfo: memFree=24466232/32951124 swapFree=67111524/67111528 [pid=24903] ppid=24901 vsize=1660160 CPUtime=4800.24 cores=1,3,5,7 /proc/24903/stat : 24903 (strangenight2-m) R 24901 24903 24690 0 -1 4202496 2495799 0 4 0 479148 876 0 0 25 0 4 0 495451508 1700003840 346826 33554432000 4194304 4627427 140736868229440 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 1 /proc/24903/statm: 415040 346826 422 106 0 410011 0 [pid=24903/tid=24905] ppid=24901 vsize=1660160 CPUtime=1195.16 cores=1,3,5,7 /proc/24903/task/24905/stat : 24905 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 617824 0 0 0 119299 217 0 0 25 0 4 0 495451511 1700003840 346828 33554432000 4194304 4627427 140736868229440 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=24903/tid=24906] ppid=24901 vsize=1660160 CPUtime=1201.72 cores=1,3,5,7 /proc/24903/task/24906/stat : 24906 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 636215 0 0 0 119943 229 0 0 25 0 4 0 495451511 1700003840 346828 33554432000 4194304 4627427 140736868229440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=24903/tid=24907] ppid=24901 vsize=1660160 CPUtime=1201.6 cores=1,3,5,7 /proc/24903/task/24907/stat : 24907 (strangenight2-m) R 24901 24903 24690 0 -1 4202560 600658 0 0 0 119946 214 0 0 25 0 4 0 495451511 1700003840 346828 33554432000 4194304 4627427 140736868229440 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.24 Current children cumulated vsize (KiB) 1660160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.88 CPU time (s): 4800.34 CPU user time (s): 4791.5 CPU system time (s): 8.83166 CPU usage (%): 399.403 Max. virtual memory (cumulated for all children) (KiB): 1771272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.5 system time used= 8.83166 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2495812 page faults= 4 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5802 involuntary context switches= 33698 runsolver used 1.91871 second user time and 4.66729 second system time The end
Begin job on node142 at 2011-04-29 00:39:20 IDJOB=3173749 IDBENCH=82567 IDSOLVER=1586 FILE ID=node142/3173749-1304030360 RUNJOBID= node142-1304028687-24709 PBS_JOBID= 13170310 Free space on /tmp= 71288 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173749-1304030360/watcher-3173749-1304030360 -o /tmp/evaluation-result-3173749-1304030360/solver-3173749-1304030360 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173749-1304030360.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 211de71ef1119669a20965247c8273d8 RANDOM SEED=1632205929 node142.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 : 5131.95 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.67 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.81 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.82 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25047816 kB Buffers: 1614356 kB Cached: 3941992 kB SwapCached: 4 kB Active: 2328888 kB Inactive: 5030588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25047816 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 15864 kB Writeback: 0 kB AnonPages: 1803244 kB Mapped: 15524 kB Slab: 473800 kB PageTables: 8440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2208208 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= 71300 MiB End job on node142 at 2011-04-29 00:59:24