| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.15 | 1201.62 |
| Name | SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf |
| MD5SUM | b5a637600c242725f15a247a84bdea1b |
| Bench Category | CRAFTED (crafted 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 | 810 |
| Number of clauses | 68270 |
| Sum of the clauses size | 137296 |
| Maximum clause length | 30 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 68243 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 27 |
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-3262813-1304136257.cnf' 0.00/0.00 c -- header says num vars: 810 0.00/0.00 c -- header says num clauses: 68270 0.03/0.06 c -- clauses added: 0 learnts, 68270 normals, 0 xors 0.03/0.06 c -- vars added 810 0.03/0.06 c Parsing time: 0.06 s 0.03/0.06 c N st 0 0 810 27 68243 0 137296 0 no data no data -- 0.03/0.06 c asymm cl-useful: 0/27/27 lits-rem:0 time: 0.00 0.30/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.4M T: 0.10 0.30/0.12 c Calc non-exist non-lernt bins v-fix: 0 done: 810 time: 0.03 s 0.30/0.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.30/0.12 c Subs w/ non-existent bins: 0 time: 0.00 s 0.30/0.12 c bin-w-bin subsume rem 0 bins time: 0.05 s 0.30/0.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 0.30/0.12 c Removed useless bin: 0 fixed: 0 bprops: 0.28M time: 0.02 s 0.30/0.14 c lits-rem: 507 cl-subs: 0 v-elim: 513 v-fix: 0 time: 0.08 s 0.30/0.14 c learnt bin added due to v-elim: 0 0.30/0.14 c Finding binary XORs T: 0.01 s found: 0 0.30/0.14 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.30/0.14 c calculated reachability. Time: 0.00 0.30/0.15 c Calc default polars - time: 0.00 s pos: 385 undec: 27 neg: 398 0.30/0.15 c ========================================================================================= 0.30/0.15 c types(t): F = full restart, N = normal restart 0.30/0.15 c types(t): S = simplification begin/end, E = solution found 0.30/0.15 c restart types(rt): st = static, dy = dynamic 0.30/0.15 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.30/0.15 c B st 0 0 783 1365 66095 0 182461 0 no data no data -- 1.39/0.46 c Decided on static restart strategy 3.39/0.93 c N dy 20 4071 783 1365 66095 3868 182461 431119 115.28 26.73 -- 6.99/1.84 c N dy 50 8204 783 1365 66097 5478 182461 452279 100.61 21.69 -- 10.98/2.86 c N dy 79 12321 783 1365 66098 5347 182461 323080 54.52 20.01 -- 14.98/3.80 c N dy 108 16428 783 1365 66098 9283 182461 731181 99.08 20.99 -- 18.97/4.81 c N dy 137 20566 783 1365 66098 7858 182461 602291 115.50 21.19 -- 24.97/6.37 c N dy 165 24629 783 1365 66098 11736 182461 1030162 118.42 21.63 -- 30.18/7.69 c N dy 194 28755 783 1365 66098 9168 182461 692419 116.21 21.60 -- 32.55/8.22 c S st 203 30000 783 1365 66098 10372 182461 823017 112.69 21.63 -- 32.95/8.36 c S st 203 30502 783 1365 66098 10872 182461 859730 112.69 21.63 -- 32.95/8.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 32.95/8.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 44.94/11.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 1 BRemL: 0 BRemN: 0 CBin: 0 P: 28.6M T: 11.99 44.94/11.38 c Calc non-exist non-lernt bins v-fix: 0 done: 783 time: 0.04 s 44.94/11.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 44.94/11.39 c Subs w/ non-existent bins: 0 time: 0.04 s 45.34/11.42 c bin-w-bin subsume rem 0 bins time: 0.05 s 51.33/12.98 c subs with bin: 0 lits-rem: 867 v-fix: 0 time: 6.23 s 51.33/12.98 c Removed useless bin: 0 fixed: 0 bprops: 0.27M time: 0.03 s 65.33/16.50 c lits-rem: 3924 cl-subs: 1387 v-elim: 783 v-fix: 0 time: 14.03 s 65.33/16.50 c learnt bin added due to v-elim: 0 65.33/16.50 c vivif2 -- cl tried 1365 cl shrink 869 lits rem 6295 time: 0.01 65.73/16.51 c vivif2 -- cl tried 9485 cl shrink 14 lits rem 14 time: 0.04 67.30/16.94 c asymm cl-useful: 0/412/1365 lits-rem:0 time: 1.71 67.30/16.94 c calculated reachability. Time: 0.00 67.30/16.94 c N dy 203 30502 783 1365 66099 9485 174347 729621 112.69 21.63 -- 67.30/16.94 c F st 203 30502 783 1365 66099 9485 174347 729621 112.69 21.63 -- 69.72/17.58 c Decided on static restart strategy 73.30/18.43 c N dy 223 34587 783 1365 66099 13402 174347 1215115 118.36 21.66 -- 78.10/19.70 c N dy 251 38630 783 1365 66103 9692 174347 649045 40.38 21.20 -- 81.69/20.59 c N dy 279 42740 783 1365 66103 13516 174347 821522 79.58 20.22 -- 86.08/21.61 c S st 300 45755 783 1365 66103 16409 174347 1147323 124.58 20.07 -- 86.48/21.76 c S st 300 46259 783 1365 66103 16913 174347 1192244 124.58 20.07 -- 86.48/21.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 86.48/21.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 103.66/26.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 47.9M T: 17.08 103.66/26.05 c Calc non-exist non-lernt bins v-fix: 0 done: 783 time: 0.04 s 103.66/26.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 103.66/26.07 c Subs w/ non-existent bins: 0 time: 0.06 s 104.06/26.10 c bin-w-bin subsume rem 0 bins time: 0.05 s 110.44/27.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.41 s 110.44/27.72 c Removed useless bin: 0 fixed: 0 bprops: 0.26M time: 0.03 s 118.84/29.81 c lits-rem: 1399 cl-subs: 2466 v-elim: 783 v-fix: 0 time: 8.36 s 118.84/29.81 c learnt bin added due to v-elim: 0 118.84/29.81 c vivif2 -- cl tried 1365 cl shrink 1 lits rem 1 time: 0.00 118.84/29.82 c vivif2 -- cl tried 14447 cl shrink 2 lits rem 3 time: 0.06 120.44/30.21 c asymm cl-useful: 0/159/1365 lits-rem:0 time: 1.54 120.44/30.21 c calculated reachability. Time: 0.00 120.44/30.21 c N dy 300 46259 783 1365 66103 14447 174346 1034596 124.58 20.07 -- 126.03/31.67 c N dy 328 50374 783 1365 66104 9935 174346 629985 105.69 20.06 -- 132.42/33.21 c N dy 356 54442 783 1365 66104 13798 174346 1059223 104.00 20.17 -- 140.03/35.15 c N dy 384 58525 783 1365 66104 17722 174346 1486557 119.60 20.28 -- 145.21/36.47 c N dy 412 62533 783 1365 66104 12057 174346 787916 104.94 20.18 -- 152.00/38.10 c N dy 439 66536 783 1365 66104 15884 174346 1222249 133.83 20.44 -- 158.01/39.64 c S st 459 69388 783 1365 66104 18614 174346 1500060 117.90 20.42 -- 158.79/39.86 c S st 459 69889 783 1365 66104 19115 174346 1534077 117.90 20.42 -- 158.79/39.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 158.79/39.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 181.96/45.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 23.26 182.36/45.70 c Calc non-exist non-lernt bins v-fix: 0 done: 783 time: 0.03 s 182.36/45.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 182.36/45.72 c Subs w/ non-existent bins: 0 time: 0.07 s 182.36/45.76 c bin-w-bin subsume rem 0 bins time: 0.05 s 188.78/47.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.45 s 188.78/47.38 c Removed useless bin: 0 fixed: 0 bprops: 0.26M time: 0.03 s 202.33/50.75 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 226.30/56.72 c Added 8 vars tried: 80000 time: 23.88 226.70/56.89 c ORs : 8 avg-s: 0.0 cl-sh: 22650 l-rem: 22650 b-add: 16 v-rep: 0 cl-rem: 0 avg s: nan T: 24.55 227.10/56.91 c lits-rem: 1620 cl-subs: 1668 v-elim: 783 v-fix: 0 time: 38.07 s 227.10/56.91 c learnt bin added due to v-elim: 0 227.10/56.91 c vivif2 -- cl tried 1373 cl shrink 1 lits rem 1 time: 0.00 227.10/56.93 c vivif2 -- cl tried 17447 cl shrink 1 lits rem 1 time: 0.07 228.69/57.37 c asymm cl-useful: 0/369/1373 lits-rem:0 time: 1.75 228.69/57.37 c calculated reachability. Time: 0.00 228.69/57.37 c N dy 459 69889 791 1373 66120 17447 174134 1334178 117.90 20.42 -- 228.69/57.37 c F st 459 69889 791 1373 66120 17447 174134 1334178 117.90 20.42 -- 232.31/58.29 c Decided on static restart strategy 237.48/59.50 c N dy 482 74451 791 1373 66121 11367 174134 693966 98.26 20.45 -- 241.88/60.68 c N dy 516 79322 791 1373 66126 16009 174134 1046063 59.34 20.16 -- 249.08/62.45 c N dy 552 84498 791 1373 66126 20967 174134 1520764 67.12 20.16 -- 255.47/64.07 c N dy 590 90026 791 1373 66126 14794 174134 912042 105.80 20.00 -- 264.26/66.22 c N dy 630 95790 791 1373 66133 20251 174134 1368552 110.55 19.91 -- 277.83/69.65 c N dy 673 102009 791 1373 66133 13823 174134 825788 93.92 19.91 -- 281.43/70.59 c S st 692 104834 791 1373 66133 16484 174134 1066146 79.47 19.82 -- 282.23/70.72 c S st 692 105340 791 1373 66133 16984 174134 1097392 79.47 19.82 -- 282.23/70.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 282.23/70.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 300.61/75.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 1004 BRemL: 16 BRemN: 0 CBin: 0 P: 60.0M T: 18.50 300.61/75.37 c Calc non-exist non-lernt bins v-fix: 0 done: 791 time: 0.03 s 300.61/75.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 300.61/75.38 c Subs w/ non-existent bins: 0 time: 0.06 s 301.01/75.41 c bin-w-bin subsume rem 0 bins time: 0.05 s 307.43/77.03 c subs with bin: 0 lits-rem: 243 v-fix: 0 time: 6.46 s 307.43/77.04 c Removed useless bin: 0 fixed: 0 bprops: 0.16M time: 0.02 s 315.81/79.12 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 0.08 315.81/79.13 c lits-rem: 888 cl-subs: 2068 v-elim: 1160 v-fix: 0 time: 8.38 s 315.81/79.13 c learnt bin added due to v-elim: 0 315.81/79.13 c vivif2 -- cl tried 1880 cl shrink 268 lits rem 269 time: 0.00 315.81/79.16 c vivif2 -- cl tried 14916 cl shrink 1213 lits rem 1813 time: 0.10 317.39/79.53 c asymm cl-useful: 0/352/1614 lits-rem:0 time: 1.47 317.39/79.53 c calculated reachability. Time: 0.00 317.39/79.53 c N dy 692 105340 788 1614 66869 14916 174351 928219 79.47 19.82 -- 325.38/81.57 c N dy 739 112170 788 1614 66871 21379 174351 1330163 52.33 19.57 -- 338.56/84.88 c N dy 789 119410 788 1614 66871 15033 174351 801944 92.01 19.69 -- 350.55/87.86 c N dy 841 127063 788 1614 66871 22324 174351 1373242 70.03 19.64 -- 367.32/92.09 c N dy 897 135265 788 1614 66871 15891 174351 807048 77.49 19.68 -- 378.91/94.90 c N dy 955 143896 788 1614 66871 24024 174351 1347442 55.42 19.44 -- 392.89/98.46 c N dy 1018 153176 788 1614 66871 17655 174351 914900 78.02 19.33 -- 399.30/100.05 c S st 1051 158010 788 1614 66871 22237 174351 1244381 73.53 19.24 -- 400.08/100.20 c S st 1051 158514 788 1614 66871 22740 174351 1279935 73.53 19.24 -- 400.08/100.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 400.08/100.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 417.66/104.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 1 BRemL: 0 BRemN: 268 CBin: 0 P: 60.0M T: 17.74 417.66/104.65 c Calc non-exist non-lernt bins v-fix: 0 done: 788 time: 0.04 s 417.66/104.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 417.66/104.67 c Subs w/ non-existent bins: 0 time: 0.09 s 418.06/104.71 c bin-w-bin subsume rem 264 bins time: 0.04 s 424.45/106.37 c subs with bin: 19 lits-rem: 0 v-fix: 0 time: 6.65 s 424.45/106.37 c Removed useless bin: 0 fixed: 0 bprops: 0.18M time: 0.02 s 433.24/108.50 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.09 433.24/108.52 c lits-rem: 1406 cl-subs: 2028 v-elim: 779 v-fix: 0 time: 8.57 s 433.24/108.52 c learnt bin added due to v-elim: 0 433.24/108.52 c vivif2 -- cl tried 1614 cl shrink 1 lits rem 2 time: 0.00 433.24/108.54 c vivif2 -- cl tried 20693 cl shrink 36 lits rem 36 time: 0.08 434.86/108.93 c asymm cl-useful: 0/410/1614 lits-rem:0 time: 1.56 434.86/108.93 c calculated reachability. Time: 0.00 434.86/108.93 c N dy 1051 158514 788 1614 66340 20693 173813 1163564 73.53 19.24 -- 455.20/114.03 c N dy 1120 168766 823 1614 70076 32647 176143 1915202 75.48 19.25 -- 473.59/118.61 c N dy 1194 179605 823 1614 70076 25785 176143 1427236 68.76 19.27 -- 493.95/123.79 c N dy 1272 191073 823 1614 70076 18996 176143 821062 76.88 19.12 -- 515.92/129.27 c N dy 1355 203413 823 1614 70077 30701 176143 1690571 76.80 19.10 -- 539.10/135.02 c N dy 1443 216405 823 1614 70081 24698 176143 1208756 83.31 18.97 -- 567.46/142.14 c N dy 1537 230309 823 1614 70082 37799 176143 2146670 71.10 18.89 -- 576.64/144.42 c S st 1589 237771 823 1614 71267 26718 177087 1171343 66.15 18.82 -- 577.04/144.55 c S st 1589 238272 823 1614 71267 27219 177087 1208965 66.15 18.82 -- 577.04/144.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 577.04/144.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 594.22/148.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 19 BRemL: 193 BRemN: 236 CBin: 0 P: 60.0M T: 17.04 594.22/148.83 c Calc non-exist non-lernt bins v-fix: 0 done: 823 time: 0.04 s 594.22/148.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 594.22/148.86 c Subs w/ non-existent bins: 1581 time: 0.11 s 594.22/148.87 c Replacing 2 vars Replaced 28 lits Time: 0.02 s 594.62/148.90 c bin-w-bin subsume rem 1442 bins time: 0.05 s 600.62/150.49 c subs with bin: 31 lits-rem: 36 v-fix: 0 time: 6.37 s 600.62/150.49 c Removed useless bin: 505 fixed: 0 bprops: 0.12M time: 0.02 s 607.81/152.22 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 0.09 607.81/152.23 c lits-rem: 682 cl-subs: 1915 v-elim: 779 v-fix: 0 time: 6.94 s 607.81/152.23 c learnt bin added due to v-elim: 0 607.81/152.23 c vivif2 -- cl tried 1614 cl shrink 1 lits rem 1 time: 0.00 607.81/152.26 c vivif2 -- cl tried 23691 cl shrink 341 lits rem 342 time: 0.10 609.01/152.59 c asymm cl-useful: 0/165/1614 lits-rem:0 time: 1.31 609.01/152.59 c calculated reachability. Time: 0.00 609.01/152.59 c N dy 1589 238272 821 1614 68927 23670 175596 1103031 66.15 18.82 -- 637.77/159.72 c N dy 1690 253503 821 1614 68929 37881 175596 1965042 65.83 18.75 -- 658.15/164.86 c N dy 1801 269782 821 1614 68930 33804 175596 1432041 39.96 18.45 -- 681.72/170.78 c N dy 1920 287051 821 1614 68930 29536 175596 1377394 81.63 18.36 -- 714.48/178.96 c N dy 2046 305461 857 1614 71971 26080 177016 1104928 85.19 18.28 -- 758.42/189.93 c N dy 2179 325080 857 1614 71971 44637 177016 2361756 65.38 18.28 -- 797.17/199.69 c N dy 2314 345089 857 1614 71971 40485 177016 2096579 75.29 18.32 -- 820.75/205.53 c S st 2397 357410 857 1614 71976 28366 177016 1173892 83.23 18.21 -- 821.17/205.68 c S st 2397 357911 857 1614 71976 28866 177016 1213758 83.23 18.21 -- 821.17/205.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 821.17/205.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 838.33/209.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bin: 732 BRemL: 181 BRemN: 2332 CBin: 0 P: 60.0M T: 17.14 838.33/209.98 c Calc non-exist non-lernt bins v-fix: 0 done: 857 time: 0.04 s 838.33/209.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 838.74/210.01 c Subs w/ non-existent bins: 634 time: 0.12 s 838.74/210.03 c Replacing 3 vars Replaced 2693 lits Time: 0.07 s 838.74/210.06 c bin-w-bin subsume rem 607 bins time: 0.05 s 845.52/211.70 c subs with bin: 4 lits-rem: 4 v-fix: 0 time: 6.57 s 845.52/211.71 c Removed useless bin: 97 fixed: 0 bprops: 0.09M time: 0.01 s 851.93/213.37 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 0.09 851.93/213.38 c lits-rem: 684 cl-subs: 2137 v-elim: 779 v-fix: 0 time: 6.69 s 851.93/213.38 c learnt bin added due to v-elim: 0 851.93/213.39 c vivif2 -- cl tried 1614 cl shrink 3 lits rem 3 time: 0.00 852.33/213.41 c vivif2 -- cl tried 26090 cl shrink 139 lits rem 143 time: 0.10 853.51/213.70 c asymm cl-useful: 0/391/1614 lits-rem:0 time: 1.18 853.51/213.71 c calculated reachability. Time: 0.00 853.51/213.71 c N dy 2397 357911 854 1614 69506 26071 172139 1130052 83.23 18.21 -- 896.27/224.48 c N dy 2533 378023 854 1614 69536 45947 172187 2500785 55.66 18.26 -- 928.21/232.48 c N dy 2668 398171 854 1614 69539 40135 172187 1681811 37.37 18.05 -- 956.98/239.68 c N dy 2803 418217 890 1614 72621 35654 174125 1422320 69.14 17.96 -- 996.12/249.47 c N dy 2937 438301 890 1614 72628 54460 174125 2533257 39.12 17.86 -- 1019.32/255.29 c N dy 3073 458358 890 1614 72633 45848 174125 1824753 73.84 17.75 -- 1054.07/263.95 c N dy 3209 478386 890 1614 72634 36998 174125 1324503 54.41 17.73 -- 1092.00/273.41 c Finding binary XORs T: 0.01 s found: 3 1100.79/275.62 c N dy 3344 498524 890 1614 73544 56571 174703 2563321 46.96 17.72 -- 1121.96/280.99 c N dy 3481 518555 890 1614 73544 46686 174703 1561591 60.98 17.60 -- 1149.92/287.99 c S st 3606 536866 890 1614 73547 34444 174703 1067687 60.49 17.60 -- 1150.74/288.11 c S st 3606 537369 890 1614 73547 34946 174703 1102631 60.49 17.60 -- 1150.74/288.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1150.74/288.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1166.30/292.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 8 BRemL: 325 BRemN: 1197 CBin: 0 P: 60.0M T: 15.75 1166.30/292.07 c Calc non-exist non-lernt bins v-fix: 0 done: 890 time: 0.04 s 1166.30/292.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1166.70/292.11 c Subs w/ non-existent bins: 1234 time: 0.17 s 1166.70/292.12 c Replacing 4 vars Replaced 469 lits Time: 0.02 s 1166.70/292.15 c bin-w-bin subsume rem 1083 bins time: 0.05 s 1173.11/293.74 c subs with bin: 124 lits-rem: 59 v-fix: 0 time: 6.36 s 1173.11/293.75 c Removed useless bin: 75 fixed: 0 bprops: 0.09M time: 0.01 s 1179.89/295.47 c ORs : 15 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 5 avg s: 3.0 T: 0.08 1187.08/297.29 c Added 9 vars tried: 80000 time: 7.28 1187.48/297.33 c ORs : 9 avg-s: 0.0 cl-sh: 9096 l-rem: 9096 b-add: 18 v-rep: 0 cl-rem: 17 avg s: 3.0 T: 7.43 1187.48/297.34 c lits-rem: 713 cl-subs: 3284 v-elim: 779 v-fix: 0 time: 14.37 s 1187.48/297.34 c learnt bin added due to v-elim: 0 1187.48/297.34 c vivif2 -- cl tried 1622 cl shrink 9 lits rem 12 time: 0.00 1187.48/297.38 c vivif2 -- cl tried 30283 cl shrink 1005 lits rem 1100 time: 0.13 1188.68/297.66 c asymm cl-useful: 0/380/1622 lits-rem:0 time: 1.13 1188.68/297.66 c calculated reachability. Time: 0.00 1188.68/297.66 c N dy 3606 537369 895 1622 71224 29963 171869 1000544 60.49 17.60 -- 1188.68/297.66 c F st 3606 537369 895 1622 71224 29963 171869 1000544 60.49 17.60 -- 1190.70/298.14 c Decided on static restart strategy 1225.44/306.83 c N dy 3730 557448 895 1622 71304 48714 171869 2771217 72.76 17.88 -- 1270.18/318.07 c N dy 3864 577572 895 1622 71310 38308 171869 1905713 110.12 18.44 -- 1316.52/329.66 c N dy 3997 597699 895 1622 71324 57501 171869 4372622 64.64 19.04 -- 1348.91/337.71 c N dy 4130 617719 895 1622 71330 45799 171869 2418957 104.96 19.21 -- 1400.82/350.79 c N dy 4262 637721 933 1622 74506 33447 172911 1034226 89.06 19.45 -- 1435.17/359.37 c N dy 4394 657739 933 1622 74506 52774 172911 2918867 88.08 19.58 -- 1475.93/369.58 c N dy 4524 677753 933 1622 74524 38168 172911 1380102 65.73 19.64 -- 1512.68/378.73 c N dy 4656 697897 933 1622 74524 57385 172911 3308939 88.31 19.87 -- 1558.22/390.18 c N dy 4787 717970 933 1622 75255 42428 173361 1669418 83.35 20.01 -- 1596.98/399.84 c N dy 4918 737985 933 1622 75255 61699 173361 3285957 81.51 20.18 -- 1629.75/408.04 c N dy 5051 758113 973 1622 77581 46247 174483 2035470 120.27 20.29 -- 1674.88/419.33 c N dy 5183 778254 973 1622 77581 65511 174483 3993265 91.79 20.50 -- 1719.62/430.56 c N dy 5315 798378 973 1622 77581 47751 174483 2318683 118.98 20.80 -- 1739.20/435.47 c S st 5366 806054 973 1622 77581 55087 174483 3113211 83.36 20.89 -- 1740.40/435.77 c S st 5366 806555 973 1622 77581 55587 174483 3146903 83.36 20.89 -- 1740.40/435.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1740.40/435.77 c Cache BProp: 0 Set: 0 BXProp: 2 T: 0.00 1777.15/444.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 530 BRemL: 1066 BRemN: 1858 CBin: 0 P: 60.0M T: 36.57 1777.15/444.94 c Calc non-exist non-lernt bins v-fix: 0 done: 973 time: 0.05 s 1777.15/444.94 c Cache BProp: 0 Set: 0 BXProp: 4 T: 0.00 1777.55/445.01 c Subs w/ non-existent bins: 1168 time: 0.28 s 1777.55/445.02 c Replacing 6 vars Replaced 407 lits Time: 0.04 s 1777.55/445.09 c bin-w-bin subsume rem 1255 bins time: 0.05 s 1785.54/447.05 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 7.82 s 1785.54/447.05 c Removed useless bin: 141 fixed: 0 bprops: 0.08M time: 0.02 s 1822.28/456.27 c ORs : 34 avg-s: 2.0 cl-sh: 28 l-rem: 28 b-add: 2 v-rep: 0 cl-rem: 13 avg s: 3.0 T: 0.20 1822.68/456.31 c lits-rem: 1250 cl-subs: 7563 v-elim: 1081 v-fix: 0 time: 36.96 s 1822.68/456.31 c learnt bin added due to v-elim: 0 1822.68/456.31 c vivif2 -- cl tried 1988 cl shrink 248 lits rem 248 time: 0.00 1822.68/456.36 c vivif2 -- cl tried 46846 cl shrink 528 lits rem 1152 time: 0.22 1825.08/456.92 c asymm cl-useful: 0/142/1740 lits-rem:0 time: 2.23 1825.08/456.92 c calculated reachability. Time: 0.00 1825.08/456.92 c N dy 5366 806555 964 1740 73657 46822 170548 2381913 83.36 20.89 -- 1885.40/472.09 c N dy 5496 826603 1004 1740 75652 66411 171122 4506369 154.68 21.12 -- 1931.75/483.66 c N dy 5628 846700 1004 1740 75657 48248 171122 2164283 99.69 21.22 -- 1974.50/494.30 c N dy 5760 866757 1004 1740 75657 67124 171122 4076534 91.94 21.30 -- 2014.44/504.36 c N dy 5892 886848 1004 1740 76201 48506 171122 2107067 101.79 21.30 -- 2060.81/515.93 c N dy 6022 906979 1004 1740 76201 67696 171122 4040378 112.87 21.36 -- 2109.52/528.13 c N dy 6153 927005 1004 1740 76201 47788 171122 2049239 130.00 21.42 -- 2147.88/537.77 c N dy 6286 947098 1004 1740 76236 66919 171122 3874044 77.90 21.46 -- 2203.81/551.77 c N dy 6417 967119 1004 1740 76236 46058 171122 1703479 83.19 21.55 -- 2251.75/563.71 c N dy 6547 987250 1004 1740 76236 65350 171122 3305341 91.54 21.58 -- 2293.72/574.24 c N dy 6679 1007304 1004 1740 76237 43341 171122 1442667 92.02 21.60 -- 2333.64/584.23 c N dy 6810 1027348 1004 1740 76237 62231 171122 3256588 123.18 21.66 -- 2404.36/601.97 c N dy 6940 1047463 1004 1740 76237 81232 171122 5025638 111.16 21.69 -- 2436.71/610.00 c N dy 7072 1067548 1004 1740 76237 58579 171122 2912777 90.36 21.84 -- 2485.86/622.36 c N dy 7202 1087650 1004 1740 76237 77488 171122 4725667 97.07 21.92 -- 2525.41/632.29 c N dy 7333 1107719 1004 1740 76242 53998 171122 2224448 67.27 21.95 -- 2575.35/644.75 c N dy 7464 1127772 1004 1740 76242 72784 171122 3935490 86.12 22.05 -- 2626.08/657.45 c N dy 7596 1147836 1004 1740 76242 48375 171122 1704044 73.58 22.09 -- 2672.42/669.00 c N dy 7726 1167842 1004 1740 76242 67153 171122 3334003 89.19 22.11 -- 2676.42/670.08 c Finding binary XORs T: 0.01 s found: 0 2750.35/688.55 c N dy 7855 1187960 1004 1740 76242 86003 171122 4963507 81.45 22.19 -- 2787.49/697.81 c N dy 7985 1208036 1004 1740 76250 60477 171124 2694442 103.14 22.23 -- 2792.68/699.19 c S st 7997 1209832 1004 1740 76250 62193 171124 2849005 89.79 22.24 -- 2793.88/699.42 c S st 7997 1210333 1004 1740 76250 62692 171124 2880400 89.79 22.24 -- 2793.88/699.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 2793.88/699.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2821.84/706.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 2 BRemL: 829 BRemN: 2112 CBin: 0 P: 60.0M T: 28.02 2821.84/706.45 c Calc non-exist non-lernt bins v-fix: 0 done: 1004 time: 0.05 s 2821.84/706.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2822.24/706.54 c Subs w/ non-existent bins: 312 time: 0.34 s 2822.63/706.60 c bin-w-bin subsume rem 411 bins time: 0.04 s 2830.22/708.53 c subs with bin: 2 lits-rem: 10 v-fix: 0 time: 7.70 s 2830.22/708.53 c Removed useless bin: 57 fixed: 0 bprops: 0.08M time: 0.02 s 2854.20/714.59 c ORs : 34 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 3 avg s: 3.0 T: 0.18 2875.37/719.84 c Added 11 vars tried: 80000 time: 20.98 2876.17/720.05 c ORs : 11 avg-s: 0.0 cl-sh: 21737 l-rem: 21737 b-add: 23 v-rep: 0 cl-rem: 7 avg s: 3.0 T: 21.81 2876.17/720.09 c lits-rem: 1286 cl-subs: 5708 v-elim: 773 v-fix: 0 time: 46.17 s 2876.17/720.09 c learnt bin added due to v-elim: 0 2876.17/720.09 c vivif2 -- cl tried 1751 cl shrink 1 lits rem 1 time: 0.00 2876.57/720.15 c vivif2 -- cl tried 56659 cl shrink 519 lits rem 1210 time: 0.26 2878.57/720.62 c asymm cl-useful: 0/115/1751 lits-rem:0 time: 1.86 2878.57/720.62 c calculated reachability. Time: 0.00 2878.57/720.62 c N dy 7997 1210333 1015 1751 72910 56616 166657 2431585 89.79 22.24 -- 2917.33/730.33 c N dy 8131 1230439 1015 1751 72911 75711 166657 4445837 84.80 22.37 -- 2969.66/743.48 c N dy 8263 1250516 1015 1751 72911 49875 166657 1952603 123.26 22.51 -- 3005.23/752.31 c N dy 8397 1270568 1015 1751 72911 69240 166657 4100512 109.55 22.59 -- 3071.92/769.06 c N dy 8528 1290673 1026 1751 73859 88419 166703 5882215 95.06 22.67 -- 3115.49/779.94 c N dy 8660 1310680 1026 1751 73859 60952 166703 2777783 73.78 22.77 -- 3153.82/789.51 c N dy 8793 1330747 1026 1751 73859 80252 166703 4601559 90.88 22.84 -- 3198.59/800.79 c N dy 8925 1350792 1026 1751 74329 51965 166789 1846276 108.96 22.92 -- 3231.33/808.98 c N dy 9056 1370895 1026 1751 74329 71275 166789 3494325 77.78 22.90 -- 3282.86/821.81 c N dy 9186 1390937 1026 1751 74329 90444 166789 5087872 134.06 22.96 -- 3312.84/829.39 c N dy 9320 1411058 1053 1751 75768 60995 166903 2602300 89.44 23.05 -- 3363.56/842.04 c N dy 9450 1431077 1053 1751 75768 79831 166903 4292954 80.80 23.16 -- 3431.49/859.04 c N dy 9581 1451206 1053 1751 75812 98744 166903 6110808 136.30 23.29 -- 3465.43/867.60 c N dy 9714 1471345 1053 1751 75812 68406 166903 2886002 85.84 23.35 -- 3520.56/881.32 c N dy 9844 1491373 1053 1751 75813 87405 166903 4150181 87.70 23.38 -- 3555.72/890.18 c N dy 9976 1511427 1053 1751 75850 56014 166919 1946154 81.27 23.45 -- 3593.67/899.60 c N dy 10108 1531510 1092 1751 77146 75109 167085 3447778 58.79 23.54 -- 3641.20/911.52 c N dy 10241 1551599 1092 1751 77146 94319 167085 5180399 103.98 23.63 -- 3681.97/921.74 c N dy 10372 1571757 1092 1751 77146 62258 167085 2469560 67.75 23.71 -- 3734.30/934.80 c N dy 10499 1591869 1092 1751 77257 81476 167089 3788663 62.21 23.76 -- 3774.25/944.89 c N dy 10630 1611957 1092 1751 77258 100234 167089 5299390 86.31 23.82 -- 3807.39/953.10 c N dy 10763 1632087 1092 1751 77259 67059 167089 2832312 96.72 23.91 -- 3848.95/963.55 c N dy 10894 1652226 1092 1751 77276 86372 167095 4333717 57.96 23.92 -- 3888.09/973.33 c N dy 11026 1672379 1092 1751 77276 105845 167095 6226442 86.81 23.94 -- 3918.83/981.06 c N dy 11156 1692489 1092 1751 77276 71507 167095 2854498 102.83 23.97 -- 3954.41/989.98 c S st 11273 1710334 1092 1751 77276 88530 167095 4322849 101.63 24.06 -- 3955.59/990.24 c S st 11273 1710837 1092 1751 77276 89032 167095 4355017 101.63 24.06 -- 3955.59/990.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 3955.59/990.25 c Cache BProp: 0 Set: 0 BXProp: 7 T: 0.00 3981.17/996.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bin: 0 BRemL: 2356 BRemN: 413 CBin: 0 P: 60.1M T: 25.71 3981.54/996.70 c Calc non-exist non-lernt bins v-fix: 0 done: 1092 time: 0.05 s 3981.54/996.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3981.94/996.85 c Subs w/ non-existent bins: 53 time: 0.57 s 3983.54/997.27 c Replacing 12 vars Replaced 57897 lits Time: 1.69 s 3983.94/997.36 c bin-w-bin subsume rem 89 bins time: 0.05 s 3991.94/999.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 7.87 s 3991.94/999.34 c Removed useless bin: 11 fixed: 0 bprops: 0.08M time: 0.02 s 4044.67/1012.58 c ORs : 65 avg-s: 2.0 cl-sh: 49 l-rem: 49 b-add: 45 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 0.41 4075.02/1020.11 c Added 11 vars tried: 80000 time: 30.08 4077.44/1020.75 c ORs : 11 avg-s: 0.0 cl-sh: 46622 l-rem: 46622 b-add: 22 v-rep: 0 cl-rem: 22 avg s: 3.0 T: 32.60 4077.85/1020.80 c lits-rem: 440 cl-subs: 12521 v-elim: 891 v-fix: 0 time: 85.74 s 4077.85/1020.80 c learnt bin added due to v-elim: 0 4077.85/1020.80 c vivif2 -- cl tried 1898 cl shrink 67 lits rem 67 time: 0.01 4078.22/1020.90 c vivif2 -- cl tried 76390 cl shrink 1305 lits rem 2598 time: 0.39 4079.42/1021.24 c asymm cl-useful: 0/157/1831 lits-rem:0 time: 1.33 4079.42/1021.24 c calculated reachability. Time: 0.00 4079.42/1021.24 c N dy 11273 1710837 1090 1831 74353 76388 165939 3350216 101.63 24.06 -- 4121.79/1031.81 c N dy 11404 1730947 1090 1831 74384 95708 165939 5136501 84.35 24.02 -- 4160.93/1041.67 c N dy 11535 1751022 1090 1831 74385 60595 165939 2065859 73.89 23.99 -- 4216.04/1055.40 c N dy 11666 1771117 1090 1831 74398 79494 165939 3485305 64.42 23.98 -- 4277.96/1070.90 c N dy 11799 1791220 1090 1831 75044 98593 165939 4998214 99.57 23.97 -- 4349.89/1088.94 c N dy 11929 1811304 1090 1831 75044 62534 165939 2141166 63.64 23.94 -- 4391.02/1099.21 c N dy 12060 1831408 1127 1831 76578 82006 166163 3578377 66.53 23.92 -- 4456.94/1115.75 c N dy 12190 1851532 1127 1831 76578 101013 166163 4933693 61.23 23.91 -- 4532.83/1134.76 c N dy 12318 1871581 1127 1831 76708 63840 166171 2157500 61.26 23.90 -- 4575.58/1145.48 c N dy 12449 1891628 1151 1831 77552 82969 166273 3458576 77.68 23.88 -- 4654.27/1165.17 c N dy 12576 1911760 1151 1831 77552 101777 166273 4525697 53.80 23.86 -- 4734.17/1185.12 c N dy 12704 1931873 1151 1831 77721 64021 166273 2422495 132.45 23.88 -- 4783.72/1197.58 c N dy 12834 1951968 1151 1831 77739 82956 166273 4083393 103.18 23.87 --
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-3262813-1304136257/watcher-3262813-1304136257 -o /tmp/evaluation-result-3262813-1304136257/solver-3262813-1304136257 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262813-1304136257.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 8.30 7.99 7.44 6/180 20224 /proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=23096 CPUtime=0 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 996 0 0 0 0 0 0 0 25 0 1 0 525226181 23650304 936 33554432000 4194304 4797429 140735142895584 18446744073709551615 244446613687 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/20224/statm: 5774 936 346 148 0 703 0 [startup+0.0385919 s] /proc/loadavg: 8.30 7.99 7.44 6/180 20224 /proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=54540 CPUtime=0.03 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 1841 0 0 0 3 0 0 0 25 0 1 0 525226181 55848960 1777 33554432000 4194304 4797429 140735142895584 18446744073709551615 244446606021 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/20224/statm: 13635 1779 348 148 0 8564 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 54540 [startup+0.126009 s] /proc/loadavg: 8.30 7.99 7.44 6/180 20224 /proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=678852 CPUtime=0.3 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 3365 0 0 0 30 0 0 0 25 0 4 0 525226181 695144448 3268 33554432000 4194304 4797429 140735142895584 18446744073709551615 244446641812 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 169713 3269 399 148 0 164642 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 678852 [startup+0.300477 s] /proc/loadavg: 8.30 7.99 7.44 6/180 20224 /proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=679380 CPUtime=0.99 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 4799 0 0 0 99 0 0 0 25 0 4 0 525226181 695685120 4680 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 169845 4680 409 148 0 164774 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 679380 [startup+0.700404 s] /proc/loadavg: 8.30 7.99 7.44 6/180 20224 /proc/meminfo: memFree=22995356/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=680060 CPUtime=2.59 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 6150 0 0 0 259 0 0 0 25 0 4 0 525226181 696381440 6025 33554432000 4194304 4797429 140735142895584 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 170015 6025 411 148 0 164944 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 680060 [startup+1.50025 s] /proc/loadavg: 8.35 8.01 7.45 9/184 20228 /proc/meminfo: memFree=22969532/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=685240 CPUtime=5.79 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 8967 0 0 0 578 1 0 0 25 0 4 0 525226181 701685760 6586 33554432000 4194304 4797429 140735142895584 18446744073709551615 4377434 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 171310 6587 412 148 0 166239 0 [pid=20224/tid=20226] ppid=20222 vsize=685240 CPUtime=1.43 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 1663 0 0 0 143 0 0 0 25 0 4 0 525226187 701685760 6587 33554432000 4194304 4797429 140735142895584 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=685240 CPUtime=1.42 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 1647 0 0 0 142 0 0 0 20 0 4 0 525226187 701685760 6587 33554432000 4194304 4797429 140735142895584 18446744073709551615 4423712 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=685240 CPUtime=1.43 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 1555 0 0 0 143 0 0 0 25 0 4 0 525226187 701685760 6587 33554432000 4194304 4797429 140735142895584 18446744073709551615 244446641809 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 5.79 Current children cumulated vsize (KiB) 685240 [startup+3.10096 s] /proc/loadavg: 8.35 8.01 7.45 9/184 20228 /proc/meminfo: memFree=22963084/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=688076 CPUtime=12.18 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 12208 0 0 0 1217 1 0 0 25 0 4 0 525226181 704589824 9064 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 172019 9064 415 148 0 166948 0 [pid=20224/tid=20226] ppid=20222 vsize=688076 CPUtime=3.02 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 2373 0 0 0 302 0 0 0 25 0 4 0 525226187 704589824 9064 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=688076 CPUtime=3.01 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 2363 0 0 0 301 0 0 0 25 0 4 0 525226187 704589824 9064 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=688076 CPUtime=3.03 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 2286 0 0 0 303 0 0 0 25 0 4 0 525226187 704589824 9064 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 12.18 Current children cumulated vsize (KiB) 688076 [startup+6.30036 s] /proc/loadavg: 8.33 8.01 7.45 9/184 20228 /proc/meminfo: memFree=22942992/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=693272 CPUtime=24.97 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 17600 0 0 0 2494 3 0 0 25 0 4 0 525226181 709910528 13484 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 173318 13484 415 148 0 168247 0 [pid=20224/tid=20226] ppid=20222 vsize=693272 CPUtime=6.22 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 3415 0 0 0 622 0 0 0 25 0 4 0 525226187 709910528 13484 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=693272 CPUtime=6.19 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 3835 0 0 0 619 0 0 0 25 0 4 0 525226187 709910528 13484 33554432000 4194304 4797429 140735142895584 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=693272 CPUtime=6.23 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 3438 0 0 0 623 0 0 0 25 0 4 0 525226187 709910528 13484 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 24.97 Current children cumulated vsize (KiB) 693272 [startup+12.7012 s] /proc/loadavg: 8.30 8.01 7.46 9/184 20228 /proc/meminfo: memFree=22921092/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=694552 CPUtime=50.53 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 21336 0 0 0 5049 4 0 0 25 0 4 0 525226181 711221248 15991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4519904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 173638 15991 416 148 0 168567 0 [pid=20224/tid=20226] ppid=20222 vsize=694552 CPUtime=12.62 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 3721 0 0 0 1262 0 0 0 25 0 4 0 525226187 711221248 15991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=694552 CPUtime=12.56 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 4212 0 0 0 1256 0 0 0 25 0 4 0 525226187 711221248 15991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=694552 CPUtime=12.63 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 3725 0 0 0 1263 0 0 0 25 0 4 0 525226187 711221248 15991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524155 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 50.53 Current children cumulated vsize (KiB) 694552 [startup+25.5008 s] /proc/loadavg: 8.33 8.02 7.47 9/184 20229 /proc/meminfo: memFree=22933076/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=697684 CPUtime=101.66 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 26083 0 0 0 10161 5 0 0 25 0 4 0 525226181 714428416 16368 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429174 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 174421 16368 418 148 0 169350 0 [pid=20224/tid=20226] ppid=20222 vsize=697684 CPUtime=25.42 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 4537 0 0 0 2542 0 0 0 25 0 4 0 525226187 714428416 16368 33554432000 4194304 4797429 140735142895584 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=697684 CPUtime=25.29 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 4879 0 0 0 2528 1 0 0 25 0 4 0 525226187 714428416 16368 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=697684 CPUtime=25.43 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 4565 0 0 0 2543 0 0 0 25 0 4 0 525226187 714428416 16368 33554432000 4194304 4797429 140735142895584 18446744073709551615 4519915 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 101.66 Current children cumulated vsize (KiB) 697684 [startup+51.101 s] /proc/loadavg: 8.20 8.02 7.48 9/184 20229 /proc/meminfo: memFree=22924808/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=700440 CPUtime=203.93 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 34943 0 0 0 20384 9 0 0 25 0 4 0 525226181 717250560 19219 33554432000 4194304 4797429 140735142895584 18446744073709551615 4495559 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 175110 19219 419 148 0 170039 0 [pid=20224/tid=20226] ppid=20222 vsize=700440 CPUtime=51.02 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 5725 0 0 0 5101 1 0 0 25 0 4 0 525226187 717250560 19219 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=700440 CPUtime=50.75 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 6090 0 0 0 5074 1 0 0 25 0 4 0 525226187 717250560 19219 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=700440 CPUtime=51.02 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 5754 0 0 0 5102 0 0 0 25 0 4 0 525226187 717250560 19219 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 203.93 Current children cumulated vsize (KiB) 700440 [startup+102.306 s] /proc/loadavg: 8.14 8.03 7.51 9/184 20231 /proc/meminfo: memFree=22881868/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=704048 CPUtime=408.49 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 50844 0 0 0 40835 14 0 0 25 0 4 0 525226181 720945152 21355 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 176012 21355 421 148 0 170941 0 [pid=20224/tid=20226] ppid=20222 vsize=704048 CPUtime=102.23 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 6728 0 0 0 10222 1 0 0 25 0 4 0 525226187 720945152 21355 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=704048 CPUtime=101.69 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 7725 0 0 0 10168 1 0 0 25 0 4 0 525226187 720945152 21355 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=704048 CPUtime=102.23 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 7113 0 0 0 10222 1 0 0 25 0 4 0 525226187 720945152 21355 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 408.49 Current children cumulated vsize (KiB) 704048 [startup+162.3 s] /proc/loadavg: 8.10 8.04 7.54 9/184 20232 /proc/meminfo: memFree=22873036/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=707308 CPUtime=648.16 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 67266 0 0 0 64798 18 0 0 25 0 4 0 525226181 724283392 22509 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 176827 22509 421 148 0 171756 0 [pid=20224/tid=20226] ppid=20222 vsize=707308 CPUtime=162.23 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 8199 0 0 0 16221 2 0 0 25 0 4 0 525226187 724283392 22509 33554432000 4194304 4797429 140735142895584 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=707308 CPUtime=161.38 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 9343 0 0 0 16136 2 0 0 25 0 4 0 525226187 724283392 22509 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=707308 CPUtime=162.23 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 8893 0 0 0 16221 2 0 0 25 0 4 0 525226187 724283392 22509 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 648.16 Current children cumulated vsize (KiB) 707308 [startup+222.301 s] /proc/loadavg: 8.09 8.04 7.57 9/184 20234 /proc/meminfo: memFree=22868652/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=710296 CPUtime=887.86 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 83493 0 0 0 88763 23 0 0 25 0 4 0 525226181 727343104 25039 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 177574 25039 421 148 0 172503 0 [pid=20224/tid=20226] ppid=20222 vsize=710296 CPUtime=222.23 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 9689 0 0 0 22221 2 0 0 25 0 4 0 525226187 727343104 25039 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=710296 CPUtime=221.07 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 10932 0 0 0 22105 2 0 0 25 0 4 0 525226187 727343104 25039 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=710296 CPUtime=222.23 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 10439 0 0 0 22221 2 0 0 25 0 4 0 525226187 727343104 25039 33554432000 4194304 4797429 140735142895584 18446744073709551615 4427405 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 887.86 Current children cumulated vsize (KiB) 710296 [startup+282.301 s] ################ # More data... # ################ [pid=20224] ppid=20222 vsize=720256 CPUtime=2565.78 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 205023 0 0 0 256515 63 0 0 25 0 4 0 525226181 737542144 37118 33554432000 4194304 4797429 140735142895584 18446744073709551615 4331761 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 180064 37118 421 148 0 174993 0 [pid=20224/tid=20226] ppid=20222 vsize=720256 CPUtime=642.25 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 19299 0 0 0 64220 5 0 0 25 0 4 0 525226187 737542144 37118 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=720256 CPUtime=638.94 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 19809 0 0 0 63888 6 0 0 25 0 4 0 525226187 737542144 37118 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=720256 CPUtime=642.25 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 19315 0 0 0 64220 5 0 0 25 0 4 0 525226187 737542144 37118 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2565.78 Current children cumulated vsize (KiB) 720256 [startup+702.3 s] /proc/loadavg: 8.08 8.08 7.77 9/184 20278 /proc/meminfo: memFree=23235824/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=721396 CPUtime=2805.46 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 218786 0 0 0 280479 67 0 0 25 0 4 0 525226181 738709504 36994 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429171 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 180349 36994 421 148 0 175278 0 [pid=20224/tid=20226] ppid=20222 vsize=721396 CPUtime=702.25 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 20046 0 0 0 70220 5 0 0 25 0 4 0 525226187 738709504 36994 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=721396 CPUtime=698.63 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 21057 0 0 0 69857 6 0 0 25 0 4 0 525226187 738709504 36994 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=721396 CPUtime=702.24 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 20622 0 0 0 70219 5 0 0 25 0 4 0 525226187 738709504 36994 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2805.46 Current children cumulated vsize (KiB) 721396 [startup+762.306 s] /proc/loadavg: 8.07 8.08 7.79 9/184 20279 /proc/meminfo: memFree=23215960/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=721900 CPUtime=3045.18 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 231092 0 0 0 304446 72 0 0 25 0 4 0 525226181 739225600 41093 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 180475 41093 421 148 0 175404 0 [pid=20224/tid=20226] ppid=20222 vsize=721900 CPUtime=762.26 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 21497 0 0 0 76220 6 0 0 25 0 4 0 525226187 739225600 41093 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=721900 CPUtime=758.32 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 21797 0 0 0 75826 6 0 0 25 0 4 0 525226187 739225600 41093 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424960 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=721900 CPUtime=762.26 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 21327 0 0 0 76220 6 0 0 25 0 4 0 525226187 739225600 41093 33554432000 4194304 4797429 140735142895584 18446744073709551615 4523971 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3045.18 Current children cumulated vsize (KiB) 721900 [startup+822.301 s] /proc/loadavg: 8.06 8.08 7.80 9/184 20281 /proc/meminfo: memFree=23210744/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=722808 CPUtime=3284.86 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 248908 0 0 0 328408 78 0 0 25 0 4 0 525226181 740155392 41009 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 180702 41009 421 148 0 175631 0 [pid=20224/tid=20226] ppid=20222 vsize=722808 CPUtime=822.25 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 23034 0 0 0 82219 6 0 0 25 0 4 0 525226187 740155392 41009 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=722808 CPUtime=818.02 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 23219 0 0 0 81795 7 0 0 25 0 4 0 525226187 740155392 41009 33554432000 4194304 4797429 140735142895584 18446744073709551615 4612551 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=722808 CPUtime=822.25 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 22713 0 0 0 82219 6 0 0 25 0 4 0 525226187 740155392 41009 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3284.86 Current children cumulated vsize (KiB) 722808 [startup+882.301 s] /proc/loadavg: 8.12 8.09 7.82 9/184 20283 /proc/meminfo: memFree=23199300/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=724856 CPUtime=3524.55 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 263151 0 0 0 352372 83 0 0 25 0 4 0 525226181 742252544 42504 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 181214 42504 421 148 0 176143 0 [pid=20224/tid=20226] ppid=20222 vsize=724856 CPUtime=882.25 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 23808 0 0 0 88218 7 0 0 25 0 4 0 525226187 742252544 42504 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=724856 CPUtime=877.71 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 23960 0 0 0 87764 7 0 0 25 0 4 0 525226187 742252544 42504 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=724856 CPUtime=882.25 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 23371 0 0 0 88219 6 0 0 25 0 4 0 525226187 742252544 42504 33554432000 4194304 4797429 140735142895584 18446744073709551615 4415846 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3524.55 Current children cumulated vsize (KiB) 724856 [startup+942.301 s] /proc/loadavg: 8.14 8.10 7.84 9/184 20284 /proc/meminfo: memFree=23199408/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=726048 CPUtime=3764.25 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 280875 0 0 0 376337 88 0 0 25 0 4 0 525226181 743473152 42991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 181512 42991 421 148 0 176441 0 [pid=20224/tid=20226] ppid=20222 vsize=726048 CPUtime=942.26 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 25192 0 0 0 94219 7 0 0 25 0 4 0 525226187 743473152 42991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=726048 CPUtime=937.4 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 25922 0 0 0 93732 8 0 0 25 0 4 0 525226187 743473152 42991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=726048 CPUtime=942.25 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 24879 0 0 0 94218 7 0 0 25 0 4 0 525226187 743473152 42991 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3764.25 Current children cumulated vsize (KiB) 726048 [startup+1002.3 s] /proc/loadavg: 8.22 8.13 7.86 9/184 20286 /proc/meminfo: memFree=23176560/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=728220 CPUtime=4003.92 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 297207 0 0 0 400299 93 0 0 25 0 4 0 525226181 745697280 47004 33554432000 4194304 4797429 140735142895584 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 182055 47004 427 148 0 176984 0 [pid=20224/tid=20226] ppid=20222 vsize=728220 CPUtime=1002.26 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 26109 0 0 0 100219 7 0 0 25 0 4 0 525226187 745697280 47004 33554432000 4194304 4797429 140735142895584 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=728220 CPUtime=997.07 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 26642 0 0 0 99699 8 0 0 25 0 4 0 525226187 745697280 47004 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=728220 CPUtime=1002.25 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 25721 0 0 0 100218 7 0 0 25 0 4 0 525226187 745697280 47004 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4003.92 Current children cumulated vsize (KiB) 728220 [startup+1062.3 s] /proc/loadavg: 8.21 8.13 7.88 9/184 20287 /proc/meminfo: memFree=23180264/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=730656 CPUtime=4243.62 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 309746 0 0 0 424264 98 0 0 25 0 4 0 525226181 748191744 46457 33554432000 4194304 4797429 140735142895584 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 182664 46457 427 148 0 177593 0 [pid=20224/tid=20226] ppid=20222 vsize=730656 CPUtime=1062.26 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 27592 0 0 0 106219 7 0 0 25 0 4 0 525226187 748191744 46457 33554432000 4194304 4797429 140735142895584 18446744073709551615 4509104 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=730656 CPUtime=1056.75 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 27998 0 0 0 105667 8 0 0 25 0 4 0 525226187 748191744 46457 33554432000 4194304 4797429 140735142895584 18446744073709551615 4427946 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=730656 CPUtime=1062.26 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 27389 0 0 0 106218 8 0 0 25 0 4 0 525226187 748191744 46457 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4243.62 Current children cumulated vsize (KiB) 730656 [startup+1122.3 s] /proc/loadavg: 8.19 8.14 7.90 9/184 20289 /proc/meminfo: memFree=23165228/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=731156 CPUtime=4483.3 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 318915 0 0 0 448228 102 0 0 25 0 4 0 525226181 748703744 49660 33554432000 4194304 4797429 140735142895584 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 182789 49660 427 148 0 177718 0 [pid=20224/tid=20226] ppid=20222 vsize=731156 CPUtime=1122.27 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 28320 0 0 0 112219 8 0 0 25 0 4 0 525226187 748703744 49660 33554432000 4194304 4797429 140735142895584 18446744073709551615 4567728 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=731156 CPUtime=1116.44 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 28609 0 0 0 111635 9 0 0 25 0 4 0 525226187 748703744 49660 33554432000 4194304 4797429 140735142895584 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=731156 CPUtime=1122.26 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 28164 0 0 0 112218 8 0 0 25 0 4 0 525226187 748703744 49660 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4483.3 Current children cumulated vsize (KiB) 731156 [startup+1182.3 s] /proc/loadavg: 8.16 8.14 7.91 9/184 20291 /proc/meminfo: memFree=23167300/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=733964 CPUtime=4722.99 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 329831 0 0 0 472193 106 0 0 25 0 4 0 525226181 751579136 48558 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 183491 48558 427 148 0 178420 0 [pid=20224/tid=20226] ppid=20222 vsize=733964 CPUtime=1182.26 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 29980 0 0 0 118218 8 0 0 25 0 4 0 525226187 751579136 48558 33554432000 4194304 4797429 140735142895584 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=733964 CPUtime=1176.12 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 29989 0 0 0 117603 9 0 0 25 0 4 0 525226187 751579136 48558 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=733964 CPUtime=1182.25 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 29790 0 0 0 118217 8 0 0 25 0 4 0 525226187 751579136 48558 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4722.99 Current children cumulated vsize (KiB) 733964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.6 s] /proc/loadavg: 8.12 8.13 7.91 9/184 20291 /proc/meminfo: memFree=23165432/32951124 swapFree=67111524/67111528 [pid=20224] ppid=20222 vsize=735452 CPUtime=4800.11 cores=0,2,4,6 /proc/20224/stat : 20224 (techdemo) R 20222 20224 19619 0 -1 4202496 335511 0 0 0 479903 108 0 0 25 0 4 0 525226181 753102848 48952 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/20224/statm: 183863 48952 427 148 0 178792 0 [pid=20224/tid=20226] ppid=20222 vsize=735452 CPUtime=1201.57 cores=0,2,4,6 /proc/20224/task/20226/stat : 20226 (techdemo) R 20222 20224 19619 0 -1 4202560 30269 0 0 0 120149 8 0 0 25 0 4 0 525226187 753102848 48952 33554432000 4194304 4797429 140735142895584 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=20224/tid=20227] ppid=20222 vsize=735452 CPUtime=1195.31 cores=0,2,4,6 /proc/20224/task/20227/stat : 20227 (techdemo) R 20222 20224 19619 0 -1 4202560 30242 0 0 0 119522 9 0 0 25 0 4 0 525226187 753102848 48952 33554432000 4194304 4797429 140735142895584 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=20224/tid=20228] ppid=20222 vsize=735452 CPUtime=1201.56 cores=0,2,4,6 /proc/20224/task/20228/stat : 20228 (techdemo) R 20222 20224 19619 0 -1 4202560 29994 0 0 0 120148 8 0 0 25 0 4 0 525226187 753102848 48952 33554432000 4194304 4797429 140735142895584 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.11 Current children cumulated vsize (KiB) 735452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.62 CPU time (s): 4800.15 CPU user time (s): 4799.06 CPU system time (s): 1.09183 CPU usage (%): 399.472 Max. virtual memory (cumulated for all children) (KiB): 833220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4799.06 system time used= 1.09183 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 335512 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= 290 involuntary context switches= 22648 runsolver used 1.91971 second user time and 4.23336 second system time The end
Begin job on node105 at 2011-04-30 06:04:17 IDJOB=3262813 IDBENCH=83896 IDSOLVER=1584 FILE ID=node105/3262813-1304136257 RUNJOBID= node105-1304135293-20103 PBS_JOBID= 13170798 Free space on /tmp= 73024 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262813-1304136257/watcher-3262813-1304136257 -o /tmp/evaluation-result-3262813-1304136257/solver-3262813-1304136257 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262813-1304136257.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b5a637600c242725f15a247a84bdea1b RANDOM SEED=1167116331 node105.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.825 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.65 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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 : 5410.70 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.825 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.74 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22995512 kB Buffers: 2173420 kB Cached: 6688744 kB SwapCached: 4 kB Active: 1117504 kB Inactive: 8286748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22995512 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 9932 kB Writeback: 8 kB AnonPages: 541160 kB Mapped: 15752 kB Slab: 487984 kB PageTables: 5488 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1171560 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= 73024 MiB End job on node105 at 2011-04-30 06:24:21