| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.36 | 1203.18 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf |
| MD5SUM | 683c9f75b69575e6451b8563d12f176b |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1.85272 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1981 |
| Number of clauses | 333838 |
| Sum of the clauses size | 669567 |
| Maximum clause length | 47 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 333793 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 45 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3366702-1305434127.cnf' 0.00/0.01 c -- header says num vars: 1981 0.00/0.01 c -- header says num clauses: 333838 0.00/0.09 c -- clauses added: 0 learnts, 333838 normals, 0 xors 0.00/0.09 c -- vars added 1981 0.00/0.09 c Parsing time: 0.06 s 0.00/0.09 c N st 0 0 1981 45 333793 0 669567 0 no data no data 0.00/0.09 c asymm cl-useful: 0/45/45 lits-rem:0 time: 0.00 0.00/0.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.05 0.00/0.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.23 c bin-w-bin subsume rem 0 bins time: 0.05 s 0.00/0.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.05 s 0.90/0.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1981 time: 0.03 s 0.90/0.53 c Removed useless bin: 0 fixed: 0 props: 1.68M time: 0.03 s 0.90/0.53 c lits-rem: 825 cl-subs: 0 v-elim: 45 v-fix: 0 time: 0.08 s 0.90/0.53 c Finding binary XORs T: 0.01 s found: 0 0.90/0.53 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.90/0.53 c calculated reachability. Time: 0.00 0.90/0.53 c Calc default polars - time: 0.00 s pos: 0 undec: 45 neg: 1936 0.90/0.53 c ========================================================================================= 0.90/0.53 c types(t): F = full restart, N = normal restart 0.90/0.53 c types(t): S = simplification begin/end, E = solution found 0.90/0.53 c restart types(rt): st = static, dy = dynamic 0.90/0.53 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.90/0.53 c B st 0 0 1936 4791 327066 0 904827 0 no data no data 0.90/0.87 c N dy 17 4640 1936 4791 327066 4515 904824 608701 13.81 14.58 5.95/1.51 c N dy 32 11185 1936 4791 327066 4294 904813 503897 12.43 13.10 7.59/1.95 c N dy 53 15237 1936 4791 327066 8237 904813 1209826 12.91 13.80 9.94/2.54 c N dy 67 19566 1936 4791 327066 6974 904803 868129 12.77 13.53 11.98/3.05 c N dy 90 23658 1936 4791 327066 10946 904801 1614868 13.09 19.94 12.73/3.26 c F st 103 25000 1936 4791 327066 12236 904796 1796288 13.34 no data 14.34/3.65 c N st 108 28297 1936 4791 327066 8842 904796 1060834 13.34 no data 15.13/3.85 c S st 109 30000 1936 4791 327066 10479 904796 1280833 13.34 no data 15.53/3.90 c S st 109 30505 1936 4791 327066 10980 904796 1353490 13.34 no data 15.53/3.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 17.13/4.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 18.1M T: 0.40 17.13/4.33 c blocked clauses removed: 0 vars: 0 tried: 1936 T: 0.00 s 17.13/4.36 c bin-w-bin subsume rem 0 bins time: 0.03 s 36.68/9.27 c subs with bin: 0 lits-rem: 24265 v-fix: 0 time: 4.86 s 37.08/9.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 37.08/9.33 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 37.48/9.41 c lits-rem: 1106 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 43.45/10.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.51 s 53.43/13.41 c lits-rem: 969 cl-subs: 315 v-elim: 0 v-fix: 0 time: 2.40 s 54.23/13.63 c asymm cl-useful: 891/2419/4791 lits-rem:7232 time: 0.21 54.23/13.63 c calculated reachability. Time: 0.00 54.23/13.63 c N dy 109 30505 1936 4791 327066 10665 872063 1303191 13.34 no data 56.62/14.29 c N dy 122 34764 1936 4791 327066 14735 872063 1981293 13.13 13.84 59.43/14.91 c N dy 139 38872 1936 4791 327066 11033 872063 1514657 13.17 14.03 62.21/15.61 c N dy 145 42898 1936 4791 327066 14902 872063 2279407 12.97 15.18 64.64/16.24 c S st 160 45757 1936 4791 327066 9056 872063 1011943 13.03 11.08 64.64/16.29 c S st 160 46260 1936 4791 327066 9556 872063 1076720 13.03 no data 64.64/16.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 66.61/16.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 18.4M T: 0.41 66.61/16.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 66.61/16.74 c bin-w-bin subsume rem 0 bins time: 0.03 s 85.76/21.50 c subs with bin: 0 lits-rem: 231 v-fix: 0 time: 4.72 s 85.76/21.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 85.76/21.55 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 85.76/21.58 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 91.74/23.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.40 s 94.53/23.78 c lits-rem: 914 cl-subs: 334 v-elim: 0 v-fix: 0 time: 0.75 s 94.53/23.78 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 94.96/23.81 c vivif2 -- cl tried 9222 cl shrink 0 lits rem 0 time: 0.02 95.72/24.02 c asymm cl-useful: 0/2327/4791 lits-rem:0 time: 0.20 95.72/24.03 c calculated reachability. Time: 0.00 95.72/24.03 c N dy 160 46260 1936 4791 327066 9222 871832 1053946 13.03 no data 100.91/25.37 c N dy 180 53866 1936 4791 327066 16625 871832 2486001 12.84 13.52 104.14/26.19 c N dy 195 58274 1936 4791 327066 11221 871832 1405698 12.80 13.55 108.88/27.32 c N dy 217 64563 1936 4791 327066 17317 871832 2537165 12.83 13.51 112.51/28.29 c N dy 238 68722 1936 4791 327067 10700 871832 1251110 12.93 22.46 113.27/28.40 c S st 245 69391 1936 4791 327067 11358 871832 1386625 13.03 no data 113.27/28.47 c S st 245 69896 1936 4791 327067 11858 871832 1463831 13.03 no data 113.27/28.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 116.08/29.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 21.3M T: 0.64 116.08/29.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 116.08/29.16 c bin-w-bin subsume rem 0 bins time: 0.03 s 135.22/33.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.77 s 135.62/34.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 135.62/34.04 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 135.62/34.05 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 141.21/35.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.37 s 145.60/36.57 c lits-rem: 1228 cl-subs: 666 v-elim: 0 v-fix: 0 time: 1.09 s 145.60/36.58 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 146.00/36.60 c vivif2 -- cl tried 11192 cl shrink 3 lits rem 3 time: 0.02 146.80/36.82 c asymm cl-useful: 0/1950/4791 lits-rem:0 time: 0.22 146.80/36.83 c calculated reachability. Time: 0.00 146.80/36.83 c N dy 245 69896 1936 4791 327067 11192 871832 1435530 13.03 no data 149.58/37.56 c N dy 276 74382 1936 4791 327067 15576 871832 2242911 13.45 16.11 153.18/38.48 c N dy 308 79221 1936 4791 327067 20334 871832 3155251 13.84 22.48 157.17/39.44 c N dy 331 84338 1936 4791 327067 13671 871832 1767083 13.97 14.83 159.16/39.98 c F st 349 87500 1936 4791 327067 16755 871832 2326842 14.08 12.78 161.55/40.57 c N st 354 90801 1936 4791 327067 19969 871832 2790358 14.08 no data 166.74/41.84 c N dy 361 97523 1936 4791 327067 13830 871832 1783554 13.91 14.70 170.33/42.77 c N dy 377 103780 1936 4791 327067 19915 871832 2733587 13.80 14.53 171.13/42.96 c S st 380 104844 1936 4791 327067 20945 871832 2893393 13.78 12.94 171.53/43.05 c S st 380 105347 1936 4791 327067 21445 871832 2963612 13.78 no data 171.53/43.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 174.37/43.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 31.0M T: 0.71 174.37/43.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 174.72/43.81 c bin-w-bin subsume rem 0 bins time: 0.03 s 193.87/48.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.81 s 193.87/48.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 194.27/48.72 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 194.27/48.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 199.87/50.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.34 s 216.62/54.36 c lits-rem: 1009 cl-subs: 302 v-elim: 0 v-fix: 0 time: 4.14 s 216.62/54.37 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 217.02/54.42 c vivif2 -- cl tried 21143 cl shrink 0 lits rem 0 time: 0.05 217.85/54.68 c asymm cl-useful: 0/1215/4791 lits-rem:0 time: 0.25 217.85/54.69 c calculated reachability. Time: 0.00 217.85/54.69 c N dy 380 105347 1936 4791 327067 21143 871832 2905363 13.78 no data 223.40/56.09 c N dy 422 112281 1936 4791 327067 14272 871832 1773959 14.06 15.51 229.78/57.62 c N dy 452 120427 1936 4791 327067 22144 871832 3149074 14.08 15.04 236.96/59.45 c N dy 511 128116 1936 4791 327067 15073 871832 1782593 14.55 15.33 242.95/60.98 c N dy 552 136362 1936 4791 327067 23126 871832 3252191 14.77 27.00 252.13/63.29 c N dy 587 145330 1936 4791 327067 16267 871832 1882342 14.80 15.70 261.31/65.51 c N dy 611 154949 1936 4791 327067 25599 871832 3634588 14.71 15.61 263.30/66.09 c S st 624 158020 1936 4791 327067 28566 871832 4202520 14.73 no data 264.10/66.21 c S st 624 158522 1936 4791 327067 29065 871832 4271153 14.73 no data 264.10/66.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 268.48/67.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 40.9M T: 1.16 268.88/67.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 268.88/67.43 c bin-w-bin subsume rem 0 bins time: 0.03 s 288.47/72.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.85 s 288.47/72.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 288.47/72.39 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 288.82/72.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 295.61/74.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.64 s 334.71/83.99 c lits-rem: 1988 cl-subs: 658 v-elim: 0 v-fix: 0 time: 9.70 s 334.71/83.99 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 335.11/84.06 c vivif2 -- cl tried 28407 cl shrink 0 lits rem 0 time: 0.07 336.33/84.35 c asymm cl-useful: 0/836/4791 lits-rem:0 time: 0.27 336.33/84.35 c calculated reachability. Time: 0.00 336.33/84.35 c N dy 624 158522 1936 4791 327067 28407 871832 4166977 14.73 no data 344.69/86.45 c N dy 656 169628 1936 4791 327068 22683 871832 2562273 14.74 15.52 353.07/88.58 c N dy 709 180508 1936 4791 327070 33285 871832 3949421 14.96 22.02 361.44/90.67 c N dy 750 192932 1936 4791 327070 27861 871832 3226359 14.98 15.77 370.23/92.83 c N dy 779 206046 1936 4791 327070 22138 871832 2363844 14.87 15.75 379.40/95.13 c N dy 824 219958 1936 4791 327070 35704 871832 3866868 14.90 15.91 389.01/97.59 c N dy 854 234759 1936 4791 327070 30596 871832 3497954 14.78 15.57 391.37/98.12 c S st 864 237783 1936 4791 327070 33538 871832 3783216 14.77 no data 391.77/98.22 c S st 864 238285 1936 4791 327070 34039 871832 3856836 14.77 no data 391.77/98.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 395.36/99.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 34.6M T: 0.92 395.36/99.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 395.75/99.20 c bin-w-bin subsume rem 0 bins time: 0.03 s 414.92/104.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.80 s 414.92/104.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 414.92/104.10 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 415.34/104.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 421.29/105.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.37 s 450.44/112.97 c lits-rem: 1169 cl-subs: 528 v-elim: 0 v-fix: 0 time: 7.27 s 450.44/112.97 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 450.87/113.05 c vivif2 -- cl tried 33511 cl shrink 24 lits rem 25 time: 0.08 451.22/113.17 c asymm cl-useful: 0/790/4791 lits-rem:0 time: 0.12 451.22/113.18 c calculated reachability. Time: 0.00 451.22/113.18 c N dy 864 238285 1936 4791 327070 33511 871832 3803624 14.77 no data 465.17/116.63 c N dy 956 254948 1936 4791 327071 29329 871832 3713980 15.01 15.97 479.14/120.11 c N dy 1030 271345 1936 4791 327071 23919 871832 2703136 15.15 15.95 496.70/124.53 c N dy 1151 289547 1936 4791 327071 41685 871832 5865761 15.51 16.47 509.86/127.86 c F st 1210 306254 1936 4791 327071 35505 871832 4318803 15.54 13.73 511.88/128.39 c N st 1214 308287 1936 4791 327071 37490 871832 4668989 15.54 no data 531.81/133.37 c N dy 1302 328843 1936 4791 327071 34173 871832 4435313 15.75 16.64 557.34/139.70 c N dy 1386 353754 1936 4791 327071 33988 871832 4097679 15.78 16.74 560.16/140.50 c S st 1410 357428 1936 4791 327071 37570 871832 4705792 15.83 14.51 560.94/140.65 c S st 1410 357932 1936 4791 327071 38071 871832 4770935 15.83 no data 560.94/140.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 566.12/141.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 42.5M T: 1.32 566.52/142.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 566.52/142.03 c bin-w-bin subsume rem 0 bins time: 0.03 s 585.68/146.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.76 s 585.68/146.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 585.68/146.88 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 586.08/146.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 592.45/148.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.44 s 640.34/160.53 c lits-rem: 1421 cl-subs: 440 v-elim: 0 v-fix: 0 time: 11.90 s 640.34/160.53 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 640.74/160.62 c vivif2 -- cl tried 37631 cl shrink 18 lits rem 18 time: 0.09 641.93/160.91 c asymm cl-useful: 0/1077/4791 lits-rem:0 time: 0.29 641.93/160.91 c calculated reachability. Time: 0.00 641.93/160.91 c N dy 1410 357932 1936 4791 327071 37631 871832 4691701 15.83 no data 661.10/165.80 c N dy 1473 379158 1936 4791 327071 32943 871832 4046737 15.80 16.69 682.63/171.16 c N dy 1527 399597 1936 4791 327071 26629 871832 2743454 15.78 16.68 700.60/175.63 c N dy 1599 420061 1936 4791 327071 46476 871832 5390372 15.82 16.73 718.93/180.20 c N dy 1673 440861 1936 4791 327071 39448 871832 4230516 15.87 16.77 737.69/184.92 c N dy 1721 460885 1936 4791 327071 30781 871832 3178092 15.85 23.43 756.04/189.55 c N dy 1779 481448 1936 4791 327071 50797 871832 5552691 15.83 16.85 775.99/194.56 c N dy 1806 502109 1936 4791 327071 41710 871832 4250629 15.72 16.60 796.74/199.75 c N dy 1856 524281 1936 4791 327071 33111 871832 3279779 15.68 16.79 805.94/202.09 c S st 1879 536899 1936 4791 327071 45339 871832 4575435 15.62 no data 806.70/202.20 c S st 1879 537399 1936 4791 327071 45833 871832 4656321 15.62 no data 806.70/202.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 811.49/203.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 43.8M T: 1.24 811.49/203.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 811.89/203.50 c bin-w-bin subsume rem 0 bins time: 0.03 s 831.03/208.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.78 s 831.03/208.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 831.03/208.36 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 831.43/208.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 838.62/210.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.76 s 878.51/220.24 c lits-rem: 1340 cl-subs: 855 v-elim: 0 v-fix: 0 time: 9.96 s 878.51/220.25 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 878.92/220.35 c vivif2 -- cl tried 44978 cl shrink 0 lits rem 0 time: 0.10 880.55/220.72 c asymm cl-useful: 0/870/4791 lits-rem:0 time: 0.37 880.55/220.73 c calculated reachability. Time: 0.00 880.55/220.73 c N dy 1879 537399 1936 4791 327071 44978 871832 4590476 15.62 no data 904.05/226.63 c N dy 2014 557743 1936 4791 327071 33700 871832 3394172 15.81 16.75 924.43/231.72 c N dy 2061 579633 1936 4791 327071 54911 871832 7028916 15.78 16.69 942.40/236.26 c N dy 2125 599709 1936 4791 327071 42454 871832 4498977 15.76 22.38 964.70/241.86 c N dy 2202 620253 1936 4791 327071 62438 871832 7739444 15.79 17.01 985.45/247.00 c N dy 2286 640268 1936 4791 327071 48823 871832 5745974 15.85 25.34 1012.61/253.81 c N dy 2392 660334 1936 4791 327071 34305 871832 3170982 15.96 17.57 1030.52/258.38 c N dy 2445 680585 1936 4791 327071 54049 871832 6648885 15.93 16.78 1054.46/264.36 c N dy 2530 700676 1936 4791 327071 38607 871832 3822051 15.97 19.61 1074.81/269.40 c N dy 2604 720686 1936 4791 327071 58100 871832 6931360 16.01 16.87 1099.56/275.68 c N dy 2670 741477 1936 4791 327071 42247 871832 4288721 15.99 16.93 1124.68/281.90 c N dy 2749 761548 1936 4791 327071 61744 871832 7478111 16.02 33.18 1151.42/288.61 c N dy 2857 781569 1936 4791 327071 44352 871832 4522803 16.13 31.21 1176.96/295.02 c N dy 2935 802308 1936 4791 327071 64512 871832 7812033 16.14 17.05 1182.54/296.46 c S st 2944 806099 1936 4791 327071 68169 871832 8347944 16.13 12.92 1183.36/296.65 c S st 2944 806602 1936 4791 327071 68670 871832 8422674 16.13 no data 1183.36/296.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1193.30/299.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 67.6M T: 2.50 1193.30/299.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1193.70/299.21 c bin-w-bin subsume rem 0 bins time: 0.03 s 1212.86/304.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.82 s 1212.86/304.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 1212.86/304.09 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 1213.26/304.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 1221.24/306.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.79 s 1326.57/332.57 c lits-rem: 2430 cl-subs: 2248 v-elim: 0 v-fix: 0 time: 26.41 s 1326.57/332.58 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 1327.37/332.73 c vivif2 -- cl tried 66422 cl shrink 0 lits rem 0 time: 0.16 1328.61/333.06 c asymm cl-useful: 0/432/4791 lits-rem:0 time: 0.33 1328.61/333.07 c calculated reachability. Time: 0.00 1328.61/333.07 c N dy 2944 806602 1936 4791 327071 66422 871832 8253371 16.13 no data 1354.11/339.50 c N dy 3012 828149 1936 4791 327072 49425 871832 5340716 16.14 17.05 1379.23/345.78 c N dy 3098 848196 1936 4791 327072 68956 871832 8586259 16.17 17.03 1405.96/352.48 c N dy 3181 868398 1936 4791 327072 49676 871832 5439470 16.22 17.13 1433.94/359.48 c N dy 3281 888500 1936 4791 327072 69359 871832 8620332 16.28 27.57 1467.81/367.97 c N dy 3381 909030 1936 4791 327072 49426 871832 5280691 16.32 17.31 1492.14/374.10 c N dy 3465 929090 1936 4791 327072 69031 871832 8595620 16.36 37.68 1524.07/382.09 c N dy 3544 950391 1936 4791 327073 48823 871832 5036218 16.37 17.42 1544.81/387.23 c N dy 3589 970849 1936 4791 327073 68642 871832 7999397 16.33 17.22 1574.73/394.78 c N dy 3670 990948 1936 4791 327073 46320 871832 4504707 16.36 43.02 1595.91/400.02 c N dy 3739 1011071 1936 4791 327073 65938 871832 7773851 16.37 17.26 1620.62/406.29 c N dy 3788 1032334 1936 4791 327073 43745 871832 4011105 16.35 17.28 1642.56/411.77 c N dy 3833 1053629 1936 4791 327073 64484 871832 7245599 16.31 17.17 1667.30/417.95 c F st 3857 1071875 1936 4791 327073 82131 871832 9272906 16.26 no data 1670.94/418.83 c N st 3861 1073910 1936 4791 327073 84104 871832 9508955 16.26 no data 1691.25/423.97 c N dy 3927 1094647 1936 4791 327074 60598 871832 6589457 16.27 17.13 1719.56/431.02 c N dy 3959 1116944 1936 4791 327074 82224 871832 9608867 16.21 17.07 1741.15/436.47 c N dy 4005 1137353 1936 4791 327074 57252 871832 5519979 16.18 17.12 1763.84/442.11 c N dy 4093 1157399 1936 4791 327074 76752 871832 8813005 16.22 29.83 1794.97/449.98 c N dy 4196 1177406 1936 4791 327074 50600 871832 4793762 16.28 34.78 1816.52/455.37 c N dy 4267 1197550 1936 4791 327074 70225 871832 7866756 16.28 17.18 1836.07/460.27 c S st 4336 1209903 1936 4791 327074 82253 871832 9780648 16.31 no data 1837.29/460.51 c S st 4336 1210407 1936 4791 327074 82754 871832 9859842 16.31 no data 1837.29/460.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1848.44/463.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 77.2M T: 2.81 1848.44/463.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1848.44/463.38 c bin-w-bin subsume rem 0 bins time: 0.03 s 1867.20/468.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.71 s 1867.60/468.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 1867.60/468.15 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 1868.02/468.22 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 1873.98/469.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.31 s 1966.53/492.91 c lits-rem: 1442 cl-subs: 1246 v-elim: 0 v-fix: 0 time: 23.13 s 1966.53/492.92 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.01 1967.33/493.13 c vivif2 -- cl tried 81508 cl shrink 398 lits rem 442 time: 0.21 1968.96/493.57 c asymm cl-useful: 0/596/4791 lits-rem:0 time: 0.44 1968.96/493.59 c calculated reachability. Time: 0.00 1968.96/493.59 c N dy 4336 1210407 1936 4791 327074 81508 871832 9700933 16.31 no data 1997.26/500.69 c N dy 4400 1230452 1936 4791 327074 54318 871832 5430160 16.33 27.30 2023.19/507.13 c N dy 4466 1250453 1936 4791 327074 73633 871832 8290451 16.34 19.49 2057.15/515.66 c N dy 4537 1270478 1936 4791 327074 93049 871832 11789788 16.36 46.61 2085.03/522.68 c N dy 4597 1291976 1936 4791 327074 66359 871832 7271963 16.34 17.21 2110.57/529.07 c N dy 4640 1312209 1936 4791 327074 85897 871832 9744954 16.32 17.25 2143.69/537.36 c N dy 4734 1334440 1936 4791 327074 58998 871832 6048538 16.36 17.52 2170.85/544.16 c N dy 4838 1354525 1936 4791 327074 78575 871832 9124732 16.40 27.46 2207.92/553.40 c N dy 4957 1374545 1936 4791 327074 98091 871832 12191979 16.47 18.67 2230.27/559.08 c N dy 5023 1394564 1936 4791 327074 67972 871832 7074458 16.47 17.48 2254.23/565.01 c N dy 5054 1416325 1936 4791 327074 89006 871832 9903248 16.44 17.34 2282.54/572.10 c N dy 5124 1437226 1936 4791 327074 58826 871832 5750132 16.45 17.52 2307.66/578.46 c N dy 5195 1458783 1936 4791 327074 79815 871832 9124965 16.46 17.34 2342.43/587.14 c N dy 5273 1478835 1936 4791 327074 99198 871832 12051491 16.47 27.19 2366.32/593.12 c N dy 5313 1499495 1936 4791 327074 67750 871832 6850836 16.45 17.42 2390.29/599.17 c N dy 5379 1519634 1936 4791 327075 87280 871832 9620211 16.44 17.52 2427.76/608.52 c N dy 5497 1540543 1936 4791 327075 55251 871832 4953038 16.50 17.41 2449.71/614.01 c N dy 5563 1560554 1936 4791 327075 74786 871832 8038584 16.51 32.87 2473.68/620.01 c N dy 5607 1580611 1936 4791 327075 94336 871832 10741538 16.49 24.24 2501.98/627.19 c N dy 5657 1601270 1936 4791 327075 60885 871832 5705596 16.48 17.46 2528.32/633.77 c N dy 5713 1621777 1936 4791 327075 80623 871832 8241188 16.47 17.36 2555.05/640.41 c N dy 5754 1642381 1936 4791 327075 100601 871832 10468279 16.45 17.33 2582.58/647.34 c N dy 5828 1666260 1936 4791 327075 69566 871832 7168376 16.44 17.34 2606.51/653.30 c N dy 5858 1686368 1936 4791 327075 89100 871832 9857650 16.41 17.31 2640.87/661.98 c N dy 5945 1706658 1936 4791 327075 108763 871832 12942418 16.43 17.88 2647.22/663.52 c S st 5955 1710407 1936 4791 327075 57098 871832 5023071 16.43 11.04 2647.62/663.64 c S st 5955 1710910 1936 4791 327075 57599 871832 5095699 16.43 no data 2647.62/663.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2654.40/665.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 53.1M T: 1.68 2654.40/665.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2654.40/665.37 c bin-w-bin subsume rem 0 bins time: 0.03 s 2673.55/670.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.77 s 2673.55/670.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 2673.55/670.19 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 2673.95/670.23 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 2682.33/672.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.96 s 2723.04/682.57 c lits-rem: 863 cl-subs: 1096 v-elim: 0 v-fix: 0 time: 10.26 s 2723.04/682.58 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 2723.44/682.70 c vivif2 -- cl tried 56503 cl shrink 18 lits rem 18 time: 0.12 2725.02/683.05 c asymm cl-useful: 0/663/4791 lits-rem:0 time: 0.36 2725.02/683.06 c calculated reachability. Time: 0.00 2725.02/683.06 c N dy 5955 1710910 1936 4791 327075 56503 871832 5072348 16.43 no data 2748.97/689.08 c N dy 6005 1731545 1936 4791 327076 76473 871832 7728281 16.42 17.78 2780.09/696.88 c N dy 6089 1751564 1936 4791 327076 95966 871832 10712193 16.43 25.17 2812.05/704.84 c N dy 6129 1771667 1936 4791 327076 59195 871832 5351836 16.42 17.31 2837.14/711.10 c N dy 6196 1791943 1936 4791 327076 78932 871832 7935219 16.42 17.30 2865.87/718.33 c N dy 6264 1812046 1936 4791 327076 98499 871832 10404939 16.43 17.66 2900.98/727.15 c N dy 6351 1833424 1936 4791 327076 61960 871832 5516041 16.45 17.33 2921.77/732.39 c N dy 6396 1853609 1936 4791 327076 81553 871832 7799314 16.44 17.50 2953.25/740.23 c N dy 6427 1875862 1936 4791 327076 103040 871832 9576696 16.41 17.29 2980.38/747.09 c N dy 6465 1896267 1936 4791 327076 64599 871832 5726773 16.39 17.34 3001.92/752.47 c N dy 6506 1916323 1936 4791 327076 84071 871832 7895407 16.37 21.49 3027.86/758.94 c N dy 6572 1936411 1936 4791 327076 103586 871832 11041176 16.37 19.80 3063.76/767.93 c N dy 6641 1956648 1936 4791 327076 64052 871832 5654744 16.38 17.53 3087.30/773.88 c N dy 6684 1976734 1936 4791 327076 83475 871832 7846009 16.36 27.30 3115.63/780.94 c N dy 6730 1997445 1936 4791 327076 103644 871832 11270626 16.35 17.33 3157.13/791.31 c N dy 6806 2017809 1936 4791 327077 63189 871832 5377581 16.36 17.31 3183.06/797.85 c N dy 6834 2039348 1936 4791 327077 84011 871832 8659010 16.33 17.22 3226.16/808.67 c N dy 6927 2062503 1936 4791 327077 106418 871832 11538282 16.35 17.46 3267.25/818.98 c N dy 7009 2085995 1936 4791 327077 68139 871832 6109816 16.35 17.36 3292.39/825.27 c N dy 7061 2106022 1936 4791 327078 87509 871832 8527333 16.35 33.02 3325.14/833.50 c N dy 7141 2126076 1936 4791 327079 106951 871832 11027743 16.36 28.95 3357.83/841.69 c N dy 7197 2146338 1936 4791 327079 64508 871832 5275940 16.36 17.59 3381.77/847.65 c N dy 7224 2166917 1936 4791 327079 84157 871832 6866358 16.34 17.41 3404.90/853.43 c N dy 7273 2186956 1936 4791 327079 103665 871832 9213047 16.33 35.12 3434.86/860.92 c N dy 7327 2207023 1936 4791 327079 123141 871832 11287537 16.33 17.22 3442.81/862.99 c S st 7340 2210913 1936 4791 327079 63999 871832 5195601 16.33 13.41 3443.63/863.12 c S st 7340 2211413 1936 4791 327079 64497 871832 5254734 16.33 no data 3443.63/863.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3450.39/864.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 49.3M T: 1.70 3450.39/864.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3450.39/864.88 c bin-w-bin subsume rem 0 bins time: 0.03 s 3469.55/869.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.76 s 3469.55/869.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 3469.55/869.69 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 3469.97/869.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 3477.53/871.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.75 s 3517.83/881.74 c lits-rem: 1888 cl-subs: 1667 v-elim: 0 v-fix: 0 time: 10.13 s 3517.83/881.75 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 3518.25/881.89 c vivif2 -- cl tried 62830 cl shrink 430 lits rem 437 time: 0.14 3519.41/882.19 c asymm cl-useful: 0/840/4791 lits-rem:0 time: 0.30 3519.41/882.20 c calculated reachability. Time: 0.00 3519.41/882.20 c N dy 7340 2211413 1936 4791 327079 62830 871832 5226269 16.33 no data 3544.16/888.31 c N dy 7367 2233347 1936 4791 327079 84068 871832 7473081 16.30 17.21 3572.89/895.53 c N dy 7481 2253560 1936 4791 327079 103733 871832 10563344 16.34 17.24 3605.61/903.78 c N dy 7530 2273969 1936 4791 327079 123525 871832 13407221 16.34 17.38 3632.36/910.47 c N dy 7567 2294067 1936 4791 327079 79062 871832 7402534 16.32 17.48 3655.08/916.13 c N dy 7599 2314112 1936 4791 327079 98580 871832 9776742 16.31 17.20 3686.20/923.93 c N dy 7662 2334338 1936 4791 327079 118078 871832 11798674 16.30 17.65 3712.94/930.64 c N dy 7721 2355358 1936 4791 327079 73515 871832 6513625 16.31 17.17 3736.88/936.69 c N dy 7772 2376054 1936 4791 327079 93578 871832 9002525 16.30 17.17 3782.36/948.05 c N dy 7826 2399315 1936 4791 327079 116197 871832 12161024 16.30 17.20 3819.47/957.32 c N dy 7890 2421527 1936 4791 327079 71852 871832 5729695 16.29 17.31 3843.03/963.29 c N dy 7961 2441592 1936 4791 327079 91182 871832 7773762 16.29 24.48 3868.15/969.50 c N dy 7990 2463170 1936 4791 327079 111955 871832 9596000 16.27 17.27 3902.87/978.27 c N dy 8043 2484997 1936 4791 327079 132974 871832 11697390 16.26 17.13 3930.39/985.15 c N dy 8104 2507821 1936 4791 327079 88435 871832 8186854 16.26 17.32 3963.11/993.32 c N dy 8164 2527870 1936 4791 327079 107838 871832 10677854 16.26 17.34 3999.82/1002.59 c N dy 8228 2548610 1936 4791 327079 127758 871832 13007938 16.26 17.21 4037.72/1012.01 c N dy 8287 2569696 1936 4791 327079 80466 871832 6614355 16.25 17.19 4062.06/1018.11 c N dy 8360 2589713 1936 4791 327079 99870 871832 8903801 16.26 19.15 4096.78/1026.81 c N dy 8429 2611374 1936 4791 327079 120854 871832 11561443 16.26 17.21 4133.88/1036.17 c N dy 8481 2633735 1936 4791 327079 73896 871832 6159143 16.25 17.17 4157.02/1041.92 c N dy 8515 2653898 1936 4791 327079 93333 871832 8769137 16.24 17.48 4190.54/1050.31 c N dy 8589 2675511 1936 4791 327079 114275 871832 11463730 16.24 17.46 4225.65/1059.18 c N dy 8672 2695609 1936 4791 327079 133764 871832 13823822 16.25 29.87 4251.21/1065.51 c S st 8741 2711413 1936 4791 327080 79421 871832 6853565 16.26 12.71 4251.63/1065.66 c S st 8741 2711915 1936 4791 327080 79919 871832 6931659 16.26 no data 4251.63/1065.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4259.99/1067.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 60.0M T: 2.09 4259.99/1067.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4260.40/1067.81 c bin-w-bin subsume rem 0 bins time: 0.03 s 4279.52/1072.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.79 s 4279.52/1072.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1936 time: 0.03 s 4279.52/1072.66 c Removed useless bin: 0 fixed: 0 props: 1.64M time: 0.03 s 4279.92/1072.71 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 4286.33/1074.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.43 s 4347.35/1089.64 c lits-rem: 1263 cl-subs: 2461 v-elim: 0 v-fix: 0 time: 15.33 s 4347.35/1089.65 c vivif2 -- cl tried 4791 cl shrink 0 lits rem 0 time: 0.00 4348.18/1089.82 c vivif2 -- cl tried 77458 cl shrink 15 lits rem 15 time: 0.17 4349.74/1090.21 c asymm cl-useful: 0/822/4791 lits-rem:0 time: 0.39 4349.74/1090.22 c calculated reachability. Time: 0.00 4349.74/1090.22 c N dy 8741 2711915 1936 4791 327080 77458 871832 6869062 16.26 no data 4377.27/1097.11 c N dy 8802 2733307 1936 4791 327080 98243 871832 9317706 16.27 17.41 4414.38/1106.46 c N dy 8923 2753525 1936 4791 327080 117940 871832 12595870 16.30 17.22 4467.04/1119.61 c N dy 9024 2778784 1936 4791 327080 71787 871832 5955933 16.32 17.18 4494.18/1126.46 c N dy 9129 2799284 1936 4791 327080 91745 871832 9095586 16.34 17.30 4535.67/1136.82 c N dy 9246 2821591 1936 4791 327080 113415 871832 12499757 16.37 17.51 4582.35/1148.60 c N dy 9339 2842565 1936 4791 327080 133789 871832 15908443 16.38 17.32 4626.65/1159.65 c N dy 9439 2863304 1936 4791 327080 82106 871832 7520236 16.40 17.39 4659.39/1167.83 c N dy 9492 2883772 1936 4791 327080 101798 871832 10534658 16.40 17.68 4703.28/1178.84 c N dy 9597 2904992 1936 4791 327080 122396 871832 13873880 16.42 17.58 4758.71/1192.72 c N dy 9682 2930373 1936 4791 327080 74323 871832 6102348 16.42 17.36 4788.64/1200.28 c N dy 9742 2954533 1936 4791 327080 97714 871832 9198458 16.41 17.35
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-3366702-1305434127/watcher-3366702-1305434127 -o /tmp/evaluation-result-3366702-1305434127/solver-3366702-1305434127 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366702-1305434127.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 8.05 7.80 7.68 6/319 27241 /proc/meminfo: memFree=11151440/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=51168 CPUtime=0.02 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 408 0 0 0 2 0 0 0 25 0 4 0 733643436 52396032 348 33554432000 4194304 4580107 140734096430128 18446744073709551615 47515975927730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27241/statm: 12792 348 299 95 0 7774 0 [pid=27241/tid=27242] ppid=27239 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 733643437 52396032 353 33554432000 4194304 4580107 140734096430128 18446744073709551615 47515975927315 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=51168 CPUtime=0.01 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 733643437 52396032 353 33554432000 4194304 4580107 140734096430128 18446744073709551615 47515975927312 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=51168 CPUtime=0.01 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 4 0 733643437 52396032 353 33554432000 4194304 4580107 140734096430128 18446744073709551615 47515975927321 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.2365 s] /proc/loadavg: 8.05 7.80 7.68 6/319 27241 /proc/meminfo: memFree=11151440/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=295896 CPUtime=0.9 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) D 27239 27241 26655 0 -1 4202496 12978 0 0 0 87 3 0 0 18 0 4 0 733643436 302997504 12880 33554432000 4194304 4580107 140734096430128 18446744073709551615 4515904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 73974 12880 370 95 0 68956 0 [pid=27241/tid=27242] ppid=27239 vsize=295896 CPUtime=0.21 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 3033 0 0 0 20 1 0 0 18 0 4 0 733643437 302997504 12880 33554432000 4194304 4580107 140734096430128 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=295896 CPUtime=0.22 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 3795 0 0 0 22 0 0 0 18 0 4 0 733643437 302997504 12880 33554432000 4194304 4580107 140734096430128 18446744073709551615 4515240 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=295896 CPUtime=0.22 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) D 27239 27241 26655 0 -1 4202560 2760 0 0 0 22 0 0 0 18 0 4 0 733643437 302997504 12880 33554432000 4194304 4580107 140734096430128 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 295896 [startup+0.32999 s] /proc/loadavg: 8.05 7.80 7.68 6/319 27241 /proc/meminfo: memFree=11151440/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=307836 CPUtime=3.65 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 24087 0 0 0 360 5 0 0 19 0 4 0 733643436 315224064 19018 33554432000 4194304 4580107 140734096430128 18446744073709551615 4317025 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 76959 19019 376 95 0 71941 0 [pid=27241/tid=27242] ppid=27239 vsize=307836 CPUtime=0.9 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 5990 0 0 0 88 2 0 0 18 0 4 0 733643437 315224064 19019 33554432000 4194304 4580107 140734096430128 18446744073709551615 4319810 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=307836 CPUtime=0.91 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 6141 0 0 0 90 1 0 0 19 0 4 0 733643437 315224064 19019 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=307836 CPUtime=0.9 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 5339 0 0 0 90 0 0 0 19 0 4 0 733643437 315224064 19019 33554432000 4194304 4580107 140734096430128 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.65 Current children cumulated vsize (KiB) 307836 [startup+1.02314 s] /proc/loadavg: 8.05 7.80 7.68 6/319 27241 /proc/meminfo: memFree=11151440/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=307836 CPUtime=4.05 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 24754 0 0 0 400 5 0 0 19 0 4 0 733643436 315224064 19685 33554432000 4194304 4580107 140734096430128 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 76959 19685 376 95 0 71941 0 [pid=27241/tid=27242] ppid=27239 vsize=307836 CPUtime=1 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 6117 0 0 0 98 2 0 0 18 0 4 0 733643437 315224064 19685 33554432000 4194304 4580107 140734096430128 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=307836 CPUtime=1.01 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 6287 0 0 0 100 1 0 0 19 0 4 0 733643437 315224064 19685 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=307836 CPUtime=1 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 5588 0 0 0 100 0 0 0 19 0 4 0 733643437 315224064 19685 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.05 Current children cumulated vsize (KiB) 307836 [startup+1.12312 s] /proc/loadavg: 8.05 7.80 7.68 6/319 27241 /proc/meminfo: memFree=11151440/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=307968 CPUtime=4.45 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 25512 0 0 0 440 5 0 0 19 0 4 0 733643436 315359232 20443 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 76992 20443 376 95 0 71974 0 [pid=27241/tid=27242] ppid=27239 vsize=307968 CPUtime=1.1 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 6230 0 0 0 108 2 0 0 19 0 4 0 733643437 315359232 20443 33554432000 4194304 4580107 140734096430128 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=307968 CPUtime=1.11 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 6539 0 0 0 110 1 0 0 19 0 4 0 733643437 315359232 20443 33554432000 4194304 4580107 140734096430128 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=307968 CPUtime=1.1 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 5820 0 0 0 110 0 0 0 19 0 4 0 733643437 315359232 20443 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.45 Current children cumulated vsize (KiB) 307968 [startup+1.50105 s] /proc/loadavg: 8.05 7.80 7.68 6/319 27241 /proc/meminfo: memFree=11151440/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=311480 CPUtime=5.95 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 30687 0 0 0 590 5 0 0 20 0 4 0 733643436 318955520 20087 33554432000 4194304 4580107 140734096430128 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 77870 20087 376 95 0 72852 0 [pid=27241/tid=27242] ppid=27239 vsize=311480 CPUtime=1.48 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 7498 0 0 0 146 2 0 0 19 0 4 0 733643437 318955520 20087 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=311480 CPUtime=1.49 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 7680 0 0 0 148 1 0 0 19 0 4 0 733643437 318955520 20087 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=311480 CPUtime=1.49 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 7249 0 0 0 148 1 0 0 20 0 4 0 733643437 318955520 20087 33554432000 4194304 4580107 140734096430128 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 311480 [startup+3.10075 s] /proc/loadavg: 8.13 7.82 7.69 9/323 27245 /proc/meminfo: memFree=11050056/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=304792 CPUtime=12.33 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 45527 0 0 0 1225 8 0 0 25 0 4 0 733643436 312107008 22876 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 76198 22876 377 95 0 71180 0 [pid=27241/tid=27242] ppid=27239 vsize=304792 CPUtime=3.07 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 11461 0 0 0 305 2 0 0 24 0 4 0 733643437 312107008 22876 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=304792 CPUtime=3.08 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 11467 0 0 0 307 1 0 0 25 0 4 0 733643437 312107008 22876 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=304792 CPUtime=3.08 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 10999 0 0 0 307 1 0 0 25 0 4 0 733643437 312107008 22876 33554432000 4194304 4580107 140734096430128 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.33 Current children cumulated vsize (KiB) 304792 [startup+6.31215 s] /proc/loadavg: 8.13 7.82 7.69 9/323 27245 /proc/meminfo: memFree=11030200/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=307068 CPUtime=25.15 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 56523 0 0 0 2505 10 0 0 25 0 4 0 733643436 314437632 27907 33554432000 4194304 4580107 140734096430128 18446744073709551615 4413617 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 76767 27907 378 95 0 71749 0 [pid=27241/tid=27242] ppid=27239 vsize=307068 CPUtime=6.29 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 13961 0 0 0 626 3 0 0 25 0 4 0 733643437 314437632 27907 33554432000 4194304 4580107 140734096430128 18446744073709551615 4413647 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=307068 CPUtime=6.3 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 14385 0 0 0 628 2 0 0 25 0 4 0 733643437 314437632 27907 33554432000 4194304 4580107 140734096430128 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=307068 CPUtime=6.3 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 14509 0 0 0 628 2 0 0 25 0 4 0 733643437 314437632 27907 33554432000 4194304 4580107 140734096430128 18446744073709551615 4316605 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 307068 [startup+12.701 s] /proc/loadavg: 8.12 7.82 7.69 9/323 27246 /proc/meminfo: memFree=10965728/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=355204 CPUtime=50.64 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 89291 0 0 0 5048 16 0 0 25 0 4 0 733643436 363728896 48457 33554432000 4194304 4580107 140734096430128 18446744073709551615 4416709 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 88801 48457 378 95 0 83783 0 [pid=27241/tid=27242] ppid=27239 vsize=355204 CPUtime=12.67 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 19903 0 0 0 1263 4 0 0 25 0 4 0 733643437 363728896 48457 33554432000 4194304 4580107 140734096430128 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=355204 CPUtime=12.68 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 22161 0 0 0 1265 3 0 0 25 0 4 0 733643437 363728896 48457 33554432000 4194304 4580107 140734096430128 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=355204 CPUtime=12.69 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 26001 0 0 0 1265 4 0 0 25 0 4 0 733643437 363728896 48457 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 355204 [startup+25.5006 s] /proc/loadavg: 8.16 7.85 7.70 9/323 27246 /proc/meminfo: memFree=10805940/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=564276 CPUtime=101.71 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 136233 0 0 0 10145 26 0 0 25 0 4 0 733643436 577818624 86719 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 141069 86719 378 95 0 136051 0 [pid=27241/tid=27242] ppid=27239 vsize=564276 CPUtime=25.48 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 33798 0 0 0 2541 7 0 0 25 0 4 0 733643437 577818624 86719 33554432000 4194304 4580107 140734096430128 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=564276 CPUtime=25.49 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 30945 0 0 0 2543 6 0 0 25 0 4 0 733643437 577818624 86719 33554432000 4194304 4580107 140734096430128 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=564276 CPUtime=25.49 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 43660 0 0 0 2542 7 0 0 25 0 4 0 733643437 577818624 86719 33554432000 4194304 4580107 140734096430128 18446744073709551615 4417007 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.71 Current children cumulated vsize (KiB) 564276 [startup+51.1008 s] /proc/loadavg: 8.11 7.86 7.70 9/323 27247 /proc/meminfo: memFree=10711456/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=689564 CPUtime=203.86 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 207092 0 0 0 20344 42 0 0 25 0 4 0 733643436 706113536 107525 33554432000 4194304 4580107 140734096430128 18446744073709551615 4416737 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 172391 107525 378 95 0 167373 0 [pid=27241/tid=27242] ppid=27239 vsize=689564 CPUtime=51.07 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 43918 0 0 0 5098 9 0 0 25 0 4 0 733643437 706113536 107525 33554432000 4194304 4580107 140734096430128 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=689564 CPUtime=51.08 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 45654 0 0 0 5100 8 0 0 25 0 4 0 733643437 706113536 107525 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=689564 CPUtime=51.07 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 72421 0 0 0 5093 14 0 0 25 0 4 0 733643437 706113536 107525 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 203.86 Current children cumulated vsize (KiB) 689564 [startup+102.3 s] /proc/loadavg: 8.04 7.88 7.72 9/323 27248 /proc/meminfo: memFree=10440368/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=921016 CPUtime=408.12 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 345414 0 0 0 40737 75 0 0 25 0 4 0 733643436 943120384 166730 33554432000 4194304 4580107 140734096430128 18446744073709551615 4413635 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/27241/statm: 230254 166730 378 95 0 225236 0 [pid=27241/tid=27242] ppid=27239 vsize=921016 CPUtime=102.27 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 81749 0 0 0 10208 19 0 0 25 0 4 0 733643437 943120384 166730 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=921016 CPUtime=102.28 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 69212 0 0 0 10213 15 0 0 25 0 4 0 733643437 943120384 166730 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=921016 CPUtime=102.27 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 119944 0 0 0 10202 25 0 0 25 0 4 0 733643437 943120384 166730 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.12 Current children cumulated vsize (KiB) 921016 [startup+162.301 s] ################ # More data... # ################ [pid=27241] ppid=27239 vsize=1880704 CPUtime=2802.04 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 1705641 0 0 0 279755 449 0 0 25 0 4 0 733643436 1925840896 312304 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 470176 312304 378 95 0 465158 0 [pid=27241/tid=27242] ppid=27239 vsize=1880704 CPUtime=702.2 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 394426 0 0 0 70110 110 0 0 25 0 4 0 733643437 1925840896 312304 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=1880704 CPUtime=702.28 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 410509 0 0 0 70122 106 0 0 25 0 4 0 733643437 1925840896 312304 33554432000 4194304 4580107 140734096430128 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=1880704 CPUtime=697.29 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 513196 0 0 0 69597 132 0 0 25 0 4 0 733643437 1925840896 312304 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2802.04 Current children cumulated vsize (KiB) 1880704 [startup+762.301 s] /proc/loadavg: 4.16 5.82 6.96 5/314 27287 /proc/meminfo: memFree=14137880/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=1828604 CPUtime=3041.43 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 1818615 0 0 0 303660 483 0 0 25 0 4 0 733643436 1872490496 304295 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 457151 304295 378 95 0 452133 0 [pid=27241/tid=27242] ppid=27239 vsize=1828604 CPUtime=762.2 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 418438 0 0 0 76102 118 0 0 25 0 4 0 733643437 1872490496 304295 33554432000 4194304 4580107 140734096430128 18446744073709551615 4413351 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=1828604 CPUtime=762.28 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 430282 0 0 0 76115 113 0 0 25 0 4 0 733643437 1872490496 304295 33554432000 4194304 4580107 140734096430128 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=1828604 CPUtime=756.69 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 545165 0 0 0 75527 142 0 0 25 0 4 0 733643437 1872490496 304295 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3041.43 Current children cumulated vsize (KiB) 1828604 [startup+822.301 s] /proc/loadavg: 4.11 5.50 6.78 5/314 27288 /proc/meminfo: memFree=14167716/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=1651124 CPUtime=3280.83 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 1929738 0 0 0 327566 517 0 0 25 0 4 0 733643436 1690750976 297430 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 412781 297430 378 95 0 407763 0 [pid=27241/tid=27242] ppid=27239 vsize=1651124 CPUtime=822.2 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 440002 0 0 0 82096 124 0 0 25 0 4 0 733643437 1690750976 297430 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=1651124 CPUtime=822.28 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 464300 0 0 0 82104 124 0 0 25 0 4 0 733643437 1690750976 297430 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=1651124 CPUtime=816.08 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 564004 0 0 0 81462 146 0 0 25 0 4 0 733643437 1690750976 297430 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3280.83 Current children cumulated vsize (KiB) 1651124 [startup+882.3 s] /proc/loadavg: 4.09 5.24 6.61 5/314 27290 /proc/meminfo: memFree=14166568/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=1666044 CPUtime=3520.21 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 2041026 0 0 0 351472 549 0 0 25 0 4 0 733643436 1706029056 296911 33554432000 4194304 4580107 140734096430128 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 416511 296911 378 95 0 411493 0 [pid=27241/tid=27242] ppid=27239 vsize=1666044 CPUtime=882.2 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 471205 0 0 0 88087 133 0 0 25 0 4 0 733643437 1706029056 296911 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=1666044 CPUtime=882.28 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 488255 0 0 0 88098 130 0 0 25 0 4 0 733643437 1706029056 296911 33554432000 4194304 4580107 140734096430128 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=1666044 CPUtime=875.48 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 596387 0 0 0 87392 156 0 0 25 0 4 0 733643437 1706029056 296911 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3520.21 Current children cumulated vsize (KiB) 1666044 [startup+942.3 s] /proc/loadavg: 4.07 5.01 6.43 5/314 27291 /proc/meminfo: memFree=14170280/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=1809588 CPUtime=3759.64 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 2169287 0 0 0 375378 586 0 0 25 0 4 0 733643436 1853018112 295809 33554432000 4194304 4580107 140734096430128 18446744073709551615 4321030 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 452397 295809 378 95 0 447379 0 [pid=27241/tid=27242] ppid=27239 vsize=1809588 CPUtime=942.2 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 501938 0 0 0 94078 142 0 0 25 0 4 0 733643437 1853018112 295813 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=1809588 CPUtime=942.29 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 514102 0 0 0 94092 137 0 0 25 0 4 0 733643437 1853018112 295813 33554432000 4194304 4580107 140734096430128 18446744073709551615 4322911 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=1809588 CPUtime=934.88 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 634486 0 0 0 93321 167 0 0 25 0 4 0 733643437 1853018112 295813 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3759.64 Current children cumulated vsize (KiB) 1809588 [startup+1002.3 s] /proc/loadavg: 4.03 4.84 6.29 5/314 27293 /proc/meminfo: memFree=14101560/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=2029120 CPUtime=3999.02 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 2291903 0 0 0 399279 623 0 0 25 0 4 0 733643436 2077818880 313170 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 507280 313170 378 95 0 502262 0 [pid=27241/tid=27242] ppid=27239 vsize=2029120 CPUtime=1002.2 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 540423 0 0 0 100069 151 0 0 25 0 4 0 733643437 2077818880 313170 33554432000 4194304 4580107 140734096430128 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=2029120 CPUtime=1002.28 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 544870 0 0 0 100081 147 0 0 25 0 4 0 733643437 2077818880 313170 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=2029120 CPUtime=994.28 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 659556 0 0 0 99252 176 0 0 25 0 4 0 733643437 2077818880 313171 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3999.02 Current children cumulated vsize (KiB) 2029120 [startup+1062.31 s] /proc/loadavg: 4.01 4.67 6.13 5/314 27295 /proc/meminfo: memFree=14107848/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=1892344 CPUtime=4238.47 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 2381859 0 0 0 423190 657 0 0 25 0 4 0 733643436 1937760256 311486 33554432000 4194304 4580107 140734096430128 18446744073709551615 4296107 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 473086 311486 378 95 0 468068 0 [pid=27241/tid=27242] ppid=27239 vsize=1892344 CPUtime=1062.21 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 555940 0 0 0 106065 156 0 0 25 0 4 0 733643437 1937760256 311486 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=1892344 CPUtime=1062.29 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 575405 0 0 0 106070 159 0 0 25 0 4 0 733643437 1937760256 311486 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=1892344 CPUtime=1053.68 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 673637 0 0 0 105187 181 0 0 25 0 4 0 733643437 1937760256 311486 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4238.47 Current children cumulated vsize (KiB) 1892344 [startup+1122.3 s] /proc/loadavg: 4.00 4.56 6.01 5/314 27296 /proc/meminfo: memFree=14107304/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=1905660 CPUtime=4477.82 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 2476635 0 0 0 447093 689 0 0 23 0 4 0 733643436 1951395840 312312 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 476415 312312 378 95 0 471397 0 [pid=27241/tid=27242] ppid=27239 vsize=1905660 CPUtime=1122.2 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 581293 0 0 0 112055 165 0 0 25 0 4 0 733643437 1951395840 312312 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=1905660 CPUtime=1122.29 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 591555 0 0 0 112065 164 0 0 25 0 4 0 733643437 1951395840 312312 33554432000 4194304 4580107 140734096430128 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=1905660 CPUtime=1113.08 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 702064 0 0 0 111117 191 0 0 25 0 4 0 733643437 1951395840 312312 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4477.82 Current children cumulated vsize (KiB) 1905660 [startup+1182.3 s] /proc/loadavg: 4.04 4.46 5.87 5/314 27298 /proc/meminfo: memFree=14119552/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=1920932 CPUtime=4717.21 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 2600936 0 0 0 470993 728 0 0 25 0 4 0 733643436 1967034368 308566 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 480233 308566 378 95 0 475215 0 [pid=27241/tid=27242] ppid=27239 vsize=1920932 CPUtime=1182.2 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 613510 0 0 0 118045 175 0 0 25 0 4 0 733643437 1967034368 308566 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=1920932 CPUtime=1182.28 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 623052 0 0 0 118054 174 0 0 25 0 4 0 733643437 1967034368 308566 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=1920932 CPUtime=1172.48 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 737368 0 0 0 117047 201 0 0 25 0 4 0 733643437 1967034368 308566 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4717.21 Current children cumulated vsize (KiB) 1920932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.11 s] /proc/loadavg: 4.02 4.43 5.83 5/314 27298 /proc/meminfo: memFree=14067588/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=2072600 CPUtime=4800.26 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 2631550 0 0 0 479288 738 0 0 25 0 4 0 733643436 2122342400 321374 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 518150 321374 378 95 0 513132 0 [pid=27241/tid=27242] ppid=27239 vsize=2072600 CPUtime=1203.02 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 619905 0 0 0 120125 177 0 0 25 0 4 0 733643437 2122342400 321376 33554432000 4194304 4580107 140734096430128 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=2072600 CPUtime=1203.1 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 628674 0 0 0 120133 177 0 0 25 0 4 0 733643437 2122342400 321376 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=2072600 CPUtime=1193.07 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 742673 0 0 0 119105 202 0 0 25 0 4 0 733643437 2122342400 321376 33554432000 4194304 4580107 140734096430128 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.26 Current children cumulated vsize (KiB) 2072600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.11 s] /proc/loadavg: 4.02 4.43 5.83 5/314 27298 /proc/meminfo: memFree=14067588/32950928 swapFree=67085488/67111528 [pid=27241] ppid=27239 vsize=2072600 CPUtime=4800.26 cores=1,3,5,7 /proc/27241/stat : 27241 (strangenight2-m) R 27239 27241 26655 0 -1 4202496 2631550 0 0 0 479288 738 0 0 25 0 4 0 733643436 2122342400 321374 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/27241/statm: 518150 321374 378 95 0 513132 0 [pid=27241/tid=27242] ppid=27239 vsize=2072600 CPUtime=1203.02 cores=1,3,5,7 /proc/27241/task/27242/stat : 27242 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 619905 0 0 0 120125 177 0 0 25 0 4 0 733643437 2122342400 321376 33554432000 4194304 4580107 140734096430128 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27241/tid=27243] ppid=27239 vsize=2072600 CPUtime=1203.1 cores=1,3,5,7 /proc/27241/task/27243/stat : 27243 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 628674 0 0 0 120133 177 0 0 25 0 4 0 733643437 2122342400 321376 33554432000 4194304 4580107 140734096430128 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27241/tid=27244] ppid=27239 vsize=2072600 CPUtime=1193.07 cores=1,3,5,7 /proc/27241/task/27244/stat : 27244 (strangenight2-m) R 27239 27241 26655 0 -1 4202560 742673 0 0 0 119105 202 0 0 25 0 4 0 733643437 2122342400 321376 33554432000 4194304 4580107 140734096430128 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.26 Current children cumulated vsize (KiB) 2072600 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.18 CPU time (s): 4800.36 CPU user time (s): 4792.92 CPU system time (s): 7.43887 CPU usage (%): 398.972 Max. virtual memory (cumulated for all children) (KiB): 2072600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4792.92 system time used= 7.43887 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2631557 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= 3894 involuntary context switches= 33168 runsolver used 3.04654 second user time and 9.01663 second system time The end
Begin job on node114 at 2011-05-15 06:35:28 IDJOB=3366702 IDBENCH=88221 IDSOLVER=1844 FILE ID=node114/3366702-1305434127 RUNJOBID= node114-1305433428-27168 PBS_JOBID= 13324611 Free space on /tmp= 72900 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366702-1305434127/watcher-3366702-1305434127 -o /tmp/evaluation-result-3366702-1305434127/solver-3366702-1305434127 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366702-1305434127.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 683c9f75b69575e6451b8563d12f176b RANDOM SEED=1271686977 node114.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.848 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.848 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.848 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.73 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.848 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.848 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.848 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.74 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.848 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: 32950928 kB MemFree: 11151720 kB Buffers: 288160 kB Cached: 6646988 kB SwapCached: 96 kB Active: 16186988 kB Inactive: 5197200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 11151720 kB SwapTotal: 67111528 kB SwapFree: 67085488 kB Dirty: 9644 kB Writeback: 44 kB AnonPages: 14448308 kB Mapped: 27300 kB Slab: 305856 kB PageTables: 46132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 57345120 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= 72992 MiB End job on node114 at 2011-05-15 06:55:33