| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.44 | 1202.83 |
| Name | random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf |
| MD5SUM | 4fe02968acd00bdecbd1c96009763619 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 650 |
| Number of clauses | 2769 |
| Sum of the clauses size | 8307 |
| 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 | 2769 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3175260-1304104819.cnf' 0.00/0.00 c -- header says num vars: 650 0.00/0.00 c -- header says num clauses: 2769 0.00/0.05 c -- clauses added: 0 learnts, 2769 normals, 0 xors 0.00/0.05 c -- vars added 650 0.00/0.05 c Parsing time: 0.01 s 0.00/0.05 c N st 0 0 650 2769 0 0 8307 0 no data no data -- 0.00/0.05 c asymm cl-useful: 0/2769/2769 lits-rem:0 time: 0.01 0.00/0.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 650 time: 0.00 s 0.00/0.05 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.05 c lits-rem: 0 cl-subs: 0 v-elim: 22 v-fix: 0 time: 0.01 s 0.00/0.05 c Finding binary XORs T: 0.00 s found: 0 0.00/0.05 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.05 c calculated reachability. Time: 0.00 0.00/0.05 c Calc default polars - time: 0.00 s pos: 274 undec: 78 neg: 298 0.00/0.05 c ========================================================================================= 0.00/0.05 c types(t): F = full restart, N = normal restart 0.00/0.05 c types(t): S = simplification begin/end, E = solution found 0.00/0.05 c restart types(rt): st = static, dy = dynamic 0.00/0.05 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.05 c B st 0 0 628 2757 0 0 8412 0 no data no data -- 0.00/0.15 c Decided on static restart strategy 0.78/0.25 c N st 8 4917 628 2757 0 4861 8412 141884 no data no data -- 1.57/0.45 c N st 10 11300 628 2757 0 4487 8412 88012 no data no data -- 2.78/0.73 c N st 11 17043 628 2757 0 10134 8412 254365 no data no data -- 4.39/1.17 c F st 12 25001 628 2757 0 12446 8412 306797 no data no data -- 4.39/1.17 c N st 12 25001 628 2757 0 12446 8412 306797 no data no data -- 5.56/1.44 c Decided on static restart strategy 5.56/1.44 c N st 18 30000 628 2757 0 10703 8412 236932 no data no data -- 5.56/1.44 c S st 18 30000 628 2757 0 10703 8412 236932 no data no data -- 5.56/1.47 c S st 18 30501 628 2757 0 11203 8412 250144 no data no data -- 5.56/1.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.56/1.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.56/1.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 5.56/1.48 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.56/1.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 5.56/1.48 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 6.58/1.76 c lits-rem: 275 cl-subs: 406 v-elim: 0 v-fix: 0 time: 0.87 s 6.58/1.77 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.03 6.58/1.77 c calculated reachability. Time: 0.00 6.58/1.77 c N st 18 30501 628 2757 0 10797 8412 236420 no data no data -- 8.12/2.29 c N st 20 37615 628 2757 0 10056 8412 191254 no data no data -- 9.45/2.68 c N st 21 44015 628 2757 0 16346 8412 370428 no data no data -- 10.13/2.80 c S st 22 45751 628 2757 0 9267 8412 150073 no data no data -- 10.13/2.83 c S st 22 46252 628 2757 0 9767 8412 163179 no data no data -- 10.13/2.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.13/2.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.13/2.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 10.13/2.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.13/2.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.13/2.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 10.13/2.84 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 10.47/2.95 c lits-rem: 39 cl-subs: 40 v-elim: 0 v-fix: 0 time: 0.39 s 10.47/2.95 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 10.47/2.95 c vivif2 -- cl tried 9727 cl shrink 0 lits rem 0 time: 0.00 10.47/2.96 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.02 10.47/2.96 c calculated reachability. Time: 0.00 10.47/2.96 c N st 22 46252 628 2757 0 9727 8412 161835 no data no data -- 14.12/4.00 c N st 23 60652 628 2757 0 14051 8412 276674 no data no data -- 16.69/4.82 c N st 24 69381 628 2757 0 11844 8412 202207 no data no data -- 16.69/4.82 c S st 24 69381 628 2757 0 11844 8412 202207 no data no data -- 16.69/4.85 c S st 24 69884 628 2757 0 12347 8412 215662 no data no data -- 16.69/4.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 16.69/4.85 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 16.69/4.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 16.69/4.86 c bin-w-bin subsume rem 0 bins time: 0.00 s 16.69/4.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 16.69/4.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 16.69/4.86 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 17.37/5.09 c lits-rem: 45 cl-subs: 183 v-elim: 0 v-fix: 0 time: 0.69 s 17.37/5.09 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 17.37/5.09 c vivif2 -- cl tried 12164 cl shrink 0 lits rem 0 time: 0.01 17.72/5.10 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.03 17.72/5.10 c calculated reachability. Time: 0.00 17.72/5.10 c N st 24 69884 628 2757 0 12164 8412 209739 no data no data -- 22.84/6.49 c F st 25 87502 628 2757 0 17740 8412 374754 no data no data -- 22.84/6.49 c N st 25 87502 628 2757 0 17740 8412 374754 no data no data -- 24.82/6.94 c N dy 34 93161 628 2757 0 23319 8412 534875 19.83 20.89 -- 26.82/7.41 c N dy 63 99155 628 2757 0 16386 8412 257528 18.83 19.84 -- 28.44/7.84 c S st 81 104826 628 2757 0 22001 8412 409288 18.51 no data -- 28.44/7.89 c S st 81 105328 628 2757 0 22503 8412 421850 18.51 no data -- 28.44/7.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 28.44/7.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 28.44/7.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.03 28.82/7.91 c bin-w-bin subsume rem 0 bins time: 0.00 s 28.82/7.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 28.82/7.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 28.82/7.91 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 32.44/8.90 c lits-rem: 294 cl-subs: 237 v-elim: 0 v-fix: 0 time: 3.95 s 32.44/8.90 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 32.84/8.90 c vivif2 -- cl tried 22266 cl shrink 0 lits rem 0 time: 0.02 32.84/8.92 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.08 32.84/8.92 c calculated reachability. Time: 0.00 32.84/8.92 c N dy 81 105328 628 2757 0 22266 8412 413978 18.51 no data -- 35.22/9.58 c N dy 110 112365 628 2757 0 15362 8412 194056 18.55 19.53 -- 38.00/10.22 c N dy 135 120772 628 2757 0 23697 8412 419138 18.37 19.43 -- 41.22/11.00 c N dy 169 128819 628 2757 0 16798 8412 205544 18.33 19.45 -- 44.39/11.86 c N dy 206 137878 628 2757 0 25778 8412 447002 18.29 19.30 -- 49.19/13.06 c N dy 213 150132 628 2757 0 22037 8412 329616 17.74 18.79 -- 52.38/13.85 c S st 245 157992 628 2757 0 29819 8412 533618 17.71 17.33 -- 52.78/13.92 c S st 245 158496 628 2757 0 30323 8412 546721 17.71 no data -- 52.78/13.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 52.78/13.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 52.78/13.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 52.78/13.95 c bin-w-bin subsume rem 0 bins time: 0.00 s 52.78/13.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 52.78/13.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 52.78/13.95 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 59.20/15.55 c lits-rem: 997 cl-subs: 802 v-elim: 0 v-fix: 0 time: 6.41 s 59.20/15.55 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 59.20/15.56 c vivif2 -- cl tried 29521 cl shrink 0 lits rem 0 time: 0.02 59.20/15.59 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.10 59.20/15.59 c calculated reachability. Time: 0.00 59.20/15.59 c N dy 245 158496 628 2757 0 29521 8412 525598 17.71 no data -- 63.18/16.51 c N dy 302 168723 628 2757 0 22851 8412 322831 17.81 18.85 -- 67.57/17.65 c N dy 352 179546 628 2757 0 33565 8412 613229 17.86 23.17 -- 72.73/18.90 c N dy 408 192464 628 2757 0 28543 8412 456858 17.91 19.00 -- 78.29/20.32 c N dy 452 204840 628 2757 0 21960 8412 248990 17.91 19.43 -- 83.49/21.69 c N dy 536 217930 628 2757 0 34954 8412 600849 18.00 19.07 -- 90.67/23.44 c N dy 603 232712 628 2757 0 29785 8412 439830 18.05 19.48 -- 93.89/24.21 c S st 631 237744 628 2757 0 34770 8412 576021 18.07 17.30 -- 94.29/24.32 c S st 631 238246 628 2757 0 35269 8412 589731 18.07 no data -- 94.29/24.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 94.29/24.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 94.29/24.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.07 94.29/24.36 c bin-w-bin subsume rem 0 bins time: 0.00 s 94.29/24.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 94.29/24.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 94.29/24.36 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 102.67/26.47 c lits-rem: 669 cl-subs: 506 v-elim: 0 v-fix: 0 time: 8.39 s 102.67/26.47 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 102.67/26.47 c vivif2 -- cl tried 34763 cl shrink 0 lits rem 0 time: 0.03 103.08/26.50 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.12 103.08/26.51 c calculated reachability. Time: 0.00 103.08/26.51 c N dy 631 238246 628 2757 0 34763 8412 574009 18.07 no data -- 109.84/28.29 c N dy 689 254097 628 2757 0 29654 8412 409863 18.06 19.04 -- 118.62/30.47 c N dy 753 270593 628 2757 0 24199 8412 249161 18.08 19.18 -- 127.01/32.58 c N dy 860 287907 628 2757 0 41374 8412 711347 18.15 19.33 -- 135.78/34.73 c F st 923 306250 628 2757 0 36749 8412 566321 18.14 18.77 -- 135.78/34.77 c N st 924 306501 628 2757 0 37000 8412 573619 18.14 no data -- 147.77/37.73 c N dy 974 329624 628 2757 0 36073 8412 525333 18.08 19.17 -- 158.94/40.55 c N dy 1077 349735 628 2757 0 31252 8412 377000 18.11 19.20 -- 162.94/41.54 c S st 1101 357369 628 2757 0 38783 8412 578716 18.10 no data -- 163.34/41.63 c S st 1101 357874 628 2757 0 39287 8412 592755 18.10 no data -- 163.34/41.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 163.34/41.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.34/41.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 163.34/41.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 163.34/41.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 163.34/41.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 163.34/41.66 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 170.93/43.58 c lits-rem: 495 cl-subs: 564 v-elim: 0 v-fix: 0 time: 7.65 s 170.93/43.58 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 170.93/43.59 c vivif2 -- cl tried 38723 cl shrink 0 lits rem 0 time: 0.03 171.33/43.63 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.15 171.33/43.63 c calculated reachability. Time: 0.00 171.33/43.63 c N dy 1101 357874 628 2757 0 38723 8412 576274 18.10 no data -- 182.90/46.52 c N dy 1186 377919 628 2757 0 32855 8412 392131 18.11 21.72 -- 197.29/50.19 c N dy 1284 402316 628 2757 0 30241 8412 295865 18.11 19.23 -- 210.06/53.37 c N dy 1396 422359 628 2757 0 50106 8412 839500 18.16 20.85 -- 222.44/56.48 c N dy 1519 442462 628 2757 0 42316 8412 616406 18.23 19.25 -- 236.42/59.90 c N dy 1617 462497 628 2757 0 33440 8412 350821 18.25 19.66 -- 249.20/63.13 c N dy 1721 482499 628 2757 0 53302 8412 898710 18.28 20.68 -- 261.97/66.37 c N dy 1822 502604 628 2757 0 43450 8412 601691 18.30 19.42 -- 277.15/70.17 c N dy 1917 522723 628 2757 0 32680 8412 285481 18.31 19.47 -- 285.54/72.22 c S st 1989 536813 628 2757 0 46639 8412 669615 18.33 15.50 -- 285.94/72.33 c S st 1989 537314 628 2757 0 47137 8412 683569 18.33 no data -- 285.94/72.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 285.94/72.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 285.94/72.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.07 285.94/72.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 285.94/72.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 285.94/72.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 285.94/72.37 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 294.72/74.58 c lits-rem: 1174 cl-subs: 638 v-elim: 0 v-fix: 0 time: 8.85 s 294.72/74.58 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 294.72/74.59 c vivif2 -- cl tried 46499 cl shrink 0 lits rem 0 time: 0.03 295.12/74.64 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.20 295.12/74.64 c calculated reachability. Time: 0.00 295.12/74.64 c N dy 1989 537314 628 2757 0 46499 8412 663312 18.33 no data -- 310.69/78.52 c N dy 2089 557371 628 2757 0 34663 8412 321602 18.34 19.88 -- 323.86/81.82 c N dy 2204 577384 628 2757 0 54507 8412 871034 18.38 19.99 -- 339.86/85.86 c N dy 2323 598783 628 2757 0 43011 8412 530192 18.41 19.56 -- 357.01/90.16 c N dy 2445 619477 628 2757 0 63543 8412 1101477 18.45 19.47 -- 371.39/93.76 c N dy 2541 640315 628 2757 0 50486 8412 707982 18.46 19.47 -- 389.35/98.20 c N dy 2628 660373 628 2757 0 35656 8412 281707 18.46 20.88 -- 402.93/101.69 c N dy 2741 680445 628 2757 0 55536 8412 833085 18.49 19.66 -- 421.31/106.26 c N dy 2842 700902 628 2757 0 40101 8412 376372 18.49 19.58 -- 436.89/110.14 c N dy 2918 722468 628 2757 0 61411 8412 950224 18.47 19.51 -- 455.23/114.76 c N dy 3033 742517 628 2757 0 44663 8412 490350 18.50 22.18 -- 471.22/118.75 c N dy 3150 762557 628 2757 0 64505 8412 1041523 18.52 23.81 -- 489.61/123.32 c N dy 3270 782575 628 2757 0 46726 8412 526000 18.55 19.54 -- 506.78/127.61 c N dy 3397 802704 628 2757 0 66646 8412 1079762 18.58 19.70 -- 509.94/128.48 c S st 3411 805972 628 2757 0 69884 8412 1167773 18.58 17.76 -- 510.74/128.67 c S st 3411 806476 628 2757 0 70388 8412 1181961 18.58 no data -- 510.74/128.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 510.74/128.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 511.16/128.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.12 511.16/128.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 511.16/128.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 511.16/128.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 511.16/128.74 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 518.34/130.52 c lits-rem: 334 cl-subs: 917 v-elim: 0 v-fix: 0 time: 7.08 s 518.34/130.52 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 518.34/130.53 c vivif2 -- cl tried 69471 cl shrink 0 lits rem 0 time: 0.06 518.74/130.62 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.37 518.74/130.63 c calculated reachability. Time: 0.00 518.74/130.63 c N dy 3411 806476 628 2757 0 69471 8412 1153062 18.58 no data -- 535.50/134.80 c N dy 3484 826585 628 2757 0 50752 8412 606676 18.56 19.66 -- 553.87/139.40 c N dy 3598 846639 628 2757 0 70605 8412 1153719 18.59 21.32 -- 572.66/144.15 c N dy 3711 866666 628 2757 0 50852 8412 596611 18.61 23.51 -- 592.21/149.07 c N dy 3791 888224 628 2757 0 72168 8412 1173431 18.61 19.76 -- 610.98/153.71 c N dy 3871 908307 628 2757 0 51470 8412 586652 18.61 19.59 -- 632.54/159.19 c N dy 3948 931766 628 2757 0 74641 8412 1214462 18.59 19.73 -- 650.92/163.75 c N dy 4043 951778 628 2757 0 52892 8412 609636 18.61 19.65 -- 670.07/168.51 c N dy 4134 972003 628 2757 0 72876 8412 1152183 18.61 19.63 -- 690.44/173.70 c N dy 4265 992006 628 2757 0 50184 8412 517214 18.63 20.05 -- 709.23/178.32 c N dy 4400 1012026 628 2757 0 70029 8412 1072941 18.66 22.42 -- 732.77/184.22 c N dy 4498 1032129 628 2757 0 46359 8412 389394 18.67 19.77 -- 749.94/188.56 c N dy 4593 1052834 628 2757 0 66864 8412 960240 18.68 19.82 -- 772.70/194.21 c F st 4681 1071877 628 2757 0 85694 8412 1481193 18.69 18.22 -- 774.30/194.65 c N st 4684 1073066 628 2757 0 86867 8412 1513707 18.69 no data -- 791.88/199.09 c N dy 4753 1093956 628 2757 0 62984 8412 828472 18.69 19.74 -- 814.25/204.70 c N dy 4844 1114031 628 2757 0 82816 8412 1372731 18.70 19.90 -- 834.19/209.67 c N dy 4887 1134202 628 2757 0 57214 8412 636010 18.67 19.85 -- 854.18/214.63 c N dy 4960 1154207 628 2757 0 76952 8412 1175105 18.66 19.71 -- 878.93/220.83 c N dy 5067 1174241 628 2757 0 50336 8412 441700 18.67 19.82 -- 897.71/225.51 c N dy 5129 1194599 628 2757 0 70449 8412 989572 18.67 19.67 -- 915.67/230.04 c S st 5188 1209715 628 2757 0 85375 8412 1392870 18.67 16.08 -- 916.45/230.29 c S st 5188 1210219 628 2757 0 85879 8412 1407922 18.67 no data -- 916.45/230.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 916.45/230.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 916.85/230.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.18 916.85/230.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 916.85/230.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 916.85/230.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 916.85/230.39 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 928.46/233.30 c lits-rem: 292 cl-subs: 1944 v-elim: 0 v-fix: 0 time: 11.62 s 928.46/233.30 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 928.86/233.32 c vivif2 -- cl tried 83935 cl shrink 0 lits rem 0 time: 0.07 929.24/233.43 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.47 929.24/233.44 c calculated reachability. Time: 0.00 929.24/233.44 c N dy 5188 1210219 628 2757 0 83935 8412 1352793 18.67 no data -- 952.80/239.30 c N dy 5299 1231162 628 2757 0 57260 8412 612383 18.68 20.00 -- 973.96/244.63 c N dy 5378 1251932 628 2757 0 77725 8412 1163223 18.68 19.74 -- 1001.52/251.53 c N dy 5463 1272076 628 2757 0 49244 8412 366527 18.68 19.73 -- 1018.69/255.88 c N dy 5565 1292094 628 2757 0 69077 8412 919278 18.69 20.44 -- 1047.83/263.16 c N dy 5636 1316478 628 2757 0 93160 8412 1571774 18.67 19.74 -- 1068.61/268.33 c N dy 5722 1336565 628 2757 0 63602 8412 745251 18.68 19.74 -- 1090.57/273.88 c N dy 5800 1357046 628 2757 0 83834 8412 1298028 18.67 19.66 -- 1118.12/280.72 c N dy 5861 1377077 628 2757 0 53205 8412 435113 18.67 19.75 -- 1136.49/285.39 c N dy 5978 1397325 628 2757 0 73248 8412 995873 18.68 19.69 -- 1162.44/291.80 c N dy 6081 1417415 628 2757 0 93143 8412 1555822 18.69 19.89 -- 1186.41/297.81 c N dy 6189 1437594 628 2757 0 61679 8412 644727 18.70 19.75 -- 1208.37/303.37 c N dy 6288 1458129 628 2757 0 81977 8412 1211561 18.71 19.83 -- 1237.11/310.54 c N dy 6402 1478139 628 2757 0 101795 8412 1766665 18.72 19.73 -- 1263.46/317.10 c N dy 6449 1503637 628 2757 0 74476 8412 962418 18.70 19.73 -- 1289.04/323.51 c N dy 6546 1524350 628 2757 0 94921 8412 1526127 18.70 19.75 -- 1315.40/330.14 c N dy 6657 1544446 628 2757 0 61469 8412 607121 18.71 26.30 -- 1336.96/335.59 c N dy 6736 1565208 628 2757 0 81975 8412 1174308 18.71 19.89 -- 1366.50/342.91 c N dy 6836 1585219 628 2757 0 101770 8412 1724740 18.72 23.11 -- 1396.04/350.36 c N dy 6867 1613361 628 2757 0 75104 8412 942291 18.70 19.75 -- 1423.20/357.19 c N dy 6977 1634024 628 2757 0 95569 8412 1515977 18.70 19.79 -- 1454.35/364.94 c N dy 7107 1654107 628 2757 0 60144 8412 524076 18.72 19.80 -- 1477.52/370.72 c N dy 7211 1674553 628 2757 0 80284 8412 1073414 18.73 20.01 -- 1503.45/377.28 c N dy 7248 1694721 628 2757 0 100142 8412 1598403 18.71 19.75 -- 1525.83/382.83 c S st 7291 1710219 628 2757 0 59208 8412 476332 18.70 17.06 -- 1526.23/382.96 c S st 7291 1710724 628 2757 0 59713 8412 490308 18.70 no data -- 1526.23/382.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1526.23/382.96 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1526.23/382.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.09 1526.61/383.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 1526.61/383.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1526.61/383.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 1526.61/383.00 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1533.80/384.82 c lits-rem: 237 cl-subs: 193 v-elim: 0 v-fix: 0 time: 7.27 s 1533.80/384.82 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 1533.80/384.83 c vivif2 -- cl tried 59520 cl shrink 0 lits rem 0 time: 0.03 1533.80/384.89 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.25 1533.80/384.90 c calculated reachability. Time: 0.00 1533.80/384.90 c N dy 7291 1710724 628 2757 0 59520 8412 485472 18.70 no data -- 1554.56/390.04 c N dy 7375 1730869 628 2757 0 79423 8412 1031519 18.70 19.86 -- 1582.12/396.98 c N dy 7490 1751068 628 2757 0 99397 8412 1586142 18.72 19.85 -- 1612.87/404.65 c N dy 7603 1771353 628 2757 0 62163 8412 538957 18.73 19.74 -- 1633.63/409.83 c N dy 7669 1791371 628 2757 0 81926 8412 1087037 18.73 21.19 -- 1675.58/420.32 c N dy 7749 1814866 628 2757 0 105107 8412 1724267 18.72 19.71 -- 1708.31/428.57 c N dy 7889 1834875 628 2757 0 66652 8412 645009 18.74 23.54 -- 1730.67/434.12 c N dy 7944 1854959 628 2757 0 86483 8412 1190593 18.74 21.02 -- 1758.22/441.08 c N dy 7990 1875192 628 2757 0 106471 8412 1739776 18.73 19.77 -- 1788.97/448.77 c N dy 8105 1895841 628 2757 0 67630 8412 649794 18.73 19.80 -- 1812.53/454.63 c N dy 8197 1915953 628 2757 0 87548 8412 1203279 18.74 19.80 -- 1842.50/462.12 c N dy 8285 1936160 628 2757 0 107516 8412 1761862 18.74 20.09 -- 1876.81/470.75 c N dy 8387 1959428 628 2757 0 70232 8412 695475 18.74 20.00 -- 1902.78/477.20 c N dy 8476 1980343 628 2757 0 90868 8412 1259131 18.74 19.78 -- 1936.30/485.63 c N dy 8616 2000423 628 2757 0 110769 8412 1814795 18.76 20.81 -- 1965.85/493.05 c N dy 8683 2020868 628 2757 0 69653 8412 654904 18.75 19.93 -- 2017.79/506.10 c N dy 8721 2062132 628 2757 0 110271 8412 1737872 18.71 19.70 -- 2051.73/514.50 c N dy 8827 2083086 628 2757 0 68776 8412 616484 18.72 19.71 -- 2078.88/521.34 c N dy 8938 2106027 628 2757 0 91431 8412 1245016 18.72 19.80 -- 2115.61/530.57 c N dy 9061 2127725 628 2757 0 112895 8412 1836957 18.73 19.73 -- 2148.76/538.81 c N dy 9158 2147822 628 2757 0 69533 8412 616663 18.74 21.70 -- 2176.33/545.73 c N dy 9237 2171463 628 2757 0 92835 8412 1248923 18.73 19.88 -- 2208.67/553.88 c N dy 9313 2192635 628 2757 0 113766 8412 1832273 18.73 19.89 -- 2241.81/562.16 c S st 9403 2210724 628 2757 0 67463 8412 536719 18.74 no data -- 2242.60/562.32 c S st 9403 2211228 628 2757 0 67966 8412 549978 18.74 no data -- 2242.60/562.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2242.60/562.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2242.60/562.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.10 2242.60/562.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 2242.60/562.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2242.60/562.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 2242.60/562.37 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2250.20/564.29 c lits-rem: 187 cl-subs: 165 v-elim: 0 v-fix: 0 time: 7.69 s 2250.20/564.29 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 2250.20/564.30 c vivif2 -- cl tried 67801 cl shrink 0 lits rem 0 time: 0.03 2250.61/564.37 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.29 2250.61/564.38 c calculated reachability. Time: 0.00 2250.61/564.38 c N dy 9403 2211228 628 2757 0 67801 8412 544767 18.74 no data -- 2274.15/570.24 c N dy 9513 2231292 628 2757 0 87660 8412 1099417 18.75 22.12 -- 2304.10/577.73 c N dy 9602 2251388 628 2757 0 107563 8412 1661231 18.75 19.78 -- 2344.83/587.93 c N dy 9706 2271425 628 2757 0 127375 8412 2219443 18.76 19.75 -- 2371.19/594.52 c N dy 9781 2291805 628 2757 0 82254 8412 918400 18.76 20.03 -- 2397.94/601.24 c N dy 9847 2311889 628 2757 0 102038 8412 1470651 18.75 24.54 -- 2431.11/609.57 c N dy 9902 2332017 628 2757 0 121870 8412 2014525 18.75 19.76 -- 2463.43/617.63 c N dy 10036 2352034 628 2757 0 75513 8412 721515 18.76 19.86 -- 2488.99/624.07 c N dy 10110 2372560 628 2757 0 95782 8412 1293316 18.76 19.82 -- 2522.96/632.57 c N dy 10214 2392577 628 2757 0 115570 8412 1844938 18.77 19.83 -- 2563.26/642.66 c N dy 10306 2412821 628 2757 0 68372 8412 498568 18.77 19.98 -- 2585.62/648.29 c N dy 10379 2432881 628 2757 0 88172 8412 1045071 18.77 22.06 -- 2618.77/656.57 c N dy 10467 2455743 628 2757 0 110800 8412 1679146 18.77 19.77 -- 2659.90/666.81 c N dy 10568 2476662 628 2757 0 131505 8412 2260787 18.77 19.84 -- 2689.46/674.23 c N dy 10717 2496830 628 2757 0 83286 8412 900452 18.79 19.98 -- 2719.00/681.67 c N dy 10804 2516876 628 2757 0 103110 8412 1457241 18.79 19.78 -- 2755.35/690.75 c N dy 10884 2536928 628 2757 0 122874 8412 1999423 18.79 19.96 -- 2798.48/701.52 c N dy 10984 2560554 628 2757 0 77012 8412 702000 18.79 19.78 -- 2823.63/707.83 c N dy 11033 2582031 628 2757 0 98117 8412 1282253 18.78 19.85 -- 2856.38/716.08 c N dy 11107 2602055 628 2757 0 117902 8412 1829722 18.78 19.88 -- 2897.11/726.23 c N dy 11224 2622188 628 2757 0 137812 8412 2388675 18.79 19.79 -- 2923.87/732.92 c N dy 11351 2642244 628 2757 0 87547 8412 975476 18.80 19.81 -- 2951.82/739.90 c N dy 11424 2662391 628 2757 0 107393 8412 1525628 18.80 19.87 -- 3002.93/752.74 c N dy 11521 2690228 628 2757 0 134825 8412 2271969 18.80 19.85 -- 3033.29/760.36 c N dy 11617 2710408 628 2757 0 83718 8412 852101 18.80 19.88 -- 3034.49/760.62 c S st 11624 2711229 628 2757 0 84532 8412 875799 18.80 no data -- 3035.28/760.83 c S st 11624 2711731 628 2757 0 85034 8412 889958 18.80 no data -- 3035.28/760.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3035.28/760.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3035.28/760.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.15 3035.68/760.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 3035.68/760.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3035.68/760.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 3035.68/760.90 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3050.08/764.53 c lits-rem: 850 cl-subs: 509 v-elim: 0 v-fix: 0 time: 14.48 s 3050.08/764.53 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 3050.08/764.54 c vivif2 -- cl tried 84525 cl shrink 0 lits rem 0 time: 0.05 3050.48/764.65 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.42 3050.48/764.65 c calculated reachability. Time: 0.00 3050.48/764.65 c N dy 11624 2711731 628 2757 0 84525 8412 873967 18.80 no data -- 3084.40/773.14 c N dy 11664 2734661 628 2757 0 107119 8412 1482596 18.79 19.89 -- 3121.15/782.32 c N dy 11759 2754668 628 2757 0 126931 8412 2035813 18.80 19.81 -- 3162.28/792.62 c N dy 11839 2774715 628 2757 0 74641 8412 571034 18.80 21.46 -- 3186.25/798.67 c N dy 11915 2794747 628 2757 0 94404 8412 1123285 18.79 20.41 -- 3220.18/807.18 c N dy 12013 2815348 628 2757 0 114734 8412 1684998 18.80 19.85 -- 3262.51/817.72 c N dy 12126 2835639 628 2757 0 134804 8412 2250310 18.80 20.13 -- 3298.44/826.71 c N dy 12214 2855724 628 2757 0 81591 8412 739214 18.81 20.07 -- 3327.99/834.20 c N dy 12295 2877627 628 2757 0 103194 8412 1341792 18.81 19.82 -- 3357.96/841.68 c N dy 12312 2897796 628 2757 0 123040 8412 1882795 18.80 19.94 -- 3399.08/851.99 c N dy 12384 2917958 628 2757 0 142895 8412 2425419 18.80 19.81 -- 3434.21/860.77 c N dy 12449 2940753 628 2757 0 91401 8412 978023 18.79 19.91 -- 3475.75/871.10 c N dy 12544 2962034 628 2757 0 112430 8412 1556587 18.79 19.98 -- 3526.07/883.78 c N dy 12656 2982059 628 2757 0 132208 8412 2110966 18.80 19.80 -- 3576.39/896.39 c N dy 12759 3002086 628 2757 0 76980 8412 572052 18.80 20.00 -- 3603.97/903.27 c N dy 12850 3023196 628 2757 0 97825 8412 1148676 18.80 19.90 -- 3636.69/911.47 c N dy 12951 3043200 628 2757 0 117595 8412 1705504 18.81 23.80 -- 3679.01/922.00 c N dy 13064 3063546 628 2757 0 137690 8412 2272534 18.82 19.93 -- 3721.35/932.67 c N dy 13172 3083600 628 2757 0 81469 8412 677754 18.82 19.91 -- 3748.93/939.59 c N dy 13264 3104086 628 2757 0 101693 8412 1243925 18.83 19.84 -- 3790.04/949.80 c N dy 13364 3126572 628 2757 0 123902 8412 1856995 18.83 19.87 -- 3834.36/960.94 c N dy 13501 3146580 628 2757 0 143709 8412 2418351 18.84 20.62 -- 3872.30/970.43 c N dy 13597 3166653 628 2757 0 86494 8412 799198 18.84 20.90 -- 3906.25/978.90 c N dy 13713 3186719 628 2757 0 106346 8412 1357308 18.85 20.07 -- 3962.15/992.98 c N dy 13811 3211733 628 2757 0 131053 8412 2052559 18.85 16.63 -- 3962.15/992.98 c S st 13811 3211733 628 2757 0 131053 8412 2052559 18.85 16.63 -- 3963.78/993.35 c S st 13811 3212235 628 2757 0 131554 8412 2066624 18.85 no data -- 3963.78/993.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3963.78/993.36 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3964.18/993.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.28 3964.55/993.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 3964.55/993.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3964.55/993.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 3964.55/993.50 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3992.90/1000.63 c lits-rem: 364 cl-subs: 2509 v-elim: 0 v-fix: 0 time: 28.43 s 3992.90/1000.63 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 3992.90/1000.66 c vivif2 -- cl tried 129045 cl shrink 0 lits rem 0 time: 0.12 3993.70/1000.88 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.90 3993.70/1000.89 c calculated reachability. Time: 0.00 3993.70/1000.89 c N dy 13811 3212235 628 2757 0 129045 8412 1993764 18.85 no data -- 4040.01/1012.42 c N dy 13898 3232312 628 2757 0 148856 8412 2537914 18.85 20.14 -- 4074.76/1021.15 c N dy 13972 3252383 628 2757 0 90592 8412 882657 18.85 21.68 -- 4104.73/1028.65 c N dy 14047 3272537 628 2757 0 110520 8412 1438593 18.85 19.94 -- 4143.44/1038.36 c N dy 14173 3292555 628 2757 0 130362 8412 2002170 18.86 22.71 -- 4188.57/1049.61 c N dy 14265 3312784 628 2757 0 150351 8412 2555206 18.86 20.01 -- 4228.90/1059.71 c N dy 14338 3335999 628 2757 0 94203 8412 956760 18.85 19.99 -- 4261.65/1067.98 c N dy 14456 3356274 628 2757 0 114262 8412 1519883 18.86 19.89 -- 4302.78/1078.26 c N dy 14567 3376492 628 2757 0 134252 8412 2083415 18.86 19.94 -- 4362.68/1093.29 c N dy 14659 3398368 628 2757 0 155869 8412 2679642 18.87 19.97 -- 4403.81/1103.53 c N dy 14756 3418454 628 2757 0 95695 8412 986956 18.87 20.68 -- 4438.18/1112.15 c N dy 14837 3438605 628 2757 0 115547 8412 1540541 18.87 19.91 -- 4478.49/1122.28 c N dy 14944 3458677 628 2757 0 135356 8412 2093732 18.87 22.12 -- 4528.41/1134.73 c N dy 14998 3480412 628 2757 0 156741 8412 2679575 18.87 19.95 -- 4562.35/1143.22 c N dy 15031 3501373 628 2757 0 96462 8412 962910 18.86 19.93 -- 4600.71/1152.83 c N dy 15048 3525295 628 2757 0 119975 8412 1576354 18.84 19.96 -- 4642.62/1163.31 c N dy 15160 3545437 628 2757 0 139908 8412 2135445 18.85 20.00 -- 4700.13/1177.72 c N dy 15246 3568510 628 2757 0 162672 8412 2755421 18.85 19.94 -- 4729.68/1185.16 c N dy 15329 3588768 628 2757 0 100771 8412 1086220 18.85 19.89 -- 4765.23/1194.07 c N dy 15428 3608840 628 2757 0 120649 8412 1644337 18.85 19.88 --
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-3175260-1304104819/watcher-3175260-1304104819 -o /tmp/evaluation-result-3175260-1304104819/solver-3175260-1304104819 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175260-1304104819.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.41 7.91 7.82 6/178 26452 /proc/meminfo: memFree=30838664/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 522081584 52465664 352 33554432000 4194304 4650419 140734262544080 18446744073709551615 47645782525874 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/26452/statm: 12809 352 303 112 0 7774 0 [pid=26452/tid=26453] ppid=26450 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522081584 52465664 352 33554432000 4194304 4650419 140734262544080 18446744073709551615 47645782525874 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522081584 52465664 352 33554432000 4194304 4650419 140734262544080 18446744073709551615 47645782525872 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522081584 52465664 352 33554432000 4194304 4650419 140734262544080 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.156526 s] /proc/loadavg: 7.41 7.91 7.82 6/178 26452 /proc/meminfo: memFree=30838664/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=348320 CPUtime=0.6 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 2183 0 0 0 60 0 0 0 18 0 4 0 522081584 356679680 2025 33554432000 4194304 4650419 140734262544080 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/26452/statm: 87080 2025 391 112 0 82045 0 [pid=26452/tid=26453] ppid=26450 vsize=348320 CPUtime=0.14 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 480 0 0 0 14 0 0 0 18 0 4 0 522081584 356679680 2025 33554432000 4194304 4650419 140734262544080 18446744073709551615 4333694 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=348320 CPUtime=0.15 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 509 0 0 0 15 0 0 0 18 0 4 0 522081584 356679680 2025 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=348320 CPUtime=0.14 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 331 0 0 0 14 0 0 0 25 0 4 0 522081584 356679680 2025 33554432000 4194304 4650419 140734262544080 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 348320 [startup+0.200503 s] /proc/loadavg: 7.41 7.91 7.82 6/178 26452 /proc/meminfo: memFree=30838664/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=349624 CPUtime=0.78 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 2734 0 0 0 78 0 0 0 18 0 4 0 522081584 358014976 1893 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/26452/statm: 87406 1893 393 112 0 82371 0 [pid=26452/tid=26453] ppid=26450 vsize=349624 CPUtime=0.19 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 621 0 0 0 19 0 0 0 18 0 4 0 522081584 358014976 1893 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=349624 CPUtime=0.19 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 644 0 0 0 19 0 0 0 18 0 4 0 522081584 358014976 1893 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=349624 CPUtime=0.19 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 472 0 0 0 19 0 0 0 25 0 4 0 522081584 358014976 1893 33554432000 4194304 4650419 140734262544080 18446744073709551615 4330601 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.78 Current children cumulated vsize (KiB) 349624 [startup+0.300485 s] /proc/loadavg: 7.41 7.91 7.82 6/178 26452 /proc/meminfo: memFree=30838664/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=349784 CPUtime=1.17 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 3136 0 0 0 117 0 0 0 18 0 4 0 522081584 358178816 2295 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/26452/statm: 87446 2295 393 112 0 82411 0 [pid=26452/tid=26453] ppid=26450 vsize=349784 CPUtime=0.29 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 723 0 0 0 29 0 0 0 18 0 4 0 522081584 358178816 2295 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=349784 CPUtime=0.29 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 752 0 0 0 29 0 0 0 18 0 4 0 522081584 358178816 2296 33554432000 4194304 4650419 140734262544080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=349784 CPUtime=0.29 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 577 0 0 0 29 0 0 0 25 0 4 0 522081584 358178816 2296 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 349784 [startup+0.700416 s] /proc/loadavg: 7.41 7.91 7.82 6/178 26452 /proc/meminfo: memFree=30838664/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=350600 CPUtime=2.78 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 4905 0 0 0 277 1 0 0 18 0 4 0 522081584 359014400 3069 33554432000 4194304 4650419 140734262544080 18446744073709551615 4364301 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/26452/statm: 87650 3069 393 112 0 82615 0 [pid=26452/tid=26453] ppid=26450 vsize=350600 CPUtime=0.69 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 1134 0 0 0 69 0 0 0 18 0 4 0 522081584 359014400 3069 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=350600 CPUtime=0.69 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 1201 0 0 0 69 0 0 0 18 0 4 0 522081584 359014400 3069 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=350600 CPUtime=0.68 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 1029 0 0 0 68 0 0 0 25 0 4 0 522081584 359014400 3069 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 350600 [startup+1.50028 s] /proc/loadavg: 7.41 7.91 7.82 9/182 26456 /proc/meminfo: memFree=30808004/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=357392 CPUtime=5.9 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 9590 0 0 0 586 4 0 0 20 0 4 0 522081584 365969408 4966 33554432000 4194304 4650419 140734262544080 18446744073709551615 274664851639 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/26452/statm: 89348 4966 395 112 0 84313 0 [pid=26452/tid=26453] ppid=26450 vsize=357392 CPUtime=1.48 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) D 26450 26452 26305 0 -1 4202560 2003 0 0 0 148 0 0 0 20 0 4 0 522081584 365969408 4966 33554432000 4194304 4650419 140734262544080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=357392 CPUtime=1.43 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 2039 0 0 0 142 1 0 0 20 0 4 0 522081584 365969408 4966 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=357392 CPUtime=1.47 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 1820 0 0 0 147 0 0 0 25 0 4 0 522081584 365969408 4966 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.9 Current children cumulated vsize (KiB) 357392 [startup+3.101 s] /proc/loadavg: 7.41 7.91 7.82 10/182 26456 /proc/meminfo: memFree=30789320/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=350140 CPUtime=11.15 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 15329 0 0 0 1079 36 0 0 19 0 4 0 522081584 358543360 8287 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/26452/statm: 87535 8287 395 112 0 82500 0 [pid=26452/tid=26453] ppid=26450 vsize=350140 CPUtime=3.05 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 4212 0 0 0 284 21 0 0 19 0 4 0 522081584 358543360 8287 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=350140 CPUtime=2.07 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 2041 0 0 0 201 6 0 0 23 0 4 0 522081584 358543360 8287 33554432000 4194304 4650419 140734262544080 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=350140 CPUtime=2.99 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 4013 0 0 0 297 2 0 0 19 0 4 0 522081584 358543360 8287 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 11.15 Current children cumulated vsize (KiB) 350140 [startup+6.30045 s] /proc/loadavg: 7.62 7.94 7.83 9/182 26456 /proc/meminfo: memFree=30755720/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=343228 CPUtime=22.44 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 25019 0 0 0 2165 79 0 0 25 0 4 0 522081584 351465472 13646 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 85807 13646 395 112 0 80772 0 [pid=26452/tid=26453] ppid=26450 vsize=343228 CPUtime=6.21 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 7157 0 0 0 577 44 0 0 25 0 4 0 522081584 351465472 13646 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=343228 CPUtime=3.97 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 4733 0 0 0 375 22 0 0 25 0 4 0 522081584 351465472 13646 33554432000 4194304 4650419 140734262544080 18446744073709551615 4438235 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=343228 CPUtime=6.1 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 5641 0 0 0 607 3 0 0 25 0 4 0 522081584 351465472 13647 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 22.44 Current children cumulated vsize (KiB) 343228 [startup+12.7003 s] /proc/loadavg: 7.65 7.94 7.83 9/182 26457 /proc/meminfo: memFree=30705180/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=352704 CPUtime=47.99 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 37896 0 0 0 4716 83 0 0 25 0 4 0 522081584 361168896 19956 33554432000 4194304 4650419 140734262544080 18446744073709551615 4336307 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 88176 19956 395 112 0 83141 0 [pid=26452/tid=26453] ppid=26450 vsize=352704 CPUtime=12.59 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 10522 0 0 0 1214 45 0 0 25 0 4 0 522081584 361168896 19956 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=352704 CPUtime=10.33 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 8651 0 0 0 1010 23 0 0 25 0 4 0 522081584 361168896 19956 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=352704 CPUtime=12.5 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 7829 0 0 0 1246 4 0 0 25 0 4 0 522081584 361168896 19956 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 47.99 Current children cumulated vsize (KiB) 352704 [startup+25.5011 s] /proc/loadavg: 7.73 7.95 7.83 9/182 26457 /proc/meminfo: memFree=30651720/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=358452 CPUtime=99.06 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 60399 0 0 0 9813 93 0 0 25 0 4 0 522081584 367054848 29710 33554432000 4194304 4650419 140734262544080 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 89613 29710 395 112 0 84578 0 [pid=26452/tid=26453] ppid=26450 vsize=358452 CPUtime=25.34 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 17738 0 0 0 2481 53 0 0 25 0 4 0 522081584 367054848 29710 33554432000 4194304 4650419 140734262544080 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=358452 CPUtime=23.07 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 15763 0 0 0 2282 25 0 0 25 0 4 0 522081584 367054848 29710 33554432000 4194304 4650419 140734262544080 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=358452 CPUtime=25.3 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 10903 0 0 0 2525 5 0 0 25 0 4 0 522081584 367054848 29710 33554432000 4194304 4650419 140734262544080 18446744073709551615 4368281 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 99.06 Current children cumulated vsize (KiB) 358452 [startup+51.1007 s] /proc/loadavg: 7.88 7.96 7.84 9/182 26457 /proc/meminfo: memFree=30622516/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=371528 CPUtime=201.28 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 89710 0 0 0 20026 102 0 0 25 0 4 0 522081584 380444672 33075 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 92882 33075 395 112 0 87847 0 [pid=26452/tid=26453] ppid=26450 vsize=371528 CPUtime=50.9 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 25075 0 0 0 5035 55 0 0 25 0 4 0 522081584 380444672 33075 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=371528 CPUtime=48.53 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 26182 0 0 0 4824 29 0 0 25 0 4 0 522081584 380444672 33075 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=371528 CPUtime=50.9 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 15775 0 0 0 5084 6 0 0 25 0 4 0 522081584 380444672 33075 33554432000 4194304 4650419 140734262544080 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 201.28 Current children cumulated vsize (KiB) 371528 [startup+102.301 s] /proc/loadavg: 8.10 8.00 7.86 9/182 26459 /proc/meminfo: memFree=30548320/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=447784 CPUtime=405.74 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 126810 0 0 0 40458 116 0 0 25 0 4 0 522081584 458530816 44684 33554432000 4194304 4650419 140734262544080 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 111946 44684 395 112 0 106911 0 [pid=26452/tid=26453] ppid=26450 vsize=447784 CPUtime=102.03 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 29131 0 0 0 10145 58 0 0 25 0 4 0 522081584 458530816 44684 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=447784 CPUtime=99.45 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 40726 0 0 0 9911 34 0 0 25 0 4 0 522081584 458530816 44684 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=447784 CPUtime=102.1 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 23946 0 0 0 10202 8 0 0 25 0 4 0 522081584 458530816 44684 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 405.74 Current children cumulated vsize (KiB) 447784 [startup+162.3 s] ################ # More data... # ################ [pid=26452] ppid=26450 vsize=601052 CPUtime=2801.67 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 365946 0 0 0 279943 224 0 0 25 0 4 0 522081584 615477248 83288 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 150263 83288 395 112 0 145228 0 [pid=26452/tid=26453] ppid=26450 vsize=601052 CPUtime=701.31 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 79747 0 0 0 70046 85 0 0 25 0 4 0 522081584 615477248 83288 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=601052 CPUtime=696.13 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 119671 0 0 0 69548 65 0 0 25 0 4 0 522081584 615477248 83288 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=601052 CPUtime=702.07 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 78587 0 0 0 70174 33 0 0 25 0 4 0 522081584 615477248 83288 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2801.67 Current children cumulated vsize (KiB) 601052 [startup+762.301 s] /proc/loadavg: 8.10 8.11 7.98 9/182 26477 /proc/meminfo: memFree=30178224/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=651884 CPUtime=3041.29 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 389408 0 0 0 303893 236 0 0 25 0 4 0 522081584 667529216 90091 33554432000 4194304 4650419 140734262544080 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 162971 90091 395 112 0 157936 0 [pid=26452/tid=26453] ppid=26450 vsize=651884 CPUtime=761.26 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 88103 0 0 0 76037 89 0 0 25 0 4 0 522081584 667529216 90091 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=651884 CPUtime=755.8 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 123291 0 0 0 75513 67 0 0 25 0 4 0 522081584 667529216 90091 33554432000 4194304 4650419 140734262544080 18446744073709551615 4313711 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=651884 CPUtime=762.07 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 84276 0 0 0 76171 36 0 0 25 0 4 0 522081584 667529216 90092 33554432000 4194304 4650419 140734262544080 18446744073709551615 4438235 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3041.29 Current children cumulated vsize (KiB) 651884 [startup+822.3 s] /proc/loadavg: 8.03 8.09 7.98 9/182 26478 /proc/meminfo: memFree=30135032/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=601296 CPUtime=3280.88 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 412970 0 0 0 327841 247 0 0 25 0 4 0 522081584 615727104 100645 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 150324 100645 395 112 0 145289 0 [pid=26452/tid=26453] ppid=26450 vsize=601296 CPUtime=821.19 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 95287 0 0 0 82027 92 0 0 25 0 4 0 522081584 615727104 100645 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=601296 CPUtime=815.47 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 129808 0 0 0 81477 70 0 0 25 0 4 0 522081584 615727104 100645 33554432000 4194304 4650419 140734262544080 18446744073709551615 4331268 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=601296 CPUtime=822.07 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 89510 0 0 0 82168 39 0 0 25 0 4 0 522081584 615727104 100645 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3280.88 Current children cumulated vsize (KiB) 601296 [startup+882.307 s] /proc/loadavg: 8.12 8.10 7.99 9/182 26479 /proc/meminfo: memFree=30133520/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=601320 CPUtime=3520.5 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 429706 0 0 0 351794 256 0 0 25 0 4 0 522081584 615751680 98039 33554432000 4194304 4650419 140734262544080 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 150330 98039 395 112 0 145295 0 [pid=26452/tid=26453] ppid=26450 vsize=601320 CPUtime=881.13 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 102579 0 0 0 88018 95 0 0 25 0 4 0 522081584 615751680 98039 33554432000 4194304 4650419 140734262544080 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=601320 CPUtime=875.14 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 133652 0 0 0 87441 73 0 0 25 0 4 0 522081584 615751680 98039 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=601320 CPUtime=882.06 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 92150 0 0 0 88166 40 0 0 25 0 4 0 522081584 615751680 98039 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3520.5 Current children cumulated vsize (KiB) 601320 [startup+942.3 s] /proc/loadavg: 8.12 8.09 8.00 9/182 26481 /proc/meminfo: memFree=30120956/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=614568 CPUtime=3760.09 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 449441 0 0 0 375744 265 0 0 25 0 4 0 522081584 629317632 99062 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 153642 99062 395 112 0 148607 0 [pid=26452/tid=26453] ppid=26450 vsize=614568 CPUtime=941.06 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 108699 0 0 0 94008 98 0 0 25 0 4 0 522081584 629317632 99062 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363592 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=614568 CPUtime=934.8 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 137871 0 0 0 93406 74 0 0 25 0 4 0 522081584 629317632 99062 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=614568 CPUtime=942.05 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 95741 0 0 0 94163 42 0 0 25 0 4 0 522081584 629317632 99062 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3760.09 Current children cumulated vsize (KiB) 614568 [startup+1002.3 s] /proc/loadavg: 8.11 8.09 8.00 9/182 26483 /proc/meminfo: memFree=30063500/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=627836 CPUtime=3999.69 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 471581 0 0 0 399695 274 0 0 25 0 4 0 522081584 642904064 111106 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 156959 111106 395 112 0 151924 0 [pid=26452/tid=26453] ppid=26450 vsize=627836 CPUtime=1000.99 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 114390 0 0 0 99997 102 0 0 25 0 4 0 522081584 642904064 111106 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=627836 CPUtime=994.47 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 145203 0 0 0 99371 76 0 0 25 0 4 0 522081584 642904064 111106 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=627836 CPUtime=1002.06 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 100501 0 0 0 100162 44 0 0 25 0 4 0 522081584 642904064 111106 33554432000 4194304 4650419 140734262544080 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3999.69 Current children cumulated vsize (KiB) 627836 [startup+1062.3 s] /proc/loadavg: 8.10 8.09 8.00 9/182 26485 /proc/meminfo: memFree=30046348/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=617624 CPUtime=4239.29 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 493421 0 0 0 423644 285 0 0 25 0 4 0 522081584 632446976 113150 33554432000 4194304 4650419 140734262544080 18446744073709551615 4315103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 154406 113150 395 112 0 149371 0 [pid=26452/tid=26453] ppid=26450 vsize=617624 CPUtime=1060.93 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 120774 0 0 0 105987 106 0 0 25 0 4 0 522081584 632446976 113150 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=617624 CPUtime=1054.14 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 148676 0 0 0 105337 77 0 0 25 0 4 0 522081584 632446976 113150 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=617624 CPUtime=1062.05 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 106460 0 0 0 106159 46 0 0 25 0 4 0 522081584 632446976 113150 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 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) 617624 [startup+1122.3 s] /proc/loadavg: 8.09 8.08 8.00 9/182 26486 /proc/meminfo: memFree=30032420/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=854984 CPUtime=4478.89 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 507423 0 0 0 447595 294 0 0 25 0 4 0 522081584 875503616 118173 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365308 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 213746 118173 395 112 0 208711 0 [pid=26452/tid=26453] ppid=26450 vsize=854984 CPUtime=1120.87 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 123389 0 0 0 111979 108 0 0 25 0 4 0 522081584 875503616 118173 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=854984 CPUtime=1113.8 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 154117 0 0 0 111300 80 0 0 25 0 4 0 522081584 875503616 118173 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=854984 CPUtime=1122.05 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 110619 0 0 0 112155 50 0 0 25 0 4 0 522081584 875503616 118173 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4478.89 Current children cumulated vsize (KiB) 854984 [startup+1182.3 s] /proc/loadavg: 8.20 8.11 8.01 9/182 26487 /proc/meminfo: memFree=30016140/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=683460 CPUtime=4718.51 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 525570 0 0 0 471547 304 0 0 25 0 4 0 522081584 699863040 116818 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 170865 116818 395 112 0 165830 0 [pid=26452/tid=26453] ppid=26450 vsize=683460 CPUtime=1180.81 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 127320 0 0 0 117971 110 0 0 25 0 4 0 522081584 699863040 116818 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=683460 CPUtime=1173.48 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 160893 0 0 0 117265 83 0 0 25 0 4 0 522081584 699863040 116818 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=683460 CPUtime=1182.05 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 112762 0 0 0 118154 51 0 0 25 0 4 0 522081584 699863040 116818 33554432000 4194304 4650419 140734262544080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4718.51 Current children cumulated vsize (KiB) 683460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.8 s] /proc/loadavg: 8.14 8.10 8.01 9/182 26520 /proc/meminfo: memFree=30360932/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=710348 CPUtime=4800.39 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 533331 0 0 0 479731 308 0 0 25 0 4 0 522081584 727396352 120109 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 177587 120109 395 112 0 172552 0 [pid=26452/tid=26453] ppid=26450 vsize=710348 CPUtime=1201.3 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 129857 0 0 0 120019 111 0 0 25 0 4 0 522081584 727396352 120109 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=710348 CPUtime=1193.86 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 163413 0 0 0 119302 84 0 0 25 0 4 0 522081584 727396352 120109 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=710348 CPUtime=1202.55 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 114127 0 0 0 120203 52 0 0 25 0 4 0 522081584 727396352 120109 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.39 Current children cumulated vsize (KiB) 710348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1202.8 s] /proc/loadavg: 8.14 8.10 8.01 9/182 26520 /proc/meminfo: memFree=30360932/32951132 swapFree=67111356/67111528 [pid=26452] ppid=26450 vsize=710348 CPUtime=4800.39 cores=0,2,4,6 /proc/26452/stat : 26452 (strangenight1-m) R 26450 26452 26305 0 -1 4202496 533331 0 0 0 479731 308 0 0 25 0 4 0 522081584 727396352 120109 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26452/statm: 177587 120109 395 112 0 172552 0 [pid=26452/tid=26453] ppid=26450 vsize=710348 CPUtime=1201.3 cores=0,2,4,6 /proc/26452/task/26453/stat : 26453 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 129857 0 0 0 120019 111 0 0 25 0 4 0 522081584 727396352 120109 33554432000 4194304 4650419 140734262544080 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26452/tid=26454] ppid=26450 vsize=710348 CPUtime=1193.86 cores=0,2,4,6 /proc/26452/task/26454/stat : 26454 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 163413 0 0 0 119302 84 0 0 25 0 4 0 522081584 727396352 120109 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26452/tid=26455] ppid=26450 vsize=710348 CPUtime=1202.55 cores=0,2,4,6 /proc/26452/task/26455/stat : 26455 (strangenight1-m) R 26450 26452 26305 0 -1 4202560 114127 0 0 0 120203 52 0 0 25 0 4 0 522081584 727396352 120109 33554432000 4194304 4650419 140734262544080 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.39 Current children cumulated vsize (KiB) 710348 Child ended because it received signal 15 (SIGTERM) Real time (s): 1202.83 CPU time (s): 4800.44 CPU user time (s): 4797.34 CPU system time (s): 3.10453 CPU usage (%): 399.094 Max. virtual memory (cumulated for all children) (KiB): 871668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.34 system time used= 3.10453 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 533332 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= 674 involuntary context switches= 22828 runsolver used 1.9607 second user time and 4.6053 second system time The end
Begin job on node131 at 2011-04-29 21:20:19 IDJOB=3175260 IDBENCH=82878 IDSOLVER=1588 FILE ID=node131/3175260-1304104819 RUNJOBID= node131-1304103614-26323 PBS_JOBID= 13170641 Free space on /tmp= 71380 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175260-1304104819/watcher-3175260-1304104819 -o /tmp/evaluation-result-3175260-1304104819/solver-3175260-1304104819 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175260-1304104819.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4fe02968acd00bdecbd1c96009763619 RANDOM SEED=460409833 node131.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.830 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.66 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.83 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.830 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.75 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.830 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.77 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.830 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.830 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.830 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30838944 kB Buffers: 200772 kB Cached: 1522952 kB SwapCached: 168 kB Active: 174500 kB Inactive: 1631716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30838944 kB SwapTotal: 67111528 kB SwapFree: 67111356 kB Dirty: 12456 kB Writeback: 0 kB AnonPages: 81288 kB Mapped: 15580 kB Slab: 242976 kB PageTables: 4544 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 289644 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71372 MiB End job on node131 at 2011-04-29 21:40:24