| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.23 | 1204.36 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf |
| MD5SUM | b8c86006cc43f4ab8808ae984f8783c0 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 3.12652 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5000 |
| 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.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3368544-1305397011.cnf' 0.00/0.00 c -- header says num vars: 5000 0.00/0.00 c -- header says num clauses: 21000 0.00/0.01 c -- clauses added: 0 learnts, 21000 normals, 0 xors 0.00/0.01 c -- vars added 5000 0.00/0.02 c Parsing time: 0.03 s 0.00/0.02 c N st 0 0 5000 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.04 0.00/0.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.02 0.00/0.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5000 time: 0.00 s 0.00/0.04 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 0.24/0.08 c lits-rem: 0 cl-subs: 0 v-elim: 177 v-fix: 0 time: 0.13 s 0.24/0.08 c Finding binary XORs T: 0.00 s found: 0 0.24/0.09 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan) 0.24/0.09 c calculated reachability. Time: 0.00 0.24/0.09 c Calc default polars - time: 0.00 s pos: 2232 undec: 582 neg: 2186 0.24/0.09 c ========================================================================================= 0.24/0.09 c types(t): F = full restart, N = normal restart 0.24/0.09 c types(t): S = simplification begin/end, E = solution found 0.24/0.09 c restart types(rt): st = static, dy = dynamic 0.24/0.09 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.24/0.09 c B st 0 0 4823 20798 0 0 63399 0 no data no data -- 1.95/0.51 c N dy 20 4418 4823 20798 0 4417 63399 514161 73.85 78.27 -- 3.16/0.89 c N dy 39 8465 4823 20798 0 5968 63399 461987 70.36 75.92 -- 5.14/1.31 c N dy 65 12504 4823 20798 0 5756 63399 301999 70.99 89.77 -- 6.74/1.72 c N dy 81 16655 4823 20798 0 9906 63399 733286 69.31 73.27 -- 8.35/2.15 c N dy 104 20773 4823 20798 0 8401 63399 433645 69.17 74.80 -- 9.93/2.60 c N dy 130 24964 4823 20798 0 12590 63399 890873 69.42 73.12 -- 10.33/2.60 c F st 131 25001 4823 20798 0 12627 63399 893834 69.38 no data -- 12.32/3.15 c N dy 137 30000 4823 20798 0 10814 63399 626059 69.38 no data -- 12.32/3.15 c S st 137 30000 4823 20798 0 10814 63399 626059 69.38 no data -- 12.32/3.21 c S st 137 30503 4823 20798 0 11317 63399 668121 69.38 no data -- 12.32/3.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.32/3.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.75/3.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 12.75/3.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.75/3.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.75/3.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 12.75/3.27 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 22.68/5.71 c lits-rem: 64 cl-subs: 3 v-elim: 0 v-fix: 0 time: 9.69 s 22.68/5.74 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.11 22.68/5.74 c calculated reachability. Time: 0.00 22.68/5.74 c N dy 137 30503 4823 20798 0 11314 63399 667643 69.38 no data -- 24.67/6.23 c N dy 151 34606 4823 20798 0 15417 63399 1108773 68.67 73.43 -- 26.32/6.69 c N dy 173 38702 4823 20798 0 11610 63399 551869 68.45 79.79 -- 28.26/7.16 c N dy 193 42892 4823 20798 0 15799 63399 1009003 68.39 72.77 -- 29.86/7.50 c S st 207 45754 4823 20798 0 9716 63399 246503 68.14 no data -- 29.86/7.55 c S st 207 46258 4823 20798 0 10220 63399 288345 68.14 no data -- 29.86/7.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 29.86/7.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.86/7.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 29.86/7.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.86/7.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.86/7.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 29.86/7.59 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 32.65/8.26 c lits-rem: 15 cl-subs: 0 v-elim: 0 v-fix: 0 time: 2.65 s 32.65/8.26 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.00 32.65/8.26 c vivif2 -- cl tried 10220 cl shrink 0 lits rem 0 time: 0.02 32.65/8.29 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.09 32.65/8.29 c calculated reachability. Time: 0.00 32.65/8.29 c N dy 207 46258 4823 20798 0 10220 63399 288330 68.14 no data -- 34.66/8.75 c N dy 230 50346 4823 20798 0 14307 63399 724383 68.15 72.83 -- 36.63/9.24 c N dy 250 54492 4823 20798 0 18453 63399 1156554 67.88 72.03 -- 38.62/9.72 c N dy 271 58543 4823 20798 0 12527 63399 440281 67.68 86.10 -- 40.62/10.20 c N dy 294 62627 4823 20798 0 16610 63399 873089 67.64 73.07 -- 42.61/10.76 c N dy 322 67000 4823 20798 0 20981 63399 1337843 67.77 73.16 -- 43.86/11.06 c S st 335 69388 4823 20798 0 12381 63399 321972 67.69 67.57 -- 44.19/11.12 c S st 335 69889 4823 20798 0 12882 63399 358738 67.69 no data -- 44.19/11.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 44.19/11.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 44.19/11.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 44.19/11.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 44.19/11.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 44.19/11.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 44.19/11.16 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 48.25/12.16 c lits-rem: 17 cl-subs: 0 v-elim: 0 v-fix: 0 time: 3.99 s 48.25/12.16 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.01 48.25/12.17 c vivif2 -- cl tried 12882 cl shrink 0 lits rem 0 time: 0.02 48.25/12.19 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.09 48.25/12.19 c calculated reachability. Time: 0.00 48.25/12.19 c N dy 335 69889 4823 20798 0 12882 63399 358721 67.69 no data -- 50.58/12.72 c N dy 361 74445 4823 20798 0 17438 63399 826990 67.60 71.78 -- 52.97/13.32 c N dy 391 79252 4823 20798 0 22245 63399 1325104 67.60 74.30 -- 55.37/13.97 c N dy 425 84498 4823 20798 0 15495 63399 551010 67.65 72.57 -- 57.01/14.35 c F st 444 87500 4823 20798 0 18496 63399 868028 67.64 no data -- 58.96/14.80 c N st 449 90794 4823 20798 0 21790 63399 1260582 67.64 no data -- 62.14/15.62 c N dy 478 96847 4823 20798 0 14850 63399 377805 67.66 73.18 -- 64.94/16.39 c N dy 511 103083 4823 20798 0 21083 63399 1039339 67.54 93.33 -- 66.12/16.63 c S st 519 104834 4823 20798 0 22834 63399 1231855 67.51 64.84 -- 66.52/16.70 c S st 519 105340 4823 20798 0 23340 63399 1271257 67.51 no data -- 66.52/16.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 66.52/16.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.52/16.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.09 66.91/16.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 66.91/16.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 66.91/16.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 66.91/16.80 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 74.88/18.85 c lits-rem: 100 cl-subs: 4 v-elim: 0 v-fix: 0 time: 8.16 s 74.88/18.86 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.01 74.88/18.87 c vivif2 -- cl tried 23336 cl shrink 0 lits rem 0 time: 0.06 75.28/18.91 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.17 75.28/18.91 c calculated reachability. Time: 0.00 75.28/18.91 c N dy 519 105340 4823 20798 0 23336 63399 1270312 67.51 no data -- 78.93/19.84 c N dy 562 112117 4823 20798 0 16110 63399 425041 67.61 92.67 -- 82.46/20.80 c N dy 611 119437 4823 20798 0 23430 63399 1210722 67.77 72.89 -- 86.84/21.87 c N dy 658 127084 4823 20798 0 16078 63399 311522 67.73 71.43 -- 90.83/22.89 c N dy 707 135259 4823 20798 0 24253 63399 1178748 67.74 72.59 -- 95.62/24.10 c N dy 760 143906 4823 20798 0 16899 63399 294853 67.73 71.53 -- 100.42/25.28 c N dy 823 153163 4823 20798 0 26155 63399 1279749 67.86 89.52 -- 103.19/25.98 c S st 850 158010 4823 20798 0 31002 63399 1797139 67.82 56.99 -- 103.59/26.06 c S st 850 158514 4823 20798 0 31506 63399 1836097 67.82 no data -- 103.59/26.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 103.59/26.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 103.59/26.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 103.99/26.17 c bin-w-bin subsume rem 0 bins time: 0.00 s 103.99/26.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 103.99/26.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 103.99/26.17 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 117.96/29.66 c lits-rem: 12 cl-subs: 4 v-elim: 0 v-fix: 0 time: 13.84 s 117.96/29.66 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.00 117.96/29.68 c vivif2 -- cl tried 31502 cl shrink 0 lits rem 0 time: 0.08 118.39/29.73 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.22 118.39/29.73 c calculated reachability. Time: 0.00 118.39/29.73 c N dy 850 158514 4823 20798 0 31502 63399 1835576 67.82 no data -- 123.91/31.12 c N dy 900 168661 4823 20798 0 24654 63399 1038240 67.77 71.64 -- 130.29/32.79 c N dy 967 179695 4823 20798 0 35688 63399 2199399 67.79 73.83 -- 136.66/34.35 c N dy 1033 191224 4823 20798 0 29219 63399 1385271 67.74 73.28 -- 143.86/36.20 c N dy 1111 203744 4823 20798 0 22739 63399 607618 67.73 71.47 -- 151.42/38.08 c N dy 1189 216793 4823 20798 0 35787 63399 1978548 67.69 106.36 -- 159.79/40.10 c N dy 1263 230874 4823 20798 0 29870 63399 1280382 67.65 71.89 -- 163.77/41.15 c S st 1303 237771 4823 20798 0 36766 63399 2008467 67.64 59.34 -- 164.18/41.24 c S st 1303 238273 4823 20798 0 37268 63399 2050148 67.64 no data -- 164.18/41.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 164.18/41.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 164.18/41.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.11 164.58/41.36 c bin-w-bin subsume rem 0 bins time: 0.00 s 164.58/41.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 164.58/41.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 164.58/41.36 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 178.92/44.95 c lits-rem: 106 cl-subs: 7 v-elim: 0 v-fix: 0 time: 14.28 s 178.92/44.95 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.00 178.92/44.97 c vivif2 -- cl tried 37261 cl shrink 0 lits rem 0 time: 0.09 179.35/45.03 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.22 179.35/45.04 c calculated reachability. Time: 0.00 179.35/45.04 c N dy 1303 238273 4823 20798 0 37261 63399 2048345 67.64 no data -- 188.12/47.26 c N dy 1401 253494 4823 20798 0 31480 63399 1342511 67.71 73.07 -- 198.45/49.80 c N dy 1501 269693 4823 20798 0 25678 63399 617780 67.72 71.69 -- 208.82/52.49 c N dy 1615 287014 4823 20798 0 42998 63399 2482765 67.85 71.83 -- 220.37/55.34 c N dy 1734 305562 4823 20798 0 38547 63399 1899452 67.93 72.01 -- 220.77/55.45 c F st 1738 306251 4823 20798 0 39236 63399 1968602 67.93 70.54 -- 232.73/58.45 c N dy 1828 325285 4823 20798 0 34270 63399 1339553 67.97 73.93 -- 245.87/61.78 c N dy 1955 345405 4823 20798 0 29387 63399 714627 68.02 72.35 -- 253.46/63.66 c S st 2029 357410 4823 20798 0 41389 63399 1985261 68.04 no data -- 253.88/63.76 c S st 2029 357913 4823 20798 0 41892 63399 2025595 68.04 no data -- 253.88/63.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 253.88/63.76 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 253.88/63.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.12 254.31/63.87 c bin-w-bin subsume rem 0 bins time: 0.00 s 254.31/63.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 254.31/63.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 254.31/63.88 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 270.99/68.09 c lits-rem: 23 cl-subs: 8 v-elim: 0 v-fix: 0 time: 16.78 s 270.99/68.09 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.01 271.41/68.12 c vivif2 -- cl tried 41884 cl shrink 0 lits rem 0 time: 0.08 271.41/68.19 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.28 271.41/68.19 c calculated reachability. Time: 0.00 271.41/68.19 c N dy 2029 357913 4823 20798 0 41884 63399 2024503 68.04 no data -- 285.34/71.66 c N dy 2157 378016 4823 20798 0 35991 63399 1320689 68.08 73.06 -- 299.69/75.20 c N dy 2279 398021 4823 20798 0 29003 63399 475599 68.10 71.95 -- 312.44/78.46 c N dy 2401 418053 4823 20798 0 49032 63399 2623697 68.14 71.77 -- 326.00/81.84 c N dy 2523 438075 4823 20798 0 41054 63399 1665438 68.14 71.73 -- 340.35/85.49 c N dy 2640 458196 4823 20798 0 32171 63399 603869 68.13 72.24 -- 353.91/88.89 c N dy 2763 478205 4823 20798 0 52179 63399 2722384 68.13 72.31 -- 368.31/92.47 c N dy 2892 498408 4823 20798 0 42383 63399 1606757 68.19 72.10 -- 384.20/96.45 c N dy 3023 518790 4823 20798 0 31766 63399 366790 68.23 71.92 -- 396.16/99.48 c S st 3134 536869 4823 20798 0 49843 63399 2303520 68.26 62.88 -- 396.56/99.60 c S st 3134 537373 4823 20798 0 50347 63399 2347295 68.26 no data -- 396.96/99.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 396.96/99.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 396.96/99.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.14 397.36/99.73 c bin-w-bin subsume rem 0 bins time: 0.00 s 397.36/99.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 397.36/99.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 397.36/99.73 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 420.94/105.62 c lits-rem: 54 cl-subs: 7 v-elim: 0 v-fix: 0 time: 23.42 s 420.94/105.62 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.00 420.94/105.65 c vivif2 -- cl tried 50340 cl shrink 0 lits rem 0 time: 0.11 421.27/105.74 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.33 421.27/105.74 c calculated reachability. Time: 0.00 421.27/105.74 c N dy 3134 537373 4823 20798 0 50340 63399 2346166 68.26 no data -- 436.40/109.57 c N dy 3257 557384 4823 20798 0 38358 63399 982931 68.25 71.97 -- 451.18/113.25 c N dy 3372 577389 4823 20798 0 58360 63399 3129834 68.28 74.16 -- 466.30/117.01 c N dy 3499 597517 4823 20798 0 45490 63399 1630740 68.31 72.25 -- 482.31/121.02 c N dy 3614 617524 4823 20798 0 65497 63399 3785435 68.32 72.87 -- 497.00/124.78 c N dy 3735 637564 4823 20798 0 51540 63399 2166195 68.33 84.91 -- 513.73/128.97 c N dy 3855 657646 4823 20798 0 36617 63399 477132 68.33 75.58 -- 528.49/132.64 c N dy 3974 677660 4823 20798 0 56629 63399 2613508 68.33 73.08 -- 546.03/137.03 c N dy 4084 697822 4823 20798 0 40799 63399 826322 68.30 73.59 -- 561.57/140.97 c N dy 4187 717870 4823 20798 0 60846 63399 2953079 68.27 73.22 -- 579.12/145.37 c N dy 4309 737872 4823 20798 0 43842 63399 1054562 68.27 75.83 -- 595.47/149.47 c N dy 4422 757885 4823 20798 0 63852 63399 3201887 68.28 72.78 -- 613.00/153.84 c N dy 4536 777909 4823 20798 0 45877 63399 1177791 68.29 73.34 -- 629.74/158.06 c N dy 4654 797928 4823 20798 0 65895 63399 3314978 68.29 79.65 -- 637.71/160.03 c S st 4699 806062 4823 20798 0 74029 63399 4184133 68.28 no data -- 638.11/160.19 c S st 4699 806566 4823 20798 0 74533 63399 4224109 68.28 no data -- 638.51/160.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 638.51/160.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 638.51/160.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.22 639.30/160.44 c bin-w-bin subsume rem 0 bins time: 0.01 s 639.30/160.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 639.30/160.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 639.30/160.45 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 891.21/223.64 c lits-rem: 0 cl-subs: 8 v-elim: 0 v-fix: 0 time: 251.48 s 891.21/223.64 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.00 891.21/223.69 c vivif2 -- cl tried 74525 cl shrink 0 lits rem 0 time: 0.20 892.01/223.82 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.51 892.01/223.82 c calculated reachability. Time: 0.00 892.01/223.82 c N dy 4699 806566 4823 20798 0 74525 63399 4222626 68.28 no data -- 907.95/227.82 c N dy 4829 826881 4823 20798 0 55848 63399 2136571 68.31 71.97 -- 925.89/232.34 c N dy 4949 847045 4823 20798 0 76011 63399 4284317 68.31 71.97 -- 941.85/236.37 c N dy 5070 867160 4823 20798 0 56128 63399 2073947 68.31 73.15 -- 959.80/240.90 c N dy 5189 887205 4823 20798 0 76173 63399 4202456 68.30 76.40 -- 977.33/245.24 c N dy 5312 907260 4823 20798 0 55226 63399 1863007 68.32 71.95 -- 996.44/250.00 c N dy 5436 927364 4823 20798 0 75328 63399 4037797 68.34 72.56 -- 1014.38/254.55 c N dy 5549 947439 4823 20798 0 53405 63399 1566374 68.33 74.43 -- 1033.12/259.20 c N dy 5666 967628 4823 20798 0 73589 63399 3710001 68.34 72.68 -- 1052.64/264.14 c N dy 5793 987760 4823 20798 0 50720 63399 1184733 68.36 74.95 -- 1070.57/268.64 c N dy 5913 1007851 4823 20798 0 70807 63399 3338722 68.36 72.06 -- 1091.76/273.95 c N dy 6035 1028145 4823 20798 0 47110 63399 690269 68.38 72.10 -- 1109.30/278.31 c N dy 6157 1048586 4823 20798 0 67550 63399 2868991 68.39 72.48 -- 1130.37/283.61 c N dy 6275 1068684 4823 20798 0 87644 63399 5000915 68.38 72.44 -- 1133.96/284.52 c F st 6297 1071875 4823 20798 0 45836 63399 455759 68.38 no data -- 1147.90/288.00 c N dy 6378 1088761 4823 20798 0 62715 63399 2334975 68.39 101.73 -- 1167.83/293.08 c N dy 6499 1108784 4823 20798 0 82738 63399 4476489 68.41 72.49 -- 1187.78/298.04 c N dy 6628 1128815 4823 20798 0 56772 63399 1541632 68.45 78.88 -- 1206.89/302.82 c N dy 6753 1148895 4823 20798 0 76850 63399 3688983 68.46 74.34 -- 1228.81/308.31 c N dy 6865 1169049 4823 20798 0 50009 63399 701385 68.45 72.25 -- 1246.35/312.74 c N dy 6979 1189283 4823 20798 0 70239 63399 2846487 68.44 73.10 -- 1268.27/318.20 c N dy 7094 1209510 4823 20798 0 90465 63399 5014973 68.44 73.00 -- 1268.67/318.30 c S st 7097 1209849 4823 20798 0 90804 63399 5053361 68.44 no data -- 1269.47/318.50 c S st 7097 1210351 4823 20798 0 91306 63399 5095839 68.44 no data -- 1269.47/318.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1269.47/318.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1269.47/318.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.27 1270.68/318.80 c bin-w-bin subsume rem 0 bins time: 0.01 s 1270.68/318.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1270.68/318.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.01 s 1270.68/318.81 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 1672.46/419.60 c lits-rem: 51 cl-subs: 19 v-elim: 0 v-fix: 0 time: 401.29 s 1672.46/419.60 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.00 1672.46/419.66 c vivif2 -- cl tried 91287 cl shrink 0 lits rem 0 time: 0.24 1673.25/419.82 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.64 1673.25/419.83 c calculated reachability. Time: 0.00 1673.25/419.83 c N dy 7097 1210351 4823 20798 0 91287 63399 5091994 68.44 no data -- 1691.18/424.34 c N dy 7222 1230397 4823 20798 0 63335 63399 2034140 68.46 74.45 -- 1710.70/429.26 c N dy 7348 1250560 4823 20798 0 83495 63399 4169042 68.47 72.20 -- 1733.03/434.82 c N dy 7480 1270613 4823 20798 0 54554 63399 995667 68.49 80.79 -- 1751.77/439.54 c N dy 7607 1290681 4823 20798 0 74619 63399 3149174 68.51 80.81 -- 1774.90/445.31 c N dy 7731 1310778 4823 20798 0 94712 63399 5287881 68.52 72.30 -- 1794.82/450.31 c N dy 7863 1330911 4823 20798 0 64855 63399 1997668 68.54 72.17 -- 1814.78/455.41 c N dy 7975 1350938 4823 20798 0 84878 63399 4143195 68.54 81.33 -- 1839.06/461.40 c N dy 8102 1370967 4823 20798 0 53912 63399 717746 68.56 74.02 -- 1857.41/466.07 c N dy 8221 1391054 4823 20798 0 73998 63399 2888351 68.56 86.41 -- 1880.54/471.82 c N dy 8343 1411149 4823 20798 0 94092 63399 5076408 68.59 72.46 -- 1902.04/477.22 c N dy 8452 1431230 4823 20798 0 62174 63399 1497603 68.58 72.57 -- 1922.37/482.38 c N dy 8578 1451508 4823 20798 0 82450 63399 3685781 68.58 73.72 -- 1947.47/488.61 c N dy 8704 1471679 4823 20798 0 102621 63399 5851050 68.59 72.37 -- 1967.02/493.51 c N dy 8819 1491713 4823 20798 0 69654 63399 2182814 68.58 74.17 -- 1988.54/498.95 c N dy 8937 1511860 4823 20798 0 89795 63399 4331018 68.58 73.10 -- 2014.04/505.35 c N dy 9068 1531920 4823 20798 0 55860 63399 622633 68.59 72.68 -- 2033.18/510.13 c N dy 9202 1551975 4823 20798 0 75914 63399 2787011 68.61 75.30 -- 2056.34/515.92 c N dy 9328 1572010 4823 20798 0 95947 63399 4917598 68.62 83.02 -- 2080.20/521.92 c N dy 9451 1592021 4823 20798 0 60962 63399 1068963 68.63 72.57 -- 2100.19/526.93 c N dy 9573 1612055 4823 20798 0 80995 63399 3220512 68.64 81.77 -- 2124.46/533.06 c N dy 9694 1632495 4823 20798 0 101433 63399 5406323 68.64 73.12 -- 2147.58/538.86 c N dy 9817 1652579 4823 20798 0 65530 63399 1475942 68.66 75.29 -- 2168.70/544.11 c N dy 9939 1672692 4823 20798 0 85641 63399 3621150 68.66 73.75 -- 2193.81/550.46 c N dy 10073 1692913 4823 20798 0 105861 63399 5807108 68.68 73.44 -- 2213.76/555.49 c S st 10187 1710351 4823 20798 0 66294 63399 1438415 68.69 62.49 -- 2214.53/555.63 c S st 10187 1710854 4823 20798 0 66797 63399 1480983 68.69 no data -- 2214.53/555.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2214.53/555.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2214.53/555.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.20 2214.93/555.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 2214.93/555.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2214.93/555.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 2214.93/555.75 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2230.48/559.61 c lits-rem: 44 cl-subs: 5 v-elim: 0 v-fix: 0 time: 15.35 s 2230.48/559.61 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.00 2230.48/559.63 c vivif2 -- cl tried 66792 cl shrink 0 lits rem 0 time: 0.08 2230.87/559.74 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.46 2230.87/559.75 c calculated reachability. Time: 0.00 2230.87/559.75 c N dy 10187 1710854 4823 20798 0 66792 63399 1480538 68.69 no data -- 2251.99/565.01 c N dy 10317 1730914 4823 20798 0 86848 63399 3641505 68.71 72.35 -- 2276.70/571.29 c N dy 10442 1750983 4823 20798 0 106915 63399 5804496 68.71 72.73 -- 2300.22/577.12 c N dy 10558 1771044 4823 20798 0 68983 63399 1634234 68.71 72.90 -- 2321.74/582.52 c N dy 10683 1791102 4823 20798 0 89038 63399 3763185 68.72 78.36 -- 2347.25/588.96 c N dy 10815 1811177 4823 20798 0 109112 63399 5911047 68.73 72.55 -- 2370.78/594.83 c N dy 10926 1831444 4823 20798 0 70381 63399 1662317 68.72 72.36 -- 2393.52/600.56 c N dy 11055 1851612 4823 20798 0 90545 63399 3823495 68.73 74.10 -- 2420.24/607.25 c N dy 11182 1871756 4823 20798 0 110687 63399 5979714 68.74 72.36 -- 2443.31/613.09 c N dy 11300 1891902 4823 20798 0 70837 63399 1628563 68.73 73.28 -- 2464.43/618.36 c N dy 11407 1911978 4823 20798 0 90907 63399 3770389 68.72 83.57 -- 2489.98/624.76 c N dy 11528 1932108 4823 20798 0 111034 63399 5948921 68.73 75.54 -- 2513.46/630.68 c N dy 11649 1952149 4823 20798 0 70081 63399 1441926 68.73 72.70 -- 2534.25/635.89 c N dy 11760 1972272 4823 20798 0 90199 63399 3611994 68.73 74.55 -- 2558.91/642.10 c N dy 11891 1992298 4823 20798 0 110225 63399 5763672 68.74 72.53 -- 2583.62/648.28 c N dy 12000 2012337 4823 20798 0 68275 63399 1159223 68.74 74.91 -- 2603.55/653.27 c N dy 12108 2032434 4823 20798 0 88369 63399 3287325 68.73 74.06 -- 2627.86/659.36 c N dy 12233 2052500 4823 20798 0 108433 63399 5468300 68.75 73.23 -- 2654.97/666.11 c N dy 12342 2072782 4823 20798 0 65721 63399 781639 68.74 72.92 -- 2674.12/671.01 c N dy 12461 2092791 4823 20798 0 85728 63399 2927265 68.75 72.75 -- 2698.41/677.01 c N dy 12586 2113018 4823 20798 0 105952 63399 5114659 68.75 72.66 -- 2726.32/684.07 c N dy 12713 2133191 4823 20798 0 126122 63399 7275846 68.76 74.08 -- 2746.65/689.17 c N dy 12839 2153197 4823 20798 0 82131 63399 2444947 68.77 72.54 -- 2769.76/694.95 c N dy 12971 2173202 4823 20798 0 102132 63399 4616375 68.78 72.93 -- 2796.89/701.76 c N dy 13094 2193277 4823 20798 0 122204 63399 6781015 68.79 75.25 -- 2817.99/707.03 c S st 13203 2210854 4823 20798 0 74789 63399 1554049 68.79 no data -- 2818.39/707.19 c S st 13203 2211358 4823 20798 0 75293 63399 1597910 68.79 no data -- 2818.39/707.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2818.39/707.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2818.81/707.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.18 2818.81/707.31 c bin-w-bin subsume rem 0 bins time: 0.01 s 2819.24/707.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2819.24/707.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 2819.24/707.32 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2835.53/711.49 c lits-rem: 13 cl-subs: 4 v-elim: 0 v-fix: 0 time: 16.63 s 2835.53/711.49 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.00 2835.93/711.51 c vivif2 -- cl tried 75289 cl shrink 0 lits rem 0 time: 0.08 2836.35/711.63 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.46 2836.35/711.63 c calculated reachability. Time: 0.00 2836.35/711.63 c N dy 13203 2211358 4823 20798 0 75289 63399 1596972 68.79 no data -- 2857.46/716.97 c N dy 13335 2231398 4823 20798 0 95329 63399 3756086 68.81 78.21 -- 2882.97/723.31 c N dy 13460 2251538 4823 20798 0 115467 63399 5909800 68.82 72.96 -- 2910.48/730.23 c N dy 13583 2271624 4823 20798 0 69555 63399 877680 68.82 73.08 -- 2930.80/735.34 c N dy 13707 2291668 4823 20798 0 89595 63399 3033520 68.82 74.67 -- 2955.16/741.48 c N dy 13836 2311804 4823 20798 0 109727 63399 5186148 68.82 73.26 -- 2983.80/748.67 c N dy 13962 2331965 4823 20798 0 129884 63399 7364866 68.84 72.92 -- 3005.73/754.15 c N dy 14078 2352010 4823 20798 0 82937 63399 2228469 68.84 73.71 -- 3029.70/760.20 c N dy 14208 2372059 4823 20798 0 102984 63399 4385658 68.84 72.50 -- 3058.34/767.35 c N dy 14341 2392060 4823 20798 0 122982 63399 6539060 68.85 72.66 -- 3086.27/774.40 c N dy 14469 2412172 4823 20798 0 75098 63399 1282501 68.86 73.33 -- 3109.36/780.10 c N dy 14602 2432327 4823 20798 0 95253 63399 3477963 68.88 72.80 -- 3135.66/786.72 c N dy 14721 2452362 4823 20798 0 115285 63399 5618329 68.88 73.15 -- 3167.55/794.77 c N dy 14844 2472757 4823 20798 0 135677 63399 7824493 68.89 72.84 -- 3192.26/800.97 c N dy 14975 2492882 4823 20798 0 86810 63399 2457445 68.90 73.52 -- 3219.77/807.82 c N dy 15107 2512900 4823 20798 0 106826 63399 4578936 68.90 75.45 -- 3252.46/816.00 c N dy 15231 2533218 4823 20798 0 127144 63399 6746642 68.91 72.73 -- 3283.15/823.75 c N dy 15358 2553343 4823 20798 0 77273 63399 1303996 68.92 72.73 -- 3307.85/829.91 c N dy 15482 2573366 4823 20798 0 97293 63399 3483931 68.93 77.33 -- 3336.94/837.24 c N dy 15612 2593373 4823 20798 0 117294 63399 5622082 68.93 72.69 -- 3368.83/845.29 c N dy 15723 2613581 4823 20798 0 137500 63399 7794748 68.93 72.90 -- 3394.33/851.62 c N dy 15840 2633657 4823 20798 0 86583 63399 2197186 68.93 75.37 -- 3419.06/857.87 c N dy 15953 2653697 4823 20798 0 106621 63399 4360266 68.93 74.76 -- 3447.75/865.03 c N dy 16071 2673733 4823 20798 0 126654 63399 6517533 68.94 76.49 -- 3478.04/872.67 c N dy 16193 2693819 4823 20798 0 74745 63399 829200 68.94 72.97 -- 3496.78/877.32 c S st 16309 2711358 4823 20798 0 92281 63399 2731220 68.95 no data -- 3497.57/877.50 c S st 16309 2711859 4823 20798 0 92782 63399 2771190 68.95 no data -- 3497.57/877.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3497.57/877.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3497.57/877.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.25 3497.97/877.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 3497.97/877.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3497.97/877.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.00 s 3497.97/877.69 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3546.62/889.83 c lits-rem: 21 cl-subs: 3 v-elim: 0 v-fix: 0 time: 48.34 s 3546.62/889.83 c vivif2 -- cl tried 20798 cl shrink 0 lits rem 0 time: 0.01 3546.62/889.87 c vivif2 -- cl tried 92779 cl shrink 0 lits rem 0 time: 0.14 3547.39/890.02 c asymm cl-useful: 0/20798/20798 lits-rem:0 time: 0.61 3547.39/890.03 c calculated reachability. Time: 0.00 3547.39/890.03 c N dy 16309 2711859 4823 20798 0 92779 63399 2770777 68.95 no data -- 3572.12/896.28 c N dy 16444 2732011 4823 20798 0 112930 63399 4951876 68.96 72.63 -- 3601.21/903.55 c N dy 16573 2752033 4823 20798 0 132950 63399 7089131 68.97 72.62 -- 3629.52/910.60 c N dy 16686 2772091 4823 20798 0 80017 63399 1300313 68.97 74.77 -- 3651.44/916.15 c N dy 16814 2792144 4823 20798 0 100069 63399 3461648 68.98 74.37 -- 3677.74/922.74 c N dy 16937 2812263 4823 20798 0 120187 63399 5611748 68.99 74.44 -- 3708.43/930.45 c N dy 17059 2832276 4823 20798 0 140197 63399 7760435 68.99 73.56 -- 3734.35/936.94 c N dy 17189 2852344 4823 20798 0 86281 63399 1874199 69.00 75.09 -- 3757.86/942.80 c N dy 17313 2872449 4823 20798 0 106382 63399 4053918 69.00 78.25 -- 3785.76/949.87 c N dy 17442 2892905 4823 20798 0 126834 63399 6282389 69.01 73.36 -- 3817.25/957.73 c N dy 17543 2912910 4823 20798 0 146836 63399 8434563 69.00 73.30 -- 3840.38/963.54 c N dy 17669 2932942 4823 20798 0 91871 63399 2386336 69.01 73.23 -- 3865.48/969.81 c N dy 17804 2953132 4823 20798 0 112060 63399 4581108 69.02 73.38 -- 3894.57/977.10 c N dy 17934 2973150 4823 20798 0 132075 63399 6747080 69.03 73.17 -- 3927.66/985.47 c N dy 18047 2993240 4823 20798 0 76170 63399 577170 69.04 80.29 -- 3949.18/990.82 c N dy 18168 3013344 4823 20798 0 96272 63399 2721947 69.03 72.75 -- 3974.29/997.12 c N dy 18281 3033414 4823 20798 0 116340 63399 4878346 69.03 84.94 -- 4003.79/1004.58 c N dy 18407 3053465 4823 20798 0 136390 63399 7048438 69.04 87.76 -- 4037.28/1012.97 c N dy 18535 3073623 4823 20798 0 79554 63399 838829 69.05 75.13 -- 4060.78/1018.84 c N dy 18660 3093729 4823 20798 0 99658 63399 3024478 69.05 74.12 -- 4089.89/1026.12 c N dy 18791 3113817 4823 20798 0 119742 63399 5218964 69.07 98.09 -- 4123.76/1034.63 c N dy 18925 3133885 4823 20798 0 139806 63399 7404515 69.08 72.89 -- 4159.64/1043.65 c N dy 19059 3153918 4823 20798 0 81846 63399 990981 69.09 78.32 -- 4185.54/1050.10 c N dy 19190 3173973 4823 20798 0 101897 63399 3162083 69.10 73.41 -- 4216.63/1057.98 c N dy 19319 3194092 4823 20798 0 122016 63399 5346472 69.11 73.70 -- 4248.91/1066.01 c S st 19437 3211860 4823 20798 0 139782 63399 7283541 69.12 no data -- 4250.10/1066.35 c S st 19437 3212364 4823 20798 0 140286 63399 7323857 69.12 no data -- 4250.10/1066.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4250.10/1066.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4250.50/1066.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.45 4252.10/1066.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 4252.10/1066.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4252.10/1066.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4823 time: 0.01 s 4252.10/1066.84 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 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-3368544-1305397011/watcher-3368544-1305397011 -o /tmp/evaluation-result-3368544-1305397011/solver-3368544-1305397011 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368544-1305397011.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 6.89 7.79 7.18 3/412 7620 /proc/meminfo: memFree=21340156/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=184800 CPUtime=0 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1551 0 0 0 0 0 0 0 23 0 4 0 729931906 189235200 1373 33554432000 4194304 4650419 140737064228048 18446744073709551615 215988253729 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 46200 1394 340 112 0 41165 0 [pid=7618/tid=7621] ppid=7615 vsize=286340 CPUtime=0 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 690 0 0 0 0 0 0 0 24 0 4 0 729931907 293212160 3006 33554432000 4194304 4650419 140737064228048 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=286340 CPUtime=0 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) S 7615 7618 6790 0 -1 4202560 679 0 0 0 0 0 0 0 24 0 4 0 729931907 293212160 3008 33554432000 4194304 4650419 140737064228048 18446744073709551615 215988697582 0 0 4096 2 18446604452929907520 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=286340 CPUtime=0 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 839 0 0 0 0 0 0 0 24 0 4 0 729931907 293212160 3008 33554432000 4194304 4650419 140737064228048 18446744073709551615 215988241800 0 0 4096 2 0 0 0 -1 4 0 0 0 [startup+0.07236 s] /proc/loadavg: 6.89 7.79 7.18 3/412 7620 /proc/meminfo: memFree=21340156/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=290544 CPUtime=0.24 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 7259 0 0 0 23 1 0 0 23 0 4 0 729931906 297517056 6477 33554432000 4194304 4650419 140737064228048 18446744073709551615 215988248533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 72636 6477 386 112 0 67601 0 [pid=7618/tid=7621] ppid=7615 vsize=290544 CPUtime=0.05 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 1958 0 0 0 5 0 0 0 24 0 4 0 729931907 297517056 6477 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=290544 CPUtime=0.05 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 1959 0 0 0 5 0 0 0 24 0 4 0 729931907 297517056 6477 33554432000 4194304 4650419 140737064228048 18446744073709551615 4441275 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=290544 CPUtime=0.06 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 997 0 0 0 6 0 0 0 24 0 4 0 729931907 297517056 6477 33554432000 4194304 4650419 140737064228048 18446744073709551615 4360702 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 290544 [startup+0.100353 s] /proc/loadavg: 6.89 7.79 7.18 3/412 7620 /proc/meminfo: memFree=21340156/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=291500 CPUtime=0.35 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 7650 0 0 0 34 1 0 0 23 0 4 0 729931906 298496000 6692 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 72875 6692 390 112 0 67840 0 [pid=7618/tid=7621] ppid=7615 vsize=291500 CPUtime=0.08 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 2087 0 0 0 8 0 0 0 24 0 4 0 729931907 298496000 6692 33554432000 4194304 4650419 140737064228048 18446744073709551615 4300398 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=291500 CPUtime=0.07 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 2152 0 0 0 7 0 0 0 24 0 4 0 729931907 298496000 6692 33554432000 4194304 4650419 140737064228048 18446744073709551615 4300496 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=291500 CPUtime=0.09 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 1027 0 0 0 9 0 0 0 24 0 4 0 729931907 298496000 6692 33554432000 4194304 4650419 140737064228048 18446744073709551615 4367420 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 291500 [startup+0.300319 s] /proc/loadavg: 6.89 7.79 7.18 3/412 7620 /proc/meminfo: memFree=21340156/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=291500 CPUtime=1.16 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 8662 0 0 0 114 2 0 0 23 0 4 0 729931906 298496000 7704 33554432000 4194304 4650419 140737064228048 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 72875 7704 390 112 0 67840 0 [pid=7618/tid=7621] ppid=7615 vsize=291500 CPUtime=0.28 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 2351 0 0 0 28 0 0 0 25 0 4 0 729931907 298496000 7704 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=291500 CPUtime=0.27 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 2406 0 0 0 27 0 0 0 25 0 4 0 729931907 298496000 7704 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=291500 CPUtime=0.29 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 1265 0 0 0 29 0 0 0 25 0 4 0 729931907 298496000 7704 33554432000 4194304 4650419 140737064228048 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 291500 [startup+0.700248 s] /proc/loadavg: 6.89 7.79 7.18 3/412 7620 /proc/meminfo: memFree=21340156/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=294252 CPUtime=2.75 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 11479 0 0 0 273 2 0 0 25 0 4 0 729931906 301314048 7717 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 73563 7717 392 112 0 68528 0 [pid=7618/tid=7621] ppid=7615 vsize=294252 CPUtime=0.68 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 3059 0 0 0 68 0 0 0 25 0 4 0 729931907 301314048 7717 33554432000 4194304 4650419 140737064228048 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=294252 CPUtime=0.68 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 3126 0 0 0 67 1 0 0 25 0 4 0 729931907 301314048 7717 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=294252 CPUtime=0.68 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 1963 0 0 0 68 0 0 0 25 0 4 0 729931907 301314048 7718 33554432000 4194304 4650419 140737064228048 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.75 Current children cumulated vsize (KiB) 294252 [startup+1.50111 s] /proc/loadavg: 6.89 7.79 7.18 9/420 7628 /proc/meminfo: memFree=21283328/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=295424 CPUtime=5.94 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 16255 0 0 0 591 3 0 0 25 0 4 0 729931906 302514176 8989 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363613 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 73856 8989 392 112 0 68821 0 [pid=7618/tid=7621] ppid=7615 vsize=295424 CPUtime=1.46 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 4198 0 0 0 146 0 0 0 25 0 4 0 729931907 302514176 8989 33554432000 4194304 4650419 140737064228048 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=295424 CPUtime=1.48 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 4330 0 0 0 147 1 0 0 25 0 4 0 729931907 302514176 8989 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=295424 CPUtime=1.48 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 3166 0 0 0 148 0 0 0 25 0 4 0 729931907 302514176 8989 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 295424 [startup+3.10083 s] /proc/loadavg: 6.98 7.80 7.18 10/420 7628 /proc/meminfo: memFree=21280972/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=296384 CPUtime=12.32 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 25723 0 0 0 1227 5 0 0 25 0 4 0 729931906 303497216 9721 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 74096 9721 393 112 0 69061 0 [pid=7618/tid=7621] ppid=7615 vsize=296384 CPUtime=3.05 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 6620 0 0 0 304 1 0 0 25 0 4 0 729931907 303497216 9721 33554432000 4194304 4650419 140737064228048 18446744073709551615 4330782 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=296384 CPUtime=3.07 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 6671 0 0 0 306 1 0 0 25 0 4 0 729931907 303497216 9721 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=296384 CPUtime=3.09 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 5489 0 0 0 308 1 0 0 25 0 4 0 729931907 303497216 9721 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 12.32 Current children cumulated vsize (KiB) 296384 [startup+6.30027 s] /proc/loadavg: 6.98 7.80 7.18 10/420 7628 /proc/meminfo: memFree=21182440/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=327080 CPUtime=25.07 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 49453 0 0 0 2497 10 0 0 25 0 4 0 729931906 334929920 26757 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366068 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 81770 26757 394 112 0 76735 0 [pid=7618/tid=7621] ppid=7615 vsize=327080 CPUtime=6.2 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 10775 0 0 0 619 1 0 0 25 0 4 0 729931907 334929920 26757 33554432000 4194304 4650419 140737064228048 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=327080 CPUtime=6.28 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 14310 0 0 0 625 3 0 0 25 0 4 0 729931907 334929920 26757 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=327080 CPUtime=6.28 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 12828 0 0 0 626 2 0 0 25 0 4 0 729931907 334929920 26757 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 25.07 Current children cumulated vsize (KiB) 327080 [startup+12.7012 s] /proc/loadavg: 7.06 7.80 7.19 10/420 7628 /proc/meminfo: memFree=21083148/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=324792 CPUtime=50.58 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 83048 0 0 0 5040 18 0 0 25 0 4 0 729931906 332587008 37467 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 81198 37467 394 112 0 76163 0 [pid=7618/tid=7621] ppid=7615 vsize=324792 CPUtime=12.51 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 21203 0 0 0 1247 4 0 0 25 0 4 0 729931907 332587008 37467 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=324792 CPUtime=12.67 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 24387 0 0 0 1263 4 0 0 25 0 4 0 729931907 332587008 37467 33554432000 4194304 4650419 140737064228048 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=324792 CPUtime=12.68 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 19689 0 0 0 1264 4 0 0 25 0 4 0 729931907 332587008 37467 33554432000 4194304 4650419 140737064228048 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (KiB) 324792 [startup+25.5009 s] /proc/loadavg: 7.40 7.84 7.21 10/420 7629 /proc/meminfo: memFree=20965340/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=352016 CPUtime=101.59 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 135354 0 0 0 10128 31 0 0 25 0 4 0 729931906 360464384 54213 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 88004 54213 394 112 0 82969 0 [pid=7618/tid=7621] ppid=7615 vsize=352016 CPUtime=25.13 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 34695 0 0 0 2505 8 0 0 25 0 4 0 729931907 360464384 54213 33554432000 4194304 4650419 140737064228048 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=352016 CPUtime=25.46 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 35267 0 0 0 2539 7 0 0 25 0 4 0 729931907 360464384 54213 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=352016 CPUtime=25.48 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 32874 0 0 0 2541 7 0 0 25 0 4 0 729931907 360464384 54213 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 101.59 Current children cumulated vsize (KiB) 352016 [startup+51.1004 s] /proc/loadavg: 7.61 7.85 7.23 10/420 7629 /proc/meminfo: memFree=20885632/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=527212 CPUtime=203.63 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 210148 0 0 0 20312 51 0 0 25 0 4 0 729931906 539865088 71132 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 131803 71132 394 112 0 126768 0 [pid=7618/tid=7621] ppid=7615 vsize=527212 CPUtime=50.38 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 55362 0 0 0 5025 13 0 0 25 0 4 0 729931907 539865088 71132 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=527212 CPUtime=51.07 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 55384 0 0 0 5094 13 0 0 25 0 4 0 729931907 539865088 71132 33554432000 4194304 4650419 140737064228048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=527212 CPUtime=51.07 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 48939 0 0 0 5094 13 0 0 25 0 4 0 729931907 539865088 71132 33554432000 4194304 4650419 140737064228048 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 203.63 Current children cumulated vsize (KiB) 527212 [startup+102.316 s] /proc/loadavg: 7.93 7.90 7.28 10/420 7631 /proc/meminfo: memFree=20818140/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=571304 CPUtime=407.78 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 333456 0 0 0 40694 84 0 0 25 0 4 0 729931906 585015296 77158 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 142826 77158 394 112 0 137791 0 [pid=7618/tid=7621] ppid=7615 vsize=571304 CPUtime=100.88 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 88553 0 0 0 10067 21 0 0 25 0 4 0 729931907 585015296 77158 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=571304 CPUtime=102.27 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 90168 0 0 0 10205 22 0 0 25 0 4 0 729931907 585015296 77158 33554432000 4194304 4650419 140737064228048 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=571304 CPUtime=102.29 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 70709 0 0 0 10210 19 0 0 25 0 4 0 729931907 585015296 77158 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 407.78 Current children cumulated vsize (KiB) 571304 [startup+162.301 s] ################ # More data... # ################ [pid=7618] ppid=7615 vsize=896548 CPUtime=2799.25 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1264081 0 0 0 279508 417 0 0 25 0 4 0 729931906 918065152 161604 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 224137 161604 394 112 0 219102 0 [pid=7618/tid=7621] ppid=7615 vsize=896548 CPUtime=692.55 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 326170 0 0 0 69143 112 0 0 25 0 4 0 729931907 918065152 161604 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=896548 CPUtime=702.12 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 381942 0 0 0 70102 110 0 0 25 0 4 0 729931907 918065152 161604 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=896548 CPUtime=702.28 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 264474 0 0 0 70134 94 0 0 25 0 4 0 729931907 918065152 161604 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2799.25 Current children cumulated vsize (KiB) 896548 [startup+762.316 s] /proc/loadavg: 8.28 8.15 7.72 10/420 7648 /proc/meminfo: memFree=20125748/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=1036232 CPUtime=3038.47 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1345926 0 0 0 303397 450 0 0 25 0 4 0 729931906 1061101568 176103 33554432000 4194304 4650419 140737064228048 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 259058 176103 394 112 0 254023 0 [pid=7618/tid=7621] ppid=7615 vsize=1036232 CPUtime=751.72 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 349125 0 0 0 75051 121 0 0 25 0 4 0 729931907 1061101568 176103 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=1036232 CPUtime=762.13 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 400025 0 0 0 76095 118 0 0 25 0 4 0 729931907 1061101568 176103 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=1036232 CPUtime=762.29 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 283100 0 0 0 76129 100 0 0 25 0 4 0 729931907 1061101568 176103 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3038.47 Current children cumulated vsize (KiB) 1036232 [startup+822.301 s] /proc/loadavg: 8.28 8.17 7.75 10/420 7650 /proc/meminfo: memFree=20117768/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=976144 CPUtime=3277.56 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1381397 0 0 0 327289 467 0 0 25 0 4 0 729931906 999571456 165175 33554432000 4194304 4650419 140737064228048 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 244036 165175 394 112 0 239001 0 [pid=7618/tid=7621] ppid=7615 vsize=976144 CPUtime=810.88 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 359977 0 0 0 80962 126 0 0 25 0 4 0 729931907 999571456 165175 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=976144 CPUtime=822.11 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 400034 0 0 0 82093 118 0 0 25 0 4 0 729931907 999571456 165175 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=976144 CPUtime=822.28 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 289678 0 0 0 82124 104 0 0 25 0 4 0 729931907 999571456 165175 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3277.56 Current children cumulated vsize (KiB) 976144 [startup+882.301 s] /proc/loadavg: 8.09 8.13 7.76 10/420 7651 /proc/meminfo: memFree=20119456/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=873916 CPUtime=3516.7 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1424753 0 0 0 351181 489 0 0 25 0 4 0 729931906 894889984 161673 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 218479 161673 394 112 0 213444 0 [pid=7618/tid=7621] ppid=7615 vsize=873916 CPUtime=870.03 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 365226 0 0 0 86875 128 0 0 25 0 4 0 729931907 894889984 161673 33554432000 4194304 4650419 140737064228048 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=873916 CPUtime=882.09 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 410530 0 0 0 88087 122 0 0 25 0 4 0 729931907 894889984 161673 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=873916 CPUtime=882.28 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 300939 0 0 0 88119 109 0 0 25 0 4 0 729931907 894889984 161673 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3516.7 Current children cumulated vsize (KiB) 873916 [startup+942.301 s] /proc/loadavg: 8.09 8.12 7.77 10/420 7653 /proc/meminfo: memFree=20071068/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=974576 CPUtime=3755.86 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1495849 0 0 0 375066 520 0 0 25 0 4 0 729931906 997965824 159310 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 243644 159310 394 112 0 238609 0 [pid=7618/tid=7621] ppid=7615 vsize=974576 CPUtime=929.21 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 386384 0 0 0 92783 138 0 0 25 0 4 0 729931907 997965824 159310 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=974576 CPUtime=942.07 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 427327 0 0 0 94078 129 0 0 25 0 4 0 729931907 997965824 159310 33554432000 4194304 4650419 140737064228048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=974576 CPUtime=942.28 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 314602 0 0 0 94113 115 0 0 25 0 4 0 729931907 997965824 159310 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3755.86 Current children cumulated vsize (KiB) 974576 [startup+1002.3 s] /proc/loadavg: 8.07 8.11 7.79 10/420 7655 /proc/meminfo: memFree=20039192/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=976096 CPUtime=3995.02 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1570128 0 0 0 398950 552 0 0 25 0 4 0 729931906 999522304 168975 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 244024 168975 394 112 0 238989 0 [pid=7618/tid=7621] ppid=7615 vsize=976096 CPUtime=988.37 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 406890 0 0 0 98691 146 0 0 25 0 4 0 729931907 999522304 168975 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=976096 CPUtime=1002.06 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 445316 0 0 0 100069 137 0 0 25 0 4 0 729931907 999522304 168975 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=976096 CPUtime=1002.28 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 328821 0 0 0 100106 122 0 0 25 0 4 0 729931907 999522304 168975 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3995.02 Current children cumulated vsize (KiB) 976096 [startup+1062.3 s] /proc/loadavg: 8.06 8.10 7.81 10/420 7656 /proc/meminfo: memFree=19917632/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=1159240 CPUtime=4234.17 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1691523 0 0 0 422832 585 0 0 25 0 4 0 729931906 1187061760 206976 33554432000 4194304 4650419 140737064228048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 289810 206976 394 112 0 284775 0 [pid=7618/tid=7621] ppid=7615 vsize=1159240 CPUtime=1047.53 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 458752 0 0 0 104596 157 0 0 25 0 4 0 729931907 1187061760 206976 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=1159240 CPUtime=1062.04 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 481919 0 0 0 106059 145 0 0 25 0 4 0 729931907 1187061760 206976 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=1159240 CPUtime=1062.29 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 342375 0 0 0 106104 125 0 0 25 0 4 0 729931907 1187061760 206976 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4234.17 Current children cumulated vsize (KiB) 1159240 [startup+1122.3 s] /proc/loadavg: 8.15 8.12 7.83 10/420 7658 /proc/meminfo: memFree=19860928/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=1229096 CPUtime=4473.3 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1773951 0 0 0 446731 599 0 0 25 0 4 0 729931906 1258594304 219411 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 307274 219411 394 112 0 302239 0 [pid=7618/tid=7621] ppid=7615 vsize=1229096 CPUtime=1106.67 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 484436 0 0 0 110506 161 0 0 25 0 4 0 729931907 1258594304 219411 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=1229096 CPUtime=1122.04 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 497494 0 0 0 112055 149 0 0 25 0 4 0 729931907 1258594304 219411 33554432000 4194304 4650419 140737064228048 18446744073709551615 4367305 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=1229096 CPUtime=1122.29 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 374697 0 0 0 112100 129 0 0 25 0 4 0 729931907 1258594304 219411 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4473.3 Current children cumulated vsize (KiB) 1229096 [startup+1182.3 s] /proc/loadavg: 8.13 8.13 7.85 10/420 7659 /proc/meminfo: memFree=19804712/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=1229444 CPUtime=4712.44 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1893793 0 0 0 470619 625 0 0 25 0 4 0 729931906 1258950656 225312 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 307361 225312 394 112 0 302326 0 [pid=7618/tid=7621] ppid=7615 vsize=1229444 CPUtime=1165.81 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 487236 0 0 0 116420 161 0 0 25 0 4 0 729931907 1258950656 225312 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=1229444 CPUtime=1182.02 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 515619 0 0 0 118042 160 0 0 25 0 4 0 729931907 1258950656 225312 33554432000 4194304 4650419 140737064228048 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=1229444 CPUtime=1182.29 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 473614 0 0 0 118086 143 0 0 25 0 4 0 729931907 1258950656 225312 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4712.44 Current children cumulated vsize (KiB) 1229444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1204.3 s] /proc/loadavg: 8.27 8.16 7.87 10/420 7660 /proc/meminfo: memFree=19825048/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=1229632 CPUtime=4800.13 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1935188 0 0 0 479381 632 0 0 25 0 4 0 729931906 1259143168 219642 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476483 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 307408 219642 394 112 0 302373 0 [pid=7618/tid=7621] ppid=7615 vsize=1229632 CPUtime=1187.5 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 487260 0 0 0 118589 161 0 0 25 0 4 0 729931907 1259143168 219645 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=1229632 CPUtime=1204.03 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 519502 0 0 0 120240 163 0 0 25 0 4 0 729931907 1259143168 219645 33554432000 4194304 4650419 140737064228048 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=1229632 CPUtime=1204.31 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 511105 0 0 0 120283 148 0 0 25 0 4 0 729931907 1259143168 219645 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.13 Current children cumulated vsize (KiB) 1229632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1204.3 s] /proc/loadavg: 8.27 8.16 7.87 10/420 7660 /proc/meminfo: memFree=19825048/32950940 swapFree=67111356/67111528 [pid=7618] ppid=7615 vsize=1229632 CPUtime=4800.13 cores=0,2,4,6 /proc/7618/stat : 7618 (strangenight1-m) R 7615 7618 6790 0 -1 4202496 1935188 0 0 0 479381 632 0 0 25 0 4 0 729931906 1259143168 219642 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476483 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/7618/statm: 307408 219642 394 112 0 302373 0 [pid=7618/tid=7621] ppid=7615 vsize=1229632 CPUtime=1187.5 cores=0,2,4,6 /proc/7618/task/7621/stat : 7621 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 487260 0 0 0 118589 161 0 0 25 0 4 0 729931907 1259143168 219645 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7618/tid=7622] ppid=7615 vsize=1229632 CPUtime=1204.03 cores=0,2,4,6 /proc/7618/task/7622/stat : 7622 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 519502 0 0 0 120240 163 0 0 25 0 4 0 729931907 1259143168 219645 33554432000 4194304 4650419 140737064228048 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7618/tid=7623] ppid=7615 vsize=1229632 CPUtime=1204.31 cores=0,2,4,6 /proc/7618/task/7623/stat : 7623 (strangenight1-m) R 7615 7618 6790 0 -1 4202560 511105 0 0 0 120283 148 0 0 25 0 4 0 729931907 1259143168 219645 33554432000 4194304 4650419 140737064228048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.13 Current children cumulated vsize (KiB) 1229632 Child ended because it received signal 15 (SIGTERM) Real time (s): 1204.36 CPU time (s): 4800.23 CPU user time (s): 4793.86 CPU system time (s): 6.36503 CPU usage (%): 398.57 Max. virtual memory (cumulated for all children) (KiB): 1229632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4793.87 system time used= 6.36503 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1935192 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= 1768 involuntary context switches= 38784 runsolver used 4.67029 second user time and 12.1682 second system time The end
Begin job on node117 at 2011-05-14 20:16:51 IDJOB=3368544 IDBENCH=82553 IDSOLVER=1846 FILE ID=node117/3368544-1305397011 RUNJOBID= node117-1305397011-7601 PBS_JOBID= 13324438 Free space on /tmp= 73416 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368544-1305397011/watcher-3368544-1305397011 -o /tmp/evaluation-result-3368544-1305397011/solver-3368544-1305397011 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368544-1305397011.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b8c86006cc43f4ab8808ae984f8783c0 RANDOM SEED=1630560295 node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 21340600 kB Buffers: 296152 kB Cached: 3080064 kB SwapCached: 0 kB Active: 9379912 kB Inactive: 1875292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 21340600 kB SwapTotal: 67111528 kB SwapFree: 67111356 kB Dirty: 12592 kB Writeback: 0 kB AnonPages: 7878184 kB Mapped: 31556 kB Slab: 244224 kB PageTables: 44476 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 100411176 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= 73404 MiB End job on node117 at 2011-05-14 20:36:58