Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.45 | 1202.97 |
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.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3366158-1305397401.cnf' 0.00/0.01 c -- header says num vars: 15000 0.00/0.01 c -- header says num clauses: 63000 0.40/0.12 c -- clauses added: 0 learnts, 63000 normals, 0 xors 0.40/0.12 c -- vars added 15000 0.40/0.12 c Parsing time: 0.03 s 0.40/0.12 c N st 0 0 15000 63000 0 0 189000 0 no data no data 0.40/0.12 c asymm cl-useful: 0/63000/63000 lits-rem:0 time: 0.05 0.40/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 0.40/0.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.40/0.16 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.40/0.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.40/0.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15000 time: 0.00 s 0.40/0.16 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 0.78/1.00 c lits-rem: 0 cl-subs: 0 v-elim: 404 v-fix: 0 time: 0.09 s 0.78/1.00 c Finding binary XORs T: 0.00 s found: 0 0.78/1.00 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.78/1.00 c calculated reachability. Time: 0.00 0.78/1.00 c Calc default polars - time: 0.00 s pos: 6679 undec: 1639 neg: 6682 0.78/1.00 c ========================================================================================= 0.78/1.00 c types(t): F = full restart, N = normal restart 0.78/1.00 c types(t): S = simplification begin/end, E = solution found 0.78/1.00 c restart types(rt): st = static, dy = dynamic 0.78/1.00 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.78/1.00 c B st 0 0 14596 62572 0 0 190292 0 no data no data 4.76/1.20 c N dy 19 4105 14596 62572 0 4103 190292 820418 113.84 126.52 7.95/2.10 c N dy 46 8283 14596 62572 0 8281 190292 1548258 112.07 122.71 11.99/3.04 c N dy 72 12358 14596 62572 0 12355 190292 2269939 112.24 119.07 15.95/4.01 c N dy 98 16386 14596 62572 0 16383 190292 2981791 112.58 119.89 19.92/5.06 c N dy 120 20530 14596 62572 0 10534 190292 593340 111.73 118.84 23.91/6.01 c N dy 147 24554 14596 62572 0 14558 190292 1315987 112.29 131.76 24.31/6.13 c F st 150 25000 14596 62572 0 15004 190292 1399064 112.39 no data 29.54/7.48 c N dy 156 30001 14596 62572 0 20004 190292 2615719 112.39 no data 29.54/7.48 c S st 156 30001 14596 62572 0 20004 190292 2615719 112.39 no data 30.29/7.61 c S st 156 30504 14596 62572 0 20507 190292 2678833 112.39 no data 30.29/7.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 30.29/7.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 30.29/7.67 c blocked clauses removed: 281 vars: 41 tried: 14596 T: 0.01 s 30.29/7.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 30.29/7.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 30.29/7.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14555 time: 0.00 s 30.29/7.69 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 30.69/7.75 c lits-rem: 0 cl-subs: 0 v-elim: 7 v-fix: 0 time: 0.06 s 31.49/7.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 34.29/8.61 c lits-rem: 12 cl-subs: 7 v-elim: 0 v-fix: 0 time: 0.64 s 34.29/8.69 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.08 34.29/8.69 c calculated reachability. Time: 0.00 34.29/8.69 c N dy 156 30504 14548 62284 0 20405 189473 2651702 112.39 no data 39.07/9.82 c N dy 184 34631 14548 62284 0 24532 189473 3401755 112.54 120.08 43.46/10.95 c N dy 207 38659 14548 62284 0 28560 189473 4117826 112.49 119.67 47.85/12.08 c N dy 231 42694 14548 62284 0 17144 189473 926837 112.50 156.94 51.07/12.87 c S st 253 45758 14548 62284 0 20208 189473 1474709 112.46 no data 51.85/13.01 c S st 253 46263 14548 62284 0 20713 189473 1537591 112.46 no data 51.85/13.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 51.85/13.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 51.85/13.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 51.85/13.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 51.85/13.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 51.85/13.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 51.85/13.09 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 52.24/13.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 52.64/13.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 53.45/13.43 c lits-rem: 4 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.20 s 53.45/13.44 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 53.45/13.46 c vivif2 -- cl tried 20712 cl shrink 0 lits rem 0 time: 0.02 53.85/13.54 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.08 53.85/13.54 c calculated reachability. Time: 0.00 53.85/13.54 c N dy 253 46263 14548 62284 0 20712 189473 1536727 112.46 no data 58.23/14.61 c N dy 281 50335 14548 62284 0 24784 189473 2265808 112.73 122.72 62.62/15.72 c N dy 306 54409 14548 62284 0 28858 189473 2975295 112.52 119.91 67.01/16.86 c N dy 337 58423 14548 62284 0 32872 189473 3695962 112.81 124.26 71.80/18.07 c N dy 367 62585 14548 62284 0 37034 189473 4455204 112.93 126.52 76.19/19.15 c N dy 390 66672 14548 62284 0 22395 189473 1222612 112.63 118.76 78.98/19.89 c S st 407 69394 14548 62284 0 25117 189473 1713584 112.61 no data 79.78/20.03 c S st 407 69896 14548 62284 0 25619 189473 1773514 112.61 no data 79.78/20.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 79.78/20.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 79.78/20.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 80.18/20.10 c bin-w-bin subsume rem 0 bins time: 0.00 s 80.18/20.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 80.18/20.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 80.18/20.11 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 80.18/20.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 80.58/20.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 81.79/20.56 c lits-rem: 2 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.29 s 81.79/20.57 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 81.79/20.59 c vivif2 -- cl tried 25618 cl shrink 0 lits rem 0 time: 0.03 82.21/20.68 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.08 82.21/20.68 c calculated reachability. Time: 0.00 82.21/20.68 c N dy 407 69896 14548 62284 0 25618 189473 1773473 112.61 no data 87.36/21.95 c N dy 439 74459 14548 62284 0 30180 189473 2602887 112.72 122.14 92.94/23.37 c N dy 475 79356 14548 62284 0 35077 189473 3493496 112.88 120.67 99.35/24.93 c N dy 509 84666 14548 62284 0 40386 189473 4447192 112.90 122.07 102.53/25.76 c F st 528 87501 14548 62284 0 22362 189473 826478 112.93 no data 106.52/26.71 c N st 533 90799 14548 62284 0 25660 189473 1547385 112.93 no data 113.30/28.40 c N dy 560 96651 14548 62284 0 31511 189473 2754964 112.84 120.44 120.49/30.24 c N dy 603 102936 14548 62284 0 37795 189473 3885069 112.91 120.17 122.88/30.83 c S st 619 104844 14548 62284 0 39703 189473 4243374 113.16 no data 123.28/30.99 c S st 619 105348 14548 62284 0 40207 189473 4314139 113.16 no data 123.68/31.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 123.68/31.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.05 123.68/31.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 123.68/31.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 123.68/31.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 123.68/31.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 123.68/31.09 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 124.08/31.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 124.88/31.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 132.86/33.33 c lits-rem: 10 cl-subs: 4 v-elim: 0 v-fix: 0 time: 1.93 s 132.86/33.34 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 133.26/33.40 c vivif2 -- cl tried 40203 cl shrink 0 lits rem 0 time: 0.06 133.65/33.51 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.10 133.65/33.51 c calculated reachability. Time: 0.00 133.65/33.51 c N dy 619 105348 14548 62284 0 40203 189473 4312831 113.16 no data 141.63/35.59 c N dy 665 112090 14548 62284 0 24514 189473 916025 113.13 120.46 150.01/37.65 c N dy 711 119295 14548 62284 0 31719 189473 2191304 113.03 120.68 159.19/39.91 c N dy 763 126930 14548 62284 0 39354 189473 3578587 113.23 124.82 169.17/42.42 c N dy 818 135031 14548 62284 0 23737 189473 505742 113.17 119.45 178.78/44.88 c N dy 878 143809 14548 62284 0 32513 189473 2092002 113.19 120.70 189.92/47.65 c N dy 945 153079 14548 62284 0 41781 189473 3774179 113.46 126.07 195.92/49.17 c S st 975 158024 14548 62284 0 46726 189473 4663107 113.47 no data 196.71/49.34 c S st 975 158527 14548 62284 0 47229 189473 4732083 113.47 no data 196.71/49.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 197.10/49.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 197.10/49.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 197.10/49.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 197.10/49.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 197.10/49.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 197.10/49.45 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 197.50/49.53 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 198.30/49.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 209.87/52.67 c lits-rem: 2 cl-subs: 4 v-elim: 0 v-fix: 0 time: 2.91 s 209.87/52.68 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 210.27/52.75 c vivif2 -- cl tried 47225 cl shrink 0 lits rem 0 time: 0.07 210.67/52.87 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.11 210.67/52.87 c calculated reachability. Time: 0.00 210.67/52.87 c N dy 975 158527 14548 62284 0 47225 189473 4731724 113.47 no data 222.68/55.86 c N dy 1037 168695 14548 62284 0 32535 189473 1844854 113.43 120.75 235.85/59.12 c N dy 1105 179463 14548 62284 0 43301 189473 3791981 113.42 121.66 250.18/62.71 c N dy 1185 191001 14548 62284 0 28914 189473 1005442 113.71 167.10 264.55/66.32 c N dy 1268 203331 14548 62284 0 41244 189473 3240144 113.83 129.85 281.32/70.51 c N dy 1358 216324 14548 62284 0 27274 189473 500665 113.95 121.46 297.31/74.57 c N dy 1451 230156 14548 62284 0 41104 189473 3043418 114.11 120.96 306.84/76.91 c S st 1497 237794 14548 62284 0 48741 189473 4412196 114.07 111.00 307.24/77.08 c S st 1497 238295 14548 62284 0 49242 189473 4481909 114.07 no data 307.24/77.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 307.64/77.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 307.64/77.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 307.64/77.17 c bin-w-bin subsume rem 0 bins time: 0.00 s 307.64/77.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 307.64/77.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 307.64/77.18 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 308.04/77.27 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 308.84/77.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 320.82/80.44 c lits-rem: 20 cl-subs: 8 v-elim: 0 v-fix: 0 time: 2.97 s 320.82/80.44 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 321.22/80.51 c vivif2 -- cl tried 49234 cl shrink 0 lits rem 0 time: 0.07 321.62/80.63 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.12 321.62/80.63 c calculated reachability. Time: 0.00 321.62/80.63 c N dy 1497 238295 14548 62284 0 49234 189473 4477757 114.07 no data 340.37/85.37 c N dy 1595 253581 14548 62284 0 36546 189473 2005010 114.09 149.77 361.53/90.66 c N dy 1708 269789 14548 62284 0 52754 189473 4981697 114.18 129.12 383.47/96.10 c N dy 1827 287085 14548 62284 0 41059 189473 2635356 114.28 120.79 406.64/102.00 c N dy 1934 305420 14548 62284 0 59393 189473 5968080 114.19 122.26 408.22/102.33 c F st 1941 306251 14548 62284 0 30228 189473 467525 114.20 92.77 431.36/108.14 c N dy 2039 325158 14548 62284 0 49133 189473 4154547 114.23 122.42 457.30/114.64 c N dy 2176 345250 14548 62284 0 38228 189473 1729939 114.26 121.69 472.49/118.41 c S st 2256 357442 14548 62284 0 50419 189473 3905754 114.24 no data 472.91/118.58 c S st 2256 357946 14548 62284 0 50923 189473 3973625 114.24 no data 472.91/118.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 473.27/118.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 473.27/118.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 473.27/118.67 c bin-w-bin subsume rem 0 bins time: 0.00 s 473.27/118.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 473.27/118.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 473.27/118.69 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 473.67/118.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 474.47/118.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 485.24/121.64 c lits-rem: 5 cl-subs: 5 v-elim: 0 v-fix: 0 time: 2.69 s 485.24/121.65 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 485.65/121.71 c vivif2 -- cl tried 50918 cl shrink 0 lits rem 0 time: 0.06 486.07/121.83 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.12 486.07/121.83 c calculated reachability. Time: 0.00 486.07/121.84 c N dy 2256 357946 14548 62284 0 50918 189473 3971485 114.24 no data 513.17/128.68 c N dy 2402 377987 14548 62284 0 38963 189473 1735774 114.39 121.16 539.91/135.32 c N dy 2538 398062 14548 62284 0 59037 189473 5458380 114.50 122.48 565.84/141.81 c N dy 2666 418148 14548 62284 0 46124 189473 2795061 114.53 121.69 592.99/148.65 c N dy 2799 438357 14548 62284 0 66332 189473 6504750 114.55 122.64 618.53/155.01 c N dy 2932 458393 14548 62284 0 52369 189473 3753590 114.55 127.59 645.67/161.84 c N dy 3059 478461 14548 62284 0 37434 189473 857643 114.52 121.75 671.20/168.29 c N dy 3186 498511 14548 62284 0 57483 189473 4527486 114.54 164.79 698.74/175.19 c N dy 3317 518624 14548 62284 0 41604 189473 1461457 114.56 121.71 722.71/181.17 c S st 3438 536920 14548 62284 0 59898 189473 4788618 114.58 no data 723.48/181.37 c S st 3438 537422 14548 62284 0 60400 189473 4858957 114.58 no data 723.48/181.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 723.88/181.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.07 723.88/181.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 723.88/181.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 723.88/181.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 723.88/181.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 723.88/181.49 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 724.28/181.57 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 725.08/181.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 735.87/184.42 c lits-rem: 7 cl-subs: 1 v-elim: 0 v-fix: 0 time: 2.63 s 735.87/184.43 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 735.87/184.50 c vivif2 -- cl tried 60399 cl shrink 0 lits rem 0 time: 0.07 736.65/184.63 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.13 736.65/184.64 c calculated reachability. Time: 0.00 736.65/184.64 c N dy 3438 537422 14548 62284 0 60399 189473 4858311 114.58 no data 764.99/191.75 c N dy 3579 557539 14548 62284 0 43518 189473 1632798 114.67 123.58 791.73/198.43 c N dy 3712 577579 14548 62284 0 63557 189473 5280980 114.68 130.37 819.28/205.37 c N dy 3838 597726 14548 62284 0 45704 189473 1841870 114.65 120.70 846.39/212.16 c N dy 3979 617838 14548 62284 0 65816 189473 5518827 114.69 122.75 874.74/219.27 c N dy 4117 637867 14548 62284 0 46842 189473 1872672 114.74 122.90 901.87/226.09 c N dy 4247 658074 14548 62284 0 67048 189473 5615050 114.82 124.61 931.80/233.53 c N dy 4381 678094 14548 62284 0 47069 189473 1746336 114.86 122.43 959.76/240.58 c N dy 4522 698220 14548 62284 0 67190 189473 5463152 114.95 124.62 988.47/247.78 c N dy 4641 718269 14548 62284 0 46246 189473 1399802 114.90 124.39 1015.61/254.59 c N dy 4768 738332 14548 62284 0 66307 189473 5056978 114.88 121.44 1045.93/262.18 c N dy 4904 758533 14548 62284 0 44510 189473 897364 114.86 128.83 1073.48/269.07 c N dy 5038 778732 14548 62284 0 64707 189473 4602537 114.88 124.58 1103.80/276.66 c N dy 5167 798893 14548 62284 0 84866 189473 8302357 114.91 126.19 1113.81/279.17 c S st 5218 806133 14548 62284 0 49108 189473 1555353 114.90 no data 1114.57/279.34 c S st 5218 806638 14548 62284 0 49613 189473 1615175 114.90 no data 1114.57/279.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1114.98/279.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 1114.98/279.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1114.98/279.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 1114.98/279.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1114.98/279.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 1114.98/279.45 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1115.38/279.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 1115.38/279.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1117.79/280.18 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.59 s 1117.79/280.19 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 1118.20/280.22 c vivif2 -- cl tried 49612 cl shrink 0 lits rem 0 time: 0.03 1118.56/280.33 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.12 1118.56/280.34 c calculated reachability. Time: 0.00 1118.56/280.34 c N dy 5218 806638 14548 62284 0 49612 189473 1615056 114.90 no data 1146.50/287.39 c N dy 5361 826659 14548 62284 0 69632 189473 5314498 114.94 124.04 1178.44/295.35 c N dy 5499 846713 14548 62284 0 45689 189473 751225 114.96 121.04 1206.00/302.26 c N dy 5636 866886 14548 62284 0 65858 189473 4446420 115.00 123.10 1235.90/309.79 c N dy 5764 886898 14548 62284 0 85869 189473 8145249 115.00 122.27 1264.22/316.86 c N dy 5898 907006 14548 62284 0 60976 189473 3352036 115.04 124.79 1293.79/324.27 c N dy 6023 927072 14548 62284 0 81040 189473 7037478 115.03 122.17 1323.70/331.74 c N dy 6165 947089 14548 62284 0 55062 189473 2166778 115.10 149.84 1353.22/339.12 c N dy 6291 967490 14548 62284 0 75461 189473 5947633 115.12 121.93 1384.75/347.09 c N dy 6423 987641 14548 62284 0 48623 189473 742910 115.12 121.92 1412.68/354.07 c N dy 6557 1007731 14548 62284 0 68712 189473 4411101 115.14 153.84 1443.80/361.86 c N dy 6690 1027765 14548 62284 0 88744 189473 8129751 115.18 157.16 1473.35/369.26 c N dy 6824 1047866 14548 62284 0 60841 189473 2837110 115.21 124.48 1503.27/376.77 c N dy 6963 1067949 14548 62284 0 80921 189473 6595575 115.27 131.23 1509.65/378.32 c F st 6990 1071876 14548 62284 0 84848 189473 7347828 115.28 no data 1535.59/384.80 c N dy 7073 1088163 14548 62284 0 52138 189473 1029662 115.30 122.23 1564.33/392.00 c N dy 7211 1108179 14548 62284 0 72154 189473 4760921 115.34 123.41 1595.46/399.83 c N dy 7337 1128263 14548 62284 0 92237 189473 8520774 115.37 123.19 1625.38/407.31 c N dy 7473 1148284 14548 62284 0 62259 189473 2746469 115.39 123.86 1655.71/414.92 c N dy 7607 1168297 14548 62284 0 82268 189473 6473322 115.41 122.35 1689.23/423.36 c N dy 7739 1188397 14548 62284 0 51379 189473 561292 115.44 124.11 1719.19/430.83 c N dy 7877 1208478 14548 62284 0 71457 189473 4284151 115.49 125.84 1721.17/431.39 c S st 7888 1209958 14548 62284 0 72937 189473 4559992 115.50 100.78 1722.37/431.61 c S st 7888 1210463 14548 62284 0 73442 189473 4615208 115.50 no data 1722.37/431.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1722.77/431.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.08 1722.77/431.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1722.77/431.73 c bin-w-bin subsume rem 0 bins time: 0.00 s 1722.77/431.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1722.77/431.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 1722.77/431.74 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1723.17/431.83 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 1724.00/432.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1736.75/435.25 c lits-rem: 8 cl-subs: 4 v-elim: 0 v-fix: 0 time: 3.20 s 1736.75/435.26 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 1737.16/435.33 c vivif2 -- cl tried 73438 cl shrink 0 lits rem 0 time: 0.07 1737.52/435.48 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.15 1737.52/435.48 c calculated reachability. Time: 0.00 1737.52/435.48 c N dy 7888 1210463 14548 62284 0 73438 189473 4613660 115.50 no data 1769.84/443.57 c N dy 8032 1230536 14548 62284 0 93510 189473 8399799 115.55 137.84 1800.97/451.36 c N dy 8161 1250615 14548 62284 0 61597 189473 2246153 115.56 134.85 1830.91/458.88 c N dy 8292 1270698 14548 62284 0 81677 189473 5991204 115.58 123.13 1864.46/467.28 c N dy 8433 1290802 14548 62284 0 101780 189473 9736724 115.62 123.07 1894.36/474.70 c N dy 8559 1310899 14548 62284 0 68876 189473 3368868 115.61 131.17 1925.50/482.60 c N dy 8694 1330974 14548 62284 0 88950 189473 7085523 115.64 124.04 1960.20/491.30 c N dy 8830 1351027 14548 62284 0 55002 189473 685093 115.66 121.75 1988.93/498.48 c N dy 8956 1371040 14548 62284 0 75014 189473 4399094 115.68 139.10 2021.25/506.58 c N dy 9085 1391092 14548 62284 0 95062 189473 8133841 115.68 125.00 2053.98/514.79 c N dy 9207 1411100 14548 62284 0 60068 189473 1419085 115.67 121.99 2083.94/522.24 c N dy 9340 1431203 14548 62284 0 80169 189473 5112136 115.67 126.32 2117.04/530.57 c N dy 9471 1451206 14548 62284 0 100171 189473 8813516 115.68 122.16 2149.79/538.74 c N dy 9597 1471317 14548 62284 0 64285 189473 2014007 115.68 123.84 2180.10/546.38 c N dy 9731 1491376 14548 62284 0 84343 189473 5670517 115.68 126.71 2214.41/554.92 c N dy 9867 1511458 14548 62284 0 104424 189473 9370412 115.68 122.49 2246.37/562.98 c N dy 10000 1531592 14548 62284 0 67556 189473 2484494 115.68 126.09 2277.87/570.84 c N dy 10138 1551600 14548 62284 0 87562 189473 6165868 115.71 123.95 2312.57/579.52 c N dy 10273 1571688 14548 62284 0 107649 189473 9867762 115.73 127.01 2344.50/587.54 c N dy 10409 1591716 14548 62284 0 69684 189473 2668876 115.75 123.01 2375.63/595.35 c N dy 10531 1611830 14548 62284 0 89796 189473 6365959 115.74 123.76 2410.75/604.13 c N dy 10673 1631947 14548 62284 0 109910 189473 10130307 115.77 122.29 2442.68/612.14 c N dy 10803 1652019 14548 62284 0 70984 189473 2718954 115.76 122.65 2474.22/620.08 c N dy 10934 1672074 14548 62284 0 91035 189473 6458017 115.78 125.99 2508.92/628.76 c N dy 11062 1692092 14548 62284 0 111050 189473 10237760 115.80 130.77 2540.06/636.52 c S st 11181 1710466 14548 62284 0 69436 189473 2285159 115.80 no data 2540.84/636.72 c S st 11181 1710970 14548 62284 0 69940 189473 2352685 115.80 no data 2540.84/636.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2541.24/636.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.07 2541.24/636.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2541.24/636.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 2541.24/636.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2541.24/636.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 2541.24/636.85 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 2541.64/636.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 2542.04/637.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2548.03/638.57 c lits-rem: 6 cl-subs: 2 v-elim: 0 v-fix: 0 time: 1.53 s 2548.03/638.57 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 2548.43/638.61 c vivif2 -- cl tried 69938 cl shrink 0 lits rem 0 time: 0.04 2548.84/638.75 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.14 2548.84/638.76 c calculated reachability. Time: 0.00 2548.84/638.76 c N dy 11181 1710970 14548 62284 0 69938 189473 2351620 115.80 no data 2580.35/646.68 c N dy 11320 1731056 14548 62284 0 90021 189473 6084659 115.82 125.83 2615.86/655.53 c N dy 11453 1751211 14548 62284 0 110175 189473 9805267 115.84 123.50 2649.38/663.98 c N dy 11586 1771283 14548 62284 0 69248 189473 2051550 115.85 125.46 2680.94/671.84 c N dy 11725 1791301 14548 62284 0 89266 189473 5773516 115.87 124.99 2716.42/680.75 c N dy 11863 1811377 14548 62284 0 109338 189473 9499899 115.88 124.11 2751.54/689.53 c N dy 11995 1831391 14548 62284 0 67358 189473 1539865 115.90 126.05 2782.67/697.34 c N dy 12128 1851633 14548 62284 0 87599 189473 5355890 115.93 122.87 2819.39/706.51 c N dy 12269 1871827 14548 62284 0 107792 189473 9117631 115.95 122.20 2856.53/715.86 c N dy 12400 1891899 14548 62284 0 64871 189473 880398 115.94 126.34 2886.85/723.47 c N dy 12534 1912017 14548 62284 0 84988 189473 4614965 115.96 128.45 2921.55/732.13 c N dy 12676 1932061 14548 62284 0 105032 189473 8440685 115.99 122.54 2959.87/741.70 c N dy 12808 1952459 14548 62284 0 125428 189473 12290087 116.01 124.90 2990.99/749.57 c N dy 12944 1972490 14548 62284 0 81458 189473 3778794 116.03 124.21 3024.90/758.01 c N dy 13080 1992603 14548 62284 0 101568 189473 7467372 116.02 122.35 3062.02/767.35 c N dy 13212 2012678 14548 62284 0 121642 189473 11183837 116.04 122.31 3095.94/775.84 c N dy 13347 2032716 14548 62284 0 76680 189473 2746496 116.05 123.68 3127.88/783.85 c N dy 13468 2052781 14548 62284 0 96745 189473 6440698 116.04 122.23 3164.18/792.90 c N dy 13600 2072782 14548 62284 0 116746 189473 10158673 116.05 129.75 3200.90/802.11 c N dy 13726 2092859 14548 62284 0 70823 189473 1468366 116.05 129.61 3232.02/809.93 c N dy 13847 2113026 14548 62284 0 90985 189473 5168025 116.04 122.81 3266.74/818.68 c N dy 13979 2133065 14548 62284 0 111022 189473 8809553 116.03 125.30 3305.85/828.41 c N dy 14111 2153305 14548 62284 0 131259 189473 12579549 116.04 124.13 3338.18/836.51 c N dy 14250 2173512 14548 62284 0 84476 189473 3832069 116.06 127.20 3371.69/844.96 c N dy 14384 2193637 14548 62284 0 104601 189473 7557985 116.07 124.96 3406.01/853.55 c S st 14507 2210971 14548 62284 0 121935 189473 10755500 116.07 no data 3407.21/853.84 c S st 14507 2211478 14548 62284 0 122442 189473 10822349 116.07 no data 3407.21/853.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3407.61/853.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.12 3408.01/854.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3408.01/854.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 3408.01/854.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3408.01/854.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.00 s 3408.01/854.03 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 3408.41/854.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s 3410.80/854.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3437.54/861.49 c lits-rem: 11 cl-subs: 9 v-elim: 0 v-fix: 0 time: 6.71 s 3437.54/861.49 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 3438.34/861.67 c vivif2 -- cl tried 122433 cl shrink 0 lits rem 0 time: 0.18 3439.54/861.91 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.24 3439.54/861.92 c calculated reachability. Time: 0.00 3439.54/861.92 c N dy 14507 2211478 14548 62284 0 122433 189473 10819361 116.07 no data 3476.65/871.23 c N dy 14642 2231607 14548 62284 0 74564 189473 1769568 116.08 122.54 3508.58/879.29 c N dy 14780 2251724 14548 62284 0 94678 189473 5515895 116.08 124.61 3544.89/888.36 c N dy 14916 2271750 14548 62284 0 114702 189473 9266193 116.10 123.75 3584.00/898.19 c N dy 15045 2291833 14548 62284 0 134780 189473 12954966 116.10 124.65 3616.32/906.28 c N dy 15178 2311905 14548 62284 0 85856 189473 3677967 116.11 128.17 3651.08/914.93 c N dy 15312 2332198 14548 62284 0 106149 189473 7452788 116.12 122.60 3688.96/924.47 c N dy 15451 2352277 14548 62284 0 126228 189473 11237120 116.15 123.22 3726.85/933.92 c N dy 15587 2372335 14548 62284 0 76295 189473 1766771 116.16 125.34 3759.19/942.01 c N dy 15717 2392483 14548 62284 0 96443 189473 5511205 116.16 123.36 3795.11/951.07 c N dy 15848 2412561 14548 62284 0 116520 189473 9268587 116.17 136.56 3834.61/960.95 c N dy 15971 2432654 14548 62284 0 136611 189473 12968717 116.17 123.29 3868.93/969.51 c N dy 16103 2452726 14548 62284 0 85681 189473 3301866 116.18 124.90 3902.44/977.95 c N dy 16231 2472768 14548 62284 0 105720 189473 6982826 116.18 135.71 3940.38/987.45 c N dy 16367 2492848 14548 62284 0 125796 189473 10715504 116.18 124.74 3981.45/997.74 c N dy 16504 2512949 14548 62284 0 73906 189473 945193 116.19 123.09 4013.38/1005.79 c N dy 16639 2532999 14548 62284 0 93953 189473 4675048 116.19 124.99 4050.12/1014.91 c N dy 16776 2553091 14548 62284 0 114044 189473 8419669 116.20 134.77 4090.04/1024.98 c N dy 16913 2573118 14548 62284 0 134069 189473 12134931 116.21 130.02 4128.31/1034.53 c N dy 17047 2593183 14548 62284 0 81139 189473 2109984 116.21 124.64 4161.44/1042.89 c N dy 17179 2613217 14548 62284 0 101172 189473 5849973 116.23 123.63 4198.95/1052.22 c N dy 17307 2633316 14548 62284 0 121269 189473 9582922 116.23 127.28 4240.06/1062.57 c N dy 17438 2653391 14548 62284 0 141343 189473 13264853 116.24 122.77 4275.96/1071.55 c N dy 17571 2673647 14548 62284 0 87603 189473 3124144 116.25 126.05 4311.08/1080.31 c N dy 17698 2693767 14548 62284 0 107723 189473 6859805 116.25 124.22 4346.61/1089.23 c S st 17814 2711478 14548 62284 0 125431 189473 10134869 116.25 no data 4347.81/1089.57 c S st 17814 2711980 14548 62284 0 125932 189473 10209096 116.25 no data 4348.21/1089.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4348.62/1089.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.13 4348.62/1089.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4348.62/1089.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 4348.62/1089.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4348.62/1089.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14548 time: 0.01 s 4348.62/1089.78 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 4349.40/1089.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s 4351.40/1090.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4377.33/1096.91 c lits-rem: 8 cl-subs: 14 v-elim: 0 v-fix: 0 time: 6.41 s 4377.33/1096.92 c vivif2 -- cl tried 62284 cl shrink 0 lits rem 0 time: 0.01 4377.73/1097.09 c vivif2 -- cl tried 125918 cl shrink 0 lits rem 0 time: 0.17 4378.93/1097.34 c asymm cl-useful: 0/62284/62284 lits-rem:0 time: 0.25 4378.93/1097.35 c calculated reachability. Time: 0.00 4378.93/1097.35 c N dy 17814 2711980 14548 62284 0 125918 189473 10206432 116.25 no data 4422.82/1108.34 c N dy 17946 2732046 14548 62284 0 145984 189473 13948285 116.26 124.64 4457.54/1117.04 c N dy 18073 2752144 14548 62284 0 91092 189473 3591657 116.26 143.79 4493.06/1125.92 c N dy 18203 2772197 14548 62284 0 111144 189473 7344964 116.27 123.62 4532.57/1135.87 c N dy 18338 2792283 14548 62284 0 131230 189473 11108925 116.29 138.71 4575.27/1146.58 c N dy 18473 2812330 14548 62284 0 151277 189473 14810281 116.29 125.60 4608.39/1154.89 c N dy 18602 2832479 14548 62284 0 95427 189473 4205145 116.30 124.76 4645.50/1164.12 c N dy 18742 2852629 14548 62284 0 115575 189473 7936236 116.31 127.70 4688.20/1174.84 c N dy 18885 2872683 14548 62284 0 135629 189473 11757209 116.33 125.62 4731.29/1185.69 c N dy 19021 2892778 14548 62284 0 78723 189473 940778 116.34 122.70 4764.42/1194.00 c N dy 19159 2912843 14548 62284 0 98787 189473 4697197 116.35 137.63
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: 961) 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-3366158-1305397401/watcher-3366158-1305397401 -o /tmp/evaluation-result-3366158-1305397401/solver-3366158-1305397401 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366158-1305397401.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: 7.37 7.89 7.84 7/293 4454 /proc/meminfo: memFree=16816388/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 651342859 52396032 351 33554432000 4194304 4580107 140733220042176 18446744073709551615 47337783400370 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 12792 351 302 95 0 7774 0 [pid=4454/tid=4456] ppid=4452 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 651342859 52396032 351 33554432000 4194304 4580107 140733220042176 18446744073709551615 47337783399959 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651342859 52396032 351 33554432000 4194304 4580107 140733220042176 18446744073709551615 47337783400370 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651342859 52396032 351 33554432000 4194304 4580107 140733220042176 18446744073709551615 47337783399965 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.110549 s] /proc/loadavg: 7.37 7.89 7.84 7/293 4454 /proc/meminfo: memFree=16816388/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=299328 CPUtime=0.4 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 11710 0 0 0 38 2 0 0 18 0 4 0 651342859 306511872 10692 33554432000 4194304 4580107 140733220042176 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 74832 10692 359 95 0 69814 0 [pid=4454/tid=4456] ppid=4452 vsize=299328 CPUtime=0.09 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 2828 0 0 0 9 0 0 0 18 0 4 0 651342859 306511872 10692 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=299328 CPUtime=0.09 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 2800 0 0 0 9 0 0 0 25 0 4 0 651342859 306511872 10692 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=299328 CPUtime=0.09 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 2861 0 0 0 9 0 0 0 18 0 4 0 651342859 306511872 10692 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 299328 [startup+0.20736 s] /proc/loadavg: 7.37 7.89 7.84 7/293 4454 /proc/meminfo: memFree=16816388/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=316804 CPUtime=0.78 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) D 4452 4454 4414 0 -1 4202496 20438 0 0 0 74 4 0 0 18 0 4 0 651342859 324407296 16867 33554432000 4194304 4580107 140733220042176 18446744073709551615 218371000455 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 79201 16620 373 95 0 74183 0 [pid=4454/tid=4456] ppid=4452 vsize=312964 CPUtime=0.2 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 5640 0 0 0 19 1 0 0 18 0 4 0 651342859 320475136 16033 33554432000 4194304 4580107 140733220042176 18446744073709551615 218370625903 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=312964 CPUtime=0.19 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) D 4452 4454 4414 0 -1 4202560 5730 0 0 0 18 1 0 0 18 0 4 0 651342859 320475136 16033 33554432000 4194304 4580107 140733220042176 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=312964 CPUtime=0.19 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 2931 0 0 0 19 0 0 0 18 0 4 0 651342859 320475136 16033 33554432000 4194304 4580107 140733220042176 18446744073709551615 4324255 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.78 Current children cumulated vsize (KiB) 316804 [startup+1.01339 s] /proc/loadavg: 7.37 7.89 7.84 7/293 4454 /proc/meminfo: memFree=16816388/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=314436 CPUtime=4.01 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 24393 0 0 0 396 5 0 0 18 0 4 0 651342859 321982464 19225 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293704 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 78609 19226 377 95 0 73591 0 [pid=4454/tid=4456] ppid=4452 vsize=314436 CPUtime=1 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 6562 0 0 0 99 1 0 0 19 0 4 0 651342859 321982464 19226 33554432000 4194304 4580107 140733220042176 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=314436 CPUtime=0.99 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 6883 0 0 0 98 1 0 0 19 0 4 0 651342859 321982464 19226 33554432000 4194304 4580107 140733220042176 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=314436 CPUtime=0.99 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 3657 0 0 0 99 0 0 0 19 0 4 0 651342859 321982464 19227 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 314436 [startup+1.10038 s] /proc/loadavg: 7.37 7.89 7.84 7/293 4454 /proc/meminfo: memFree=16816388/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=314436 CPUtime=4.36 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 24698 0 0 0 431 5 0 0 19 0 4 0 651342859 321982464 19530 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 78609 19530 377 95 0 73591 0 [pid=4454/tid=4456] ppid=4452 vsize=314436 CPUtime=1.09 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 6635 0 0 0 108 1 0 0 19 0 4 0 651342859 321982464 19530 33554432000 4194304 4580107 140733220042176 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=314436 CPUtime=1.08 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 6963 0 0 0 107 1 0 0 19 0 4 0 651342859 321982464 19530 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=314436 CPUtime=1.08 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 3722 0 0 0 108 0 0 0 19 0 4 0 651342859 321982464 19530 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 314436 [startup+1.5003 s] /proc/loadavg: 7.37 7.89 7.84 7/293 4454 /proc/meminfo: memFree=16816388/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=314436 CPUtime=5.95 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 26249 0 0 0 590 5 0 0 19 0 4 0 651342859 321982464 21081 33554432000 4194304 4580107 140733220042176 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 78609 21081 377 95 0 73591 0 [pid=4454/tid=4456] ppid=4452 vsize=314436 CPUtime=1.49 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 6964 0 0 0 148 1 0 0 19 0 4 0 651342859 321982464 21081 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=314436 CPUtime=1.47 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 7323 0 0 0 146 1 0 0 19 0 4 0 651342859 321982464 21081 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=314436 CPUtime=1.48 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 4223 0 0 0 148 0 0 0 20 0 4 0 651342859 321982464 21081 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 314436 [startup+3.10102 s] /proc/loadavg: 7.42 7.90 7.84 9/298 4459 /proc/meminfo: memFree=16662472/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=445700 CPUtime=12.34 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 31525 0 0 0 1227 7 0 0 24 0 4 0 651342859 456396800 26357 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 111425 26357 377 95 0 106407 0 [pid=4454/tid=4456] ppid=4452 vsize=445700 CPUtime=3.08 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 8205 0 0 0 307 1 0 0 24 0 4 0 651342859 456396800 26357 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=445700 CPUtime=3.06 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 8677 0 0 0 304 2 0 0 24 0 4 0 651342859 456396800 26357 33554432000 4194304 4580107 140733220042176 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=445700 CPUtime=3.08 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 5541 0 0 0 308 0 0 0 25 0 4 0 651342859 456396800 26357 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 445700 [startup+6.31145 s] /proc/loadavg: 7.42 7.90 7.84 9/298 4459 /proc/meminfo: memFree=16625232/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=332036 CPUtime=25.15 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 45028 0 0 0 2505 10 0 0 25 0 4 0 651342859 340004864 23716 33554432000 4194304 4580107 140733220042176 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 83009 23716 378 95 0 77991 0 [pid=4454/tid=4456] ppid=4452 vsize=332036 CPUtime=6.29 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 11530 0 0 0 627 2 0 0 25 0 4 0 651342859 340004864 23717 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=332036 CPUtime=6.24 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 12049 0 0 0 621 3 0 0 25 0 4 0 651342859 340004864 23717 33554432000 4194304 4580107 140733220042176 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=332036 CPUtime=6.3 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 8956 0 0 0 628 2 0 0 25 0 4 0 651342859 340004864 23717 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 332036 [startup+12.7003 s] /proc/loadavg: 7.47 7.90 7.84 9/298 4459 /proc/meminfo: memFree=16437976/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=473896 CPUtime=50.65 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 102667 0 0 0 5045 20 0 0 25 0 4 0 651342859 485269504 60916 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 118474 60917 379 95 0 113456 0 [pid=4454/tid=4456] ppid=4452 vsize=473896 CPUtime=12.68 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 34161 0 0 0 1263 5 0 0 25 0 4 0 651342859 485269504 60917 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=473896 CPUtime=12.58 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 22545 0 0 0 1253 5 0 0 25 0 4 0 651342859 485269504 60917 33554432000 4194304 4580107 140733220042176 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=473896 CPUtime=12.68 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 14429 0 0 0 1266 2 0 0 22 0 4 0 651342859 485269504 60917 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 473896 [startup+25.501 s] /proc/loadavg: 7.59 7.90 7.84 9/298 4459 /proc/meminfo: memFree=16334084/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=448728 CPUtime=101.73 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 154546 0 0 0 10144 29 0 0 25 0 4 0 651342859 459497472 81142 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 112182 81142 379 95 0 107164 0 [pid=4454/tid=4456] ppid=4452 vsize=448728 CPUtime=25.48 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 44287 0 0 0 2542 6 0 0 25 0 4 0 651342859 459497472 81142 33554432000 4194304 4580107 140733220042176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=448728 CPUtime=25.25 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 32949 0 0 0 2519 6 0 0 25 0 4 0 651342859 459497472 81142 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=448728 CPUtime=25.48 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 32179 0 0 0 2542 6 0 0 25 0 4 0 651342859 459497472 81142 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.73 Current children cumulated vsize (KiB) 448728 [startup+51.1005 s] /proc/loadavg: 7.73 7.91 7.84 9/298 4460 /proc/meminfo: memFree=16123928/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=810564 CPUtime=203.89 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 232883 0 0 0 20344 45 0 0 25 0 4 0 651342859 830017536 122534 33554432000 4194304 4580107 140733220042176 18446744073709551615 4416320 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 202641 122534 379 95 0 197623 0 [pid=4454/tid=4456] ppid=4452 vsize=810564 CPUtime=51.08 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 57091 0 0 0 5099 9 0 0 25 0 4 0 651342859 830017536 122534 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=810564 CPUtime=50.63 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 54293 0 0 0 5052 11 0 0 25 0 4 0 651342859 830017536 122534 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=810564 CPUtime=51.09 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 50105 0 0 0 5098 11 0 0 25 0 4 0 651342859 830017536 122534 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.89 Current children cumulated vsize (KiB) 810564 [startup+102.3 s] /proc/loadavg: 7.88 7.92 7.85 9/298 4461 /proc/meminfo: memFree=15972252/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=809252 CPUtime=408.22 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 338190 0 0 0 40749 73 0 0 25 0 4 0 651342859 828674048 143980 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294354 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 202313 143980 379 95 0 197295 0 [pid=4454/tid=4456] ppid=4452 vsize=809252 CPUtime=102.28 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 74320 0 0 0 10213 15 0 0 25 0 4 0 651342859 828674048 143980 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=809252 CPUtime=101.36 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 83164 0 0 0 10117 19 0 0 25 0 4 0 651342859 828674048 143980 33554432000 4194304 4580107 140733220042176 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=809252 CPUtime=102.28 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 82726 0 0 0 10209 19 0 0 25 0 4 0 651342859 828674048 143980 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.22 Current children cumulated vsize (KiB) 809252 [startup+162.301 s] ################ # More data... # ################ [pid=4454] ppid=4452 vsize=1256460 CPUtime=2802.63 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 1509729 0 0 0 279841 422 0 0 25 0 4 0 651342859 1286615040 244907 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 314115 244907 379 95 0 309097 0 [pid=4454/tid=4456] ppid=4452 vsize=1256460 CPUtime=702.27 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 333715 0 0 0 70136 91 0 0 25 0 4 0 651342859 1286615040 244907 33554432000 4194304 4580107 140733220042176 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1256460 CPUtime=695.9 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 401227 0 0 0 69474 116 0 0 25 0 4 0 651342859 1286615040 244907 33554432000 4194304 4580107 140733220042176 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1256460 CPUtime=702.27 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 372664 0 0 0 70119 108 0 0 25 0 4 0 651342859 1286615040 244907 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2802.63 Current children cumulated vsize (KiB) 1256460 [startup+762.301 s] /proc/loadavg: 8.15 8.05 7.93 9/298 4479 /proc/meminfo: memFree=15333396/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1258008 CPUtime=3042.07 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 1618341 0 0 0 303752 455 0 0 25 0 4 0 651342859 1288200192 248689 33554432000 4194304 4580107 140733220042176 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 314502 248689 379 95 0 309484 0 [pid=4454/tid=4456] ppid=4452 vsize=1258008 CPUtime=762.27 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 361526 0 0 0 76127 100 0 0 25 0 4 0 651342859 1288200192 248689 33554432000 4194304 4580107 140733220042176 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1258008 CPUtime=755.35 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 426213 0 0 0 75412 123 0 0 25 0 4 0 651342859 1288200192 248689 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1258008 CPUtime=762.27 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 400529 0 0 0 76110 117 0 0 25 0 4 0 651342859 1288200192 248690 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3042.07 Current children cumulated vsize (KiB) 1258008 [startup+822.3 s] /proc/loadavg: 8.17 8.07 7.94 9/298 4481 /proc/meminfo: memFree=15342672/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1260588 CPUtime=3281.51 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 1729323 0 0 0 327663 488 0 0 25 0 4 0 651342859 1290842112 252409 33554432000 4194304 4580107 140733220042176 18446744073709551615 4301900 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 315147 252409 379 95 0 310129 0 [pid=4454/tid=4456] ppid=4452 vsize=1260588 CPUtime=821.99 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 389074 0 0 0 82091 108 0 0 25 0 4 0 651342859 1290842112 252409 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1260588 CPUtime=815.08 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 453867 0 0 0 81377 131 0 0 25 0 4 0 651342859 1290842112 252409 33554432000 4194304 4580107 140733220042176 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1260588 CPUtime=822.28 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 428310 0 0 0 82102 126 0 0 25 0 4 0 651342859 1290842112 252409 33554432000 4194304 4580107 140733220042176 18446744073709551615 4339872 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3281.51 Current children cumulated vsize (KiB) 1260588 [startup+882.301 s] /proc/loadavg: 8.10 8.07 7.94 9/298 4482 /proc/meminfo: memFree=14989384/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1582432 CPUtime=3520.95 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 1900062 0 0 0 351559 536 0 0 25 0 4 0 651342859 1620410368 311243 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 395608 311243 379 95 0 390590 0 [pid=4454/tid=4456] ppid=4452 vsize=1582432 CPUtime=881.44 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 441166 0 0 0 88024 120 0 0 25 0 4 0 651342859 1620410368 311243 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1582432 CPUtime=875.07 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 480976 0 0 0 87367 140 0 0 25 0 4 0 651342859 1620410368 311243 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1582432 CPUtime=882.27 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 474887 0 0 0 88088 139 0 0 25 0 4 0 651342859 1620410368 311243 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3520.95 Current children cumulated vsize (KiB) 1582432 [startup+942.301 s] /proc/loadavg: 8.12 8.08 7.95 9/298 4484 /proc/meminfo: memFree=15045292/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1584304 CPUtime=3760.4 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 2008369 0 0 0 375468 572 0 0 25 0 4 0 651342859 1622327296 306141 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4454/statm: 396076 306141 379 95 0 391058 0 [pid=4454/tid=4456] ppid=4452 vsize=1584304 CPUtime=940.91 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 467814 0 0 0 93961 130 0 0 25 0 4 0 651342859 1622327296 306148 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1584304 CPUtime=935.09 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 507858 0 0 0 93360 149 0 0 25 0 4 0 651342859 1622327296 306148 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1584304 CPUtime=942.28 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 502222 0 0 0 94080 148 0 0 25 0 4 0 651342859 1622327296 306148 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3760.4 Current children cumulated vsize (KiB) 1584304 [startup+1002.3 s] /proc/loadavg: 8.14 8.09 7.97 9/298 4485 /proc/meminfo: memFree=15093132/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1586136 CPUtime=3999.82 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 2114690 0 0 0 399375 607 0 0 25 0 4 0 651342859 1624203264 296473 33554432000 4194304 4580107 140733220042176 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/4454/statm: 396534 296473 379 95 0 391516 0 [pid=4454/tid=4456] ppid=4452 vsize=1586136 CPUtime=1000.45 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 494143 0 0 0 99908 137 0 0 25 0 4 0 651342859 1624203264 296473 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1586136 CPUtime=995.07 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 534611 0 0 0 99350 157 0 0 25 0 4 0 651342859 1624203264 296473 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1586136 CPUtime=1002.27 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 528936 0 0 0 100069 158 0 0 25 0 4 0 651342859 1624203264 296473 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3999.82 Current children cumulated vsize (KiB) 1586136 [startup+1062.31 s] /proc/loadavg: 8.10 8.09 7.97 9/298 4487 /proc/meminfo: memFree=14989324/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1531596 CPUtime=4239.29 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 2215522 0 0 0 423291 638 0 0 25 0 4 0 651342859 1568354304 323171 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/4454/statm: 382899 323171 379 95 0 377881 0 [pid=4454/tid=4456] ppid=4452 vsize=1531596 CPUtime=1060.46 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 519129 0 0 0 105902 144 0 0 25 0 4 0 651342859 1568354304 323171 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1531596 CPUtime=1055.08 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 559392 0 0 0 105343 165 0 0 25 0 4 0 651342859 1568354304 323172 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1531596 CPUtime=1062.27 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 555183 0 0 0 106061 166 0 0 25 0 4 0 651342859 1568354304 323172 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4239.29 Current children cumulated vsize (KiB) 1531596 [startup+1122.3 s] /proc/loadavg: 8.09 8.09 7.98 9/298 4489 /proc/meminfo: memFree=14874968/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1622168 CPUtime=4478.69 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 2331385 0 0 0 447191 678 0 0 25 0 4 0 651342859 1661100032 331601 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/4454/statm: 405542 331601 379 95 0 400524 0 [pid=4454/tid=4456] ppid=4452 vsize=1622168 CPUtime=1120.44 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 549361 0 0 0 111890 154 0 0 25 0 4 0 651342859 1661100032 331601 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1622168 CPUtime=1115.06 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 585488 0 0 0 111331 175 0 0 25 0 4 0 651342859 1661100032 331601 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1622168 CPUtime=1122.26 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 584640 0 0 0 112050 176 0 0 25 0 4 0 651342859 1661100032 331601 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4478.69 Current children cumulated vsize (KiB) 1622168 [startup+1182.3 s] /proc/loadavg: 8.07 8.08 7.98 9/298 4490 /proc/meminfo: memFree=14794096/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1577708 CPUtime=4718.12 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 2445211 0 0 0 471101 711 0 0 25 0 4 0 651342859 1615572992 351704 33554432000 4194304 4580107 140733220042176 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/4454/statm: 394427 351704 379 95 0 389409 0 [pid=4454/tid=4456] ppid=4452 vsize=1577708 CPUtime=1180.43 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 573413 0 0 0 117881 162 0 0 25 0 4 0 651342859 1615572992 351704 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1577708 CPUtime=1175.06 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 625579 0 0 0 117321 185 0 0 25 0 4 0 651342859 1615572992 351704 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1577708 CPUtime=1182.26 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 610272 0 0 0 118041 185 0 0 25 0 4 0 651342859 1615572992 351704 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4718.12 Current children cumulated vsize (KiB) 1577708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.9 s] /proc/loadavg: 8.13 8.09 7.99 5/294 4492 /proc/meminfo: memFree=15385720/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1689680 CPUtime=4800.35 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 2481685 0 0 0 479312 723 0 0 25 0 4 0 651342859 1730232320 356826 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/4454/statm: 422420 356826 379 95 0 417402 0 [pid=4454/tid=4456] ppid=4452 vsize=1689680 CPUtime=1201.03 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 583314 0 0 0 119939 164 0 0 25 0 4 0 651342859 1730232320 356829 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1689680 CPUtime=1195.67 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 634245 0 0 0 119380 187 0 0 25 0 4 0 651342859 1730232320 356829 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1689680 CPUtime=1202.86 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 618515 0 0 0 120099 187 0 0 25 0 4 0 651342859 1730232320 356829 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.35 Current children cumulated vsize (KiB) 1689680 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1202.9 s] /proc/loadavg: 8.13 8.09 7.99 5/294 4492 /proc/meminfo: memFree=15385720/32951124 swapFree=52307768/67111528 [pid=4454] ppid=4452 vsize=1689680 CPUtime=4800.35 cores=0,2,4,6 /proc/4454/stat : 4454 (strangenight2-m) R 4452 4454 4414 0 -1 4202496 2481685 0 0 0 479312 723 0 0 25 0 4 0 651342859 1730232320 356826 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/4454/statm: 422420 356826 379 95 0 417402 0 [pid=4454/tid=4456] ppid=4452 vsize=1689680 CPUtime=1201.03 cores=0,2,4,6 /proc/4454/task/4456/stat : 4456 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 583314 0 0 0 119939 164 0 0 25 0 4 0 651342859 1730232320 356829 33554432000 4194304 4580107 140733220042176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=4454/tid=4457] ppid=4452 vsize=1689680 CPUtime=1195.67 cores=0,2,4,6 /proc/4454/task/4457/stat : 4457 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 634245 0 0 0 119380 187 0 0 25 0 4 0 651342859 1730232320 356829 33554432000 4194304 4580107 140733220042176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4454/tid=4458] ppid=4452 vsize=1689680 CPUtime=1202.86 cores=0,2,4,6 /proc/4454/task/4458/stat : 4458 (strangenight2-m) R 4452 4454 4414 0 -1 4202560 618515 0 0 0 120099 187 0 0 25 0 4 0 651342859 1730232320 356829 33554432000 4194304 4580107 140733220042176 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.35 Current children cumulated vsize (KiB) 1689680 Child ended because it received signal 15 (SIGTERM) Real time (s): 1202.97 CPU time (s): 4800.45 CPU user time (s): 4793.16 CPU system time (s): 7.29489 CPU usage (%): 399.049 Max. virtual memory (cumulated for all children) (KiB): 1689680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4793.16 system time used= 7.29489 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2481694 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= 1892 involuntary context switches= 19794 runsolver used 3.06153 second user time and 7.9058 second system time The end
Begin job on node101 at 2011-05-14 20:23:21 IDJOB=3366158 IDBENCH=82567 IDSOLVER=1844 FILE ID=node101/3366158-1305397401 RUNJOBID= node101-1305397401-4432 PBS_JOBID= 13324459 Free space on /tmp= 73732 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) 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-3366158-1305397401/watcher-3366158-1305397401 -o /tmp/evaluation-result-3366158-1305397401/solver-3366158-1305397401 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366158-1305397401.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 211de71ef1119669a20965247c8273d8 RANDOM SEED=1127122666 node101.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.841 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.68 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.841 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.07 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.841 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.77 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.841 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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: 16816792 kB Buffers: 319512 kB Cached: 5883992 kB SwapCached: 14848 kB Active: 10830428 kB Inactive: 5028232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16816792 kB SwapTotal: 67111528 kB SwapFree: 52307768 kB Dirty: 12468 kB Writeback: 0 kB AnonPages: 9651696 kB Mapped: 14632 kB Slab: 149772 kB PageTables: 62444 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 42018820 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= 73732 MiB End job on node101 at 2011-05-14 20:43:26