| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.39 | 1201.93 |
| Name | random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf |
| MD5SUM | b9f30e687453978167416852673e8ddb |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.027994 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 800 |
| Number of clauses | 3408 |
| Sum of the clauses size | 10224 |
| 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 | 3408 |
| 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-3175326-1304116597.cnf' 0.00/0.00 c -- header says num vars: 800 0.00/0.00 c -- header says num clauses: 3408 0.00/0.00 c -- clauses added: 0 learnts, 3408 normals, 0 xors 0.00/0.00 c -- vars added 800 0.00/0.00 c Parsing time: 0.01 s 0.00/0.00 c N st 0 0 800 3408 0 0 10224 0 no data no data -- 0.00/0.10 c asymm cl-useful: 0/3408/3408 lits-rem:0 time: 0.01 0.00/0.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.10 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 800 time: 0.00 s 0.00/0.10 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.10 c lits-rem: 0 cl-subs: 0 v-elim: 27 v-fix: 0 time: 0.02 s 0.00/0.10 c Finding binary XORs T: 0.00 s found: 0 0.00/0.10 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.10 c calculated reachability. Time: 0.00 0.00/0.10 c Calc default polars - time: 0.00 s pos: 349 undec: 100 neg: 351 0.00/0.10 c ========================================================================================= 0.00/0.10 c types(t): F = full restart, N = normal restart 0.00/0.10 c types(t): S = simplification begin/end, E = solution found 0.00/0.10 c restart types(rt): st = static, dy = dynamic 0.00/0.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.10 c B st 0 0 773 3373 0 0 10284 0 no data no data -- 0.00/0.10 c Decided on static restart strategy 0.40/0.18 c N st 8 4918 773 3373 0 4877 10284 156191 no data no data -- 1.58/0.47 c N st 10 11301 773 3373 0 4524 10284 97405 no data no data -- 2.78/0.78 c N st 11 17044 773 3373 0 10182 10284 285878 no data no data -- 4.80/1.25 c F st 12 25000 773 3373 0 12491 10284 353103 no data no data -- 4.80/1.25 c N st 12 25000 773 3373 0 12491 10284 353103 no data no data -- 5.97/1.52 c Decided on static restart strategy 5.97/1.52 c N st 18 30000 773 3373 0 10747 10284 276597 no data no data -- 5.97/1.52 c S st 18 30000 773 3373 0 10747 10284 276597 no data no data -- 5.97/1.55 c S st 18 30507 773 3373 0 11254 10284 292375 no data no data -- 5.97/1.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.97/1.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.97/1.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 5.97/1.56 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.97/1.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.97/1.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 5.97/1.56 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 7.57/1.90 c lits-rem: 109 cl-subs: 312 v-elim: 0 v-fix: 0 time: 1.35 s 7.57/1.91 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.04 7.57/1.91 c calculated reachability. Time: 0.00 7.57/1.91 c N st 18 30507 773 3373 0 10942 10284 279692 no data no data -- 9.19/2.33 c N st 20 37617 773 3373 0 10208 10284 224124 no data no data -- 10.76/2.79 c N st 21 44017 773 3373 0 16538 10284 442559 no data no data -- 11.56/2.92 c S st 22 45760 773 3373 0 9429 10284 176795 no data no data -- 11.56/2.94 c S st 22 46263 773 3373 0 9931 10284 191890 no data no data -- 11.56/2.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 11.56/2.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 11.56/2.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 11.56/2.95 c bin-w-bin subsume rem 0 bins time: 0.00 s 11.56/2.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 11.56/2.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 11.56/2.96 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 12.36/3.12 c lits-rem: 39 cl-subs: 23 v-elim: 0 v-fix: 0 time: 0.67 s 12.36/3.12 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 12.36/3.13 c vivif2 -- cl tried 9908 cl shrink 0 lits rem 0 time: 0.01 12.36/3.13 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.04 12.36/3.13 c calculated reachability. Time: 0.00 12.36/3.13 c N st 22 46263 773 3373 0 9908 10284 190946 no data no data -- 16.36/4.19 c N st 23 60660 773 3373 0 14310 10284 327686 no data no data -- 19.16/4.85 c N st 24 69394 773 3373 0 12083 10284 240818 no data no data -- 19.16/4.85 c S st 24 69394 773 3373 0 12083 10284 240818 no data no data -- 19.16/4.89 c S st 24 69899 773 3373 0 12586 10284 256215 no data no data -- 19.16/4.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 19.16/4.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.16/4.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 19.56/4.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 19.56/4.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 19.56/4.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 19.56/4.90 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 20.76/5.23 c lits-rem: 50 cl-subs: 97 v-elim: 0 v-fix: 0 time: 1.34 s 20.76/5.23 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 20.76/5.24 c vivif2 -- cl tried 12489 cl shrink 0 lits rem 0 time: 0.01 20.76/5.25 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.04 20.76/5.25 c calculated reachability. Time: 0.00 20.76/5.25 c N st 24 69899 773 3373 0 12489 10284 252349 no data no data -- 26.36/6.61 c F st 25 87500 773 3373 0 18067 10284 441575 no data no data -- 26.36/6.62 c N st 25 87500 773 3373 0 18067 10284 441575 no data no data -- 27.94/7.08 c N dy 33 93096 773 3373 0 23613 10284 618962 21.19 22.48 -- 29.94/7.57 c N dy 58 99075 773 3373 0 16598 10284 292537 21.09 22.37 -- 31.94/8.02 c S st 80 104849 773 3373 0 22338 10284 471349 21.02 19.42 -- 31.94/8.07 c S st 80 105357 773 3373 0 22846 10284 486602 21.02 no data -- 31.94/8.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 31.94/8.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 31.94/8.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.03 32.33/8.10 c bin-w-bin subsume rem 0 bins time: 0.00 s 32.33/8.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 32.33/8.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 32.33/8.10 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 37.53/9.48 c lits-rem: 121 cl-subs: 160 v-elim: 0 v-fix: 0 time: 5.50 s 37.53/9.48 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 37.53/9.49 c vivif2 -- cl tried 22686 cl shrink 0 lits rem 0 time: 0.02 37.93/9.51 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.09 37.93/9.51 c calculated reachability. Time: 0.00 37.93/9.51 c N dy 80 105357 773 3373 0 22686 10284 480329 21.02 no data -- 40.73/10.23 c N dy 117 113867 773 3373 0 17203 10284 269619 21.18 22.35 -- 43.12/10.88 c N dy 151 121360 773 3373 0 24663 10284 501617 21.20 22.41 -- 46.32/11.64 c N dy 195 129261 773 3373 0 17581 10284 245166 21.35 22.75 -- 49.51/12.45 c N dy 232 138418 773 3373 0 26688 10284 533449 21.30 22.60 -- 52.73/13.27 c N dy 262 147291 773 3373 0 19593 10284 277357 21.20 23.18 -- 56.70/14.26 c N dy 291 158037 773 3373 0 30245 10284 599494 21.08 19.71 -- 56.70/14.26 c S st 291 158037 773 3373 0 30245 10284 599494 21.08 19.71 -- 57.12/14.33 c S st 291 158539 773 3373 0 30747 10284 614509 21.08 no data -- 57.12/14.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 57.12/14.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 57.12/14.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 57.12/14.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 57.12/14.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 57.12/14.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 57.12/14.37 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 64.70/16.29 c lits-rem: 425 cl-subs: 452 v-elim: 0 v-fix: 0 time: 7.69 s 64.70/16.29 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 65.10/16.30 c vivif2 -- cl tried 30295 cl shrink 0 lits rem 0 time: 0.03 65.10/16.33 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.12 65.10/16.33 c calculated reachability. Time: 0.00 65.10/16.33 c N dy 291 158539 773 3373 0 30295 10284 598528 21.08 no data -- 68.69/17.28 c N dy 326 168748 773 3373 0 23551 10284 369707 20.98 22.48 -- 73.49/18.46 c N dy 385 179796 773 3373 0 34540 10284 715666 21.04 22.31 -- 78.27/19.68 c N dy 454 192070 773 3373 0 28861 10284 509819 21.14 22.31 -- 83.89/21.09 c N dy 485 204544 773 3373 0 22366 10284 281394 21.08 22.19 -- 89.46/22.48 c N dy 556 217681 773 3373 0 35444 10284 688966 21.10 23.02 -- 95.46/23.90 c N dy 602 231590 773 3373 0 29385 10284 481943 21.06 22.37 -- 98.25/24.69 c S st 626 237808 773 3373 0 35561 10284 671887 21.05 21.13 -- 98.65/24.76 c S st 626 238311 773 3373 0 36063 10284 687625 21.05 no data -- 98.65/24.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 98.65/24.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 98.65/24.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.05 99.05/24.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 99.05/24.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 99.05/24.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 99.05/24.80 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 107.44/27.00 c lits-rem: 402 cl-subs: 330 v-elim: 0 v-fix: 0 time: 8.76 s 107.44/27.00 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 107.84/27.00 c vivif2 -- cl tried 35733 cl shrink 0 lits rem 0 time: 0.03 107.84/27.04 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.14 107.84/27.04 c calculated reachability. Time: 0.00 107.84/27.04 c N dy 626 238311 773 3373 0 35733 10284 674732 21.05 no data -- 115.03/28.81 c N dy 701 254016 773 3373 0 30454 10284 480608 21.07 22.20 -- 123.44/30.91 c N dy 794 270411 773 3373 0 24896 10284 280872 21.14 22.62 -- 137.80/34.58 c N dy 879 301429 773 3373 0 32767 10284 492243 21.02 22.46 -- 140.61/35.23 c F st 914 306250 773 3373 0 37566 10284 644751 21.05 19.21 -- 147.79/37.09 c N dy 939 320758 773 3373 0 28173 10284 337128 20.99 22.40 -- 158.98/39.86 c N dy 1049 340849 773 3373 0 48142 10284 963769 21.03 22.83 -- 167.38/41.94 c S st 1164 357468 773 3373 0 39865 10284 683063 21.11 19.32 -- 167.76/42.04 c S st 1164 357971 773 3373 0 40368 10284 698213 21.11 no data -- 167.76/42.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 167.76/42.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 167.76/42.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.06 167.76/42.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 167.76/42.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 167.76/42.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 167.76/42.08 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 178.55/44.71 c lits-rem: 420 cl-subs: 196 v-elim: 0 v-fix: 0 time: 10.48 s 178.55/44.71 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 178.55/44.72 c vivif2 -- cl tried 40172 cl shrink 0 lits rem 0 time: 0.03 178.55/44.75 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.16 178.55/44.76 c calculated reachability. Time: 0.00 178.55/44.76 c N dy 1164 357971 773 3373 0 40172 10284 689772 21.11 no data -- 190.13/47.67 c N dy 1269 378039 773 3373 0 34274 10284 481934 21.15 23.36 -- 204.12/51.14 c N dy 1368 398533 773 3373 0 27818 10284 246834 21.17 22.50 -- 215.32/53.96 c N dy 1466 418811 773 3373 0 47975 10284 890141 21.20 22.32 -- 227.29/56.96 c N dy 1527 439854 773 3373 0 41019 10284 633125 21.16 22.37 -- 241.27/60.42 c N dy 1634 460719 773 3373 0 32940 10284 353468 21.18 22.40 -- 253.65/63.57 c N dy 1725 481045 773 3373 0 53143 10284 979530 21.19 22.50 -- 266.43/66.71 c N dy 1820 501376 773 3373 0 43534 10284 661965 21.20 22.41 -- 280.82/70.40 c N dy 1895 521715 773 3373 0 32933 10284 301351 21.20 22.32 -- 290.02/72.61 c S st 1972 536958 773 3373 0 48085 10284 779578 21.21 20.14 -- 290.42/72.73 c S st 1972 537459 773 3373 0 48586 10284 794789 21.21 no data -- 290.42/72.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 290.42/72.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 290.42/72.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.08 290.42/72.78 c bin-w-bin subsume rem 0 bins time: 0.00 s 290.42/72.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 290.42/72.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 290.42/72.78 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 301.19/75.49 c lits-rem: 898 cl-subs: 478 v-elim: 0 v-fix: 0 time: 10.83 s 301.19/75.49 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 301.59/75.50 c vivif2 -- cl tried 48108 cl shrink 0 lits rem 0 time: 0.04 301.59/75.55 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.20 301.59/75.55 c calculated reachability. Time: 0.00 301.59/75.55 c N dy 1972 537459 773 3373 0 48108 10284 777139 21.21 no data -- 316.79/79.39 c N dy 2095 558085 773 3373 0 36823 10284 400425 21.25 22.43 -- 329.97/82.69 c N dy 2191 578103 773 3373 0 56713 10284 1030775 21.26 22.73 -- 344.33/86.26 c N dy 2300 598173 773 3373 0 43865 10284 598788 21.30 22.48 -- 360.33/90.25 c N dy 2414 618355 773 3373 0 63915 10284 1235764 21.32 22.55 -- 373.91/93.64 c N dy 2442 638527 773 3373 0 50140 10284 776730 21.27 22.63 -- 391.09/97.98 c N dy 2540 658764 773 3373 0 35488 10284 285892 21.29 22.64 -- 404.67/101.38 c N dy 2579 678891 773 3373 0 55444 10284 901129 21.21 22.77 -- 421.85/105.69 c N dy 2675 699224 773 3373 0 39897 10284 399899 21.23 22.37 -- 450.59/112.82 c N dy 2771 732709 773 3373 0 73103 10284 1458724 21.19 22.78 -- 464.17/116.22 c N dy 2860 752788 773 3373 0 56333 10284 887364 21.19 23.51 -- 483.77/121.12 c N dy 2969 773192 773 3373 0 38885 10284 313815 21.21 22.33 -- 497.73/124.67 c N dy 3102 793211 773 3373 0 58786 10284 949831 21.25 22.52 -- 510.13/127.73 c S st 3146 806190 773 3373 0 71669 10284 1355660 21.24 19.00 -- 510.91/127.92 c S st 3146 806695 773 3373 0 72174 10284 1371304 21.24 no data -- 510.91/127.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 510.91/127.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 510.91/127.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.13 511.31/128.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 511.31/128.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 511.31/128.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 511.31/128.00 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 519.70/130.12 c lits-rem: 339 cl-subs: 873 v-elim: 0 v-fix: 0 time: 8.44 s 519.70/130.12 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 519.70/130.14 c vivif2 -- cl tried 71301 cl shrink 0 lits rem 0 time: 0.06 520.10/130.23 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.38 520.10/130.23 c calculated reachability. Time: 0.00 520.10/130.23 c N dy 3146 806695 773 3373 0 71301 10284 1339587 21.24 no data -- 535.68/134.19 c N dy 3254 826765 773 3373 0 52507 10284 722287 21.26 24.01 -- 555.54/139.14 c N dy 3389 847445 773 3373 0 73068 10284 1381269 21.29 22.49 -- 572.20/143.37 c N dy 3492 867559 773 3373 0 53308 10284 718516 21.30 22.58 -- 591.15/148.11 c N dy 3575 887919 773 3373 0 73527 10284 1357757 21.30 22.64 -- 611.28/153.22 c N dy 3695 911629 773 3373 0 56303 10284 778854 21.31 22.58 -- 632.37/158.56 c N dy 3780 933704 773 3373 0 78199 10284 1471251 21.31 22.56 -- 649.54/162.85 c N dy 3928 953902 773 3373 0 56584 10284 780137 21.34 22.49 -- 670.69/168.14 c N dy 4012 975415 773 3373 0 77923 10284 1448779 21.34 22.50 -- 689.08/172.79 c N dy 4088 996125 773 3373 0 55789 10284 716966 21.33 22.51 -- 708.64/177.68 c N dy 4194 1016281 773 3373 0 75781 10284 1355731 21.34 22.55 -- 729.04/182.78 c N dy 4290 1036345 773 3373 0 52041 10284 578590 21.35 22.59 -- 747.39/187.34 c N dy 4404 1056411 773 3373 0 72000 10284 1216506 21.37 27.39 -- 766.57/192.15 c F st 4490 1071876 773 3373 0 87360 10284 1701535 21.38 no data -- 771.36/193.31 c N dy 4496 1077069 773 3373 0 47816 10284 424792 21.38 no data -- 787.34/197.33 c N dy 4596 1097137 773 3373 0 67735 10284 1063915 21.39 22.57 -- 812.12/203.55 c N dy 4703 1117654 773 3373 0 88120 10284 1711523 21.41 22.59 -- 829.70/207.91 c N dy 4786 1137714 773 3373 0 62365 10284 854501 21.41 22.85 -- 851.26/213.38 c N dy 4898 1157733 773 3373 0 82232 10284 1486577 21.43 22.69 -- 874.05/219.04 c N dy 5018 1177817 773 3373 0 55522 10284 617838 21.44 22.76 -- 895.20/224.31 c N dy 5137 1198318 773 3373 0 75882 10284 1264225 21.46 22.71 -- 909.57/227.98 c S st 5200 1210042 773 3373 0 87488 10284 1629943 21.47 no data -- 910.77/228.20 c S st 5200 1210547 773 3373 0 87993 10284 1646140 21.47 no data -- 910.77/228.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 910.77/228.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 910.77/228.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.17 911.17/228.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 911.17/228.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 911.17/228.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 911.17/228.30 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 925.55/231.93 c lits-rem: 211 cl-subs: 1087 v-elim: 0 v-fix: 0 time: 14.47 s 925.55/231.93 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 925.55/231.95 c vivif2 -- cl tried 86906 cl shrink 0 lits rem 0 time: 0.08 925.95/232.07 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.50 925.95/232.08 c calculated reachability. Time: 0.00 925.95/232.08 c N dy 5200 1210547 773 3373 0 86906 10284 1607274 21.47 no data -- 946.73/237.22 c N dy 5269 1230579 773 3373 0 59118 10284 696958 21.46 22.62 -- 967.09/242.37 c N dy 5386 1250637 773 3373 0 79025 10284 1331338 21.47 23.36 -- 996.26/249.66 c N dy 5432 1274528 773 3373 0 54077 10284 510505 21.46 22.70 -- 1014.65/254.23 c N dy 5510 1295006 773 3373 0 74404 10284 1163110 21.46 22.70 -- 1041.01/260.84 c N dy 5629 1315069 773 3373 0 94336 10284 1797488 21.48 22.61 -- 1060.57/265.71 c N dy 5715 1335087 773 3373 0 64602 10284 832300 21.48 24.71 -- 1086.53/272.24 c N dy 5769 1359055 773 3373 0 88362 10284 1585123 21.46 22.79 -- 1110.92/278.38 c N dy 5875 1379063 773 3373 0 57627 10284 581170 21.47 25.16 -- 1146.07/287.19 c N dy 5904 1412500 773 3373 0 90448 10284 1545509 21.40 22.79 -- 1170.82/293.39 c N dy 6005 1432539 773 3373 0 58919 10284 601178 21.41 25.77 -- 1194.81/299.31 c N dy 6139 1455500 773 3373 0 81735 10284 1331001 21.42 22.61 -- 1223.55/306.59 c N dy 6253 1475550 773 3373 0 101639 10284 1961786 21.44 22.99 -- 1245.12/311.96 c N dy 6366 1496247 773 3373 0 69626 10284 916017 21.45 22.68 -- 1268.69/317.90 c N dy 6471 1516318 773 3373 0 89553 10284 1547991 21.46 24.65 -- 1297.85/325.13 c N dy 6594 1536381 773 3373 0 55922 10284 456476 21.47 26.00 -- 1316.22/329.77 c N dy 6655 1556468 773 3373 0 75819 10284 1084681 21.47 28.96 -- 1342.19/336.28 c N dy 6765 1576602 773 3373 0 95817 10284 1734337 21.48 22.81 -- 1368.95/342.97 c N dy 6853 1596621 773 3373 0 61149 10284 598200 21.48 28.08 -- 1390.13/348.26 c N dy 6953 1616831 773 3373 0 81217 10284 1242182 21.49 22.64 -- 1419.29/355.56 c N dy 7081 1637070 773 3373 0 101322 10284 1893744 21.51 22.69 -- 1462.85/366.46 c N dy 7152 1674811 773 3373 0 83012 10284 1240256 21.47 22.66 -- 1496.38/374.84 c N dy 7255 1697979 773 3373 0 105994 10284 1974590 21.47 22.62 -- 1513.56/379.19 c S st 7326 1710549 773 3373 0 62000 10284 575190 21.48 21.33 -- 1514.36/379.32 c S st 7326 1711053 773 3373 0 62503 10284 591462 21.48 no data -- 1514.36/379.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1514.36/379.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1514.36/379.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.10 1514.36/379.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 1514.36/379.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1514.36/379.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 1514.36/379.37 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1524.74/381.90 c lits-rem: 263 cl-subs: 159 v-elim: 0 v-fix: 0 time: 10.08 s 1524.74/381.90 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 1524.74/381.91 c vivif2 -- cl tried 62344 cl shrink 0 lits rem 0 time: 0.04 1524.74/381.97 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.28 1524.74/381.98 c calculated reachability. Time: 0.00 1524.74/381.98 c N dy 7326 1711053 773 3373 0 62344 10284 585449 21.48 no data -- 1545.52/387.20 c N dy 7429 1731073 773 3373 0 82237 10284 1219740 21.49 22.65 -- 1574.28/394.32 c N dy 7528 1751241 773 3373 0 102249 10284 1864884 21.49 22.64 -- 1601.04/401.09 c N dy 7584 1771252 773 3373 0 64563 10284 621953 21.49 22.72 -- 1622.61/406.40 c N dy 7680 1791328 773 3373 0 84492 10284 1264639 21.49 22.70 -- 1651.79/413.76 c N dy 7804 1811387 773 3373 0 104458 10284 1910883 21.50 23.27 -- 1680.92/421.02 c N dy 7922 1831449 773 3373 0 65829 10284 646029 21.51 24.63 -- 1703.30/426.66 c N dy 8025 1851771 773 3373 0 86009 10284 1292487 21.52 22.71 -- 1735.66/434.78 c N dy 8132 1872189 773 3373 0 106298 10284 1946249 21.53 22.92 -- 1763.22/441.68 c N dy 8208 1892264 773 3373 0 66629 10284 643003 21.53 22.77 -- 1786.39/447.42 c N dy 8337 1912326 773 3373 0 86577 10284 1290032 21.54 23.24 -- 1816.34/454.97 c N dy 8439 1932372 773 3373 0 106472 10284 1922722 21.55 23.73 -- 1849.12/463.13 c N dy 8555 1952745 773 3373 0 66129 10284 602632 21.56 22.81 -- 1871.09/468.63 c N dy 8654 1972818 773 3373 0 86028 10284 1241384 21.57 23.07 -- 1901.04/476.18 c N dy 8797 1992963 773 3373 0 106068 10284 1894044 21.58 22.74 -- 1939.39/485.79 c N dy 8931 2016255 773 3373 0 67601 10284 620652 21.59 22.77 -- 1962.16/491.48 c N dy 9041 2036329 773 3373 0 87541 10284 1261918 21.60 23.68 -- 1992.92/499.15 c N dy 9139 2056951 773 3373 0 108021 10284 1918233 21.61 22.75 -- 2028.47/508.00 c N dy 9253 2077750 773 3373 0 66123 10284 552784 21.62 22.81 -- 2050.44/513.54 c N dy 9340 2097827 773 3373 0 86036 10284 1186509 21.62 22.98 -- 2084.40/522.06 c N dy 9468 2121024 773 3373 0 109080 10284 1928130 21.63 22.78 -- 2120.35/531.07 c N dy 9564 2142031 773 3373 0 66387 10284 534668 21.63 22.95 -- 2142.72/536.69 c N dy 9665 2162064 773 3373 0 86268 10284 1171000 21.64 23.89 -- 2173.48/544.38 c N dy 9766 2182685 773 3373 0 106730 10284 1822486 21.64 22.85 -- 2212.22/554.05 c N dy 9874 2202769 773 3373 0 126697 10284 2468822 21.65 23.63 -- 2223.41/556.88 c S st 9933 2211053 773 3373 0 70406 10284 638880 21.65 no data -- 2224.21/557.04 c S st 9933 2211554 773 3373 0 70907 10284 654407 21.65 no data -- 2224.21/557.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2224.21/557.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2224.21/557.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.12 2224.61/557.10 c bin-w-bin subsume rem 0 bins time: 0.00 s 2224.61/557.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2224.61/557.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 2224.61/557.10 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2235.40/559.86 c lits-rem: 456 cl-subs: 131 v-elim: 0 v-fix: 0 time: 11.01 s 2235.40/559.86 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 2235.40/559.87 c vivif2 -- cl tried 70776 cl shrink 0 lits rem 0 time: 0.04 2235.81/559.95 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.32 2235.81/559.95 c calculated reachability. Time: 0.00 2235.81/559.95 c N dy 9933 2211554 773 3373 0 70776 10284 648859 21.65 no data -- 2259.36/565.81 c N dy 10045 2231682 773 3373 0 90755 10284 1295688 21.66 22.86 -- 2291.72/573.95 c N dy 10154 2251729 773 3373 0 110676 10284 1934927 21.67 23.11 -- 2329.66/583.48 c N dy 10259 2271745 773 3373 0 130555 10284 2581637 21.68 27.25 -- 2352.44/589.18 c N dy 10340 2291755 773 3373 0 84829 10284 1077258 21.68 22.85 -- 2380.81/596.25 c N dy 10445 2311841 773 3373 0 104767 10284 1722643 21.69 24.69 -- 2428.33/608.12 c N dy 10562 2338183 773 3373 0 130902 10284 2562543 21.69 22.87 -- 2452.69/614.22 c N dy 10670 2358279 773 3373 0 84374 10284 1040593 21.70 22.98 -- 2483.46/621.91 c N dy 10775 2378535 773 3373 0 104485 10284 1684591 21.70 22.96 -- 2519.01/630.82 c N dy 10851 2398656 773 3373 0 124435 10284 2311825 21.70 23.01 -- 2550.56/638.72 c N dy 10934 2418719 773 3373 0 76864 10284 770178 21.70 27.49 -- 2576.13/645.14 c N dy 11009 2438731 773 3373 0 96710 10284 1401200 21.70 23.03 -- 2615.67/655.09 c N dy 11111 2462443 773 3373 0 120238 10284 2158473 21.70 23.03 -- 2654.02/664.66 c N dy 11202 2483032 773 3373 0 72195 10284 596117 21.70 22.98 -- 2678.00/670.68 c N dy 11315 2503167 773 3373 0 92206 10284 1247594 21.71 22.92 -- 2710.76/678.88 c N dy 11417 2523460 773 3373 0 112331 10284 1895023 21.71 23.48 -- 2749.10/688.48 c N dy 11532 2543540 773 3373 0 132297 10284 2542363 21.72 22.87 -- 2779.06/695.92 c N dy 11583 2563820 773 3373 0 82910 10284 899194 21.71 23.35 -- 2804.23/702.28 c N dy 11620 2583912 773 3373 0 102772 10284 1518159 21.70 22.85 -- 2843.37/712.09 c N dy 11698 2607169 773 3373 0 125843 10284 2256447 21.70 23.18 -- 2880.92/721.44 c N dy 11764 2627226 773 3373 0 75303 10284 646139 21.70 23.00 -- 2906.08/727.78 c N dy 11883 2647415 773 3373 0 95386 10284 1298222 21.71 23.15 -- 2938.05/735.76 c N dy 11967 2667569 773 3373 0 115365 10284 1936039 21.71 23.08 -- 2975.99/745.28 c N dy 12048 2687576 773 3373 0 135245 10284 2580119 21.71 22.88 -- 3007.15/753.03 c N dy 12122 2707647 773 3373 0 83691 10284 882427 21.71 23.48 -- 3012.34/754.35 c S st 12141 2711555 773 3373 0 87576 10284 1008538 21.71 no data -- 3013.14/754.57 c S st 12141 2712063 773 3373 0 88084 10284 1024403 21.71 no data -- 3013.14/754.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3013.14/754.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3013.56/754.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.16 3013.56/754.65 c bin-w-bin subsume rem 0 bins time: 0.00 s 3013.56/754.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3013.56/754.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 3013.56/754.65 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3021.92/756.77 c lits-rem: 262 cl-subs: 642 v-elim: 0 v-fix: 0 time: 8.48 s 3021.92/756.77 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 3021.92/756.79 c vivif2 -- cl tried 87442 cl shrink 0 lits rem 0 time: 0.06 3022.34/756.90 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.45 3022.74/756.90 c calculated reachability. Time: 0.00 3022.74/756.90 c N dy 12141 2712063 773 3373 0 87442 10284 1003468 21.71 no data -- 3052.69/764.42 c N dy 12260 2732820 773 3373 0 108032 10284 1675020 21.72 22.99 -- 3090.24/773.87 c N dy 12383 2752821 773 3373 0 127905 10284 2326004 21.73 22.93 -- 3132.98/784.50 c N dy 12482 2775624 773 3373 0 78103 10284 683883 21.73 23.03 -- 3158.96/791.05 c N dy 12578 2796366 773 3373 0 98694 10284 1346144 21.73 22.90 -- 3192.90/799.57 c N dy 12683 2816818 773 3373 0 119003 10284 1998558 21.74 22.97 -- 3234.04/809.84 c N dy 12803 2836872 773 3373 0 138895 10284 2641279 21.75 24.30 -- 3267.20/818.13 c N dy 12895 2857080 773 3373 0 85501 10284 897406 21.75 22.94 -- 3295.56/825.28 c N dy 12975 2877114 773 3373 0 105384 10284 1533540 21.75 22.97 -- 3331.91/834.34 c N dy 13052 2897145 773 3373 0 125247 10284 2167161 21.75 27.42 -- 3375.06/845.15 c N dy 13172 2917214 773 3373 0 145222 10284 2826795 21.76 24.03 -- 3402.61/852.04 c N dy 13235 2937233 773 3373 0 90576 10284 1027333 21.75 23.98 -- 3432.97/859.69 c N dy 13345 2957414 773 3373 0 110604 10284 1679215 21.76 22.95 -- 3481.30/871.70 c N dy 13442 2983135 773 3373 0 136083 10284 2496442 21.76 22.96 -- 3523.27/882.26 c N dy 13571 3003332 773 3373 0 80749 10284 696321 21.77 23.13 -- 3555.61/890.34 c N dy 13654 3027327 773 3373 0 104516 10284 1454304 21.77 22.99 -- 3591.17/899.22 c N dy 13760 3047397 773 3373 0 124430 10284 2103385 21.77 23.09 -- 3637.51/910.90 c N dy 13869 3068620 773 3373 0 145482 10284 2784735 21.78 22.98 -- 3671.45/919.37 c N dy 13995 3088716 773 3373 0 89062 10284 937730 21.78 24.09 -- 3701.01/926.77 c N dy 14062 3110023 773 3373 0 110196 10284 1609658 21.78 22.98 -- 3738.98/936.23 c N dy 14151 3130217 773 3373 0 130211 10284 2249187 21.78 23.00 -- 3784.10/947.57 c N dy 14261 3150699 773 3373 0 150556 10284 2911252 21.79 23.17 -- 3815.66/955.43 c N dy 14367 3170766 773 3373 0 93075 10284 1035057 21.79 23.55 -- 3846.82/963.25 c N dy 14427 3192306 773 3373 0 114417 10284 1714353 21.79 23.04 -- 3885.56/972.94 c S st 14520 3212063 773 3373 0 134011 10284 2339639 21.79 20.75 -- 3887.17/973.35 c S st 14520 3212565 773 3373 0 134513 10284 2355209 21.79 no data -- 3887.17/973.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3887.17/973.36 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3887.57/973.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.32 3887.99/973.52 c bin-w-bin subsume rem 0 bins time: 0.00 s 3887.99/973.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3887.99/973.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 773 time: 0.00 s 3887.99/973.52 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3923.14/982.31 c lits-rem: 158 cl-subs: 1984 v-elim: 0 v-fix: 0 time: 35.11 s 3923.14/982.31 c vivif2 -- cl tried 3373 cl shrink 0 lits rem 0 time: 0.00 3923.14/982.34 c vivif2 -- cl tried 132529 cl shrink 0 lits rem 0 time: 0.12 3923.92/982.56 c asymm cl-useful: 0/3373/3373 lits-rem:0 time: 0.88 3923.92/982.56 c calculated reachability. Time: 0.00 3923.92/982.56 c N dy 14520 3212565 773 3373 0 132529 10284 2286771 21.79 no data -- 3971.05/994.36 c N dy 14599 3234589 773 3373 0 154379 10284 2989673 21.79 23.24 -- 4002.62/1002.28 c N dy 14696 3254718 773 3373 0 95989 10284 1107622 21.79 23.23 -- 4036.16/1010.63 c N dy 14824 3274770 773 3373 0 115876 10284 1753865 21.80 24.52 -- 4073.31/1019.99 c N dy 14900 3294796 773 3373 0 135722 10284 2389529 21.80 22.97 -- 4123.24/1032.48 c N dy 15009 3315704 773 3373 0 156473 10284 3062945 21.80 23.03 -- 4150.80/1039.34 c N dy 15060 3335866 773 3373 0 97112 10284 1111711 21.80 23.01 -- 4185.96/1048.15 c N dy 15166 3357483 773 3373 0 118564 10284 1815762 21.80 22.99 -- 4229.10/1058.95 c N dy 15270 3377621 773 3373 0 138561 10284 2461754 21.81 23.21 -- 4274.24/1070.29 c N dy 15318 3397928 773 3373 0 158669 10284 3105185 21.80 23.19 -- 4303.80/1077.64 c N dy 15384 3418055 773 3373 0 98275 10284 1111283 21.80 22.95 -- 4335.76/1085.67 c N dy 15468 3438238 773 3373 0 118294 10284 1760770 21.80 22.98 -- 4374.49/1095.39 c N dy 15557 3458270 773 3373 0 138176 10284 2406849 21.80 23.42 -- 4428.03/1108.79 c N dy 15637 3481269 773 3373 0 160911 10284 3126713 21.80 22.98 -- 4458.39/1116.39 c N dy 15684 3503162 773 3373 0 101338 10284 1195092 21.79 22.95 -- 4493.95/1125.28 c N dy 15820 3523233 773 3373 0 121259 10284 1843031 21.80 23.13 -- 4541.08/1137.06 c N dy 15900 3546756 773 3373 0 144563 10284 2584829 21.80 22.96 -- 4591.03/1149.54 c N dy 15936 3568797 773 3373 0 84083 10284 620862 21.79 23.09 -- 4617.79/1156.28 c N dy 16014 3588844 773 3373 0 103899 10284 1251643 21.79 24.23 -- 4652.13/1164.83 c N dy 16100 3608914 773 3373 0 123815 10284 1902624 21.79 24.22 -- 4695.26/1175.67 c N dy 16214 3629007 773 3373 0 143746 10284 2545649 21.80 24.46 -- 4745.22/1188.15 c N dy 16305 3649106 773 3373 0 163686 10284 3193454 21.80 23.74 -- 4776.75/1196.07 c N dy 16417 3669229 773 3373 0 100438 10284 1131384 21.80 22.98 --
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-3175326-1304116597/watcher-3175326-1304116597 -o /tmp/evaluation-result-3175326-1304116597/solver-3175326-1304116597 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175326-1304116597.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.57 7.69 7.89 5/180 31682 /proc/meminfo: memFree=24546048/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=116772 CPUtime=0 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 444 0 0 0 0 0 0 0 25 0 4 0 601890463 119574528 375 33554432000 4194304 4650419 140733376586464 18446744073709551615 215988253381 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 61961 376 319 112 0 56926 0 [pid=31682/tid=31683] ppid=31680 vsize=182308 CPUtime=0 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) D 31680 31682 31608 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 4 0 601890463 186683392 395 33554432000 4194304 4650419 140733376586464 18446744073709551615 215988253381 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=182316 CPUtime=0 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 4 0 601890463 186691584 403 33554432000 4194304 4650419 140733376586464 18446744073709551615 215988592443 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=183276 CPUtime=0 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 4 0 601890463 187674624 417 33554432000 4194304 4650419 140733376586464 18446744073709551615 215988289291 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.106867 s] /proc/loadavg: 7.57 7.69 7.89 5/180 31682 /proc/meminfo: memFree=24546048/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=282956 CPUtime=0.4 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 2091 0 0 0 40 0 0 0 25 0 4 0 601890463 289746944 1932 33554432000 4194304 4650419 140733376586464 18446744073709551615 4363460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 70739 1932 391 112 0 65704 0 [pid=31682/tid=31683] ppid=31680 vsize=282956 CPUtime=0.1 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 462 0 0 0 10 0 0 0 25 0 4 0 601890463 289746944 1932 33554432000 4194304 4650419 140733376586464 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=282956 CPUtime=0.1 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 451 0 0 0 10 0 0 0 25 0 4 0 601890463 289746944 1932 33554432000 4194304 4650419 140733376586464 18446744073709551615 4333260 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=282956 CPUtime=0.1 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 294 0 0 0 10 0 0 0 25 0 4 0 601890463 289746944 1932 33554432000 4194304 4650419 140733376586464 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 282956 [startup+0.200853 s] /proc/loadavg: 7.57 7.69 7.89 5/180 31682 /proc/meminfo: memFree=24546048/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=284484 CPUtime=0.78 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 2999 0 0 0 78 0 0 0 25 0 4 0 601890463 291311616 2068 33554432000 4194304 4650419 140733376586464 18446744073709551615 4334529 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 71121 2068 393 112 0 66086 0 [pid=31682/tid=31683] ppid=31680 vsize=284484 CPUtime=0.19 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 694 0 0 0 19 0 0 0 25 0 4 0 601890463 291311616 2068 33554432000 4194304 4650419 140733376586464 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=284484 CPUtime=0.19 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 676 0 0 0 19 0 0 0 25 0 4 0 601890463 291311616 2068 33554432000 4194304 4650419 140733376586464 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=284484 CPUtime=0.19 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 521 0 0 0 19 0 0 0 25 0 4 0 601890463 291311616 2068 33554432000 4194304 4650419 140733376586464 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.78 Current children cumulated vsize (KiB) 284484 [startup+0.300834 s] /proc/loadavg: 7.57 7.69 7.89 5/180 31682 /proc/meminfo: memFree=24546048/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=284484 CPUtime=1.18 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 3366 0 0 0 118 0 0 0 25 0 4 0 601890463 291311616 2435 33554432000 4194304 4650419 140733376586464 18446744073709551615 4328325 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 71121 2435 393 112 0 66086 0 [pid=31682/tid=31683] ppid=31680 vsize=284484 CPUtime=0.29 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 781 0 0 0 29 0 0 0 25 0 4 0 601890463 291311616 2435 33554432000 4194304 4650419 140733376586464 18446744073709551615 4298209 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=284484 CPUtime=0.29 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 771 0 0 0 29 0 0 0 25 0 4 0 601890463 291311616 2435 33554432000 4194304 4650419 140733376586464 18446744073709551615 4298241 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=284484 CPUtime=0.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 617 0 0 0 29 0 0 0 25 0 4 0 601890463 291311616 2435 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 284484 [startup+0.700765 s] /proc/loadavg: 7.57 7.69 7.89 5/180 31682 /proc/meminfo: memFree=24546048/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=285548 CPUtime=2.78 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 5330 0 0 0 278 0 0 0 25 0 4 0 601890463 292401152 3232 33554432000 4194304 4650419 140733376586464 18446744073709551615 4334040 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 71387 3232 393 112 0 66352 0 [pid=31682/tid=31683] ppid=31680 vsize=285548 CPUtime=0.69 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 1287 0 0 0 69 0 0 0 25 0 4 0 601890463 292401152 3232 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=285548 CPUtime=0.69 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 1277 0 0 0 69 0 0 0 25 0 4 0 601890463 292401152 3232 33554432000 4194304 4650419 140733376586464 18446744073709551615 4363871 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=285548 CPUtime=0.69 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 1084 0 0 0 69 0 0 0 25 0 4 0 601890463 292401152 3232 33554432000 4194304 4650419 140733376586464 18446744073709551615 4334052 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 285548 [startup+1.50063 s] /proc/loadavg: 7.68 7.72 7.89 9/184 31686 /proc/meminfo: memFree=24531012/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=278396 CPUtime=5.97 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 9093 0 0 0 596 1 0 0 25 0 4 0 601890463 285077504 3744 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 69599 3745 394 112 0 64564 0 [pid=31682/tid=31683] ppid=31680 vsize=278396 CPUtime=1.48 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 2229 0 0 0 148 0 0 0 25 0 4 0 601890463 285077504 3745 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=278396 CPUtime=1.48 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 2269 0 0 0 148 0 0 0 25 0 4 0 601890463 285077504 3745 33554432000 4194304 4650419 140733376586464 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=278396 CPUtime=1.49 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 1939 0 0 0 149 0 0 0 25 0 4 0 601890463 285077504 3745 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 278396 [startup+3.10035 s] /proc/loadavg: 7.68 7.72 7.89 9/184 31686 /proc/meminfo: memFree=24512012/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=278676 CPUtime=12.36 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 19808 0 0 0 1233 3 0 0 25 0 4 0 601890463 285364224 12253 33554432000 4194304 4650419 140733376586464 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 69669 12253 395 112 0 64634 0 [pid=31682/tid=31683] ppid=31680 vsize=278676 CPUtime=3.07 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 4454 0 0 0 307 0 0 0 25 0 4 0 601890463 285364224 12253 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=278676 CPUtime=3.08 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 5234 0 0 0 308 0 0 0 25 0 4 0 601890463 285364224 12253 33554432000 4194304 4650419 140733376586464 18446744073709551615 4438449 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=278676 CPUtime=3.09 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 4426 0 0 0 309 0 0 0 25 0 4 0 601890463 285364224 12253 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 278676 [startup+6.30079 s] /proc/loadavg: 7.68 7.72 7.89 9/184 31686 /proc/meminfo: memFree=24474576/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=296464 CPUtime=25.14 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 28388 0 0 0 2509 5 0 0 25 0 4 0 601890463 303579136 16921 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 74116 16921 395 112 0 69081 0 [pid=31682/tid=31683] ppid=31680 vsize=296464 CPUtime=6.26 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 6948 0 0 0 625 1 0 0 25 0 4 0 601890463 303579136 16921 33554432000 4194304 4650419 140733376586464 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=296464 CPUtime=6.28 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 6915 0 0 0 627 1 0 0 25 0 4 0 601890463 303579136 16921 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=296464 CPUtime=6.28 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 6058 0 0 0 628 0 0 0 25 0 4 0 601890463 303579136 16921 33554432000 4194304 4650419 140733376586464 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 296464 [startup+12.7007 s] /proc/loadavg: 7.73 7.72 7.90 9/184 31686 /proc/meminfo: memFree=24439872/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=315012 CPUtime=50.71 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 41686 0 0 0 5063 8 0 0 25 0 4 0 601890463 322572288 24571 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 78753 24571 395 112 0 73718 0 [pid=31682/tid=31683] ppid=31680 vsize=315012 CPUtime=12.63 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 11110 0 0 0 1262 1 0 0 25 0 4 0 601890463 322572288 24571 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=315012 CPUtime=12.69 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 9413 0 0 0 1267 2 0 0 25 0 4 0 601890463 322572288 24571 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=315012 CPUtime=12.68 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 9319 0 0 0 1267 1 0 0 25 0 4 0 601890463 322572288 24571 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 315012 [startup+25.5004 s] /proc/loadavg: 7.77 7.73 7.90 9/184 31686 /proc/meminfo: memFree=24403672/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=315792 CPUtime=101.85 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 58474 0 0 0 10172 13 0 0 25 0 4 0 601890463 323371008 29815 33554432000 4194304 4650419 140733376586464 18446744073709551615 4476449 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 78948 29815 395 112 0 73913 0 [pid=31682/tid=31683] ppid=31680 vsize=315792 CPUtime=25.37 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 17586 0 0 0 2534 3 0 0 25 0 4 0 601890463 323371008 29815 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=315792 CPUtime=25.49 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 11141 0 0 0 2546 3 0 0 25 0 4 0 601890463 323371008 29815 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=315792 CPUtime=25.48 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 12941 0 0 0 2546 2 0 0 25 0 4 0 601890463 323371008 29815 33554432000 4194304 4650419 140733376586464 18446744073709551615 4330582 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 315792 [startup+51.101 s] /proc/loadavg: 8.00 7.79 7.91 9/184 31687 /proc/meminfo: memFree=24374284/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=317200 CPUtime=204.12 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 82871 0 0 0 20391 21 0 0 25 0 4 0 601890463 324812800 35275 33554432000 4194304 4650419 140733376586464 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 79300 35275 395 112 0 74265 0 [pid=31682/tid=31683] ppid=31680 vsize=317200 CPUtime=50.84 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 28048 0 0 0 5078 6 0 0 25 0 4 0 601890463 324812800 35275 33554432000 4194304 4650419 140733376586464 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=317200 CPUtime=51.08 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 13305 0 0 0 5105 3 0 0 25 0 4 0 601890463 324812800 35275 33554432000 4194304 4650419 140733376586464 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=317200 CPUtime=51.08 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 18398 0 0 0 5104 4 0 0 25 0 4 0 601890463 324812800 35275 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.12 Current children cumulated vsize (KiB) 317200 [startup+102.301 s] /proc/loadavg: 8.00 7.82 7.91 9/184 31688 /proc/meminfo: memFree=24321304/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=384884 CPUtime=408.66 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 120468 0 0 0 40830 36 0 0 25 0 4 0 601890463 394121216 44195 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 96221 44195 395 112 0 91186 0 [pid=31682/tid=31683] ppid=31680 vsize=384884 CPUtime=101.77 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 43967 0 0 0 10165 12 0 0 25 0 4 0 601890463 394121216 44195 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=384884 CPUtime=102.28 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 15349 0 0 0 10224 4 0 0 25 0 4 0 601890463 394121216 44195 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=384884 CPUtime=102.28 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 28948 0 0 0 10220 8 0 0 25 0 4 0 601890463 394121216 44195 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.66 Current children cumulated vsize (KiB) 384884 [startup+162.301 s] ################ # More data... # ################ [pid=31682] ppid=31680 vsize=532736 CPUtime=2564.95 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 308080 0 0 0 256374 121 0 0 25 0 4 0 601890463 545521664 81135 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 133184 81135 395 112 0 128149 0 [pid=31682/tid=31683] ppid=31680 vsize=532736 CPUtime=638.76 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 113548 0 0 0 63835 41 0 0 25 0 4 0 601890463 545521664 81135 33554432000 4194304 4650419 140733376586464 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=532736 CPUtime=641.59 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 26877 0 0 0 64148 11 0 0 25 0 4 0 601890463 545521664 81135 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=532736 CPUtime=642.28 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 81285 0 0 0 64196 32 0 0 25 0 4 0 601890463 545521664 81135 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2564.95 Current children cumulated vsize (KiB) 532736 [startup+702.301 s] /proc/loadavg: 8.06 8.04 7.99 9/184 31707 /proc/meminfo: memFree=24020260/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=489964 CPUtime=2804.63 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 326357 0 0 0 280332 131 0 0 25 0 4 0 601890463 501723136 82626 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 122491 82626 395 112 0 117456 0 [pid=31682/tid=31683] ppid=31680 vsize=489964 CPUtime=698.43 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 121213 0 0 0 69799 44 0 0 25 0 4 0 601890463 501723136 82626 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=489964 CPUtime=701.59 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 28096 0 0 0 70147 12 0 0 25 0 4 0 601890463 501723136 82626 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=489964 CPUtime=702.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 86994 0 0 0 70194 35 0 0 25 0 4 0 601890463 501723136 82626 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2804.63 Current children cumulated vsize (KiB) 489964 [startup+762.301 s] /proc/loadavg: 8.14 8.08 8.00 9/184 31709 /proc/meminfo: memFree=24021972/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=490224 CPUtime=3044.31 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 342726 0 0 0 304291 140 0 0 25 0 4 0 601890463 501989376 78357 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 122556 78357 395 112 0 117521 0 [pid=31682/tid=31683] ppid=31680 vsize=490224 CPUtime=758.11 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 128005 0 0 0 75764 47 0 0 25 0 4 0 601890463 501989376 78357 33554432000 4194304 4650419 140733376586464 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=490224 CPUtime=761.59 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 28709 0 0 0 76146 13 0 0 25 0 4 0 601890463 501989376 78357 33554432000 4194304 4650419 140733376586464 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=490224 CPUtime=762.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 90251 0 0 0 76191 38 0 0 25 0 4 0 601890463 501989376 78357 33554432000 4194304 4650419 140733376586464 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3044.31 Current children cumulated vsize (KiB) 490224 [startup+822.301 s] /proc/loadavg: 8.20 8.10 8.01 9/184 31711 /proc/meminfo: memFree=23984136/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=614280 CPUtime=3283.98 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 362890 0 0 0 328248 150 0 0 25 0 4 0 601890463 629022720 87342 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 153570 87342 395 112 0 148535 0 [pid=31682/tid=31683] ppid=31680 vsize=614280 CPUtime=817.8 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 136239 0 0 0 81729 51 0 0 25 0 4 0 601890463 629022720 87342 33554432000 4194304 4650419 140733376586464 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=614280 CPUtime=821.58 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 31103 0 0 0 82144 14 0 0 25 0 4 0 601890463 629022720 87342 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=614280 CPUtime=822.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 94590 0 0 0 82187 42 0 0 25 0 4 0 601890463 629022720 87342 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3283.98 Current children cumulated vsize (KiB) 614280 [startup+882.307 s] /proc/loadavg: 8.18 8.11 8.02 9/184 31712 /proc/meminfo: memFree=23983624/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=614236 CPUtime=3523.68 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 381811 0 0 0 352209 159 0 0 25 0 4 0 601890463 628977664 91662 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 153559 91662 395 112 0 148524 0 [pid=31682/tid=31683] ppid=31680 vsize=614236 CPUtime=877.48 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 142588 0 0 0 87695 53 0 0 25 0 4 0 601890463 628977664 91662 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=614236 CPUtime=881.58 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 33104 0 0 0 88143 15 0 0 25 0 4 0 601890463 628977664 91662 33554432000 4194304 4650419 140733376586464 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=614236 CPUtime=882.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 100029 0 0 0 88185 44 0 0 25 0 4 0 601890463 628977664 91662 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3523.68 Current children cumulated vsize (KiB) 614236 [startup+942.301 s] /proc/loadavg: 8.24 8.14 8.03 9/184 31714 /proc/meminfo: memFree=23974788/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=662444 CPUtime=3763.34 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 394261 0 0 0 376169 165 0 0 25 0 4 0 601890463 678342656 89671 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 165611 89671 395 112 0 160576 0 [pid=31682/tid=31683] ppid=31680 vsize=662444 CPUtime=937.16 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 148868 0 0 0 93660 56 0 0 25 0 4 0 601890463 678342656 89671 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=662444 CPUtime=941.57 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 33653 0 0 0 94142 15 0 0 25 0 4 0 601890463 678342656 89671 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=662444 CPUtime=942.28 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 102212 0 0 0 94183 45 0 0 25 0 4 0 601890463 678342656 89671 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3763.34 Current children cumulated vsize (KiB) 662444 [startup+1002.3 s] /proc/loadavg: 8.12 8.12 8.03 9/184 31715 /proc/meminfo: memFree=23908908/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=615664 CPUtime=4003 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 419686 0 0 0 400124 176 0 0 25 0 4 0 601890463 630439936 102680 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 153916 102680 395 112 0 148881 0 [pid=31682/tid=31683] ppid=31680 vsize=615664 CPUtime=996.83 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 159166 0 0 0 99624 59 0 0 25 0 4 0 601890463 630439936 102680 33554432000 4194304 4650419 140733376586464 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=615664 CPUtime=1001.57 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 34655 0 0 0 100140 17 0 0 25 0 4 0 601890463 630439936 102680 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=615664 CPUtime=1002.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 112291 0 0 0 100180 49 0 0 25 0 4 0 601890463 630439936 102680 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4003 Current children cumulated vsize (KiB) 615664 [startup+1062.3 s] /proc/loadavg: 8.04 8.10 8.02 9/184 31717 /proc/meminfo: memFree=23879492/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=741560 CPUtime=4242.68 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 435323 0 0 0 424083 185 0 0 25 0 4 0 601890463 759357440 106121 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 185390 106121 395 112 0 180355 0 [pid=31682/tid=31683] ppid=31680 vsize=741560 CPUtime=1056.51 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 165077 0 0 0 105589 62 0 0 25 0 4 0 601890463 759357440 106121 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=741560 CPUtime=1061.56 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 35254 0 0 0 106139 17 0 0 25 0 4 0 601890463 759357440 106121 33554432000 4194304 4650419 140733376586464 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=741560 CPUtime=1062.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 117450 0 0 0 106177 52 0 0 25 0 4 0 601890463 759357440 106121 33554432000 4194304 4650419 140733376586464 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4242.68 Current children cumulated vsize (KiB) 741560 [startup+1122.3 s] /proc/loadavg: 8.07 8.09 8.02 9/184 31750 /proc/meminfo: memFree=24212204/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=640812 CPUtime=4482.35 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 454608 0 0 0 448039 196 0 0 25 0 4 0 601890463 656191488 102361 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 160203 102361 395 112 0 155168 0 [pid=31682/tid=31683] ppid=31680 vsize=640812 CPUtime=1116.2 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 170096 0 0 0 111554 66 0 0 25 0 4 0 601890463 656191488 102361 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=640812 CPUtime=1121.56 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 36564 0 0 0 112137 19 0 0 25 0 4 0 601890463 656191488 102361 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=640812 CPUtime=1122.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 123501 0 0 0 112174 55 0 0 25 0 4 0 601890463 656191488 102361 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4482.35 Current children cumulated vsize (KiB) 640812 [startup+1182.3 s] /proc/loadavg: 8.08 8.09 8.02 9/184 31751 /proc/meminfo: memFree=24150676/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=689448 CPUtime=4722.03 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 471885 0 0 0 471996 207 0 0 25 0 4 0 601890463 705994752 103964 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 172362 103964 395 112 0 167327 0 [pid=31682/tid=31683] ppid=31680 vsize=689448 CPUtime=1175.88 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 176211 0 0 0 117519 69 0 0 25 0 4 0 601890463 705994752 103964 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=689448 CPUtime=1181.55 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 37242 0 0 0 118136 19 0 0 25 0 4 0 601890463 705994752 103964 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=689448 CPUtime=1182.29 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 128571 0 0 0 118171 58 0 0 25 0 4 0 601890463 705994752 103964 33554432000 4194304 4650419 140733376586464 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4722.03 Current children cumulated vsize (KiB) 689448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.06 8.08 8.02 10/184 31752 /proc/meminfo: memFree=24146332/32950940 swapFree=67111364/67111528 [pid=31682] ppid=31680 vsize=641400 CPUtime=4800.34 cores=0,2,4,6 /proc/31682/stat : 31682 (strangenight1-m) R 31680 31682 31608 0 -1 4202496 478877 0 0 0 479824 210 0 0 25 0 4 0 601890463 656793600 102417 33554432000 4194304 4650419 140733376586464 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/31682/statm: 160350 102417 395 112 0 155315 0 [pid=31682/tid=31683] ppid=31680 vsize=641400 CPUtime=1195.37 cores=0,2,4,6 /proc/31682/task/31683/stat : 31683 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 177381 0 0 0 119467 70 0 0 25 0 4 0 601890463 656793600 102417 33554432000 4194304 4650419 140733376586464 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31682/tid=31684] ppid=31680 vsize=641400 CPUtime=1201.15 cores=0,2,4,6 /proc/31682/task/31684/stat : 31684 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 37944 0 0 0 120096 19 0 0 25 0 4 0 601890463 656793600 102417 33554432000 4194304 4650419 140733376586464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31682/tid=31685] ppid=31680 vsize=641400 CPUtime=1201.89 cores=0,2,4,6 /proc/31682/task/31685/stat : 31685 (strangenight1-m) R 31680 31682 31608 0 -1 4202560 130991 0 0 0 120130 59 0 0 25 0 4 0 601890463 656793600 102417 33554432000 4194304 4650419 140733376586464 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.34 Current children cumulated vsize (KiB) 641400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.93 CPU time (s): 4800.39 CPU user time (s): 4798.27 CPU system time (s): 2.12068 CPU usage (%): 399.389 Max. virtual memory (cumulated for all children) (KiB): 790088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.27 system time used= 2.12068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 478878 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= 243 involuntary context switches= 23548 runsolver used 1.90571 second user time and 4.51131 second system time The end
Begin job on node117 at 2011-04-30 00:36:37 IDJOB=3175326 IDBENCH=82944 IDSOLVER=1588 FILE ID=node117/3175326-1304116597 RUNJOBID= node117-1304116508-31626 PBS_JOBID= 13170714 Free space on /tmp= 71676 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175326-1304116597/watcher-3175326-1304116597 -o /tmp/evaluation-result-3175326-1304116597/solver-3175326-1304116597 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175326-1304116597.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b9f30e687453978167416852673e8ddb RANDOM SEED=890548302 node117.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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 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.849 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.74 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.849 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.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 24546328 kB Buffers: 1864040 kB Cached: 5792232 kB SwapCached: 160 kB Active: 810608 kB Inactive: 7035972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 24546328 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 6280 kB Writeback: 0 kB AnonPages: 189860 kB Mapped: 15500 kB Slab: 495376 kB PageTables: 5060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 452940 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= 71668 MiB End job on node117 at 2011-04-30 00:56:41