| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.25 | 1201.52 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf |
| MD5SUM | 0906ad3a7678a4284d484fb4b8c72f61 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.414936 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 792 |
| Number of clauses | 67279 |
| Sum of the clauses size | 135290 |
| Maximum clause length | 31 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 67249 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 30 |
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-3266949-1304183831.cnf' 0.00/0.00 c -- header says num vars: 792 0.00/0.00 c -- header says num clauses: 67279 0.01/0.05 c -- clauses added: 0 learnts, 67279 normals, 0 xors 0.01/0.05 c -- vars added 792 0.01/0.05 c Parsing time: 0.05 s 0.01/0.05 c N st 0 0 792 30 67249 0 135290 0 no data no data -- 0.01/0.05 c asymm cl-useful: 0/30/30 lits-rem:0 time: 0.00 0.01/0.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.4M T: 0.08 0.01/0.08 c Calc non-exist non-lernt bins v-fix: 0 done: 792 time: 0.02 s 0.01/0.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.01/0.08 c Subs w/ non-existent bins: 0 time: 0.00 s 0.01/0.09 c bin-w-bin subsume rem 0 bins time: 0.04 s 0.01/0.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 0.01/0.10 c Removed useless bin: 0 fixed: 0 bprops: 0.27M time: 0.02 s 0.25/0.12 c lits-rem: 839 cl-subs: 0 v-elim: 498 v-fix: 0 time: 0.07 s 0.25/0.12 c learnt bin added due to v-elim: 0 0.25/0.12 c Finding binary XORs T: 0.00 s found: 0 0.25/0.13 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.25/0.13 c calculated reachability. Time: 0.00 0.25/0.13 c Calc default polars - time: 0.00 s pos: 0 undec: 30 neg: 762 0.25/0.13 c ========================================================================================= 0.25/0.13 c types(t): F = full restart, N = normal restart 0.25/0.13 c types(t): S = simplification begin/end, E = solution found 0.25/0.13 c restart types(rt): st = static, dy = dynamic 0.25/0.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.25/0.13 c B st 0 0 762 2060 64427 0 192352 0 no data no data -- 1.02/0.34 c Decided on static restart strategy 2.22/0.65 c N dy 19 4016 762 2060 64427 3770 192352 283142 59.02 13.20 -- 4.24/1.18 c N dy 47 8039 762 2060 64429 5249 192352 301726 49.15 12.19 -- 6.22/1.64 c N dy 76 12127 762 2060 64429 5140 192352 271918 72.30 12.44 -- 8.23/2.11 c N dy 105 16230 762 2060 64429 9106 192352 467390 41.38 11.87 -- 10.21/2.63 c N dy 134 20291 762 2060 64429 7630 192351 428875 110.67 11.85 -- 12.21/3.16 c N dy 163 24329 762 2060 64430 11522 192351 639147 40.33 11.57 -- 14.21/3.68 c N dy 191 28357 762 2060 64430 8821 192351 359436 33.29 11.45 -- 15.41/3.93 c S st 203 30000 762 2060 64430 10384 192351 428523 46.52 11.55 -- 15.41/3.99 c S st 203 30502 762 2060 64430 10883 192351 461125 46.52 11.55 -- 15.41/3.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 15.41/3.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 17.42/4.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 14.6M T: 1.94 17.42/4.48 c Calc non-exist non-lernt bins v-fix: 0 done: 762 time: 0.03 s 17.42/4.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 17.42/4.49 c Subs w/ non-existent bins: 0 time: 0.04 s 17.80/4.52 c bin-w-bin subsume rem 0 bins time: 0.05 s 22.99/5.80 c subs with bin: 0 lits-rem: 2503 v-fix: 0 time: 5.13 s 22.99/5.81 c Removed useless bin: 0 fixed: 0 bprops: 0.26M time: 0.02 s 30.98/7.86 c lits-rem: 1394 cl-subs: 1262 v-elim: 762 v-fix: 0 time: 8.21 s 30.98/7.86 c learnt bin added due to v-elim: 0 30.98/7.87 c vivif2 -- cl tried 2060 cl shrink 1237 lits rem 8578 time: 0.01 30.98/7.88 c vivif2 -- cl tried 9621 cl shrink 74 lits rem 76 time: 0.04 31.78/8.01 c asymm cl-useful: 0/761/2060 lits-rem:0 time: 0.54 31.78/8.01 c calculated reachability. Time: 0.00 31.78/8.01 c N dy 203 30502 762 2060 64430 9621 180710 418642 46.52 11.55 -- 31.78/8.01 c F st 203 30502 762 2060 64430 9621 180710 418642 46.52 11.55 -- 32.58/8.26 c Decided on static restart strategy 33.78/8.52 c N dy 223 34519 762 2060 64430 13508 180710 687196 83.66 11.65 -- 35.78/9.03 c N dy 252 38576 762 2060 64431 9840 180710 440311 56.44 11.71 -- 38.17/9.61 c N dy 280 42683 762 2060 64431 13776 180710 663312 40.11 11.64 -- 39.77/10.07 c S st 301 45754 762 2060 64431 16665 180710 774500 33.71 11.64 -- 40.17/10.14 c S st 301 46258 762 2060 64431 17163 180710 800673 33.71 11.64 -- 40.17/10.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 40.17/10.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 43.79/11.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 26.1M T: 3.44 43.79/11.01 c Calc non-exist non-lernt bins v-fix: 0 done: 762 time: 0.03 s 43.79/11.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 43.79/11.03 c Subs w/ non-existent bins: 0 time: 0.06 s 43.79/11.06 c bin-w-bin subsume rem 0 bins time: 0.05 s 48.96/12.38 c subs with bin: 21 lits-rem: 0 v-fix: 0 time: 5.31 s 48.96/12.39 c Removed useless bin: 0 fixed: 0 bprops: 0.26M time: 0.02 s 58.56/14.72 c lits-rem: 2164 cl-subs: 1508 v-elim: 762 v-fix: 0 time: 9.32 s 58.56/14.72 c learnt bin added due to v-elim: 0 58.56/14.72 c vivif2 -- cl tried 2060 cl shrink 1 lits rem 1 time: 0.00 58.56/14.74 c vivif2 -- cl tried 15634 cl shrink 4 lits rem 4 time: 0.06 58.96/14.89 c asymm cl-useful: 0/434/2060 lits-rem:0 time: 0.60 58.96/14.89 c calculated reachability. Time: 0.00 58.96/14.89 c N dy 301 46258 762 2060 64431 15634 180709 722975 33.71 11.64 -- 61.38/15.43 c N dy 328 50295 762 2060 64432 10932 180709 401108 26.27 11.58 -- 63.35/15.92 c N dy 356 54303 762 2060 64432 14759 180709 631461 81.00 11.59 -- 66.14/16.61 c N dy 385 58441 762 2060 64432 18765 180709 916979 52.91 11.60 -- 68.14/17.13 c N dy 413 62473 762 2060 64432 13075 180709 600196 103.20 11.63 -- 70.93/17.80 c N dy 442 66586 762 2060 64432 17025 180709 858556 71.21 11.74 -- 72.93/18.36 c S st 462 69388 762 2060 64432 19724 180709 1051946 71.89 11.81 -- 73.33/18.48 c S st 462 69890 762 2060 64432 20225 180709 1078557 71.89 11.81 -- 73.33/18.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 73.33/18.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 82.53/20.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 59.2M T: 9.23 82.53/20.80 c Calc non-exist non-lernt bins v-fix: 0 done: 762 time: 0.03 s 82.53/20.80 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 82.95/20.82 c Subs w/ non-existent bins: 0 time: 0.07 s 82.95/20.85 c bin-w-bin subsume rem 0 bins time: 0.05 s 88.52/22.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.57 s 88.52/22.25 c Removed useless bin: 0 fixed: 0 bprops: 0.26M time: 0.02 s 96.13/24.12 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.07 106.50/26.76 c Added 8 vars tried: 80000 time: 10.55 106.90/26.84 c ORs : 8 avg-s: 0.0 cl-sh: 13688 l-rem: 13688 b-add: 16 v-rep: 0 cl-rem: 0 avg s: nan T: 10.84 106.90/26.85 c lits-rem: 1250 cl-subs: 2064 v-elim: 762 v-fix: 0 time: 18.37 s 106.90/26.85 c learnt bin added due to v-elim: 0 106.90/26.85 c vivif2 -- cl tried 2068 cl shrink 1 lits rem 1 time: 0.00 106.90/26.86 c vivif2 -- cl tried 18161 cl shrink 104 lits rem 104 time: 0.07 107.70/27.04 c asymm cl-useful: 0/402/2068 lits-rem:0 time: 0.71 107.70/27.04 c calculated reachability. Time: 0.00 107.70/27.04 c N dy 462 69890 770 2068 64448 18161 180399 948667 71.89 11.81 -- 107.70/27.04 c F st 462 69890 770 2068 64448 18161 180399 948667 71.89 11.81 -- 109.31/27.48 c Decided on static restart strategy 111.29/27.90 c N dy 485 74395 770 2068 64448 11994 180399 521687 70.58 11.91 -- 113.70/28.59 c N dy 518 79184 770 2068 64456 16591 180399 817139 75.54 11.89 -- 118.11/29.68 c N dy 554 84347 770 2068 64456 21550 180399 1185311 67.36 12.04 -- 121.68/30.54 c N dy 592 89861 770 2068 64477 15296 180399 679249 55.95 11.98 -- 125.28/31.47 c N dy 632 95668 770 2068 64483 20804 180399 964858 84.20 11.93 -- 129.27/32.49 c N dy 675 101824 770 2068 64492 14286 180399 545530 60.97 12.02 -- 131.29/32.92 c S st 696 104835 770 2068 64495 17201 180399 780029 85.14 12.09 -- 131.29/32.99 c S st 696 105338 770 2068 64495 17699 180399 807339 85.14 12.09 -- 131.29/32.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 131.29/32.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 138.06/34.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 764 BRemL: 14 BRemN: 0 CBin: 0 P: 52.1M T: 6.68 138.06/34.67 c Calc non-exist non-lernt bins v-fix: 0 done: 770 time: 0.03 s 138.06/34.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 138.06/34.69 c Subs w/ non-existent bins: 0 time: 0.06 s 138.46/34.71 c bin-w-bin subsume rem 0 bins time: 0.04 s 143.65/36.06 c subs with bin: 0 lits-rem: 55 v-fix: 0 time: 5.39 s 143.65/36.07 c Removed useless bin: 0 fixed: 0 bprops: 0.19M time: 0.02 s 153.66/38.54 c ORs : 12 avg-s: 2.0 cl-sh: 1 l-rem: 1 b-add: 0 v-rep: 0 cl-rem: 4 avg s: 3.0 T: 0.06 153.66/38.55 c lits-rem: 1585 cl-subs: 2179 v-elim: 1149 v-fix: 0 time: 9.90 s 153.66/38.55 c learnt bin added due to v-elim: 0 153.66/38.55 c vivif2 -- cl tried 2680 cl shrink 397 lits rem 399 time: 0.00 153.66/38.57 c vivif2 -- cl tried 15520 cl shrink 734 lits rem 946 time: 0.08 154.44/38.73 c asymm cl-useful: 0/466/2283 lits-rem:0 time: 0.64 154.44/38.73 c calculated reachability. Time: 0.00 154.44/38.73 c N dy 696 105338 766 2283 65013 15520 180582 682165 85.14 12.09 -- 158.43/39.75 c N dy 743 112082 766 2283 65014 21961 180582 1000414 39.74 12.00 -- 163.22/40.99 c N dy 794 119339 766 2283 65015 15544 180582 563903 43.87 12.02 -- 167.63/42.02 c N dy 847 126958 766 2283 65015 22814 180582 948675 32.55 12.02 -- 172.42/43.27 c N dy 902 135074 766 2283 65015 16204 180582 545148 35.75 11.98 -- 177.21/44.48 c N dy 963 143790 766 2283 65015 24563 180582 978971 40.19 11.95 -- 182.80/45.82 c N dy 1027 152989 766 2283 65016 18096 180582 598946 50.58 11.90 -- 185.59/46.54 c S st 1062 158007 766 2283 65016 22901 180582 826754 40.77 11.85 -- 185.99/46.60 c S st 1062 158508 766 2283 65016 23400 180582 854289 40.77 11.85 -- 185.99/46.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 185.99/46.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 191.59/48.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 396 CBin: 0 P: 54.8M T: 5.66 191.59/48.03 c Calc non-exist non-lernt bins v-fix: 0 done: 766 time: 0.03 s 191.59/48.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 191.59/48.05 c Subs w/ non-existent bins: 0 time: 0.09 s 191.59/48.07 c bin-w-bin subsume rem 393 bins time: 0.04 s 197.20/49.45 c subs with bin: 30 lits-rem: 0 v-fix: 0 time: 5.51 s 197.20/49.46 c Removed useless bin: 0 fixed: 0 bprops: 0.20M time: 0.02 s 207.57/52.01 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.07 207.57/52.02 c lits-rem: 1052 cl-subs: 2081 v-elim: 756 v-fix: 0 time: 10.22 s 207.57/52.02 c learnt bin added due to v-elim: 0 207.57/52.02 c vivif2 -- cl tried 2283 cl shrink 3 lits rem 3 time: 0.00 207.57/52.04 c vivif2 -- cl tried 21289 cl shrink 74 lits rem 76 time: 0.08 207.97/52.18 c asymm cl-useful: 0/713/2283 lits-rem:0 time: 0.58 207.97/52.19 c calculated reachability. Time: 0.00 207.97/52.19 c N dy 1062 158508 766 2283 64227 21289 179787 780375 40.77 11.85 -- 214.37/53.77 c N dy 1132 168702 766 2283 64228 30963 179787 1283414 67.32 11.79 -- 220.36/55.27 c N dy 1206 179507 766 2283 64228 25044 179787 931335 62.65 11.73 -- 228.38/57.22 c N dy 1286 191061 766 2283 64229 18984 179787 637111 55.57 11.80 -- 236.77/59.37 c N dy 1370 203346 766 2283 64230 30742 179787 1192656 35.41 11.76 -- 245.95/61.68 c N dy 1461 216474 766 2283 64230 25149 179787 974543 32.43 11.79 -- 260.32/65.25 c N dy 1557 230391 766 2283 64231 19351 179787 573184 58.37 11.84 -- 264.71/66.31 c S st 1608 237762 766 2283 64231 26355 179787 878463 42.80 11.83 -- 264.71/66.37 c S st 1608 238265 766 2283 64231 26855 179787 904925 42.80 11.83 -- 264.71/66.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 264.71/66.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 270.71/67.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 6.09 271.11/67.90 c Calc non-exist non-lernt bins v-fix: 0 done: 766 time: 0.03 s 271.11/67.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 271.11/67.93 c Subs w/ non-existent bins: 0 time: 0.10 s 271.11/67.95 c bin-w-bin subsume rem 0 bins time: 0.04 s 276.72/69.30 c subs with bin: 196 lits-rem: 12 v-fix: 0 time: 5.39 s 276.72/69.31 c Removed useless bin: 0 fixed: 0 bprops: 0.20M time: 0.02 s 286.28/71.71 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.07 286.28/71.72 c lits-rem: 1179 cl-subs: 2046 v-elim: 756 v-fix: 0 time: 9.63 s 286.28/71.72 c learnt bin added due to v-elim: 0 286.28/71.72 c vivif2 -- cl tried 2283 cl shrink 3 lits rem 3 time: 0.00 286.28/71.75 c vivif2 -- cl tried 24613 cl shrink 119 lits rem 119 time: 0.10 286.68/71.88 c asymm cl-useful: 0/421/2283 lits-rem:0 time: 0.55 286.68/71.89 c calculated reachability. Time: 0.00 286.68/71.89 c N dy 1608 238265 766 2283 64231 24613 179784 840293 42.80 11.83 -- 299.06/74.92 c N dy 1713 253516 766 2283 64233 39146 179784 1647827 44.87 11.81 -- 309.86/77.63 c N dy 1826 269820 798 2283 66622 35824 180798 1317327 47.41 11.78 -- 321.04/80.48 c N dy 1945 287063 798 2283 66622 30731 180798 956136 31.52 11.77 -- 332.63/83.30 c N dy 2074 305504 798 2283 66623 26131 180798 878382 66.12 11.74 -- 357.80/89.61 c N dy 2210 325151 798 2283 66623 44860 180798 2039378 68.67 11.83 -- 370.59/92.87 c N dy 2350 345219 798 2283 66625 40874 180798 1439780 42.32 11.76 -- 380.58/95.35 c S st 2434 357398 798 2283 66626 28604 180798 959934 48.28 11.77 -- 380.98/95.43 c S st 2434 357899 798 2283 66626 29103 180798 989443 48.28 11.77 -- 380.98/95.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 380.98/95.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 388.56/97.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 507 BRemL: 45 BRemN: 4 CBin: 0 P: 60.0M T: 7.52 388.56/97.33 c Calc non-exist non-lernt bins v-fix: 0 done: 798 time: 0.03 s 388.56/97.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 388.56/97.36 c Subs w/ non-existent bins: 447 time: 0.12 s 388.56/97.39 c bin-w-bin subsume rem 441 bins time: 0.05 s 394.16/98.79 c subs with bin: 74 lits-rem: 52 v-fix: 0 time: 5.60 s 394.16/98.79 c Removed useless bin: 207 fixed: 0 bprops: 0.11M time: 0.01 s 398.16/99.77 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 398.16/99.78 c lits-rem: 569 cl-subs: 2712 v-elim: 756 v-fix: 0 time: 3.95 s 398.16/99.78 c learnt bin added due to v-elim: 0 398.16/99.78 c vivif2 -- cl tried 2283 cl shrink 7 lits rem 7 time: 0.00 398.56/99.81 c vivif2 -- cl tried 25870 cl shrink 511 lits rem 550 time: 0.10 398.96/99.97 c asymm cl-useful: 0/387/2283 lits-rem:0 time: 0.64 398.96/99.97 c calculated reachability. Time: 0.00 398.96/99.97 c N dy 2434 357899 798 2283 66442 25864 180368 924704 48.28 11.77 -- 422.52/105.86 c N dy 2572 378024 798 2283 66443 44886 180368 1978459 35.12 11.82 -- 440.91/110.42 c N dy 2712 398109 798 2283 66445 39614 180368 1665791 69.12 11.86 -- 464.08/116.22 c N dy 2850 418146 798 2283 66448 33161 180368 1263523 48.22 11.95 -- 480.86/120.47 c N dy 2990 438307 798 2283 66449 52475 180368 2263458 46.09 11.92 -- 501.23/125.58 c N dy 3131 458380 834 2283 69428 47263 182276 1940213 30.18 11.97 -- 526.00/131.71 c N dy 3269 478506 834 2283 69429 37712 182276 1293818 49.54 11.96 -- 544.81/136.46 c N dy 3408 498536 834 2283 69431 56776 182276 2269887 54.01 11.94 -- 561.56/140.66 c N dy 3546 518577 834 2283 69432 46580 182276 1775262 50.47 11.93 -- 580.74/145.50 c S st 3673 536848 834 2283 69432 34259 182276 1072152 50.93 11.97 -- 581.14/145.57 c S st 3673 537349 834 2283 69432 34757 182276 1101011 50.93 11.97 -- 581.14/145.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 581.14/145.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 588.35/147.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 697 BRemL: 185 BRemN: 822 CBin: 0 P: 60.0M T: 6.93 588.35/147.32 c Calc non-exist non-lernt bins v-fix: 0 done: 834 time: 0.04 s 588.35/147.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 588.35/147.36 c Subs w/ non-existent bins: 886 time: 0.14 s 588.35/147.36 c Replacing 1 vars Replaced 165 lits Time: 0.02 s 588.35/147.39 c bin-w-bin subsume rem 813 bins time: 0.04 s 594.32/148.80 c subs with bin: 318 lits-rem: 104 v-fix: 0 time: 5.64 s 594.32/148.81 c Removed useless bin: 86 fixed: 0 bprops: 0.09M time: 0.01 s 599.52/150.16 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.07 599.52/150.17 c lits-rem: 524 cl-subs: 2166 v-elim: 756 v-fix: 0 time: 5.47 s 599.52/150.17 c learnt bin added due to v-elim: 0 599.52/150.18 c vivif2 -- cl tried 2283 cl shrink 5 lits rem 5 time: 0.00 599.92/150.21 c vivif2 -- cl tried 31387 cl shrink 386 lits rem 414 time: 0.12 600.32/150.36 c asymm cl-useful: 0/245/2283 lits-rem:0 time: 0.59 600.32/150.36 c calculated reachability. Time: 0.00 600.32/150.36 c N dy 3673 537349 833 2283 68240 31368 180448 1040103 50.93 11.97 -- 600.32/150.36 c F st 3673 537349 833 2283 68240 31368 180448 1040103 50.93 11.97 -- 601.53/150.68 c Decided on static restart strategy 615.89/154.29 c N dy 3802 557472 833 2283 68257 51014 180472 1863152 40.13 11.91 -- 632.70/158.49 c N dy 3941 577476 833 2283 68258 39762 180472 1511169 67.95 11.94 -- 662.64/165.97 c N dy 4079 597592 833 2283 68259 58874 180472 2651080 59.34 12.03 -- 683.83/171.26 c N dy 4218 617728 833 2283 68259 46688 180472 1794283 46.12 12.05 -- 710.98/178.06 c N dy 4356 637866 869 2283 70827 35306 182054 992236 74.98 12.07 -- 730.17/182.87 c N dy 4495 657926 869 2283 70831 54325 182054 1975620 42.65 12.06 -- 743.35/186.10 c Finding binary XORs T: 0.00 s found: 3 754.94/189.04 c N dy 4634 677936 869 2283 70832 39205 182054 1126845 78.91 12.04 -- 774.12/193.88 c N dy 4774 698047 869 2283 70833 58388 182054 2135027 59.92 12.03 -- 800.48/200.41 c N dy 4913 718156 869 2283 70833 42944 182054 1288592 50.29 12.06 -- 819.26/205.17 c N dy 5052 738229 869 2283 71375 62172 182168 2145150 64.80 12.08 -- 837.65/209.74 c N dy 5191 758235 869 2283 71376 45618 182168 1192004 32.11 12.03 -- 858.02/214.81 c N dy 5328 778307 869 2283 71384 64141 182168 1766717 24.50 11.99 -- 875.60/219.25 c N dy 5467 798310 869 2283 71386 47113 182168 1296987 42.30 11.98 -- 883.58/221.28 c S st 5521 806024 869 2283 71386 54462 182168 1695153 40.27 11.99 -- 884.38/221.43 c S st 5521 806524 869 2283 71386 54961 182168 1724558 40.27 11.99 -- 884.38/221.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 884.38/221.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 894.38/223.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 12 BRemL: 180 BRemN: 1565 CBin: 0 P: 60.1M T: 10.01 894.38/223.95 c Calc non-exist non-lernt bins v-fix: 0 done: 869 time: 0.04 s 894.38/223.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 894.78/224.01 c Subs w/ non-existent bins: 790 time: 0.24 s 894.78/224.02 c Replacing 3 vars Replaced 52 lits Time: 0.03 s 894.78/224.06 c bin-w-bin subsume rem 729 bins time: 0.04 s 900.39/225.46 c subs with bin: 191 lits-rem: 28 v-fix: 0 time: 5.57 s 900.39/225.46 c Removed useless bin: 74 fixed: 0 bprops: 0.09M time: 0.01 s 913.16/228.66 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 10 avg s: 3.0 T: 0.08 923.15/231.16 c Added 9 vars tried: 80000 time: 9.99 923.55/231.21 c ORs : 9 avg-s: 0.0 cl-sh: 10252 l-rem: 10252 b-add: 18 v-rep: 0 cl-rem: 22 avg s: 3.0 T: 10.20 923.55/231.23 c lits-rem: 1416 cl-subs: 5877 v-elim: 756 v-fix: 0 time: 23.07 s 923.55/231.23 c learnt bin added due to v-elim: 0 923.55/231.24 c vivif2 -- cl tried 2292 cl shrink 13 lits rem 14 time: 0.00 923.55/231.29 c vivif2 -- cl tried 48071 cl shrink 1202 lits rem 1342 time: 0.20 924.34/231.48 c asymm cl-useful: 0/181/2292 lits-rem:0 time: 0.77 924.34/231.48 c calculated reachability. Time: 0.00 924.34/231.48 c N dy 5521 806524 875 2292 69132 47818 178633 1528819 40.27 11.99 -- 955.51/239.23 c N dy 5654 826594 875 2292 69177 66955 178633 3667104 141.33 12.56 -- 983.48/246.30 c N dy 5786 846718 875 2292 69189 49709 178633 2162668 102.36 12.92 -- 1026.63/257.02 c N dy 5918 866820 875 2292 69199 69005 178633 4273431 99.97 13.44 -- 1060.59/265.50 c N dy 6049 886936 875 2292 69201 50217 178633 1785953 53.15 13.58 -- 1095.74/274.34 c N dy 6180 906968 875 2292 70017 69268 178633 3692732 109.78 14.06 -- 1128.11/282.40 c N dy 6311 927066 902 2292 71470 50162 179263 2131408 89.19 14.51 -- 1172.05/293.40 c N dy 6443 947198 902 2292 71470 69444 179263 4193463 115.80 15.04 -- 1221.62/305.85 c N dy 6575 967289 902 2292 72081 48629 179321 1844307 106.53 15.53 -- 1259.55/315.32 c N dy 6707 987405 902 2292 72099 67944 179321 3856043 101.20 15.95 -- 1314.29/329.02 c N dy 6838 1007491 902 2292 72099 45807 179321 1405694 92.62 16.34 -- 1345.05/336.75 c N dy 6970 1027621 941 2292 74643 66745 180829 3251106 86.05 16.73 -- 1396.59/349.61 c N dy 7100 1047761 941 2292 74643 85927 180829 4998430 99.01 17.01 -- 1422.16/356.03 c N dy 7232 1067854 941 2292 75095 62122 180829 2857588 90.47 17.31 -- 1477.70/369.98 c N dy 7362 1087883 961 2292 75742 81377 181027 4732714 75.08 17.68 -- 1513.26/378.83 c N dy 7494 1108001 961 2292 75746 57105 181027 2391814 111.10 18.00 -- 1552.01/388.54 c N dy 7625 1128003 961 2292 75746 76383 181027 4247359 128.39 18.27 -- 1597.56/399.93 c N dy 7756 1148035 961 2292 76304 51336 181139 1775004 122.96 18.53 -- 1635.51/409.44 c N dy 7887 1168116 961 2292 76309 70563 181139 3847558 98.86 18.88 -- 1705.43/426.94 c N dy 8018 1188217 961 2292 76309 89834 181139 5654885 108.62 19.19 -- 1730.61/433.20 c N dy 8151 1208306 961 2292 76309 63938 181139 2801940 106.39 19.46 -- 1733.80/434.00 c S st 8161 1209788 961 2292 76309 65349 181139 2949426 101.17 19.47 -- 1734.20/434.17 c S st 8161 1210288 961 2292 76309 65845 181139 2983478 101.17 19.47 -- 1734.20/434.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1734.20/434.18 c Cache BProp: 0 Set: 0 BXProp: 2 T: 0.00 1750.18/438.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bin: 1 BRemL: 1233 BRemN: 1479 CBin: 0 P: 60.0M T: 15.87 1750.18/438.17 c Calc non-exist non-lernt bins v-fix: 0 done: 961 time: 0.04 s 1750.18/438.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1750.58/438.24 c Subs w/ non-existent bins: 1071 time: 0.31 s 1750.58/438.25 c Replacing 9 vars Replaced 458 lits Time: 0.05 s 1750.98/438.32 c bin-w-bin subsume rem 1124 bins time: 0.05 s 1757.39/439.94 c subs with bin: 7 lits-rem: 135 v-fix: 0 time: 6.45 s 1757.39/439.94 c Removed useless bin: 44 fixed: 0 bprops: 0.08M time: 0.01 s 1793.73/449.01 c ORs : 34 avg-s: 2.0 cl-sh: 142 l-rem: 142 b-add: 1 v-rep: 0 cl-rem: 9 avg s: 3.0 T: 0.12 1816.90/454.81 c Added 10 vars tried: 80000 time: 23.17 1817.30/454.97 c ORs : 10 avg-s: 0.0 cl-sh: 18508 l-rem: 18508 b-add: 20 v-rep: 0 cl-rem: 9 avg s: 3.1 T: 23.81 1817.70/455.00 c lits-rem: 582 cl-subs: 7986 v-elim: 1238 v-fix: 0 time: 60.18 s 1817.70/455.00 c learnt bin added due to v-elim: 0 1817.70/455.00 c vivif2 -- cl tried 2652 cl shrink 212 lits rem 212 time: 0.00 1817.70/455.06 c vivif2 -- cl tried 56768 cl shrink 635 lits rem 1927 time: 0.24 1818.50/455.30 c asymm cl-useful: 0/226/2440 lits-rem:0 time: 0.94 1818.92/455.30 c calculated reachability. Time: 0.00 1818.92/455.30 c N dy 8161 1210288 960 2440 72279 56750 177931 2308817 101.17 19.47 -- 1856.85/464.85 c N dy 8292 1230332 960 2440 72282 75877 177931 4008623 87.67 19.58 -- 1898.02/475.15 c N dy 8424 1250415 960 2440 72282 49681 177931 1521301 99.89 19.66 -- 1933.19/483.94 c N dy 8553 1270421 960 2440 72283 68566 177931 3204514 83.46 19.85 -- 1987.91/497.68 c N dy 8681 1290465 960 2440 72283 87553 177931 4936591 76.82 19.98 -- 2017.87/505.11 c N dy 8813 1310536 960 2440 72943 60488 177931 2145955 90.07 20.00 -- 2061.82/516.13 c N dy 8942 1330608 1000 2440 74860 80685 178777 3796339 83.34 20.08 -- 2117.36/530.04 c N dy 9072 1350726 1000 2440 74860 51796 178777 1505036 80.98 20.23 -- 2146.12/537.29 c N dy 9202 1370735 1000 2440 74860 70848 178777 3382759 100.89 20.44 -- 2186.48/547.38 c N dy 9332 1390740 1000 2440 75111 90096 178777 5417516 105.22 20.66 -- 2222.44/556.30 c N dy 9461 1410742 1033 2440 77091 60538 178909 2333062 93.53 20.84 -- 2270.38/568.35 c N dy 9590 1430746 1033 2440 77094 79701 178909 4231090 102.94 20.99 -- 2350.28/588.30 c N dy 9718 1450752 1033 2440 77262 98897 178909 5910674 70.70 21.09 -- 2387.45/597.64 c N dy 9847 1470894 1033 2440 77307 68354 178915 2509684 60.01 21.15 -- 2454.16/614.36 c N dy 9973 1490992 1077 2440 79368 87898 179251 3677570 66.00 21.21 -- 2490.52/623.46 c N dy 10104 1511117 1077 2440 79368 56137 179251 1589473 61.51 21.27 -- 2524.48/631.91 c N dy 10235 1531249 1077 2440 79369 75444 179251 2854672 58.10 21.30 -- 2588.43/647.91 c N dy 10363 1551393 1077 2440 79645 94722 179257 4013133 61.21 21.30 -- 2628.36/657.96 c N dy 10493 1571394 1077 2440 79645 61885 179257 1917726 65.45 21.26 -- 2651.94/663.84 c Finding binary XORs T: 0.01 s found: 12 2651.94/663.85 c Replacing 12 vars Replaced 2336 lits Time: 0.05 s 2662.33/666.40 c N dy 10624 1591531 1065 2440 79613 81188 179225 3397723 88.07 21.30 -- 2724.26/681.93 c N dy 10752 1611612 1065 2440 79613 100355 179225 4633776 76.88 21.29 -- 2764.60/692.03 c N dy 10883 1631707 1065 2440 79614 66907 179225 2474488 96.03 21.31 -- 2810.55/703.56 c N dy 11014 1651778 1065 2440 79614 86136 179225 3941554 47.61 21.31 -- 2869.29/718.30 c N dy 11142 1671825 1065 2440 79614 105244 179225 5449193 73.40 21.35 -- 2906.83/727.63 c N dy 11269 1691847 1065 2440 79614 70738 179225 2817145 75.36 21.43 -- 2968.36/743.00 c S st 11388 1710289 1065 2440 79614 88318 179225 4396664 101.78 21.52 -- 2969.16/743.28 c S st 11388 1710791 1065 2440 79614 88820 179225 4436748 101.78 21.52 -- 2969.16/743.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 2969.16/743.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2989.93/748.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 5 BRemL: 1791 BRemN: 2049 CBin: 0 P: 60.0M T: 20.40 2989.93/748.41 c Calc non-exist non-lernt bins v-fix: 0 done: 1065 time: 0.04 s 2989.93/748.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2990.33/748.53 c Subs w/ non-existent bins: 453 time: 0.48 s 2990.74/748.62 c bin-w-bin subsume rem 1376 bins time: 0.05 s 2998.73/750.61 c subs with bin: 0 lits-rem: 5 v-fix: 0 time: 7.95 s 2998.73/750.62 c Removed useless bin: 5 fixed: 0 bprops: 0.08M time: 0.02 s 3124.97/782.21 c ORs : 62 avg-s: 2.0 cl-sh: 44 l-rem: 44 b-add: 1 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 0.28 3158.53/790.64 c Added 11 vars tried: 80000 time: 33.67 3160.93/791.23 c ORs : 11 avg-s: 0.0 cl-sh: 44569 l-rem: 44569 b-add: 22 v-rep: 0 cl-rem: 14 avg s: 3.0 T: 36.03 3160.93/791.27 c lits-rem: 451 cl-subs: 13429 v-elim: 850 v-fix: 0 time: 162.40 s 3160.93/791.27 c learnt bin added due to v-elim: 0 3160.93/791.28 c vivif2 -- cl tried 2560 cl shrink 39 lits rem 39 time: 0.00 3161.33/791.37 c vivif2 -- cl tried 74922 cl shrink 1388 lits rem 2556 time: 0.38 3162.52/791.63 c asymm cl-useful: 0/154/2521 lits-rem:0 time: 1.04 3162.52/791.64 c calculated reachability. Time: 0.00 3162.52/791.64 c N dy 11388 1710791 1075 2521 74352 74908 174830 3279606 101.78 21.52 -- 3206.47/802.61 c N dy 11517 1730894 1075 2521 74390 94102 174830 4644987 69.53 21.51 -- 3266.00/817.59 c N dy 11647 1751026 1075 2521 74407 59396 174830 1715473 74.73 21.48 -- 3297.56/825.43 c N dy 11779 1771137 1075 2521 74415 78606 174830 3574097 53.06 21.56 -- 3344.71/837.29 c N dy 11908 1791215 1086 2521 75311 97649 174876 5018285 85.90 21.63 -- 3398.25/850.64 c N dy 12037 1811323 1086 2521 75313 61953 174876 1908641 112.64 21.65 -- 3434.21/859.62 c N dy 12170 1831386 1086 2521 75318 81222 174876 3884278 99.92 21.71 -- 3483.35/871.97 c N dy 12302 1851524 1086 2521 75318 100508 174876 5485013 72.24 21.76 -- 3528.10/883.15 c N dy 12433 1871676 1116 2521 76010 63512 174996 1868064 61.82 21.79 -- 3558.47/890.79 c N dy 12567 1891734 1116 2521 76012 82903 174996 3686632 94.71 21.84 -- 3621.21/906.49 c N dy 12699 1911772 1116 2521 76034 102295 174996 5628368 92.85 21.98 -- 3670.33/918.72 c N dy 12832 1931908 1148 2521 76722 63971 175132 2010086 56.08 22.05 -- 3699.50/926.07 c N dy 12963 1951965 1148 2521 76722 83156 175132 3404093 92.13 22.10 -- 3739.88/936.15 c N dy 13093 1971973 1148 2521 76722 102386 175132 5072005 117.38 22.14 -- 3793.79/949.67 c N dy 13224 1992043 1148 2521 76770 63095 175132 1824278 66.17 22.15 -- 3822.56/956.88 c N dy 13356 2012205 1148 2521 76781 82571 175132 3283584 61.28 22.17 -- 3870.50/968.84 c N dy 13488 2032247 1148 2521 76781 101875 175132 5098264 55.48 22.26 -- 3919.24/981.06 c N dy 13621 2052278 1148 2521 76781 61419 175132 1670689 75.81 22.33 -- 3944.81/987.45 c N dy 13754 2072419 1148 2521 76782 80513 175132 3145009 54.48 22.39 -- 3985.58/997.63 c N dy 13888 2092497 1148 2521 76782 99738 175132 5155414 94.62 22.49 -- 4043.49/1012.13 c N dy 14020 2112540 1148 2521 76782 118864 175132 6674934 54.14 22.51 -- 4073.06/1019.53 c N dy 14152 2132694 1148 2521 76782 77951 175132 3507896 127.34 22.59 -- 4122.99/1032.00 c N dy 14285 2152761 1148 2521 76782 97152 175132 5626841 79.31 22.72 -- 4204.50/1052.44 c N dy 14416 2172820 1148 2521 76782 116421 175132 7644213 119.70 22.81 -- 4248.45/1063.41 c N dy 14550 2192971 1148 2521 76782 74551 175132 2836648 107.77 22.90 -- 4279.21/1071.15 c S st 14667 2210792 1148 2521 76782 91500 175132 4099022 46.58 22.91 -- 4280.43/1071.44 c S st 14667 2211292 1148 2521 76782 91999 175132 4121886 46.58 22.91 -- 4280.43/1071.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 4280.43/1071.46 c Cache BProp: 0 Set: 0 BXProp: 3 T: 0.00 4298.38/1075.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 1085 BRemN: 735 CBin: 0 P: 60.1M T: 18.00 4298.38/1075.97 c Calc non-exist non-lernt bins v-fix: 0 done: 1148 time: 0.05 s 4298.38/1075.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4298.78/1076.09 c Subs w/ non-existent bins: 1 time: 0.48 s 4299.18/1076.16 c Replacing 4 vars Replaced 8888 lits Time: 0.28 s 4299.59/1076.25 c bin-w-bin subsume rem 47 bins time: 0.05 s 4307.57/1078.21 c subs with bin: 237 lits-rem: 80 v-fix: 0 time: 7.84 s 4307.57/1078.22 c Removed useless bin: 1 fixed: 0 bprops: 0.08M time: 0.02 s 4367.91/1093.35 c ORs : 89 avg-s: 2.0 cl-sh: 126 l-rem: 126 b-add: 1 v-rep: 0 cl-rem: 7 avg s: 3.0 T: 0.37 4394.68/1100.02 c Added 12 vars tried: 80000 time: 26.67 4396.26/1100.45 c ORs : 12 avg-s: 0.0 cl-sh: 38062 l-rem: 38062 b-add: 24 v-rep: 0 cl-rem: 25 avg s: 3.2 T: 28.37 4396.26/1100.49 c lits-rem: 728 cl-subs: 11804 v-elim: 1012 v-fix: 0 time: 88.97 s 4396.26/1100.49 c learnt bin added due to v-elim: 0 4396.26/1100.49 c vivif2 -- cl tried 2861 cl shrink 155 lits rem 155 time: 0.01 4396.66/1100.59 c vivif2 -- cl tried 79931 cl shrink 834 lits rem 1786 time: 0.37 4397.86/1100.81 c asymm cl-useful: 0/157/2706 lits-rem:0 time: 0.90 4397.86/1100.82 c calculated reachability. Time: 0.00 4397.86/1100.82 c N dy 14667 2211292 1154 2706 74723 79931 173385 3224670 46.58 22.91 -- 4434.61/1110.09 c N dy 14800 2231396 1154 2706 74869 99142 173385 5104912 110.24 22.91 -- 4487.74/1123.33 c N dy 14932 2251404 1154 2706 74898 118443 173385 7022360 86.67 22.96 -- 4520.91/1131.68 c N dy 15065 2271487 1154 2706 74941 75653 173385 2863430 101.34 22.97 -- 4557.67/1140.84 c N dy 15198 2291584 1156 2706 75603 95120 173393 4619108 90.92 22.98 -- 4614.80/1155.13 c N dy 15329 2311728 1156 2706 75603 114513 173393 6171281 108.41 22.99 -- 4665.95/1167.92 c N dy 15462 2331737 1157 2706 75657 70549 173397 2447759 103.64 23.04 -- 4702.32/1177.04 c N dy 15595 2351795 1157 2706 75657 90033 173397 4681202 126.73 23.13 -- 4765.03/1192.73 c N dy 15727 2371845 1157 2706 75657 109436 173397 6661275 98.75 23.20 --
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-3266949-1304183831/watcher-3266949-1304183831 -o /tmp/evaluation-result-3266949-1304183831/solver-3266949-1304183831 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3266949-1304183831.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.48 4.19 5.64 3/174 6542 /proc/meminfo: memFree=24800648/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=50976 CPUtime=0 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 923 0 0 0 0 0 0 0 24 0 1 0 608613912 52199424 859 33554432000 4194304 4797429 140734788443232 18446744073709551615 215988289291 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/6542/statm: 12744 864 347 148 0 7673 0 [startup+0.0145539 s] /proc/loadavg: 3.48 4.19 5.64 3/174 6542 /proc/meminfo: memFree=24800648/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=51768 CPUtime=0.01 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 1173 0 0 0 1 0 0 0 24 0 1 0 608613912 53010432 1109 33554432000 4194304 4797429 140734788443232 18446744073709551615 4666395 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/6542/statm: 12942 1111 348 148 0 7871 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 51768 [startup+0.109879 s] /proc/loadavg: 3.48 4.19 5.64 3/174 6542 /proc/meminfo: memFree=24800648/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=678456 CPUtime=0.25 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 3490 0 0 0 25 0 0 0 25 0 4 0 608613912 694738944 3407 33554432000 4194304 4797429 140734788443232 18446744073709551615 4432081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 169614 3407 399 148 0 164543 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 678456 [startup+0.300457 s] /proc/loadavg: 3.48 4.19 5.64 3/174 6542 /proc/meminfo: memFree=24800648/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=679256 CPUtime=1.02 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 5070 0 0 0 101 1 0 0 25 0 4 0 608613912 695558144 4979 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424696 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 169814 4979 409 148 0 164743 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 679256 [startup+0.700388 s] /proc/loadavg: 3.48 4.19 5.64 3/174 6542 /proc/meminfo: memFree=24800648/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=680064 CPUtime=2.62 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 6418 0 0 0 261 1 0 0 25 0 4 0 608613912 696385536 6321 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 170016 6321 411 148 0 164945 0 Current children cumulated CPU time (s) 2.62 Current children cumulated vsize (KiB) 680064 [startup+1.50025 s] /proc/loadavg: 3.48 4.19 5.64 9/184 6555 /proc/meminfo: memFree=24714512/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=685620 CPUtime=5.81 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 9695 0 0 0 579 2 0 0 25 0 4 0 608613912 702074880 7620 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 171405 7622 415 148 0 166334 0 [pid=6542/tid=6545] ppid=6540 vsize=685620 CPUtime=1.43 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 1763 0 0 0 143 0 0 0 25 0 4 0 608613917 702074880 7622 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=685620 CPUtime=1.44 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 1915 0 0 0 144 0 0 0 25 0 4 0 608613917 702074880 7622 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=685620 CPUtime=1.43 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 1891 0 0 0 143 0 0 0 25 0 4 0 608613917 702074880 7622 33554432000 4194304 4797429 140734788443232 18446744073709551615 215988289291 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.81 Current children cumulated vsize (KiB) 685620 [startup+3.10097 s] /proc/loadavg: 3.48 4.19 5.64 9/184 6555 /proc/meminfo: memFree=24701496/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=689708 CPUtime=12.21 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 13899 0 0 0 1218 3 0 0 25 0 4 0 608613912 706260992 10592 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 172427 10592 415 148 0 167356 0 [pid=6542/tid=6545] ppid=6540 vsize=689708 CPUtime=3.02 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 2593 0 0 0 302 0 0 0 25 0 4 0 608613917 706260992 10592 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=689708 CPUtime=3.04 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 2773 0 0 0 304 0 0 0 25 0 4 0 608613917 706260992 10592 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=689708 CPUtime=3.03 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 2805 0 0 0 303 0 0 0 25 0 4 0 608613917 706260992 10592 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.21 Current children cumulated vsize (KiB) 689708 [startup+6.30041 s] /proc/loadavg: 3.84 4.25 5.65 9/184 6555 /proc/meminfo: memFree=24672240/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=691320 CPUtime=24.99 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 16877 0 0 0 2495 4 0 0 25 0 4 0 608613912 707911680 10652 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524497 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 172830 10652 416 148 0 167759 0 [pid=6542/tid=6545] ppid=6540 vsize=691320 CPUtime=6.21 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 3119 0 0 0 621 0 0 0 25 0 4 0 608613917 707911680 10652 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=691320 CPUtime=6.23 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 3283 0 0 0 623 0 0 0 25 0 4 0 608613917 707911680 10652 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=691320 CPUtime=6.23 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 3310 0 0 0 623 0 0 0 25 0 4 0 608613917 707911680 10652 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.99 Current children cumulated vsize (KiB) 691320 [startup+12.7003 s] /proc/loadavg: 4.18 4.31 5.66 9/184 6555 /proc/meminfo: memFree=24655056/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=692944 CPUtime=50.56 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 20120 0 0 0 5052 4 0 0 25 0 4 0 608613912 709574656 12908 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524484 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 173236 12908 418 148 0 168165 0 [pid=6542/tid=6545] ppid=6540 vsize=692944 CPUtime=12.58 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 3539 0 0 0 1258 0 0 0 25 0 4 0 608613917 709574656 12908 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=692944 CPUtime=12.63 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 3628 0 0 0 1263 0 0 0 25 0 4 0 608613917 709574656 12908 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=692944 CPUtime=12.64 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 3659 0 0 0 1263 1 0 0 25 0 4 0 608613917 709574656 12908 33554432000 4194304 4797429 140734788443232 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.56 Current children cumulated vsize (KiB) 692944 [startup+25.5011 s] /proc/loadavg: 5.02 4.49 5.70 9/184 6555 /proc/meminfo: memFree=24641600/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=695908 CPUtime=101.7 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 25933 0 0 0 10164 6 0 0 25 0 4 0 608613912 712609792 15146 33554432000 4194304 4797429 140734788443232 18446744073709551615 4495544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 173977 15146 419 148 0 168906 0 [pid=6542/tid=6545] ppid=6540 vsize=695908 CPUtime=25.32 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 4575 0 0 0 2531 1 0 0 25 0 4 0 608613917 712609792 15146 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=695908 CPUtime=25.43 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 4166 0 0 0 2543 0 0 0 25 0 4 0 608613917 712609792 15146 33554432000 4194304 4797429 140734788443232 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=695908 CPUtime=25.44 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 4648 0 0 0 2543 1 0 0 25 0 4 0 608613917 712609792 15146 33554432000 4194304 4797429 140734788443232 18446744073709551615 4428777 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 695908 [startup+51.1006 s] /proc/loadavg: 6.11 4.79 5.76 9/184 6556 /proc/meminfo: memFree=24614352/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=699272 CPUtime=203.98 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 37302 0 0 0 20390 8 0 0 25 0 4 0 608613912 716054528 17370 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524484 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 174818 17370 419 148 0 169747 0 [pid=6542/tid=6545] ppid=6540 vsize=699272 CPUtime=50.81 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 5201 0 0 0 5080 1 0 0 25 0 4 0 608613917 716054528 17370 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=699272 CPUtime=51.03 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 5298 0 0 0 5103 0 0 0 25 0 4 0 608613917 716054528 17370 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=699272 CPUtime=51.04 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 5307 0 0 0 5103 1 0 0 25 0 4 0 608613917 716054528 17370 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.98 Current children cumulated vsize (KiB) 699272 [startup+102.307 s] /proc/loadavg: 7.25 5.30 5.88 9/184 6557 /proc/meminfo: memFree=24570660/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=704508 CPUtime=408.56 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 61763 0 0 0 40840 16 0 0 25 0 4 0 608613912 721416192 20385 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 176127 20385 419 148 0 171056 0 [pid=6542/tid=6545] ppid=6540 vsize=704508 CPUtime=101.77 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 6724 0 0 0 10176 1 0 0 25 0 4 0 608613917 721416192 20385 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=704508 CPUtime=102.24 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 7451 0 0 0 10223 1 0 0 25 0 4 0 608613917 721416192 20385 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524442 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=704508 CPUtime=102.25 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 7090 0 0 0 10223 2 0 0 25 0 4 0 608613917 721416192 20385 33554432000 4194304 4797429 140734788443232 18446744073709551615 4428600 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.56 Current children cumulated vsize (KiB) 704508 [startup+162.301 s] /proc/loadavg: 7.90 5.83 6.03 9/184 6559 /proc/meminfo: memFree=24540612/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=708996 CPUtime=648.26 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 86448 0 0 0 64804 22 0 0 25 0 4 0 608613912 726011904 23321 33554432000 4194304 4797429 140734788443232 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 177249 23321 424 148 0 172178 0 [pid=6542/tid=6545] ppid=6540 vsize=708996 CPUtime=161.5 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 8898 0 0 0 16148 2 0 0 25 0 4 0 608613917 726011904 23321 33554432000 4194304 4797429 140734788443232 18446744073709551615 4430115 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=708996 CPUtime=162.24 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 8733 0 0 0 16222 2 0 0 25 0 4 0 608613917 726011904 23321 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=708996 CPUtime=162.24 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 8502 0 0 0 16221 3 0 0 25 0 4 0 608613917 726011904 23321 33554432000 4194304 4797429 140734788443232 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 648.26 Current children cumulated vsize (KiB) 708996 [startup+222.301 s] /proc/loadavg: 8.10 6.26 6.16 9/184 6560 /proc/meminfo: memFree=24532276/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=712288 CPUtime=887.98 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 109485 0 0 0 88770 28 0 0 25 0 4 0 608613912 729382912 24155 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 178072 24155 421 148 0 173001 0 [pid=6542/tid=6545] ppid=6540 vsize=712288 CPUtime=221.22 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 10390 0 0 0 22120 2 0 0 25 0 4 0 608613917 729382912 24155 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=712288 CPUtime=222.24 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 10888 0 0 0 22221 3 0 0 25 0 4 0 608613917 729382912 24155 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=712288 CPUtime=222.24 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 9958 0 0 0 22221 3 0 0 25 0 4 0 608613917 729382912 24155 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 887.98 Current children cumulated vsize (KiB) 712288 [startup+282.301 s] ################ # More data... # ################ [pid=6542] ppid=6540 vsize=731176 CPUtime=2805.76 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 248547 0 0 0 280503 73 0 0 25 0 4 0 608613912 748724224 41034 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 182794 41034 421 148 0 177723 0 [pid=6542/tid=6545] ppid=6540 vsize=731176 CPUtime=699.02 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 22334 0 0 0 69896 6 0 0 25 0 4 0 608613917 748724224 41034 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=731176 CPUtime=702.24 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 22612 0 0 0 70218 6 0 0 25 0 4 0 608613917 748724224 41034 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=731176 CPUtime=702.25 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 20868 0 0 0 70219 6 0 0 25 0 4 0 608613917 748724224 41034 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.76 Current children cumulated vsize (KiB) 731176 [startup+762.306 s] /proc/loadavg: 8.12 7.81 7.00 9/184 6575 /proc/meminfo: memFree=24343740/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=731312 CPUtime=3045.48 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 262079 0 0 0 304472 76 0 0 25 0 4 0 608613912 748863488 46887 33554432000 4194304 4797429 140734788443232 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 182828 46887 421 148 0 177757 0 [pid=6542/tid=6545] ppid=6540 vsize=731312 CPUtime=758.73 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 23412 0 0 0 75867 6 0 0 25 0 4 0 608613917 748863488 46887 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=731312 CPUtime=762.25 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 23723 0 0 0 76218 7 0 0 25 0 4 0 608613917 748863488 46887 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=731312 CPUtime=762.26 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 22800 0 0 0 76219 7 0 0 25 0 4 0 608613917 748863488 46887 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3045.48 Current children cumulated vsize (KiB) 731312 [startup+822.301 s] /proc/loadavg: 8.11 7.87 7.07 9/184 6576 /proc/meminfo: memFree=24364688/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=734016 CPUtime=3285.18 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 273046 0 0 0 328437 81 0 0 25 0 4 0 608613912 751632384 45522 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424452 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 183504 45522 421 148 0 178433 0 [pid=6542/tid=6545] ppid=6540 vsize=734016 CPUtime=818.45 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 25004 0 0 0 81838 7 0 0 25 0 4 0 608613917 751632384 45522 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=734016 CPUtime=822.24 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 25614 0 0 0 82217 7 0 0 25 0 4 0 608613917 751632384 45522 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=734016 CPUtime=822.25 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 24384 0 0 0 82218 7 0 0 25 0 4 0 608613917 751632384 45522 33554432000 4194304 4797429 140734788443232 18446744073709551615 4430000 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3285.18 Current children cumulated vsize (KiB) 734016 [startup+882.301 s] /proc/loadavg: 8.07 7.90 7.13 9/184 6578 /proc/meminfo: memFree=24332420/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=734172 CPUtime=3524.9 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 288727 0 0 0 352402 88 0 0 25 0 4 0 608613912 751792128 44725 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 183543 44725 421 148 0 178472 0 [pid=6542/tid=6545] ppid=6540 vsize=734172 CPUtime=878.18 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 26545 0 0 0 87810 8 0 0 25 0 4 0 608613917 751792128 44725 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=734172 CPUtime=882.24 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 27332 0 0 0 88217 7 0 0 25 0 4 0 608613917 751792128 44725 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=734172 CPUtime=882.26 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 25330 0 0 0 88218 8 0 0 25 0 4 0 608613917 751792128 44725 33554432000 4194304 4797429 140734788443232 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3524.9 Current children cumulated vsize (KiB) 734172 [startup+942.301 s] /proc/loadavg: 8.06 7.93 7.19 9/184 6580 /proc/meminfo: memFree=24320752/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=735844 CPUtime=3764.63 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 303743 0 0 0 376369 94 0 0 25 0 4 0 608613912 753504256 50752 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 183961 50752 421 148 0 178890 0 [pid=6542/tid=6545] ppid=6540 vsize=735844 CPUtime=937.91 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 27518 0 0 0 93782 9 0 0 25 0 4 0 608613917 753504256 50752 33554432000 4194304 4797429 140734788443232 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=735844 CPUtime=942.25 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 28302 0 0 0 94217 8 0 0 25 0 4 0 608613917 753504256 50752 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=735844 CPUtime=942.26 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 26966 0 0 0 94218 8 0 0 25 0 4 0 608613917 753504256 50752 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3764.63 Current children cumulated vsize (KiB) 735844 [startup+1002.3 s] /proc/loadavg: 8.09 7.96 7.24 9/184 6581 /proc/meminfo: memFree=24322228/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=736996 CPUtime=4004.34 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 321561 0 0 0 400333 101 0 0 25 0 4 0 608613912 754683904 51585 33554432000 4194304 4797429 140734788443232 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 184249 51585 421 148 0 179178 0 [pid=6542/tid=6545] ppid=6540 vsize=736996 CPUtime=997.62 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 29007 0 0 0 99752 10 0 0 25 0 4 0 608613917 754683904 51585 33554432000 4194304 4797429 140734788443232 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=736996 CPUtime=1002.25 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 29854 0 0 0 100217 8 0 0 25 0 4 0 608613917 754683904 51585 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=736996 CPUtime=1002.25 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 27923 0 0 0 100217 8 0 0 25 0 4 0 608613917 754683904 51585 33554432000 4194304 4797429 140734788443232 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4004.34 Current children cumulated vsize (KiB) 736996 [startup+1062.3 s] /proc/loadavg: 8.10 7.98 7.29 9/184 6583 /proc/meminfo: memFree=24293948/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=738536 CPUtime=4244.06 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 338139 0 0 0 424299 107 0 0 25 0 4 0 608613912 756260864 50656 33554432000 4194304 4797429 140734788443232 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 184634 50656 421 148 0 179563 0 [pid=6542/tid=6545] ppid=6540 vsize=738536 CPUtime=1057.34 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 29978 0 0 0 105723 11 0 0 25 0 4 0 608613917 756260864 50656 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=738536 CPUtime=1062.25 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 30777 0 0 0 106217 8 0 0 25 0 4 0 608613917 756260864 50656 33554432000 4194304 4797429 140734788443232 18446744073709551615 4524394 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=738536 CPUtime=1062.26 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 29562 0 0 0 106217 9 0 0 25 0 4 0 608613917 756260864 50656 33554432000 4194304 4797429 140734788443232 18446744073709551615 4427280 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4244.06 Current children cumulated vsize (KiB) 738536 [startup+1122.3 s] /proc/loadavg: 8.04 7.98 7.33 9/184 6584 /proc/meminfo: memFree=24289844/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=738648 CPUtime=4483.75 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 348748 0 0 0 448264 111 0 0 25 0 4 0 608613912 756375552 55244 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 184662 55244 421 148 0 179591 0 [pid=6542/tid=6545] ppid=6540 vsize=738648 CPUtime=1117.04 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 31423 0 0 0 111693 11 0 0 25 0 4 0 608613917 756375552 55244 33554432000 4194304 4797429 140734788443232 18446744073709551615 4519880 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=738648 CPUtime=1122.25 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 32264 0 0 0 112216 9 0 0 25 0 4 0 608613917 756375552 55244 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=738648 CPUtime=1122.26 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 31087 0 0 0 112216 10 0 0 25 0 4 0 608613917 756375552 55244 33554432000 4194304 4797429 140734788443232 18446744073709551615 4430000 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4483.75 Current children cumulated vsize (KiB) 738648 [startup+1182.3 s] /proc/loadavg: 8.07 8.00 7.38 9/184 6586 /proc/meminfo: memFree=24251892/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=739892 CPUtime=4723.48 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 366840 0 0 0 472231 117 0 0 25 0 4 0 608613912 757649408 54518 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 184973 54518 421 148 0 179902 0 [pid=6542/tid=6545] ppid=6540 vsize=739892 CPUtime=1176.78 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 32890 0 0 0 117666 12 0 0 25 0 4 0 608613917 757649408 54518 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=739892 CPUtime=1182.25 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 33128 0 0 0 118216 9 0 0 25 0 4 0 608613917 757649408 54518 33554432000 4194304 4797429 140734788443232 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=739892 CPUtime=1182.27 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 31944 0 0 0 118216 11 0 0 25 0 4 0 608613917 757649408 54518 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520233 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4723.48 Current children cumulated vsize (KiB) 739892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.5 s] /proc/loadavg: 8.05 8.00 7.39 9/184 6587 /proc/meminfo: memFree=24274824/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=739888 CPUtime=4800.2 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 370725 0 0 0 479902 118 0 0 25 0 4 0 608613912 757645312 56345 33554432000 4194304 4797429 140734788443232 18446744073709551615 215988289222 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 184972 56345 421 148 0 179901 0 [pid=6542/tid=6545] ppid=6540 vsize=739888 CPUtime=1195.89 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 33175 0 0 0 119577 12 0 0 25 0 4 0 608613917 757645312 56345 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=739888 CPUtime=1201.45 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 34109 0 0 0 120136 9 0 0 25 0 4 0 608613917 757645312 56345 33554432000 4194304 4797429 140734788443232 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=739888 CPUtime=1201.47 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 32169 0 0 0 120136 11 0 0 25 0 4 0 608613917 757645312 56345 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.2 Current children cumulated vsize (KiB) 739888 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.5 s] /proc/loadavg: 8.05 8.00 7.39 9/184 6587 /proc/meminfo: memFree=24274824/32950940 swapFree=67111364/67111528 [pid=6542] ppid=6540 vsize=739888 CPUtime=4800.2 cores=0,2,4,6 /proc/6542/stat : 6542 (techdemo) R 6540 6542 5713 0 -1 4202496 370725 0 0 0 479902 118 0 0 25 0 4 0 608613912 757645312 56345 33554432000 4194304 4797429 140734788443232 18446744073709551615 215988289222 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/6542/statm: 184972 56345 421 148 0 179901 0 [pid=6542/tid=6545] ppid=6540 vsize=739888 CPUtime=1195.89 cores=0,2,4,6 /proc/6542/task/6545/stat : 6545 (techdemo) R 6540 6542 5713 0 -1 4202560 33175 0 0 0 119577 12 0 0 25 0 4 0 608613917 757645312 56345 33554432000 4194304 4797429 140734788443232 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=6542/tid=6546] ppid=6540 vsize=739888 CPUtime=1201.45 cores=0,2,4,6 /proc/6542/task/6546/stat : 6546 (techdemo) R 6540 6542 5713 0 -1 4202560 34109 0 0 0 120136 9 0 0 25 0 4 0 608613917 757645312 56345 33554432000 4194304 4797429 140734788443232 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=6542/tid=6547] ppid=6540 vsize=739888 CPUtime=1201.47 cores=0,2,4,6 /proc/6542/task/6547/stat : 6547 (techdemo) R 6540 6542 5713 0 -1 4202560 32169 0 0 0 120136 11 0 0 25 0 4 0 608613917 757645312 56345 33554432000 4194304 4797429 140734788443232 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.2 Current children cumulated vsize (KiB) 739888 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.52 CPU time (s): 4800.25 CPU user time (s): 4799.05 CPU system time (s): 1.19882 CPU usage (%): 399.514 Max. virtual memory (cumulated for all children) (KiB): 839256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4799.05 system time used= 1.19882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 370726 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= 268 involuntary context switches= 35040 runsolver used 1.66875 second user time and 3.9294 second system time The end
Begin job on node117 at 2011-04-30 19:17:11 IDJOB=3266949 IDBENCH=88224 IDSOLVER=1584 FILE ID=node117/3266949-1304183831 RUNJOBID= node117-1304183831-6528 PBS_JOBID= 13172440 Free space on /tmp= 72632 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266949-1304183831/watcher-3266949-1304183831 -o /tmp/evaluation-result-3266949-1304183831/solver-3266949-1304183831 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3266949-1304183831.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0906ad3a7678a4284d484fb4b8c72f61 RANDOM SEED=1411633217 node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 24800936 kB Buffers: 1897932 kB Cached: 5621776 kB SwapCached: 160 kB Active: 1070792 kB Inactive: 6516208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 24800936 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 10164 kB Writeback: 0 kB AnonPages: 66620 kB Mapped: 14492 kB Slab: 500228 kB PageTables: 4304 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 190076 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= 72612 MiB End job on node117 at 2011-04-30 19:37:15