| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.45 | 1201.72 |
| Name | SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf |
| MD5SUM | c06088cac8521bfe72bbb4c9ad8d39fb |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 780 |
| Number of clauses | 66810 |
| Sum of the clauses size | 134348 |
| Maximum clause length | 30 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 66784 |
| 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 | 26 |
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-3262901-1304136376.cnf' 0.00/0.00 c -- header says num vars: 780 0.00/0.00 c -- header says num clauses: 66810 0.03/0.06 c -- clauses added: 0 learnts, 66810 normals, 0 xors 0.03/0.06 c -- vars added 780 0.03/0.06 c Parsing time: 0.05 s 0.03/0.06 c N st 0 0 780 26 66784 0 134348 0 no data no data -- 0.03/0.06 c asymm cl-useful: 0/26/26 lits-rem:0 time: 0.00 0.03/0.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.4M T: 0.10 0.03/0.09 c Calc non-exist non-lernt bins v-fix: 0 done: 780 time: 0.03 s 0.03/0.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.03/0.09 c Subs w/ non-existent bins: 0 time: 0.00 s 0.19/0.11 c bin-w-bin subsume rem 0 bins time: 0.05 s 0.19/0.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 0.19/0.12 c Removed useless bin: 0 fixed: 0 bprops: 0.27M time: 0.03 s 0.19/0.14 c lits-rem: 644 cl-subs: 0 v-elim: 494 v-fix: 0 time: 0.08 s 0.19/0.14 c learnt bin added due to v-elim: 0 0.19/0.14 c Finding binary XORs T: 0.00 s found: 0 0.19/0.15 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.19/0.15 c calculated reachability. Time: 0.00 0.19/0.15 c Calc default polars - time: 0.00 s pos: 390 undec: 26 neg: 364 0.19/0.15 c ========================================================================================= 0.19/0.15 c types(t): F = full restart, N = normal restart 0.19/0.15 c types(t): S = simplification begin/end, E = solution found 0.19/0.15 c restart types(rt): st = static, dy = dynamic 0.19/0.15 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.19/0.15 c B st 0 0 754 1613 64417 0 185680 0 no data no data -- 1.39/0.41 c Decided on static restart strategy 3.00/0.82 c N dy 20 4060 754 1613 64417 3887 185680 376441 85.69 18.14 -- 6.19/1.62 c N dy 48 8095 754 1613 64419 5360 185680 460907 112.48 16.92 -- 9.38/2.45 c N dy 77 12208 754 1613 64419 5220 185680 260065 31.82 16.24 -- 12.18/3.16 c N dy 105 16255 754 1613 64419 9033 185680 507264 133.83 16.47 -- 15.77/4.00 c N dy 134 20398 754 1613 64421 7633 185680 394903 45.45 15.72 -- 18.97/4.83 c N dy 162 24467 754 1613 64422 11506 185680 717643 59.48 15.33 -- 21.79/5.52 c N dy 190 28472 754 1613 64423 8855 185680 499988 79.09 15.14 -- 23.36/5.90 c S st 201 30000 754 1613 64423 10275 185680 659264 114.32 14.99 -- 23.36/5.99 c S st 201 30501 754 1613 64423 10773 185680 691330 114.32 14.99 -- 23.36/5.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 23.36/5.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.36/7.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 2 BRemL: 0 BRemN: 0 CBin: 0 P: 17.2M T: 5.99 29.76/7.50 c Calc non-exist non-lernt bins v-fix: 0 done: 754 time: 0.03 s 29.76/7.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.76/7.51 c Subs w/ non-existent bins: 0 time: 0.04 s 29.76/7.54 c bin-w-bin subsume rem 0 bins time: 0.04 s 34.97/8.89 c subs with bin: 28 lits-rem: 1162 v-fix: 0 time: 5.41 s 35.35/8.90 c Removed useless bin: 0 fixed: 0 bprops: 0.26M time: 0.03 s 44.14/11.19 c lits-rem: 1390 cl-subs: 1362 v-elim: 754 v-fix: 0 time: 9.15 s 44.14/11.19 c learnt bin added due to v-elim: 0 44.14/11.19 c vivif2 -- cl tried 1613 cl shrink 1107 lits rem 10443 time: 0.01 44.54/11.20 c vivif2 -- cl tried 9383 cl shrink 81 lits rem 81 time: 0.04 45.74/11.56 c asymm cl-useful: 108/548/1613 lits-rem:108 time: 1.42 45.74/11.56 c calculated reachability. Time: 0.00 45.74/11.56 c N dy 201 30501 754 1613 64425 9383 172678 580742 114.32 14.99 -- 45.74/11.56 c F st 201 30501 754 1613 64425 9383 172678 580742 114.32 14.99 -- 47.75/12.04 c Decided on static restart strategy 52.14/13.13 c N dy 220 34561 754 1613 64426 13194 172678 1157515 198.46 14.92 -- 57.72/14.53 c N dy 248 38669 754 1613 64430 9598 172678 577572 32.98 15.18 -- 61.33/15.48 c N dy 275 42683 754 1613 64431 13367 172678 710003 34.51 15.16 -- 64.91/16.39 c S st 295 45751 754 1613 64432 16253 172678 811429 37.16 15.11 -- 65.32/16.47 c S st 295 46251 754 1613 64432 16751 172678 854277 37.16 15.11 -- 65.32/16.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 65.32/16.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 73.70/18.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 27.6M T: 8.15 73.70/18.52 c Calc non-exist non-lernt bins v-fix: 0 done: 753 time: 0.03 s 73.70/18.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 73.70/18.54 c Subs w/ non-existent bins: 0 time: 0.07 s 73.70/18.57 c bin-w-bin subsume rem 0 bins time: 0.05 s 79.28/19.95 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 5.52 s 79.28/19.96 c Removed useless bin: 0 fixed: 0 bprops: 0.26M time: 0.03 s 92.87/23.33 c lits-rem: 5493 cl-subs: 1826 v-elim: 753 v-fix: 0 time: 13.46 s 92.87/23.33 c learnt bin added due to v-elim: 0 92.87/23.33 c vivif2 -- cl tried 1613 cl shrink 4 lits rem 4 time: 0.00 92.87/23.35 c vivif2 -- cl tried 14903 cl shrink 995 lits rem 1057 time: 0.08 94.07/23.69 c asymm cl-useful: 0/322/1613 lits-rem:0 time: 1.35 94.07/23.69 c calculated reachability. Time: 0.00 94.07/23.69 c N dy 295 46251 753 1613 64134 14903 171958 751836 37.16 15.11 -- 98.06/24.63 c N dy 322 50275 753 1613 64137 10297 171958 498673 30.60 14.79 -- 100.89/25.36 c N dy 350 54303 753 1613 64137 14119 171958 809750 124.36 14.84 -- 106.85/26.84 c N dy 378 58391 753 1613 64138 18041 171958 1192608 69.01 15.19 -- 110.45/27.74 c N dy 406 62430 753 1613 64139 12443 171958 580476 44.63 15.03 -- 113.24/28.47 c N dy 435 66533 753 1613 64139 16320 171958 880203 122.21 15.30 -- 116.04/29.15 c S st 455 69379 753 1613 64139 19058 171958 1062958 47.91 15.22 -- 116.44/29.29 c S st 455 69885 753 1613 64139 19561 171958 1104939 47.91 15.22 -- 116.44/29.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 116.44/29.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 133.22/33.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 2 BRemL: 0 BRemN: 0 CBin: 0 P: 53.7M T: 16.45 133.22/33.42 c Calc non-exist non-lernt bins v-fix: 0 done: 753 time: 0.03 s 133.22/33.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 133.22/33.44 c Subs w/ non-existent bins: 0 time: 0.08 s 133.22/33.47 c bin-w-bin subsume rem 0 bins time: 0.05 s 138.82/34.85 c subs with bin: 123 lits-rem: 320 v-fix: 0 time: 5.50 s 138.82/34.85 c Removed useless bin: 0 fixed: 0 bprops: 0.26M time: 0.03 s 147.20/36.91 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 159.59/40.08 c Added 8 vars tried: 80000 time: 12.64 159.99/40.16 c ORs : 8 avg-s: 0.0 cl-sh: 13803 l-rem: 13803 b-add: 16 v-rep: 0 cl-rem: 0 avg s: nan T: 12.97 159.99/40.17 c lits-rem: 1405 cl-subs: 1774 v-elim: 753 v-fix: 0 time: 21.24 s 159.99/40.17 c learnt bin added due to v-elim: 0 159.99/40.17 c vivif2 -- cl tried 1621 cl shrink 4 lits rem 4 time: 0.00 159.99/40.19 c vivif2 -- cl tried 17664 cl shrink 565 lits rem 620 time: 0.08 161.58/40.53 c asymm cl-useful: 0/298/1621 lits-rem:0 time: 1.34 161.58/40.53 c calculated reachability. Time: 0.00 161.58/40.53 c N dy 455 69885 761 1621 64158 17663 171643 961726 47.91 15.22 -- 161.58/40.53 c F st 455 69885 761 1621 64158 17663 171643 961726 47.91 15.22 -- 163.98/41.10 c Decided on static restart strategy 165.98/41.66 c N dy 478 74372 761 1621 64160 11573 171643 521719 72.92 15.64 -- 169.57/42.56 c N dy 512 79193 761 1621 64162 16185 171643 893138 68.92 15.71 -- 173.97/43.68 c N dy 546 84278 761 1621 64162 20957 171643 1018677 25.17 15.42 -- 178.36/44.78 c N dy 583 89795 761 1621 64164 14784 171643 530712 28.07 15.27 -- 183.15/45.99 c N dy 622 95528 761 1621 64165 20217 171643 905893 78.95 15.30 -- 190.34/47.78 c N dy 662 101633 761 1621 64168 13610 171643 478977 22.77 15.03 -- 193.16/48.42 c S st 683 104827 761 1621 64171 16535 171643 552214 26.55 14.93 -- 193.53/48.50 c S st 683 105330 761 1621 64171 17036 171643 590370 26.55 14.93 -- 193.53/48.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 193.53/48.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 201.55/50.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 878 BRemL: 15 BRemN: 0 CBin: 0 P: 37.1M T: 8.02 201.55/50.51 c Calc non-exist non-lernt bins v-fix: 0 done: 761 time: 0.04 s 201.55/50.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 201.55/50.53 c Subs w/ non-existent bins: 0 time: 0.07 s 201.55/50.55 c bin-w-bin subsume rem 1 bins time: 0.04 s 206.72/51.88 c subs with bin: 0 lits-rem: 410 v-fix: 0 time: 5.32 s 206.72/51.89 c Removed useless bin: 0 fixed: 0 bprops: 0.17M time: 0.02 s 217.51/54.50 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 0.06 217.51/54.51 c lits-rem: 3215 cl-subs: 4133 v-elim: 1127 v-fix: 0 time: 10.47 s 217.51/54.51 c learnt bin added due to v-elim: 0 217.51/54.51 c vivif2 -- cl tried 2313 cl shrink 417 lits rem 420 time: 0.00 217.51/54.53 c vivif2 -- cl tried 12903 cl shrink 1168 lits rem 1407 time: 0.07 218.71/54.81 c asymm cl-useful: 0/690/1902 lits-rem:0 time: 1.13 218.71/54.82 c calculated reachability. Time: 0.00 218.71/54.82 c N dy 683 105330 757 1902 64736 12903 171894 460253 26.55 14.93 -- 225.09/56.46 c N dy 729 112174 757 1902 64739 19372 171894 841762 78.20 14.91 -- 235.09/58.91 c N dy 778 119447 757 1902 64746 13170 171894 446485 16.90 14.73 -- 241.10/60.48 c N dy 830 127155 756 1902 64753 20490 171894 876921 94.71 14.60 -- 250.66/62.89 c N dy 887 135282 756 1902 64757 14142 171894 513760 91.26 14.70 -- 258.67/64.81 c N dy 948 143963 756 1902 64763 22438 171894 1117495 60.38 14.73 -- 269.84/67.65 c N dy 1013 153277 756 1902 64764 16174 171894 660958 95.92 14.81 -- 274.64/68.87 c S st 1046 157995 756 1902 64764 20709 171894 1042250 85.62 14.90 -- 275.44/69.01 c S st 1046 158497 756 1902 64764 21209 171894 1068125 85.62 14.90 -- 275.44/69.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 275.44/69.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 293.42/73.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 2 BRemL: 0 BRemN: 412 CBin: 0 P: 60.0M T: 18.20 293.42/73.58 c Calc non-exist non-lernt bins v-fix: 0 done: 756 time: 0.04 s 293.42/73.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 293.42/73.60 c Subs w/ non-existent bins: 0 time: 0.08 s 293.83/73.66 c bin-w-bin subsume rem 405 bins time: 0.04 s 299.40/75.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.63 s 299.40/75.07 c Removed useless bin: 0 fixed: 0 bprops: 0.19M time: 0.02 s 303.80/76.19 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 304.20/76.21 c lits-rem: 1849 cl-subs: 1224 v-elim: 746 v-fix: 0 time: 4.55 s 304.20/76.21 c learnt bin added due to v-elim: 0 304.20/76.21 c vivif2 -- cl tried 1885 cl shrink 5 lits rem 5 time: 0.00 304.20/76.22 c vivif2 -- cl tried 14013 cl shrink 165 lits rem 166 time: 0.06 305.80/76.63 c asymm cl-useful: 1/413/1885 lits-rem:1 time: 1.63 305.80/76.63 c calculated reachability. Time: 0.00 305.80/76.63 c N dy 1046 158497 756 1885 63671 14013 170273 877034 85.62 14.90 -- 319.78/80.13 c N dy 1116 168654 756 1885 63677 23512 170273 1428313 48.83 14.81 -- 332.96/83.44 c N dy 1191 179493 756 1885 63683 17845 170273 818078 49.75 14.81 -- 347.74/87.14 c N dy 1271 191067 756 1885 63684 28841 170273 1702492 64.61 15.06 -- 364.13/91.21 c N dy 1356 203371 756 1885 63684 23498 170273 1129777 58.05 15.06 -- 382.90/95.98 c N dy 1446 216367 756 1885 63693 35910 170273 2090128 99.39 15.11 -- 396.88/99.45 c N dy 1542 230236 756 1885 63695 31022 170273 1530492 58.80 15.13 -- 407.67/102.18 c S st 1594 237747 788 1885 67504 20450 172993 765838 46.70 15.03 -- 408.08/102.28 c S st 1594 238250 788 1885 67505 20950 172993 799963 46.70 15.03 -- 408.08/102.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 408.08/102.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 421.67/105.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 656 BRemL: 291 BRemN: 336 CBin: 0 P: 60.0M T: 13.35 421.67/105.63 c Calc non-exist non-lernt bins v-fix: 0 done: 788 time: 0.04 s 421.67/105.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 421.67/105.66 c Subs w/ non-existent bins: 1302 time: 0.10 s 421.67/105.66 c Replacing 2 vars Replaced 882 lits Time: 0.04 s 421.67/105.69 c bin-w-bin subsume rem 1045 bins time: 0.04 s 427.24/107.09 c subs with bin: 199 lits-rem: 59 v-fix: 0 time: 5.58 s 427.24/107.09 c Removed useless bin: 697 fixed: 0 bprops: 0.11M time: 0.02 s 435.63/109.19 c ORs : 12 avg-s: 2.0 cl-sh: 40 l-rem: 40 b-add: 40 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 0.08 436.03/109.20 c lits-rem: 537 cl-subs: 1289 v-elim: 746 v-fix: 0 time: 8.43 s 436.03/109.20 c learnt bin added due to v-elim: 0 436.03/109.20 c vivif2 -- cl tried 1885 cl shrink 16 lits rem 16 time: 0.00 436.03/109.22 c vivif2 -- cl tried 18118 cl shrink 867 lits rem 1001 time: 0.09 437.23/109.50 c asymm cl-useful: 1/328/1885 lits-rem:1 time: 1.11 437.23/109.50 c calculated reachability. Time: 0.00 437.23/109.50 c N dy 1594 238250 786 1885 65838 18108 170897 761336 46.70 15.03 -- 450.41/112.80 c N dy 1699 253495 786 1885 65843 32464 170897 1476727 50.26 14.95 -- 466.79/116.99 c N dy 1812 269769 786 1885 65846 28241 170897 1396246 80.70 14.96 -- 495.15/124.09 c N dy 1931 287105 786 1885 65852 23786 170897 939719 46.73 15.04 -- 525.51/131.69 c N dy 2057 305539 786 1885 65855 41385 170897 2339970 74.27 15.24 -- 549.88/137.71 c N dy 2191 325082 786 1885 65860 38336 170901 1610173 71.97 15.17 -- 572.26/143.35 c N dy 2330 345168 786 1885 65869 34524 170901 1376296 100.03 15.11 -- 593.05/148.55 c S st 2415 357375 786 1885 65873 46159 170901 2164671 58.12 15.15 -- 594.23/148.81 c S st 2415 357876 786 1885 65873 46652 170901 2197307 58.12 15.15 -- 594.23/148.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 594.23/148.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 620.19/155.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 4 BRemL: 6 BRemN: 1484 CBin: 0 P: 60.1M T: 26.00 620.19/155.33 c Calc non-exist non-lernt bins v-fix: 0 done: 786 time: 0.04 s 620.19/155.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 620.19/155.38 c Subs w/ non-existent bins: 2 time: 0.19 s 620.59/155.43 c bin-w-bin subsume rem 51 bins time: 0.04 s 626.98/157.02 c subs with bin: 15 lits-rem: 0 v-fix: 0 time: 6.37 s 626.98/157.03 c Removed useless bin: 0 fixed: 0 bprops: 0.10M time: 0.01 s 644.16/161.31 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.08 644.16/161.34 c lits-rem: 1241 cl-subs: 5317 v-elim: 746 v-fix: 0 time: 17.23 s 644.16/161.34 c learnt bin added due to v-elim: 0 644.16/161.34 c vivif2 -- cl tried 1885 cl shrink 18 lits rem 19 time: 0.00 644.56/161.40 c vivif2 -- cl tried 41318 cl shrink 1885 lits rem 2129 time: 0.21 645.78/161.79 c asymm cl-useful: 1/94/1884 lits-rem:1 time: 1.58 646.15/161.80 c calculated reachability. Time: 0.00 646.15/161.80 c N dy 2415 357876 786 1884 64554 41101 167913 1928941 58.12 15.15 -- 676.14/169.35 c N dy 2552 378031 821 1884 68586 39372 171109 1561816 44.78 15.15 -- 705.69/176.74 c N dy 2691 398144 820 1884 68598 32444 171109 1055616 46.13 15.16 -- 728.87/182.53 c N dy 2830 418277 820 1884 68602 51596 171109 2196392 75.29 15.22 -- 754.02/188.85 c N dy 2970 438377 820 1884 68608 44344 171109 1808731 25.09 15.23 -- 779.18/195.15 c N dy 3109 458511 820 1884 68611 36543 171109 1351332 73.49 15.16 -- 808.37/202.42 c N dy 3246 478533 820 1884 69615 28201 171749 808615 30.44 15.13 -- 833.12/208.64 c N dy 3386 498610 820 1884 69617 47328 171749 1947916 76.31 15.11 -- 861.09/215.66 c N dy 3525 518678 820 1884 69625 37643 171749 1291922 46.23 15.10 -- 865.86/216.86 c Finding binary XORs T: 0.01 s found: 4 884.25/221.46 c S st 3649 536817 820 1884 69286 53215 171136 2075441 63.26 15.06 -- 885.05/221.62 c S st 3649 537321 820 1884 69286 53718 171136 2120292 63.26 15.06 -- 885.05/221.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 885.05/221.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 905.42/226.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 20 BRemL: 507 BRemN: 279 CBin: 0 P: 60.0M T: 20.58 905.42/226.79 c Calc non-exist non-lernt bins v-fix: 0 done: 820 time: 0.04 s 905.42/226.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 905.82/226.86 c Subs w/ non-existent bins: 1872 time: 0.26 s 905.82/226.88 c Replacing 4 vars Replaced 3068 lits Time: 0.09 s 906.22/226.93 c bin-w-bin subsume rem 1893 bins time: 0.05 s 912.21/228.48 c subs with bin: 9 lits-rem: 25 v-fix: 0 time: 6.22 s 912.21/228.49 c Removed useless bin: 497 fixed: 0 bprops: 0.10M time: 0.02 s 927.39/232.25 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.08 927.39/232.28 c lits-rem: 1164 cl-subs: 6381 v-elim: 744 v-fix: 0 time: 15.14 s 927.39/232.28 c learnt bin added due to v-elim: 0 927.39/232.28 c vivif2 -- cl tried 1884 cl shrink 31 lits rem 32 time: 0.00 927.79/232.34 c vivif2 -- cl tried 45456 cl shrink 1991 lits rem 2489 time: 0.24 928.99/232.67 c asymm cl-useful: 0/118/1884 lits-rem:0 time: 1.32 928.99/232.67 c calculated reachability. Time: 0.00 928.99/232.67 c N dy 3649 537321 816 1884 66149 45429 169540 1863689 63.26 15.06 -- 928.99/232.67 c F st 3649 537321 816 1884 66149 45429 169540 1863689 63.26 15.06 -- 932.18/233.45 c Decided on static restart strategy 955.34/239.29 c N dy 3780 557399 851 1884 70234 37631 172728 1316051 89.89 15.11 -- 979.34/245.22 c N dy 3919 577451 851 1884 70236 56536 172728 2090762 38.03 15.03 -- 1001.71/250.86 c N dy 4057 597501 851 1884 70240 44956 172728 1702331 61.87 15.03 -- 1042.44/261.08 c N dy 4194 617645 851 1884 71098 33179 173342 1026836 55.95 15.15 -- 1064.41/266.53 c N dy 4334 637764 851 1884 71105 52263 173342 1866486 39.89 15.10 -- 1091.18/273.26 c N dy 4473 657858 851 1884 71108 38847 173342 1381730 76.67 15.15 -- 1123.94/281.43 c N dy 4610 677931 851 1884 71110 57851 173342 2480238 46.15 15.15 -- 1159.91/290.43 c N dy 4748 697935 851 1884 71121 43628 173344 1779374 54.07 15.20 -- 1206.24/302.07 c N dy 4885 718036 851 1884 71125 62643 173344 2907129 63.19 15.22 -- 1239.79/310.45 c N dy 5023 738092 851 1884 71136 47375 173344 1802834 40.02 15.21 -- 1276.95/319.71 c N dy 5160 758143 851 1884 71149 66316 173344 2789645 45.93 15.18 -- 1310.10/328.09 c N dy 5298 778264 851 1884 71160 50367 173350 2036391 50.41 15.24 -- 1354.44/339.19 c N dy 5435 798295 851 1884 71167 69221 173350 3071362 76.93 15.24 -- 1368.02/342.58 c S st 5489 805984 851 1884 71168 40491 173350 1369439 71.59 15.25 -- 1368.82/342.72 c S st 5489 806488 851 1884 71168 40992 173350 1402832 71.59 15.25 -- 1368.82/342.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1368.82/342.73 c Cache BProp: 3 Set: 0 BXProp: 1 T: 0.00 1386.79/347.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bin: 9 BRemL: 302 BRemN: 2734 CBin: 0 P: 60.0M T: 17.95 1386.79/347.23 c Calc non-exist non-lernt bins v-fix: 0 done: 851 time: 0.04 s 1386.79/347.23 c Cache BProp: 3 Set: 0 BXProp: 0 T: 0.00 1386.79/347.28 c Subs w/ non-existent bins: 1827 time: 0.21 s 1387.19/347.32 c Replacing 4 vars Replaced 3874 lits Time: 0.14 s 1387.19/347.35 c bin-w-bin subsume rem 1660 bins time: 0.05 s 1393.19/348.88 c subs with bin: 482 lits-rem: 228 v-fix: 0 time: 6.07 s 1393.19/348.88 c Removed useless bin: 300 fixed: 0 bprops: 0.09M time: 0.02 s 1399.18/350.36 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 0.08 1408.36/352.62 c Added 9 vars tried: 80000 time: 9.00 1408.36/352.67 c ORs : 9 avg-s: 0.0 cl-sh: 11941 l-rem: 11941 b-add: 18 v-rep: 0 cl-rem: 14 avg s: 3.0 T: 9.23 1408.36/352.70 c lits-rem: 894 cl-subs: 2215 v-elim: 742 v-fix: 0 time: 15.25 s 1408.36/352.70 c learnt bin added due to v-elim: 0 1408.76/352.70 c vivif2 -- cl tried 1893 cl shrink 22 lits rem 22 time: 0.00 1408.76/352.74 c vivif2 -- cl tried 35580 cl shrink 1552 lits rem 1911 time: 0.17 1409.98/353.05 c asymm cl-useful: 1/194/1893 lits-rem:1 time: 1.22 1409.98/353.05 c calculated reachability. Time: 0.00 1409.98/353.05 c N dy 5489 806488 856 1893 66050 35566 166660 1287352 71.59 15.25 -- 1449.12/362.88 c N dy 5626 826526 856 1893 66064 54529 166660 2528882 41.47 15.28 -- 1505.85/377.05 c N dy 5762 846642 856 1893 66083 37535 166660 1242892 56.42 15.29 -- 1544.19/386.62 c N dy 5899 866656 856 1893 66103 56478 166660 2479213 61.60 15.32 -- 1605.31/401.97 c N dy 6033 886740 863 1893 67007 38002 166710 1223848 93.58 15.32 -- 1642.88/411.38 c N dy 6170 906755 863 1893 67022 56929 166710 2445617 45.40 15.36 -- 1689.21/422.99 c N dy 6306 926892 863 1893 67029 75937 166712 3336390 42.68 15.33 -- 1723.56/431.55 c N dy 6444 946967 863 1893 67566 57087 167058 2382699 74.38 15.39 -- 1786.29/447.28 c N dy 6579 967051 863 1893 67571 76082 167058 3582850 63.15 15.47 -- 1817.84/455.11 c N dy 6717 987194 899 1893 69942 56852 168420 2016615 58.25 15.46 -- 1858.61/465.36 c N dy 6853 1007224 899 1893 69944 75781 168420 3148688 45.24 15.49 -- 1873.77/469.10 c Finding binary XORs T: 0.00 s found: 7 1898.94/475.47 c N dy 6989 1027287 899 1893 69508 50720 167335 1840865 72.13 15.50 -- 1940.49/485.82 c N dy 7125 1047393 899 1893 70118 69823 167467 2948227 63.18 15.50 -- 1999.60/500.60 c N dy 7261 1067535 899 1893 70158 46843 167467 1571503 62.65 15.55 -- 2033.98/509.23 c N dy 7398 1087634 936 1893 72045 66839 168289 2657581 68.68 15.57 -- 2091.88/523.71 c N dy 7532 1107750 936 1893 72049 85735 168289 3779217 44.93 15.62 -- 2129.43/533.13 c N dy 7668 1127793 936 1893 72471 61532 168291 2318629 59.96 15.64 -- 2182.97/546.59 c N dy 7803 1147936 936 1893 72476 80464 168291 3409292 51.99 15.67 -- 2229.71/558.30 c N dy 7939 1167955 935 1893 72521 55569 168291 2051847 59.20 15.67 -- 2278.44/570.43 c N dy 8075 1188089 935 1893 72524 74499 168291 3177058 57.60 15.67 -- 2331.16/583.64 c N dy 8211 1208222 935 1893 72526 48929 168291 1477553 50.46 15.66 -- 2333.18/584.18 c S st 8222 1209735 935 1893 72526 50328 168291 1543136 46.12 15.66 -- 2333.96/584.34 c S st 8222 1210240 935 1893 72526 50831 168291 1576497 46.12 15.66 -- 2333.96/584.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2333.96/584.35 c Cache BProp: 4 Set: 0 BXProp: 0 T: 0.00 2350.35/588.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 1 BRemL: 1458 BRemN: 2935 CBin: 0 P: 60.0M T: 16.23 2350.35/588.42 c Calc non-exist non-lernt bins v-fix: 0 done: 935 time: 0.04 s 2350.35/588.42 c Cache BProp: 4 Set: 0 BXProp: 0 T: 0.00 2350.35/588.49 c Subs w/ non-existent bins: 1189 time: 0.28 s 2350.76/588.52 c Replacing 9 vars Replaced 916 lits Time: 0.10 s 2350.76/588.56 c bin-w-bin subsume rem 1114 bins time: 0.04 s 2356.73/590.07 c subs with bin: 156 lits-rem: 300 v-fix: 0 time: 6.03 s 2356.73/590.07 c Removed useless bin: 188 fixed: 0 bprops: 0.08M time: 0.02 s 2363.94/591.89 c ORs : 24 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.08 2370.71/593.53 c Added 10 vars tried: 80000 time: 6.56 2370.71/593.58 c ORs : 10 avg-s: 0.0 cl-sh: 10836 l-rem: 10836 b-add: 20 v-rep: 0 cl-rem: 18 avg s: 3.0 T: 6.73 2371.11/593.60 c lits-rem: 240 cl-subs: 6051 v-elim: 1228 v-fix: 0 time: 14.10 s 2371.11/593.60 c learnt bin added due to v-elim: 0 2371.11/593.60 c vivif2 -- cl tried 2726 cl shrink 453 lits rem 453 time: 0.01 2371.11/593.65 c vivif2 -- cl tried 41334 cl shrink 1040 lits rem 1250 time: 0.19 2372.32/593.94 c asymm cl-useful: 0/244/2285 lits-rem:0 time: 1.15 2372.32/593.94 c calculated reachability. Time: 0.00 2372.32/593.94 c N dy 8222 1210240 930 2285 66050 41326 161304 1309371 46.12 15.66 -- 2399.87/600.81 c N dy 8359 1230337 930 2285 66080 60227 161303 2253969 73.28 15.62 -- 2454.60/614.52 c N dy 8493 1250346 930 2285 66102 78929 161303 3303172 82.70 15.61 -- 2501.75/626.33 c N dy 8628 1270390 930 2285 66107 53445 161305 1763021 54.11 15.60 -- 2535.70/634.88 c N dy 8764 1290459 930 2285 66124 72341 161305 2583577 25.05 15.56 -- 2584.04/646.90 c N dy 8898 1310550 930 2285 66812 91301 161305 3505783 54.25 15.54 -- 2613.59/654.38 c N dy 9034 1330680 930 2285 66813 64550 161305 2148052 41.28 15.52 -- 2666.34/667.52 c N dy 9169 1350688 970 2285 69050 84143 162009 3221870 31.39 15.54 -- 2720.26/681.00 c N dy 9305 1370780 969 2285 69068 55686 162011 1716988 37.17 15.51 -- 2751.81/688.92 c N dy 9441 1390863 969 2285 69071 74602 162011 2483943 41.91 15.48 -- 2799.75/700.91 c N dy 9576 1410907 969 2285 69420 93638 162011 3666354 62.98 15.50 -- 2834.51/709.63 c N dy 9713 1430975 999 2285 70331 64533 162145 2159795 33.19 15.49 -- 2872.45/719.11 c N dy 9850 1451117 999 2285 70336 83622 162145 3140328 61.84 15.50 -- 2923.59/731.90 c N dy 9986 1471247 998 2285 70343 53368 162147 1556432 55.67 15.50 -- 2954.75/739.79 c N dy 10122 1491248 998 2285 70699 72366 162147 2704277 70.66 15.50 -- 3017.87/755.51 c N dy 10258 1511369 1028 2285 71322 91772 162355 3825549 67.28 15.53 -- 3065.00/767.32 c N dy 10395 1531429 1028 2285 71327 60331 162355 1788639 57.75 15.51 -- 3100.15/776.13 c N dy 10532 1551439 1028 2285 71328 79264 162355 2835598 51.55 15.51 -- 3157.68/790.52 c N dy 10667 1571568 1028 2285 71535 98221 162355 3946265 35.87 15.52 -- 3188.04/798.17 c N dy 10806 1591701 1028 2285 71556 66187 162355 2076009 30.52 15.50 -- 3229.20/808.47 c N dy 10942 1611736 1028 2285 71558 85090 162355 3064626 66.44 15.50 -- 3297.50/825.50 c N dy 11078 1631845 1028 2285 71561 52054 162355 1275289 65.35 15.51 -- 3335.07/834.96 c N dy 11217 1651934 1028 2285 71565 71201 162355 2538657 60.69 15.53 -- 3359.01/840.96 c Finding binary XORs T: 0.01 s found: 11 3359.01/840.98 c Replacing 11 vars Replaced 1388 lits Time: 0.04 s 3404.56/852.34 c N dy 11352 1671980 1017 2269 70957 86794 161009 3663178 61.84 15.56 -- 3496.04/875.27 c N dy 11487 1692094 1017 2269 70957 105846 161009 4669358 53.51 15.57 -- 3523.20/882.07 c S st 11612 1710240 1017 2269 70958 70094 161009 2342417 66.77 15.56 -- 3524.39/882.35 c S st 11612 1710741 1017 2269 70958 70592 161009 2365635 66.77 15.56 -- 3524.39/882.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3524.39/882.36 c Cache BProp: 4 Set: 0 BXProp: 0 T: 0.00 3547.56/888.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 3 BRemL: 1614 BRemN: 2373 CBin: 0 P: 60.1M T: 23.01 3547.56/888.13 c Calc non-exist non-lernt bins v-fix: 0 done: 1017 time: 0.05 s 3547.56/888.13 c Cache BProp: 4 Set: 0 BXProp: 0 T: 0.00 3547.96/888.23 c Subs w/ non-existent bins: 334 time: 0.42 s 3547.96/888.29 c bin-w-bin subsume rem 976 bins time: 0.05 s 3554.37/889.84 c subs with bin: 3001 lits-rem: 937 v-fix: 0 time: 6.19 s 3554.37/889.84 c Removed useless bin: 13 fixed: 0 bprops: 0.07M time: 0.01 s 3574.73/894.91 c ORs : 37 avg-s: 2.0 cl-sh: 1 l-rem: 1 b-add: 1 v-rep: 0 cl-rem: 3 avg s: 3.0 T: 0.10 3583.11/897.09 c Added 11 vars tried: 80000 time: 8.71 3583.51/897.13 c ORs : 11 avg-s: 0.0 cl-sh: 7287 l-rem: 7287 b-add: 22 v-rep: 0 cl-rem: 21 avg s: 3.0 T: 8.87 3583.51/897.17 c lits-rem: 1624 cl-subs: 10382 v-elim: 1310 v-fix: 0 time: 29.26 s 3583.51/897.17 c learnt bin added due to v-elim: 0 3583.51/897.17 c vivif2 -- cl tried 3327 cl shrink 577 lits rem 577 time: 0.01 3583.91/897.24 c vivif2 -- cl tried 56860 cl shrink 2103 lits rem 2534 time: 0.29 3585.53/897.60 c asymm cl-useful: 0/145/2775 lits-rem:0 time: 1.43 3585.53/897.61 c calculated reachability. Time: 0.00 3585.53/897.61 c N dy 11612 1710741 1021 2775 65466 56849 156532 1901376 66.77 15.56 -- 3635.44/910.13 c N dy 11747 1730750 1021 2775 65476 75749 156532 2874113 46.66 15.56 -- 3698.56/925.94 c N dy 11879 1750778 1020 2775 65498 94611 156532 3654772 30.95 15.55 -- 3755.28/940.15 c N dy 12013 1770854 1020 2775 66429 60193 156532 1789955 53.53 15.54 -- 3792.44/949.41 c N dy 12146 1790968 1020 2775 66430 79063 156531 2390846 24.26 15.50 -- 3840.77/961.52 c N dy 12278 1811022 1020 2775 66434 97750 156531 3097600 21.89 15.47 -- 3891.90/974.35 c N dy 12412 1831117 1024 2775 66517 62350 156553 1722311 33.36 15.45 -- 3917.47/980.78 c N dy 12549 1851258 1024 2775 66521 81444 156553 2527226 59.95 15.43 -- 3951.03/989.18 c N dy 12687 1871342 1024 2775 66522 100517 156553 3404069 45.37 15.42 -- 3989.80/998.82 c N dy 12823 1891399 1024 2775 66524 63943 156553 1799071 60.21 15.42 -- 4026.52/1008.06 c N dy 12959 1911508 1024 2775 66543 83050 156553 2762701 51.94 15.43 -- 4080.86/1021.61 c N dy 13094 1931516 1024 2775 66545 101967 156553 3748225 52.38 15.43 -- 4123.60/1032.32 c N dy 13231 1951593 1024 2775 66549 64314 156553 1676020 24.42 15.41 -- 4154.75/1040.14 c N dy 13369 1971689 1051 2775 67726 83390 156663 2617292 48.61 15.40 -- 4194.70/1050.13 c N dy 13506 1991782 1051 2775 67726 102395 156663 3436181 54.37 15.39 -- 4231.47/1059.34 c N dy 13641 2011904 1051 2775 67730 63620 156663 1592971 39.89 15.37 -- 4257.02/1065.79 c N dy 13776 2031982 1051 2775 67730 82554 156663 2275787 33.86 15.35 -- 4293.00/1074.73 c N dy 13912 2051988 1051 2775 67881 101603 156667 3213158 27.43 15.34 -- 4342.91/1087.20 c N dy 14047 2072081 1051 2775 67882 61940 156667 1638232 59.19 15.34 -- 4375.27/1095.37 c N dy 14184 2092152 1051 2775 67883 81060 156667 2605152 60.10 15.34 -- 4428.01/1108.54 c N dy 14318 2112245 1076 2775 68914 100113 156775 3586598 63.53 15.34 -- 4509.11/1128.85 c N dy 14451 2132316 1075 2775 68931 118964 156775 4648751 50.64 15.36 -- 4545.09/1137.86 c N dy 14587 2152324 1075 2775 68969 78347 156787 2390605 26.74 15.35 -- 4603.82/1152.56 c N dy 14719 2172453 1075 2775 68971 97050 156787 2960640 23.85 15.33 -- 4670.96/1169.37 c N dy 14850 2192483 1074 2775 68983 115529 156787 3628010 37.65 15.31 -- 4698.11/1176.17 c S st 14974 2210741 1074 2775 68988 72512 156787 1860635 31.85 15.29 -- 4698.91/1176.32 c S st 14974 2211241 1074 2775 68988 73009 156787 1889317 31.85 15.29 -- 4698.91/1176.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4698.91/1176.33 c Cache BProp: 4 Set: 0 BXProp: 2 T: 0.00 4713.69/1180.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bin: 5 BRemL: 1317 BRemN: 763 CBin: 0 P: 60.0M T: 14.68 4713.69/1180.01 c Calc non-exist non-lernt bins v-fix: 0 done: 1074 time: 0.05 s 4713.69/1180.01 c Cache BProp: 4 Set: 0 BXProp: 0 T: 0.00 4714.09/1180.14 c Subs w/ non-existent bins: 6 time: 0.50 s 4714.51/1180.21 c Replacing 8 vars Replaced 10210 lits Time: 0.29 s 4714.51/1180.26 c bin-w-bin subsume rem 493 bins time: 0.04 s 4720.88/1181.84 c subs with bin: 195 lits-rem: 10 v-fix: 0 time: 6.34 s 4720.88/1181.85 c Removed useless bin: 2 fixed: 0 bprops: 0.07M time: 0.01 s 4726.48/1183.22 c ORs : 70 avg-s: 2.0 cl-sh: 25 l-rem: 25 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 3.0 T: 0.11 4731.68/1184.50 c Added 11 vars tried: 80000 time: 5.12 4731.68/1184.53 c ORs : 11 avg-s: 0.0 cl-sh: 7557 l-rem: 7557 b-add: 25 v-rep: 1 cl-rem: 7 avg s: 3.0 T: 5.24 4731.68/1184.57 c lits-rem: 268 cl-subs: 4610 v-elim: 710 v-fix: 0 time: 10.87 s 4731.68/1184.57 c learnt bin added due to v-elim: 0 4731.68/1184.57 c vivif2 -- cl tried 2753 cl shrink 10 lits rem 10 time: 0.00 4732.10/1184.64 c vivif2 -- cl tried 59486 cl shrink 1492 lits rem 1921 time: 0.29 4732.88/1184.89 c asymm cl-useful: 2/269/2753 lits-rem:2 time: 1.00 4733.28/1184.90 c calculated reachability. Time: 0.00 4733.28/1184.90 c N dy 14974 2211241 1077 2753 65243 59486 152556 1653805 31.85 15.29 -- 4757.64/1191.07 c N dy 15106 2231304 1077 2753 65266 78302 152556 2492235 50.81 15.28 -- 4788.81/1198.84 c N dy 15237 2251382 1077 2753 65281 97216 152556 3630187 56.11 15.29 --
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-3262901-1304136376/watcher-3262901-1304136376 -o /tmp/evaluation-result-3262901-1304136376/solver-3262901-1304136376 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262901-1304136376.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: 7.96 8.06 8.03 5/180 12517 /proc/meminfo: memFree=30892824/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=22808 CPUtime=0 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 940 0 0 0 0 0 0 0 24 0 1 0 525238018 23355392 879 33554432000 4194304 4797429 140733702092016 18446744073709551615 4366107 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12517/statm: 5702 879 346 148 0 631 0 [startup+0.041169 s] /proc/loadavg: 7.96 8.06 8.03 5/180 12517 /proc/meminfo: memFree=30892824/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=54516 CPUtime=0.03 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 1844 0 0 0 3 0 0 0 24 0 1 0 525238018 55824384 1779 33554432000 4194304 4797429 140733702092016 18446744073709551615 230808826565 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/12517/statm: 13629 1779 348 148 0 8558 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 54516 [startup+0.100124 s] /proc/loadavg: 7.96 8.06 8.03 5/180 12517 /proc/meminfo: memFree=30892824/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=678300 CPUtime=0.19 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 3202 0 0 0 19 0 0 0 25 0 4 0 525238018 694579200 3123 33554432000 4194304 4797429 140733702092016 18446744073709551615 4557702 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 169575 3123 387 148 0 164504 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 678300 [startup+0.301086 s] /proc/loadavg: 7.96 8.06 8.03 5/180 12517 /proc/meminfo: memFree=30892824/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=678972 CPUtime=0.99 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 4705 0 0 0 99 0 0 0 25 0 4 0 525238018 695267328 4589 33554432000 4194304 4797429 140733702092016 18446744073709551615 4389728 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 169743 4590 409 148 0 164672 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 678972 [startup+0.701014 s] /proc/loadavg: 7.96 8.06 8.03 5/180 12517 /proc/meminfo: memFree=30892824/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=679632 CPUtime=2.6 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 5820 0 0 0 259 1 0 0 25 0 4 0 525238018 695943168 5698 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 169908 5698 411 148 0 164837 0 Current children cumulated CPU time (s) 2.6 Current children cumulated vsize (KiB) 679632 [startup+1.50087 s] /proc/loadavg: 7.96 8.06 8.03 9/184 12521 /proc/meminfo: memFree=30868736/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=684336 CPUtime=5.79 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 8324 0 0 0 578 1 0 0 25 0 4 0 525238018 700760064 6239 33554432000 4194304 4797429 140733702092016 18446744073709551615 4354783 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 171084 6239 412 148 0 166013 0 [pid=12517/tid=12519] ppid=12515 vsize=684336 CPUtime=1.43 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 1526 0 0 0 143 0 0 0 25 0 4 0 525238024 700760064 6239 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=684336 CPUtime=1.42 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 1335 0 0 0 142 0 0 0 19 0 4 0 525238024 700760064 6239 33554432000 4194304 4797429 140733702092016 18446744073709551615 4425001 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=684336 CPUtime=1.43 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 1439 0 0 0 143 0 0 0 25 0 4 0 525238024 700760064 6239 33554432000 4194304 4797429 140733702092016 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.79 Current children cumulated vsize (KiB) 684336 [startup+3.10057 s] /proc/loadavg: 7.96 8.06 8.03 9/184 12521 /proc/meminfo: memFree=30866132/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=686100 CPUtime=12.18 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 11496 0 0 0 1216 2 0 0 25 0 4 0 525238018 702566400 8714 33554432000 4194304 4797429 140733702092016 18446744073709551615 4377500 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 171525 8714 415 148 0 166454 0 [pid=12517/tid=12519] ppid=12515 vsize=686100 CPUtime=3.03 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 2006 0 0 0 303 0 0 0 25 0 4 0 525238024 702566400 8714 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=686100 CPUtime=3.02 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 2145 0 0 0 302 0 0 0 25 0 4 0 525238024 702566400 8714 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=686100 CPUtime=3.02 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 2388 0 0 0 302 0 0 0 25 0 4 0 525238024 702566400 8714 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.18 Current children cumulated vsize (KiB) 686100 [startup+6.30099 s] /proc/loadavg: 7.96 8.06 8.03 9/184 12521 /proc/meminfo: memFree=30852452/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=689600 CPUtime=24.96 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 15013 0 0 0 2493 3 0 0 25 0 4 0 525238018 706150400 10562 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429107 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 172400 10562 416 148 0 167329 0 [pid=12517/tid=12519] ppid=12515 vsize=689600 CPUtime=6.23 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 2844 0 0 0 623 0 0 0 25 0 4 0 525238024 706150400 10562 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=689600 CPUtime=6.2 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 2401 0 0 0 620 0 0 0 25 0 4 0 525238024 706150400 10562 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=689600 CPUtime=6.23 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 2658 0 0 0 622 1 0 0 25 0 4 0 525238024 706150400 10562 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 24.96 Current children cumulated vsize (KiB) 689600 [startup+12.7008 s] /proc/loadavg: 7.97 8.06 8.03 9/184 12521 /proc/meminfo: memFree=30843760/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=691460 CPUtime=50.53 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 18422 0 0 0 5049 4 0 0 25 0 4 0 525238018 708055040 12038 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 172865 12038 418 148 0 167794 0 [pid=12517/tid=12519] ppid=12515 vsize=691460 CPUtime=12.62 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 3384 0 0 0 1262 0 0 0 25 0 4 0 525238024 708055040 12038 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=691460 CPUtime=12.56 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 3056 0 0 0 1256 0 0 0 25 0 4 0 525238024 708055040 12038 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=691460 CPUtime=12.63 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 3190 0 0 0 1262 1 0 0 25 0 4 0 525238024 708055040 12038 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.53 Current children cumulated vsize (KiB) 691460 [startup+25.5005 s] /proc/loadavg: 8.05 8.07 8.03 9/184 12521 /proc/meminfo: memFree=30830116/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=694396 CPUtime=101.66 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 23968 0 0 0 10160 6 0 0 25 0 4 0 525238018 711061504 14889 33554432000 4194304 4797429 140733702092016 18446744073709551615 4423080 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 173599 14889 418 148 0 168528 0 [pid=12517/tid=12519] ppid=12515 vsize=694396 CPUtime=25.42 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 3981 0 0 0 2542 0 0 0 25 0 4 0 525238024 711061504 14889 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=694396 CPUtime=25.29 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 3859 0 0 0 2529 0 0 0 25 0 4 0 525238024 711061504 14889 33554432000 4194304 4797429 140733702092016 18446744073709551615 4519908 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=694396 CPUtime=25.43 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 4038 0 0 0 2542 1 0 0 25 0 4 0 525238024 711061504 14889 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 101.66 Current children cumulated vsize (KiB) 694396 [startup+51.1008 s] /proc/loadavg: 8.10 8.08 8.03 9/184 12522 /proc/meminfo: memFree=30823216/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=697504 CPUtime=203.93 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 33000 0 0 0 20386 7 0 0 25 0 4 0 525238018 714244096 16258 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520280 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 174376 16258 419 148 0 169305 0 [pid=12517/tid=12519] ppid=12515 vsize=697504 CPUtime=51.02 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 5143 0 0 0 5102 0 0 0 25 0 4 0 525238024 714244096 16258 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=697504 CPUtime=50.76 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 4928 0 0 0 5076 0 0 0 25 0 4 0 525238024 714244096 16258 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=697504 CPUtime=51.03 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 5060 0 0 0 5102 1 0 0 25 0 4 0 525238024 714244096 16258 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 203.93 Current children cumulated vsize (KiB) 697504 [startup+102.306 s] /proc/loadavg: 8.04 8.07 8.03 9/184 12523 /proc/meminfo: memFree=30805820/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=702780 CPUtime=408.49 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 51079 0 0 0 40836 13 0 0 25 0 4 0 525238018 719646720 19192 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429085 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 175695 19192 421 148 0 170624 0 [pid=12517/tid=12519] ppid=12515 vsize=702780 CPUtime=102.23 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 6060 0 0 0 10222 1 0 0 25 0 4 0 525238024 719646720 19192 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=702780 CPUtime=101.7 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 6261 0 0 0 10169 1 0 0 25 0 4 0 525238024 719646720 19192 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=702780 CPUtime=102.23 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 6487 0 0 0 10222 1 0 0 25 0 4 0 525238024 719646720 19192 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 408.49 Current children cumulated vsize (KiB) 702780 [startup+162.3 s] /proc/loadavg: 8.08 8.07 8.03 9/184 12525 /proc/meminfo: memFree=30779868/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=705740 CPUtime=648.15 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 69346 0 0 0 64797 18 0 0 25 0 4 0 525238018 722677760 25075 33554432000 4194304 4797429 140733702092016 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 176435 25075 421 148 0 171364 0 [pid=12517/tid=12519] ppid=12515 vsize=705740 CPUtime=162.22 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 7319 0 0 0 16221 1 0 0 25 0 4 0 525238024 722677760 25075 33554432000 4194304 4797429 140733702092016 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=705740 CPUtime=161.38 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 7890 0 0 0 16137 1 0 0 25 0 4 0 525238024 722677760 25075 33554432000 4194304 4797429 140733702092016 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=705740 CPUtime=162.23 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 8269 0 0 0 16221 2 0 0 25 0 4 0 525238024 722677760 25075 33554432000 4194304 4797429 140733702092016 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 648.15 Current children cumulated vsize (KiB) 705740 [startup+222.3 s] /proc/loadavg: 8.13 8.08 8.03 9/184 12527 /proc/meminfo: memFree=30768660/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=707536 CPUtime=887.84 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 89512 0 0 0 88758 26 0 0 25 0 4 0 525238018 724516864 25663 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 176884 25663 421 148 0 171813 0 [pid=12517/tid=12519] ppid=12515 vsize=707536 CPUtime=222.22 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 8736 0 0 0 22221 1 0 0 25 0 4 0 525238024 724516864 25663 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=707536 CPUtime=221.06 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 9171 0 0 0 22104 2 0 0 25 0 4 0 525238024 724516864 25663 33554432000 4194304 4797429 140733702092016 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=707536 CPUtime=222.23 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 10043 0 0 0 22220 3 0 0 25 0 4 0 525238024 724516864 25663 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 887.84 Current children cumulated vsize (KiB) 707536 [startup+282.3 s] ################ # More data... # ################ [pid=12517] ppid=12515 vsize=719584 CPUtime=2805.34 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 196200 0 0 0 280467 67 0 0 25 0 4 0 525238018 736854016 35146 33554432000 4194304 4797429 140733702092016 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 179896 35146 421 148 0 174825 0 [pid=12517/tid=12519] ppid=12515 vsize=719584 CPUtime=702.23 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 17986 0 0 0 70219 4 0 0 25 0 4 0 525238024 736854016 35146 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=719584 CPUtime=698.55 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 18457 0 0 0 69849 6 0 0 25 0 4 0 525238024 736854016 35146 33554432000 4194304 4797429 140733702092016 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=719584 CPUtime=702.24 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 19603 0 0 0 70218 6 0 0 25 0 4 0 525238024 736854016 35146 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520024 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2805.34 Current children cumulated vsize (KiB) 719584 [startup+762.306 s] /proc/loadavg: 8.13 8.09 8.03 9/184 12541 /proc/meminfo: memFree=30687292/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=722016 CPUtime=3045.06 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 208839 0 0 0 304434 72 0 0 25 0 4 0 525238018 739344384 36380 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 180504 36380 421 148 0 175433 0 [pid=12517/tid=12519] ppid=12515 vsize=722016 CPUtime=762.24 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 19145 0 0 0 76220 4 0 0 25 0 4 0 525238024 739344384 36380 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=722016 CPUtime=758.23 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 20068 0 0 0 75817 6 0 0 25 0 4 0 525238024 739344384 36380 33554432000 4194304 4797429 140733702092016 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=722016 CPUtime=762.25 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 20411 0 0 0 76218 7 0 0 25 0 4 0 525238024 739344384 36380 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520000 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3045.06 Current children cumulated vsize (KiB) 722016 [startup+822.3 s] /proc/loadavg: 8.21 8.11 8.04 9/184 12543 /proc/meminfo: memFree=30692200/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=722120 CPUtime=3284.71 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 221422 0 0 0 328393 78 0 0 25 0 4 0 525238018 739450880 35293 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 180530 35293 421 148 0 175459 0 [pid=12517/tid=12519] ppid=12515 vsize=722120 CPUtime=822.24 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 20310 0 0 0 82219 5 0 0 25 0 4 0 525238024 739450880 35293 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=722120 CPUtime=817.9 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 21382 0 0 0 81783 7 0 0 25 0 4 0 525238024 739450880 35293 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=722120 CPUtime=822.25 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 21883 0 0 0 82217 8 0 0 25 0 4 0 525238024 739450880 35293 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520000 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3284.71 Current children cumulated vsize (KiB) 722120 [startup+882.3 s] /proc/loadavg: 8.15 8.11 8.04 9/184 12544 /proc/meminfo: memFree=30690428/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=722736 CPUtime=3524.39 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 232240 0 0 0 352356 83 0 0 25 0 4 0 525238018 740081664 34898 33554432000 4194304 4797429 140733702092016 18446744073709551615 4425039 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 180684 34898 421 148 0 175613 0 [pid=12517/tid=12519] ppid=12515 vsize=722736 CPUtime=882.24 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 21008 0 0 0 88219 5 0 0 25 0 4 0 525238024 740081664 34898 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=722736 CPUtime=877.58 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 22034 0 0 0 87751 7 0 0 25 0 4 0 525238024 740081664 34898 33554432000 4194304 4797429 140733702092016 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=722736 CPUtime=882.25 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 23192 0 0 0 88217 8 0 0 25 0 4 0 525238024 740081664 34898 33554432000 4194304 4797429 140733702092016 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3524.39 Current children cumulated vsize (KiB) 722736 [startup+942.3 s] /proc/loadavg: 8.05 8.08 8.04 9/184 12546 /proc/meminfo: memFree=30690520/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=724600 CPUtime=3764.08 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 241980 0 0 0 376321 87 0 0 25 0 4 0 525238018 741990400 35974 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 181150 35974 421 148 0 176079 0 [pid=12517/tid=12519] ppid=12515 vsize=724600 CPUtime=942.24 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 22484 0 0 0 94219 5 0 0 25 0 4 0 525238024 741990400 35974 33554432000 4194304 4797429 140733702092016 18446744073709551615 4351579 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=724600 CPUtime=937.25 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 23534 0 0 0 93718 7 0 0 25 0 4 0 525238024 741990400 35974 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=724600 CPUtime=942.26 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 24210 0 0 0 94217 9 0 0 25 0 4 0 525238024 741990400 35974 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3764.08 Current children cumulated vsize (KiB) 724600 [startup+1002.3 s] /proc/loadavg: 8.08 8.08 8.04 9/184 12547 /proc/meminfo: memFree=30671500/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=726836 CPUtime=4003.76 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 253887 0 0 0 400284 92 0 0 25 0 4 0 525238018 744280064 38036 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 181709 38036 421 148 0 176638 0 [pid=12517/tid=12519] ppid=12515 vsize=726836 CPUtime=1002.24 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 23256 0 0 0 100219 5 0 0 25 0 4 0 525238024 744280064 38036 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=726836 CPUtime=996.94 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 24495 0 0 0 99686 8 0 0 25 0 4 0 525238024 744280064 38036 33554432000 4194304 4797429 140733702092016 18446744073709551615 4524563 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=726836 CPUtime=1002.25 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 25540 0 0 0 100216 9 0 0 25 0 4 0 525238024 744280064 38036 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4003.76 Current children cumulated vsize (KiB) 726836 [startup+1062.3 s] /proc/loadavg: 8.03 8.07 8.03 9/184 12549 /proc/meminfo: memFree=30671108/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=728524 CPUtime=4243.44 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 266698 0 0 0 424247 97 0 0 25 0 4 0 525238018 746008576 38331 33554432000 4194304 4797429 140733702092016 18446744073709551615 4340967 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 182131 38331 421 148 0 177060 0 [pid=12517/tid=12519] ppid=12515 vsize=728524 CPUtime=1062.24 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 24834 0 0 0 106218 6 0 0 25 0 4 0 525238024 746008576 38331 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=728524 CPUtime=1056.62 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 25970 0 0 0 105654 8 0 0 25 0 4 0 525238024 746008576 38331 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=728524 CPUtime=1062.25 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 26305 0 0 0 106216 9 0 0 25 0 4 0 525238024 746008576 38331 33554432000 4194304 4797429 140733702092016 18446744073709551615 4500298 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4243.44 Current children cumulated vsize (KiB) 728524 [startup+1122.3 s] /proc/loadavg: 6.24 7.61 7.88 5/175 12569 /proc/meminfo: memFree=30809440/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=729700 CPUtime=4483.15 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 276828 0 0 0 448213 102 0 0 25 0 4 0 525238018 747212800 41811 33554432000 4194304 4797429 140733702092016 18446744073709551615 4425867 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 182425 41811 421 148 0 177354 0 [pid=12517/tid=12519] ppid=12515 vsize=729700 CPUtime=1122.24 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 25571 0 0 0 112218 6 0 0 25 0 4 0 525238024 747212800 41811 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=729700 CPUtime=1116.32 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 26686 0 0 0 111624 8 0 0 25 0 4 0 525238024 747212800 41811 33554432000 4194304 4797429 140733702092016 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=729700 CPUtime=1122.26 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 27867 0 0 0 112216 10 0 0 25 0 4 0 525238024 747212800 41811 33554432000 4194304 4797429 140733702092016 18446744073709551615 4654714 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4483.15 Current children cumulated vsize (KiB) 729700 [startup+1182.3 s] /proc/loadavg: 4.86 6.96 7.64 5/175 12570 /proc/meminfo: memFree=30818460/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=730604 CPUtime=4722.88 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 287504 0 0 0 472181 107 0 0 25 0 4 0 525238018 748138496 39679 33554432000 4194304 4797429 140733702092016 18446744073709551615 4524386 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 182651 39679 421 148 0 177580 0 [pid=12517/tid=12519] ppid=12515 vsize=730604 CPUtime=1182.24 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 26975 0 0 0 118217 7 0 0 25 0 4 0 525238024 748138496 39679 33554432000 4194304 4797429 140733702092016 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=730604 CPUtime=1176.05 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 28259 0 0 0 117596 9 0 0 25 0 4 0 525238024 748138496 39679 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=730604 CPUtime=1182.26 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 28563 0 0 0 118215 11 0 0 25 0 4 0 525238024 748138496 39679 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424960 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4722.88 Current children cumulated vsize (KiB) 730604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 4.61 6.77 7.56 5/175 12571 /proc/meminfo: memFree=30805552/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=730872 CPUtime=4800.41 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 290678 0 0 0 479932 109 0 0 25 0 4 0 525238018 748412928 42807 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 182718 42807 421 148 0 177647 0 [pid=12517/tid=12519] ppid=12515 vsize=730872 CPUtime=1201.65 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 27196 0 0 0 120158 7 0 0 25 0 4 0 525238024 748412928 42807 33554432000 4194304 4797429 140733702092016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=730872 CPUtime=1195.36 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 28471 0 0 0 119527 9 0 0 25 0 4 0 525238024 748412928 42807 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=730872 CPUtime=1201.67 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 28967 0 0 0 120156 11 0 0 25 0 4 0 525238024 748412928 42807 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 730872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 4.61 6.77 7.56 5/175 12571 /proc/meminfo: memFree=30805552/32951124 swapFree=67111448/67111528 [pid=12517] ppid=12515 vsize=730872 CPUtime=4800.41 cores=1,3,5,7 /proc/12517/stat : 12517 (techdemo) R 12515 12517 12011 0 -1 4202496 290678 0 0 0 479932 109 0 0 25 0 4 0 525238018 748412928 42807 33554432000 4194304 4797429 140733702092016 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/12517/statm: 182718 42807 421 148 0 177647 0 [pid=12517/tid=12519] ppid=12515 vsize=730872 CPUtime=1201.65 cores=1,3,5,7 /proc/12517/task/12519/stat : 12519 (techdemo) R 12515 12517 12011 0 -1 4202560 27196 0 0 0 120158 7 0 0 25 0 4 0 525238024 748412928 42807 33554432000 4194304 4797429 140733702092016 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=12517/tid=12520] ppid=12515 vsize=730872 CPUtime=1195.36 cores=1,3,5,7 /proc/12517/task/12520/stat : 12520 (techdemo) R 12515 12517 12011 0 -1 4202560 28471 0 0 0 119527 9 0 0 25 0 4 0 525238024 748412928 42807 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=12517/tid=12521] ppid=12515 vsize=730872 CPUtime=1201.67 cores=1,3,5,7 /proc/12517/task/12521/stat : 12521 (techdemo) R 12515 12517 12011 0 -1 4202560 28967 0 0 0 120156 11 0 0 25 0 4 0 525238024 748412928 42807 33554432000 4194304 4797429 140733702092016 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 730872 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.72 CPU time (s): 4800.45 CPU user time (s): 4799.35 CPU system time (s): 1.10683 CPU usage (%): 399.465 Max. virtual memory (cumulated for all children) (KiB): 837176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4799.35 system time used= 1.10683 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290678 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= 298 involuntary context switches= 33361 runsolver used 1.91871 second user time and 4.41133 second system time The end
Begin job on node104 at 2011-04-30 06:06:16 IDJOB=3262901 IDBENCH=83903 IDSOLVER=1584 FILE ID=node104/3262901-1304136376 RUNJOBID= node104-1304135060-12327 PBS_JOBID= 13170795 Free space on /tmp= 72532 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262901-1304136376/watcher-3262901-1304136376 -o /tmp/evaluation-result-3262901-1304136376/solver-3262901-1304136376 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262901-1304136376.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c06088cac8521bfe72bbb4c9ad8d39fb RANDOM SEED=1558837110 node104.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.855 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.71 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 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.67 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.855 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.80 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.855 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 : 5293.18 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.855 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.83 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.855 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.855 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30892980 kB Buffers: 400860 kB Cached: 1108744 kB SwapCached: 80 kB Active: 238000 kB Inactive: 1411032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30892980 kB SwapTotal: 67111528 kB SwapFree: 67111448 kB Dirty: 8596 kB Writeback: 0 kB AnonPages: 139580 kB Mapped: 15740 kB Slab: 344796 kB PageTables: 5228 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 738644 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= 72536 MiB End job on node104 at 2011-04-30 06:26:19