| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.2 | 1201.75 |
| 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.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-3175024-1304078125.cnf' 0.00/0.00 c -- header says num vars: 5000 0.00/0.00 c -- header says num clauses: 21000 0.00/0.03 c -- clauses added: 0 learnts, 21000 normals, 0 xors 0.00/0.03 c -- vars added 5000 0.00/0.03 c Parsing time: 0.04 s 0.00/0.03 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.05 0.13/0.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.02 0.13/0.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.13/0.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.13/0.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5000 time: 0.00 s 0.13/0.05 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3.18/0.80 c lits-rem: 0 cl-subs: 0 v-elim: 163 v-fix: 0 time: 0.13 s 3.18/0.80 c Finding binary XORs T: 0.00 s found: 0 3.18/0.80 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 3.18/0.80 c calculated reachability. Time: 0.00 3.18/0.80 c Calc default polars - time: 0.00 s pos: 2179 undec: 589 neg: 2232 3.18/0.80 c ========================================================================================= 3.18/0.80 c types(t): F = full restart, N = normal restart 3.18/0.80 c types(t): S = simplification begin/end, E = solution found 3.18/0.80 c restart types(rt): st = static, dy = dynamic 3.18/0.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.18/0.80 c B st 0 0 4837 20762 0 0 63212 0 no data no data -- 3.18/0.80 c N dy 18 4040 4837 20762 0 4040 63212 434906 63.89 69.80 -- 3.58/0.90 c N dy 45 8182 4837 20762 0 5683 63212 418539 64.69 68.39 -- 4.77/1.26 c N dy 73 12482 4837 20762 0 5735 63212 269607 65.66 69.24 -- 6.37/1.66 c N dy 98 16548 4837 20762 0 9801 63212 692580 65.49 89.93 -- 8.39/2.11 c N dy 124 20875 4837 20762 0 8508 63212 440663 65.57 69.03 -- 9.96/2.54 c N dy 151 24916 4837 20762 0 12548 63212 873060 66.30 71.74 -- 9.96/2.55 c F st 152 25001 4837 20762 0 12633 63212 878465 66.22 no data -- 11.96/3.09 c N dy 158 30000 4837 20762 0 10819 63212 598907 66.22 no data -- 11.96/3.09 c S st 158 30000 4837 20762 0 10819 63212 598907 66.22 no data -- 12.36/3.14 c S st 158 30501 4837 20762 0 11320 63212 640107 66.22 no data -- 12.36/3.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.36/3.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.36/3.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 12.36/3.19 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.36/3.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.36/3.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 12.36/3.19 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 22.34/5.67 c lits-rem: 52 cl-subs: 1 v-elim: 0 v-fix: 0 time: 9.83 s 22.34/5.69 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.11 22.34/5.70 c calculated reachability. Time: 0.00 22.34/5.70 c N dy 158 30501 4837 20762 0 11319 63212 640035 66.22 no data -- 24.34/6.18 c N dy 176 34698 4837 20762 0 15515 63212 1085418 65.91 70.26 -- 26.36/6.65 c N dy 201 38896 4837 20762 0 11804 63212 575949 66.35 70.31 -- 28.33/7.11 c N dy 221 43001 4837 20762 0 15909 63212 998917 66.01 70.00 -- 29.53/7.44 c S st 235 45754 4837 20762 0 9712 63212 242569 65.84 no data -- 29.53/7.49 c S st 235 46258 4837 20762 0 10216 63212 281069 65.84 no data -- 29.53/7.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 29.53/7.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.93/7.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 29.93/7.52 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.93/7.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.93/7.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 29.93/7.52 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 31.93/8.06 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 2.13 s 31.93/8.06 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 31.93/8.06 c vivif2 -- cl tried 10216 cl shrink 0 lits rem 0 time: 0.02 31.93/8.09 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.08 31.93/8.09 c calculated reachability. Time: 0.00 31.93/8.09 c N dy 235 46258 4837 20762 0 10216 63212 281068 65.84 no data -- 33.93/8.54 c N dy 261 50440 4837 20762 0 14398 63212 714027 66.01 72.10 -- 35.93/9.03 c N dy 286 54445 4837 20762 0 18403 63212 1131024 66.14 81.49 -- 37.92/9.51 c N dy 311 58539 4837 20762 0 12519 63212 426481 66.12 72.44 -- 39.92/10.00 c N dy 338 62753 4837 20762 0 16733 63212 868216 66.21 69.88 -- 42.31/10.62 c N dy 365 67557 4837 20762 0 21537 63212 1392023 66.26 70.60 -- 43.11/10.84 c S st 376 69388 4837 20762 0 12378 63212 310945 66.21 no data -- 43.11/10.90 c S st 376 69889 4837 20762 0 12879 63212 352821 66.21 no data -- 43.11/10.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 43.11/10.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 43.53/10.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 43.53/10.93 c bin-w-bin subsume rem 0 bins time: 0.00 s 43.53/10.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 43.53/10.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 43.53/10.94 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 47.93/12.04 c lits-rem: 12 cl-subs: 0 v-elim: 0 v-fix: 0 time: 4.39 s 47.93/12.04 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 47.93/12.04 c vivif2 -- cl tried 12879 cl shrink 0 lits rem 0 time: 0.02 47.93/12.07 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.10 47.93/12.07 c calculated reachability. Time: 0.00 47.93/12.07 c N dy 376 69889 4837 20762 0 12879 63212 352809 66.21 no data -- 49.90/12.58 c N dy 403 74361 4837 20762 0 17351 63212 803800 66.07 82.16 -- 52.32/13.18 c N dy 433 79115 4837 20762 0 22104 63212 1297840 66.13 70.97 -- 55.09/13.83 c N dy 467 84340 4837 20762 0 15336 63212 525276 66.18 73.89 -- 56.71/14.22 c F st 487 87500 4837 20762 0 18494 63212 874303 66.24 57.59 -- 58.29/14.64 c N st 492 90797 4837 20762 0 21791 63212 1271136 66.24 no data -- 61.51/15.44 c N dy 520 96650 4837 20762 0 14650 63212 357846 66.27 75.33 -- 64.28/16.19 c N dy 558 102860 4837 20762 0 20860 63212 1009251 66.30 72.64 -- 65.50/16.44 c S st 564 104835 4837 20762 0 22835 63212 1212200 66.22 62.77 -- 65.90/16.52 c S st 564 105338 4837 20762 0 23338 63212 1248556 66.22 no data -- 65.90/16.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 65.90/16.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 65.90/16.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.09 66.28/16.61 c bin-w-bin subsume rem 0 bins time: 0.00 s 66.28/16.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 66.28/16.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 66.28/16.61 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 74.29/18.67 c lits-rem: 17 cl-subs: 4 v-elim: 0 v-fix: 0 time: 8.21 s 74.29/18.67 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 74.29/18.68 c vivif2 -- cl tried 23334 cl shrink 0 lits rem 0 time: 0.06 74.69/18.72 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.16 74.69/18.73 c calculated reachability. Time: 0.00 74.69/18.73 c N dy 564 105338 4837 20762 0 23334 63212 1247895 66.22 no data -- 78.27/19.62 c N dy 605 112093 4837 20762 0 16090 63212 404571 66.25 70.27 -- 81.86/20.56 c N dy 655 119275 4837 20762 0 23271 63212 1154685 66.39 71.27 -- 86.25/21.65 c N dy 703 127348 4837 20762 0 16346 63212 334167 66.43 70.19 -- 90.25/22.68 c N dy 762 135538 4837 20762 0 24533 63212 1188631 66.57 75.57 -- 95.45/23.91 c N dy 819 144276 4837 20762 0 17275 63212 335887 66.68 74.56 -- 100.24/25.12 c N dy 882 153587 4837 20762 0 26584 63212 1329533 66.87 70.42 -- 102.63/25.74 c S st 912 158009 4837 20762 0 31005 63212 1798013 66.96 no data -- 103.03/25.83 c S st 912 158514 4837 20762 0 31510 63212 1837369 66.96 no data -- 103.03/25.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 103.03/25.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 103.03/25.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 103.43/25.93 c bin-w-bin subsume rem 0 bins time: 0.00 s 103.43/25.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 103.43/25.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 103.43/25.94 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 117.42/29.48 c lits-rem: 22 cl-subs: 5 v-elim: 0 v-fix: 0 time: 14.13 s 117.42/29.48 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 117.81/29.50 c vivif2 -- cl tried 31505 cl shrink 0 lits rem 0 time: 0.08 117.81/29.56 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.21 117.81/29.56 c calculated reachability. Time: 0.00 117.81/29.56 c N dy 912 158514 4837 20762 0 31505 63212 1836382 66.96 no data -- 123.40/30.97 c N dy 976 168725 4837 20762 0 24720 63212 1024070 67.02 70.56 -- 130.20/32.63 c N dy 1036 179775 4837 20762 0 35769 63212 2172923 66.93 70.65 -- 136.20/34.14 c N dy 1104 191289 4837 20762 0 29283 63212 1399220 66.91 77.77 -- 143.38/35.94 c N dy 1183 203554 4837 20762 0 22555 63212 588076 66.99 73.16 -- 150.55/37.79 c N dy 1259 216630 4837 20762 0 35629 63212 1950415 66.95 73.21 -- 158.94/39.80 c N dy 1346 230622 4837 20762 0 29616 63212 1229004 67.03 72.96 -- 162.94/40.89 c S st 1395 237773 4837 20762 0 36766 63212 1989513 67.12 65.30 -- 163.34/40.97 c S st 1395 238276 4837 20762 0 37269 63212 2031015 67.12 no data -- 163.34/40.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 163.34/40.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.74/41.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.11 163.74/41.09 c bin-w-bin subsume rem 0 bins time: 0.00 s 163.74/41.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 163.74/41.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 163.74/41.09 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 178.12/44.66 c lits-rem: 8 cl-subs: 8 v-elim: 0 v-fix: 0 time: 14.23 s 178.12/44.66 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 178.12/44.68 c vivif2 -- cl tried 37261 cl shrink 0 lits rem 0 time: 0.10 178.52/44.74 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.24 178.52/44.74 c calculated reachability. Time: 0.00 178.52/44.74 c N dy 1395 238276 4837 20762 0 37261 63212 2029218 67.12 no data -- 187.31/46.96 c N dy 1486 253491 4837 20762 0 31481 63212 1314510 67.10 71.49 -- 197.32/49.48 c N dy 1581 269812 4837 20762 0 25802 63212 622341 67.04 71.23 -- 208.08/52.13 c N dy 1683 287099 4837 20762 0 43087 63212 2452265 67.06 70.84 -- 219.28/54.97 c N dy 1807 305654 4837 20762 0 38640 63212 1877707 67.15 71.10 -- 219.68/55.06 c F st 1811 306250 4837 20762 0 39236 63212 1940754 67.15 no data -- 231.65/58.04 c N dy 1897 325339 4837 20762 0 34320 63212 1310373 67.11 70.86 -- 244.83/61.36 c N dy 2032 345484 4837 20762 0 29466 63212 732904 67.20 71.40 -- 252.42/63.21 c S st 2101 357415 4837 20762 0 41395 63212 1987335 67.21 no data -- 252.82/63.31 c S st 2101 357920 4837 20762 0 41900 63212 2026212 67.21 no data -- 252.82/63.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 252.82/63.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 252.82/63.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.12 253.22/63.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 253.22/63.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 253.22/63.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 253.22/63.43 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 269.60/67.55 c lits-rem: 5 cl-subs: 5 v-elim: 0 v-fix: 0 time: 16.40 s 269.60/67.55 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 269.60/67.57 c vivif2 -- cl tried 41895 cl shrink 0 lits rem 0 time: 0.10 270.00/67.64 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.28 270.00/67.64 c calculated reachability. Time: 0.00 270.00/67.64 c N dy 2101 357920 4837 20762 0 41895 63212 2025222 67.21 no data -- 283.98/71.11 c N dy 2230 378033 4837 20762 0 36018 63212 1310411 67.28 70.87 -- 297.96/74.64 c N dy 2358 398253 4837 20762 0 29234 63212 493141 67.33 71.76 -- 311.14/77.92 c N dy 2483 418266 4837 20762 0 49244 63212 2633340 67.39 71.51 -- 324.32/81.27 c N dy 2611 438271 4837 20762 0 41254 63212 1667782 67.43 72.24 -- 338.69/84.89 c N dy 2723 458341 4837 20762 0 32326 63212 636323 67.41 74.42 -- 352.68/88.33 c N dy 2851 478644 4837 20762 0 52626 63212 2808558 67.47 74.38 -- 367.06/91.93 c N dy 2984 498811 4837 20762 0 42795 63212 1640784 67.54 72.36 -- 382.63/95.82 c N dy 3101 519182 4837 20762 0 32161 63212 408277 67.55 71.25 -- 394.22/98.72 c S st 3200 536880 4837 20762 0 49857 63212 2279834 67.53 no data -- 394.62/98.83 c S st 3200 537386 4837 20762 0 50363 63212 2319077 67.53 no data -- 394.62/98.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 394.62/98.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 394.62/98.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.14 395.04/98.96 c bin-w-bin subsume rem 0 bins time: 0.00 s 395.04/98.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 395.04/98.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 395.04/98.96 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 417.78/104.69 c lits-rem: 6 cl-subs: 9 v-elim: 0 v-fix: 0 time: 22.85 s 417.78/104.69 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.01 418.18/104.72 c vivif2 -- cl tried 50354 cl shrink 0 lits rem 0 time: 0.11 418.58/104.80 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.33 418.58/104.80 c calculated reachability. Time: 0.00 418.58/104.80 c N dy 3200 537386 4837 20762 0 50354 63212 2317380 67.53 no data -- 433.76/108.65 c N dy 3326 557722 4837 20762 0 38694 63212 1006569 67.56 71.44 -- 448.54/112.37 c N dy 3455 577836 4837 20762 0 58807 63212 3139645 67.59 72.27 -- 463.72/116.12 c N dy 3587 597958 4837 20762 0 45933 63212 1663142 67.62 72.34 -- 479.70/120.16 c N dy 3708 618107 4837 20762 0 66080 63212 3804751 67.63 75.56 -- 494.48/123.84 c N dy 3832 638154 4837 20762 0 52126 63212 2225750 67.64 71.34 -- 511.25/128.07 c N dy 3945 658192 4837 20762 0 37170 63212 536544 67.64 72.20 -- 526.43/131.84 c N dy 4063 678316 4837 20762 0 57292 63212 2655539 67.63 72.02 -- 544.02/136.21 c N dy 4186 698448 4837 20762 0 41430 63212 887264 67.64 72.02 -- 559.99/140.20 c N dy 4304 718529 4837 20762 0 61508 63212 3004876 67.63 75.51 -- 576.76/144.48 c N dy 4420 738534 4837 20762 0 44510 63212 1116472 67.63 73.73 -- 593.54/148.63 c N dy 4543 758568 4837 20762 0 64544 63212 3214118 67.63 72.01 -- 611.12/153.00 c N dy 4674 778648 4837 20762 0 46618 63212 1228932 67.66 89.71 -- 627.50/157.20 c N dy 4787 798688 4837 20762 0 66656 63212 3358998 67.65 74.06 -- 635.09/159.03 c S st 4841 806079 4837 20762 0 74046 63212 4156921 67.68 no data -- 635.49/159.18 c S st 4841 806584 4837 20762 0 74551 63212 4196920 67.68 no data -- 635.49/159.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 635.49/159.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 635.89/159.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.22 636.70/159.42 c bin-w-bin subsume rem 0 bins time: 0.00 s 636.70/159.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 636.70/159.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.01 s 636.70/159.42 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 884.74/221.56 c lits-rem: 1 cl-subs: 11 v-elim: 0 v-fix: 0 time: 247.88 s 884.74/221.56 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 885.14/221.61 c vivif2 -- cl tried 74540 cl shrink 0 lits rem 0 time: 0.20 885.54/221.74 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.51 885.54/221.74 c calculated reachability. Time: 0.00 885.54/221.74 c N dy 4841 806584 4837 20762 0 74540 63212 4195043 67.68 no data -- 901.11/225.68 c N dy 4973 826728 4837 20762 0 55693 63212 2109446 67.71 71.49 -- 919.49/230.22 c N dy 5102 846767 4837 20762 0 75728 63212 4250319 67.73 72.96 -- 935.07/234.20 c N dy 5224 866806 4837 20762 0 55769 63212 2002263 67.72 72.04 -- 953.05/238.68 c N dy 5338 886850 4837 20762 0 75809 63212 4136094 67.72 72.52 -- 970.22/242.91 c N dy 5464 906934 4837 20762 0 54894 63212 1810046 67.72 73.69 -- 988.61/247.58 c N dy 5582 927022 4837 20762 0 74981 63212 3952835 67.73 74.79 -- 1007.37/252.23 c N dy 5714 947119 4837 20762 0 53082 63212 1531744 67.76 72.22 -- 1025.34/256.79 c N dy 5839 967202 4837 20762 0 73163 63212 3660013 67.78 71.47 -- 1044.91/261.67 c N dy 5956 987316 4837 20762 0 50281 63212 1110063 67.77 71.50 -- 1063.31/266.22 c N dy 6079 1007938 4837 20762 0 70902 63212 3291293 67.78 71.97 -- 1084.46/271.52 c N dy 6213 1027952 4837 20762 0 46915 63212 662778 67.81 72.55 -- 1101.64/275.81 c N dy 6337 1048112 4837 20762 0 67073 63212 2780452 67.82 71.79 -- 1122.81/281.18 c N dy 6458 1068153 4837 20762 0 87114 63212 4895373 67.82 72.00 -- 1127.21/282.24 c F st 6481 1071875 4837 20762 0 45841 63212 463667 67.82 no data -- 1140.39/285.53 c N dy 6550 1088192 4837 20762 0 62155 63212 2275722 67.81 71.41 -- 1160.76/290.63 c N dy 6678 1108255 4837 20762 0 82217 63212 4401119 67.83 73.89 -- 1180.34/295.57 c N dy 6803 1128315 4837 20762 0 56275 63212 1475763 67.86 72.20 -- 1199.52/300.40 c N dy 6930 1148600 4837 20762 0 76560 63212 3645878 67.89 72.16 -- 1221.87/305.96 c N dy 7048 1168727 4837 20762 0 49688 63212 664109 67.89 71.91 -- 1239.45/310.33 c N dy 7168 1188862 4837 20762 0 69823 63212 2782094 67.88 71.58 -- 1261.04/315.73 c N dy 7294 1208933 4837 20762 0 89892 63212 4937237 67.92 79.20 -- 1262.22/316.02 c S st 7301 1209877 4837 20762 0 90835 63212 5040694 67.92 no data -- 1263.01/316.21 c S st 7301 1210377 4837 20762 0 91335 63212 5084066 67.92 no data -- 1263.01/316.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1263.01/316.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1263.01/316.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.27 1263.81/316.49 c bin-w-bin subsume rem 0 bins time: 0.01 s 1263.81/316.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1264.21/316.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 1264.21/316.50 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 1669.67/418.04 c lits-rem: 3 cl-subs: 12 v-elim: 0 v-fix: 0 time: 405.05 s 1669.67/418.04 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 1670.05/418.11 c vivif2 -- cl tried 91323 cl shrink 0 lits rem 0 time: 0.25 1670.44/418.27 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.66 1670.44/418.28 c calculated reachability. Time: 0.00 1670.44/418.28 c N dy 7301 1210377 4837 20762 0 91323 63212 5081337 67.92 no data -- 1689.21/422.95 c N dy 7423 1230396 4837 20762 0 63338 63212 2024999 67.93 95.95 -- 1709.21/427.93 c N dy 7552 1250470 4837 20762 0 83407 63212 4149204 67.94 74.40 -- 1729.97/433.19 c N dy 7681 1270539 4837 20762 0 54480 63212 983619 67.95 71.75 -- 1747.94/437.65 c N dy 7801 1290619 4837 20762 0 74559 63212 3140304 67.96 73.07 -- 1770.32/443.29 c N dy 7925 1310756 4837 20762 0 94695 63212 5281572 67.97 71.55 -- 1789.88/448.17 c N dy 8049 1330766 4837 20762 0 64710 63212 1955642 67.97 74.89 -- 1810.65/453.37 c N dy 8168 1350820 4837 20762 0 84763 63212 4100934 67.98 83.05 -- 1834.21/459.27 c N dy 8289 1370997 4837 20762 0 53946 63212 713873 67.98 71.71 -- 1852.99/463.96 c N dy 8412 1391228 4837 20762 0 74172 63212 2892622 68.00 71.67 -- 1876.55/469.83 c N dy 8554 1411473 4837 20762 0 94414 63212 5078126 68.03 73.85 -- 1898.15/475.23 c N dy 8677 1431500 4837 20762 0 62447 63212 1547887 68.05 74.16 -- 1918.50/480.37 c N dy 8802 1451534 4837 20762 0 82480 63212 3687917 68.06 72.36 -- 1943.26/486.52 c N dy 8931 1471614 4837 20762 0 102558 63212 5821959 68.08 74.55 -- 1962.84/491.41 c N dy 9050 1491615 4837 20762 0 69566 63212 2186485 68.09 81.94 -- 1984.01/496.79 c N dy 9176 1511695 4837 20762 0 89644 63212 4328533 68.09 72.15 -- 2009.57/503.11 c N dy 9304 1531876 4837 20762 0 55828 63212 616373 68.11 71.71 -- 2028.35/507.84 c N dy 9436 1551934 4837 20762 0 75883 63212 2759515 68.13 73.99 -- 2051.53/513.61 c N dy 9559 1572136 4837 20762 0 96084 63212 4927967 68.13 72.39 -- 2075.48/519.64 c N dy 9679 1592280 4837 20762 0 61231 63212 1104470 68.14 72.05 -- 2095.48/524.62 c N dy 9811 1612312 4837 20762 0 81262 63212 3223208 68.15 75.79 -- 2119.82/530.71 c N dy 9939 1632352 4837 20762 0 101297 63212 5370274 68.17 72.65 -- 2143.39/536.69 c N dy 10059 1653456 4837 20762 0 66402 63212 1539383 68.17 71.89 -- 2164.55/541.96 c N dy 10187 1673599 4837 20762 0 86545 63212 3676750 68.18 71.97 -- 2189.32/548.19 c N dy 10296 1693646 4837 20762 0 106590 63212 5827060 68.17 71.80 -- 2208.50/552.95 c S st 10410 1710378 4837 20762 0 66323 63212 1425522 68.19 no data -- 2208.90/553.09 c S st 10410 1710878 4837 20762 0 66823 63212 1465108 68.19 no data -- 2209.30/553.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2209.30/553.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2209.30/553.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.19 2209.72/553.21 c bin-w-bin subsume rem 0 bins time: 0.01 s 2209.72/553.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2209.72/553.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 2209.72/553.21 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2224.47/556.92 c lits-rem: 21 cl-subs: 7 v-elim: 0 v-fix: 0 time: 14.76 s 2224.47/556.92 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.01 2224.47/556.94 c vivif2 -- cl tried 66816 cl shrink 0 lits rem 0 time: 0.08 2224.87/557.05 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.44 2224.87/557.05 c calculated reachability. Time: 0.00 2224.87/557.05 c N dy 10410 1710878 4837 20762 0 66816 63212 1463822 68.19 no data -- 2245.64/562.24 c N dy 10529 1730919 4837 20762 0 86856 63212 3615718 68.19 72.14 -- 2271.23/568.65 c N dy 10659 1751104 4837 20762 0 107040 63212 5753508 68.20 73.92 -- 2294.37/574.43 c N dy 10786 1771135 4837 20762 0 69075 63212 1622428 68.21 72.62 -- 2315.94/579.86 c N dy 10916 1791298 4837 20762 0 89235 63212 3785394 68.23 72.39 -- 2342.71/586.59 c N dy 11041 1811470 4837 20762 0 109404 63212 5933970 68.23 73.63 -- 2367.48/592.78 c N dy 11173 1832222 4837 20762 0 71160 63212 1748275 68.25 71.94 -- 2390.27/598.47 c N dy 11308 1852376 4837 20762 0 91310 63212 3909582 68.27 72.94 -- 2416.63/605.06 c N dy 11427 1872467 4837 20762 0 111400 63212 6061860 68.27 77.91 -- 2439.78/610.85 c N dy 11561 1892497 4837 20762 0 71436 63212 1680884 68.28 72.13 -- 2460.95/616.13 c N dy 11689 1912517 4837 20762 0 91450 63212 3833402 68.30 72.55 -- 2486.93/622.66 c N dy 11813 1933217 4837 20762 0 112147 63212 6055895 68.30 72.68 -- 2509.68/628.38 c N dy 11937 1953219 4837 20762 0 71152 63212 1565607 68.31 71.94 -- 2530.47/633.58 c N dy 12053 1973313 4837 20762 0 91243 63212 3717832 68.32 72.17 -- 2556.01/639.95 c N dy 12195 1993340 4837 20762 0 111266 63212 5875473 68.34 87.12 -- 2579.98/645.98 c N dy 12308 2013435 4837 20762 0 69371 63212 1263714 68.34 78.28 -- 2600.36/651.03 c N dy 12423 2033526 4837 20762 0 89457 63212 3411929 68.34 78.35 -- 2624.73/657.16 c N dy 12548 2053553 4837 20762 0 109482 63212 5596164 68.35 72.47 -- 2651.49/663.82 c N dy 12667 2073582 4837 20762 0 66521 63212 861877 68.36 72.29 -- 2671.48/668.81 c N dy 12804 2093634 4837 20762 0 86570 63212 3030178 68.38 72.20 -- 2695.42/674.85 c N dy 12931 2113847 4837 20762 0 106779 63212 5198321 68.40 74.39 -- 2723.80/681.95 c N dy 13059 2133903 4837 20762 0 126832 63212 7346300 68.41 73.02 -- 2743.76/686.94 c N dy 13194 2153946 4837 20762 0 82881 63212 2509888 68.42 73.47 -- 2767.33/692.84 c N dy 13330 2174046 4837 20762 0 102979 63212 4649545 68.43 72.30 -- 2794.89/699.73 c N dy 13456 2194198 4837 20762 0 123131 63212 6808095 68.43 72.75 -- 2814.46/704.61 c S st 13558 2210879 4837 20762 0 74813 63212 1532949 68.44 65.04 -- 2814.86/704.76 c S st 13558 2211382 4837 20762 0 75316 63212 1571022 68.44 no data -- 2814.86/704.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2814.86/704.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2815.26/704.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.20 2815.26/704.88 c bin-w-bin subsume rem 0 bins time: 0.00 s 2815.26/704.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2815.26/704.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 2815.26/704.89 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2832.04/709.01 c lits-rem: 28 cl-subs: 2 v-elim: 0 v-fix: 0 time: 16.45 s 2832.04/709.01 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.00 2832.04/709.03 c vivif2 -- cl tried 75314 cl shrink 0 lits rem 0 time: 0.09 2832.44/709.15 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.48 2832.44/709.15 c calculated reachability. Time: 0.00 2832.44/709.15 c N dy 13558 2211382 4837 20762 0 75314 63212 1570824 68.44 no data -- 2854.01/714.51 c N dy 13684 2231454 4837 20762 0 95385 63212 3735994 68.45 85.78 -- 2879.17/720.88 c N dy 13814 2251469 4837 20762 0 115398 63212 5877835 68.46 73.62 -- 2906.73/727.78 c N dy 13948 2271502 4837 20762 0 69433 63212 858691 68.48 73.70 -- 2927.10/732.86 c N dy 14076 2291645 4837 20762 0 89573 63212 3032789 68.49 72.89 -- 2951.47/738.99 c N dy 14205 2311773 4837 20762 0 109694 63212 5177744 68.49 72.13 -- 2979.82/746.07 c N dy 14328 2331839 4837 20762 0 129757 63212 7342537 68.50 72.71 -- 3002.59/751.78 c N dy 14458 2352168 4837 20762 0 83095 63212 2223626 68.51 73.02 -- 3026.56/757.80 c N dy 14576 2372323 4837 20762 0 103247 63212 4379448 68.51 73.07 -- 3055.72/765.05 c N dy 14711 2392380 4837 20762 0 123302 63212 6541495 68.53 72.19 -- 3083.68/772.03 c N dy 14830 2412611 4837 20762 0 75539 63212 1310587 68.53 73.75 -- 3107.24/777.90 c N dy 14967 2432617 4837 20762 0 95542 63212 3465894 68.55 73.66 -- 3135.21/784.90 c N dy 15097 2452713 4837 20762 0 115635 63212 5593284 68.55 72.36 -- 3167.59/793.02 c N dy 15210 2472786 4837 20762 0 135706 63212 7755843 68.55 83.27 -- 3191.13/798.90 c N dy 15336 2492801 4837 20762 0 86728 63212 2432552 68.56 72.23 -- 3217.09/805.48 c N dy 15450 2512854 4837 20762 0 106779 63212 4575450 68.56 76.32 -- 3249.05/813.42 c N dy 15576 2532902 4837 20762 0 126822 63212 6717647 68.57 73.99 -- 3279.81/821.14 c N dy 15701 2552948 4837 20762 0 76871 63212 1243100 68.57 73.41 -- 3304.20/827.22 c N dy 15816 2573134 4837 20762 0 97055 63212 3400340 68.57 72.66 -- 3332.54/834.38 c N dy 15937 2593219 4837 20762 0 117137 63212 5554828 68.57 76.86 -- 3365.71/842.69 c N dy 16069 2613303 4837 20762 0 137219 63212 7708780 68.58 72.69 -- 3390.46/848.89 c N dy 16190 2633485 4837 20762 0 86412 63212 2170718 68.59 74.47 -- 3414.42/854.81 c N dy 16317 2653576 4837 20762 0 106499 63212 4289852 68.59 74.59 -- 3442.38/861.83 c N dy 16450 2673595 4837 20762 0 126517 63212 6449161 68.60 73.10 -- 3472.74/869.44 c N dy 16579 2693650 4837 20762 0 74579 63212 812760 68.61 73.41 -- 3491.52/874.13 c S st 16684 2711385 4837 20762 0 92313 63212 2702351 68.61 69.08 -- 3492.32/874.31 c S st 16684 2711889 4837 20762 0 92817 63212 2744541 68.61 no data -- 3492.32/874.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3492.32/874.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3492.32/874.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.25 3492.74/874.49 c bin-w-bin subsume rem 0 bins time: 0.00 s 3492.74/874.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3492.74/874.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.00 s 3492.74/874.50 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3540.25/886.36 c lits-rem: 3 cl-subs: 3 v-elim: 0 v-fix: 0 time: 47.33 s 3540.25/886.36 c vivif2 -- cl tried 20762 cl shrink 0 lits rem 0 time: 0.01 3540.25/886.39 c vivif2 -- cl tried 92814 cl shrink 0 lits rem 0 time: 0.14 3541.07/886.55 c asymm cl-useful: 0/20762/20762 lits-rem:0 time: 0.61 3541.07/886.55 c calculated reachability. Time: 0.00 3541.07/886.55 c N dy 16684 2711889 4837 20762 0 92814 63212 2744109 68.61 no data -- 3565.41/892.66 c N dy 16813 2731976 4837 20762 0 112898 63212 4909190 68.62 72.49 -- 3594.19/899.85 c N dy 16937 2752071 4837 20762 0 132992 63212 7063779 68.62 73.30 -- 3622.14/906.89 c N dy 17061 2772106 4837 20762 0 80037 63212 1296575 68.62 73.67 -- 3644.50/912.40 c N dy 17179 2792126 4837 20762 0 100051 63212 3408944 68.62 73.20 -- 3670.46/918.96 c N dy 17302 2812185 4837 20762 0 120108 63212 5547688 68.62 73.69 -- 3701.22/926.63 c N dy 17414 2832542 4837 20762 0 140463 63212 7729314 68.63 74.09 -- 3726.79/933.08 c N dy 17535 2852808 4837 20762 0 86735 63212 1918716 68.63 73.90 -- 3750.35/938.95 c N dy 17656 2872904 4837 20762 0 106828 63212 4076542 68.64 73.03 -- 3778.33/945.94 c N dy 17784 2892982 4837 20762 0 126906 63212 6219606 68.64 72.46 -- 3810.26/953.96 c N dy 17907 2913082 4837 20762 0 147003 63212 8371641 68.65 73.04 -- 3833.84/959.82 c N dy 18037 2933274 4837 20762 0 92206 63212 2359255 68.65 72.50 -- 3858.60/966.05 c N dy 18168 2953313 4837 20762 0 112242 63212 4521519 68.66 74.96 -- 3887.77/973.39 c N dy 18304 2973346 4837 20762 0 132272 63212 6681654 68.67 73.88 -- 3921.31/981.76 c N dy 18429 2993393 4837 20762 0 76326 63212 591838 68.68 76.19 -- 3942.89/987.10 c N dy 18548 3013439 4837 20762 0 96366 63212 2729682 68.68 87.70 -- 3968.85/993.60 c N dy 18674 3033641 4837 20762 0 116565 63212 4909614 68.69 72.72 -- 3998.43/1001.07 c N dy 18804 3053718 4837 20762 0 136638 63212 7060388 68.69 73.69 -- 4031.16/1009.28 c N dy 18931 3073811 4837 20762 0 79743 63212 866075 68.70 73.15 -- 4055.15/1015.29 c N dy 19067 3093896 4837 20762 0 99827 63212 3026622 68.71 83.25 -- 4085.10/1022.73 c N dy 19193 3114081 4837 20762 0 120012 63212 5205473 68.72 73.36 -- 4121.05/1031.70 c N dy 19322 3134202 4837 20762 0 140132 63212 7359876 68.73 73.11 -- 4158.19/1041.01 c N dy 19449 3154226 4837 20762 0 82166 63212 1005740 68.73 76.62 -- 4184.15/1047.52 c N dy 19572 3174270 4837 20762 0 102208 63212 3175174 68.74 73.66 -- 4215.71/1055.40 c N dy 19701 3194399 4837 20762 0 122333 63212 5313251 68.74 73.14 -- 4247.27/1063.31 c S st 19808 3211889 4837 20762 0 139823 63212 7203193 68.75 65.67 -- 4248.49/1063.63 c S st 19808 3212391 4837 20762 0 140325 63212 7241117 68.75 no data -- 4248.49/1063.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4248.49/1063.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4248.88/1063.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.44 4250.06/1064.09 c bin-w-bin subsume rem 0 bins time: 0.00 s 4250.06/1064.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4250.46/1064.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4837 time: 0.01 s 4250.46/1064.10 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: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175024-1304078125/watcher-3175024-1304078125 -o /tmp/evaluation-result-3175024-1304078125/solver-3175024-1304078125 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175024-1304078125.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: 3.62 5.75 7.07 6/180 27209 /proc/meminfo: memFree=19042460/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 500228338 52465664 352 33554432000 4194304 4650419 140736729210224 18446744073709551615 233510353905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 12809 352 303 112 0 7774 0 [pid=27209/tid=27210] ppid=27207 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 500228338 52465664 352 33554432000 4194304 4650419 140736729210224 18446744073709551615 47038559213490 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 500228338 52465664 352 33554432000 4194304 4650419 140736729210224 18446744073709551615 47038559213490 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 500228338 52465664 352 33554432000 4194304 4650419 140736729210224 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.0391251 s] /proc/loadavg: 3.62 5.75 7.07 6/180 27209 /proc/meminfo: memFree=19042460/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=289348 CPUtime=0.13 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 5104 0 0 0 13 0 0 0 18 0 4 0 500228338 296292352 4237 33554432000 4194304 4650419 140736729210224 18446744073709551615 4426459 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 72337 4240 376 112 0 67302 0 [pid=27209/tid=27210] ppid=27207 vsize=289348 CPUtime=0.03 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 1243 0 0 0 3 0 0 0 18 0 4 0 500228338 296292352 4242 33554432000 4194304 4650419 140736729210224 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=289348 CPUtime=0.03 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 1224 0 0 0 3 0 0 0 18 0 4 0 500228338 296292352 4246 33554432000 4194304 4650419 140736729210224 18446744073709551615 233509962671 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=289348 CPUtime=0.03 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 980 0 0 0 3 0 0 0 25 0 4 0 500228338 296292352 4250 33554432000 4194304 4650419 140736729210224 18446744073709551615 4360342 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 289348 [startup+0.101114 s] /proc/loadavg: 3.62 5.75 7.07 6/180 27209 /proc/meminfo: memFree=19042460/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=292160 CPUtime=0.38 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 7685 0 0 0 37 1 0 0 18 0 4 0 500228338 299171840 6556 33554432000 4194304 4650419 140736729210224 18446744073709551615 4315180 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 73040 6556 390 112 0 68005 0 [pid=27209/tid=27210] ppid=27207 vsize=292160 CPUtime=0.09 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 2020 0 0 0 9 0 0 0 18 0 4 0 500228338 299171840 6556 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=292160 CPUtime=0.09 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 2136 0 0 0 9 0 0 0 18 0 4 0 500228338 299171840 6557 33554432000 4194304 4650419 140736729210224 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=292160 CPUtime=0.09 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 1049 0 0 0 9 0 0 0 25 0 4 0 500228338 299171840 6557 33554432000 4194304 4650419 140736729210224 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 292160 [startup+0.301078 s] /proc/loadavg: 3.62 5.75 7.07 6/180 27209 /proc/meminfo: memFree=19042460/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=292160 CPUtime=1.17 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 8708 0 0 0 116 1 0 0 18 0 4 0 500228338 299171840 7579 33554432000 4194304 4650419 140736729210224 18446744073709551615 4364402 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 73040 7579 390 112 0 68005 0 [pid=27209/tid=27210] ppid=27207 vsize=292160 CPUtime=0.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 2274 0 0 0 29 0 0 0 18 0 4 0 500228338 299171840 7579 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=292160 CPUtime=0.29 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 2390 0 0 0 29 0 0 0 18 0 4 0 500228338 299171840 7579 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=292160 CPUtime=0.29 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 1311 0 0 0 29 0 0 0 25 0 4 0 500228338 299171840 7579 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 292160 [startup+0.701006 s] /proc/loadavg: 3.62 5.75 7.07 6/180 27209 /proc/meminfo: memFree=19042460/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=294628 CPUtime=2.78 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 11665 0 0 0 276 2 0 0 18 0 4 0 500228338 301699072 7798 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 73657 7798 392 112 0 68622 0 [pid=27209/tid=27210] ppid=27207 vsize=294628 CPUtime=0.69 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 2995 0 0 0 69 0 0 0 18 0 4 0 500228338 301699072 7798 33554432000 4194304 4650419 140736729210224 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=294628 CPUtime=0.69 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 3134 0 0 0 69 0 0 0 18 0 4 0 500228338 301699072 7798 33554432000 4194304 4650419 140736729210224 18446744073709551615 4328270 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=294628 CPUtime=0.68 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 2138 0 0 0 68 0 0 0 25 0 4 0 500228338 301699072 7798 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 294628 [startup+1.50086 s] /proc/loadavg: 3.62 5.75 7.07 9/184 27213 /proc/meminfo: memFree=18991464/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=295660 CPUtime=5.97 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 16493 0 0 0 595 2 0 0 20 0 4 0 500228338 302755840 9133 33554432000 4194304 4650419 140736729210224 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 73915 9133 392 112 0 68880 0 [pid=27209/tid=27210] ppid=27207 vsize=295660 CPUtime=1.49 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 4193 0 0 0 149 0 0 0 20 0 4 0 500228338 302755840 9133 33554432000 4194304 4650419 140736729210224 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=295660 CPUtime=1.49 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 4363 0 0 0 149 0 0 0 19 0 4 0 500228338 302755840 9133 33554432000 4194304 4650419 140736729210224 18446744073709551615 4329260 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=295660 CPUtime=1.47 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 3367 0 0 0 147 0 0 0 25 0 4 0 500228338 302755840 9133 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 295660 [startup+3.10058 s] /proc/loadavg: 3.62 5.75 7.07 9/184 27213 /proc/meminfo: memFree=18989864/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=296552 CPUtime=12.36 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 25917 0 0 0 1233 3 0 0 25 0 4 0 500228338 303669248 10012 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 74138 10012 393 112 0 69103 0 [pid=27209/tid=27210] ppid=27207 vsize=296552 CPUtime=3.08 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 6533 0 0 0 308 0 0 0 25 0 4 0 500228338 303669248 10012 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=296552 CPUtime=3.08 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 6807 0 0 0 308 0 0 0 25 0 4 0 500228338 303669248 10012 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=296552 CPUtime=3.07 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 5712 0 0 0 306 1 0 0 25 0 4 0 500228338 303669248 10012 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 296552 [startup+6.301 s] /proc/loadavg: 3.97 5.78 7.07 9/184 27213 /proc/meminfo: memFree=18891520/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=311112 CPUtime=25.14 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 50209 0 0 0 2506 8 0 0 25 0 4 0 500228338 318578688 25670 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363617 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 77778 25671 394 112 0 72743 0 [pid=27209/tid=27210] ppid=27207 vsize=311112 CPUtime=6.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 10894 0 0 0 627 2 0 0 25 0 4 0 500228338 318578688 25671 33554432000 4194304 4650419 140736729210224 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=311112 CPUtime=6.29 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 14527 0 0 0 627 2 0 0 25 0 4 0 500228338 318578688 25671 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=311112 CPUtime=6.26 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 13523 0 0 0 623 3 0 0 25 0 4 0 500228338 318578688 25671 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 311112 [startup+12.7009 s] /proc/loadavg: 4.30 5.82 7.08 9/184 27213 /proc/meminfo: memFree=18793716/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=315252 CPUtime=50.71 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 84182 0 0 0 5056 15 0 0 25 0 4 0 500228338 322818048 38063 33554432000 4194304 4650419 140736729210224 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 78813 38063 394 112 0 73778 0 [pid=27209/tid=27210] ppid=27207 vsize=315252 CPUtime=12.69 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 21108 0 0 0 1265 4 0 0 25 0 4 0 500228338 322818048 38063 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=315252 CPUtime=12.69 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 25298 0 0 0 1265 4 0 0 25 0 4 0 500228338 322818048 38063 33554432000 4194304 4650419 140736729210224 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=315252 CPUtime=12.62 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 20530 0 0 0 1258 4 0 0 25 0 4 0 500228338 322818048 38063 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 315252 [startup+25.5006 s] /proc/loadavg: 5.12 5.93 7.09 9/184 27213 /proc/meminfo: memFree=18662032/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=351108 CPUtime=101.84 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 137643 0 0 0 10157 27 0 0 25 0 4 0 500228338 359534592 57369 33554432000 4194304 4650419 140736729210224 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 87777 57369 394 112 0 82742 0 [pid=27209/tid=27210] ppid=27207 vsize=351108 CPUtime=25.49 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 35109 0 0 0 2542 7 0 0 25 0 4 0 500228338 359534592 57369 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=351108 CPUtime=25.49 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 36389 0 0 0 2542 7 0 0 25 0 4 0 500228338 359534592 57369 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=351108 CPUtime=25.35 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 34701 0 0 0 2527 8 0 0 25 0 4 0 500228338 359534592 57369 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 351108 [startup+51.101 s] /proc/loadavg: 6.17 6.11 7.12 9/184 27214 /proc/meminfo: memFree=18595012/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=378372 CPUtime=204.08 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 204994 0 0 0 20363 45 0 0 25 0 4 0 500228338 387452928 66744 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 94593 66744 394 112 0 89558 0 [pid=27209/tid=27210] ppid=27207 vsize=378372 CPUtime=51.08 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 51600 0 0 0 5097 11 0 0 25 0 4 0 500228338 387452928 66744 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=378372 CPUtime=51.08 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 59754 0 0 0 5095 13 0 0 25 0 4 0 500228338 387452928 66744 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=378372 CPUtime=50.81 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 53605 0 0 0 5068 13 0 0 25 0 4 0 500228338 387452928 66744 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 204.08 Current children cumulated vsize (KiB) 378372 [startup+102.307 s] /proc/loadavg: 7.28 6.41 7.17 9/184 27216 /proc/meminfo: memFree=18545276/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=538960 CPUtime=408.62 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 319263 0 0 0 40786 76 0 0 25 0 4 0 500228338 551895040 75050 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 134740 75050 394 112 0 129705 0 [pid=27209/tid=27210] ppid=27207 vsize=538960 CPUtime=102.3 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 84134 0 0 0 10209 21 0 0 25 0 4 0 500228338 551895040 75050 33554432000 4194304 4650419 140736729210224 18446744073709551615 4331130 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=538960 CPUtime=102.27 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 96250 0 0 0 10205 22 0 0 25 0 4 0 500228338 551895040 75050 33554432000 4194304 4650419 140736729210224 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=538960 CPUtime=101.73 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 89116 0 0 0 10150 23 0 0 25 0 4 0 500228338 551895040 75050 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.62 Current children cumulated vsize (KiB) 538960 [startup+162.301 s] ################ # More data... # ################ [pid=27209] ppid=27207 vsize=909648 CPUtime=2805.27 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 1852419 0 0 0 280056 471 0 0 25 0 4 0 500228338 931479552 166714 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 227412 166714 394 112 0 222377 0 [pid=27209/tid=27210] ppid=27207 vsize=909648 CPUtime=702.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 500211 0 0 0 70092 137 0 0 25 0 4 0 500228338 931479552 166715 33554432000 4194304 4650419 140736729210224 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=909648 CPUtime=702.21 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 650624 0 0 0 70075 146 0 0 25 0 4 0 500228338 931479552 166715 33554432000 4194304 4650419 140736729210224 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=909648 CPUtime=698.45 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 527213 0 0 0 69715 130 0 0 25 0 4 0 500228338 931479552 166715 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2805.27 Current children cumulated vsize (KiB) 909648 [startup+762.307 s] /proc/loadavg: 8.10 7.91 7.63 9/184 27242 /proc/meminfo: memFree=17901156/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=910180 CPUtime=3044.95 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 1922797 0 0 0 303997 498 0 0 25 0 4 0 500228338 932024320 163254 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 227545 163254 394 112 0 222510 0 [pid=27209/tid=27210] ppid=27207 vsize=910180 CPUtime=762.3 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 523089 0 0 0 76083 147 0 0 25 0 4 0 500228338 932024320 163254 33554432000 4194304 4650419 140736729210224 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=910180 CPUtime=762.2 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 666292 0 0 0 76069 151 0 0 25 0 4 0 500228338 932024320 163254 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476738 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=910180 CPUtime=758.13 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 545865 0 0 0 75675 138 0 0 25 0 4 0 500228338 932024320 163254 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3044.95 Current children cumulated vsize (KiB) 910180 [startup+822.301 s] /proc/loadavg: 8.11 7.95 7.66 9/184 27244 /proc/meminfo: memFree=17921108/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=927696 CPUtime=3284.6 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 2075327 0 0 0 327927 533 0 0 25 0 4 0 500228338 949960704 163158 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 231924 163158 394 112 0 226889 0 [pid=27209/tid=27210] ppid=27207 vsize=927696 CPUtime=822.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 649642 0 0 0 82063 166 0 0 25 0 4 0 500228338 949960704 163158 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=927696 CPUtime=822.19 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 666292 0 0 0 82068 151 0 0 25 0 4 0 500228338 949960704 163158 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=927696 CPUtime=817.8 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 558953 0 0 0 81634 146 0 0 25 0 4 0 500228338 949960704 163158 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3284.6 Current children cumulated vsize (KiB) 927696 [startup+882.301 s] /proc/loadavg: 8.18 8.00 7.69 9/184 27245 /proc/meminfo: memFree=17905212/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=879580 CPUtime=3524.27 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 2215748 0 0 0 351859 568 0 0 25 0 4 0 500228338 900689920 161623 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 219895 161623 394 112 0 214860 0 [pid=27209/tid=27210] ppid=27207 vsize=879580 CPUtime=882.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 750996 0 0 0 88046 183 0 0 25 0 4 0 500228338 900689920 161623 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=879580 CPUtime=882.19 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 677737 0 0 0 88064 155 0 0 25 0 4 0 500228338 900689920 161623 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=879580 CPUtime=877.47 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 574436 0 0 0 87595 152 0 0 25 0 4 0 500228338 900689920 161623 33554432000 4194304 4650419 140736729210224 18446744073709551615 4328270 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3524.27 Current children cumulated vsize (KiB) 879580 [startup+942.3 s] /proc/loadavg: 8.18 8.03 7.72 9/184 27247 /proc/meminfo: memFree=17738156/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=942080 CPUtime=3763.94 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 2295361 0 0 0 375798 596 0 0 25 0 4 0 500228338 964689920 169033 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 235520 169033 394 112 0 230485 0 [pid=27209/tid=27210] ppid=27207 vsize=942080 CPUtime=942.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 773854 0 0 0 94038 191 0 0 25 0 4 0 500228338 964689920 169033 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=942080 CPUtime=942.18 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 696299 0 0 0 94057 161 0 0 25 0 4 0 500228338 964689920 169033 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=942080 CPUtime=937.14 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 595602 0 0 0 93554 160 0 0 25 0 4 0 500228338 964689920 169033 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3763.94 Current children cumulated vsize (KiB) 942080 [startup+1002.3 s] /proc/loadavg: 8.06 8.02 7.74 9/184 27249 /proc/meminfo: memFree=17751536/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=944200 CPUtime=4003.6 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 2367980 0 0 0 399734 626 0 0 25 0 4 0 500228338 966860800 170709 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 236050 170709 394 112 0 231015 0 [pid=27209/tid=27210] ppid=27207 vsize=944200 CPUtime=1002.28 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 795171 0 0 0 100030 198 0 0 25 0 4 0 500228338 966860800 170709 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=944200 CPUtime=1002.17 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 713008 0 0 0 100049 168 0 0 25 0 4 0 500228338 966860800 170709 33554432000 4194304 4650419 140736729210224 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=944200 CPUtime=996.82 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 615956 0 0 0 99514 168 0 0 25 0 4 0 500228338 966860800 170709 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4003.6 Current children cumulated vsize (KiB) 944200 [startup+1062.3 s] /proc/loadavg: 8.10 8.04 7.75 9/184 27250 /proc/meminfo: memFree=17585360/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=1190724 CPUtime=4243.27 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 2658779 0 0 0 423651 676 0 0 25 0 4 0 500228338 1219301376 213627 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 297681 213627 394 112 0 292646 0 [pid=27209/tid=27210] ppid=27207 vsize=1190724 CPUtime=1062.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 872096 0 0 0 106017 212 0 0 25 0 4 0 500228338 1219301376 213627 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=1190724 CPUtime=1062.17 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 831496 0 0 0 106033 184 0 0 25 0 4 0 500228338 1219301376 213627 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=1190724 CPUtime=1056.49 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 699283 0 0 0 105468 181 0 0 25 0 4 0 500228338 1219301376 213627 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4243.27 Current children cumulated vsize (KiB) 1190724 [startup+1122.3 s] /proc/loadavg: 8.11 8.04 7.77 9/184 27252 /proc/meminfo: memFree=17547908/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=1199568 CPUtime=4482.95 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 2949714 0 0 0 447576 719 0 0 25 0 4 0 500228338 1228357632 220062 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 299892 220062 394 112 0 294857 0 [pid=27209/tid=27210] ppid=27207 vsize=1199568 CPUtime=1122.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 952810 0 0 0 112006 223 0 0 25 0 4 0 500228338 1228357632 220062 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=1199568 CPUtime=1122.15 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 949707 0 0 0 112014 201 0 0 25 0 4 0 500228338 1228357632 220062 33554432000 4194304 4650419 140736729210224 18446744073709551615 4516006 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=1199568 CPUtime=1116.16 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 789073 0 0 0 111422 194 0 0 25 0 4 0 500228338 1228357632 220062 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4482.95 Current children cumulated vsize (KiB) 1199568 [startup+1182.3 s] /proc/loadavg: 8.11 8.05 7.79 9/184 27253 /proc/meminfo: memFree=17550624/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=1211440 CPUtime=4722.62 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 3149777 0 0 0 471509 753 0 0 25 0 4 0 500228338 1240514560 222353 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 302860 222353 396 112 0 297825 0 [pid=27209/tid=27210] ppid=27207 vsize=1211440 CPUtime=1182.29 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 1036576 0 0 0 117995 234 0 0 25 0 4 0 500228338 1240514560 222353 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=1211440 CPUtime=1182.15 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 967421 0 0 0 118003 212 0 0 25 0 4 0 500228338 1240514560 222353 33554432000 4194304 4650419 140736729210224 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=1211440 CPUtime=1175.84 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 887496 0 0 0 117378 206 0 0 25 0 4 0 500228338 1240514560 222353 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4722.62 Current children cumulated vsize (KiB) 1211440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.08 8.04 7.79 11/184 27254 /proc/meminfo: memFree=17514908/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=1211636 CPUtime=4800.12 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 3217818 0 0 0 479247 765 0 0 25 0 4 0 500228338 1240715264 222704 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 302909 222704 394 112 0 297874 0 [pid=27209/tid=27210] ppid=27207 vsize=1211636 CPUtime=1201.7 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 1064077 0 0 0 119932 238 0 0 25 0 4 0 500228338 1240715264 222704 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=1211636 CPUtime=1201.56 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 973910 0 0 0 119941 215 0 0 25 0 4 0 500228338 1240715264 222704 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=1211636 CPUtime=1195.13 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 921546 0 0 0 119301 212 0 0 25 0 4 0 500228338 1240715264 222704 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.12 Current children cumulated vsize (KiB) 1211636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.08 8.04 7.79 11/184 27254 /proc/meminfo: memFree=17514908/32951124 swapFree=67111528/67111528 [pid=27209] ppid=27207 vsize=1211636 CPUtime=4800.12 cores=0,2,4,6 /proc/27209/stat : 27209 (strangenight1-m) R 27207 27209 26704 0 -1 4202496 3217818 0 0 0 479247 765 0 0 25 0 4 0 500228338 1240715264 222704 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/27209/statm: 302909 222704 394 112 0 297874 0 [pid=27209/tid=27210] ppid=27207 vsize=1211636 CPUtime=1201.7 cores=0,2,4,6 /proc/27209/task/27210/stat : 27210 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 1064077 0 0 0 119932 238 0 0 25 0 4 0 500228338 1240715264 222704 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27209/tid=27211] ppid=27207 vsize=1211636 CPUtime=1201.56 cores=0,2,4,6 /proc/27209/task/27211/stat : 27211 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 973910 0 0 0 119941 215 0 0 25 0 4 0 500228338 1240715264 222704 33554432000 4194304 4650419 140736729210224 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27209/tid=27212] ppid=27207 vsize=1211636 CPUtime=1195.13 cores=0,2,4,6 /proc/27209/task/27212/stat : 27212 (strangenight1-m) R 27207 27209 26704 0 -1 4202560 921546 0 0 0 119301 212 0 0 25 0 4 0 500228338 1240715264 222704 33554432000 4194304 4650419 140736729210224 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.12 Current children cumulated vsize (KiB) 1211636 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.75 CPU time (s): 4800.2 CPU user time (s): 4792.5 CPU system time (s): 7.70083 CPU usage (%): 399.433 Max. virtual memory (cumulated for all children) (KiB): 1211636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4792.5 system time used= 7.70083 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3217820 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= 1079 involuntary context switches= 36113 runsolver used 1.9517 second user time and 4.6293 second system time The end
Begin job on node145 at 2011-04-29 13:55:25 IDJOB=3175024 IDBENCH=82642 IDSOLVER=1588 FILE ID=node145/3175024-1304078125 RUNJOBID= node145-1304078125-27186 PBS_JOBID= 13170497 Free space on /tmp= 72200 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt 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-3175024-1304078125/watcher-3175024-1304078125 -o /tmp/evaluation-result-3175024-1304078125/solver-3175024-1304078125 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175024-1304078125.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01bef578d60d53fc18e9469f59ed2fd1 RANDOM SEED=1666929327 node145.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.786 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.57 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.786 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.76 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.786 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.786 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.83 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.786 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.82 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.786 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.786 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.84 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.786 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.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19044112 kB Buffers: 2051360 kB Cached: 11215876 kB SwapCached: 0 kB Active: 2536596 kB Inactive: 10799652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19044112 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12912 kB Writeback: 0 kB AnonPages: 68116 kB Mapped: 14876 kB Slab: 507696 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 270936 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= 72196 MiB End job on node145 at 2011-04-29 14:15:29