| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | UNSAT | 4342.44 | 1092.42 |
| Name | APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf |
| MD5SUM | 4b75ef7fb46928f50793af1d74c176e2 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 4342.44 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 98048 |
| Number of clauses | 293759 |
| Sum of the clauses size | 685435 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 195838 |
| Number of clauses of size 3 | 97919 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c 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-3282294-1304032902.cnf' 0.00/0.00 c -- header says num vars: 98048 0.00/0.00 c -- header says num clauses: 293759 0.49/0.58 c -- clauses added: 0 learnts, 293759 normals, 0 xors 0.49/0.58 c -- vars added 98048 0.49/0.58 c Parsing time: 0.50 s 0.49/0.58 c N st 0 0 98048 97919 195838 0 685433 0 no data no data -- 1.83/0.95 c asymm cl-useful: 51/420/97918 lits-rem:153 time: 1.44 32.18/8.50 c Flit: 1879 Blit: 128 bXBeca: 0 bXProp: 3556 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 30.07 32.18/8.51 c Cleaning up after failed var search: 0.05 s 38.97/10.25 c Calc non-exist non-lernt bins v-fix: 439 done: 11146 time: 6.71 s 39.36/10.31 c Cache BProp: 2583 Set: 0 BXProp: 131 T: 0.20 39.36/10.37 c Subs w/ non-existent bins: 4 time: 0.27 s 39.76/10.41 c Replacing 3689 vars Replaced 30896 lits Time: 0.15 s 39.76/10.46 c bin-w-bin subsume rem 0 bins time: 0.07 s 40.16/10.50 c subs with bin: 4 lits-rem: 4 v-fix: 0 time: 0.14 s 40.55/10.63 c Removed useless bin: 0 fixed: 350 bprops: 10.01M time: 0.51 s 41.78/10.91 c lits-rem: 0 cl-subs: 0 v-elim: 30506 v-fix: 0 time: 1.11 s 41.78/10.91 c learnt bin added due to v-elim: 0 41.78/10.92 c Finding binary XORs T: 0.06 s found: 211 41.78/10.94 c Replacing 211 vars Replaced 2063 lits Time: 0.09 s 42.17/11.02 c Finding non-binary XORs: 0.21 s (found: 8175, avg size: 3.0) 42.17/11.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 42.17/11.03 c Calc default polars - time: 0.03 s pos: 33 undec: 59129 neg: 38886 42.17/11.03 c ========================================================================================= 42.17/11.03 c types(t): F = full restart, N = normal restart 42.17/11.03 c types(t): S = simplification begin/end, E = solution found 42.17/11.03 c restart types(rt): st = static, dy = dynamic 42.17/11.03 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 42.17/11.03 c B st 0 0 60803 80508 91091 0 448263 0 no data no data -- 44.55/11.62 c Decided on dynamic restart strategy 47.34/12.34 c N dy 24 4007 60060 80508 92446 2515 448263 14017 4.30 2.86 -- 56.53/14.63 c N dy 61 8041 59956 80508 96433 39269 449075 141135 5.67 3.34 -- 62.12/16.02 c N dy 88 12058 59169 80508 96887 42774 449075 189879 7.62 4.53 -- 66.91/17.20 c N dy 107 17500 53826 66152 86316 47534 385300 264205 19.25 5.16 -- 70.11/18.00 c N dy 122 21543 53826 66152 86531 40801 385300 149193 14.90 5.74 -- 74.51/19.18 c N dy 144 25633 53738 66152 86923 44415 385300 207378 20.98 6.06 -- 82.89/21.26 c N dy 173 29715 53726 66152 87658 47718 385300 280081 25.52 6.27 -- 84.10/21.59 c S st 176 30000 53721 66152 87730 47925 385300 290226 30.58 6.29 -- 85.71/21.97 c S st 176 30502 53708 66152 87841 48297 385300 301627 30.58 6.29 -- 85.71/21.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 86.11/22.04 c Cache BProp: 1107 Set: 0 BXProp: 0 T: 0.20 160.79/40.72 c Flit: 0 Blit: 1613 bXBeca: 0 bXProp: 4 Bin: 20843 BRemL: 24 BRemN: 0 CBin: 0 P: 60.0M T: 74.27 160.79/40.73 c Cleaning up after failed var search: 0.06 s 166.36/42.19 c Calc non-exist non-lernt bins v-fix: 228 done: 17349 time: 5.76 s 167.16/42.30 c Cache BProp: 7993 Set: 4 BXProp: 109 T: 0.43 168.36/42.60 c Subs w/ non-existent bins: 59 time: 1.21 s 168.36/42.64 c Replacing 156 vars Replaced 2852 lits Time: 0.15 s 168.36/42.70 c bin-w-bin subsume rem 139 bins time: 0.07 s 168.76/42.76 c subs with bin: 268 lits-rem: 8499 v-fix: 0 time: 0.26 s 169.57/42.91 c Removed useless bin: 18 fixed: 0 bprops: 10.00M time: 0.59 s 171.56/43.41 c lits-rem: 235 cl-subs: 7161 v-elim: 12170 v-fix: 0 time: 1.99 s 171.56/43.41 c learnt bin added due to v-elim: 0 171.56/43.49 c vivif2 -- cl tried 54123 cl shrink 4804 lits rem 5267 time: 0.32 172.35/43.64 c vivif2 -- cl tried 42178 cl shrink 693 lits rem 2179 time: 0.59 173.15/43.86 c asymm cl-useful: 351/1359/51838 lits-rem:759 time: 0.87 173.97/44.00 c calculated reachability. Time: 0.55 173.97/44.01 c N dy 176 30502 38085 51702 86626 42064 330722 183408 30.58 6.29 -- 173.97/44.01 c F st 176 30502 38085 51702 86626 42064 330722 183408 30.58 6.29 -- 179.94/45.56 c Finding binary XORs T: 1.52 s found: 141 180.75/45.72 c Decided on static restart strategy 191.93/48.53 c N dy 183 40613 29458 29667 114834 57168 234398 662683 73.66 9.11 -- 202.32/51.12 c N dy 190 44703 29458 29667 115099 60881 234398 915929 77.20 9.42 -- 204.73/51.76 c S st 194 45754 29450 29667 115129 61861 234398 963085 48.85 9.61 -- 206.31/52.16 c S st 194 46255 29442 29667 115252 62233 234398 966564 48.85 9.61 -- 206.31/52.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 206.71/52.23 c Cache BProp: 4206 Set: 17 BXProp: 0 T: 0.17 229.07/57.80 c Flit: 3 Blit: 27 bXBeca: 0 bXProp: 0 Bin: 7283 BRemL: 1 BRemN: 0 CBin: 0 P: 60.0M T: 22.20 233.07/58.82 c Calc non-exist non-lernt bins v-fix: 7 done: 21060 time: 4.04 s 233.07/58.88 c Cache BProp: 4301 Set: 0 BXProp: 0 T: 0.25 237.86/60.02 c Subs w/ non-existent bins: 4543 time: 4.54 s 237.86/60.07 c Replacing 142 vars Replaced 24462 lits Time: 0.20 s 238.26/60.13 c bin-w-bin subsume rem 1072 bins time: 0.08 s 239.05/60.31 c subs with bin: 588 lits-rem: 6411 v-fix: 0 time: 0.71 s 239.47/60.47 c Removed useless bin: 945 fixed: 9 bprops: 10.01M time: 0.62 s 244.28/61.67 c lits-rem: 1335 cl-subs: 5639 v-elim: 187 v-fix: 0 time: 4.79 s 244.28/61.67 c learnt bin added due to v-elim: 0 244.65/61.74 c vivif2 -- cl tried 26832 cl shrink 949 lits rem 1518 time: 0.30 246.25/62.17 c vivif2 -- cl tried 53642 cl shrink 3887 lits rem 21167 time: 1.69 247.05/62.32 c asymm cl-useful: 36/1232/26327 lits-rem:89 time: 0.59 247.45/62.45 c calculated reachability. Time: 0.51 247.45/62.45 c N dy 194 46255 29013 26309 118635 53201 219433 516863 48.85 9.61 -- 262.23/66.14 c N dy 199 57228 28750 26309 148076 48152 221027 396682 17.41 9.38 -- 270.24/68.16 c N dy 200 62985 28750 26309 148101 53792 221027 618793 33.60 9.63 -- 282.20/71.11 c N dy 203 68123 28740 26309 148212 58767 221027 868310 52.09 9.56 -- 284.19/71.67 c S st 204 69382 28736 26309 148216 60010 221027 929940 51.40 9.58 -- 285.79/72.09 c S st 204 69885 28697 26309 148303 60404 221027 940469 51.40 9.58 -- 286.19/72.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 286.19/72.17 c Cache BProp: 4269 Set: 21 BXProp: 0 T: 0.25 302.56/76.21 c Flit: 0 Blit: 49 bXBeca: 0 bXProp: 4 Bin: 3183 BRemL: 9 BRemN: 1 CBin: 0 P: 60.0M T: 16.11 306.55/77.21 c Calc non-exist non-lernt bins v-fix: 19 done: 20947 time: 3.92 s 306.55/77.28 c Cache BProp: 4448 Set: 0 BXProp: 164 T: 0.28 310.55/78.25 c Subs w/ non-existent bins: 711 time: 3.89 s 310.95/78.31 c Replacing 170 vars Replaced 19855 lits Time: 0.22 s 310.95/78.37 c bin-w-bin subsume rem 1813 bins time: 0.09 s 312.15/78.60 c subs with bin: 762 lits-rem: 4011 v-fix: 0 time: 0.91 s 312.55/78.77 c Removed useless bin: 645 fixed: 0 bprops: 10.00M time: 0.66 s 332.52/83.70 c ORs : 21228 avg-s: 2.3 cl-sh: 22314 l-rem: 22354 b-add: 15142 v-rep: 0 cl-rem: 317 avg s: 3.4 T: 12.24 370.46/93.27 c Added 0 vars tried: 80000 time: 38.19 370.46/93.27 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: 38.19 370.87/93.31 c lits-rem: 1282 cl-subs: 7763 v-elim: 95 v-fix: 0 time: 58.03 s 370.87/93.31 c learnt bin added due to v-elim: 0 370.87/93.39 c vivif2 -- cl tried 24455 cl shrink 255 lits rem 613 time: 0.32 372.46/93.76 c vivif2 -- cl tried 35908 cl shrink 1809 lits rem 8523 time: 1.49 373.26/93.97 c asymm cl-useful: 72/371/24266 lits-rem:216 time: 0.83 374.06/94.12 c calculated reachability. Time: 0.57 374.06/94.12 c N dy 204 69885 28110 24194 158960 35764 206221 456266 51.40 9.58 -- 374.06/94.12 c F st 204 69885 28110 24194 158960 35764 206221 456266 51.40 9.58 -- 377.65/95.07 c Decided on static restart strategy 384.86/96.84 c N dy 211 77326 28094 24087 200392 44190 206779 721273 22.44 9.40 -- 426.79/107.30 c N dy 213 99001 27944 24087 200563 65381 206779 1691795 17.82 11.58 -- 428.41/107.75 c Finding binary XORs T: 1.70 s found: 126 431.59/108.50 c S st 214 104827 27461 22710 196626 36301 198874 444578 11.15 11.29 -- 432.39/108.77 c S st 214 105327 27461 22710 196656 36765 198874 452070 11.15 11.29 -- 432.39/108.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 432.81/108.86 c Cache BProp: 4057 Set: 3 BXProp: 0 T: 0.27 449.56/113.07 c Flit: 0 Blit: 45 bXBeca: 0 bXProp: 1 Bin: 521 BRemL: 27 BRemN: 0 CBin: 0 P: 60.1M T: 16.76 453.55/114.07 c Calc non-exist non-lernt bins v-fix: 45 done: 20645 time: 3.98 s 453.95/114.14 c Cache BProp: 4150 Set: 2 BXProp: 0 T: 0.29 454.77/114.37 c Subs w/ non-existent bins: 483 time: 0.92 s 455.17/114.40 c Replacing 128 vars Replaced 4581 lits Time: 0.13 s 455.17/114.45 c bin-w-bin subsume rem 8277 bins time: 0.11 s 455.54/114.50 c subs with bin: 551 lits-rem: 254 v-fix: 0 time: 0.19 s 455.94/114.66 c Removed useless bin: 119 fixed: 0 bprops: 10.00M time: 0.64 s 468.35/117.71 c ORs : 20542 avg-s: 2.3 cl-sh: 2130 l-rem: 2137 b-add: 876 v-rep: 0 cl-rem: 94 avg s: 3.0 T: 11.91 468.35/117.74 c lits-rem: 154 cl-subs: 922 v-elim: 104 v-fix: 0 time: 12.28 s 468.35/117.74 c learnt bin added due to v-elim: 0 468.72/117.82 c vivif2 -- cl tried 22340 cl shrink 177 lits rem 264 time: 0.33 469.12/117.98 c vivif2 -- cl tried 33973 cl shrink 201 lits rem 378 time: 0.63 469.92/118.12 c asymm cl-useful: 0/76/22223 lits-rem:0 time: 0.55 470.32/118.27 c calculated reachability. Time: 0.58 470.32/118.27 c N dy 214 105327 27162 22223 185581 33915 194816 414471 11.15 11.29 -- 477.14/119.91 c N dy 216 115295 27162 22223 185697 43519 194816 599572 15.77 11.11 -- 501.89/126.10 c N dy 218 136534 27066 22223 193929 38995 195334 552292 13.63 10.63 -- 536.64/134.81 c N dy 219 157990 27056 22223 193997 37154 195334 862507 71.22 11.34 -- 536.64/134.83 c S st 219 157990 27056 22223 193997 37154 195334 862507 71.22 11.34 -- 537.44/135.06 c S st 219 158492 27037 22223 200504 37999 196028 884488 71.22 11.34 -- 537.44/135.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 537.84/135.15 c Cache BProp: 2953 Set: 0 BXProp: 0 T: 0.30 552.21/138.75 c Flit: 0 Blit: 2 bXBeca: 0 bXProp: 0 Bin: 110 BRemL: 80 BRemN: 0 CBin: 0 P: 60.3M T: 14.34 556.61/139.81 c Calc non-exist non-lernt bins v-fix: 0 done: 21153 time: 4.17 s 556.61/139.88 c Cache BProp: 2804 Set: 0 BXProp: 44 T: 0.31 561.01/140.94 c Subs w/ non-existent bins: 249 time: 4.22 s 561.01/140.98 c Replacing 53 vars Replaced 10740 lits Time: 0.16 s 561.41/141.04 c bin-w-bin subsume rem 1571 bins time: 0.11 s 561.81/141.19 c subs with bin: 532 lits-rem: 2236 v-fix: 0 time: 0.57 s 562.61/141.37 c Removed useless bin: 149 fixed: 0 bprops: 10.00M time: 0.74 s 578.20/145.26 c ORs : 19785 avg-s: 2.3 cl-sh: 2896 l-rem: 2917 b-add: 315 v-rep: 0 cl-rem: 20 avg s: 3.0 T: 11.67 578.20/145.28 c lits-rem: 404 cl-subs: 4473 v-elim: 72 v-fix: 0 time: 15.62 s 578.20/145.28 c learnt bin added due to v-elim: 0 578.58/145.37 c vivif2 -- cl tried 20950 cl shrink 143 lits rem 184 time: 0.32 579.39/145.55 c vivif2 -- cl tried 32353 cl shrink 147 lits rem 259 time: 0.75 579.79/145.69 c asymm cl-useful: 0/77/20848 lits-rem:0 time: 0.56 580.59/145.85 c calculated reachability. Time: 0.60 580.59/145.85 c N dy 219 158492 26561 20848 192342 32314 187968 486159 71.22 11.34 -- 660.07/165.75 c N dy 226 200131 26535 20848 196822 48407 188250 1375040 35.71 12.53 -- 692.05/173.72 c N dy 229 227462 26474 20848 196949 50246 188250 1300966 27.52 12.65 -- 708.81/177.95 c S st 231 237739 26455 20848 197002 34147 188250 476987 33.30 12.44 -- 710.03/178.26 c S st 231 238241 26451 20848 197026 34619 188250 484964 33.30 12.44 -- 710.03/178.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 710.40/178.35 c Cache BProp: 2546 Set: 0 BXProp: 0 T: 0.30 726.78/182.45 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 9 Bin: 157 BRemL: 50 BRemN: 2 CBin: 0 P: 60.0M T: 16.36 731.18/183.57 c Calc non-exist non-lernt bins v-fix: 0 done: 20691 time: 4.44 s 731.59/183.65 c Cache BProp: 2547 Set: 0 BXProp: 6 T: 0.31 732.76/183.97 c Subs w/ non-existent bins: 136 time: 1.26 s 733.16/184.01 c Replacing 54 vars Replaced 2844 lits Time: 0.15 s 733.16/184.06 c bin-w-bin subsume rem 522 bins time: 0.11 s 733.56/184.12 c subs with bin: 210 lits-rem: 436 v-fix: 0 time: 0.23 s 734.36/184.30 c Removed useless bin: 74 fixed: 0 bprops: 10.00M time: 0.71 s 745.95/187.28 c ORs : 19609 avg-s: 2.3 cl-sh: 421 l-rem: 430 b-add: 79 v-rep: 0 cl-rem: 4 avg s: 3.0 T: 11.56 746.35/187.30 c lits-rem: 71 cl-subs: 1553 v-elim: 61 v-fix: 0 time: 11.97 s 746.35/187.30 c learnt bin added due to v-elim: 0 746.35/187.39 c vivif2 -- cl tried 20557 cl shrink 66 lits rem 131 time: 0.35 747.15/187.57 c vivif2 -- cl tried 31968 cl shrink 102 lits rem 390 time: 0.70 747.95/187.73 c asymm cl-useful: 0/68/20516 lits-rem:0 time: 0.64 748.75/187.90 c calculated reachability. Time: 0.66 748.75/187.90 c N dy 231 238241 26330 20516 194415 31916 185642 420780 33.30 12.44 -- 779.11/195.57 c N dy 233 258543 26328 20516 200518 51926 186128 1305984 57.46 12.85 -- 809.06/203.05 c N dy 235 278581 26265 20516 200654 44433 186128 854427 44.27 12.83 -- 811.09/203.58 c Finding binary XORs T: 2.04 s found: 53 962.84/241.55 c N dy 236 357364 26191 20199 199286 34169 184191 466344 31.45 12.61 -- 962.84/241.55 c S st 236 357364 26191 20199 199286 34169 184191 466344 31.45 12.61 -- 964.04/241.82 c S st 236 357868 26120 20199 203232 35021 184681 480895 31.45 12.61 -- 964.04/241.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 964.46/241.92 c Cache BProp: 2349 Set: 0 BXProp: 0 T: 0.31 977.64/245.29 c Flit: 0 Blit: 7 bXBeca: 0 bXProp: 0 Bin: 84 BRemL: 125 BRemN: 0 CBin: 0 P: 60.2M T: 13.47 981.61/246.26 c Calc non-exist non-lernt bins v-fix: 0 done: 21456 time: 3.86 s 982.03/246.34 c Cache BProp: 2356 Set: 0 BXProp: 6 T: 0.33 983.21/246.63 c Subs w/ non-existent bins: 134 time: 1.16 s 983.21/246.66 c Replacing 60 vars Replaced 5843 lits Time: 0.14 s 983.61/246.71 c bin-w-bin subsume rem 529 bins time: 0.11 s 983.61/246.76 c subs with bin: 554 lits-rem: 1237 v-fix: 0 time: 0.20 s 984.41/246.93 c Removed useless bin: 95 fixed: 0 bprops: 9.86M time: 0.68 s 995.99/249.81 c ORs : 18982 avg-s: 2.3 cl-sh: 456 l-rem: 460 b-add: 45 v-rep: 0 cl-rem: 6 avg s: 3.0 T: 11.25 995.99/249.83 c lits-rem: 47 cl-subs: 1574 v-elim: 79 v-fix: 0 time: 11.58 s 995.99/249.83 c learnt bin added due to v-elim: 0 996.38/249.92 c vivif2 -- cl tried 19969 cl shrink 104 lits rem 123 time: 0.35 996.78/250.09 c vivif2 -- cl tried 32726 cl shrink 93 lits rem 138 time: 0.68 997.58/250.24 c asymm cl-useful: 0/108/19894 lits-rem:0 time: 0.59 998.38/250.41 c calculated reachability. Time: 0.65 998.38/250.41 c N dy 236 357868 25989 19894 200044 32686 182382 423928 31.45 12.61 -- 1023.56/256.77 c N dy 239 380399 25988 19894 200097 54810 182382 1103004 19.70 12.46 -- 1070.30/268.47 c N dy 240 416530 25988 19894 200157 58541 182382 1419080 13.41 12.44 -- 1152.18/288.98 c N dy 241 484573 25836 19894 202503 60651 182554 1102148 16.59 12.03 -- 1190.13/298.49 c N dy 242 514637 25836 19894 202515 56554 182554 1033414 35.55 11.95 -- 1223.70/306.89 c N dy 248 536802 25832 19894 202613 43739 182554 714476 36.97 11.94 -- 1224.10/306.90 c S st 248 536802 25832 19894 202613 43739 182554 714476 36.97 11.94 -- 1224.48/307.09 c S st 248 537302 25832 19894 202628 44217 182554 721313 36.97 11.94 -- 1224.88/307.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 1225.28/307.20 c Cache BProp: 1785 Set: 0 BXProp: 0 T: 0.35 1242.86/311.64 c Flit: 1 Blit: 11 bXBeca: 0 bXProp: 9 Bin: 27 BRemL: 53 BRemN: 0 CBin: 0 P: 60.1M T: 17.75 1247.25/312.71 c Calc non-exist non-lernt bins v-fix: 0 done: 20693 time: 4.26 s 1247.65/312.81 c Cache BProp: 1796 Set: 0 BXProp: 7 T: 0.37 1250.47/313.58 c Subs w/ non-existent bins: 263 time: 3.11 s 1250.85/313.62 c Replacing 101 vars Replaced 3535 lits Time: 0.15 s 1250.85/313.68 c bin-w-bin subsume rem 682 bins time: 0.10 s 1251.25/313.76 c subs with bin: 238 lits-rem: 441 v-fix: 0 time: 0.31 s 1252.05/313.93 c Removed useless bin: 49 fixed: 0 bprops: 8.92M time: 0.71 s 1264.83/317.15 c ORs : 18618 avg-s: 2.3 cl-sh: 382 l-rem: 383 b-add: 10 v-rep: 0 cl-rem: 95 avg s: 4.0 T: 11.07 1264.83/317.18 c lits-rem: 534 cl-subs: 6180 v-elim: 115 v-fix: 0 time: 12.96 s 1264.83/317.18 c learnt bin added due to v-elim: 0 1265.23/317.27 c vivif2 -- cl tried 19533 cl shrink 60 lits rem 62 time: 0.38 1266.83/317.63 c vivif2 -- cl tried 37290 cl shrink 331 lits rem 924 time: 1.40 1267.23/317.79 c asymm cl-useful: 4/149/19508 lits-rem:12 time: 0.66 1268.05/317.97 c calculated reachability. Time: 0.70 1268.05/317.97 c N dy 248 537302 25614 19504 177903 37143 178635 454783 36.97 11.94 -- 1268.05/317.97 c F st 248 537302 25614 19504 177903 37143 178635 454783 36.97 11.94 -- 1272.04/318.96 c Decided on static restart strategy 1556.03/390.02 c N dy 256 677662 25613 19500 178016 66322 178588 1181762 33.38 11.75 -- 1558.43/390.65 c Finding binary XORs T: 2.39 s found: 53 1596.37/400.11 c N dy 258 710793 25464 19107 180624 60190 177184 858136 16.24 11.62 -- 1688.65/423.23 c N dy 263 760103 25463 19107 180707 69111 177184 1008490 18.97 11.41 -- 1791.29/448.94 c N dy 265 805955 25466 19107 182279 74333 177296 1312592 32.29 11.44 -- 1791.29/448.98 c S st 265 805955 25466 19107 182279 74333 177296 1312592 32.29 11.44 -- 1793.29/449.46 c S st 265 806456 25466 19107 182282 74824 177296 1319794 32.29 11.44 -- 1793.29/449.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 1794.09/449.61 c Cache BProp: 1553 Set: 0 BXProp: 2 T: 0.49 1814.06/454.62 c Flit: 0 Blit: 5 bXBeca: 0 bXProp: 2 Bin: 97 BRemL: 291 BRemN: 1 CBin: 0 P: 60.0M T: 19.99 1818.86/455.80 c Calc non-exist non-lernt bins v-fix: 0 done: 20775 time: 4.72 s 1819.26/455.93 c Cache BProp: 1490 Set: 0 BXProp: 2 T: 0.51 1829.64/458.53 c Subs w/ non-existent bins: 187 time: 10.37 s 1829.64/458.58 c Replacing 63 vars Replaced 7015 lits Time: 0.19 s 1830.06/458.65 c bin-w-bin subsume rem 945 bins time: 0.10 s 1830.46/458.76 c subs with bin: 412 lits-rem: 240 v-fix: 0 time: 0.43 s 1831.24/458.91 c Removed useless bin: 118 fixed: 0 bprops: 7.84M time: 0.61 s 1848.42/463.22 c ORs : 18129 avg-s: 2.3 cl-sh: 170 l-rem: 173 b-add: 21 v-rep: 0 cl-rem: 39 avg s: 3.1 T: 11.29 1848.42/463.26 c lits-rem: 507 cl-subs: 9260 v-elim: 74 v-fix: 0 time: 17.33 s 1848.42/463.26 c learnt bin added due to v-elim: 0 1848.82/463.38 c vivif2 -- cl tried 18991 cl shrink 88 lits rem 101 time: 0.50 1858.41/465.74 c vivif2 -- cl tried 62902 cl shrink 927 lits rem 1364 time: 9.41 1858.81/465.89 c asymm cl-useful: 0/108/18929 lits-rem:0 time: 0.58 1860.01/466.13 c calculated reachability. Time: 0.95 1860.01/466.13 c N dy 265 806456 25341 18929 179393 64322 176010 1109741 32.29 11.44 -- 1895.98/475.11 c N dy 267 833393 25340 18929 179413 49819 176010 595052 20.97 11.39 -- 2090.51/523.81 c N dy 271 931215 25287 18929 180199 60802 176076 844530 26.36 11.54 -- 2207.16/553.08 c N dy 274 980830 25223 18929 181886 65450 176232 972082 28.55 11.51 -- 2293.03/574.52 c N dy 278 1023665 24020 18929 181974 62223 176232 840687 27.90 11.57 -- 2296.25/575.38 c Finding binary XORs T: 3.28 s found: 6205 2296.63/575.43 c Replacing 6205 vars Replaced 113158 lits Time: 0.19 s 2320.61/581.44 c N dy 286 1044018 15615 12334 104567 66689 113350 1027557 13.58 11.52 -- 2345.37/587.64 c N dy 291 1075928 15085 12334 104876 51829 113370 478963 13.14 11.43 -- 2363.75/592.24 c N dy 293 1099919 14826 12334 104928 75378 113370 938745 18.11 11.39 -- 2402.09/601.84 c N dy 295 1146466 14746 12334 105004 73848 113370 879039 17.63 11.32 -- 2402.09/601.89 c Replacing 1452 vars Replaced 36563 lits Time: 0.10 s 2450.43/613.94 c N dy 298 1209168 12981 9359 74736 81636 96789 927971 20.20 11.15 -- 2451.23/614.10 c S st 299 1209684 12957 9359 76259 82653 98071 938864 19.03 11.14 -- 2452.43/614.43 c S st 299 1210188 12957 9359 76263 83147 98071 946039 19.03 11.14 -- 2452.43/614.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2452.83/614.52 c Cache BProp: 9887 Set: 6 BXProp: 536 T: 0.31 2474.41/619.99 c Flit: 10 Blit: 12 bXBeca: 0 bXProp: 683 Bin: 865 BRemL: 2974 BRemN: 65 CBin: 0 P: 60.2M T: 21.86 2475.61/620.24 c Calc non-exist non-lernt bins v-fix: 0 done: 12903 time: 0.98 s 2476.02/620.32 c Cache BProp: 9874 Set: 0 BXProp: 319 T: 0.31 2479.60/621.22 c Subs w/ non-existent bins: 1108 time: 3.59 s 2479.60/621.27 c Replacing 1537 vars Replaced 65548 lits Time: 0.21 s 2480.00/621.32 c bin-w-bin subsume rem 533 bins time: 0.04 s 2480.41/621.40 c subs with bin: 254 lits-rem: 1910 v-fix: 0 time: 0.31 s 2480.41/621.43 c Removed useless bin: 55 fixed: 0 bprops: 1.19M time: 0.12 s 2491.98/624.33 c ORs : 8597 avg-s: 2.2 cl-sh: 1221 l-rem: 1221 b-add: 18 v-rep: 0 cl-rem: 35 avg s: 6.9 T: 5.49 2502.79/627.02 c Added 1 vars tried: 80000 time: 10.71 2502.79/627.02 c ORs : 1 avg-s: 0.0 cl-sh: 396 l-rem: 396 b-add: 2 v-rep: 0 cl-rem: 0 avg s: nan T: 10.73 2502.79/627.06 c lits-rem: 4448 cl-subs: 11191 v-elim: 77 v-fix: 0 time: 22.46 s 2502.79/627.06 c learnt bin added due to v-elim: 0 2503.16/627.13 c vivif2 -- cl tried 9128 cl shrink 54 lits rem 64 time: 0.28 2507.18/628.15 c vivif2 -- cl tried 70601 cl shrink 1779 lits rem 2083 time: 4.08 2507.56/628.28 c asymm cl-useful: 1/232/9093 lits-rem:3 time: 0.54 2508.35/628.42 c calculated reachability. Time: 0.55 2508.35/628.43 c N dy 299 1210188 11305 9092 59286 70371 77824 791623 19.03 11.14 -- 2532.73/634.55 c Finding binary XORs T: 2.17 s found: 82 2536.32/635.43 c N dy 304 1230691 11293 9062 59043 84930 77211 1021121 13.04 11.09 -- 2553.51/639.71 c N dy 311 1254763 11289 9062 59088 60054 77211 538144 16.29 11.01 -- 2609.02/653.62 c N dy 313 1311233 11282 9062 59468 65967 77389 695418 22.58 10.94 -- 2630.22/658.94 c N dy 315 1334102 11268 9062 59783 88757 77463 1129812 20.00 10.90 -- 2657.76/665.83 c N dy 317 1364323 11268 9062 59800 67175 77463 647178 24.66 10.89 -- 2673.34/669.76 c N dy 322 1386336 11268 9062 59907 88782 77477 1020733 16.04 10.86 -- 2707.71/678.39 c N dy 325 1420953 11268 9062 59921 70684 77477 687576 22.91 10.80 -- 2725.68/682.89 c N dy 330 1444784 11268 9062 60253 94121 77487 1111499 22.86 10.79 -- 2744.86/687.69 c N dy 336 1470757 11268 9062 60262 66504 77487 615547 20.34 10.78 -- 2764.43/692.56 c N dy 340 1492120 11268 9062 60265 87452 77487 995652 17.41 10.75 -- 2787.21/698.22 c N dy 353 1519793 11269 9062 60564 60707 77507 473103 17.74 10.71 -- 2809.57/703.81 c N dy 357 1550037 11269 9062 60580 90327 77507 1033862 16.06 10.68 -- 2828.74/708.60 c N dy 365 1571476 11263 9062 60587 56389 77507 386272 15.31 10.66 -- 2854.34/715.04 c N dy 371 1603261 11263 9062 60595 87479 77507 886044 13.01 10.62 -- 2878.28/721.10 c N dy 379 1630050 11263 9062 61003 57929 77513 401597 15.49 10.58 -- 2915.86/730.42 c N dy 383 1670041 11263 9062 61012 97231 77513 1158066 20.34 10.55 -- 2938.60/736.14 c N dy 397 1692797 11263 9062 61122 62657 77521 472935 14.52 10.52 -- 2951.00/739.21 c S st 403 1710189 11263 9062 61252 79725 77529 765180 16.05 10.50 -- 2951.78/739.44 c S st 403 1710690 11263 9062 61252 80225 77529 773913 16.05 10.50 -- 2951.78/739.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2952.18/739.53 c Cache BProp: 9524 Set: 0 BXProp: 30 T: 0.31 2971.37/744.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 367 BRemL: 9065 BRemN: 36 CBin: 0 P: 60.1M T: 19.21 2972.17/744.57 c Calc non-exist non-lernt bins v-fix: 0 done: 11263 time: 0.92 s 2972.59/744.65 c Cache BProp: 9522 Set: 0 BXProp: 0 T: 0.31 2976.16/745.53 c Subs w/ non-existent bins: 325 time: 3.53 s 2976.16/745.56 c Replacing 133 vars Replaced 4780 lits Time: 0.11 s 2976.56/745.60 c bin-w-bin subsume rem 435 bins time: 0.03 s 2976.56/745.66 c subs with bin: 173 lits-rem: 1331 v-fix: 0 time: 0.23 s 2976.56/745.69 c Removed useless bin: 25 fixed: 0 bprops: 1.28M time: 0.12 s 2986.95/748.23 c ORs : 8511 avg-s: 2.2 cl-sh: 670 l-rem: 670 b-add: 137 v-rep: 0 cl-rem: 36 avg s: 4.4 T: 5.58 2986.95/748.26 c lits-rem: 5164 cl-subs: 6562 v-elim: 12 v-fix: 0 time: 10.27 s 2986.95/748.26 c learnt bin added due to v-elim: 0 2987.35/748.33 c vivif2 -- cl tried 8917 cl shrink 9 lits rem 9 time: 0.29 2991.75/749.41 c vivif2 -- cl tried 73044 cl shrink 1880 lits rem 2396 time: 4.29 2992.15/749.52 c asymm cl-useful: 0/235/8912 lits-rem:0 time: 0.46 2992.55/749.67 c calculated reachability. Time: 0.56 2992.55/749.67 c N dy 403 1710690 11126 8912 51208 72939 74423 670695 16.05 10.50 -- 3027.69/758.47 c N dy 407 1745143 11125 8912 51228 106243 74423 1282137 23.64 10.49 -- 3044.06/762.52 c Finding binary XORs T: 2.22 s found: 10 3044.06/762.57 c N dy 420 1765286 11124 8908 51216 68257 74403 519375 13.49 10.45 -- 3070.43/769.14 c N dy 430 1795942 11124 8908 51226 98388 74403 1025867 13.71 10.41 -- 3097.20/775.81 c N dy 441 1820763 11124 8908 51526 64187 74405 496733 23.53 10.39 -- 3112.38/779.60 c N dy 446 1841204 11124 8908 51622 84188 74407 835705 18.57 10.38 -- 3129.56/783.95 c N dy 460 1862436 11124 8908 51631 104988 74407 1156067 19.18 10.35 -- 3151.13/789.32 c N dy 465 1882915 11124 8908 51633 65317 74407 484498 19.47 10.32 -- 3189.09/798.84 c N dy 469 1916855 11124 8908 51637 98717 74407 1099204 25.30 10.29 -- 3241.04/811.88 c N dy 478 1954284 11124 8908 51639 74688 74407 673737 18.45 10.28 -- 3278.58/821.26 c N dy 489 1989967 11124 8908 51933 109845 74441 1337570 17.96 10.27 -- 3318.53/831.24 c N dy 497 2022227 11124 8908 51936 79635 74441 745875 19.97 10.23 -- 3360.47/841.76 c N dy 502 2047068 11122 8908 52015 103861 74479 1191438 19.15 10.20 -- 3388.44/848.74 c N dy 519 2075255 11121 8908 52489 68727 74485 503871 16.24 10.17 -- 3407.21/853.42 c N dy 525 2096323 11121 8908 52491 89484 74485 888458 16.45 10.16 -- 3434.39/860.25 c N dy 534 2116659 11121 8908 52493 109553 74485 1278512 18.25 10.16 -- 3456.38/865.75 c N dy 542 2138801 11121 8908 52563 67334 74485 489757 19.07 10.14 -- 3475.13/870.47 c N dy 556 2159743 11121 8908 52565 87926 74485 804699 14.41 10.12 -- 3503.09/877.49 c N dy 564 2180077 11121 8908 52567 107953 74485 1200348 22.18 10.11 -- 3534.65/885.36 c N dy 581 2202208 11120 8908 52671 129741 74493 1586045 25.76 10.09 -- 3543.05/887.47 c S st 584 2210691 11120 8908 52673 73157 74493 575366 19.46 10.08 -- 3544.27/887.73 c S st 584 2211194 11120 8908 52674 73653 74493 581888 19.46 10.08 -- 3544.27/887.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 3544.64/887.82 c Cache BProp: 9540 Set: 6 BXProp: 2 T: 0.32 3566.23/893.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bin: 226 BRemL: 7103 BRemN: 32 CBin: 0 P: 60.0M T: 21.75 3567.41/893.51 c Calc non-exist non-lernt bins v-fix: 0 done: 11114 time: 0.94 s 3567.41/893.58 c Cache BProp: 9540 Set: 0 BXProp: 0 T: 0.31 3571.00/894.41 c Subs w/ non-existent bins: 34 time: 3.30 s 3571.00/894.43 c Replacing 19 vars Replaced 706 lits Time: 0.10 s 3571.00/894.47 c bin-w-bin subsume rem 291 bins time: 0.03 s 3571.40/894.51 c subs with bin: 424 lits-rem: 926 v-fix: 0 time: 0.17 s 3571.40/894.55 c Removed useless bin: 6 fixed: 0 bprops: 1.54M time: 0.13 s 3579.01/896.46 c ORs : 8463 avg-s: 2.2 cl-sh: 307 l-rem: 311 b-add: 9 v-rep: 0 cl-rem: 47 avg s: 3.7 T: 5.28 3588.58/898.83 c Added 1 vars tried: 80000 time: 9.49 3588.58/898.83 c ORs : 1 avg-s: 0.0 cl-sh: 108 l-rem: 108 b-add: 2 v-rep: 0 cl-rem: 0 avg s: nan T: 9.49 3588.58/898.86 c lits-rem: 2681 cl-subs: 3155 v-elim: 16 v-fix: 0 time: 17.23 s 3588.58/898.86 c learnt bin added due to v-elim: 0 3588.98/898.93 c vivif2 -- cl tried 8909 cl shrink 11 lits rem 14 time: 0.28 3592.97/899.93 c vivif2 -- cl tried 69902 cl shrink 1470 lits rem 2790 time: 4.01 3593.37/900.04 c asymm cl-useful: 0/247/8900 lits-rem:0 time: 0.44 3594.17/900.20 c calculated reachability. Time: 0.59 3594.17/900.20 c N dy 584 2211194 11086 8900 45141 69853 74005 524870 19.46 10.08 -- 3620.54/906.89 c N dy 588 2235202 11085 8900 45211 93281 74015 909145 15.85 10.07 -- 3643.71/912.63 c Finding binary XORs T: 2.21 s found: 9 3669.28/919.10 c N dy 610 2267599 11084 8897 45238 123192 73995 1483839 23.57 10.05 -- 3695.65/925.61 c N dy 626 2288581 11082 8897 45285 78052 74001 643763 18.20 10.04 -- 3723.61/932.65 c N dy 637 2312675 11082 8897 45288 101759 74001 1070099 21.47 10.02 -- 3753.97/940.29 c N dy 658 2333161 11078 8897 45623 121990 74021 1450553 18.79 10.01 -- 3786.73/948.44 c N dy 670 2356566 11078 8897 45624 78181 74021 645164 19.17 10.00 -- 3810.30/954.32 c N dy 682 2378424 11078 8897 45631 99656 74021 1017544 19.56 9.98 -- 3848.25/963.80 c N dy 713 2405294 11078 8897 45638 126156 74021 1498095 19.43 9.96 -- 3881.81/972.22 c N dy 726 2427446 11078 8897 45712 80018 74031 671446 20.41 9.94 -- 3914.56/980.45 c N dy 747 2450825 11077 8897 45858 103082 74091 1114843 23.32 9.93 -- 3948.54/988.92 c N dy 780 2470929 11077 8897 45862 122862 74091 1497785 22.48 9.92 -- 3989.67/999.22 c N dy 816 2495294 11075 8897 45871 77891 74091 626369 17.08 9.90 -- 4024.03/1007.88 c N dy 852 2524052 11075 8897 46411 106133 74093 1092898 16.42 9.88 -- 4057.58/1016.29 c N dy 901 2544502 11068 8897 46454 126280 74099 1462866 17.98 9.86 -- 4090.73/1024.53 c N dy 929 2564820 11068 8897 46457 76437 74099 589118 16.72 9.85 -- 4127.89/1033.90 c N dy 950 2595291 11068 8897 46460 106374 74099 1140180 18.13 9.84 -- 4162.24/1042.49 c N dy 984 2615468 11066 8897 46746 126201 74113 1510784 18.53 9.83 -- 4206.19/1053.47 c N dy 1034 2636236 11065 8897 46769 75754 74117 587043 20.54 9.82 -- 4230.16/1059.40 c N dy 1051 2656619 11065 8897 46771 95691 74117 911733 13.60 9.80 -- 4264.94/1068.11 c N dy 1069 2677020 11065 8897 46773 115718 74117 1261878 17.84 9.79 -- 4284.88/1073.17 c Finding binary XORs T: 2.22 s found: 31 4316.85/1081.14 c N dy 1140 2697095 11064 8859 46607 135095 73908 1585471 15.90 9.78 -- 4333.63/1085.40 c E dy 1153 2701823 11055 8859 46634 139666 73908 1660241 16.95 9.77 -- 4341.52/1091.81 c Following stats are for *FIRST FINISHED THREAD ONLY* 4341.52/1091.81 c num threads : 4 4341.52/1091.81 c restarts : 1153 4341.52/1091.81 c dynamic restarts : 1129 4341.52/1091.81 c static restarts : 24 4341.52/1091.81 c full restarts : 3 4341.52/1091.81 c total simplify time : 20.83 4341.52/1091.81 c learnts DL2 : 0 4341.52/1091.81 c learnts size 2 : 539717 4341.52/1091.81 c learnts size 1 : 35143 (35.83 % of vars) 4341.52/1091.81 c filedLit time : 304.41 (7.02 % time) 4341.52/1091.81 c v-elim SatELite : 43377 (44.23 % vars) 4341.52/1091.81 c SatELite time : 194.82 (4.49 % time) 4341.52/1091.81 c v-elim xor : 0 (0.00 % vars) 4341.52/1091.81 c xor elim time : 0.92 (0.02 % time) 4341.52/1091.81 c num binary xor trees : 1011 4341.52/1091.81 c binxor trees' crown : 14213 (14.06 leafs/tree) 4341.52/1091.81 c bin xor find time : 19.79 4341.52/1091.81 c OTF clause subsumed : 47692 (0.02 clauses/conflict) 4341.52/1091.81 c OTF subs. size diff : 59875 (1.26 lits/clause) 4341.52/1091.81 c OTF cl watch-shrink : 1828065 (0.68 clauses/conflict) 4341.52/1091.81 c OTF cl watch-sh-lit : 26515042 (14.50 lits/clause) 4341.52/1091.81 c tried to recurMin cls : 2671212 (98.87 % of conflicts) 4341.52/1091.81 c updated cache : 85704 (0.03 lits/tried recurMin) 4341.52/1091.81 c OTF Gate-Rem cl : 164926 (0.06 clauses/conflict) 4341.52/1091.81 c OTF Gate-rem lits : 973177 (5.90 lits/confl) 4341.52/1091.81 c unit cls received : 686 (1.95 % of units) 4341.52/1091.81 c unit cls sent : 7625 (21.70 % of units) 4341.52/1091.81 c bin cls received : 187113 4341.52/1091.81 c bin cls sent : 192281 4341.52/1091.81 c tri cls recevied : 49535 4341.52/1091.81 c tri cls sent : 117330 4341.52/1091.81 c clauses over max glue : 0 (0.00 % of all clauses) 4341.52/1091.81 c conflicts : 2701823 (622.73 / sec) 4341.52/1091.81 c decisions : 4124936 (0.18 % random) 4341.52/1091.81 c bogo-props : 40513054468 (9337612.02 / sec) 4341.52/1091.81 c props : 1433132786 (330314.22 / sec) 4341.52/1091.81 c conflict literals : 59696883 (53.02 % deleted) 4341.52/1091.81 c Memory used : 4778.55 MB 4341.52/1091.81 c single-thread CPU time : 4338.70 s 4341.52/1091.81 c all-threads sum CPU time : 4338.70 s 4341.52/1091.81 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-3282294-1304032902/watcher-3282294-1304032902 -o /tmp/evaluation-result-3282294-1304032902/solver-3282294-1304032902 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3282294-1304032902.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.78 4.61 6.14 2/174 10007 /proc/meminfo: memFree=26350508/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=51108 CPUtime=0 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 1056 0 0 0 0 0 0 0 21 0 1 0 514889920 52334592 991 33554432000 4194304 4797429 140737430093696 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/10007/statm: 12777 991 348 148 0 7706 0 [startup+0.0739381 s] /proc/loadavg: 3.78 4.61 6.14 2/174 10007 /proc/meminfo: memFree=26350508/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=75128 CPUtime=0.06 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 7919 0 0 0 5 1 0 0 21 0 1 0 514889920 76931072 6483 33554432000 4194304 4797429 140737430093696 18446744073709551615 208079928825 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/10007/statm: 18782 6484 349 148 0 13711 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 75128 [startup+0.100934 s] /proc/loadavg: 3.78 4.61 6.14 2/174 10007 /proc/meminfo: memFree=26350508/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=90344 CPUtime=0.09 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 11751 0 0 0 7 2 0 0 21 0 1 0 514889920 92512256 8490 33554432000 4194304 4797429 140737430093696 18446744073709551615 208079899604 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/10007/statm: 22586 8490 349 148 0 17515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 90344 [startup+0.300831 s] /proc/loadavg: 3.78 4.61 6.14 2/174 10007 /proc/meminfo: memFree=26350508/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=152200 CPUtime=0.29 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 30606 0 0 0 25 4 0 0 22 0 1 0 514889920 155852800 23557 33554432000 4194304 4797429 140737430093696 18446744073709551615 4687996 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/10007/statm: 38050 23573 349 148 0 32979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 152200 [startup+0.700758 s] /proc/loadavg: 3.78 4.61 6.14 2/174 10007 /proc/meminfo: memFree=26350508/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=406764 CPUtime=1.03 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 59814 0 0 0 95 8 0 0 25 0 4 0 514889920 416526336 45305 33554432000 4194304 4797429 140737430093696 18446744073709551615 4428396 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 101691 45305 375 148 0 96620 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 406764 [startup+1.50061 s] /proc/loadavg: 3.78 4.61 6.14 6/181 10017 /proc/meminfo: memFree=25901696/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=820756 CPUtime=4.22 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 65180 0 0 0 413 9 0 0 25 0 4 0 514889920 840454144 48751 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427256 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 205189 48751 383 148 0 200118 0 [pid=10007/tid=10015] ppid=10005 vsize=820756 CPUtime=0.91 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 1646 0 0 0 91 0 0 0 25 0 4 0 514889979 840454144 48751 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=820756 CPUtime=0.9 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 1331 0 0 0 90 0 0 0 25 0 4 0 514889979 840454144 48751 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=820756 CPUtime=0.9 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 1333 0 0 0 90 0 0 0 25 0 4 0 514889979 840454144 48751 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 820756 [startup+3.1003 s] /proc/loadavg: 3.78 4.61 6.14 9/184 10021 /proc/meminfo: memFree=25790580/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=823428 CPUtime=10.61 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 65821 0 0 0 1052 9 0 0 25 0 4 0 514889920 843190272 49392 33554432000 4194304 4797429 140737430093696 18446744073709551615 4244011 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 205857 49392 383 148 0 200786 0 [pid=10007/tid=10015] ppid=10005 vsize=823428 CPUtime=2.51 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 1840 0 0 0 251 0 0 0 25 0 4 0 514889979 843190272 49392 33554432000 4194304 4797429 140737430093696 18446744073709551615 4241838 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=823428 CPUtime=2.5 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 1456 0 0 0 250 0 0 0 25 0 4 0 514889979 843190272 49392 33554432000 4194304 4797429 140737430093696 18446744073709551615 4241700 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=823428 CPUtime=2.49 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 1459 0 0 0 249 0 0 0 25 0 4 0 514889979 843190272 49392 33554432000 4194304 4797429 140737430093696 18446744073709551615 4243984 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 10.61 Current children cumulated vsize (KiB) 823428 [startup+6.30069 s] /proc/loadavg: 4.12 4.67 6.15 9/184 10021 /proc/meminfo: memFree=25766156/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=823428 CPUtime=23.4 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 65822 0 0 0 2331 9 0 0 25 0 4 0 514889920 843190272 49393 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427256 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 205857 49393 384 148 0 200786 0 [pid=10007/tid=10015] ppid=10005 vsize=823428 CPUtime=5.71 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 1840 0 0 0 571 0 0 0 25 0 4 0 514889979 843190272 49393 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427299 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=823428 CPUtime=5.7 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 1457 0 0 0 570 0 0 0 25 0 4 0 514889979 843190272 49393 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=823428 CPUtime=5.68 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 1459 0 0 0 568 0 0 0 25 0 4 0 514889979 843190272 49393 33554432000 4194304 4797429 140737430093696 18446744073709551615 4428583 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 23.4 Current children cumulated vsize (KiB) 823428 [startup+12.7005 s] /proc/loadavg: 4.51 4.74 6.16 9/184 10021 /proc/meminfo: memFree=25112340/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=1549200 CPUtime=48.94 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 231979 0 0 0 4856 38 0 0 21 0 4 0 514889920 1586380800 212933 33554432000 4194304 4797429 140737430093696 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 387300 212933 419 148 0 382229 0 [pid=10007/tid=10015] ppid=10005 vsize=1549200 CPUtime=12.1 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 54242 0 0 0 1201 9 0 0 25 0 4 0 514889979 1586380800 212933 33554432000 4194304 4797429 140737430093696 18446744073709551615 4415808 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=1549200 CPUtime=12.09 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 27597 0 0 0 1204 5 0 0 25 0 4 0 514889979 1586380800 212933 33554432000 4194304 4797429 140737430093696 18446744073709551615 4424639 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=1549200 CPUtime=12.03 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 39683 0 0 0 1197 6 0 0 25 0 4 0 514889979 1586380800 212933 33554432000 4194304 4797429 140737430093696 18446744073709551615 4377465 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 48.94 Current children cumulated vsize (KiB) 1549200 [startup+25.501 s] /proc/loadavg: 5.28 4.90 6.19 9/184 10021 /proc/meminfo: memFree=23332976/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=2382764 CPUtime=100.06 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 484739 0 0 0 9927 79 0 0 18 0 4 0 514889920 2439950336 396469 33554432000 4194304 4797429 140737430093696 18446744073709551615 4259308 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 595691 396469 421 148 0 590620 0 [pid=10007/tid=10015] ppid=10005 vsize=2382764 CPUtime=24.9 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 148892 0 0 0 2466 24 0 0 25 0 4 0 514889979 2439950336 396469 33554432000 4194304 4797429 140737430093696 18446744073709551615 4259308 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=2382764 CPUtime=24.89 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 114433 0 0 0 2469 20 0 0 25 0 4 0 514889979 2439950336 396469 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427861 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=2382764 CPUtime=24.76 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 96198 0 0 0 2461 15 0 0 25 0 4 0 514889979 2439950336 396469 33554432000 4194304 4797429 140737430093696 18446744073709551615 4424399 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 100.06 Current children cumulated vsize (KiB) 2382764 [startup+51.1012 s] /proc/loadavg: 6.27 5.16 6.24 9/184 10022 /proc/meminfo: memFree=22883512/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=2800396 CPUtime=202.32 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 588602 0 0 0 20127 105 0 0 25 0 4 0 514889920 2867605504 494115 33554432000 4194304 4797429 140737430093696 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 700099 494115 423 148 0 695028 0 [pid=10007/tid=10015] ppid=10005 vsize=2800396 CPUtime=50.49 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 150992 0 0 0 5025 24 0 0 25 0 4 0 514889979 2867605504 494115 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427405 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=2800396 CPUtime=50.49 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 142275 0 0 0 5022 27 0 0 25 0 4 0 514889979 2867605504 494115 33554432000 4194304 4797429 140737430093696 18446744073709551615 4642811 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=2800396 CPUtime=50.23 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 124799 0 0 0 5000 23 0 0 25 0 4 0 514889979 2867605504 494115 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427387 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 202.32 Current children cumulated vsize (KiB) 2800396 [startup+102.306 s] /proc/loadavg: 7.30 5.61 6.34 9/184 10023 /proc/meminfo: memFree=21765952/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=3220244 CPUtime=406.84 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 741198 0 0 0 40553 131 0 0 25 0 4 0 514889920 3297529856 588713 33554432000 4194304 4797429 140737430093696 18446744073709551615 4341226 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 805061 588713 424 148 0 799990 0 [pid=10007/tid=10015] ppid=10005 vsize=3220244 CPUtime=101.69 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 185516 0 0 0 10139 30 0 0 25 0 4 0 514889979 3297529856 588713 33554432000 4194304 4797429 140737430093696 18446744073709551615 208079899610 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=3220244 CPUtime=101.54 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 200451 0 0 0 10117 37 0 0 25 0 4 0 514889979 3297529856 588713 33554432000 4194304 4797429 140737430093696 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=3220244 CPUtime=101.29 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 155440 0 0 0 10102 27 0 0 25 0 4 0 514889979 3297529856 588713 33554432000 4194304 4797429 140737430093696 18446744073709551615 4242048 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 406.84 Current children cumulated vsize (KiB) 3220244 [startup+162.301 s] /proc/loadavg: 7.69 6.03 6.44 9/184 10025 /proc/meminfo: memFree=20947764/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=3597840 CPUtime=646.49 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 873140 0 0 0 64494 155 0 0 25 0 4 0 514889920 3684188160 656005 33554432000 4194304 4797429 140737430093696 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 899460 656005 424 148 0 894389 0 [pid=10007/tid=10015] ppid=10005 vsize=3597840 CPUtime=161.43 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 241049 0 0 0 16104 39 0 0 25 0 4 0 514889979 3684188160 656005 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=3597840 CPUtime=161.48 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 220176 0 0 0 16108 40 0 0 25 0 4 0 514889979 3684188160 656005 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=3597840 CPUtime=161.28 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 191099 0 0 0 16095 33 0 0 25 0 4 0 514889979 3684188160 656005 33554432000 4194304 4797429 140737430093696 18446744073709551615 4426003 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 646.49 Current children cumulated vsize (KiB) 3597840 [startup+222.301 s] /proc/loadavg: 7.95 6.40 6.54 9/184 10026 /proc/meminfo: memFree=20508164/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=3819896 CPUtime=886.14 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 989423 0 0 0 88438 176 0 0 25 0 4 0 514889920 3911573504 716940 33554432000 4194304 4797429 140737430093696 18446744073709551615 4387416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 954974 716940 424 148 0 949903 0 [pid=10007/tid=10015] ppid=10005 vsize=3819896 CPUtime=221.18 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 317571 0 0 0 22067 51 0 0 25 0 4 0 514889979 3911573504 716940 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=3819896 CPUtime=221.41 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 235253 0 0 0 22097 44 0 0 25 0 4 0 514889979 3911573504 716940 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427918 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=3819896 CPUtime=221.26 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 204553 0 0 0 22091 35 0 0 25 0 4 0 514889979 3911573504 716940 33554432000 4194304 4797429 140737430093696 18446744073709551615 4643082 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 886.14 Current children cumulated vsize (KiB) 3819896 [startup+282.301 s] ################ # More data... # ################ /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 444863 0 0 0 88043 75 0 0 25 0 4 0 514889979 5010726912 944833 33554432000 4194304 4797429 140737430093696 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893288 CPUtime=878.04 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 343302 0 0 0 87738 66 0 0 25 0 4 0 514889979 5010726912 944833 33554432000 4194304 4797429 140737430093696 18446744073709551615 4647984 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893288 CPUtime=881.19 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 302868 0 0 0 88064 55 0 0 25 0 4 0 514889979 5010726912 944833 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3522.66 Current children cumulated vsize (KiB) 4893288 [startup+942.3 s] /proc/loadavg: 8.08 7.93 7.36 9/184 10106 /proc/meminfo: memFree=22454068/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4893192 CPUtime=3762.36 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 1419103 0 0 0 375958 278 0 0 25 0 4 0 514889920 5010628608 945382 33554432000 4194304 4797429 140737430093696 18446744073709551615 4424170 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1223298 945382 424 148 0 1218227 0 [pid=10007/tid=10015] ppid=10005 vsize=4893192 CPUtime=941.18 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 445316 0 0 0 94043 75 0 0 25 0 4 0 514889979 5010628608 945382 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893192 CPUtime=937.74 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 343541 0 0 0 93708 66 0 0 25 0 4 0 514889979 5010628608 945382 33554432000 4194304 4797429 140737430093696 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893192 CPUtime=941.18 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303156 0 0 0 94063 55 0 0 25 0 4 0 514889979 5010628608 945382 33554432000 4194304 4797429 140737430093696 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3762.36 Current children cumulated vsize (KiB) 4893192 [startup+1002.3 s] /proc/loadavg: 8.03 7.94 7.40 9/184 10107 /proc/meminfo: memFree=22456640/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4893136 CPUtime=4002.05 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 1427314 0 0 0 399924 281 0 0 25 0 4 0 514889920 5010571264 945096 33554432000 4194304 4797429 140737430093696 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1223284 945096 424 148 0 1218213 0 [pid=10007/tid=10015] ppid=10005 vsize=4893136 CPUtime=1001.18 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 447491 0 0 0 100043 75 0 0 25 0 4 0 514889979 5010571264 945096 33554432000 4194304 4797429 140737430093696 18446744073709551615 4243692 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893136 CPUtime=997.43 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 343789 0 0 0 99677 66 0 0 25 0 4 0 514889979 5010571264 945096 33554432000 4194304 4797429 140737430093696 18446744073709551615 4647986 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893136 CPUtime=1001.18 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303629 0 0 0 100063 55 0 0 25 0 4 0 514889979 5010571264 945096 33554432000 4194304 4797429 140737430093696 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4002.05 Current children cumulated vsize (KiB) 4893136 [startup+1062.3 s] /proc/loadavg: 8.05 7.96 7.44 9/184 10109 /proc/meminfo: memFree=22435276/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4893232 CPUtime=4241.74 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 1432796 0 0 0 423890 284 0 0 25 0 4 0 514889920 5010669568 945769 33554432000 4194304 4797429 140737430093696 18446744073709551615 4423557 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1223308 945769 424 148 0 1218237 0 [pid=10007/tid=10015] ppid=10005 vsize=4893232 CPUtime=1061.18 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 447795 0 0 0 106043 75 0 0 25 0 4 0 514889979 5010669568 945769 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893232 CPUtime=1057.13 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 344210 0 0 0 105647 66 0 0 25 0 4 0 514889979 5010669568 945769 33554432000 4194304 4797429 140737430093696 18446744073709551615 4351547 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893232 CPUtime=1061.17 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303929 0 0 0 106062 55 0 0 25 0 4 0 514889979 5010669568 945769 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4241.74 Current children cumulated vsize (KiB) 4893232 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 8.12 7.98 7.45 9/184 10109 /proc/meminfo: memFree=22426344/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4893232 CPUtime=4292.88 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 1433426 0 0 0 429003 285 0 0 25 0 4 0 514889920 5010669568 946378 33554432000 4194304 4797429 140737430093696 18446744073709551615 4352526 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1223308 946378 424 148 0 1218237 0 [pid=10007/tid=10015] ppid=10005 vsize=4893232 CPUtime=1073.98 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 447837 0 0 0 107323 75 0 0 25 0 4 0 514889979 5010669568 946378 33554432000 4194304 4797429 140737430093696 18446744073709551615 4647986 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893232 CPUtime=1069.86 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 344270 0 0 0 106920 66 0 0 25 0 4 0 514889979 5010669568 946378 33554432000 4194304 4797429 140737430093696 18446744073709551615 4245685 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893232 CPUtime=1073.98 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303973 0 0 0 107342 56 0 0 25 0 4 0 514889979 5010669568 946378 33554432000 4194304 4797429 140737430093696 18446744073709551615 4424383 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4292.88 Current children cumulated vsize (KiB) 4893232 [startup+1081.5 s] /proc/loadavg: 8.11 7.98 7.45 9/184 10109 /proc/meminfo: memFree=22433780/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4893232 CPUtime=4318.44 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 1433670 0 0 0 431559 285 0 0 25 0 4 0 514889920 5010669568 946614 33554432000 4194304 4797429 140737430093696 18446744073709551615 4424333 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1223308 946614 424 148 0 1218237 0 [pid=10007/tid=10015] ppid=10005 vsize=4893232 CPUtime=1080.38 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 447874 0 0 0 107963 75 0 0 25 0 4 0 514889979 5010669568 946614 33554432000 4194304 4797429 140737430093696 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893232 CPUtime=1076.22 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 344301 0 0 0 107556 66 0 0 25 0 4 0 514889979 5010669568 946614 33554432000 4194304 4797429 140737430093696 18446744073709551615 4237365 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893232 CPUtime=1080.38 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303994 0 0 0 107982 56 0 0 25 0 4 0 514889979 5010669568 946614 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4318.44 Current children cumulated vsize (KiB) 4893232 [startup+1087.91 s] /proc/loadavg: 8.10 7.98 7.46 6/184 10109 /proc/meminfo: memFree=22428816/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4893232 CPUtime=4337.62 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) S 10005 10007 9633 0 -1 4202496 1433770 0 0 0 433477 285 0 0 15 0 4 0 514889920 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 208092061297 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1223308 946704 425 148 0 1218237 0 [pid=10007/tid=10015] ppid=10005 vsize=4893232 CPUtime=1084.39 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) S 10005 10007 9633 0 -1 4202560 447889 0 0 0 108363 76 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179124 0 0 4096 2 18446604453573333184 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893232 CPUtime=1081.1 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) S 10005 10007 9633 0 -1 4202560 344301 0 0 0 108044 66 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179124 0 0 4096 2 18446604453573333184 0 0 -1 0 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893232 CPUtime=1086.78 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303994 0 0 0 108622 56 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4337.62 Current children cumulated vsize (KiB) 4893232 [startup+1089.5 s] /proc/loadavg: 7.85 7.93 7.44 6/184 10110 /proc/meminfo: memFree=22428072/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4893232 CPUtime=4339.22 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) S 10005 10007 9633 0 -1 4202496 1433770 0 0 0 433637 285 0 0 15 0 4 0 514889920 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 208092061297 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1223308 946704 425 148 0 1218237 0 [pid=10007/tid=10015] ppid=10005 vsize=4893232 CPUtime=1084.39 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) S 10005 10007 9633 0 -1 4202560 447889 0 0 0 108363 76 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179124 0 0 4096 2 18446604453573333184 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893232 CPUtime=1081.1 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) S 10005 10007 9633 0 -1 4202560 344301 0 0 0 108044 66 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179124 0 0 4096 2 18446604453573333184 0 0 -1 0 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893232 CPUtime=1088.38 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303994 0 0 0 108782 56 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4339.22 Current children cumulated vsize (KiB) 4893232 [startup+1091.1 s] /proc/loadavg: 7.85 7.93 7.44 6/184 10110 /proc/meminfo: memFree=22428812/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4893232 CPUtime=4340.82 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) S 10005 10007 9633 0 -1 4202496 1433770 0 0 0 433797 285 0 0 15 0 4 0 514889920 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 208092061297 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1223308 946704 425 148 0 1218237 0 [pid=10007/tid=10015] ppid=10005 vsize=4893232 CPUtime=1084.39 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) S 10005 10007 9633 0 -1 4202560 447889 0 0 0 108363 76 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179124 0 0 4096 2 18446604453573333184 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4893232 CPUtime=1081.1 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) S 10005 10007 9633 0 -1 4202560 344301 0 0 0 108044 66 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179124 0 0 4096 2 18446604453573333184 0 0 -1 0 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4893232 CPUtime=1089.99 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303994 0 0 0 108943 56 0 0 25 0 4 0 514889979 5010669568 946704 33554432000 4194304 4797429 140737430093696 18446744073709551615 4647995 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4340.82 Current children cumulated vsize (KiB) 4893232 [startup+1091.9 s] /proc/loadavg: 7.85 7.93 7.44 6/184 10110 /proc/meminfo: memFree=22428812/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=4875644 CPUtime=4341.88 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 1433775 0 0 0 433903 285 0 0 15 0 4 0 514889920 4992659456 943250 33554432000 4194304 4797429 140737430093696 18446744073709551615 208079887641 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 1218911 943250 429 148 0 1213840 0 [pid=10007/tid=10015] ppid=10005 vsize=4875644 CPUtime=1084.48 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4202560 447889 0 0 0 108372 76 0 0 18 0 4 0 514889979 4992659456 943250 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179506 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=4875644 CPUtime=1081.19 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) R 10005 10007 9633 0 -1 4202560 344301 0 0 0 108053 66 0 0 18 0 4 0 514889979 4992659456 943250 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179496 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=4875644 CPUtime=1090.78 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) R 10005 10007 9633 0 -1 4202560 303994 0 0 0 109022 56 0 0 25 0 4 0 514889979 4992659456 943250 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179506 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4341.88 Current children cumulated vsize (KiB) 4875644 [startup+1092.31 s] /proc/loadavg: 7.85 7.93 7.44 6/184 10110 /proc/meminfo: memFree=22498872/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=3258756 CPUtime=4342.32 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) R 10005 10007 9633 0 -1 4202496 1433775 0 0 0 433942 290 0 0 16 0 4 0 514889920 3336966144 659248 33554432000 4194304 4797429 140737430093696 18446744073709551615 208079888275 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 814689 659248 429 148 0 809618 0 [pid=10007/tid=10015] ppid=10005 vsize=3258756 CPUtime=1084.49 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) S 10005 10007 9633 0 -1 4202560 447889 0 0 0 108373 76 0 0 18 0 4 0 514889979 3336966144 659248 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179530 0 0 4096 2 18446604453573333184 0 0 -1 4 0 0 0 [pid=10007/tid=10016] ppid=10005 vsize=3258756 CPUtime=1081.2 cores=0,2,4,6 /proc/10007/task/10016/stat : 10016 (techdemo) S 10005 10007 9633 0 -1 4202560 344301 0 0 0 108054 66 0 0 18 0 4 0 514889979 3336966144 659248 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179530 0 0 4096 2 18446604453573333184 0 0 -1 6 0 0 0 [pid=10007/tid=10017] ppid=10005 vsize=3258756 CPUtime=1090.79 cores=0,2,4,6 /proc/10007/task/10017/stat : 10017 (techdemo) S 10005 10007 9633 0 -1 4202560 303994 0 0 0 109023 56 0 0 25 0 4 0 514889979 3336966144 659248 33554432000 4194304 4797429 140737430093696 18446744073709551615 47160794179530 0 0 4096 2 18446604453573333184 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4342.32 Current children cumulated vsize (KiB) 3258756 [startup+1092.4 s] /proc/loadavg: 7.85 7.93 7.44 6/184 10110 /proc/meminfo: memFree=22498872/32950928 swapFree=67111364/67111528 [pid=10007] ppid=10005 vsize=0 CPUtime=4342.41 cores=0,2,4,6 /proc/10007/stat : 10007 (techdemo) Z 10005 10007 9633 0 -1 4202524 1433776 0 0 0 433942 299 0 0 16 0 2 0 514889920 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10007/statm: 0 0 0 0 0 0 0 [pid=10007/tid=10015] ppid=10005 vsize=0 CPUtime=1084.54 cores=0,2,4,6 /proc/10007/task/10015/stat : 10015 (techdemo) R 10005 10007 9633 0 -1 4203588 447889 0 0 0 108373 81 0 0 15 0 2 0 514889979 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4342.41 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 1092.42 CPU time (s): 4342.44 CPU user time (s): 4339.43 CPU system time (s): 3.01654 CPU usage (%): 397.506 Max. virtual memory (cumulated for all children) (KiB): 4893780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4339.43 system time used= 3.01654 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1433776 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= 11474 involuntary context switches= 32223 runsolver used 1.75373 second user time and 3.86041 second system time The end
Begin job on node127 at 2011-04-29 01:21:43 IDJOB=3282294 IDBENCH=70799 IDSOLVER=1584 FILE ID=node127/3282294-1304032902 RUNJOBID= node127-1304032902-9993 PBS_JOBID= 13170325 Free space on /tmp= 71808 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282294-1304032902/watcher-3282294-1304032902 -o /tmp/evaluation-result-3282294-1304032902/solver-3282294-1304032902 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3282294-1304032902.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b75ef7fb46928f50793af1d74c176e2 RANDOM SEED=573624440 node127.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.823 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.64 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.823 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.86 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.823 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.60 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 26351044 kB Buffers: 1374480 kB Cached: 4684288 kB SwapCached: 0 kB Active: 1698780 kB Inactive: 4427140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 26351044 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 19416 kB Writeback: 0 kB AnonPages: 66600 kB Mapped: 14424 kB Slab: 409628 kB PageTables: 4432 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 188288 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= 71800 MiB End job on node127 at 2011-04-29 01:39:55