| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | UNSAT | 3459.78 | 867.572 |
| Name | SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf |
| MD5SUM | 77e0700cbaeeb3d63a4820608fc84761 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 45.3381 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 11680 |
| Number of clauses | 74581 |
| Sum of the clauses size | 252050 |
| Maximum clause length | 86 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 4 |
| Number of clauses of size 2 | 17176 |
| Number of clauses of size 3 | 34696 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 22704 |
| Number of clauses of size over 5 | 1 |
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 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3367068-1305415790.cnf' 0.00/0.01 c -- header says num vars: 11680 0.00/0.01 c -- header says num clauses: 74581 3.17/0.80 c -- clauses added: 0 learnts, 74581 normals, 0 xors 3.17/0.80 c -- vars added 11680 3.17/0.80 c Parsing time: 0.03 s 3.17/0.80 c N st 0 0 11680 57394 17177 0 252027 0 no data no data 3.17/0.80 c asymm cl-useful: 0/5587/57393 lits-rem:0 time: 0.71 5.15/1.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 16.1M T: 0.58 5.15/1.38 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 5.15/1.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.15/1.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 5.56/1.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11674 time: 0.04 s 5.56/1.46 c Removed useless bin: 0 fixed: 0 props: 4.94M time: 0.03 s 5.96/1.55 c lits-rem: 148 cl-subs: 296 v-elim: 151 v-fix: 0 time: 0.09 s 5.96/1.57 c Finding binary XORs T: 0.01 s found: 0 6.36/1.60 c Finding non-binary XORs: 0.03 s (found: 81, avg size: 3.0) 6.36/1.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 6.36/1.60 c calculated reachability. Time: 0.01 6.36/1.61 c Calc default polars - time: 0.00 s pos: 5667 undec: 169 neg: 5844 6.36/1.61 c ========================================================================================= 6.36/1.61 c types(t): F = full restart, N = normal restart 6.36/1.61 c types(t): S = simplification begin/end, E = solution found 6.36/1.61 c restart types(rt): st = static, dy = dynamic 6.36/1.61 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 6.36/1.61 c B st 0 0 11523 56768 17028 0 250683 0 no data no data 9.54/2.43 c N dy 20 4075 11523 56768 17105 3953 250683 45574 5.01 9.08 13.16/3.38 c N dy 48 8171 11520 56768 17242 7900 250683 102645 5.15 5.42 16.73/4.22 c N dy 77 12187 11518 56768 17519 7395 250683 54941 5.28 5.69 20.32/5.15 c N dy 110 16191 11514 56768 17590 11280 250683 130152 5.47 6.08 22.71/5.71 c Finding binary XORs T: 0.01 s found: 72 24.31/6.17 c N dy 145 20290 11506 56676 17862 9047 250291 40767 5.66 7.55 28.70/7.23 c N dy 177 24372 11505 56676 18084 13026 250291 126355 5.80 6.99 29.50/7.40 c F st 183 25000 11505 56676 18087 13648 250291 149577 5.87 no data 29.50/7.42 c Replacing 76 vars Replaced 3659 lits Time: 0.01 s 34.29/8.63 c N dy 189 30000 11426 56636 17940 18403 250104 347421 5.87 no data 34.29/8.63 c S st 189 30000 11426 56636 17940 18403 250104 347421 5.87 no data 34.70/8.78 c S st 189 30502 11426 56636 18141 18882 250104 357552 5.87 no data 34.70/8.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 40.28/10.16 c Flit: 6 Blit: 1 bXBeca: 0 bXProp: 55 Bins: 41458 BRemL: 16901 BRemN: 13 P: 28.9M T: 1.37 40.28/10.18 c Replacing 55 vars Replaced 3300 lits Time: 0.02 s 40.68/10.20 c blocked clauses removed: 0 vars: 0 tried: 11131 T: 0.00 s 40.68/10.21 c bin-w-bin subsume rem 213 bins time: 0.01 s 40.68/10.22 c subs with bin: 208 lits-rem: 194 v-fix: 0 time: 0.02 s 40.68/10.26 c Subs w/ non-existent bins: 19 l-rem: 31 v-fix: 0 done: 11362 time: 0.04 s 40.68/10.27 c Removed useless bin: 18 fixed: 0 props: 1.30M time: 0.01 s 41.08/10.33 c lits-rem: 1 cl-subs: 666 v-elim: 32 v-fix: 0 time: 0.05 s 41.47/10.41 c subs with bin: 317 lits-rem: 1639 v-fix: 0 time: 0.07 s 41.47/10.49 c lits-rem: 647 cl-subs: 383 v-elim: 0 v-fix: 0 time: 0.07 s 41.47/10.49 c Added XOR as norm:77 43.07/10.81 c asymm cl-useful: 0/1425/56087 lits-rem:0 time: 0.32 43.07/10.82 c calculated reachability. Time: 0.01 43.07/10.82 c N dy 189 30502 11330 56087 36187 16808 247339 291902 5.87 no data 43.07/10.84 c Finding binary XORs T: 0.02 s found: 2 47.47/11.93 c N dy 224 34560 11321 56087 36245 13169 247339 130661 6.08 7.50 51.46/12.94 c N dy 260 38636 11319 56087 36474 17167 247339 257103 6.27 8.00 56.25/14.16 c N dy 298 42668 11316 56087 40434 21134 247339 402402 6.51 9.18 57.06/14.32 c Finding binary XORs T: 0.01 s found: 28 60.24/15.17 c S st 325 45753 11312 55981 31738 15225 246847 108533 6.69 no data 61.04/15.31 c S st 325 46257 11312 55981 31750 15714 246847 120233 6.69 no data 61.04/15.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 66.62/16.75 c Flit: 6 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 42404 BRemL: 22397 BRemN: 0 P: 33.1M T: 1.43 66.62/16.77 c Replacing 31 vars Replaced 1332 lits Time: 0.01 s 66.62/16.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 66.62/16.79 c bin-w-bin subsume rem 136 bins time: 0.01 s 67.02/16.81 c subs with bin: 160 lits-rem: 159 v-fix: 0 time: 0.02 s 67.02/16.85 c Subs w/ non-existent bins: 15 l-rem: 26 v-fix: 0 done: 11275 time: 0.04 s 67.02/16.86 c Removed useless bin: 17 fixed: 0 props: 1.87M time: 0.01 s 67.41/16.91 c lits-rem: 1 cl-subs: 207 v-elim: 32 v-fix: 0 time: 0.05 s 67.41/16.94 c subs with bin: 160 lits-rem: 174 v-fix: 0 time: 0.02 s 67.41/16.97 c lits-rem: 83 cl-subs: 98 v-elim: 0 v-fix: 0 time: 0.02 s 67.82/17.00 c vivif2 -- cl tried 55640 cl shrink 21 lits rem 22 time: 0.04 67.82/17.01 c vivif2 -- cl tried 15284 cl shrink 246 lits rem 712 time: 0.01 71.01/17.82 c asymm cl-useful: 11/3276/55640 lits-rem:11 time: 0.81 71.01/17.83 c calculated reachability. Time: 0.00 71.01/17.83 c N dy 325 46257 11243 55640 42276 15284 245409 129069 6.69 no data 71.01/17.85 c Finding binary XORs T: 0.02 s found: 1 73.81/18.60 c Finding binary XORs T: 0.02 s found: 38 76.20/19.10 c N dy 358 50299 11223 55512 70586 19193 244879 324916 6.78 7.93 80.58/20.22 c N dy 394 54393 11222 55512 70605 23232 244879 490882 6.93 10.98 82.58/20.72 c Finding binary XORs T: 0.02 s found: 12 86.18/21.64 c N dy 427 58394 11217 55464 90466 27147 244664 703880 7.06 7.93 90.57/22.77 c N dy 463 62480 11212 55464 90625 20597 244664 390624 7.18 7.69 95.76/24.04 c N dy 493 66503 11204 55464 90650 24562 244664 562614 7.25 10.35 99.74/25.07 c S st 515 69385 11198 55464 90808 27412 244664 690073 7.29 no data 100.54/25.27 c S st 515 69889 11197 55464 90830 27891 244664 702337 7.29 no data 100.54/25.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 108.52/27.20 c Flit: 19 Blit: 0 bXBeca: 0 bXProp: 42 Bins: 65102 BRemL: 28869 BRemN: 5 P: 27.5M T: 1.92 108.52/27.23 c Replacing 93 vars Replaced 11224 lits Time: 0.03 s 108.52/27.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 108.52/27.26 c bin-w-bin subsume rem 1930 bins time: 0.02 s 108.52/27.29 c subs with bin: 407 lits-rem: 324 v-fix: 0 time: 0.03 s 108.92/27.33 c Subs w/ non-existent bins: 43 l-rem: 70 v-fix: 0 done: 11084 time: 0.04 s 108.92/27.34 c Removed useless bin: 45 fixed: 0 props: 2.13M time: 0.01 s 109.32/27.40 c lits-rem: 7 cl-subs: 585 v-elim: 88 v-fix: 0 time: 0.06 s 109.74/27.56 c subs with bin: 250 lits-rem: 1999 v-fix: 0 time: 0.14 s 110.16/27.62 c lits-rem: 396 cl-subs: 246 v-elim: 0 v-fix: 0 time: 0.05 s 110.16/27.66 c vivif2 -- cl tried 54332 cl shrink 76 lits rem 78 time: 0.04 110.52/27.70 c vivif2 -- cl tried 24163 cl shrink 1718 lits rem 7405 time: 0.04 112.11/28.13 c asymm cl-useful: 124/1249/54328 lits-rem:140 time: 0.43 112.11/28.14 c calculated reachability. Time: 0.01 112.11/28.14 c N dy 515 69889 10996 54324 94826 24158 240108 441769 7.29 no data 112.11/28.16 c Finding binary XORs T: 0.02 s found: 4 117.71/29.54 c N dy 550 74481 10993 54324 109062 19387 240107 306070 7.33 7.87 118.52/29.73 c Finding binary XORs T: 0.02 s found: 22 123.33/30.95 c N dy 583 79234 10986 54285 113136 24052 239895 614431 7.37 8.86 129.67/32.59 c N dy 619 84292 10981 54285 113148 29070 239895 1077327 7.41 8.09 133.27/33.46 c Finding binary XORs T: 0.02 s found: 25 134.86/33.83 c F st 643 87501 10980 54241 108297 32218 239710 1419285 7.45 no data 134.86/33.87 c Replacing 51 vars Replaced 5747 lits Time: 0.04 s 139.24/34.90 c N st 648 90799 10929 54241 108202 21944 239702 426295 7.45 no data 146.03/36.61 c N dy 680 96682 10922 54241 108274 27767 239702 797862 7.50 7.93 148.83/37.34 c Finding binary XORs T: 0.02 s found: 28 154.80/38.87 c N dy 732 102867 10904 54069 122747 33400 239003 1128977 7.60 8.02 157.61/39.50 c S st 751 104835 10903 54069 122877 35353 239003 1290154 7.65 7.08 158.03/39.69 c S st 751 105340 10903 54069 122902 35831 239003 1304497 7.65 no data 158.03/39.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 166.81/41.90 c Flit: 7 Blit: 1 bXBeca: 0 bXProp: 9 Bins: 45791 BRemL: 22603 BRemN: 3 P: 31.4M T: 2.21 167.22/41.96 c Replacing 37 vars Replaced 14315 lits Time: 0.06 s 167.22/41.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 167.22/41.99 c bin-w-bin subsume rem 3072 bins time: 0.02 s 167.58/42.02 c subs with bin: 390 lits-rem: 300 v-fix: 0 time: 0.03 s 167.58/42.07 c Subs w/ non-existent bins: 49 l-rem: 79 v-fix: 0 done: 10858 time: 0.04 s 167.58/42.08 c Removed useless bin: 32 fixed: 0 props: 2.35M time: 0.01 s 167.98/42.15 c lits-rem: 7 cl-subs: 509 v-elim: 68 v-fix: 0 time: 0.06 s 171.20/42.95 c subs with bin: 269 lits-rem: 4692 v-fix: 0 time: 0.76 s 171.97/43.13 c lits-rem: 1097 cl-subs: 327 v-elim: 0 v-fix: 0 time: 0.17 s 171.97/43.17 c vivif2 -- cl tried 53209 cl shrink 62 lits rem 67 time: 0.04 172.37/43.27 c vivif2 -- cl tried 32433 cl shrink 4608 lits rem 32974 time: 0.09 174.37/43.71 c asymm cl-useful: 112/1150/53207 lits-rem:116 time: 0.44 174.37/43.72 c calculated reachability. Time: 0.01 174.37/43.72 c N dy 751 105340 10790 53206 109520 32427 235659 911964 7.65 no data 174.37/43.74 c Finding binary XORs T: 0.02 s found: 2 182.75/45.80 c N dy 791 112157 10789 53206 109658 27276 235659 609120 7.68 8.21 191.92/48.11 c N dy 847 119330 10786 53206 111591 34380 235659 1049607 7.76 9.10 196.72/49.33 c Finding binary XORs T: 0.02 s found: 49 202.34/50.72 c N dy 905 126967 10780 53171 106567 26443 235436 500004 7.84 10.23 205.50/51.50 c Finding binary XORs T: 0.02 s found: 24 213.48/53.53 c N dy 965 135202 10773 53144 115416 34585 235298 980354 7.91 8.33 225.45/56.56 c N dy 1015 143871 10771 53144 115498 26720 235298 411190 7.92 8.40 237.82/59.67 c N dy 1090 153212 10768 53144 115600 36013 235298 1342632 8.02 8.63 245.82/61.62 c S st 1123 158010 10768 53144 115611 40775 235298 1863013 8.04 no data 246.59/61.82 c S st 1123 158514 10768 53144 115621 41265 235298 1885909 8.04 no data 246.59/61.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 256.58/64.32 c Flit: 7 Blit: 0 bXBeca: 0 bXProp: 23 Bins: 43471 BRemL: 20846 BRemN: 5 P: 34.6M T: 2.49 256.98/64.41 c Replacing 98 vars Replaced 19198 lits Time: 0.09 s 256.98/64.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 256.98/64.44 c bin-w-bin subsume rem 1981 bins time: 0.02 s 256.98/64.47 c subs with bin: 351 lits-rem: 284 v-fix: 0 time: 0.03 s 257.38/64.52 c Subs w/ non-existent bins: 54 l-rem: 66 v-fix: 0 done: 10663 time: 0.04 s 257.38/64.53 c Removed useless bin: 34 fixed: 0 props: 2.24M time: 0.01 s 257.78/64.60 c lits-rem: 5 cl-subs: 592 v-elim: 62 v-fix: 0 time: 0.07 s 261.37/65.55 c subs with bin: 233 lits-rem: 12826 v-fix: 0 time: 0.91 s 262.17/65.78 c lits-rem: 1445 cl-subs: 424 v-elim: 0 v-fix: 0 time: 0.22 s 262.57/65.82 c vivif2 -- cl tried 52198 cl shrink 100 lits rem 109 time: 0.04 262.96/65.95 c vivif2 -- cl tried 36356 cl shrink 5414 lits rem 48965 time: 0.12 264.55/66.38 c asymm cl-useful: 115/1095/52179 lits-rem:139 time: 0.43 264.95/66.40 c calculated reachability. Time: 0.01 264.95/66.40 c N dy 1123 158514 10601 52174 116324 36345 231421 1019479 8.04 no data 264.95/66.42 c Finding binary XORs T: 0.02 s found: 8 278.53/69.81 c N dy 1158 168787 10595 52174 122203 31834 231421 829443 8.01 8.71 280.53/70.33 c Finding binary XORs T: 0.02 s found: 26 294.89/73.95 c N dy 1246 179627 10590 52146 115697 41833 231266 1303295 8.14 11.20 308.46/77.35 c Finding binary XORs T: 0.02 s found: 61 311.67/78.12 c N dy 1343 191145 10572 52024 129379 35511 230685 833557 8.28 10.39 331.20/83.01 c N dy 1440 203361 10570 52024 129626 47540 230685 1449384 8.40 15.79 352.75/88.43 c N dy 1539 216602 10569 52024 129738 41249 230685 958881 8.49 9.02 367.52/92.18 c Finding binary XORs T: 0.02 s found: 88 367.92/92.25 c Replacing 183 vars Replaced 28793 lits Time: 0.07 s 373.91/93.79 c N dy 1655 230443 10362 51829 135040 34405 229836 572698 8.62 9.15 385.88/96.72 c S st 1710 237771 10362 51829 135277 41648 229836 950741 8.67 no data 386.29/96.89 c S st 1710 238275 10362 51829 135424 42139 229836 976179 8.67 no data 386.29/96.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 397.45/99.64 c Flit: 9 Blit: 1 bXBeca: 0 bXProp: 31 Bins: 30948 BRemL: 21185 BRemN: 5 P: 37.6M T: 2.73 397.45/99.67 c Replacing 31 vars Replaced 4766 lits Time: 0.03 s 397.45/99.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 397.85/99.70 c bin-w-bin subsume rem 3860 bins time: 0.02 s 397.85/99.73 c subs with bin: 487 lits-rem: 377 v-fix: 0 time: 0.03 s 397.85/99.78 c Subs w/ non-existent bins: 71 l-rem: 98 v-fix: 0 done: 10321 time: 0.04 s 397.85/99.79 c Removed useless bin: 56 fixed: 0 props: 2.16M time: 0.01 s 398.25/99.86 c lits-rem: 24 cl-subs: 1181 v-elim: 103 v-fix: 0 time: 0.07 s 399.88/100.21 c subs with bin: 402 lits-rem: 3319 v-fix: 0 time: 0.33 s 400.24/100.33 c lits-rem: 943 cl-subs: 615 v-elim: 0 v-fix: 0 time: 0.12 s 400.24/100.38 c vivif2 -- cl tried 50214 cl shrink 133 lits rem 149 time: 0.04 400.64/100.46 c vivif2 -- cl tried 38185 cl shrink 3642 lits rem 17640 time: 0.08 402.24/100.88 c asymm cl-useful: 45/836/50200 lits-rem:53 time: 0.42 402.64/100.90 c calculated reachability. Time: 0.01 402.64/100.90 c N dy 1710 238275 10218 50198 129748 38167 223469 699618 8.67 no data 402.64/100.92 c Finding binary XORs T: 0.03 s found: 12 424.19/106.34 c N dy 1774 253569 10211 50198 132052 33294 223468 502197 8.64 9.10 434.59/108.93 c Finding binary XORs T: 0.02 s found: 31 447.76/112.22 c N dy 1873 269773 10210 50159 129298 49320 223279 1635479 8.67 9.22 472.08/118.33 c N dy 1963 287016 10210 50159 129386 43466 223279 1167705 8.69 9.73 500.02/125.30 c N dy 2073 305398 10209 50159 129520 37828 223279 649760 8.73 9.75 500.84/125.56 c F st 2082 306251 10209 50159 129540 38679 223279 709722 8.74 no data 500.84/125.59 c Replacing 43 vars Replaced 4199 lits Time: 0.02 s 519.57/130.25 c Finding binary XORs T: 0.02 s found: 80 529.15/132.63 c N dy 2171 324919 10146 50033 141613 57048 222707 2207592 8.77 15.74 559.07/140.13 c N dy 2274 344930 10141 50033 141726 51809 222707 1521630 8.79 9.30 579.04/145.15 c S st 2363 357412 10140 50033 141809 38264 222707 531271 8.84 no data 579.87/145.34 c S st 2363 357915 10140 50033 141825 38750 222707 548125 8.84 no data 579.87/145.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 591.81/148.34 c Flit: 9 Blit: 0 bXBeca: 0 bXProp: 46 Bins: 31026 BRemL: 16130 BRemN: 7 P: 39.0M T: 3.00 591.81/148.38 c Replacing 126 vars Replaced 12031 lits Time: 0.03 s 591.81/148.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 592.21/148.41 c bin-w-bin subsume rem 3567 bins time: 0.02 s 592.21/148.44 c subs with bin: 388 lits-rem: 279 v-fix: 0 time: 0.03 s 592.21/148.48 c Subs w/ non-existent bins: 45 l-rem: 62 v-fix: 0 done: 10005 time: 0.04 s 592.21/148.49 c Removed useless bin: 61 fixed: 0 props: 2.09M time: 0.01 s 592.62/148.56 c lits-rem: 15 cl-subs: 969 v-elim: 94 v-fix: 0 time: 0.07 s 593.04/148.68 c subs with bin: 438 lits-rem: 1911 v-fix: 0 time: 0.10 s 593.39/148.73 c lits-rem: 533 cl-subs: 399 v-elim: 0 v-fix: 0 time: 0.04 s 593.39/148.78 c vivif2 -- cl tried 48757 cl shrink 109 lits rem 117 time: 0.04 593.79/148.82 c vivif2 -- cl tried 36748 cl shrink 1073 lits rem 2323 time: 0.05 595.40/149.28 c asymm cl-useful: 125/906/48742 lits-rem:135 time: 0.45 595.40/149.29 c calculated reachability. Time: 0.01 595.40/149.29 c N dy 2363 357915 9911 48740 120549 36737 217244 458872 8.84 no data 595.80/149.32 c Finding binary XORs T: 0.03 s found: 9 625.33/156.72 c N dy 2488 377956 9903 48740 122556 56612 217242 1603255 8.87 11.49 629.72/157.88 c Finding binary XORs T: 0.03 s found: 23 657.66/164.82 c N dy 2604 398663 9897 48674 119773 50055 216889 1118755 8.92 9.40 667.26/167.25 c Finding binary XORs T: 0.03 s found: 44 688.38/172.50 c N dy 2707 419374 9875 48547 127698 42915 216319 717046 8.94 9.90 695.57/174.36 c Finding binary XORs T: 0.03 s found: 37 695.57/174.40 c Replacing 113 vars Replaced 13051 lits Time: 0.03 s 720.71/180.66 c N dy 2833 439774 9744 48446 134542 62879 215864 1856923 8.98 9.51 754.24/189.06 c N dy 2958 459815 9743 48446 134651 53912 215864 1138261 9.03 10.08 787.75/197.45 c N dy 3078 480276 9736 48446 134825 44801 215864 654113 9.08 9.58 822.88/206.28 c N dy 3221 500397 9729 48446 134942 64644 215863 1560020 9.14 9.69 862.39/216.16 c N dy 3354 520420 9725 48446 135088 54418 215862 954313 9.20 9.73 894.31/224.15 c S st 3468 536872 9716 48446 135209 70634 215861 1682608 9.24 no data 895.52/224.45 c S st 3468 537378 9716 48446 135232 71115 215861 1702524 9.24 no data 895.52/224.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 909.48/227.99 c Flit: 30 Blit: 4 bXBeca: 0 bXProp: 118 Bins: 52221 BRemL: 18070 BRemN: 8 P: 50.1M T: 3.53 909.88/228.06 c Replacing 118 vars Replaced 18751 lits Time: 0.07 s 909.88/228.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 910.28/228.10 c bin-w-bin subsume rem 5244 bins time: 0.02 s 910.28/228.13 c subs with bin: 464 lits-rem: 377 v-fix: 0 time: 0.03 s 910.28/228.17 c Subs w/ non-existent bins: 59 l-rem: 91 v-fix: 0 done: 9563 time: 0.04 s 910.28/228.18 c Removed useless bin: 34 fixed: 0 props: 2.13M time: 0.01 s 910.68/228.26 c lits-rem: 18 cl-subs: 1372 v-elim: 143 v-fix: 0 time: 0.08 s 913.09/228.88 c subs with bin: 674 lits-rem: 7441 v-fix: 0 time: 0.59 s 914.27/229.17 c lits-rem: 2885 cl-subs: 1363 v-elim: 0 v-fix: 0 time: 0.28 s 914.67/229.21 c vivif2 -- cl tried 46370 cl shrink 199 lits rem 209 time: 0.04 915.06/229.35 c vivif2 -- cl tried 57936 cl shrink 7011 lits rem 28913 time: 0.14 917.06/229.80 c asymm cl-useful: 93/577/46342 lits-rem:100 time: 0.45 917.06/229.81 c calculated reachability. Time: 0.01 917.06/229.81 c N dy 3468 537378 9420 46341 131793 57905 207563 1012536 9.24 no data 917.06/229.84 c Finding binary XORs T: 0.03 s found: 21 937.02/234.82 c Finding binary XORs T: 0.03 s found: 11 945.39/236.90 c N dy 3511 558178 9414 46322 134367 55049 207437 1059259 9.20 9.72 981.31/245.91 c N dy 3625 578199 9407 46322 134484 74821 207437 1947783 9.23 10.70 1015.64/254.57 c N dy 3765 598312 9406 46322 134570 62673 207437 1292668 9.28 9.84 1053.56/264.04 c N dy 3871 618334 9406 46322 134645 49181 207437 633891 9.31 10.73 1088.68/272.83 c N dy 4002 638341 9404 46322 134746 69002 207436 1544839 9.34 13.62 1125.78/282.15 c N dy 4160 659584 9401 46322 134854 55414 207435 890267 9.40 9.91 1161.30/291.08 c N dy 4292 679648 9401 46322 134929 75302 207435 1837174 9.44 10.00 1196.02/299.73 c N dy 4421 699675 9395 46322 134998 59256 207435 997479 9.47 10.02 1230.34/308.32 c N dy 4553 719746 9394 46322 135117 79160 207435 1975163 9.51 15.21 1265.86/317.22 c Finding binary XORs T: 0.03 s found: 145 1265.86/317.26 c Replacing 177 vars Replaced 20285 lits Time: 0.04 s 1267.06/317.58 c N dy 4682 739792 9185 46036 171783 61664 206070 1151719 9.53 10.07 1301.77/326.28 c N dy 4813 759817 9180 46036 172198 81520 206070 2197582 9.57 10.63 1324.52/331.99 c Finding binary XORs T: 0.02 s found: 54 1342.09/336.30 c N dy 4956 780121 9158 45878 186904 63574 205353 1205527 9.61 10.13 1373.62/344.28 c Finding binary XORs T: 0.02 s found: 14 1378.42/345.47 c N dy 5068 800224 9153 45847 182596 83301 205203 2201110 9.63 10.15 1389.97/348.31 c S st 5104 806068 9153 45847 182613 89077 205203 2494177 9.64 no data 1390.78/348.56 c S st 5104 806571 9153 45847 182613 89579 205203 2524560 9.64 no data 1390.78/348.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1405.53/352.27 c Flit: 10 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 12818 BRemL: 23935 BRemN: 2 P: 57.6M T: 3.70 1405.93/352.36 c Replacing 75 vars Replaced 15215 lits Time: 0.08 s 1405.93/352.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1406.33/352.40 c bin-w-bin subsume rem 7930 bins time: 0.03 s 1406.33/352.43 c subs with bin: 564 lits-rem: 476 v-fix: 0 time: 0.03 s 1406.33/352.46 c Subs w/ non-existent bins: 51 l-rem: 69 v-fix: 0 done: 9068 time: 0.03 s 1406.33/352.47 c Removed useless bin: 71 fixed: 0 props: 2.30M time: 0.01 s 1406.73/352.56 c lits-rem: 25 cl-subs: 1427 v-elim: 163 v-fix: 0 time: 0.08 s 1410.72/353.58 c subs with bin: 1029 lits-rem: 10317 v-fix: 0 time: 0.97 s 1413.12/354.18 c lits-rem: 4295 cl-subs: 2334 v-elim: 0 v-fix: 0 time: 0.59 s 1413.54/354.22 c vivif2 -- cl tried 44030 cl shrink 176 lits rem 194 time: 0.04 1414.31/354.44 c vivif2 -- cl tried 73023 cl shrink 13393 lits rem 50536 time: 0.21 1416.31/354.90 c asymm cl-useful: 97/493/44005 lits-rem:111 time: 0.47 1416.31/354.92 c calculated reachability. Time: 0.01 1416.31/354.92 c N dy 5104 806571 8905 44003 132440 72975 197695 1371123 9.64 no data 1416.31/354.95 c Finding binary XORs T: 0.03 s found: 16 1450.23/363.49 c N dy 5134 826773 8900 44003 133177 64256 197695 1379282 9.60 10.11 1479.39/370.73 c N dy 5188 847288 8897 44003 133252 84639 197695 2914070 9.57 10.13 1510.53/378.54 c N dy 5271 867728 8892 44003 133304 65328 197695 1470903 9.57 10.09 1545.24/387.25 c N dy 5383 890285 8889 44003 133372 87659 197695 3011186 9.58 10.09 1576.37/395.06 c N dy 5485 910364 8889 44003 133398 66655 197695 1482019 9.59 13.60 1580.35/396.09 c Finding binary XORs T: 0.03 s found: 39 1598.69/400.66 c Finding binary XORs T: 0.03 s found: 26 1609.47/403.35 c N dy 5595 930445 8863 43810 133611 86177 196730 2641505 9.60 11.08 1653.76/414.45 c N dy 5710 951849 8853 43810 133707 65529 196729 1005067 9.61 10.20 1692.48/424.10 c N dy 5808 973811 8849 43810 133765 87275 196729 2088099 9.62 10.16 1734.42/434.66 c N dy 5908 996592 8843 43810 133835 67315 196728 1088756 9.63 10.27 1775.48/444.97 c N dy 5998 1017479 8838 43810 133895 87963 196728 2071662 9.64 10.17 1814.20/454.60 c N dy 6145 1037527 8838 43810 133935 64452 196728 929280 9.67 15.04 1846.93/462.86 c N dy 6249 1057555 8837 43810 133992 84273 196728 1898178 9.68 15.35 1874.90/469.81 c F st 6354 1071875 8836 43810 134019 98479 196728 2607803 9.71 no data 1875.25/469.96 c Replacing 81 vars Replaced 34409 lits Time: 0.12 s 1886.83/472.84 c N dy 6363 1077679 8755 43649 128205 58148 195910 657019 9.71 10.23 1919.95/481.17 c N dy 6491 1097757 8755 43649 128247 78024 195910 1557363 9.73 12.94 1957.07/490.45 c N dy 6632 1117771 8753 43649 128280 97853 195909 2487540 9.76 10.90 1996.98/500.47 c Finding binary XORs T: 0.02 s found: 78 1998.57/500.87 c N dy 6740 1137850 8752 43641 127425 72019 195846 1296314 9.78 13.09 2044.47/512.33 c N dy 6875 1159207 8750 43641 127484 93114 195845 2049421 9.81 10.33 2083.58/522.15 c N dy 6994 1180827 8749 43641 127533 67603 195845 1164103 9.84 10.42 2124.29/532.31 c N dy 7118 1201663 8745 43641 127572 88218 195845 1995125 9.86 10.39 2140.65/536.43 c S st 7187 1209856 8745 43641 127592 96334 195845 2319373 9.87 no data 2141.45/536.67 c S st 7187 1210358 8745 43641 127599 96828 195845 2347768 9.87 no data 2141.45/536.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2157.01/540.59 c Flit: 27 Blit: 2 bXBeca: 0 bXProp: 32 Bins: 52417 BRemL: 18710 BRemN: 10 P: 58.2M T: 3.91 2157.41/540.69 c Replacing 110 vars Replaced 27380 lits Time: 0.10 s 2157.81/540.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2157.81/540.73 c bin-w-bin subsume rem 4738 bins time: 0.02 s 2157.81/540.76 c subs with bin: 352 lits-rem: 309 v-fix: 0 time: 0.03 s 2157.81/540.79 c Subs w/ non-existent bins: 33 l-rem: 45 v-fix: 0 done: 8604 time: 0.03 s 2158.21/540.80 c Removed useless bin: 43 fixed: 0 props: 2.05M time: 0.01 s 2158.21/540.88 c lits-rem: 37 cl-subs: 1029 v-elim: 138 v-fix: 0 time: 0.08 s 2161.39/541.66 c subs with bin: 883 lits-rem: 8272 v-fix: 0 time: 0.73 s 2163.79/542.25 c lits-rem: 5056 cl-subs: 2175 v-elim: 0 v-fix: 0 time: 0.58 s 2163.79/542.29 c vivif2 -- cl tried 42221 cl shrink 119 lits rem 128 time: 0.04 2164.98/542.50 c vivif2 -- cl tried 78916 cl shrink 12144 lits rem 40228 time: 0.21 2166.58/542.95 c asymm cl-useful: 100/534/42206 lits-rem:118 time: 0.45 2166.58/542.97 c calculated reachability. Time: 0.01 2166.58/542.97 c N dy 7187 1210358 8466 42200 125751 78884 189732 1344185 9.87 no data 2166.98/543.00 c Finding binary XORs T: 0.03 s found: 12 2178.56/545.90 c Finding binary XORs T: 0.03 s found: 4 2197.71/550.71 c N dy 7226 1230760 8462 42192 124840 62522 189674 886955 9.85 10.67 2228.05/558.31 c N dy 7253 1250822 8456 42192 124896 82413 189674 2150003 9.82 10.56 2230.84/559.02 c Finding binary XORs T: 0.03 s found: 37 2273.15/569.69 c N dy 7346 1271940 8433 42049 131584 101064 189019 2836943 9.83 10.37 2316.64/580.57 c N dy 7421 1292179 8431 42049 131629 74430 189019 1111759 9.83 10.37 2361.35/591.76 c N dy 7503 1312392 8425 42049 131699 94332 189019 1898218 9.83 10.47 2383.30/597.24 c Finding binary XORs T: 0.03 s found: 31 2395.26/600.28 c N dy 7564 1332522 8412 41933 133467 64598 188419 1048207 9.82 10.38 2432.78/609.64 c N dy 7649 1352611 8409 41933 133494 84486 188419 1921687 9.82 13.42 2469.89/618.95 c N dy 7794 1372641 8408 41933 133536 104358 188419 2790824 9.85 11.39 2513.38/629.83 c N dy 7876 1392781 8405 41933 133571 73277 188419 1001746 9.84 10.43 2553.30/639.81 c N dy 7984 1412995 8403 41933 133615 93295 188419 1790306 9.85 10.39 2599.23/651.38 c N dy 8078 1433096 8401 41933 133645 112961 188419 2422861 9.86 10.64 2631.52/659.48 c Finding binary XORs T: 0.03 s found: 39 2631.92/659.54 c Replacing 123 vars Replaced 27650 lits Time: 0.06 s 2637.51/660.94 c N dy 8173 1453171 8266 41783 135132 81049 187691 1639247 9.87 10.40 2675.82/670.57 c N dy 8308 1473259 8262 41783 135234 100972 187689 2436011 9.88 12.06 2718.12/681.16 c N dy 8387 1493268 8257 41783 135267 67548 187689 829837 9.88 10.49 2754.04/690.19 c N dy 8497 1513306 8255 41783 135284 87384 187688 1590768 9.89 10.46 2799.54/701.52 c N dy 8611 1533858 8251 41783 135316 107606 187688 2285365 9.91 10.43 2839.84/711.64 c N dy 8764 1554587 8250 41783 135341 74228 187688 1103897 9.93 10.47 2876.15/720.78 c N dy 8899 1574596 8248 41783 135361 94092 187688 1980433 9.95 12.35 2921.65/732.16 c N dy 9032 1594643 8246 41783 135380 113872 187687 2735349 9.97 13.88 2967.15/743.55 c N dy 9132 1614737 8243 41783 135416 78881 187687 1198878 9.98 12.44 3006.67/753.50 c N dy 9247 1634744 8239 41783 135441 98628 187687 1905279 9.99 10.56 3049.36/764.16 c N dy 9388 1654838 8235 41783 135472 118445 187687 2604726 10.01 13.22 3097.65/776.21 c N dy 9493 1674931 8233 41783 135528 82552 187687 1217272 10.01 12.47 3143.59/787.72 c N dy 9616 1695766 8230 41783 135550 103107 187687 1956505 10.03 10.68 3176.28/795.96 c S st 9699 1710359 8229 41783 135566 117390 187687 2406800 10.03 7.71 3177.88/796.36 c S st 9699 1710863 8229 41783 135571 117887 187687 2432130 10.03 no data 3177.88/796.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3193.43/800.29 c Flit: 25 Blit: 0 bXBeca: 0 bXProp: 68 Bins: 17098 BRemL: 17561 BRemN: 10 P: 63.8M T: 3.91 3193.83/800.39 c Replacing 68 vars Replaced 18722 lits Time: 0.10 s 3194.23/800.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3194.23/800.42 c bin-w-bin subsume rem 8671 bins time: 0.02 s 3194.23/800.45 c subs with bin: 355 lits-rem: 296 v-fix: 0 time: 0.02 s 3194.23/800.48 c Subs w/ non-existent bins: 21 l-rem: 35 v-fix: 0 done: 8136 time: 0.03 s 3194.23/800.49 c Removed useless bin: 44 fixed: 0 props: 2.04M time: 0.01 s 3194.62/800.56 c lits-rem: 55 cl-subs: 1000 v-elim: 159 v-fix: 0 time: 0.07 s 3198.61/801.50 c subs with bin: 3508 lits-rem: 13053 v-fix: 0 time: 0.89 s 3202.60/802.54 c lits-rem: 7241 cl-subs: 4715 v-elim: 0 v-fix: 0 time: 1.03 s 3202.60/802.57 c vivif2 -- cl tried 40370 cl shrink 608 lits rem 622 time: 0.04 3203.40/802.78 c vivif2 -- cl tried 84496 cl shrink 12229 lits rem 35153 time: 0.21 3205.40/803.22 c asymm cl-useful: 87/558/40330 lits-rem:111 time: 0.44 3205.40/803.23 c calculated reachability. Time: 0.00 3205.40/803.23 c N dy 9699 1710863 7977 40322 98470 84443 180920 1204659 10.03 no data 3205.40/803.26 c Finding binary XORs T: 0.03 s found: 15 3246.90/813.69 c N dy 9734 1731501 7970 40322 99090 68361 180920 727344 10.02 10.58 3256.88/816.19 c Finding binary XORs T: 0.03 s found: 53 3282.43/822.51 c N dy 9797 1751576 7958 40266 112016 87806 180576 1636334 10.01 10.63 3321.13/832.28 c N dy 9862 1771590 7953 40266 112045 107497 180576 2345672 10.00 10.55 3365.03/843.21 c N dy 9931 1792929 7933 40266 112087 71326 180576 844784 9.99 10.53 3401.75/852.46 c N dy 10036 1812982 7929 40266 112104 91033 180576 1434972 10.00 10.89 3427.69/858.91 c Finding binary XORs T: 0.03 s found: 56 3427.69/858.95 c Replacing 124 vars Replaced 11458 lits Time: 0.05 s 3449.64/864.46 c N dy 10107 1836850 7252 35754 55570 84435 160574 1331178 9.98 10.57 3454.84/865.71 c Finding binary XORs T: 0.03 s found: 679 3454.84/865.74 c Replacing 679 vars Replaced 32082 lits Time: 0.02 s 3459.64/867.55 c Following stats are for *FIRST FINISHED THREAD ONLY* 3459.64/867.55 c num threads : 4 3459.64/867.55 c restarts : 9810 3459.64/867.55 c dynamic restarts : 9780 3459.64/867.55 c static restarts : 30 3459.64/867.55 c full restarts : 4 3459.64/867.55 c total simplify time : 2.26 3459.64/867.55 c learnts DL2 : 0 3459.64/867.55 c learnts size 2 : 788158 3459.64/867.55 c learnts size 1 : 4662 (39.91 % of vars) 3459.64/867.55 c filedLit time : 17.85 (2.06 % time) 3459.64/867.55 c v-elim SatELite : 1104 (9.45 % vars) 3459.64/867.55 c SatELite time : 1.79 (0.21 % time) 3459.64/867.55 c v-elim xor : 0 (0.00 % vars) 3459.64/867.55 c xor elim time : 0.07 (0.01 % time) 3459.64/867.55 c num binary xor trees : 512 3459.64/867.55 c binxor trees' crown : 2357 (4.60 leafs/tree) 3459.64/867.55 c bin xor find time : 0.86 3459.64/867.55 c OTF clause improved : 19651 (0.01 clauses/conflict) 3459.64/867.55 c OTF impr. size diff : 27133 (1.38 lits/clause) 3459.64/867.55 c OTF cl watch-shrink : 1381402 (0.78 clauses/conflict) 3459.64/867.55 c OTF cl watch-sh-lit : 8563798 (6.20 lits/clause) 3459.64/867.55 c tried to recurMin cls : 691797 (38.99 % of conflicts) 3459.64/867.55 c updated cache : 73133 (0.11 lits/tried recurMin) 3459.64/867.55 c unit cls recevied : 622 (13.34 % of units) 3459.64/867.55 c unit cls sent : 1091 (23.40 % of units) 3459.64/867.55 c bin cls recevied : 624521 3459.64/867.55 c bin cls sent : 137796 3459.64/867.55 c clauses over max glue : 0 (0.00 % of all clauses) 3459.64/867.55 c conflicts : 1774247 (2045.68 / sec) 3459.64/867.55 c decisions : 3863385 (0.33 % random) 3459.64/867.55 c bogo-props : 48974302351 (56466494.39 / sec) 3459.64/867.55 c conflict literals : 77367563 (45.14 % deleted) 3459.64/867.55 c Memory used : 570.42 MB 3459.64/867.55 c single-thread CPU time : 867.32 s 3459.64/867.55 c all-threads sum CPU time : 3458.12 s 3459.64/867.55 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367068-1305415790/watcher-3367068-1305415790 -o /tmp/evaluation-result-3367068-1305415790/solver-3367068-1305415790 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367068-1305415790.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.75 7.98 7.91 5/298 4473 /proc/meminfo: memFree=15725268/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=184476 CPUtime=0.01 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) D 4471 4473 3825 0 -1 4202496 1892 0 0 0 1 0 0 0 25 0 4 0 109188383 188903424 1777 33554432000 4194304 4580107 140736337347648 18446744073709551615 218880565051 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 46184 1787 332 95 0 41166 0 [pid=4473/tid=4474] ppid=4471 vsize=271532 CPUtime=0 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 1334 0 0 0 0 0 0 0 25 0 4 0 109188384 278048768 4147 33554432000 4194304 4580107 140736337347648 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=271532 CPUtime=0 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 1308 0 0 0 0 0 0 0 25 0 4 0 109188384 278048768 4153 33554432000 4194304 4580107 140736337347648 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=271532 CPUtime=0 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 875 0 0 0 0 0 0 0 25 0 4 0 109188384 278048768 4157 33554432000 4194304 4580107 140736337347648 18446744073709551615 218880262352 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.159053 s] /proc/loadavg: 7.75 7.98 7.91 5/298 4473 /proc/meminfo: memFree=15725268/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=292500 CPUtime=0.6 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 9972 0 0 0 59 1 0 0 25 0 4 0 109188383 299520000 9231 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 73125 9231 359 95 0 68107 0 [pid=4473/tid=4474] ppid=4471 vsize=292500 CPUtime=0.14 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2427 0 0 0 14 0 0 0 18 0 4 0 109188384 299520000 9231 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=292500 CPUtime=0.14 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2399 0 0 0 14 0 0 0 18 0 4 0 109188384 299520000 9231 33554432000 4194304 4580107 140736337347648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=292500 CPUtime=0.14 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2500 0 0 0 14 0 0 0 25 0 4 0 109188384 299520000 9231 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 292500 [startup+0.201047 s] /proc/loadavg: 7.75 7.98 7.91 5/298 4473 /proc/meminfo: memFree=15725268/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=292636 CPUtime=0.77 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 10007 0 0 0 76 1 0 0 25 0 4 0 109188383 299659264 9266 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 73159 9266 359 95 0 68141 0 [pid=4473/tid=4474] ppid=4471 vsize=292636 CPUtime=0.19 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2428 0 0 0 19 0 0 0 18 0 4 0 109188384 299659264 9266 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=292636 CPUtime=0.19 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2403 0 0 0 19 0 0 0 18 0 4 0 109188384 299659264 9266 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=292636 CPUtime=0.18 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2529 0 0 0 18 0 0 0 25 0 4 0 109188384 299659264 9266 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 292636 [startup+0.30103 s] /proc/loadavg: 7.75 7.98 7.91 5/298 4473 /proc/meminfo: memFree=15725268/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=292636 CPUtime=1.17 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 10054 0 0 0 116 1 0 0 25 0 4 0 109188383 299659264 9313 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 73159 9313 359 95 0 68141 0 [pid=4473/tid=4474] ppid=4471 vsize=292636 CPUtime=0.29 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2442 0 0 0 29 0 0 0 18 0 4 0 109188384 299659264 9313 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=292636 CPUtime=0.29 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2413 0 0 0 29 0 0 0 18 0 4 0 109188384 299659264 9313 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=292636 CPUtime=0.28 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2542 0 0 0 28 0 0 0 25 0 4 0 109188384 299659264 9313 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 292636 [startup+0.70096 s] /proc/loadavg: 7.75 7.98 7.91 5/298 4473 /proc/meminfo: memFree=15725268/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=292636 CPUtime=2.77 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 10154 0 0 0 276 1 0 0 25 0 4 0 109188383 299659264 9413 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 73159 9413 359 95 0 68141 0 [pid=4473/tid=4474] ppid=4471 vsize=292636 CPUtime=0.69 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2452 0 0 0 69 0 0 0 18 0 4 0 109188384 299659264 9413 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=292636 CPUtime=0.69 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2424 0 0 0 69 0 0 0 18 0 4 0 109188384 299659264 9413 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=292636 CPUtime=0.68 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2606 0 0 0 68 0 0 0 25 0 4 0 109188384 299659264 9413 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 292636 [startup+1.50082 s] /proc/loadavg: 7.75 7.98 7.91 9/302 4477 /proc/meminfo: memFree=15668696/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=319720 CPUtime=5.96 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 23650 0 0 0 592 4 0 0 18 0 4 0 109188383 327393280 22193 33554432000 4194304 4580107 140736337347648 18446744073709551615 4415832 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 79930 22193 374 95 0 74912 0 [pid=4473/tid=4474] ppid=4471 vsize=319720 CPUtime=1.49 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 6978 0 0 0 148 1 0 0 20 0 4 0 109188384 327393280 22193 33554432000 4194304 4580107 140736337347648 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=319720 CPUtime=1.48 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 6735 0 0 0 148 0 0 0 20 0 4 0 109188384 327393280 22193 33554432000 4194304 4580107 140736337347648 18446744073709551615 4415372 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=319720 CPUtime=1.47 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 2738 0 0 0 147 0 0 0 25 0 4 0 109188384 327393280 22193 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 319720 [startup+3.10054 s] /proc/loadavg: 7.77 7.98 7.91 9/302 4477 /proc/meminfo: memFree=15640052/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=312952 CPUtime=12.34 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 25330 0 0 0 1230 4 0 0 20 0 4 0 109188383 320462848 21116 33554432000 4194304 4580107 140736337347648 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 78238 21116 378 95 0 73220 0 [pid=4473/tid=4474] ppid=4471 vsize=312952 CPUtime=3.08 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 7512 0 0 0 307 1 0 0 25 0 4 0 109188384 320462848 21116 33554432000 4194304 4580107 140736337347648 18446744073709551615 4295903 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=312952 CPUtime=3.08 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 7042 0 0 0 308 0 0 0 25 0 4 0 109188384 320462848 21116 33554432000 4194304 4580107 140736337347648 18446744073709551615 4321605 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=312952 CPUtime=3.06 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 3036 0 0 0 306 0 0 0 25 0 4 0 109188384 320462848 21116 33554432000 4194304 4580107 140736337347648 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 312952 [startup+6.30097 s] /proc/loadavg: 7.77 7.98 7.91 9/302 4477 /proc/meminfo: memFree=15633108/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=319500 CPUtime=25.12 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 28333 0 0 0 2506 6 0 0 25 0 4 0 109188383 327168000 21835 33554432000 4194304 4580107 140736337347648 18446744073709551615 4315247 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 79875 21835 379 95 0 74857 0 [pid=4473/tid=4474] ppid=4471 vsize=319500 CPUtime=6.29 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 7943 0 0 0 628 1 0 0 25 0 4 0 109188384 327168000 21835 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=319500 CPUtime=6.28 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 7832 0 0 0 627 1 0 0 25 0 4 0 109188384 327168000 21835 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=319500 CPUtime=6.23 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 3898 0 0 0 623 0 0 0 25 0 4 0 109188384 327168000 21835 33554432000 4194304 4580107 140736337347648 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 319500 [startup+12.7008 s] /proc/loadavg: 7.80 7.98 7.91 9/302 4477 /proc/meminfo: memFree=15606248/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=323128 CPUtime=50.65 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 39386 0 0 0 5056 9 0 0 25 0 4 0 109188383 330883072 27122 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 80782 27122 380 95 0 75764 0 [pid=4473/tid=4474] ppid=4471 vsize=323128 CPUtime=12.68 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 12036 0 0 0 1266 2 0 0 25 0 4 0 109188384 330883072 27122 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=323128 CPUtime=12.68 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 9367 0 0 0 1266 2 0 0 25 0 4 0 109188384 330883072 27122 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=323128 CPUtime=12.57 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 5343 0 0 0 1257 0 0 0 25 0 4 0 109188384 330883072 27122 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 323128 [startup+25.5006 s] /proc/loadavg: 7.91 8.00 7.92 9/302 4477 /proc/meminfo: memFree=15535424/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=335444 CPUtime=101.73 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 63076 0 0 0 10158 15 0 0 25 0 4 0 109188383 343494656 38253 33554432000 4194304 4580107 140736337347648 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 83861 38253 380 95 0 78843 0 [pid=4473/tid=4474] ppid=4471 vsize=335444 CPUtime=25.49 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 17128 0 0 0 2545 4 0 0 25 0 4 0 109188384 343494656 38253 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=335444 CPUtime=25.49 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 15014 0 0 0 2545 4 0 0 25 0 4 0 109188384 343494656 38253 33554432000 4194304 4580107 140736337347648 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=335444 CPUtime=25.25 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 14602 0 0 0 2523 2 0 0 25 0 4 0 109188384 343494656 38253 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.73 Current children cumulated vsize (KiB) 335444 [startup+51.1011 s] /proc/loadavg: 7.94 8.00 7.92 9/302 4478 /proc/meminfo: memFree=15467200/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=342544 CPUtime=203.91 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 103392 0 0 0 20365 26 0 0 25 0 4 0 109188383 350765056 52751 33554432000 4194304 4580107 140736337347648 18446744073709551615 4316502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 85636 52751 380 95 0 80618 0 [pid=4473/tid=4474] ppid=4471 vsize=342544 CPUtime=51.08 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 28225 0 0 0 5101 7 0 0 25 0 4 0 109188384 350765056 52751 33554432000 4194304 4580107 140736337347648 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=342544 CPUtime=51.09 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 21924 0 0 0 5104 5 0 0 25 0 4 0 109188384 350765056 52751 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=342544 CPUtime=50.62 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 24087 0 0 0 5058 4 0 0 25 0 4 0 109188384 350765056 52751 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 203.91 Current children cumulated vsize (KiB) 342544 [startup+102.301 s] /proc/loadavg: 8.02 8.01 7.92 9/302 4479 /proc/meminfo: memFree=15362648/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=496096 CPUtime=408.25 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 158954 0 0 0 40784 41 0 0 25 0 4 0 109188383 508002304 66697 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 124024 66697 380 95 0 119006 0 [pid=4473/tid=4474] ppid=4471 vsize=496096 CPUtime=102.28 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 42996 0 0 0 10216 12 0 0 25 0 4 0 109188384 508002304 66698 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=496096 CPUtime=102.3 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 35202 0 0 0 10221 9 0 0 25 0 4 0 109188384 508002304 66698 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=496096 CPUtime=101.36 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 35219 0 0 0 10129 7 0 0 25 0 4 0 109188384 508002304 66698 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.25 Current children cumulated vsize (KiB) 496096 [startup+162.301 s] ################ # More data... # ################ /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 100164 0 0 0 63617 30 0 0 25 0 4 0 109188384 705228800 118183 33554432000 4194304 4580107 140736337347648 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2563.28 Current children cumulated vsize (KiB) 688700 [startup+702.301 s] /proc/loadavg: 8.10 8.10 8.00 9/302 4495 /proc/meminfo: memFree=14981676/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=582544 CPUtime=2802.73 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 427523 0 0 0 280128 145 0 0 25 0 4 0 109188383 596525056 116044 33554432000 4194304 4580107 140736337347648 18446744073709551615 4322544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 145636 116044 380 95 0 140618 0 [pid=4473/tid=4474] ppid=4471 vsize=582544 CPUtime=702.18 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 126148 0 0 0 70172 46 0 0 25 0 4 0 109188384 596525056 116044 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=582544 CPUtime=702.3 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 73560 0 0 0 70208 22 0 0 25 0 4 0 109188384 596525056 116044 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=582544 CPUtime=695.91 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 106054 0 0 0 69559 32 0 0 25 0 4 0 109188384 596525056 116044 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2802.73 Current children cumulated vsize (KiB) 582544 [startup+762.301 s] /proc/loadavg: 8.08 8.10 8.00 9/302 4497 /proc/meminfo: memFree=14966768/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=594952 CPUtime=3042.2 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 444625 0 0 0 304066 154 0 0 25 0 4 0 109188383 609230848 114992 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 148738 114992 380 95 0 143720 0 [pid=4473/tid=4474] ppid=4471 vsize=594952 CPUtime=762.18 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 129536 0 0 0 76171 47 0 0 25 0 4 0 109188384 609230848 114992 33554432000 4194304 4580107 140736337347648 18446744073709551615 4318755 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=594952 CPUtime=762.31 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77763 0 0 0 76207 24 0 0 25 0 4 0 109188384 609230848 114992 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=594952 CPUtime=755.38 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 109185 0 0 0 75504 34 0 0 25 0 4 0 109188384 609230848 114992 33554432000 4194304 4580107 140736337347648 18446744073709551615 4295967 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3042.2 Current children cumulated vsize (KiB) 594952 [startup+822.3 s] /proc/loadavg: 8.07 8.09 8.00 9/302 4499 /proc/meminfo: memFree=14982748/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=596732 CPUtime=3281.63 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 461480 0 0 0 328003 160 0 0 25 0 4 0 109188383 611053568 111375 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 149183 111375 380 95 0 144165 0 [pid=4473/tid=4474] ppid=4471 vsize=596732 CPUtime=822.16 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 135110 0 0 0 82167 49 0 0 25 0 4 0 109188384 611053568 111375 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=596732 CPUtime=822.3 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77764 0 0 0 82206 24 0 0 25 0 4 0 109188384 611053568 111375 33554432000 4194304 4580107 140736337347648 18446744073709551615 4319785 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=596732 CPUtime=814.83 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 112132 0 0 0 81448 35 0 0 25 0 4 0 109188384 611053568 111375 33554432000 4194304 4580107 140736337347648 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3281.63 Current children cumulated vsize (KiB) 596732 Solver just ended. Dumping a history of the last processes samples [startup+844.8 s] /proc/loadavg: 8.13 8.10 8.01 9/302 4499 /proc/meminfo: memFree=14960056/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=584108 CPUtime=3371.43 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 467298 0 0 0 336981 162 0 0 25 0 4 0 109188383 598126592 110468 33554432000 4194304 4580107 140736337347648 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 146027 110468 380 95 0 141009 0 [pid=4473/tid=4474] ppid=4471 vsize=584108 CPUtime=844.66 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 137424 0 0 0 84416 50 0 0 25 0 4 0 109188384 598126592 110468 33554432000 4194304 4580107 140736337347648 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=584108 CPUtime=844.81 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77858 0 0 0 84457 24 0 0 25 0 4 0 109188384 598126592 110468 33554432000 4194304 4580107 140736337347648 18446744073709551615 4316849 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=584108 CPUtime=837.13 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 114304 0 0 0 83677 36 0 0 25 0 4 0 109188384 598126592 110468 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3371.43 Current children cumulated vsize (KiB) 584108 [startup+857.6 s] /proc/loadavg: 8.10 8.09 8.00 9/302 4499 /proc/meminfo: memFree=14953724/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=584108 CPUtime=3422.5 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 468933 0 0 0 342087 163 0 0 25 0 4 0 109188383 598126592 112103 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 146027 112103 380 95 0 141009 0 [pid=4473/tid=4474] ppid=4471 vsize=584108 CPUtime=857.45 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 138287 0 0 0 85694 51 0 0 25 0 4 0 109188384 598126592 112103 33554432000 4194304 4580107 140736337347648 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=584108 CPUtime=857.6 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77858 0 0 0 85736 24 0 0 25 0 4 0 109188384 598126592 112103 33554432000 4194304 4580107 140736337347648 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=584108 CPUtime=849.81 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 114951 0 0 0 84945 36 0 0 25 0 4 0 109188384 598126592 112103 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3422.5 Current children cumulated vsize (KiB) 584108 [startup+864.001 s] /proc/loadavg: 8.09 8.09 8.00 9/302 4500 /proc/meminfo: memFree=14962900/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=584108 CPUtime=3448.04 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 469530 0 0 0 344641 163 0 0 25 0 4 0 109188383 598126592 112700 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 146027 112700 380 95 0 141009 0 [pid=4473/tid=4474] ppid=4471 vsize=584108 CPUtime=863.85 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 138619 0 0 0 86334 51 0 0 25 0 4 0 109188384 598126592 112700 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=584108 CPUtime=864 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77858 0 0 0 86376 24 0 0 25 0 4 0 109188384 598126592 112700 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=584108 CPUtime=856.15 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 115204 0 0 0 85579 36 0 0 25 0 4 0 109188384 598126592 112700 33554432000 4194304 4580107 140736337347648 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3448.04 Current children cumulated vsize (KiB) 584108 [startup+865.601 s] /proc/loadavg: 8.09 8.09 8.00 9/302 4500 /proc/meminfo: memFree=14953724/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=584108 CPUtime=3454.43 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) R 4471 4473 3825 0 -1 4202496 469599 0 0 0 345280 163 0 0 25 0 4 0 109188383 598126592 112769 33554432000 4194304 4580107 140736337347648 18446744073709551615 4222190 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 146027 112769 380 95 0 141009 0 [pid=4473/tid=4474] ppid=4471 vsize=584108 CPUtime=865.45 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 138685 0 0 0 86494 51 0 0 25 0 4 0 109188384 598126592 112769 33554432000 4194304 4580107 140736337347648 18446744073709551615 4322814 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=584108 CPUtime=865.6 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77858 0 0 0 86536 24 0 0 25 0 4 0 109188384 598126592 112769 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=584108 CPUtime=857.74 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 115204 0 0 0 85738 36 0 0 25 0 4 0 109188384 598126592 112769 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3454.43 Current children cumulated vsize (KiB) 584108 [startup+866.401 s] /proc/loadavg: 8.09 8.09 8.00 9/302 4500 /proc/meminfo: memFree=14952980/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=584108 CPUtime=3457.45 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) S 4471 4473 3825 0 -1 4202496 469630 0 0 0 345582 163 0 0 25 0 4 0 109188383 598126592 112800 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354212916 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 146027 112800 380 95 0 141009 0 [pid=4473/tid=4474] ppid=4471 vsize=584108 CPUtime=866.17 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) S 4471 4473 3825 0 -1 4202560 138715 0 0 0 86566 51 0 0 25 0 4 0 109188384 598126592 112800 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354212916 0 0 4096 2 18446604446680674752 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=584108 CPUtime=866.4 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77858 0 0 0 86616 24 0 0 25 0 4 0 109188384 598126592 112800 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354188484 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=584108 CPUtime=858.53 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 115204 0 0 0 85817 36 0 0 25 0 4 0 109188384 598126592 112800 33554432000 4194304 4580107 140736337347648 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3457.45 Current children cumulated vsize (KiB) 584108 [startup+867.201 s] /proc/loadavg: 7.93 8.06 7.99 7/302 4500 /proc/meminfo: memFree=14951864/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=584108 CPUtime=3459.04 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) S 4471 4473 3825 0 -1 4202496 470279 0 0 0 345741 163 0 0 25 0 4 0 109188383 598126592 112865 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354212916 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 146027 112865 380 95 0 141009 0 [pid=4473/tid=4474] ppid=4471 vsize=584108 CPUtime=866.17 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) S 4471 4473 3825 0 -1 4202560 138715 0 0 0 86566 51 0 0 25 0 4 0 109188384 598126592 112865 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354212916 0 0 4096 2 18446604446680674752 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=584108 CPUtime=867.2 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77858 0 0 0 86696 24 0 0 25 0 4 0 109188384 598126592 112865 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354188484 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=584108 CPUtime=859.33 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 115853 0 0 0 85897 36 0 0 25 0 4 0 109188384 598126592 112865 33554432000 4194304 4580107 140736337347648 18446744073709551615 4502108 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3459.04 Current children cumulated vsize (KiB) 584108 [startup+867.401 s] /proc/loadavg: 7.93 8.06 7.99 7/302 4500 /proc/meminfo: memFree=14951864/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=584108 CPUtime=3459.44 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) S 4471 4473 3825 0 -1 4202496 470369 0 0 0 345781 163 0 0 25 0 4 0 109188383 598126592 112955 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354212916 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 146027 112955 380 95 0 141009 0 [pid=4473/tid=4474] ppid=4471 vsize=584108 CPUtime=866.17 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) S 4471 4473 3825 0 -1 4202560 138715 0 0 0 86566 51 0 0 25 0 4 0 109188384 598126592 112955 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354212916 0 0 4096 2 18446604446680674752 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=584108 CPUtime=867.4 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77858 0 0 0 86716 24 0 0 25 0 4 0 109188384 598126592 112955 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354188331 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=584108 CPUtime=859.53 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 115943 0 0 0 85917 36 0 0 25 0 4 0 109188384 598126592 112955 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3459.44 Current children cumulated vsize (KiB) 584108 [startup+867.5 s] /proc/loadavg: 7.93 8.06 7.99 7/302 4500 /proc/meminfo: memFree=14951864/32950928 swapFree=67111364/67111528 [pid=4473] ppid=4471 vsize=584108 CPUtime=3459.64 cores=0,2,4,6 /proc/4473/stat : 4473 (strangenight2-m) S 4471 4473 3825 0 -1 4202496 470370 0 0 0 345801 163 0 0 25 0 4 0 109188383 598126592 112956 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354212916 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/4473/statm: 146027 112956 380 95 0 141009 0 [pid=4473/tid=4474] ppid=4471 vsize=584108 CPUtime=866.17 cores=0,2,4,6 /proc/4473/task/4474/stat : 4474 (strangenight2-m) S 4471 4473 3825 0 -1 4202560 138715 0 0 0 86566 51 0 0 25 0 4 0 109188384 598126592 112956 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354212916 0 0 4096 2 18446604446680674752 0 0 -1 4 0 0 0 [pid=4473/tid=4475] ppid=4471 vsize=584108 CPUtime=867.5 cores=0,2,4,6 /proc/4473/task/4475/stat : 4475 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 77858 0 0 0 86726 24 0 0 25 0 4 0 109188384 598126592 112956 33554432000 4194304 4580107 140736337347648 18446744073709551615 47769354188331 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=4473/tid=4476] ppid=4471 vsize=584108 CPUtime=859.63 cores=0,2,4,6 /proc/4473/task/4476/stat : 4476 (strangenight2-m) R 4471 4473 3825 0 -1 4202560 115944 0 0 0 85927 36 0 0 25 0 4 0 109188384 598126592 112956 33554432000 4194304 4580107 140736337347648 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3459.64 Current children cumulated vsize (KiB) 584108 Child status: 20 Real time (s): 867.572 CPU time (s): 3459.78 CPU user time (s): 3458.12 CPU system time (s): 1.65875 CPU usage (%): 398.788 Max. virtual memory (cumulated for all children) (KiB): 759836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3458.12 system time used= 1.65875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 470373 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= 1068 involuntary context switches= 16665 runsolver used 2.35364 second user time and 5.55516 second system time The end
Begin job on node112 at 2011-05-15 01:29:50 IDJOB=3367068 IDBENCH=84215 IDSOLVER=1844 FILE ID=node112/3367068-1305415790 RUNJOBID= node112-1305414542-4261 PBS_JOBID= 13324531 Free space on /tmp= 73556 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367068-1305415790/watcher-3367068-1305415790 -o /tmp/evaluation-result-3367068-1305415790/solver-3367068-1305415790 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367068-1305415790.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761 RANDOM SEED=1778001901 node112.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.847 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 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 : 5180.45 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.847 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.76 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.847 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.847 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.61 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.847 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.847 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.74 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.847 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: 32950928 kB MemFree: 15725548 kB Buffers: 291880 kB Cached: 2791208 kB SwapCached: 0 kB Active: 15226048 kB Inactive: 1761280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15725548 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 7284 kB Writeback: 0 kB AnonPages: 13903928 kB Mapped: 21728 kB Slab: 133148 kB PageTables: 42280 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 35255344 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= 73552 MiB End job on node112 at 2011-05-15 01:44:17