| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.18 | 1201.75 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf |
| MD5SUM | cdf9df7b6b7a513ee69ee69e82cb9345 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1.9377 |
| 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-3175006-1304076920.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.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.02 0.00/0.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5000 time: 0.00 s 0.00/0.05 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: 149 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: 2210 undec: 622 neg: 2168 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 4851 20835 0 0 63359 0 no data no data -- 0.00/0.90 c N dy 20 4041 4851 20835 0 4040 63359 435620 64.23 67.66 -- 0.00/0.90 c N dy 45 8046 4851 20835 0 5548 63359 394261 64.02 67.79 -- 5.16/1.30 c N dy 74 12230 4851 20835 0 5482 63359 248568 64.82 68.63 -- 6.36/1.65 c N dy 100 16265 4851 20835 0 9516 63359 665150 65.08 69.51 -- 7.97/2.05 c N dy 123 20311 4851 20835 0 7937 63359 364076 65.11 70.18 -- 9.54/2.48 c N dy 153 24353 4851 20835 0 11978 63359 786568 65.60 69.50 -- 9.94/2.55 c F st 158 25001 4851 20835 0 12626 63359 854595 65.66 no data -- 12.37/3.11 c N dy 164 30001 4851 20835 0 10817 63359 608607 65.66 no data -- 12.37/3.11 c S st 164 30001 4851 20835 0 10817 63359 608607 65.66 no data -- 12.37/3.16 c S st 164 30504 4851 20835 0 11320 63359 649954 65.66 no data -- 12.37/3.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.37/3.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.37/3.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 12.74/3.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.74/3.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.74/3.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 12.74/3.23 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 22.32/5.60 c lits-rem: 91 cl-subs: 4 v-elim: 0 v-fix: 0 time: 9.43 s 22.32/5.63 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.10 22.32/5.63 c calculated reachability. Time: 0.00 22.32/5.63 c N dy 164 30504 4851 20835 0 11316 63359 648899 65.66 no data -- 24.33/6.14 c N dy 188 34915 4851 20835 0 15727 63359 1106561 65.60 69.26 -- 25.92/6.59 c N dy 215 38971 4851 20835 0 11875 63359 563924 65.96 75.75 -- 27.92/7.04 c N dy 241 43051 4851 20835 0 15955 63359 976164 66.04 69.99 -- 29.12/7.36 c S st 261 45756 4851 20835 0 9707 63359 232746 66.21 no data -- 29.53/7.41 c S st 261 46257 4851 20835 0 10208 63359 271422 66.21 no data -- 29.53/7.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 29.53/7.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.53/7.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 29.53/7.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.53/7.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.53/7.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 29.53/7.44 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 31.91/8.08 c lits-rem: 10 cl-subs: 1 v-elim: 0 v-fix: 0 time: 2.56 s 31.91/8.08 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.00 31.91/8.09 c vivif2 -- cl tried 10207 cl shrink 0 lits rem 0 time: 0.01 32.31/8.11 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.09 32.31/8.11 c calculated reachability. Time: 0.00 32.31/8.11 c N dy 261 46257 4851 20835 0 10207 63359 271390 66.21 no data -- 33.93/8.56 c N dy 286 50341 4851 20835 0 14288 63359 699291 66.17 70.45 -- 35.91/9.08 c N dy 309 54507 4851 20835 0 18454 63359 1136222 66.25 69.76 -- 37.90/9.57 c N dy 335 58732 4851 20835 0 12707 63359 436890 66.13 70.36 -- 39.90/10.04 c N dy 359 62847 4851 20835 0 16822 63359 861571 66.21 70.56 -- 41.90/10.56 c N dy 386 66925 4851 20835 0 20900 63359 1280176 66.24 75.20 -- 43.12/10.87 c S st 402 69385 4851 20835 0 12376 63359 312696 66.29 63.00 -- 43.50/10.92 c S st 402 69891 4851 20835 0 12882 63359 351606 66.29 no data -- 43.50/10.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 43.50/10.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 43.50/10.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 43.50/10.96 c bin-w-bin subsume rem 0 bins time: 0.00 s 43.50/10.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 43.50/10.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 43.50/10.96 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 47.89/12.07 c lits-rem: 11 cl-subs: 3 v-elim: 0 v-fix: 0 time: 4.41 s 47.89/12.07 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.00 47.89/12.07 c vivif2 -- cl tried 12879 cl shrink 0 lits rem 0 time: 0.02 48.29/12.10 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.10 48.29/12.10 c calculated reachability. Time: 0.00 48.29/12.10 c N dy 402 69891 4851 20835 0 12879 63359 351049 66.29 no data -- 50.29/12.64 c N dy 427 74522 4851 20835 0 17509 63359 836660 66.18 69.92 -- 52.68/13.24 c N dy 460 79328 4851 20835 0 22314 63359 1330271 66.18 69.85 -- 55.08/13.89 c N dy 494 84679 4851 20835 0 15671 63359 558104 66.24 70.14 -- 56.67/14.24 c F st 512 87500 4851 20835 0 18492 63359 845564 66.26 no data -- 58.27/14.68 c N st 517 90796 4851 20835 0 21787 63359 1226874 66.26 no data -- 61.47/15.47 c N dy 540 96728 4851 20835 0 14724 63359 354365 66.20 72.75 -- 64.68/16.25 c N dy 583 102962 4851 20835 0 20956 63359 1013819 66.37 74.34 -- 65.87/16.50 c S st 596 104837 4851 20835 0 22831 63359 1212275 66.41 no data -- 65.87/16.57 c S st 596 105341 4851 20835 0 23335 63359 1255175 66.41 no data -- 65.87/16.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 65.87/16.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.27/16.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.08 66.27/16.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 66.27/16.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 66.27/16.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 66.27/16.66 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 75.05/18.86 c lits-rem: 35 cl-subs: 2 v-elim: 0 v-fix: 0 time: 8.76 s 75.05/18.86 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.01 75.05/18.88 c vivif2 -- cl tried 23333 cl shrink 0 lits rem 0 time: 0.06 75.45/18.92 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.17 75.45/18.92 c calculated reachability. Time: 0.00 75.45/18.92 c N dy 596 105341 4851 20835 0 23333 63359 1254970 66.41 no data -- 79.04/19.85 c N dy 643 112219 4851 20835 0 16214 63359 409895 66.48 70.75 -- 83.04/20.80 c N dy 690 119546 4851 20835 0 23540 63359 1177141 66.59 70.61 -- 87.05/21.86 c N dy 739 127290 4851 20835 0 16285 63359 321104 66.55 70.81 -- 91.04/22.89 c N dy 786 135561 4851 20835 0 24556 63359 1194119 66.51 70.06 -- 96.22/24.10 c N dy 839 144235 4851 20835 0 17235 63359 326751 66.61 70.12 -- 101.02/25.30 c N dy 897 153508 4851 20835 0 26507 63359 1296771 66.66 70.20 -- 103.41/25.93 c S st 925 158013 4851 20835 0 31011 63359 1766400 66.67 no data -- 103.81/26.02 c S st 925 158522 4851 20835 0 31520 63359 1804245 66.67 no data -- 103.81/26.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 103.81/26.02 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 103.81/26.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 104.22/26.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 104.22/26.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 104.22/26.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 104.22/26.12 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 117.41/29.48 c lits-rem: 20 cl-subs: 5 v-elim: 0 v-fix: 0 time: 13.37 s 117.41/29.48 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.01 117.41/29.50 c vivif2 -- cl tried 31515 cl shrink 0 lits rem 0 time: 0.08 117.81/29.55 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.21 117.81/29.56 c calculated reachability. Time: 0.00 117.81/29.56 c N dy 925 158522 4851 20835 0 31515 63359 1803214 66.67 no data -- 123.38/30.95 c N dy 991 168780 4851 20835 0 24773 63359 1015499 66.68 70.67 -- 129.77/32.58 c N dy 1050 179563 4851 20835 0 35556 63359 2142169 66.67 82.94 -- 136.16/34.14 c N dy 1117 191195 4851 20835 0 29187 63359 1374264 66.66 72.71 -- 143.35/35.96 c N dy 1191 203542 4851 20835 0 22533 63359 581620 66.71 70.57 -- 150.94/37.84 c N dy 1277 216640 4851 20835 0 35631 63359 1958073 66.80 70.34 -- 158.92/39.85 c N dy 1368 230538 4851 20835 0 29527 63359 1220343 66.82 83.76 -- 163.32/40.92 c S st 1403 237784 4851 20835 0 36773 63359 1962189 66.74 58.07 -- 163.72/41.01 c S st 1403 238287 4851 20835 0 37276 63359 2002836 66.74 no data -- 163.72/41.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 163.72/41.02 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.72/41.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.11 164.12/41.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 164.12/41.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 164.12/41.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 164.12/41.13 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 177.70/44.57 c lits-rem: 7 cl-subs: 6 v-elim: 0 v-fix: 0 time: 13.74 s 177.70/44.57 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.01 178.10/44.60 c vivif2 -- cl tried 37270 cl shrink 0 lits rem 0 time: 0.09 178.10/44.66 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.24 178.10/44.66 c calculated reachability. Time: 0.00 178.10/44.66 c N dy 1403 238287 4851 20835 0 37270 63359 2001897 66.74 no data -- 187.29/46.91 c N dy 1495 253589 4851 20835 0 31573 63359 1336634 66.79 77.31 -- 197.27/49.46 c N dy 1599 269798 4851 20835 0 25781 63359 640481 66.90 77.10 -- 208.06/52.14 c N dy 1710 287028 4851 20835 0 43008 63359 2450043 66.94 70.58 -- 219.24/54.97 c N dy 1824 305572 4851 20835 0 38559 63359 1889076 66.97 73.76 -- 219.64/55.08 c F st 1831 306250 4851 20835 0 39237 63359 1964535 66.99 no data -- 232.05/58.11 c N dy 1933 325161 4851 20835 0 34149 63359 1318752 67.05 71.14 -- 245.23/61.45 c N dy 2050 345337 4851 20835 0 29321 63359 696519 67.07 70.82 -- 252.80/63.34 c S st 2120 357433 4851 20835 0 41415 63359 1951143 67.04 no data -- 253.20/63.43 c S st 2120 357936 4851 20835 0 41917 63359 1997645 67.04 no data -- 253.20/63.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 253.20/63.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 253.20/63.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.12 253.61/63.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 253.61/63.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 253.61/63.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 253.61/63.55 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 271.18/67.96 c lits-rem: 5 cl-subs: 5 v-elim: 0 v-fix: 0 time: 17.59 s 271.18/67.96 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.00 271.18/67.98 c vivif2 -- cl tried 41912 cl shrink 0 lits rem 0 time: 0.09 271.59/68.05 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.28 271.59/68.05 c calculated reachability. Time: 0.00 271.59/68.05 c N dy 2120 357936 4851 20835 0 41912 63359 1996475 67.04 no data -- 285.15/71.48 c N dy 2251 378000 4851 20835 0 35979 63359 1307335 67.08 80.11 -- 299.52/75.03 c N dy 2370 398123 4851 20835 0 29098 63359 483849 67.10 70.96 -- 312.71/78.35 c N dy 2500 418162 4851 20835 0 49136 63359 2584023 67.13 71.28 -- 326.29/81.73 c N dy 2624 438197 4851 20835 0 41172 63359 1652558 67.19 82.11 -- 340.67/85.36 c N dy 2743 458214 4851 20835 0 32186 63359 595974 67.21 71.13 -- 354.25/88.80 c N dy 2869 478295 4851 20835 0 52264 63359 2715776 67.24 71.39 -- 368.62/92.33 c N dy 2993 498447 4851 20835 0 42422 63359 1616240 67.27 71.01 -- 384.21/96.23 c N dy 3121 518509 4851 20835 0 31489 63359 340271 67.28 91.16 -- 396.59/99.32 c S st 3239 536906 4851 20835 0 49886 63359 2304615 67.34 no data -- 396.99/99.43 c S st 3239 537411 4851 20835 0 50391 63359 2344316 67.34 no data -- 396.99/99.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 396.99/99.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 396.99/99.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.14 397.39/99.56 c bin-w-bin subsume rem 0 bins time: 0.00 s 397.39/99.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 397.39/99.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 397.39/99.57 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 421.35/105.53 c lits-rem: 13 cl-subs: 8 v-elim: 0 v-fix: 0 time: 23.78 s 421.35/105.53 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.01 421.35/105.56 c vivif2 -- cl tried 50383 cl shrink 0 lits rem 0 time: 0.11 421.75/105.64 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.33 421.75/105.64 c calculated reachability. Time: 0.00 421.75/105.64 c N dy 3239 537411 4851 20835 0 50383 63359 2343149 67.34 no data -- 437.33/109.51 c N dy 3383 557419 4851 20835 0 38395 63359 972006 67.42 78.02 -- 452.12/113.23 c N dy 3508 577566 4851 20835 0 58540 63359 3088667 67.43 71.05 -- 466.90/116.98 c N dy 3634 597579 4851 20835 0 45552 63359 1632365 67.47 72.94 -- 482.88/120.99 c N dy 3750 617689 4851 20835 0 65659 63359 3750760 67.47 71.32 -- 498.06/124.70 c N dy 3871 637696 4851 20835 0 51668 63359 2160583 67.48 71.79 -- 514.83/128.94 c N dy 4003 657763 4851 20835 0 36738 63359 495231 67.53 77.25 -- 530.01/132.76 c N dy 4136 677781 4851 20835 0 56755 63359 2618939 67.56 71.81 -- 547.59/137.19 c N dy 4260 697818 4851 20835 0 40788 63359 816428 67.56 72.04 -- 563.56/141.13 c N dy 4380 717867 4851 20835 0 60835 63359 2955536 67.58 72.83 -- 581.14/145.55 c N dy 4492 738279 4851 20835 0 44248 63359 1078347 67.56 71.86 -- 597.51/149.67 c N dy 4612 758287 4851 20835 0 64254 63359 3190485 67.57 71.37 -- 615.09/154.05 c N dy 4743 778317 4851 20835 0 46286 63359 1225483 67.60 72.15 -- 632.27/158.39 c N dy 4866 798795 4851 20835 0 66762 63359 3384484 67.61 71.97 -- 639.46/160.18 c S st 4911 806116 4851 20835 0 74082 63359 4148044 67.62 no data -- 640.28/160.34 c S st 4911 806618 4851 20835 0 74584 63359 4187990 67.62 no data -- 640.28/160.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 640.28/160.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 640.68/160.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.22 641.06/160.58 c bin-w-bin subsume rem 0 bins time: 0.01 s 641.06/160.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 641.06/160.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 641.06/160.59 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 890.31/222.91 c lits-rem: 5 cl-subs: 7 v-elim: 0 v-fix: 0 time: 248.47 s 890.31/222.92 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.01 890.31/222.96 c vivif2 -- cl tried 74577 cl shrink 0 lits rem 0 time: 0.20 890.72/223.09 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.51 890.72/223.10 c calculated reachability. Time: 0.00 890.72/223.10 c N dy 4911 806618 4851 20835 0 74577 63359 4186668 67.62 no data -- 906.68/227.03 c N dy 5036 826748 4851 20835 0 55711 63359 2066859 67.62 72.75 -- 925.05/231.67 c N dy 5177 846982 4851 20835 0 75943 63359 4222206 67.66 71.59 -- 941.04/235.68 c N dy 5297 867098 4851 20835 0 56063 63359 2057106 67.69 72.61 -- 959.81/240.34 c N dy 5419 887292 4851 20835 0 76256 63359 4209833 67.69 73.15 -- 977.39/244.71 c N dy 5536 907639 4851 20835 0 55608 63359 1910465 67.69 71.29 -- 996.58/249.52 c N dy 5664 927942 4851 20835 0 75910 63359 4083563 67.71 72.87 -- 1014.53/254.06 c N dy 5776 948165 4851 20835 0 54129 63359 1627013 67.69 71.25 -- 1032.91/258.65 c N dy 5890 968206 4851 20835 0 74168 63359 3741737 67.68 71.37 -- 1052.49/263.55 c N dy 6024 988229 4851 20835 0 51194 63359 1226873 67.74 73.39 -- 1070.46/268.03 c N dy 6148 1008240 4851 20835 0 71203 63359 3344547 67.76 74.25 -- 1091.63/273.32 c N dy 6277 1028267 4851 20835 0 47232 63359 704820 67.77 71.60 -- 1108.80/277.61 c N dy 6398 1048393 4851 20835 0 67357 63359 2878162 67.79 73.25 -- 1129.97/282.96 c N dy 6525 1068446 4851 20835 0 87407 63359 4994914 67.79 71.71 -- 1133.97/283.94 c F st 6550 1071875 4851 20835 0 45836 63359 457530 67.80 no data -- 1147.55/287.34 c N dy 6627 1088489 4851 20835 0 62446 63359 2289657 67.79 71.82 -- 1168.32/292.55 c N dy 6755 1108678 4851 20835 0 82633 63359 4418021 67.81 74.65 -- 1187.90/297.40 c N dy 6878 1128728 4851 20835 0 56688 63359 1510574 67.82 73.76 -- 1207.09/302.27 c N dy 6994 1149407 4851 20835 0 77366 63359 3710649 67.83 71.72 -- 1229.45/307.87 c N dy 7133 1169608 4851 20835 0 50568 63359 770752 67.88 71.96 -- 1247.41/312.32 c N dy 7258 1189622 4851 20835 0 70578 63359 2921828 67.91 72.18 -- 1269.01/317.79 c N dy 7380 1209713 4851 20835 0 90665 63359 5050832 67.91 73.56 -- 1269.38/317.86 c S st 7382 1209927 4851 20835 0 90879 63359 5072450 67.91 no data -- 1270.18/318.05 c S st 7382 1210427 4851 20835 0 91379 63359 5113183 67.91 no data -- 1270.18/318.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1270.18/318.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1270.58/318.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.27 1271.38/318.35 c bin-w-bin subsume rem 0 bins time: 0.00 s 1271.38/318.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1271.38/318.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 1271.38/318.35 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 1681.63/421.03 c lits-rem: 0 cl-subs: 25 v-elim: 0 v-fix: 0 time: 409.40 s 1681.63/421.03 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.00 1681.63/421.09 c vivif2 -- cl tried 91354 cl shrink 0 lits rem 0 time: 0.25 1682.41/421.26 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.66 1682.41/421.26 c calculated reachability. Time: 0.00 1682.41/421.26 c N dy 7382 1210427 4851 20835 0 91354 63359 5109437 67.91 no data -- 1701.19/425.92 c N dy 7507 1230453 4851 20835 0 63390 63359 2022812 67.93 71.87 -- 1720.76/430.89 c N dy 7633 1250916 4851 20835 0 83853 63359 4226705 67.95 73.29 -- 1742.33/436.23 c N dy 7768 1271052 4851 20835 0 54987 63359 1031994 67.96 73.84 -- 1760.30/440.72 c N dy 7905 1291071 4851 20835 0 75004 63359 3184381 67.99 74.29 -- 1783.09/446.47 c N dy 8030 1311176 4851 20835 0 95106 63359 5344842 68.01 72.07 -- 1802.64/451.34 c N dy 8146 1331200 4851 20835 0 65134 63359 2000066 68.01 72.16 -- 1823.41/456.57 c N dy 8271 1351284 4851 20835 0 85214 63359 4145205 68.03 75.35 -- 1847.78/462.60 c N dy 8403 1371746 4851 20835 0 54681 63359 797190 68.04 72.15 -- 1866.18/467.28 c N dy 8530 1391815 4851 20835 0 74750 63359 2951686 68.06 71.65 -- 1889.33/473.01 c N dy 8655 1411906 4851 20835 0 94841 63359 5091624 68.07 74.27 -- 1910.90/478.43 c N dy 8788 1432027 4851 20835 0 62967 63359 1575885 68.09 72.37 -- 1931.27/483.57 c N dy 8909 1452087 4851 20835 0 83027 63359 3716038 68.10 72.02 -- 1956.43/489.81 c N dy 9045 1472159 4851 20835 0 103093 63359 5874468 68.13 81.79 -- 1976.03/494.70 c N dy 9171 1492318 4851 20835 0 70263 63359 2254849 68.14 73.77 -- 1997.57/500.16 c N dy 9288 1512347 4851 20835 0 90289 63359 4403276 68.15 72.11 -- 2022.75/506.48 c N dy 9417 1532352 4851 20835 0 56292 63359 668125 68.16 72.49 -- 2041.52/511.19 c N dy 9542 1552357 4851 20835 0 76296 63359 2811556 68.17 72.99 -- 2065.08/517.00 c N dy 9660 1572464 4851 20835 0 96402 63359 4956309 68.18 71.91 -- 2089.05/523.05 c N dy 9782 1592541 4851 20835 0 61479 63359 1120237 68.19 72.44 -- 2109.42/528.14 c N dy 9921 1612552 4851 20835 0 81485 63359 3263458 68.20 71.84 -- 2133.39/534.18 c N dy 10039 1632613 4851 20835 0 101545 63359 5393188 68.21 71.96 -- 2156.95/540.04 c N dy 10173 1652657 4851 20835 0 65592 63359 1464160 68.22 72.37 -- 2177.73/545.25 c N dy 10304 1672753 4851 20835 0 85686 63359 3594148 68.24 72.16 -- 2202.49/551.41 c N dy 10415 1692804 4851 20835 0 105734 63359 5725815 68.24 72.72 -- 2222.49/556.47 c S st 10525 1710428 4851 20835 0 66364 63359 1447010 68.25 no data -- 2223.26/556.61 c S st 10525 1710932 4851 20835 0 66868 63359 1487262 68.25 no data -- 2223.26/556.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2223.26/556.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2223.26/556.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.19 2223.66/556.73 c bin-w-bin subsume rem 0 bins time: 0.01 s 2223.66/556.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2223.66/556.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 2223.66/556.74 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 s 2238.84/560.55 c lits-rem: 42 cl-subs: 5 v-elim: 0 v-fix: 0 time: 15.19 s 2238.84/560.55 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.01 2238.84/560.57 c vivif2 -- cl tried 66863 cl shrink 0 lits rem 0 time: 0.08 2239.24/560.68 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.46 2239.24/560.69 c calculated reachability. Time: 0.00 2239.24/560.69 c N dy 10525 1710932 4851 20835 0 66863 63359 1486391 68.25 no data -- 2260.42/565.91 c N dy 10651 1730937 4851 20835 0 86864 63359 3661231 68.27 72.95 -- 2285.58/572.27 c N dy 10784 1750963 4851 20835 0 106887 63359 5828178 68.29 74.42 -- 2309.15/578.11 c N dy 10911 1770970 4851 20835 0 68899 63359 1619224 68.30 72.58 -- 2331.12/583.60 c N dy 11028 1790974 4851 20835 0 88903 63359 3744884 68.30 71.94 -- 2357.49/590.23 c N dy 11153 1810997 4851 20835 0 108922 63359 5876735 68.31 73.71 -- 2381.84/596.38 c N dy 11281 1831196 4851 20835 0 70125 63359 1641620 68.32 73.06 -- 2404.21/601.97 c N dy 11409 1851316 4851 20835 0 90242 63359 3798362 68.34 73.95 -- 2430.98/608.62 c N dy 11531 1871340 4851 20835 0 110263 63359 5931545 68.35 73.40 -- 2454.15/614.43 c N dy 11665 1891391 4851 20835 0 70323 63359 1562344 68.35 72.79 -- 2474.52/619.58 c N dy 11795 1911464 4851 20835 0 90392 63359 3714261 68.37 72.40 -- 2500.08/625.91 c N dy 11942 1931544 4851 20835 0 110472 63359 5894493 68.40 75.08 -- 2524.45/632.02 c N dy 12068 1951785 4851 20835 0 69721 63359 1404617 68.41 72.31 -- 2544.82/637.15 c N dy 12189 1971836 4851 20835 0 89770 63359 3540067 68.41 72.12 -- 2569.61/643.33 c N dy 12313 1991845 4851 20835 0 109776 63359 5687004 68.42 73.07 -- 2595.15/649.73 c N dy 12441 2011856 4851 20835 0 67786 63359 1099816 68.43 72.61 -- 2615.12/654.77 c N dy 12572 2032072 4851 20835 0 88001 63359 3233667 68.43 72.05 -- 2639.51/660.89 c N dy 12694 2052281 4851 20835 0 108209 63359 5405258 68.44 72.31 -- 2667.04/667.77 c N dy 12825 2072345 4851 20835 0 65282 63359 724483 68.45 74.30 -- 2686.22/672.54 c N dy 12938 2092350 4851 20835 0 85283 63359 2836184 68.45 72.41 -- 2709.80/678.45 c N dy 13060 2112411 4851 20835 0 105343 63359 4999625 68.46 88.58 -- 2738.15/685.52 c N dy 13188 2132460 4851 20835 0 125388 63359 7149467 68.47 72.67 -- 2758.92/690.70 c N dy 13313 2152494 4851 20835 0 81429 63359 2355027 68.48 72.44 -- 2781.29/696.34 c N dy 13435 2172496 4851 20835 0 101430 63359 4472968 68.49 72.55 -- 2808.05/703.05 c N dy 13555 2192579 4851 20835 0 121509 63359 6609023 68.49 74.37 -- 2830.02/708.57 c S st 13667 2210933 4851 20835 0 74867 63359 1524483 68.50 59.73 -- 2830.82/708.72 c S st 13667 2211435 4851 20835 0 75369 63359 1567201 68.50 no data -- 2830.82/708.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2830.82/708.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2830.82/708.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.20 2831.22/708.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 2831.22/708.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2831.22/708.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 2831.22/708.85 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2847.20/712.89 c lits-rem: 14 cl-subs: 3 v-elim: 0 v-fix: 0 time: 16.12 s 2847.20/712.89 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.01 2847.59/712.91 c vivif2 -- cl tried 75366 cl shrink 0 lits rem 0 time: 0.08 2847.99/713.03 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.47 2847.99/713.03 c calculated reachability. Time: 0.00 2847.99/713.03 c N dy 13667 2211435 4851 20835 0 75366 63359 1566365 68.50 no data -- 2868.77/718.24 c N dy 13772 2231496 4851 20835 0 95425 63359 3738087 68.50 72.34 -- 2894.35/724.66 c N dy 13895 2251684 4851 20835 0 115609 63359 5893635 68.50 72.18 -- 2922.30/731.65 c N dy 14027 2271726 4851 20835 0 69654 63359 893465 68.51 73.62 -- 2943.09/736.85 c N dy 14161 2291826 4851 20835 0 89751 63359 3079164 68.53 77.00 -- 2968.23/743.10 c N dy 14300 2311871 4851 20835 0 109795 63359 5221212 68.54 72.19 -- 2996.59/750.29 c N dy 14426 2332101 4851 20835 0 130023 63359 7397326 68.55 72.20 -- 3018.96/755.88 c N dy 14555 2352127 4851 20835 0 83054 63359 2209568 68.55 74.03 -- 3042.92/761.86 c N dy 14691 2372222 4851 20835 0 103148 63359 4384334 68.57 72.49 -- 3071.27/768.99 c N dy 14812 2392268 4851 20835 0 123193 63359 6540216 68.58 73.25 -- 3100.45/776.29 c N dy 14944 2412346 4851 20835 0 75272 63359 1296987 68.59 72.57 -- 3124.01/782.11 c N dy 15075 2432399 4851 20835 0 95324 63359 3473805 68.60 75.06 -- 3151.57/789.05 c N dy 15200 2452418 4851 20835 0 115338 63359 5628134 68.60 74.72 -- 3185.52/797.59 c N dy 15340 2472454 4851 20835 0 135373 63359 7789610 68.62 72.38 -- 3210.71/803.84 c N dy 15469 2492567 4851 20835 0 86493 63359 2389583 68.63 74.75 -- 3237.85/810.63 c N dy 15595 2512948 4851 20835 0 106872 63359 4581497 68.64 73.09 -- 3269.41/818.52 c N dy 15725 2532998 4851 20835 0 126919 63359 6745371 68.65 73.60 -- 3300.17/826.26 c N dy 15848 2553022 4851 20835 0 76946 63359 1262356 68.65 72.92 -- 3324.54/832.33 c N dy 15972 2573028 4851 20835 0 96950 63359 3426432 68.66 72.47 -- 3352.09/839.25 c N dy 16090 2593076 4851 20835 0 116998 63359 5553643 68.66 73.05 -- 3384.04/847.22 c N dy 16214 2613160 4851 20835 0 137082 63359 7698402 68.66 72.77 -- 3409.21/853.52 c N dy 16346 2633456 4851 20835 0 86381 63359 2181089 68.67 72.92 -- 3432.78/859.43 c N dy 16475 2653459 4851 20835 0 106382 63359 4323832 68.68 72.96 -- 3460.35/866.35 c N dy 16597 2673494 4851 20835 0 126416 63359 6471468 68.69 72.52 -- 3490.70/873.98 c N dy 16714 2693624 4851 20835 0 74553 63359 805120 68.69 74.58 -- 3509.08/878.60 c S st 16819 2711435 4851 20835 0 92361 63359 2707805 68.70 69.50 -- 3509.90/878.78 c S st 16819 2711939 4851 20835 0 92865 63359 2746471 68.70 no data -- 3509.90/878.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3509.90/878.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3510.27/878.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.25 3510.67/878.96 c bin-w-bin subsume rem 0 bins time: 0.01 s 3510.67/878.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3510.67/878.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.00 s 3510.67/878.96 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3555.82/890.26 c lits-rem: 7 cl-subs: 9 v-elim: 0 v-fix: 0 time: 45.06 s 3555.82/890.26 c vivif2 -- cl tried 20835 cl shrink 0 lits rem 0 time: 0.00 3556.22/890.30 c vivif2 -- cl tried 92856 cl shrink 0 lits rem 0 time: 0.14 3556.62/890.45 c asymm cl-useful: 0/20835/20835 lits-rem:0 time: 0.61 3556.62/890.45 c calculated reachability. Time: 0.00 3556.62/890.45 c N dy 16819 2711939 4851 20835 0 92856 63359 2744459 68.70 no data -- 3581.78/896.75 c N dy 16947 2732069 4851 20835 0 112984 63359 4890631 68.70 73.28 -- 3610.56/903.95 c N dy 17065 2752107 4851 20835 0 133017 63359 7060586 68.71 87.80 -- 3638.50/910.98 c N dy 17186 2772129 4851 20835 0 80050 63359 1301833 68.71 73.14 -- 3660.87/916.57 c N dy 17313 2792291 4851 20835 0 100210 63359 3449802 68.72 73.23 -- 3687.63/923.24 c N dy 17441 2812316 4851 20835 0 120232 63359 5626043 68.73 72.89 -- 3718.79/931.04 c N dy 17571 2832332 4851 20835 0 140246 63359 7777141 68.74 73.63 -- 3744.35/937.47 c N dy 17692 2852381 4851 20835 0 86301 63359 1858310 68.74 73.30 -- 3768.32/943.40 c N dy 17816 2872433 4851 20835 0 106350 63359 4017397 68.75 73.83 -- 3796.67/950.52 c N dy 17953 2892511 4851 20835 0 126426 63359 6182766 68.76 74.89 -- 3829.03/958.62 c N dy 18083 2912592 4851 20835 0 146506 63359 8363845 68.77 73.05 -- 3852.63/964.53 c N dy 18208 2932601 4851 20835 0 91523 63359 2323818 68.77 72.88 -- 3877.37/970.71 c N dy 18333 2952712 4851 20835 0 111633 63359 4483152 68.78 72.52 -- 3906.13/977.99 c N dy 18451 2972737 4851 20835 0 131655 63359 6629625 68.78 72.40 -- 3940.09/986.42 c N dy 18587 2992820 4851 20835 0 151733 63359 8803564 68.79 73.45 -- 3961.65/991.82 c N dy 18704 3012847 4851 20835 0 95763 63359 2664914 68.80 75.78 -- 3986.81/998.19 c N dy 18822 3032905 4851 20835 0 115821 63359 4820250 68.80 88.47 -- 4016.77/1005.65 c N dy 18943 3052984 4851 20835 0 135897 63359 7012625 68.81 72.64 -- 4051.52/1014.39 c N dy 19074 3073046 4851 20835 0 78960 63359 769916 68.82 76.21 -- 4075.90/1020.50 c N dy 19214 3093146 4851 20835 0 99057 63359 2938318 68.83 73.77 -- 4107.06/1028.24 c N dy 19346 3113196 4851 20835 0 119105 63359 5081788 68.84 72.56 -- 4143.00/1037.24 c N dy 19472 3133258 4851 20835 0 139166 63359 7227904 68.84 79.04 -- 4180.54/1046.65 c N dy 19592 3153559 4851 20835 0 81473 63359 943542 68.84 72.47 -- 4206.91/1053.24 c N dy 19722 3173685 4851 20835 0 101595 63359 3114361 68.85 73.02 -- 4238.07/1061.09 c N dy 19847 3193901 4851 20835 0 121805 63359 5279759 68.86 77.16 -- 4270.82/1069.29 c S st 19965 3211939 4851 20835 0 139841 63359 7230322 68.86 59.53 -- 4272.42/1069.61 c S st 19965 3212443 4851 20835 0 140345 63359 7272315 68.86 no data -- 4272.42/1069.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4272.42/1069.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4272.81/1069.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.45 4274.04/1070.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 4274.04/1070.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4274.04/1070.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4851 time: 0.01 s 4274.04/1070.09 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-3175006-1304076920/watcher-3175006-1304076920 -o /tmp/evaluation-result-3175006-1304076920/solver-3175006-1304076920 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175006-1304076920.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 6.10 7.62 7.86 2/174 19329 /proc/meminfo: memFree=18411840/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 597922648 52465664 352 33554432000 4194304 4650419 140733869545088 18446744073709551615 47932086343596 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 12809 352 303 112 0 7774 0 [pid=19329/tid=19330] ppid=19327 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597922648 52465664 352 33554432000 4194304 4650419 140733869545088 18446744073709551615 47932086343602 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597922648 52465664 352 33554432000 4194304 4650419 140733869545088 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597922648 52465664 352 33554432000 4194304 4650419 140733869545088 18446744073709551615 47932086343602 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.920662 s] /proc/loadavg: 6.10 7.62 7.86 2/174 19329 /proc/meminfo: memFree=18411840/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=292284 CPUtime=3.64 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 12969 0 0 0 362 2 0 0 19 0 4 0 597922648 299298816 8569 33554432000 4194304 4650419 140733869545088 18446744073709551615 4310785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 73071 8569 392 112 0 68036 0 [pid=19329/tid=19330] ppid=19327 vsize=292284 CPUtime=0.9 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3450 0 0 0 90 0 0 0 18 0 4 0 597922648 299298816 8569 33554432000 4194304 4650419 140733869545088 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=292284 CPUtime=0.9 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3254 0 0 0 90 0 0 0 19 0 4 0 597922648 299298816 8569 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=292284 CPUtime=0.91 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 2363 0 0 0 91 0 0 0 19 0 4 0 597922648 299298816 8569 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.64 Current children cumulated vsize (KiB) 292284 [startup+1.00065 s] /proc/loadavg: 6.10 7.62 7.86 2/174 19329 /proc/meminfo: memFree=18411840/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=292284 CPUtime=3.96 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 13304 0 0 0 394 2 0 0 19 0 4 0 597922648 299298816 8904 33554432000 4194304 4650419 140733869545088 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 73071 8904 392 112 0 68036 0 [pid=19329/tid=19330] ppid=19327 vsize=292284 CPUtime=0.98 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3535 0 0 0 98 0 0 0 19 0 4 0 597922648 299298816 8904 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=292284 CPUtime=0.98 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3334 0 0 0 98 0 0 0 19 0 4 0 597922648 299298816 8904 33554432000 4194304 4650419 140733869545088 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=292284 CPUtime=0.99 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 2452 0 0 0 99 0 0 0 19 0 4 0 597922648 299298816 8904 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 292284 [startup+1.10063 s] /proc/loadavg: 6.10 7.62 7.86 2/174 19329 /proc/meminfo: memFree=18411840/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=292920 CPUtime=4.35 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 14090 0 0 0 433 2 0 0 19 0 4 0 597922648 299950080 8821 33554432000 4194304 4650419 140733869545088 18446744073709551615 4334212 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 73230 8821 392 112 0 68195 0 [pid=19329/tid=19330] ppid=19327 vsize=292920 CPUtime=1.08 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3649 0 0 0 108 0 0 0 19 0 4 0 597922648 299950080 8821 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=292920 CPUtime=1.08 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3437 0 0 0 108 0 0 0 19 0 4 0 597922648 299950080 8821 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=292920 CPUtime=1.08 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 2910 0 0 0 108 0 0 0 19 0 4 0 597922648 299950080 8821 33554432000 4194304 4650419 140733869545088 18446744073709551615 4361036 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.35 Current children cumulated vsize (KiB) 292920 [startup+1.20062 s] /proc/loadavg: 6.10 7.62 7.86 2/174 19329 /proc/meminfo: memFree=18411840/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=293404 CPUtime=4.76 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 15598 0 0 0 473 3 0 0 19 0 4 0 597922648 300445696 7732 33554432000 4194304 4650419 140733869545088 18446744073709551615 4330612 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 73351 7732 392 112 0 68316 0 [pid=19329/tid=19330] ppid=19327 vsize=293404 CPUtime=1.18 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 4118 0 0 0 117 1 0 0 19 0 4 0 597922648 300445696 7732 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=293404 CPUtime=1.18 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3904 0 0 0 118 0 0 0 19 0 4 0 597922648 300445696 7732 33554432000 4194304 4650419 140733869545088 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=293404 CPUtime=1.18 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3019 0 0 0 118 0 0 0 19 0 4 0 597922648 300445696 7732 33554432000 4194304 4650419 140733869545088 18446744073709551615 4229396 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.76 Current children cumulated vsize (KiB) 293404 [startup+1.50057 s] /proc/loadavg: 6.10 7.62 7.86 2/174 19329 /proc/meminfo: memFree=18411840/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=293404 CPUtime=5.96 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 16875 0 0 0 593 3 0 0 19 0 4 0 597922648 300445696 9009 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 73351 9009 392 112 0 68316 0 [pid=19329/tid=19330] ppid=19327 vsize=293404 CPUtime=1.48 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 4443 0 0 0 147 1 0 0 19 0 4 0 597922648 300445696 9009 33554432000 4194304 4650419 140733869545088 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=293404 CPUtime=1.47 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 4221 0 0 0 147 0 0 0 20 0 4 0 597922648 300445696 9009 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=293404 CPUtime=1.48 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 3339 0 0 0 148 0 0 0 19 0 4 0 597922648 300445696 9010 33554432000 4194304 4650419 140733869545088 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 293404 [startup+3.1063 s] /proc/loadavg: 6.10 7.62 7.86 9/184 19342 /proc/meminfo: memFree=18243484/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=294352 CPUtime=12.37 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 26425 0 0 0 1233 4 0 0 25 0 4 0 597922648 301416448 10013 33554432000 4194304 4650419 140733869545088 18446744073709551615 4330440 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 73588 10014 393 112 0 68553 0 [pid=19329/tid=19330] ppid=19327 vsize=294352 CPUtime=3.09 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 6876 0 0 0 308 1 0 0 25 0 4 0 597922648 301416448 10014 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=294352 CPUtime=3.07 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 6634 0 0 0 307 0 0 0 25 0 4 0 597922648 301416448 10014 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=294352 CPUtime=3.09 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 5653 0 0 0 308 1 0 0 25 0 4 0 597922648 301416448 10014 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 294352 [startup+6.30077 s] /proc/loadavg: 6.41 7.66 7.87 10/184 19342 /proc/meminfo: memFree=18188304/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=303832 CPUtime=25.14 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 50399 0 0 0 2504 10 0 0 25 0 4 0 597922648 311123968 26130 33554432000 4194304 4650419 140733869545088 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 75958 26130 394 112 0 70923 0 [pid=19329/tid=19330] ppid=19327 vsize=303832 CPUtime=6.29 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 11195 0 0 0 627 2 0 0 25 0 4 0 597922648 311123968 26132 33554432000 4194304 4650419 140733869545088 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=303832 CPUtime=6.25 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 14106 0 0 0 623 2 0 0 25 0 4 0 597922648 311123968 26132 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=303832 CPUtime=6.29 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 13204 0 0 0 627 2 0 0 25 0 4 0 597922648 311123968 26132 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 303832 [startup+12.7007 s] /proc/loadavg: 6.54 7.67 7.87 10/184 19342 /proc/meminfo: memFree=17975420/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=294472 CPUtime=50.69 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 82048 0 0 0 5052 17 0 0 25 0 4 0 597922648 301539328 38241 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 73618 38241 394 112 0 68583 0 [pid=19329/tid=19330] ppid=19327 vsize=294472 CPUtime=12.68 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 21346 0 0 0 1265 3 0 0 25 0 4 0 597922648 301539328 38241 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=294472 CPUtime=12.62 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 24176 0 0 0 1257 5 0 0 25 0 4 0 597922648 301539328 38241 33554432000 4194304 4650419 140733869545088 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=294472 CPUtime=12.68 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 20116 0 0 0 1264 4 0 0 25 0 4 0 597922648 301539328 38241 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.69 Current children cumulated vsize (KiB) 294472 [startup+25.5006 s] /proc/loadavg: 6.94 7.70 7.88 10/184 19344 /proc/meminfo: memFree=17777392/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=320304 CPUtime=101.81 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 126190 0 0 0 10154 27 0 0 25 0 4 0 597922648 327991296 51543 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 80076 51543 394 112 0 75041 0 [pid=19329/tid=19330] ppid=19327 vsize=320304 CPUtime=25.48 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 31496 0 0 0 2542 6 0 0 25 0 4 0 597922648 327991296 51543 33554432000 4194304 4650419 140733869545088 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=320304 CPUtime=25.34 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 35033 0 0 0 2527 7 0 0 25 0 4 0 597922648 327991296 51543 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=320304 CPUtime=25.48 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 33943 0 0 0 2541 7 0 0 25 0 4 0 597922648 327991296 51543 33554432000 4194304 4650419 140733869545088 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.81 Current children cumulated vsize (KiB) 320304 [startup+51.1003 s] /proc/loadavg: 7.30 7.72 7.88 10/184 19344 /proc/meminfo: memFree=17602104/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=502860 CPUtime=204.06 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 196275 0 0 0 20362 44 0 0 25 0 4 0 597922648 514928640 69739 33554432000 4194304 4650419 140733869545088 18446744073709551615 4328361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 125715 69739 394 112 0 120680 0 [pid=19329/tid=19330] ppid=19327 vsize=502860 CPUtime=51.08 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 53068 0 0 0 5097 11 0 0 25 0 4 0 597922648 514928640 69739 33554432000 4194304 4650419 140733869545088 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=502860 CPUtime=50.8 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 54817 0 0 0 5068 12 0 0 25 0 4 0 597922648 514928640 69739 33554432000 4194304 4650419 140733869545088 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=502860 CPUtime=51.07 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 47685 0 0 0 5097 10 0 0 25 0 4 0 597922648 514928640 69739 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.06 Current children cumulated vsize (KiB) 502860 [startup+102.301 s] /proc/loadavg: 7.75 7.78 7.89 10/184 19346 /proc/meminfo: memFree=17540056/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=558392 CPUtime=408.57 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 309394 0 0 0 40785 72 0 0 25 0 4 0 597922648 571793408 78175 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 139598 78175 394 112 0 134563 0 [pid=19329/tid=19330] ppid=19327 vsize=558392 CPUtime=102.27 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 86930 0 0 0 10209 18 0 0 25 0 4 0 597922648 571793408 78175 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=558392 CPUtime=101.72 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 88538 0 0 0 10151 21 0 0 25 0 4 0 597922648 571793408 78175 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=558392 CPUtime=102.28 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 71381 0 0 0 10211 17 0 0 25 0 4 0 597922648 571793408 78175 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.57 Current children cumulated vsize (KiB) 558392 [startup+162.301 s] ################ # More data... # ################ [pid=19329] ppid=19327 vsize=950844 CPUtime=2565.58 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 1947593 0 0 0 256101 457 0 0 25 0 4 0 597922648 973664256 170625 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 237711 170625 394 112 0 232676 0 [pid=19329/tid=19330] ppid=19327 vsize=950844 CPUtime=642.22 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 493556 0 0 0 64093 129 0 0 25 0 4 0 597922648 973664256 170625 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=950844 CPUtime=638.78 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 617854 0 0 0 63750 128 0 0 25 0 4 0 597922648 973664256 170625 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=950844 CPUtime=642.28 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 235913 0 0 0 64146 82 0 0 25 0 4 0 597922648 973664256 170625 33554432000 4194304 4650419 140733869545088 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2565.58 Current children cumulated vsize (KiB) 950844 [startup+702.301 s] /proc/loadavg: 8.11 8.06 7.98 10/184 19365 /proc/meminfo: memFree=16736624/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=929516 CPUtime=2805.26 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 2035584 0 0 0 280040 486 0 0 25 0 4 0 597922648 951824384 159052 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 232379 159052 394 112 0 227344 0 [pid=19329/tid=19330] ppid=19327 vsize=929516 CPUtime=702.22 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 518394 0 0 0 70086 136 0 0 25 0 4 0 597922648 951824384 159052 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=929516 CPUtime=698.45 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 638904 0 0 0 69710 135 0 0 25 0 4 0 597922648 951824384 159052 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=929516 CPUtime=702.27 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 259465 0 0 0 70138 89 0 0 25 0 4 0 597922648 951824384 159052 33554432000 4194304 4650419 140733869545088 18446744073709551615 4367384 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.26 Current children cumulated vsize (KiB) 929516 [startup+762.301 s] /proc/loadavg: 8.10 8.06 7.98 10/184 19365 /proc/meminfo: memFree=16799972/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=845544 CPUtime=3044.91 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 2120094 0 0 0 303976 515 0 0 25 0 4 0 597922648 865837056 156196 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 211386 156196 394 112 0 206351 0 [pid=19329/tid=19330] ppid=19327 vsize=845544 CPUtime=762.2 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 541838 0 0 0 76075 145 0 0 25 0 4 0 597922648 865837056 156196 33554432000 4194304 4650419 140733869545088 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=845544 CPUtime=758.12 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 660787 0 0 0 75670 142 0 0 25 0 4 0 597922648 865837056 156196 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=845544 CPUtime=762.27 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 278988 0 0 0 76132 95 0 0 25 0 4 0 597922648 865837056 156196 33554432000 4194304 4650419 140733869545088 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3044.91 Current children cumulated vsize (KiB) 845544 [startup+822.301 s] /proc/loadavg: 8.10 8.06 7.99 10/184 19367 /proc/meminfo: memFree=16726908/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=932016 CPUtime=3284.59 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 2278601 0 0 0 327912 547 0 0 25 0 4 0 597922648 954384384 166154 33554432000 4194304 4650419 140733869545088 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 233004 166154 394 112 0 227969 0 [pid=19329/tid=19330] ppid=19327 vsize=932016 CPUtime=822.21 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 676912 0 0 0 82056 165 0 0 25 0 4 0 597922648 954384384 166154 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=932016 CPUtime=817.8 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 660787 0 0 0 81638 142 0 0 25 0 4 0 597922648 954384384 166154 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=932016 CPUtime=822.27 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 285674 0 0 0 82127 100 0 0 25 0 4 0 597922648 954384384 166154 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3284.59 Current children cumulated vsize (KiB) 932016 [startup+882.301 s] /proc/loadavg: 8.10 8.06 7.99 9/184 19369 /proc/meminfo: memFree=16682508/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=1011204 CPUtime=3524.26 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 2411224 0 0 0 351845 581 0 0 25 0 4 0 597922648 1035472896 170544 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 252801 170544 394 112 0 247766 0 [pid=19329/tid=19330] ppid=19327 vsize=1011204 CPUtime=882.2 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 766898 0 0 0 88039 181 0 0 25 0 4 0 597922648 1035472896 170544 33554432000 4194304 4650419 140733869545088 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=1011204 CPUtime=877.47 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 670849 0 0 0 87602 145 0 0 25 0 4 0 597922648 1035472896 170544 33554432000 4194304 4650419 140733869545088 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=1011204 CPUtime=882.27 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 303512 0 0 0 88118 109 0 0 25 0 4 0 597922648 1035472896 170544 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3524.26 Current children cumulated vsize (KiB) 1011204 [startup+942.301 s] /proc/loadavg: 8.09 8.07 8.00 10/184 19371 /proc/meminfo: memFree=16631536/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=947576 CPUtime=3763.92 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 2490887 0 0 0 375781 611 0 0 25 0 4 0 597922648 970317824 167442 33554432000 4194304 4650419 140733869545088 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 236894 167442 394 112 0 231859 0 [pid=19329/tid=19330] ppid=19327 vsize=947576 CPUtime=942.19 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 790128 0 0 0 94030 189 0 0 25 0 4 0 597922648 970317824 167442 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=947576 CPUtime=937.15 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 687782 0 0 0 93563 152 0 0 25 0 4 0 597922648 970317824 167442 33554432000 4194304 4650419 140733869545088 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=947576 CPUtime=942.27 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 324364 0 0 0 94109 118 0 0 25 0 4 0 597922648 970317824 167442 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3763.92 Current children cumulated vsize (KiB) 947576 [startup+1002.3 s] /proc/loadavg: 8.17 8.10 8.01 10/184 19373 /proc/meminfo: memFree=16545956/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=1014672 CPUtime=4003.59 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 2568385 0 0 0 399722 637 0 0 25 0 4 0 597922648 1039024128 179906 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 253668 179906 394 112 0 248633 0 [pid=19329/tid=19330] ppid=19327 vsize=1014672 CPUtime=1002.19 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 811489 0 0 0 100023 196 0 0 25 0 4 0 597922648 1039024128 179906 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366853 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=1014672 CPUtime=996.81 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 706032 0 0 0 99523 158 0 0 25 0 4 0 597922648 1039024128 179906 33554432000 4194304 4650419 140733869545088 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=1014672 CPUtime=1002.26 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 344631 0 0 0 100102 124 0 0 25 0 4 0 597922648 1039024128 179906 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4003.59 Current children cumulated vsize (KiB) 1014672 [startup+1062.3 s] /proc/loadavg: 8.16 8.11 8.02 10/184 19373 /proc/meminfo: memFree=16448356/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=1194556 CPUtime=4243.28 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 2771116 0 0 0 423653 675 0 0 25 0 4 0 597922648 1223225344 210631 33554432000 4194304 4650419 140733869545088 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 298639 210631 394 112 0 293604 0 [pid=19329/tid=19330] ppid=19327 vsize=1194556 CPUtime=1062.19 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 893024 0 0 0 106010 209 0 0 25 0 4 0 597922648 1223225344 210631 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=1194556 CPUtime=1056.49 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 800374 0 0 0 105477 172 0 0 25 0 4 0 597922648 1223225344 210631 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=1194556 CPUtime=1062.27 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 356327 0 0 0 106101 126 0 0 25 0 4 0 597922648 1223225344 210631 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4243.28 Current children cumulated vsize (KiB) 1194556 [startup+1122.3 s] /proc/loadavg: 8.15 8.11 8.02 10/184 19375 /proc/meminfo: memFree=16320620/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=1194556 CPUtime=4482.93 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 3073287 0 0 0 447576 717 0 0 25 0 4 0 597922648 1223225344 216533 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 298639 216533 394 112 0 293604 0 [pid=19329/tid=19330] ppid=19327 vsize=1194556 CPUtime=1122.18 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 975012 0 0 0 111999 219 0 0 25 0 4 0 597922648 1223225344 216533 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=1194556 CPUtime=1116.16 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 940126 0 0 0 111424 192 0 0 25 0 4 0 597922648 1223225344 216533 33554432000 4194304 4650419 140733869545088 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=1194556 CPUtime=1122.27 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 356327 0 0 0 112101 126 0 0 25 0 4 0 597922648 1223225344 216533 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4482.93 Current children cumulated vsize (KiB) 1194556 [startup+1182.31 s] /proc/loadavg: 8.18 8.13 8.03 9/184 19377 /proc/meminfo: memFree=16288992/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=1260444 CPUtime=4722.62 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 3279881 0 0 0 471512 750 0 0 25 0 4 0 597922648 1290694656 220115 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 315111 220115 394 112 0 310076 0 [pid=19329/tid=19330] ppid=19327 vsize=1260444 CPUtime=1182.18 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 1063749 0 0 0 117988 230 0 0 25 0 4 0 597922648 1290694656 220115 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=1260444 CPUtime=1175.84 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 955907 0 0 0 117383 201 0 0 25 0 4 0 597922648 1290694656 220115 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=1260444 CPUtime=1182.27 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 356327 0 0 0 118101 126 0 0 25 0 4 0 597922648 1290694656 220115 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4722.62 Current children cumulated vsize (KiB) 1260444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.20 8.14 8.04 9/184 19377 /proc/meminfo: memFree=16224884/32951124 swapFree=67110396/67111528 [pid=19329] ppid=19327 vsize=1260612 CPUtime=4800.11 cores=0,2,4,6 /proc/19329/stat : 19329 (strangenight1-m) R 19327 19329 19297 0 -1 4202496 3349754 0 0 0 479251 760 0 0 25 0 4 0 597922648 1290866688 216667 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/19329/statm: 315153 216667 394 112 0 310118 0 [pid=19329/tid=19330] ppid=19327 vsize=1260612 CPUtime=1201.58 cores=0,2,4,6 /proc/19329/task/19330/stat : 19330 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 1093869 0 0 0 119924 234 0 0 25 0 4 0 597922648 1290866688 216667 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=19329/tid=19331] ppid=19327 vsize=1260612 CPUtime=1195.13 cores=0,2,4,6 /proc/19329/task/19331/stat : 19331 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 958911 0 0 0 119310 203 0 0 25 0 4 0 597922648 1290866688 216667 33554432000 4194304 4650419 140733869545088 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=19329/tid=19332] ppid=19327 vsize=1260612 CPUtime=1201.67 cores=0,2,4,6 /proc/19329/task/19332/stat : 19332 (strangenight1-m) R 19327 19329 19297 0 -1 4202560 356327 0 0 0 120041 126 0 0 25 0 4 0 597922648 1290866688 216667 33554432000 4194304 4650419 140733869545088 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.11 Current children cumulated vsize (KiB) 1260612 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.75 CPU time (s): 4800.18 CPU user time (s): 4792.53 CPU system time (s): 7.64284 CPU usage (%): 399.433 Max. virtual memory (cumulated for all children) (KiB): 1260612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4792.53 system time used= 7.64284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3349756 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= 948 involuntary context switches= 20987 runsolver used 1.85872 second user time and 4.72428 second system time The end
Begin job on node118 at 2011-04-29 13:35:20 IDJOB=3175006 IDBENCH=82624 IDSOLVER=1588 FILE ID=node118/3175006-1304076920 RUNJOBID= node118-1304076920-19315 PBS_JOBID= 13170505 Free space on /tmp= 71616 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175006-1304076920/watcher-3175006-1304076920 -o /tmp/evaluation-result-3175006-1304076920/solver-3175006-1304076920 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175006-1304076920.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdf9df7b6b7a513ee69ee69e82cb9345 RANDOM SEED=1990772561 node118.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.842 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.68 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.68 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.842 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 18411996 kB Buffers: 1901512 kB Cached: 12031728 kB SwapCached: 600 kB Active: 9488848 kB Inactive: 4512928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18411996 kB SwapTotal: 67111528 kB SwapFree: 67110396 kB Dirty: 7464 kB Writeback: 24 kB AnonPages: 67312 kB Mapped: 13956 kB Slab: 472280 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 189504 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= 71604 MiB End job on node118 at 2011-04-29 13:55:24