| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.26 | 1203.16 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf |
| MD5SUM | 01bef578d60d53fc18e9469f59ed2fd1 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 4.48732 |
| 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.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-3368633-1305399316.cnf' 0.00/0.01 c -- header says num vars: 5000 0.00/0.01 c -- header says num clauses: 21000 0.05/0.03 c -- clauses added: 0 learnts, 21000 normals, 0 xors 0.05/0.03 c -- vars added 5000 0.05/0.03 c Parsing time: 0.04 s 0.05/0.03 c N st 0 0 5000 21000 0 0 63000 0 no data no data -- 0.05/0.05 c asymm cl-useful: 0/21000/21000 lits-rem:0 time: 0.04 0.05/0.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.02 0.05/0.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.05/0.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.05/0.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5000 time: 0.00 s 0.05/0.07 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 0.05/0.50 c lits-rem: 0 cl-subs: 0 v-elim: 163 v-fix: 0 time: 0.14 s 0.05/0.50 c Finding binary XORs T: 0.00 s found: 0 0.05/0.50 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 0.05/0.50 c calculated reachability. Time: 0.00 0.05/0.50 c Calc default polars - time: 0.00 s pos: 2179 undec: 589 neg: 2232 0.05/0.50 c ========================================================================================= 0.05/0.50 c types(t): F = full restart, N = normal restart 0.05/0.50 c types(t): S = simplification begin/end, E = solution found 0.05/0.50 c restart types(rt): st = static, dy = dynamic 0.05/0.50 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.05/0.50 c B st 0 0 4837 20762 0 0 63212 0 no data no data -- 0.05/0.50 c N dy 18 4040 4837 20762 0 4040 63212 434906 63.89 69.80 -- 3.42/0.96 c N dy 45 8182 4837 20762 0 5683 63212 418539 64.69 68.39 -- 5.02/1.28 c N dy 73 12482 4837 20762 0 5735 63212 269607 65.66 69.24 -- 6.36/1.69 c N dy 98 16548 4837 20762 0 9801 63212 692580 65.49 89.93 -- 8.35/2.14 c N dy 124 20875 4837 20762 0 8508 63212 440663 65.57 69.03 -- 9.95/2.58 c N dy 151 24916 4837 20762 0 12548 63212 873060 66.30 71.74 -- 9.95/2.59 c F st 152 25001 4837 20762 0 12633 63212 878465 66.22 no data -- 12.33/3.13 c N dy 158 30000 4837 20762 0 10819 63212 598907 66.22 no data -- 12.33/3.13 c S st 158 30000 4837 20762 0 10819 63212 598907 66.22 no data -- 12.33/3.18 c S st 158 30501 4837 20762 0 11320 63212 640107 66.22 no data -- 12.33/3.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.33/3.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.73/3.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 12.73/3.24 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.73/3.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.73/3.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 12.73/3.25 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 23.11/5.81 c lits-rem: 52 cl-subs: 1 v-elim: 0 v-fix: 0 time: 10.21 s 23.11/5.84 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.10 23.11/5.84 c calculated reachability. Time: 0.00 23.11/5.84 c N dy 158 30501 4837 20762 0 11319 63212 640035 66.22 no data -- 25.10/6.33 c N dy 176 34698 4837 20762 0 15515 63212 1085418 65.91 70.26 -- 27.10/6.81 c N dy 201 38896 4837 20762 0 11804 63212 575949 66.35 70.31 -- 28.71/7.26 c N dy 221 43001 4837 20762 0 15909 63212 998917 66.01 70.00 -- 30.29/7.60 c S st 235 45754 4837 20762 0 9712 63212 242569 65.84 no data -- 30.29/7.65 c S st 235 46258 4837 20762 0 10216 63212 281069 65.84 no data -- 30.29/7.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 30.29/7.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 30.29/7.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 30.29/7.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 30.29/7.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 30.29/7.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 30.29/7.68 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 32.68/8.23 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 2.17 s 32.68/8.23 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 32.68/8.23 c vivif2 -- cl tried 10216 cl shrink 0 lits rem 0 time: 0.02 32.68/8.25 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.09 32.68/8.25 c calculated reachability. Time: 0.00 32.68/8.25 c N dy 235 46258 4837 20762 0 10216 63212 281068 65.84 no data -- 34.67/8.72 c N dy 261 50440 4837 20762 0 14398 63212 714027 66.01 72.10 -- 36.68/9.21 c N dy 286 54445 4837 20762 0 18403 63212 1131024 66.14 81.49 -- 38.67/9.70 c N dy 311 58539 4837 20762 0 12519 63212 426481 66.12 72.44 -- 40.25/10.19 c N dy 338 62753 4837 20762 0 16733 63212 868216 66.21 69.88 -- 43.05/10.82 c N dy 365 67557 4837 20762 0 21537 63212 1392023 66.26 70.60 -- 43.85/11.04 c S st 376 69388 4837 20762 0 12378 63212 310945 66.21 no data -- 44.25/11.10 c S st 376 69889 4837 20762 0 12879 63212 352821 66.21 no data -- 44.25/11.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 44.25/11.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 44.25/11.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 44.25/11.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 44.25/11.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 44.25/11.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 44.25/11.14 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 48.64/12.24 c lits-rem: 12 cl-subs: 0 v-elim: 0 v-fix: 0 time: 4.37 s 48.64/12.24 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 48.64/12.25 c vivif2 -- cl tried 12879 cl shrink 0 lits rem 0 time: 0.02 48.64/12.27 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.10 48.64/12.27 c calculated reachability. Time: 0.00 48.64/12.27 c N dy 376 69889 4837 20762 0 12879 63212 352809 66.21 no data -- 50.65/12.79 c N dy 403 74361 4837 20762 0 17351 63212 803800 66.07 82.16 -- 53.02/13.39 c N dy 433 79115 4837 20762 0 22104 63212 1297840 66.13 70.97 -- 55.81/14.05 c N dy 467 84340 4837 20762 0 15336 63212 525276 66.18 73.89 -- 57.42/14.44 c F st 487 87500 4837 20762 0 18494 63212 874303 66.24 57.59 -- 59.02/14.87 c N st 492 90797 4837 20762 0 21791 63212 1271136 66.24 no data -- 62.20/15.66 c N dy 520 96650 4837 20762 0 14650 63212 357846 66.27 75.33 -- 65.39/16.42 c N dy 558 102860 4837 20762 0 20860 63212 1009251 66.30 72.64 -- 66.19/16.68 c S st 564 104835 4837 20762 0 22835 63212 1212200 66.22 62.77 -- 66.59/16.75 c S st 564 105338 4837 20762 0 23338 63212 1248556 66.22 no data -- 66.59/16.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 66.59/16.76 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.59/16.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.09 66.99/16.85 c bin-w-bin subsume rem 0 bins time: 0.00 s 66.99/16.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 66.99/16.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 66.99/16.85 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 75.36/18.91 c lits-rem: 17 cl-subs: 4 v-elim: 0 v-fix: 0 time: 8.20 s 75.36/18.91 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 75.36/18.93 c vivif2 -- cl tried 23334 cl shrink 0 lits rem 0 time: 0.06 75.36/18.97 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.16 75.36/18.97 c calculated reachability. Time: 0.00 75.36/18.97 c N dy 564 105338 4837 20762 0 23334 63212 1247895 66.22 no data -- 78.95/19.88 c N dy 605 112093 4837 20762 0 16090 63212 404571 66.25 70.27 -- 82.94/20.82 c N dy 655 119275 4837 20762 0 23271 63212 1154685 66.39 71.27 -- 87.33/21.92 c N dy 703 127348 4837 20762 0 16346 63212 334167 66.43 70.19 -- 91.32/22.95 c N dy 762 135538 4837 20762 0 24533 63212 1188631 66.57 75.57 -- 96.51/24.20 c N dy 819 144276 4837 20762 0 17275 63212 335887 66.68 74.56 -- 101.30/25.42 c N dy 882 153587 4837 20762 0 26584 63212 1329533 66.87 70.42 -- 103.74/26.05 c S st 912 158009 4837 20762 0 31005 63212 1798013 66.96 no data -- 104.09/26.13 c S st 912 158514 4837 20762 0 31510 63212 1837369 66.96 no data -- 104.09/26.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.09/26.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.09/26.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 104.49/26.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 104.49/26.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 104.49/26.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 104.49/26.25 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 118.45/29.78 c lits-rem: 22 cl-subs: 5 v-elim: 0 v-fix: 0 time: 14.07 s 118.45/29.79 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 118.85/29.81 c vivif2 -- cl tried 31505 cl shrink 0 lits rem 0 time: 0.08 118.85/29.86 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.22 118.85/29.86 c calculated reachability. Time: 0.00 118.85/29.86 c N dy 912 158514 4837 20762 0 31505 63212 1836382 66.96 no data -- 124.44/31.29 c N dy 976 168725 4837 20762 0 24720 63212 1024070 67.02 70.56 -- 131.22/32.97 c N dy 1036 179775 4837 20762 0 35769 63212 2172923 66.93 70.65 -- 137.61/34.50 c N dy 1104 191289 4837 20762 0 29283 63212 1399220 66.91 77.77 -- 144.79/36.32 c N dy 1183 203554 4837 20762 0 22555 63212 588076 66.99 73.16 -- 152.01/38.19 c N dy 1259 216630 4837 20762 0 35629 63212 1950415 66.95 73.21 -- 160.37/40.23 c N dy 1346 230622 4837 20762 0 29616 63212 1229004 67.03 72.96 -- 164.77/41.32 c S st 1395 237773 4837 20762 0 36766 63212 1989513 67.12 65.30 -- 164.77/41.41 c S st 1395 238276 4837 20762 0 37269 63212 2031015 67.12 no data -- 165.18/41.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 165.18/41.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 165.18/41.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.12 165.54/41.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 165.54/41.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 165.54/41.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 165.54/41.53 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 179.90/45.10 c lits-rem: 8 cl-subs: 8 v-elim: 0 v-fix: 0 time: 14.20 s 179.90/45.10 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.01 179.90/45.12 c vivif2 -- cl tried 37261 cl shrink 0 lits rem 0 time: 0.09 179.90/45.18 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.25 179.90/45.19 c calculated reachability. Time: 0.00 179.90/45.19 c N dy 1395 238276 4837 20762 0 37261 63212 2029218 67.12 no data -- 189.08/47.42 c N dy 1486 253491 4837 20762 0 31481 63212 1314510 67.10 71.49 -- 199.05/49.97 c N dy 1581 269812 4837 20762 0 25802 63212 622341 67.04 71.23 -- 209.82/52.65 c N dy 1683 287099 4837 20762 0 43087 63212 2452265 67.06 70.84 -- 221.39/55.52 c N dy 1807 305654 4837 20762 0 38640 63212 1877707 67.15 71.10 -- 221.81/55.62 c F st 1811 306250 4837 20762 0 39236 63212 1940754 67.15 no data -- 233.76/58.63 c N dy 1897 325339 4837 20762 0 34320 63212 1310373 67.11 70.86 -- 246.92/61.98 c N dy 2032 345484 4837 20762 0 29466 63212 732904 67.20 71.40 -- 254.50/63.86 c S st 2101 357415 4837 20762 0 41395 63212 1987335 67.21 no data -- 254.90/63.96 c S st 2101 357920 4837 20762 0 41900 63212 2026212 67.21 no data -- 254.90/63.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 254.90/63.96 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 254.90/64.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.12 255.30/64.08 c bin-w-bin subsume rem 0 bins time: 0.01 s 255.30/64.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 255.30/64.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 255.30/64.08 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 271.66/68.18 c lits-rem: 5 cl-subs: 5 v-elim: 0 v-fix: 0 time: 16.35 s 271.66/68.18 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 272.06/68.21 c vivif2 -- cl tried 41895 cl shrink 0 lits rem 0 time: 0.10 272.06/68.28 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.28 272.06/68.28 c calculated reachability. Time: 0.00 272.06/68.28 c N dy 2101 357920 4837 20762 0 41895 63212 2025222 67.21 no data -- 286.02/71.78 c N dy 2230 378033 4837 20762 0 36018 63212 1310411 67.28 70.87 -- 300.39/75.37 c N dy 2358 398253 4837 20762 0 29234 63212 493141 67.33 71.76 -- 313.56/78.70 c N dy 2483 418266 4837 20762 0 49244 63212 2633340 67.39 71.51 -- 327.14/82.08 c N dy 2611 438271 4837 20762 0 41254 63212 1667782 67.43 72.24 -- 341.88/85.74 c N dy 2723 458341 4837 20762 0 32326 63212 636323 67.41 74.42 -- 355.85/89.21 c N dy 2851 478644 4837 20762 0 52626 63212 2808558 67.47 74.38 -- 370.21/92.86 c N dy 2984 498811 4837 20762 0 42795 63212 1640784 67.54 72.36 -- 385.77/96.78 c N dy 3101 519182 4837 20762 0 32161 63212 408277 67.55 71.25 -- 397.78/99.72 c S st 3200 536880 4837 20762 0 49857 63212 2279834 67.53 no data -- 398.14/99.83 c S st 3200 537386 4837 20762 0 50363 63212 2319077 67.53 no data -- 398.14/99.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 398.14/99.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 398.14/99.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.14 398.53/99.96 c bin-w-bin subsume rem 0 bins time: 0.00 s 398.53/99.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 398.53/99.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 398.53/99.96 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 421.28/105.69 c lits-rem: 6 cl-subs: 9 v-elim: 0 v-fix: 0 time: 22.80 s 421.28/105.69 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 421.68/105.72 c vivif2 -- cl tried 50354 cl shrink 0 lits rem 0 time: 0.11 422.08/105.80 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.33 422.08/105.80 c calculated reachability. Time: 0.00 422.08/105.80 c N dy 3200 537386 4837 20762 0 50354 63212 2317380 67.53 no data -- 437.27/109.67 c N dy 3326 557722 4837 20762 0 38694 63212 1006569 67.56 71.44 -- 452.40/113.44 c N dy 3455 577836 4837 20762 0 58807 63212 3139645 67.59 72.27 -- 467.58/117.22 c N dy 3587 597958 4837 20762 0 45933 63212 1663142 67.62 72.34 -- 483.92/121.31 c N dy 3708 618107 4837 20762 0 66080 63212 3804751 67.63 75.56 -- 498.30/124.96 c N dy 3832 638154 4837 20762 0 52126 63212 2225750 67.64 71.34 -- 515.86/129.31 c N dy 3945 658192 4837 20762 0 37170 63212 536544 67.64 72.20 -- 531.00/133.17 c N dy 4063 678316 4837 20762 0 57292 63212 2655539 67.63 72.02 -- 548.55/137.57 c N dy 4186 698448 4837 20762 0 41430 63212 887264 67.64 72.02 -- 564.92/141.61 c N dy 4304 718529 4837 20762 0 61508 63212 3004876 67.63 75.51 -- 582.10/145.95 c N dy 4420 738534 4837 20762 0 44510 63212 1116472 67.63 73.73 -- 598.83/150.16 c N dy 4543 758568 4837 20762 0 64544 63212 3214118 67.63 72.01 -- 616.39/154.58 c N dy 4674 778648 4837 20762 0 46618 63212 1228932 67.66 89.71 -- 633.54/158.82 c N dy 4787 798688 4837 20762 0 66656 63212 3358998 67.65 74.06 -- 640.72/160.68 c S st 4841 806079 4837 20762 0 74046 63212 4156921 67.68 no data -- 641.52/160.83 c S st 4841 806584 4837 20762 0 74551 63212 4196920 67.68 no data -- 641.52/160.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 641.52/160.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 641.52/160.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.22 642.32/161.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 642.32/161.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 642.32/161.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.01 s 642.32/161.07 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 890.48/223.23 c lits-rem: 1 cl-subs: 11 v-elim: 0 v-fix: 0 time: 247.68 s 890.48/223.23 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 890.48/223.28 c vivif2 -- cl tried 74540 cl shrink 0 lits rem 0 time: 0.20 891.29/223.41 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.52 891.29/223.41 c calculated reachability. Time: 0.00 891.29/223.41 c N dy 4841 806584 4837 20762 0 74540 63212 4195043 67.68 no data -- 906.89/227.39 c N dy 4973 826728 4837 20762 0 55693 63212 2109446 67.71 71.49 -- 925.19/231.97 c N dy 5102 846767 4837 20762 0 75728 63212 4250319 67.73 72.96 -- 941.57/236.06 c N dy 5224 866806 4837 20762 0 55769 63212 2002263 67.72 72.04 -- 959.90/240.63 c N dy 5338 886850 4837 20762 0 75809 63212 4136094 67.72 72.52 -- 976.68/244.90 c N dy 5464 906934 4837 20762 0 54894 63212 1810046 67.72 73.69 -- 995.41/249.56 c N dy 5582 927022 4837 20762 0 74981 63212 3952835 67.73 74.79 -- 1014.57/254.32 c N dy 5714 947119 4837 20762 0 53082 63212 1531744 67.76 72.22 -- 1033.32/259.03 c N dy 5839 967202 4837 20762 0 73163 63212 3660013 67.78 71.47 -- 1053.27/264.05 c N dy 5956 987316 4837 20762 0 50281 63212 1110063 67.77 71.50 -- 1072.03/268.73 c N dy 6079 1007938 4837 20762 0 70902 63212 3291293 67.78 71.97 -- 1093.57/274.16 c N dy 6213 1027952 4837 20762 0 46915 63212 662778 67.81 72.55 -- 1111.13/278.57 c N dy 6337 1048112 4837 20762 0 67073 63212 2780452 67.82 71.79 -- 1133.06/284.09 c N dy 6458 1068153 4837 20762 0 87114 63212 4895373 67.82 72.00 -- 1137.46/285.17 c F st 6481 1071875 4837 20762 0 45841 63212 463667 67.82 no data -- 1151.03/288.55 c N dy 6550 1088192 4837 20762 0 62155 63212 2275722 67.81 71.41 -- 1171.77/293.79 c N dy 6678 1108255 4837 20762 0 82217 63212 4401119 67.83 73.89 -- 1192.16/298.88 c N dy 6803 1128315 4837 20762 0 56275 63212 1475763 67.86 72.20 -- 1212.07/303.83 c N dy 6930 1148600 4837 20762 0 76560 63212 3645878 67.89 72.16 -- 1234.81/309.51 c N dy 7048 1168727 4837 20762 0 49688 63212 664109 67.89 71.91 -- 1252.76/314.02 c N dy 7168 1188862 4837 20762 0 69823 63212 2782094 67.88 71.58 -- 1274.71/319.57 c N dy 7294 1208933 4837 20762 0 89892 63212 4937237 67.92 79.20 -- 1275.91/319.88 c S st 7301 1209877 4837 20762 0 90835 63212 5040694 67.92 no data -- 1276.70/320.07 c S st 7301 1210377 4837 20762 0 91335 63212 5084066 67.92 no data -- 1276.70/320.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1276.70/320.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1277.10/320.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.27 1277.90/320.37 c bin-w-bin subsume rem 0 bins time: 0.01 s 1277.90/320.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1277.90/320.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.01 s 1277.90/320.37 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 1689.24/423.43 c lits-rem: 3 cl-subs: 12 v-elim: 0 v-fix: 0 time: 410.66 s 1689.24/423.43 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.01 1689.24/423.49 c vivif2 -- cl tried 91323 cl shrink 0 lits rem 0 time: 0.25 1690.04/423.66 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.68 1690.04/423.67 c calculated reachability. Time: 0.00 1690.04/423.67 c N dy 7301 1210377 4837 20762 0 91323 63212 5081337 67.92 no data -- 1709.20/428.40 c N dy 7423 1230396 4837 20762 0 63338 63212 2024999 67.93 95.95 -- 1728.73/433.38 c N dy 7552 1250470 4837 20762 0 83407 63212 4149204 67.94 74.40 -- 1750.28/438.78 c N dy 7681 1270539 4837 20762 0 54480 63212 983619 67.95 71.75 -- 1768.63/443.32 c N dy 7801 1290619 4837 20762 0 74559 63212 3140304 67.96 73.07 -- 1791.78/449.11 c N dy 7925 1310756 4837 20762 0 94695 63212 5281572 67.97 71.55 -- 1811.72/454.12 c N dy 8049 1330766 4837 20762 0 64710 63212 1955642 67.97 74.89 -- 1832.92/459.43 c N dy 8168 1350820 4837 20762 0 84763 63212 4100934 67.98 83.05 -- 1856.81/465.49 c N dy 8289 1370997 4837 20762 0 53946 63212 713873 67.98 71.71 -- 1875.97/470.27 c N dy 8412 1391228 4837 20762 0 74172 63212 2892622 68.00 71.67 -- 1899.90/476.27 c N dy 8554 1411473 4837 20762 0 94414 63212 5078126 68.03 73.85 -- 1922.25/481.82 c N dy 8677 1431500 4837 20762 0 62447 63212 1547887 68.05 74.16 -- 1942.99/487.07 c N dy 8802 1451534 4837 20762 0 82480 63212 3687917 68.06 72.36 -- 1968.14/493.35 c N dy 8931 1471614 4837 20762 0 102558 63212 5821959 68.08 74.55 -- 1988.08/498.34 c N dy 9050 1491615 4837 20762 0 69566 63212 2186485 68.09 81.94 -- 2010.03/503.87 c N dy 9176 1511695 4837 20762 0 89644 63212 4328533 68.09 72.15 -- 2035.96/510.37 c N dy 9304 1531876 4837 20762 0 55828 63212 616373 68.11 71.71 -- 2055.11/515.18 c N dy 9436 1551934 4837 20762 0 75883 63212 2759515 68.13 73.99 -- 2078.69/521.06 c N dy 9559 1572136 4837 20762 0 96084 63212 4927967 68.13 72.39 -- 2103.39/527.22 c N dy 9679 1592280 4837 20762 0 61231 63212 1104470 68.14 72.05 -- 2123.74/532.33 c N dy 9811 1612312 4837 20762 0 81262 63212 3223208 68.15 75.79 -- 2148.49/538.54 c N dy 9939 1632352 4837 20762 0 101297 63212 5370274 68.17 72.65 -- 2172.82/544.68 c N dy 10059 1653456 4837 20762 0 66402 63212 1539383 68.17 71.89 -- 2194.35/550.09 c N dy 10187 1673599 4837 20762 0 86545 63212 3676750 68.18 71.97 -- 2219.89/556.44 c N dy 10296 1693646 4837 20762 0 106590 63212 5827060 68.17 71.80 -- 2239.44/561.31 c S st 10410 1710378 4837 20762 0 66323 63212 1425522 68.19 no data -- 2239.84/561.46 c S st 10410 1710878 4837 20762 0 66823 63212 1465108 68.19 no data -- 2239.84/561.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2239.84/561.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2240.24/561.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.19 2240.24/561.58 c bin-w-bin subsume rem 0 bins time: 0.01 s 2240.24/561.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2240.24/561.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 2240.24/561.58 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 s 2255.40/565.35 c lits-rem: 21 cl-subs: 7 v-elim: 0 v-fix: 0 time: 15.00 s 2255.40/565.35 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 2255.40/565.37 c vivif2 -- cl tried 66816 cl shrink 0 lits rem 0 time: 0.08 2255.80/565.48 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.45 2255.80/565.49 c calculated reachability. Time: 0.00 2255.80/565.49 c N dy 10410 1710878 4837 20762 0 66816 63212 1463822 68.19 no data -- 2277.35/570.80 c N dy 10529 1730919 4837 20762 0 86856 63212 3615718 68.19 72.14 -- 2303.28/577.32 c N dy 10659 1751104 4837 20762 0 107040 63212 5753508 68.20 73.92 -- 2327.22/583.36 c N dy 10786 1771135 4837 20762 0 69075 63212 1622428 68.21 72.62 -- 2349.97/589.06 c N dy 10916 1791298 4837 20762 0 89235 63212 3785394 68.23 72.39 -- 2377.48/595.95 c N dy 11041 1811470 4837 20762 0 109404 63212 5933970 68.23 73.63 -- 2403.05/602.32 c N dy 11173 1832222 4837 20762 0 71160 63212 1748275 68.25 71.94 -- 2425.77/608.06 c N dy 11308 1852376 4837 20762 0 91310 63212 3909582 68.27 72.94 -- 2452.10/614.61 c N dy 11427 1872467 4837 20762 0 111400 63212 6061860 68.27 77.91 -- 2474.85/620.34 c N dy 11561 1892497 4837 20762 0 71436 63212 1680884 68.28 72.13 -- 2496.40/625.76 c N dy 11689 1912517 4837 20762 0 91450 63212 3833402 68.30 72.55 -- 2522.73/632.38 c N dy 11813 1933217 4837 20762 0 112147 63212 6055895 68.30 72.68 -- 2546.27/638.22 c N dy 11937 1953219 4837 20762 0 71152 63212 1565607 68.31 71.94 -- 2567.81/643.67 c N dy 12053 1973313 4837 20762 0 91243 63212 3717832 68.32 72.17 -- 2593.34/650.09 c N dy 12195 1993340 4837 20762 0 111266 63212 5875473 68.34 87.12 -- 2618.10/656.24 c N dy 12308 2013435 4837 20762 0 69371 63212 1263714 68.34 78.28 -- 2638.84/661.44 c N dy 12423 2033526 4837 20762 0 89457 63212 3411929 68.34 78.35 -- 2663.97/667.72 c N dy 12548 2053553 4837 20762 0 109482 63212 5596164 68.35 72.47 -- 2691.10/674.52 c N dy 12667 2073582 4837 20762 0 66521 63212 861877 68.36 72.29 -- 2711.44/679.62 c N dy 12804 2093634 4837 20762 0 86570 63212 3030178 68.38 72.20 -- 2735.78/685.78 c N dy 12931 2113847 4837 20762 0 106779 63212 5198321 68.40 74.39 -- 2764.91/693.04 c N dy 13059 2133903 4837 20762 0 126832 63212 7346300 68.41 73.02 -- 2785.30/698.14 c N dy 13194 2153946 4837 20762 0 82881 63212 2509888 68.42 73.47 -- 2809.20/704.16 c N dy 13330 2174046 4837 20762 0 102979 63212 4649545 68.43 72.30 -- 2837.14/711.18 c N dy 13456 2194198 4837 20762 0 123131 63212 6808095 68.43 72.75 -- 2857.48/716.20 c S st 13558 2210879 4837 20762 0 74813 63212 1532949 68.44 65.04 -- 2857.88/716.35 c S st 13558 2211382 4837 20762 0 75316 63212 1571022 68.44 no data -- 2857.88/716.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2857.88/716.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2858.28/716.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.20 2858.28/716.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 2858.28/716.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2858.28/716.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 2858.28/716.47 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2875.03/720.63 c lits-rem: 28 cl-subs: 2 v-elim: 0 v-fix: 0 time: 16.57 s 2875.03/720.63 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 2875.03/720.65 c vivif2 -- cl tried 75314 cl shrink 0 lits rem 0 time: 0.09 2875.43/720.77 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.48 2875.43/720.78 c calculated reachability. Time: 0.00 2875.43/720.78 c N dy 13558 2211382 4837 20762 0 75314 63212 1570824 68.44 no data -- 2897.38/726.24 c N dy 13684 2231454 4837 20762 0 95385 63212 3735994 68.45 85.78 -- 2923.31/732.71 c N dy 13814 2251469 4837 20762 0 115398 63212 5877835 68.46 73.62 -- 2951.24/739.79 c N dy 13948 2271502 4837 20762 0 69433 63212 858691 68.48 73.70 -- 2971.99/744.96 c N dy 14076 2291645 4837 20762 0 89573 63212 3032789 68.49 72.89 -- 2996.72/751.19 c N dy 14205 2311773 4837 20762 0 109694 63212 5177744 68.49 72.13 -- 3025.85/758.45 c N dy 14328 2331839 4837 20762 0 129757 63212 7342537 68.50 72.71 -- 3050.19/764.53 c N dy 14458 2352168 4837 20762 0 83095 63212 2223626 68.51 73.02 -- 3074.55/770.65 c N dy 14576 2372323 4837 20762 0 103247 63212 4379448 68.51 73.07 -- 3104.85/778.25 c N dy 14711 2392380 4837 20762 0 123302 63212 6541495 68.53 72.19 -- 3134.77/785.70 c N dy 14830 2412611 4837 20762 0 75539 63212 1310587 68.53 73.75 -- 3158.71/791.74 c N dy 14967 2432617 4837 20762 0 95542 63212 3465894 68.55 73.66 -- 3187.44/798.93 c N dy 15097 2452713 4837 20762 0 115635 63212 5593284 68.55 72.36 -- 3220.56/807.26 c N dy 15210 2472786 4837 20762 0 135706 63212 7755843 68.55 83.27 -- 3245.30/813.47 c N dy 15336 2492801 4837 20762 0 86728 63212 2432552 68.56 72.23 -- 3272.46/820.29 c N dy 15450 2512854 4837 20762 0 106779 63212 4575450 68.56 76.32 -- 3305.14/828.46 c N dy 15576 2532902 4837 20762 0 126822 63212 6717647 68.57 73.99 -- 3337.07/836.41 c N dy 15701 2552948 4837 20762 0 76871 63212 1243100 68.57 73.41 -- 3361.80/842.63 c N dy 15816 2573134 4837 20762 0 97055 63212 3400340 68.57 72.66 -- 3390.97/849.92 c N dy 15937 2593219 4837 20762 0 117137 63212 5554828 68.57 76.86 -- 3422.45/857.81 c N dy 16069 2613303 4837 20762 0 137219 63212 7708780 68.58 72.69 -- 3446.40/863.88 c N dy 16190 2633485 4837 20762 0 86412 63212 2170718 68.59 74.47 -- 3470.32/869.86 c N dy 16317 2653576 4837 20762 0 106499 63212 4289852 68.59 74.59 -- 3499.05/877.04 c N dy 16450 2673595 4837 20762 0 126517 63212 6449161 68.60 73.10 -- 3530.18/884.89 c N dy 16579 2693650 4837 20762 0 74579 63212 812760 68.61 73.41 -- 3549.33/889.69 c S st 16684 2711385 4837 20762 0 92313 63212 2702351 68.61 69.08 -- 3550.13/889.87 c S st 16684 2711889 4837 20762 0 92817 63212 2744541 68.61 no data -- 3550.13/889.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3550.13/889.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3550.52/889.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.25 3550.92/890.05 c bin-w-bin subsume rem 0 bins time: 0.01 s 3550.92/890.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3550.92/890.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 3550.92/890.05 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3598.81/902.01 c lits-rem: 3 cl-subs: 3 v-elim: 0 v-fix: 0 time: 47.68 s 3598.81/902.02 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 3598.81/902.05 c vivif2 -- cl tried 92814 cl shrink 0 lits rem 0 time: 0.14 3599.61/902.21 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.62 3599.61/902.21 c calculated reachability. Time: 0.00 3599.61/902.21 c N dy 16684 2711889 4837 20762 0 92814 63212 2744109 68.61 no data -- 3624.74/908.52 c N dy 16813 2731976 4837 20762 0 112898 63212 4909190 68.62 72.49 -- 3653.88/915.88 c N dy 16937 2752071 4837 20762 0 132992 63212 7063779 68.62 73.30 -- 3682.59/923.01 c N dy 17061 2772106 4837 20762 0 80037 63212 1296575 68.62 73.67 -- 3704.94/928.63 c N dy 17179 2792126 4837 20762 0 100051 63212 3408944 68.62 73.20 -- 3731.67/935.36 c N dy 17302 2812185 4837 20762 0 120108 63212 5547688 68.62 73.69 -- 3762.79/943.19 c N dy 17414 2832542 4837 20762 0 140463 63212 7729314 68.63 74.09 -- 3789.13/949.72 c N dy 17535 2852808 4837 20762 0 86735 63212 1918716 68.63 73.90 -- 3813.05/955.75 c N dy 17656 2872904 4837 20762 0 106828 63212 4076542 68.64 73.03 -- 3841.79/962.93 c N dy 17784 2892982 4837 20762 0 126906 63212 6219606 68.64 72.46 -- 3874.50/971.18 c N dy 17907 2913082 4837 20762 0 147003 63212 8371641 68.65 73.04 -- 3898.45/977.13 c N dy 18037 2933274 4837 20762 0 92206 63212 2359255 68.65 72.50 -- 3923.58/983.48 c N dy 18168 2953313 4837 20762 0 112242 63212 4521519 68.66 74.96 -- 3953.50/990.99 c N dy 18304 2973346 4837 20762 0 132272 63212 6681654 68.67 73.88 -- 3988.21/999.60 c N dy 18429 2993393 4837 20762 0 76326 63212 591838 68.68 76.19 -- 4009.79/1005.01 c N dy 18548 3013439 4837 20762 0 96366 63212 2729682 68.68 87.70 -- 4036.13/1011.61 c N dy 18674 3033641 4837 20762 0 116565 63212 4909614 68.69 72.72 -- 4066.85/1019.32 c N dy 18804 3053718 4837 20762 0 136638 63212 7060388 68.69 73.69 -- 4103.92/1028.62 c N dy 18931 3073811 4837 20762 0 79743 63212 866075 68.70 73.15 -- 4130.65/1035.33 c N dy 19067 3093896 4837 20762 0 99827 63212 3026622 68.71 83.25 -- 4162.58/1043.34 c N dy 19193 3114081 4837 20762 0 120012 63212 5205473 68.72 73.36 -- 4199.68/1052.64 c N dy 19322 3134202 4837 20762 0 140132 63212 7359876 68.73 73.11 -- 4238.02/1062.23 c N dy 19449 3154226 4837 20762 0 82166 63212 1005740 68.73 76.62 -- 4264.71/1068.96 c N dy 19572 3174270 4837 20762 0 102208 63212 3175174 68.74 73.66 -- 4297.43/1077.10 c N dy 19701 3194399 4837 20762 0 122333 63212 5313251 68.74 73.14 -- 4329.78/1085.27 c S st 19808 3211889 4837 20762 0 139823 63212 7203193 68.75 65.67 -- 4330.95/1085.59 c S st 19808 3212391 4837 20762 0 140325 63212 7241117 68.75 no data -- 4331.35/1085.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4331.35/1085.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4331.75/1085.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.45 4332.94/1086.07 c bin-w-bin subsume rem 0 bins time: 0.01 s 4332.94/1086.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4332.94/1086.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.01 s 4332.94/1086.07 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-3368633-1305399316/watcher-3368633-1305399316 -o /tmp/evaluation-result-3368633-1305399316/solver-3368633-1305399316 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368633-1305399316.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.49 7.88 6.85 7/317 9875 /proc/meminfo: memFree=22930444/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=51236 CPUtime=0.01 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 730162043 52465664 352 33554432000 4194304 4650419 140736977217824 18446744073709551615 47990633199538 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 12809 352 303 112 0 7774 0 [pid=9875/tid=9876] ppid=9873 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730162043 52465664 352 33554432000 4194304 4650419 140736977217824 18446744073709551615 47990633199538 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730162043 52465664 352 33554432000 4194304 4650419 140736977217824 18446744073709551615 47990633199538 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730162043 52465664 352 33554432000 4194304 4650419 140736977217824 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.0208191 s] /proc/loadavg: 7.49 7.88 6.85 7/317 9875 /proc/meminfo: memFree=22930444/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=285368 CPUtime=0.05 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) S 9873 9875 9737 0 -1 4202496 3244 0 0 0 5 0 0 0 18 0 4 0 730162043 292216832 2793 33554432000 4194304 4650419 140736977217824 18446744073709551615 252458170862 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 71377 2854 343 112 0 66342 0 [pid=9875/tid=9876] ppid=9873 vsize=285508 CPUtime=0.01 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 742 0 0 0 1 0 0 0 18 0 4 0 730162043 292360192 2869 33554432000 4194304 4650419 140736977217824 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=285508 CPUtime=0.01 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) S 9873 9875 9737 0 -1 4202560 862 0 0 0 1 0 0 0 18 0 4 0 730162043 292360192 2883 33554432000 4194304 4650419 140736977217824 18446744073709551615 252458170862 0 0 4096 2 18446604452982053760 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=285508 CPUtime=0 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) S 9873 9875 9737 0 -1 4202560 577 0 0 0 0 0 0 0 18 0 4 0 730162043 292360192 2900 33554432000 4194304 4650419 140736977217824 18446744073709551615 252458170862 0 0 4096 2 18446604452982053760 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 285368 [startup+0.865657 s] /proc/loadavg: 7.49 7.88 6.85 7/317 9875 /proc/meminfo: memFree=22930444/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=290516 CPUtime=3.42 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 12418 0 0 0 338 4 0 0 19 0 4 0 730162043 297488384 8282 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 72629 8282 392 112 0 67594 0 [pid=9875/tid=9876] ppid=9873 vsize=290516 CPUtime=0.85 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 3313 0 0 0 84 1 0 0 18 0 4 0 730162043 297488384 8282 33554432000 4194304 4650419 140736977217824 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=290516 CPUtime=0.85 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 3455 0 0 0 85 0 0 0 18 0 4 0 730162043 297488384 8282 33554432000 4194304 4650419 140736977217824 18446744073709551615 4334343 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=290516 CPUtime=0.83 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 2109 0 0 0 83 0 0 0 19 0 4 0 730162043 297488384 8282 33554432000 4194304 4650419 140736977217824 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.42 Current children cumulated vsize (KiB) 290516 [startup+0.965639 s] /proc/loadavg: 7.49 7.88 6.85 7/317 9875 /proc/meminfo: memFree=22930444/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=290516 CPUtime=3.82 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 12905 0 0 0 378 4 0 0 19 0 4 0 730162043 297488384 8769 33554432000 4194304 4650419 140736977217824 18446744073709551615 4367287 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 72629 8769 392 112 0 67594 0 [pid=9875/tid=9876] ppid=9873 vsize=290516 CPUtime=0.95 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 3430 0 0 0 94 1 0 0 19 0 4 0 730162043 297488384 8769 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363371 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=290516 CPUtime=0.95 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 3562 0 0 0 95 0 0 0 19 0 4 0 730162043 297488384 8769 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=290516 CPUtime=0.93 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 2227 0 0 0 93 0 0 0 19 0 4 0 730162043 297488384 8769 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 290516 [startup+1.06562 s] /proc/loadavg: 7.49 7.88 6.85 7/317 9875 /proc/meminfo: memFree=22930444/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=290648 CPUtime=4.22 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 13348 0 0 0 418 4 0 0 19 0 4 0 730162043 297623552 9212 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 72662 9213 392 112 0 67627 0 [pid=9875/tid=9876] ppid=9873 vsize=290648 CPUtime=1.05 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 3538 0 0 0 104 1 0 0 19 0 4 0 730162043 297623552 9213 33554432000 4194304 4650419 140736977217824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=290648 CPUtime=1.05 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 3683 0 0 0 105 0 0 0 19 0 4 0 730162043 297623552 9213 33554432000 4194304 4650419 140736977217824 18446744073709551615 4367372 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=290648 CPUtime=1.04 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 2333 0 0 0 103 1 0 0 19 0 4 0 730162043 297623552 9213 33554432000 4194304 4650419 140736977217824 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 290648 [startup+1.50054 s] /proc/loadavg: 7.49 7.88 6.85 7/317 9875 /proc/meminfo: memFree=22930444/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=291320 CPUtime=5.96 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 16483 0 0 0 591 5 0 0 20 0 4 0 730162043 298311680 8801 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 72830 8801 392 112 0 67795 0 [pid=9875/tid=9876] ppid=9873 vsize=291320 CPUtime=1.49 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 4313 0 0 0 148 1 0 0 19 0 4 0 730162043 298311680 8801 33554432000 4194304 4650419 140736977217824 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=291320 CPUtime=1.49 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 4504 0 0 0 148 1 0 0 19 0 4 0 730162043 298311680 8801 33554432000 4194304 4650419 140736977217824 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=291320 CPUtime=1.47 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 3094 0 0 0 146 1 0 0 20 0 4 0 730162043 298311680 8801 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 291320 [startup+3.10024 s] /proc/loadavg: 7.49 7.88 6.85 9/321 9879 /proc/meminfo: memFree=22870624/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=292560 CPUtime=12.33 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 25951 0 0 0 1226 7 0 0 25 0 4 0 730162043 299581440 9733 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363493 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 73140 9733 393 112 0 68105 0 [pid=9875/tid=9876] ppid=9873 vsize=292560 CPUtime=3.09 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 6696 0 0 0 307 2 0 0 25 0 4 0 730162043 299581440 9733 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=292560 CPUtime=3.09 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 6828 0 0 0 308 1 0 0 25 0 4 0 730162043 299581440 9733 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=292560 CPUtime=3.05 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 5443 0 0 0 303 2 0 0 25 0 4 0 730162043 299581440 9733 33554432000 4194304 4650419 140736977217824 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.33 Current children cumulated vsize (KiB) 292560 [startup+6.30065 s] /proc/loadavg: 7.53 7.89 6.85 9/321 9880 /proc/meminfo: memFree=22750352/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=314792 CPUtime=25.1 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 49569 0 0 0 2498 12 0 0 25 0 4 0 730162043 322347008 26657 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 78698 26657 394 112 0 73663 0 [pid=9875/tid=9876] ppid=9873 vsize=314792 CPUtime=6.29 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 11076 0 0 0 626 3 0 0 25 0 4 0 730162043 322347008 26657 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=314792 CPUtime=6.29 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 14580 0 0 0 627 2 0 0 25 0 4 0 730162043 322347008 26657 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=314792 CPUtime=6.21 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 12908 0 0 0 618 3 0 0 25 0 4 0 730162043 322347008 26657 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 314792 [startup+12.7005 s] /proc/loadavg: 7.57 7.89 6.86 9/321 9880 /proc/meminfo: memFree=22664712/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=316244 CPUtime=50.65 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 83242 0 0 0 5046 19 0 0 25 0 4 0 730162043 323833856 37445 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 79061 37445 394 112 0 74026 0 [pid=9875/tid=9876] ppid=9873 vsize=316244 CPUtime=12.7 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 21113 0 0 0 1265 5 0 0 25 0 4 0 730162043 323833856 37671 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=316244 CPUtime=12.69 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 25205 0 0 0 1266 3 0 0 25 0 4 0 730162043 323833856 37671 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=316244 CPUtime=12.55 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 19775 0 0 0 1250 5 0 0 25 0 4 0 730162043 323833856 37671 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 316244 [startup+25.5011 s] /proc/loadavg: 7.66 7.89 6.88 9/321 9880 /proc/meminfo: memFree=22572184/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=391056 CPUtime=101.7 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 137122 0 0 0 10140 30 0 0 25 0 4 0 730162043 400441344 55132 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 97764 55132 394 112 0 92729 0 [pid=9875/tid=9876] ppid=9873 vsize=391056 CPUtime=25.48 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 34800 0 0 0 2541 7 0 0 25 0 4 0 730162043 400441344 55132 33554432000 4194304 4650419 140736977217824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=391056 CPUtime=25.48 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 36595 0 0 0 2542 6 0 0 25 0 4 0 730162043 400441344 55132 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=391056 CPUtime=25.22 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 33526 0 0 0 2514 8 0 0 25 0 4 0 730162043 400441344 55132 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 391056 [startup+51.1003 s] /proc/loadavg: 7.85 7.91 6.91 10/321 9881 /proc/meminfo: memFree=22493024/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=441116 CPUtime=203.84 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 210816 0 0 0 20336 48 0 0 25 0 4 0 730162043 451702784 65226 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363556 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 110279 65226 394 112 0 105244 0 [pid=9875/tid=9876] ppid=9873 vsize=441116 CPUtime=51.09 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 55466 0 0 0 5096 13 0 0 25 0 4 0 730162043 451702784 65226 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=441116 CPUtime=51.08 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 50897 0 0 0 5099 9 0 0 25 0 4 0 730162043 451702784 65226 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=441116 CPUtime=50.57 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 51942 0 0 0 5044 13 0 0 25 0 4 0 730162043 451702784 65226 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 203.84 Current children cumulated vsize (KiB) 441116 [startup+102.301 s] /proc/loadavg: 8.05 7.96 6.98 10/321 9882 /proc/meminfo: memFree=22432116/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=511512 CPUtime=408.11 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 338902 0 0 0 40730 81 0 0 25 0 4 0 730162043 523788288 74707 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9875/statm: 127878 74707 394 112 0 122843 0 [pid=9875/tid=9876] ppid=9873 vsize=511512 CPUtime=102.29 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 88558 0 0 0 10207 22 0 0 25 0 4 0 730162043 523788288 74707 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=511512 CPUtime=102.28 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 85470 0 0 0 10209 19 0 0 25 0 4 0 730162043 523788288 74707 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=511512 CPUtime=101.24 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 81375 0 0 0 10103 21 0 0 25 0 4 0 730162043 523788288 74707 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.11 Current children cumulated vsize (KiB) 511512 [startup+162.301 s] ################ # More data... # ################ [pid=9875] ppid=9873 vsize=912712 CPUtime=2562.61 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1170050 0 0 0 255901 360 0 0 25 0 4 0 730162043 934617088 161634 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 228178 161634 394 112 0 223143 0 [pid=9875/tid=9876] ppid=9873 vsize=912712 CPUtime=642.27 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 341067 0 0 0 64120 107 0 0 25 0 4 0 730162043 934617088 161634 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=912712 CPUtime=642.28 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 262364 0 0 0 64148 80 0 0 25 0 4 0 730162043 934617088 161634 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=912712 CPUtime=639.95 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 305263 0 0 0 63903 92 0 0 25 0 4 0 730162043 934617088 161634 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2562.61 Current children cumulated vsize (KiB) 912712 [startup+702.3 s] /proc/loadavg: 8.08 8.08 7.50 10/321 9907 /proc/meminfo: memFree=21849872/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=962832 CPUtime=2802.02 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1248605 0 0 0 279815 387 0 0 25 0 4 0 730162043 985939968 163572 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 240708 163572 394 112 0 235673 0 [pid=9875/tid=9876] ppid=9873 vsize=962832 CPUtime=702.28 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 365634 0 0 0 70112 116 0 0 25 0 4 0 730162043 985939968 163572 33554432000 4194304 4650419 140736977217824 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=962832 CPUtime=702.28 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 280438 0 0 0 70142 86 0 0 25 0 4 0 730162043 985939968 163572 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=962832 CPUtime=699.95 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 320311 0 0 0 69897 98 0 0 25 0 4 0 730162043 985939968 163572 33554432000 4194304 4650419 140736977217824 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2802.02 Current children cumulated vsize (KiB) 962832 [startup+762.301 s] /proc/loadavg: 8.11 8.09 7.54 10/321 9909 /proc/meminfo: memFree=21794536/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=916232 CPUtime=3041.42 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1322897 0 0 0 303727 415 0 0 25 0 4 0 730162043 938221568 171198 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 229058 171198 394 112 0 224023 0 [pid=9875/tid=9876] ppid=9873 vsize=916232 CPUtime=762.28 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 387306 0 0 0 76103 125 0 0 25 0 4 0 730162043 938221568 171198 33554432000 4194304 4650419 140736977217824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=916232 CPUtime=762.29 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 293464 0 0 0 76138 91 0 0 25 0 4 0 730162043 938221568 171198 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=916232 CPUtime=759.94 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 340275 0 0 0 75889 105 0 0 25 0 4 0 730162043 938221568 171198 33554432000 4194304 4650419 140736977217824 18446744073709551615 4330778 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3041.42 Current children cumulated vsize (KiB) 916232 [startup+822.301 s] /proc/loadavg: 8.11 8.10 7.58 10/321 9910 /proc/meminfo: memFree=21789416/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=1034636 CPUtime=3280.83 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1427723 0 0 0 327642 441 0 0 25 0 4 0 730162043 1059467264 169797 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 258659 169797 394 112 0 253624 0 [pid=9875/tid=9876] ppid=9873 vsize=1034636 CPUtime=822.28 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 465633 0 0 0 82091 137 0 0 25 0 4 0 730162043 1059467264 169797 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=1034636 CPUtime=822.3 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 293637 0 0 0 82139 91 0 0 25 0 4 0 730162043 1059467264 169797 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=1034636 CPUtime=819.95 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 350236 0 0 0 81885 110 0 0 25 0 4 0 730162043 1059467264 169797 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3280.83 Current children cumulated vsize (KiB) 1034636 [startup+882.301 s] /proc/loadavg: 8.11 8.11 7.61 9/321 9912 /proc/meminfo: memFree=21727268/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=1035540 CPUtime=3520.2 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1575183 0 0 0 351549 471 0 0 25 0 4 0 730162043 1060392960 184172 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 258885 184172 394 112 0 253850 0 [pid=9875/tid=9876] ppid=9873 vsize=1035540 CPUtime=882.28 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 579939 0 0 0 88072 156 0 0 25 0 4 0 730162043 1060392960 184172 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=1035540 CPUtime=882.29 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 304157 0 0 0 88134 95 0 0 25 0 4 0 730162043 1060392960 184172 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=1035540 CPUtime=879.94 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 359206 0 0 0 87881 113 0 0 25 0 4 0 730162043 1060392960 184172 33554432000 4194304 4650419 140736977217824 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3520.2 Current children cumulated vsize (KiB) 1035540 [startup+942.312 s] /proc/loadavg: 8.07 8.10 7.64 9/321 9913 /proc/meminfo: memFree=21588484/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=999812 CPUtime=3759.63 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1644178 0 0 0 375465 498 0 0 25 0 4 0 730162043 1023807488 183499 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 249953 183499 394 112 0 244918 0 [pid=9875/tid=9876] ppid=9873 vsize=999812 CPUtime=942.29 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 601365 0 0 0 94064 165 0 0 25 0 4 0 730162043 1023807488 183499 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=999812 CPUtime=942.31 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 320577 0 0 0 94128 103 0 0 25 0 4 0 730162043 1023807488 183499 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=999812 CPUtime=939.95 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 376320 0 0 0 93877 118 0 0 25 0 4 0 730162043 1023807488 183499 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3759.63 Current children cumulated vsize (KiB) 999812 [startup+1002.3 s] /proc/loadavg: 8.09 8.11 7.67 9/321 9915 /proc/meminfo: memFree=21627888/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=951592 CPUtime=3998.98 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1717096 0 0 0 399373 525 0 0 25 0 4 0 730162043 974430208 174370 33554432000 4194304 4650419 140736977217824 18446744073709551615 4328119 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 237898 174370 394 112 0 232863 0 [pid=9875/tid=9876] ppid=9873 vsize=951592 CPUtime=1002.28 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 622288 0 0 0 100055 173 0 0 25 0 4 0 730162043 974430208 174370 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=951592 CPUtime=1002.3 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 338284 0 0 0 100120 110 0 0 25 0 4 0 730162043 974430208 174370 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=951592 CPUtime=999.94 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 394452 0 0 0 99870 124 0 0 25 0 4 0 730162043 974430208 174370 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3998.98 Current children cumulated vsize (KiB) 951592 [startup+1062.3 s] /proc/loadavg: 8.10 8.10 7.69 9/321 9917 /proc/meminfo: memFree=21476188/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=1113468 CPUtime=4238.38 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1827345 0 0 0 423282 556 0 0 25 0 4 0 730162043 1140191232 214408 33554432000 4194304 4650419 140736977217824 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 278367 214408 394 112 0 273332 0 [pid=9875/tid=9876] ppid=9873 vsize=1113468 CPUtime=1062.28 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 646326 0 0 0 106049 179 0 0 25 0 4 0 730162043 1140191232 214408 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=1113468 CPUtime=1062.29 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 344294 0 0 0 106116 113 0 0 25 0 4 0 730162043 1140191232 214408 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=1113468 CPUtime=1059.94 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 458637 0 0 0 105860 134 0 0 25 0 4 0 730162043 1140191232 214408 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4238.38 Current children cumulated vsize (KiB) 1113468 [startup+1122.3 s] /proc/loadavg: 8.10 8.10 7.71 9/321 9918 /proc/meminfo: memFree=21432384/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=1163724 CPUtime=4477.78 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1926514 0 0 0 447205 573 0 0 25 0 4 0 730162043 1191653376 225328 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 290931 225328 394 112 0 285896 0 [pid=9875/tid=9876] ppid=9873 vsize=1163724 CPUtime=1122.28 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 646326 0 0 0 112049 179 0 0 25 0 4 0 730162043 1191653376 225328 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=1163724 CPUtime=1122.29 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 347883 0 0 0 112115 114 0 0 25 0 4 0 730162043 1191653376 225328 33554432000 4194304 4650419 140736977217824 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=1163724 CPUtime=1119.94 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 498407 0 0 0 111854 140 0 0 25 0 4 0 730162043 1191653376 225328 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4477.78 Current children cumulated vsize (KiB) 1163724 [startup+1182.3 s] /proc/loadavg: 8.17 8.11 7.74 9/321 9920 /proc/meminfo: memFree=21419460/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=1229604 CPUtime=4717.16 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1944713 0 0 0 471134 582 0 0 25 0 4 0 730162043 1259114496 231148 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 307401 231148 394 112 0 302366 0 [pid=9875/tid=9876] ppid=9873 vsize=1229604 CPUtime=1182.28 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 646326 0 0 0 118049 179 0 0 25 0 4 0 730162043 1259114496 231148 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=1229604 CPUtime=1182.29 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 365939 0 0 0 118106 123 0 0 25 0 4 0 730162043 1259114496 231148 33554432000 4194304 4650419 140736977217824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=1229604 CPUtime=1179.94 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 498407 0 0 0 117854 140 0 0 25 0 4 0 730162043 1259114496 231148 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4717.16 Current children cumulated vsize (KiB) 1229604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.1 s] /proc/loadavg: 8.12 8.10 7.74 5/316 9921 /proc/meminfo: memFree=22041724/32951124 swapFree=59305796/67111528 [pid=9875] ppid=9873 vsize=1164264 CPUtime=4800.18 cores=0,2,4,6 /proc/9875/stat : 9875 (strangenight1-m) R 9873 9875 9737 0 -1 4202496 1951303 0 0 0 479432 586 0 0 25 0 4 0 730162043 1192206336 224405 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/9875/statm: 291066 224405 394 112 0 286031 0 [pid=9875/tid=9876] ppid=9873 vsize=1164264 CPUtime=1203.09 cores=0,2,4,6 /proc/9875/task/9876/stat : 9876 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 646326 0 0 0 120130 179 0 0 25 0 4 0 730162043 1192206336 224407 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9875/tid=9877] ppid=9873 vsize=1164264 CPUtime=1203.11 cores=0,2,4,6 /proc/9875/task/9877/stat : 9877 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 372531 0 0 0 120184 127 0 0 25 0 4 0 730162043 1192206336 224407 33554432000 4194304 4650419 140736977217824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=9875/tid=9878] ppid=9873 vsize=1164264 CPUtime=1200.76 cores=0,2,4,6 /proc/9875/task/9878/stat : 9878 (strangenight1-m) R 9873 9875 9737 0 -1 4202560 498407 0 0 0 119936 140 0 0 25 0 4 0 730162043 1192206336 224407 33554432000 4194304 4650419 140736977217824 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.18 Current children cumulated vsize (KiB) 1164264 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.16 CPU time (s): 4800.26 CPU user time (s): 4794.36 CPU system time (s): 5.9011 CPU usage (%): 398.973 Max. virtual memory (cumulated for all children) (KiB): 1229604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4794.36 system time used= 5.9011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1951307 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= 2259 involuntary context switches= 24714 runsolver used 3.45047 second user time and 8.61069 second system time The end
Begin job on node111 at 2011-05-14 20:55:16 IDJOB=3368633 IDBENCH=82642 IDSOLVER=1846 FILE ID=node111/3368633-1305399316 RUNJOBID= node111-1305398110-9755 PBS_JOBID= 13324478 Free space on /tmp= 73668 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368633-1305399316/watcher-3368633-1305399316 -o /tmp/evaluation-result-3368633-1305399316/solver-3368633-1305399316 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368633-1305399316.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01bef578d60d53fc18e9469f59ed2fd1 RANDOM SEED=188214461 node111.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 : 5428.12 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.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.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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 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.67 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 : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22930972 kB Buffers: 260068 kB Cached: 6500732 kB SwapCached: 13720 kB Active: 936836 kB Inactive: 8868656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22930972 kB SwapTotal: 67111528 kB SwapFree: 59305796 kB Dirty: 12836 kB Writeback: 0 kB AnonPages: 3040088 kB Mapped: 13232 kB Slab: 114708 kB PageTables: 36008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 53408136 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= 73668 MiB End job on node111 at 2011-05-14 21:15:21