| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.17 | 1201.72 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf |
| MD5SUM | cb7c9df8144e5ba66f8009983efe791f |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 14.0229 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 284 |
| Number of clauses | 42826 |
| Sum of the clauses size | 191271 |
| Maximum clause length | 24 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 377 |
| Number of clauses of size 3 | 39422 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 3027 |
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-3261933-1304132642.cnf' 0.00/0.00 c -- header says num vars: 284 0.00/0.00 c -- header says num clauses: 42826 0.00/0.07 c -- clauses added: 0 learnts, 42826 normals, 0 xors 0.00/0.07 c -- vars added 284 0.00/0.07 c Parsing time: 0.06 s 0.00/0.07 c N st 0 0 284 42449 377 0 191271 0 no data no data -- 0.00/0.28 c asymm cl-useful: 4/7786/42449 lits-rem:7 time: 0.82 0.89/0.29 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.1M T: 0.02 0.89/0.29 c Calc non-exist non-lernt bins v-fix: 0 done: 283 time: 0.00 s 0.89/0.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.89/0.29 c Subs w/ non-existent bins: 0 time: 0.01 s 0.89/1.17 c bin-w-bin subsume rem 0 bins time: 0.02 s 0.89/1.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.89/1.17 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 0.89/1.17 c lits-rem: 0 cl-subs: 11 v-elim: 188 v-fix: 0 time: 0.74 s 0.89/1.17 c learnt bin added due to v-elim: 0 0.89/1.17 c Finding binary XORs T: 0.00 s found: 0 0.89/1.17 c Finding non-binary XORs: 0.27 s (found: 0, avg size: nan) 0.89/1.17 c calculated reachability. Time: 0.00 0.89/1.17 c Calc default polars - time: 0.00 s pos: 283 undec: 1 neg: 0 0.89/1.17 c ========================================================================================= 0.89/1.17 c types(t): F = full restart, N = normal restart 0.89/1.17 c types(t): S = simplification begin/end, E = solution found 0.89/1.17 c restart types(rt): st = static, dy = dynamic 0.89/1.17 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.89/1.17 c B st 0 0 283 42438 94 0 190418 0 no data no data -- 0.89/1.17 c Decided on static restart strategy 0.89/1.17 c N dy 20 4054 283 42438 94 3868 190418 93578 23.42 13.02 -- 6.56/1.70 c N dy 49 8153 283 42438 94 4433 190418 93244 22.87 12.79 -- 8.55/2.23 c N dy 78 12250 283 42438 94 8390 190418 187258 23.83 12.69 -- 10.56/2.77 c N dy 107 16346 283 42438 94 6726 190418 132540 24.73 12.73 -- 12.95/3.31 c N dy 136 20474 283 42438 94 10659 190418 226327 23.29 12.69 -- 15.35/3.91 c N dy 165 24605 283 42438 94 7492 190418 134142 22.73 12.73 -- 17.34/4.44 c N dy 193 28612 283 42438 94 11365 190418 228798 23.36 12.75 -- 18.15/4.65 c S st 203 30000 283 42438 94 12689 190418 260789 23.47 12.72 -- 18.55/4.73 c S st 203 30500 283 42438 94 13188 190418 272968 23.47 12.72 -- 18.55/4.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 18.55/4.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 18.55/4.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 2.0M T: 0.20 18.55/4.78 c Calc non-exist non-lernt bins v-fix: 0 done: 283 time: 0.01 s 18.55/4.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 18.55/4.78 c Subs w/ non-existent bins: 0 time: 0.02 s 18.55/4.80 c bin-w-bin subsume rem 0 bins time: 0.02 s 18.95/4.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 18.95/4.81 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 23.74/6.08 c lits-rem: 73 cl-subs: 1692 v-elim: 283 v-fix: 0 time: 5.09 s 23.74/6.08 c learnt bin added due to v-elim: 0 23.74/6.08 c vivif2 -- cl tried 42437 cl shrink 0 lits rem 0 time: 0.01 23.74/6.09 c vivif2 -- cl tried 11497 cl shrink 0 lits rem 0 time: 0.02 24.95/6.33 c asymm cl-useful: 0/6508/42437 lits-rem:0 time: 0.95 24.95/6.33 c calculated reachability. Time: 0.00 24.95/6.33 c N dy 203 30500 283 42437 94 11497 190393 246436 23.47 12.72 -- 24.95/6.33 c F st 203 30500 283 42437 94 11497 190393 246436 23.47 12.72 -- 26.13/6.62 c Decided on static restart strategy 26.93/6.88 c N dy 223 34547 283 42437 94 15356 190393 337962 23.93 12.70 -- 29.35/7.44 c N dy 251 38567 283 42437 94 10836 190393 206829 21.55 12.66 -- 31.33/7.98 c N dy 280 42636 283 42437 94 14745 190393 294309 21.90 12.57 -- 33.33/8.43 c S st 302 45751 283 42437 94 17741 190393 366763 23.88 12.62 -- 33.33/8.50 c S st 302 46252 283 42437 94 18241 190393 378807 23.88 12.62 -- 33.74/8.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 33.74/8.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 33.74/8.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 3.8M T: 0.35 33.74/8.59 c Calc non-exist non-lernt bins v-fix: 0 done: 283 time: 0.00 s 33.74/8.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 33.74/8.60 c Subs w/ non-existent bins: 0 time: 0.02 s 34.14/8.61 c bin-w-bin subsume rem 0 bins time: 0.02 s 34.14/8.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.06 s 34.14/8.63 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 38.91/9.87 c lits-rem: 85 cl-subs: 1601 v-elim: 283 v-fix: 0 time: 4.94 s 38.91/9.87 c learnt bin added due to v-elim: 0 38.91/9.87 c vivif2 -- cl tried 42437 cl shrink 0 lits rem 0 time: 0.02 38.91/9.88 c vivif2 -- cl tried 16640 cl shrink 0 lits rem 0 time: 0.02 39.71/10.00 c asymm cl-useful: 0/2588/42437 lits-rem:0 time: 0.48 39.71/10.00 c calculated reachability. Time: 0.00 39.71/10.00 c N dy 302 46252 283 42437 94 16640 190393 350105 23.88 12.62 -- 42.11/10.61 c N dy 331 50355 283 42437 94 11099 190393 192733 23.49 12.58 -- 44.10/11.18 c N dy 360 54483 283 42437 94 15055 190393 283417 21.36 12.54 -- 46.50/11.72 c N dy 388 58492 283 42437 94 18875 190393 376204 24.02 12.55 -- 48.90/12.32 c N dy 417 62619 283 42437 94 12300 190393 217472 24.41 12.56 -- 50.90/12.86 c N dy 446 66721 283 42437 94 16227 190393 309385 23.57 12.55 -- 52.49/13.25 c S st 465 69378 283 42437 94 18759 190393 367481 21.97 12.53 -- 52.89/13.33 c S st 465 69880 283 42437 94 19257 190393 379784 21.97 12.53 -- 52.89/13.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 52.89/13.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 53.29/13.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 5.2M T: 0.42 53.29/13.44 c Calc non-exist non-lernt bins v-fix: 0 done: 283 time: 0.00 s 53.29/13.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 53.29/13.44 c Subs w/ non-existent bins: 0 time: 0.02 s 53.29/13.46 c bin-w-bin subsume rem 0 bins time: 0.02 s 53.29/13.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.06 s 53.29/13.47 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 58.48/14.73 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.00 64.08/16.14 c Added 3 vars tried: 80000 time: 5.64 64.08/16.16 c ORs : 3 avg-s: 0.0 cl-sh: 2195 l-rem: 2195 b-add: 6 v-rep: 0 cl-rem: 27 avg s: 3.0 T: 5.70 64.08/16.17 c lits-rem: 97 cl-subs: 1646 v-elim: 283 v-fix: 0 time: 10.76 s 64.08/16.17 c learnt bin added due to v-elim: 0 64.08/16.17 c vivif2 -- cl tried 42413 cl shrink 0 lits rem 0 time: 0.02 64.08/16.17 c vivif2 -- cl tried 17611 cl shrink 0 lits rem 0 time: 0.02 64.49/16.29 c asymm cl-useful: 0/2858/42413 lits-rem:0 time: 0.47 64.49/16.30 c calculated reachability. Time: 0.00 64.49/16.30 c N dy 465 69880 286 42413 100 17611 190081 350043 21.97 12.53 -- 64.49/16.30 c F st 465 69880 286 42413 100 17611 190081 350043 21.97 12.53 -- 66.08/16.62 c Decided on static restart strategy 67.28/16.95 c N dy 488 74351 286 42413 100 21905 190081 449721 23.65 12.53 -- 70.07/17.62 c N dy 522 79152 286 42413 100 15040 190081 268423 23.70 12.54 -- 72.87/18.30 c N dy 558 84211 286 42413 100 19918 190081 382851 21.02 12.55 -- 76.06/19.18 c N dy 596 89611 286 42413 100 12544 190081 183237 23.13 12.49 -- 79.25/19.94 c N dy 637 95393 286 42413 100 18123 190081 310114 23.05 12.48 -- 82.85/20.83 c N dy 680 101498 286 42413 100 23992 190081 440669 21.84 12.49 -- 84.85/21.37 c S st 704 104820 286 42413 100 13713 190081 196507 25.80 12.52 -- 85.25/21.44 c S st 704 105321 286 42413 100 14210 190081 208350 25.80 12.52 -- 85.25/21.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 85.25/21.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 85.65/21.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 4.1M T: 0.27 85.65/21.51 c Calc non-exist non-lernt bins v-fix: 0 done: 286 time: 0.00 s 85.65/21.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 85.65/21.51 c Subs w/ non-existent bins: 0 time: 0.02 s 85.65/21.53 c bin-w-bin subsume rem 0 bins time: 0.02 s 85.65/21.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 85.65/21.53 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 89.65/22.59 c ORs : 5 avg-s: 2.0 cl-sh: 1 l-rem: 1 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02 89.65/22.59 c lits-rem: 53 cl-subs: 714 v-elim: 283 v-fix: 0 time: 4.23 s 89.65/22.59 c learnt bin added due to v-elim: 0 90.05/22.60 c vivif2 -- cl tried 42413 cl shrink 0 lits rem 0 time: 0.01 90.05/22.60 c vivif2 -- cl tried 13496 cl shrink 0 lits rem 0 time: 0.01 90.86/22.84 c asymm cl-useful: 0/10247/42413 lits-rem:0 time: 0.95 90.86/22.84 c calculated reachability. Time: 0.00 90.86/22.84 c N dy 704 105321 286 42413 100 13496 190081 199763 25.80 12.52 -- 94.44/23.70 c N dy 751 112065 286 42413 100 19992 190081 352218 21.94 12.58 -- 98.03/24.69 c N dy 801 119263 286 42413 100 26901 190081 512852 24.46 12.63 -- 102.42/25.74 c N dy 854 126968 286 42413 100 19854 190080 335678 24.52 12.70 -- 106.81/26.85 c N dy 911 135140 286 42413 100 27726 190080 527784 24.81 12.76 -- 111.62/28.06 c N dy 973 143801 286 42413 100 20589 190080 323994 20.56 12.74 -- 116.81/29.36 c N dy 1038 153009 286 42413 100 29413 190080 522259 24.35 12.72 -- 120.00/30.11 c S st 1074 157984 289 42413 106 17841 190092 262142 24.96 12.72 -- 120.00/30.18 c S st 1074 158486 289 42413 106 18342 190092 274919 24.96 12.72 -- 120.00/30.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 120.00/30.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 120.40/30.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 6.1M T: 0.40 120.40/30.29 c Calc non-exist non-lernt bins v-fix: 0 done: 289 time: 0.01 s 120.40/30.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 120.40/30.29 c Subs w/ non-existent bins: 0 time: 0.02 s 120.80/30.31 c bin-w-bin subsume rem 0 bins time: 0.02 s 120.80/30.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 120.80/30.32 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 125.20/31.47 c ORs : 5 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02 125.20/31.48 c lits-rem: 54 cl-subs: 762 v-elim: 283 v-fix: 0 time: 4.64 s 125.20/31.48 c learnt bin added due to v-elim: 0 125.20/31.48 c vivif2 -- cl tried 42412 cl shrink 0 lits rem 0 time: 0.01 125.20/31.49 c vivif2 -- cl tried 17581 cl shrink 0 lits rem 0 time: 0.02 126.42/31.71 c asymm cl-useful: 0/7143/42412 lits-rem:0 time: 0.90 126.42/31.72 c calculated reachability. Time: 0.00 126.42/31.72 c N dy 1074 158486 289 42412 106 17581 190068 264410 24.96 12.72 -- 131.99/33.13 c N dy 1146 168725 289 42412 106 27438 190068 485824 21.70 12.71 -- 138.37/34.72 c N dy 1223 179606 289 42412 106 20433 190068 304957 19.41 12.72 -- 144.77/36.39 c N dy 1305 191201 289 42412 106 31577 190068 548767 24.21 12.69 -- 152.38/38.21 c N dy 1392 203513 289 42412 106 25053 190068 399631 21.63 12.66 -- 159.55/40.06 c N dy 1483 216520 289 42412 106 37711 190068 700894 26.22 12.71 -- 167.94/42.10 c N dy 1580 230395 289 42412 106 31701 190068 562315 19.81 12.74 -- 172.33/43.26 c S st 1632 237729 289 42412 106 38734 190068 711997 22.81 12.74 -- 172.73/43.34 c S st 1632 238229 289 42412 106 39233 190068 723809 22.81 12.74 -- 172.73/43.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 172.73/43.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 173.93/43.62 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 14.3M T: 1.12 173.93/43.63 c Calc non-exist non-lernt bins v-fix: 0 done: 289 time: 0.01 s 173.93/43.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 173.93/43.64 c Subs w/ non-existent bins: 0 time: 0.04 s 173.93/43.66 c bin-w-bin subsume rem 0 bins time: 0.02 s 173.93/43.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 173.93/43.68 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 183.53/46.09 c ORs : 5 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.04 183.91/46.10 c lits-rem: 354 cl-subs: 3513 v-elim: 283 v-fix: 0 time: 9.65 s 183.91/46.10 c learnt bin added due to v-elim: 0 183.91/46.11 c vivif2 -- cl tried 42412 cl shrink 0 lits rem 0 time: 0.02 183.91/46.12 c vivif2 -- cl tried 35720 cl shrink 0 lits rem 0 time: 0.04 184.31/46.24 c asymm cl-useful: 0/2043/42412 lits-rem:0 time: 0.51 184.31/46.25 c calculated reachability. Time: 0.00 184.31/46.25 c N dy 1632 238229 289 42412 106 35720 190068 660525 22.81 12.74 -- 193.89/48.64 c N dy 1739 253444 289 42412 106 30128 190068 522376 24.91 12.76 -- 203.89/51.15 c N dy 1852 269723 289 42412 106 24615 190068 377988 21.75 12.82 -- 214.29/53.79 c N dy 1973 287046 302 42412 132 41328 190120 758873 20.48 12.83 -- 225.46/56.58 c N dy 2100 305390 302 42412 132 36650 190120 636302 21.42 12.90 -- 237.44/59.57 c N dy 2236 324991 302 42412 132 32379 190120 541396 25.98 12.99 -- 250.22/62.77 c N dy 2376 345041 302 42412 132 27529 190120 398929 23.73 13.04 -- 257.82/64.69 c S st 2462 357343 302 42412 132 39270 190120 650151 21.15 13.03 -- 258.24/64.78 c S st 2462 357843 302 42412 132 39769 190120 662821 21.15 13.03 -- 258.24/64.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 258.24/64.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 259.41/65.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 14.3M T: 1.01 259.41/65.03 c Calc non-exist non-lernt bins v-fix: 0 done: 302 time: 0.01 s 259.41/65.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 259.41/65.04 c Subs w/ non-existent bins: 0 time: 0.04 s 259.41/65.06 c bin-w-bin subsume rem 0 bins time: 0.02 s 259.41/65.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.08 s 259.41/65.09 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 269.00/67.40 c ORs : 5 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 7.0 T: 0.04 269.00/67.41 c lits-rem: 218 cl-subs: 2719 v-elim: 283 v-fix: 0 time: 9.29 s 269.00/67.41 c learnt bin added due to v-elim: 0 269.00/67.42 c vivif2 -- cl tried 42412 cl shrink 0 lits rem 0 time: 0.01 269.00/67.43 c vivif2 -- cl tried 37049 cl shrink 0 lits rem 0 time: 0.04 269.40/67.55 c asymm cl-useful: 0/3239/42412 lits-rem:0 time: 0.51 269.40/67.56 c calculated reachability. Time: 0.00 269.40/67.56 c N dy 2462 357843 302 42412 132 37049 190120 615248 21.15 13.03 -- 282.57/70.89 c N dy 2603 377902 302 42412 132 31277 190120 456349 17.97 13.02 -- 295.36/74.03 c N dy 2743 397974 302 42412 132 50470 190120 884818 21.03 13.02 -- 308.14/77.28 c N dy 2883 418065 318 42412 164 43936 190184 710209 21.63 13.01 -- 321.33/80.50 c N dy 3023 438152 318 42412 164 36282 190184 553464 22.72 13.05 -- 390.83/97.92 c N dy 3063 536764 318 42412 164 44290 190184 705664 21.85 13.13 -- 390.83/97.95 c S st 3063 536764 318 42412 164 44290 190184 705664 21.85 13.13 -- 391.23/98.04 c S st 3063 537264 318 42412 164 44785 190184 717770 21.85 13.13 -- 391.23/98.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 391.23/98.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 392.03/98.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 14.4M T: 0.97 392.03/98.29 c Calc non-exist non-lernt bins v-fix: 0 done: 318 time: 0.01 s 392.03/98.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 392.43/98.30 c Subs w/ non-existent bins: 0 time: 0.05 s 392.43/98.32 c bin-w-bin subsume rem 0 bins time: 0.02 s 392.43/98.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.08 s 392.43/98.34 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 401.62/100.67 c ORs : 5 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 3 avg s: 7.0 T: 0.06 405.62/101.62 c Added 4 vars tried: 80000 time: 3.81 405.62/101.68 c ORs : 4 avg-s: 0.0 cl-sh: 6248 l-rem: 6248 b-add: 11 v-rep: 0 cl-rem: 8 avg s: 4.2 T: 4.07 406.02/101.70 c lits-rem: 697 cl-subs: 4353 v-elim: 283 v-fix: 0 time: 13.42 s 406.02/101.70 c learnt bin added due to v-elim: 0 406.02/101.70 c vivif2 -- cl tried 42407 cl shrink 0 lits rem 0 time: 0.01 406.02/101.72 c vivif2 -- cl tried 40427 cl shrink 0 lits rem 0 time: 0.04 406.42/101.81 c asymm cl-useful: 0/1654/42407 lits-rem:0 time: 0.38 406.42/101.81 c calculated reachability. Time: 0.00 406.42/101.81 c N dy 3063 537264 322 42407 175 40427 190085 639505 21.85 13.13 -- 406.42/101.81 c F st 3063 537264 322 42407 175 40427 190085 639505 21.85 13.13 -- 407.63/102.13 c Decided on static restart strategy 417.99/104.72 c N dy 3199 557318 322 42407 175 59962 190085 1126965 22.75 13.19 -- 429.60/107.63 c N dy 3343 577349 322 42407 175 48601 190085 803277 23.38 13.23 -- 441.96/110.77 c N dy 3487 597362 322 42407 175 36097 190085 478295 20.57 13.30 -- 453.55/113.65 c N dy 3631 617403 322 42407 175 55543 190085 936387 23.79 13.32 -- 466.33/116.81 c N dy 3775 637446 322 42407 175 42016 190085 600258 21.93 13.35 -- 478.71/119.91 c N dy 3919 657585 322 42407 175 61549 190085 1063038 23.71 13.38 -- 491.12/123.08 c N dy 4063 677659 322 42407 175 47031 190085 716977 21.89 13.42 -- 504.30/126.35 c N dy 4207 697711 322 42407 175 66482 190085 1177355 26.40 13.44 -- 516.67/129.45 c N dy 4350 717787 322 42407 175 51004 190085 785666 25.71 13.46 -- 529.85/132.79 c N dy 4493 737899 338 42407 215 70629 190157 1249625 22.75 13.47 -- 542.23/135.86 c N dy 4637 757945 338 42407 215 54084 190157 860269 23.62 13.50 -- 555.41/139.17 c N dy 4780 778050 338 42407 215 73588 190157 1323834 24.25 13.51 -- 567.80/142.26 c N dy 4923 798176 338 42407 215 56184 190157 889919 24.61 13.53 -- 572.99/143.57 c S st 4978 805896 338 42407 215 63682 190157 1074150 24.84 13.54 -- 573.39/143.67 c S st 4978 806396 338 42407 215 64181 190157 1086710 24.84 13.54 -- 573.39/143.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 573.39/143.67 c Cache BProp: 0 Set: 0 BXProp: 2 T: 0.00 576.18/144.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 35.0M T: 2.71 576.18/144.35 c Calc non-exist non-lernt bins v-fix: 0 done: 338 time: 0.01 s 576.18/144.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 576.18/144.37 c Subs w/ non-existent bins: 0 time: 0.06 s 576.18/144.39 c Replacing 2 vars Replaced 1650 lits Time: 0.06 s 576.58/144.42 c bin-w-bin subsume rem 4 bins time: 0.02 s 576.58/144.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s 576.58/144.46 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 590.17/147.85 c ORs : 9 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 590.17/147.87 c lits-rem: 21 cl-subs: 6147 v-elim: 283 v-fix: 0 time: 13.61 s 590.17/147.87 c learnt bin added due to v-elim: 0 590.17/147.87 c vivif2 -- cl tried 42407 cl shrink 0 lits rem 0 time: 0.02 590.17/147.89 c vivif2 -- cl tried 58034 cl shrink 0 lits rem 0 time: 0.06 590.57/147.99 c asymm cl-useful: 0/773/42407 lits-rem:0 time: 0.41 590.97/148.00 c calculated reachability. Time: 0.00 590.97/148.00 c N dy 4978 806396 336 42407 203 58034 190141 956209 24.84 13.54 -- 604.55/151.44 c N dy 5121 826423 352 42407 235 39630 190205 483045 25.21 13.58 -- 616.13/154.37 c N dy 5265 846468 352 42407 235 59112 190205 977092 25.98 13.62 -- 630.10/157.88 c N dy 5409 866556 352 42407 235 39740 190205 468939 24.92 13.66 -- 642.10/160.85 c N dy 5552 886571 352 42407 235 59218 190205 956159 25.04 13.69 -- 655.67/164.23 c N dy 5696 906580 352 42407 235 78702 190205 1439742 24.16 13.71 -- 668.06/167.36 c N dy 5840 926666 352 42407 235 58253 190205 909829 25.14 13.74 -- 682.04/170.80 c N dy 5984 946802 352 42407 235 77866 190205 1389418 24.05 13.77 -- 694.42/173.96 c N dy 6127 966859 352 42407 235 56471 190205 870785 27.18 13.80 -- 708.01/177.36 c N dy 6271 986895 368 42407 268 76127 190269 1360572 28.64 13.83 -- 906.14/226.94 c N dy 6307 1209596 368 42407 268 73091 190269 1217279 26.46 14.64 -- 906.14/227.00 c S st 6307 1209596 368 42407 268 73091 190269 1217279 26.46 14.64 -- 906.94/227.11 c S st 6307 1210098 368 42407 270 73591 190271 1229793 26.46 14.64 -- 906.94/227.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 906.94/227.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 909.33/227.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 37.4M T: 2.66 909.33/227.78 c Calc non-exist non-lernt bins v-fix: 0 done: 368 time: 0.01 s 909.33/227.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 909.73/227.80 c Subs w/ non-existent bins: 0 time: 0.08 s 909.73/227.81 c Replacing 1 vars Replaced 39 lits Time: 0.03 s 909.73/227.84 c bin-w-bin subsume rem 2 bins time: 0.02 s 909.73/227.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s 909.73/227.89 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 925.72/231.81 c ORs : 9 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.10 929.30/232.74 c Added 4 vars tried: 80000 time: 3.73 930.12/232.97 c ORs : 4 avg-s: 0.0 cl-sh: 12096 l-rem: 12096 b-add: 8 v-rep: 0 cl-rem: 0 avg s: nan T: 4.64 930.12/233.00 c lits-rem: 248 cl-subs: 6025 v-elim: 283 v-fix: 0 time: 20.40 s 930.12/233.00 c learnt bin added due to v-elim: 0 930.12/233.00 c vivif2 -- cl tried 42411 cl shrink 0 lits rem 0 time: 0.02 930.52/233.02 c vivif2 -- cl tried 67565 cl shrink 0 lits rem 0 time: 0.08 930.90/233.13 c asymm cl-useful: 0/824/42411 lits-rem:0 time: 0.43 930.90/233.13 c calculated reachability. Time: 0.00 930.90/233.13 c N dy 6307 1210098 371 42411 273 67565 190293 1079393 26.46 14.64 -- 945.69/236.83 c N dy 6452 1230229 371 42411 273 87309 190293 1603973 24.40 14.66 -- 959.66/240.34 c N dy 6596 1250307 371 42411 273 60280 190293 887819 27.66 14.67 -- 1387.51/347.46 c N dy 6601 1710098 371 42411 273 98459 190293 1845793 28.37 15.37 -- 1387.89/347.54 c S st 6601 1710098 371 42411 273 98459 190293 1845793 28.37 15.37 -- 1387.89/347.54 c Finding binary XORs T: 0.00 s found: 0 1388.29/347.68 c S st 6601 1710598 379 42411 290 99016 190325 1858480 28.37 15.37 -- 1388.29/347.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1388.29/347.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1392.68/348.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 53.7M T: 4.26 1392.68/348.75 c Calc non-exist non-lernt bins v-fix: 0 done: 379 time: 0.01 s 1392.68/348.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1392.68/348.78 c Subs w/ non-existent bins: 0 time: 0.12 s 1393.08/348.82 c bin-w-bin subsume rem 0 bins time: 0.02 s 1393.48/348.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s 1393.48/348.91 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 1422.66/356.28 c ORs : 13 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.16 1423.04/356.32 c lits-rem: 93 cl-subs: 8941 v-elim: 283 v-fix: 0 time: 29.60 s 1423.04/356.32 c learnt bin added due to v-elim: 0 1423.04/356.32 c vivif2 -- cl tried 42411 cl shrink 0 lits rem 0 time: 0.02 1423.04/356.35 c vivif2 -- cl tried 90075 cl shrink 0 lits rem 0 time: 0.12 1423.44/356.46 c asymm cl-useful: 0/378/42411 lits-rem:0 time: 0.45 1423.44/356.47 c calculated reachability. Time: 0.00 1423.44/356.47 c N dy 6601 1710598 379 42411 290 90075 190325 1615415 28.37 15.37 -- 1930.36/483.30 c N dy 6639 2210598 379 42411 290 104510 190325 1827914 24.02 15.73 -- 1930.36/483.38 c S st 6639 2210598 379 42411 290 104510 190325 1827914 24.02 15.73 -- 1931.16/483.53 c S st 6639 2211098 382 42411 298 105014 190337 1841742 24.02 15.73 -- 1931.16/483.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1931.16/483.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1935.15/484.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 54.0M T: 4.09 1935.15/484.56 c Calc non-exist non-lernt bins v-fix: 0 done: 382 time: 0.02 s 1935.15/484.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1935.15/484.59 c Subs w/ non-existent bins: 0 time: 0.13 s 1935.55/484.64 c bin-w-bin subsume rem 0 bins time: 0.02 s 1935.95/484.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.31 s 1935.95/484.72 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 1967.54/492.66 c ORs : 13 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.16 1967.91/492.70 c lits-rem: 123 cl-subs: 8909 v-elim: 283 v-fix: 0 time: 31.89 s 1967.91/492.70 c learnt bin added due to v-elim: 0 1967.91/492.71 c vivif2 -- cl tried 42411 cl shrink 0 lits rem 0 time: 0.02 1967.91/492.74 c vivif2 -- cl tried 96105 cl shrink 2 lits rem 2 time: 0.12 1968.31/492.86 c asymm cl-useful: 0/358/42411 lits-rem:0 time: 0.48 1968.31/492.86 c calculated reachability. Time: 0.00 1968.31/492.86 c N dy 6639 2211098 382 42411 298 96105 190337 1614680 24.02 15.73 -- 2543.94/636.96 c N dy 6644 2711098 382 42411 298 119608 190337 2342650 28.84 16.27 -- 2544.34/637.06 c S st 6644 2711098 382 42411 298 119608 190337 2342650 28.84 16.27 -- 2545.14/637.22 c S st 6644 2711599 384 42411 302 120117 190345 2355372 28.84 16.27 -- 2545.14/637.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2545.14/637.23 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2549.93/638.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.77 2549.93/638.43 c Calc non-exist non-lernt bins v-fix: 0 done: 384 time: 0.02 s 2549.93/638.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2549.93/638.47 c Subs w/ non-existent bins: 0 time: 0.15 s 2550.33/638.52 c bin-w-bin subsume rem 0 bins time: 0.02 s 2550.73/638.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.41 s 2550.73/638.62 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 2599.46/650.90 c ORs : 13 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.19 2604.68/652.16 c Added 4 vars tried: 80000 time: 5.04 2610.65/653.61 c ORs : 4 avg-s: 0.0 cl-sh: 38654 l-rem: 38654 b-add: 16 v-rep: 0 cl-rem: 0 avg s: nan T: 10.84 2610.65/653.66 c lits-rem: 975 cl-subs: 9671 v-elim: 283 v-fix: 0 time: 60.06 s 2610.65/653.66 c learnt bin added due to v-elim: 0 2610.65/653.66 c vivif2 -- cl tried 42407 cl shrink 0 lits rem 0 time: 0.02 2611.05/653.70 c vivif2 -- cl tried 110446 cl shrink 1 lits rem 1 time: 0.15 2611.45/653.81 c asymm cl-useful: 0/247/42407 lits-rem:0 time: 0.45 2611.45/653.82 c calculated reachability. Time: 0.00 2611.45/653.82 c N dy 6644 2711599 388 42407 318 110446 190365 2016246 28.84 16.27 -- 2611.45/653.82 c F st 6644 2711599 388 42407 318 110446 190365 2016246 28.84 16.27 -- 2613.47/654.39 c Decided on static restart strategy 3203.86/802.17 c N dy 6669 3211599 388 42407 318 85698 190365 1193880 29.13 16.65 -- 3204.26/802.22 c S st 6669 3211599 388 42407 318 85698 190365 1193880 29.13 16.65 -- 3204.66/802.35 c S st 6669 3212101 388 42407 318 86198 190365 1205970 29.13 16.65 -- 3204.66/802.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3204.66/802.36 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3208.65/803.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 3.99 3208.65/803.36 c Calc non-exist non-lernt bins v-fix: 0 done: 388 time: 0.01 s 3208.65/803.36 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3208.65/803.39 c Subs w/ non-existent bins: 0 time: 0.10 s 3209.05/803.42 c bin-w-bin subsume rem 0 bins time: 0.02 s 3209.05/803.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s 3209.05/803.47 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 3223.85/807.17 c ORs : 17 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.18 3223.85/807.19 c lits-rem: 65 cl-subs: 3063 v-elim: 283 v-fix: 0 time: 14.88 s 3223.85/807.19 c learnt bin added due to v-elim: 0 3223.85/807.20 c vivif2 -- cl tried 42407 cl shrink 0 lits rem 0 time: 0.02 3224.25/807.22 c vivif2 -- cl tried 83135 cl shrink 0 lits rem 0 time: 0.09 3224.62/807.32 c asymm cl-useful: 0/325/42407 lits-rem:0 time: 0.37 3224.62/807.32 c calculated reachability. Time: 0.00 3224.62/807.32 c N dy 6669 3212101 388 42407 318 83135 190365 1129093 29.13 16.65 -- 3239.80/811.15 c N dy 6814 3232120 388 42407 318 102743 190365 1674606 26.36 16.65 -- 3852.98/964.66 c N dy 6945 3712103 388 42407 318 93996 190365 1372021 35.28 17.08 -- 3853.38/964.72 c S st 6945 3712103 388 42407 318 93996 190365 1372021 35.28 17.08 -- 3853.78/964.85 c S st 6945 3712604 392 42407 327 94497 190381 1385228 35.28 17.08 -- 3853.78/964.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3853.78/964.86 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3858.18/965.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.27 3858.18/965.93 c Calc non-exist non-lernt bins v-fix: 0 done: 392 time: 0.02 s 3858.18/965.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3858.18/965.96 c Subs w/ non-existent bins: 0 time: 0.11 s 3858.18/965.99 c bin-w-bin subsume rem 0 bins time: 0.02 s 3858.57/966.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.24 s 3858.57/966.06 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 3880.55/971.54 c ORs : 17 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.20 3880.55/971.57 c lits-rem: 45 cl-subs: 2798 v-elim: 283 v-fix: 0 time: 22.02 s 3880.55/971.57 c learnt bin added due to v-elim: 0 3880.55/971.57 c vivif2 -- cl tried 42407 cl shrink 0 lits rem 0 time: 0.02 3880.94/971.60 c vivif2 -- cl tried 91699 cl shrink 0 lits rem 0 time: 0.11 3881.34/971.70 c asymm cl-useful: 0/222/42407 lits-rem:0 time: 0.42 3881.34/971.71 c calculated reachability. Time: 0.00 3881.34/971.71 c N dy 6945 3712604 392 42407 327 91699 190381 1304650 35.28 17.08 -- 4531.68/1134.56 c N dy 7019 4212605 392 42407 327 152935 190381 2916702 31.09 17.12 -- 4532.08/1134.68 c S st 7019 4212605 392 42407 327 152935 190381 2916702 31.09 17.12 -- 4533.29/1134.90 c S st 7019 4213106 396 42407 336 153442 190397 2928583 31.09 17.12 -- 4533.29/1134.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4533.29/1134.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4538.09/1136.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.99 4538.09/1136.17 c Calc non-exist non-lernt bins v-fix: 0 done: 396 time: 0.02 s 4538.09/1136.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4538.47/1136.22 c Subs w/ non-existent bins: 0 time: 0.21 s 4538.47/1136.29 c bin-w-bin subsume rem 0 bins time: 0.02 s 4539.27/1136.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.59 s 4539.27/1136.43 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 4657.50/1166.04 c ORs : 17 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.30 4657.50/1166.09 c lits-rem: 108 cl-subs: 15116 v-elim: 283 v-fix: 0 time: 118.47 s 4657.50/1166.09 c learnt bin added due to v-elim: 0 4657.90/1166.10 c vivif2 -- cl tried 42407 cl shrink 0 lits rem 0 time: 0.02 4657.90/1166.15 c vivif2 -- cl tried 138326 cl shrink 2 lits rem 2 time: 0.21 4658.30/1166.26 c asymm cl-useful: 0/232/42407 lits-rem:0 time: 0.45 4658.30/1166.27 c calculated reachability. Time: 0.00 4658.30/1166.27 c N dy 7019 4213106 396 42407 336 138326 190397 2507769 31.09 17.12 --
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-3261933-1304132642/watcher-3261933-1304132642 -o /tmp/evaluation-result-3261933-1304132642/solver-3261933-1304132642 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261933-1304132642.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.27 6.00 6.88 5/180 18522 /proc/meminfo: memFree=25606760/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=50276 CPUtime=0 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 858 0 0 0 0 0 0 0 25 0 1 0 505680324 51482624 789 33554432000 4194304 4797429 140733715071024 18446744073709551615 255106465255 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18522/statm: 12569 790 347 148 0 7498 0 [startup+0.00802204 s] /proc/loadavg: 7.27 6.00 6.88 5/180 18522 /proc/meminfo: memFree=25606760/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=50544 CPUtime=0 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 967 0 0 0 0 0 0 0 25 0 1 0 505680324 51757056 890 33554432000 4194304 4797429 140733715071024 18446744073709551615 255106429637 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18522/statm: 12636 890 347 148 0 7565 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 50544 [startup+0.281716 s] /proc/loadavg: 7.27 6.00 6.88 5/180 18522 /proc/meminfo: memFree=25606760/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=543416 CPUtime=0.89 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 4637 0 0 0 89 0 0 0 25 0 4 0 505680324 556457984 4222 33554432000 4194304 4797429 140733715071024 18446744073709551615 255106466442 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 162873 4603 379 148 0 157802 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 543416 [startup+0.802774 s] /proc/loadavg: 7.27 6.00 6.88 5/180 18522 /proc/meminfo: memFree=25606760/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=695056 CPUtime=4.5 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 11624 0 0 0 449 1 0 0 19 0 4 0 505680324 711737344 8839 33554432000 4194304 4797429 140733715071024 18446744073709551615 4425824 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 173764 8839 411 148 0 168693 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 695056 [startup+1.28377 s] /proc/loadavg: 7.27 6.00 6.88 5/180 18522 /proc/meminfo: memFree=25606760/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=695188 CPUtime=4.9 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 11749 0 0 0 489 1 0 0 19 0 4 0 505680324 711872512 8964 33554432000 4194304 4797429 140733715071024 18446744073709551615 4351784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 173797 8964 411 148 0 168726 0 Current children cumulated CPU time (s) 4.9 Current children cumulated vsize (KiB) 695188 [startup+1.50073 s] /proc/loadavg: 7.27 6.00 6.88 5/180 18522 /proc/meminfo: memFree=25606760/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=695792 CPUtime=5.76 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 12036 0 0 0 575 1 0 0 19 0 4 0 505680324 712491008 9247 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 173948 9247 412 148 0 168877 0 Current children cumulated CPU time (s) 5.76 Current children cumulated vsize (KiB) 695792 [startup+3.10645 s] /proc/loadavg: 7.27 6.00 6.88 9/184 18526 /proc/meminfo: memFree=25564996/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=698920 CPUtime=12.18 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 14193 0 0 0 1216 2 0 0 24 0 4 0 505680324 715694080 10739 33554432000 4194304 4797429 140733715071024 18446744073709551615 4351787 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 174730 10739 415 148 0 169659 0 [pid=18522/tid=18524] ppid=18520 vsize=698920 CPUtime=3.02 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 2414 0 0 0 302 0 0 0 23 0 4 0 505680331 715694080 10739 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=698920 CPUtime=3.01 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 2480 0 0 0 301 0 0 0 23 0 4 0 505680331 715694080 10739 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=698920 CPUtime=3.02 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 2269 0 0 0 302 0 0 0 23 0 4 0 505680331 715694080 10739 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.18 Current children cumulated vsize (KiB) 698920 [startup+6.30088 s] /proc/loadavg: 7.33 6.03 6.89 9/184 18526 /proc/meminfo: memFree=25558160/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=700532 CPUtime=24.95 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 16034 0 0 0 2493 2 0 0 25 0 4 0 505680324 717344768 11887 33554432000 4194304 4797429 140733715071024 18446744073709551615 4429165 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 175133 11887 416 148 0 170062 0 [pid=18522/tid=18524] ppid=18520 vsize=700532 CPUtime=6.22 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 2564 0 0 0 622 0 0 0 25 0 4 0 505680331 717344768 11887 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=700532 CPUtime=6.19 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 2642 0 0 0 619 0 0 0 25 0 4 0 505680331 717344768 11887 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428836 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=700532 CPUtime=6.22 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 2430 0 0 0 622 0 0 0 25 0 4 0 505680331 717344768 11887 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 24.95 Current children cumulated vsize (KiB) 700532 [startup+12.7008 s] /proc/loadavg: 7.39 6.06 6.89 9/184 18526 /proc/meminfo: memFree=25549488/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=707152 CPUtime=50.5 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 21555 0 0 0 5046 4 0 0 25 0 4 0 505680324 724123648 13097 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 176788 13097 418 148 0 171717 0 [pid=18522/tid=18524] ppid=18520 vsize=707152 CPUtime=12.62 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 3281 0 0 0 1262 0 0 0 25 0 4 0 505680331 724123648 13097 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428580 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=707152 CPUtime=12.56 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 3449 0 0 0 1255 1 0 0 25 0 4 0 505680331 724123648 13097 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=707152 CPUtime=12.61 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 3288 0 0 0 1261 0 0 0 25 0 4 0 505680331 724123648 13097 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.5 Current children cumulated vsize (KiB) 707152 [startup+25.5005 s] /proc/loadavg: 7.52 6.16 6.91 9/184 18526 /proc/meminfo: memFree=25544940/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=712376 CPUtime=101.62 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 26608 0 0 0 10156 6 0 0 25 0 4 0 505680324 729473024 14697 33554432000 4194304 4797429 140733715071024 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 178094 14697 420 148 0 173023 0 [pid=18522/tid=18524] ppid=18520 vsize=712376 CPUtime=25.41 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 3561 0 0 0 2541 0 0 0 25 0 4 0 505680331 729473024 14697 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424970 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=712376 CPUtime=25.29 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 3707 0 0 0 2528 1 0 0 25 0 4 0 505680331 729473024 14697 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=712376 CPUtime=25.41 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 3514 0 0 0 2541 0 0 0 25 0 4 0 505680331 729473024 14697 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.62 Current children cumulated vsize (KiB) 712376 [startup+51.101 s] /proc/loadavg: 7.75 6.32 6.94 9/184 18527 /proc/meminfo: memFree=25527688/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=719704 CPUtime=203.89 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 39577 0 0 0 20378 11 0 0 25 0 4 0 505680324 736976896 17335 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 179926 17335 420 148 0 174855 0 [pid=18522/tid=18524] ppid=18520 vsize=719704 CPUtime=51.01 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 4530 0 0 0 5101 0 0 0 25 0 4 0 505680331 736976896 17335 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=719704 CPUtime=50.75 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 4693 0 0 0 5074 1 0 0 25 0 4 0 505680331 736976896 17335 33554432000 4194304 4797429 140733715071024 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=719704 CPUtime=51 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 5165 0 0 0 5100 0 0 0 25 0 4 0 505680331 736976896 17335 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428617 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 203.89 Current children cumulated vsize (KiB) 719704 [startup+102.301 s] /proc/loadavg: 7.96 6.59 7.00 9/184 18529 /proc/meminfo: memFree=25515664/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=725672 CPUtime=408.41 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 60477 0 0 0 40823 18 0 0 25 0 4 0 505680324 743088128 19504 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424662 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 181418 19504 420 148 0 176347 0 [pid=18522/tid=18524] ppid=18520 vsize=725672 CPUtime=102.22 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 7003 0 0 0 10221 1 0 0 25 0 4 0 505680331 743088128 19504 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=725672 CPUtime=101.67 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 7119 0 0 0 10165 2 0 0 25 0 4 0 505680331 743088128 19504 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=725672 CPUtime=102.2 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 7228 0 0 0 10219 1 0 0 25 0 4 0 505680331 743088128 19504 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.41 Current children cumulated vsize (KiB) 725672 [startup+162.3 s] /proc/loadavg: 8.09 6.88 7.07 9/184 18530 /proc/meminfo: memFree=25492572/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=737384 CPUtime=648.09 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 84412 0 0 0 64784 25 0 0 25 0 4 0 505680324 755081216 23218 33554432000 4194304 4797429 140733715071024 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 184346 23218 422 148 0 179275 0 [pid=18522/tid=18524] ppid=18520 vsize=737384 CPUtime=162.21 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 8436 0 0 0 16220 1 0 0 25 0 4 0 505680331 755081216 23218 33554432000 4194304 4797429 140733715071024 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=737384 CPUtime=161.34 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 9097 0 0 0 16132 2 0 0 25 0 4 0 505680331 755081216 23218 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=737384 CPUtime=162.21 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 9203 0 0 0 16219 2 0 0 25 0 4 0 505680331 755081216 23218 33554432000 4194304 4797429 140733715071024 18446744073709551615 4509357 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 648.09 Current children cumulated vsize (KiB) 737384 [startup+222.301 s] /proc/loadavg: 8.20 7.12 7.14 9/184 18532 /proc/meminfo: memFree=25480908/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=743744 CPUtime=887.77 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 104163 0 0 0 88745 32 0 0 25 0 4 0 505680324 761593856 24224 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 185936 24224 422 148 0 180865 0 [pid=18522/tid=18524] ppid=18520 vsize=743744 CPUtime=222.22 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 10171 0 0 0 22220 2 0 0 25 0 4 0 505680331 761593856 24224 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=743744 CPUtime=221.02 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 10568 0 0 0 22099 3 0 0 25 0 4 0 505680331 761593856 24224 33554432000 4194304 4797429 140733715071024 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=743744 CPUtime=222.21 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 10431 0 0 0 22219 2 0 0 25 0 4 0 505680331 761593856 24224 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 887.77 Current children cumulated vsize (KiB) 743744 [startup+282.3 s] /proc/loadavg: 8.20 7.31 7.20 9/184 18533 /proc/meminfo: memFree=25465024/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=750768 CPUtime=1127.44 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 119650 0 0 0 112705 39 0 0 25 0 4 0 505680324 768786432 27798 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 187692 27798 422 148 0 182621 0 [pid=18522/tid=18524] ppid=18520 vsize=750768 CPUtime=282.22 cores=1,3,5,7 ################ # More data... # ################ [pid=18522] ppid=18520 vsize=782304 CPUtime=2565.51 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 210373 0 0 0 256472 79 0 0 25 0 4 0 505680324 801079296 37359 33554432000 4194304 4797429 140733715071024 18446744073709551615 4506576 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 195576 37359 423 148 0 190505 0 [pid=18522/tid=18524] ppid=18520 vsize=782304 CPUtime=642.23 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 19137 0 0 0 64217 6 0 0 25 0 4 0 505680331 801079296 37359 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=782304 CPUtime=638.73 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 19604 0 0 0 63866 7 0 0 25 0 4 0 505680331 801079296 37359 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=782304 CPUtime=642.22 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 18660 0 0 0 64216 6 0 0 25 0 4 0 505680331 801079296 37359 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2565.51 Current children cumulated vsize (KiB) 782304 [startup+702.3 s] /proc/loadavg: 8.06 7.86 7.50 9/184 18544 /proc/meminfo: memFree=25384924/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=785724 CPUtime=2805.19 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 222142 0 0 0 280433 86 0 0 25 0 4 0 505680324 804581376 39068 33554432000 4194304 4797429 140733715071024 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 196431 39068 423 148 0 191360 0 [pid=18522/tid=18524] ppid=18520 vsize=785724 CPUtime=702.23 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 19953 0 0 0 70217 6 0 0 25 0 4 0 505680331 804581376 39068 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=785724 CPUtime=698.4 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 20883 0 0 0 69833 7 0 0 25 0 4 0 505680331 804581376 39068 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428767 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=785724 CPUtime=702.21 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 19728 0 0 0 70215 6 0 0 25 0 4 0 505680331 804581376 39068 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2805.19 Current children cumulated vsize (KiB) 785724 [startup+762.301 s] /proc/loadavg: 8.02 7.88 7.53 9/184 18546 /proc/meminfo: memFree=25380688/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=789064 CPUtime=3044.87 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 236713 0 0 0 304393 94 0 0 25 0 4 0 505680324 808001536 38914 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 197266 38914 423 148 0 192195 0 [pid=18522/tid=18524] ppid=18520 vsize=789064 CPUtime=762.23 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 21164 0 0 0 76216 7 0 0 25 0 4 0 505680331 808001536 38914 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=789064 CPUtime=758.08 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 22290 0 0 0 75799 9 0 0 25 0 4 0 505680331 808001536 38914 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=789064 CPUtime=762.22 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 20840 0 0 0 76215 7 0 0 25 0 4 0 505680331 808001536 38914 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3044.87 Current children cumulated vsize (KiB) 789064 [startup+822.3 s] /proc/loadavg: 8.13 7.93 7.56 9/184 18548 /proc/meminfo: memFree=25362812/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=791352 CPUtime=3284.54 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 249637 0 0 0 328354 100 0 0 25 0 4 0 505680324 810344448 41178 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 197838 41178 423 148 0 192767 0 [pid=18522/tid=18524] ppid=18520 vsize=791352 CPUtime=822.23 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 22591 0 0 0 82216 7 0 0 25 0 4 0 505680331 810344448 41178 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=791352 CPUtime=817.75 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 23666 0 0 0 81766 9 0 0 25 0 4 0 505680331 810344448 41178 33554432000 4194304 4797429 140733715071024 18446744073709551615 4430056 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=791352 CPUtime=822.21 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 21348 0 0 0 82214 7 0 0 25 0 4 0 505680331 810344448 41178 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3284.54 Current children cumulated vsize (KiB) 791352 [startup+882.301 s] /proc/loadavg: 8.12 7.96 7.59 9/184 18549 /proc/meminfo: memFree=25369364/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=794224 CPUtime=3524.22 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 263535 0 0 0 352314 108 0 0 25 0 4 0 505680324 813285376 40407 33554432000 4194304 4797429 140733715071024 18446744073709551615 4423089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 198556 40407 422 148 0 193485 0 [pid=18522/tid=18524] ppid=18520 vsize=794224 CPUtime=882.24 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 23785 0 0 0 88215 9 0 0 25 0 4 0 505680331 813285376 40407 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=794224 CPUtime=877.42 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 24226 0 0 0 87733 9 0 0 25 0 4 0 505680331 813285376 40407 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524084 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=794224 CPUtime=882.22 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 22464 0 0 0 88214 8 0 0 25 0 4 0 505680331 813285376 40407 33554432000 4194304 4797429 140733715071024 18446744073709551615 4523971 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3524.22 Current children cumulated vsize (KiB) 794224 [startup+942.301 s] /proc/loadavg: 8.11 7.98 7.62 9/184 18551 /proc/meminfo: memFree=25361408/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=794544 CPUtime=3763.9 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 277737 0 0 0 376274 116 0 0 25 0 4 0 505680324 813613056 41438 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 198636 41438 422 148 0 193565 0 [pid=18522/tid=18524] ppid=18520 vsize=794544 CPUtime=942.23 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 25112 0 0 0 94214 9 0 0 25 0 4 0 505680331 813613056 41438 33554432000 4194304 4797429 140733715071024 18446744073709551615 4346327 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=794544 CPUtime=937.11 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 25819 0 0 0 93700 11 0 0 25 0 4 0 505680331 813613056 41438 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=794544 CPUtime=942.22 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 23638 0 0 0 94213 9 0 0 25 0 4 0 505680331 813613056 41438 33554432000 4194304 4797429 140733715071024 18446744073709551615 4492026 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3763.9 Current children cumulated vsize (KiB) 794544 [startup+1002.3 s] /proc/loadavg: 8.10 8.00 7.65 9/184 18552 /proc/meminfo: memFree=25353076/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=795400 CPUtime=4003.58 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 289962 0 0 0 400235 123 0 0 25 0 4 0 505680324 814489600 42509 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424887 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 198850 42509 422 148 0 193779 0 [pid=18522/tid=18524] ppid=18520 vsize=795400 CPUtime=1002.24 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 25900 0 0 0 100214 10 0 0 25 0 4 0 505680331 814489600 42509 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=795400 CPUtime=996.78 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 27427 0 0 0 99667 11 0 0 25 0 4 0 505680331 814489600 42509 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=795400 CPUtime=1002.22 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 24360 0 0 0 100213 9 0 0 25 0 4 0 505680331 814489600 42509 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4003.58 Current children cumulated vsize (KiB) 795400 [startup+1062.3 s] /proc/loadavg: 8.07 8.01 7.67 9/184 18554 /proc/meminfo: memFree=25343144/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=800220 CPUtime=4243.28 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 302802 0 0 0 424198 130 0 0 25 0 4 0 505680324 819425280 44913 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 200055 44913 422 148 0 194984 0 [pid=18522/tid=18524] ppid=18520 vsize=800220 CPUtime=1062.25 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 27354 0 0 0 106214 11 0 0 25 0 4 0 505680331 819425280 44913 33554432000 4194304 4797429 140733715071024 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=800220 CPUtime=1056.46 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 27940 0 0 0 105634 12 0 0 25 0 4 0 505680331 819425280 44913 33554432000 4194304 4797429 140733715071024 18446744073709551615 4430072 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=800220 CPUtime=1062.23 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 26231 0 0 0 106213 10 0 0 25 0 4 0 505680331 819425280 44913 33554432000 4194304 4797429 140733715071024 18446744073709551615 4428570 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4243.28 Current children cumulated vsize (KiB) 800220 [startup+1122.3 s] /proc/loadavg: 7.84 7.96 7.67 9/184 18587 /proc/meminfo: memFree=25452508/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=800440 CPUtime=4482.94 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 316392 0 0 0 448156 138 0 0 25 0 4 0 505680324 819650560 45226 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 200110 45226 422 148 0 195039 0 [pid=18522/tid=18524] ppid=18520 vsize=800440 CPUtime=1122.24 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 28799 0 0 0 112213 11 0 0 25 0 4 0 505680331 819650560 45226 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524149 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=800440 CPUtime=1116.13 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 29103 0 0 0 111600 13 0 0 25 0 4 0 505680331 819650560 45226 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424965 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=800440 CPUtime=1122.22 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 27893 0 0 0 112212 10 0 0 25 0 4 0 505680331 819650560 45226 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4482.94 Current children cumulated vsize (KiB) 800440 [startup+1182.31 s] /proc/loadavg: 8.05 7.99 7.70 9/184 18588 /proc/meminfo: memFree=25428508/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=801756 CPUtime=4722.63 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 323525 0 0 0 472122 141 0 0 25 0 4 0 505680324 820998144 45940 33554432000 4194304 4797429 140733715071024 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 200439 45940 422 148 0 195368 0 [pid=18522/tid=18524] ppid=18520 vsize=801756 CPUtime=1182.25 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 29310 0 0 0 118213 12 0 0 25 0 4 0 505680331 820998144 45940 33554432000 4194304 4797429 140733715071024 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=801756 CPUtime=1175.81 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 30387 0 0 0 117567 14 0 0 25 0 4 0 505680331 820998144 45940 33554432000 4194304 4797429 140733715071024 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=801756 CPUtime=1182.23 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 28435 0 0 0 118212 11 0 0 25 0 4 0 505680331 820998144 45940 33554432000 4194304 4797429 140733715071024 18446744073709551615 4568007 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4722.63 Current children cumulated vsize (KiB) 801756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.04 7.99 7.71 9/184 18589 /proc/meminfo: memFree=25412748/32951124 swapFree=67111448/67111528 [pid=18522] ppid=18520 vsize=801916 CPUtime=4800.13 cores=1,3,5,7 /proc/18522/stat : 18522 (techdemo) R 18520 18522 17487 0 -1 4202496 325900 0 0 0 479870 143 0 0 25 0 4 0 505680324 821161984 48240 33554432000 4194304 4797429 140733715071024 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/18522/statm: 200479 48240 422 148 0 195408 0 [pid=18522/tid=18524] ppid=18520 vsize=801916 CPUtime=1201.65 cores=1,3,5,7 /proc/18522/task/18524/stat : 18524 (techdemo) R 18520 18522 17487 0 -1 4202560 29789 0 0 0 120153 12 0 0 25 0 4 0 505680331 821161984 48240 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18522/tid=18525] ppid=18520 vsize=801916 CPUtime=1195.1 cores=1,3,5,7 /proc/18522/task/18525/stat : 18525 (techdemo) R 18520 18522 17487 0 -1 4202560 30553 0 0 0 119496 14 0 0 25 0 4 0 505680331 821161984 48240 33554432000 4194304 4797429 140733715071024 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18522/tid=18526] ppid=18520 vsize=801916 CPUtime=1201.63 cores=1,3,5,7 /proc/18522/task/18526/stat : 18526 (techdemo) R 18520 18522 17487 0 -1 4202560 28590 0 0 0 120152 11 0 0 25 0 4 0 505680331 821161984 48240 33554432000 4194304 4797429 140733715071024 18446744073709551615 4423072 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.13 Current children cumulated vsize (KiB) 801916 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.72 CPU time (s): 4800.17 CPU user time (s): 4798.73 CPU system time (s): 1.43978 CPU usage (%): 399.441 Max. virtual memory (cumulated for all children) (KiB): 912344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.73 system time used= 1.43978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 325901 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= 1478 involuntary context switches= 32228 runsolver used 1.9427 second user time and 4.6323 second system time The end
Begin job on node144 at 2011-04-30 05:04:02 IDJOB=3261933 IDBENCH=83266 IDSOLVER=1584 FILE ID=node144/3261933-1304132642 RUNJOBID= node144-1304132544-18467 PBS_JOBID= 13170779 Free space on /tmp= 73528 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-24_567.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261933-1304132642/watcher-3261933-1304132642 -o /tmp/evaluation-result-3261933-1304132642/solver-3261933-1304132642 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261933-1304132642.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cb7c9df8144e5ba66f8009983efe791f RANDOM SEED=1067123959 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: 25607040 kB Buffers: 2125740 kB Cached: 4555164 kB SwapCached: 80 kB Active: 268188 kB Inactive: 6532332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25607040 kB SwapTotal: 67111528 kB SwapFree: 67111448 kB Dirty: 8636 kB Writeback: 40 kB AnonPages: 119192 kB Mapped: 15784 kB Slab: 480224 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 716652 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 05:24:06