| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.27 | 1201.95 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf |
| MD5SUM | e54dff8ae8b71ab472786a7e95ae7d20 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.55861 |
| 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-3174948-1304057797.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.03 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.00/0.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.01 0.00/0.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5000 time: 0.00 s 0.00/0.90 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 0.00/0.90 c lits-rem: 0 cl-subs: 0 v-elim: 169 v-fix: 0 time: 0.13 s 0.00/0.90 c Finding binary XORs T: 0.00 s found: 0 0.00/0.90 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 0.00/0.90 c calculated reachability. Time: 0.00 0.00/0.90 c Calc default polars - time: 0.00 s pos: 2199 undec: 586 neg: 2215 0.00/0.90 c ========================================================================================= 0.00/0.90 c types(t): F = full restart, N = normal restart 0.00/0.90 c types(t): S = simplification begin/end, E = solution found 0.00/0.90 c restart types(rt): st = static, dy = dynamic 0.00/0.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.90 c B st 0 0 4831 20818 0 0 63411 0 no data no data -- 0.00/0.90 c N dy 19 4071 4831 20818 0 4070 63411 446289 65.95 90.47 -- 0.00/0.90 c N dy 37 8181 4831 20818 0 5685 63411 424589 64.35 69.14 -- 5.15/1.30 c N dy 67 12330 4831 20818 0 5584 63411 254443 64.39 69.85 -- 6.35/1.65 c N dy 95 16335 4831 20818 0 9589 63411 682164 65.69 69.66 -- 7.97/2.07 c N dy 120 20392 4831 20818 0 8028 63411 389257 65.99 70.19 -- 9.54/2.49 c N dy 145 24409 4831 20818 0 12044 63411 804012 65.91 69.91 -- 9.95/2.55 c F st 149 25004 4831 20818 0 12639 63411 864255 65.84 no data -- 12.36/3.12 c N dy 155 30002 4831 20818 0 10822 63411 615610 65.84 no data -- 12.36/3.12 c S st 155 30002 4831 20818 0 10822 63411 615610 65.84 no data -- 12.36/3.17 c S st 155 30503 4831 20818 0 11323 63411 656288 65.84 no data -- 12.36/3.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.36/3.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.36/3.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 12.82/3.23 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.82/3.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.82/3.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 12.82/3.23 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 22.32/5.65 c lits-rem: 235 cl-subs: 2 v-elim: 0 v-fix: 0 time: 9.63 s 22.32/5.68 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.11 22.32/5.68 c calculated reachability. Time: 0.00 22.32/5.68 c N dy 155 30503 4831 20818 0 11321 63411 655684 65.84 no data -- 24.32/6.19 c N dy 177 34833 4831 20818 0 15651 63411 1098348 65.71 71.76 -- 26.32/6.65 c N dy 206 39054 4831 20818 0 11962 63411 580043 65.98 69.99 -- 28.32/7.14 c N dy 238 43331 4831 20818 0 16239 63411 1035679 66.23 70.11 -- 29.54/7.42 c S st 252 45754 4831 20818 0 9710 63411 235304 66.10 no data -- 29.54/7.47 c S st 252 46260 4831 20818 0 10216 63411 277379 66.10 no data -- 29.54/7.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 29.54/7.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.54/7.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 29.54/7.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.54/7.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.54/7.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 29.54/7.50 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 32.31/8.15 c lits-rem: 5 cl-subs: 0 v-elim: 0 v-fix: 0 time: 2.56 s 32.31/8.15 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.01 32.31/8.15 c vivif2 -- cl tried 10216 cl shrink 0 lits rem 0 time: 0.01 32.31/8.17 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.09 32.31/8.17 c calculated reachability. Time: 0.00 32.31/8.17 c N dy 252 46260 4831 20818 0 10216 63411 277374 66.10 no data -- 34.32/8.61 c N dy 274 50384 4831 20818 0 14340 63411 693164 65.89 69.41 -- 36.30/9.10 c N dy 298 54535 4831 20818 0 18491 63411 1112161 65.83 69.87 -- 37.91/9.58 c N dy 326 58582 4831 20818 0 12562 63411 435472 65.86 73.32 -- 39.90/10.06 c N dy 352 62661 4831 20818 0 16641 63411 855580 65.87 71.80 -- 41.90/10.58 c N dy 381 66707 4831 20818 0 20686 63411 1276797 65.99 69.91 -- 43.50/10.91 c S st 396 69392 4831 20818 0 12381 63411 307424 65.94 no data -- 43.50/10.97 c S st 396 69895 4831 20818 0 12884 63411 350755 65.94 no data -- 43.50/10.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 43.50/10.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 43.50/10.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 43.89/11.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 43.89/11.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 43.89/11.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 43.89/11.00 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 47.89/12.02 c lits-rem: 15 cl-subs: 1 v-elim: 0 v-fix: 0 time: 4.05 s 47.89/12.02 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.00 47.89/12.02 c vivif2 -- cl tried 12883 cl shrink 0 lits rem 0 time: 0.02 47.89/12.05 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.10 47.89/12.05 c calculated reachability. Time: 0.00 47.89/12.05 c N dy 396 69895 4831 20818 0 12883 63411 350708 65.94 no data -- 49.89/12.56 c N dy 425 74366 4831 20818 0 17352 63411 819652 66.11 70.24 -- 52.28/13.18 c N dy 455 79228 4831 20818 0 22214 63411 1322996 66.11 70.11 -- 55.08/13.80 c N dy 486 84413 4831 20818 0 15406 63411 527082 66.16 71.88 -- 56.30/14.18 c F st 505 87502 4831 20818 0 18495 63411 844816 66.19 57.94 -- 58.27/14.62 c N st 510 90799 4831 20818 0 21790 63411 1226588 66.19 no data -- 61.07/15.38 c N dy 536 96612 4831 20818 0 14609 63411 355335 66.22 70.05 -- 64.27/16.15 c N dy 583 102872 4831 20818 0 20868 63411 1022691 66.47 87.40 -- 65.46/16.40 c S st 594 104843 4831 20818 0 22839 63411 1224968 66.46 64.54 -- 65.46/16.48 c S st 594 105344 4831 20818 0 23340 63411 1265801 66.46 no data -- 65.46/16.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 65.46/16.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 65.86/16.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.09 65.86/16.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 65.86/16.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 65.86/16.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 65.86/16.57 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 75.05/18.82 c lits-rem: 20 cl-subs: 5 v-elim: 0 v-fix: 0 time: 8.97 s 75.05/18.83 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.01 75.05/18.84 c vivif2 -- cl tried 23335 cl shrink 0 lits rem 0 time: 0.06 75.05/18.88 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.17 75.05/18.88 c calculated reachability. Time: 0.00 75.05/18.88 c N dy 594 105344 4831 20818 0 23335 63411 1264497 66.46 no data -- 79.04/19.84 c N dy 640 112360 4831 20818 0 16358 63411 430949 66.51 70.23 -- 83.04/20.81 c N dy 685 119802 4831 20818 0 23800 63411 1217770 66.55 70.82 -- 87.05/21.84 c N dy 727 127547 4831 20818 0 16550 63411 348619 66.47 70.31 -- 91.05/22.89 c N dy 785 135686 4831 20818 0 24688 63411 1207707 66.66 87.95 -- 96.22/24.10 c N dy 830 144430 4831 20818 0 17429 63411 342447 66.62 89.08 -- 101.01/25.31 c N dy 892 153745 4831 20818 0 26742 63411 1323439 66.72 76.75 -- 103.41/25.92 c S st 920 158017 4831 20818 0 31014 63411 1775443 66.77 68.30 -- 103.81/26.00 c S st 920 158518 4831 20818 0 31515 63411 1813434 66.77 no data -- 103.81/26.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 103.81/26.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 103.81/26.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 104.23/26.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 104.23/26.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 104.23/26.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 104.23/26.11 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 117.81/29.55 c lits-rem: 17 cl-subs: 7 v-elim: 0 v-fix: 0 time: 13.71 s 117.81/29.55 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.01 117.81/29.57 c vivif2 -- cl tried 31508 cl shrink 0 lits rem 0 time: 0.08 118.18/29.63 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.23 118.18/29.63 c calculated reachability. Time: 0.00 118.18/29.63 c N dy 920 158518 4831 20818 0 31508 63411 1812019 66.77 no data -- 123.78/31.04 c N dy 983 168722 4831 20818 0 24712 63411 1027650 66.88 71.19 -- 130.59/32.72 c N dy 1047 179643 4831 20818 0 35629 63411 2166948 66.85 70.83 -- 136.56/34.26 c N dy 1119 191144 4831 20818 0 29131 63411 1378208 66.87 70.53 -- 143.76/36.07 c N dy 1196 203437 4831 20818 0 22427 63411 588283 66.95 70.57 -- 151.35/37.94 c N dy 1285 216519 4831 20818 0 35508 63411 1957840 67.02 71.68 -- 159.33/39.96 c N dy 1374 230467 4831 20818 0 29459 63411 1211354 67.06 71.55 -- 163.72/41.07 c S st 1420 237780 4831 20818 0 36772 63411 1974484 67.04 65.42 -- 164.12/41.16 c S st 1420 238284 4831 20818 0 37276 63411 2010049 67.04 no data -- 164.12/41.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 164.12/41.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 164.12/41.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.11 164.52/41.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 164.52/41.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 164.52/41.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 164.52/41.28 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 180.50/45.23 c lits-rem: 39 cl-subs: 9 v-elim: 0 v-fix: 0 time: 15.79 s 180.50/45.23 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.01 180.50/45.26 c vivif2 -- cl tried 37267 cl shrink 0 lits rem 0 time: 0.09 180.90/45.32 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.24 180.90/45.32 c calculated reachability. Time: 0.00 180.90/45.32 c N dy 1420 238284 4831 20818 0 37267 63411 2009024 67.04 no data -- 189.69/47.55 c N dy 1517 253530 4831 20818 0 31511 63411 1334457 67.03 72.00 -- 199.67/50.08 c N dy 1615 270014 4831 20818 0 25996 63411 639324 67.00 70.57 -- 210.45/52.79 c N dy 1729 287398 4831 20818 0 43380 63411 2461785 67.05 70.72 -- 222.04/55.60 c N dy 1843 305794 4831 20818 0 38774 63411 1920393 67.11 71.02 -- 222.04/55.68 c F st 1847 306252 4831 20818 0 39232 63411 1966783 67.11 55.70 -- 234.43/58.72 c N dy 1945 325373 4831 20818 0 34350 63411 1348011 67.20 71.15 -- 247.60/62.01 c N dy 2072 345439 4831 20818 0 29415 63411 710821 67.22 94.76 -- 255.19/63.92 c S st 2155 357426 4831 20818 0 41401 63411 1996333 67.29 no data -- 255.59/64.02 c S st 2155 357928 4831 20818 0 41903 63411 2041561 67.29 no data -- 255.59/64.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 255.59/64.02 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 255.59/64.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.12 255.99/64.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 255.99/64.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 255.99/64.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 255.99/64.14 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 272.77/68.35 c lits-rem: 41 cl-subs: 4 v-elim: 0 v-fix: 0 time: 16.79 s 272.77/68.35 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.00 272.77/68.37 c vivif2 -- cl tried 41899 cl shrink 0 lits rem 0 time: 0.09 273.16/68.44 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.28 273.16/68.45 c calculated reachability. Time: 0.00 273.16/68.45 c N dy 2155 357928 4831 20818 0 41899 63411 2040535 67.29 no data -- 287.14/71.91 c N dy 2286 378013 4831 20818 0 35989 63411 1304867 67.34 75.95 -- 301.13/75.43 c N dy 2409 398046 4831 20818 0 29021 63411 462859 67.37 71.77 -- 314.31/78.75 c N dy 2541 418141 4831 20818 0 49115 63411 2610025 67.48 72.84 -- 327.89/82.16 c N dy 2671 438165 4831 20818 0 41138 63411 1667675 67.55 76.54 -- 342.67/85.84 c N dy 2794 458268 4831 20818 0 32248 63411 616945 67.56 71.67 -- 356.24/89.27 c N dy 2920 478326 4831 20818 0 52302 63411 2725786 67.59 73.18 -- 370.23/92.76 c N dy 3041 498399 4831 20818 0 42374 63411 1580802 67.59 72.63 -- 386.21/96.71 c N dy 3159 518629 4831 20818 0 31604 63411 348075 67.59 72.79 -- 398.20/99.75 c S st 3273 536892 4831 20818 0 49867 63411 2295525 67.63 no data -- 398.61/99.86 c S st 3273 537395 4831 20818 0 50370 63411 2332634 67.63 no data -- 398.61/99.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 398.61/99.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 399.01/99.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.14 399.01/100.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 399.39/100.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 399.39/100.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 399.39/100.00 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 422.15/105.75 c lits-rem: 17 cl-subs: 5 v-elim: 0 v-fix: 0 time: 22.93 s 422.15/105.75 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.00 422.15/105.78 c vivif2 -- cl tried 50365 cl shrink 0 lits rem 0 time: 0.11 422.55/105.86 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.33 422.55/105.86 c calculated reachability. Time: 0.00 422.55/105.86 c N dy 3273 537395 4831 20818 0 50365 63411 2331781 67.63 no data -- 437.75/109.69 c N dy 3409 557459 4831 20818 0 38428 63411 984110 67.70 71.80 -- 452.92/113.43 c N dy 3543 577641 4831 20818 0 58606 63411 3123801 67.75 71.54 -- 467.70/117.16 c N dy 3663 597914 4831 20818 0 45882 63411 1644668 67.75 72.32 -- 484.07/121.23 c N dy 3790 618079 4831 20818 0 66045 63411 3799902 67.77 72.70 -- 498.86/124.93 c N dy 3913 638099 4831 20818 0 52064 63411 2211929 67.77 73.74 -- 516.03/129.27 c N dy 4041 658132 4831 20818 0 37101 63411 531863 67.78 74.46 -- 531.21/133.07 c N dy 4165 678161 4831 20818 0 57129 63411 2655551 67.80 71.43 -- 549.18/137.50 c N dy 4301 698239 4831 20818 0 41208 63411 871934 67.84 79.91 -- 564.77/141.49 c N dy 4416 718447 4831 20818 0 61415 63411 3008747 67.84 71.80 -- 582.35/145.87 c N dy 4544 738498 4831 20818 0 44471 63411 1120351 67.85 72.76 -- 599.12/150.09 c N dy 4673 758655 4831 20818 0 64628 63411 3253665 67.86 73.47 -- 616.70/154.49 c N dy 4805 778713 4831 20818 0 46685 63411 1250079 67.89 72.19 -- 633.88/158.78 c N dy 4939 798801 4831 20818 0 66769 63411 3387768 67.91 71.52 -- 641.06/160.50 c S st 4985 806093 4831 20818 0 74060 63411 4156447 67.92 no data -- 641.46/160.65 c S st 4985 806599 4831 20818 0 74566 63411 4193950 67.92 no data -- 641.46/160.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 641.46/160.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 641.86/160.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.22 642.26/160.88 c bin-w-bin subsume rem 0 bins time: 0.01 s 642.26/160.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 642.26/160.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 642.26/160.89 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 896.32/224.40 c lits-rem: 2 cl-subs: 10 v-elim: 0 v-fix: 0 time: 253.10 s 896.32/224.40 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.01 896.32/224.45 c vivif2 -- cl tried 74556 cl shrink 0 lits rem 0 time: 0.20 896.72/224.58 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.53 896.72/224.59 c calculated reachability. Time: 0.00 896.72/224.59 c N dy 4985 806599 4831 20818 0 74556 63411 4192006 67.92 no data -- 912.72/228.56 c N dy 5114 826662 4831 20818 0 55618 63411 2084807 67.93 72.14 -- 931.07/233.13 c N dy 5246 846742 4831 20818 0 75691 63411 4228963 67.96 73.07 -- 947.05/237.15 c N dy 5370 866887 4831 20818 0 55841 63411 2026316 67.97 73.27 -- 965.44/241.73 c N dy 5509 887015 4831 20818 0 75962 63411 4177394 68.02 77.09 -- 982.61/246.08 c N dy 5630 907176 4831 20818 0 55129 63411 1850954 68.03 71.79 -- 1001.77/250.82 c N dy 5748 927263 4831 20818 0 75211 63411 3970894 68.03 72.28 -- 1020.16/255.40 c N dy 5874 947268 4831 20818 0 53219 63411 1541497 68.05 73.52 -- 1038.53/260.05 c N dy 6000 967496 4831 20818 0 73442 63411 3706464 68.07 71.80 -- 1058.12/264.96 c N dy 6132 987586 4831 20818 0 50537 63411 1162280 68.09 79.22 -- 1076.07/269.47 c N dy 6257 1007723 4831 20818 0 70672 63411 3296565 68.10 73.20 -- 1097.26/274.72 c N dy 6379 1027775 4831 20818 0 46732 63411 648219 68.12 71.81 -- 1114.43/279.05 c N dy 6494 1047969 4831 20818 0 66923 63411 2811220 68.12 72.50 -- 1135.59/284.39 c N dy 6622 1068045 4831 20818 0 86997 63411 4958165 68.14 74.05 -- 1139.99/285.48 c F st 6642 1071876 4831 20818 0 45833 63411 454809 68.13 57.00 -- 1153.18/288.75 c N dy 6704 1088211 4831 20818 0 62165 63411 2266984 68.12 72.19 -- 1173.14/293.79 c N dy 6828 1108295 4831 20818 0 82246 63411 4407862 68.13 72.18 -- 1192.73/298.64 c N dy 6931 1128311 4831 20818 0 56269 63411 1480442 68.12 72.02 -- 1211.52/303.36 c N dy 7051 1148316 4831 20818 0 76274 63411 3613470 68.12 71.96 -- 1233.49/308.86 c N dy 7168 1168322 4831 20818 0 49282 63411 625921 68.12 83.14 -- 1251.06/313.25 c N dy 7297 1188404 4831 20818 0 69362 63411 2761715 68.14 73.33 -- 1273.02/318.72 c N dy 7420 1208765 4831 20818 0 89717 63411 4937619 68.15 73.01 -- 1274.20/319.06 c S st 7428 1209901 4831 20818 0 90852 63411 5053212 68.15 56.97 -- 1275.01/319.25 c S st 7428 1210406 4831 20818 0 91356 63411 5094447 68.15 no data -- 1275.01/319.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1275.01/319.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1275.41/319.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.27 1276.21/319.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 1276.21/319.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1276.21/319.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 1276.21/319.55 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 s 1693.24/423.94 c lits-rem: 0 cl-subs: 22 v-elim: 0 v-fix: 0 time: 416.06 s 1693.24/423.94 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.01 1693.64/424.00 c vivif2 -- cl tried 91334 cl shrink 0 lits rem 0 time: 0.25 1694.04/424.17 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.68 1694.04/424.17 c calculated reachability. Time: 0.00 1694.04/424.17 c N dy 7428 1210406 4831 20818 0 91334 63411 5090395 68.15 no data -- 1712.43/428.71 c N dy 7555 1230692 4831 20818 0 63636 63411 2076773 68.18 72.44 -- 1731.99/433.66 c N dy 7687 1250820 4831 20818 0 83762 63411 4224353 68.19 74.24 -- 1753.16/439.00 c N dy 7821 1270851 4831 20818 0 54798 63411 1019343 68.21 72.69 -- 1771.93/443.65 c N dy 7945 1290856 4831 20818 0 74800 63411 3146275 68.21 75.08 -- 1795.10/449.46 c N dy 8079 1311011 4831 20818 0 94953 63411 5281285 68.23 72.57 -- 1814.67/454.37 c N dy 8193 1331085 4831 20818 0 65021 63411 1994026 68.23 75.90 -- 1835.87/459.67 c N dy 8327 1351184 4831 20818 0 85117 63411 4155678 68.25 73.71 -- 1859.41/465.52 c N dy 8447 1371276 4831 20818 0 54210 63411 736786 68.26 73.71 -- 1878.58/470.30 c N dy 8565 1391765 4831 20818 0 74699 63411 2933660 68.27 73.01 -- 1901.77/476.13 c N dy 8691 1412067 4831 20818 0 94998 63411 5093302 68.28 73.43 -- 1923.75/481.68 c N dy 8820 1432749 4831 20818 0 63680 63411 1657379 68.30 72.12 -- 1944.49/486.86 c N dy 8951 1452845 4831 20818 0 83774 63411 3783510 68.31 73.22 -- 1969.26/493.07 c N dy 9070 1472930 4831 20818 0 103858 63411 5941849 68.32 72.26 -- 1988.83/497.91 c N dy 9186 1492961 4831 20818 0 70893 63411 2344009 68.33 97.81 -- 2010.81/503.48 c N dy 9323 1513022 4831 20818 0 90951 63411 4512251 68.36 75.44 -- 2035.98/509.72 c N dy 9444 1533379 4831 20818 0 57317 63411 778115 68.36 72.04 -- 2054.58/514.44 c N dy 9550 1553417 4831 20818 0 77353 63411 2906042 68.35 78.10 -- 2078.71/520.56 c N dy 9677 1573507 4831 20818 0 97441 63411 5055556 68.36 76.80 -- 2103.57/526.82 c N dy 9799 1593555 4831 20818 0 62491 63411 1232855 68.37 73.54 -- 2123.42/531.86 c N dy 9917 1613677 4831 20818 0 82609 63411 3392417 68.37 73.66 -- 2147.78/537.97 c N dy 10037 1633703 4831 20818 0 102632 63411 5527030 68.38 93.74 -- 2170.56/543.66 c N dy 10156 1653754 4831 20818 0 66686 63411 1583244 68.38 72.19 -- 2191.73/548.93 c N dy 10284 1673848 4831 20818 0 86779 63411 3711972 68.39 72.22 -- 2217.31/555.32 c N dy 10406 1693928 4831 20818 0 106856 63411 5860460 68.40 73.96 -- 2235.66/559.99 c S st 10509 1710408 4831 20818 0 66342 63411 1453349 68.40 no data -- 2236.46/560.13 c S st 10509 1710911 4831 20818 0 66845 63411 1494418 68.40 no data -- 2236.46/560.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2236.46/560.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2236.46/560.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.19 2236.86/560.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 2236.86/560.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2236.86/560.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 2236.86/560.26 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2252.46/564.16 c lits-rem: 24 cl-subs: 2 v-elim: 0 v-fix: 0 time: 15.53 s 2252.46/564.16 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.01 2252.46/564.18 c vivif2 -- cl tried 66843 cl shrink 0 lits rem 0 time: 0.08 2252.84/564.29 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.46 2252.84/564.30 c calculated reachability. Time: 0.00 2252.84/564.30 c N dy 10509 1710911 4831 20818 0 66843 63411 1493823 68.40 no data -- 2274.03/569.56 c N dy 10642 1731021 4831 20818 0 86951 63411 3635105 68.42 72.15 -- 2299.58/575.95 c N dy 10782 1751109 4831 20818 0 107037 63411 5816803 68.45 72.99 -- 2323.54/581.92 c N dy 10907 1771232 4831 20818 0 69161 63411 1631800 68.46 72.25 -- 2345.92/587.51 c N dy 11031 1791315 4831 20818 0 89244 63411 3768569 68.46 72.12 -- 2373.07/594.30 c N dy 11160 1811505 4831 20818 0 109434 63411 5911442 68.47 72.75 -- 2397.06/600.33 c N dy 11279 1831796 4831 20818 0 70730 63411 1704216 68.47 72.93 -- 2419.44/605.94 c N dy 11400 1851881 4831 20818 0 90813 63411 3864506 68.48 74.46 -- 2444.98/612.33 c N dy 11533 1872017 4831 20818 0 110948 63411 6015488 68.48 72.26 -- 2467.37/618.00 c N dy 11659 1892035 4831 20818 0 70966 63411 1646708 68.50 100.00 -- 2488.12/623.17 c N dy 11773 1912092 4831 20818 0 91020 63411 3793924 68.51 77.15 -- 2513.28/629.49 c N dy 11899 1932237 4831 20818 0 111162 63411 5963213 68.52 72.68 -- 2537.26/635.46 c N dy 12036 1952289 4831 20818 0 70218 63411 1454525 68.54 73.74 -- 2558.42/640.75 c N dy 12159 1972483 4831 20818 0 90410 63411 3611706 68.54 72.40 -- 2583.59/647.07 c N dy 12292 1992591 4831 20818 0 110516 63411 5766739 68.56 73.56 -- 2608.75/653.36 c N dy 12423 2012600 4831 20818 0 68529 63411 1163570 68.57 74.32 -- 2629.52/658.50 c N dy 12562 2032713 4831 20818 0 88640 63411 3326596 68.58 73.39 -- 2653.48/664.56 c N dy 12688 2052803 4831 20818 0 108729 63411 5486977 68.60 73.14 -- 2680.25/671.27 c N dy 12812 2072968 4831 20818 0 65903 63411 792447 68.60 72.69 -- 2700.24/676.26 c N dy 12943 2093081 4831 20818 0 86013 63411 2939473 68.61 72.33 -- 2724.59/682.30 c N dy 13077 2113185 4831 20818 0 106116 63411 5109477 68.63 72.90 -- 2752.16/689.20 c N dy 13198 2133224 4831 20818 0 126153 63411 7280822 68.64 73.26 -- 2772.53/694.30 c N dy 13326 2153394 4831 20818 0 82327 63411 2475133 68.66 73.55 -- 2795.70/700.17 c N dy 13456 2173581 4831 20818 0 102508 63411 4643781 68.67 72.59 -- 2822.86/706.97 c N dy 13579 2193614 4831 20818 0 122539 63411 6803267 68.68 73.93 -- 2843.63/712.11 c S st 13693 2210912 4831 20818 0 74848 63411 1548545 68.69 no data -- 2844.03/712.26 c S st 13693 2211417 4831 20818 0 75353 63411 1588239 68.69 no data -- 2844.03/712.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2844.03/712.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2844.43/712.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.20 2844.43/712.39 c bin-w-bin subsume rem 0 bins time: 0.01 s 2844.43/712.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2844.43/712.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 2844.43/712.39 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2862.01/716.77 c lits-rem: 28 cl-subs: 2 v-elim: 0 v-fix: 0 time: 17.46 s 2862.01/716.77 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.00 2862.01/716.79 c vivif2 -- cl tried 75351 cl shrink 0 lits rem 0 time: 0.08 2862.82/716.91 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.48 2862.82/716.91 c calculated reachability. Time: 0.00 2862.82/716.91 c N dy 13693 2211417 4831 20818 0 75351 63411 1587887 68.69 no data -- 2883.97/722.23 c N dy 13811 2231485 4831 20818 0 95417 63411 3746020 68.70 73.73 -- 2909.14/728.59 c N dy 13934 2251568 4831 20818 0 115496 63411 5928050 68.70 75.68 -- 2936.70/735.47 c N dy 14058 2271750 4831 20818 0 69679 63411 896367 68.71 77.54 -- 2957.07/740.52 c N dy 14177 2291925 4831 20818 0 89851 63411 3042334 68.71 72.57 -- 2981.45/746.65 c N dy 14303 2311947 4831 20818 0 109870 63411 5182234 68.72 73.68 -- 3010.20/753.81 c N dy 14424 2332007 4831 20818 0 129927 63411 7326599 68.72 72.67 -- 3032.57/759.44 c N dy 14546 2352079 4831 20818 0 83011 63411 2221206 68.72 74.10 -- 3056.56/765.49 c N dy 14671 2372102 4831 20818 0 103032 63411 4363698 68.73 72.62 -- 3086.49/772.96 c N dy 14795 2392140 4831 20818 0 123069 63411 6510698 68.73 73.38 -- 3115.65/780.29 c N dy 14923 2412472 4831 20818 0 75401 63411 1306249 68.74 73.03 -- 3139.23/786.16 c N dy 15042 2432724 4831 20818 0 95651 63411 3472340 68.74 73.36 -- 3167.58/793.20 c N dy 15178 2452775 4831 20818 0 115699 63411 5625624 68.75 88.10 -- 3200.34/801.43 c N dy 15305 2472865 4831 20818 0 135787 63411 7784934 68.76 80.65 -- 3223.90/807.30 c N dy 15426 2492900 4831 20818 0 86827 63411 2430449 68.76 73.09 -- 3250.67/814.04 c N dy 15554 2512971 4831 20818 0 106895 63411 4582006 68.77 73.59 -- 3282.22/821.97 c N dy 15685 2533032 4831 20818 0 126951 63411 6732988 68.78 73.46 -- 3313.39/829.78 c N dy 15813 2553307 4831 20818 0 77232 63411 1298939 68.80 73.43 -- 3338.15/835.95 c N dy 15940 2573433 4831 20818 0 97354 63411 3460848 68.81 73.05 -- 3366.91/843.16 c N dy 16066 2593464 4831 20818 0 117383 63411 5609750 68.82 73.71 -- 3399.29/851.25 c N dy 16186 2613607 4831 20818 0 137522 63411 7759788 68.82 72.85 -- 3422.84/857.11 c N dy 16309 2633719 4831 20818 0 86645 63411 2210600 68.82 72.50 -- 3446.40/863.10 c N dy 16443 2653798 4831 20818 0 106722 63411 4387271 68.84 72.78 -- 3473.99/869.94 c N dy 16563 2673839 4831 20818 0 126762 63411 6528872 68.84 75.30 -- 3504.34/877.56 c N dy 16691 2693855 4831 20818 0 74788 63411 830450 68.85 84.83 -- 3523.10/882.20 c S st 16803 2711417 4831 20818 0 92349 63411 2732015 68.86 64.30 -- 3523.50/882.39 c S st 16803 2711924 4831 20818 0 92856 63411 2770634 68.86 no data -- 3523.90/882.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3523.90/882.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3523.90/882.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.25 3524.30/882.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 3524.30/882.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3524.30/882.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.00 s 3524.30/882.57 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3572.63/894.64 c lits-rem: 34 cl-subs: 8 v-elim: 0 v-fix: 0 time: 48.15 s 3572.63/894.64 c vivif2 -- cl tried 20818 cl shrink 0 lits rem 0 time: 0.00 3572.63/894.68 c vivif2 -- cl tried 92848 cl shrink 0 lits rem 0 time: 0.14 3573.43/894.83 c asymm cl-useful: 0/20818/20818 lits-rem:0 time: 0.62 3573.43/894.84 c calculated reachability. Time: 0.00 3573.43/894.84 c N dy 16803 2711924 4831 20818 0 92848 63411 2769437 68.86 no data -- 3598.59/901.16 c N dy 16936 2732262 4831 20818 0 113184 63411 4957323 68.87 73.58 -- 3628.15/908.52 c N dy 17063 2752276 4831 20818 0 133197 63411 7121930 68.88 74.66 -- 3656.11/915.53 c N dy 17186 2772389 4831 20818 0 80313 63411 1326903 68.89 74.66 -- 3678.49/921.12 c N dy 17315 2792443 4831 20818 0 100363 63411 3505768 68.90 74.85 -- 3704.86/927.76 c N dy 17435 2812486 4831 20818 0 120403 63411 5652741 68.90 72.70 -- 3735.61/935.45 c N dy 17558 2832535 4831 20818 0 140451 63411 7834023 68.91 73.03 -- 3761.57/941.94 c N dy 17689 2852660 4831 20818 0 86583 63411 1910592 68.92 73.59 -- 3784.74/947.78 c N dy 17808 2872700 4831 20818 0 106621 63411 4049538 68.92 72.74 -- 3813.50/954.95 c N dy 17942 2892851 4831 20818 0 126767 63411 6227756 68.93 72.57 -- 3845.46/962.97 c N dy 18056 2913221 4831 20818 0 147136 63411 8414772 68.93 74.15 -- 3868.63/968.78 c N dy 18178 2933296 4831 20818 0 92220 63411 2394657 68.94 75.16 -- 3893.39/974.90 c N dy 18299 2953313 4831 20818 0 112236 63411 4556913 68.94 74.85 -- 3922.56/982.26 c N dy 18436 2973345 4831 20818 0 132264 63411 6732111 68.95 72.61 -- 3955.71/990.56 c N dy 18550 2993408 4831 20818 0 76335 63411 592440 68.95 77.29 -- 3977.28/995.93 c N dy 18675 3013480 4831 20818 0 96405 63411 2743625 68.95 76.13 -- 4002.85/1002.38 c N dy 18788 3033687 4831 20818 0 116612 63411 4931793 68.95 72.61 -- 4033.20/1009.92 c N dy 18910 3053786 4831 20818 0 136708 63411 7092470 68.96 74.46 -- 4067.55/1018.51 c N dy 19047 3073791 4831 20818 0 79716 63411 853930 68.98 73.51 -- 4093.14/1024.94 c N dy 19176 3094012 4831 20818 0 99934 63411 3034588 68.98 72.88 -- 4123.90/1032.66 c N dy 19307 3114117 4831 20818 0 120037 63411 5187265 68.99 72.84 -- 4159.83/1041.60 c N dy 19429 3134339 4831 20818 0 140254 63411 7364864 68.99 72.64 -- 4196.98/1050.91 c N dy 19564 3154367 4831 20818 0 82285 63411 1023273 69.01 72.91 -- 4223.36/1057.55 c N dy 19692 3174398 4831 20818 0 102314 63411 3181815 69.02 72.71 -- 4254.91/1065.49 c N dy 19834 3194446 4831 20818 0 122362 63411 5364063 69.03 72.84 -- 4286.07/1073.28 c S st 19938 3211924 4831 20818 0 139840 63411 7265082 69.03 no data -- 4287.26/1073.59 c S st 19938 3212426 4831 20818 0 140342 63411 7304527 69.03 no data -- 4287.66/1073.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4287.66/1073.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4288.06/1073.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.44 4289.26/1074.06 c bin-w-bin subsume rem 0 bins time: 0.01 s 4289.26/1074.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4289.26/1074.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4831 time: 0.01 s 4289.26/1074.06 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: 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-3174948-1304057797/watcher-3174948-1304057797 -o /tmp/evaluation-result-3174948-1304057797/solver-3174948-1304057797 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174948-1304057797.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 8.25 8.12 7.48 3/174 29635 /proc/meminfo: memFree=26585408/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=116780 CPUtime=0 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) S 29633 29635 29500 0 -1 4202496 578 0 0 0 0 0 0 0 25 0 4 0 498195186 119582720 507 33554432000 4194304 4650419 140733299576096 18446744073709551615 228095556078 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 29195 525 323 112 0 24160 0 [pid=29635/tid=29636] ppid=29633 vsize=116780 CPUtime=0 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 112 0 0 0 0 0 0 0 25 0 4 0 498195186 119582720 567 33554432000 4194304 4650419 140733299576096 18446744073709551615 228095450939 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=116780 CPUtime=0 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 114 0 0 0 0 0 0 0 25 0 4 0 498195186 119582720 585 33554432000 4194304 4650419 140733299576096 18446744073709551615 4241376 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=116780 CPUtime=0 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 4 0 498195186 119582720 591 33554432000 4194304 4650419 140733299576096 18446744073709551615 228095556078 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.559898 s] /proc/loadavg: 8.25 8.12 7.48 3/174 29635 /proc/meminfo: memFree=26585408/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=303428 CPUtime=2.19 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 11134 0 0 0 217 2 0 0 18 0 4 0 498195186 310710272 7746 33554432000 4194304 4650419 140733299576096 18446744073709551615 228095494279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 75857 7746 392 112 0 70822 0 [pid=29635/tid=29636] ppid=29633 vsize=303428 CPUtime=0.53 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 2636 0 0 0 53 0 0 0 18 0 4 0 498195186 310710272 7107 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=294628 CPUtime=0.89 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3513 0 0 0 89 0 0 0 19 0 4 0 498195186 301699072 8692 33554432000 4194304 4650419 140733299576096 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=294628 CPUtime=0.89 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 2402 0 0 0 89 0 0 0 19 0 4 0 498195186 301699072 8692 33554432000 4194304 4650419 140733299576096 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 303428 [startup+1.0138 s] /proc/loadavg: 8.25 8.12 7.48 3/174 29635 /proc/meminfo: memFree=26585408/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=294628 CPUtime=4.01 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 13203 0 0 0 398 3 0 0 19 0 4 0 498195186 301699072 9140 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 73657 9140 392 112 0 68622 0 [pid=29635/tid=29636] ppid=29633 vsize=294628 CPUtime=1 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3142 0 0 0 99 1 0 0 19 0 4 0 498195186 301699072 9140 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=294628 CPUtime=0.99 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3631 0 0 0 99 0 0 0 19 0 4 0 498195186 301699072 9140 33554432000 4194304 4650419 140733299576096 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=294628 CPUtime=0.99 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 2513 0 0 0 99 0 0 0 19 0 4 0 498195186 301699072 9140 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 294628 [startup+1.10079 s] /proc/loadavg: 8.25 8.12 7.48 3/174 29635 /proc/meminfo: memFree=26585408/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=294800 CPUtime=4.36 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 13945 0 0 0 433 3 0 0 19 0 4 0 498195186 301875200 9003 33554432000 4194304 4650419 140733299576096 18446744073709551615 4303912 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 73700 9004 392 112 0 68665 0 [pid=29635/tid=29636] ppid=29633 vsize=294800 CPUtime=1.08 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3233 0 0 0 107 1 0 0 19 0 4 0 498195186 301875200 9004 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=294800 CPUtime=1.08 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3722 0 0 0 108 0 0 0 19 0 4 0 498195186 301875200 9004 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=294800 CPUtime=1.08 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 2967 0 0 0 108 0 0 0 19 0 4 0 498195186 301875200 9004 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 294800 [startup+1.20077 s] /proc/loadavg: 8.25 8.12 7.48 3/174 29635 /proc/meminfo: memFree=26585408/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=295520 CPUtime=4.76 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 15371 0 0 0 473 3 0 0 19 0 4 0 498195186 302612480 7838 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 73880 7838 392 112 0 68845 0 [pid=29635/tid=29636] ppid=29633 vsize=295520 CPUtime=1.18 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3644 0 0 0 117 1 0 0 19 0 4 0 498195186 302612480 7838 33554432000 4194304 4650419 140733299576096 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=295520 CPUtime=1.18 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 4189 0 0 0 118 0 0 0 19 0 4 0 498195186 302612480 7838 33554432000 4194304 4650419 140733299576096 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=295520 CPUtime=1.18 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3073 0 0 0 118 0 0 0 19 0 4 0 498195186 302612480 7838 33554432000 4194304 4650419 140733299576096 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.76 Current children cumulated vsize (KiB) 295520 [startup+1.50071 s] /proc/loadavg: 8.25 8.12 7.48 3/174 29635 /proc/meminfo: memFree=26585408/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=295520 CPUtime=5.95 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 16649 0 0 0 592 3 0 0 19 0 4 0 498195186 302612480 9116 33554432000 4194304 4650419 140733299576096 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 73880 9116 392 112 0 68845 0 [pid=29635/tid=29636] ppid=29633 vsize=295520 CPUtime=1.48 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3965 0 0 0 147 1 0 0 19 0 4 0 498195186 302612480 9116 33554432000 4194304 4650419 140733299576096 18446744073709551615 4334365 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=295520 CPUtime=1.48 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 4508 0 0 0 148 0 0 0 19 0 4 0 498195186 302612480 9116 33554432000 4194304 4650419 140733299576096 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=295520 CPUtime=1.48 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 3384 0 0 0 148 0 0 0 20 0 4 0 498195186 302612480 9116 33554432000 4194304 4650419 140733299576096 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 295520 [startup+3.10642 s] /proc/loadavg: 8.31 8.14 7.49 9/184 29648 /proc/meminfo: memFree=26333512/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=296692 CPUtime=12.36 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 26111 0 0 0 1231 5 0 0 25 0 4 0 498195186 303812608 9972 33554432000 4194304 4650419 140733299576096 18446744073709551615 4315033 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 74173 9972 393 112 0 69138 0 [pid=29635/tid=29636] ppid=29633 vsize=296692 CPUtime=3.08 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 6325 0 0 0 307 1 0 0 25 0 4 0 498195186 303812608 9972 33554432000 4194304 4650419 140733299576096 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=296692 CPUtime=3.09 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 6938 0 0 0 308 1 0 0 25 0 4 0 498195186 303812608 9972 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=296692 CPUtime=3.07 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 5750 0 0 0 307 0 0 0 25 0 4 0 498195186 303812608 9972 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 296692 [startup+6.30083 s] /proc/loadavg: 8.29 8.13 7.49 9/184 29648 /proc/meminfo: memFree=26235800/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=295516 CPUtime=25.14 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 50831 0 0 0 2503 11 0 0 25 0 4 0 498195186 302608384 25893 33554432000 4194304 4650419 140733299576096 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 73879 25893 394 112 0 68844 0 [pid=29635/tid=29636] ppid=29633 vsize=295516 CPUtime=6.28 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 10680 0 0 0 626 2 0 0 25 0 4 0 498195186 302608384 25893 33554432000 4194304 4650419 140733299576096 18446744073709551615 4334047 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=295516 CPUtime=6.29 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 14641 0 0 0 626 3 0 0 25 0 4 0 498195186 302608384 25893 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=295516 CPUtime=6.25 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 13716 0 0 0 623 2 0 0 25 0 4 0 498195186 302608384 25893 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 295516 [startup+12.7007 s] /proc/loadavg: 8.27 8.13 7.50 9/184 29648 /proc/meminfo: memFree=26224896/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=329864 CPUtime=50.69 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 84063 0 0 0 5050 19 0 0 25 0 4 0 498195186 337780736 37961 33554432000 4194304 4650419 140733299576096 18446744073709551615 4333707 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 82466 37961 394 112 0 77431 0 [pid=29635/tid=29636] ppid=29633 vsize=329864 CPUtime=12.68 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 21252 0 0 0 1263 5 0 0 25 0 4 0 498195186 337780736 37961 33554432000 4194304 4650419 140733299576096 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=329864 CPUtime=12.68 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 25138 0 0 0 1263 5 0 0 25 0 4 0 498195186 337780736 37961 33554432000 4194304 4650419 140733299576096 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=329864 CPUtime=12.62 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 20837 0 0 0 1258 4 0 0 25 0 4 0 498195186 337780736 37961 33554432000 4194304 4650419 140733299576096 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.69 Current children cumulated vsize (KiB) 329864 [startup+25.5003 s] /proc/loadavg: 8.22 8.13 7.50 9/184 29649 /proc/meminfo: memFree=25871608/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=332436 CPUtime=101.81 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 136063 0 0 0 10148 33 0 0 25 0 4 0 498195186 340414464 53755 33554432000 4194304 4650419 140733299576096 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 83109 53755 394 112 0 78074 0 [pid=29635/tid=29636] ppid=29633 vsize=332436 CPUtime=25.48 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 33880 0 0 0 2540 8 0 0 25 0 4 0 498195186 340414464 53755 33554432000 4194304 4650419 140733299576096 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=332436 CPUtime=25.49 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 36004 0 0 0 2540 9 0 0 25 0 4 0 498195186 340414464 53755 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=332436 CPUtime=25.35 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 35042 0 0 0 2527 8 0 0 25 0 4 0 498195186 340414464 53755 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.81 Current children cumulated vsize (KiB) 332436 [startup+51.1006 s] /proc/loadavg: 8.21 8.13 7.52 9/184 29650 /proc/meminfo: memFree=25718032/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=464432 CPUtime=204.07 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 214177 0 0 0 20352 55 0 0 25 0 4 0 498195186 475578368 66276 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363531 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 116108 66276 394 112 0 111073 0 [pid=29635/tid=29636] ppid=29633 vsize=464432 CPUtime=51.08 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 54629 0 0 0 5094 14 0 0 25 0 4 0 498195186 475578368 66276 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=464432 CPUtime=51.08 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 57727 0 0 0 5092 16 0 0 25 0 4 0 498195186 475578368 66276 33554432000 4194304 4650419 140733299576096 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=464432 CPUtime=50.8 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 54093 0 0 0 5068 12 0 0 25 0 4 0 498195186 475578368 66276 33554432000 4194304 4650419 140733299576096 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 204.07 Current children cumulated vsize (KiB) 464432 [startup+102.301 s] /proc/loadavg: 8.15 8.12 7.55 9/184 29651 /proc/meminfo: memFree=25499964/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=552504 CPUtime=408.58 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 340342 0 0 0 40766 92 0 0 25 0 4 0 498195186 565764096 75922 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 138126 75923 394 112 0 133091 0 [pid=29635/tid=29636] ppid=29633 vsize=552504 CPUtime=102.27 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 87817 0 0 0 10202 25 0 0 25 0 4 0 498195186 565764096 75923 33554432000 4194304 4650419 140733299576096 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=552504 CPUtime=102.28 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 91132 0 0 0 10203 25 0 0 25 0 4 0 498195186 565764096 75923 33554432000 4194304 4650419 140733299576096 18446744073709551615 4315608 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=552504 CPUtime=101.72 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 89297 0 0 0 10149 23 0 0 25 0 4 0 498195186 565764096 75923 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.58 Current children cumulated vsize (KiB) 552504 [startup+162.301 s] ################ # More data... # ################ [pid=29635] ppid=29633 vsize=901864 CPUtime=2564.81 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 1958800 0 0 0 255948 533 0 0 25 0 4 0 498195186 923508736 166759 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 225466 166759 394 112 0 220431 0 [pid=29635/tid=29636] ppid=29633 vsize=901864 CPUtime=642.08 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 277267 0 0 0 64099 109 0 0 25 0 4 0 498195186 923508736 166759 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=901864 CPUtime=642.29 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 623240 0 0 0 64075 154 0 0 25 0 4 0 498195186 923508736 166759 33554432000 4194304 4650419 140733299576096 18446744073709551615 4334400 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=901864 CPUtime=638.58 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 519609 0 0 0 63715 143 0 0 25 0 4 0 498195186 923508736 166759 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2564.81 Current children cumulated vsize (KiB) 901864 [startup+702.301 s] /proc/loadavg: 8.08 8.15 7.83 9/184 29670 /proc/meminfo: memFree=24544796/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=952408 CPUtime=2804.48 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 2044245 0 0 0 279876 572 0 0 25 0 4 0 498195186 975265792 172477 33554432000 4194304 4650419 140733299576096 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 238102 172477 394 112 0 233067 0 [pid=29635/tid=29636] ppid=29633 vsize=952408 CPUtime=702.07 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 300773 0 0 0 70088 119 0 0 25 0 4 0 498195186 975265792 172477 33554432000 4194304 4650419 140733299576096 18446744073709551615 4334234 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=952408 CPUtime=702.29 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 644412 0 0 0 70065 164 0 0 25 0 4 0 498195186 975265792 172477 33554432000 4194304 4650419 140733299576096 18446744073709551615 4361066 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=952408 CPUtime=698.27 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 538917 0 0 0 69674 153 0 0 25 0 4 0 498195186 975265792 172477 33554432000 4194304 4650419 140733299576096 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2804.48 Current children cumulated vsize (KiB) 952408 [startup+762.301 s] /proc/loadavg: 8.07 8.13 7.84 9/184 29672 /proc/meminfo: memFree=24609840/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=930172 CPUtime=3044.15 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 2118759 0 0 0 303811 604 0 0 25 0 4 0 498195186 952496128 159983 33554432000 4194304 4650419 140733299576096 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 232543 159983 394 112 0 227508 0 [pid=29635/tid=29636] ppid=29633 vsize=930172 CPUtime=762.07 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 317137 0 0 0 76081 126 0 0 25 0 4 0 498195186 952496128 159983 33554432000 4194304 4650419 140733299576096 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=930172 CPUtime=762.29 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 662724 0 0 0 76057 172 0 0 25 0 4 0 498195186 952496128 159983 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=930172 CPUtime=757.93 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 562167 0 0 0 75630 163 0 0 25 0 4 0 498195186 952496128 159983 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3044.15 Current children cumulated vsize (KiB) 930172 [startup+822.301 s] /proc/loadavg: 8.06 8.12 7.85 9/184 29673 /proc/meminfo: memFree=24561612/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=930892 CPUtime=3283.82 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 2171376 0 0 0 327756 626 0 0 25 0 4 0 498195186 953233408 163106 33554432000 4194304 4650419 140733299576096 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 232723 163106 394 112 0 227688 0 [pid=29635/tid=29636] ppid=29633 vsize=930892 CPUtime=822.07 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 318624 0 0 0 82081 126 0 0 25 0 4 0 498195186 953233408 163106 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=930892 CPUtime=822.29 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 662724 0 0 0 82057 172 0 0 25 0 4 0 498195186 953233408 163107 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=930892 CPUtime=817.61 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 599100 0 0 0 81585 176 0 0 25 0 4 0 498195186 953233408 163107 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3283.82 Current children cumulated vsize (KiB) 930892 [startup+882.3 s] /proc/loadavg: 8.13 8.13 7.87 9/184 29675 /proc/meminfo: memFree=24505488/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=894872 CPUtime=3523.5 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 2297511 0 0 0 351688 662 0 0 25 0 4 0 498195186 916348928 169955 33554432000 4194304 4650419 140733299576096 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 223718 169955 394 112 0 218683 0 [pid=29635/tid=29636] ppid=29633 vsize=894872 CPUtime=882.07 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 331820 0 0 0 88076 131 0 0 25 0 4 0 498195186 916348928 169955 33554432000 4194304 4650419 140733299576096 18446744073709551615 4315755 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=894872 CPUtime=882.29 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 673549 0 0 0 88052 177 0 0 25 0 4 0 498195186 916348928 169955 33554432000 4194304 4650419 140733299576096 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=894872 CPUtime=877.28 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 682523 0 0 0 87537 191 0 0 25 0 4 0 498195186 916348928 169955 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3523.5 Current children cumulated vsize (KiB) 894872 [startup+942.3 s] /proc/loadavg: 8.18 8.13 7.88 9/184 29676 /proc/meminfo: memFree=24499696/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=846944 CPUtime=3763.17 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 2370586 0 0 0 375623 694 0 0 25 0 4 0 498195186 867270656 160535 33554432000 4194304 4650419 140733299576096 18446744073709551615 4367351 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 211736 160535 394 112 0 206701 0 [pid=29635/tid=29636] ppid=29633 vsize=846944 CPUtime=942.07 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 351716 0 0 0 94068 139 0 0 25 0 4 0 498195186 867270656 160535 33554432000 4194304 4650419 140733299576096 18446744073709551615 4315168 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=846944 CPUtime=942.29 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 690723 0 0 0 94043 186 0 0 25 0 4 0 498195186 867270656 160536 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=846944 CPUtime=936.96 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 704484 0 0 0 93495 201 0 0 25 0 4 0 498195186 867270656 160536 33554432000 4194304 4650419 140733299576096 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3763.17 Current children cumulated vsize (KiB) 846944 [startup+1002.3 s] /proc/loadavg: 8.19 8.14 7.90 9/184 29678 /proc/meminfo: memFree=24368676/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=897720 CPUtime=4002.85 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 2448759 0 0 0 399557 728 0 0 25 0 4 0 498195186 919265280 173558 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 224430 173558 394 112 0 219395 0 [pid=29635/tid=29636] ppid=29633 vsize=897720 CPUtime=1002.08 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 372310 0 0 0 100059 149 0 0 25 0 4 0 498195186 919265280 173558 33554432000 4194304 4650419 140733299576096 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=897720 CPUtime=1002.28 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 708840 0 0 0 100036 192 0 0 25 0 4 0 498195186 919265280 173558 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=897720 CPUtime=996.63 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 725914 0 0 0 99452 211 0 0 25 0 4 0 498195186 919265280 173558 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4002.85 Current children cumulated vsize (KiB) 897720 [startup+1062.3 s] /proc/loadavg: 8.13 8.12 7.91 9/184 29680 /proc/meminfo: memFree=24255680/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=1098060 CPUtime=4242.55 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 2661374 0 0 0 423485 770 0 0 25 0 4 0 498195186 1124413440 207021 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 274515 207021 394 112 0 269480 0 [pid=29635/tid=29636] ppid=29633 vsize=1098060 CPUtime=1062.08 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 391167 0 0 0 106056 152 0 0 25 0 4 0 498195186 1124413440 207022 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=1098060 CPUtime=1062.29 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 810878 0 0 0 106021 208 0 0 25 0 4 0 498195186 1124413440 207022 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=1098060 CPUtime=1056.31 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 802356 0 0 0 105407 224 0 0 25 0 4 0 498195186 1124413440 207022 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4242.55 Current children cumulated vsize (KiB) 1098060 [startup+1122.3 s] /proc/loadavg: 8.14 8.13 7.92 9/184 29681 /proc/meminfo: memFree=24255400/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=1098060 CPUtime=4482.2 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 2958122 0 0 0 447404 816 0 0 25 0 4 0 498195186 1124413440 217335 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 274515 217335 394 112 0 269480 0 [pid=29635/tid=29636] ppid=29633 vsize=1098060 CPUtime=1122.07 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 391176 0 0 0 112055 152 0 0 25 0 4 0 498195186 1124413440 217335 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=1098060 CPUtime=1122.3 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 941689 0 0 0 112001 229 0 0 25 0 4 0 498195186 1124413440 217335 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=1098060 CPUtime=1115.99 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 891606 0 0 0 111361 238 0 0 25 0 4 0 498195186 1124413440 217335 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4482.2 Current children cumulated vsize (KiB) 1098060 [startup+1182.31 s] /proc/loadavg: 8.10 8.12 7.93 9/184 29683 /proc/meminfo: memFree=24091400/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=1111264 CPUtime=4721.9 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 3172320 0 0 0 471335 855 0 0 25 0 4 0 498195186 1137934336 220410 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 277816 220410 394 112 0 272781 0 [pid=29635/tid=29636] ppid=29633 vsize=1111264 CPUtime=1182.09 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 391367 0 0 0 118056 153 0 0 25 0 4 0 498195186 1137934336 220410 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=1111264 CPUtime=1182.31 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 960070 0 0 0 117989 242 0 0 25 0 4 0 498195186 1137934336 220410 33554432000 4194304 4650419 140733299576096 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=1111264 CPUtime=1175.66 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 990947 0 0 0 117315 251 0 0 25 0 4 0 498195186 1137934336 220410 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4721.9 Current children cumulated vsize (KiB) 1111264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.07 8.11 7.93 9/184 29683 /proc/meminfo: memFree=24172616/32951124 swapFree=67111524/67111528 [pid=29635] ppid=29633 vsize=1123944 CPUtime=4800.2 cores=1,3,5,7 /proc/29635/stat : 29635 (strangenight1-m) R 29633 29635 29500 0 -1 4202496 3244437 0 0 0 479151 869 0 0 25 0 4 0 498195186 1150918656 220572 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/29635/statm: 280986 220572 394 112 0 275951 0 [pid=29635/tid=29636] ppid=29633 vsize=1123944 CPUtime=1201.69 cores=1,3,5,7 /proc/29635/task/29636/stat : 29636 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 391367 0 0 0 120016 153 0 0 25 0 4 0 498195186 1150918656 220572 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=29635/tid=29637] ppid=29633 vsize=1123944 CPUtime=1201.91 cores=1,3,5,7 /proc/29635/task/29637/stat : 29637 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 966451 0 0 0 119946 245 0 0 25 0 4 0 498195186 1150918656 220572 33554432000 4194304 4650419 140733299576096 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=29635/tid=29638] ppid=29633 vsize=1123944 CPUtime=1195.15 cores=1,3,5,7 /proc/29635/task/29638/stat : 29638 (strangenight1-m) R 29633 29635 29500 0 -1 4202560 1023620 0 0 0 119259 256 0 0 25 0 4 0 498195186 1150918656 220572 33554432000 4194304 4650419 140733299576096 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.2 Current children cumulated vsize (KiB) 1123944 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): 1201.95 CPU time (s): 4800.27 CPU user time (s): 4791.53 CPU system time (s): 8.73267 CPU usage (%): 399.372 Max. virtual memory (cumulated for all children) (KiB): 1123944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.53 system time used= 8.73267 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3244438 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= 1128 involuntary context switches= 34397 runsolver used 1.78273 second user time and 4.79427 second system time The end
Begin job on node142 at 2011-04-29 08:16:37 IDJOB=3174948 IDBENCH=82566 IDSOLVER=1588 FILE ID=node142/3174948-1304057797 RUNJOBID= node142-1304056593-29519 PBS_JOBID= 13170434 Free space on /tmp= 71316 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174948-1304057797/watcher-3174948-1304057797 -o /tmp/evaluation-result-3174948-1304057797/solver-3174948-1304057797 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174948-1304057797.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e54dff8ae8b71ab472786a7e95ae7d20 RANDOM SEED=1038059686 node142.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.846 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.846 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 : 5131.95 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.846 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.82 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.846 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.67 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.846 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.81 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.82 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26585688 kB Buffers: 1650848 kB Cached: 4107948 kB SwapCached: 4 kB Active: 691288 kB Inactive: 5135500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26585688 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 7408 kB Writeback: 0 kB AnonPages: 67444 kB Mapped: 14676 kB Slab: 475240 kB PageTables: 4284 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 186920 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= 71300 MiB End job on node142 at 2011-04-29 08:36:41