| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.38 | 1201.52 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf |
| MD5SUM | 693b5fe291cecff45feff3be98a908cf |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 8.87165 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of clauses | 21294 |
| Sum of the clauses size | 93307 |
| Maximum clause length | 21 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 265 |
| Number of clauses of size 3 | 19364 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1665 |
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-3261889-1304132544.cnf' 0.00/0.00 c -- header says num vars: 200 0.00/0.00 c -- header says num clauses: 21294 0.02/0.03 c -- clauses added: 0 learnts, 21294 normals, 0 xors 0.02/0.03 c -- vars added 200 0.02/0.03 c Parsing time: 0.03 s 0.02/0.04 c N st 0 0 200 21029 265 0 93307 0 no data no data -- 0.87/0.25 c asymm cl-useful: 7/12636/21029 lits-rem:7 time: 0.84 0.87/0.25 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.1M T: 0.01 0.87/0.25 c Calc non-exist non-lernt bins v-fix: 0 done: 199 time: 0.00 s 0.87/0.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.87/0.25 c Subs w/ non-existent bins: 0 time: 0.00 s 0.87/0.26 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.87/0.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4.29/1.15 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 4.29/1.15 c lits-rem: 0 cl-subs: 9 v-elim: 132 v-fix: 0 time: 0.29 s 4.29/1.15 c learnt bin added due to v-elim: 0 4.29/1.15 c Finding binary XORs T: 0.00 s found: 0 4.29/1.15 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan) 4.29/1.15 c calculated reachability. Time: 0.00 4.29/1.15 c Calc default polars - time: 0.00 s pos: 199 undec: 1 neg: 0 4.29/1.15 c ========================================================================================= 4.29/1.15 c types(t): F = full restart, N = normal restart 4.29/1.15 c types(t): S = simplification begin/end, E = solution found 4.29/1.15 c restart types(rt): st = static, dy = dynamic 4.29/1.15 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 4.29/1.15 c B st 0 0 199 21020 66 0 92700 0 no data no data -- 4.29/1.15 c Decided on static restart strategy 4.29/1.15 c N dy 20 4068 199 21020 66 3842 92700 71173 18.07 10.33 -- 4.29/1.15 c N dy 49 8153 199 21020 66 5361 92700 90864 18.99 10.30 -- 5.47/1.41 c N dy 78 12268 199 21020 66 5228 92700 78322 18.46 10.25 -- 6.67/1.75 c N dy 107 16342 199 21020 66 9058 92700 146983 18.69 10.25 -- 8.27/2.11 c N dy 136 20387 199 21020 66 7581 92700 108618 16.55 10.29 -- 9.47/2.46 c N dy 165 24436 199 21020 66 11437 92700 178239 17.96 10.21 -- 11.07/2.84 c N dy 194 28484 199 21020 66 8832 92700 124666 18.30 10.19 -- 11.47/2.98 c S st 206 30000 199 21020 66 10282 92700 152127 18.57 10.22 -- 11.87/3.03 c S st 206 30502 199 21020 66 10781 92700 161091 18.57 10.22 -- 11.87/3.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 11.87/3.03 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 11.87/3.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 1.4M T: 0.11 11.87/3.05 c Calc non-exist non-lernt bins v-fix: 0 done: 199 time: 0.00 s 11.87/3.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 11.87/3.06 c Subs w/ non-existent bins: 0 time: 0.01 s 11.87/3.06 c bin-w-bin subsume rem 0 bins time: 0.01 s 11.87/3.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 11.87/3.07 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 17.06/4.37 c lits-rem: 152 cl-subs: 1794 v-elim: 199 v-fix: 0 time: 5.20 s 17.06/4.37 c learnt bin added due to v-elim: 0 17.06/4.37 c vivif2 -- cl tried 21020 cl shrink 0 lits rem 0 time: 0.00 17.06/4.37 c vivif2 -- cl tried 8987 cl shrink 0 lits rem 0 time: 0.01 17.88/4.54 c asymm cl-useful: 0/8384/21020 lits-rem:0 time: 0.66 17.88/4.54 c calculated reachability. Time: 0.00 17.88/4.54 c N dy 206 30502 199 21020 66 8987 92700 140949 18.57 10.22 -- 17.88/4.54 c F st 206 30502 199 21020 66 8987 92700 140949 18.57 10.22 -- 18.65/4.73 c Decided on static restart strategy 19.46/4.92 c N dy 226 34583 199 21020 66 12876 92700 213290 17.94 10.26 -- 21.05/5.30 c N dy 255 38687 199 21020 66 9257 92700 126568 17.74 10.22 -- 22.27/5.65 c N dy 284 42728 199 21020 66 13082 92700 192460 16.71 10.18 -- 23.45/5.94 c S st 306 45756 199 21020 66 15981 92700 245387 18.37 10.18 -- 23.45/5.99 c S st 306 46259 199 21020 66 16479 92700 255244 18.37 10.18 -- 23.45/5.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 23.45/5.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.85/6.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 2.9M T: 0.20 23.85/6.04 c Calc non-exist non-lernt bins v-fix: 0 done: 199 time: 0.00 s 23.85/6.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.85/6.05 c Subs w/ non-existent bins: 0 time: 0.02 s 23.85/6.05 c bin-w-bin subsume rem 0 bins time: 0.01 s 23.85/6.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 23.85/6.06 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 29.44/7.44 c lits-rem: 332 cl-subs: 1875 v-elim: 199 v-fix: 0 time: 5.53 s 29.44/7.44 c learnt bin added due to v-elim: 0 29.44/7.44 c vivif2 -- cl tried 21020 cl shrink 0 lits rem 0 time: 0.00 29.44/7.45 c vivif2 -- cl tried 14604 cl shrink 0 lits rem 0 time: 0.01 30.24/7.63 c asymm cl-useful: 1/3083/21020 lits-rem:1 time: 0.71 30.24/7.63 c calculated reachability. Time: 0.00 30.24/7.63 c N dy 306 46259 199 21020 66 14604 92699 231630 18.37 10.18 -- 31.84/8.02 c N dy 335 50362 199 21020 66 10043 92699 133227 18.33 10.23 -- 33.04/8.38 c N dy 364 54446 199 21020 66 13914 92699 204353 17.50 10.23 -- 34.64/8.77 c N dy 392 58491 199 21020 66 17697 92699 272814 17.34 10.24 -- 36.23/9.16 c N dy 421 62583 199 21020 66 12159 92699 164850 19.34 10.26 -- 37.83/9.53 c N dy 450 66649 199 21020 66 16043 92699 235189 19.11 10.26 -- 39.03/9.80 c S st 470 69388 199 21020 66 18648 92699 282222 17.70 10.26 -- 39.03/9.85 c S st 470 69888 199 21020 66 19142 92699 291898 17.70 10.26 -- 39.03/9.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 39.03/9.86 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.44/9.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 4.4M T: 0.28 39.44/9.93 c Calc non-exist non-lernt bins v-fix: 0 done: 199 time: 0.00 s 39.44/9.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.44/9.93 c Subs w/ non-existent bins: 0 time: 0.02 s 39.44/9.94 c bin-w-bin subsume rem 0 bins time: 0.01 s 39.44/9.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 39.44/9.95 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 45.02/11.36 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 51.82/13.01 c Added 3 vars tried: 80000 time: 6.62 51.82/13.02 c ORs : 3 avg-s: 0.0 cl-sh: 1899 l-rem: 1899 b-add: 6 v-rep: 0 cl-rem: 18 avg s: 3.0 T: 6.66 51.82/13.03 c lits-rem: 368 cl-subs: 2055 v-elim: 199 v-fix: 0 time: 12.31 s 51.82/13.03 c learnt bin added due to v-elim: 0 51.82/13.03 c vivif2 -- cl tried 21004 cl shrink 0 lits rem 0 time: 0.00 51.82/13.03 c vivif2 -- cl tried 17088 cl shrink 0 lits rem 0 time: 0.02 52.63/13.22 c asymm cl-useful: 0/4418/21004 lits-rem:0 time: 0.75 52.63/13.23 c calculated reachability. Time: 0.00 52.63/13.23 c N dy 470 69888 202 21004 72 17088 92513 263591 17.70 10.26 -- 52.63/13.23 c F st 470 69888 202 21004 72 17088 92513 263591 17.70 10.26 -- 53.41/13.42 c Decided on static restart strategy 54.21/13.68 c N dy 493 74378 202 21004 72 11001 92513 141000 18.92 10.28 -- 56.21/14.11 c N dy 527 79225 202 21004 72 15587 92513 224429 19.12 10.28 -- 58.21/14.62 c N dy 563 84335 202 21004 72 20443 92513 312038 18.12 10.30 -- 60.20/15.16 c N dy 602 89845 202 21004 72 14294 92513 196072 17.87 10.27 -- 62.60/15.72 c N dy 643 95666 202 21004 72 19832 92513 295948 16.77 10.26 -- 65.00/16.37 c N dy 686 101791 202 21004 72 13325 92513 165320 18.75 10.26 -- 66.22/16.66 c S st 708 104832 202 21004 72 16166 92513 216183 17.00 10.24 -- 66.59/16.71 c S st 708 105334 202 21004 72 16661 92513 225602 17.00 10.24 -- 66.59/16.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 66.59/16.71 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.59/16.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 5.0M T: 0.28 66.59/16.79 c Calc non-exist non-lernt bins v-fix: 0 done: 202 time: 0.00 s 66.59/16.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.59/16.79 c Subs w/ non-existent bins: 0 time: 0.02 s 66.99/16.80 c bin-w-bin subsume rem 0 bins time: 0.01 s 66.99/16.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 66.99/16.80 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 71.79/18.04 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01 71.79/18.04 c lits-rem: 172 cl-subs: 1255 v-elim: 199 v-fix: 0 time: 4.95 s 71.79/18.04 c learnt bin added due to v-elim: 0 71.79/18.04 c vivif2 -- cl tried 21004 cl shrink 0 lits rem 0 time: 0.00 71.79/18.05 c vivif2 -- cl tried 15406 cl shrink 0 lits rem 0 time: 0.01 72.58/18.25 c asymm cl-useful: 0/7776/21004 lits-rem:0 time: 0.80 72.58/18.25 c calculated reachability. Time: 0.00 72.58/18.25 c N dy 708 105334 202 21004 72 15406 92513 211301 17.00 10.24 -- 75.38/18.93 c N dy 756 112148 202 21004 72 21836 92513 325128 16.93 10.22 -- 78.58/19.70 c N dy 807 119382 202 21004 72 15468 92513 190658 17.13 10.21 -- 81.37/20.46 c N dy 861 127098 202 21004 72 22748 92513 316269 17.46 10.17 -- 84.97/21.31 c N dy 918 135238 202 21004 72 16298 92513 190301 18.65 10.17 -- 88.19/22.16 c N dy 979 143889 202 21004 72 24476 92513 336208 16.01 10.16 -- 92.18/23.15 c N dy 1044 153087 202 21004 72 18045 92513 209906 16.79 10.15 -- 94.17/23.65 c S st 1079 158001 202 21004 72 22683 92513 292556 18.89 10.15 -- 94.57/23.71 c S st 1079 158503 202 21004 72 23179 92513 301724 18.89 10.15 -- 94.57/23.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 94.57/23.71 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 94.97/23.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 8.0M T: 0.44 94.97/23.82 c Calc non-exist non-lernt bins v-fix: 0 done: 202 time: 0.00 s 94.97/23.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 94.97/23.82 c Subs w/ non-existent bins: 0 time: 0.02 s 94.97/23.83 c bin-w-bin subsume rem 0 bins time: 0.01 s 94.97/23.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 94.97/23.84 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 100.98/25.35 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01 100.98/25.36 c lits-rem: 450 cl-subs: 2624 v-elim: 199 v-fix: 0 time: 6.06 s 100.98/25.36 c learnt bin added due to v-elim: 0 100.98/25.36 c vivif2 -- cl tried 21004 cl shrink 0 lits rem 0 time: 0.01 100.98/25.36 c vivif2 -- cl tried 20555 cl shrink 0 lits rem 0 time: 0.02 101.76/25.55 c asymm cl-useful: 0/5294/21004 lits-rem:0 time: 0.76 101.76/25.55 c calculated reachability. Time: 0.00 101.76/25.55 c N dy 1079 158503 202 21004 72 20555 92513 272985 18.89 10.15 -- 106.15/26.64 c N dy 1151 168661 214 21004 96 30193 92561 440492 17.85 10.14 -- 110.54/27.78 c N dy 1227 179426 214 21004 96 24354 92561 314064 17.98 10.12 -- 116.14/29.13 c N dy 1309 191002 214 21004 96 18321 92561 199323 17.67 10.12 -- 121.33/30.41 c N dy 1395 203228 214 21004 96 29964 92561 404412 16.69 10.11 -- 127.35/31.91 c N dy 1487 216305 214 21004 96 24327 92561 294393 16.17 10.09 -- 133.32/33.48 c N dy 1585 230241 214 21004 96 37491 92561 522740 17.16 10.08 -- 136.92/34.32 c S st 1639 237754 214 21004 96 25693 92561 314911 16.40 10.09 -- 136.92/34.38 c S st 1639 238255 214 21004 96 26188 92561 323529 16.40 10.09 -- 136.92/34.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 136.92/34.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 137.71/34.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 10.5M T: 0.56 137.71/34.53 c Calc non-exist non-lernt bins v-fix: 0 done: 214 time: 0.00 s 137.71/34.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 137.71/34.53 c Subs w/ non-existent bins: 0 time: 0.02 s 137.71/34.54 c bin-w-bin subsume rem 0 bins time: 0.01 s 137.71/34.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 137.71/34.55 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 143.30/35.91 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01 143.30/35.91 c lits-rem: 510 cl-subs: 2731 v-elim: 199 v-fix: 0 time: 5.45 s 143.30/35.91 c learnt bin added due to v-elim: 0 143.30/35.92 c vivif2 -- cl tried 21004 cl shrink 0 lits rem 0 time: 0.01 143.30/35.92 c vivif2 -- cl tried 23457 cl shrink 0 lits rem 0 time: 0.02 143.70/36.09 c asymm cl-useful: 1/2227/21004 lits-rem:1 time: 0.69 143.70/36.09 c calculated reachability. Time: 0.00 143.70/36.09 c N dy 1639 238255 214 21004 96 23457 92560 295712 16.40 10.09 -- 151.30/37.90 c N dy 1747 253603 214 21004 96 37903 92560 550470 16.99 10.10 -- 158.51/39.73 c N dy 1862 269848 226 21004 125 33654 92612 452122 16.47 10.12 -- 166.89/41.81 c N dy 1985 287155 226 21004 125 29175 92612 361872 17.93 10.12 -- 175.69/44.07 c N dy 2115 305583 226 21004 125 24829 92612 281927 17.28 10.12 -- 185.25/46.40 c N dy 2253 325196 226 21004 125 43367 92612 603682 17.77 10.11 -- 194.44/48.76 c N dy 2394 345283 226 21004 127 39667 92614 540650 18.65 10.12 -- 200.84/50.34 c S st 2480 357382 226 21004 127 27456 92614 319001 16.63 10.13 -- 201.24/50.40 c S st 2480 357884 226 21004 127 27954 92614 327546 16.63 10.13 -- 201.24/50.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 201.24/50.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 201.64/50.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 13.0M T: 0.66 201.64/50.57 c Calc non-exist non-lernt bins v-fix: 0 done: 226 time: 0.00 s 201.64/50.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 201.64/50.57 c Subs w/ non-existent bins: 0 time: 0.02 s 201.64/50.57 c Replacing 2 vars Replaced 152 lits Time: 0.01 s 201.64/50.58 c bin-w-bin subsume rem 4 bins time: 0.01 s 201.64/50.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 201.64/50.59 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 207.63/52.03 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01 207.63/52.03 c lits-rem: 384 cl-subs: 2065 v-elim: 199 v-fix: 0 time: 5.76 s 207.63/52.03 c learnt bin added due to v-elim: 0 207.63/52.04 c vivif2 -- cl tried 21003 cl shrink 0 lits rem 0 time: 0.01 207.63/52.04 c vivif2 -- cl tried 25890 cl shrink 0 lits rem 0 time: 0.02 208.43/52.21 c asymm cl-useful: 0/2126/21003 lits-rem:0 time: 0.67 208.43/52.21 c calculated reachability. Time: 0.00 208.43/52.21 c N dy 2480 357884 224 21003 116 25890 92579 307380 16.63 10.13 -- 218.42/54.71 c N dy 2622 378011 230 21003 136 44951 92611 643867 18.81 10.13 -- 228.42/57.26 c N dy 2764 398076 230 21003 136 39381 92611 520853 16.96 10.12 -- 239.19/59.90 c N dy 2905 418086 230 21003 136 32735 92611 405556 16.00 10.11 -- 249.58/62.57 c N dy 3047 438211 230 21003 136 51771 92611 738594 16.46 10.11 -- 304.73/76.31 c N dy 3127 536826 230 21003 137 33645 92611 369873 19.93 10.04 -- 304.73/76.33 c S st 3127 536826 230 21003 137 33645 92611 369873 19.93 10.04 -- 304.73/76.40 c S st 3127 537327 230 21003 137 34138 92611 377804 19.93 10.04 -- 305.13/76.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 305.13/76.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 305.53/76.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 15.9M T: 0.79 305.93/76.60 c Calc non-exist non-lernt bins v-fix: 0 done: 230 time: 0.01 s 305.93/76.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 305.93/76.60 c Subs w/ non-existent bins: 0 time: 0.03 s 305.93/76.61 c Replacing 2 vars Replaced 80 lits Time: 0.01 s 305.93/76.62 c bin-w-bin subsume rem 4 bins time: 0.01 s 305.93/76.68 c subs with bin: 2164 lits-rem: 104 v-fix: 0 time: 0.26 s 305.93/76.68 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 311.52/78.06 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.01 314.31/78.74 c Added 3 vars tried: 80000 time: 2.73 314.31/78.76 c ORs : 3 avg-s: 0.0 cl-sh: 1721 l-rem: 1721 b-add: 6 v-rep: 0 cl-rem: 16 avg s: 3.5 T: 2.79 314.31/78.77 c lits-rem: 703 cl-subs: 2267 v-elim: 199 v-fix: 0 time: 8.32 s 314.31/78.77 c learnt bin added due to v-elim: 0 314.31/78.77 c vivif2 -- cl tried 20987 cl shrink 0 lits rem 0 time: 0.01 314.31/78.77 c vivif2 -- cl tried 29710 cl shrink 0 lits rem 0 time: 0.02 315.11/78.94 c asymm cl-useful: 0/1603/20987 lits-rem:0 time: 0.66 315.11/78.94 c calculated reachability. Time: 0.00 315.11/78.94 c N dy 3127 537327 231 20987 131 29710 92495 334900 19.93 10.04 -- 315.11/78.94 c F st 3127 537327 231 20987 131 29710 92495 334900 19.93 10.04 -- 315.91/79.18 c Decided on static restart strategy 482.51/120.83 c N dy 3244 805990 231 20987 132 52001 92495 636710 16.97 10.24 -- 482.51/120.86 c S st 3244 805990 231 20987 132 52001 92495 636710 16.97 10.24 -- 482.51/120.86 c Finding binary XORs T: 0.00 s found: 0 482.91/120.94 c S st 3244 806491 234 20987 138 52516 92507 646391 16.97 10.24 -- 482.91/120.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 482.91/120.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 484.51/121.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 26.0M T: 1.47 484.51/121.32 c Calc non-exist non-lernt bins v-fix: 0 done: 234 time: 0.01 s 484.51/121.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 484.51/121.33 c Subs w/ non-existent bins: 0 time: 0.04 s 484.51/121.34 c bin-w-bin subsume rem 0 bins time: 0.01 s 485.31/121.53 c subs with bin: 3200 lits-rem: 212 v-fix: 0 time: 0.75 s 485.31/121.53 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 493.30/123.59 c ORs : 6 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 5.0 T: 0.04 493.70/123.60 c lits-rem: 2452 cl-subs: 7149 v-elim: 199 v-fix: 0 time: 8.28 s 493.70/123.60 c learnt bin added due to v-elim: 0 493.70/123.61 c vivif2 -- cl tried 20981 cl shrink 0 lits rem 0 time: 0.01 493.70/123.62 c vivif2 -- cl tried 42172 cl shrink 0 lits rem 0 time: 0.04 494.10/123.71 c asymm cl-useful: 0/1229/20981 lits-rem:0 time: 0.37 494.10/123.71 c calculated reachability. Time: 0.00 494.10/123.71 c N dy 3244 806491 234 20981 138 42172 92491 526498 16.97 10.24 -- 788.56/197.44 c N dy 3246 1209737 234 20981 138 57931 92491 706777 16.75 10.44 -- 788.56/197.47 c S st 3246 1209737 234 20981 138 57931 92491 706777 16.75 10.44 -- 788.96/197.56 c S st 3246 1210239 246 20981 164 58489 92539 715403 16.75 10.44 -- 788.96/197.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 788.96/197.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 790.98/198.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 30.9M T: 1.77 790.98/198.01 c Calc non-exist non-lernt bins v-fix: 0 done: 246 time: 0.00 s 790.98/198.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 790.98/198.02 c Subs w/ non-existent bins: 0 time: 0.05 s 790.98/198.04 c bin-w-bin subsume rem 0 bins time: 0.01 s 790.98/198.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.06 s 790.98/198.06 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 800.17/200.35 c ORs : 6 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 5.0 T: 0.05 800.17/200.37 c lits-rem: 512 cl-subs: 9362 v-elim: 199 v-fix: 0 time: 9.24 s 800.17/200.37 c learnt bin added due to v-elim: 0 800.17/200.37 c vivif2 -- cl tried 20981 cl shrink 0 lits rem 0 time: 0.00 800.17/200.38 c vivif2 -- cl tried 49126 cl shrink 1 lits rem 1 time: 0.05 800.54/200.48 c asymm cl-useful: 0/786/20981 lits-rem:0 time: 0.39 800.54/200.48 c calculated reachability. Time: 0.00 800.54/200.48 c N dy 3246 1210239 246 20981 164 49126 92539 600032 16.75 10.44 -- 1212.89/303.66 c N dy 3255 1710239 248 20981 197 78896 92551 911816 17.34 10.48 -- 1212.89/303.70 c S st 3255 1710239 248 20981 197 78896 92551 911816 17.34 10.48 -- 1213.67/303.80 c S st 3255 1710741 248 20981 199 79719 92553 920821 17.34 10.48 -- 1213.67/303.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1213.67/303.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1215.67/304.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 34.3M T: 1.98 1215.67/304.30 c Calc non-exist non-lernt bins v-fix: 0 done: 248 time: 0.01 s 1215.67/304.30 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1215.67/304.32 c Subs w/ non-existent bins: 5 time: 0.08 s 1216.47/304.59 c Replacing 1 vars Replaced 2275 lits Time: 1.05 s 1216.87/304.60 c bin-w-bin subsume rem 0 bins time: 0.01 s 1216.87/304.62 c subs with bin: 0 lits-rem: 116 v-fix: 0 time: 0.07 s 1216.87/304.62 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1228.44/307.53 c ORs : 5 avg-s: 2.0 cl-sh: 34 l-rem: 34 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 5.5 T: 0.04 1231.64/308.30 c Added 3 vars tried: 80000 time: 3.09 1231.64/308.31 c ORs : 3 avg-s: 0.0 cl-sh: 1641 l-rem: 1641 b-add: 6 v-rep: 0 cl-rem: 8 avg s: 3.0 T: 3.13 1231.64/308.33 c lits-rem: 2682 cl-subs: 14832 v-elim: 197 v-fix: 0 time: 14.79 s 1231.64/308.33 c learnt bin added due to v-elim: 0 1231.64/308.33 c vivif2 -- cl tried 20614 cl shrink 0 lits rem 0 time: 0.00 1231.64/308.34 c vivif2 -- cl tried 44747 cl shrink 0 lits rem 0 time: 0.05 1232.04/308.44 c asymm cl-useful: 0/1344/20614 lits-rem:0 time: 0.39 1232.04/308.44 c calculated reachability. Time: 0.00 1232.04/308.44 c N dy 3255 1710741 250 20614 172 44747 91072 556318 17.34 10.48 -- 1650.37/413.13 c Finding binary XORs T: 0.00 s found: 0 1691.12/423.33 c N dy 3257 2210741 249 20271 171 86527 89825 1242384 18.76 10.50 -- 1691.12/423.39 c S st 3257 2210741 249 20271 171 86527 89825 1242384 18.76 10.50 -- 1691.94/423.52 c S st 3257 2211244 249 20271 171 87026 89825 1251328 18.76 10.50 -- 1691.94/423.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1691.94/423.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1695.12/424.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 45.4M T: 3.13 1695.12/424.31 c Calc non-exist non-lernt bins v-fix: 0 done: 249 time: 0.01 s 1695.12/424.31 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1695.12/424.33 c Subs w/ non-existent bins: 0 time: 0.08 s 1695.12/424.36 c bin-w-bin subsume rem 0 bins time: 0.01 s 1711.10/428.38 c subs with bin: 25668 lits-rem: 10 v-fix: 0 time: 16.06 s 1711.10/428.38 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1720.29/430.68 c ORs : 8 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 1720.69/430.70 c lits-rem: 150 cl-subs: 3023 v-elim: 196 v-fix: 0 time: 9.29 s 1720.69/430.70 c learnt bin added due to v-elim: 0 1720.69/430.71 c vivif2 -- cl tried 20257 cl shrink 0 lits rem 0 time: 0.01 1720.69/430.72 c vivif2 -- cl tried 58349 cl shrink 0 lits rem 0 time: 0.06 1721.09/430.83 c asymm cl-useful: 0/817/20257 lits-rem:0 time: 0.43 1721.09/430.83 c calculated reachability. Time: 0.00 1721.09/430.83 c N dy 3257 2211244 249 20257 171 58349 89534 833668 18.76 10.50 -- 2256.86/564.96 c N dy 3258 2711244 249 20257 171 93152 89534 1198751 20.45 10.64 -- 2257.26/565.01 c S st 3258 2711244 249 20257 171 93152 89534 1198751 20.45 10.64 -- 2257.66/565.15 c S st 3258 2711746 261 20257 200 93705 89588 1207100 20.45 10.64 -- 2257.66/565.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2257.66/565.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2261.66/566.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 2 BRemL: 0 BRemN: 1 CBin: 0 P: 59.5M T: 3.84 2261.66/566.12 c Calc non-exist non-lernt bins v-fix: 0 done: 261 time: 0.01 s 2261.66/566.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2261.66/566.14 c Subs w/ non-existent bins: 1 time: 0.09 s 2262.06/566.22 c Replacing 2 vars Replaced 5062 lits Time: 0.31 s 2262.06/566.24 c bin-w-bin subsume rem 2 bins time: 0.01 s 2262.46/566.38 c subs with bin: 1018 lits-rem: 846 v-fix: 0 time: 0.52 s 2262.46/566.38 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 2284.83/571.90 c ORs : 8 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 8.0 T: 0.09 2284.83/571.93 c lits-rem: 353 cl-subs: 12922 v-elim: 196 v-fix: 0 time: 22.19 s 2284.83/571.93 c learnt bin added due to v-elim: 0 2284.83/571.93 c vivif2 -- cl tried 20257 cl shrink 0 lits rem 0 time: 0.01 2284.83/571.95 c vivif2 -- cl tried 79763 cl shrink 0 lits rem 0 time: 0.08 2285.25/572.06 c asymm cl-useful: 0/852/20257 lits-rem:0 time: 0.43 2285.25/572.07 c calculated reachability. Time: 0.00 2285.25/572.07 c N dy 3258 2711746 259 20257 193 79763 89574 1031823 20.45 10.64 -- 2285.25/572.07 c F st 3258 2711746 259 20257 193 79763 89574 1031823 20.45 10.64 -- 2287.63/572.64 c Decided on static restart strategy 2844.99/712.18 c N dy 3266 3211746 268 20257 242 138210 89622 1988498 19.83 10.67 -- 2845.39/712.26 c S st 3266 3211746 268 20257 242 138210 89622 1988498 19.83 10.67 -- 2846.19/712.43 c S st 3266 3212248 268 20257 242 138705 89622 1996843 19.83 10.67 -- 2846.19/712.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2846.19/712.44 c Cache BProp: 3 Set: 0 BXProp: 0 T: 0.00 2850.58/713.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.32 2850.58/713.52 c Calc non-exist non-lernt bins v-fix: 0 done: 268 time: 0.01 s 2850.58/713.52 c Cache BProp: 3 Set: 0 BXProp: 0 T: 0.00 2850.58/713.56 c Subs w/ non-existent bins: 0 time: 0.16 s 2851.78/713.86 c Replacing 1 vars Replaced 70 lits Time: 1.18 s 2851.78/713.90 c bin-w-bin subsume rem 2 bins time: 0.01 s 2852.20/713.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s 2852.20/713.94 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 2887.75/722.84 c ORs : 7 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 10.0 T: 0.12 2893.33/724.24 c Added 3 vars tried: 80000 time: 5.58 2893.33/724.26 c ORs : 3 avg-s: 0.0 cl-sh: 2224 l-rem: 2224 b-add: 6 v-rep: 0 cl-rem: 8 avg s: 3.0 T: 5.66 2893.33/724.29 c lits-rem: 91 cl-subs: 14217 v-elim: 195 v-fix: 0 time: 41.34 s 2893.33/724.29 c learnt bin added due to v-elim: 0 2893.33/724.29 c vivif2 -- cl tried 19887 cl shrink 0 lits rem 0 time: 0.01 2893.73/724.32 c vivif2 -- cl tried 97955 cl shrink 0 lits rem 0 time: 0.13 2894.13/724.45 c asymm cl-useful: 0/668/19887 lits-rem:0 time: 0.49 2894.13/724.45 c calculated reachability. Time: 0.00 2894.13/724.45 c N dy 3266 3212248 270 19887 215 97955 88058 1478366 19.83 10.67 -- 3474.65/869.75 c Finding binary XORs T: 0.00 s found: 0 3529.01/883.33 c N dy 3267 3712252 269 19548 215 112205 86841 1641683 13.75 10.66 -- 3529.41/883.40 c S st 3267 3712252 269 19548 215 112205 86841 1641683 13.75 10.66 -- 3529.79/883.59 c S st 3267 3712752 269 19548 215 112702 86841 1650140 13.75 10.66 -- 3530.19/883.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3530.19/883.60 c Cache BProp: 3 Set: 0 BXProp: 0 T: 0.00 3534.58/884.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.41 3534.58/884.70 c Calc non-exist non-lernt bins v-fix: 0 done: 269 time: 0.01 s 3534.58/884.70 c Cache BProp: 3 Set: 0 BXProp: 0 T: 0.00 3534.58/884.73 c Subs w/ non-existent bins: 0 time: 0.12 s 3534.58/884.77 c bin-w-bin subsume rem 0 bins time: 0.01 s 3551.39/888.92 c subs with bin: 21059 lits-rem: 1968 v-fix: 0 time: 16.59 s 3551.39/888.92 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 3572.96/894.30 c ORs : 10 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 6.0 T: 0.07 3572.96/894.33 c lits-rem: 26 cl-subs: 7761 v-elim: 194 v-fix: 0 time: 21.60 s 3572.96/894.33 c learnt bin added due to v-elim: 0 3572.96/894.33 c vivif2 -- cl tried 19529 cl shrink 0 lits rem 0 time: 0.01 3572.96/894.36 c vivif2 -- cl tried 83899 cl shrink 0 lits rem 0 time: 0.10 3573.36/894.48 c asymm cl-useful: 0/726/19529 lits-rem:0 time: 0.50 3573.36/894.49 c calculated reachability. Time: 0.00 3573.36/894.49 c N dy 3267 3712752 269 19529 215 83899 86562 1230839 13.75 10.66 -- 4252.95/1064.56 c N dy 3270 4212752 280 19529 259 83262 86616 933411 18.28 10.63 -- 4253.36/1064.60 c S st 3270 4212752 280 19529 259 83262 86616 933411 18.28 10.63 -- 4253.76/1064.73 c S st 3270 4213255 281 19529 261 83750 86620 941484 18.28 10.63 -- 4253.76/1064.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4253.76/1064.73 c Cache BProp: 2 Set: 0 BXProp: 0 T: 0.00 4256.55/1065.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 0 BRemL: 0 BRemN: 1 CBin: 0 P: 52.0M T: 3.02 4256.55/1065.49 c Calc non-exist non-lernt bins v-fix: 0 done: 281 time: 0.01 s 4256.55/1065.49 c Cache BProp: 2 Set: 0 BXProp: 0 T: 0.00 4256.95/1065.51 c Subs w/ non-existent bins: 1 time: 0.10 s 4257.75/1065.72 c Replacing 2 vars Replaced 37 lits Time: 0.84 s 4257.75/1065.74 c bin-w-bin subsume rem 2 bins time: 0.01 s 4257.75/1065.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.07 s 4257.75/1065.76 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 4266.94/1068.01 c ORs : 10 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 5.0 T: 0.06 4266.94/1068.03 c lits-rem: 192 cl-subs: 1618 v-elim: 193 v-fix: 0 time: 9.06 s 4266.94/1068.03 c learnt bin added due to v-elim: 0 4266.94/1068.03 c vivif2 -- cl tried 19207 cl shrink 0 lits rem 0 time: 0.01 4266.94/1068.05 c vivif2 -- cl tried 63616 cl shrink 0 lits rem 0 time: 0.07 4267.35/1068.15 c asymm cl-useful: 0/743/19207 lits-rem:0 time: 0.41 4267.35/1068.16 c calculated reachability. Time: 0.00 4267.35/1068.16 c N dy 3270 4213255 279 19207 236 63616 85194 744153 18.28 10.63 --
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-3261889-1304132544/watcher-3261889-1304132544 -o /tmp/evaluation-result-3261889-1304132544/solver-3261889-1304132544 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261889-1304132544.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.74 5.19 6.76 3/177 18486 /proc/meminfo: memFree=25661712/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=50144 CPUtime=0 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 704 0 0 0 0 0 0 0 22 0 1 0 505670576 51347456 635 33554432000 4194304 4797429 140735713149456 18446744073709551615 255106465547 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/18486/statm: 12536 635 347 148 0 7465 0 [startup+0.0296029 s] /proc/loadavg: 3.74 5.19 6.76 3/177 18486 /proc/meminfo: memFree=25661712/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=54708 CPUtime=0.02 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 2116 0 0 0 2 0 0 0 22 0 1 0 505670576 56020992 1979 33554432000 4194304 4797429 140735713149456 18446744073709551615 4621888 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/18486/statm: 13677 1979 349 148 0 8606 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 54708 [startup+0.2515 s] /proc/loadavg: 3.74 5.19 6.76 3/177 18486 /proc/meminfo: memFree=25661712/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=363832 CPUtime=0.87 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 2549 0 0 0 87 0 0 0 18 0 4 0 505670576 372563968 2349 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 90958 2361 377 148 0 85887 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 363832 [startup+0.300489 s] /proc/loadavg: 3.74 5.19 6.76 3/177 18486 /proc/meminfo: memFree=25661712/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=679912 CPUtime=1.07 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 5063 0 0 0 106 1 0 0 18 0 4 0 505670576 696229888 3889 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524101 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 169978 3889 398 148 0 164907 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 679912 [startup+0.700417 s] /proc/loadavg: 3.74 5.19 6.76 3/177 18486 /proc/meminfo: memFree=25661712/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=681496 CPUtime=2.67 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 6109 0 0 0 266 1 0 0 18 0 4 0 505670576 697851904 4834 33554432000 4194304 4797429 140735713149456 18446744073709551615 4351621 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 170374 4834 411 148 0 165303 0 Current children cumulated CPU time (s) 2.67 Current children cumulated vsize (KiB) 681496 [startup+1.50028 s] /proc/loadavg: 3.74 5.19 6.76 11/184 18493 /proc/meminfo: memFree=25619620/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=683608 CPUtime=5.87 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 8141 0 0 0 585 2 0 0 19 0 4 0 505670576 700014592 6499 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424408 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 170902 6499 415 148 0 165831 0 [pid=18486/tid=18491] ppid=18484 vsize=683608 CPUtime=1.45 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 1428 0 0 0 145 0 0 0 19 0 4 0 505670580 700014592 6499 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=683608 CPUtime=1.45 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 1566 0 0 0 145 0 0 0 19 0 4 0 505670580 700014592 6499 33554432000 4194304 4797429 140735713149456 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=683608 CPUtime=1.45 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 1333 0 0 0 145 0 0 0 19 0 4 0 505670580 700014592 6499 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.87 Current children cumulated vsize (KiB) 683608 [startup+3.101 s] /proc/loadavg: 4.08 5.23 6.76 9/184 18493 /proc/meminfo: memFree=25607956/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=685288 CPUtime=12.27 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 9700 0 0 0 1225 2 0 0 23 0 4 0 505670576 701734912 7275 33554432000 4194304 4797429 140735713149456 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 171322 7275 422 148 0 166251 0 [pid=18486/tid=18491] ppid=18484 vsize=685288 CPUtime=3.04 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 1488 0 0 0 304 0 0 0 24 0 4 0 505670580 701734912 7275 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=685288 CPUtime=3.05 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 1610 0 0 0 305 0 0 0 24 0 4 0 505670580 701734912 7275 33554432000 4194304 4797429 140735713149456 18446744073709551615 4519857 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=685288 CPUtime=3.06 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 1436 0 0 0 306 0 0 0 23 0 4 0 505670580 701734912 7275 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.27 Current children cumulated vsize (KiB) 685288 [startup+6.30043 s] /proc/loadavg: 4.08 5.23 6.76 9/184 18493 /proc/meminfo: memFree=25600520/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=688436 CPUtime=25.05 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 11685 0 0 0 2502 3 0 0 25 0 4 0 505670576 704958464 7606 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524101 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 172109 7606 424 148 0 167038 0 [pid=18486/tid=18491] ppid=18484 vsize=688436 CPUtime=6.23 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 1881 0 0 0 623 0 0 0 25 0 4 0 505670580 704958464 7606 33554432000 4194304 4797429 140735713149456 18446744073709551615 4567923 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=688436 CPUtime=6.25 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 1997 0 0 0 625 0 0 0 25 0 4 0 505670580 704958464 7606 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=688436 CPUtime=6.25 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 1764 0 0 0 625 0 0 0 25 0 4 0 505670580 704958464 7606 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.05 Current children cumulated vsize (KiB) 688436 [startup+12.7003 s] /proc/loadavg: 4.68 5.32 6.77 9/184 18493 /proc/meminfo: memFree=25590520/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=690536 CPUtime=50.62 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 14879 0 0 0 5058 4 0 0 25 0 4 0 505670576 707108864 8717 33554432000 4194304 4797429 140735713149456 18446744073709551615 4495473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 172634 8717 419 148 0 167563 0 [pid=18486/tid=18491] ppid=18484 vsize=690536 CPUtime=12.6 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 2434 0 0 0 1260 0 0 0 25 0 4 0 505670580 707108864 8717 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=690536 CPUtime=12.65 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 2542 0 0 0 1265 0 0 0 25 0 4 0 505670580 707108864 8717 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=690536 CPUtime=12.65 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 2289 0 0 0 1265 0 0 0 25 0 4 0 505670580 707108864 8717 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.62 Current children cumulated vsize (KiB) 690536 [startup+25.5011 s] /proc/loadavg: 5.19 5.41 6.79 9/184 18494 /proc/meminfo: memFree=25579888/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=694704 CPUtime=101.76 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 21163 0 0 0 10171 5 0 0 25 0 4 0 505670576 711376896 10053 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 173676 10053 420 148 0 168605 0 [pid=18486/tid=18491] ppid=18484 vsize=694704 CPUtime=25.34 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 3021 0 0 0 2534 0 0 0 25 0 4 0 505670580 711376896 10053 33554432000 4194304 4797429 140735713149456 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=694704 CPUtime=25.45 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 3189 0 0 0 2545 0 0 0 25 0 4 0 505670580 711376896 10053 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524971 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=694704 CPUtime=25.45 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 2839 0 0 0 2545 0 0 0 25 0 4 0 505670580 711376896 10053 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.76 Current children cumulated vsize (KiB) 694704 [startup+51.1005 s] /proc/loadavg: 6.15 5.62 6.82 9/184 18495 /proc/meminfo: memFree=25565724/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=699808 CPUtime=204.04 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 32896 0 0 0 20396 8 0 0 25 0 4 0 505670576 716603392 11759 33554432000 4194304 4797429 140735713149456 18446744073709551615 4523992 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 174952 11759 422 148 0 169881 0 [pid=18486/tid=18491] ppid=18484 vsize=699808 CPUtime=50.82 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 4065 0 0 0 5082 0 0 0 25 0 4 0 505670580 716603392 11759 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=699808 CPUtime=51.04 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 4211 0 0 0 5104 0 0 0 25 0 4 0 505670580 716603392 11759 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=699808 CPUtime=51.05 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 4062 0 0 0 5105 0 0 0 25 0 4 0 505670580 716603392 11759 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524002 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.04 Current children cumulated vsize (KiB) 699808 [startup+102.301 s] /proc/loadavg: 7.33 6.03 6.89 9/184 18526 /proc/meminfo: memFree=25559284/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=705988 CPUtime=408.62 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 51468 0 0 0 40848 14 0 0 25 0 4 0 505670576 722931712 14702 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424967 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 176497 14702 422 148 0 171426 0 [pid=18486/tid=18491] ppid=18484 vsize=705988 CPUtime=101.8 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 5904 0 0 0 10179 1 0 0 25 0 4 0 505670580 722931712 14702 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=705988 CPUtime=102.25 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 6247 0 0 0 10224 1 0 0 25 0 4 0 505670580 722931712 14702 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=705988 CPUtime=102.25 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 6038 0 0 0 10224 1 0 0 25 0 4 0 505670580 722931712 14702 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.62 Current children cumulated vsize (KiB) 705988 [startup+162.301 s] /proc/loadavg: 7.79 6.38 6.95 9/184 18527 /proc/meminfo: memFree=25525480/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=712268 CPUtime=648.32 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 70439 0 0 0 64812 20 0 0 25 0 4 0 505670576 729362432 16568 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424855 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 178067 16568 423 148 0 172996 0 [pid=18486/tid=18491] ppid=18484 vsize=712268 CPUtime=161.51 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 8032 0 0 0 16150 1 0 0 25 0 4 0 505670580 729362432 16568 33554432000 4194304 4797429 140735713149456 18446744073709551615 4509659 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=712268 CPUtime=162.25 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 8093 0 0 0 16223 2 0 0 25 0 4 0 505670580 729362432 16568 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=712268 CPUtime=162.26 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 8129 0 0 0 16224 2 0 0 25 0 4 0 505670580 729362432 16568 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 648.32 Current children cumulated vsize (KiB) 712268 [startup+222.306 s] /proc/loadavg: 8.04 6.72 7.03 9/184 18529 /proc/meminfo: memFree=25505860/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=715496 CPUtime=888.06 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 86849 0 0 0 88781 25 0 0 25 0 4 0 505670576 732667904 18167 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 178874 18167 423 148 0 173803 0 [pid=18486/tid=18491] ppid=18484 vsize=715496 CPUtime=221.25 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 9663 0 0 0 22123 2 0 0 25 0 4 0 505670580 732667904 18167 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=715496 CPUtime=222.25 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 9639 0 0 0 22223 2 0 0 25 0 4 0 505670580 732667904 18167 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=715496 CPUtime=222.26 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 10083 0 0 0 22224 2 0 0 25 0 4 0 505670580 732667904 18167 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 888.06 Current children cumulated vsize (KiB) 715496 [startup+282.301 s] ################ # More data... # ################ [pid=18486] ppid=18484 vsize=739648 CPUtime=2566.11 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 177472 0 0 0 256552 59 0 0 25 0 4 0 505670576 757399552 29862 33554432000 4194304 4797429 140735713149456 18446744073709551615 4425609 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 184912 29862 426 148 0 179841 0 [pid=18486/tid=18491] ppid=18484 vsize=739648 CPUtime=639.31 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 19256 0 0 0 63925 6 0 0 25 0 4 0 505670580 757399552 29862 33554432000 4194304 4797429 140735713149456 18446744073709551615 4656629 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=739648 CPUtime=642.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 19076 0 0 0 64219 7 0 0 25 0 4 0 505670580 757399552 29862 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=739648 CPUtime=642.27 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 20462 0 0 0 64222 5 0 0 25 0 4 0 505670580 757399552 29862 33554432000 4194304 4797429 140735713149456 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2566.11 Current children cumulated vsize (KiB) 739648 [startup+702.301 s] /proc/loadavg: 8.04 7.80 7.44 9/184 18542 /proc/meminfo: memFree=25407300/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=740668 CPUtime=2805.83 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 189253 0 0 0 280520 63 0 0 25 0 4 0 505670576 758444032 30030 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 185167 30030 426 148 0 180096 0 [pid=18486/tid=18491] ppid=18484 vsize=740668 CPUtime=699.04 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 20345 0 0 0 69897 7 0 0 25 0 4 0 505670580 758444032 30030 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=740668 CPUtime=702.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 20167 0 0 0 70218 8 0 0 25 0 4 0 505670580 758444032 30030 33554432000 4194304 4797429 140735713149456 18446744073709551615 4351775 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=740668 CPUtime=702.27 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 21573 0 0 0 70221 6 0 0 25 0 4 0 505670580 758444032 30030 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.83 Current children cumulated vsize (KiB) 740668 [startup+762.3 s] /proc/loadavg: 8.01 7.83 7.47 9/184 18543 /proc/meminfo: memFree=25390392/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=742240 CPUtime=3045.57 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 197597 0 0 0 304490 67 0 0 25 0 4 0 505670576 760053760 31499 33554432000 4194304 4797429 140735713149456 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 185560 31499 426 148 0 180489 0 [pid=18486/tid=18491] ppid=18484 vsize=742240 CPUtime=758.76 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 21649 0 0 0 75869 7 0 0 25 0 4 0 505670580 760053760 31499 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=742240 CPUtime=762.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 21347 0 0 0 76218 8 0 0 25 0 4 0 505670580 760053760 31499 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=742240 CPUtime=762.28 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 22868 0 0 0 76222 6 0 0 25 0 4 0 505670580 760053760 31499 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3045.57 Current children cumulated vsize (KiB) 742240 [startup+822.301 s] /proc/loadavg: 8.04 7.87 7.51 9/184 18545 /proc/meminfo: memFree=25379092/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=744048 CPUtime=3285.28 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 209418 0 0 0 328456 72 0 0 25 0 4 0 505670576 761905152 32182 33554432000 4194304 4797429 140735713149456 18446744073709551615 4355056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 186012 32182 423 148 0 180941 0 [pid=18486/tid=18491] ppid=18484 vsize=744048 CPUtime=818.49 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 22736 0 0 0 81841 8 0 0 25 0 4 0 505670580 761905152 32182 33554432000 4194304 4797429 140735713149456 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=744048 CPUtime=822.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 22440 0 0 0 82217 9 0 0 25 0 4 0 505670580 761905152 32182 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=744048 CPUtime=822.27 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 24361 0 0 0 82221 6 0 0 25 0 4 0 505670580 761905152 32182 33554432000 4194304 4797429 140735713149456 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3285.28 Current children cumulated vsize (KiB) 744048 [startup+882.306 s] /proc/loadavg: 8.08 7.91 7.54 9/184 18547 /proc/meminfo: memFree=25370880/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=745212 CPUtime=3525.02 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 217574 0 0 0 352426 76 0 0 25 0 4 0 505670576 763097088 34016 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 186303 34016 423 148 0 181232 0 [pid=18486/tid=18491] ppid=18484 vsize=745212 CPUtime=878.21 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 23788 0 0 0 87813 8 0 0 25 0 4 0 505670580 763097088 34016 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=745212 CPUtime=882.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 23501 0 0 0 88217 9 0 0 25 0 4 0 505670580 763097088 34016 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=745212 CPUtime=882.28 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 25470 0 0 0 88221 7 0 0 25 0 4 0 505670580 763097088 34016 33554432000 4194304 4797429 140735713149456 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3525.02 Current children cumulated vsize (KiB) 745212 [startup+942.301 s] /proc/loadavg: 8.09 7.94 7.57 9/184 18548 /proc/meminfo: memFree=25366520/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=746596 CPUtime=3764.73 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 224815 0 0 0 376394 79 0 0 25 0 4 0 505670576 764514304 33316 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 186649 33316 423 148 0 181578 0 [pid=18486/tid=18491] ppid=18484 vsize=746596 CPUtime=937.94 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 24878 0 0 0 93786 8 0 0 25 0 4 0 505670580 764514304 33316 33554432000 4194304 4797429 140735713149456 18446744073709551615 4642171 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=746596 CPUtime=942.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 24695 0 0 0 94216 10 0 0 25 0 4 0 505670580 764514304 33316 33554432000 4194304 4797429 140735713149456 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=746596 CPUtime=942.27 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 26585 0 0 0 94220 7 0 0 25 0 4 0 505670580 764514304 33316 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429003 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3764.73 Current children cumulated vsize (KiB) 746596 [startup+1002.3 s] /proc/loadavg: 8.08 7.96 7.60 9/184 18550 /proc/meminfo: memFree=25371096/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=750308 CPUtime=4004.44 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 235912 0 0 0 400361 83 0 0 25 0 4 0 505670576 768315392 33030 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 187577 33030 423 148 0 182506 0 [pid=18486/tid=18491] ppid=18484 vsize=750308 CPUtime=997.66 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 25999 0 0 0 99757 9 0 0 25 0 4 0 505670580 768315392 33030 33554432000 4194304 4797429 140735713149456 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=750308 CPUtime=1002.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 25814 0 0 0 100216 10 0 0 25 0 4 0 505670580 768315392 33030 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=750308 CPUtime=1002.28 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 27655 0 0 0 100220 8 0 0 25 0 4 0 505670580 768315392 33030 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429141 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4004.44 Current children cumulated vsize (KiB) 750308 [startup+1062.3 s] /proc/loadavg: 8.08 7.98 7.63 9/184 18551 /proc/meminfo: memFree=25364004/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=750584 CPUtime=4244.17 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 243764 0 0 0 424331 86 0 0 25 0 4 0 505670576 768598016 34082 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424592 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 187646 34082 422 148 0 182575 0 [pid=18486/tid=18491] ppid=18484 vsize=750584 CPUtime=1057.38 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 27046 0 0 0 105729 9 0 0 25 0 4 0 505670580 768598016 34082 33554432000 4194304 4797429 140735713149456 18446744073709551615 4258128 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=750584 CPUtime=1062.27 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 26842 0 0 0 106216 11 0 0 25 0 4 0 505670580 768598016 34082 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=750584 CPUtime=1062.27 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 28669 0 0 0 106219 8 0 0 25 0 4 0 505670580 768598016 34082 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4244.17 Current children cumulated vsize (KiB) 750584 [startup+1122.3 s] /proc/loadavg: 8.13 8.01 7.66 9/184 18553 /proc/meminfo: memFree=25347000/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=752044 CPUtime=4483.89 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 251720 0 0 0 448299 90 0 0 25 0 4 0 505670576 770093056 35481 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 188011 35481 422 148 0 182940 0 [pid=18486/tid=18491] ppid=18484 vsize=752044 CPUtime=1117.11 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 27620 0 0 0 111701 10 0 0 25 0 4 0 505670580 770093056 35481 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=752044 CPUtime=1122.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 27423 0 0 0 112215 11 0 0 25 0 4 0 505670580 770093056 35481 33554432000 4194304 4797429 140735713149456 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=752044 CPUtime=1122.28 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 29254 0 0 0 112219 9 0 0 25 0 4 0 505670580 770093056 35481 33554432000 4194304 4797429 140735713149456 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4483.89 Current children cumulated vsize (KiB) 752044 [startup+1182.3 s] /proc/loadavg: 8.05 8.01 7.68 9/184 18555 /proc/meminfo: memFree=25337804/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=752116 CPUtime=4723.61 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 261559 0 0 0 472268 93 0 0 25 0 4 0 505670576 770166784 35765 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 188029 35765 422 148 0 182958 0 [pid=18486/tid=18491] ppid=18484 vsize=752116 CPUtime=1176.83 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 28890 0 0 0 117673 10 0 0 25 0 4 0 505670580 770166784 35765 33554432000 4194304 4797429 140735713149456 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=752116 CPUtime=1182.26 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 28675 0 0 0 118215 11 0 0 25 0 4 0 505670580 770166784 35765 33554432000 4194304 4797429 140735713149456 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=752116 CPUtime=1182.28 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 30309 0 0 0 118219 9 0 0 25 0 4 0 505670580 770166784 35765 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4723.61 Current children cumulated vsize (KiB) 752116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.5 s] /proc/loadavg: 8.03 8.01 7.68 9/184 18555 /proc/meminfo: memFree=25339404/32951124 swapFree=67111448/67111528 [pid=18486] ppid=18484 vsize=752256 CPUtime=4800.34 cores=0,2,4,6 /proc/18486/stat : 18486 (techdemo) R 18484 18486 17487 0 -1 4202496 264596 0 0 0 479939 95 0 0 25 0 4 0 505670576 770310144 35486 33554432000 4194304 4797429 140735713149456 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/18486/statm: 188064 35486 422 148 0 182993 0 [pid=18486/tid=18491] ppid=18484 vsize=752256 CPUtime=1195.94 cores=0,2,4,6 /proc/18486/task/18491/stat : 18491 (techdemo) R 18484 18486 17487 0 -1 4202560 29050 0 0 0 119584 10 0 0 25 0 4 0 505670580 770310144 35486 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=18486/tid=18492] ppid=18484 vsize=752256 CPUtime=1201.48 cores=0,2,4,6 /proc/18486/task/18492/stat : 18492 (techdemo) R 18484 18486 17487 0 -1 4202560 28822 0 0 0 120136 12 0 0 25 0 4 0 505670580 770310144 35486 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=18486/tid=18493] ppid=18484 vsize=752256 CPUtime=1201.49 cores=0,2,4,6 /proc/18486/task/18493/stat : 18493 (techdemo) R 18484 18486 17487 0 -1 4202560 30455 0 0 0 120139 10 0 0 25 0 4 0 505670580 770310144 35486 33554432000 4194304 4797429 140735713149456 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.34 Current children cumulated vsize (KiB) 752256 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.52 CPU time (s): 4800.38 CPU user time (s): 4799.41 CPU system time (s): 0.962853 CPU usage (%): 399.525 Max. virtual memory (cumulated for all children) (KiB): 863744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4799.41 system time used= 0.962853 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 264596 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= 1228 involuntary context switches= 24203 runsolver used 1.59976 second user time and 3.9374 second system time The end
Begin job on node144 at 2011-04-30 05:02:24 IDJOB=3261889 IDBENCH=83264 IDSOLVER=1584 FILE ID=node144/3261889-1304132544 RUNJOBID= node144-1304132544-18466 PBS_JOBID= 13170779 Free space on /tmp= 73532 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_399.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261889-1304132544/watcher-3261889-1304132544 -o /tmp/evaluation-result-3261889-1304132544/solver-3261889-1304132544 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261889-1304132544.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 693b5fe291cecff45feff3be98a908cf RANDOM SEED=2013314941 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: 25662488 kB Buffers: 2125584 kB Cached: 4553836 kB SwapCached: 80 kB Active: 212784 kB Inactive: 6532344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25662488 kB SwapTotal: 67111528 kB SwapFree: 67111448 kB Dirty: 15980 kB Writeback: 0 kB AnonPages: 64320 kB Mapped: 15256 kB Slab: 480268 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 235900 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:22:28