| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.46 | 1203.74 |
| 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-3368869-1305404762.cnf' 0.00/0.00 c -- header says num vars: 650 0.00/0.00 c -- header says num clauses: 2769 0.00/0.00 c -- clauses added: 0 learnts, 2769 normals, 0 xors 0.00/0.00 c -- vars added 650 0.00/0.00 c Parsing time: 0.00 s 0.00/0.00 c N st 0 0 650 2769 0 0 8307 0 no data no data -- 0.00/0.00 c asymm cl-useful: 0/2769/2769 lits-rem:0 time: 0.00 0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 650 time: 0.00 s 0.00/0.01 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.01 c lits-rem: 0 cl-subs: 0 v-elim: 22 v-fix: 0 time: 0.01 s 0.00/0.01 c Finding binary XORs T: 0.00 s found: 0 0.00/0.01 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.01 c calculated reachability. Time: 0.00 0.00/0.01 c Calc default polars - time: 0.00 s pos: 274 undec: 78 neg: 298 0.00/0.01 c ========================================================================================= 0.00/0.01 c types(t): F = full restart, N = normal restart 0.00/0.01 c types(t): S = simplification begin/end, E = solution found 0.00/0.01 c restart types(rt): st = static, dy = dynamic 0.00/0.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.01 c B st 0 0 628 2757 0 0 8412 0 no data no data -- 0.20/0.07 c Decided on static restart strategy 0.36/0.17 c N st 8 4917 628 2757 0 4861 8412 141884 no data no data -- 1.56/0.45 c N st 10 11300 628 2757 0 4487 8412 88012 no data no data -- 2.77/0.73 c N st 11 17043 628 2757 0 10134 8412 254365 no data no data -- 4.40/1.17 c F st 12 25001 628 2757 0 12446 8412 306797 no data no data -- 4.40/1.17 c N st 12 25001 628 2757 0 12446 8412 306797 no data no data -- 5.55/1.44 c Decided on static restart strategy 5.55/1.44 c N st 18 30000 628 2757 0 10703 8412 236932 no data no data -- 5.55/1.44 c S st 18 30000 628 2757 0 10703 8412 236932 no data no data -- 5.55/1.47 c S st 18 30501 628 2757 0 11203 8412 250144 no data no data -- 5.55/1.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.55/1.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.55/1.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 5.55/1.48 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.55/1.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.55/1.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 5.55/1.48 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 6.76/1.74 c lits-rem: 275 cl-subs: 406 v-elim: 0 v-fix: 0 time: 1.01 s 6.76/1.74 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.04 6.76/1.74 c calculated reachability. Time: 0.00 6.76/1.74 c N st 18 30501 628 2757 0 10797 8412 236420 no data no data -- 8.37/2.17 c N st 20 37615 628 2757 0 10056 8412 191254 no data no data -- 9.94/2.58 c N st 21 44015 628 2757 0 16346 8412 370428 no data no data -- 10.34/2.69 c S st 22 45751 628 2757 0 9267 8412 150073 no data no data -- 10.74/2.72 c S st 22 46252 628 2757 0 9767 8412 163179 no data no data -- 10.74/2.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.74/2.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.74/2.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 10.74/2.73 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.74/2.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.74/2.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 10.74/2.73 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 11.14/2.85 c lits-rem: 39 cl-subs: 40 v-elim: 0 v-fix: 0 time: 0.48 s 11.14/2.85 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 11.14/2.85 c vivif2 -- cl tried 9727 cl shrink 0 lits rem 0 time: 0.01 11.14/2.86 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.03 11.14/2.86 c calculated reachability. Time: 0.00 11.14/2.86 c N st 22 46252 628 2757 0 9727 8412 161835 no data no data -- 15.53/3.90 c N st 23 60652 628 2757 0 14051 8412 276674 no data no data -- 18.32/4.66 c N st 24 69381 628 2757 0 11844 8412 202207 no data no data -- 18.32/4.66 c S st 24 69381 628 2757 0 11844 8412 202207 no data no data -- 18.71/4.70 c S st 24 69884 628 2757 0 12347 8412 215662 no data no data -- 18.71/4.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 18.71/4.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 18.71/4.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 18.71/4.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 18.71/4.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 18.71/4.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 18.71/4.71 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 19.51/4.95 c lits-rem: 45 cl-subs: 183 v-elim: 0 v-fix: 0 time: 0.97 s 19.51/4.95 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 19.51/4.96 c vivif2 -- cl tried 12164 cl shrink 0 lits rem 0 time: 0.01 19.51/4.97 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.04 19.51/4.97 c calculated reachability. Time: 0.00 19.51/4.97 c N st 24 69884 628 2757 0 12164 8412 209739 no data no data -- 25.09/6.35 c F st 25 87502 628 2757 0 17740 8412 374754 no data no data -- 25.09/6.35 c N st 25 87502 628 2757 0 17740 8412 374754 no data no data -- 26.67/6.79 c N dy 34 93161 628 2757 0 23319 8412 534875 19.83 20.89 -- 28.67/7.29 c N dy 63 99155 628 2757 0 16386 8412 257528 18.83 19.84 -- 30.71/7.74 c S st 81 104826 628 2757 0 22001 8412 409288 18.51 no data -- 31.06/7.80 c S st 81 105328 628 2757 0 22503 8412 421850 18.51 no data -- 31.06/7.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 31.06/7.80 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 31.06/7.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.03 31.06/7.82 c bin-w-bin subsume rem 0 bins time: 0.00 s 31.06/7.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 31.06/7.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 31.06/7.82 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 35.10/8.87 c lits-rem: 294 cl-subs: 237 v-elim: 0 v-fix: 0 time: 4.17 s 35.10/8.87 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 35.10/8.88 c vivif2 -- cl tried 22266 cl shrink 0 lits rem 0 time: 0.02 35.10/8.90 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.08 35.10/8.90 c calculated reachability. Time: 0.00 35.10/8.90 c N dy 81 105328 628 2757 0 22266 8412 413978 18.51 no data -- 37.85/9.55 c N dy 110 112365 628 2757 0 15362 8412 194056 18.55 19.53 -- 40.63/10.20 c N dy 135 120772 628 2757 0 23697 8412 419138 18.37 19.43 -- 43.45/10.99 c N dy 169 128819 628 2757 0 16798 8412 205544 18.33 19.45 -- 47.02/11.80 c N dy 206 137878 628 2757 0 25778 8412 447002 18.29 19.30 -- 51.41/12.95 c N dy 213 150132 628 2757 0 22037 8412 329616 17.74 18.79 -- 54.59/13.74 c S st 245 157992 628 2757 0 29819 8412 533618 17.71 17.33 -- 54.99/13.81 c S st 245 158496 628 2757 0 30323 8412 546721 17.71 no data -- 54.99/13.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 54.99/13.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 54.99/13.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 54.99/13.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 54.99/13.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 54.99/13.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 54.99/13.84 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 61.42/15.45 c lits-rem: 997 cl-subs: 802 v-elim: 0 v-fix: 0 time: 6.41 s 61.42/15.45 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 61.42/15.46 c vivif2 -- cl tried 29521 cl shrink 0 lits rem 0 time: 0.02 61.42/15.48 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.10 61.42/15.48 c calculated reachability. Time: 0.00 61.42/15.48 c N dy 245 158496 628 2757 0 29521 8412 525598 17.71 no data -- 65.38/16.41 c N dy 302 168723 628 2757 0 22851 8412 322831 17.81 18.85 -- 69.77/17.57 c N dy 352 179546 628 2757 0 33565 8412 613229 17.86 23.17 -- 74.93/18.88 c N dy 408 192464 628 2757 0 28543 8412 456858 17.91 19.00 -- 81.32/20.45 c N dy 452 204840 628 2757 0 21960 8412 248990 17.91 19.43 -- 86.90/21.84 c N dy 536 217930 628 2757 0 34954 8412 600849 18.00 19.07 -- 93.67/23.52 c N dy 603 232712 628 2757 0 29785 8412 439830 18.05 19.48 -- 96.09/24.21 c S st 631 237744 628 2757 0 34770 8412 576021 18.07 17.30 -- 96.86/24.30 c S st 631 238246 628 2757 0 35269 8412 589731 18.07 no data -- 96.86/24.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 96.86/24.30 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 96.86/24.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.06 96.86/24.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 96.86/24.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 96.86/24.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 96.86/24.34 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 104.87/26.36 c lits-rem: 669 cl-subs: 506 v-elim: 0 v-fix: 0 time: 8.07 s 104.87/26.36 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 104.87/26.37 c vivif2 -- cl tried 34763 cl shrink 0 lits rem 0 time: 0.02 104.87/26.40 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.13 104.87/26.40 c calculated reachability. Time: 0.00 104.87/26.40 c N dy 631 238246 628 2757 0 34763 8412 574009 18.07 no data -- 112.42/28.20 c N dy 689 254097 628 2757 0 29654 8412 409863 18.06 19.04 -- 120.80/30.39 c N dy 753 270593 628 2757 0 24199 8412 249161 18.08 19.18 -- 129.57/32.52 c N dy 860 287907 628 2757 0 41374 8412 711347 18.15 19.33 -- 137.95/34.69 c F st 923 306250 628 2757 0 36749 8412 566321 18.14 18.77 -- 138.35/34.73 c N st 924 306501 628 2757 0 37000 8412 573619 18.14 no data -- 150.31/37.72 c N dy 974 329624 628 2757 0 36073 8412 525333 18.08 19.17 -- 161.48/40.58 c N dy 1077 349735 628 2757 0 31252 8412 377000 18.11 19.20 -- 165.47/41.56 c S st 1101 357369 628 2757 0 38783 8412 578716 18.10 no data -- 165.87/41.65 c S st 1101 357874 628 2757 0 39287 8412 592755 18.10 no data -- 165.87/41.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 165.87/41.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 165.87/41.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 165.87/41.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 165.87/41.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 165.87/41.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 165.87/41.69 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 173.84/43.60 c lits-rem: 495 cl-subs: 564 v-elim: 0 v-fix: 0 time: 7.61 s 173.84/43.60 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 173.84/43.60 c vivif2 -- cl tried 38723 cl shrink 0 lits rem 0 time: 0.03 173.84/43.64 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.15 173.84/43.64 c calculated reachability. Time: 0.00 173.84/43.64 c N dy 1101 357874 628 2757 0 38723 8412 576274 18.10 no data -- 185.40/46.55 c N dy 1186 377919 628 2757 0 32855 8412 392131 18.11 21.72 -- 201.37/50.52 c N dy 1284 402316 628 2757 0 30241 8412 295865 18.11 19.23 -- 213.32/53.51 c N dy 1396 422359 628 2757 0 50106 8412 839500 18.16 20.85 -- 225.28/56.57 c N dy 1519 442462 628 2757 0 42316 8412 616406 18.23 19.25 -- 239.24/60.01 c N dy 1617 462497 628 2757 0 33440 8412 350821 18.25 19.66 -- 251.99/63.28 c N dy 1721 482499 628 2757 0 53302 8412 898710 18.28 20.68 -- 265.16/66.55 c N dy 1822 502604 628 2757 0 43450 8412 601691 18.30 19.42 -- 280.34/70.38 c N dy 1917 522723 628 2757 0 32680 8412 285481 18.31 19.47 -- 288.69/72.44 c S st 1989 536813 628 2757 0 46639 8412 669615 18.33 15.50 -- 289.11/72.55 c S st 1989 537314 628 2757 0 47137 8412 683569 18.33 no data -- 289.11/72.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 289.11/72.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 289.11/72.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.07 289.11/72.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 289.11/72.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 289.11/72.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 289.11/72.59 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 298.31/74.82 c lits-rem: 1174 cl-subs: 638 v-elim: 0 v-fix: 0 time: 8.88 s 298.31/74.82 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 298.31/74.82 c vivif2 -- cl tried 46499 cl shrink 0 lits rem 0 time: 0.03 298.31/74.87 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.20 298.31/74.88 c calculated reachability. Time: 0.00 298.31/74.88 c N dy 1989 537314 628 2757 0 46499 8412 663312 18.33 no data -- 313.82/78.77 c N dy 2089 557371 628 2757 0 34663 8412 321602 18.34 19.88 -- 327.38/82.11 c N dy 2204 577384 628 2757 0 54507 8412 871034 18.38 19.99 -- 343.33/86.17 c N dy 2323 598783 628 2757 0 43011 8412 530192 18.41 19.56 -- 360.47/90.49 c N dy 2445 619477 628 2757 0 63543 8412 1101477 18.45 19.47 -- 375.24/94.16 c N dy 2541 640315 628 2757 0 50486 8412 707982 18.46 19.47 -- 393.18/98.61 c N dy 2628 660373 628 2757 0 35656 8412 281707 18.46 20.88 -- 407.14/102.13 c N dy 2741 680445 628 2757 0 55536 8412 833085 18.49 19.66 -- 425.53/106.74 c N dy 2842 700902 628 2757 0 40101 8412 376372 18.49 19.58 -- 440.64/110.59 c N dy 2918 722468 628 2757 0 61411 8412 950224 18.47 19.51 -- 459.39/115.28 c N dy 3033 742517 628 2757 0 44663 8412 490350 18.50 22.18 -- 475.33/119.27 c N dy 3150 762557 628 2757 0 64505 8412 1041523 18.52 23.81 -- 493.68/123.86 c N dy 3270 782575 628 2757 0 46726 8412 526000 18.55 19.54 -- 510.83/128.14 c N dy 3397 802704 628 2757 0 66646 8412 1079762 18.58 19.70 -- 514.41/129.01 c S st 3411 805972 628 2757 0 69884 8412 1167773 18.58 17.76 -- 514.81/129.20 c S st 3411 806476 628 2757 0 70388 8412 1181961 18.58 no data -- 515.21/129.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 515.21/129.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 515.21/129.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.13 515.21/129.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 515.21/129.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 515.21/129.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 515.21/129.27 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 522.39/131.06 c lits-rem: 334 cl-subs: 917 v-elim: 0 v-fix: 0 time: 7.12 s 522.39/131.06 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 522.39/131.07 c vivif2 -- cl tried 69471 cl shrink 0 lits rem 0 time: 0.06 522.79/131.17 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.37 522.79/131.17 c calculated reachability. Time: 0.00 522.79/131.17 c N dy 3411 806476 628 2757 0 69471 8412 1153062 18.58 no data -- 539.59/135.36 c N dy 3484 826585 628 2757 0 50752 8412 606676 18.56 19.66 -- 559.09/140.29 c N dy 3598 846639 628 2757 0 70605 8412 1153719 18.59 21.32 -- 577.02/144.79 c N dy 3711 866666 628 2757 0 50852 8412 596611 18.61 23.51 -- 596.61/149.67 c N dy 3791 888224 628 2757 0 72168 8412 1173431 18.61 19.76 -- 615.30/154.36 c N dy 3871 908307 628 2757 0 51470 8412 586652 18.61 19.59 -- 637.25/159.84 c N dy 3948 931766 628 2757 0 74641 8412 1214462 18.59 19.73 -- 655.59/164.46 c N dy 4043 951778 628 2757 0 52892 8412 609636 18.61 19.65 -- 674.74/169.20 c N dy 4134 972003 628 2757 0 72876 8412 1152183 18.61 19.63 -- 695.47/174.40 c N dy 4265 992006 628 2757 0 50184 8412 517214 18.63 20.05 -- 713.82/179.03 c N dy 4400 1012026 628 2757 0 70029 8412 1072941 18.66 22.42 -- 737.75/185.00 c N dy 4498 1032129 628 2757 0 46359 8412 389394 18.67 19.77 -- 754.89/189.34 c N dy 4593 1052834 628 2757 0 66864 8412 960240 18.68 19.82 -- 777.62/195.04 c F st 4681 1071877 628 2757 0 85694 8412 1481193 18.69 18.22 -- 779.22/195.48 c N st 4684 1073066 628 2757 0 86867 8412 1513707 18.69 no data -- 797.17/199.92 c N dy 4753 1093956 628 2757 0 62984 8412 828472 18.69 19.74 -- 819.51/205.57 c N dy 4844 1114031 628 2757 0 82816 8412 1372731 18.70 19.90 -- 839.45/210.55 c N dy 4887 1134202 628 2757 0 57214 8412 636010 18.67 19.85 -- 859.40/215.53 c N dy 4960 1154207 628 2757 0 76952 8412 1175105 18.66 19.71 -- 884.11/221.77 c N dy 5067 1174241 628 2757 0 50336 8412 441700 18.67 19.82 -- 902.86/226.46 c N dy 5129 1194599 628 2757 0 70449 8412 989572 18.67 19.67 -- 920.83/230.99 c S st 5188 1209715 628 2757 0 85375 8412 1392870 18.67 16.08 -- 921.99/231.23 c S st 5188 1210219 628 2757 0 85879 8412 1407922 18.67 no data -- 921.99/231.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 921.99/231.23 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 921.99/231.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.16 922.39/231.32 c bin-w-bin subsume rem 0 bins time: 0.00 s 922.39/231.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 922.39/231.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 922.39/231.32 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 933.56/234.18 c lits-rem: 292 cl-subs: 1944 v-elim: 0 v-fix: 0 time: 11.40 s 933.56/234.18 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 933.56/234.20 c vivif2 -- cl tried 83935 cl shrink 0 lits rem 0 time: 0.07 934.40/234.33 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.50 934.40/234.33 c calculated reachability. Time: 0.00 934.40/234.33 c N dy 5188 1210219 628 2757 0 83935 8412 1352793 18.67 no data -- 958.29/240.30 c N dy 5299 1231162 628 2757 0 57260 8412 612383 18.68 20.00 -- 979.42/245.65 c N dy 5378 1251932 628 2757 0 77725 8412 1163223 18.68 19.74 -- 1006.94/252.57 c N dy 5463 1272076 628 2757 0 49244 8412 366527 18.68 19.73 -- 1024.49/256.94 c N dy 5565 1292094 628 2757 0 69077 8412 919278 18.69 20.44 -- 1054.39/264.40 c N dy 5636 1316478 628 2757 0 93160 8412 1571774 18.67 19.74 -- 1074.36/269.45 c N dy 5722 1336565 628 2757 0 63602 8412 745251 18.68 19.74 -- 1096.72/275.06 c N dy 5800 1357046 628 2757 0 83834 8412 1298028 18.67 19.66 -- 1123.78/281.88 c N dy 5861 1377077 628 2757 0 53205 8412 435113 18.67 19.75 -- 1142.53/286.59 c N dy 5978 1397325 628 2757 0 73248 8412 995873 18.68 19.69 -- 1168.45/293.01 c N dy 6081 1417415 628 2757 0 93143 8412 1555822 18.69 19.89 -- 1192.39/299.06 c N dy 6189 1437594 628 2757 0 61679 8412 644727 18.70 19.75 -- 1214.75/304.63 c N dy 6288 1458129 628 2757 0 81977 8412 1211561 18.71 19.83 -- 1243.43/311.85 c N dy 6402 1478139 628 2757 0 101795 8412 1766665 18.72 19.73 -- 1269.76/318.44 c N dy 6449 1503637 628 2757 0 74476 8412 962418 18.70 19.73 -- 1295.27/324.84 c N dy 6546 1524350 628 2757 0 94921 8412 1526127 18.70 19.75 -- 1321.99/331.51 c N dy 6657 1544446 628 2757 0 61469 8412 607121 18.71 26.30 -- 1343.93/337.02 c N dy 6736 1565208 628 2757 0 81975 8412 1174308 18.71 19.89 -- 1372.66/344.30 c N dy 6836 1585219 628 2757 0 101770 8412 1724740 18.72 23.11 -- 1402.96/351.84 c N dy 6867 1613361 628 2757 0 75104 8412 942291 18.70 19.75 -- 1430.12/358.63 c N dy 6977 1634024 628 2757 0 95569 8412 1515977 18.70 19.79 -- 1461.17/366.46 c N dy 7107 1654107 628 2757 0 60144 8412 524076 18.72 19.80 -- 1482.76/371.89 c N dy 7211 1674553 628 2757 0 80284 8412 1073414 18.73 20.01 -- 1510.22/378.78 c N dy 7248 1694721 628 2757 0 100142 8412 1598403 18.71 19.75 -- 1532.56/384.37 c S st 7291 1710219 628 2757 0 59208 8412 476332 18.70 17.06 -- 1533.36/384.51 c S st 7291 1710724 628 2757 0 59713 8412 490308 18.70 no data -- 1533.36/384.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1533.36/384.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1533.36/384.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.09 1533.36/384.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 1533.36/384.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1533.36/384.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 1533.36/384.55 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1540.53/386.39 c lits-rem: 237 cl-subs: 193 v-elim: 0 v-fix: 0 time: 7.31 s 1540.53/386.39 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 1540.93/386.40 c vivif2 -- cl tried 59520 cl shrink 0 lits rem 0 time: 0.03 1540.93/386.46 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.25 1540.93/386.46 c calculated reachability. Time: 0.00 1540.93/386.46 c N dy 7291 1710724 628 2757 0 59520 8412 485472 18.70 no data -- 1561.72/391.64 c N dy 7375 1730869 628 2757 0 79423 8412 1031519 18.70 19.86 -- 1589.19/398.55 c N dy 7490 1751068 628 2757 0 99397 8412 1586142 18.72 19.85 -- 1622.30/406.88 c N dy 7603 1771353 628 2757 0 62163 8412 538957 18.73 19.74 -- 1649.04/413.53 c N dy 7669 1791371 628 2757 0 81926 8412 1087037 18.73 21.19 -- 1686.51/422.99 c N dy 7749 1814866 628 2757 0 105107 8412 1724267 18.72 19.71 -- 1716.01/430.38 c N dy 7889 1834875 628 2757 0 66652 8412 645009 18.74 23.54 -- 1738.35/435.94 c N dy 7944 1854959 628 2757 0 86483 8412 1190593 18.74 21.02 -- 1766.27/442.97 c N dy 7990 1875192 628 2757 0 106471 8412 1739776 18.73 19.77 -- 1796.98/450.63 c N dy 8105 1895841 628 2757 0 67630 8412 649794 18.73 19.80 -- 1820.55/456.53 c N dy 8197 1915953 628 2757 0 87548 8412 1203279 18.74 19.80 -- 1850.41/464.09 c N dy 8285 1936160 628 2757 0 107516 8412 1761862 18.74 20.09 -- 1884.71/472.69 c N dy 8387 1959428 628 2757 0 70232 8412 695475 18.74 20.00 -- 1910.63/479.19 c N dy 8476 1980343 628 2757 0 90868 8412 1259131 18.74 19.78 -- 1944.53/487.63 c N dy 8616 2000423 628 2757 0 110769 8412 1814795 18.76 20.81 -- 1974.09/495.09 c N dy 8683 2020868 628 2757 0 69653 8412 654904 18.75 19.93 -- 2026.30/508.15 c N dy 8721 2062132 628 2757 0 110271 8412 1737872 18.71 19.70 -- 2059.79/516.56 c N dy 8827 2083086 628 2757 0 68776 8412 616484 18.72 19.71 -- 2087.30/523.48 c N dy 8938 2106027 628 2757 0 91431 8412 1245016 18.72 19.80 -- 2123.99/532.66 c N dy 9061 2127725 628 2757 0 112895 8412 1836957 18.73 19.73 -- 2157.10/540.98 c N dy 9158 2147822 628 2757 0 69533 8412 616663 18.74 21.70 -- 2184.65/547.89 c N dy 9237 2171463 628 2757 0 92835 8412 1248923 18.73 19.88 -- 2217.31/556.01 c N dy 9313 2192635 628 2757 0 113766 8412 1832273 18.73 19.89 -- 2250.46/564.36 c S st 9403 2210724 628 2757 0 67463 8412 536719 18.74 no data -- 2251.21/564.52 c S st 9403 2211228 628 2757 0 67966 8412 549978 18.74 no data -- 2251.21/564.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2251.21/564.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2251.21/564.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.10 2251.21/564.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 2251.21/564.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2251.21/564.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 2251.21/564.57 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2259.24/566.51 c lits-rem: 187 cl-subs: 165 v-elim: 0 v-fix: 0 time: 7.72 s 2259.24/566.51 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 2259.24/566.52 c vivif2 -- cl tried 67801 cl shrink 0 lits rem 0 time: 0.03 2259.24/566.59 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.29 2259.24/566.59 c calculated reachability. Time: 0.00 2259.24/566.59 c N dy 9403 2211228 628 2757 0 67801 8412 544767 18.74 no data -- 2282.72/572.42 c N dy 9513 2231292 628 2757 0 87660 8412 1099417 18.75 22.12 -- 2315.02/580.58 c N dy 9602 2251388 628 2757 0 107563 8412 1661231 18.75 19.78 -- 2354.11/590.34 c N dy 9706 2271425 628 2757 0 127375 8412 2219443 18.76 19.75 -- 2380.02/596.87 c N dy 9781 2291805 628 2757 0 82254 8412 918400 18.76 20.03 -- 2406.74/603.56 c N dy 9847 2311889 628 2757 0 102038 8412 1470651 18.75 24.54 -- 2440.24/611.95 c N dy 9902 2332017 628 2757 0 121870 8412 2014525 18.75 19.76 -- 2472.55/620.02 c N dy 10036 2352034 628 2757 0 75513 8412 721515 18.76 19.86 -- 2498.07/626.44 c N dy 10110 2372560 628 2757 0 95782 8412 1293316 18.76 19.82 -- 2531.97/634.96 c N dy 10214 2392577 628 2757 0 115570 8412 1844938 18.77 19.83 -- 2572.25/645.07 c N dy 10306 2412821 628 2757 0 68372 8412 498568 18.77 19.98 -- 2594.98/650.75 c N dy 10379 2432881 628 2757 0 88172 8412 1045071 18.77 22.06 -- 2628.08/659.06 c N dy 10467 2455743 628 2757 0 110800 8412 1679146 18.77 19.77 -- 2669.16/669.35 c N dy 10568 2476662 628 2757 0 131505 8412 2260787 18.77 19.84 -- 2698.67/676.80 c N dy 10717 2496830 628 2757 0 83286 8412 900452 18.79 19.98 -- 2726.98/683.88 c N dy 10804 2516876 628 2757 0 103110 8412 1457241 18.79 19.78 -- 2764.87/693.31 c N dy 10884 2536928 628 2757 0 122874 8412 1999423 18.79 19.96 -- 2807.59/704.09 c N dy 10984 2560554 628 2757 0 77012 8412 702000 18.79 19.78 -- 2833.07/710.43 c N dy 11033 2582031 628 2757 0 98117 8412 1282253 18.78 19.85 -- 2866.17/718.77 c N dy 11107 2602055 628 2757 0 117902 8412 1829722 18.78 19.88 -- 2906.85/728.90 c N dy 11224 2622188 628 2757 0 137812 8412 2388675 18.79 19.79 -- 2933.57/735.64 c N dy 11351 2642244 628 2757 0 87547 8412 975476 18.80 19.81 -- 2961.48/742.66 c N dy 11424 2662391 628 2757 0 107393 8412 1525628 18.80 19.87 -- 3012.94/755.53 c N dy 11521 2690228 628 2757 0 134825 8412 2271969 18.80 19.85 -- 3045.24/763.63 c N dy 11617 2710408 628 2757 0 83718 8412 852101 18.80 19.88 -- 3046.44/763.93 c S st 11624 2711229 628 2757 0 84532 8412 875799 18.80 no data -- 3047.23/764.18 c S st 11624 2711731 628 2757 0 85034 8412 889958 18.80 no data -- 3047.23/764.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3047.23/764.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3047.63/764.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.19 3047.63/764.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 3047.63/764.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3047.63/764.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 3047.63/764.27 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3063.18/768.11 c lits-rem: 850 cl-subs: 509 v-elim: 0 v-fix: 0 time: 15.28 s 3063.18/768.11 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 3063.18/768.12 c vivif2 -- cl tried 84525 cl shrink 0 lits rem 0 time: 0.05 3063.58/768.23 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.43 3063.58/768.23 c calculated reachability. Time: 0.00 3063.58/768.23 c N dy 11624 2711731 628 2757 0 84525 8412 873967 18.80 no data -- 3095.48/776.21 c N dy 11664 2734661 628 2757 0 107119 8412 1482596 18.79 19.89 -- 3131.79/785.31 c N dy 11759 2754668 628 2757 0 126931 8412 2035813 18.80 19.81 -- 3172.85/795.64 c N dy 11839 2774715 628 2757 0 74641 8412 571034 18.80 21.46 -- 3196.79/801.62 c N dy 11915 2794747 628 2757 0 94404 8412 1123285 18.79 20.41 -- 3230.68/810.16 c N dy 12013 2815348 628 2757 0 114734 8412 1684998 18.80 19.85 -- 3272.94/820.79 c N dy 12126 2835639 628 2757 0 134804 8412 2250310 18.80 20.13 -- 3308.84/829.76 c N dy 12214 2855724 628 2757 0 81591 8412 739214 18.81 20.07 -- 3338.74/837.29 c N dy 12295 2877627 628 2757 0 103194 8412 1341792 18.81 19.82 -- 3369.11/844.83 c N dy 12312 2897796 628 2757 0 123040 8412 1882795 18.80 19.94 -- 3410.14/855.16 c N dy 12384 2917958 628 2757 0 142895 8412 2425419 18.80 19.81 -- 3444.02/863.61 c N dy 12449 2940753 628 2757 0 91401 8412 978023 18.79 19.91 -- 3478.35/872.30 c N dy 12544 2962034 628 2757 0 112430 8412 1556587 18.79 19.98 -- 3528.98/884.91 c N dy 12656 2982059 628 2757 0 132208 8412 2110966 18.80 19.80 -- 3586.02/899.22 c N dy 12759 3002086 628 2757 0 76980 8412 572052 18.80 20.00 -- 3615.12/906.59 c N dy 12850 3023196 628 2757 0 97825 8412 1148676 18.80 19.90 -- 3648.22/914.89 c N dy 12951 3043200 628 2757 0 117595 8412 1705504 18.81 23.80 -- 3690.50/925.40 c N dy 13064 3063546 628 2757 0 137690 8412 2272534 18.82 19.93 -- 3733.21/936.14 c N dy 13172 3083600 628 2757 0 81469 8412 677754 18.82 19.91 -- 3761.09/943.16 c N dy 13264 3104086 628 2757 0 101693 8412 1243925 18.83 19.84 -- 3801.76/953.32 c N dy 13364 3126572 628 2757 0 123902 8412 1856995 18.83 19.87 -- 3846.43/964.50 c N dy 13501 3146580 628 2757 0 143709 8412 2418351 18.84 20.62 -- 3893.49/976.32 c N dy 13597 3166653 628 2757 0 86494 8412 799198 18.84 20.90 -- 3928.59/985.19 c N dy 13713 3186719 628 2757 0 106346 8412 1357308 18.85 20.07 -- 3974.84/996.71 c N dy 13811 3211733 628 2757 0 131053 8412 2052559 18.85 16.63 -- 3974.84/996.71 c S st 13811 3211733 628 2757 0 131053 8412 2052559 18.85 16.63 -- 3976.04/997.08 c S st 13811 3212235 628 2757 0 131554 8412 2066624 18.85 no data -- 3976.04/997.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3976.04/997.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3976.44/997.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.28 3976.84/997.23 c bin-w-bin subsume rem 0 bins time: 0.00 s 3976.84/997.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3976.84/997.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 628 time: 0.00 s 3976.84/997.23 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4005.95/1004.50 c lits-rem: 364 cl-subs: 2509 v-elim: 0 v-fix: 0 time: 28.98 s 4005.95/1004.50 c vivif2 -- cl tried 2757 cl shrink 0 lits rem 0 time: 0.00 4005.95/1004.53 c vivif2 -- cl tried 129045 cl shrink 0 lits rem 0 time: 0.11 4006.75/1004.76 c asymm cl-useful: 0/2757/2757 lits-rem:0 time: 0.90 4006.75/1004.76 c calculated reachability. Time: 0.00 4006.75/1004.76 c N dy 13811 3212235 628 2757 0 129045 8412 1993764 18.85 no data -- 4052.22/1016.17 c N dy 13898 3232312 628 2757 0 148856 8412 2537914 18.85 20.14 -- 4087.32/1024.95 c N dy 13972 3252383 628 2757 0 90592 8412 882657 18.85 21.68 -- 4117.62/1032.52 c N dy 14047 3272537 628 2757 0 110520 8412 1438593 18.85 19.94 -- 4156.71/1042.30 c N dy 14173 3292555 628 2757 0 130362 8412 2002170 18.86 22.71 -- 4201.37/1053.50 c N dy 14265 3312784 628 2757 0 150351 8412 2555206 18.86 20.01 -- 4241.67/1063.65 c N dy 14338 3335999 628 2757 0 94203 8412 956760 18.85 19.99 -- 4275.15/1072.02 c N dy 14456 3356274 628 2757 0 114262 8412 1519883 18.86 19.89 -- 4316.25/1082.39 c N dy 14567 3376492 628 2757 0 134252 8412 2083415 18.86 19.94 -- 4368.47/1095.45 c N dy 14659 3398368 628 2757 0 155869 8412 2679642 18.87 19.97 -- 4409.94/1105.88 c N dy 14756 3418454 628 2757 0 95695 8412 986956 18.87 20.68 -- 4452.24/1116.48 c N dy 14837 3438605 628 2757 0 115547 8412 1540541 18.87 19.91 -- 4495.30/1127.21 c N dy 14944 3458677 628 2757 0 135356 8412 2093732 18.87 22.12 -- 4545.93/1139.98 c N dy 14998 3480412 628 2757 0 156741 8412 2679575 18.87 19.95 -- 4580.63/1148.64 c N dy 15031 3501373 628 2757 0 96462 8412 962910 18.86 19.93 -- 4619.71/1158.46 c N dy 15048 3525295 628 2757 0 119975 8412 1576354 18.84 19.96 -- 4662.40/1169.12 c N dy 15160 3545437 628 2757 0 139908 8412 2135445 18.85 20.00 -- 4721.00/1183.82 c N dy 15246 3568510 628 2757 0 162672 8412 2755421 18.85 19.94 -- 4751.31/1191.42 c N dy 15329 3588768 628 2757 0 100771 8412 1086220 18.85 19.89 -- 4787.21/1200.46 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: 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-3368869-1305404762/watcher-3368869-1305404762 -o /tmp/evaluation-result-3368869-1305404762/solver-3368869-1305404762 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368869-1305404762.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: 6.78 7.85 8.01 1/359 7738 /proc/meminfo: memFree=30338964/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=183284 CPUtime=0 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) S 7736 7738 7181 0 -1 4202496 557 0 0 0 0 0 0 0 24 0 4 0 632892495 187682816 479 33554432000 4194304 4650419 140733212648592 18446744073709551615 212039760366 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 45821 483 340 112 0 40786 0 [pid=7738/tid=7739] ppid=7736 vsize=282200 CPUtime=0 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) S 7736 7738 7181 0 -1 4202560 113 0 0 0 0 0 0 0 25 0 4 0 632892495 288972800 1134 33554432000 4194304 4650419 140733212648592 18446744073709551615 212039760366 0 0 4096 2 18446604450609474432 0 0 -1 4 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=282200 CPUtime=0 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 232 0 0 0 0 0 0 0 25 0 4 0 632892495 288972800 1136 33554432000 4194304 4650419 140733212648592 18446744073709551615 212039760415 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=282200 CPUtime=0 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 154 0 0 0 0 0 0 0 25 0 4 0 632892495 288972800 1137 33554432000 4194304 4650419 140733212648592 18446744073709551615 4334212 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.059662 s] /proc/loadavg: 6.78 7.85 8.01 1/359 7738 /proc/meminfo: memFree=30338964/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=282408 CPUtime=0.2 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 1724 0 0 0 20 0 0 0 24 0 4 0 632892495 289185792 1555 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 70602 1555 390 112 0 65567 0 [pid=7738/tid=7739] ppid=7736 vsize=282408 CPUtime=0.04 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 317 0 0 0 4 0 0 0 25 0 4 0 632892495 289185792 1555 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=282408 CPUtime=0.05 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 319 0 0 0 5 0 0 0 18 0 4 0 632892495 289185792 1555 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=282408 CPUtime=0.05 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 221 0 0 0 5 0 0 0 25 0 4 0 632892495 289185792 1556 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 282408 [startup+0.100651 s] /proc/loadavg: 6.78 7.85 8.01 1/359 7738 /proc/meminfo: memFree=30338964/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=282556 CPUtime=0.36 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 1940 0 0 0 36 0 0 0 24 0 4 0 632892495 289337344 1771 33554432000 4194304 4650419 140733212648592 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 70639 1771 391 112 0 65604 0 [pid=7738/tid=7739] ppid=7736 vsize=282556 CPUtime=0.08 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 376 0 0 0 8 0 0 0 25 0 4 0 632892495 289337344 1771 33554432000 4194304 4650419 140733212648592 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=282556 CPUtime=0.09 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 369 0 0 0 9 0 0 0 18 0 4 0 632892495 289337344 1771 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=282556 CPUtime=0.09 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 274 0 0 0 9 0 0 0 25 0 4 0 632892495 289337344 1771 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 282556 [startup+0.300584 s] /proc/loadavg: 6.78 7.85 8.01 1/359 7738 /proc/meminfo: memFree=30338964/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=284092 CPUtime=1.16 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 3124 0 0 0 116 0 0 0 25 0 4 0 632892495 290910208 2272 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366068 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 71023 2272 393 112 0 65988 0 [pid=7738/tid=7739] ppid=7736 vsize=284092 CPUtime=0.28 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 682 0 0 0 28 0 0 0 25 0 4 0 632892495 290910208 2272 33554432000 4194304 4650419 140733212648592 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=284092 CPUtime=0.29 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 638 0 0 0 29 0 0 0 18 0 4 0 632892495 290910208 2272 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=284092 CPUtime=0.29 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 584 0 0 0 29 0 0 0 25 0 4 0 632892495 290910208 2272 33554432000 4194304 4650419 140733212648592 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 284092 [startup+0.700514 s] /proc/loadavg: 6.78 7.85 8.01 1/359 7738 /proc/meminfo: memFree=30338964/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=284984 CPUtime=2.77 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 4865 0 0 0 276 1 0 0 25 0 4 0 632892495 291823616 3018 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 71246 3018 393 112 0 66211 0 [pid=7738/tid=7739] ppid=7736 vsize=284984 CPUtime=0.68 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 1105 0 0 0 68 0 0 0 25 0 4 0 632892495 291823616 3018 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=284984 CPUtime=0.68 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 1101 0 0 0 68 0 0 0 18 0 4 0 632892495 291823616 3018 33554432000 4194304 4650419 140733212648592 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=284984 CPUtime=0.69 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 1032 0 0 0 69 0 0 0 25 0 4 0 632892495 291823616 3018 33554432000 4194304 4650419 140733212648592 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 284984 [startup+1.50037 s] /proc/loadavg: 6.78 7.85 8.01 9/371 7755 /proc/meminfo: memFree=30310596/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=286492 CPUtime=5.95 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 9712 0 0 0 594 1 0 0 25 0 4 0 632892495 293367808 5084 33554432000 4194304 4650419 140733212648592 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 71623 5084 395 112 0 66588 0 [pid=7738/tid=7739] ppid=7736 vsize=286492 CPUtime=1.47 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 1935 0 0 0 147 0 0 0 25 0 4 0 632892495 293367808 5084 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=286492 CPUtime=1.48 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 1967 0 0 0 148 0 0 0 20 0 4 0 632892495 293367808 5084 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=286492 CPUtime=1.49 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 1855 0 0 0 149 0 0 0 25 0 4 0 632892495 293367808 5084 33554432000 4194304 4650419 140733212648592 18446744073709551615 4514720 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) 286492 [startup+3.10109 s] /proc/loadavg: 6.78 7.85 8.01 9/371 7755 /proc/meminfo: memFree=30285672/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=296480 CPUtime=12.34 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 18200 0 0 0 1231 3 0 0 25 0 4 0 632892495 303595520 10731 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 74120 10731 395 112 0 69085 0 [pid=7738/tid=7739] ppid=7736 vsize=296480 CPUtime=3.05 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 4250 0 0 0 305 0 0 0 25 0 4 0 632892495 303595520 10731 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=296480 CPUtime=3.09 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 4795 0 0 0 308 1 0 0 25 0 4 0 632892495 303595520 10731 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=296480 CPUtime=3.08 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 4109 0 0 0 308 0 0 0 25 0 4 0 632892495 303595520 10731 33554432000 4194304 4650419 140733212648592 18446744073709551615 4364785 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) 296480 [startup+6.30052 s] /proc/loadavg: 6.88 7.85 8.01 9/371 7756 /proc/meminfo: memFree=30232496/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=315444 CPUtime=25.09 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 26764 0 0 0 2504 5 0 0 25 0 4 0 632892495 323014656 13928 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 78861 13928 395 112 0 73826 0 [pid=7738/tid=7739] ppid=7736 vsize=315444 CPUtime=6.22 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 7256 0 0 0 621 1 0 0 25 0 4 0 632892495 323014656 13928 33554432000 4194304 4650419 140733212648592 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=315444 CPUtime=6.27 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 7078 0 0 0 626 1 0 0 25 0 4 0 632892495 323014656 13928 33554432000 4194304 4650419 140733212648592 18446744073709551615 4333548 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=315444 CPUtime=6.28 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 5213 0 0 0 628 0 0 0 25 0 4 0 632892495 323014656 13928 33554432000 4194304 4650419 140733212648592 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.09 Current children cumulated vsize (KiB) 315444 [startup+12.7004 s] /proc/loadavg: 6.97 7.85 8.01 9/371 7756 /proc/meminfo: memFree=30183072/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=390068 CPUtime=50.61 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 40392 0 0 0 5052 9 0 0 25 0 4 0 632892495 399429632 22433 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 97517 22433 395 112 0 92482 0 [pid=7738/tid=7739] ppid=7736 vsize=390068 CPUtime=12.53 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 10155 0 0 0 1251 2 0 0 25 0 4 0 632892495 399429632 22433 33554432000 4194304 4650419 140733212648592 18446744073709551615 4361066 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=390068 CPUtime=12.67 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 11410 0 0 0 1265 2 0 0 25 0 4 0 632892495 399429632 22433 33554432000 4194304 4650419 140733212648592 18446744073709551615 4314803 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=390068 CPUtime=12.69 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 7837 0 0 0 1268 1 0 0 25 0 4 0 632892495 399429632 22433 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.61 Current children cumulated vsize (KiB) 390068 [startup+25.5011 s] /proc/loadavg: 7.26 7.88 8.01 9/371 7756 /proc/meminfo: memFree=30124736/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=382196 CPUtime=101.66 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 58943 0 0 0 10153 13 0 0 25 0 4 0 632892495 391368704 30502 33554432000 4194304 4650419 140733212648592 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 95549 30502 395 112 0 90514 0 [pid=7738/tid=7739] ppid=7736 vsize=382196 CPUtime=25.18 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 16190 0 0 0 2515 3 0 0 25 0 4 0 632892495 391368704 30502 33554432000 4194304 4650419 140733212648592 18446744073709551615 4439106 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=382196 CPUtime=25.48 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 16746 0 0 0 2544 4 0 0 25 0 4 0 632892495 391368704 30502 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=382196 CPUtime=25.48 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 10124 0 0 0 2547 1 0 0 25 0 4 0 632892495 391368704 30502 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.66 Current children cumulated vsize (KiB) 382196 [startup+51.1005 s] /proc/loadavg: 7.58 7.90 8.01 9/371 7757 /proc/meminfo: memFree=30068236/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=364400 CPUtime=203.74 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 88522 0 0 0 20352 22 0 0 25 0 4 0 632892495 373145600 36857 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 91100 36857 395 112 0 86065 0 [pid=7738/tid=7739] ppid=7736 vsize=364400 CPUtime=50.48 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 24614 0 0 0 5042 6 0 0 25 0 4 0 632892495 373145600 36857 33554432000 4194304 4650419 140733212648592 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=364400 CPUtime=51.06 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 24215 0 0 0 5101 5 0 0 25 0 4 0 632892495 373145600 36857 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=364400 CPUtime=51.08 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 16718 0 0 0 5105 3 0 0 25 0 4 0 632892495 373145600 36857 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.74 Current children cumulated vsize (KiB) 364400 [startup+102.313 s] /proc/loadavg: 7.93 7.95 8.02 9/371 7758 /proc/meminfo: memFree=29998748/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=388036 CPUtime=407.98 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 124972 0 0 0 40763 35 0 0 25 0 4 0 632892495 397348864 46493 33554432000 4194304 4650419 140733212648592 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 97009 46493 395 112 0 91974 0 [pid=7738/tid=7739] ppid=7736 vsize=388036 CPUtime=101.09 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 33468 0 0 0 10099 10 0 0 25 0 4 0 632892495 397348864 46493 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=388036 CPUtime=102.27 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 34361 0 0 0 10218 9 0 0 25 0 4 0 632892495 397348864 46493 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=388036 CPUtime=102.3 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 24890 0 0 0 10225 5 0 0 25 0 4 0 632892495 397348864 46493 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 407.98 Current children cumulated vsize (KiB) 388036 [startup+162.301 s] ################ # More data... # ################ [pid=7738] ppid=7736 vsize=491172 CPUtime=2800.76 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 339167 0 0 0 279949 127 0 0 25 0 4 0 632892495 502960128 90039 33554432000 4194304 4650419 140733212648592 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 122793 90039 395 112 0 117758 0 [pid=7738/tid=7739] ppid=7736 vsize=491172 CPUtime=694 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 114424 0 0 0 69355 45 0 0 25 0 4 0 632892495 502960128 90039 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=491172 CPUtime=702.16 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 93996 0 0 0 70180 36 0 0 25 0 4 0 632892495 502960128 90039 33554432000 4194304 4650419 140733212648592 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=491172 CPUtime=702.3 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 49607 0 0 0 70216 14 0 0 25 0 4 0 632892495 502960128 90039 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2800.76 Current children cumulated vsize (KiB) 491172 [startup+762.315 s] /proc/loadavg: 8.10 8.08 8.03 9/371 7776 /proc/meminfo: memFree=29616292/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=526028 CPUtime=3040.1 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 360535 0 0 0 303874 136 0 0 25 0 4 0 632892495 538652672 94486 33554432000 4194304 4650419 140733212648592 18446744073709551615 4310792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 131507 94486 395 112 0 126472 0 [pid=7738/tid=7739] ppid=7736 vsize=526028 CPUtime=753.31 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 121489 0 0 0 75283 48 0 0 25 0 4 0 632892495 538652672 94486 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=526028 CPUtime=762.17 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 99197 0 0 0 76179 38 0 0 25 0 4 0 632892495 538652672 94486 33554432000 4194304 4650419 140733212648592 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=526028 CPUtime=762.32 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 53729 0 0 0 76216 16 0 0 25 0 4 0 632892495 538652672 94486 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3040.1 Current children cumulated vsize (KiB) 526028 [startup+822.301 s] /proc/loadavg: 8.09 8.08 8.03 10/371 7777 /proc/meminfo: memFree=29601488/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=527424 CPUtime=3279.32 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 377101 0 0 0 327789 143 0 0 25 0 4 0 632892495 540082176 99230 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 131856 99230 395 112 0 126821 0 [pid=7738/tid=7739] ppid=7736 vsize=527424 CPUtime=812.59 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 129895 0 0 0 81208 51 0 0 25 0 4 0 632892495 540082176 99230 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=527424 CPUtime=822.13 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 102549 0 0 0 82174 39 0 0 25 0 4 0 632892495 540082176 99230 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=527424 CPUtime=822.3 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 55535 0 0 0 82213 17 0 0 25 0 4 0 632892495 540082176 99230 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3279.32 Current children cumulated vsize (KiB) 527424 [startup+882.301 s] /proc/loadavg: 8.12 8.09 8.03 9/371 7779 /proc/meminfo: memFree=29598192/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=543100 CPUtime=3518.61 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 387502 0 0 0 351712 149 0 0 25 0 4 0 632892495 556134400 96322 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 135775 96322 395 112 0 130740 0 [pid=7738/tid=7739] ppid=7736 vsize=543100 CPUtime=871.88 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 132905 0 0 0 87136 52 0 0 25 0 4 0 632892495 556134400 96322 33554432000 4194304 4650419 140733212648592 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=543100 CPUtime=882.12 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 104303 0 0 0 88172 40 0 0 25 0 4 0 632892495 556134400 96322 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=543100 CPUtime=882.3 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 55601 0 0 0 88213 17 0 0 25 0 4 0 632892495 556134400 96322 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3518.61 Current children cumulated vsize (KiB) 543100 [startup+942.3 s] /proc/loadavg: 8.12 8.09 8.03 9/371 7780 /proc/meminfo: memFree=29549916/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=684892 CPUtime=3757.9 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 406203 0 0 0 375630 160 0 0 25 0 4 0 632892495 701329408 106612 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 171223 106612 395 112 0 166188 0 [pid=7738/tid=7739] ppid=7736 vsize=684892 CPUtime=931.17 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 136959 0 0 0 93063 54 0 0 25 0 4 0 632892495 701329408 106612 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=684892 CPUtime=942.12 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 110129 0 0 0 94168 44 0 0 25 0 4 0 632892495 701329408 106612 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=684892 CPUtime=942.3 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 60383 0 0 0 94210 20 0 0 25 0 4 0 632892495 701329408 106612 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3757.9 Current children cumulated vsize (KiB) 684892 [startup+1002.3 s] /proc/loadavg: 8.09 8.09 8.03 9/371 7782 /proc/meminfo: memFree=29520980/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=633372 CPUtime=3997.18 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 425792 0 0 0 399549 169 0 0 25 0 4 0 632892495 648572928 111985 33554432000 4194304 4650419 140733212648592 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 158343 111985 395 112 0 153308 0 [pid=7738/tid=7739] ppid=7736 vsize=633372 CPUtime=990.46 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 143940 0 0 0 98988 58 0 0 25 0 4 0 632892495 648572928 111985 33554432000 4194304 4650419 140733212648592 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=633372 CPUtime=1002.11 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 115231 0 0 0 100164 47 0 0 25 0 4 0 632892495 648572928 111985 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=633372 CPUtime=1002.31 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 62156 0 0 0 100209 22 0 0 25 0 4 0 632892495 648572928 111985 33554432000 4194304 4650419 140733212648592 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3997.18 Current children cumulated vsize (KiB) 633372 [startup+1062.3 s] /proc/loadavg: 8.09 8.08 8.03 9/371 7784 /proc/meminfo: memFree=29505920/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=600688 CPUtime=4236.47 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 449309 0 0 0 423470 177 0 0 25 0 4 0 632892495 615104512 115657 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7738/statm: 150172 115657 395 112 0 145137 0 [pid=7738/tid=7739] ppid=7736 vsize=600688 CPUtime=1049.77 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 151302 0 0 0 104916 61 0 0 25 0 4 0 632892495 615104512 115657 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=600688 CPUtime=1062.09 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 122007 0 0 0 106160 49 0 0 25 0 4 0 632892495 615104512 115657 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=600688 CPUtime=1062.31 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 66097 0 0 0 106208 23 0 0 25 0 4 0 632892495 615104512 115657 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4236.47 Current children cumulated vsize (KiB) 600688 [startup+1122.3 s] /proc/loadavg: 8.13 8.10 8.04 9/371 7785 /proc/meminfo: memFree=29469776/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=626060 CPUtime=4475.74 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 463208 0 0 0 447389 185 0 0 25 0 4 0 632892495 641085440 120635 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7738/statm: 156515 120635 395 112 0 151480 0 [pid=7738/tid=7739] ppid=7736 vsize=626060 CPUtime=1109.6 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 155928 0 0 0 110897 63 0 0 25 0 4 0 632892495 641085440 120635 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=626060 CPUtime=1122.09 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 124948 0 0 0 112158 51 0 0 25 0 4 0 632892495 641085440 120635 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=626060 CPUtime=1122.31 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 70318 0 0 0 112206 25 0 0 25 0 4 0 632892495 641085440 120635 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4475.74 Current children cumulated vsize (KiB) 626060 [startup+1182.3 s] /proc/loadavg: 8.10 8.09 8.04 9/371 7787 /proc/meminfo: memFree=29451992/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=704128 CPUtime=4715.03 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 480876 0 0 0 471307 196 0 0 25 0 4 0 632892495 721027072 117151 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7738/statm: 176032 117151 395 112 0 170997 0 [pid=7738/tid=7739] ppid=7736 vsize=704128 CPUtime=1169.6 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 162804 0 0 0 116892 68 0 0 25 0 4 0 632892495 721027072 117151 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=704128 CPUtime=1182.07 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 130536 0 0 0 118153 54 0 0 25 0 4 0 632892495 721027072 117151 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=704128 CPUtime=1182.32 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 72191 0 0 0 118206 26 0 0 25 0 4 0 632892495 721027072 117151 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4715.03 Current children cumulated vsize (KiB) 704128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.7 s] /proc/loadavg: 8.13 8.10 8.04 9/371 7787 /proc/meminfo: memFree=29456816/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=656204 CPUtime=4800.39 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 488762 0 0 0 479840 199 0 0 25 0 4 0 632892495 671952896 118063 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7738/statm: 164051 118063 395 112 0 159016 0 [pid=7738/tid=7739] ppid=7736 vsize=656204 CPUtime=1191.01 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 164281 0 0 0 119032 69 0 0 25 0 4 0 632892495 671952896 118063 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=656204 CPUtime=1203.49 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 133174 0 0 0 120294 55 0 0 25 0 4 0 632892495 671952896 118063 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=656204 CPUtime=1203.72 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 73730 0 0 0 120346 26 0 0 25 0 4 0 632892495 671952896 118063 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 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) 656204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.7 s] /proc/loadavg: 8.13 8.10 8.04 9/371 7787 /proc/meminfo: memFree=29456816/32951124 swapFree=51873460/67111528 [pid=7738] ppid=7736 vsize=656204 CPUtime=4800.39 cores=0,2,4,6 /proc/7738/stat : 7738 (strangenight1-m) R 7736 7738 7181 0 -1 4202496 488762 0 0 0 479840 199 0 0 25 0 4 0 632892495 671952896 118063 33554432000 4194304 4650419 140733212648592 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7738/statm: 164051 118063 395 112 0 159016 0 [pid=7738/tid=7739] ppid=7736 vsize=656204 CPUtime=1191.01 cores=0,2,4,6 /proc/7738/task/7739/stat : 7739 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 164281 0 0 0 119032 69 0 0 25 0 4 0 632892495 671952896 118063 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7738/tid=7740] ppid=7736 vsize=656204 CPUtime=1203.49 cores=0,2,4,6 /proc/7738/task/7740/stat : 7740 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 133174 0 0 0 120294 55 0 0 25 0 4 0 632892495 671952896 118063 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7738/tid=7741] ppid=7736 vsize=656204 CPUtime=1203.72 cores=0,2,4,6 /proc/7738/task/7741/stat : 7741 (strangenight1-m) R 7736 7738 7181 0 -1 4202560 73730 0 0 0 120346 26 0 0 25 0 4 0 632892495 671952896 118063 33554432000 4194304 4650419 140733212648592 18446744073709551615 4365227 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) 656204 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.74 CPU time (s): 4800.46 CPU user time (s): 4798.44 CPU system time (s): 2.02169 CPU usage (%): 398.795 Max. virtual memory (cumulated for all children) (KiB): 775412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.44 system time used= 2.02169 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 488762 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= 371 involuntary context switches= 23594 runsolver used 3.9424 second user time and 10.3164 second system time The end
Begin job on node146 at 2011-05-14 22:26:02 IDJOB=3368869 IDBENCH=82878 IDSOLVER=1846 FILE ID=node146/3368869-1305404762 RUNJOBID= node146-1305404762-7728 PBS_JOBID= 13324493 Free space on /tmp= 73272 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) 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-3368869-1305404762/watcher-3368869-1305404762 -o /tmp/evaluation-result-3368869-1305404762/solver-3368869-1305404762 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368869-1305404762.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4fe02968acd00bdecbd1c96009763619 RANDOM SEED=121233952 node146.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.75 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.86 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30339244 kB Buffers: 55360 kB Cached: 93064 kB SwapCached: 56064 kB Active: 731000 kB Inactive: 1659508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30339244 kB SwapTotal: 67111528 kB SwapFree: 51873460 kB Dirty: 6372 kB Writeback: 0 kB AnonPages: 2193036 kB Mapped: 16748 kB Slab: 96180 kB PageTables: 58700 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 81758264 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= 73260 MiB End job on node146 at 2011-05-14 22:46:08