| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | UNSAT | 2669.52 | 669.25 |
| Name | application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf |
| MD5SUM | 7af4cc1b94644f101ccf5f2373fdbfea |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 321.647 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 22886 |
| Number of clauses | 76038 |
| Sum of the clauses size | 193162 |
| Maximum clause length | 786 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 40006 |
| Number of clauses of size 3 | 35619 |
| Number of clauses of size 4 | 104 |
| Number of clauses of size 5 | 12 |
| Number of clauses of size over 5 | 296 |
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-3289470-1304128618.cnf' 0.00/0.00 c -- header says num vars: 22886 0.00/0.00 c -- header says num clauses: 76038 0.09/0.14 c -- clauses added: 0 learnts, 76038 normals, 0 xors 0.09/0.14 c -- vars added 22886 0.09/0.14 c Parsing time: 0.12 s 0.09/0.14 c N st 0 0 22886 35405 36071 0 182356 0 no data no data -- 0.09/0.83 c asymm cl-useful: 835/27304/35405 lits-rem:2559 time: 2.74 7.93/2.18 c Flit: 22 Blit: 2489 bXBeca: 0 bXProp: 3768 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 8.0M T: 5.30 7.93/2.19 c Cleaning up after failed var search: 0.02 s 9.14/2.41 c Calc non-exist non-lernt bins v-fix: 0 done: 19439 time: 0.89 s 9.14/2.41 c Cache BProp: 40 Set: 0 BXProp: 0 T: 0.00 9.14/2.43 c Subs w/ non-existent bins: 335 time: 0.05 s 9.14/2.44 c Replacing 3768 vars Replaced 101008 lits Time: 0.05 s 9.14/2.45 c bin-w-bin subsume rem 568 bins time: 0.02 s 9.14/2.45 c subs with bin: 26 lits-rem: 34 v-fix: 0 time: 0.02 s 9.14/2.47 c Removed useless bin: 39 fixed: 0 bprops: 1.00M time: 0.06 s 9.53/2.57 c lits-rem: 0 cl-subs: 1230 v-elim: 5239 v-fix: 0 time: 0.39 s 9.53/2.57 c learnt bin added due to v-elim: 0 9.93/2.61 c Finding binary XORs T: 0.15 s found: 15 9.93/2.62 c Replacing 15 vars Replaced 162 lits Time: 0.01 s 9.93/2.64 c Finding non-binary XORs: 0.05 s (found: 2242, avg size: 3.3) 9.93/2.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 391 locsubst: 0 time: 0.02 9.93/2.64 c calculated reachability. Time: 0.01 9.93/2.64 c Calc default polars - time: 0.01 s pos: 1945 undec: 13019 neg: 7922 9.93/2.64 c ========================================================================================= 9.93/2.64 c types(t): F = full restart, N = normal restart 9.93/2.64 c types(t): S = simplification begin/end, E = solution found 9.93/2.64 c restart types(rt): st = static, dy = dynamic 9.93/2.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 9.93/2.64 c B st 0 0 10056 15979 16347 0 119024 0 no data no data -- 11.12/2.91 c Decided on static restart strategy 17.12/4.41 c N dy 8 10534 10054 15979 16402 7426 119024 282057 73.62 10.92 -- 19.54/5.01 c N dy 14 14750 10054 15979 16669 9835 119176 85177 26.16 10.37 -- 23.11/5.92 c N dy 23 20151 10051 15979 16692 15124 119176 357345 61.97 10.83 -- 26.71/6.88 c N dy 28 25987 10050 15979 16714 13017 119176 293993 94.08 10.54 -- 29.90/7.63 c N dy 33 30000 10050 15979 16721 8677 119176 54766 56.28 10.85 -- 29.90/7.64 c S st 33 30000 10050 15979 16721 8677 119176 54766 56.28 10.85 -- 30.30/7.74 c S st 33 30504 10050 15979 16792 9106 119176 60731 56.28 10.85 -- 30.30/7.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 173 locsubst: 0 time: 0.01 30.30/7.75 c Cache BProp: 40 Set: 0 BXProp: 0 T: 0.01 35.09/8.96 c Flit: 89 Blit: 2 bXBeca: 0 bXProp: 275 Bin: 27014 BRemL: 7807 BRemN: 74 CBin: 0 P: 11.4M T: 4.82 35.09/8.99 c Calc non-exist non-lernt bins v-fix: 0 done: 9577 time: 0.12 s 35.09/8.99 c Cache BProp: 41 Set: 0 BXProp: 2 T: 0.01 35.49/9.01 c Subs w/ non-existent bins: 279 time: 0.07 s 35.49/9.02 c Replacing 278 vars Replaced 9232 lits Time: 0.02 s 35.49/9.03 c bin-w-bin subsume rem 295 bins time: 0.02 s 35.49/9.04 c subs with bin: 143 lits-rem: 411 v-fix: 0 time: 0.03 s 35.49/9.04 c Removed useless bin: 44 fixed: 0 bprops: 0.34M time: 0.03 s 35.89/9.17 c lits-rem: 5064 cl-subs: 2880 v-elim: 3939 v-fix: 0 time: 0.52 s 35.89/9.17 c learnt bin added due to v-elim: 0 35.89/9.18 c vivif2 -- cl tried 15969 cl shrink 299 lits rem 412 time: 0.04 35.89/9.19 c vivif2 -- cl tried 6057 cl shrink 12 lits rem 14 time: 0.01 36.71/9.39 c asymm cl-useful: 353/15809/15809 lits-rem:830 time: 0.81 36.71/9.40 c calculated reachability. Time: 0.02 36.71/9.40 c N dy 33 30504 5902 15674 11795 6056 98830 28239 56.28 10.85 -- 36.71/9.40 c F st 33 30504 5902 15674 11795 6056 98830 28239 56.28 10.85 -- 37.89/9.65 c Decided on static restart strategy 39.09/9.99 c N dy 40 35399 5899 15674 11798 10827 98830 163319 24.77 10.43 -- 42.28/10.76 c N dy 42 39813 5899 15674 16757 16734 101090 420427 43.29 10.75 -- 47.48/12.07 c N dy 43 45756 5899 15674 16757 13174 101090 295195 88.80 11.34 -- 47.48/12.09 c S st 43 45756 5899 15674 16757 13174 101090 295195 88.80 11.34 -- 48.28/12.20 c S st 43 46258 5899 15674 16879 13688 101096 305006 88.80 11.34 -- 48.28/12.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 98 locsubst: 0 time: 0.02 48.28/12.21 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 49.48/12.53 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 52 Bin: 567 BRemL: 3563 BRemN: 854 CBin: 0 P: 5.7M T: 1.29 49.48/12.54 c Calc non-exist non-lernt bins v-fix: 0 done: 5792 time: 0.05 s 49.48/12.54 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.01 49.48/12.58 c Subs w/ non-existent bins: 869 time: 0.15 s 49.48/12.59 c Replacing 52 vars Replaced 1290 lits Time: 0.03 s 49.89/12.60 c bin-w-bin subsume rem 604 bins time: 0.01 s 49.89/12.66 c subs with bin: 86 lits-rem: 80 v-fix: 0 time: 0.21 s 49.89/12.66 c Removed useless bin: 161 fixed: 0 bprops: 0.13M time: 0.01 s 51.47/13.07 c lits-rem: 706 cl-subs: 1792 v-elim: 502 v-fix: 0 time: 1.66 s 51.47/13.07 c learnt bin added due to v-elim: 0 51.47/13.08 c vivif2 -- cl tried 15204 cl shrink 4 lits rem 4 time: 0.04 51.87/13.10 c vivif2 -- cl tried 11098 cl shrink 201 lits rem 218 time: 0.08 52.66/13.34 c asymm cl-useful: 156/12333/15202 lits-rem:270 time: 0.96 52.66/13.35 c calculated reachability. Time: 0.01 52.66/13.35 c N dy 43 46258 5573 15195 10393 11098 96661 208065 88.80 11.34 -- 57.86/14.68 c N dy 47 53848 5572 15195 10393 18497 96661 766876 163.01 11.35 -- 58.26/14.72 c Finding binary XORs T: 0.14 s found: 1 64.25/16.21 c N dy 48 62154 5571 15194 10555 16985 96666 438918 88.19 11.13 -- 66.65/16.84 c N dy 50 66506 5571 15194 10707 10731 96668 92747 34.24 11.03 -- 67.87/17.19 c S st 56 69390 5571 15194 10707 13557 96668 183078 47.74 11.04 -- 68.64/17.31 c S st 56 69891 5571 15194 10709 14053 96668 193830 47.74 11.04 -- 68.64/17.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 3 locsubst: 0 time: 0.02 68.64/17.31 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 69.84/17.62 c Flit: 3 Blit: 0 bXBeca: 0 bXProp: 4 Bin: 409 BRemL: 351 BRemN: 41 CBin: 0 P: 7.7M T: 1.24 69.84/17.63 c Calc non-exist non-lernt bins v-fix: 0 done: 5562 time: 0.04 s 69.84/17.63 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 69.84/17.66 c Subs w/ non-existent bins: 54 time: 0.11 s 69.84/17.67 c Replacing 6 vars Replaced 123 lits Time: 0.02 s 69.84/17.68 c bin-w-bin subsume rem 82 bins time: 0.01 s 70.24/17.72 c subs with bin: 26 lits-rem: 46 v-fix: 0 time: 0.18 s 70.24/17.72 c Removed useless bin: 2 fixed: 0 bprops: 0.11M time: 0.01 s 71.44/18.05 c ORs : 2718 avg-s: 2.4 cl-sh: 4048 l-rem: 4465 b-add: 355 v-rep: 0 cl-rem: 52 avg s: 4.7 T: 0.46 78.64/19.83 c Added 20 vars tried: 80000 time: 7.11 78.64/19.83 c ORs : 20 avg-s: 0.0 cl-sh: 1346 l-rem: 1346 b-add: 47 v-rep: 0 cl-rem: 25 avg s: 5.2 T: 7.12 78.64/19.84 c lits-rem: 299 cl-subs: 899 v-elim: 337 v-fix: 0 time: 8.45 s 78.64/19.84 c learnt bin added due to v-elim: 0 78.64/19.85 c vivif2 -- cl tried 14978 cl shrink 0 lits rem 0 time: 0.03 78.64/19.86 c vivif2 -- cl tried 12800 cl shrink 54 lits rem 106 time: 0.06 79.04/19.91 c asymm cl-useful: 3/2645/14978 lits-rem:9 time: 0.19 79.04/19.91 c calculated reachability. Time: 0.01 79.04/19.91 c N dy 56 69891 5561 14975 10573 12799 95320 167840 47.74 11.04 -- 79.04/19.91 c F st 56 69891 5561 14975 10573 12799 95320 167840 47.74 11.04 -- 80.24/20.24 c Decided on static restart strategy 81.83/20.66 c N dy 67 75232 5560 14975 10580 18037 95320 379882 18.90 10.97 -- 87.02/21.91 c N dy 74 81838 5560 14975 10665 13006 95324 187015 44.15 11.29 -- 95.82/24.19 c N dy 80 93693 5559 14975 10671 24688 95324 936655 83.70 11.40 -- 103.02/25.91 c N dy 91 103753 5559 14975 10702 21897 95326 552044 49.09 11.53 -- 103.80/26.10 c S st 93 104838 5559 14975 10703 22968 95326 582304 28.23 11.56 -- 104.20/26.25 c S st 93 105339 5559 14975 10703 23467 95326 593126 28.23 11.56 -- 104.20/26.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.20/26.26 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 106.60/26.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bin: 124 BRemL: 101 BRemN: 10 CBin: 0 P: 16.8M T: 2.48 106.60/26.89 c Calc non-exist non-lernt bins v-fix: 0 done: 5557 time: 0.04 s 106.60/26.89 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 107.02/26.95 c Subs w/ non-existent bins: 42 time: 0.23 s 107.02/26.96 c Replacing 6 vars Replaced 1511 lits Time: 0.06 s 107.02/26.98 c bin-w-bin subsume rem 350 bins time: 0.01 s 107.80/27.12 c subs with bin: 28 lits-rem: 526 v-fix: 0 time: 0.56 s 107.80/27.12 c Removed useless bin: 4 fixed: 0 bprops: 0.11M time: 0.02 s 115.80/29.17 c ORs : 2747 avg-s: 2.4 cl-sh: 58 l-rem: 92 b-add: 11 v-rep: 0 cl-rem: 2 avg s: 6.5 T: 0.53 115.80/29.18 c lits-rem: 933 cl-subs: 2186 v-elim: 329 v-fix: 0 time: 8.22 s 115.80/29.18 c learnt bin added due to v-elim: 0 115.80/29.19 c vivif2 -- cl tried 14905 cl shrink 5 lits rem 7 time: 0.03 116.21/29.22 c vivif2 -- cl tried 21144 cl shrink 138 lits rem 145 time: 0.14 116.58/29.36 c asymm cl-useful: 57/2037/14905 lits-rem:85 time: 0.52 116.58/29.36 c calculated reachability. Time: 0.01 116.58/29.36 c N dy 93 105339 5546 14905 9881 21144 94757 495479 28.23 11.56 -- 122.18/30.70 c N dy 98 112086 5546 14905 9910 14184 94763 156858 41.84 11.36 -- 127.37/32.01 c N dy 111 119375 5546 14905 9927 21351 94781 578367 62.27 11.45 -- 135.36/34.00 c N dy 114 127515 5546 14905 9928 14777 94781 161902 48.44 11.81 -- 141.76/35.67 c N dy 128 136998 5551 14905 9993 24097 94815 664063 74.87 11.70 -- 152.15/38.26 c N dy 151 149885 5551 14905 9996 21171 94815 445250 59.56 11.73 -- 158.93/39.94 c S st 177 158008 5550 14905 10024 29096 94815 788738 45.08 11.75 -- 159.33/40.10 c S st 177 158510 5550 14905 10024 29596 94815 798045 45.08 11.75 -- 159.75/40.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 159.75/40.10 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 164.14/41.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bin: 194 BRemL: 67 BRemN: 12 CBin: 0 P: 27.7M T: 4.39 164.14/41.21 c Calc non-exist non-lernt bins v-fix: 0 done: 5548 time: 0.04 s 164.14/41.21 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 164.14/41.29 c Subs w/ non-existent bins: 15 time: 0.32 s 164.54/41.32 c Replacing 3 vars Replaced 4182 lits Time: 0.11 s 164.54/41.34 c bin-w-bin subsume rem 17 bins time: 0.01 s 165.32/41.54 c subs with bin: 30 lits-rem: 2459 v-fix: 0 time: 0.77 s 165.32/41.54 c Removed useless bin: 0 fixed: 0 bprops: 0.11M time: 0.01 s 176.52/44.35 c ORs : 2742 avg-s: 2.4 cl-sh: 136 l-rem: 178 b-add: 1 v-rep: 0 cl-rem: 6 avg s: 9.3 T: 0.64 176.52/44.37 c lits-rem: 1355 cl-subs: 2154 v-elim: 327 v-fix: 0 time: 11.31 s 176.52/44.37 c learnt bin added due to v-elim: 0 176.52/44.38 c vivif2 -- cl tried 14870 cl shrink 8 lits rem 8 time: 0.03 176.92/44.43 c vivif2 -- cl tried 26792 cl shrink 441 lits rem 488 time: 0.20 177.33/44.56 c asymm cl-useful: 23/2440/14870 lits-rem:27 time: 0.54 177.33/44.57 c calculated reachability. Time: 0.01 177.33/44.57 c N dy 177 158510 5542 14870 9814 26791 94398 699697 45.08 11.75 -- 185.70/46.62 c N dy 201 168659 5541 14870 9847 20154 94400 294876 39.83 11.64 -- 194.49/48.80 c N dy 236 179774 5540 14870 9858 31039 94400 675796 44.08 11.55 -- 202.08/50.72 c N dy 254 191305 5540 14870 9860 24759 94400 423776 29.93 11.50 -- 212.49/53.33 c N dy 296 203592 5548 14870 9912 36769 94432 842517 33.05 11.51 -- 212.49/53.36 c Finding binary XORs T: 0.10 s found: 2 222.46/55.88 c N dy 344 216695 5546 14849 9607 30960 94299 593530 31.41 11.48 -- 235.64/59.12 c N dy 395 232194 5546 14849 9665 26667 94345 438423 34.50 11.47 -- 240.43/60.34 c S st 414 237765 5546 14849 9665 32096 94345 623997 23.47 11.46 -- 241.23/60.52 c S st 414 238267 5546 14849 9667 32596 94345 634674 23.47 11.46 -- 241.23/60.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 241.23/60.53 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 245.63/61.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bin: 91 BRemL: 110 BRemN: 19 CBin: 0 P: 36.6M T: 4.35 245.63/61.63 c Calc non-exist non-lernt bins v-fix: 0 done: 5546 time: 0.04 s 245.63/61.63 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 246.03/61.70 c Subs w/ non-existent bins: 43 time: 0.28 s 246.03/61.71 c Replacing 7 vars Replaced 483 lits Time: 0.02 s 246.03/61.72 c bin-w-bin subsume rem 11 bins time: 0.01 s 246.43/61.86 c subs with bin: 98 lits-rem: 341 v-fix: 0 time: 0.55 s 246.43/61.87 c Removed useless bin: 12 fixed: 0 bprops: 0.11M time: 0.02 s 256.84/64.45 c ORs : 2744 avg-s: 2.4 cl-sh: 76 l-rem: 102 b-add: 3 v-rep: 0 cl-rem: 1 avg s: 6.0 T: 0.55 256.84/64.47 c lits-rem: 933 cl-subs: 3140 v-elim: 331 v-fix: 0 time: 10.38 s 256.84/64.47 c learnt bin added due to v-elim: 0 256.84/64.47 c vivif2 -- cl tried 14803 cl shrink 2 lits rem 2 time: 0.03 257.21/64.52 c vivif2 -- cl tried 29354 cl shrink 137 lits rem 199 time: 0.17 257.61/64.66 c asymm cl-useful: 3/3880/14803 lits-rem:3 time: 0.59 257.61/64.67 c calculated reachability. Time: 0.01 257.61/64.67 c N dy 414 238267 5532 14803 9598 29354 94150 547835 23.47 11.46 -- 270.80/67.98 c N dy 471 253592 5533 14803 9648 23931 94178 322306 40.28 11.34 -- 286.78/71.94 c N dy 500 271471 5532 14803 9654 41499 94178 1146115 66.92 11.33 -- 303.16/76.03 c N dy 538 289071 5531 14803 9686 37299 94178 833855 24.18 11.26 -- 320.74/80.43 c N dy 597 307937 5529 14803 9708 33294 94190 647965 38.21 11.19 -- 340.33/85.39 c N dy 673 328225 5528 14803 9727 29790 94190 469950 37.33 11.20 -- 361.48/90.62 c N dy 727 349185 5528 14803 9741 25954 94202 322891 43.99 11.21 -- 368.68/92.42 c S st 762 357400 5527 14803 9793 33986 94212 577992 38.19 11.20 -- 369.08/92.59 c S st 762 357900 5527 14803 9793 34484 94212 590734 38.19 11.20 -- 369.08/92.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 369.08/92.59 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 374.67/93.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bin: 21 BRemL: 56 BRemN: 16 CBin: 0 P: 46.2M T: 5.38 374.67/93.95 c Calc non-exist non-lernt bins v-fix: 0 done: 5527 time: 0.04 s 374.67/93.95 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 375.09/94.03 c Subs w/ non-existent bins: 40 time: 0.30 s 375.09/94.05 c Replacing 3 vars Replaced 3013 lits Time: 0.09 s 375.09/94.07 c bin-w-bin subsume rem 19 bins time: 0.01 s 375.49/94.18 c subs with bin: 126 lits-rem: 451 v-fix: 0 time: 0.46 s 375.49/94.18 c Removed useless bin: 4 fixed: 0 bprops: 0.11M time: 0.02 s 385.86/96.74 c ORs : 2738 avg-s: 2.4 cl-sh: 390 l-rem: 411 b-add: 11 v-rep: 0 cl-rem: 3 avg s: 7.7 T: 0.56 389.05/97.55 c Added 51 vars tried: 80000 time: 3.24 389.05/97.57 c ORs : 51 avg-s: 0.0 cl-sh: 6451 l-rem: 6451 b-add: 102 v-rep: 0 cl-rem: 0 avg s: nan T: 3.31 389.05/97.58 c lits-rem: 1093 cl-subs: 1836 v-elim: 326 v-fix: 0 time: 13.57 s 389.05/97.58 c learnt bin added due to v-elim: 0 389.05/97.59 c vivif2 -- cl tried 14809 cl shrink 2 lits rem 2 time: 0.03 389.45/97.63 c vivif2 -- cl tried 29319 cl shrink 246 lits rem 264 time: 0.17 389.85/97.75 c asymm cl-useful: 0/4147/14809 lits-rem:0 time: 0.48 389.85/97.76 c calculated reachability. Time: 0.01 389.85/97.76 c N dy 762 357900 5573 14809 9520 29319 94110 501035 38.19 11.20 -- 412.22/103.32 c N dy 828 381641 5573 14809 9564 27211 94110 362567 26.36 11.10 -- 431.41/108.16 c N dy 907 401749 5572 14809 9577 46892 94110 1051138 22.25 11.06 -- 451.37/113.14 c N dy 985 421811 5569 14809 9675 40206 94122 803889 38.15 11.04 -- 470.95/118.06 c N dy 1079 441921 5569 14809 9710 32562 94136 462202 38.02 11.00 -- 492.92/123.54 c N dy 1195 462008 5572 14809 9758 52089 94152 1057767 29.48 10.99 -- 512.90/128.58 c Finding binary XORs T: 0.10 s found: 2 513.30/128.61 c N dy 1279 482088 5572 14800 9512 42308 94050 820507 29.33 11.00 -- 535.66/134.24 c N dy 1375 502652 5572 14800 9536 33191 94068 445376 42.53 11.00 -- 555.67/139.25 c N dy 1469 522654 5572 14800 9544 52664 94068 1013081 19.75 10.99 -- 571.63/143.29 c S st 1547 536850 5572 14800 9567 36320 94082 510148 31.30 10.97 -- 572.43/143.47 c S st 1547 537350 5572 14800 9569 36818 94082 520296 31.30 10.97 -- 572.43/143.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 572.43/143.48 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 577.23/144.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 40 BRemL: 73 BRemN: 24 CBin: 0 P: 48.6M T: 4.56 577.23/144.63 c Calc non-exist non-lernt bins v-fix: 0 done: 5571 time: 0.04 s 577.23/144.63 c Cache BProp: 41 Set: 0 BXProp: 0 T: 0.00 577.23/144.70 c Subs w/ non-existent bins: 100 time: 0.28 s 577.64/144.71 c Replacing 4 vars Replaced 471 lits Time: 0.04 s 577.64/144.73 c bin-w-bin subsume rem 19 bins time: 0.01 s 578.01/144.84 c subs with bin: 719 lits-rem: 186 v-fix: 0 time: 0.42 s 578.01/144.84 c Removed useless bin: 14 fixed: 0 bprops: 0.11M time: 0.01 s 587.60/147.29 c ORs : 2791 avg-s: 2.4 cl-sh: 27 l-rem: 35 b-add: 6 v-rep: 0 cl-rem: 5 avg s: 10.4 T: 0.53 588.00/147.31 c lits-rem: 577 cl-subs: 2303 v-elim: 327 v-fix: 0 time: 9.85 s 588.00/147.31 c learnt bin added due to v-elim: 0 588.00/147.31 c vivif2 -- cl tried 14773 cl shrink 6 lits rem 6 time: 0.03 588.00/147.36 c vivif2 -- cl tried 33705 cl shrink 311 lits rem 379 time: 0.18 588.40/147.45 c asymm cl-useful: 0/2266/14770 lits-rem:0 time: 0.37 588.40/147.46 c calculated reachability. Time: 0.01 588.40/147.46 c N dy 1547 537350 5562 14770 9441 33705 93908 460703 31.30 10.97 -- 588.40/147.46 c F st 1547 537350 5562 14770 9441 33705 93908 460703 31.30 10.97 -- 590.00/147.87 c Decided on static restart strategy 611.97/153.36 c N dy 1616 560922 5562 14770 9477 56760 93912 1220564 33.61 10.97 -- 630.75/158.02 c N dy 1670 580962 5561 14770 9512 45284 93916 755084 24.43 10.92 -- 652.35/163.48 c N dy 1749 601482 5561 14770 9529 33266 93916 386466 40.40 10.90 -- 671.90/168.34 c N dy 1815 621564 5560 14770 9549 52984 93916 977586 24.27 10.87 -- 694.27/173.98 c N dy 1923 641664 5559 14770 9562 39479 93916 542860 30.98 10.85 -- 716.24/179.47 c N dy 2025 661987 5559 14770 9567 59322 93916 1187295 64.95 10.84 -- 740.24/185.42 c N dy 2140 682318 5559 14770 9586 45056 93918 698575 57.18 10.83 -- 765.39/191.72 c N dy 2262 702392 5559 14770 9617 64623 93930 1256176 23.68 10.84 -- 787.35/197.21 c N dy 2366 722634 5559 14770 9629 49317 93938 813738 31.02 10.84 -- 814.12/203.94 c N dy 2495 742709 5558 14770 9653 68850 93938 1392706 25.67 10.84 -- 836.91/209.69 c N dy 2615 762816 5558 14770 9666 52499 93938 881056 35.86 10.85 -- 864.86/216.65 c N dy 2739 782871 5558 14770 9681 71985 93938 1454377 32.09 10.88 -- 887.63/222.30 c N dy 2856 802914 5558 14770 9687 54623 93938 921983 25.27 10.87 -- 891.22/223.22 c S st 2871 806026 5558 14770 9688 57674 93938 1021555 30.38 10.87 -- 892.02/223.47 c S st 2871 806529 5558 14770 9689 58175 93938 1031492 30.38 10.87 -- 892.02/223.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 892.02/223.47 c Cache BProp: 172 Set: 0 BXProp: 9 T: 0.00 898.81/225.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bin: 329 BRemL: 150 BRemN: 8 CBin: 0 P: 60.0M T: 6.63 898.81/225.14 c Calc non-exist non-lernt bins v-fix: 0 done: 5549 time: 0.04 s 898.81/225.15 c Cache BProp: 171 Set: 0 BXProp: 0 T: 0.00 899.21/225.27 c Subs w/ non-existent bins: 98 time: 0.50 s 899.61/225.31 c Replacing 12 vars Replaced 7171 lits Time: 0.14 s 899.61/225.34 c bin-w-bin subsume rem 40 bins time: 0.01 s 900.41/225.55 c subs with bin: 558 lits-rem: 1370 v-fix: 0 time: 0.86 s 900.41/225.56 c Removed useless bin: 4 fixed: 0 bprops: 0.11M time: 0.02 s 906.82/227.20 c ORs : 2764 avg-s: 2.4 cl-sh: 309 l-rem: 570 b-add: 3 v-rep: 0 cl-rem: 7 avg s: 14.3 T: 0.71 910.80/228.10 c Added 49 vars tried: 80000 time: 3.60 910.80/228.12 c ORs : 49 avg-s: 0.0 cl-sh: 6484 l-rem: 6484 b-add: 98 v-rep: 0 cl-rem: 2 avg s: 4.5 T: 3.69 910.80/228.14 c lits-rem: 986 cl-subs: 5289 v-elim: 329 v-fix: 0 time: 10.34 s 910.80/228.14 c learnt bin added due to v-elim: 0 910.80/228.15 c vivif2 -- cl tried 14662 cl shrink 36 lits rem 36 time: 0.03 911.21/228.23 c vivif2 -- cl tried 49899 cl shrink 1046 lits rem 2173 time: 0.31 911.62/228.36 c asymm cl-useful: 14/869/14661 lits-rem:63 time: 0.50 911.62/228.36 c calculated reachability. Time: 0.01 911.62/228.36 c N dy 2871 806529 5577 14661 9618 49888 93345 878445 30.38 10.87 -- 936.36/234.51 c N dy 2949 826583 5576 14661 9646 69482 93345 1423100 33.66 10.84 -- 959.14/240.29 c N dy 3031 846694 5575 14661 9672 51307 93345 773716 28.55 10.80 -- 983.09/246.27 c N dy 3129 867519 5575 14661 9780 71721 93355 1304344 21.70 10.76 -- 983.49/246.31 c Finding binary XORs T: 0.11 s found: 2 1005.87/251.91 c N dy 3228 887565 5557 14642 9766 52375 93190 753004 20.32 10.74 -- 1031.04/258.22 c N dy 3330 907683 5555 14642 9834 72010 93190 1286848 32.04 10.71 -- 1055.02/264.28 c N dy 3420 927808 5553 14642 9861 51692 93190 741446 18.05 10.69 -- 1080.58/270.61 c N dy 3539 947828 5552 14642 9908 71261 93190 1242014 19.98 10.68 -- 1106.15/277.07 c N dy 3632 969843 5551 14642 9926 51819 93190 713271 32.02 10.65 -- 1130.93/283.29 c N dy 3754 989902 5551 14642 10051 71350 93202 1213177 38.89 10.64 -- 1156.48/289.62 c N dy 3853 1009954 5545 14642 10161 49054 93204 659292 24.35 10.63 -- 1180.45/295.66 c N dy 3958 1030084 5543 14642 10210 68686 93204 1215594 30.76 10.63 -- 1211.17/303.38 c N dy 4077 1050115 5543 14642 10267 45385 93204 519313 26.41 10.63 -- 1232.15/308.74 c N dy 4160 1071679 5530 14642 10332 66587 93212 1167733 39.23 10.63 -- 1261.31/316.13 c N dy 4266 1091758 5530 14642 10390 86226 93216 1756501 26.14 10.64 -- 1284.48/321.91 c N dy 4364 1111887 5530 14642 10409 61968 93216 986890 28.02 10.65 -- 1296.47/324.94 c Finding binary XORs T: 0.11 s found: 10 1312.84/329.05 c N dy 4474 1131908 5530 14590 9902 76837 92755 1540797 32.47 10.66 -- 1341.60/336.24 c N dy 4574 1152077 5530 14590 9924 51663 92755 671613 23.68 10.65 -- 1365.18/342.12 c N dy 4634 1174225 5529 14590 9993 73248 92755 1286108 41.06 10.63 -- 1395.53/349.77 c N dy 4756 1194363 5529 14590 10021 47140 92755 526541 30.12 10.65 -- 1410.32/353.44 c S st 4805 1209794 5529 14590 10024 62231 92755 943644 36.10 10.66 -- 1411.53/353.72 c S st 4805 1210299 5529 14590 10024 62734 92755 952282 36.10 10.66 -- 1411.53/353.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 4 locsubst: 0 time: 0.03 1411.53/353.73 c Cache BProp: 189 Set: 0 BXProp: 0 T: 0.00 1417.50/355.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 73 BRemL: 260 BRemN: 29 CBin: 0 P: 60.0M T: 6.03 1417.50/355.25 c Calc non-exist non-lernt bins v-fix: 0 done: 5525 time: 0.05 s 1417.50/355.25 c Cache BProp: 189 Set: 0 BXProp: 0 T: 0.00 1417.90/355.39 c Subs w/ non-existent bins: 435 time: 0.56 s 1418.30/355.42 c Replacing 12 vars Replaced 5423 lits Time: 0.11 s 1418.30/355.45 c bin-w-bin subsume rem 38 bins time: 0.01 s 1419.10/355.62 c subs with bin: 358 lits-rem: 1433 v-fix: 0 time: 0.68 s 1419.10/355.62 c Removed useless bin: 5 fixed: 0 bprops: 0.14M time: 0.02 s 1424.71/357.08 c ORs : 2790 avg-s: 2.4 cl-sh: 1294 l-rem: 1568 b-add: 3 v-rep: 0 cl-rem: 24 avg s: 7.5 T: 0.70 1429.88/358.39 c Added 1 vars tried: 80000 time: 5.23 1429.88/358.39 c ORs : 1 avg-s: 0.0 cl-sh: 104 l-rem: 104 b-add: 2 v-rep: 0 cl-rem: 0 avg s: nan T: 5.23 1430.28/358.41 c lits-rem: 1995 cl-subs: 6198 v-elim: 348 v-fix: 0 time: 11.12 s 1430.28/358.41 c learnt bin added due to v-elim: 0 1430.28/358.42 c vivif2 -- cl tried 14539 cl shrink 9 lits rem 21 time: 0.03 1430.68/358.51 c vivif2 -- cl tried 54837 cl shrink 1612 lits rem 3020 time: 0.37 1431.08/358.64 c asymm cl-useful: 37/753/14536 lits-rem:60 time: 0.51 1431.08/358.64 c calculated reachability. Time: 0.01 1431.08/358.64 c N dy 4805 1210299 5497 14536 9722 54831 92332 812182 36.10 10.66 -- 1453.85/364.30 c N dy 4848 1230412 5497 14536 9752 74380 92332 1374653 26.90 10.63 -- 1483.01/371.64 c N dy 4932 1250489 5496 14536 9772 47518 92332 526752 17.99 10.61 -- 1505.78/377.32 c N dy 5051 1270502 5495 14536 9852 67091 92404 1036995 25.64 10.61 -- 1532.14/383.99 c N dy 5150 1290606 5494 14536 9885 86527 92418 1503953 21.92 10.60 -- 1559.30/390.78 c N dy 5259 1310656 5494 14536 9912 58573 92430 788384 23.05 10.59 -- 1586.07/397.45 c N dy 5368 1331494 5492 14536 9927 78847 92430 1335394 30.31 10.58 -- 1617.22/405.25 c N dy 5478 1351579 5492 14536 9952 49920 92438 526091 23.95 10.58 -- 1638.00/410.41 c N dy 5563 1371701 5492 14536 9957 69559 92438 1086537 29.09 10.56 -- 1661.17/416.28 c N dy 5629 1391805 5492 14536 9969 89116 92438 1568290 22.36 10.56 -- 1687.95/422.98 c N dy 5729 1411938 5492 14536 9979 59179 92438 768291 25.95 10.55 -- 1712.30/429.05 c N dy 5820 1431967 5491 14536 9997 78710 92438 1305067 24.66 10.55 -- 1742.65/436.62 c N dy 5908 1454095 5490 14536 10002 100307 92438 1873951 23.93 10.54 -- 1765.02/442.26 c N dy 5986 1474194 5490 14536 10026 69362 92438 1003221 29.72 10.53 -- 1793.79/449.48 c N dy 6105 1494402 5490 14536 10076 89007 92438 1529486 23.64 10.53 -- 1815.77/454.96 c Finding binary XORs T: 0.11 s found: 7 1825.34/457.38 c N dy 6180 1515598 5490 14517 9832 54583 92277 618933 22.79 10.52 -- 1847.31/462.82 c N dy 6245 1535678 5490 14517 9857 74207 92277 1127454 25.60 10.51 -- 1874.47/469.68 c N dy 6330 1555687 5490 14517 9862 93644 92277 1607491 20.29 10.50 -- 1902.84/476.71 c N dy 6437 1575805 5489 14517 9893 60812 92277 742579 33.27 10.50 -- 1926.80/482.75 c N dy 6539 1595922 5489 14517 9903 80424 92277 1216490 33.34 10.49 -- 1956.38/490.10 c N dy 6636 1615982 5489 14517 9946 99902 92301 1662505 24.72 10.49 -- 1984.32/497.11 c N dy 6752 1636104 5489 14517 9969 66091 92301 884496 31.85 10.49 -- 2011.88/504.09 c N dy 6875 1656202 5489 14517 9989 85634 92301 1397916 26.38 10.49 -- 2048.25/513.12 c N dy 7003 1676213 5489 14517 9993 105036 92301 1906058 21.10 10.50 -- 2073.80/519.57 c N dy 7109 1696229 5489 14517 10005 70111 92301 962790 33.24 10.49 -- 2092.97/524.35 c S st 7176 1710300 5489 14517 10016 83851 92301 1333655 23.98 10.49 -- 2094.17/524.63 c S st 7176 1710800 5489 14517 10016 84348 92301 1341065 23.98 10.49 -- 2094.17/524.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 3 locsubst: 0 time: 0.03 2094.17/524.64 c Cache BProp: 199 Set: 0 BXProp: 2 T: 0.00 2100.56/526.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 152 BRemL: 214 BRemN: 35 CBin: 0 P: 60.1M T: 6.34 2100.56/526.24 c Calc non-exist non-lernt bins v-fix: 0 done: 5486 time: 0.05 s 2100.56/526.24 c Cache BProp: 170 Set: 0 BXProp: 0 T: 0.00 2101.38/526.44 c Subs w/ non-existent bins: 214 time: 0.82 s 2101.38/526.47 c Replacing 9 vars Replaced 1351 lits Time: 0.11 s 2101.75/526.51 c bin-w-bin subsume rem 24 bins time: 0.01 s 2102.95/526.84 c subs with bin: 2839 lits-rem: 2354 v-fix: 0 time: 1.31 s 2102.95/526.84 c Removed useless bin: 27 fixed: 0 bprops: 0.13M time: 0.02 s 2110.95/528.82 c ORs : 2788 avg-s: 2.4 cl-sh: 357 l-rem: 773 b-add: 10 v-rep: 0 cl-rem: 9 avg s: 4.4 T: 0.87 2115.34/529.95 c Added 8 vars tried: 80000 time: 4.50 2115.34/529.95 c ORs : 8 avg-s: 0.0 cl-sh: 1050 l-rem: 1050 b-add: 18 v-rep: 0 cl-rem: 2 avg s: 7.5 T: 4.52 2115.34/529.98 c lits-rem: 1069 cl-subs: 8125 v-elim: 326 v-fix: 0 time: 12.55 s 2115.34/529.98 c learnt bin added due to v-elim: 0 2115.34/529.99 c vivif2 -- cl tried 14427 cl shrink 9 lits rem 9 time: 0.03 2116.14/530.13 c vivif2 -- cl tried 71919 cl shrink 2198 lits rem 4862 time: 0.54 2116.54/530.26 c asymm cl-useful: 19/821/14427 lits-rem:26 time: 0.55 2116.54/530.27 c calculated reachability. Time: 0.01 2116.54/530.27 c N dy 7176 1710800 5477 14427 9839 71915 91804 1151885 23.98 10.49 -- 2145.69/537.51 c N dy 7283 1730898 5476 14427 9861 91447 91804 1618033 23.64 10.48 -- 2182.05/546.69 c N dy 7411 1750927 5475 14427 9880 55736 91804 595313 23.89 10.47 -- 2206.83/552.80 c N dy 7528 1770992 5473 14427 9910 75212 91804 1068465 22.87 10.46 -- 2236.78/560.38 c N dy 7654 1791075 5472 14427 9931 94698 91804 1507993 26.21 10.45 -- 2271.52/569.02 c N dy 7767 1811274 5470 14427 9977 58181 91806 627954 23.73 10.45 -- 2295.09/574.90 c N dy 7843 1832839 5470 14427 9983 79091 91806 1073922 13.85 10.44 -- 2298.29/575.70 c Finding binary XORs T: 0.11 s found: 3 2324.25/582.21 c N dy 7966 1852938 5470 14412 9829 93399 91647 1482423 20.40 10.44 -- 2359.80/591.10 c N dy 8097 1872966 5468 14412 9902 112703 91667 1891418 21.24 10.43 -- 2384.17/597.27 c N dy 8208 1892980 5467 14412 9955 75057 91679 990837 19.37 10.42 -- 2413.35/604.55 c N dy 8340 1912987 5459 14412 10098 94517 91725 1431739 24.17 10.43 -- 2447.00/613.09 c N dy 8466 1933048 5459 14412 10105 113824 91725 1836208 17.36 10.43 -- 2473.37/619.61 c N dy 8589 1953123 5458 14412 10176 75376 91737 991664 31.01 10.43 -- 2506.13/627.80 c N dy 8701 1973154 5457 14412 10313 94887 91749 1480512 24.48 10.43 -- 2544.08/637.31 c N dy 8818 1993288 5455 14412 10341 114251 91749 1919148 26.18 10.43 -- 2570.88/644.08 c N dy 8942 2013350 5451 14412 10425 74644 91749 927295 23.58 10.43 -- 2601.22/651.63 c N dy 9060 2033448 5450 14412 10895 94675 91895 1381116 24.45 10.44 -- 2625.19/657.61 c Finding binary XORs T: 0.11 s found: 79 2625.19/657.65 c Replacing 83 vars Replaced 14620 lits Time: 0.14 s 2639.57/661.21 c N dy 9191 2053510 5270 13897 9858 94632 87382 1545535 13.01 10.44 -- 2667.14/668.10 c E dy 9267 2064865 5256 13897 9942 105650 87386 1769388 15.57 10.44 -- 2669.37/669.20 c Following stats are for *FIRST FINISHED THREAD ONLY* 2669.37/669.20 c num threads : 4 2669.37/669.20 c restarts : 9267 2669.37/669.20 c dynamic restarts : 9243 2669.37/669.20 c static restarts : 24 2669.37/669.20 c full restarts : 3 2669.37/669.20 c total simplify time : 1.59 2669.37/669.20 c learnts DL2 : 0 2669.37/669.20 c learnts size 2 : 84055 2669.37/669.20 c learnts size 1 : 4965 (21.55 % of vars) 2669.37/669.20 c filedLit time : 52.83 (1.98 % time) 2669.37/669.20 c v-elim SatELite : 8883 (38.56 % vars) 2669.37/669.20 c SatELite time : 96.85 (3.63 % time) 2669.37/669.20 c v-elim xor : 673 (2.92 % vars) 2669.37/669.20 c xor elim time : 0.25 (0.01 % time) 2669.37/669.20 c num binary xor trees : 1172 2669.37/669.20 c binxor trees' crown : 4258 (3.63 leafs/tree) 2669.37/669.20 c bin xor find time : 1.05 2669.37/669.20 c OTF clause subsumed : 52264 (0.03 clauses/conflict) 2669.37/669.20 c OTF subs. size diff : 67381 (1.29 lits/clause) 2669.37/669.20 c OTF cl watch-shrink : 1288277 (0.62 clauses/conflict) 2669.37/669.20 c OTF cl watch-sh-lit : 5107609 (3.96 lits/clause) 2669.37/669.20 c tried to recurMin cls : 2064772 (100.00 % of conflicts) 2669.37/669.20 c updated cache : 22779 (0.01 lits/tried recurMin) 2669.37/669.20 c OTF Gate-Rem cl : 466135 (0.23 clauses/conflict) 2669.37/669.20 c OTF Gate-rem lits : 988981 (2.12 lits/confl) 2669.37/669.20 c unit cls received : 45 (0.91 % of units) 2669.37/669.20 c unit cls sent : 1663 (33.49 % of units) 2669.37/669.20 c bin cls received : 21139 2669.37/669.20 c bin cls sent : 47078 2669.37/669.20 c tri cls recevied : 11308 2669.37/669.20 c tri cls sent : 39262 2669.37/669.20 c clauses over max glue : 0 (0.00 % of all clauses) 2669.37/669.20 c conflicts : 2064865 (773.87 / sec) 2669.37/669.20 c decisions : 3089539 (0.66 % random) 2669.37/669.20 c bogo-props : 32631924042 (12229845.94 / sec) 2669.37/669.20 c props : 943322502 (353539.95 / sec) 2669.37/669.20 c conflict literals : 61763498 (42.87 % deleted) 2669.37/669.20 c Memory used : 910.74 MB 2669.37/669.20 c single-thread CPU time : 2668.22 s 2669.37/669.20 c all-threads sum CPU time : 2668.22 s 2669.37/669.20 s UNSATISFIABLE
No possible verification on an UNSAT instance
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-3289470-1304128618/watcher-3289470-1304128618 -o /tmp/evaluation-result-3289470-1304128618/solver-3289470-1304128618 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3289470-1304128618.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: 3.73 4.72 6.34 3/174 32754 /proc/meminfo: memFree=24661432/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=24080 CPUtime=0 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 1302 0 0 0 0 0 0 0 22 0 1 0 603092578 24657920 1241 33554432000 4194304 4797429 140734546484080 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32754/statm: 6020 1242 341 148 0 949 0 [startup+0.0789459 s] /proc/loadavg: 3.73 4.72 6.34 3/174 32754 /proc/meminfo: memFree=24661432/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=92160 CPUtime=0.06 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 12687 0 0 0 5 1 0 0 22 0 1 0 603092578 94371840 9413 33554432000 4194304 4797429 140734546484080 18446744073709551615 215988289017 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32754/statm: 23040 9413 350 148 0 17969 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 92160 [startup+0.100822 s] /proc/loadavg: 3.73 4.72 6.34 3/174 32754 /proc/meminfo: memFree=24661432/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=94968 CPUtime=0.09 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 13589 0 0 0 8 1 0 0 22 0 1 0 603092578 97247232 10271 33554432000 4194304 4797429 140734546484080 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/32754/statm: 23742 10271 350 148 0 18671 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 94968 [startup+0.864294 s] /proc/loadavg: 3.73 4.72 6.34 3/174 32754 /proc/meminfo: memFree=24661432/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=760704 CPUtime=3 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) S 32752 32754 32427 0 -1 4202496 16754 0 0 0 298 2 0 0 19 0 4 0 603092578 778960896 12834 33554432000 4194304 4797429 140734546484080 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 190176 12834 385 148 0 185105 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 760704 [startup+0.900684 s] /proc/loadavg: 3.73 4.72 6.34 3/174 32754 /proc/meminfo: memFree=24661432/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=729304 CPUtime=3.15 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 18366 0 0 0 312 3 0 0 19 0 4 0 603092578 746807296 14267 33554432000 4194304 4797429 140734546484080 18446744073709551615 4256349 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 182326 14267 385 148 0 177255 0 Current children cumulated CPU time (s) 3.15 Current children cumulated vsize (KiB) 729304 [startup+1.50058 s] /proc/loadavg: 3.73 4.72 6.34 3/174 32754 /proc/meminfo: memFree=24661432/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=756572 CPUtime=5.54 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 39805 0 0 0 546 8 0 0 20 0 4 0 603092578 774729728 35706 33554432000 4194304 4797429 140734546484080 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 189143 35708 386 148 0 184072 0 Current children cumulated CPU time (s) 5.54 Current children cumulated vsize (KiB) 756572 [startup+3.1003 s] /proc/loadavg: 4.07 4.78 6.35 9/184 32767 /proc/meminfo: memFree=24279736/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=844484 CPUtime=11.92 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 52450 0 0 0 1179 13 0 0 25 0 4 0 603092578 864751616 48113 33554432000 4194304 4797429 140734546484080 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 211121 48113 421 148 0 206050 0 [pid=32754/tid=32762] ppid=32752 vsize=844484 CPUtime=2.93 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 9280 0 0 0 290 3 0 0 18 0 4 0 603092593 864751616 48113 33554432000 4194304 4797429 140734546484080 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=844484 CPUtime=2.94 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 9386 0 0 0 292 2 0 0 18 0 4 0 603092593 864751616 48113 33554432000 4194304 4797429 140734546484080 18446744073709551615 4259011 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=844484 CPUtime=2.93 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 9345 0 0 0 291 2 0 0 21 0 4 0 603092593 864751616 48113 33554432000 4194304 4797429 140734546484080 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 11.92 Current children cumulated vsize (KiB) 844484 [startup+6.30074 s] /proc/loadavg: 4.07 4.78 6.35 9/184 32767 /proc/meminfo: memFree=24256424/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=855652 CPUtime=24.7 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 61049 0 0 0 2455 15 0 0 25 0 4 0 603092578 876187648 53205 33554432000 4194304 4797429 140734546484080 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 213913 53205 423 148 0 208842 0 [pid=32754/tid=32762] ppid=32752 vsize=855652 CPUtime=6.13 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 11031 0 0 0 610 3 0 0 25 0 4 0 603092593 876187648 53205 33554432000 4194304 4797429 140734546484080 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=855652 CPUtime=6.14 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 12191 0 0 0 611 3 0 0 25 0 4 0 603092593 876187648 53205 33554432000 4194304 4797429 140734546484080 18446744073709551615 4428365 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=855652 CPUtime=6.12 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 11462 0 0 0 609 3 0 0 25 0 4 0 603092593 876187648 53205 33554432000 4194304 4797429 140734546484080 18446744073709551615 215988250772 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 24.7 Current children cumulated vsize (KiB) 855652 [startup+12.7066 s] /proc/loadavg: 4.67 4.88 6.37 9/184 300 /proc/meminfo: memFree=23784016/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=864704 CPUtime=50.29 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 68522 0 0 0 5011 18 0 0 25 0 4 0 603092578 885456896 57194 33554432000 4194304 4797429 140734546484080 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 216176 57194 425 148 0 211105 0 [pid=32754/tid=32762] ppid=32752 vsize=864704 CPUtime=12.54 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 12146 0 0 0 1250 4 0 0 25 0 4 0 603092593 885456896 57194 33554432000 4194304 4797429 140734546484080 18446744073709551615 4508782 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=864704 CPUtime=12.54 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 13559 0 0 0 1251 3 0 0 25 0 4 0 603092593 885456896 57194 33554432000 4194304 4797429 140734546484080 18446744073709551615 4423267 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=864704 CPUtime=12.48 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 12500 0 0 0 1245 3 0 0 25 0 4 0 603092593 885456896 57194 33554432000 4194304 4797429 140734546484080 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.29 Current children cumulated vsize (KiB) 864704 [startup+25.5004 s] /proc/loadavg: 5.34 5.02 6.39 9/184 300 /proc/meminfo: memFree=23641784/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=872152 CPUtime=101.4 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 77108 0 0 0 10119 21 0 0 25 0 4 0 603092578 893083648 59475 33554432000 4194304 4797429 140734546484080 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 218038 59475 426 148 0 212967 0 [pid=32754/tid=32762] ppid=32752 vsize=872152 CPUtime=25.33 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 13382 0 0 0 2528 5 0 0 25 0 4 0 603092593 893083648 59475 33554432000 4194304 4797429 140734546484080 18446744073709551615 4424865 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=872152 CPUtime=25.34 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 14697 0 0 0 2530 4 0 0 25 0 4 0 603092593 893083648 59475 33554432000 4194304 4797429 140734546484080 18446744073709551615 4681089 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=872152 CPUtime=25.22 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 13523 0 0 0 2518 4 0 0 25 0 4 0 603092593 893083648 59475 33554432000 4194304 4797429 140734546484080 18446744073709551615 4425622 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.4 Current children cumulated vsize (KiB) 872152 [startup+51.1009 s] /proc/loadavg: 6.24 5.26 6.44 9/184 301 /proc/meminfo: memFree=23594424/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=880276 CPUtime=203.69 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 87967 0 0 0 20344 25 0 0 25 0 4 0 603092578 901402624 61660 33554432000 4194304 4797429 140734546484080 18446744073709551615 4352347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 220069 61660 426 148 0 214998 0 [pid=32754/tid=32762] ppid=32752 vsize=880276 CPUtime=50.93 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 14651 0 0 0 5088 5 0 0 25 0 4 0 603092593 901402624 61660 33554432000 4194304 4797429 140734546484080 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=880276 CPUtime=50.95 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 15937 0 0 0 5090 5 0 0 25 0 4 0 603092593 901402624 61660 33554432000 4194304 4797429 140734546484080 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=880276 CPUtime=50.69 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 15226 0 0 0 5065 4 0 0 25 0 4 0 603092593 901402624 61660 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 203.69 Current children cumulated vsize (KiB) 880276 [startup+102.301 s] /proc/loadavg: 7.24 5.68 6.52 9/184 302 /proc/meminfo: memFree=23567604/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=887552 CPUtime=408.23 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 103899 0 0 0 40791 32 0 0 25 0 4 0 603092578 908853248 64339 33554432000 4194304 4797429 140734546484080 18446744073709551615 4425896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 221888 64339 426 148 0 216817 0 [pid=32754/tid=32762] ppid=32752 vsize=887552 CPUtime=102.13 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 16272 0 0 0 10207 6 0 0 25 0 4 0 603092593 908853248 64339 33554432000 4194304 4797429 140734546484080 18446744073709551615 4428966 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=887552 CPUtime=102.14 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 18173 0 0 0 10208 6 0 0 25 0 4 0 603092593 908853248 64339 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=887552 CPUtime=101.64 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 16601 0 0 0 10159 5 0 0 25 0 4 0 603092593 908853248 64339 33554432000 4194304 4797429 140734546484080 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.23 Current children cumulated vsize (KiB) 887552 [startup+162.306 s] /proc/loadavg: 7.77 6.11 6.61 9/184 304 /proc/meminfo: memFree=23566220/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=893752 CPUtime=647.95 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 119966 0 0 0 64756 39 0 0 25 0 4 0 603092578 915202048 66050 33554432000 4194304 4797429 140734546484080 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 223438 66050 426 148 0 218367 0 [pid=32754/tid=32762] ppid=32752 vsize=893752 CPUtime=162.14 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 17798 0 0 0 16207 7 0 0 25 0 4 0 603092593 915202048 66050 33554432000 4194304 4797429 140734546484080 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=893752 CPUtime=162.15 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 19896 0 0 0 16208 7 0 0 25 0 4 0 603092593 915202048 66050 33554432000 4194304 4797429 140734546484080 18446744073709551615 4346450 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=893752 CPUtime=161.34 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 18147 0 0 0 16128 6 0 0 25 0 4 0 603092593 915202048 66050 33554432000 4194304 4797429 140734546484080 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 647.95 Current children cumulated vsize (KiB) 893752 [startup+222.301 s] /proc/loadavg: 8.02 6.49 6.71 9/184 305 /proc/meminfo: memFree=23555904/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=896596 CPUtime=887.63 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 135226 0 0 0 88715 48 0 0 25 0 4 0 603092578 918114304 66891 33554432000 4194304 4797429 140734546484080 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 224149 66891 426 148 0 219078 0 [pid=32754/tid=32762] ppid=32752 vsize=896596 CPUtime=222.13 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 19136 0 0 0 22206 7 0 0 25 0 4 0 603092593 918114304 66891 33554432000 4194304 4797429 140734546484080 18446744073709551615 4243992 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=896596 CPUtime=222.14 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 21682 0 0 0 22206 8 0 0 25 0 4 0 603092593 918114304 66891 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=896596 CPUtime=221.04 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 19501 0 0 0 22096 8 0 0 25 0 4 0 603092593 918114304 66891 33554432000 4194304 4797429 140734546484080 18446744073709551615 4346284 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 887.63 Current children cumulated vsize (KiB) 896596 [startup+282.3 s] /proc/loadavg: 8.01 6.76 6.78 9/184 325 /proc/meminfo: memFree=23545644/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=905496 CPUtime=1127.31 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 148159 0 0 0 112678 53 0 0 25 0 4 0 603092578 927227904 68928 33554432000 4194304 4797429 140734546484080 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 226374 68928 426 148 0 221303 0 [pid=32754/tid=32762] ppid=32752 vsize=905496 CPUtime=282.12 cores=0,2,4,6 ################ # More data... # ################ /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 24723 0 0 0 45963 11 0 0 25 0 4 0 603092593 943079424 72342 33554432000 4194304 4797429 140734546484080 18446744073709551615 4351621 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1845.31 Current children cumulated vsize (KiB) 920976 [startup+522.3 s] /proc/loadavg: 9.06 8.02 7.29 10/189 766 /proc/meminfo: memFree=23500108/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=925324 CPUtime=2084.98 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 195887 0 0 0 208419 79 0 0 25 0 4 0 603092578 947531776 72747 33554432000 4194304 4797429 140734546484080 18446744073709551615 4352591 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 231331 72747 426 148 0 226260 0 [pid=32754/tid=32762] ppid=32752 vsize=925324 CPUtime=522.01 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 25110 0 0 0 52188 13 0 0 25 0 4 0 603092593 947531776 72747 33554432000 4194304 4797429 140734546484080 18446744073709551615 4423196 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=925324 CPUtime=521.28 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 28386 0 0 0 52116 12 0 0 25 0 4 0 603092593 947531776 72747 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=925324 CPUtime=519.4 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 26162 0 0 0 51928 12 0 0 25 0 4 0 603092593 947531776 72747 33554432000 4194304 4797429 140734546484080 18446744073709551615 215988250886 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2084.98 Current children cumulated vsize (KiB) 925324 [startup+582.301 s] /proc/loadavg: 9.15 8.24 7.41 10/189 768 /proc/meminfo: memFree=23480840/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=929228 CPUtime=2324.65 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 206110 0 0 0 232382 83 0 0 25 0 4 0 603092578 951529472 74734 33554432000 4194304 4797429 140734546484080 18446744073709551615 4424416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 232307 74734 426 148 0 227236 0 [pid=32754/tid=32762] ppid=32752 vsize=929228 CPUtime=582.02 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 26170 0 0 0 58188 14 0 0 25 0 4 0 603092593 951529472 74734 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=929228 CPUtime=581.28 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 29831 0 0 0 58115 13 0 0 25 0 4 0 603092593 951529472 74734 33554432000 4194304 4797429 140734546484080 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=929228 CPUtime=579.06 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 27401 0 0 0 57894 12 0 0 25 0 4 0 603092593 951529472 74734 33554432000 4194304 4797429 140734546484080 18446744073709551615 215988248545 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2324.65 Current children cumulated vsize (KiB) 929228 [startup+642.3 s] /proc/loadavg: 8.82 8.32 7.49 9/184 821 /proc/meminfo: memFree=23851548/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=932460 CPUtime=2564.06 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 216312 0 0 0 256319 87 0 0 25 0 4 0 603092578 954839040 75294 33554432000 4194304 4797429 140734546484080 18446744073709551615 4423196 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 233115 75294 426 148 0 228044 0 [pid=32754/tid=32762] ppid=32752 vsize=932460 CPUtime=642.02 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 27428 0 0 0 64187 15 0 0 25 0 4 0 603092593 954839040 75294 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=932460 CPUtime=641 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 30930 0 0 0 64087 13 0 0 25 0 4 0 603092593 954839040 75294 33554432000 4194304 4797429 140734546484080 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=932460 CPUtime=638.75 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28112 0 0 0 63863 12 0 0 25 0 4 0 603092593 954839040 75294 33554432000 4194304 4797429 140734546484080 18446744073709551615 215988259712 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2564.06 Current children cumulated vsize (KiB) 932460 Solver just ended. Dumping a history of the last processes samples [startup+653.301 s] /proc/loadavg: 8.64 8.31 7.50 9/184 822 /proc/meminfo: memFree=23849896/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=932460 CPUtime=2608 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 217518 0 0 0 260713 87 0 0 25 0 4 0 603092578 954839040 76376 33554432000 4194304 4797429 140734546484080 18446744073709551615 4426289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 233115 76376 426 148 0 228044 0 [pid=32754/tid=32762] ppid=32752 vsize=932460 CPUtime=653.02 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 27607 0 0 0 65287 15 0 0 25 0 4 0 603092593 954839040 76376 33554432000 4194304 4797429 140734546484080 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=932460 CPUtime=651.99 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 31087 0 0 0 65186 13 0 0 25 0 4 0 603092593 954839040 76376 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=932460 CPUtime=649.69 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28235 0 0 0 64957 12 0 0 25 0 4 0 603092593 954839040 76376 33554432000 4194304 4797429 140734546484080 18446744073709551615 4346270 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2608 Current children cumulated vsize (KiB) 932460 [startup+659.7 s] /proc/loadavg: 8.59 8.30 7.50 9/184 822 /proc/meminfo: memFree=23844192/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=932596 CPUtime=2633.58 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 218518 0 0 0 263270 88 0 0 25 0 4 0 603092578 954978304 76278 33554432000 4194304 4797429 140734546484080 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 233149 76278 426 148 0 228078 0 [pid=32754/tid=32762] ppid=32752 vsize=932596 CPUtime=659.41 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 27728 0 0 0 65926 15 0 0 25 0 4 0 603092593 954978304 76278 33554432000 4194304 4797429 140734546484080 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=932596 CPUtime=658.39 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 31181 0 0 0 65826 13 0 0 25 0 4 0 603092593 954978304 76278 33554432000 4194304 4797429 140734546484080 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=932596 CPUtime=656.07 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28709 0 0 0 65594 13 0 0 25 0 4 0 603092593 954978304 76278 33554432000 4194304 4797429 140734546484080 18446744073709551615 215988259837 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2633.58 Current children cumulated vsize (KiB) 932596 [startup+666.106 s] /proc/loadavg: 8.54 8.30 7.50 9/184 822 /proc/meminfo: memFree=23841836/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=932596 CPUtime=2659.16 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 219013 0 0 0 265828 88 0 0 25 0 4 0 603092578 954978304 76736 33554432000 4194304 4797429 140734546484080 18446744073709551615 4424768 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 233149 76736 426 148 0 228078 0 [pid=32754/tid=32762] ppid=32752 vsize=932596 CPUtime=665.82 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 27817 0 0 0 66567 15 0 0 25 0 4 0 603092593 954978304 76736 33554432000 4194304 4797429 140734546484080 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=932596 CPUtime=664.81 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 31264 0 0 0 66467 14 0 0 25 0 4 0 603092593 954978304 76736 33554432000 4194304 4797429 140734546484080 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=932596 CPUtime=662.44 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28780 0 0 0 66231 13 0 0 25 0 4 0 603092593 954978304 76736 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2659.16 Current children cumulated vsize (KiB) 932596 [startup+667.701 s] /proc/loadavg: 8.54 8.30 7.50 9/184 822 /proc/meminfo: memFree=23840968/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=932596 CPUtime=2665.54 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 219145 0 0 0 266466 88 0 0 25 0 4 0 603092578 954978304 76848 33554432000 4194304 4797429 140734546484080 18446744073709551615 4424338 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 233149 76848 426 148 0 228078 0 [pid=32754/tid=32762] ppid=32752 vsize=932596 CPUtime=667.42 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 27818 0 0 0 66727 15 0 0 25 0 4 0 603092593 954978304 76848 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=932596 CPUtime=666.4 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 31297 0 0 0 66626 14 0 0 25 0 4 0 603092593 954978304 76848 33554432000 4194304 4797429 140734546484080 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=932596 CPUtime=664.03 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28824 0 0 0 66390 13 0 0 25 0 4 0 603092593 954978304 76848 33554432000 4194304 4797429 140734546484080 18446744073709551615 4243642 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2665.54 Current children cumulated vsize (KiB) 932596 [startup+668.501 s] /proc/loadavg: 8.50 8.29 7.50 7/184 822 /proc/meminfo: memFree=23840348/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=932596 CPUtime=2668.04 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) S 32752 32754 32427 0 -1 4202496 219169 0 0 0 266715 89 0 0 22 0 4 0 603092578 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 216000421489 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 233149 76870 427 148 0 228078 0 [pid=32754/tid=32762] ppid=32752 vsize=932596 CPUtime=667.91 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) S 32752 32754 32427 0 -1 4202560 27833 0 0 0 66776 15 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 47612120061492 0 0 4096 2 18446604453985693760 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=932596 CPUtime=667.2 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 31297 0 0 0 66706 14 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=932596 CPUtime=664.83 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28824 0 0 0 66470 13 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 4228127 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2668.04 Current children cumulated vsize (KiB) 932596 [startup+668.901 s] /proc/loadavg: 8.50 8.29 7.50 7/184 822 /proc/meminfo: memFree=23840348/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=932596 CPUtime=2668.84 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) S 32752 32754 32427 0 -1 4202496 219169 0 0 0 266795 89 0 0 18 0 4 0 603092578 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 216000421489 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 233149 76870 427 148 0 228078 0 [pid=32754/tid=32762] ppid=32752 vsize=932596 CPUtime=667.91 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) S 32752 32754 32427 0 -1 4202560 27833 0 0 0 66776 15 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 47612120061492 0 0 4096 2 18446604453985693760 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=932596 CPUtime=667.6 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 31297 0 0 0 66746 14 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 47612120061469 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=932596 CPUtime=665.23 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28824 0 0 0 66510 13 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2668.84 Current children cumulated vsize (KiB) 932596 [startup+669.101 s] /proc/loadavg: 8.50 8.29 7.50 7/184 822 /proc/meminfo: memFree=23840348/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=932596 CPUtime=2669.07 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) S 32752 32754 32427 0 -1 4202496 219169 0 0 0 266818 89 0 0 16 0 4 0 603092578 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 216000421489 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 233149 76870 427 148 0 228078 0 [pid=32754/tid=32762] ppid=32752 vsize=932596 CPUtime=667.91 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) S 32752 32754 32427 0 -1 4202560 27833 0 0 0 66776 15 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 47612120061492 0 0 4096 2 18446604453985693760 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=932596 CPUtime=667.64 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) S 32752 32754 32427 0 -1 4202560 31297 0 0 0 66750 14 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 47612120061492 0 0 4096 2 18446604453985693760 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=932596 CPUtime=665.43 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28824 0 0 0 66530 13 0 0 25 0 4 0 603092593 954978304 76870 33554432000 4194304 4797429 140734546484080 18446744073709551615 4243793 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2669.07 Current children cumulated vsize (KiB) 932596 [startup+669.201 s] /proc/loadavg: 8.50 8.29 7.50 7/184 822 /proc/meminfo: memFree=23840348/32950940 swapFree=67111364/67111528 [pid=32754] ppid=32752 vsize=703064 CPUtime=2669.37 cores=0,2,4,6 /proc/32754/stat : 32754 (techdemo) R 32752 32754 32427 0 -1 4202496 219174 0 0 0 266848 89 0 0 15 0 4 0 603092578 719937536 71122 33554432000 4194304 4797429 140734546484080 18446744073709551615 215988241612 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/32754/statm: 175766 71122 431 148 0 170695 0 [pid=32754/tid=32762] ppid=32752 vsize=703064 CPUtime=667.98 cores=0,2,4,6 /proc/32754/task/32762/stat : 32762 (techdemo) R 32752 32754 32427 0 -1 4202560 27833 0 0 0 66783 15 0 0 18 0 4 0 603092593 719937536 71122 33554432000 4194304 4797429 140734546484080 18446744073709551615 47612120061874 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32754/tid=32763] ppid=32752 vsize=703064 CPUtime=667.7 cores=0,2,4,6 /proc/32754/task/32763/stat : 32763 (techdemo) R 32752 32754 32427 0 -1 4202560 31297 0 0 0 66756 14 0 0 23 0 4 0 603092593 719937536 71122 33554432000 4194304 4797429 140734546484080 18446744073709551615 47612120061874 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=32754/tid=32764] ppid=32752 vsize=703064 CPUtime=665.53 cores=0,2,4,6 /proc/32754/task/32764/stat : 32764 (techdemo) R 32752 32754 32427 0 -1 4202560 28824 0 0 0 66540 13 0 0 25 0 4 0 603092593 719937536 71122 33554432000 4194304 4797429 140734546484080 18446744073709551615 47612120061874 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2669.37 Current children cumulated vsize (KiB) 703064 Child status: 20 Real time (s): 669.25 CPU time (s): 2669.52 CPU user time (s): 2668.61 CPU system time (s): 0.905862 CPU usage (%): 398.882 Max. virtual memory (cumulated for all children) (KiB): 1035888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2668.61 system time used= 0.905862 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 219175 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= 5339 involuntary context switches= 13834 runsolver used 1.07684 second user time and 2.40363 second system time The end
Begin job on node117 at 2011-04-30 03:56:58 IDJOB=3289470 IDBENCH=83125 IDSOLVER=1584 FILE ID=node117/3289470-1304128618 RUNJOBID= node117-1304128618-32740 PBS_JOBID= 13170762 Free space on /tmp= 71680 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289470-1304128618/watcher-3289470-1304128618 -o /tmp/evaluation-result-3289470-1304128618/solver-3289470-1304128618 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3289470-1304128618.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7af4cc1b94644f101ccf5f2373fdbfea RANDOM SEED=940616175 node117.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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 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.75 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.849 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 24661968 kB Buffers: 1869104 kB Cached: 5794352 kB SwapCached: 160 kB Active: 706324 kB Inactive: 7024812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 24661968 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 10944 kB Writeback: 0 kB AnonPages: 66992 kB Mapped: 14492 kB Slab: 495720 kB PageTables: 4704 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 191024 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= 72608 MiB End job on node117 at 2011-04-30 04:08:07