| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.13 | 1202.23 |
| Name | application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf |
| MD5SUM | 73a2c2d9e5c062e561bfdb7c82071a99 |
| Bench Category | APPLICATION (applications 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 | 29254 |
| Number of clauses | 97456 |
| Sum of the clauses size | 247986 |
| Maximum clause length | 977 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 50701 |
| Number of clauses of size 3 | 46235 |
| Number of clauses of size 4 | 135 |
| Number of clauses of size 5 | 14 |
| Number of clauses of size over 5 | 370 |
0.00/0.00 c Outputting solution to console 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 Using 4 thread(s) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3289608-1304128877.cnf' 0.00/0.00 c -- header says num vars: 29254 0.00/0.00 c -- header says num clauses: 97456 0.09/0.18 c -- clauses added: 0 learnts, 97456 normals, 0 xors 0.09/0.18 c -- vars added 29254 0.09/0.18 c Parsing time: 0.16 s 0.09/0.19 c N st 0 0 29254 46008 45567 0 234144 0 no data no data -- 0.24/0.88 c asymm cl-useful: 562/29162/46008 lits-rem:1772 time: 2.77 11.01/2.92 c Flit: 38 Blit: 2949 bXBeca: 0 bXProp: 4772 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 12.0M T: 8.00 11.01/2.92 c Cleaning up after failed var search: 0.02 s 12.21/3.26 c Calc non-exist non-lernt bins v-fix: 0 done: 25027 time: 1.33 s 12.21/3.26 c Cache BProp: 18 Set: 0 BXProp: 0 T: 0.01 12.21/3.28 c Subs w/ non-existent bins: 522 time: 0.07 s 12.21/3.29 c Replacing 4772 vars Replaced 129884 lits Time: 0.07 s 12.61/3.31 c bin-w-bin subsume rem 653 bins time: 0.03 s 12.61/3.32 c subs with bin: 10 lits-rem: 16 v-fix: 0 time: 0.03 s 12.61/3.34 c Removed useless bin: 41 fixed: 0 bprops: 1.34M time: 0.08 s 13.00/3.49 c lits-rem: 1 cl-subs: 1542 v-elim: 6764 v-fix: 0 time: 0.56 s 13.00/3.49 c learnt bin added due to v-elim: 0 13.39/3.56 c Finding binary XORs T: 0.24 s found: 19 13.39/3.56 c Replacing 19 vars Replaced 199 lits Time: 0.02 s 13.39/3.59 c Finding non-binary XORs: 0.07 s (found: 2947, avg size: 3.3) 13.39/3.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 511 locsubst: 0 time: 0.03 13.39/3.59 c calculated reachability. Time: 0.02 13.39/3.60 c Calc default polars - time: 0.01 s pos: 2481 undec: 16482 neg: 10291 13.39/3.60 c ========================================================================================= 13.39/3.60 c types(t): F = full restart, N = normal restart 13.39/3.60 c types(t): S = simplification begin/end, E = solution found 13.39/3.60 c restart types(rt): st = static, dy = dynamic 13.39/3.60 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 13.39/3.60 c B st 0 0 12985 21313 20574 0 153499 0 no data no data -- 14.60/3.89 c Decided on static restart strategy 16.58/4.34 c N dy 9 5137 12980 21313 20639 4999 153499 187783 32.08 9.32 -- 19.77/5.15 c N dy 11 9556 12979 21313 20725 10248 153523 76152 27.28 8.92 -- 23.38/6.04 c N dy 15 13941 12978 21313 20760 14511 153523 346522 42.02 9.27 -- 26.56/6.81 c N dy 19 18335 12976 21313 20850 12315 153537 76725 26.60 9.06 -- 29.35/7.57 c N dy 25 23221 12976 21313 20864 17089 153537 305934 32.44 9.32 -- 33.73/8.61 c N dy 30 28198 12976 21313 20883 12800 153537 190819 77.78 10.30 -- 34.53/8.87 c S st 33 30000 12976 21313 20884 14559 153537 249925 26.39 10.26 -- 35.33/9.00 c S st 33 30502 12976 21313 20964 14979 153537 257498 26.39 10.26 -- 35.33/9.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 255 locsubst: 0 time: 0.03 35.33/9.01 c Cache BProp: 18 Set: 0 BXProp: 0 T: 0.00 46.52/11.88 c Flit: 101 Blit: 3 bXBeca: 0 bXProp: 207 Bin: 56381 BRemL: 17346 BRemN: 25 CBin: 0 P: 21.8M T: 11.43 46.52/11.88 c Cleaning up after failed var search: 0.02 s 46.91/11.92 c Calc non-exist non-lernt bins v-fix: 0 done: 12433 time: 0.16 s 46.91/11.92 c Cache BProp: 22 Set: 0 BXProp: 6 T: 0.01 46.91/11.96 c Subs w/ non-existent bins: 258 time: 0.14 s 46.91/11.97 c Replacing 214 vars Replaced 13634 lits Time: 0.03 s 46.91/11.99 c bin-w-bin subsume rem 211 bins time: 0.04 s 47.31/12.06 c subs with bin: 178 lits-rem: 493 v-fix: 0 time: 0.26 s 47.31/12.07 c Removed useless bin: 68 fixed: 0 bprops: 0.43M time: 0.04 s 48.92/12.41 c lits-rem: 7230 cl-subs: 6760 v-elim: 5228 v-fix: 0 time: 1.36 s 48.92/12.41 c learnt bin added due to v-elim: 0 48.92/12.42 c vivif2 -- cl tried 21517 cl shrink 321 lits rem 436 time: 0.05 48.92/12.43 c vivif2 -- cl tried 8062 cl shrink 7 lits rem 12 time: 0.02 49.73/12.67 c asymm cl-useful: 377/13634/21323 lits-rem:807 time: 0.97 49.73/12.68 c calculated reachability. Time: 0.02 49.73/12.68 c N dy 33 30502 7703 21268 17188 8062 127179 52391 26.39 10.26 -- 49.73/12.68 c F st 33 30502 7703 21268 17188 8062 127179 52391 26.39 10.26 -- 50.91/12.95 c Decided on static restart strategy 56.10/14.23 c N dy 40 38572 7700 21268 17195 15948 127179 798508 151.38 10.98 -- 62.09/15.74 c N dy 44 44118 7699 21268 26625 12205 129211 235961 118.65 11.62 -- 62.91/15.99 c S st 47 45755 7699 21268 26884 13989 129281 312087 48.32 11.74 -- 63.69/16.12 c S st 47 46255 7699 21268 26884 14487 129281 322844 48.32 11.74 -- 63.69/16.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 132 locsubst: 0 time: 0.03 63.69/16.13 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.01 65.28/16.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 72 Bin: 807 BRemL: 8669 BRemN: 862 CBin: 0 P: 5.9M T: 1.65 65.28/16.56 c Calc non-exist non-lernt bins v-fix: 0 done: 7555 time: 0.06 s 65.28/16.56 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.01 65.28/16.59 c Subs w/ non-existent bins: 960 time: 0.14 s 65.68/16.60 c Replacing 72 vars Replaced 1711 lits Time: 0.03 s 65.68/16.61 c bin-w-bin subsume rem 698 bins time: 0.01 s 65.68/16.66 c subs with bin: 227 lits-rem: 85 v-fix: 0 time: 0.20 s 65.68/16.67 c Removed useless bin: 165 fixed: 0 bprops: 0.17M time: 0.02 s 66.48/16.87 c lits-rem: 352 cl-subs: 1910 v-elim: 638 v-fix: 0 time: 0.82 s 66.48/16.87 c learnt bin added due to v-elim: 0 66.48/16.88 c vivif2 -- cl tried 20544 cl shrink 24 lits rem 27 time: 0.06 66.88/16.90 c vivif2 -- cl tried 10688 cl shrink 60 lits rem 63 time: 0.04 66.88/16.99 c asymm cl-useful: 4/6896/20530 lits-rem:12 time: 0.37 66.88/17.00 c calculated reachability. Time: 0.02 67.30/17.00 c N dy 47 46255 7289 20526 13822 10686 124430 102692 48.32 11.74 -- 68.48/17.34 c Finding binary XORs T: 0.22 s found: 0 72.48/18.36 c N dy 50 53403 7288 20526 13824 17635 124430 670955 176.35 11.84 -- 76.49/19.35 c N dy 58 58565 7288 20526 13919 12575 124432 277805 142.72 11.80 -- 82.86/20.99 c N dy 63 65630 7288 20526 13922 19537 124432 1064354 157.70 11.89 -- 86.46/21.84 c S st 72 69383 7287 20526 14214 11947 124498 156025 156.68 12.01 -- 86.86/21.94 c S st 72 69883 7287 20526 14214 12446 124498 168426 156.68 12.01 -- 86.86/21.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.02 86.86/21.95 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 88.46/22.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 512 BRemL: 399 BRemN: 52 CBin: 0 P: 6.3M T: 1.49 88.46/22.34 c Calc non-exist non-lernt bins v-fix: 0 done: 7286 time: 0.05 s 88.46/22.34 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 88.46/22.36 c Subs w/ non-existent bins: 66 time: 0.10 s 88.46/22.37 c Replacing 1 vars Replaced 16 lits Time: 0.03 s 88.46/22.38 c bin-w-bin subsume rem 76 bins time: 0.01 s 88.86/22.45 c subs with bin: 27 lits-rem: 15 v-fix: 0 time: 0.28 s 88.86/22.46 c Removed useless bin: 4 fixed: 0 bprops: 0.15M time: 0.02 s 90.06/22.78 c ORs : 3452 avg-s: 2.4 cl-sh: 1275 l-rem: 1561 b-add: 336 v-rep: 0 cl-rem: 85 avg s: 3.4 T: 0.65 98.47/24.88 c Added 2 vars tried: 80000 time: 8.39 98.47/24.88 c ORs : 2 avg-s: 0.0 cl-sh: 152 l-rem: 152 b-add: 5 v-rep: 0 cl-rem: 6 avg s: 5.0 T: 8.39 98.47/24.89 c lits-rem: 140 cl-subs: 407 v-elim: 454 v-fix: 0 time: 9.70 s 98.47/24.89 c learnt bin added due to v-elim: 0 98.84/24.90 c vivif2 -- cl tried 20299 cl shrink 4 lits rem 4 time: 0.04 98.84/24.91 c vivif2 -- cl tried 11754 cl shrink 29 lits rem 42 time: 0.04 99.64/25.15 c asymm cl-useful: 184/10879/20296 lits-rem:290 time: 0.96 99.64/25.15 c calculated reachability. Time: 0.02 99.64/25.16 c N dy 72 69883 7266 20293 14349 11754 123185 151789 156.68 12.01 -- 99.64/25.16 c F st 72 69883 7266 20293 14349 11754 123185 151789 156.68 12.01 -- 101.24/25.54 c Decided on static restart strategy 103.23/26.04 c N dy 83 74816 7266 20293 14393 16612 123185 511877 24.64 12.04 -- 108.42/27.31 c N dy 84 79780 7266 20293 14393 21526 123185 1060697 122.54 12.35 -- 113.22/28.53 c N dy 95 86318 7263 20293 14416 15541 123185 371343 83.39 12.31 -- 121.21/30.51 c N dy 98 93209 7263 20293 14443 22335 123185 1289912 162.96 12.40 -- 126.40/31.81 c N dy 106 99201 7263 20293 14443 14820 123185 243864 141.30 12.49 -- 130.79/32.99 c S st 117 104826 7263 20293 14452 20344 123185 735071 82.84 12.64 -- 131.59/33.15 c S st 117 105329 7263 20293 14452 20844 123185 748338 82.84 12.64 -- 131.59/33.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.02 131.59/33.16 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.01 134.39/33.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 124 BRemL: 83 BRemN: 3 CBin: 0 P: 13.6M T: 2.90 134.79/33.90 c Calc non-exist non-lernt bins v-fix: 0 done: 7261 time: 0.05 s 134.79/33.90 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 134.79/33.96 c Subs w/ non-existent bins: 44 time: 0.23 s 134.79/33.97 c Replacing 1 vars Replaced 18 lits Time: 0.04 s 134.79/33.99 c bin-w-bin subsume rem 330 bins time: 0.01 s 135.60/34.16 c subs with bin: 32 lits-rem: 11 v-fix: 0 time: 0.66 s 135.60/34.16 c Removed useless bin: 0 fixed: 0 bprops: 0.15M time: 0.02 s 143.98/36.23 c ORs : 3455 avg-s: 2.4 cl-sh: 44 l-rem: 82 b-add: 3 v-rep: 0 cl-rem: 3 avg s: 21.7 T: 0.76 143.98/36.25 c lits-rem: 1892 cl-subs: 1284 v-elim: 433 v-fix: 0 time: 8.32 s 143.98/36.25 c learnt bin added due to v-elim: 0 143.98/36.26 c vivif2 -- cl tried 20210 cl shrink 2 lits rem 2 time: 0.04 143.98/36.29 c vivif2 -- cl tried 19436 cl shrink 22 lits rem 22 time: 0.13 144.78/36.45 c asymm cl-useful: 0/5966/20210 lits-rem:0 time: 0.66 144.78/36.46 c calculated reachability. Time: 0.02 144.78/36.46 c N dy 117 105329 7257 20210 13952 19436 122445 673769 82.84 12.64 -- 153.96/38.76 c N dy 129 114427 7255 20210 13988 28370 122444 1530304 89.28 12.82 -- 162.76/40.91 c N dy 138 125716 7251 20210 13989 25136 122444 890415 66.24 13.04 -- 171.14/43.09 c N dy 146 134627 7254 20210 14005 18463 122456 569323 158.22 13.37 -- 181.83/45.72 c N dy 153 144237 7254 20210 14018 27929 122456 1791173 197.19 13.80 -- 197.63/49.72 c N dy 159 156108 7254 20210 14027 23192 122456 1047544 144.24 14.28 -- 199.61/50.27 c S st 163 157993 7254 20210 14102 25063 122482 1229536 97.78 14.39 -- 200.32/50.43 c S st 163 158497 7254 20210 14102 25567 122482 1241980 97.78 14.39 -- 200.32/50.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 200.32/50.44 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 203.50/51.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bin: 73 BRemL: 91 BRemN: 5 CBin: 0 P: 19.3M T: 3.31 203.81/51.40 c Calc non-exist non-lernt bins v-fix: 0 done: 7253 time: 0.04 s 203.81/51.40 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 203.81/51.50 c Subs w/ non-existent bins: 21 time: 0.35 s 204.20/51.51 c Replacing 4 vars Replaced 73 lits Time: 0.06 s 204.20/51.54 c bin-w-bin subsume rem 9 bins time: 0.01 s 205.21/51.87 c subs with bin: 78 lits-rem: 65 v-fix: 0 time: 1.14 s 205.21/51.88 c Removed useless bin: 5 fixed: 0 bprops: 0.15M time: 0.02 s 211.07/53.40 c ORs : 3453 avg-s: 2.3 cl-sh: 44 l-rem: 63 b-add: 5 v-rep: 0 cl-rem: 2 avg s: 4.5 T: 1.11 211.48/53.42 c lits-rem: 415 cl-subs: 1571 v-elim: 432 v-fix: 0 time: 6.05 s 211.48/53.42 c learnt bin added due to v-elim: 0 211.48/53.43 c vivif2 -- cl tried 20155 cl shrink 1 lits rem 1 time: 0.04 211.48/53.49 c vivif2 -- cl tried 23788 cl shrink 27 lits rem 34 time: 0.23 212.25/53.61 c asymm cl-useful: 0/3310/20155 lits-rem:0 time: 0.48 212.25/53.62 c calculated reachability. Time: 0.02 212.25/53.62 c N dy 163 158497 7247 20155 13760 23787 122017 1057759 97.78 14.39 -- 228.97/57.84 c N dy 168 173802 7247 20155 13792 21531 122025 649680 141.58 15.04 -- 248.27/62.70 c N dy 173 187606 7246 20155 13818 35182 122037 2534735 192.03 15.20 -- 260.65/65.88 c N dy 186 199937 7246 20155 13837 28902 122046 1166203 122.90 15.52 -- 275.03/69.48 c N dy 226 214091 7245 20155 13845 23382 122046 652419 109.35 15.44 -- 289.02/72.92 c N dy 256 228412 7244 20155 13875 37429 122060 1880762 143.29 15.50 -- 298.20/75.29 c S st 276 237745 7244 20155 13877 26325 122060 803597 91.47 15.65 -- 299.02/75.48 c S st 276 238246 7244 20155 13878 26823 122060 817414 91.47 15.65 -- 299.02/75.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 299.02/75.49 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.01 303.41/76.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bin: 91 BRemL: 58 BRemN: 15 CBin: 0 P: 25.4M T: 4.29 303.41/76.57 c Calc non-exist non-lernt bins v-fix: 0 done: 7244 time: 0.05 s 303.41/76.57 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 303.79/76.65 c Subs w/ non-existent bins: 39 time: 0.31 s 303.79/76.67 c Replacing 7 vars Replaced 283 lits Time: 0.06 s 303.79/76.69 c bin-w-bin subsume rem 10 bins time: 0.01 s 304.99/76.92 c subs with bin: 27 lits-rem: 71 v-fix: 0 time: 0.90 s 304.99/76.92 c Removed useless bin: 5 fixed: 0 bprops: 0.14M time: 0.02 s 316.97/79.92 c ORs : 3446 avg-s: 2.4 cl-sh: 33 l-rem: 48 b-add: 4 v-rep: 0 cl-rem: 1 avg s: 38.0 T: 0.91 316.97/79.93 c lits-rem: 3728 cl-subs: 1303 v-elim: 433 v-fix: 0 time: 12.04 s 316.97/79.93 c learnt bin added due to v-elim: 0 316.97/79.94 c vivif2 -- cl tried 20108 cl shrink 2 lits rem 2 time: 0.04 316.97/79.99 c vivif2 -- cl tried 25205 cl shrink 35 lits rem 44 time: 0.19 317.77/80.13 c asymm cl-useful: 36/1677/20108 lits-rem:81 time: 0.54 317.77/80.13 c calculated reachability. Time: 0.02 317.77/80.13 c N dy 276 238246 7234 20108 13479 25204 121624 719088 91.47 15.65 -- 337.75/85.11 c N dy 293 254756 7241 20108 13532 41524 121668 2390913 119.44 15.90 -- 340.94/85.95 c Finding binary XORs T: 0.16 s found: 1 353.73/89.15 c N dy 319 271462 7239 20092 13306 36537 121569 1248414 46.70 15.68 -- 370.11/93.21 c N dy 342 289362 7239 20092 13322 31880 121573 979954 91.47 15.53 -- 392.07/98.78 c N dy 367 308448 7239 20092 13365 27417 121597 669653 117.81 15.90 -- 418.03/105.27 c N dy 401 329130 7239 20092 13387 47763 121609 2373717 71.48 15.95 -- 437.21/110.09 c N dy 456 349354 7239 20092 13412 43334 121609 1319183 123.34 15.90 -- 447.59/112.63 c S st 474 357370 7239 20092 13414 25992 121609 287404 69.94 15.86 -- 448.01/112.79 c S st 474 357871 7239 20092 13414 26489 121609 299241 69.94 15.86 -- 448.01/112.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 448.01/112.80 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 451.18/113.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bin: 45 BRemL: 109 BRemN: 10 CBin: 0 P: 26.4M T: 2.97 451.18/113.55 c Calc non-exist non-lernt bins v-fix: 0 done: 7239 time: 0.05 s 451.18/113.55 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 451.58/113.61 c Subs w/ non-existent bins: 57 time: 0.21 s 451.58/113.62 c Replacing 8 vars Replaced 204 lits Time: 0.04 s 451.58/113.63 c bin-w-bin subsume rem 9 bins time: 0.01 s 451.98/113.70 c subs with bin: 72 lits-rem: 49 v-fix: 0 time: 0.27 s 451.98/113.70 c Removed useless bin: 6 fixed: 0 bprops: 0.15M time: 0.02 s 454.78/114.42 c ORs : 3453 avg-s: 2.4 cl-sh: 40 l-rem: 55 b-add: 5 v-rep: 0 cl-rem: 8 avg s: 4.5 T: 0.69 462.77/116.42 c Added 12 vars tried: 80000 time: 7.99 462.77/116.43 c ORs : 12 avg-s: 0.0 cl-sh: 1380 l-rem: 1380 b-add: 24 v-rep: 0 cl-rem: 0 avg s: nan T: 8.00 462.77/116.44 c lits-rem: 823 cl-subs: 1087 v-elim: 434 v-fix: 0 time: 10.91 s 462.77/116.44 c learnt bin added due to v-elim: 0 462.77/116.45 c vivif2 -- cl tried 20058 cl shrink 1 lits rem 1 time: 0.04 462.77/116.48 c vivif2 -- cl tried 25233 cl shrink 7 lits rem 10 time: 0.12 463.97/116.70 c asymm cl-useful: 39/8205/20058 lits-rem:49 time: 0.91 463.97/116.71 c calculated reachability. Time: 0.01 463.97/116.71 c N dy 474 357871 7239 20057 13252 25233 121418 282220 69.94 15.86 -- 495.13/124.50 c N dy 492 378251 7239 20057 13298 45451 121418 2870077 84.64 16.30 -- 543.46/136.63 c N dy 501 404777 7239 20057 13298 45507 121418 2608199 144.74 16.65 -- 577.02/145.07 c N dy 510 424961 7241 20057 13378 38177 121426 1662956 151.61 16.87 -- 610.59/153.45 c N dy 536 446769 7241 20057 13392 31304 121426 603138 123.35 17.07 -- 686.47/172.47 c N dy 539 489116 7241 20057 13398 43986 121426 2345158 137.22 17.35 -- 742.41/186.44 c N dy 543 520650 7241 20057 13412 44857 121426 2039966 127.81 17.79 -- 775.54/194.78 c S st 545 536808 7242 20057 13438 60938 121430 4494958 162.45 18.01 -- 777.14/195.20 c S st 545 537314 7242 20057 13442 61440 121430 4503230 162.45 18.01 -- 777.56/195.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 4 locsubst: 0 time: 0.07 777.56/195.22 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.01 790.32/198.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 79 BRemL: 108 BRemN: 0 CBin: 0 P: 60.2M T: 12.75 790.32/198.42 c Calc non-exist non-lernt bins v-fix: 0 done: 7238 time: 0.06 s 790.32/198.42 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 791.52/198.73 c Subs w/ non-existent bins: 0 time: 1.23 s 791.92/198.84 c bin-w-bin subsume rem 5 bins time: 0.01 s 799.11/200.62 c subs with bin: 9 lits-rem: 2047 v-fix: 0 time: 7.11 s 799.11/200.62 c Removed useless bin: 0 fixed: 0 bprops: 0.15M time: 0.02 s 1095.51/274.88 c ORs : 3468 avg-s: 2.4 cl-sh: 25 l-rem: 28 b-add: 2 v-rep: 0 cl-rem: 9 avg s: 17.9 T: 4.17 1095.90/274.94 c lits-rem: 340 cl-subs: 5123 v-elim: 433 v-fix: 0 time: 296.82 s 1095.90/274.94 c learnt bin added due to v-elim: 0 1095.90/274.95 c vivif2 -- cl tried 20051 cl shrink 4 lits rem 4 time: 0.04 1096.70/275.16 c vivif2 -- cl tried 56288 cl shrink 98 lits rem 102 time: 0.85 1097.50/275.36 c asymm cl-useful: 0/2518/20051 lits-rem:0 time: 0.80 1097.50/275.37 c calculated reachability. Time: 0.02 1097.50/275.37 c N dy 545 537314 7237 20051 13407 56288 121356 3962383 162.45 18.01 -- 1097.50/275.37 c F st 545 537314 7237 20051 13407 56288 121356 3962383 162.45 18.01 -- 1101.10/276.25 c Decided on static restart strategy 1166.62/292.61 c N dy 552 573070 7237 20051 13407 60441 121356 4120926 145.54 17.98 -- 1219.34/305.82 c N dy 556 601370 7238 20051 13546 56045 121374 2928650 136.40 17.96 -- 1253.29/314.37 c N dy 567 622523 7238 20051 13552 43564 121374 1480057 124.38 18.04 -- 1290.44/323.61 c N dy 578 644419 7238 20051 13564 65341 121374 4013843 139.05 18.04 -- 1331.20/333.81 c N dy 585 667874 7238 20051 13589 54186 121374 2941318 147.20 18.07 -- 1365.15/342.36 c N dy 595 690529 7238 20051 13599 41124 121374 828274 70.36 17.93 -- 1446.63/362.75 c N dy 598 748663 7238 20051 13606 62162 121376 1757234 48.61 17.52 -- 1447.03/362.80 c Finding binary XORs T: 0.16 s found: 2 1485.77/372.59 c N dy 606 773393 7237 20050 13610 49398 121367 1705331 146.71 17.49 -- 1522.13/381.68 c N dy 616 795459 7237 20050 13634 71035 121367 3259053 63.92 17.42 -- 1541.30/386.44 c S st 620 805974 7237 20050 13634 43314 121367 1088891 65.04 17.46 -- 1542.12/386.68 c S st 620 806477 7237 20050 13636 43814 121367 1098615 65.04 17.46 -- 1542.12/386.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1542.12/386.69 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 1549.29/388.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 48 BRemL: 149 BRemN: 5 CBin: 0 P: 60.1M T: 7.04 1549.29/388.47 c Calc non-exist non-lernt bins v-fix: 0 done: 7237 time: 0.05 s 1549.29/388.47 c Cache BProp: 22 Set: 0 BXProp: 0 T: 0.00 1550.09/388.60 c Subs w/ non-existent bins: 15 time: 0.52 s 1550.09/388.61 c Replacing 2 vars Replaced 27 lits Time: 0.03 s 1550.09/388.64 c bin-w-bin subsume rem 3 bins time: 0.01 s 1551.31/388.94 c subs with bin: 170 lits-rem: 83 v-fix: 0 time: 1.20 s 1551.31/388.95 c Removed useless bin: 5 fixed: 0 bprops: 0.15M time: 0.02 s 1557.68/390.59 c ORs : 3463 avg-s: 2.4 cl-sh: 16 l-rem: 16 b-add: 2 v-rep: 0 cl-rem: 4 avg s: 16.5 T: 0.98 1560.87/391.37 c Added 51 vars tried: 80000 time: 3.12 1561.27/391.42 c ORs : 51 avg-s: 0.0 cl-sh: 9986 l-rem: 9986 b-add: 102 v-rep: 0 cl-rem: 0 avg s: nan T: 3.30 1561.27/391.44 c lits-rem: 1725 cl-subs: 2431 v-elim: 431 v-fix: 0 time: 9.96 s 1561.27/391.44 c learnt bin added due to v-elim: 0 1561.27/391.45 c vivif2 -- cl tried 20080 cl shrink 0 lits rem 0 time: 0.04 1561.67/391.54 c vivif2 -- cl tried 41211 cl shrink 240 lits rem 382 time: 0.34 1562.07/391.67 c asymm cl-useful: 0/4123/20080 lits-rem:0 time: 0.52 1562.07/391.68 c calculated reachability. Time: 0.02 1562.07/391.68 c N dy 620 806477 7284 20080 13622 41211 121617 971375 65.04 17.46 -- 1627.99/408.19 c N dy 636 839307 7284 20080 13637 73859 121617 4694158 130.62 17.62 -- 1658.34/415.79 c N dy 665 859838 7284 20080 13742 54923 121617 2200834 130.54 17.69 -- 1694.69/424.80 c N dy 681 882626 7284 20080 13816 77584 121617 4740864 112.61 17.87 -- 1725.45/432.58 c N dy 702 903515 7284 20080 13829 58032 121627 2306422 100.69 18.00 -- 1762.60/441.89 c N dy 746 923606 7283 20080 13836 77914 121627 4313840 63.44 18.07 -- 1793.76/449.65 c N dy 811 943722 7283 20080 13839 56528 121627 1673971 97.92 18.03 -- 1843.30/462.00 c N dy 843 965969 7284 20080 13848 78622 121631 4326054 153.11 18.01 -- 1889.65/473.68 c N dy 877 986103 7284 20080 13853 56330 121631 2330435 92.64 18.00 -- 1933.59/484.68 c N dy 920 1007316 7284 20080 13862 77296 121631 4624605 127.24 18.04 -- 1971.92/494.21 c N dy 948 1028025 7284 20080 13869 54537 121631 1871277 99.74 18.10 -- 2007.47/503.13 c N dy 1016 1048441 7284 20080 13872 74732 121631 3615723 140.48 18.14 -- 2041.82/511.73 c N dy 1055 1069221 7284 20080 13876 51114 121631 1137589 115.90 18.18 -- 2081.77/521.79 c N dy 1082 1090375 7284 20080 13879 72141 121631 3539967 96.18 18.35 -- 2122.91/532.03 c N dy 1100 1115602 7284 20080 13883 51907 121631 1391198 176.13 18.61 -- 2167.65/543.23 c N dy 1121 1143166 7284 20080 13886 79254 121631 4454933 104.28 18.72 -- 2250.34/563.97 c N dy 1124 1186907 7284 20080 13889 76349 121631 4541622 141.52 19.08 -- 2294.28/574.94 c N dy 1132 1207687 7284 20080 13891 49683 121631 867679 123.77 19.16 -- 2297.48/575.71 c S st 1134 1209715 7284 20080 13891 51696 121631 1090143 104.42 19.18 -- 2298.30/576.00 c S st 1134 1210215 7284 20080 13891 52196 121631 1099848 104.42 19.18 -- 2298.67/576.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2298.67/576.01 c Cache BProp: 23 Set: 0 BXProp: 0 T: 0.00 2305.06/577.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 90 BRemL: 96 BRemN: 2 CBin: 0 P: 60.0M T: 6.51 2305.06/577.65 c Calc non-exist non-lernt bins v-fix: 0 done: 7284 time: 0.06 s 2305.06/577.65 c Cache BProp: 23 Set: 0 BXProp: 0 T: 0.00 2305.46/577.79 c Subs w/ non-existent bins: 4 time: 0.58 s 2305.86/577.81 c Replacing 1 vars Replaced 19 lits Time: 0.08 s 2305.86/577.85 c bin-w-bin subsume rem 12 bins time: 0.02 s 2307.46/578.20 c subs with bin: 34 lits-rem: 153 v-fix: 0 time: 1.40 s 2307.46/578.21 c Removed useless bin: 2 fixed: 0 bprops: 0.14M time: 0.02 s 2314.65/580.01 c ORs : 3514 avg-s: 2.4 cl-sh: 12 l-rem: 12 b-add: 2 v-rep: 0 cl-rem: 5 avg s: 4.2 T: 1.25 2318.25/580.93 c Added 51 vars tried: 80000 time: 3.69 2318.25/580.96 c ORs : 51 avg-s: 0.0 cl-sh: 6146 l-rem: 6146 b-add: 102 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 3.79 2318.25/580.99 c lits-rem: 516 cl-subs: 2584 v-elim: 428 v-fix: 0 time: 11.11 s 2318.25/580.99 c learnt bin added due to v-elim: 0 2318.65/581.00 c vivif2 -- cl tried 20121 cl shrink 0 lits rem 0 time: 0.04 2318.65/581.09 c vivif2 -- cl tried 49560 cl shrink 166 lits rem 329 time: 0.39 2319.45/581.23 c asymm cl-useful: 0/1930/20121 lits-rem:0 time: 0.53 2319.45/581.23 c calculated reachability. Time: 0.01 2319.45/581.23 c N dy 1134 1210215 7333 20121 13865 49560 121895 1002298 104.42 19.18 -- 2347.80/588.36 c N dy 1157 1230304 7333 20121 13890 69316 121909 1909140 43.97 19.04 -- 2392.94/599.67 c N dy 1185 1255334 7333 20121 13896 93790 121913 2914544 30.20 18.89 -- 2414.51/605.04 c Finding binary XORs T: 0.16 s found: 1 2423.70/607.38 c N dy 1296 1275380 7331 20119 13726 63781 121881 1775463 107.20 18.87 -- 2457.25/615.73 c N dy 1403 1295427 7331 20119 13740 83593 121881 2945894 26.17 18.83 -- 2493.21/624.76 c N dy 1486 1315539 7333 20119 13783 54422 121903 1182857 125.96 18.80 -- 2530.78/634.19 c N dy 1559 1335614 7333 20119 13785 74266 121903 3041378 57.77 18.78 -- 2574.30/645.02 c N dy 1666 1355809 7333 20119 13794 94245 121903 4359044 88.77 18.76 -- 2611.45/654.35 c N dy 1737 1375836 7334 20119 13809 64010 121907 2087523 116.20 18.75 -- 2647.00/663.25 c N dy 1832 1395895 7334 20119 13813 83761 121907 3435561 104.98 18.71 -- 2688.55/673.69 c N dy 1936 1415932 7334 20119 13816 52532 121907 692076 38.45 18.67 -- 2720.50/681.64 c N dy 2029 1435971 7334 20119 13816 72333 121907 2110755 49.49 18.69 -- 2756.85/690.75 c N dy 2135 1456083 7334 20119 13824 92209 121907 3372212 100.06 18.68 -- 2792.80/699.79 c N dy 2189 1476806 7334 20119 13827 60692 121907 1487637 129.08 18.69 -- 2830.35/709.16 c N dy 2264 1496948 7334 20119 13830 80596 121907 3109376 143.61 18.71 -- 2893.07/724.81 c N dy 2292 1523183 7334 20119 13831 53532 121907 663433 90.34 18.77 -- 2928.61/733.72 c N dy 2387 1543298 7334 20119 13840 73417 121907 2115932 37.40 18.76 -- 2967.36/743.49 c N dy 2483 1563439 7334 20119 13840 93302 121907 3570260 42.42 18.74 -- 3008.50/753.78 c N dy 2573 1583709 7334 20119 13852 59244 121907 1234123 131.89 18.74 -- 3045.65/763.01 c N dy 2584 1604080 7334 20119 13855 79417 121907 3770787 129.41 18.79 -- 3091.59/774.52 c N dy 2689 1624114 7334 20119 13856 99139 121907 5031398 72.36 18.78 -- 3129.94/784.19 c N dy 2791 1644400 7334 20119 13856 64182 121907 1138994 67.61 18.75 -- 3165.49/793.06 c N dy 2904 1664465 7334 20119 13861 83965 121907 2353931 52.96 18.75 -- 3208.63/803.85 c N dy 2972 1686867 7334 20119 13861 106135 121907 4625195 141.69 18.72 -- 3244.99/812.98 c N dy 2984 1706933 7334 20119 13862 70095 121907 2438731 121.76 18.74 -- 3252.18/814.78 c S st 2995 1710217 7334 20119 13863 73366 121907 2792255 125.07 18.74 -- 3253.77/815.14 c S st 2995 1710717 7334 20119 13863 73864 121907 2800169 125.07 18.74 -- 3253.77/815.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3253.77/815.15 c Cache BProp: 23 Set: 0 BXProp: 1 T: 0.01 3261.36/817.04 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 70 BRemL: 71 BRemN: 11 CBin: 0 P: 60.0M T: 7.56 3261.36/817.06 c Calc non-exist non-lernt bins v-fix: 0 done: 7333 time: 0.05 s 3261.36/817.06 c Cache BProp: 23 Set: 0 BXProp: 0 T: 0.01 3262.56/817.31 c Subs w/ non-existent bins: 13 time: 0.99 s 3262.56/817.34 c Replacing 3 vars Replaced 83 lits Time: 0.13 s 3262.96/817.41 c bin-w-bin subsume rem 17 bins time: 0.01 s 3267.76/818.62 c subs with bin: 42 lits-rem: 505 v-fix: 0 time: 4.83 s 3267.76/818.63 c Removed useless bin: 3 fixed: 0 bprops: 0.15M time: 0.02 s 3290.53/824.32 c ORs : 3559 avg-s: 2.3 cl-sh: 14 l-rem: 14 b-add: 3 v-rep: 0 cl-rem: 7 avg s: 5.6 T: 2.62 3295.74/825.61 c Added 51 vars tried: 80000 time: 5.14 3296.11/825.72 c ORs : 51 avg-s: 0.0 cl-sh: 17577 l-rem: 17577 b-add: 102 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 5.60 3296.11/825.77 c lits-rem: 617 cl-subs: 6275 v-elim: 430 v-fix: 0 time: 28.52 s 3296.11/825.77 c learnt bin added due to v-elim: 0 3296.11/825.78 c vivif2 -- cl tried 20151 cl shrink 0 lits rem 0 time: 0.04 3296.91/825.94 c vivif2 -- cl tried 67465 cl shrink 100 lits rem 186 time: 0.65 3297.31/826.09 c asymm cl-useful: 1/1698/20151 lits-rem:3 time: 0.60 3297.71/826.10 c calculated reachability. Time: 0.02 3297.71/826.10 c N dy 2995 1710717 7378 20150 13847 67465 122131 2229541 125.07 18.74 -- 3326.87/833.42 c N dy 3025 1730742 7378 20150 13854 87308 122131 3665784 69.86 18.73 -- 3373.21/845.00 c N dy 3076 1751360 7378 20150 13857 107663 122131 5040995 100.93 18.70 -- 3413.98/855.27 c N dy 3111 1773268 7377 20150 13905 72185 122143 1980858 131.86 18.70 -- 3450.31/864.35 c N dy 3169 1794484 7378 20150 13932 93218 122147 3537424 113.71 18.73 -- 3500.24/876.85 c N dy 3205 1816894 7378 20150 13963 115487 122161 6238041 147.92 18.81 -- 3513.82/880.23 c Finding binary XORs T: 0.16 s found: 2 3536.19/885.82 c N dy 3310 1838384 7378 20149 13882 78714 122144 2027448 98.55 18.81 -- 3580.13/896.82 c N dy 3324 1863358 7378 20149 13883 103558 122144 5121503 131.88 18.87 -- 3809.84/954.37 c N dy 3327 1944916 7378 20149 13885 65368 122144 1224105 124.54 19.30 -- 3993.56/1000.38 c N dy 3330 2028814 7378 20149 13908 87501 122144 4219577 94.41 19.48 -- 4046.71/1013.61 c N dy 3340 2049751 7378 20149 13919 108362 122144 6653950 120.07 19.51 -- 4101.01/1027.25 c N dy 3389 2070969 7378 20149 13922 67100 122144 1219999 139.21 19.53 -- 4138.99/1036.77 c N dy 3406 2091109 7378 20149 13924 87121 122144 3660935 85.15 19.56 -- 4190.50/1049.69 c N dy 3481 2113817 7378 20149 13924 109643 122144 5487413 121.11 19.56 -- 4228.85/1059.29 c N dy 3491 2135537 7378 20149 13925 67870 122144 1022552 81.57 19.53 -- 4303.54/1077.95 c N dy 3493 2175100 7378 20149 13925 107073 122144 4239352 89.81 19.55 -- 4369.45/1094.43 c N dy 3507 2204754 7378 20149 13929 72390 122144 1771585 152.91 19.59 -- 4378.64/1096.79 c S st 3519 2210717 7378 20149 13932 78265 122144 2185025 75.12 19.58 -- 4380.24/1097.13 c S st 3519 2211220 7378 20149 13932 78766 122144 2194394 75.12 19.58 -- 4380.24/1097.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4380.24/1097.14 c Cache BProp: 23 Set: 0 BXProp: 0 T: 0.00 4387.03/1098.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 50 BRemL: 59 BRemN: 6 CBin: 0 P: 60.0M T: 6.83 4387.03/1098.87 c Calc non-exist non-lernt bins v-fix: 0 done: 7378 time: 0.06 s 4387.03/1098.87 c Cache BProp: 23 Set: 0 BXProp: 0 T: 0.00 4388.23/1099.10 c Subs w/ non-existent bins: 6 time: 0.93 s 4388.23/1099.11 c Replacing 2 vars Replaced 41 lits Time: 0.05 s 4388.23/1099.17 c bin-w-bin subsume rem 11 bins time: 0.01 s 4391.42/1099.91 c subs with bin: 45 lits-rem: 3694 v-fix: 0 time: 2.96 s 4391.42/1099.92 c Removed useless bin: 6 fixed: 0 bprops: 0.15M time: 0.02 s 4406.20/1103.67 c ORs : 3613 avg-s: 2.3 cl-sh: 23 l-rem: 23 b-add: 2 v-rep: 0 cl-rem: 6 avg s: 6.2 T: 1.70 4410.19/1104.62 c Added 51 vars tried: 80000 time: 3.81 4410.59/1104.70 c ORs : 51 avg-s: 0.0 cl-sh: 11530 l-rem: 11530 b-add: 102 v-rep: 0 cl-rem: 0 avg s: nan T: 4.11 4410.59/1104.74 c lits-rem: 527 cl-subs: 3831 v-elim: 429 v-fix: 0 time: 19.24 s 4410.59/1104.74 c learnt bin added due to v-elim: 0 4410.59/1104.75 c vivif2 -- cl tried 20184 cl shrink 0 lits rem 0 time: 0.04 4411.41/1104.93 c vivif2 -- cl tried 74890 cl shrink 1569 lits rem 1803 time: 0.74 4411.81/1105.06 c asymm cl-useful: 12/759/20184 lits-rem:12 time: 0.51 4411.81/1105.07 c calculated reachability. Time: 0.02 4411.81/1105.07 c N dy 3519 2211220 7425 20184 14011 74890 122418 1960272 75.12 19.58 -- 4438.96/1111.86 c N dy 3625 2231423 7425 20184 14018 94753 122418 2603420 21.44 19.52 -- 4469.72/1119.57 c N dy 3719 2251447 7425 20184 14022 114496 122418 3144856 22.47 19.48 -- 4504.87/1128.33 c N dy 3816 2271523 7425 20184 14024 69327 122418 848102 23.20 19.42 -- 4533.63/1135.59 c N dy 3925 2291594 7425 20184 14053 89026 122418 1602077 26.41 19.39 -- 4569.59/1144.54 c N dy 4039 2311599 7425 20184 14053 108712 122418 2323861 27.20 19.37 -- 4609.92/1154.64 c N dy 4144 2331647 7425 20184 14061 128248 122418 2792745 33.97 19.32 -- 4640.31/1162.29 c N dy 4232 2351743 7425 20184 14062 82356 122417 1658297 93.04 19.33 -- 4671.84/1170.17 c N dy 4336 2371804 7425 20184 14069 102161 122417 2335058 37.88 19.29 -- 4708.59/1179.30 c N dy 4459 2392490 7425 20184 14076 122557 122417 3091893 85.31 19.26 -- 4741.37/1187.50 c N dy 4489 2412517 7425 20184 14076 75569 122417 1569603 40.23 19.30 -- 4770.90/1194.99 c N dy 4607 2432535 7425 20184 14078 95276 122417 2249365 34.10 19.27 --
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-3289608-1304128877/watcher-3289608-1304128877 -o /tmp/evaluation-result-3289608-1304128877/solver-3289608-1304128877 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3289608-1304128877.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 6.81 7.76 7.64 2/178 10685 /proc/meminfo: memFree=29679236/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=24968 CPUtime=0 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 1486 0 0 0 0 0 0 0 25 0 1 0 524485612 25567232 1425 33554432000 4194304 4797429 140735470722976 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/10685/statm: 6242 1436 341 148 0 1171 0 [startup+0.0914149 s] /proc/loadavg: 6.81 7.76 7.64 2/178 10685 /proc/meminfo: memFree=29679236/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=95196 CPUtime=0.08 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 14588 0 0 0 7 1 0 0 25 0 1 0 524485612 97480704 11310 33554432000 4194304 4797429 140735470722976 18446744073709551615 4660929 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/10685/statm: 23799 11310 350 148 0 18728 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 95196 [startup+0.100419 s] /proc/loadavg: 6.81 7.76 7.64 2/178 10685 /proc/meminfo: memFree=29679236/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=96452 CPUtime=0.09 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 14970 0 0 0 8 1 0 0 25 0 1 0 524485612 98766848 11676 33554432000 4194304 4797429 140735470722976 18446744073709551615 4431783 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/10685/statm: 24113 11680 350 148 0 19042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 96452 [startup+0.988181 s] /proc/loadavg: 6.81 7.76 7.64 2/178 10685 /proc/meminfo: memFree=29679236/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=738380 CPUtime=3.39 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 22948 0 0 0 336 3 0 0 18 0 4 0 524485612 756101120 18585 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429718 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 184595 18585 385 148 0 179524 0 Current children cumulated CPU time (s) 3.39 Current children cumulated vsize (KiB) 738380 [startup+1.00018 s] /proc/loadavg: 6.81 7.76 7.64 2/178 10685 /proc/meminfo: memFree=29679236/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=739208 CPUtime=3.43 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 23409 0 0 0 340 3 0 0 18 0 4 0 524485612 756948992 19046 33554432000 4194304 4797429 140735470722976 18446744073709551615 4428553 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 184802 19046 385 148 0 179731 0 Current children cumulated CPU time (s) 3.43 Current children cumulated vsize (KiB) 739208 [startup+1.50109 s] /proc/loadavg: 6.81 7.76 7.64 2/178 10685 /proc/meminfo: memFree=29679236/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=762316 CPUtime=5.44 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 41531 0 0 0 536 8 0 0 18 0 4 0 524485612 780611584 37168 33554432000 4194304 4797429 140735470722976 18446744073709551615 4427877 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 190579 37168 385 148 0 185508 0 Current children cumulated CPU time (s) 5.44 Current children cumulated vsize (KiB) 762316 [startup+3.10079 s] /proc/loadavg: 6.81 7.76 7.64 9/188 10698 /proc/meminfo: memFree=29142856/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=783308 CPUtime=11.81 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 59630 0 0 0 1167 14 0 0 19 0 4 0 524485612 802107392 55267 33554432000 4194304 4797429 140735470722976 18446744073709551615 4643135 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 195827 55267 387 148 0 190756 0 [pid=10685/tid=10693] ppid=10683 vsize=783308 CPUtime=2.9 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 10346 0 0 0 288 2 0 0 24 0 4 0 524485630 802107392 55267 33554432000 4194304 4797429 140735470722976 18446744073709551615 4360007 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=783308 CPUtime=2.9 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 10542 0 0 0 288 2 0 0 21 0 4 0 524485630 802107392 55267 33554432000 4194304 4797429 140735470722976 18446744073709551615 4360302 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=783308 CPUtime=2.9 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 10392 0 0 0 287 3 0 0 20 0 4 0 524485630 802107392 55267 33554432000 4194304 4797429 140735470722976 18446744073709551615 4359998 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 11.81 Current children cumulated vsize (KiB) 783308 [startup+6.3002 s] /proc/loadavg: 6.90 7.76 7.65 9/188 10698 /proc/meminfo: memFree=28907772/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=816212 CPUtime=24.56 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 78631 0 0 0 2435 21 0 0 24 0 4 0 524485612 835801088 70557 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 204053 70558 420 148 0 198982 0 [pid=10685/tid=10693] ppid=10683 vsize=816212 CPUtime=6.1 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 15434 0 0 0 606 4 0 0 25 0 4 0 524485630 835801088 70558 33554432000 4194304 4797429 140735470722976 18446744073709551615 4428029 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=816212 CPUtime=6.1 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 15026 0 0 0 606 4 0 0 25 0 4 0 524485630 835801088 70559 33554432000 4194304 4797429 140735470722976 18446744073709551615 4332833 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=816212 CPUtime=6.09 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 15203 0 0 0 605 4 0 0 25 0 4 0 524485630 835801088 70559 33554432000 4194304 4797429 140735470722976 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 24.56 Current children cumulated vsize (KiB) 816212 [startup+12.707 s] /proc/loadavg: 6.99 7.77 7.65 9/188 10698 /proc/meminfo: memFree=28737660/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=903260 CPUtime=50.14 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 95621 0 0 0 4988 26 0 0 21 0 4 0 524485612 924938240 81126 33554432000 4194304 4797429 140735470722976 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 225815 81126 423 148 0 220744 0 [pid=10685/tid=10693] ppid=10683 vsize=903260 CPUtime=12.5 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 20731 0 0 0 1244 6 0 0 25 0 4 0 524485630 924938240 81126 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424592 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=903260 CPUtime=12.5 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 18202 0 0 0 1245 5 0 0 25 0 4 0 524485630 924938240 81126 33554432000 4194304 4797429 140735470722976 18446744073709551615 4428564 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=903260 CPUtime=12.49 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 17743 0 0 0 1244 5 0 0 25 0 4 0 524485630 924938240 81126 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429240 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.14 Current children cumulated vsize (KiB) 903260 [startup+25.5006 s] /proc/loadavg: 7.53 7.85 7.67 9/188 10698 /proc/meminfo: memFree=28632292/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=909924 CPUtime=101.24 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 104196 0 0 0 10095 29 0 0 25 0 4 0 524485612 931762176 82308 33554432000 4194304 4797429 140735470722976 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 227481 82308 424 148 0 222410 0 [pid=10685/tid=10693] ppid=10683 vsize=909924 CPUtime=25.29 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 22141 0 0 0 2523 6 0 0 25 0 4 0 524485630 931762176 82308 33554432000 4194304 4797429 140735470722976 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=909924 CPUtime=25.29 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 19407 0 0 0 2524 5 0 0 25 0 4 0 524485630 931762176 82308 33554432000 4194304 4797429 140735470722976 18446744073709551615 4520016 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=909924 CPUtime=25.28 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 18722 0 0 0 2523 5 0 0 25 0 4 0 524485630 931762176 82308 33554432000 4194304 4797429 140735470722976 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 101.24 Current children cumulated vsize (KiB) 909924 [startup+51.1009 s] /proc/loadavg: 7.77 7.87 7.69 10/193 11017 /proc/meminfo: memFree=28578944/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=923608 CPUtime=202.82 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 120477 0 0 0 20248 34 0 0 25 0 4 0 524485612 945774592 85885 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 230902 85885 424 148 0 225831 0 [pid=10685/tid=10693] ppid=10683 vsize=923608 CPUtime=50.88 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 23504 0 0 0 5082 6 0 0 25 0 4 0 524485630 945774592 85885 33554432000 4194304 4797429 140735470722976 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=923608 CPUtime=50.28 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 20889 0 0 0 5022 6 0 0 25 0 4 0 524485630 945774592 85885 33554432000 4194304 4797429 140735470722976 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=923608 CPUtime=50.83 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 20481 0 0 0 5077 6 0 0 25 0 4 0 524485630 945774592 85885 33554432000 4194304 4797429 140735470722976 18446744073709551615 4378386 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 202.82 Current children cumulated vsize (KiB) 923608 [startup+102.3 s] /proc/loadavg: 8.31 8.00 7.74 10/188 11166 /proc/meminfo: memFree=28573476/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=932764 CPUtime=406.45 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 145322 0 0 0 40601 44 0 0 25 0 4 0 524485612 955150336 89660 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 233191 89660 424 148 0 228120 0 [pid=10685/tid=10693] ppid=10683 vsize=932764 CPUtime=102.05 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 25617 0 0 0 10198 7 0 0 25 0 4 0 524485630 955150336 89660 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=932764 CPUtime=100.77 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 22798 0 0 0 10069 8 0 0 25 0 4 0 524485630 955150336 89660 33554432000 4194304 4797429 140735470722976 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=932764 CPUtime=101.93 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 22300 0 0 0 10185 8 0 0 25 0 4 0 524485630 955150336 89660 33554432000 4194304 4797429 140735470722976 18446744073709551615 4428751 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 406.45 Current children cumulated vsize (KiB) 932764 [startup+162.306 s] /proc/loadavg: 8.27 8.04 7.77 10/188 11168 /proc/meminfo: memFree=28547276/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=939116 CPUtime=646.14 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 169471 0 0 0 64560 54 0 0 25 0 4 0 524485612 961654784 93583 33554432000 4194304 4797429 140735470722976 18446744073709551615 4341464 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 234779 93583 424 148 0 229708 0 [pid=10685/tid=10693] ppid=10683 vsize=939116 CPUtime=162.05 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 27576 0 0 0 16197 8 0 0 25 0 4 0 524485630 961654784 93583 33554432000 4194304 4797429 140735470722976 18446744073709551615 4346304 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=939116 CPUtime=160.78 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 24524 0 0 0 16069 9 0 0 25 0 4 0 524485630 961654784 93583 33554432000 4194304 4797429 140735470722976 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=939116 CPUtime=161.93 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 24193 0 0 0 16184 9 0 0 25 0 4 0 524485630 961654784 93583 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 646.14 Current children cumulated vsize (KiB) 939116 [startup+222.301 s] /proc/loadavg: 8.59 8.16 7.82 9/188 11172 /proc/meminfo: memFree=28514792/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=947608 CPUtime=885.79 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 189671 0 0 0 88518 61 0 0 25 0 4 0 524485612 970350592 99171 33554432000 4194304 4797429 140735470722976 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 236902 99171 424 148 0 231831 0 [pid=10685/tid=10693] ppid=10683 vsize=947608 CPUtime=222.05 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 29740 0 0 0 22196 9 0 0 25 0 4 0 524485630 970350592 99171 33554432000 4194304 4797429 140735470722976 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=947608 CPUtime=220.78 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 26047 0 0 0 22068 10 0 0 25 0 4 0 524485630 970350592 99171 33554432000 4194304 4797429 140735470722976 18446744073709551615 4226023 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=947608 CPUtime=221.93 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 26004 0 0 0 22183 10 0 0 25 0 4 0 524485630 970350592 99171 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 885.79 Current children cumulated vsize (KiB) 947608 [startup+282.301 s] /proc/loadavg: 8.34 8.16 7.84 9/188 11174 /proc/meminfo: memFree=28518584/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=952724 CPUtime=1125.46 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 196967 0 0 0 112481 65 0 0 25 0 4 0 524485612 975589376 97975 33554432000 4194304 4797429 140735470722976 18446744073709551615 4395269 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 238181 97975 424 148 0 233110 0 [pid=10685/tid=10693] ppid=10683 vsize=952724 CPUtime=282.06 cores=0,2,4,6 ################ # More data... # ################ [pid=10685] ppid=10683 vsize=975620 CPUtime=2563.51 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 311105 0 0 0 256240 111 0 0 25 0 4 0 524485612 999034880 107723 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 243905 107723 424 148 0 238834 0 [pid=10685/tid=10693] ppid=10683 vsize=975620 CPUtime=642.06 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 39046 0 0 0 64192 14 0 0 25 0 4 0 524485630 999034880 107723 33554432000 4194304 4797429 140735470722976 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=975620 CPUtime=640.79 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 34340 0 0 0 64066 13 0 0 25 0 4 0 524485630 999034880 107723 33554432000 4194304 4797429 140735470722976 18446744073709551615 4509088 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=975620 CPUtime=641.94 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 34246 0 0 0 64180 14 0 0 25 0 4 0 524485630 999034880 107723 33554432000 4194304 4797429 140735470722976 18446744073709551615 4523866 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2563.51 Current children cumulated vsize (KiB) 975620 [startup+702.3 s] /proc/loadavg: 8.22 8.16 7.94 9/188 11185 /proc/meminfo: memFree=28464084/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=978756 CPUtime=2803.2 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 327188 0 0 0 280203 117 0 0 25 0 4 0 524485612 1002246144 106471 33554432000 4194304 4797429 140735470722976 18446744073709551615 4425880 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 244689 106471 424 148 0 239618 0 [pid=10685/tid=10693] ppid=10683 vsize=978756 CPUtime=702.07 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 40284 0 0 0 70193 14 0 0 25 0 4 0 524485630 1002246144 106471 33554432000 4194304 4797429 140735470722976 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=978756 CPUtime=700.8 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 35299 0 0 0 70066 14 0 0 25 0 4 0 524485630 1002246144 106471 33554432000 4194304 4797429 140735470722976 18446744073709551615 4346259 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=978756 CPUtime=701.95 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 35130 0 0 0 70180 15 0 0 25 0 4 0 524485630 1002246144 106471 33554432000 4194304 4797429 140735470722976 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2803.2 Current children cumulated vsize (KiB) 978756 [startup+762.301 s] /proc/loadavg: 8.31 8.18 7.95 9/188 11187 /proc/meminfo: memFree=28447808/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=978956 CPUtime=3042.86 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 343360 0 0 0 304161 125 0 0 25 0 4 0 524485612 1002450944 108097 33554432000 4194304 4797429 140735470722976 18446744073709551615 4341026 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 244739 108097 424 148 0 239668 0 [pid=10685/tid=10693] ppid=10683 vsize=978956 CPUtime=762.06 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 41318 0 0 0 76192 14 0 0 25 0 4 0 524485630 1002450944 108097 33554432000 4194304 4797429 140735470722976 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=978956 CPUtime=760.79 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 36263 0 0 0 76065 14 0 0 25 0 4 0 524485630 1002450944 108097 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=978956 CPUtime=761.94 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 36072 0 0 0 76179 15 0 0 25 0 4 0 524485630 1002450944 108097 33554432000 4194304 4797429 140735470722976 18446744073709551615 4346677 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3042.86 Current children cumulated vsize (KiB) 978956 [startup+822.307 s] /proc/loadavg: 8.34 8.20 7.97 9/188 11188 /proc/meminfo: memFree=28440348/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=982532 CPUtime=3282.56 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 358979 0 0 0 328125 131 0 0 25 0 4 0 524485612 1006112768 108563 33554432000 4194304 4797429 140735470722976 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 245633 108563 424 148 0 240562 0 [pid=10685/tid=10693] ppid=10683 vsize=982532 CPUtime=822.07 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 42457 0 0 0 82192 15 0 0 25 0 4 0 524485630 1006112768 108563 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424960 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=982532 CPUtime=820.79 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 37353 0 0 0 82065 14 0 0 25 0 4 0 524485630 1006112768 108563 33554432000 4194304 4797429 140735470722976 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=982532 CPUtime=821.95 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 37248 0 0 0 82180 15 0 0 25 0 4 0 524485630 1006112768 108563 33554432000 4194304 4797429 140735470722976 18446744073709551615 4524175 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3282.56 Current children cumulated vsize (KiB) 982532 [startup+882.301 s] /proc/loadavg: 8.33 8.21 7.99 9/188 11190 /proc/meminfo: memFree=28434336/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=1002708 CPUtime=3522.21 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 375957 0 0 0 352084 137 0 0 25 0 4 0 524485612 1026772992 110260 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 250677 110260 424 148 0 245606 0 [pid=10685/tid=10693] ppid=10683 vsize=1002708 CPUtime=882.07 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 44146 0 0 0 88192 15 0 0 25 0 4 0 524485630 1026772992 110260 33554432000 4194304 4797429 140735470722976 18446744073709551615 4629040 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=1002708 CPUtime=880.79 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 39383 0 0 0 88064 15 0 0 25 0 4 0 524485630 1026772992 110260 33554432000 4194304 4797429 140735470722976 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=1002708 CPUtime=881.95 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 38311 0 0 0 88179 16 0 0 25 0 4 0 524485630 1026772992 110260 33554432000 4194304 4797429 140735470722976 18446744073709551615 4519915 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3522.21 Current children cumulated vsize (KiB) 1002708 [startup+942.301 s] /proc/loadavg: 8.24 8.20 8.00 9/188 11192 /proc/meminfo: memFree=28389548/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=1011008 CPUtime=3761.88 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 394262 0 0 0 376045 143 0 0 25 0 4 0 524485612 1035272192 119548 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/10685/statm: 252752 119548 424 148 0 247681 0 [pid=10685/tid=10693] ppid=10683 vsize=1011008 CPUtime=942.07 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 45162 0 0 0 94192 15 0 0 25 0 4 0 524485630 1035272192 119548 33554432000 4194304 4797429 140735470722976 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=1011008 CPUtime=940.79 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 40068 0 0 0 94064 15 0 0 25 0 4 0 524485630 1035272192 119548 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=1011008 CPUtime=941.95 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 40014 0 0 0 94179 16 0 0 25 0 4 0 524485630 1035272192 119548 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3761.88 Current children cumulated vsize (KiB) 1011008 [startup+1002.3 s] /proc/loadavg: 8.36 8.23 8.02 9/188 11193 /proc/meminfo: memFree=28412188/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=1011264 CPUtime=4001.56 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 413181 0 0 0 400003 153 0 0 25 0 4 0 524485612 1035534336 115702 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10685/statm: 252816 115702 424 148 0 247745 0 [pid=10685/tid=10693] ppid=10683 vsize=1011264 CPUtime=1002.07 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 46242 0 0 0 100191 16 0 0 25 0 4 0 524485630 1035534336 115702 33554432000 4194304 4797429 140735470722976 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=1011264 CPUtime=1000.8 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 41049 0 0 0 100064 16 0 0 25 0 4 0 524485630 1035534336 115702 33554432000 4194304 4797429 140735470722976 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=1011264 CPUtime=1001.71 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 40911 0 0 0 100154 17 0 0 25 0 4 0 524485630 1035534336 115702 33554432000 4194304 4797429 140735470722976 18446744073709551615 4423083 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4001.56 Current children cumulated vsize (KiB) 1011264 [startup+1062.3 s] /proc/loadavg: 8.28 8.23 8.03 9/188 11195 /proc/meminfo: memFree=28424680/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=1011456 CPUtime=4241.23 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 428673 0 0 0 423963 160 0 0 25 0 4 0 524485612 1035730944 111939 33554432000 4194304 4797429 140735470722976 18446744073709551615 4341372 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10685/statm: 252864 111939 424 148 0 247793 0 [pid=10685/tid=10693] ppid=10683 vsize=1011456 CPUtime=1062.07 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 47178 0 0 0 106191 16 0 0 25 0 4 0 524485630 1035730944 111939 33554432000 4194304 4797429 140735470722976 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=1011456 CPUtime=1060.8 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 41969 0 0 0 106064 16 0 0 25 0 4 0 524485630 1035730944 111939 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=1011456 CPUtime=1061.38 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 41767 0 0 0 106121 17 0 0 25 0 4 0 524485630 1035730944 111939 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429003 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4241.23 Current children cumulated vsize (KiB) 1011456 [startup+1122.3 s] /proc/loadavg: 8.36 8.25 8.04 9/188 11196 /proc/meminfo: memFree=28400676/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=1011536 CPUtime=4480.9 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 439952 0 0 0 447924 166 0 0 25 0 4 0 524485612 1035812864 116317 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10685/statm: 252884 116317 424 148 0 247813 0 [pid=10685/tid=10693] ppid=10683 vsize=1011536 CPUtime=1121.96 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 48054 0 0 0 112179 17 0 0 25 0 4 0 524485630 1035812864 116317 33554432000 4194304 4797429 140735470722976 18446744073709551615 4427955 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=1011536 CPUtime=1120.8 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 42604 0 0 0 112063 17 0 0 25 0 4 0 524485630 1035812864 116317 33554432000 4194304 4797429 140735470722976 18446744073709551615 4524081 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=1011536 CPUtime=1121.17 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 42451 0 0 0 112099 18 0 0 25 0 4 0 524485630 1035812864 116318 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4480.9 Current children cumulated vsize (KiB) 1011536 [startup+1182.3 s] /proc/loadavg: 8.27 8.25 8.06 9/188 11198 /proc/meminfo: memFree=28396540/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=1013548 CPUtime=4720.57 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 452012 0 0 0 471885 172 0 0 25 0 4 0 524485612 1037873152 116540 33554432000 4194304 4797429 140735470722976 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10685/statm: 253387 116540 424 148 0 248316 0 [pid=10685/tid=10693] ppid=10683 vsize=1013548 CPUtime=1181.62 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 49066 0 0 0 118145 17 0 0 25 0 4 0 524485630 1037873152 116540 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=1013548 CPUtime=1180.81 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 43709 0 0 0 118063 18 0 0 25 0 4 0 524485630 1037873152 116540 33554432000 4194304 4797429 140735470722976 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=1013548 CPUtime=1181.17 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 43462 0 0 0 118099 18 0 0 25 0 4 0 524485630 1037873152 116540 33554432000 4194304 4797429 140735470722976 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4720.57 Current children cumulated vsize (KiB) 1013548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.2 s] /proc/loadavg: 8.27 8.24 8.06 9/188 11199 /proc/meminfo: memFree=28400604/32951124 swapFree=67111352/67111528 [pid=10685] ppid=10683 vsize=1015840 CPUtime=4800.08 cores=0,2,4,6 /proc/10685/stat : 10685 (techdemo) R 10683 10685 10653 0 -1 4202496 456602 0 0 0 479834 174 0 0 25 0 4 0 524485612 1040220160 116335 33554432000 4194304 4797429 140735470722976 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10685/statm: 253960 116335 424 148 0 248889 0 [pid=10685/tid=10693] ppid=10683 vsize=1015840 CPUtime=1201.41 cores=0,2,4,6 /proc/10685/task/10693/stat : 10693 (techdemo) R 10683 10685 10653 0 -1 4202560 49281 0 0 0 120124 17 0 0 25 0 4 0 524485630 1040220160 116336 33554432000 4194304 4797429 140735470722976 18446744073709551615 4242313 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10685/tid=10694] ppid=10683 vsize=1015840 CPUtime=1200.71 cores=0,2,4,6 /proc/10685/task/10694/stat : 10694 (techdemo) R 10683 10685 10653 0 -1 4202560 43836 0 0 0 120053 18 0 0 25 0 4 0 524485630 1040220160 116336 33554432000 4194304 4797429 140735470722976 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10685/tid=10695] ppid=10683 vsize=1015840 CPUtime=1201.07 cores=0,2,4,6 /proc/10685/task/10695/stat : 10695 (techdemo) R 10683 10685 10653 0 -1 4202560 43665 0 0 0 120089 18 0 0 25 0 4 0 524485630 1040220160 116336 33554432000 4194304 4797429 140735470722976 18446744073709551615 255376998033 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.08 Current children cumulated vsize (KiB) 1015840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1202.23 CPU time (s): 4800.13 CPU user time (s): 4798.37 CPU system time (s): 1.76573 CPU usage (%): 399.267 Max. virtual memory (cumulated for all children) (KiB): 1121748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.37 system time used= 1.76573 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 456604 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= 7619 involuntary context switches= 73554 runsolver used 1.9687 second user time and 4.6093 second system time The end
Begin job on node135 at 2011-04-30 04:01:17 IDJOB=3289608 IDBENCH=83130 IDSOLVER=1584 FILE ID=node135/3289608-1304128877 RUNJOBID= node135-1304128877-10671 PBS_JOBID= 13170784 Free space on /tmp= 71120 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289608-1304128877/watcher-3289608-1304128877 -o /tmp/evaluation-result-3289608-1304128877/solver-3289608-1304128877 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3289608-1304128877.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 73a2c2d9e5c062e561bfdb7c82071a99 RANDOM SEED=1626685854 node135.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.851 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.70 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.851 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.851 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 : 6640.14 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.851 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.78 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.851 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.851 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.851 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29679516 kB Buffers: 930616 kB Cached: 1752600 kB SwapCached: 172 kB Active: 153004 kB Inactive: 2599716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29679516 kB SwapTotal: 67111528 kB SwapFree: 67111352 kB Dirty: 10916 kB Writeback: 16 kB AnonPages: 69232 kB Mapped: 14632 kB Slab: 454412 kB PageTables: 4912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 193884 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72080 MiB End job on node135 at 2011-04-30 04:21:22