| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.12 | 1201.53 |
| Name | random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf |
| MD5SUM | bb08468cf0220e53f83e89f3d31d3696 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of clauses | 2556 |
| Sum of the clauses size | 7668 |
| 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 | 2556 |
| 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-3175290-1304107782.cnf' 0.00/0.00 c -- header says num vars: 600 0.00/0.00 c -- header says num clauses: 2556 0.00/0.00 c -- clauses added: 0 learnts, 2556 normals, 0 xors 0.00/0.00 c -- vars added 600 0.00/0.00 c Parsing time: 0.00 s 0.00/0.00 c N st 0 0 600 2556 0 0 7668 0 no data no data -- 0.00/0.01 c asymm cl-useful: 0/2556/2556 lits-rem:0 time: 0.00 0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.01/0.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.01/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.01/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 600 time: 0.00 s 0.01/0.01 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.01/0.01 c lits-rem: 0 cl-subs: 0 v-elim: 21 v-fix: 0 time: 0.01 s 0.01/0.01 c Finding binary XORs T: 0.00 s found: 0 0.37/0.10 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.37/0.10 c calculated reachability. Time: 0.00 0.37/0.10 c Calc default polars - time: 0.00 s pos: 268 undec: 80 neg: 252 0.37/0.10 c ========================================================================================= 0.37/0.10 c types(t): F = full restart, N = normal restart 0.37/0.10 c types(t): S = simplification begin/end, E = solution found 0.37/0.10 c restart types(rt): st = static, dy = dynamic 0.37/0.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.37/0.10 c B st 0 0 579 2520 0 0 7654 0 no data no data -- 0.37/0.10 c Decided on static restart strategy 0.77/0.20 c N st 8 4919 579 2520 0 4860 7654 129375 no data no data -- 1.57/0.42 c N st 10 11302 579 2520 0 4500 7654 82243 no data no data -- 2.37/0.69 c N st 11 17045 579 2520 0 10136 7654 239799 no data no data -- 4.38/1.13 c F st 12 25001 579 2520 0 12377 7654 281989 no data no data -- 4.38/1.13 c N st 12 25001 579 2520 0 12377 7654 281989 no data no data -- 5.16/1.38 c Decided on static restart strategy 5.16/1.38 c N st 18 30000 579 2520 0 10665 7654 218461 no data no data -- 5.16/1.38 c S st 18 30000 579 2520 0 10665 7654 218461 no data no data -- 5.56/1.41 c S st 18 30501 579 2520 0 11166 7654 230773 no data no data -- 5.56/1.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.56/1.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.56/1.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 5.56/1.42 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.56/1.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 5.56/1.42 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 6.37/1.65 c lits-rem: 221 cl-subs: 382 v-elim: 0 v-fix: 0 time: 0.89 s 6.37/1.65 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.03 6.37/1.65 c calculated reachability. Time: 0.00 6.37/1.65 c N st 18 30501 579 2520 0 10784 7654 219872 no data no data -- 7.96/2.09 c N st 20 37614 579 2520 0 10041 7654 181525 no data no data -- 9.56/2.48 c N st 21 44013 579 2520 0 16327 7654 345732 no data no data -- 10.36/2.61 c S st 22 45751 579 2520 0 9249 7654 142657 no data no data -- 10.36/2.64 c S st 22 46252 579 2520 0 9750 7654 155192 no data no data -- 10.36/2.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.36/2.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.36/2.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 10.36/2.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.36/2.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.36/2.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 10.36/2.64 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 10.76/2.75 c lits-rem: 41 cl-subs: 42 v-elim: 0 v-fix: 0 time: 0.41 s 10.76/2.75 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 10.76/2.75 c vivif2 -- cl tried 9708 cl shrink 0 lits rem 0 time: 0.01 10.76/2.76 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.03 10.76/2.76 c calculated reachability. Time: 0.00 10.76/2.76 c N st 22 46252 579 2520 0 9708 7654 154109 no data no data -- 14.75/3.74 c N st 23 60650 579 2520 0 14080 7654 257058 no data no data -- 17.17/4.34 c N st 24 69378 579 2520 0 11883 7654 187675 no data no data -- 17.17/4.34 c S st 24 69378 579 2520 0 11883 7654 187675 no data no data -- 17.17/4.37 c S st 24 69882 579 2520 0 12387 7654 200203 no data no data -- 17.17/4.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 17.17/4.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 17.17/4.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 17.17/4.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 17.17/4.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.17/4.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 17.17/4.38 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 17.95/4.59 c lits-rem: 54 cl-subs: 91 v-elim: 0 v-fix: 0 time: 0.81 s 17.95/4.59 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 17.95/4.59 c vivif2 -- cl tried 12296 cl shrink 0 lits rem 0 time: 0.01 18.34/4.60 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.04 18.34/4.60 c calculated reachability. Time: 0.00 18.34/4.60 c N st 24 69882 579 2520 0 12296 7654 197631 no data no data -- 23.54/5.97 c F st 25 87502 579 2520 0 17781 7654 345579 no data no data -- 23.54/5.97 c N st 25 87502 579 2520 0 17781 7654 345579 no data no data -- 25.54/6.45 c N dy 32 93271 579 2520 0 23459 7654 490926 16.41 17.29 -- 27.54/6.96 c N dy 59 99657 579 2520 0 16962 7654 257406 17.21 18.12 -- 29.14/7.39 c S st 75 104825 579 2520 0 22078 7654 386989 16.79 14.37 -- 29.54/7.45 c S st 75 105327 579 2520 0 22579 7654 399701 16.79 no data -- 29.54/7.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 29.54/7.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.54/7.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 29.54/7.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.54/7.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.54/7.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 29.54/7.47 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 33.13/8.35 c lits-rem: 272 cl-subs: 355 v-elim: 0 v-fix: 0 time: 3.54 s 33.13/8.35 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 33.13/8.36 c vivif2 -- cl tried 22224 cl shrink 0 lits rem 0 time: 0.02 33.13/8.38 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.08 33.13/8.38 c calculated reachability. Time: 0.00 33.13/8.38 c N dy 75 105327 579 2520 0 22224 7654 390083 16.79 no data -- 35.92/9.07 c N dy 116 112099 579 2520 0 15087 7654 179398 17.07 18.11 -- 38.32/9.64 c N dy 153 119375 579 2520 0 22296 7654 365066 17.27 18.26 -- 42.32/10.63 c N dy 170 129246 579 2520 0 17197 7654 206781 16.96 17.87 -- 45.12/11.37 c N dy 220 137554 579 2520 0 25435 7654 416889 17.15 19.54 -- 49.11/12.30 c N dy 266 146698 579 2520 0 18650 7654 222407 17.25 18.18 -- 52.33/13.18 c N dy 298 156386 579 2520 0 28245 7654 465825 17.21 18.12 -- 53.11/13.38 c S st 306 157990 579 2520 0 29834 7654 505726 17.22 16.38 -- 53.51/13.45 c S st 306 158491 579 2520 0 30335 7654 519289 17.22 no data -- 53.51/13.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 53.51/13.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 53.51/13.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 53.51/13.48 c bin-w-bin subsume rem 0 bins time: 0.00 s 53.51/13.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 53.51/13.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 53.51/13.48 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 59.90/15.02 c lits-rem: 474 cl-subs: 564 v-elim: 0 v-fix: 0 time: 6.18 s 59.90/15.02 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 59.90/15.03 c vivif2 -- cl tried 29771 cl shrink 0 lits rem 0 time: 0.02 59.90/15.05 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.10 59.90/15.06 c calculated reachability. Time: 0.00 59.90/15.06 c N dy 306 158491 579 2520 0 29771 7654 502975 17.22 no data -- 63.90/16.03 c N dy 344 168758 579 2520 0 23105 7654 315543 17.22 18.18 -- 68.69/17.29 c N dy 409 180050 579 2520 0 34279 7654 602984 17.33 18.28 -- 73.49/18.46 c N dy 447 191687 579 2520 0 27938 7654 413125 17.27 18.23 -- 79.47/19.98 c N dy 498 204039 579 2520 0 21358 7654 228152 17.27 18.44 -- 85.06/21.37 c N dy 548 217063 579 2520 0 34217 7654 551150 17.27 18.39 -- 92.28/23.11 c N dy 614 231014 579 2520 0 28267 7654 383793 17.32 18.63 -- 95.46/23.99 c S st 660 237737 579 2520 0 34907 7654 551971 17.37 16.70 -- 95.86/24.08 c S st 660 238239 579 2520 0 35409 7654 564497 17.37 no data -- 95.86/24.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 95.86/24.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 95.86/24.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 96.27/24.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 96.27/24.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 96.27/24.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 96.27/24.11 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 102.65/25.78 c lits-rem: 661 cl-subs: 565 v-elim: 0 v-fix: 0 time: 6.69 s 102.65/25.78 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 102.65/25.79 c vivif2 -- cl tried 34844 cl shrink 0 lits rem 0 time: 0.03 103.05/25.82 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.12 103.05/25.82 c calculated reachability. Time: 0.00 103.05/25.82 c N dy 660 238239 579 2520 0 34844 7654 547503 17.37 no data -- 110.24/27.66 c N dy 755 253644 579 2520 0 29327 7654 394459 17.45 18.41 -- 119.43/29.94 c N dy 825 270827 579 2520 0 24552 7654 248944 17.44 18.37 -- 127.82/32.00 c N dy 887 288115 579 2520 0 41642 7654 685665 17.43 18.50 -- 136.61/34.22 c F st 961 306251 579 2520 0 36829 7654 538546 17.40 no data -- 137.01/34.30 c N st 963 306879 579 2520 0 37450 7654 555590 17.40 no data -- 147.40/36.93 c N dy 983 327569 579 2520 0 34154 7654 450910 17.30 18.29 -- 159.38/39.96 c N dy 1098 348387 579 2520 0 30030 7654 326899 17.36 18.37 -- 163.77/41.09 c S st 1141 357359 579 2520 0 38906 7654 556377 17.38 17.28 -- 164.17/41.18 c S st 1141 357862 579 2520 0 39408 7654 568790 17.38 no data -- 164.17/41.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 164.17/41.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 164.57/41.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 164.57/41.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 164.57/41.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 164.57/41.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 164.57/41.22 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 171.77/43.02 c lits-rem: 764 cl-subs: 603 v-elim: 0 v-fix: 0 time: 7.20 s 171.77/43.02 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 171.77/43.03 c vivif2 -- cl tried 38805 cl shrink 0 lits rem 0 time: 0.03 171.77/43.06 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.13 171.77/43.06 c calculated reachability. Time: 0.00 171.77/43.06 c N dy 1141 357862 579 2520 0 38805 7654 551106 17.38 no data -- 184.96/46.37 c N dy 1197 380513 579 2520 0 35457 7654 446984 17.33 18.42 -- 199.34/49.97 c N dy 1253 401344 579 2520 0 29362 7654 274576 17.30 18.22 -- 211.32/52.99 c N dy 1337 421982 579 2520 0 49779 7654 794181 17.30 18.41 -- 225.31/56.42 c N dy 1376 444704 579 2520 0 44477 7654 629824 17.23 18.20 -- 239.29/59.92 c N dy 1494 464771 579 2520 0 35702 7654 401780 17.28 23.19 -- 253.28/63.40 c N dy 1573 484860 579 2520 0 55558 7654 901109 17.27 18.26 -- 266.06/66.61 c N dy 1628 505410 579 2520 0 46156 7654 637507 17.26 18.29 -- 280.45/70.27 c N dy 1700 525421 579 2520 0 35358 7654 349563 17.25 18.42 -- 287.63/72.00 c S st 1733 536794 579 2520 0 46545 7654 623248 17.23 15.63 -- 288.03/72.11 c S st 1733 537295 579 2520 0 47046 7654 636402 17.23 no data -- 288.03/72.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 288.03/72.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 288.03/72.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 288.03/72.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 288.03/72.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 288.03/72.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 288.03/72.15 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 295.63/74.07 c lits-rem: 636 cl-subs: 964 v-elim: 0 v-fix: 0 time: 7.69 s 295.63/74.07 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 295.63/74.08 c vivif2 -- cl tried 46082 cl shrink 0 lits rem 0 time: 0.03 296.03/74.12 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.17 296.03/74.13 c calculated reachability. Time: 0.00 296.03/74.13 c N dy 1733 537295 579 2520 0 46082 7654 613114 17.23 no data -- 311.62/78.02 c N dy 1818 557416 579 2520 0 34392 7654 304470 17.23 18.42 -- 324.81/81.32 c N dy 1899 577509 579 2520 0 54256 7654 808711 17.24 21.08 -- 339.98/85.12 c N dy 1969 597519 579 2520 0 41401 7654 462547 17.23 19.37 -- 355.57/89.05 c N dy 2079 617566 579 2520 0 61214 7654 976507 17.26 18.20 -- 370.73/92.83 c N dy 2177 638222 579 2520 0 48022 7654 608477 17.27 18.26 -- 388.71/97.37 c N dy 2260 658508 579 2520 0 68066 7654 1115942 17.29 18.44 -- 403.49/101.02 c N dy 2359 678646 579 2520 0 53431 7654 734352 17.30 18.31 -- 424.27/106.29 c N dy 2461 698679 579 2520 0 37661 7654 313391 17.32 18.35 -- 443.05/110.90 c N dy 2548 723422 579 2520 0 62058 7654 927916 17.31 18.28 -- 460.23/115.25 c N dy 2634 743460 579 2520 0 45313 7654 489579 17.32 18.29 -- 478.62/119.88 c N dy 2741 764781 579 2520 0 66345 7654 1025391 17.34 18.33 -- 495.79/124.11 c N dy 2793 785943 579 2520 0 49687 7654 573319 17.31 18.40 -- 514.96/128.96 c S st 2905 805943 579 2520 0 69498 7654 1085008 17.34 no data -- 515.76/129.14 c S st 2905 806447 579 2520 0 70001 7654 1099119 17.34 no data -- 515.76/129.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 515.76/129.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 515.76/129.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.12 516.17/129.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 516.17/129.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 516.17/129.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 516.17/129.21 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 523.35/131.07 c lits-rem: 424 cl-subs: 2122 v-elim: 0 v-fix: 0 time: 7.44 s 523.35/131.07 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 523.35/131.09 c vivif2 -- cl tried 67879 cl shrink 0 lits rem 0 time: 0.05 523.75/131.17 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.32 523.75/131.17 c calculated reachability. Time: 0.00 523.75/131.17 c N dy 2905 806447 579 2520 0 67879 7654 1046354 17.34 no data -- 542.92/135.92 c N dy 2973 826462 579 2520 0 49110 7654 545506 17.34 18.56 -- 568.09/142.27 c N dy 3067 853740 579 2520 0 75955 7654 1216126 17.32 18.30 -- 584.87/146.43 c N dy 3141 874570 579 2520 0 57069 7654 723982 17.32 18.36 -- 606.07/151.78 c N dy 3259 894631 579 2520 0 76900 7654 1235309 17.34 18.32 -- 626.03/156.77 c N dy 3322 919413 579 2520 0 60820 7654 803276 17.33 18.30 -- 648.40/162.31 c N dy 3422 939414 579 2520 0 80557 7654 1310866 17.34 18.48 -- 665.18/166.50 c N dy 3511 959561 579 2520 0 59031 7654 753189 17.35 18.35 -- 686.35/171.82 c N dy 3586 979800 579 2520 0 78986 7654 1267220 17.35 18.29 -- 705.93/176.72 c N dy 3677 1001337 579 2520 0 57841 7654 700073 17.36 18.30 -- 727.51/182.17 c N dy 3727 1023287 579 2520 0 79448 7654 1249088 17.33 18.31 -- 749.08/187.59 c N dy 3829 1045703 579 2520 0 58173 7654 693465 17.34 18.27 -- 777.46/194.65 c F st 3885 1071876 579 2520 0 83757 7654 1302217 17.30 13.95 -- 777.46/194.65 c N st 3885 1071876 579 2520 0 83757 7654 1302217 17.30 13.95 -- 795.45/199.14 c N dy 3981 1091946 579 2520 0 59355 7654 711865 17.31 21.21 -- 817.79/204.77 c N dy 4119 1111979 579 2520 0 79152 7654 1227886 17.34 20.26 -- 840.16/210.35 c N dy 4207 1131996 579 2520 0 53573 7654 533134 17.35 23.69 -- 860.55/215.43 c N dy 4284 1152059 579 2520 0 73355 7654 1035461 17.35 22.32 -- 888.10/222.31 c N dy 4387 1172113 579 2520 0 46816 7654 341312 17.36 18.46 -- 905.68/226.77 c N dy 4485 1192733 579 2520 0 67199 7654 867153 17.36 18.50 -- 928.05/232.32 c S st 4561 1209671 579 2520 0 83917 7654 1296900 17.37 17.98 -- 928.85/232.56 c S st 4561 1210177 579 2520 0 84423 7654 1310090 17.37 no data -- 928.85/232.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 928.85/232.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 929.25/232.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.16 929.25/232.65 c bin-w-bin subsume rem 0 bins time: 0.00 s 929.25/232.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 929.25/232.65 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 929.25/232.65 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 938.03/234.89 c lits-rem: 433 cl-subs: 1897 v-elim: 0 v-fix: 0 time: 8.95 s 938.03/234.89 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 938.43/234.91 c vivif2 -- cl tried 82526 cl shrink 0 lits rem 0 time: 0.06 938.83/235.01 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.41 938.83/235.01 c calculated reachability. Time: 0.00 938.83/235.01 c N dy 4561 1210177 579 2520 0 82526 7654 1260539 17.37 no data -- 963.21/241.10 c N dy 4649 1230789 579 2520 0 55492 7654 535358 17.37 18.30 -- 992.79/248.58 c N dy 4693 1260651 579 2520 0 84834 7654 1270074 17.32 18.25 -- 1021.53/255.79 c N dy 4777 1282833 579 2520 0 58364 7654 593264 17.32 18.28 -- 1055.89/264.36 c N dy 4814 1309242 579 2520 0 84255 7654 1217524 17.28 18.32 -- 1082.65/271.02 c N dy 4919 1330331 579 2520 0 55880 7654 519559 17.29 18.32 -- 1105.43/276.77 c N dy 5042 1352013 579 2520 0 77271 7654 1071234 17.30 18.28 -- 1133.81/283.88 c N dy 5137 1372286 579 2520 0 97264 7654 1583006 17.30 18.33 -- 1154.17/288.93 c N dy 5201 1392690 579 2520 0 67134 7654 782367 17.30 18.42 -- 1179.74/295.38 c N dy 5333 1412764 579 2520 0 86958 7654 1302410 17.32 21.35 -- 1208.91/302.61 c N dy 5443 1432794 579 2520 0 55469 7654 466132 17.33 21.32 -- 1228.88/307.68 c N dy 5547 1452826 579 2520 0 75244 7654 973953 17.34 18.39 -- 1273.22/318.78 c N dy 5619 1485238 579 2520 0 54894 7654 434046 17.31 18.35 -- 1293.99/323.91 c N dy 5738 1505633 579 2520 0 75033 7654 954687 17.33 18.32 -- 1330.35/333.09 c N dy 5823 1532914 579 2520 0 101930 7654 1659283 17.32 18.24 -- 1353.54/338.84 c N dy 5931 1552959 579 2520 0 68436 7654 765454 17.33 20.64 -- 1379.50/345.32 c N dy 6021 1573038 579 2520 0 88249 7654 1274789 17.34 20.04 -- 1416.64/354.69 c N dy 6134 1596661 579 2520 0 57291 7654 460695 17.34 18.55 -- 1437.03/359.75 c N dy 6221 1616743 579 2520 0 77090 7654 962750 17.35 20.24 -- 1467.80/367.46 c N dy 6358 1637702 579 2520 0 97799 7654 1500708 17.36 18.28 -- 1497.75/374.92 c N dy 6481 1657771 579 2520 0 62360 7654 567784 17.37 19.80 -- 1519.72/380.49 c N dy 6566 1677826 579 2520 0 82146 7654 1079268 17.38 18.38 -- 1551.69/388.41 c N dy 6694 1697832 579 2520 0 101897 7654 1591960 17.39 19.00 -- 1573.66/393.91 c S st 6728 1710178 579 2520 0 57790 7654 433117 17.39 no data -- 1574.06/394.06 c S st 6728 1710684 579 2520 0 58296 7654 446873 17.39 no data -- 1574.06/394.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1574.06/394.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1574.06/394.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.09 1574.46/394.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 1574.46/394.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1574.46/394.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 1574.46/394.11 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1580.85/395.76 c lits-rem: 231 cl-subs: 57 v-elim: 0 v-fix: 0 time: 6.59 s 1580.85/395.76 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 1580.85/395.76 c vivif2 -- cl tried 58239 cl shrink 0 lits rem 0 time: 0.02 1581.25/395.81 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.20 1581.25/395.82 c calculated reachability. Time: 0.00 1581.25/395.82 c N dy 6728 1710684 579 2520 0 58239 7654 445117 17.39 no data -- 1602.42/401.12 c N dy 6806 1731824 579 2520 0 79065 7654 981390 17.39 18.38 -- 1633.58/408.94 c N dy 6858 1752756 579 2520 0 99665 7654 1508150 17.38 18.30 -- 1668.33/417.68 c N dy 6977 1772777 579 2520 0 62269 7654 529345 17.39 18.56 -- 1690.31/423.10 c N dy 7049 1792786 579 2520 0 82052 7654 1040199 17.39 21.66 -- 1733.45/433.99 c N dy 7082 1821919 579 2520 0 110636 7654 1746186 17.37 18.64 -- 1761.84/441.09 c N dy 7168 1844059 579 2520 0 74285 7654 801943 17.37 18.42 -- 1790.18/448.10 c N dy 7248 1865866 579 2520 0 95795 7654 1349147 17.37 18.41 -- 1825.73/457.02 c N dy 7349 1885913 579 2520 0 115553 7654 1857120 17.38 19.21 -- 1852.10/463.63 c N dy 7422 1909364 579 2520 0 79482 7654 934145 17.37 18.37 -- 1884.08/471.63 c N dy 7543 1930854 579 2520 0 100701 7654 1482873 17.38 18.80 -- 1922.03/481.13 c N dy 7655 1950984 579 2520 0 60452 7654 427898 17.39 18.31 -- 1945.20/486.96 c N dy 7729 1972515 579 2520 0 81679 7654 964798 17.39 18.37 -- 1974.76/494.31 c N dy 7827 1992544 579 2520 0 101428 7654 1472282 17.40 18.34 -- 2011.93/503.62 c N dy 7907 2012852 579 2520 0 121459 7654 1994691 17.40 18.37 -- 2039.11/510.49 c N dy 7973 2037272 579 2520 0 84346 7654 1008513 17.39 18.33 -- 2070.66/518.32 c N dy 8097 2057487 579 2520 0 104283 7654 1525037 17.41 18.34 -- 2110.61/528.31 c N dy 8230 2077494 579 2520 0 124040 7654 2042050 17.42 18.37 -- 2133.38/534.07 c N dy 8309 2098143 579 2520 0 82257 7654 946294 17.42 18.80 -- 2164.54/541.81 c N dy 8438 2118169 579 2520 0 102020 7654 1461928 17.43 18.50 -- 2202.09/551.29 c N dy 8542 2138210 579 2520 0 121844 7654 1978226 17.44 19.67 -- 2229.66/558.11 c N dy 8621 2159160 579 2520 0 79437 7654 858148 17.44 18.40 -- 2262.02/566.22 c N dy 8746 2179878 579 2520 0 99869 7654 1388674 17.45 18.50 -- 2299.58/575.67 c N dy 8864 2199938 579 2520 0 119670 7654 1906676 17.46 18.39 -- 2321.15/581.01 c S st 8926 2210685 579 2520 0 66150 7654 497793 17.46 16.43 -- 2321.95/581.20 c S st 8926 2211186 579 2520 0 66649 7654 511262 17.46 no data -- 2321.95/581.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2321.95/581.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2321.95/581.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.12 2321.95/581.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 2321.95/581.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2321.95/581.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 2321.95/581.25 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2329.94/583.29 c lits-rem: 105 cl-subs: 85 v-elim: 0 v-fix: 0 time: 8.14 s 2329.94/583.29 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 2330.34/583.30 c vivif2 -- cl tried 66564 cl shrink 0 lits rem 0 time: 0.03 2330.34/583.37 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.30 2330.34/583.37 c calculated reachability. Time: 0.00 2330.34/583.37 c N dy 8926 2211186 579 2520 0 66564 7654 508677 17.46 no data -- 2354.31/589.35 c N dy 9015 2231654 579 2520 0 86763 7654 1033765 17.47 18.58 -- 2391.86/598.70 c N dy 9124 2255301 579 2520 0 110070 7654 1633597 17.47 18.49 -- 2435.81/609.73 c N dy 9225 2277031 579 2520 0 66381 7654 483079 17.48 18.46 -- 2457.78/615.23 c N dy 9270 2297049 579 2520 0 86059 7654 981803 17.47 19.37 -- 2488.54/622.98 c N dy 9345 2317244 579 2520 0 105970 7654 1492520 17.47 18.92 -- 2530.09/633.34 c N dy 9421 2338893 579 2520 0 127307 7654 2046869 17.47 18.40 -- 2559.65/640.77 c N dy 9505 2359333 579 2520 0 81401 7654 842574 17.47 18.46 -- 2591.21/648.62 c N dy 9597 2379514 579 2520 0 101309 7654 1358203 17.48 18.40 -- 2628.36/657.93 c N dy 9704 2399541 579 2520 0 121064 7654 1876606 17.48 21.78 -- 2665.91/667.39 c N dy 9791 2420816 579 2520 0 74994 7654 660574 17.49 18.43 -- 2692.68/674.09 c N dy 9884 2440835 579 2520 0 94747 7654 1172954 17.49 18.43 -- 2727.84/682.85 c N dy 9955 2460836 579 2520 0 114378 7654 1665508 17.49 18.42 -- 2770.18/693.47 c N dy 10053 2480860 579 2520 0 134136 7654 2183334 17.49 20.98 -- 2795.75/699.87 c N dy 10122 2501313 579 2520 0 86289 7654 946096 17.49 18.48 -- 2837.31/710.25 c N dy 10232 2526959 579 2520 0 111513 7654 1599097 17.49 18.52 -- 2880.46/721.03 c N dy 10365 2547058 579 2520 0 131354 7654 2122870 17.51 18.77 -- 2910.82/728.66 c N dy 10416 2567263 579 2520 0 82278 7654 818103 17.50 18.43 -- 2940.39/736.02 c N dy 10514 2587276 579 2520 0 102030 7654 1329341 17.51 18.85 -- 2980.75/746.14 c N dy 10612 2608752 579 2520 0 123195 7654 1877562 17.51 18.44 -- 3025.48/757.32 c N dy 10734 2629008 579 2520 0 73227 7654 571907 17.52 18.47 -- 3052.25/764.04 c N dy 10824 2649544 579 2520 0 93498 7654 1096983 17.52 18.52 -- 3086.21/772.53 c N dy 10890 2670134 579 2520 0 113788 7654 1609522 17.52 18.46 -- 3140.13/786.00 c N dy 10990 2695847 579 2520 0 139142 7654 2266253 17.52 18.50 -- 3162.11/791.55 c S st 11083 2711188 579 2520 0 83257 7654 812670 17.53 14.01 -- 3163.31/791.81 c S st 11083 2711688 579 2520 0 83756 7654 826130 17.53 no data -- 3163.31/791.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3163.31/791.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3163.31/791.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.16 3163.31/791.89 c bin-w-bin subsume rem 0 bins time: 0.00 s 3163.31/791.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3163.31/791.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 3163.31/791.89 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3176.09/795.03 c lits-rem: 1153 cl-subs: 646 v-elim: 0 v-fix: 0 time: 12.55 s 3176.09/795.03 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 3176.09/795.04 c vivif2 -- cl tried 83110 cl shrink 0 lits rem 0 time: 0.05 3176.49/795.13 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.38 3176.49/795.14 c calculated reachability. Time: 0.00 3176.49/795.14 c N dy 11083 2711688 579 2520 0 83110 7654 807761 17.53 no data -- 3207.24/802.82 c N dy 11196 2731971 579 2520 0 103135 7654 1325830 17.53 18.47 -- 3244.80/812.25 c N dy 11296 2751990 579 2520 0 122881 7654 1839354 17.54 20.98 -- 3291.56/823.99 c N dy 11386 2772113 579 2520 0 142682 7654 2347810 17.54 18.71 -- 3337.49/835.42 c N dy 11490 2798829 579 2520 0 97064 7654 1138991 17.54 18.73 -- 3381.04/846.38 c N dy 11574 2818854 579 2520 0 116816 7654 1650958 17.55 20.12 -- 3428.58/858.22 c N dy 11639 2840003 579 2520 0 137676 7654 2184507 17.54 18.79 -- 3463.74/867.01 c N dy 11740 2860013 579 2520 0 84425 7654 793528 17.55 18.58 -- 3494.50/874.75 c N dy 11826 2880790 579 2520 0 104933 7654 1328072 17.55 18.53 -- 3531.26/883.97 c N dy 11894 2900823 579 2520 0 124680 7654 1840554 17.55 18.93 -- 3586.39/897.74 c N dy 11938 2927290 579 2520 0 76724 7654 578025 17.54 18.50 -- 3614.36/904.75 c N dy 12041 2947997 579 2520 0 97149 7654 1104106 17.54 18.53 -- 3649.91/913.70 c N dy 12133 2968737 579 2520 0 117606 7654 1638498 17.55 18.52 -- 3689.46/923.51 c N dy 12203 2988822 579 2520 0 137348 7654 2147994 17.54 20.52 -- 3731.40/934.07 c N dy 12286 3009954 579 2520 0 83321 7654 730012 17.54 18.55 -- 3762.96/941.94 c N dy 12408 3031034 579 2520 0 104119 7654 1275541 17.55 18.50 -- 3802.92/951.94 c N dy 12524 3051315 579 2520 0 124140 7654 1795467 17.55 18.50 -- 3878.82/970.90 c N dy 12595 3082936 579 2520 0 79356 7654 609431 17.54 18.50 -- 3905.99/977.79 c N dy 12685 3102983 579 2520 0 99143 7654 1119746 17.54 19.79 -- 3940.75/986.49 c N dy 12741 3123068 579 2520 0 118887 7654 1627153 17.54 19.79 -- 3986.28/997.86 c N dy 12866 3143076 579 2520 0 138626 7654 2142291 17.55 19.38 -- 4025.46/1007.69 c N dy 12913 3163097 579 2520 0 81476 7654 649660 17.55 20.70 -- 4053.81/1014.71 c N dy 12971 3183189 579 2520 0 101204 7654 1148155 17.54 23.01 -- 4091.77/1024.20 c N dy 13086 3203422 579 2520 0 121177 7654 1671394 17.55 18.50 -- 4109.74/1028.78 c S st 13129 3211688 579 2520 0 129319 7654 1880641 17.55 17.81 -- 4111.34/1029.17 c S st 13129 3212192 579 2520 0 129823 7654 1894838 17.55 no data -- 4111.34/1029.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4111.34/1029.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4111.74/1029.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.27 4112.14/1029.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 4112.14/1029.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4112.14/1029.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 579 time: 0.00 s 4112.14/1029.31 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4135.33/1035.14 c lits-rem: 235 cl-subs: 3459 v-elim: 0 v-fix: 0 time: 23.30 s 4135.33/1035.14 c vivif2 -- cl tried 2520 cl shrink 0 lits rem 0 time: 0.00 4135.33/1035.17 c vivif2 -- cl tried 126364 cl shrink 0 lits rem 0 time: 0.12 4136.11/1035.38 c asymm cl-useful: 0/2520/2520 lits-rem:0 time: 0.82 4136.11/1035.38 c calculated reachability. Time: 0.00 4136.11/1035.38 c N dy 13129 3212192 579 2520 0 126364 7654 1808031 17.55 no data -- 4187.65/1048.24 c N dy 13221 3232217 579 2520 0 146102 7654 2311873 17.55 18.65 -- 4231.19/1059.17 c N dy 13318 3253399 579 2520 0 89208 7654 823323 17.55 18.61 -- 4276.33/1070.40 c N dy 13412 3275406 579 2520 0 110908 7654 1392050 17.56 18.55 -- 4324.67/1082.55 c N dy 13471 3295457 579 2520 0 130552 7654 1873506 17.56 21.56 -- 4372.64/1094.59 c N dy 13533 3315550 579 2520 0 150338 7654 2374725 17.55 18.62 -- 4410.16/1103.92 c N dy 13640 3335805 579 2520 0 91552 7654 879857 17.56 18.51 -- 4442.95/1112.11 c N dy 13713 3355884 579 2520 0 111303 7654 1385906 17.56 18.70 -- 4483.27/1122.23 c N dy 13805 3375927 579 2520 0 131035 7654 1896992 17.56 20.00 -- 4534.01/1134.96 c N dy 13867 3398488 579 2520 0 153162 7654 2472596 17.56 18.57 -- 4569.98/1143.96 c N dy 13927 3418529 579 2520 0 93204 7654 890626 17.55 20.08 -- 4603.93/1152.41 c N dy 14029 3438778 579 2520 0 113158 7654 1409641 17.55 18.54 -- 4643.47/1162.37 c N dy 14110 3458944 579 2520 0 133024 7654 1928001 17.56 18.51 -- 4693.79/1174.92 c N dy 14192 3479486 579 2520 0 153249 7654 2450447 17.56 18.56 -- 4732.15/1184.50 c N dy 14212 3499906 579 2520 0 92480 7654 834588 17.54 18.62 -- 4765.30/1192.83 c N dy 14310 3519911 579 2520 0 112216 7654 1346229 17.55 19.59 --
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-3175290-1304107782/watcher-3175290-1304107782 -o /tmp/evaluation-result-3175290-1304107782/solver-3175290-1304107782 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175290-1304107782.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: 8.18 8.14 8.02 6/180 21216 /proc/meminfo: memFree=29878992/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 522378581 52465664 352 33554432000 4194304 4650419 140736721081040 18446744073709551615 253640915953 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 12809 352 303 112 0 7774 0 [pid=21216/tid=21217] ppid=21214 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522378582 52465664 352 33554432000 4194304 4650419 140736721081040 18446744073709551615 47771777816498 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522378582 52465664 356 33554432000 4194304 4650419 140736721081040 18446744073709551615 47771777816492 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 522378582 52465664 356 33554432000 4194304 4650419 140736721081040 18446744073709551615 253640859579 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.0121711 s] /proc/loadavg: 8.18 8.14 8.02 6/180 21216 /proc/meminfo: memFree=29878992/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=282412 CPUtime=0.01 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 1153 0 0 0 1 0 0 0 25 0 4 0 522378581 289189888 1030 33554432000 4194304 4650419 140736721081040 18446744073709551615 4468655 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 70603 1030 378 112 0 65568 0 [pid=21216/tid=21217] ppid=21214 vsize=282412 CPUtime=0 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 162 0 0 0 0 0 0 0 25 0 4 0 522378582 289189888 1031 33554432000 4194304 4650419 140736721081040 18446744073709551615 4369860 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=282412 CPUtime=0 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 183 0 0 0 0 0 0 0 25 0 4 0 522378582 289189888 1034 33554432000 4194304 4650419 140736721081040 18446744073709551615 253640520389 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=282412 CPUtime=0 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 146 0 0 0 0 0 0 0 25 0 4 0 522378582 289189888 1035 33554432000 4194304 4650419 140736721081040 18446744073709551615 4331313 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 282412 [startup+0.101155 s] /proc/loadavg: 8.18 8.14 8.02 6/180 21216 /proc/meminfo: memFree=29878992/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=282844 CPUtime=0.37 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 1848 0 0 0 37 0 0 0 25 0 4 0 522378581 289632256 1691 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 70711 1691 391 112 0 65676 0 [pid=21216/tid=21217] ppid=21214 vsize=282844 CPUtime=0.09 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 383 0 0 0 9 0 0 0 25 0 4 0 522378582 289632256 1691 33554432000 4194304 4650419 140736721081040 18446744073709551615 4352062 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=282844 CPUtime=0.08 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 344 0 0 0 8 0 0 0 25 0 4 0 522378582 289632256 1691 33554432000 4194304 4650419 140736721081040 18446744073709551615 4363637 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=282844 CPUtime=0.09 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 281 0 0 0 9 0 0 0 25 0 4 0 522378582 289632256 1691 33554432000 4194304 4650419 140736721081040 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 282844 [startup+0.301118 s] /proc/loadavg: 8.18 8.14 8.02 6/180 21216 /proc/meminfo: memFree=29878992/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=284156 CPUtime=1.17 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 3053 0 0 0 117 0 0 0 25 0 4 0 522378581 290975744 2266 33554432000 4194304 4650419 140736721081040 18446744073709551615 4367302 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 71039 2266 393 112 0 66004 0 [pid=21216/tid=21217] ppid=21214 vsize=284156 CPUtime=0.29 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 683 0 0 0 29 0 0 0 25 0 4 0 522378582 290975744 2266 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=284156 CPUtime=0.28 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 652 0 0 0 28 0 0 0 25 0 4 0 522378582 290975744 2266 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=284156 CPUtime=0.29 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 583 0 0 0 29 0 0 0 25 0 4 0 522378582 290975744 2266 33554432000 4194304 4650419 140736721081040 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 284156 [startup+0.701045 s] /proc/loadavg: 8.18 8.14 8.02 6/180 21216 /proc/meminfo: memFree=29878992/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=285348 CPUtime=2.77 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 4768 0 0 0 276 1 0 0 25 0 4 0 522378581 292196352 3035 33554432000 4194304 4650419 140736721081040 18446744073709551615 4315085 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 71337 3035 393 112 0 66302 0 [pid=21216/tid=21217] ppid=21214 vsize=285348 CPUtime=0.69 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 1097 0 0 0 69 0 0 0 25 0 4 0 522378582 292196352 3035 33554432000 4194304 4650419 140736721081040 18446744073709551615 4363637 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=285348 CPUtime=0.68 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 1107 0 0 0 68 0 0 0 25 0 4 0 522378582 292196352 3035 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=285348 CPUtime=0.68 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 1006 0 0 0 68 0 0 0 25 0 4 0 522378582 292196352 3035 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 285348 [startup+1.5009 s] /proc/loadavg: 8.16 8.14 8.02 9/184 21220 /proc/meminfo: memFree=29867180/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=286748 CPUtime=5.97 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 9339 0 0 0 595 2 0 0 25 0 4 0 522378581 293629952 4961 33554432000 4194304 4650419 140736721081040 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 71687 4961 395 112 0 66652 0 [pid=21216/tid=21217] ppid=21214 vsize=286748 CPUtime=1.48 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 1935 0 0 0 148 0 0 0 25 0 4 0 522378582 293629952 4961 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=286748 CPUtime=1.48 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 1968 0 0 0 148 0 0 0 25 0 4 0 522378582 293629952 4961 33554432000 4194304 4650419 140736721081040 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=286748 CPUtime=1.48 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 1744 0 0 0 148 0 0 0 25 0 4 0 522378582 293629952 4961 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 286748 [startup+3.10061 s] /proc/loadavg: 8.16 8.14 8.02 9/184 21220 /proc/meminfo: memFree=29853168/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=282464 CPUtime=12.36 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 17613 0 0 0 1232 4 0 0 25 0 4 0 522378581 289243136 10560 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 70616 10560 395 112 0 65581 0 [pid=21216/tid=21217] ppid=21214 vsize=282464 CPUtime=3.07 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 4041 0 0 0 307 0 0 0 25 0 4 0 522378582 289243136 10560 33554432000 4194304 4650419 140736721081040 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=282464 CPUtime=3.08 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 4715 0 0 0 307 1 0 0 25 0 4 0 522378582 289243136 10560 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=282464 CPUtime=3.09 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 4067 0 0 0 308 1 0 0 25 0 4 0 522378582 289243136 10560 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 282464 [startup+6.30103 s] /proc/loadavg: 8.16 8.14 8.02 9/184 21220 /proc/meminfo: memFree=29809148/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=292380 CPUtime=25.14 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 25150 0 0 0 2510 4 0 0 25 0 4 0 522378581 299397120 14333 33554432000 4194304 4650419 140736721081040 18446744073709551615 4364468 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 73095 14333 395 112 0 68060 0 [pid=21216/tid=21217] ppid=21214 vsize=292380 CPUtime=6.26 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 6225 0 0 0 625 1 0 0 25 0 4 0 522378582 299397120 14334 33554432000 4194304 4650419 140736721081040 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=292380 CPUtime=6.28 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 5956 0 0 0 627 1 0 0 25 0 4 0 522378582 299397120 14334 33554432000 4194304 4650419 140736721081040 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=292380 CPUtime=6.28 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 5860 0 0 0 627 1 0 0 25 0 4 0 522378582 299397120 14334 33554432000 4194304 4650419 140736721081040 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 292380 [startup+12.7009 s] /proc/loadavg: 8.14 8.13 8.02 9/184 21220 /proc/meminfo: memFree=29779712/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=295732 CPUtime=50.71 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 38307 0 0 0 5064 7 0 0 25 0 4 0 522378581 302829568 20726 33554432000 4194304 4650419 140736721081040 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 73933 20726 395 112 0 68898 0 [pid=21216/tid=21217] ppid=21214 vsize=295732 CPUtime=12.63 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 9750 0 0 0 1262 1 0 0 25 0 4 0 522378582 302829568 20726 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=295732 CPUtime=12.68 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 9391 0 0 0 1267 1 0 0 25 0 4 0 522378582 302829568 20726 33554432000 4194304 4650419 140736721081040 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=295732 CPUtime=12.68 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 8224 0 0 0 1267 1 0 0 25 0 4 0 522378582 302829568 20726 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 295732 [startup+25.5005 s] /proc/loadavg: 8.12 8.13 8.01 9/184 21220 /proc/meminfo: memFree=29755364/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=297696 CPUtime=101.85 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 55936 0 0 0 10174 11 0 0 25 0 4 0 522378581 304840704 25234 33554432000 4194304 4650419 140736721081040 18446744073709551615 4438671 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 74424 25234 395 112 0 69389 0 [pid=21216/tid=21217] ppid=21214 vsize=297696 CPUtime=25.37 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 13912 0 0 0 2535 2 0 0 25 0 4 0 522378582 304840704 25234 33554432000 4194304 4650419 140736721081040 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=297696 CPUtime=25.49 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 16266 0 0 0 2546 3 0 0 25 0 4 0 522378582 304840704 25234 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=297696 CPUtime=25.48 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 11831 0 0 0 2546 2 0 0 25 0 4 0 522378582 304840704 25234 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 297696 [startup+51.1008 s] /proc/loadavg: 8.23 8.15 8.02 9/184 21221 /proc/meminfo: memFree=29740800/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=338720 CPUtime=204.14 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 81315 0 0 0 20396 18 0 0 25 0 4 0 522378581 346849280 35405 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 84680 35405 395 112 0 79645 0 [pid=21216/tid=21217] ppid=21214 vsize=338720 CPUtime=50.85 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 19045 0 0 0 5081 4 0 0 25 0 4 0 522378582 346849280 35405 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=338720 CPUtime=51.09 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 26479 0 0 0 5104 5 0 0 25 0 4 0 522378582 346849280 35405 33554432000 4194304 4650419 140736721081040 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=338720 CPUtime=51.09 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 16845 0 0 0 5105 4 0 0 25 0 4 0 522378582 346849280 35405 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 204.14 Current children cumulated vsize (KiB) 338720 [startup+102.306 s] /proc/loadavg: 8.17 8.14 8.02 9/184 21222 /proc/meminfo: memFree=29679008/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=319560 CPUtime=408.71 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 120129 0 0 0 40841 30 0 0 25 0 4 0 522378581 327229440 40186 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 79890 40186 395 112 0 74855 0 [pid=21216/tid=21217] ppid=21214 vsize=319560 CPUtime=101.81 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 28616 0 0 0 10174 7 0 0 25 0 4 0 522378582 327229440 40186 33554432000 4194304 4650419 140736721081040 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=319560 CPUtime=102.29 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 39190 0 0 0 10220 9 0 0 25 0 4 0 522378582 327229440 40186 33554432000 4194304 4650419 140736721081040 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=319560 CPUtime=102.29 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 25539 0 0 0 10222 7 0 0 25 0 4 0 522378582 327229440 40187 33554432000 4194304 4650419 140736721081040 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 408.71 Current children cumulated vsize (KiB) 319560 [startup+162.301 s] ################ # More data... # ################ [pid=21216] ppid=21214 vsize=568924 CPUtime=2805.74 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 394674 0 0 0 280436 138 0 0 25 0 4 0 522378581 582578176 87017 33554432000 4194304 4650419 140736721081040 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 142231 87017 395 112 0 137196 0 [pid=21216/tid=21217] ppid=21214 vsize=568924 CPUtime=698.84 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 108308 0 0 0 69846 38 0 0 25 0 4 0 522378582 582578176 87017 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=568924 CPUtime=702.27 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 137660 0 0 0 70182 45 0 0 25 0 4 0 522378582 582578176 87017 33554432000 4194304 4650419 140736721081040 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=568924 CPUtime=702.3 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 72101 0 0 0 70206 24 0 0 25 0 4 0 522378582 582578176 87017 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2805.74 Current children cumulated vsize (KiB) 568924 [startup+762.307 s] /proc/loadavg: 8.07 8.08 8.02 9/184 21271 /proc/meminfo: memFree=29622532/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=569164 CPUtime=3045.47 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 415959 0 0 0 304401 146 0 0 25 0 4 0 522378581 582823936 90147 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 142291 90147 395 112 0 137256 0 [pid=21216/tid=21217] ppid=21214 vsize=569164 CPUtime=758.55 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 115116 0 0 0 75814 41 0 0 25 0 4 0 522378582 582823936 90147 33554432000 4194304 4650419 140736721081040 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=569164 CPUtime=762.27 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 144399 0 0 0 76180 47 0 0 25 0 4 0 522378582 582823936 90147 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=569164 CPUtime=762.31 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 75818 0 0 0 76205 26 0 0 25 0 4 0 522378582 582823936 90147 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3045.47 Current children cumulated vsize (KiB) 569164 [startup+822.301 s] /proc/loadavg: 8.05 8.08 8.02 9/184 21273 /proc/meminfo: memFree=29602412/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=629284 CPUtime=3285.15 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 436142 0 0 0 328361 154 0 0 25 0 4 0 522378581 644386816 89761 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 157321 89761 395 112 0 152286 0 [pid=21216/tid=21217] ppid=21214 vsize=629284 CPUtime=818.25 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 123252 0 0 0 81780 45 0 0 25 0 4 0 522378582 644386816 89761 33554432000 4194304 4650419 140736721081040 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=629284 CPUtime=822.26 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 150405 0 0 0 82177 49 0 0 25 0 4 0 522378582 644386816 89761 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=629284 CPUtime=822.31 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 77679 0 0 0 82204 27 0 0 25 0 4 0 522378582 644386816 89761 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3285.15 Current children cumulated vsize (KiB) 629284 [startup+882.301 s] /proc/loadavg: 8.09 8.08 8.02 9/184 21274 /proc/meminfo: memFree=29569900/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=578356 CPUtime=3524.87 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 452438 0 0 0 352325 162 0 0 25 0 4 0 522378581 592236544 93352 33554432000 4194304 4650419 140736721081040 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 144589 93352 395 112 0 139554 0 [pid=21216/tid=21217] ppid=21214 vsize=578356 CPUtime=877.97 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 127425 0 0 0 87751 46 0 0 25 0 4 0 522378582 592236544 93352 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=578356 CPUtime=882.26 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 153416 0 0 0 88176 50 0 0 25 0 4 0 522378582 592236544 93352 33554432000 4194304 4650419 140736721081040 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=578356 CPUtime=882.3 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 81843 0 0 0 88201 29 0 0 25 0 4 0 522378582 592236544 93352 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3524.87 Current children cumulated vsize (KiB) 578356 [startup+942.301 s] /proc/loadavg: 8.10 8.07 8.02 9/184 21276 /proc/meminfo: memFree=29596280/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=579424 CPUtime=3764.56 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 472264 0 0 0 376285 171 0 0 25 0 4 0 522378581 593330176 88534 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366950 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 144856 88534 395 112 0 139821 0 [pid=21216/tid=21217] ppid=21214 vsize=579424 CPUtime=937.66 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 134187 0 0 0 93717 49 0 0 25 0 4 0 522378582 593330176 88534 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=579424 CPUtime=942.24 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 159519 0 0 0 94173 51 0 0 25 0 4 0 522378582 593330176 88534 33554432000 4194304 4650419 140736721081040 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=579424 CPUtime=942.3 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 85225 0 0 0 94199 31 0 0 25 0 4 0 522378582 593330176 88534 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3764.56 Current children cumulated vsize (KiB) 579424 [startup+1002.3 s] /proc/loadavg: 8.04 8.06 8.02 9/184 21277 /proc/meminfo: memFree=29518860/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=593084 CPUtime=4004.27 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 493017 0 0 0 400248 179 0 0 25 0 4 0 522378581 607318016 93682 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 148271 93682 395 112 0 143236 0 [pid=21216/tid=21217] ppid=21214 vsize=593084 CPUtime=997.37 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 140793 0 0 0 99685 52 0 0 25 0 4 0 522378582 607318016 93682 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=593084 CPUtime=1002.25 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 167811 0 0 0 100171 54 0 0 25 0 4 0 522378582 607318016 93682 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=593084 CPUtime=1002.31 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 88285 0 0 0 100198 33 0 0 25 0 4 0 522378582 607318016 93682 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4004.27 Current children cumulated vsize (KiB) 593084 [startup+1062.3 s] /proc/loadavg: 8.01 8.05 8.01 9/184 21279 /proc/meminfo: memFree=29474936/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=593700 CPUtime=4243.97 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 516195 0 0 0 424210 187 0 0 25 0 4 0 522378581 607948800 100513 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 148425 100513 395 112 0 143390 0 [pid=21216/tid=21217] ppid=21214 vsize=593700 CPUtime=1057.06 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 145963 0 0 0 105653 53 0 0 25 0 4 0 522378582 607948800 100513 33554432000 4194304 4650419 140736721081040 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=593700 CPUtime=1062.25 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 174960 0 0 0 106168 57 0 0 25 0 4 0 522378582 607948800 100513 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=593700 CPUtime=1062.31 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 95821 0 0 0 106197 34 0 0 25 0 4 0 522378582 607948800 100513 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4243.97 Current children cumulated vsize (KiB) 593700 [startup+1122.3 s] /proc/loadavg: 8.04 8.05 8.01 9/184 21281 /proc/meminfo: memFree=29436340/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=666344 CPUtime=4483.67 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 531445 0 0 0 448171 196 0 0 25 0 4 0 522378581 682336256 108241 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 166586 108241 395 112 0 161551 0 [pid=21216/tid=21217] ppid=21214 vsize=666344 CPUtime=1116.76 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 151337 0 0 0 111621 55 0 0 25 0 4 0 522378582 682336256 108241 33554432000 4194304 4650419 140736721081040 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=666344 CPUtime=1122.24 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 180785 0 0 0 112164 60 0 0 25 0 4 0 522378582 682336256 108241 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=666344 CPUtime=1122.31 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 97640 0 0 0 112195 36 0 0 25 0 4 0 522378582 682336256 108241 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4483.67 Current children cumulated vsize (KiB) 666344 [startup+1182.3 s] /proc/loadavg: 8.12 8.07 8.01 9/184 21282 /proc/meminfo: memFree=29409652/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=614212 CPUtime=4723.37 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 551630 0 0 0 472132 205 0 0 25 0 4 0 522378581 628953088 105311 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 153553 105311 395 112 0 148518 0 [pid=21216/tid=21217] ppid=21214 vsize=614212 CPUtime=1176.46 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 154209 0 0 0 117589 57 0 0 25 0 4 0 522378582 628953088 105311 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=614212 CPUtime=1182.24 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 191100 0 0 0 118161 63 0 0 25 0 4 0 522378582 628953088 105311 33554432000 4194304 4650419 140736721081040 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=614212 CPUtime=1182.31 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 100755 0 0 0 118193 38 0 0 25 0 4 0 522378582 628953088 105311 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4723.37 Current children cumulated vsize (KiB) 614212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.5 s] /proc/loadavg: 8.09 8.06 8.01 9/184 21283 /proc/meminfo: memFree=29409268/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=667076 CPUtime=4800.07 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 554156 0 0 0 479800 207 0 0 25 0 4 0 522378581 683085824 107837 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366950 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 166769 107837 395 112 0 161734 0 [pid=21216/tid=21217] ppid=21214 vsize=667076 CPUtime=1195.55 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 155399 0 0 0 119497 58 0 0 25 0 4 0 522378582 683085824 107837 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=667076 CPUtime=1201.44 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 192436 0 0 0 120080 64 0 0 25 0 4 0 522378582 683085824 107837 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=667076 CPUtime=1201.52 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 100755 0 0 0 120114 38 0 0 25 0 4 0 522378582 683085824 107837 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.07 Current children cumulated vsize (KiB) 667076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.5 s] /proc/loadavg: 8.09 8.06 8.01 9/184 21283 /proc/meminfo: memFree=29409268/32951124 swapFree=67111364/67111528 [pid=21216] ppid=21214 vsize=667076 CPUtime=4800.07 cores=0,2,4,6 /proc/21216/stat : 21216 (strangenight1-m) R 21214 21216 20975 0 -1 4202496 554156 0 0 0 479800 207 0 0 25 0 4 0 522378581 683085824 107837 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366950 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21216/statm: 166769 107837 395 112 0 161734 0 [pid=21216/tid=21217] ppid=21214 vsize=667076 CPUtime=1195.55 cores=0,2,4,6 /proc/21216/task/21217/stat : 21217 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 155399 0 0 0 119497 58 0 0 25 0 4 0 522378582 683085824 107837 33554432000 4194304 4650419 140736721081040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=21216/tid=21218] ppid=21214 vsize=667076 CPUtime=1201.44 cores=0,2,4,6 /proc/21216/task/21218/stat : 21218 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 192436 0 0 0 120080 64 0 0 25 0 4 0 522378582 683085824 107837 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21216/tid=21219] ppid=21214 vsize=667076 CPUtime=1201.52 cores=0,2,4,6 /proc/21216/task/21219/stat : 21219 (strangenight1-m) R 21214 21216 20975 0 -1 4202560 100755 0 0 0 120114 38 0 0 25 0 4 0 522378582 683085824 107837 33554432000 4194304 4650419 140736721081040 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.07 Current children cumulated vsize (KiB) 667076 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.53 CPU time (s): 4800.12 CPU user time (s): 4798.03 CPU system time (s): 2.09468 CPU usage (%): 399.501 Max. virtual memory (cumulated for all children) (KiB): 748400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.03 system time used= 2.09468 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 554157 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= 229 involuntary context switches= 21288 runsolver used 1.85572 second user time and 4.08738 second system time The end
Begin job on node106 at 2011-04-29 22:09:42 IDJOB=3175290 IDBENCH=82908 IDSOLVER=1588 FILE ID=node106/3175290-1304107782 RUNJOBID= node106-1304105374-20993 PBS_JOBID= 13170655 Free space on /tmp= 72152 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175290-1304107782/watcher-3175290-1304107782 -o /tmp/evaluation-result-3175290-1304107782/solver-3175290-1304107782 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175290-1304107782.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb08468cf0220e53f83e89f3d31d3696 RANDOM SEED=1931690071 node106.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.830 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.66 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.830 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 : 5226.20 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.82 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.830 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.74 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.830 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.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29879272 kB Buffers: 256840 kB Cached: 2089592 kB SwapCached: 88 kB Active: 1254716 kB Inactive: 1605388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29879272 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 6240 kB Writeback: 0 kB AnonPages: 513124 kB Mapped: 15520 kB Slab: 146492 kB PageTables: 5416 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 818864 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= 72148 MiB End job on node106 at 2011-04-29 22:29:45