| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.15 | 1202.16 |
| Name | application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf |
| MD5SUM | 7ecd2f8efd83504268f0a96fa44f6fe7 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 585.803 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 76943 |
| Number of clauses | 245006 |
| Sum of the clauses size | 599044 |
| Maximum clause length | 2921 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 148643 |
| Number of clauses of size 3 | 94790 |
| Number of clauses of size 4 | 350 |
| Number of clauses of size 5 | 24 |
| Number of clauses of size over 5 | 1198 |
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-3288734-1304127827.cnf' 0.00/0.00 c -- header says num vars: 76943 0.00/0.00 c -- header says num clauses: 245006 0.39/0.48 c -- clauses added: 0 learnts, 245006 normals, 0 xors 0.39/0.48 c -- vars added 76943 0.39/0.48 c Parsing time: 0.42 s 0.39/0.48 c N st 0 0 76943 94207 136128 0 563654 0 no data no data -- 1.74/0.89 c asymm cl-useful: 79/6516/94207 lits-rem:135 time: 1.63 37.70/9.83 c Flit: 705 Blit: 12615 bXBeca: 0 bXProp: 21727 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 35.66 37.70/9.85 c Cleaning up after failed var search: 0.07 s 44.86/11.61 c Calc non-exist non-lernt bins v-fix: 0 done: 19431 time: 6.73 s 44.86/11.61 c Cache BProp: 0 Set: 0 BXProp: 34 T: 0.02 44.86/11.64 c Subs w/ non-existent bins: 2100 time: 0.10 s 44.86/11.68 c Replacing 21761 vars Replaced 412942 lits Time: 0.15 s 45.25/11.71 c bin-w-bin subsume rem 1930 bins time: 0.04 s 45.25/11.73 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 0.07 s 45.65/11.88 c Removed useless bin: 62 fixed: 0 bprops: 10.00M time: 0.57 s 46.87/12.11 c lits-rem: 12 cl-subs: 2800 v-elim: 12384 v-fix: 0 time: 0.88 s 46.87/12.11 c learnt bin added due to v-elim: 0 46.87/12.12 c Finding binary XORs T: 0.03 s found: 362 46.87/12.13 c Replacing 362 vars Replaced 3398 lits Time: 0.04 s 46.87/12.16 c Finding non-binary XORs: 0.11 s (found: 3034, avg size: 3.4) 46.87/12.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 650 locsubst: 0 time: 0.04 46.87/12.17 c Calc default polars - time: 0.02 s pos: 5039 undec: 54573 neg: 17331 46.87/12.17 c ========================================================================================= 46.87/12.17 c types(t): F = full restart, N = normal restart 46.87/12.17 c types(t): S = simplification begin/end, E = solution found 46.87/12.17 c restart types(rt): st = static, dy = dynamic 46.87/12.17 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 46.87/12.17 c B st 0 0 23752 37940 43210 0 264714 0 no data no data -- 48.04/12.43 c Decided on dynamic restart strategy 48.84/12.67 c N dy 20 4052 23752 37940 43389 3759 264714 97050 23.15 10.96 -- 51.63/13.37 c N dy 50 8157 23748 37940 44211 14204 264713 200775 19.39 10.38 -- 54.83/14.12 c N dy 81 12229 23741 37940 44486 17936 264713 288833 22.49 10.11 -- 57.62/14.81 c N dy 111 16290 23725 37940 44869 24642 264713 380403 16.48 9.99 -- 60.81/15.63 c N dy 141 20420 23714 37940 44933 14521 264713 75493 34.08 10.11 -- 63.61/16.32 c N dy 171 24478 23652 37940 45025 18409 264713 180103 29.07 10.18 -- 66.81/17.13 c N dy 200 28538 23641 37940 45061 22381 264713 292355 28.01 10.36 -- 68.01/17.42 c S st 212 30002 23636 37940 45085 23802 264713 323892 21.96 10.34 -- 68.42/17.59 c S st 212 30506 23374 37940 45142 24230 264713 333820 21.96 10.34 -- 68.42/17.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 306 locsubst: 0 time: 0.05 68.83/17.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02 88.78/22.62 c Flit: 132 Blit: 2046 bXBeca: 0 bXProp: 934 Bin: 65125 BRemL: 13113 BRemN: 475 CBin: 0 P: 26.6M T: 19.98 88.78/22.63 c Cleaning up after failed var search: 0.04 s 88.78/22.69 c Calc non-exist non-lernt bins v-fix: 0 done: 13747 time: 0.26 s 89.18/22.70 c Cache BProp: 11 Set: 0 BXProp: 4 T: 0.03 89.18/22.77 c Subs w/ non-existent bins: 360 time: 0.26 s 89.18/22.78 c Replacing 1053 vars Replaced 30079 lits Time: 0.06 s 89.58/22.81 c bin-w-bin subsume rem 984 bins time: 0.03 s 89.58/22.83 c subs with bin: 1020 lits-rem: 4714 v-fix: 0 time: 0.12 s 89.58/22.85 c Removed useless bin: 51 fixed: 0 bprops: 0.58M time: 0.06 s 90.79/23.16 c lits-rem: 6569 cl-subs: 7167 v-elim: 4586 v-fix: 0 time: 1.25 s 90.79/23.16 c learnt bin added due to v-elim: 0 90.79/23.19 c vivif2 -- cl tried 25804 cl shrink 216 lits rem 307 time: 0.12 91.17/23.20 c vivif2 -- cl tried 8570 cl shrink 539 lits rem 1720 time: 0.04 91.97/23.44 c asymm cl-useful: 131/13536/25761 lits-rem:241 time: 0.93 91.97/23.45 c calculated reachability. Time: 0.04 91.97/23.45 c N dy 212 30506 9508 25718 21780 8538 179799 52711 21.96 10.34 -- 91.97/23.45 c F st 212 30506 9508 25718 21780 8538 179799 52711 21.96 10.34 -- 93.17/23.72 c Decided on static restart strategy 105.55/26.87 c N dy 219 45759 9507 25718 30182 23955 182012 812564 59.34 14.63 -- 105.95/26.91 c S st 219 45759 9507 25718 30182 23955 182012 812564 59.34 14.63 -- 106.75/27.16 c Finding binary XORs T: 0.95 s found: 15 107.55/27.33 c S st 219 46259 9503 25718 29818 24444 181807 819105 59.34 14.63 -- 107.55/27.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 147 locsubst: 0 time: 0.04 107.55/27.34 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 112.36/28.60 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 2292 BRemL: 5004 BRemN: 1516 CBin: 0 P: 20.7M T: 5.02 112.76/28.62 c Calc non-exist non-lernt bins v-fix: 0 done: 9354 time: 0.10 s 112.76/28.63 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 113.54/28.80 c Subs w/ non-existent bins: 275 time: 0.68 s 113.54/28.82 c Replacing 16 vars Replaced 392 lits Time: 0.06 s 113.54/28.84 c bin-w-bin subsume rem 840 bins time: 0.02 s 114.34/29.07 c subs with bin: 80 lits-rem: 46 v-fix: 0 time: 0.90 s 114.34/29.08 c Removed useless bin: 74 fixed: 0 bprops: 0.29M time: 0.04 s 124.33/31.55 c lits-rem: 648 cl-subs: 2185 v-elim: 752 v-fix: 0 time: 9.87 s 124.33/31.55 c learnt bin added due to v-elim: 0 124.33/31.56 c vivif2 -- cl tried 25460 cl shrink 11 lits rem 21 time: 0.08 124.73/31.68 c vivif2 -- cl tried 20459 cl shrink 42 lits rem 869 time: 0.45 125.54/31.88 c asymm cl-useful: 0/4407/25457 lits-rem:0 time: 0.80 125.54/31.89 c calculated reachability. Time: 0.03 125.54/31.89 c N dy 219 46259 9281 25457 23887 20453 176649 652021 59.34 14.63 -- 147.09/37.23 c N dy 222 69388 9280 25457 23889 29107 176649 919012 54.97 17.87 -- 147.09/37.26 c S st 222 69388 9280 25457 23889 29107 176649 919012 54.97 17.87 -- 147.92/37.43 c S st 222 69892 9280 25457 25099 29851 176689 932587 54.97 17.87 -- 147.92/37.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 77 locsubst: 0 time: 0.11 147.92/37.46 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 151.49/38.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 410 BRemL: 915 BRemN: 29 CBin: 0 P: 16.8M T: 3.47 151.49/38.36 c Calc non-exist non-lernt bins v-fix: 0 done: 9202 time: 0.10 s 151.49/38.36 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 151.90/38.44 c Subs w/ non-existent bins: 34 time: 0.32 s 151.90/38.47 c bin-w-bin subsume rem 14 bins time: 0.02 s 152.31/38.52 c subs with bin: 32 lits-rem: 23 v-fix: 0 time: 0.24 s 152.31/38.53 c Removed useless bin: 0 fixed: 0 bprops: 0.28M time: 0.03 s 156.30/39.50 c ORs : 6263 avg-s: 2.6 cl-sh: 2749 l-rem: 3897 b-add: 356 v-rep: 0 cl-rem: 31 avg s: 4.7 T: 2.64 181.06/45.79 c Added 7 vars tried: 80000 time: 25.12 181.06/45.79 c ORs : 7 avg-s: 0.0 cl-sh: 1081 l-rem: 1081 b-add: 23 v-rep: 0 cl-rem: 21 avg s: 6.0 T: 25.13 181.46/45.81 c lits-rem: 318 cl-subs: 864 v-elim: 684 v-fix: 0 time: 29.06 s 181.46/45.81 c learnt bin added due to v-elim: 0 181.46/45.83 c vivif2 -- cl tried 25340 cl shrink 29 lits rem 29 time: 0.08 181.46/45.87 c vivif2 -- cl tried 17221 cl shrink 97 lits rem 172 time: 0.19 181.86/45.91 c asymm cl-useful: 0/880/25339 lits-rem:0 time: 0.12 181.86/45.92 c calculated reachability. Time: 0.03 181.86/45.92 c N dy 222 69892 9204 25339 24540 17219 175017 230609 54.97 17.87 -- 181.86/45.92 c F st 222 69892 9204 25339 24540 17219 175017 230609 54.97 17.87 -- 182.67/46.18 c Decided on static restart strategy 213.43/53.85 c N dy 231 104839 9201 25339 24543 21625 175017 503902 78.11 18.22 -- 213.43/53.87 c S st 231 104839 9201 25339 24543 21625 175017 503902 78.11 18.22 -- 214.21/54.04 c S st 231 105342 9201 25339 25304 22197 175029 517973 78.11 18.22 -- 214.21/54.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 214.21/54.05 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 218.23/55.08 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 4 Bin: 530 BRemL: 827 BRemN: 5 CBin: 0 P: 20.8M T: 4.11 218.60/55.10 c Calc non-exist non-lernt bins v-fix: 0 done: 9193 time: 0.10 s 218.60/55.11 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 219.00/55.23 c Subs w/ non-existent bins: 150 time: 0.50 s 219.00/55.25 c Replacing 4 vars Replaced 142 lits Time: 0.06 s 219.00/55.27 c bin-w-bin subsume rem 346 bins time: 0.02 s 219.80/55.41 c subs with bin: 87 lits-rem: 174 v-fix: 0 time: 0.55 s 219.80/55.42 c Removed useless bin: 6 fixed: 0 bprops: 0.28M time: 0.04 s 230.19/58.01 c ORs : 6252 avg-s: 2.6 cl-sh: 192 l-rem: 553 b-add: 12 v-rep: 0 cl-rem: 3 avg s: 29.3 T: 2.80 230.19/58.03 c lits-rem: 894 cl-subs: 1544 v-elim: 684 v-fix: 0 time: 10.43 s 230.19/58.03 c learnt bin added due to v-elim: 0 230.19/58.05 c vivif2 -- cl tried 25094 cl shrink 11 lits rem 11 time: 0.08 230.59/58.13 c vivif2 -- cl tried 20631 cl shrink 312 lits rem 949 time: 0.33 231.00/58.24 c asymm cl-useful: 26/2373/25094 lits-rem:84 time: 0.42 231.00/58.25 c calculated reachability. Time: 0.03 231.00/58.25 c N dy 231 105342 9183 25094 23952 20629 172624 469226 78.11 18.22 -- 266.16/67.07 c N dy 233 158013 9183 25094 23952 28554 172624 343049 23.69 16.70 -- 266.16/67.09 c S st 233 158013 9183 25094 23952 28554 172624 343049 23.69 16.70 -- 266.94/67.28 c Finding binary XORs T: 0.74 s found: 1 267.74/67.41 c S st 233 158515 9181 25091 24202 29093 172591 353775 23.69 16.70 -- 267.74/67.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.03 267.74/67.42 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 271.34/68.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 139 BRemL: 296 BRemN: 7 CBin: 0 P: 27.4M T: 3.83 271.73/68.41 c Calc non-exist non-lernt bins v-fix: 0 done: 9180 time: 0.10 s 271.73/68.41 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 272.13/68.57 c Subs w/ non-existent bins: 71 time: 0.61 s 272.13/68.58 c Replacing 2 vars Replaced 34 lits Time: 0.04 s 272.53/68.60 c bin-w-bin subsume rem 19 bins time: 0.02 s 272.53/68.65 c subs with bin: 77 lits-rem: 63 v-fix: 0 time: 0.21 s 272.53/68.66 c Removed useless bin: 2 fixed: 0 bprops: 0.28M time: 0.04 s 279.75/70.45 c ORs : 6244 avg-s: 2.6 cl-sh: 105 l-rem: 239 b-add: 3 v-rep: 0 cl-rem: 5 avg s: 9.6 T: 2.60 279.75/70.46 c lits-rem: 1234 cl-subs: 2513 v-elim: 688 v-fix: 0 time: 7.20 s 279.75/70.46 c learnt bin added due to v-elim: 0 279.75/70.48 c vivif2 -- cl tried 24943 cl shrink 5 lits rem 5 time: 0.07 280.12/70.57 c vivif2 -- cl tried 26570 cl shrink 67 lits rem 90 time: 0.38 280.92/70.78 c asymm cl-useful: 181/3855/24943 lits-rem:243 time: 0.84 280.92/70.79 c calculated reachability. Time: 0.03 281.32/70.80 c N dy 233 158515 9170 24942 24004 26568 171112 314661 23.69 16.70 -- 351.23/88.30 c N dy 234 237772 9169 24942 24006 28790 171112 353833 43.34 17.36 -- 351.23/88.31 c S st 234 237772 9169 24942 24006 28790 171112 353833 43.34 17.36 -- 351.63/88.46 c S st 234 238274 9165 24942 24585 29439 171174 368159 43.34 17.36 -- 351.63/88.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 351.63/88.47 c Cache BProp: 11 Set: 0 BXProp: 0 T: 0.01 356.02/89.57 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 3 Bin: 190 BRemL: 451 BRemN: 21 CBin: 0 P: 31.2M T: 4.39 356.02/89.59 c Calc non-exist non-lernt bins v-fix: 0 done: 9164 time: 0.10 s 356.42/89.60 c Cache BProp: 12 Set: 0 BXProp: 0 T: 0.01 356.82/89.76 c Subs w/ non-existent bins: 35 time: 0.66 s 356.82/89.78 c Replacing 3 vars Replaced 77 lits Time: 0.06 s 357.22/89.80 c bin-w-bin subsume rem 9 bins time: 0.02 s 357.22/89.86 c subs with bin: 45 lits-rem: 36 v-fix: 0 time: 0.24 s 357.22/89.87 c Removed useless bin: 4 fixed: 0 bprops: 0.28M time: 0.04 s 366.01/92.06 c ORs : 6222 avg-s: 2.5 cl-sh: 22 l-rem: 25 b-add: 8 v-rep: 0 cl-rem: 9 avg s: 4.3 T: 2.60 366.01/92.07 c lits-rem: 1243 cl-subs: 1752 v-elim: 685 v-fix: 0 time: 8.81 s 366.01/92.07 c learnt bin added due to v-elim: 0 366.01/92.09 c vivif2 -- cl tried 24849 cl shrink 5 lits rem 6 time: 0.08 366.81/92.20 c vivif2 -- cl tried 27678 cl shrink 11 lits rem 17 time: 0.43 367.23/92.31 c asymm cl-useful: 11/1895/24849 lits-rem:14 time: 0.41 367.23/92.32 c calculated reachability. Time: 0.03 367.23/92.32 c N dy 234 238274 9156 24849 23914 27677 170466 337764 43.34 17.36 -- 478.26/120.19 c N dy 238 357411 9154 24849 23915 58354 170466 2817756 95.56 16.75 -- 478.66/120.28 c S st 238 357411 9154 24849 23915 58354 170466 2817756 95.56 16.75 -- 480.26/120.64 c S st 238 357913 9158 24849 24240 29485 170506 246269 95.56 16.75 -- 480.26/120.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 480.26/120.65 c Cache BProp: 12 Set: 0 BXProp: 0 T: 0.01 484.66/121.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bin: 374 BRemL: 405 BRemN: 9 CBin: 0 P: 32.8M T: 4.27 484.66/121.75 c Calc non-exist non-lernt bins v-fix: 0 done: 9158 time: 0.10 s 484.66/121.75 c Cache BProp: 12 Set: 0 BXProp: 0 T: 0.01 485.46/121.91 c Subs w/ non-existent bins: 21 time: 0.62 s 485.46/121.92 c Replacing 4 vars Replaced 149 lits Time: 0.06 s 485.46/121.94 c bin-w-bin subsume rem 18 bins time: 0.02 s 485.46/121.97 c subs with bin: 20 lits-rem: 9 v-fix: 0 time: 0.11 s 485.46/121.98 c Removed useless bin: 1 fixed: 0 bprops: 0.28M time: 0.03 s 490.68/123.20 c ORs : 6211 avg-s: 2.5 cl-sh: 17 l-rem: 21 b-add: 4 v-rep: 0 cl-rem: 11 avg s: 7.7 T: 2.61 490.68/123.22 c lits-rem: 255 cl-subs: 1152 v-elim: 684 v-fix: 0 time: 4.96 s 490.68/123.22 c learnt bin added due to v-elim: 0 490.68/123.24 c vivif2 -- cl tried 24799 cl shrink 13 lits rem 18 time: 0.08 491.05/123.34 c vivif2 -- cl tried 28308 cl shrink 5 lits rem 5 time: 0.40 491.85/123.56 c asymm cl-useful: 54/9424/24796 lits-rem:78 time: 0.87 491.85/123.57 c calculated reachability. Time: 0.03 491.85/123.57 c N dy 238 357913 9149 24788 23701 28307 170080 234089 95.56 16.75 -- 624.87/156.83 c N dy 240 515750 9149 24788 23703 50417 170080 544867 15.93 16.48 -- 625.67/157.03 c Finding binary XORs T: 0.74 s found: 4 640.86/160.86 c N dy 241 536870 9147 24788 23967 36666 169990 347707 21.50 16.33 -- 640.86/160.88 c S st 241 536870 9147 24788 23967 36666 169990 347707 21.50 16.33 -- 641.65/161.01 c S st 241 537374 9147 24788 23968 37169 169990 359978 21.50 16.33 -- 641.65/161.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 641.65/161.02 c Cache BProp: 12 Set: 0 BXProp: 0 T: 0.01 646.84/162.34 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 2 Bin: 157 BRemL: 276 BRemN: 6 CBin: 0 P: 48.9M T: 5.27 646.84/162.37 c Calc non-exist non-lernt bins v-fix: 0 done: 9145 time: 0.10 s 646.84/162.37 c Cache BProp: 13 Set: 0 BXProp: 0 T: 0.01 647.64/162.58 c Subs w/ non-existent bins: 59 time: 0.82 s 647.64/162.59 c Replacing 6 vars Replaced 200 lits Time: 0.06 s 648.04/162.61 c bin-w-bin subsume rem 16 bins time: 0.02 s 648.04/162.66 c subs with bin: 26 lits-rem: 34 v-fix: 0 time: 0.18 s 648.04/162.67 c Removed useless bin: 2 fixed: 0 bprops: 0.28M time: 0.03 s 654.03/164.19 c ORs : 6208 avg-s: 2.5 cl-sh: 9 l-rem: 11 b-add: 8 v-rep: 0 cl-rem: 13 avg s: 6.4 T: 2.62 654.43/164.20 c lits-rem: 573 cl-subs: 2294 v-elim: 681 v-fix: 0 time: 6.13 s 654.43/164.20 c learnt bin added due to v-elim: 0 654.43/164.22 c vivif2 -- cl tried 24707 cl shrink 1 lits rem 1 time: 0.07 654.84/164.36 c vivif2 -- cl tried 34845 cl shrink 17 lits rem 21 time: 0.56 655.64/164.53 c asymm cl-useful: 1/7160/24707 lits-rem:3 time: 0.68 655.64/164.54 c calculated reachability. Time: 0.03 655.64/164.54 c N dy 241 537374 9135 24706 23430 34845 169616 328993 21.50 16.33 -- 655.64/164.54 c F st 241 537374 9135 24706 23430 34845 169616 328993 21.50 16.33 -- 657.25/164.97 c Decided on static restart strategy 718.76/180.34 c N dy 249 598854 9135 24706 23473 59310 169616 2379177 135.79 16.63 -- 770.28/193.24 c N dy 252 653582 9134 24706 23519 37136 169616 325544 35.58 16.20 -- 795.45/199.59 c N dy 256 683717 9134 24706 23605 66300 169620 1933841 51.41 16.22 -- 913.68/229.17 c N dy 257 806062 9134 24706 23732 65853 169620 1756196 47.35 16.03 -- 914.08/229.23 c S st 257 806062 9134 24706 23732 65853 169620 1756196 47.35 16.03 -- 914.88/229.46 c S st 257 806566 9133 24706 24035 66392 169630 1769989 47.35 16.03 -- 914.88/229.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 914.88/229.47 c Cache BProp: 14 Set: 0 BXProp: 0 T: 0.01 923.27/231.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 133 BRemL: 493 BRemN: 4 CBin: 0 P: 60.0M T: 8.37 923.27/231.59 c Calc non-exist non-lernt bins v-fix: 0 done: 9133 time: 0.10 s 923.67/231.60 c Cache BProp: 14 Set: 0 BXProp: 0 T: 0.01 925.69/232.12 c Subs w/ non-existent bins: 16 time: 2.07 s 925.69/232.14 c Replacing 1 vars Replaced 14 lits Time: 0.10 s 925.69/232.19 c bin-w-bin subsume rem 13 bins time: 0.02 s 926.86/232.48 c subs with bin: 32 lits-rem: 112 v-fix: 0 time: 1.17 s 926.86/232.49 c Removed useless bin: 0 fixed: 0 bprops: 0.28M time: 0.04 s 959.63/240.60 c ORs : 6213 avg-s: 2.5 cl-sh: 7 l-rem: 7 b-add: 5 v-rep: 0 cl-rem: 13 avg s: 11.5 T: 3.01 966.42/242.31 c Added 11 vars tried: 80000 time: 6.81 966.82/242.42 c ORs : 11 avg-s: 0.0 cl-sh: 9687 l-rem: 9687 b-add: 22 v-rep: 0 cl-rem: 0 avg s: nan T: 7.26 966.82/242.46 c lits-rem: 162 cl-subs: 4138 v-elim: 681 v-fix: 0 time: 39.80 s 966.82/242.46 c learnt bin added due to v-elim: 0 966.82/242.47 c vivif2 -- cl tried 24698 cl shrink 6 lits rem 16 time: 0.08 968.41/242.85 c vivif2 -- cl tried 62204 cl shrink 103 lits rem 166 time: 1.50 968.81/242.97 c asymm cl-useful: 23/1695/24698 lits-rem:45 time: 0.48 968.81/242.98 c calculated reachability. Time: 0.03 968.81/242.98 c N dy 257 806566 9141 24698 23456 62204 169582 1601039 47.35 16.03 -- 1038.32/260.32 c N dy 258 860485 9141 24698 23456 72907 169582 2636939 75.66 16.22 -- 1342.32/336.49 c N dy 260 1139812 9141 24698 23609 73623 169582 1476068 46.86 16.41 -- 1343.13/336.69 c Finding binary XORs T: 0.74 s found: 4 1370.28/343.42 c N dy 264 1164413 9140 24697 24164 49389 169627 464774 35.52 16.45 -- 1391.47/348.77 c N dy 268 1188575 9142 24697 24240 73101 169641 1481384 100.41 16.37 -- 1417.84/355.37 c N dy 271 1209849 9141 24697 24244 93875 169641 2358990 59.19 16.38 -- 1418.22/355.48 c S st 271 1209849 9141 24697 24244 93875 169641 2358990 59.19 16.38 -- 1419.42/355.78 c S st 271 1210350 9141 24697 24344 94379 169643 2373260 59.19 16.38 -- 1419.42/355.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1419.42/355.79 c Cache BProp: 14 Set: 0 BXProp: 0 T: 0.02 1429.81/358.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bin: 240 BRemL: 715 BRemN: 15 CBin: 0 P: 60.0M T: 10.13 1429.81/358.35 c Calc non-exist non-lernt bins v-fix: 0 done: 9139 time: 0.11 s 1429.81/358.36 c Cache BProp: 14 Set: 0 BXProp: 0 T: 0.01 1432.60/359.01 c Subs w/ non-existent bins: 66 time: 2.61 s 1432.60/359.05 c Replacing 9 vars Replaced 812 lits Time: 0.14 s 1433.00/359.12 c bin-w-bin subsume rem 26 bins time: 0.02 s 1436.19/359.90 c subs with bin: 61 lits-rem: 1182 v-fix: 0 time: 3.11 s 1436.19/359.91 c Removed useless bin: 11 fixed: 0 bprops: 0.27M time: 0.04 s 1467.35/367.70 c ORs : 6198 avg-s: 2.5 cl-sh: 71 l-rem: 80 b-add: 17 v-rep: 0 cl-rem: 13 avg s: 19.5 T: 3.64 1467.35/367.74 c lits-rem: 371 cl-subs: 8476 v-elim: 701 v-fix: 0 time: 31.30 s 1467.35/367.74 c learnt bin added due to v-elim: 0 1467.35/367.76 c vivif2 -- cl tried 24601 cl shrink 4 lits rem 5 time: 0.08 1469.35/368.25 c vivif2 -- cl tried 85767 cl shrink 522 lits rem 1448 time: 1.95 1470.17/368.41 c asymm cl-useful: 18/694/24601 lits-rem:19 time: 0.63 1470.17/368.42 c calculated reachability. Time: 0.03 1470.17/368.42 c N dy 271 1210350 9107 24601 23545 85766 168895 2095710 59.19 16.38 -- 1806.89/452.71 c N dy 272 1469880 9107 24601 23548 79399 168895 2834531 97.51 16.51 -- 2068.54/518.26 c N dy 273 1664980 9108 24601 23960 102122 168919 2863636 100.99 16.80 -- 2069.34/518.47 c Finding binary XORs T: 0.74 s found: 3 2136.05/535.17 c N dy 274 1710352 9111 24600 24051 89600 168926 2457390 30.17 16.79 -- 2136.45/535.27 c S st 274 1710352 9111 24600 24051 89600 168926 2457390 30.17 16.79 -- 2137.65/535.52 c S st 274 1710852 9111 24600 24149 90111 168932 2471329 30.17 16.79 -- 2137.65/535.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2137.65/535.54 c Cache BProp: 14 Set: 0 BXProp: 0 T: 0.01 2150.43/538.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 94 BRemL: 495 BRemN: 13 CBin: 0 P: 60.0M T: 12.66 2150.43/538.74 c Calc non-exist non-lernt bins v-fix: 0 done: 9110 time: 0.11 s 2150.43/538.74 c Cache BProp: 14 Set: 0 BXProp: 0 T: 0.01 2153.23/539.46 c Subs w/ non-existent bins: 23 time: 2.84 s 2153.23/539.49 c Replacing 4 vars Replaced 71 lits Time: 0.13 s 2153.63/539.55 c bin-w-bin subsume rem 22 bins time: 0.02 s 2155.23/539.98 c subs with bin: 45 lits-rem: 88 v-fix: 0 time: 1.71 s 2155.23/539.99 c Removed useless bin: 6 fixed: 0 bprops: 0.27M time: 0.03 s 2205.56/552.59 c ORs : 6200 avg-s: 2.5 cl-sh: 5 l-rem: 5 b-add: 5 v-rep: 0 cl-rem: 15 avg s: 17.9 T: 3.35 2211.55/554.06 c Added 19 vars tried: 80000 time: 5.88 2211.95/554.12 c ORs : 19 avg-s: 0.0 cl-sh: 5818 l-rem: 5818 b-add: 38 v-rep: 0 cl-rem: 0 avg s: nan T: 6.09 2211.95/554.16 c lits-rem: 110 cl-subs: 5455 v-elim: 678 v-fix: 0 time: 56.61 s 2211.95/554.16 c learnt bin added due to v-elim: 0 2211.95/554.18 c vivif2 -- cl tried 24578 cl shrink 1 lits rem 1 time: 0.08 2214.35/554.70 c vivif2 -- cl tried 84597 cl shrink 100 lits rem 234 time: 2.08 2214.75/554.84 c asymm cl-useful: 48/994/24578 lits-rem:49 time: 0.54 2214.75/554.85 c calculated reachability. Time: 0.03 2214.75/554.85 c N dy 274 1710852 9123 24578 23688 84591 168787 2256792 30.17 16.79 -- 2255.10/564.97 c N dy 276 1734219 9123 24578 23766 107524 168791 3824963 115.57 16.83 -- 2289.46/573.55 c N dy 279 1768220 9122 24578 23767 83152 168791 2151689 68.15 16.83 -- 2357.78/590.67 c N dy 282 1817171 9120 24578 23784 71809 168791 1137794 55.95 16.86 -- 2392.12/599.28 c N dy 287 1851919 9120 24578 23837 104783 168791 2255978 43.50 16.84 -- 2717.69/680.79 c N dy 291 2115718 9120 24578 23901 112636 168791 1964175 26.08 16.50 -- 2809.17/703.64 c N dy 294 2181322 9119 24578 24136 112999 168825 3879137 85.91 16.60 -- 2842.72/712.05 c N dy 299 2210853 9119 24578 24183 77118 168825 1096474 36.75 16.58 -- 2842.72/712.09 c S st 299 2210853 9119 24578 24183 77118 168825 1096474 36.75 16.58 -- 2843.52/712.29 c S st 299 2211354 9119 24578 24183 77617 168825 1110453 36.75 16.58 -- 2843.92/712.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 2843.92/712.31 c Cache BProp: 23 Set: 0 BXProp: 2 T: 0.02 2851.11/714.14 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 153 BRemL: 591 BRemN: 9 CBin: 0 P: 60.0M T: 7.34 2851.11/714.17 c Calc non-exist non-lernt bins v-fix: 0 done: 9117 time: 0.11 s 2851.11/714.18 c Cache BProp: 23 Set: 0 BXProp: 0 T: 0.01 2853.11/714.65 c Subs w/ non-existent bins: 16 time: 1.90 s 2853.11/714.68 c Replacing 4 vars Replaced 209 lits Time: 0.09 s 2853.51/714.71 c bin-w-bin subsume rem 15 bins time: 0.02 s 2853.91/714.89 c subs with bin: 52 lits-rem: 201 v-fix: 0 time: 0.69 s 2853.91/714.90 c Removed useless bin: 7 fixed: 0 bprops: 0.27M time: 0.04 s 2869.48/718.73 c ORs : 6211 avg-s: 2.5 cl-sh: 16 l-rem: 38 b-add: 5 v-rep: 0 cl-rem: 16 avg s: 8.8 T: 3.01 2869.48/718.76 c lits-rem: 439 cl-subs: 3781 v-elim: 678 v-fix: 0 time: 15.44 s 2869.48/718.76 c learnt bin added due to v-elim: 0 2869.48/718.78 c vivif2 -- cl tried 24538 cl shrink 4 lits rem 4 time: 0.08 2871.08/719.13 c vivif2 -- cl tried 73714 cl shrink 85 lits rem 175 time: 1.41 2871.48/719.24 c asymm cl-useful: 45/1049/24538 lits-rem:53 time: 0.44 2871.48/719.26 c calculated reachability. Time: 0.03 2871.48/719.26 c N dy 299 2211354 9110 24538 23218 73710 168393 1015465 36.75 16.58 -- 3048.07/763.45 c N dy 301 2319806 9110 24538 23218 112917 168393 3506842 79.38 16.49 -- 3048.84/763.64 c Finding binary XORs T: 0.75 s found: 0 3083.99/772.50 c N dy 303 2345194 9110 24538 23269 70877 168393 764312 47.18 16.47 -- 3109.97/778.94 c N dy 305 2368520 9111 24538 23361 93778 168429 1849383 44.93 16.49 -- 3349.25/838.89 c N dy 306 2521580 9111 24538 23361 106491 168429 2472921 56.56 16.68 -- 3407.17/853.33 c N dy 310 2573170 9111 24538 23584 86064 168483 949783 36.74 16.57 -- 3427.55/858.47 c N dy 314 2595520 9110 24538 23599 108039 168483 1999470 31.68 16.55 -- 3526.64/883.29 c N dy 315 2663018 9110 24538 23599 102358 168483 3092696 84.78 16.63 -- 3604.92/902.87 c N dy 316 2711355 9109 24538 23617 77467 168483 806848 33.91 16.58 -- 3605.32/902.91 c S st 316 2711355 9109 24538 23617 77467 168483 806848 33.91 16.58 -- 3605.73/903.10 c S st 316 2711856 9109 24538 23696 77983 168485 821337 33.91 16.58 -- 3606.13/903.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3606.13/903.12 c Cache BProp: 27 Set: 0 BXProp: 0 T: 0.01 3612.90/904.84 c Flit: 0 Blit: 2 bXBeca: 0 bXProp: 7 Bin: 132 BRemL: 444 BRemN: 26 CBin: 0 P: 60.0M T: 6.89 3612.90/904.87 c Calc non-exist non-lernt bins v-fix: 0 done: 9107 time: 0.10 s 3612.90/904.87 c Cache BProp: 28 Set: 0 BXProp: 0 T: 0.01 3614.92/905.32 c Subs w/ non-existent bins: 56 time: 1.79 s 3614.92/905.34 c Replacing 7 vars Replaced 118 lits Time: 0.09 s 3614.92/905.38 c bin-w-bin subsume rem 6 bins time: 0.02 s 3615.30/905.49 c subs with bin: 26 lits-rem: 52 v-fix: 0 time: 0.44 s 3615.30/905.49 c Removed useless bin: 9 fixed: 0 bprops: 0.27M time: 0.04 s 3626.89/908.36 c ORs : 6207 avg-s: 2.5 cl-sh: 12 l-rem: 14 b-add: 11 v-rep: 0 cl-rem: 15 avg s: 7.6 T: 2.81 3650.84/914.36 c Added 1 vars tried: 80000 time: 23.96 3650.84/914.36 c ORs : 1 avg-s: 0.0 cl-sh: 140 l-rem: 140 b-add: 2 v-rep: 0 cl-rem: 0 avg s: nan T: 23.97 3650.84/914.39 c lits-rem: 1392 cl-subs: 2519 v-elim: 682 v-fix: 0 time: 35.51 s 3650.84/914.39 c learnt bin added due to v-elim: 0 3651.24/914.41 c vivif2 -- cl tried 24479 cl shrink 8 lits rem 8 time: 0.08 3652.44/914.75 c vivif2 -- cl tried 75390 cl shrink 89 lits rem 263 time: 1.37 3652.84/914.86 c asymm cl-useful: 29/775/24479 lits-rem:35 time: 0.46 3652.84/914.88 c calculated reachability. Time: 0.03 3652.84/914.88 c N dy 316 2711856 9093 24479 23097 75389 168078 783047 33.91 16.58 -- 3652.84/914.88 c F st 316 2711856 9093 24479 23097 75389 168078 783047 33.91 16.58 -- 3655.24/915.47 c Decided on static restart strategy 3676.04/920.66 c N dy 327 2733732 9092 24479 23129 96926 168080 1884382 36.83 16.56 -- 3783.07/947.45 c N dy 330 2792045 9092 24479 23140 81083 168080 1217491 108.35 16.67 -- 3888.53/973.87 c N dy 337 2856997 9091 24479 23217 144285 168090 4731782 50.91 16.75 -- 3971.21/994.53 c N dy 341 2916597 9091 24479 23292 127997 168112 3565354 23.16 16.70 -- 3972.01/994.75 c Finding binary XORs T: 0.75 s found: 3 4306.35/1078.47 c N dy 343 3139421 9091 24470 23194 116869 168059 2971820 93.11 16.66 -- 4419.39/1106.84 c N dy 347 3211858 9091 24470 23327 109468 168071 2855099 51.89 16.70 -- 4419.79/1106.94 c S st 347 3211858 9091 24470 23327 109468 168071 2855099 51.89 16.70 -- 4420.98/1107.26 c S st 347 3212361 9091 24470 23333 109972 168071 2868790 51.89 16.70 -- 4420.98/1107.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 4420.98/1107.28 c Cache BProp: 28 Set: 0 BXProp: 0 T: 0.01 4432.95/1110.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 67 BRemL: 466 BRemN: 16 CBin: 0 P: 60.1M T: 11.73 4432.95/1110.25 c Calc non-exist non-lernt bins v-fix: 0 done: 9091 time: 0.11 s 4432.95/1110.25 c Cache BProp: 28 Set: 0 BXProp: 0 T: 0.01 4436.16/1111.06 c Subs w/ non-existent bins: 38 time: 3.23 s 4436.16/1111.08 c Replacing 4 vars Replaced 92 lits Time: 0.07 s 4436.54/1111.16 c bin-w-bin subsume rem 25 bins time: 0.02 s 4438.54/1111.67 c subs with bin: 62 lits-rem: 46 v-fix: 0 time: 2.03 s 4438.54/1111.67 c Removed useless bin: 6 fixed: 0 bprops: 0.27M time: 0.03 s 4500.87/1127.23 c ORs : 6210 avg-s: 2.5 cl-sh: 5 l-rem: 5 b-add: 5 v-rep: 0 cl-rem: 16 avg s: 9.3 T: 3.95 4500.87/1127.28 c lits-rem: 240 cl-subs: 4944 v-elim: 676 v-fix: 0 time: 62.33 s 4500.87/1127.28 c learnt bin added due to v-elim: 0 4500.87/1127.30 c vivif2 -- cl tried 24440 cl shrink 0 lits rem 0 time: 0.08 4503.66/1127.91 c vivif2 -- cl tried 104939 cl shrink 122 lits rem 316 time: 2.45 4504.06/1128.04 c asymm cl-useful: 14/539/24440 lits-rem:18 time: 0.52 4504.06/1128.05 c calculated reachability. Time: 0.03 4504.06/1128.06 c N dy 347 3212361 9084 24440 22801 104938 167885 2581390 51.89 16.70 -- 4550.01/1139.58 c N dy 348 3238473 9084 24440 22802 130622 167885 4270494 115.68 16.74 -- 4589.14/1149.39 c N dy 351 3261917 9084 24440 22836 153444 167885 5279352 80.34 16.72 -- 4730.94/1184.82 c N dy 352 3358537 9084 24440 22836 87912 167885 1022407 106.21 16.67 -- 4765.71/1193.51 c N dy 355 3382405 9084 24440 22867 111095 167885 2876787 48.18 16.70 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3288734-1304127827/watcher-3288734-1304127827 -o /tmp/evaluation-result-3288734-1304127827/solver-3288734-1304127827 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3288734-1304127827.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 6.13 7.61 7.89 5/180 21616 /proc/meminfo: memFree=30606664/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=24708 CPUtime=0 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 1426 0 0 0 0 0 0 0 21 0 1 0 524382567 25300992 1365 33554432000 4194304 4797429 140735790234656 18446744073709551615 248089359045 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21616/statm: 6177 1378 341 148 0 1106 0 [startup+0.0311931 s] /proc/loadavg: 6.13 7.61 7.89 5/180 21616 /proc/meminfo: memFree=30606664/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=44988 CPUtime=0.02 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 7429 0 0 0 2 0 0 0 21 0 1 0 524382567 46067712 5991 33554432000 4194304 4797429 140735790234656 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21616/statm: 11247 5993 342 148 0 6176 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 44988 [startup+0.10018 s] /proc/loadavg: 6.13 7.61 7.89 5/180 21616 /proc/meminfo: memFree=30606664/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=101728 CPUtime=0.09 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 23712 0 0 0 7 2 0 0 21 0 1 0 524382567 104169472 16856 33554432000 4194304 4797429 140735790234656 18446744073709551615 248089395659 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21616/statm: 25432 16856 342 148 0 20361 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 101728 [startup+0.300142 s] /proc/loadavg: 6.13 7.61 7.89 5/180 21616 /proc/meminfo: memFree=30606664/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=207360 CPUtime=0.29 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 45236 0 0 0 24 5 0 0 22 0 1 0 524382567 212336640 31045 33554432000 4194304 4797429 140735790234656 18446744073709551615 248089359045 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21616/statm: 51840 31046 350 148 0 46769 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 207360 [startup+0.701074 s] /proc/loadavg: 6.13 7.61 7.89 5/180 21616 /proc/meminfo: memFree=30606664/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=325540 CPUtime=1.34 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 51876 0 0 0 128 6 0 0 25 0 4 0 524382567 333352960 37427 33554432000 4194304 4797429 140735790234656 18446744073709551615 4428553 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 81385 37427 376 148 0 76314 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 325540 [startup+1.50093 s] /proc/loadavg: 6.13 7.61 7.89 9/184 21620 /proc/meminfo: memFree=30434644/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=738632 CPUtime=4.53 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 57138 0 0 0 446 7 0 0 25 0 4 0 524382567 756359168 40805 33554432000 4194304 4797429 140735790234656 18446744073709551615 4243092 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 184658 40805 384 148 0 179587 0 [pid=21616/tid=21618] ppid=21614 vsize=738632 CPUtime=1.01 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 1202 0 0 0 101 0 0 0 25 0 4 0 524382615 756359168 40805 33554432000 4194304 4797429 140735790234656 18446744073709551615 4427892 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=738632 CPUtime=1 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 1324 0 0 0 100 0 0 0 25 0 4 0 524382615 756359168 40805 33554432000 4194304 4797429 140735790234656 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=738632 CPUtime=1 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 1427 0 0 0 100 0 0 0 25 0 4 0 524382615 756359168 40805 33554432000 4194304 4797429 140735790234656 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.53 Current children cumulated vsize (KiB) 738632 [startup+3.10065 s] /proc/loadavg: 6.13 7.61 7.89 9/184 21620 /proc/meminfo: memFree=30427948/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=808952 CPUtime=10.92 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 58061 0 0 0 1085 7 0 0 25 0 4 0 524382567 828366848 41728 33554432000 4194304 4797429 140735790234656 18446744073709551615 4427848 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 202238 41728 384 148 0 197167 0 [pid=21616/tid=21618] ppid=21614 vsize=808952 CPUtime=2.61 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 1479 0 0 0 261 0 0 0 25 0 4 0 524382615 828366848 41728 33554432000 4194304 4797429 140735790234656 18446744073709551615 4428365 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=808952 CPUtime=2.59 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 1602 0 0 0 259 0 0 0 25 0 4 0 524382615 828366848 41728 33554432000 4194304 4797429 140735790234656 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=808952 CPUtime=2.6 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 1548 0 0 0 260 0 0 0 25 0 4 0 524382615 828366848 41728 33554432000 4194304 4797429 140735790234656 18446744073709551615 4428594 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 10.92 Current children cumulated vsize (KiB) 808952 [startup+6.30109 s] /proc/loadavg: 6.28 7.62 7.89 9/184 21620 /proc/meminfo: memFree=30421872/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=809480 CPUtime=23.71 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 58216 0 0 0 2364 7 0 0 25 0 4 0 524382567 828907520 41883 33554432000 4194304 4797429 140735790234656 18446744073709551615 4427299 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 202370 41883 384 148 0 197299 0 [pid=21616/tid=21618] ppid=21614 vsize=809480 CPUtime=5.81 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 1518 0 0 0 581 0 0 0 25 0 4 0 524382615 828907520 41883 33554432000 4194304 4797429 140735790234656 18446744073709551615 4428656 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=809480 CPUtime=5.78 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 1637 0 0 0 578 0 0 0 25 0 4 0 524382615 828907520 41883 33554432000 4194304 4797429 140735790234656 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=809480 CPUtime=5.8 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 1588 0 0 0 580 0 0 0 25 0 4 0 524382615 828907520 41883 33554432000 4194304 4797429 140735790234656 18446744073709551615 4332819 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 23.71 Current children cumulated vsize (KiB) 809480 [startup+12.701 s] /proc/loadavg: 6.42 7.62 7.89 9/184 21620 /proc/meminfo: memFree=29888236/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1444536 CPUtime=49.24 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 202732 0 0 0 4883 41 0 0 21 0 4 0 524382567 1479204864 185026 33554432000 4194304 4797429 140735790234656 18446744073709551615 4422985 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 361134 185026 419 148 0 356063 0 [pid=21616/tid=21618] ppid=21614 vsize=1444536 CPUtime=12.19 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 38152 0 0 0 1213 6 0 0 18 0 4 0 524382615 1479204864 185026 33554432000 4194304 4797429 140735790234656 18446744073709551615 4423025 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1444536 CPUtime=12.14 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 44752 0 0 0 1203 11 0 0 22 0 4 0 524382615 1479204864 185026 33554432000 4194304 4797429 140735790234656 18446744073709551615 4388350 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1444536 CPUtime=12.2 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 30182 0 0 0 1212 8 0 0 22 0 4 0 524382615 1479204864 185026 33554432000 4194304 4797429 140735790234656 18446744073709551615 248089366769 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 49.24 Current children cumulated vsize (KiB) 1444536 [startup+25.5007 s] /proc/loadavg: 6.77 7.64 7.89 9/184 21621 /proc/meminfo: memFree=29734680/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1488972 CPUtime=100.35 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 234573 0 0 0 9984 51 0 0 25 0 4 0 524382567 1524707328 209904 33554432000 4194304 4797429 140735790234656 18446744073709551615 4423700 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 372243 209904 422 148 0 367172 0 [pid=21616/tid=21618] ppid=21614 vsize=1488972 CPUtime=24.99 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 46354 0 0 0 2490 9 0 0 25 0 4 0 524382615 1524707328 209904 33554432000 4194304 4797429 140735790234656 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1488972 CPUtime=24.86 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 53553 0 0 0 2473 13 0 0 25 0 4 0 524382615 1524707328 209904 33554432000 4194304 4797429 140735790234656 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1488972 CPUtime=24.99 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 39761 0 0 0 2489 10 0 0 25 0 4 0 524382615 1524707328 209904 33554432000 4194304 4797429 140735790234656 18446744073709551615 4520404 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 100.35 Current children cumulated vsize (KiB) 1488972 [startup+51.1012 s] /proc/loadavg: 7.26 7.68 7.90 9/184 21621 /proc/meminfo: memFree=29725780/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1490372 CPUtime=202.62 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 242523 0 0 0 20206 56 0 0 25 0 4 0 524382567 1526140928 209683 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424713 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 372593 209683 423 148 0 367522 0 [pid=21616/tid=21618] ppid=21614 vsize=1490372 CPUtime=50.59 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 47668 0 0 0 5050 9 0 0 25 0 4 0 524382615 1526140928 209683 33554432000 4194304 4797429 140735790234656 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1490372 CPUtime=50.34 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 54573 0 0 0 5020 14 0 0 25 0 4 0 524382615 1526140928 209683 33554432000 4194304 4797429 140735790234656 18446744073709551615 4423361 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1490372 CPUtime=50.59 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 41259 0 0 0 5047 12 0 0 25 0 4 0 524382615 1526140928 209683 33554432000 4194304 4797429 140735790234656 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 202.62 Current children cumulated vsize (KiB) 1490372 [startup+102.306 s] /proc/loadavg: 7.74 7.75 7.91 9/184 21623 /proc/meminfo: memFree=29697940/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1515564 CPUtime=407.18 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 259820 0 0 0 40654 64 0 0 25 0 4 0 524382567 1551937536 214379 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424662 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 378891 214379 423 148 0 373820 0 [pid=21616/tid=21618] ppid=21614 vsize=1515564 CPUtime=101.79 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 48880 0 0 0 10169 10 0 0 25 0 4 0 524382615 1551937536 214379 33554432000 4194304 4797429 140735790234656 18446744073709551615 4245571 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1515564 CPUtime=101.27 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 56059 0 0 0 10112 15 0 0 25 0 4 0 524382615 1551937536 214379 33554432000 4194304 4797429 140735790234656 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1515564 CPUtime=101.79 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 42602 0 0 0 10167 12 0 0 25 0 4 0 524382615 1551937536 214379 33554432000 4194304 4797429 140735790234656 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 407.18 Current children cumulated vsize (KiB) 1515564 [startup+162.301 s] /proc/loadavg: 7.90 7.79 7.91 9/184 21624 /proc/meminfo: memFree=29694292/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1517608 CPUtime=646.84 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 280239 0 0 0 64611 73 0 0 25 0 4 0 524382567 1554030592 213869 33554432000 4194304 4797429 140735790234656 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 379402 213869 423 148 0 374331 0 [pid=21616/tid=21618] ppid=21614 vsize=1517608 CPUtime=161.79 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 49978 0 0 0 16168 11 0 0 25 0 4 0 524382615 1554030592 213869 33554432000 4194304 4797429 140735790234656 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1517608 CPUtime=160.96 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 57421 0 0 0 16080 16 0 0 25 0 4 0 524382615 1554030592 213869 33554432000 4194304 4797429 140735790234656 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1517608 CPUtime=161.79 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 43670 0 0 0 16166 13 0 0 25 0 4 0 524382615 1554030592 213869 33554432000 4194304 4797429 140735790234656 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 646.84 Current children cumulated vsize (KiB) 1517608 [startup+222.301 s] /proc/loadavg: 8.05 7.86 7.92 9/184 21626 /proc/meminfo: memFree=29680256/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1519492 CPUtime=886.52 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 298530 0 0 0 88569 83 0 0 25 0 4 0 524382567 1555959808 215501 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424850 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 379873 215501 423 148 0 374802 0 [pid=21616/tid=21618] ppid=21614 vsize=1519492 CPUtime=221.79 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 51116 0 0 0 22167 12 0 0 25 0 4 0 524382615 1555959808 215501 33554432000 4194304 4797429 140735790234656 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1519492 CPUtime=220.62 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 58495 0 0 0 22046 16 0 0 25 0 4 0 524382615 1555959808 215501 33554432000 4194304 4797429 140735790234656 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1519492 CPUtime=221.79 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 44905 0 0 0 22166 13 0 0 25 0 4 0 524382615 1555959808 215501 33554432000 4194304 4797429 140735790234656 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 886.52 Current children cumulated vsize (KiB) 1519492 [startup+282.3 s] ################ # More data... # ################ [pid=21616] ppid=21614 vsize=1542192 CPUtime=2803.97 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 422444 0 0 0 280247 150 0 0 25 0 4 0 524382567 1579204608 225793 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 385548 225793 423 148 0 380477 0 [pid=21616/tid=21618] ppid=21614 vsize=1542192 CPUtime=700.3 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 60270 0 0 0 70013 17 0 0 25 0 4 0 524382615 1579204608 225793 33554432000 4194304 4797429 140735790234656 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1542192 CPUtime=699.57 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 67184 0 0 0 69936 21 0 0 25 0 4 0 524382615 1579204608 225793 33554432000 4194304 4797429 140735790234656 18446744073709551615 4225995 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1542192 CPUtime=701.78 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 54455 0 0 0 70159 19 0 0 25 0 4 0 524382615 1579204608 225793 33554432000 4194304 4797429 140735790234656 18446744073709551615 4346300 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2803.97 Current children cumulated vsize (KiB) 1542192 [startup+762.307 s] /proc/loadavg: 8.07 8.02 7.96 9/184 21640 /proc/meminfo: memFree=29591256/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1542412 CPUtime=3043.67 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 434816 0 0 0 304210 157 0 0 25 0 4 0 524382567 1579429888 226215 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 385603 226215 423 148 0 380532 0 [pid=21616/tid=21618] ppid=21614 vsize=1542412 CPUtime=759.97 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 61026 0 0 0 75980 17 0 0 25 0 4 0 524382615 1579429888 226215 33554432000 4194304 4797429 140735790234656 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1542412 CPUtime=759.58 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 67739 0 0 0 75936 22 0 0 25 0 4 0 524382615 1579429888 226215 33554432000 4194304 4797429 140735790234656 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1542412 CPUtime=761.78 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 55916 0 0 0 76159 19 0 0 25 0 4 0 524382615 1579429888 226215 33554432000 4194304 4797429 140735790234656 18446744073709551615 4346577 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3043.67 Current children cumulated vsize (KiB) 1542412 [startup+822.301 s] /proc/loadavg: 8.13 8.04 7.97 9/184 21642 /proc/meminfo: memFree=29571864/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1544444 CPUtime=3283.34 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 450382 0 0 0 328169 165 0 0 25 0 4 0 524382567 1581510656 228749 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 386111 228749 423 148 0 381040 0 [pid=21616/tid=21618] ppid=21614 vsize=1544444 CPUtime=819.66 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 62577 0 0 0 81948 18 0 0 25 0 4 0 524382615 1581510656 228749 33554432000 4194304 4797429 140735790234656 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1544444 CPUtime=819.57 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 69164 0 0 0 81935 22 0 0 25 0 4 0 524382615 1581510656 228749 33554432000 4194304 4797429 140735790234656 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1544444 CPUtime=821.77 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 56788 0 0 0 82158 19 0 0 25 0 4 0 524382615 1581510656 228749 33554432000 4194304 4797429 140735790234656 18446744073709551615 4642078 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3283.34 Current children cumulated vsize (KiB) 1544444 [startup+882.3 s] /proc/loadavg: 8.05 8.03 7.97 9/184 21644 /proc/meminfo: memFree=29571312/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1552464 CPUtime=3523.02 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 465631 0 0 0 352129 173 0 0 25 0 4 0 524382567 1589723136 228491 33554432000 4194304 4797429 140735790234656 18446744073709551615 4423561 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 388116 228491 423 148 0 383045 0 [pid=21616/tid=21618] ppid=21614 vsize=1552464 CPUtime=879.34 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 63194 0 0 0 87915 19 0 0 25 0 4 0 524382615 1589723136 228491 33554432000 4194304 4797429 140735790234656 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1552464 CPUtime=879.58 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 70306 0 0 0 87935 23 0 0 25 0 4 0 524382615 1589723136 228491 33554432000 4194304 4797429 140735790234656 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1552464 CPUtime=881.78 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 57468 0 0 0 88158 20 0 0 25 0 4 0 524382615 1589723136 228491 33554432000 4194304 4797429 140735790234656 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3523.02 Current children cumulated vsize (KiB) 1552464 [startup+942.301 s] /proc/loadavg: 8.07 8.04 7.98 9/184 21645 /proc/meminfo: memFree=29564076/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1555088 CPUtime=3762.7 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 476491 0 0 0 376091 179 0 0 25 0 4 0 524382567 1592410112 229763 33554432000 4194304 4797429 140735790234656 18446744073709551615 4425824 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 388772 229763 423 148 0 383701 0 [pid=21616/tid=21618] ppid=21614 vsize=1555088 CPUtime=939.01 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 64250 0 0 0 93882 19 0 0 25 0 4 0 524382615 1592410112 229763 33554432000 4194304 4797429 140735790234656 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1555088 CPUtime=939.58 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 71629 0 0 0 93934 24 0 0 25 0 4 0 524382615 1592410112 229763 33554432000 4194304 4797429 140735790234656 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1555088 CPUtime=941.78 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 58975 0 0 0 94157 21 0 0 25 0 4 0 524382615 1592410112 229763 33554432000 4194304 4797429 140735790234656 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3762.7 Current children cumulated vsize (KiB) 1555088 [startup+1002.3 s] /proc/loadavg: 8.08 8.04 7.98 9/184 21647 /proc/meminfo: memFree=29551880/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1560700 CPUtime=4002.37 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 489976 0 0 0 400050 187 0 0 25 0 4 0 524382567 1598156800 231553 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424333 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 390175 231553 423 148 0 385104 0 [pid=21616/tid=21618] ppid=21614 vsize=1560700 CPUtime=998.68 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 64712 0 0 0 99849 19 0 0 25 0 4 0 524382615 1598156800 231553 33554432000 4194304 4797429 140735790234656 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1560700 CPUtime=999.58 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 72530 0 0 0 99934 24 0 0 25 0 4 0 524382615 1598156800 231553 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424709 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1560700 CPUtime=1001.78 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 59569 0 0 0 100157 21 0 0 25 0 4 0 524382615 1598156800 231553 33554432000 4194304 4797429 140735790234656 18446744073709551615 4524473 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4002.37 Current children cumulated vsize (KiB) 1560700 [startup+1062.3 s] /proc/loadavg: 8.09 8.05 7.99 9/184 21657 /proc/meminfo: memFree=29549664/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1560792 CPUtime=4242.04 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 503583 0 0 0 424009 195 0 0 25 0 4 0 524382567 1598251008 231060 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 390198 231060 423 148 0 385127 0 [pid=21616/tid=21618] ppid=21614 vsize=1560792 CPUtime=1058.37 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 65755 0 0 0 105817 20 0 0 25 0 4 0 524382615 1598251008 231060 33554432000 4194304 4797429 140735790234656 18446744073709551615 248089365466 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1560792 CPUtime=1059.56 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 73625 0 0 0 105932 24 0 0 25 0 4 0 524382615 1598251008 231060 33554432000 4194304 4797429 140735790234656 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1560792 CPUtime=1061.78 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 60746 0 0 0 106156 22 0 0 25 0 4 0 524382615 1598251008 231060 33554432000 4194304 4797429 140735790234656 18446744073709551615 4430087 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4242.04 Current children cumulated vsize (KiB) 1560792 [startup+1122.3 s] /proc/loadavg: 8.53 8.16 8.03 10/189 22073 /proc/meminfo: memFree=29533808/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1560880 CPUtime=4481.29 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 515149 0 0 0 447928 201 0 0 25 0 4 0 524382567 1598341120 230219 33554432000 4194304 4797429 140735790234656 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 390220 230219 446 148 0 385149 0 [pid=21616/tid=21618] ppid=21614 vsize=1560880 CPUtime=1118.03 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 66358 0 0 0 111783 20 0 0 25 0 4 0 524382615 1598341120 230219 33554432000 4194304 4797429 140735790234656 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1560880 CPUtime=1119.31 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 74545 0 0 0 111906 25 0 0 25 0 4 0 524382615 1598341120 230219 33554432000 4194304 4797429 140735790234656 18446744073709551615 4567880 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1560880 CPUtime=1121.74 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 61171 0 0 0 112152 22 0 0 25 0 4 0 524382615 1598341120 230219 33554432000 4194304 4797429 140735790234656 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4481.29 Current children cumulated vsize (KiB) 1560880 [startup+1182.3 s] /proc/loadavg: 8.88 8.33 8.09 10/189 22075 /proc/meminfo: memFree=29529884/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1562732 CPUtime=4720.96 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 525897 0 0 0 471888 208 0 0 25 0 4 0 524382567 1600237568 231449 33554432000 4194304 4797429 140735790234656 18446744073709551615 4345032 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 390683 231449 423 148 0 385612 0 [pid=21616/tid=21618] ppid=21614 vsize=1562732 CPUtime=1177.71 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 66953 0 0 0 117750 21 0 0 25 0 4 0 524382615 1600237568 231449 33554432000 4194304 4797429 140735790234656 18446744073709551615 4427852 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1562732 CPUtime=1179.31 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 75450 0 0 0 117906 25 0 0 25 0 4 0 524382615 1600237568 231449 33554432000 4194304 4797429 140735790234656 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1562732 CPUtime=1181.75 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 62207 0 0 0 118152 23 0 0 25 0 4 0 524382615 1600237568 231449 33554432000 4194304 4797429 140735790234656 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4720.96 Current children cumulated vsize (KiB) 1562732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.1 s] /proc/loadavg: 8.91 8.37 8.11 5/184 22076 /proc/meminfo: memFree=29663320/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1562780 CPUtime=4800.07 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 531994 0 0 0 479796 211 0 0 25 0 4 0 524382567 1600286720 231332 33554432000 4194304 4797429 140735790234656 18446744073709551615 4395263 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 390695 231332 423 148 0 385624 0 [pid=21616/tid=21618] ppid=21614 vsize=1562780 CPUtime=1197.4 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 67568 0 0 0 119719 21 0 0 25 0 4 0 524382615 1600286720 231332 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424194 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1562780 CPUtime=1199.11 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 75646 0 0 0 119886 25 0 0 25 0 4 0 524382615 1600286720 231332 33554432000 4194304 4797429 140735790234656 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1562780 CPUtime=1201.55 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 62386 0 0 0 120132 23 0 0 25 0 4 0 524382615 1600286720 231332 33554432000 4194304 4797429 140735790234656 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.07 Current children cumulated vsize (KiB) 1562780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1202.1 s] /proc/loadavg: 8.91 8.37 8.11 5/184 22076 /proc/meminfo: memFree=29663320/32950928 swapFree=67111428/67111528 [pid=21616] ppid=21614 vsize=1562780 CPUtime=4800.07 cores=1,3,5,7 /proc/21616/stat : 21616 (techdemo) R 21614 21616 21280 0 -1 4202496 531994 0 0 0 479796 211 0 0 25 0 4 0 524382567 1600286720 231332 33554432000 4194304 4797429 140735790234656 18446744073709551615 4395263 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/21616/statm: 390695 231332 423 148 0 385624 0 [pid=21616/tid=21618] ppid=21614 vsize=1562780 CPUtime=1197.4 cores=1,3,5,7 /proc/21616/task/21618/stat : 21618 (techdemo) R 21614 21616 21280 0 -1 4202560 67568 0 0 0 119719 21 0 0 25 0 4 0 524382615 1600286720 231332 33554432000 4194304 4797429 140735790234656 18446744073709551615 4424194 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=21616/tid=21619] ppid=21614 vsize=1562780 CPUtime=1199.11 cores=1,3,5,7 /proc/21616/task/21619/stat : 21619 (techdemo) R 21614 21616 21280 0 -1 4202560 75646 0 0 0 119886 25 0 0 25 0 4 0 524382615 1600286720 231332 33554432000 4194304 4797429 140735790234656 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=21616/tid=21620] ppid=21614 vsize=1562780 CPUtime=1201.55 cores=1,3,5,7 /proc/21616/task/21620/stat : 21620 (techdemo) R 21614 21616 21280 0 -1 4202560 62386 0 0 0 120132 23 0 0 25 0 4 0 524382615 1600286720 231332 33554432000 4194304 4797429 140735790234656 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.07 Current children cumulated vsize (KiB) 1562780 Child ended because it received signal 15 (SIGTERM) Real time (s): 1202.16 CPU time (s): 4800.15 CPU user time (s): 4797.99 CPU system time (s): 2.15467 CPU usage (%): 399.295 Max. virtual memory (cumulated for all children) (KiB): 1673044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.99 system time used= 2.15467 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 531995 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= 11829 involuntary context switches= 33647 runsolver used 2.01169 second user time and 4.46832 second system time The end
Begin job on node123 at 2011-04-30 03:43:48 IDJOB=3288734 IDBENCH=83103 IDSOLVER=1584 FILE ID=node123/3288734-1304127827 RUNJOBID= node123-1304127827-21594 PBS_JOBID= 13170756 Free space on /tmp= 72804 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288734-1304127827/watcher-3288734-1304127827 -o /tmp/evaluation-result-3288734-1304127827/solver-3288734-1304127827 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3288734-1304127827.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7ecd2f8efd83504268f0a96fa44f6fe7 RANDOM SEED=982830809 node123.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.74 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.838 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.80 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.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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: 30606944 kB Buffers: 592412 kB Cached: 1320296 kB SwapCached: 100 kB Active: 166724 kB Inactive: 1816316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30606944 kB SwapTotal: 67111528 kB SwapFree: 67111428 kB Dirty: 20284 kB Writeback: 12 kB AnonPages: 70264 kB Mapped: 15528 kB Slab: 298452 kB PageTables: 4564 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 668812 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= 72796 MiB End job on node123 at 2011-04-30 04:03:52