| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.47 | 1203.46 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf |
| MD5SUM | 811f95ba5a9b338808c76dfc6ace0a83 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 12.1901 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4999 |
| Number of clauses | 21000 |
| Sum of the clauses size | 63000 |
| 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 | 21000 |
| 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.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368582-1305397957.cnf' 0.00/0.01 c -- header says num vars: 4999 0.00/0.01 c -- header says num clauses: 21000 0.00/0.03 c -- clauses added: 0 learnts, 21000 normals, 0 xors 0.00/0.03 c -- vars added 4999 0.00/0.03 c Parsing time: 0.04 s 0.00/0.03 c N st 0 0 4999 21000 0 0 63000 0 no data no data -- 0.00/0.03 c asymm cl-useful: 0/21000/21000 lits-rem:0 time: 0.05 0.00/0.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.02 0.00/0.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4999 time: 0.00 s 0.00/0.05 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3.56/0.90 c lits-rem: 0 cl-subs: 0 v-elim: 166 v-fix: 0 time: 0.13 s 3.56/0.90 c Finding binary XORs T: 0.00 s found: 0 3.56/0.90 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 3.56/0.90 c calculated reachability. Time: 0.00 3.56/0.90 c Calc default polars - time: 0.00 s pos: 2213 undec: 585 neg: 2201 3.56/0.90 c ========================================================================================= 3.56/0.90 c types(t): F = full restart, N = normal restart 3.56/0.90 c types(t): S = simplification begin/end, E = solution found 3.56/0.90 c restart types(rt): st = static, dy = dynamic 3.56/0.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.56/0.90 c B st 0 0 4833 20799 0 0 63293 0 no data no data -- 3.56/0.90 c N dy 15 4195 4833 20799 0 4194 63293 444981 68.02 72.62 -- 3.56/0.90 c N dy 38 8209 4833 20799 0 5713 63293 419312 67.79 71.44 -- 5.16/1.30 c N dy 60 12276 4833 20799 0 5532 63293 252467 67.74 71.38 -- 6.37/1.66 c N dy 81 16412 4833 20799 0 9668 63293 681229 67.37 71.63 -- 7.95/2.08 c N dy 106 20485 4833 20799 0 8113 63293 401893 67.52 71.22 -- 9.95/2.51 c N dy 128 24534 4833 20799 0 12162 63293 829103 67.57 72.90 -- 9.95/2.56 c F st 131 25000 4833 20799 0 12628 63293 878903 67.63 69.56 -- 12.34/3.11 c N dy 137 30001 4833 20799 0 10822 63293 621885 67.63 no data -- 12.34/3.11 c S st 137 30001 4833 20799 0 10822 63293 621885 67.63 no data -- 12.34/3.16 c S st 137 30502 4833 20799 0 11323 63293 660163 67.63 no data -- 12.34/3.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.34/3.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.34/3.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 12.74/3.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.74/3.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.74/3.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 12.74/3.23 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 22.31/5.69 c lits-rem: 19 cl-subs: 2 v-elim: 0 v-fix: 0 time: 9.81 s 22.71/5.72 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.10 22.71/5.72 c calculated reachability. Time: 0.00 22.71/5.72 c N dy 137 30502 4833 20799 0 11321 63293 659564 67.63 no data -- 24.32/6.20 c N dy 163 34544 4833 20799 0 15363 63293 1088361 67.88 75.36 -- 26.30/6.65 c N dy 185 38707 4833 20799 0 11617 63293 546104 67.69 71.59 -- 28.30/7.11 c N dy 208 42713 4833 20799 0 15623 63293 969147 67.72 76.57 -- 29.54/7.46 c S st 224 45753 4833 20799 0 9708 63293 237554 67.50 no data -- 29.89/7.51 c S st 224 46255 4833 20799 0 10210 63293 274917 67.50 no data -- 29.89/7.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 29.89/7.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.89/7.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 29.89/7.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.89/7.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.89/7.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 29.89/7.54 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 32.29/8.15 c lits-rem: 30 cl-subs: 0 v-elim: 0 v-fix: 0 time: 2.43 s 32.29/8.15 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 32.29/8.16 c vivif2 -- cl tried 10210 cl shrink 0 lits rem 0 time: 0.02 32.29/8.18 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.08 32.29/8.18 c calculated reachability. Time: 0.00 32.29/8.18 c N dy 224 46255 4833 20799 0 10210 63293 274887 67.50 no data -- 34.28/8.63 c N dy 254 50295 4833 20799 0 14250 63293 704066 67.70 71.50 -- 36.28/9.12 c N dy 279 54392 4833 20799 0 18345 63293 1127764 67.64 71.34 -- 37.89/9.59 c N dy 297 58469 4833 20799 0 12447 63293 423372 67.48 77.71 -- 39.87/10.06 c N dy 324 62498 4833 20799 0 16476 63293 837529 67.49 74.32 -- 42.27/10.61 c N dy 349 66872 4833 20799 0 20850 63293 1294160 67.41 71.06 -- 43.46/10.94 c S st 368 69382 4833 20799 0 12371 63293 324596 67.53 70.87 -- 43.46/10.99 c S st 368 69887 4833 20799 0 12876 63293 362761 67.53 no data -- 43.46/11.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 43.46/11.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 43.86/11.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 43.86/11.03 c bin-w-bin subsume rem 0 bins time: 0.00 s 43.86/11.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 43.86/11.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 43.86/11.03 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 48.25/12.17 c lits-rem: 19 cl-subs: 1 v-elim: 0 v-fix: 0 time: 4.55 s 48.25/12.17 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 48.25/12.18 c vivif2 -- cl tried 12875 cl shrink 0 lits rem 0 time: 0.02 48.65/12.20 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.10 48.65/12.21 c calculated reachability. Time: 0.00 48.65/12.21 c N dy 368 69887 4833 20799 0 12875 63293 362506 67.53 no data -- 50.64/12.74 c N dy 395 74484 4833 20799 0 17472 63293 842329 67.53 71.67 -- 53.03/13.33 c N dy 415 79240 4833 20799 0 22228 63293 1344977 67.31 73.40 -- 55.44/13.96 c N dy 448 84325 4833 20799 0 15320 63293 519994 67.36 72.36 -- 57.02/14.35 c F st 464 87500 4833 20799 0 18493 63293 855293 67.29 64.65 -- 58.62/14.79 c N st 469 90798 4833 20799 0 21791 63293 1245546 67.29 no data -- 61.81/15.57 c N dy 496 96691 4833 20799 0 14687 63293 356970 67.24 72.30 -- 64.99/16.34 c N dy 536 102911 4833 20799 0 20907 63293 1010183 67.29 71.22 -- 65.80/16.59 c S st 549 104830 4833 20799 0 22825 63293 1209091 67.29 no data -- 66.20/16.66 c S st 549 105334 4833 20799 0 23329 63293 1253067 67.29 no data -- 66.20/16.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 66.20/16.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.20/16.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.09 66.60/16.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 66.60/16.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 66.60/16.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 66.60/16.76 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 75.77/19.04 c lits-rem: 55 cl-subs: 4 v-elim: 0 v-fix: 0 time: 9.09 s 75.77/19.04 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 75.77/19.05 c vivif2 -- cl tried 23325 cl shrink 0 lits rem 0 time: 0.06 75.77/19.09 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.17 76.17/19.10 c calculated reachability. Time: 0.00 76.17/19.10 c N dy 549 105334 4833 20799 0 23325 63293 1252069 67.29 no data -- 79.75/20.02 c N dy 593 112079 4833 20799 0 16074 63293 404791 67.30 77.93 -- 83.35/20.92 c N dy 630 119299 4833 20799 0 23292 63293 1159846 67.20 71.35 -- 87.34/21.95 c N dy 673 126933 4833 20799 0 15930 63293 293593 67.11 71.44 -- 91.32/22.97 c N dy 718 135041 4833 20799 0 24036 63293 1142760 67.06 70.64 -- 96.11/24.17 c N dy 770 143666 4833 20799 0 16661 63293 272166 67.01 73.91 -- 100.90/25.34 c N dy 817 152936 4833 20799 0 25931 63293 1236113 66.94 70.74 -- 103.71/26.07 c S st 852 158003 4833 20799 0 30997 63293 1775740 67.01 no data -- 104.14/26.16 c S st 852 158506 4833 20799 0 31500 63293 1817875 67.01 no data -- 104.14/26.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.14/26.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.14/26.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 104.49/26.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 104.49/26.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 104.49/26.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 104.49/26.27 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 118.46/29.77 c lits-rem: 25 cl-subs: 5 v-elim: 0 v-fix: 0 time: 13.93 s 118.46/29.77 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 118.46/29.79 c vivif2 -- cl tried 31495 cl shrink 0 lits rem 0 time: 0.08 118.85/29.84 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.21 118.85/29.84 c calculated reachability. Time: 0.00 118.85/29.84 c N dy 852 158506 4833 20799 0 31495 63293 1816497 67.01 no data -- 124.44/31.27 c N dy 914 168707 4833 20799 0 24696 63293 1016885 67.02 70.55 -- 131.21/32.94 c N dy 980 179774 4833 20799 0 35760 63293 2168280 67.00 72.44 -- 137.60/34.50 c N dy 1054 191320 4833 20799 0 29310 63293 1392236 67.00 71.62 -- 144.77/36.31 c N dy 1132 203568 4833 20799 0 22562 63293 591879 67.09 72.84 -- 152.40/38.22 c N dy 1216 216799 4833 20799 0 35792 63293 1987012 67.15 71.12 -- 160.34/40.27 c N dy 1303 230871 4833 20799 0 29861 63293 1255329 67.22 71.06 -- 164.73/41.32 c S st 1351 237760 4833 20799 0 36750 63293 1988157 67.28 no data -- 165.13/41.41 c S st 1351 238262 4833 20799 0 37252 63293 2029790 67.28 no data -- 165.13/41.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 165.13/41.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 165.13/41.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.12 165.56/41.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 165.56/41.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 165.56/41.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 165.56/41.53 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 181.47/45.57 c lits-rem: 15 cl-subs: 8 v-elim: 0 v-fix: 0 time: 16.09 s 181.47/45.57 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 181.47/45.59 c vivif2 -- cl tried 37244 cl shrink 0 lits rem 0 time: 0.10 181.87/45.66 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.25 181.87/45.66 c calculated reachability. Time: 0.00 181.87/45.66 c N dy 1351 238262 4833 20799 0 37244 63293 2028121 67.28 no data -- 190.66/47.89 c N dy 1447 253532 4833 20799 0 31516 63293 1346234 67.33 77.43 -- 201.01/50.45 c N dy 1554 269858 4833 20799 0 25847 63293 641870 67.39 71.50 -- 211.79/53.15 c N dy 1670 287222 4833 20799 0 43207 63293 2487706 67.45 71.04 -- 223.36/56.01 c N dy 1782 305978 4833 20799 0 38963 63293 1930279 67.49 71.91 -- 223.36/56.06 c F st 1785 306250 4833 20799 0 39235 63293 1960888 67.50 no data -- 235.34/59.11 c N dy 1873 325572 4833 20799 0 34553 63293 1356898 67.50 75.43 -- 248.93/62.45 c N dy 2000 345793 4833 20799 0 29775 63293 756880 67.51 71.65 -- 256.47/64.30 c S st 2082 357395 4833 20799 0 41377 63293 1995055 67.59 60.63 -- 256.87/64.40 c S st 2082 357901 4833 20799 0 41883 63293 2034542 67.59 no data -- 256.87/64.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 256.87/64.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 256.87/64.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.13 257.28/64.52 c bin-w-bin subsume rem 0 bins time: 0.00 s 257.28/64.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 257.28/64.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 257.28/64.52 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 274.43/68.87 c lits-rem: 8 cl-subs: 7 v-elim: 0 v-fix: 0 time: 17.33 s 274.43/68.87 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 274.43/68.90 c vivif2 -- cl tried 41876 cl shrink 0 lits rem 0 time: 0.10 274.83/68.97 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.28 274.83/68.97 c calculated reachability. Time: 0.00 274.83/68.97 c N dy 2082 357901 4833 20799 0 41876 63293 2032821 67.59 no data -- 288.78/72.42 c N dy 2205 377992 4833 20799 0 35966 63293 1312967 67.57 72.18 -- 302.74/75.95 c N dy 2332 398018 4833 20799 0 28996 63293 476852 67.62 71.61 -- 315.90/79.26 c N dy 2453 418115 4833 20799 0 49091 63293 2597102 67.63 72.13 -- 329.47/82.67 c N dy 2564 438317 4833 20799 0 41291 63293 1698823 67.62 72.17 -- 344.24/86.36 c N dy 2691 458523 4833 20799 0 32498 63293 647729 67.66 73.40 -- 358.21/89.85 c N dy 2802 479016 4833 20799 0 52991 63293 2790827 67.59 71.65 -- 372.15/93.38 c N dy 2936 499198 4833 20799 0 43174 63293 1667248 67.64 71.40 -- 387.71/97.22 c N dy 3053 519276 4833 20799 0 32255 63293 420353 67.67 71.41 -- 399.28/100.13 c S st 3155 536853 4833 20799 0 49830 63293 2287823 67.69 57.74 -- 399.68/100.24 c S st 3155 537358 4833 20799 0 50335 63293 2328459 67.69 no data -- 399.68/100.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 399.68/100.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 399.68/100.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.15 400.08/100.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 400.08/100.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 400.08/100.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 400.08/100.38 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 422.42/105.93 c lits-rem: 11 cl-subs: 9 v-elim: 0 v-fix: 0 time: 22.10 s 422.42/105.93 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 422.42/105.96 c vivif2 -- cl tried 50326 cl shrink 0 lits rem 0 time: 0.11 422.82/106.04 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.33 422.82/106.04 c calculated reachability. Time: 0.00 422.82/106.04 c N dy 3155 537358 4833 20799 0 50326 63293 2327254 67.69 no data -- 437.96/109.85 c N dy 3283 557469 4833 20799 0 38438 63293 982935 67.73 71.81 -- 452.74/113.55 c N dy 3405 577543 4833 20799 0 58507 63293 3093221 67.71 71.81 -- 467.50/117.27 c N dy 3533 597612 4833 20799 0 45574 63293 1625830 67.74 88.50 -- 483.85/121.31 c N dy 3658 617713 4833 20799 0 65674 63293 3753608 67.79 71.92 -- 498.62/125.03 c N dy 3790 637745 4833 20799 0 51704 63293 2210248 67.84 82.75 -- 515.76/129.36 c N dy 3913 657790 4833 20799 0 36755 63293 494941 67.84 79.03 -- 530.92/133.14 c N dy 4035 677886 4833 20799 0 56846 63293 2624271 67.84 90.81 -- 548.47/137.56 c N dy 4160 697962 4833 20799 0 40926 63293 845966 67.86 78.91 -- 564.44/141.54 c N dy 4276 718032 4833 20799 0 60994 63293 2955087 67.85 73.05 -- 581.99/145.93 c N dy 4413 738043 4833 20799 0 44007 63293 1068993 67.90 72.30 -- 598.34/150.06 c N dy 4530 758079 4833 20799 0 64040 63293 3197527 67.89 75.27 -- 616.29/154.53 c N dy 4659 778476 4833 20799 0 46442 63293 1216309 67.92 72.26 -- 633.04/158.79 c N dy 4787 798528 4833 20799 0 66493 63293 3338833 67.94 77.57 -- 640.62/160.62 c S st 4832 806037 4833 20799 0 74002 63293 4121681 67.93 no data -- 641.02/160.78 c S st 4832 806539 4833 20799 0 74504 63293 4159857 67.93 no data -- 641.02/160.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 641.02/160.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 641.42/160.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.22 642.21/161.03 c bin-w-bin subsume rem 0 bins time: 0.00 s 642.21/161.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 642.21/161.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.01 s 642.21/161.03 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 891.13/223.48 c lits-rem: 1 cl-subs: 12 v-elim: 0 v-fix: 0 time: 248.53 s 891.13/223.48 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 891.53/223.53 c vivif2 -- cl tried 74492 cl shrink 0 lits rem 0 time: 0.20 891.93/223.66 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.51 891.93/223.66 c calculated reachability. Time: 0.00 891.93/223.66 c N dy 4832 806539 4833 20799 0 74492 63293 4157850 67.93 no data -- 907.89/227.60 c N dy 4947 826543 4833 20799 0 55500 63293 2093239 67.94 81.38 -- 926.24/232.21 c N dy 5070 846817 4833 20799 0 75773 63293 4259753 67.94 72.95 -- 941.80/236.19 c N dy 5195 866905 4833 20799 0 55855 63293 2027360 67.95 75.51 -- 960.14/240.70 c N dy 5312 886952 4833 20799 0 75901 63293 4166487 67.95 75.31 -- 976.91/244.97 c N dy 5441 907081 4833 20799 0 55042 63293 1846616 67.98 71.56 -- 996.04/249.74 c N dy 5578 927083 4833 20799 0 75042 63293 3987580 68.03 72.07 -- 1014.40/254.32 c N dy 5703 947210 4833 20799 0 53165 63293 1561817 68.05 74.04 -- 1032.74/258.99 c N dy 5823 967447 4833 20799 0 73401 63293 3692887 68.05 72.29 -- 1052.28/263.84 c N dy 5942 987475 4833 20799 0 50431 63293 1136354 68.06 72.83 -- 1070.23/268.33 c N dy 6070 1007548 4833 20799 0 70503 63293 3283169 68.07 72.30 -- 1090.99/273.60 c N dy 6193 1027576 4833 20799 0 46531 63293 631375 68.07 72.10 -- 1108.14/277.91 c N dy 6321 1047612 4833 20799 0 66564 63293 2768166 68.10 72.05 -- 1129.68/283.20 c N dy 6439 1067667 4833 20799 0 86619 63293 4918820 68.11 73.69 -- 1134.47/284.40 c F st 6465 1071875 4833 20799 0 45830 63293 455456 68.10 no data -- 1146.83/287.58 c N dy 6529 1087685 4833 20799 0 61637 63293 2228233 68.11 71.73 -- 1167.17/292.61 c N dy 6649 1107709 4833 20799 0 81661 63293 4341293 68.10 76.89 -- 1187.12/297.60 c N dy 6772 1127762 4833 20799 0 55719 63293 1393727 68.11 72.15 -- 1205.86/302.35 c N dy 6901 1147822 4833 20799 0 75773 63293 3526877 68.12 72.72 -- 1228.60/308.01 c N dy 7027 1167826 4833 20799 0 48786 63293 576478 68.13 72.16 -- 1246.15/312.45 c N dy 7152 1188172 4833 20799 0 69131 63293 2776975 68.15 73.09 -- 1268.50/318.03 c N dy 7277 1208752 4833 20799 0 89711 63293 4961877 68.15 72.00 -- 1269.70/318.36 c S st 7285 1209808 4833 20799 0 90767 63293 5069539 68.15 no data -- 1270.50/318.55 c S st 7285 1210309 4833 20799 0 91268 63293 5109095 68.15 no data -- 1270.50/318.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1270.50/318.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1270.91/318.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.26 1271.69/318.85 c bin-w-bin subsume rem 0 bins time: 0.00 s 1271.69/318.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1271.69/318.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.01 s 1271.69/318.85 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 1687.76/423.17 c lits-rem: 6 cl-subs: 15 v-elim: 0 v-fix: 0 time: 415.09 s 1687.76/423.17 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 1688.19/423.23 c vivif2 -- cl tried 91253 cl shrink 0 lits rem 0 time: 0.25 1688.94/423.40 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.66 1688.94/423.40 c calculated reachability. Time: 0.00 1688.94/423.40 c N dy 7285 1210309 4833 20799 0 91253 63293 5106087 68.15 no data -- 1707.30/428.09 c N dy 7412 1230387 4833 20799 0 63331 63293 2013838 68.17 71.93 -- 1727.26/433.08 c N dy 7534 1250416 4833 20799 0 83359 63293 4131531 68.17 79.27 -- 1748.79/438.41 c N dy 7649 1270734 4833 20799 0 54675 63293 999987 68.17 72.98 -- 1767.18/443.07 c N dy 7775 1290746 4833 20799 0 74684 63293 3151960 68.19 72.15 -- 1789.87/448.78 c N dy 7898 1310803 4833 20799 0 94739 63293 5295873 68.20 72.35 -- 1809.81/453.72 c N dy 8024 1330901 4833 20799 0 64844 63293 2002403 68.22 73.52 -- 1830.96/459.01 c N dy 8142 1351251 4833 20799 0 85192 63293 4160414 68.23 72.43 -- 1854.09/464.89 c N dy 8260 1371302 4833 20799 0 54240 63293 741164 68.22 77.32 -- 1872.84/469.56 c N dy 8384 1391423 4833 20799 0 74357 63293 2872313 68.23 73.78 -- 1895.57/475.26 c N dy 8503 1411458 4833 20799 0 94390 63293 4988270 68.23 81.76 -- 1917.51/480.77 c N dy 8630 1431556 4833 20799 0 62495 63293 1549938 68.23 71.84 -- 1937.87/485.83 c N dy 8758 1451662 4833 20799 0 82600 63293 3684261 68.24 72.77 -- 1962.19/491.97 c N dy 8880 1471701 4833 20799 0 102636 63293 5812212 68.25 72.98 -- 1981.35/496.78 c N dy 8985 1491758 4833 20799 0 69697 63293 2179950 68.23 72.95 -- 2003.29/502.29 c N dy 9099 1512267 4833 20799 0 90204 63293 4371070 68.23 72.07 -- 2028.81/508.60 c N dy 9229 1532286 4833 20799 0 56229 63293 659607 68.25 76.94 -- 2047.17/513.31 c N dy 9346 1552347 4833 20799 0 76290 63293 2790295 68.25 75.25 -- 2070.69/519.17 c N dy 9468 1572476 4833 20799 0 96417 63293 4952861 68.27 72.10 -- 2095.04/525.20 c N dy 9591 1592597 4833 20799 0 61541 63293 1111160 68.27 72.74 -- 2114.97/530.22 c N dy 9721 1612697 4833 20799 0 81639 63293 3268008 68.29 72.29 -- 2138.92/536.22 c N dy 9839 1632720 4833 20799 0 101660 63293 5398387 68.29 71.96 -- 2161.66/541.96 c N dy 9963 1652763 4833 20799 0 65699 63293 1472458 68.30 87.08 -- 2182.79/547.21 c N dy 10091 1672766 4833 20799 0 85701 63293 3606690 68.32 72.45 -- 2207.52/553.45 c N dy 10219 1692784 4833 20799 0 105716 63293 5743584 68.33 72.18 -- 2227.91/558.54 c S st 10336 1710310 4833 20799 0 66248 63293 1440721 68.35 61.67 -- 2228.26/558.68 c S st 10336 1710813 4833 20799 0 66751 63293 1484332 68.35 no data -- 2228.26/558.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2228.26/558.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2228.66/558.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.20 2229.06/558.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 2229.06/558.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2229.06/558.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 2229.06/558.81 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 s 2244.63/562.74 c lits-rem: 39 cl-subs: 0 v-elim: 0 v-fix: 0 time: 15.66 s 2244.63/562.74 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 2244.63/562.76 c vivif2 -- cl tried 66751 cl shrink 0 lits rem 0 time: 0.08 2245.04/562.87 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.44 2245.04/562.87 c calculated reachability. Time: 0.00 2245.04/562.87 c N dy 10336 1710813 4833 20799 0 66751 63293 1484293 68.35 no data -- 2265.77/568.06 c N dy 10456 1730833 4833 20799 0 86769 63293 3612415 68.36 73.45 -- 2291.30/574.42 c N dy 10593 1750903 4833 20799 0 106838 63293 5764001 68.37 72.81 -- 2314.04/580.15 c N dy 10708 1770926 4833 20799 0 68860 63293 1608039 68.37 73.80 -- 2335.58/585.57 c N dy 10842 1791001 4833 20799 0 88934 63293 3751329 68.39 73.61 -- 2362.30/592.27 c N dy 10971 1811022 4833 20799 0 108953 63293 5905925 68.40 72.74 -- 2386.63/598.31 c N dy 11087 1831097 4833 20799 0 70032 63293 1628909 68.40 74.48 -- 2408.58/603.87 c N dy 11214 1851295 4833 20799 0 90230 63293 3758588 68.40 72.11 -- 2433.73/610.17 c N dy 11329 1871416 4833 20799 0 110349 63293 5922631 68.41 72.23 -- 2456.84/615.99 c N dy 11445 1891448 4833 20799 0 70385 63293 1564059 68.41 72.73 -- 2478.04/621.29 c N dy 11571 1911487 4833 20799 0 90421 63293 3718349 68.42 73.23 -- 2502.72/627.43 c N dy 11693 1931560 4833 20799 0 110490 63293 5873854 68.43 72.27 -- 2526.30/633.38 c N dy 11811 1951601 4833 20799 0 69533 63293 1381825 68.43 72.60 -- 2547.00/638.55 c N dy 11941 1971681 4833 20799 0 89612 63293 3541930 68.44 72.27 -- 2571.72/644.72 c N dy 12062 1991743 4833 20799 0 109674 63293 5685020 68.44 72.91 -- 2596.51/650.99 c N dy 12172 2011794 4833 20799 0 67738 63293 1101409 68.44 72.25 -- 2616.81/656.07 c N dy 12303 2031886 4833 20799 0 87823 63293 3254273 68.46 82.10 -- 2641.14/662.13 c N dy 12431 2051961 4833 20799 0 107896 63293 5400117 68.46 72.16 -- 2668.66/669.04 c N dy 12556 2072330 4833 20799 0 65270 63293 720101 68.47 72.83 -- 2688.22/673.96 c N dy 12676 2092417 4833 20799 0 85352 63293 2870096 68.47 72.12 -- 2711.74/679.86 c N dy 12798 2112552 4833 20799 0 105485 63293 5017475 68.48 73.10 -- 2739.67/686.80 c N dy 12918 2132745 4833 20799 0 125672 63293 7183448 68.49 72.45 -- 2760.01/691.97 c N dy 13047 2152791 4833 20799 0 81722 63293 2401774 68.50 72.21 -- 2783.15/697.76 c N dy 13180 2172876 4833 20799 0 101806 63293 4559876 68.51 77.30 -- 2810.28/704.53 c N dy 13317 2192955 4833 20799 0 121884 63293 6723319 68.52 72.85 -- 2831.42/709.88 c S st 13431 2210814 4833 20799 0 74747 63293 1561566 68.53 67.21 -- 2832.22/710.02 c S st 13431 2211320 4833 20799 0 75253 63293 1602703 68.53 no data -- 2832.22/710.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2832.22/710.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2832.22/710.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.21 2832.62/710.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 2832.62/710.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2832.62/710.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.01 s 2832.62/710.15 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2850.17/714.51 c lits-rem: 35 cl-subs: 4 v-elim: 0 v-fix: 0 time: 17.35 s 2850.17/714.51 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.01 2850.17/714.53 c vivif2 -- cl tried 75249 cl shrink 0 lits rem 0 time: 0.08 2850.58/714.65 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.46 2850.58/714.66 c calculated reachability. Time: 0.00 2850.58/714.66 c N dy 13431 2211320 4833 20799 0 75249 63293 1601947 68.53 no data -- 2872.11/720.03 c N dy 13554 2231396 4833 20799 0 95322 63293 3726478 68.53 72.21 -- 2897.24/726.32 c N dy 13677 2251420 4833 20799 0 115344 63293 5885740 68.54 74.20 -- 2924.77/733.22 c N dy 13805 2271447 4833 20799 0 69377 63293 870003 68.56 86.94 -- 2945.51/738.41 c N dy 13936 2291516 4833 20799 0 89443 63293 3020611 68.57 72.79 -- 2969.48/744.44 c N dy 14053 2311605 4833 20799 0 109529 63293 5161132 68.57 72.95 -- 2998.16/751.63 c N dy 14180 2331823 4833 20799 0 129744 63293 7322423 68.59 74.80 -- 3020.90/757.39 c N dy 14301 2351835 4833 20799 0 82768 63293 2183727 68.59 72.69 -- 3045.63/763.55 c N dy 14438 2371964 4833 20799 0 102895 63293 4350059 68.60 72.35 -- 3073.96/770.60 c N dy 14559 2392016 4833 20799 0 122947 63293 6473088 68.61 72.69 -- 3102.28/777.73 c N dy 14685 2412522 4833 20799 0 75459 63293 1300848 68.61 74.05 -- 3125.02/783.45 c N dy 14799 2432541 4833 20799 0 95476 63293 3438979 68.61 72.41 -- 3152.94/790.41 c N dy 14917 2452576 4833 20799 0 115508 63293 5555831 68.61 74.79 -- 3185.25/798.51 c N dy 15029 2472799 4833 20799 0 135729 63293 7731794 68.61 74.39 -- 3209.58/804.67 c N dy 15154 2492834 4833 20799 0 86764 63293 2410231 68.61 72.90 -- 3236.31/811.37 c N dy 15282 2512921 4833 20799 0 106848 63293 4551560 68.62 72.29 -- 3267.86/819.24 c N dy 15403 2533014 4833 20799 0 126937 63293 6719125 68.63 72.32 -- 3298.15/826.89 c N dy 15522 2553168 4833 20799 0 77096 63293 1283225 68.63 74.19 -- 3323.26/833.12 c N dy 15652 2573304 4833 20799 0 97231 63293 3456354 68.64 72.76 -- 3351.23/840.18 c N dy 15785 2593376 4833 20799 0 117300 63293 5596103 68.65 76.11 -- 3383.89/848.36 c N dy 15905 2613430 4833 20799 0 137354 63293 7771301 68.66 74.90 -- 3408.62/854.50 c N dy 16039 2633479 4833 20799 0 86409 63293 2191178 68.68 72.39 -- 3432.96/860.64 c N dy 16162 2653606 4833 20799 0 106533 63293 4349867 68.68 74.87 -- 3460.93/867.68 c N dy 16299 2673629 4833 20799 0 126555 63293 6500428 68.69 74.42 -- 3491.65/875.36 c N dy 16423 2693690 4833 20799 0 74625 63293 832538 68.70 80.76 -- 3509.94/879.99 c S st 16532 2711320 4833 20799 0 92254 63293 2731024 68.70 no data -- 3510.75/880.17 c S st 16532 2711823 4833 20799 0 92757 63293 2774785 68.70 no data -- 3510.75/880.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3510.75/880.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3511.15/880.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.25 3511.55/880.35 c bin-w-bin subsume rem 0 bins time: 0.01 s 3511.55/880.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3511.55/880.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.00 s 3511.55/880.36 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3560.21/892.58 c lits-rem: 31 cl-subs: 9 v-elim: 0 v-fix: 0 time: 48.70 s 3560.21/892.58 c vivif2 -- cl tried 20799 cl shrink 0 lits rem 0 time: 0.00 3560.61/892.62 c vivif2 -- cl tried 92748 cl shrink 0 lits rem 0 time: 0.14 3561.01/892.78 c asymm cl-useful: 0/20799/20799 lits-rem:0 time: 0.62 3561.01/892.78 c calculated reachability. Time: 0.00 3561.01/892.78 c N dy 16532 2711823 4833 20799 0 92748 63293 2773329 68.70 no data -- 3586.54/899.12 c N dy 16663 2731866 4833 20799 0 112788 63293 4932297 68.71 73.94 -- 3615.25/906.34 c N dy 16784 2751994 4833 20799 0 132914 63293 7072046 68.72 74.45 -- 3643.58/913.41 c N dy 16915 2772096 4833 20799 0 80018 63293 1294924 68.72 74.53 -- 3665.52/918.93 c N dy 17024 2792119 4833 20799 0 100041 63293 3445360 68.72 72.63 -- 3692.26/925.60 c N dy 17151 2812203 4833 20799 0 120120 63293 5619408 68.73 90.47 -- 3722.96/933.32 c N dy 17280 2832275 4833 20799 0 140189 63293 7761518 68.73 74.40 -- 3748.89/939.86 c N dy 17409 2852817 4833 20799 0 86735 63293 1913065 68.74 72.52 -- 3772.82/945.88 c N dy 17537 2872907 4833 20799 0 106820 63293 4073720 68.75 77.01 -- 3800.35/952.78 c N dy 17652 2893039 4833 20799 0 126951 63293 6215390 68.75 72.75 -- 3832.27/960.73 c N dy 17776 2913071 4833 20799 0 146978 63293 8354486 68.76 85.99 -- 3855.42/966.58 c N dy 17900 2933116 4833 20799 0 92032 63293 2384036 68.76 73.35 -- 3880.14/972.77 c N dy 18025 2953120 4833 20799 0 112034 63293 4543287 68.77 72.96 -- 3909.25/980.09 c N dy 18149 2973198 4833 20799 0 132110 63293 6696860 68.77 75.02 -- 3943.18/988.53 c N dy 18275 2993341 4833 20799 0 76261 63293 585253 68.78 72.71 -- 3963.91/993.79 c N dy 18389 3013357 4833 20799 0 96274 63293 2703982 68.77 75.28 -- 3989.83/1000.28 c N dy 18519 3033454 4833 20799 0 116366 63293 4865749 68.78 72.70 -- 4020.15/1007.84 c N dy 18647 3053561 4833 20799 0 136473 63293 7005137 68.79 72.92 -- 4054.86/1016.52 c N dy 18767 3073690 4833 20799 0 79615 63293 852302 68.80 74.40 -- 4078.39/1022.47 c N dy 18879 3093740 4833 20799 0 99662 63293 2980334 68.79 81.85 -- 4107.51/1029.72 c N dy 19016 3113771 4833 20799 0 119691 63293 5140673 68.81 73.73 -- 4141.05/1038.12 c N dy 19133 3133814 4833 20799 0 139730 63293 7292595 68.81 72.91 -- 4178.51/1047.51 c N dy 19264 3153879 4833 20799 0 81804 63293 982493 68.82 76.86 -- 4205.24/1054.20 c N dy 19395 3174364 4833 20799 0 102287 63293 3187993 68.83 73.36 -- 4236.35/1062.05 c N dy 19521 3194497 4833 20799 0 122417 63293 5355689 68.83 74.03 -- 4267.47/1069.81 c S st 19636 3211823 4833 20799 0 139742 63293 7222275 68.84 68.24 -- 4268.65/1070.14 c S st 19636 3212324 4833 20799 0 140243 63293 7262163 68.84 no data -- 4268.65/1070.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4268.65/1070.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4269.05/1070.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.44 4270.65/1070.62 c bin-w-bin subsume rem 0 bins time: 0.00 s 4270.65/1070.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4270.65/1070.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4833 time: 0.01 s 4270.65/1070.62 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 s
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-3368582-1305397957/watcher-3368582-1305397957 -o /tmp/evaluation-result-3368582-1305397957/solver-3368582-1305397957 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368582-1305397957.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: 6.92 7.86 7.93 2/344 2619 /proc/meminfo: memFree=26254960/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 651398313 52465664 352 33554432000 4194304 4650419 140735460159472 18446744073709551615 47892806612914 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 12809 352 303 112 0 7774 0 [pid=2619/tid=2620] ppid=2617 vsize=51236 CPUtime=0.01 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 4 0 651398314 52465664 352 33554432000 4194304 4650419 140735460159472 18446744073709551615 47892806612914 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=51236 CPUtime=0.01 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 4 0 651398314 52465664 352 33554432000 4194304 4650419 140735460159472 18446744073709551615 47892806612914 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651398314 52465664 352 33554432000 4194304 4650419 140735460159472 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.86362 s] /proc/loadavg: 6.92 7.86 7.93 2/344 2619 /proc/meminfo: memFree=26254960/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=294636 CPUtime=3.41 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 12309 0 0 0 340 1 0 0 19 0 4 0 651398313 301707264 8479 33554432000 4194304 4650419 140735460159472 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 73659 8479 392 112 0 68624 0 [pid=2619/tid=2620] ppid=2617 vsize=294636 CPUtime=0.85 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3080 0 0 0 85 0 0 0 18 0 4 0 651398314 301707264 8479 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=294636 CPUtime=0.85 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3074 0 0 0 85 0 0 0 18 0 4 0 651398314 301707264 8480 33554432000 4194304 4650419 140735460159472 18446744073709551615 4330612 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=294636 CPUtime=0.84 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 2399 0 0 0 84 0 0 0 19 0 4 0 651398314 301707264 8480 33554432000 4194304 4650419 140735460159472 18446744073709551615 4311163 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.41 Current children cumulated vsize (KiB) 294636 [startup+0.900617 s] /proc/loadavg: 6.92 7.86 7.93 2/344 2619 /proc/meminfo: memFree=26254960/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=294636 CPUtime=3.56 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 12470 0 0 0 355 1 0 0 19 0 4 0 651398313 301707264 8640 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 73659 8640 392 112 0 68624 0 [pid=2619/tid=2620] ppid=2617 vsize=294636 CPUtime=0.88 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3119 0 0 0 88 0 0 0 18 0 4 0 651398314 301707264 8640 33554432000 4194304 4650419 140735460159472 18446744073709551615 4368117 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=294636 CPUtime=0.89 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3114 0 0 0 89 0 0 0 18 0 4 0 651398314 301707264 8640 33554432000 4194304 4650419 140735460159472 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=294636 CPUtime=0.88 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 2441 0 0 0 88 0 0 0 19 0 4 0 651398314 301707264 8640 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.56 Current children cumulated vsize (KiB) 294636 [startup+1.0006 s] /proc/loadavg: 6.92 7.86 7.93 2/344 2619 /proc/meminfo: memFree=26254960/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=294636 CPUtime=3.97 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 12907 0 0 0 395 2 0 0 19 0 4 0 651398313 301707264 9077 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 73659 9077 392 112 0 68624 0 [pid=2619/tid=2620] ppid=2617 vsize=294636 CPUtime=0.98 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3225 0 0 0 98 0 0 0 19 0 4 0 651398314 301707264 9077 33554432000 4194304 4650419 140735460159472 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=294636 CPUtime=0.99 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3223 0 0 0 99 0 0 0 19 0 4 0 651398314 301707264 9077 33554432000 4194304 4650419 140735460159472 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=294636 CPUtime=0.98 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 2555 0 0 0 98 0 0 0 19 0 4 0 651398314 301707264 9077 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 294636 [startup+1.10058 s] /proc/loadavg: 6.92 7.86 7.93 2/344 2619 /proc/meminfo: memFree=26254960/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=294804 CPUtime=4.37 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 13683 0 0 0 435 2 0 0 19 0 4 0 651398313 301879296 8980 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 73701 8980 392 112 0 68666 0 [pid=2619/tid=2620] ppid=2617 vsize=294804 CPUtime=1.08 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3330 0 0 0 108 0 0 0 19 0 4 0 651398314 301879296 8980 33554432000 4194304 4650419 140735460159472 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=294804 CPUtime=1.09 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3325 0 0 0 109 0 0 0 19 0 4 0 651398314 301879296 8980 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=294804 CPUtime=1.08 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3008 0 0 0 108 0 0 0 19 0 4 0 651398314 301879296 8980 33554432000 4194304 4650419 140735460159472 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.37 Current children cumulated vsize (KiB) 294804 [startup+1.50051 s] /proc/loadavg: 6.92 7.86 7.93 2/344 2619 /proc/meminfo: memFree=26254960/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=295676 CPUtime=5.97 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 16383 0 0 0 594 3 0 0 20 0 4 0 651398313 302772224 9113 33554432000 4194304 4650419 140735460159472 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 73919 9113 392 112 0 68884 0 [pid=2619/tid=2620] ppid=2617 vsize=295676 CPUtime=1.48 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 4093 0 0 0 148 0 0 0 19 0 4 0 651398314 302772224 9113 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=295676 CPUtime=1.49 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 4051 0 0 0 149 0 0 0 19 0 4 0 651398314 302772224 9114 33554432000 4194304 4650419 140735460159472 18446744073709551615 4331067 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=295676 CPUtime=1.47 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 3431 0 0 0 147 0 0 0 20 0 4 0 651398314 302772224 9114 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 295676 [startup+3.10023 s] /proc/loadavg: 7.01 7.86 7.93 9/356 2632 /proc/meminfo: memFree=26163476/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=296868 CPUtime=12.34 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 25806 0 0 0 1229 5 0 0 25 0 4 0 651398313 303992832 9899 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 74217 9899 393 112 0 69182 0 [pid=2619/tid=2620] ppid=2617 vsize=296868 CPUtime=3.09 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 6421 0 0 0 308 1 0 0 25 0 4 0 651398314 303992832 9899 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=296868 CPUtime=3.09 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 6393 0 0 0 308 1 0 0 25 0 4 0 651398314 303992832 9899 33554432000 4194304 4650419 140735460159472 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=296868 CPUtime=3.05 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 5760 0 0 0 304 1 0 0 25 0 4 0 651398314 303992832 9899 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 296868 [startup+6.31266 s] /proc/loadavg: 7.01 7.86 7.93 9/356 2632 /proc/meminfo: memFree=26059456/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=311152 CPUtime=25.16 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 50344 0 0 0 2506 10 0 0 25 0 4 0 651398313 318619648 26063 33554432000 4194304 4650419 140735460159472 18446744073709551615 4328261 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 77788 26064 394 112 0 72753 0 [pid=2619/tid=2620] ppid=2617 vsize=311152 CPUtime=6.3 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 10958 0 0 0 629 1 0 0 25 0 4 0 651398314 318619648 26064 33554432000 4194304 4650419 140735460159472 18446744073709551615 4328209 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=311152 CPUtime=6.3 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 13972 0 0 0 628 2 0 0 25 0 4 0 651398314 318619648 26064 33554432000 4194304 4650419 140735460159472 18446744073709551615 4540584 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=311152 CPUtime=6.22 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 13581 0 0 0 620 2 0 0 25 0 4 0 651398314 318619648 26064 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 311152 [startup+12.7005 s] /proc/loadavg: 7.09 7.86 7.93 9/356 2632 /proc/meminfo: memFree=26009048/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=315400 CPUtime=50.64 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 81733 0 0 0 5048 16 0 0 25 0 4 0 651398313 322969600 38109 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 78850 38109 394 112 0 73815 0 [pid=2619/tid=2620] ppid=2617 vsize=315400 CPUtime=12.69 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 21136 0 0 0 1266 3 0 0 25 0 4 0 651398314 322969600 38109 33554432000 4194304 4650419 140735460159472 18446744073709551615 4311370 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=315400 CPUtime=12.69 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 23670 0 0 0 1265 4 0 0 25 0 4 0 651398314 322969600 38109 33554432000 4194304 4650419 140735460159472 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=315400 CPUtime=12.56 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 20499 0 0 0 1252 4 0 0 25 0 4 0 651398314 322969600 38109 33554432000 4194304 4650419 140735460159472 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 315400 [startup+25.5003 s] /proc/loadavg: 7.35 7.88 7.93 9/356 2632 /proc/meminfo: memFree=25866476/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=411536 CPUtime=101.7 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 125750 0 0 0 10144 26 0 0 25 0 4 0 651398313 421412864 56768 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 102884 56768 394 112 0 97849 0 [pid=2619/tid=2620] ppid=2617 vsize=411536 CPUtime=25.48 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 29339 0 0 0 2544 4 0 0 25 0 4 0 651398314 421412864 56768 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=411536 CPUtime=25.48 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 32296 0 0 0 2542 6 0 0 25 0 4 0 651398314 421412864 56768 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=411536 CPUtime=25.21 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 34478 0 0 0 2515 6 0 0 25 0 4 0 651398314 421412864 56768 33554432000 4194304 4650419 140735460159472 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 411536 [startup+51.1008 s] /proc/loadavg: 7.64 7.91 7.94 9/356 2633 /proc/meminfo: memFree=25748552/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=366620 CPUtime=203.82 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 198760 0 0 0 20336 46 0 0 25 0 4 0 651398313 375418880 64832 33554432000 4194304 4650419 140735460159472 18446744073709551615 4331084 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 91655 64832 394 112 0 86620 0 [pid=2619/tid=2620] ppid=2617 vsize=366620 CPUtime=51.08 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 49820 0 0 0 5098 10 0 0 25 0 4 0 651398314 375418880 64832 33554432000 4194304 4650419 140735460159472 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=366620 CPUtime=51.08 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 49904 0 0 0 5097 11 0 0 25 0 4 0 651398314 375418880 64832 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=366620 CPUtime=50.54 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 53466 0 0 0 5043 11 0 0 25 0 4 0 651398314 375418880 64832 33554432000 4194304 4650419 140735460159472 18446744073709551615 4303968 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.82 Current children cumulated vsize (KiB) 366620 [startup+102.301 s] /proc/loadavg: 7.90 7.94 7.94 9/356 2634 /proc/meminfo: memFree=25696684/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=521480 CPUtime=408.06 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 322795 0 0 0 40727 79 0 0 25 0 4 0 651398313 533995520 76808 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2619/statm: 130370 76808 394 112 0 125335 0 [pid=2619/tid=2620] ppid=2617 vsize=521480 CPUtime=102.29 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 82340 0 0 0 10210 19 0 0 25 0 4 0 651398314 533995520 76808 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=521480 CPUtime=102.28 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 78234 0 0 0 10209 19 0 0 25 0 4 0 651398314 533995520 76808 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=521480 CPUtime=101.18 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 88853 0 0 0 10097 21 0 0 25 0 4 0 651398314 533995520 76808 33554432000 4194304 4650419 140735460159472 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.06 Current children cumulated vsize (KiB) 521480 [startup+162.3 s] ################ # More data... # ################ [pid=2619] ppid=2617 vsize=883448 CPUtime=2562.15 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 1836427 0 0 0 255704 511 0 0 25 0 4 0 651398313 904650752 155753 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 220862 155753 394 112 0 215827 0 [pid=2619/tid=2620] ppid=2617 vsize=883448 CPUtime=638.13 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 477844 0 0 0 63673 140 0 0 25 0 4 0 651398314 904650752 155753 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=883448 CPUtime=642.28 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 241371 0 0 0 64133 95 0 0 25 0 4 0 651398314 904650752 155753 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=883448 CPUtime=639.42 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 496817 0 0 0 63808 134 0 0 25 0 4 0 651398314 904650752 155753 33554432000 4194304 4650419 140735460159472 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2562.15 Current children cumulated vsize (KiB) 883448 [startup+702.3 s] /proc/loadavg: 8.06 8.07 8.00 9/356 2650 /proc/meminfo: memFree=25187088/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=836664 CPUtime=2801.5 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 1920298 0 0 0 279604 546 0 0 25 0 4 0 651398313 856743936 154185 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 209166 154185 394 112 0 204131 0 [pid=2619/tid=2620] ppid=2617 vsize=836664 CPUtime=697.49 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 501856 0 0 0 69599 150 0 0 25 0 4 0 651398314 856743936 154185 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=836664 CPUtime=702.28 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 255745 0 0 0 70126 102 0 0 25 0 4 0 651398314 856743936 154185 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=836664 CPUtime=699.42 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 521187 0 0 0 69798 144 0 0 25 0 4 0 651398314 856743936 154185 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2801.5 Current children cumulated vsize (KiB) 836664 [startup+762.301 s] /proc/loadavg: 8.06 8.07 8.00 9/356 2652 /proc/meminfo: memFree=25148112/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=935464 CPUtime=3040.84 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 1995819 0 0 0 303505 579 0 0 25 0 4 0 651398313 957915136 164014 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 233866 164014 394 112 0 228831 0 [pid=2619/tid=2620] ppid=2617 vsize=935464 CPUtime=756.82 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 524028 0 0 0 75523 159 0 0 25 0 4 0 651398314 957915136 164014 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=935464 CPUtime=762.28 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 268098 0 0 0 76121 107 0 0 25 0 4 0 651398314 957915136 164014 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=935464 CPUtime=759.41 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 543326 0 0 0 75786 155 0 0 25 0 4 0 651398314 957915136 164014 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3040.84 Current children cumulated vsize (KiB) 935464 [startup+822.301 s] /proc/loadavg: 8.12 8.08 8.01 9/356 2653 /proc/meminfo: memFree=25108496/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=936400 CPUtime=3280.19 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 2140851 0 0 0 327404 615 0 0 25 0 4 0 651398313 958873600 171497 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 234100 171497 394 112 0 229065 0 [pid=2619/tid=2620] ppid=2617 vsize=936400 CPUtime=816.17 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 622846 0 0 0 81442 175 0 0 25 0 4 0 651398314 958873600 171497 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=936400 CPUtime=822.28 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 268098 0 0 0 82121 107 0 0 25 0 4 0 651398314 958873600 171497 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=936400 CPUtime=819.42 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 569471 0 0 0 81779 163 0 0 25 0 4 0 651398314 958873600 171497 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3280.19 Current children cumulated vsize (KiB) 936400 [startup+882.301 s] /proc/loadavg: 8.12 8.09 8.01 9/356 2655 /proc/meminfo: memFree=25162508/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=852244 CPUtime=3519.52 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 2324037 0 0 0 351293 659 0 0 25 0 4 0 651398313 872697856 158073 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 213061 158073 394 112 0 208026 0 [pid=2619/tid=2620] ppid=2617 vsize=852244 CPUtime=875.5 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 750251 0 0 0 87355 195 0 0 25 0 4 0 651398314 872697856 158073 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=852244 CPUtime=882.28 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 276504 0 0 0 88116 112 0 0 25 0 4 0 651398314 872697856 158073 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=852244 CPUtime=879.42 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 598795 0 0 0 87769 173 0 0 25 0 4 0 651398314 872697856 158073 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3519.52 Current children cumulated vsize (KiB) 852244 [startup+942.301 s] /proc/loadavg: 8.09 8.09 8.01 9/356 2657 /proc/meminfo: memFree=25106144/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=939692 CPUtime=3758.88 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 2398826 0 0 0 375197 691 0 0 25 0 4 0 651398313 962244608 169699 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 234923 169699 394 112 0 229888 0 [pid=2619/tid=2620] ppid=2617 vsize=939692 CPUtime=934.85 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 771271 0 0 0 93282 203 0 0 25 0 4 0 651398314 962244608 169709 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=939692 CPUtime=942.3 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 291007 0 0 0 94110 120 0 0 25 0 4 0 651398314 962244608 169709 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=939692 CPUtime=939.43 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 620255 0 0 0 93760 183 0 0 25 0 4 0 651398314 962244608 169709 33554432000 4194304 4650419 140735460159472 18446744073709551615 4367456 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3758.88 Current children cumulated vsize (KiB) 939692 [startup+1002.3 s] /proc/loadavg: 8.14 8.10 8.02 9/356 2658 /proc/meminfo: memFree=25118112/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=894036 CPUtime=3998.21 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 2472615 0 0 0 399095 726 0 0 25 0 4 0 651398313 915492864 169611 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 223509 169611 394 112 0 218474 0 [pid=2619/tid=2620] ppid=2617 vsize=894036 CPUtime=994.19 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 792037 0 0 0 99207 212 0 0 25 0 4 0 651398314 915492864 169611 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=894036 CPUtime=1002.28 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 305295 0 0 0 100101 127 0 0 25 0 4 0 651398314 915492864 169611 33554432000 4194304 4650419 140735460159472 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=894036 CPUtime=999.42 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 641233 0 0 0 99749 193 0 0 22 0 4 0 651398314 915492864 169611 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3998.21 Current children cumulated vsize (KiB) 894036 [startup+1062.31 s] /proc/loadavg: 8.09 8.09 8.01 9/356 2660 /proc/meminfo: memFree=24949296/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=1153368 CPUtime=4237.59 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 2644895 0 0 0 422994 765 0 0 25 0 4 0 651398313 1181048832 208995 33554432000 4194304 4650419 140735460159472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 288342 208996 394 112 0 283307 0 [pid=2619/tid=2620] ppid=2617 vsize=1153368 CPUtime=1053.54 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 851386 0 0 0 105128 226 0 0 25 0 4 0 651398314 1181048832 208996 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=1153368 CPUtime=1062.3 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 307106 0 0 0 106103 127 0 0 25 0 4 0 651398314 1181048832 208996 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=1153368 CPUtime=1059.44 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 733706 0 0 0 105738 206 0 0 25 0 4 0 651398314 1181048832 208996 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4237.59 Current children cumulated vsize (KiB) 1153368 [startup+1122.3 s] /proc/loadavg: 8.13 8.10 8.02 9/356 2661 /proc/meminfo: memFree=24908944/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=1104180 CPUtime=4476.87 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 2904593 0 0 0 446876 811 0 0 25 0 4 0 651398313 1130680320 217499 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 276045 217499 394 112 0 271010 0 [pid=2619/tid=2620] ppid=2617 vsize=1104180 CPUtime=1112.85 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 927626 0 0 0 111047 238 0 0 25 0 4 0 651398314 1130680320 217499 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=1104180 CPUtime=1122.29 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 311219 0 0 0 112097 132 0 0 25 0 4 0 651398314 1130680320 217499 33554432000 4194304 4650419 140735460159472 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=1104180 CPUtime=1119.43 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 826182 0 0 0 111722 221 0 0 25 0 4 0 651398314 1130680320 217499 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4476.87 Current children cumulated vsize (KiB) 1104180 [startup+1182.3 s] /proc/loadavg: 8.13 8.11 8.02 9/356 2663 /proc/meminfo: memFree=24895868/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=1104180 CPUtime=4716.19 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 3195485 0 0 0 470756 863 0 0 25 0 4 0 651398313 1130680320 217505 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 276045 217505 394 112 0 271010 0 [pid=2619/tid=2620] ppid=2617 vsize=1104180 CPUtime=1172.16 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 1009072 0 0 0 116967 249 0 0 25 0 4 0 651398314 1130680320 217505 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=1104180 CPUtime=1182.29 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 323565 0 0 0 118089 140 0 0 25 0 4 0 651398314 1130680320 217505 33554432000 4194304 4650419 140735460159472 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=1104180 CPUtime=1179.43 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 925016 0 0 0 117706 237 0 0 25 0 4 0 651398314 1130680320 217505 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4716.19 Current children cumulated vsize (KiB) 1104180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.4 s] /proc/loadavg: 8.23 8.14 8.03 9/356 2664 /proc/meminfo: memFree=24888908/32951124 swapFree=53501236/67111528 [pid=2619] ppid=2617 vsize=1154256 CPUtime=4800.37 cores=1,3,5,7 /proc/2619/stat : 2619 (strangenight1-m) R 2617 2619 2586 0 -1 4202496 3304964 0 0 0 479153 884 0 0 25 0 4 0 651398313 1181958144 221470 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2619/statm: 288564 221470 394 112 0 283529 0 [pid=2619/tid=2620] ppid=2617 vsize=1154256 CPUtime=1193.03 cores=1,3,5,7 /proc/2619/task/2620/stat : 2620 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 1037698 0 0 0 119049 254 0 0 25 0 4 0 651398314 1181958144 221468 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2619/tid=2621] ppid=2617 vsize=1154256 CPUtime=1203.41 cores=1,3,5,7 /proc/2619/task/2621/stat : 2621 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 327508 0 0 0 120197 144 0 0 25 0 4 0 651398314 1181958144 221468 33554432000 4194304 4650419 140735460159472 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2619/tid=2622] ppid=2617 vsize=1154256 CPUtime=1200.54 cores=1,3,5,7 /proc/2619/task/2622/stat : 2622 (strangenight1-m) R 2617 2619 2586 0 -1 4202560 965044 0 0 0 119811 243 0 0 25 0 4 0 651398314 1181958144 221468 33554432000 4194304 4650419 140735460159472 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.37 Current children cumulated vsize (KiB) 1154256 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): 1203.46 CPU time (s): 4800.47 CPU user time (s): 4791.58 CPU system time (s): 8.88265 CPU usage (%): 398.889 Max. virtual memory (cumulated for all children) (KiB): 1154256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.58 system time used= 8.88265 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3305359 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= 976 involuntary context switches= 34195 runsolver used 3.54246 second user time and 9.73152 second system time The end
Begin job on node103 at 2011-05-14 20:32:37 IDJOB=3368582 IDBENCH=82591 IDSOLVER=1846 FILE ID=node103/3368582-1305397957 RUNJOBID= node103-1305397957-2605 PBS_JOBID= 13324472 Free space on /tmp= 72992 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368582-1305397957/watcher-3368582-1305397957 -o /tmp/evaluation-result-3368582-1305397957/solver-3368582-1305397957 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368582-1305397957.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 811f95ba5a9b338808c76dfc6ace0a83 RANDOM SEED=1680445841 node103.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.858 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.71 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.858 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.77 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.858 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.858 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.858 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.83 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.858 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26255240 kB Buffers: 294588 kB Cached: 3863996 kB SwapCached: 340192 kB Active: 1312892 kB Inactive: 5111212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26255240 kB SwapTotal: 67111528 kB SwapFree: 53501236 kB Dirty: 13252 kB Writeback: 0 kB AnonPages: 1935560 kB Mapped: 9472 kB Slab: 151512 kB PageTables: 53244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78285036 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= 72980 MiB End job on node103 at 2011-05-14 20:52:42