| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.32 | 1201.83 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf |
| MD5SUM | 71638ad618721ad48c6bd2d48b828020 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 3.2785 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2377 |
| Number of clauses | 566749 |
| Sum of the clauses size | 1135775 |
| Maximum clause length | 52 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 566699 |
| 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 | 50 |
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-3251635-1304183904.cnf' 0.00/0.00 c -- header says num vars: 2377 0.00/0.00 c -- header says num clauses: 566749 0.39/0.43 c -- clauses added: 0 learnts, 566749 normals, 0 xors 0.39/0.43 c -- vars added 2377 0.39/0.43 c Parsing time: 0.42 s 0.39/0.44 c N st 0 0 2377 50 566699 0 1135775 0 no data no data -- 0.39/0.44 c asymm cl-useful: 0/50/50 lits-rem:0 time: 0.00 2.27/0.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 2.9M T: 0.56 2.27/0.92 c Calc non-exist non-lernt bins v-fix: 0 done: 2377 time: 0.22 s 2.27/0.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2.27/0.92 c Subs w/ non-existent bins: 0 time: 0.00 s 2.27/0.92 c bin-w-bin subsume rem 0 bins time: 0.38 s 2.27/0.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.36 s 2.27/0.92 c Removed useless bin: 0 fixed: 0 bprops: 2.28M time: 0.22 s 6.25/1.96 c lits-rem: 83 cl-subs: 0 v-elim: 1534 v-fix: 0 time: 0.88 s 6.25/1.96 c learnt bin added due to v-elim: 0 6.25/1.96 c Finding binary XORs T: 0.05 s found: 0 6.25/1.96 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan) 6.25/1.96 c calculated reachability. Time: 0.01 6.25/1.96 c Calc default polars - time: 0.02 s pos: 0 undec: 50 neg: 2327 6.25/1.96 c ========================================================================================= 6.25/1.96 c types(t): F = full restart, N = normal restart 6.25/1.96 c types(t): S = simplification begin/end, E = solution found 6.25/1.96 c restart types(rt): st = static, dy = dynamic 6.25/1.96 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 6.25/1.96 c B st 0 0 2327 11199 553173 0 1690545 0 no data no data -- 6.25/1.96 c Decided on static restart strategy 6.64/2.06 c N dy 21 4094 2327 11199 553173 3973 1690545 309295 77.83 12.11 -- 11.04/3.15 c N dy 50 8161 2327 11199 553173 5478 1690540 528513 156.51 11.67 -- 15.44/4.23 c N dy 79 12218 2327 11199 553173 5312 1690540 450985 145.67 12.62 -- 21.03/5.60 c N dy 107 16224 2327 11199 553173 9195 1690540 958924 149.81 13.42 -- 27.02/7.18 c N dy 135 20298 2327 11199 553173 7684 1690540 733429 140.38 14.06 -- 31.41/8.22 c N dy 164 24446 2327 11199 553173 11708 1690540 1162580 112.15 13.77 -- 35.80/9.33 c N dy 192 28482 2327 11199 553173 9034 1690540 729940 105.55 13.47 -- 37.80/9.81 c S st 203 30000 2327 11199 553173 10522 1690540 874052 97.00 13.40 -- 38.20/9.97 c S st 203 30503 2327 11199 553173 11024 1690539 914950 97.00 13.40 -- 38.20/9.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 38.20/9.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 50.99/13.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 12.55 50.99/13.19 c Calc non-exist non-lernt bins v-fix: 0 done: 2327 time: 0.23 s 50.99/13.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 51.39/13.23 c Subs w/ non-existent bins: 0 time: 0.16 s 51.79/13.35 c bin-w-bin subsume rem 0 bins time: 0.38 s 57.77/14.82 c subs with bin: 0 lits-rem: 1520 v-fix: 0 time: 5.85 s 57.77/14.87 c Removed useless bin: 0 fixed: 0 bprops: 2.22M time: 0.22 s 61.77/15.86 c lits-rem: 2776 cl-subs: 1127 v-elim: 2327 v-fix: 0 time: 3.94 s 61.77/15.86 c learnt bin added due to v-elim: 0 62.17/15.90 c vivif2 -- cl tried 11199 cl shrink 9693 lits rem 136933 time: 0.16 62.17/15.92 c vivif2 -- cl tried 9897 cl shrink 0 lits rem 0 time: 0.10 62.97/16.11 c asymm cl-useful: 65/415/11199 lits-rem:162 time: 0.74 62.97/16.12 c calculated reachability. Time: 0.01 62.97/16.12 c N dy 203 30503 2327 11199 553173 9897 1546144 812992 97.00 13.40 -- 62.97/16.12 c F st 203 30503 2327 11199 553173 9897 1546144 812992 97.00 13.40 -- 65.79/16.81 c Decided on static restart strategy 68.16/17.41 c N dy 223 34640 2327 11199 553173 13858 1546144 1285697 109.58 13.47 -- 72.56/18.57 c N dy 252 38732 2327 11199 553173 10179 1546144 797215 122.82 13.66 -- 76.95/19.63 c N dy 280 42766 2327 11199 553173 14094 1546144 1288832 131.19 13.51 -- 81.34/20.74 c S st 301 45755 2327 11199 553173 17007 1546144 1605707 93.44 13.52 -- 82.14/20.90 c S st 301 46256 2327 11199 553173 8817 1546144 639235 93.44 13.52 -- 82.14/20.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 82.14/20.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 92.52/23.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 10.63 92.92/23.63 c Calc non-exist non-lernt bins v-fix: 0 done: 2327 time: 0.23 s 92.92/23.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 92.92/23.66 c Subs w/ non-existent bins: 0 time: 0.13 s 93.32/23.78 c bin-w-bin subsume rem 0 bins time: 0.38 s 98.91/25.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.60 s 99.31/25.23 c Removed useless bin: 0 fixed: 0 bprops: 2.22M time: 0.22 s 104.11/26.40 c lits-rem: 1696 cl-subs: 209 v-elim: 2327 v-fix: 0 time: 4.67 s 104.11/26.40 c learnt bin added due to v-elim: 0 104.11/26.41 c vivif2 -- cl tried 11199 cl shrink 0 lits rem 0 time: 0.04 104.11/26.43 c vivif2 -- cl tried 8608 cl shrink 0 lits rem 0 time: 0.08 104.51/26.60 c asymm cl-useful: 19/434/11199 lits-rem:22 time: 0.67 104.92/26.61 c calculated reachability. Time: 0.01 104.92/26.61 c N dy 301 46256 2327 11199 553173 8608 1544753 618634 93.44 13.52 -- 109.33/27.79 c N dy 330 50378 2327 11199 553173 12598 1544753 1155903 103.28 13.59 -- 114.89/29.18 c N dy 358 54430 2327 11199 553173 16495 1544753 1445757 54.25 13.46 -- 120.88/30.67 c N dy 386 58486 2327 11199 553173 10748 1544753 755376 57.67 13.40 -- 125.28/31.74 c N dy 414 62528 2327 11199 553173 14604 1544753 1066025 94.15 13.30 -- 129.68/32.85 c N dy 443 66648 2327 11199 553173 18635 1544753 1601740 114.19 13.38 -- 133.67/33.83 c S st 463 69384 2327 11199 553173 10673 1544753 817584 114.64 13.29 -- 134.07/33.95 c S st 463 69885 2327 11199 553173 11171 1544753 865978 114.64 13.29 -- 134.07/33.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 134.07/33.96 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 145.25/36.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 11.20 145.65/36.83 c Calc non-exist non-lernt bins v-fix: 0 done: 2327 time: 0.24 s 145.65/36.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 145.65/36.87 c Subs w/ non-existent bins: 0 time: 0.16 s 146.05/36.99 c bin-w-bin subsume rem 0 bins time: 0.38 s 151.64/38.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.43 s 152.04/38.40 c Removed useless bin: 0 fixed: 0 bprops: 2.22M time: 0.22 s 159.63/40.34 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: 1.03 167.22/42.23 c Added 24 vars tried: 80000 time: 7.54 167.22/42.27 c ORs : 24 avg-s: 0.0 cl-sh: 10340 l-rem: 10340 b-add: 48 v-rep: 0 cl-rem: 0 avg s: nan T: 7.68 167.22/42.29 c lits-rem: 597 cl-subs: 335 v-elim: 2327 v-fix: 0 time: 15.53 s 167.22/42.29 c learnt bin added due to v-elim: 0 167.62/42.30 c vivif2 -- cl tried 11223 cl shrink 0 lits rem 0 time: 0.04 167.62/42.32 c vivif2 -- cl tried 10836 cl shrink 0 lits rem 0 time: 0.11 168.02/42.47 c asymm cl-useful: 28/594/11223 lits-rem:31 time: 0.58 168.02/42.48 c calculated reachability. Time: 0.02 168.02/42.48 c N dy 463 69885 2351 11223 553221 10836 1542731 837752 114.64 13.29 -- 168.02/42.48 c F st 463 69885 2351 11223 553221 10836 1542731 837752 114.64 13.29 -- 170.42/43.07 c Decided on static restart strategy 173.21/43.71 c N dy 486 74380 2351 11223 553228 15218 1542731 1272238 87.34 13.24 -- 178.40/45.07 c N dy 520 79204 2351 11223 553236 19898 1542731 1920726 236.94 13.32 -- 187.20/47.20 c N dy 556 84272 2351 11223 553238 13195 1542731 1040364 121.50 13.56 -- 193.98/48.92 c N dy 595 89781 2351 11223 553238 18540 1542731 1874754 198.93 13.60 -- 206.39/52.02 c N dy 635 95534 2351 11223 553238 24161 1542731 2955811 191.24 13.78 -- 216.35/54.50 c N dy 678 101768 2351 11223 553249 17499 1542731 1263462 62.95 13.73 -- 220.74/55.61 c S st 700 104829 2351 11223 553249 20443 1542731 1529421 124.58 13.71 -- 221.14/55.76 c S st 700 105331 2351 11223 553249 20942 1542731 1587218 124.58 13.71 -- 221.14/55.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 221.14/55.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 233.93/58.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 3272 BRemL: 18 BRemN: 0 CBin: 0 P: 60.0M T: 12.63 234.33/59.00 c Calc non-exist non-lernt bins v-fix: 0 done: 2351 time: 0.24 s 234.33/59.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 234.33/59.06 c Subs w/ non-existent bins: 0 time: 0.26 s 235.13/59.20 c bin-w-bin subsume rem 0 bins time: 0.39 s 240.72/60.61 c subs with bin: 0 lits-rem: 2 v-fix: 0 time: 5.61 s 240.72/60.65 c Removed useless bin: 0 fixed: 0 bprops: 1.48M time: 0.16 s 252.31/63.56 c ORs : 61 avg-s: 2.0 cl-sh: 1 l-rem: 1 b-add: 0 v-rep: 0 cl-rem: 6 avg s: 3.0 T: 0.92 252.31/63.58 c lits-rem: 375 cl-subs: 1941 v-elim: 3485 v-fix: 0 time: 11.74 s 252.31/63.58 c learnt bin added due to v-elim: 0 252.71/63.60 c vivif2 -- cl tried 12781 cl shrink 693 lits rem 693 time: 0.06 252.71/63.66 c vivif2 -- cl tried 19001 cl shrink 1233 lits rem 1666 time: 0.24 253.51/63.83 c asymm cl-useful: 0/395/12088 lits-rem:0 time: 0.68 253.51/63.85 c calculated reachability. Time: 0.01 253.51/63.85 c N dy 700 105331 2348 12088 555609 19001 1543559 1434302 124.58 13.71 -- 263.88/66.49 c N dy 748 112190 2348 12088 555611 25684 1543559 2770709 211.73 13.86 -- 275.87/69.43 c N dy 799 119448 2348 12088 555611 19208 1543559 2059477 185.99 14.12 -- 295.84/74.48 c N dy 852 127124 2348 12088 555613 26639 1543559 3525742 178.23 14.60 -- 310.62/78.18 c N dy 910 135349 2348 12088 555614 20127 1543559 1647572 125.33 14.53 -- 321.00/80.77 c N dy 970 143994 2348 12088 555614 28580 1543559 2672650 115.31 14.47 -- 332.59/83.69 c N dy 1035 153274 2348 12088 555614 22088 1543559 1832148 121.87 14.40 -- 339.79/85.49 c S st 1069 157996 2348 12088 556729 26687 1543559 2348985 118.99 14.36 -- 340.59/85.64 c S st 1069 158499 2348 12088 556729 27189 1543559 2412799 118.99 14.36 -- 340.59/85.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 340.59/85.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 355.78/89.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 50 BRemN: 658 CBin: 0 P: 60.0M T: 15.04 355.78/89.48 c Calc non-exist non-lernt bins v-fix: 0 done: 2348 time: 0.24 s 355.78/89.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 356.16/89.56 c Subs w/ non-existent bins: 0 time: 0.31 s 356.96/89.72 c bin-w-bin subsume rem 548 bins time: 0.40 s 362.55/91.18 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 5.86 s 362.95/91.22 c Removed useless bin: 1 fixed: 0 bprops: 1.36M time: 0.15 s 376.13/94.50 c ORs : 61 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 1.03 376.13/94.53 c lits-rem: 370 cl-subs: 1738 v-elim: 2320 v-fix: 0 time: 13.21 s 376.13/94.53 c learnt bin added due to v-elim: 0 376.13/94.54 c vivif2 -- cl tried 12088 cl shrink 0 lits rem 0 time: 0.04 376.53/94.61 c vivif2 -- cl tried 25451 cl shrink 745 lits rem 1437 time: 0.28 377.35/94.81 c asymm cl-useful: 0/196/12088 lits-rem:0 time: 0.78 377.35/94.82 c calculated reachability. Time: 0.01 377.35/94.82 c N dy 1069 158499 2348 12088 555472 25451 1542239 2181770 118.99 14.36 -- 391.31/98.39 c N dy 1140 168754 2433 12088 566856 21089 1545447 1253336 118.64 14.26 -- 410.49/103.18 c N dy 1217 179660 2433 12088 566856 31707 1545447 3000000 174.68 14.61 -- 434.06/109.08 c N dy 1298 191200 2433 12088 566856 24318 1545446 1964618 193.23 14.69 -- 471.60/118.40 c N dy 1384 203477 2433 12088 566856 36245 1545446 3739423 79.59 14.71 -- 493.96/124.10 c N dy 1475 216497 2433 12088 570412 29783 1545446 2226325 82.94 14.58 -- 520.73/130.74 c N dy 1572 230408 2433 12088 570429 23598 1545446 1641022 139.37 14.60 -- 531.14/133.38 c S st 1624 237749 2433 12088 570429 30730 1545446 2455300 114.29 14.56 -- 531.91/133.55 c S st 1624 238250 2433 12088 570429 31231 1545446 2536637 114.29 14.56 -- 531.91/133.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 531.91/133.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 548.72/137.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 214 BRemN: 834 CBin: 0 P: 60.0M T: 16.74 549.12/137.82 c Calc non-exist non-lernt bins v-fix: 0 done: 2433 time: 0.25 s 549.12/137.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 549.50/137.91 c Subs w/ non-existent bins: 1438 time: 0.36 s 549.50/137.93 c Replacing 2 vars Replaced 24 lits Time: 0.08 s 549.90/138.09 c bin-w-bin subsume rem 965 bins time: 0.41 s 555.89/139.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.02 s 556.29/139.62 c Removed useless bin: 186 fixed: 0 bprops: 0.76M time: 0.10 s 571.46/143.48 c ORs : 61 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 7 avg s: 3.0 T: 1.11 571.86/143.51 c lits-rem: 433 cl-subs: 1973 v-elim: 2320 v-fix: 0 time: 15.54 s 571.86/143.51 c learnt bin added due to v-elim: 0 571.86/143.52 c vivif2 -- cl tried 12088 cl shrink 2 lits rem 2 time: 0.04 571.86/143.59 c vivif2 -- cl tried 27813 cl shrink 18 lits rem 20 time: 0.26 572.66/143.78 c asymm cl-useful: 0/414/12086 lits-rem:0 time: 0.78 573.06/143.80 c calculated reachability. Time: 0.01 573.06/143.80 c N dy 1624 238250 2431 12086 568243 27798 1543390 2308134 114.29 14.56 -- 598.23/150.12 c N dy 1732 253570 2431 12086 568243 22908 1543390 1608749 81.40 14.50 -- 635.37/159.41 c N dy 1839 269835 2431 12086 568243 38442 1543390 3581915 213.49 14.49 -- 674.53/169.20 c N dy 1956 287201 2515 12086 579306 35676 1545668 3414169 81.66 14.48 -- 707.30/177.48 c N dy 2083 305618 2515 12086 579306 30731 1545668 2668859 159.47 14.44 -- 765.60/192.03 c N dy 2213 325208 2515 12086 582389 26044 1545668 1679461 75.66 14.50 -- 799.95/200.60 c N dy 2350 345346 2515 12086 582389 45475 1545668 3444488 69.09 14.52 -- 821.92/206.14 c S st 2434 357378 2571 12086 589196 34274 1547666 2418230 76.92 14.55 -- 822.72/206.37 c S st 2434 357880 2571 12086 589196 34775 1547666 2495008 76.92 14.55 -- 822.72/206.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 822.72/206.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 841.89/211.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 2943 BRemL: 458 BRemN: 2780 CBin: 0 P: 60.0M T: 18.96 842.29/211.20 c Calc non-exist non-lernt bins v-fix: 0 done: 2571 time: 0.27 s 842.29/211.20 c Cache BProp: 0 Set: 0 BXProp: 10 T: 0.00 842.69/211.30 c Subs w/ non-existent bins: 1855 time: 0.38 s 842.69/211.32 c Replacing 10 vars Replaced 1582 lits Time: 0.09 s 843.11/211.48 c bin-w-bin subsume rem 859 bins time: 0.41 s 849.09/212.91 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 5.70 s 849.09/212.93 c Removed useless bin: 72 fixed: 0 bprops: 0.73M time: 0.11 s 865.49/217.03 c ORs : 61 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 3 avg s: 3.0 T: 1.23 865.49/217.06 c lits-rem: 435 cl-subs: 2006 v-elim: 2320 v-fix: 0 time: 16.49 s 865.49/217.06 c learnt bin added due to v-elim: 0 865.49/217.07 c vivif2 -- cl tried 12086 cl shrink 0 lits rem 0 time: 0.05 865.86/217.14 c vivif2 -- cl tried 30910 cl shrink 117 lits rem 117 time: 0.28 867.06/217.40 c asymm cl-useful: 0/294/12086 lits-rem:0 time: 1.03 867.06/217.42 c calculated reachability. Time: 0.01 867.06/217.42 c N dy 2434 357880 2561 12086 587954 30901 1541903 2286263 76.92 14.55 -- 907.01/227.44 c N dy 2572 378008 2561 12086 587954 25479 1541903 1462118 118.76 14.63 -- 941.77/236.14 c N dy 2711 398077 2561 12086 589075 44901 1541902 4043729 186.83 14.65 -- 961.35/241.09 c Finding binary XORs T: 0.06 s found: 0 975.73/244.62 c N dy 2847 418103 2561 12086 589075 38166 1541902 2433325 62.84 14.56 -- 1009.68/253.11 c N dy 2985 438199 2561 12086 589076 30612 1541902 1850599 98.74 14.53 -- 1037.25/260.05 c N dy 3125 458301 2561 12086 589076 50088 1541902 3948636 146.88 14.50 -- 1066.42/267.31 c N dy 3262 478416 2561 12086 589076 41347 1541902 2467085 77.45 14.41 -- 1100.78/275.90 c N dy 3396 498485 2561 12086 589076 31676 1541902 1707722 92.97 14.42 -- 1145.14/287.02 c N dy 3536 518620 2561 12086 589076 51124 1541902 4177384 53.51 14.46 -- 1190.31/298.35 c S st 3660 536820 2561 12086 589076 38811 1541902 2445030 61.92 14.46 -- 1191.09/298.54 c S st 3660 537321 2561 12086 589076 39311 1541902 2504835 61.92 14.46 -- 1191.09/298.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 1191.09/298.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1207.06/302.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 386 BRemN: 1932 CBin: 0 P: 60.0M T: 15.89 1207.46/302.60 c Calc non-exist non-lernt bins v-fix: 0 done: 2561 time: 0.26 s 1207.46/302.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1207.88/302.71 c Subs w/ non-existent bins: 0 time: 0.45 s 1208.28/302.87 c bin-w-bin subsume rem 10 bins time: 0.41 s 1213.85/304.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.57 s 1213.85/304.29 c Removed useless bin: 0 fixed: 0 bprops: 0.72M time: 0.11 s 1227.45/307.63 c ORs : 61 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 1.22 1240.63/310.92 c Added 26 vars tried: 80000 time: 13.11 1241.03/311.08 c ORs : 26 avg-s: 0.0 cl-sh: 29409 l-rem: 29409 b-add: 52 v-rep: 0 cl-rem: 17 avg s: 3.0 T: 13.78 1241.43/311.12 c lits-rem: 596 cl-subs: 2411 v-elim: 2320 v-fix: 0 time: 27.27 s 1241.43/311.12 c learnt bin added due to v-elim: 0 1241.43/311.13 c vivif2 -- cl tried 12108 cl shrink 0 lits rem 0 time: 0.05 1241.83/311.21 c vivif2 -- cl tried 36887 cl shrink 2 lits rem 2 time: 0.34 1242.63/311.42 c asymm cl-useful: 0/129/12108 lits-rem:0 time: 0.84 1242.63/311.44 c calculated reachability. Time: 0.01 1242.63/311.44 c N dy 3660 537321 2587 12108 586800 36887 1535129 2289745 61.92 14.46 -- 1242.63/311.44 c F st 3660 537321 2587 12108 586800 36887 1535129 2289745 61.92 14.46 -- 1245.83/312.27 c Decided on static restart strategy 1277.79/320.22 c N dy 3790 557368 2587 12108 586817 56288 1535129 4513351 185.48 14.50 -- 1313.77/329.21 c N dy 3929 577424 2587 12108 586836 44898 1535129 3075080 59.34 14.50 -- 1356.10/339.84 c N dy 4064 597513 2587 12108 586851 32295 1535129 1693491 168.29 14.48 -- 1390.46/348.45 c N dy 4202 617586 2587 12108 586854 51661 1535129 3550851 55.20 14.46 -- 1429.62/358.27 c N dy 4341 637631 2587 12108 586855 38403 1535129 2208927 68.75 14.42 -- 1461.58/366.25 c N dy 4477 657651 2587 12108 591413 57433 1535129 3540038 120.80 14.37 -- 1496.35/374.93 c N dy 4617 677676 2587 12108 591413 43335 1535129 3002235 157.22 14.40 -- 1547.48/387.75 c N dy 4754 697737 2617 12108 595717 62664 1535257 5152057 54.73 14.41 -- 1584.64/397.00 c N dy 4890 717799 2617 12108 595718 46977 1535257 2534740 109.26 14.38 -- 1626.99/407.65 c N dy 5028 737889 2617 12108 595719 66319 1535257 4814319 68.88 14.42 -- 1665.38/417.28 c N dy 5167 758014 2617 12108 596380 50213 1535257 3097904 81.27 14.43 -- 1716.50/430.09 c N dy 5304 778037 2617 12108 596380 69526 1535257 5672142 83.95 14.47 -- 1756.46/440.07 c N dy 5442 798042 2639 12108 599237 52807 1535441 3241001 69.92 14.47 -- 1773.23/444.23 c S st 5498 805983 2639 12108 599237 60471 1535441 4239922 185.46 14.50 -- 1774.44/444.53 c S st 5498 806487 2639 12108 599237 60973 1535441 4304871 185.46 14.50 -- 1774.44/444.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 1774.44/444.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1794.81/449.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 665 BRemL: 639 BRemN: 296 CBin: 0 P: 60.0M T: 20.47 1795.21/449.74 c Calc non-exist non-lernt bins v-fix: 0 done: 2639 time: 0.27 s 1795.21/449.74 c Cache BProp: 0 Set: 0 BXProp: 4 T: 0.00 1796.01/449.92 c Subs w/ non-existent bins: 44 time: 0.71 s 1796.01/449.94 c Replacing 4 vars Replaced 58 lits Time: 0.10 s 1796.82/450.14 c bin-w-bin subsume rem 4 bins time: 0.41 s 1802.80/451.69 c subs with bin: 0 lits-rem: 3 v-fix: 0 time: 6.20 s 1803.20/451.72 c Removed useless bin: 4 fixed: 0 bprops: 0.71M time: 0.11 s 1859.54/465.85 c ORs : 115 avg-s: 2.0 cl-sh: 27 l-rem: 27 b-add: 0 v-rep: 0 cl-rem: 32 avg s: 3.0 T: 1.14 1859.54/465.90 c lits-rem: 309 cl-subs: 9645 v-elim: 4516 v-fix: 0 time: 56.64 s 1859.54/465.90 c learnt bin added due to v-elim: 0 1859.94/465.92 c vivif2 -- cl tried 16230 cl shrink 1328 lits rem 1328 time: 0.08 1860.34/466.06 c vivif2 -- cl tried 51281 cl shrink 2235 lits rem 2828 time: 0.57 1861.54/466.37 c asymm cl-useful: 0/75/14907 lits-rem:0 time: 1.22 1861.54/466.38 c calculated reachability. Time: 0.01 1861.54/466.38 c N dy 5498 806487 2627 14907 595939 51281 1537583 3363843 185.46 14.50 -- 1915.90/479.96 c N dy 5635 826609 2634 14907 596953 70691 1537615 5410730 88.47 14.53 -- 1952.24/489.04 c N dy 5772 846637 2634 14907 596953 52244 1537615 2806141 105.02 14.51 -- 1986.21/497.52 c N dy 5910 866764 2634 14907 596953 71636 1537615 4416658 107.62 14.49 -- 2016.16/505.04 c N dy 6049 886821 2634 14907 596957 52500 1537615 3013594 171.25 14.50 -- 2056.53/515.17 c N dy 6187 906886 2634 14907 597399 71789 1537615 4640130 43.64 14.46 -- 2090.08/523.55 c N dy 6327 926967 2634 14907 597401 51778 1537615 3161718 137.52 14.48 -- 2138.42/535.68 c N dy 6463 947014 2634 14907 597401 70963 1537615 4814694 53.04 14.47 -- 2183.18/546.90 c N dy 6603 967100 2634 14907 597401 49907 1537615 3178075 171.22 14.52 -- 2239.51/560.93 c N dy 6738 987174 2634 14907 597401 68982 1537615 4436727 85.51 14.49 -- 2293.87/574.53 c N dy 6875 1007241 2634 14907 597401 46980 1537615 2449527 126.63 14.48 -- 2332.21/584.12 c N dy 7011 1027289 2634 14907 597401 66181 1537615 3891709 55.76 14.45 -- 2373.76/594.56 c N dy 7148 1047398 2634 14907 597401 43160 1537615 1785714 46.23 14.44 -- 2409.32/603.50 c N dy 7286 1067472 2634 14907 597401 62478 1537615 3737010 90.71 14.44 -- 2451.69/614.04 c N dy 7425 1087586 2634 14907 597401 81848 1537615 5217008 68.75 14.43 -- 2484.04/622.13 c N dy 7565 1107735 2634 14907 597401 58097 1537615 3287672 60.70 14.43 -- 2524.39/632.28 c N dy 7701 1127867 2634 14907 597401 77189 1537615 4546456 47.33 14.40 -- 2568.75/643.36 c N dy 7837 1147957 2634 14907 597401 52341 1537615 2742298 85.02 14.39 -- 2608.71/653.30 c N dy 7977 1168085 2634 14907 597401 71820 1537615 4707541 85.75 14.37 -- 2661.85/666.63 c N dy 8115 1188152 2634 14907 597401 45934 1537615 1892433 123.23 14.38 -- 2706.61/677.81 c N dy 8254 1208280 2634 14907 597401 65286 1537615 3880198 72.61 14.39 -- 2711.41/679.04 c S st 8265 1209730 2634 14907 597401 66675 1537615 4032073 127.37 14.39 -- 2712.58/679.37 c S st 8265 1210230 2634 14907 597401 67172 1537615 4089714 127.37 14.39 -- 2712.58/679.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09 2712.58/679.39 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.00 2735.76/685.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 1185 BRemN: 1332 CBin: 0 P: 60.0M T: 22.87 2735.76/685.18 c Calc non-exist non-lernt bins v-fix: 0 done: 2634 time: 0.27 s 2735.76/685.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2736.56/685.39 c Subs w/ non-existent bins: 0 time: 0.83 s 2736.96/685.43 c Replacing 2 vars Replaced 2273 lits Time: 0.16 s 2737.78/685.62 c bin-w-bin subsume rem 1288 bins time: 0.42 s 2743.75/687.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.22 s 2744.15/687.21 c Removed useless bin: 0 fixed: 0 bprops: 0.70M time: 0.11 s 2771.72/694.17 c ORs : 115 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 1.58 2788.10/698.22 c Added 27 vars tried: 80000 time: 16.20 2788.50/698.37 c ORs : 27 avg-s: 0.0 cl-sh: 23733 l-rem: 23733 b-add: 54 v-rep: 0 cl-rem: 47 avg s: 17.9 T: 16.77 2788.90/698.42 c lits-rem: 1007 cl-subs: 5907 v-elim: 2305 v-fix: 0 time: 44.80 s 2788.90/698.42 c learnt bin added due to v-elim: 0 2788.90/698.43 c vivif2 -- cl tried 14898 cl shrink 3 lits rem 3 time: 0.06 2789.70/698.60 c vivif2 -- cl tried 61254 cl shrink 575 lits rem 946 time: 0.67 2790.51/698.89 c asymm cl-useful: 0/93/14897 lits-rem:0 time: 1.17 2790.89/698.91 c calculated reachability. Time: 0.01 2790.89/698.91 c N dy 8265 1210230 2659 14897 593646 61254 1531876 3670390 127.37 14.39 -- 2850.83/713.93 c N dy 8402 1230324 2659 14897 593649 80456 1531876 5559344 77.69 14.40 -- 2908.37/728.40 c N dy 8541 1250379 2659 14897 593650 53819 1531876 2684579 100.36 14.43 -- 2914.76/729.93 c Finding binary XORs T: 0.06 s found: 0 2943.53/737.16 c N dy 8677 1270487 2659 14897 593650 72950 1531876 4177383 150.56 14.43 -- 2985.08/747.53 c N dy 8817 1290495 2659 14897 593650 92426 1531876 6392312 94.58 14.42 -- 3020.64/756.43 c N dy 8954 1310638 2659 14897 593651 64449 1531876 3122776 26.81 14.39 -- 3057.80/765.73 c N dy 9093 1330801 2659 14897 593651 83840 1531875 5148754 117.00 14.40 -- 3104.95/777.53 c N dy 9232 1350889 2662 14897 598916 55256 1531887 2823828 123.06 14.41 -- 3145.70/787.75 c N dy 9367 1370920 2662 14897 598917 74294 1531887 4077336 53.06 14.40 -- 3198.05/800.87 c N dy 9503 1390962 2662 14897 598917 93529 1531887 5885406 135.14 14.41 -- 3233.21/809.68 c N dy 9643 1411062 2662 14897 598917 64102 1531887 3616945 150.83 14.43 -- 3271.96/819.38 c N dy 9783 1431186 2663 14897 599062 83622 1531890 5646976 96.81 14.44 -- 3319.11/831.11 c N dy 9920 1451215 2663 14897 599062 52911 1531890 2187292 97.44 14.46 -- 3353.86/839.85 c N dy 10058 1471330 2663 14897 599062 72232 1531890 3812749 115.50 14.46 -- 3389.03/848.68 c N dy 10196 1491353 2663 14897 599062 91587 1531890 5726446 126.18 14.46 -- 3425.79/857.82 c N dy 10336 1511428 2663 14897 599094 59923 1531890 2780993 83.51 14.43 -- 3458.95/866.14 c N dy 10474 1531557 2663 14897 599094 79293 1531890 4255282 60.73 14.41 -- 3494.91/875.11 c N dy 10612 1551561 2663 14897 599094 98595 1531890 6078161 90.87 14.41 -- 3531.27/884.25 c N dy 10752 1571659 2663 14897 599094 65902 1531890 3349649 81.83 14.40 -- 3571.23/894.20 c N dy 10891 1591794 2691 14897 601371 85404 1532002 5080587 120.31 14.39 -- 3623.96/907.45 c N dy 11029 1611831 2691 14897 601371 104720 1532002 6853614 94.90 14.40 -- 3659.52/916.34 c N dy 11168 1631894 2691 14897 601371 70971 1532002 3676152 141.90 14.41 -- 3706.27/928.01 c N dy 11306 1652010 2691 14897 601371 90355 1532002 5510876 37.74 14.41 -- 3761.43/941.90 c N dy 11445 1672125 2691 14897 601702 55674 1532001 2149003 72.89 14.41 -- 3790.58/949.11 c N dy 11583 1692260 2691 14897 601702 75014 1532001 3684832 119.28 14.39 -- 3825.34/957.87 c S st 11706 1710230 2691 14897 601702 92329 1532001 5341166 102.20 14.40 -- 3826.14/958.06 c S st 11706 1710731 2691 14897 601702 92826 1532001 5406215 102.20 14.40 -- 3826.14/958.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10 3826.14/958.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3843.32/962.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 469 BRemN: 174 CBin: 0 P: 60.0M T: 17.03 3843.72/962.41 c Calc non-exist non-lernt bins v-fix: 0 done: 2691 time: 0.28 s 3843.72/962.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3844.94/962.71 c Subs w/ non-existent bins: 0 time: 1.17 s 3845.71/962.93 c bin-w-bin subsume rem 1 bins time: 0.42 s 3851.71/964.44 c subs with bin: 1 lits-rem: 2 v-fix: 0 time: 6.02 s 3851.71/964.47 c Removed useless bin: 0 fixed: 0 bprops: 0.69M time: 0.11 s 3997.16/1000.87 c ORs : 184 avg-s: 2.0 cl-sh: 10 l-rem: 10 b-add: 0 v-rep: 0 cl-rem: 14 avg s: 3.0 T: 1.70 4010.74/1004.25 c Added 28 vars tried: 80000 time: 13.50 4011.54/1004.41 c ORs : 28 avg-s: 0.0 cl-sh: 21853 l-rem: 21853 b-add: 56 v-rep: 0 cl-rem: 30 avg s: 3.0 T: 14.16 4011.54/1004.48 c lits-rem: 155 cl-subs: 12381 v-elim: 4361 v-fix: 0 time: 159.86 s 4011.54/1004.48 c learnt bin added due to v-elim: 0 4011.54/1004.50 c vivif2 -- cl tried 17065 cl shrink 661 lits rem 661 time: 0.08 4012.73/1004.76 c vivif2 -- cl tried 80434 cl shrink 6308 lits rem 9358 time: 1.05 4013.93/1005.01 c asymm cl-useful: 0/86/16410 lits-rem:0 time: 0.99 4013.93/1005.03 c calculated reachability. Time: 0.01 4013.93/1005.03 c N dy 11706 1710731 2715 16410 599516 80434 1531518 4651657 102.20 14.40 -- 4059.08/1016.33 c N dy 11845 1730865 2715 16410 599517 99753 1531518 6397397 57.60 14.40 -- 4097.84/1026.02 c N dy 11983 1750951 2715 16410 599517 64432 1531518 3019027 172.53 14.39 -- 4145.38/1037.98 c N dy 12119 1771049 2715 16410 599521 83672 1531518 4677997 57.22 14.38 -- 4208.92/1053.88 c N dy 12254 1791145 2715 16410 603208 102920 1531518 5920141 56.88 14.39 -- 4244.89/1062.86 c N dy 12392 1811179 2715 16410 604062 66746 1531518 3283662 50.17 14.38 -- 4282.03/1072.13 c N dy 12529 1831261 2715 16410 604062 86228 1531518 5181979 57.76 14.39 -- 4335.58/1085.50 c N dy 12665 1851386 2715 16410 604062 105526 1531518 6370858 79.99 14.39 -- 4377.52/1096.05 c N dy 12803 1871506 2715 16410 604085 68129 1531518 3144652 53.20 14.38 -- 4411.91/1104.62 c N dy 12941 1891627 2721 16410 604511 87456 1531542 4679875 102.52 14.38 -- 4452.64/1114.82 c N dy 13080 1911714 2721 16410 604511 106975 1531542 6553329 50.10 14.39 -- 4494.60/1125.39 c N dy 13218 1931774 2721 16410 604511 68577 1531542 3568710 56.51 14.40 -- 4541.74/1137.11 c N dy 13355 1951797 2721 16410 604705 87886 1531542 5187423 54.90 14.41 -- 4591.69/1149.68 c N dy 13492 1971877 2721 16410 604705 107288 1531542 6949384 85.74 14.41 -- 4650.41/1164.36 c N dy 13627 1991965 2746 16410 604756 67674 1531641 2766864 51.74 14.41 -- 4680.79/1171.96 c N dy 13766 2012047 2746 16410 604756 87109 1531641 4460449 49.34 14.41 -- 4726.34/1183.36 c N dy 13901 2032120 2746 16410 604756 106435 1531641 5693500 52.10 14.40 -- 4775.48/1195.64 c N dy 14038 2052132 2746 16410 605592 65890 1531641 2800495 48.29 14.41 --
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-3251635-1304183904/watcher-3251635-1304183904 -o /tmp/evaluation-result-3251635-1304183904/solver-3251635-1304183904 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251635-1304183904.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: 7.81 8.02 7.74 5/180 22700 /proc/meminfo: memFree=22149220/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 1090 0 0 0 0 0 0 0 25 0 1 0 510806585 52441088 1025 33554432000 4194304 4797429 140733812425152 18446744073709551615 4366859 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/22700/statm: 12803 1026 347 148 0 7732 0 [startup+0.0211119 s] /proc/loadavg: 7.81 8.02 7.74 5/180 22700 /proc/meminfo: memFree=22149220/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=55192 CPUtime=0.01 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 2001 0 0 0 1 0 0 0 25 0 1 0 510806585 56516608 1870 33554432000 4194304 4797429 140733812425152 18446744073709551615 255106429637 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/22700/statm: 13831 1871 348 148 0 8760 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 55192 [startup+0.1011 s] /proc/loadavg: 7.81 8.02 7.74 5/180 22700 /proc/meminfo: memFree=22149220/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=64036 CPUtime=0.09 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 4200 0 0 0 9 0 0 0 25 0 1 0 510806585 65572864 4069 33554432000 4194304 4797429 140733812425152 18446744073709551615 255106429637 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/22700/statm: 16009 4071 348 148 0 10938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 64036 [startup+0.301065 s] /proc/loadavg: 7.81 8.02 7.74 5/180 22700 /proc/meminfo: memFree=22149220/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=87332 CPUtime=0.29 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 10026 0 0 0 28 1 0 0 25 0 1 0 510806585 89427968 9895 33554432000 4194304 4797429 140733812425152 18446744073709551615 255106429637 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/22700/statm: 21833 9900 348 148 0 16762 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 87332 [startup+0.904292 s] /proc/loadavg: 7.81 8.02 7.74 5/180 22700 /proc/meminfo: memFree=22149220/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=729880 CPUtime=2.27 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 21621 0 0 0 224 3 0 0 18 0 4 0 510806585 747397120 21462 33554432000 4194304 4797429 140733812425152 18446744073709551615 255106465467 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 182470 21462 399 148 0 177399 0 Current children cumulated CPU time (s) 2.27 Current children cumulated vsize (KiB) 729880 [startup+1.50079 s] /proc/loadavg: 7.81 8.02 7.74 10/184 22704 /proc/meminfo: memFree=22040192/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=732636 CPUtime=4.65 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 28533 0 0 0 460 5 0 0 18 0 4 0 510806585 750219264 28334 33554432000 4194304 4797429 140733812425152 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 183159 28334 409 148 0 178088 0 [pid=22700/tid=22702] ppid=22698 vsize=732636 CPUtime=1.04 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 3918 0 0 0 104 0 0 0 19 0 4 0 510806629 750219264 28334 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=732636 CPUtime=1.04 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 3964 0 0 0 103 1 0 0 18 0 4 0 510806629 750219264 28334 33554432000 4194304 4797429 140733812425152 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=732636 CPUtime=1.03 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 3892 0 0 0 103 0 0 0 19 0 4 0 510806629 750219264 28334 33554432000 4194304 4797429 140733812425152 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.65 Current children cumulated vsize (KiB) 732636 [startup+3.10051 s] /proc/loadavg: 7.81 8.02 7.74 9/184 22704 /proc/meminfo: memFree=22027172/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=747076 CPUtime=11.04 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 35463 0 0 0 1097 7 0 0 21 0 4 0 510806585 765005824 30747 33554432000 4194304 4797429 140733812425152 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 186769 30747 412 148 0 181698 0 [pid=22700/tid=22702] ppid=22698 vsize=747076 CPUtime=2.65 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 5663 0 0 0 264 1 0 0 22 0 4 0 510806629 765005824 30747 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=747076 CPUtime=2.65 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 5918 0 0 0 263 2 0 0 21 0 4 0 510806629 765005824 30747 33554432000 4194304 4797429 140733812425152 18446744073709551615 4351624 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=747076 CPUtime=2.63 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 6147 0 0 0 262 1 0 0 22 0 4 0 510806629 765005824 30747 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 11.04 Current children cumulated vsize (KiB) 747076 [startup+6.30094 s] /proc/loadavg: 7.82 8.02 7.74 9/184 22704 /proc/meminfo: memFree=22007092/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=753656 CPUtime=23.82 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 43080 0 0 0 2373 9 0 0 25 0 4 0 510806585 771743744 36605 33554432000 4194304 4797429 140733812425152 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 188414 36605 415 148 0 183343 0 [pid=22700/tid=22702] ppid=22698 vsize=753656 CPUtime=5.84 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 7307 0 0 0 583 1 0 0 25 0 4 0 510806629 771743744 36605 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=753656 CPUtime=5.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 7503 0 0 0 582 3 0 0 25 0 4 0 510806629 771743744 36605 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=753656 CPUtime=5.81 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 7919 0 0 0 580 1 0 0 25 0 4 0 510806629 771743744 36605 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 23.82 Current children cumulated vsize (KiB) 753656 [startup+12.7008 s] /proc/loadavg: 7.84 8.02 7.74 9/184 22704 /proc/meminfo: memFree=21973812/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=758012 CPUtime=49.39 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 54413 0 0 0 4926 13 0 0 25 0 4 0 510806585 776204288 44174 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428848 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 189503 44174 415 148 0 184432 0 [pid=22700/tid=22702] ppid=22698 vsize=758012 CPUtime=12.25 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 9510 0 0 0 1222 3 0 0 25 0 4 0 510806629 776204288 44174 33554432000 4194304 4797429 140733812425152 18446744073709551615 4568135 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=758012 CPUtime=12.25 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 9525 0 0 0 1221 4 0 0 25 0 4 0 510806629 776204288 44174 33554432000 4194304 4797429 140733812425152 18446744073709551615 4526443 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=758012 CPUtime=12.18 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 10752 0 0 0 1216 2 0 0 25 0 4 0 510806629 776204288 44174 33554432000 4194304 4797429 140733812425152 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 49.39 Current children cumulated vsize (KiB) 758012 [startup+25.5006 s] /proc/loadavg: 7.87 8.02 7.74 9/184 22704 /proc/meminfo: memFree=21974808/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=765728 CPUtime=100.53 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 65645 0 0 0 10038 15 0 0 25 0 4 0 510806585 784105472 43848 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524464 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 191432 43848 416 148 0 186361 0 [pid=22700/tid=22702] ppid=22698 vsize=765728 CPUtime=25.05 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 11181 0 0 0 2502 3 0 0 25 0 4 0 510806629 784105472 43848 33554432000 4194304 4797429 140733812425152 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=765728 CPUtime=25.05 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 11259 0 0 0 2501 4 0 0 25 0 4 0 510806629 784105472 43848 33554432000 4194304 4797429 140733812425152 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=765728 CPUtime=24.91 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 12524 0 0 0 2489 2 0 0 25 0 4 0 510806629 784105472 43848 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 100.53 Current children cumulated vsize (KiB) 765728 [startup+51.1011 s] /proc/loadavg: 8.05 8.05 7.76 9/184 22705 /proc/meminfo: memFree=21952584/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=770188 CPUtime=202.78 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 79169 0 0 0 20259 19 0 0 25 0 4 0 510806585 788672512 49706 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 192547 49706 419 148 0 187476 0 [pid=22700/tid=22702] ppid=22698 vsize=770188 CPUtime=50.64 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 12160 0 0 0 5061 3 0 0 25 0 4 0 510806629 788672512 49706 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=770188 CPUtime=50.64 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 12520 0 0 0 5059 5 0 0 25 0 4 0 510806629 788672512 49706 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=770188 CPUtime=50.37 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 13450 0 0 0 5035 2 0 0 25 0 4 0 510806629 788672512 49706 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 202.78 Current children cumulated vsize (KiB) 770188 [startup+102.301 s] /proc/loadavg: 8.08 8.06 7.77 9/184 22706 /proc/meminfo: memFree=21926432/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=787968 CPUtime=407.29 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 110905 0 0 0 40702 27 0 0 25 0 4 0 510806585 806879232 56842 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 196992 56842 421 148 0 191921 0 [pid=22700/tid=22702] ppid=22698 vsize=787968 CPUtime=101.84 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 15309 0 0 0 10181 3 0 0 25 0 4 0 510806629 806879232 56842 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=787968 CPUtime=101.84 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 15178 0 0 0 10179 5 0 0 25 0 4 0 510806629 806879232 56842 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=787968 CPUtime=101.3 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 16480 0 0 0 10127 3 0 0 25 0 4 0 510806629 806879232 56842 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 407.29 Current children cumulated vsize (KiB) 787968 [startup+162.301 s] /proc/loadavg: 8.09 8.06 7.79 9/184 22708 /proc/meminfo: memFree=21909032/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=797340 CPUtime=646.96 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 140406 0 0 0 64661 35 0 0 25 0 4 0 510806585 816476160 60992 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 199335 60992 421 148 0 194264 0 [pid=22700/tid=22702] ppid=22698 vsize=797340 CPUtime=161.83 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 19184 0 0 0 16179 4 0 0 25 0 4 0 510806629 816476160 60992 33554432000 4194304 4797429 140733812425152 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=797340 CPUtime=161.84 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 18157 0 0 0 16178 6 0 0 25 0 4 0 510806629 816476160 60992 33554432000 4194304 4797429 140733812425152 18446744073709551615 4642241 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=797340 CPUtime=160.97 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 19141 0 0 0 16093 4 0 0 25 0 4 0 510806629 816476160 60992 33554432000 4194304 4797429 140733812425152 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 646.96 Current children cumulated vsize (KiB) 797340 [startup+222.301 s] /proc/loadavg: 8.08 8.06 7.81 9/184 22710 /proc/meminfo: memFree=21905900/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=799916 CPUtime=886.63 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 170004 0 0 0 88620 43 0 0 25 0 4 0 510806585 819113984 62482 33554432000 4194304 4797429 140733812425152 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 199979 62482 421 148 0 194908 0 [pid=22700/tid=22702] ppid=22698 vsize=799916 CPUtime=221.83 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 21950 0 0 0 22179 4 0 0 25 0 4 0 510806629 819113984 62482 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=799916 CPUtime=221.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 20898 0 0 0 22178 7 0 0 25 0 4 0 510806629 819113984 62482 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=799916 CPUtime=220.65 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 21737 0 0 0 22060 5 0 0 25 0 4 0 510806629 819113984 62482 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 886.63 Current children cumulated vsize (KiB) 799916 [startup+282.3 s] ################ # More data... # ################ [pid=22700] ppid=22698 vsize=826956 CPUtime=2804.48 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 353357 0 0 0 280337 111 0 0 25 0 4 0 510806585 846802944 77815 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 206739 77815 421 148 0 201668 0 [pid=22700/tid=22702] ppid=22698 vsize=826956 CPUtime=701.83 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 39063 0 0 0 70173 10 0 0 25 0 4 0 510806629 846802944 77815 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=826956 CPUtime=701.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 38321 0 0 0 70171 14 0 0 25 0 4 0 510806629 846802944 77815 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=826956 CPUtime=698.46 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 39184 0 0 0 69835 11 0 0 25 0 4 0 510806629 846802944 77815 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2804.48 Current children cumulated vsize (KiB) 826956 [startup+762.301 s] /proc/loadavg: 4.08 4.70 6.14 5/175 22745 /proc/meminfo: memFree=25117288/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=830536 CPUtime=3044.21 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 375872 0 0 0 304301 120 0 0 25 0 4 0 510806585 850468864 76420 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 207634 76420 421 148 0 202563 0 [pid=22700/tid=22702] ppid=22698 vsize=830536 CPUtime=761.84 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 41582 0 0 0 76173 11 0 0 25 0 4 0 510806629 850468864 76420 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=830536 CPUtime=761.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 40542 0 0 0 76170 15 0 0 25 0 4 0 510806629 850468864 76420 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=830536 CPUtime=758.2 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 41450 0 0 0 75808 12 0 0 25 0 4 0 510806629 850468864 76420 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3044.21 Current children cumulated vsize (KiB) 830536 [startup+822.3 s] /proc/loadavg: 4.10 4.59 6.01 5/175 22747 /proc/meminfo: memFree=25095036/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=831252 CPUtime=3283.94 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 395154 0 0 0 328265 129 0 0 25 0 4 0 510806585 851202048 82016 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 207813 82016 421 148 0 202742 0 [pid=22700/tid=22702] ppid=22698 vsize=831252 CPUtime=821.84 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 42662 0 0 0 82172 12 0 0 25 0 4 0 510806629 851202048 82016 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=831252 CPUtime=821.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 41800 0 0 0 82170 15 0 0 25 0 4 0 510806629 851202048 82016 33554432000 4194304 4797429 140733812425152 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=831252 CPUtime=817.92 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 42585 0 0 0 81780 12 0 0 25 0 4 0 510806629 851202048 82016 33554432000 4194304 4797429 140733812425152 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3283.94 Current children cumulated vsize (KiB) 831252 [startup+882.301 s] /proc/loadavg: 4.03 4.48 5.88 5/175 22748 /proc/meminfo: memFree=25116172/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=834732 CPUtime=3523.68 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 421733 0 0 0 352229 139 0 0 25 0 4 0 510806585 854765568 77065 33554432000 4194304 4797429 140733812425152 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 208683 77065 421 148 0 203612 0 [pid=22700/tid=22702] ppid=22698 vsize=834732 CPUtime=881.84 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 45084 0 0 0 88171 13 0 0 25 0 4 0 510806629 854765568 77065 33554432000 4194304 4797429 140733812425152 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=834732 CPUtime=881.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 44226 0 0 0 88168 17 0 0 25 0 4 0 510806629 854765568 77065 33554432000 4194304 4797429 140733812425152 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=834732 CPUtime=877.65 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 45107 0 0 0 87752 13 0 0 25 0 4 0 510806629 854765568 77065 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3523.68 Current children cumulated vsize (KiB) 834732 [startup+942.3 s] /proc/loadavg: 4.01 4.39 5.76 5/175 22750 /proc/meminfo: memFree=25102228/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=836476 CPUtime=3763.41 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 439973 0 0 0 376195 146 0 0 25 0 4 0 510806585 856551424 80100 33554432000 4194304 4797429 140733812425152 18446744073709551615 4351259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 209119 80101 421 148 0 204048 0 [pid=22700/tid=22702] ppid=22698 vsize=836476 CPUtime=941.84 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 46368 0 0 0 94171 13 0 0 25 0 4 0 510806629 856551424 80101 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=836476 CPUtime=941.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 45318 0 0 0 94167 18 0 0 25 0 4 0 510806629 856551424 80101 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=836476 CPUtime=937.38 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 46224 0 0 0 93724 14 0 0 25 0 4 0 510806629 856551424 80101 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3763.41 Current children cumulated vsize (KiB) 836476 [startup+1002.3 s] /proc/loadavg: 4.00 4.32 5.64 5/175 22751 /proc/meminfo: memFree=25084932/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=843452 CPUtime=4003.16 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 451138 0 0 0 400166 150 0 0 25 0 4 0 510806585 863694848 84328 33554432000 4194304 4797429 140733812425152 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 210863 84328 421 148 0 205792 0 [pid=22700/tid=22702] ppid=22698 vsize=843452 CPUtime=1001.85 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 49098 0 0 0 100171 14 0 0 25 0 4 0 510806629 863694848 84328 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=843452 CPUtime=1001.86 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 46441 0 0 0 100167 19 0 0 25 0 4 0 510806629 863694848 84328 33554432000 4194304 4797429 140733812425152 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=843452 CPUtime=997.11 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 48686 0 0 0 99697 14 0 0 25 0 4 0 510806629 863694848 84328 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4003.16 Current children cumulated vsize (KiB) 843452 [startup+1062.3 s] /proc/loadavg: 4.06 4.27 5.54 5/175 22753 /proc/meminfo: memFree=25087852/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=846308 CPUtime=4242.88 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 470661 0 0 0 424131 157 0 0 25 0 4 0 510806585 866619392 83978 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 211577 83978 421 148 0 206506 0 [pid=22700/tid=22702] ppid=22698 vsize=846308 CPUtime=1061.85 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 50247 0 0 0 106170 15 0 0 25 0 4 0 510806629 866619392 83978 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=846308 CPUtime=1061.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 49112 0 0 0 106166 19 0 0 25 0 4 0 510806629 866619392 83978 33554432000 4194304 4797429 140733812425152 18446744073709551615 4642109 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=846308 CPUtime=1056.84 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 50025 0 0 0 105669 15 0 0 25 0 4 0 510806629 866619392 83978 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4242.88 Current children cumulated vsize (KiB) 846308 [startup+1122.31 s] /proc/loadavg: 4.02 4.22 5.45 5/175 22755 /proc/meminfo: memFree=25080724/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=849552 CPUtime=4482.63 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 491008 0 0 0 448101 162 0 0 25 0 4 0 510806585 869941248 85453 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 212388 85453 421 148 0 207317 0 [pid=22700/tid=22702] ppid=22698 vsize=849552 CPUtime=1121.85 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 53156 0 0 0 112170 15 0 0 25 0 4 0 510806629 869941248 85453 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=849552 CPUtime=1121.86 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 50232 0 0 0 112167 19 0 0 25 0 4 0 510806629 869941248 85453 33554432000 4194304 4797429 140733812425152 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=849552 CPUtime=1116.56 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 51248 0 0 0 111641 15 0 0 25 0 4 0 510806629 869941248 85453 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4482.63 Current children cumulated vsize (KiB) 849552 [startup+1182.3 s] /proc/loadavg: 4.05 4.19 5.36 5/175 22756 /proc/meminfo: memFree=25068764/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=850244 CPUtime=4722.35 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 509718 0 0 0 472065 170 0 0 25 0 4 0 510806585 870649856 88508 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 212561 88508 421 148 0 207490 0 [pid=22700/tid=22702] ppid=22698 vsize=850244 CPUtime=1181.85 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 54188 0 0 0 118169 16 0 0 25 0 4 0 510806629 870649856 88508 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=850244 CPUtime=1181.85 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 53282 0 0 0 118165 20 0 0 25 0 4 0 510806629 870649856 88508 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=850244 CPUtime=1176.29 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 54566 0 0 0 117613 16 0 0 25 0 4 0 510806629 870649856 88508 33554432000 4194304 4797429 140733812425152 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4722.35 Current children cumulated vsize (KiB) 850244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.8 s] /proc/loadavg: 4.04 4.18 5.33 5/175 22757 /proc/meminfo: memFree=25071856/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=850804 CPUtime=4800.27 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 516318 0 0 0 479855 172 0 0 25 0 4 0 510806585 871223296 87636 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 212701 87636 421 148 0 207630 0 [pid=22700/tid=22702] ppid=22698 vsize=850804 CPUtime=1201.35 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 54378 0 0 0 120119 16 0 0 25 0 4 0 510806629 871223296 87636 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=850804 CPUtime=1201.37 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 53597 0 0 0 120116 21 0 0 25 0 4 0 510806629 871223296 87636 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=850804 CPUtime=1195.7 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 54914 0 0 0 119554 16 0 0 25 0 4 0 510806629 871223296 87636 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428704 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.27 Current children cumulated vsize (KiB) 850804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.8 s] /proc/loadavg: 4.04 4.18 5.33 5/175 22757 /proc/meminfo: memFree=25071856/32951124 swapFree=67111448/67111528 [pid=22700] ppid=22698 vsize=850804 CPUtime=4800.27 cores=0,2,4,6 /proc/22700/stat : 22700 (techdemo) R 22698 22700 21863 0 -1 4202496 516318 0 0 0 479855 172 0 0 25 0 4 0 510806585 871223296 87636 33554432000 4194304 4797429 140733812425152 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/22700/statm: 212701 87636 421 148 0 207630 0 [pid=22700/tid=22702] ppid=22698 vsize=850804 CPUtime=1201.35 cores=0,2,4,6 /proc/22700/task/22702/stat : 22702 (techdemo) R 22698 22700 21863 0 -1 4202560 54378 0 0 0 120119 16 0 0 25 0 4 0 510806629 871223296 87636 33554432000 4194304 4797429 140733812425152 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=22700/tid=22703] ppid=22698 vsize=850804 CPUtime=1201.37 cores=0,2,4,6 /proc/22700/task/22703/stat : 22703 (techdemo) R 22698 22700 21863 0 -1 4202560 53597 0 0 0 120116 21 0 0 25 0 4 0 510806629 871223296 87636 33554432000 4194304 4797429 140733812425152 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=22700/tid=22704] ppid=22698 vsize=850804 CPUtime=1195.7 cores=0,2,4,6 /proc/22700/task/22704/stat : 22704 (techdemo) R 22698 22700 21863 0 -1 4202560 54914 0 0 0 119554 16 0 0 25 0 4 0 510806629 871223296 87636 33554432000 4194304 4797429 140733812425152 18446744073709551615 4428704 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.27 Current children cumulated vsize (KiB) 850804 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.83 CPU time (s): 4800.32 CPU user time (s): 4798.58 CPU system time (s): 1.74273 CPU usage (%): 399.417 Max. virtual memory (cumulated for all children) (KiB): 969264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.58 system time used= 1.74273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 516318 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= 1622 involuntary context switches= 20303 runsolver used 1.72274 second user time and 3.97439 second system time The end
Begin job on node144 at 2011-04-30 19:18:25 IDJOB=3251635 IDBENCH=88228 IDSOLVER=1584 FILE ID=node144/3251635-1304183904 RUNJOBID= node144-1304182625-22454 PBS_JOBID= 13172446 Free space on /tmp= 73332 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251635-1304183904/watcher-3251635-1304183904 -o /tmp/evaluation-result-3251635-1304183904/solver-3251635-1304183904 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251635-1304183904.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 71638ad618721ad48c6bd2d48b828020 RANDOM SEED=1733773774 node144.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.850 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.70 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.83 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.850 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.850 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.82 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.850 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.850 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22149376 kB Buffers: 2131500 kB Cached: 4992120 kB SwapCached: 80 kB Active: 3547092 kB Inactive: 6704400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22149376 kB SwapTotal: 67111528 kB SwapFree: 67111448 kB Dirty: 15156 kB Writeback: 0 kB AnonPages: 3127324 kB Mapped: 15608 kB Slab: 480596 kB PageTables: 10808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 4253760 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= 73520 MiB End job on node144 at 2011-04-30 19:38:28