| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.31 | 1201.73 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf |
| MD5SUM | c86ce640ddb0138bf41ccc37bc6fcf28 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.84587 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1295 |
| Number of clauses | 148400 |
| Sum of the clauses size | 298025 |
| Maximum clause length | 37 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 148365 |
| 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 | 35 |
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-3251283-1304183560.cnf' 0.00/0.00 c -- header says num vars: 1295 0.00/0.00 c -- header says num clauses: 148400 0.09/0.11 c -- clauses added: 0 learnts, 148400 normals, 0 xors 0.09/0.11 c -- vars added 1295 0.09/0.11 c Parsing time: 0.11 s 0.09/0.11 c N st 0 0 1295 35 148365 0 298025 0 no data no data -- 0.09/0.11 c asymm cl-useful: 0/35/35 lits-rem:0 time: 0.00 0.09/0.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.8M T: 0.10 0.09/0.24 c Calc non-exist non-lernt bins v-fix: 0 done: 1295 time: 0.06 s 0.09/0.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.09/0.24 c Subs w/ non-existent bins: 0 time: 0.00 s 0.09/0.24 c bin-w-bin subsume rem 0 bins time: 0.09 s 0.09/0.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.08 s 0.09/0.24 c Removed useless bin: 0 fixed: 0 bprops: 0.60M time: 0.06 s 0.58/0.94 c lits-rem: 135 cl-subs: 0 v-elim: 827 v-fix: 0 time: 0.14 s 0.58/0.94 c learnt bin added due to v-elim: 0 0.58/0.94 c Finding binary XORs T: 0.01 s found: 0 0.58/0.94 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 0.58/0.94 c calculated reachability. Time: 0.00 0.58/0.94 c Calc default polars - time: 0.01 s pos: 0 undec: 35 neg: 1260 0.58/0.94 c ========================================================================================= 0.58/0.94 c types(t): F = full restart, N = normal restart 0.58/0.94 c types(t): S = simplification begin/end, E = solution found 0.58/0.94 c restart types(rt): st = static, dy = dynamic 0.58/0.94 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.58/0.94 c B st 0 0 1260 4095 143010 0 447725 0 no data no data -- 0.58/0.94 c Decided on static restart strategy 0.58/0.94 c N dy 20 4043 1260 4095 143010 3931 447723 359865 89.96 20.16 -- 4.00/1.13 c N dy 49 8175 1260 4095 143010 5501 447723 426570 60.24 19.47 -- 5.59/1.58 c N dy 78 12301 1260 4095 143010 5388 447722 336953 86.63 18.47 -- 7.20/1.98 c N dy 107 16370 1260 4095 143010 9335 447721 589394 68.92 17.11 -- 9.19/2.40 c N dy 136 20379 1260 4095 143010 7791 447719 469015 84.10 16.84 -- 10.81/2.87 c N dy 166 24507 1260 4095 143010 11786 447719 729075 63.01 16.15 -- 12.79/3.37 c N dy 195 28631 1260 4095 143010 9138 447719 461102 47.38 15.68 -- 13.58/3.59 c S st 205 30001 1260 4095 143010 10436 447719 548040 70.22 15.69 -- 13.98/3.64 c S st 205 30503 1260 4095 143010 10937 447719 576355 70.22 15.69 -- 13.98/3.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 13.98/3.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 16.78/4.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 20.2M T: 2.70 16.78/4.34 c Calc non-exist non-lernt bins v-fix: 0 done: 1260 time: 0.06 s 16.78/4.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 16.78/4.35 c Subs w/ non-existent bins: 0 time: 0.07 s 16.78/4.39 c bin-w-bin subsume rem 0 bins time: 0.10 s 22.37/5.73 c subs with bin: 0 lits-rem: 5895 v-fix: 0 time: 5.33 s 22.37/5.74 c Removed useless bin: 0 fixed: 0 bprops: 0.58M time: 0.06 s 30.36/7.77 c lits-rem: 946 cl-subs: 1424 v-elim: 1260 v-fix: 0 time: 8.07 s 30.36/7.77 c learnt bin added due to v-elim: 0 30.36/7.77 c vivif2 -- cl tried 4095 cl shrink 2633 lits rem 23329 time: 0.03 30.36/7.79 c vivif2 -- cl tried 9513 cl shrink 0 lits rem 0 time: 0.05 31.16/7.91 c asymm cl-useful: 0/836/4095 lits-rem:0 time: 0.51 31.16/7.92 c calculated reachability. Time: 0.00 31.16/7.92 c N dy 205 30503 1260 4095 143010 9513 415248 502767 70.22 15.69 -- 31.16/7.92 c F st 205 30503 1260 4095 143010 9513 415248 502767 70.22 15.69 -- 32.37/8.21 c Decided on static restart strategy 33.55/8.57 c N dy 224 34526 1260 4095 143010 13380 415248 839785 88.44 15.32 -- 35.96/9.19 c N dy 252 38670 1260 4095 143010 9758 415248 559722 62.34 15.49 -- 38.75/9.84 c N dy 280 42767 1260 4095 143010 13728 415248 928594 92.13 15.38 -- 41.57/10.58 c S st 300 45756 1260 4095 143010 16629 415248 1243753 111.10 15.51 -- 41.94/10.65 c S st 300 46257 1260 4095 143010 17129 415248 1280428 111.10 15.51 -- 41.94/10.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 41.94/10.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 47.13/11.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 34.8M T: 5.23 47.13/11.98 c Calc non-exist non-lernt bins v-fix: 0 done: 1260 time: 0.06 s 47.13/11.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 47.53/12.00 c Subs w/ non-existent bins: 0 time: 0.10 s 47.53/12.05 c bin-w-bin subsume rem 0 bins time: 0.10 s 53.93/13.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.23 s 53.93/13.63 c Removed useless bin: 0 fixed: 0 bprops: 0.58M time: 0.06 s 60.33/15.22 c lits-rem: 556 cl-subs: 1623 v-elim: 1260 v-fix: 0 time: 6.36 s 60.33/15.22 c learnt bin added due to v-elim: 0 60.33/15.22 c vivif2 -- cl tried 4095 cl shrink 0 lits rem 0 time: 0.01 60.33/15.24 c vivif2 -- cl tried 15506 cl shrink 0 lits rem 0 time: 0.09 60.73/15.39 c asymm cl-useful: 0/425/4095 lits-rem:0 time: 0.56 60.73/15.39 c calculated reachability. Time: 0.00 60.73/15.39 c N dy 300 46257 1260 4095 143010 15506 415248 1116792 111.10 15.51 -- 63.54/16.00 c N dy 328 50347 1260 4095 143010 10858 415248 707968 98.12 15.55 -- 65.52/16.53 c N dy 356 54403 1260 4095 143010 14731 415248 1065506 94.68 15.48 -- 68.31/17.23 c N dy 384 58408 1260 4095 143010 18552 415248 1435824 127.94 15.77 -- 70.71/17.82 c N dy 413 62543 1260 4095 143010 12963 415248 851803 101.42 16.11 -- 73.51/18.57 c N dy 441 66622 1260 4095 143010 16922 415248 1258438 109.05 16.33 -- 76.72/19.31 c S st 461 69385 1260 4095 143010 19570 415248 1504084 94.67 16.33 -- 76.72/19.38 c S st 461 69887 1260 4095 143010 20068 415248 1543169 94.67 16.33 -- 76.72/19.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 76.72/19.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 87.49/22.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 10.77 87.89/22.10 c Calc non-exist non-lernt bins v-fix: 0 done: 1260 time: 0.06 s 87.89/22.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 87.89/22.13 c Subs w/ non-existent bins: 0 time: 0.12 s 87.89/22.18 c bin-w-bin subsume rem 0 bins time: 0.10 s 94.30/23.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.14 s 94.30/23.73 c Removed useless bin: 0 fixed: 0 bprops: 0.58M time: 0.06 s 102.27/25.75 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.11 121.44/30.57 c Added 13 vars tried: 80000 time: 19.22 122.24/30.78 c ORs : 13 avg-s: 0.0 cl-sh: 30542 l-rem: 30542 b-add: 26 v-rep: 0 cl-rem: 0 avg s: nan T: 20.06 122.24/30.80 c lits-rem: 397 cl-subs: 1716 v-elim: 1260 v-fix: 0 time: 28.20 s 122.24/30.80 c learnt bin added due to v-elim: 0 122.64/30.80 c vivif2 -- cl tried 4108 cl shrink 0 lits rem 0 time: 0.01 122.64/30.82 c vivif2 -- cl tried 18352 cl shrink 0 lits rem 0 time: 0.11 123.04/30.99 c asymm cl-useful: 0/653/4108 lits-rem:0 time: 0.67 123.44/31.00 c calculated reachability. Time: 0.00 123.44/31.00 c N dy 461 69887 1273 4108 143036 18352 414370 1320539 94.67 16.33 -- 123.44/31.00 c F st 461 69887 1273 4108 143036 18352 414370 1320539 94.67 16.33 -- 124.65/31.35 c Decided on static restart strategy 126.23/31.70 c N dy 484 74485 1273 4108 143037 12153 414370 855288 235.89 17.27 -- 129.05/32.49 c N dy 517 79327 1273 4108 143037 16798 414370 1608783 172.12 17.85 -- 134.22/33.72 c N dy 551 84526 1273 4108 143037 21738 414370 2536794 237.43 18.89 -- 137.42/34.52 c N dy 589 90017 1273 4108 143037 15502 414370 1178371 172.21 19.59 -- 141.42/35.53 c N dy 628 95839 1273 4108 143037 20946 414370 2241444 255.41 20.67 -- 147.81/37.16 c N dy 669 102053 1273 4108 143037 14486 414370 1153108 268.79 21.94 -- 150.60/37.85 c S st 688 104830 1273 4108 143037 17143 414370 1673873 175.99 22.18 -- 151.02/37.93 c S st 688 105331 1273 4108 143047 17634 414370 1705716 175.99 22.18 -- 151.02/37.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 151.02/37.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 165.78/41.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 1735 BRemL: 29 BRemN: 0 CBin: 0 P: 60.1M T: 14.86 165.78/41.68 c Calc non-exist non-lernt bins v-fix: 0 done: 1273 time: 0.06 s 165.78/41.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 166.18/41.70 c Subs w/ non-existent bins: 0 time: 0.11 s 166.18/41.76 c bin-w-bin subsume rem 0 bins time: 0.10 s 172.57/43.30 c subs with bin: 0 lits-rem: 2 v-fix: 0 time: 6.15 s 172.57/43.31 c Removed useless bin: 0 fixed: 0 bprops: 0.37M time: 0.04 s 181.78/45.61 c ORs : 24 avg-s: 2.0 cl-sh: 1 l-rem: 1 b-add: 1 v-rep: 0 cl-rem: 9 avg s: 3.0 T: 0.07 181.78/45.63 c lits-rem: 324 cl-subs: 3729 v-elim: 1980 v-fix: 0 time: 9.26 s 181.78/45.63 c learnt bin added due to v-elim: 0 181.78/45.63 c vivif2 -- cl tried 5319 cl shrink 614 lits rem 616 time: 0.02 181.78/45.66 c vivif2 -- cl tried 13904 cl shrink 405 lits rem 447 time: 0.11 182.96/45.91 c asymm cl-useful: 0/362/4706 lits-rem:0 time: 0.98 182.96/45.91 c calculated reachability. Time: 0.00 182.96/45.91 c N dy 688 105331 1268 4706 144121 13904 414921 1168254 175.99 22.18 -- 188.15/47.27 c N dy 734 112112 1268 4706 144121 20389 414921 2104468 120.29 22.73 -- 196.54/49.38 c N dy 782 119369 1268 4706 144121 14113 414921 844058 124.33 23.09 -- 201.74/50.62 c N dy 833 127067 1268 4706 144121 21469 414921 1840258 157.40 23.56 -- 207.74/52.14 c N dy 888 135274 1268 4706 144121 14989 414921 927488 154.15 23.55 -- 214.12/53.78 c N dy 947 144005 1268 4706 144121 23318 414921 2240292 179.79 23.71 -- 222.92/55.97 c N dy 1008 153196 1268 4706 144121 16890 414921 1106370 134.95 23.96 -- 226.51/56.85 c S st 1040 157998 1268 4706 144121 21462 414921 1784522 170.58 24.14 -- 226.91/56.93 c S st 1040 158498 1268 4706 144121 21962 414921 1818457 170.58 24.14 -- 226.91/56.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 226.91/56.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 240.10/60.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 1 BRemN: 615 CBin: 0 P: 60.0M T: 13.38 240.50/60.31 c Calc non-exist non-lernt bins v-fix: 0 done: 1268 time: 0.06 s 240.50/60.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 240.50/60.34 c Subs w/ non-existent bins: 0 time: 0.13 s 240.89/60.40 c bin-w-bin subsume rem 609 bins time: 0.10 s 246.49/61.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.86 s 246.49/61.87 c Removed useless bin: 0 fixed: 0 bprops: 0.42M time: 0.04 s 256.49/64.36 c ORs : 24 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 256.49/64.38 c lits-rem: 1601 cl-subs: 2354 v-elim: 1252 v-fix: 0 time: 9.99 s 256.49/64.38 c learnt bin added due to v-elim: 0 256.49/64.38 c vivif2 -- cl tried 4706 cl shrink 0 lits rem 0 time: 0.01 256.89/64.41 c vivif2 -- cl tried 19608 cl shrink 0 lits rem 0 time: 0.11 257.66/64.63 c asymm cl-useful: 0/187/4706 lits-rem:0 time: 0.87 257.66/64.63 c calculated reachability. Time: 0.00 257.66/64.63 c N dy 1040 158498 1268 4706 142896 19608 413691 1479220 170.58 24.14 -- 268.06/67.26 c N dy 1107 168726 1268 4706 142896 29347 413691 2963793 177.76 24.70 -- 279.24/70.03 c N dy 1178 179522 1268 4706 142896 23438 413691 2074974 195.56 25.08 -- 300.02/75.27 c N dy 1252 190977 1268 4706 142896 17114 413691 1037184 159.70 25.32 -- 310.80/77.95 c N dy 1334 203250 1308 4706 145814 29799 414883 2839827 161.72 25.53 -- 325.18/81.56 c N dy 1419 216301 1308 4706 145818 23689 414883 1961598 190.50 25.74 -- 341.57/85.69 c N dy 1510 230164 1308 4706 145818 36996 414883 4042929 152.50 25.90 -- 349.55/87.66 c S st 1561 237748 1308 4706 145818 24937 414883 1953580 144.89 26.27 -- 349.95/87.72 c S st 1561 238249 1308 4706 145818 25438 414883 1992772 144.89 26.27 -- 349.95/87.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 349.95/87.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 363.93/91.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 1134 BRemL: 78 BRemN: 16 CBin: 0 P: 60.0M T: 14.10 363.93/91.27 c Calc non-exist non-lernt bins v-fix: 0 done: 1308 time: 0.06 s 363.93/91.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 364.33/91.31 c Subs w/ non-existent bins: 396 time: 0.16 s 364.33/91.32 c Replacing 1 vars Replaced 14 lits Time: 0.04 s 364.33/91.38 c bin-w-bin subsume rem 510 bins time: 0.10 s 370.32/92.89 c subs with bin: 2 lits-rem: 2 v-fix: 0 time: 6.01 s 370.32/92.90 c Removed useless bin: 231 fixed: 0 bprops: 0.27M time: 0.03 s 379.94/95.24 c ORs : 24 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.09 379.94/95.26 c lits-rem: 894 cl-subs: 2088 v-elim: 1252 v-fix: 0 time: 9.45 s 379.94/95.26 c learnt bin added due to v-elim: 0 379.94/95.27 c vivif2 -- cl tried 4706 cl shrink 0 lits rem 0 time: 0.01 380.32/95.30 c vivif2 -- cl tried 22952 cl shrink 5 lits rem 5 time: 0.13 381.12/95.51 c asymm cl-useful: 0/293/4706 lits-rem:0 time: 0.86 381.12/95.52 c calculated reachability. Time: 0.00 381.12/95.52 c N dy 1561 238249 1307 4706 146122 22947 414385 1679151 144.89 26.27 -- 396.29/99.32 c N dy 1661 253510 1307 4706 146122 37407 414385 4228337 215.71 26.75 -- 412.27/103.37 c N dy 1769 269758 1307 4706 146125 33778 414391 3010596 139.07 26.76 -- 429.84/107.74 c N dy 1883 287098 1307 4706 146125 29197 414391 2276495 152.96 26.84 -- 449.43/112.64 c N dy 2005 305518 1363 4706 151245 25941 416295 1702332 123.84 27.02 -- 470.99/118.04 c N dy 2134 325089 1363 4706 151245 44598 416295 4523000 178.62 27.36 -- 493.37/123.60 c N dy 2267 345222 1363 4706 151246 40172 416295 3733999 133.95 27.65 -- 510.54/127.93 c S st 2348 357373 1363 4706 151251 27606 416295 1729668 122.34 27.74 -- 510.54/127.99 c S st 2348 357873 1363 4706 151251 28105 416295 1767580 122.34 27.74 -- 510.94/128.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 510.94/128.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 521.73/130.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 1185 BRemL: 255 BRemN: 715 CBin: 0 P: 60.0M T: 11.12 522.13/130.80 c Calc non-exist non-lernt bins v-fix: 0 done: 1363 time: 0.07 s 522.13/130.80 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 522.13/130.84 c Subs w/ non-existent bins: 857 time: 0.18 s 522.13/130.85 c Replacing 2 vars Replaced 430 lits Time: 0.04 s 522.53/130.91 c bin-w-bin subsume rem 796 bins time: 0.10 s 528.53/132.47 c subs with bin: 4 lits-rem: 9 v-fix: 0 time: 6.26 s 528.53/132.48 c Removed useless bin: 177 fixed: 0 bprops: 0.21M time: 0.03 s 535.32/134.19 c ORs : 24 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 3 avg s: 3.0 T: 0.09 535.72/134.21 c lits-rem: 231 cl-subs: 1371 v-elim: 1252 v-fix: 0 time: 6.91 s 535.72/134.21 c learnt bin added due to v-elim: 0 535.72/134.22 c vivif2 -- cl tried 4706 cl shrink 0 lits rem 0 time: 0.01 535.72/134.25 c vivif2 -- cl tried 25870 cl shrink 253 lits rem 404 time: 0.15 536.52/134.43 c asymm cl-useful: 0/496/4706 lits-rem:0 time: 0.73 536.52/134.44 c calculated reachability. Time: 0.00 536.52/134.44 c N dy 2348 357873 1361 4706 150725 25636 414498 1602112 122.34 27.74 -- 555.71/139.25 c N dy 2481 378011 1361 4706 150727 45434 414498 4219068 144.59 27.76 -- 575.26/144.17 c N dy 2614 398031 1361 4706 150727 39818 414498 3348877 156.18 27.93 -- 598.44/149.96 c N dy 2746 418102 1361 4706 150727 33216 414498 2398895 127.24 27.94 -- 624.80/156.52 c N dy 2877 438108 1361 4706 150727 52159 414498 4356375 139.05 28.03 -- 644.38/161.42 c N dy 3009 458178 1419 4706 156399 47611 417130 3703628 161.40 28.09 -- 667.55/167.23 c N dy 3143 478313 1419 4706 156408 37576 417130 2807219 196.52 28.27 -- 691.53/173.22 c N dy 3276 498333 1419 4706 156409 56739 417130 6042687 139.16 28.36 -- 711.89/178.38 c N dy 3408 518467 1419 4706 156423 46612 417130 4110342 213.28 28.42 -- 743.46/186.20 c S st 3529 536813 1419 4706 157914 34300 417264 1965113 106.22 28.57 -- 743.86/186.30 c S st 3529 537313 1419 4706 157914 34797 417264 1998332 106.22 28.57 -- 743.86/186.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 743.86/186.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 755.84/189.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bin: 14 BRemL: 317 BRemN: 1385 CBin: 0 P: 60.1M T: 12.30 756.24/189.41 c Calc non-exist non-lernt bins v-fix: 0 done: 1419 time: 0.08 s 756.24/189.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 756.24/189.46 c Subs w/ non-existent bins: 1275 time: 0.22 s 756.24/189.47 c Replacing 3 vars Replaced 43 lits Time: 0.04 s 756.64/189.53 c bin-w-bin subsume rem 1420 bins time: 0.10 s 762.63/191.09 c subs with bin: 6 lits-rem: 2 v-fix: 0 time: 6.20 s 762.63/191.09 c Removed useless bin: 80 fixed: 0 bprops: 0.19M time: 0.03 s 772.22/193.41 c ORs : 24 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.09 786.60/197.03 c Added 15 vars tried: 80000 time: 14.46 787.40/197.24 c ORs : 15 avg-s: 0.0 cl-sh: 26255 l-rem: 26255 b-add: 30 v-rep: 0 cl-rem: 13 avg s: 3.0 T: 15.29 787.40/197.26 c lits-rem: 996 cl-subs: 1745 v-elim: 1252 v-fix: 0 time: 24.65 s 787.40/197.27 c learnt bin added due to v-elim: 0 787.40/197.27 c vivif2 -- cl tried 4718 cl shrink 0 lits rem 0 time: 0.01 787.80/197.31 c vivif2 -- cl tried 31760 cl shrink 215 lits rem 228 time: 0.18 788.61/197.51 c asymm cl-useful: 0/179/4718 lits-rem:0 time: 0.78 788.61/197.51 c calculated reachability. Time: 0.00 788.61/197.51 c N dy 3529 537313 1431 4718 154956 31556 413745 1772318 106.22 28.57 -- 788.61/197.51 c F st 3529 537313 1431 4718 154956 31556 413745 1772318 106.22 28.57 -- 790.19/197.91 c Decided on static restart strategy 805.37/201.74 c N dy 3655 557419 1431 4718 154958 50704 413745 4399402 121.72 28.71 -- 805.79/201.83 c Finding binary XORs T: 0.01 s found: 0 823.77/206.31 c N dy 3788 577553 1431 4718 154958 39889 413745 2674519 134.45 28.79 -- 853.71/213.81 c N dy 3919 597696 1431 4718 154958 59106 413745 5178490 153.54 28.77 -- 871.29/218.21 c N dy 4052 617707 1431 4718 154958 47070 413745 3536510 127.32 28.89 -- 897.66/224.82 c N dy 4184 637822 1431 4718 154958 33941 413745 1829612 133.32 28.77 -- 915.65/229.34 c N dy 4316 657940 1431 4718 156586 53120 413745 4419269 184.32 28.78 -- 935.21/234.24 c N dy 4449 677981 1488 4718 161490 39614 415209 2372048 138.34 28.81 -- 962.37/241.01 c N dy 4582 698126 1488 4718 161490 58909 415209 5424478 121.72 29.03 -- 990.76/248.15 c N dy 4715 718262 1488 4718 161490 43448 415209 2818175 132.76 29.06 -- 1014.31/254.03 c N dy 4846 738265 1488 4718 161490 62625 415209 5318777 108.49 29.09 -- 1033.89/258.98 c N dy 4978 758305 1488 4718 162075 46124 415217 2898714 111.49 29.19 -- 1055.86/264.41 c N dy 5111 778444 1488 4718 162075 65408 415217 5523614 143.37 29.21 -- 1076.63/269.64 c N dy 5243 798466 1488 4718 162075 48232 415217 3305203 147.19 29.19 -- 1086.61/272.18 c S st 5293 805969 1488 4718 162075 55457 415217 4361598 133.35 29.20 -- 1087.43/272.34 c S st 5293 806469 1488 4718 162075 55956 415217 4396801 133.35 29.20 -- 1087.43/272.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1087.43/272.35 c Cache BProp: 0 Set: 0 BXProp: 6 T: 0.00 1103.39/276.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bin: 0 BRemL: 1164 BRemN: 2327 CBin: 0 P: 60.0M T: 16.07 1103.39/276.39 c Calc non-exist non-lernt bins v-fix: 0 done: 1488 time: 0.08 s 1103.39/276.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1103.79/276.49 c Subs w/ non-existent bins: 617 time: 0.38 s 1104.19/276.55 c Replacing 10 vars Replaced 8205 lits Time: 0.26 s 1104.61/276.66 c bin-w-bin subsume rem 626 bins time: 0.10 s 1110.98/278.21 c subs with bin: 1 lits-rem: 6 v-fix: 0 time: 6.21 s 1110.98/278.22 c Removed useless bin: 17 fixed: 0 bprops: 0.19M time: 0.03 s 1167.71/292.43 c ORs : 57 avg-s: 2.0 cl-sh: 5 l-rem: 5 b-add: 1 v-rep: 0 cl-rem: 7 avg s: 3.0 T: 0.26 1167.71/292.47 c lits-rem: 2883 cl-subs: 7964 v-elim: 1742 v-fix: 0 time: 56.92 s 1167.71/292.47 c learnt bin added due to v-elim: 0 1167.71/292.47 c vivif2 -- cl tried 5326 cl shrink 335 lits rem 335 time: 0.02 1168.11/292.55 c vivif2 -- cl tried 47372 cl shrink 682 lits rem 916 time: 0.32 1169.31/292.80 c asymm cl-useful: 0/139/4992 lits-rem:0 time: 0.99 1169.31/292.80 c calculated reachability. Time: 0.00 1169.31/292.80 c N dy 5293 806469 1475 4992 157610 47368 410721 3371639 133.35 29.20 -- 1195.28/299.36 c N dy 5427 826582 1529 4992 162267 66851 410995 6264350 147.32 29.58 -- 1224.84/306.77 c N dy 5560 846715 1529 4992 162722 49092 410995 3731390 167.92 30.22 -- 1262.40/316.12 c N dy 5691 866843 1577 4992 165994 68391 411215 6918424 183.22 30.72 -- 1294.35/324.16 c N dy 5824 886910 1577 4992 165994 49311 411215 3610284 162.71 31.17 -- 1329.51/332.91 c N dy 5957 906929 1577 4992 165997 68296 411215 6648140 151.75 31.59 -- 1367.47/342.48 c N dy 6090 927044 1577 4992 167439 48391 411215 3377558 189.50 32.09 -- 1404.62/351.77 c N dy 6221 947118 1577 4992 167439 67340 411215 6414815 190.02 32.49 -- 1439.78/360.57 c N dy 6354 967238 1577 4992 167494 46601 411215 2982812 150.04 32.84 -- 1474.53/369.21 c N dy 6486 987292 1577 4992 167494 65447 411215 6102608 118.17 33.23 -- 1522.87/381.32 c N dy 6618 1007294 1577 4992 167494 43825 411215 2413811 135.91 33.50 -- 1544.46/386.71 c N dy 6752 1027394 1577 4992 167494 63058 411215 5213223 72.67 33.67 -- 1584.00/396.65 c N dy 6882 1047432 1577 4992 167494 82049 411215 7317956 167.74 33.55 -- 1608.36/402.73 c N dy 7015 1067522 1577 4992 167494 59281 411215 4677304 204.18 33.87 -- 1643.12/411.41 c N dy 7145 1087578 1577 4992 167494 78359 411215 6756031 66.26 33.80 -- 1674.28/419.21 c N dy 7277 1107581 1577 4992 167494 54628 411215 3724238 154.28 33.80 -- 1708.64/427.87 c N dy 7409 1127709 1577 4992 167494 73856 411215 6906765 158.17 34.17 -- 1748.59/437.88 c N dy 7541 1147859 1577 4992 167494 49171 411215 2557197 117.51 34.26 -- 1770.96/443.41 c N dy 7673 1167872 1577 4992 167494 68305 411215 5045739 131.78 34.35 -- 1808.91/452.91 c N dy 7808 1188015 1577 4992 167494 87576 411215 7953850 147.51 34.54 -- 1836.48/459.86 c N dy 7942 1208149 1577 4992 167494 61935 411215 4668923 134.11 34.78 -- 1839.67/460.60 c S st 7953 1209703 1577 4992 167494 63427 411215 4865950 133.47 34.77 -- 1840.07/460.73 c S st 7953 1210203 1577 4992 167494 63917 411215 4899702 133.47 34.77 -- 1840.07/460.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 1840.07/460.74 c Cache BProp: 0 Set: 0 BXProp: 4 T: 0.00 1862.84/466.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 2383 BRemN: 1417 CBin: 0 P: 60.1M T: 22.64 1862.84/466.43 c Calc non-exist non-lernt bins v-fix: 0 done: 1577 time: 0.08 s 1862.84/466.43 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.00 1863.24/466.54 c Subs w/ non-existent bins: 32 time: 0.45 s 1864.04/466.75 c Replacing 7 vars Replaced 36768 lits Time: 0.81 s 1864.44/466.86 c bin-w-bin subsume rem 344 bins time: 0.10 s 1872.03/468.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 7.34 s 1872.03/468.71 c Removed useless bin: 1 fixed: 0 bprops: 0.18M time: 0.03 s 1923.16/481.51 c ORs : 57 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.43 1947.94/487.78 c Added 16 vars tried: 80000 time: 25.06 1950.33/488.34 c ORs : 16 avg-s: 0.0 cl-sh: 48619 l-rem: 48619 b-add: 34 v-rep: 0 cl-rem: 27 avg s: 3.0 T: 27.28 1950.33/488.38 c lits-rem: 705 cl-subs: 6477 v-elim: 1239 v-fix: 0 time: 78.60 s 1950.33/488.38 c learnt bin added due to v-elim: 0 1950.33/488.39 c vivif2 -- cl tried 5004 cl shrink 0 lits rem 0 time: 0.01 1950.73/488.48 c vivif2 -- cl tried 57381 cl shrink 136 lits rem 414 time: 0.36 1951.93/488.78 c asymm cl-useful: 0/97/5004 lits-rem:0 time: 1.22 1951.93/488.79 c calculated reachability. Time: 0.01 1951.93/488.79 c N dy 7953 1210203 1586 5004 163361 57379 407577 3873121 133.47 34.77 -- 1982.70/496.45 c N dy 8087 1230208 1586 5004 163361 76603 407577 6683666 187.15 34.77 -- 2026.63/507.49 c N dy 8220 1250284 1586 5004 163361 50208 407577 2846683 158.48 34.80 -- 2053.01/514.05 c N dy 8353 1270406 1586 5004 163361 69599 407577 6186569 144.43 34.79 -- 2067.00/517.59 c Finding binary XORs T: 0.02 s found: 0 2089.75/523.29 c N dy 8485 1290435 1586 5004 163382 88978 407577 9318062 155.25 34.68 -- 2116.12/529.82 c N dy 8620 1310503 1586 5004 163382 61408 407577 4406706 141.49 34.67 -- 2149.27/538.16 c N dy 8754 1330510 1586 5004 164918 80985 407581 7387931 174.49 34.71 -- 2189.22/548.14 c N dy 8888 1350516 1624 5004 166343 52108 407741 2836056 133.42 34.67 -- 2212.79/554.08 c N dy 9021 1370526 1624 5004 166343 71459 407741 5771774 184.69 34.75 -- 2254.74/564.57 c N dy 9154 1390540 1624 5004 166343 90737 407741 9014718 169.51 34.85 -- 2286.72/572.60 c N dy 9288 1410656 1624 5004 166827 60942 407741 4131084 159.56 34.87 -- 2318.26/580.43 c N dy 9422 1430679 1624 5004 166827 80354 407741 7025739 120.58 34.82 -- 2359.81/590.89 c N dy 9556 1450748 1631 5004 167329 99734 407771 9973450 169.01 34.81 -- 2390.17/598.48 c N dy 9691 1470843 1631 5004 167329 68861 407771 5432161 216.88 34.74 -- 2422.94/606.62 c N dy 9825 1490875 1631 5004 167329 88246 407771 8278247 160.73 34.71 -- 2458.10/615.49 c N dy 9958 1510878 1655 5004 168107 56402 407871 3203236 161.06 34.71 -- 2488.44/623.09 c N dy 10092 1530998 1655 5004 168107 75968 407871 6169637 145.26 34.65 -- 2536.38/635.05 c N dy 10224 1551071 1655 5004 168108 95465 407871 9436911 205.21 34.63 -- 2584.32/647.04 c N dy 10358 1571149 1655 5004 168262 62563 407871 4092479 156.51 34.66 -- 2620.27/656.09 c N dy 10494 1591290 1655 5004 168270 82138 407871 7145979 165.98 34.67 -- 2677.81/670.44 c N dy 10626 1611400 1655 5004 168271 101590 407871 10136508 133.99 34.66 -- 2710.16/678.50 c N dy 10759 1631418 1655 5004 168271 67599 407871 4687728 169.72 34.62 -- 2740.51/686.10 c N dy 10892 1651574 1655 5004 168271 86999 407871 7890042 235.17 34.49 -- 2785.66/697.44 c N dy 11026 1671628 1655 5004 168271 106403 407871 11017166 168.84 34.55 -- 2809.64/703.48 c N dy 11159 1691643 1655 5004 168271 71600 407871 5172477 140.19 34.57 -- 2834.79/709.71 c S st 11284 1710204 1655 5004 168271 89506 407871 7844515 123.49 34.56 -- 2835.19/709.85 c S st 11284 1710704 1655 5004 168271 90003 407871 7893110 123.49 34.56 -- 2835.19/709.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 2835.19/709.87 c Cache BProp: 0 Set: 0 BXProp: 3 T: 0.00 2859.16/715.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bin: 0 BRemL: 2190 BRemN: 97 CBin: 0 P: 60.1M T: 23.86 2859.16/715.87 c Calc non-exist non-lernt bins v-fix: 0 done: 1655 time: 0.09 s 2859.16/715.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2859.96/716.04 c Subs w/ non-existent bins: 0 time: 0.66 s 2860.76/716.21 c Replacing 6 vars Replaced 15070 lits Time: 0.68 s 2861.16/716.38 c bin-w-bin subsume rem 8 bins time: 0.11 s 2868.34/718.15 c subs with bin: 0 lits-rem: 5 v-fix: 0 time: 7.07 s 2868.34/718.15 c Removed useless bin: 1 fixed: 0 bprops: 0.18M time: 0.03 s 3114.41/779.79 c ORs : 93 avg-s: 2.0 cl-sh: 227 l-rem: 227 b-add: 219 v-rep: 0 cl-rem: 12 avg s: 3.0 T: 0.85 3144.38/787.27 c Added 17 vars tried: 80000 time: 29.88 3147.18/787.99 c ORs : 17 avg-s: 0.0 cl-sh: 50598 l-rem: 50598 b-add: 34 v-rep: 0 cl-rem: 28 avg s: 3.6 T: 32.77 3147.58/788.06 c lits-rem: 914 cl-subs: 14273 v-elim: 2105 v-fix: 0 time: 279.23 s 3147.58/788.06 c learnt bin added due to v-elim: 0 3147.58/788.07 c vivif2 -- cl tried 6200 cl shrink 604 lits rem 605 time: 0.02 3148.40/788.20 c vivif2 -- cl tried 75493 cl shrink 648 lits rem 1041 time: 0.53 3149.57/788.51 c asymm cl-useful: 0/102/5598 lits-rem:0 time: 1.23 3149.57/788.52 c calculated reachability. Time: 0.00 3149.57/788.52 c N dy 11284 1710704 1662 5598 165545 75493 407437 5864386 123.49 34.56 -- 3176.74/795.31 c N dy 11417 1730747 1662 5598 165608 94802 407437 10065032 218.44 34.60 -- 3217.89/805.65 c N dy 11549 1750753 1662 5598 165658 59345 407437 3735874 220.40 34.73 -- 3246.65/812.80 c N dy 11681 1770799 1662 5598 165661 78790 407437 7406036 159.92 34.63 -- 3292.19/824.22 c N dy 11814 1790897 1662 5598 167400 98251 407437 10579229 134.98 34.61 -- 3344.52/837.38 c N dy 11948 1811022 1662 5598 167522 61743 407437 3509400 154.60 34.53 -- 3370.49/843.81 c N dy 12080 1831058 1667 5598 167656 81210 407457 6216256 180.90 34.45 -- 3403.64/852.19 c N dy 12212 1851065 1667 5598 167656 100547 407457 9409912 149.12 34.40 -- 3440.00/861.20 c N dy 12346 1871221 1667 5598 167656 62946 407457 4116404 224.13 34.44 -- 3475.55/870.17 c N dy 12478 1891333 1667 5598 167739 82451 407457 6859260 171.65 34.40 -- 3519.50/881.16 c N dy 12609 1911485 1674 5598 167938 101958 407489 10382693 275.61 34.42 -- 3563.83/892.21 c N dy 12741 1931546 1674 5598 167938 63297 407489 3894607 132.72 34.39 -- 3590.21/898.87 c N dy 12875 1951589 1674 5598 167938 82671 407489 7213826 196.75 34.34 -- 3643.74/912.27 c N dy 13007 1971656 1675 5598 167940 101961 407493 10336122 165.29 34.33 -- 3704.47/927.48 c N dy 13140 1991766 1675 5598 167940 62388 407493 3527098 103.40 34.29 -- 3732.86/934.52 c N dy 13273 2011815 1675 5598 167970 81839 407493 6771246 169.01 34.31 -- 3788.76/948.57 c N dy 13402 2031909 1675 5598 167970 101243 407493 9946476 160.53 34.25 -- 3880.24/971.40 c N dy 13532 2051999 1675 5598 167970 60762 407493 3230573 174.75 34.20 -- 3898.22/975.95 c N dy 13666 2072141 1675 5598 167970 80311 407493 6501598 221.58 34.19 -- 3934.99/985.12 c N dy 13799 2092257 1675 5598 167970 99827 407493 10486275 187.20 34.17 -- 3980.90/996.65 c N dy 13931 2112304 1675 5598 167970 119266 407493 14400755 169.47 34.18 -- 4008.07/1003.45 c N dy 14066 2132433 1675 5598 167970 77724 407493 5757332 175.91 34.14 -- 4048.84/1013.62 c N dy 14198 2152547 1675 5598 167970 97238 407493 9408825 207.29 34.06 -- 4084.76/1022.60 c N dy 14331 2172592 1675 5598 167970 116687 407493 12396208 152.38 34.05 -- 4135.50/1035.31 c N dy 14463 2192702 1675 5598 167970 74268 407493 5186397 158.83 34.00 -- 4175.45/1045.30 c S st 14582 2210705 1675 5598 167970 91697 407493 7800131 170.86 34.01 -- 4176.26/1045.51 c S st 14582 2211205 1675 5598 167970 92197 407493 7843998 170.86 34.01 -- 4176.26/1045.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4176.26/1045.53 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.00 4200.62/1051.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 958 BRemN: 598 CBin: 0 P: 60.1M T: 24.52 4200.62/1051.69 c Calc non-exist non-lernt bins v-fix: 0 done: 1675 time: 0.08 s 4200.62/1051.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4201.42/1051.88 c Subs w/ non-existent bins: 0 time: 0.75 s 4201.82/1051.91 c Replacing 1 vars Replaced 136 lits Time: 0.11 s 4202.22/1052.08 c bin-w-bin subsume rem 597 bins time: 0.11 s 4209.80/1053.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 7.53 s 4209.80/1053.97 c Removed useless bin: 1 fixed: 0 bprops: 0.17M time: 0.03 s 4421.92/1107.03 c ORs : 128 avg-s: 2.0 cl-sh: 53 l-rem: 53 b-add: 0 v-rep: 0 cl-rem: 9 avg s: 3.0 T: 0.88 4442.68/1112.27 c Added 17 vars tried: 80000 time: 20.91 4444.70/1112.78 c ORs : 17 avg-s: 0.0 cl-sh: 39020 l-rem: 39020 b-add: 35 v-rep: 0 cl-rem: 28 avg s: 3.0 T: 22.94 4445.08/1112.85 c lits-rem: 705 cl-subs: 15748 v-elim: 2061 v-fix: 0 time: 235.16 s 4445.08/1112.85 c learnt bin added due to v-elim: 0 4445.08/1112.85 c vivif2 -- cl tried 6570 cl shrink 405 lits rem 406 time: 0.02 4445.88/1113.00 c vivif2 -- cl tried 76429 cl shrink 1457 lits rem 2943 time: 0.59 4447.08/1113.30 c asymm cl-useful: 0/151/6166 lits-rem:0 time: 1.22 4447.08/1113.31 c calculated reachability. Time: 0.00 4447.08/1113.31 c N dy 14582 2211205 1687 6166 165236 76429 406520 5506353 170.86 34.01 -- 4482.24/1122.19 c N dy 14713 2231268 1687 6166 165236 95864 406520 9750154 213.86 33.99 -- 4560.14/1141.65 c N dy 14845 2251284 1687 6166 165236 115235 406520 12753453 160.04 33.98 -- 4624.47/1157.76 c N dy 14977 2271362 1689 6166 166538 71929 406530 4791282 170.25 34.00 -- 4660.81/1166.82 c N dy 15111 2291470 1689 6166 166538 91316 406530 7943919 161.52 33.97 -- 4713.13/1179.95 c N dy 15244 2311558 1689 6166 166538 110858 406530 11157920 218.00 33.99 -- 4753.48/1190.00 c N dy 15378 2331694 1689 6166 166538 66582 406530 3809478 171.98 34.04 -- 4792.23/1199.79 c N dy 15509 2351763 1689 6166 166538 86115 406530 7663583 243.16 34.00 --
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-3251283-1304183560/watcher-3251283-1304183560 -o /tmp/evaluation-result-3251283-1304183560/solver-3251283-1304183560 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251283-1304183560.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.43 4.23 5.75 3/174 10761 /proc/meminfo: memFree=28985368/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=52096 CPUtime=0 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 1226 0 0 0 0 0 0 0 21 0 1 0 608586681 53346304 1162 33554432000 4194304 4797429 140734753731616 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/10761/statm: 13024 1165 347 148 0 7953 0 [startup+0.034595 s] /proc/loadavg: 3.43 4.23 5.75 3/174 10761 /proc/meminfo: memFree=28985368/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=55168 CPUtime=0.03 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 2025 0 0 0 3 0 0 0 21 0 1 0 608586681 56492032 1961 33554432000 4194304 4797429 140734753731616 18446744073709551615 251367207621 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/10761/statm: 13792 1964 348 148 0 8721 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 55168 [startup+0.100585 s] /proc/loadavg: 3.43 4.23 5.75 3/174 10761 /proc/meminfo: memFree=28985368/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=62956 CPUtime=0.09 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 3972 0 0 0 9 0 0 0 21 0 1 0 608586681 64466944 3908 33554432000 4194304 4797429 140734753731616 18446744073709551615 4678536 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/10761/statm: 15739 3908 348 148 0 10668 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 62956 [startup+0.983371 s] /proc/loadavg: 3.43 4.23 5.75 3/174 10761 /proc/meminfo: memFree=28985368/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=695412 CPUtime=3.53 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 12438 0 0 0 348 5 0 0 19 0 4 0 608586681 712101888 10018 33554432000 4194304 4797429 140734753731616 18446744073709551615 251367243872 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 173853 10018 412 148 0 168782 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 695412 [startup+1.08334 s] /proc/loadavg: 3.43 4.23 5.75 3/174 10761 /proc/meminfo: memFree=28985368/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=695548 CPUtime=3.93 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 12780 0 0 0 388 5 0 0 19 0 4 0 608586681 712241152 10357 33554432000 4194304 4797429 140734753731616 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 173887 10357 412 148 0 168816 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 695548 [startup+1.50021 s] /proc/loadavg: 3.43 4.23 5.75 3/174 10761 /proc/meminfo: memFree=28985368/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=696904 CPUtime=5.59 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 14705 0 0 0 554 5 0 0 20 0 4 0 608586681 713629696 11460 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 174226 11460 415 148 0 169155 0 Current children cumulated CPU time (s) 5.59 Current children cumulated vsize (KiB) 696904 [startup+3.10092 s] /proc/loadavg: 3.80 4.30 5.77 9/184 10774 /proc/meminfo: memFree=28704120/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=698140 CPUtime=11.99 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 19582 0 0 0 1192 7 0 0 24 0 4 0 608586681 714895360 14442 33554432000 4194304 4797429 140734753731616 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 174535 14442 415 148 0 169464 0 [pid=10761/tid=10763] ppid=10759 vsize=698140 CPUtime=2.94 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 3390 0 0 0 292 2 0 0 25 0 4 0 608586692 714895360 14442 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=698140 CPUtime=2.97 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 3294 0 0 0 295 2 0 0 24 0 4 0 608586692 714895360 14442 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=698140 CPUtime=2.98 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 3483 0 0 0 297 1 0 0 24 0 4 0 608586692 714895360 14442 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.99 Current children cumulated vsize (KiB) 698140 [startup+6.30032 s] /proc/loadavg: 3.80 4.30 5.77 9/184 10774 /proc/meminfo: memFree=28673872/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=702712 CPUtime=24.76 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 22232 0 0 0 2468 8 0 0 25 0 4 0 608586681 719577088 16152 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524464 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 175678 16152 416 148 0 170607 0 [pid=10761/tid=10763] ppid=10759 vsize=702712 CPUtime=6.12 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 4138 0 0 0 610 2 0 0 25 0 4 0 608586692 719577088 16152 33554432000 4194304 4797429 140734753731616 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=702712 CPUtime=6.17 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 3547 0 0 0 615 2 0 0 25 0 4 0 608586692 719577088 16152 33554432000 4194304 4797429 140734753731616 18446744073709551615 4428975 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=702712 CPUtime=6.18 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 3824 0 0 0 617 1 0 0 25 0 4 0 608586692 719577088 16152 33554432000 4194304 4797429 140734753731616 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.76 Current children cumulated vsize (KiB) 702712 [startup+12.7061 s] /proc/loadavg: 4.44 4.42 5.79 9/184 10774 /proc/meminfo: memFree=28619584/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=709540 CPUtime=50.35 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 27311 0 0 0 5026 9 0 0 25 0 4 0 608586681 726568960 17965 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520273 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 177385 17965 418 148 0 172314 0 [pid=10761/tid=10763] ppid=10759 vsize=709540 CPUtime=12.5 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 4473 0 0 0 1247 3 0 0 25 0 4 0 608586692 726568960 17965 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=709540 CPUtime=12.57 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 4200 0 0 0 1255 2 0 0 25 0 4 0 608586692 726568960 17965 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=709540 CPUtime=12.58 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 4522 0 0 0 1257 1 0 0 25 0 4 0 608586692 726568960 17965 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.35 Current children cumulated vsize (KiB) 709540 [startup+25.5008 s] /proc/loadavg: 4.99 4.54 5.81 9/184 10775 /proc/meminfo: memFree=28595836/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=715692 CPUtime=101.47 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 34032 0 0 0 10136 11 0 0 25 0 4 0 608586681 732868608 21448 33554432000 4194304 4797429 140734753731616 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 178923 21448 418 148 0 173852 0 [pid=10761/tid=10763] ppid=10759 vsize=715692 CPUtime=25.23 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 5222 0 0 0 2520 3 0 0 25 0 4 0 608586692 732868608 21448 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=715692 CPUtime=25.36 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 4845 0 0 0 2534 2 0 0 25 0 4 0 608586692 732868608 21448 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=715692 CPUtime=25.37 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 5027 0 0 0 2536 1 0 0 25 0 4 0 608586692 732868608 21448 33554432000 4194304 4797429 140734753731616 18446744073709551615 4414538 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.47 Current children cumulated vsize (KiB) 715692 [startup+51.101 s] /proc/loadavg: 6.02 4.81 5.87 9/184 10776 /proc/meminfo: memFree=28566636/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=725380 CPUtime=203.75 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 52862 0 0 0 20360 15 0 0 25 0 4 0 608586681 742789120 25150 33554432000 4194304 4797429 140734753731616 18446744073709551615 251367243531 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 181345 25150 419 148 0 176274 0 [pid=10761/tid=10763] ppid=10759 vsize=725380 CPUtime=50.7 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 6568 0 0 0 5067 3 0 0 25 0 4 0 608586692 742789120 25150 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520249 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=725380 CPUtime=50.97 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 6270 0 0 0 5094 3 0 0 25 0 4 0 608586692 742789120 25150 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=725380 CPUtime=50.98 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 6699 0 0 0 5096 2 0 0 25 0 4 0 608586692 742789120 25150 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520334 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.75 Current children cumulated vsize (KiB) 725380 [startup+102.301 s] /proc/loadavg: 7.20 5.32 5.98 9/184 10777 /proc/meminfo: memFree=28523932/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=737036 CPUtime=408.27 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 90287 0 0 0 40803 24 0 0 25 0 4 0 608586681 754724864 30244 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 184259 30244 421 148 0 179188 0 [pid=10761/tid=10763] ppid=10759 vsize=737036 CPUtime=101.64 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 8778 0 0 0 10160 4 0 0 25 0 4 0 608586692 754724864 30244 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=737036 CPUtime=102.16 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 8067 0 0 0 10213 3 0 0 25 0 4 0 608586692 754724864 30244 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=737036 CPUtime=102.18 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 9056 0 0 0 10215 3 0 0 25 0 4 0 608586692 754724864 30244 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.27 Current children cumulated vsize (KiB) 737036 [startup+162.307 s] /proc/loadavg: 7.79 5.85 6.12 9/184 10778 /proc/meminfo: memFree=28488404/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=741520 CPUtime=647.99 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 134214 0 0 0 64764 35 0 0 25 0 4 0 608586681 759316480 34166 33554432000 4194304 4797429 140734753731616 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 185380 34166 421 148 0 180309 0 [pid=10761/tid=10763] ppid=10759 vsize=741520 CPUtime=161.33 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 11936 0 0 0 16128 5 0 0 25 0 4 0 608586692 759316480 34166 33554432000 4194304 4797429 140734753731616 18446744073709551615 4491075 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=741520 CPUtime=162.18 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 10281 0 0 0 16214 4 0 0 25 0 4 0 608586692 759316480 34166 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=741520 CPUtime=162.19 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 11236 0 0 0 16216 3 0 0 25 0 4 0 608586692 759316480 34166 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 647.99 Current children cumulated vsize (KiB) 741520 [startup+222.3 s] /proc/loadavg: 7.98 6.23 6.23 9/184 10780 /proc/meminfo: memFree=28459720/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=746360 CPUtime=887.67 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 174776 0 0 0 88723 44 0 0 25 0 4 0 608586681 764272640 36403 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 186590 36403 422 148 0 181519 0 [pid=10761/tid=10763] ppid=10759 vsize=746360 CPUtime=221.02 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 14019 0 0 0 22096 6 0 0 25 0 4 0 608586692 764272640 36403 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=746360 CPUtime=222.17 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 13348 0 0 0 22213 4 0 0 25 0 4 0 608586692 764272640 36403 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=746360 CPUtime=222.18 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 14079 0 0 0 22214 4 0 0 25 0 4 0 608586692 764272640 36403 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 887.67 Current children cumulated vsize (KiB) 746360 [startup+282.3 s] /proc/loadavg: 8.02 6.59 6.35 9/184 10782 /proc/meminfo: memFree=28445036/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=763068 CPUtime=1127.36 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 216710 0 0 0 112681 55 0 0 25 0 4 0 608586681 781381632 40570 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524442 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 190767 40570 421 148 0 185696 0 [pid=10761/tid=10763] ppid=10759 vsize=763068 CPUtime=280.71 cores=0,2,4,6 ################ # More data... # ################ [pid=10761] ppid=10759 vsize=793640 CPUtime=2805.24 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 433296 0 0 0 280401 123 0 0 25 0 4 0 608586681 812687360 50843 33554432000 4194304 4797429 140734753731616 18446744073709551615 251367243531 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 198410 50843 421 148 0 193339 0 [pid=10761/tid=10763] ppid=10759 vsize=793640 CPUtime=698.54 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 29295 0 0 0 69841 13 0 0 25 0 4 0 608586692 812687360 50843 33554432000 4194304 4797429 140734753731616 18446744073709551615 4391406 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=793640 CPUtime=702.19 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 29228 0 0 0 70211 8 0 0 25 0 4 0 608586692 812687360 50843 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=793640 CPUtime=702.2 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 29771 0 0 0 70210 10 0 0 25 0 4 0 608586692 812687360 50843 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.24 Current children cumulated vsize (KiB) 793640 [startup+762.301 s] /proc/loadavg: 8.04 7.78 7.04 9/184 10794 /proc/meminfo: memFree=28260668/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=808376 CPUtime=3044.91 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 443590 0 0 0 304365 126 0 0 25 0 4 0 608586681 827777024 61005 33554432000 4194304 4797429 140734753731616 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 202094 61005 427 148 0 197023 0 [pid=10761/tid=10763] ppid=10759 vsize=808376 CPUtime=758.21 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 30489 0 0 0 75808 13 0 0 25 0 4 0 608586692 827777024 61005 33554432000 4194304 4797429 140734753731616 18446744073709551615 4572354 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=808376 CPUtime=762.2 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 30376 0 0 0 76211 9 0 0 25 0 4 0 608586692 827777024 61005 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520400 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=808376 CPUtime=762.2 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 30914 0 0 0 76209 11 0 0 25 0 4 0 608586692 827777024 61005 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3044.91 Current children cumulated vsize (KiB) 808376 [startup+822.307 s] /proc/loadavg: 8.12 7.85 7.11 9/184 10796 /proc/meminfo: memFree=28264096/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=811980 CPUtime=3284.62 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 468641 0 0 0 328327 135 0 0 25 0 4 0 608586681 831467520 63434 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 202995 63434 422 148 0 197924 0 [pid=10761/tid=10763] ppid=10759 vsize=811980 CPUtime=817.9 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 32714 0 0 0 81776 14 0 0 25 0 4 0 608586692 831467520 63434 33554432000 4194304 4797429 140734753731616 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=811980 CPUtime=822.2 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 32633 0 0 0 82210 10 0 0 25 0 4 0 608586692 831467520 63434 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=811980 CPUtime=822.21 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 33248 0 0 0 82209 12 0 0 25 0 4 0 608586692 831467520 63434 33554432000 4194304 4797429 140734753731616 18446744073709551615 4427245 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3284.62 Current children cumulated vsize (KiB) 811980 [startup+882.3 s] /proc/loadavg: 8.12 7.89 7.17 9/184 10798 /proc/meminfo: memFree=28225256/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=814376 CPUtime=3524.29 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 499626 0 0 0 352284 145 0 0 25 0 4 0 608586681 833921024 65324 33554432000 4194304 4797429 140734753731616 18446744073709551615 4425043 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 203594 65324 422 148 0 198523 0 [pid=10761/tid=10763] ppid=10759 vsize=814376 CPUtime=877.58 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 33866 0 0 0 87743 15 0 0 25 0 4 0 608586692 833921024 65324 33554432000 4194304 4797429 140734753731616 18446744073709551615 4351787 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=814376 CPUtime=882.2 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 34828 0 0 0 88210 10 0 0 25 0 4 0 608586692 833921024 65324 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=814376 CPUtime=882.2 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 35558 0 0 0 88208 12 0 0 25 0 4 0 608586692 833921024 65324 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3524.29 Current children cumulated vsize (KiB) 814376 [startup+942.3 s] /proc/loadavg: 8.08 7.92 7.22 9/184 10799 /proc/meminfo: memFree=28227572/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=816644 CPUtime=3763.99 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 529313 0 0 0 376244 155 0 0 25 0 4 0 608586681 836243456 65949 33554432000 4194304 4797429 140734753731616 18446744073709551615 4425015 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 204161 65949 422 148 0 199090 0 [pid=10761/tid=10763] ppid=10759 vsize=816644 CPUtime=937.27 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 36175 0 0 0 93712 15 0 0 25 0 4 0 608586692 836243456 65949 33554432000 4194304 4797429 140734753731616 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=816644 CPUtime=942.2 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 35952 0 0 0 94209 11 0 0 25 0 4 0 608586692 836243456 65949 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=816644 CPUtime=942.2 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 36895 0 0 0 94208 12 0 0 25 0 4 0 608586692 836243456 65949 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3763.99 Current children cumulated vsize (KiB) 816644 [startup+1002.3 s] /proc/loadavg: 8.07 7.95 7.27 9/184 10801 /proc/meminfo: memFree=28227536/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=820828 CPUtime=4003.68 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 561450 0 0 0 400202 166 0 0 25 0 4 0 608586681 840527872 62241 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 205207 62241 422 148 0 200136 0 [pid=10761/tid=10763] ppid=10759 vsize=820828 CPUtime=996.96 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 38358 0 0 0 99680 16 0 0 25 0 4 0 608586692 840527872 62241 33554432000 4194304 4797429 140734753731616 18446744073709551615 4428558 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=820828 CPUtime=1002.2 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 38632 0 0 0 100209 11 0 0 25 0 4 0 608586692 840527872 62241 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=820828 CPUtime=1002.2 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 39447 0 0 0 100207 13 0 0 25 0 4 0 608586692 840527872 62241 33554432000 4194304 4797429 140734753731616 18446744073709551615 4549863 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4003.68 Current children cumulated vsize (KiB) 820828 [startup+1062.3 s] /proc/loadavg: 8.18 8.00 7.33 9/184 10802 /proc/meminfo: memFree=28176912/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=829376 CPUtime=4243.36 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 583943 0 0 0 424163 173 0 0 25 0 4 0 608586681 849281024 70956 33554432000 4194304 4797429 140734753731616 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 207344 70956 422 148 0 202273 0 [pid=10761/tid=10763] ppid=10759 vsize=829376 CPUtime=1056.63 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 39984 0 0 0 105647 16 0 0 25 0 4 0 608586692 849281024 70956 33554432000 4194304 4797429 140734753731616 18446744073709551615 4428928 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=829376 CPUtime=1062.2 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 39834 0 0 0 106208 12 0 0 25 0 4 0 608586692 849281024 70956 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=829376 CPUtime=1062.2 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 40665 0 0 0 106206 14 0 0 25 0 4 0 608586692 849281024 70956 33554432000 4194304 4797429 140734753731616 18446744073709551615 4642192 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4243.36 Current children cumulated vsize (KiB) 829376 [startup+1122.3 s] /proc/loadavg: 8.20 8.03 7.38 9/184 10804 /proc/meminfo: memFree=28188660/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=831096 CPUtime=4483.04 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 594704 0 0 0 448128 176 0 0 25 0 4 0 608586681 851042304 73458 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 207774 73458 422 148 0 202703 0 [pid=10761/tid=10763] ppid=10759 vsize=831096 CPUtime=1116.31 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 42125 0 0 0 111614 17 0 0 25 0 4 0 608586692 851042304 73458 33554432000 4194304 4797429 140734753731616 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=831096 CPUtime=1122.2 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 41750 0 0 0 112208 12 0 0 25 0 4 0 608586692 851042304 73458 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=831096 CPUtime=1122.21 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 42979 0 0 0 112206 15 0 0 25 0 4 0 608586692 851042304 73458 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4483.04 Current children cumulated vsize (KiB) 831096 [startup+1182.3 s] /proc/loadavg: 8.18 8.05 7.43 9/184 10806 /proc/meminfo: memFree=28142732/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=836336 CPUtime=4722.72 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 615896 0 0 0 472089 183 0 0 25 0 4 0 608586681 856408064 77142 33554432000 4194304 4797429 140734753731616 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 209084 77142 422 148 0 204013 0 [pid=10761/tid=10763] ppid=10759 vsize=836336 CPUtime=1175.99 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 43114 0 0 0 117582 17 0 0 25 0 4 0 608586692 856408064 77142 33554432000 4194304 4797429 140734753731616 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=836336 CPUtime=1182.21 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 42828 0 0 0 118208 13 0 0 25 0 4 0 608586692 856408064 77142 33554432000 4194304 4797429 140734753731616 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=836336 CPUtime=1182.21 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 44162 0 0 0 118206 15 0 0 25 0 4 0 608586692 856408064 77142 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4722.72 Current children cumulated vsize (KiB) 836336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.13 8.05 7.44 9/184 10806 /proc/meminfo: memFree=28140488/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=837340 CPUtime=4800.26 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 629210 0 0 0 479838 188 0 0 25 0 4 0 608586681 857436160 72946 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 209335 72946 422 148 0 204264 0 [pid=10761/tid=10763] ppid=10759 vsize=837340 CPUtime=1195.29 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 43496 0 0 0 119512 17 0 0 25 0 4 0 608586692 857436160 72947 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520404 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=837340 CPUtime=1201.62 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 43118 0 0 0 120149 13 0 0 25 0 4 0 608586692 857436160 72947 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=837340 CPUtime=1201.62 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 45814 0 0 0 120147 15 0 0 25 0 4 0 608586692 857436160 72947 33554432000 4194304 4797429 140734753731616 18446744073709551615 4346527 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.26 Current children cumulated vsize (KiB) 837340 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: 8.13 8.05 7.44 9/184 10806 /proc/meminfo: memFree=28140488/32950928 swapFree=67111352/67111528 [pid=10761] ppid=10759 vsize=837340 CPUtime=4800.26 cores=0,2,4,6 /proc/10761/stat : 10761 (techdemo) R 10759 10761 9908 0 -1 4202496 629210 0 0 0 479838 188 0 0 25 0 4 0 608586681 857436160 72946 33554432000 4194304 4797429 140734753731616 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/10761/statm: 209335 72946 422 148 0 204264 0 [pid=10761/tid=10763] ppid=10759 vsize=837340 CPUtime=1195.29 cores=0,2,4,6 /proc/10761/task/10763/stat : 10763 (techdemo) R 10759 10761 9908 0 -1 4202560 43496 0 0 0 119512 17 0 0 25 0 4 0 608586692 857436160 72947 33554432000 4194304 4797429 140734753731616 18446744073709551615 4520404 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=10761/tid=10764] ppid=10759 vsize=837340 CPUtime=1201.62 cores=0,2,4,6 /proc/10761/task/10764/stat : 10764 (techdemo) R 10759 10761 9908 0 -1 4202560 43118 0 0 0 120149 13 0 0 25 0 4 0 608586692 857436160 72947 33554432000 4194304 4797429 140734753731616 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10761/tid=10765] ppid=10759 vsize=837340 CPUtime=1201.62 cores=0,2,4,6 /proc/10761/task/10765/stat : 10765 (techdemo) R 10759 10761 9908 0 -1 4202560 45814 0 0 0 120147 15 0 0 25 0 4 0 608586692 857436160 72947 33554432000 4194304 4797429 140734753731616 18446744073709551615 4346527 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.26 Current children cumulated vsize (KiB) 837340 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.73 CPU time (s): 4800.31 CPU user time (s): 4798.41 CPU system time (s): 1.89571 CPU usage (%): 399.449 Max. virtual memory (cumulated for all children) (KiB): 942308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.41 system time used= 1.89571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 629212 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= 665 involuntary context switches= 23491 runsolver used 1.92971 second user time and 4.24735 second system time The end
Begin job on node113 at 2011-04-30 19:12:40 IDJOB=3251283 IDBENCH=88218 IDSOLVER=1584 FILE ID=node113/3251283-1304183560 RUNJOBID= node113-1304183560-10747 PBS_JOBID= 13172438 Free space on /tmp= 72392 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251283-1304183560/watcher-3251283-1304183560 -o /tmp/evaluation-result-3251283-1304183560/solver-3251283-1304183560 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251283-1304183560.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c86ce640ddb0138bf41ccc37bc6fcf28 RANDOM SEED=85809748 node113.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.76 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.83 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.846 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28985904 kB Buffers: 777900 kB Cached: 2617588 kB SwapCached: 12 kB Active: 224932 kB Inactive: 3237432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28985904 kB SwapTotal: 67111528 kB SwapFree: 67111352 kB Dirty: 14880 kB Writeback: 0 kB AnonPages: 67116 kB Mapped: 14484 kB Slab: 438800 kB PageTables: 4708 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 191752 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= 72364 MiB End job on node113 at 2011-04-30 19:32:44