| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.35 | 1201.72 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf |
| MD5SUM | 4975f32607352c0a4d9db1abea12627a |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 5.62714 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 231 |
| Number of clauses | 28738 |
| Sum of the clauses size | 129678 |
| Maximum clause length | 22 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 77 |
| Number of clauses of size 3 | 26363 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2298 |
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-3262505-1304133610.cnf' 0.00/0.00 c -- header says num vars: 231 0.00/0.00 c -- header says num clauses: 28738 0.00/0.04 c -- clauses added: 0 learnts, 28738 normals, 0 xors 0.00/0.04 c -- vars added 231 0.00/0.04 c Parsing time: 0.04 s 0.00/0.05 c N st 0 0 231 28661 77 0 129678 0 no data no data -- 0.64/0.26 c asymm cl-useful: 0/10792/28661 lits-rem:0 time: 0.84 0.64/0.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.1M T: 0.02 0.64/0.27 c Calc non-exist non-lernt bins v-fix: 0 done: 231 time: 0.00 s 0.64/0.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.64/0.27 c Subs w/ non-existent bins: 0 time: 0.00 s 0.64/0.28 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.64/0.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.64/0.28 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1.02/0.38 c lits-rem: 0 cl-subs: 0 v-elim: 154 v-fix: 0 time: 0.40 s 1.02/0.38 c learnt bin added due to v-elim: 0 1.02/0.38 c Finding binary XORs T: 0.00 s found: 0 1.43/0.42 c Finding non-binary XORs: 0.15 s (found: 0, avg size: nan) 1.43/0.42 c calculated reachability. Time: 0.00 1.43/0.42 c Calc default polars - time: 0.00 s pos: 231 undec: 0 neg: 0 1.43/0.42 c ========================================================================================= 1.43/0.42 c types(t): F = full restart, N = normal restart 1.43/0.42 c types(t): S = simplification begin/end, E = solution found 1.43/0.42 c restart types(rt): st = static, dy = dynamic 1.43/0.42 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 1.43/0.42 c B st 0 0 231 28661 77 0 129678 0 no data no data -- 2.23/0.64 c Decided on static restart strategy 3.03/0.85 c N dy 20 4094 231 28661 77 3868 129678 86132 21.54 12.16 -- 4.62/1.27 c N dy 48 8128 231 28661 77 5294 129678 107301 21.39 12.52 -- 6.23/1.69 c N dy 77 12263 231 28661 77 5224 129678 94104 20.86 12.31 -- 7.83/2.09 c N dy 105 16277 231 28661 77 9025 129678 178518 22.71 12.35 -- 9.82/2.52 c N dy 133 20305 231 28661 77 7508 129678 138917 20.12 12.44 -- 11.42/2.93 c N dy 161 24376 231 28661 77 11386 129678 225729 21.28 12.44 -- 13.04/3.36 c N dy 189 28386 231 28661 77 8741 129678 151595 22.29 12.43 -- 13.81/3.54 c S st 201 30000 231 28661 77 10266 129678 184715 22.11 12.41 -- 13.81/3.59 c S st 201 30501 231 28661 77 10764 129678 196860 22.11 12.41 -- 14.21/3.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 14.21/3.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 14.21/3.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 1.6M T: 0.14 14.21/3.63 c Calc non-exist non-lernt bins v-fix: 0 done: 231 time: 0.00 s 14.21/3.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 14.21/3.63 c Subs w/ non-existent bins: 0 time: 0.01 s 14.21/3.64 c bin-w-bin subsume rem 0 bins time: 0.01 s 14.21/3.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 14.21/3.65 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 19.01/4.89 c lits-rem: 102 cl-subs: 1491 v-elim: 231 v-fix: 0 time: 4.96 s 19.01/4.89 c learnt bin added due to v-elim: 0 19.01/4.89 c vivif2 -- cl tried 28661 cl shrink 0 lits rem 0 time: 0.01 19.01/4.90 c vivif2 -- cl tried 9273 cl shrink 0 lits rem 0 time: 0.01 20.20/5.14 c asymm cl-useful: 0/13093/28661 lits-rem:0 time: 0.98 20.20/5.14 c calculated reachability. Time: 0.00 20.20/5.14 c N dy 201 30501 231 28661 77 9273 129678 175927 22.11 12.41 -- 20.20/5.14 c F st 201 30501 231 28661 77 9273 129678 175927 22.11 12.41 -- 21.00/5.37 c Decided on static restart strategy 21.82/5.58 c N dy 221 34516 231 28661 77 13073 129678 258702 22.25 12.44 -- 23.80/6.02 c N dy 250 38652 231 28661 77 9549 129678 167008 21.83 12.45 -- 25.40/6.43 c N dy 278 42669 231 28661 77 13357 129678 249338 21.21 12.43 -- 26.60/6.78 c S st 300 45751 231 28661 77 16287 129678 313677 20.72 12.42 -- 26.99/6.84 c S st 300 46253 231 28661 77 16785 129678 325486 20.72 12.42 -- 26.99/6.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 26.99/6.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 27.39/6.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 3.3M T: 0.27 27.39/6.90 c Calc non-exist non-lernt bins v-fix: 0 done: 231 time: 0.00 s 27.39/6.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 27.39/6.91 c Subs w/ non-existent bins: 0 time: 0.02 s 27.39/6.92 c bin-w-bin subsume rem 0 bins time: 0.01 s 27.39/6.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 27.39/6.93 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 34.19/8.63 c lits-rem: 203 cl-subs: 1630 v-elim: 231 v-fix: 0 time: 6.80 s 34.19/8.63 c learnt bin added due to v-elim: 0 34.19/8.63 c vivif2 -- cl tried 28661 cl shrink 0 lits rem 0 time: 0.01 34.19/8.64 c vivif2 -- cl tried 15155 cl shrink 0 lits rem 0 time: 0.01 35.00/8.80 c asymm cl-useful: 0/4776/28661 lits-rem:0 time: 0.66 35.00/8.80 c calculated reachability. Time: 0.00 35.00/8.80 c N dy 300 46253 231 28661 77 15155 129678 298203 20.72 12.42 -- 36.58/9.26 c N dy 329 50372 231 28661 77 10607 129678 184907 21.58 12.42 -- 38.18/9.69 c N dy 357 54388 231 28661 77 14421 129678 265862 20.13 12.38 -- 40.17/10.15 c N dy 386 58493 231 28661 77 18310 129678 351994 21.60 12.38 -- 41.77/10.59 c N dy 415 62630 231 28661 77 12753 129678 219773 22.20 12.37 -- 43.79/11.03 c N dy 443 66685 231 28661 77 16584 129678 302934 20.34 12.36 -- 44.97/11.35 c S st 463 69381 231 28661 77 19127 129678 358035 21.33 12.34 -- 45.37/11.41 c S st 463 69882 231 28661 77 19626 129678 370398 21.33 12.34 -- 45.37/11.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 45.37/11.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 45.77/11.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 5.3M T: 0.40 45.77/11.52 c Calc non-exist non-lernt bins v-fix: 0 done: 231 time: 0.00 s 45.77/11.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 45.77/11.52 c Subs w/ non-existent bins: 0 time: 0.02 s 45.77/11.53 c bin-w-bin subsume rem 0 bins time: 0.01 s 45.77/11.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 45.77/11.54 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 52.58/13.20 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 61.74/15.55 c Added 3 vars tried: 80000 time: 9.38 61.74/15.57 c ORs : 3 avg-s: 0.0 cl-sh: 2591 l-rem: 2591 b-add: 6 v-rep: 0 cl-rem: 20 avg s: 3.0 T: 9.44 61.74/15.57 c lits-rem: 218 cl-subs: 1929 v-elim: 231 v-fix: 0 time: 16.10 s 61.74/15.57 c learnt bin added due to v-elim: 0 61.74/15.58 c vivif2 -- cl tried 28644 cl shrink 0 lits rem 0 time: 0.00 61.74/15.58 c vivif2 -- cl tried 17697 cl shrink 0 lits rem 0 time: 0.01 62.54/15.77 c asymm cl-useful: 0/4103/28644 lits-rem:0 time: 0.75 62.54/15.77 c calculated reachability. Time: 0.00 62.54/15.77 c N dy 463 69882 234 28644 83 17697 129344 337617 21.33 12.34 -- 62.54/15.77 c F st 463 69882 234 28644 83 17697 129344 337617 21.33 12.34 -- 63.74/16.02 c Decided on static restart strategy 64.95/16.31 c N dy 486 74397 234 28644 83 11640 129344 182027 21.85 12.33 -- 66.94/16.83 c N dy 520 79229 234 28644 83 16226 129344 283318 22.39 12.33 -- 69.34/17.41 c N dy 556 84351 234 28644 83 21083 129344 388728 20.79 12.31 -- 71.73/18.02 c N dy 594 89744 234 28644 83 14879 129344 241453 22.88 12.33 -- 74.15/18.70 c N dy 635 95614 234 28644 83 20453 129344 360910 21.87 12.31 -- 77.32/19.43 c N dy 678 101738 234 28644 83 13931 129344 208790 21.24 12.27 -- 78.54/19.78 c S st 700 104824 234 28644 83 16867 129344 271249 20.55 12.26 -- 78.94/19.84 c S st 700 105325 234 28644 83 17364 129344 284197 20.55 12.26 -- 78.94/19.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 78.94/19.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 79.31/19.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 5.7M T: 0.37 79.31/19.93 c Calc non-exist non-lernt bins v-fix: 0 done: 234 time: 0.00 s 79.31/19.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 79.31/19.94 c Subs w/ non-existent bins: 0 time: 0.02 s 79.31/19.95 c bin-w-bin subsume rem 0 bins time: 0.01 s 79.31/19.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 79.31/19.96 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 84.11/21.10 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 84.11/21.11 c lits-rem: 171 cl-subs: 1447 v-elim: 231 v-fix: 0 time: 4.60 s 84.11/21.11 c learnt bin added due to v-elim: 0 84.11/21.11 c vivif2 -- cl tried 28644 cl shrink 0 lits rem 0 time: 0.01 84.11/21.11 c vivif2 -- cl tried 15917 cl shrink 0 lits rem 0 time: 0.01 84.91/21.31 c asymm cl-useful: 0/3825/28644 lits-rem:0 time: 0.80 84.91/21.31 c calculated reachability. Time: 0.00 84.91/21.31 c N dy 700 105325 234 28644 83 15917 129344 264399 20.55 12.26 -- 88.10/22.10 c N dy 748 112128 234 28644 83 22380 129344 401671 20.69 12.24 -- 91.31/23.00 c N dy 799 119418 234 28644 83 16045 129344 252880 20.84 12.24 -- 94.90/23.87 c N dy 853 127086 234 28644 83 23333 129344 411928 21.34 12.22 -- 98.89/24.88 c N dy 910 135212 234 28644 83 16837 129344 264585 20.70 12.21 -- 103.29/25.90 c N dy 970 143850 234 28644 83 25011 129344 435950 21.10 12.19 -- 107.68/27.05 c N dy 1036 153167 234 28644 83 18665 129344 305208 21.84 12.18 -- 110.07/27.63 c S st 1070 157988 234 28644 83 23227 129344 401228 19.07 12.16 -- 110.07/27.70 c S st 1070 158488 234 28644 83 23723 129344 413415 19.07 12.16 -- 110.47/27.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 110.47/27.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 110.87/27.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 9.1M T: 0.61 110.87/27.85 c Calc non-exist non-lernt bins v-fix: 0 done: 234 time: 0.00 s 110.87/27.85 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 110.87/27.86 c Subs w/ non-existent bins: 0 time: 0.02 s 110.87/27.87 c bin-w-bin subsume rem 0 bins time: 0.01 s 110.87/27.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 110.87/27.88 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 118.09/29.67 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 118.09/29.68 c lits-rem: 357 cl-subs: 1977 v-elim: 231 v-fix: 0 time: 7.17 s 118.09/29.68 c learnt bin added due to v-elim: 0 118.09/29.68 c vivif2 -- cl tried 28644 cl shrink 0 lits rem 0 time: 0.01 118.09/29.68 c vivif2 -- cl tried 21746 cl shrink 0 lits rem 0 time: 0.02 118.49/29.79 c asymm cl-useful: 0/1592/28644 lits-rem:0 time: 0.43 118.49/29.79 c calculated reachability. Time: 0.00 118.49/29.79 c N dy 1070 158488 234 28644 83 21746 129344 384307 19.07 12.16 -- 123.66/31.07 c N dy 1141 168618 234 28644 83 31402 129344 590060 22.16 12.13 -- 128.85/32.38 c N dy 1217 179463 234 28644 83 25562 129344 440312 19.90 12.13 -- 134.84/33.89 c N dy 1298 190954 246 28644 107 19469 129392 291541 21.50 12.11 -- 140.83/35.39 c N dy 1383 203162 246 28644 107 31099 129392 546237 21.55 12.13 -- 147.63/37.06 c N dy 1474 216168 246 28644 107 25360 129392 402749 22.73 12.14 -- 155.21/38.94 c N dy 1572 230072 246 28644 107 19554 129392 264060 21.60 12.14 -- 158.81/39.86 c S st 1626 237733 246 28644 107 26828 129392 422759 20.46 12.15 -- 159.21/39.92 c S st 1626 238235 246 28644 107 27329 129392 434876 20.46 12.15 -- 159.21/39.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 159.21/39.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 160.01/40.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 11.8M T: 0.74 160.01/40.11 c Calc non-exist non-lernt bins v-fix: 0 done: 246 time: 0.00 s 160.01/40.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 160.01/40.12 c Subs w/ non-existent bins: 0 time: 0.03 s 160.01/40.13 c bin-w-bin subsume rem 0 bins time: 0.01 s 160.01/40.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 160.01/40.14 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 166.83/41.85 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 166.83/41.86 c lits-rem: 417 cl-subs: 2046 v-elim: 231 v-fix: 0 time: 6.87 s 166.83/41.86 c learnt bin added due to v-elim: 0 166.83/41.86 c vivif2 -- cl tried 28644 cl shrink 0 lits rem 0 time: 0.01 166.83/41.87 c vivif2 -- cl tried 25283 cl shrink 0 lits rem 0 time: 0.02 167.20/41.98 c asymm cl-useful: 0/2210/28644 lits-rem:0 time: 0.43 167.20/41.98 c calculated reachability. Time: 0.00 167.20/41.98 c N dy 1626 238235 246 28644 107 25283 129392 405520 20.46 12.15 -- 175.61/44.01 c N dy 1734 253522 246 28644 107 39816 129392 716688 20.98 12.13 -- 184.00/46.11 c N dy 1848 269786 258 28644 135 35403 129444 590329 21.03 12.13 -- 193.19/48.44 c N dy 1970 287147 258 28644 135 31044 129444 493008 20.16 12.15 -- 203.15/50.97 c N dy 2098 305485 258 28644 135 26550 129444 376353 20.74 12.15 -- 213.94/53.68 c N dy 2235 325098 258 28644 135 45164 129444 769678 21.31 12.15 -- 224.72/56.38 c N dy 2376 345104 258 28644 135 41387 129444 679152 21.31 12.15 -- 231.91/58.15 c S st 2462 357352 258 28644 135 29284 129444 409911 20.53 12.14 -- 232.33/58.21 c S st 2462 357852 258 28644 135 29778 129444 420656 20.53 12.14 -- 232.33/58.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 232.33/58.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 233.11/58.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 14.9M T: 0.89 233.11/58.44 c Calc non-exist non-lernt bins v-fix: 0 done: 258 time: 0.00 s 233.11/58.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 233.11/58.45 c Subs w/ non-existent bins: 0 time: 0.03 s 233.11/58.45 c Replacing 1 vars Replaced 27 lits Time: 0.01 s 233.11/58.46 c bin-w-bin subsume rem 2 bins time: 0.01 s 233.11/58.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 233.11/58.47 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 239.50/60.01 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 239.50/60.02 c lits-rem: 435 cl-subs: 1989 v-elim: 231 v-fix: 0 time: 6.19 s 239.50/60.02 c learnt bin added due to v-elim: 0 239.50/60.03 c vivif2 -- cl tried 28644 cl shrink 0 lits rem 0 time: 0.01 239.50/60.03 c vivif2 -- cl tried 27789 cl shrink 0 lits rem 0 time: 0.02 239.90/60.14 c asymm cl-useful: 0/1846/28644 lits-rem:0 time: 0.42 239.90/60.14 c calculated reachability. Time: 0.00 239.90/60.14 c N dy 2462 357852 257 28644 129 27789 129436 395490 20.53 12.14 -- 251.09/62.95 c N dy 2603 377945 269 28644 153 47001 129484 806744 22.41 12.15 -- 262.27/65.75 c N dy 2744 397959 269 28644 153 41305 129484 663994 20.22 12.15 -- 273.86/68.64 c N dy 2884 417971 269 28644 153 34637 129484 512482 21.80 12.18 -- 286.24/71.71 c N dy 3024 438023 269 28644 153 27083 129484 338839 22.11 12.19 -- 297.03/74.42 c N dy 3165 458152 269 28644 153 46200 129484 741688 19.00 12.19 -- 308.62/77.35 c N dy 3306 478197 269 28644 153 37732 129484 559452 20.14 12.18 -- 320.62/80.40 c N dy 3447 498331 269 28644 153 56904 129484 974582 19.77 12.19 -- 332.18/83.29 c N dy 3589 518453 269 28644 153 47534 129484 764981 20.84 12.20 -- 343.76/86.16 c S st 3718 536778 269 28644 153 35422 129484 488554 20.64 12.20 -- 344.16/86.24 c S st 3718 537280 269 28644 153 35919 129484 500477 20.64 12.20 -- 344.16/86.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 344.16/86.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 345.36/86.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 20.2M T: 1.19 345.36/86.54 c Calc non-exist non-lernt bins v-fix: 0 done: 269 time: 0.01 s 345.36/86.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 345.36/86.55 c Subs w/ non-existent bins: 0 time: 0.03 s 345.36/86.56 c bin-w-bin subsume rem 0 bins time: 0.01 s 345.36/86.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.05 s 345.36/86.57 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 352.16/88.26 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 11.0 T: 0.01 357.35/89.56 c Added 3 vars tried: 80000 time: 5.19 357.35/89.59 c ORs : 3 avg-s: 0.0 cl-sh: 2937 l-rem: 2937 b-add: 11 v-rep: 0 cl-rem: 18 avg s: 3.3 T: 5.33 357.75/89.60 c lits-rem: 544 cl-subs: 2218 v-elim: 231 v-fix: 0 time: 12.11 s 357.75/89.60 c learnt bin added due to v-elim: 0 357.75/89.61 c vivif2 -- cl tried 28626 cl shrink 0 lits rem 0 time: 0.01 357.75/89.61 c vivif2 -- cl tried 33698 cl shrink 0 lits rem 0 time: 0.03 358.15/89.72 c asymm cl-useful: 0/1768/28626 lits-rem:0 time: 0.42 358.15/89.72 c calculated reachability. Time: 0.00 358.15/89.72 c N dy 3718 537280 272 28626 164 33698 129383 469651 20.64 12.20 -- 358.15/89.72 c F st 3718 537280 272 28626 164 33698 129383 469651 20.64 12.20 -- 359.35/90.02 c Decided on static restart strategy 369.73/92.67 c N dy 3850 557397 272 28626 164 52891 129383 880313 21.14 12.20 -- 539.11/135.01 c N dy 3889 805921 272 28626 164 56476 129383 911140 20.48 12.16 -- 539.11/135.05 c S st 3889 805921 272 28626 164 56476 129383 911140 20.48 12.16 -- 539.11/135.05 c Finding binary XORs T: 0.00 s found: 2 539.51/135.16 c S st 3889 806424 284 28626 194 57045 129439 922211 20.48 12.16 -- 539.51/135.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 539.51/135.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 541.50/135.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 2 CBin: 0 P: 27.9M T: 1.99 541.50/135.66 c Calc non-exist non-lernt bins v-fix: 0 done: 284 time: 0.01 s 541.50/135.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 541.50/135.68 c Subs w/ non-existent bins: 0 time: 0.06 s 541.50/135.68 c Replacing 2 vars Replaced 30 lits Time: 0.02 s 541.90/135.70 c bin-w-bin subsume rem 2 bins time: 0.01 s 541.90/135.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.09 s 541.90/135.73 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 552.70/138.40 c ORs : 6 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 4.0 T: 0.04 552.70/138.41 c lits-rem: 261 cl-subs: 11443 v-elim: 231 v-fix: 0 time: 10.74 s 552.70/138.41 c learnt bin added due to v-elim: 0 552.70/138.42 c vivif2 -- cl tried 28626 cl shrink 0 lits rem 0 time: 0.01 552.70/138.43 c vivif2 -- cl tried 45601 cl shrink 0 lits rem 0 time: 0.05 553.11/138.55 c asymm cl-useful: 0/1810/28626 lits-rem:0 time: 0.48 553.11/138.55 c calculated reachability. Time: 0.00 553.11/138.55 c N dy 3889 806424 282 28626 184 45601 129423 766430 20.48 12.16 -- 868.68/217.52 c N dy 3952 1209638 282 28626 184 61870 129423 1026593 24.66 12.25 -- 868.68/217.57 c S st 3952 1209638 282 28626 184 61870 129423 1026593 24.66 12.25 -- 869.08/217.67 c S st 3952 1210141 291 28626 207 62411 129463 1038203 24.66 12.25 -- 869.08/217.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 869.08/217.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 871.47/218.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 32.8M T: 2.37 871.47/218.28 c Calc non-exist non-lernt bins v-fix: 0 done: 291 time: 0.01 s 871.47/218.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 871.47/218.29 c Subs w/ non-existent bins: 0 time: 0.06 s 871.87/218.30 c Replacing 1 vars Replaced 19 lits Time: 0.02 s 871.87/218.32 c bin-w-bin subsume rem 2 bins time: 0.01 s 871.87/218.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 871.87/218.35 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 882.26/220.97 c ORs : 6 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.05 882.26/220.99 c lits-rem: 527 cl-subs: 4316 v-elim: 231 v-fix: 0 time: 10.56 s 882.26/220.99 c learnt bin added due to v-elim: 0 882.26/220.99 c vivif2 -- cl tried 28626 cl shrink 0 lits rem 0 time: 0.01 882.68/221.01 c vivif2 -- cl tried 58095 cl shrink 0 lits rem 0 time: 0.06 883.08/221.13 c asymm cl-useful: 0/1223/28626 lits-rem:0 time: 0.49 883.08/221.14 c calculated reachability. Time: 0.00 883.08/221.14 c N dy 3952 1210141 290 28626 201 58095 129455 969676 24.66 12.25 -- 895.45/224.28 c N dy 4095 1230142 293 28626 207 77463 129467 1438209 26.69 12.30 -- 909.82/227.80 c N dy 4239 1250234 293 28626 207 50726 129467 752833 22.49 12.35 -- 920.61/230.53 c N dy 4382 1270328 293 28626 207 70138 129467 1229917 22.88 12.41 -- 933.39/233.71 c N dy 4525 1290407 293 28626 207 89462 129467 1698627 22.02 12.46 -- 944.98/236.70 c N dy 4667 1310511 293 28626 207 61711 129467 1026523 27.68 12.53 -- 956.96/239.66 c N dy 4810 1330564 293 28626 207 80971 129467 1468858 24.07 12.56 -- 970.56/243.03 c N dy 4953 1350581 293 28626 207 52164 129467 767254 27.89 12.62 -- 981.33/245.78 c N dy 5097 1370616 293 28626 207 71558 129467 1262587 24.86 12.67 -- 994.11/248.93 c N dy 5242 1390727 293 28626 207 91106 129467 1746852 23.81 12.72 -- 1007.29/252.24 c N dy 5386 1410862 293 28626 207 61331 129467 986747 24.18 12.76 -- 1019.67/255.30 c N dy 5530 1430873 293 28626 207 80659 129467 1448725 23.79 12.79 -- 1034.06/258.91 c N dy 5673 1450888 293 28626 207 100036 129467 1905684 26.80 12.82 -- 1046.44/262.00 c N dy 5817 1470937 293 28626 207 69144 129467 1149588 23.51 12.86 -- 1059.22/265.26 c N dy 5962 1490939 293 28626 207 88515 129467 1614842 24.50 12.90 -- 1238.19/310.00 c N dy 5987 1710141 293 28626 207 89106 129467 1735537 30.56 13.52 -- 1238.19/310.07 c S st 5987 1710141 293 28626 207 89106 129467 1735537 30.56 13.52 -- 1238.61/310.20 c S st 5987 1710643 293 28626 207 89607 129467 1749021 30.56 13.52 -- 1239.01/310.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1239.01/310.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1243.00/311.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 51.5M T: 4.03 1243.00/311.22 c Calc non-exist non-lernt bins v-fix: 0 done: 293 time: 0.01 s 1243.00/311.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1243.00/311.24 c Subs w/ non-existent bins: 0 time: 0.10 s 1243.00/311.28 c bin-w-bin subsume rem 0 bins time: 0.01 s 1243.40/311.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.22 s 1243.40/311.33 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1266.95/317.21 c ORs : 6 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.06 1280.13/320.51 c Added 3 vars tried: 80000 time: 13.19 1282.95/321.29 c ORs : 3 avg-s: 0.0 cl-sh: 24224 l-rem: 24224 b-add: 6 v-rep: 0 cl-rem: 0 avg s: nan T: 16.29 1283.32/321.32 c lits-rem: 375 cl-subs: 7749 v-elim: 231 v-fix: 0 time: 39.90 s 1283.32/321.32 c learnt bin added due to v-elim: 0 1283.32/321.32 c vivif2 -- cl tried 28629 cl shrink 0 lits rem 0 time: 0.01 1283.32/321.35 c vivif2 -- cl tried 81858 cl shrink 0 lits rem 0 time: 0.10 1283.72/321.48 c asymm cl-useful: 0/1043/28629 lits-rem:0 time: 0.53 1283.72/321.49 c calculated reachability. Time: 0.00 1283.72/321.49 c N dy 5987 1710643 296 28629 213 81858 129488 1519832 30.56 13.52 -- 1752.32/438.73 c N dy 6075 2210645 296 28629 213 96604 129488 1676970 22.11 14.29 -- 1752.74/438.80 c S st 6075 2210645 296 28629 213 96604 129488 1676970 22.11 14.29 -- 1753.14/438.92 c S st 6075 2211146 307 28629 236 97129 129532 1690335 22.11 14.29 -- 1753.14/438.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1753.14/438.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1757.91/440.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.68 1757.91/440.10 c Calc non-exist non-lernt bins v-fix: 0 done: 307 time: 0.01 s 1757.91/440.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1757.91/440.13 c Subs w/ non-existent bins: 0 time: 0.11 s 1757.91/440.17 c bin-w-bin subsume rem 0 bins time: 0.01 s 1758.31/440.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.23 s 1758.31/440.23 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1779.87/445.68 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.12 1780.27/445.72 c lits-rem: 823 cl-subs: 10583 v-elim: 231 v-fix: 0 time: 21.93 s 1780.27/445.72 c learnt bin added due to v-elim: 0 1780.27/445.72 c vivif2 -- cl tried 28629 cl shrink 0 lits rem 0 time: 0.01 1780.27/445.75 c vivif2 -- cl tried 86546 cl shrink 2 lits rem 2 time: 0.11 1780.67/445.89 c asymm cl-useful: 0/649/28629 lits-rem:0 time: 0.56 1780.67/445.89 c calculated reachability. Time: 0.00 1780.67/445.89 c N dy 6075 2211146 307 28629 236 86546 129532 1450955 22.11 14.29 -- 2252.85/564.04 c N dy 6190 2711146 315 28629 253 112931 129564 2139081 28.24 14.92 -- 2253.25/564.13 c S st 6190 2711146 315 28629 253 112931 129564 2139081 28.24 14.92 -- 2253.25/564.13 c Finding binary XORs T: 0.00 s found: 2 2253.67/564.28 c S st 6190 2711647 321 28629 277 113446 129600 2152393 28.24 14.92 -- 2253.67/564.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2253.67/564.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2258.84/565.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 3 CBin: 0 P: 60.0M T: 4.92 2258.84/565.52 c Calc non-exist non-lernt bins v-fix: 0 done: 321 time: 0.02 s 2258.84/565.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2258.84/565.55 c Subs w/ non-existent bins: 0 time: 0.14 s 2258.84/565.57 c Replacing 2 vars Replaced 39 lits Time: 0.04 s 2259.24/565.61 c bin-w-bin subsume rem 2 bins time: 0.01 s 2259.24/565.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.27 s 2259.24/565.68 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 2289.22/573.18 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.16 2308.37/577.97 c Added 4 vars tried: 80000 time: 19.14 2311.96/578.82 c ORs : 4 avg-s: 0.0 cl-sh: 29526 l-rem: 29526 b-add: 9 v-rep: 0 cl-rem: 17 avg s: 3.0 T: 22.54 2311.96/578.86 c lits-rem: 72 cl-subs: 8250 v-elim: 231 v-fix: 0 time: 52.65 s 2311.96/578.86 c learnt bin added due to v-elim: 0 2311.96/578.86 c vivif2 -- cl tried 28616 cl shrink 0 lits rem 0 time: 0.01 2312.36/578.90 c vivif2 -- cl tried 105195 cl shrink 1 lits rem 1 time: 0.14 2312.76/579.03 c asymm cl-useful: 0/815/28616 lits-rem:0 time: 0.52 2312.76/579.04 c calculated reachability. Time: 0.00 2312.76/579.04 c N dy 6190 2711647 323 28616 274 105195 129487 1894247 28.24 14.92 -- 2312.76/579.04 c F st 6190 2711647 323 28616 274 105195 129487 1894247 28.24 14.92 -- 2314.76/579.59 c Decided on static restart strategy 2938.35/735.69 c N dy 6198 3211647 323 28616 275 80916 129487 1114810 30.60 15.29 -- 2938.75/735.74 c S st 6198 3211647 323 28616 275 80916 129487 1114810 30.60 15.29 -- 2939.17/735.85 c S st 6198 3212147 323 28616 275 81415 129487 1125754 30.60 15.29 -- 2939.17/735.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2939.17/735.86 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.00 2943.56/736.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.19 2943.56/736.91 c Calc non-exist non-lernt bins v-fix: 0 done: 323 time: 0.01 s 2943.56/736.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2943.56/736.94 c Subs w/ non-existent bins: 0 time: 0.09 s 2943.56/736.95 c Replacing 1 vars Replaced 331 lits Time: 0.05 s 2943.56/736.98 c bin-w-bin subsume rem 2 bins time: 0.01 s 2943.96/737.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.14 s 2943.96/737.01 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.01 s 2955.12/739.85 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.12 2955.12/739.88 c lits-rem: 43 cl-subs: 1930 v-elim: 231 v-fix: 0 time: 11.44 s 2955.12/739.88 c learnt bin added due to v-elim: 0 2955.12/739.88 c vivif2 -- cl tried 28616 cl shrink 0 lits rem 0 time: 0.01 2955.52/739.90 c vivif2 -- cl tried 79485 cl shrink 0 lits rem 0 time: 0.09 2955.92/740.02 c asymm cl-useful: 0/1009/28616 lits-rem:0 time: 0.48 2955.92/740.03 c calculated reachability. Time: 0.00 2955.92/740.03 c N dy 6198 3212147 322 28616 271 79485 129483 1092869 30.60 15.29 -- 3616.27/905.38 c N dy 6199 3712149 322 28616 271 89185 129483 1244959 25.34 15.62 -- 3616.64/905.43 c S st 6199 3712149 322 28616 271 89185 129483 1244959 25.34 15.62 -- 3617.04/905.56 c S st 6199 3712655 331 28616 292 89700 129519 1256921 25.34 15.62 -- 3617.04/905.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3617.04/905.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3621.04/906.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 4.04 3621.04/906.58 c Calc non-exist non-lernt bins v-fix: 0 done: 331 time: 0.01 s 3621.04/906.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3621.44/906.61 c Subs w/ non-existent bins: 0 time: 0.10 s 3621.44/906.64 c bin-w-bin subsume rem 0 bins time: 0.01 s 3621.44/906.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.15 s 3621.44/906.68 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 3635.42/910.17 c ORs : 13 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.16 3635.82/910.20 c lits-rem: 236 cl-subs: 1923 v-elim: 231 v-fix: 0 time: 14.08 s 3635.82/910.20 c learnt bin added due to v-elim: 0 3635.82/910.21 c vivif2 -- cl tried 28616 cl shrink 0 lits rem 0 time: 0.01 3635.82/910.23 c vivif2 -- cl tried 87775 cl shrink 0 lits rem 0 time: 0.10 3636.22/910.35 c asymm cl-useful: 0/1397/28616 lits-rem:0 time: 0.48 3636.22/910.35 c calculated reachability. Time: 0.00 3636.22/910.35 c N dy 6199 3712655 331 28616 292 87775 129519 1217798 25.34 15.62 -- 4320.92/1081.80 c N dy 6249 4212657 331 28616 292 152407 129519 3164009 28.37 16.05 -- 4321.72/1081.93 c S st 6249 4212657 331 28616 292 152407 129519 3164009 28.37 16.05 -- 4322.52/1082.11 c S st 6249 4213158 332 28616 294 152909 129523 3177127 28.37 16.05 -- 4322.52/1082.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4322.52/1082.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4328.91/1083.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 6.40 4328.91/1083.73 c Calc non-exist non-lernt bins v-fix: 0 done: 332 time: 0.02 s 4328.91/1083.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4328.91/1083.78 c Subs w/ non-existent bins: 0 time: 0.19 s 4329.31/1083.84 c bin-w-bin subsume rem 0 bins time: 0.01 s 4329.71/1083.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.54 s 4329.71/1083.98 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 4455.94/1115.58 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.28 4456.34/1115.64 c lits-rem: 117 cl-subs: 8611 v-elim: 231 v-fix: 0 time: 126.49 s 4456.34/1115.64 c learnt bin added due to v-elim: 0 4456.34/1115.64 c vivif2 -- cl tried 28616 cl shrink 0 lits rem 0 time: 0.01 4456.74/1115.70 c vivif2 -- cl tried 144298 cl shrink 1 lits rem 1 time: 0.21 4457.14/1115.83 c asymm cl-useful: 0/313/28616 lits-rem:0 time: 0.55 4457.14/1115.84 c calculated reachability. Time: 0.00 4457.14/1115.84 c N dy 6249 4213158 332 28616 294 144298 129523 2901675 28.37 16.05 --
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-3262505-1304133610/watcher-3262505-1304133610 -o /tmp/evaluation-result-3262505-1304133610/solver-3262505-1304133610 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262505-1304133610.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: 3.71 5.41 6.57 4/176 14318 /proc/meminfo: memFree=31161888/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=50280 CPUtime=0 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 817 0 0 0 0 0 0 0 18 0 1 0 505776662 51486720 744 33554432000 4194304 4797429 140734774282384 18446744073709551615 270338044613 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/14318/statm: 12570 744 347 148 0 7499 0 [startup+0.0982441 s] /proc/loadavg: 3.71 5.41 6.57 4/176 14318 /proc/meminfo: memFree=31161888/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=152364 CPUtime=0.23 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 2932 0 0 0 22 1 0 0 18 0 4 0 505776662 156020736 2755 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429007 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 38091 2755 373 148 0 33020 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 152364 [startup+0.100242 s] /proc/loadavg: 3.71 5.41 6.57 4/176 14318 /proc/meminfo: memFree=31161888/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=152364 CPUtime=0.24 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 2932 0 0 0 23 1 0 0 18 0 4 0 505776662 156020736 2755 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429104 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 38091 2755 373 148 0 33020 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 152364 [startup+0.300206 s] /proc/loadavg: 3.71 5.41 6.57 4/176 14318 /proc/meminfo: memFree=31161888/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=683644 CPUtime=1.02 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 6304 0 0 0 101 1 0 0 18 0 4 0 505776662 700051456 4901 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 170911 4901 397 148 0 165840 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 683644 [startup+0.700125 s] /proc/loadavg: 3.71 5.41 6.57 4/176 14318 /proc/meminfo: memFree=31161888/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=685616 CPUtime=2.63 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 7755 0 0 0 261 2 0 0 18 0 4 0 505776662 702070784 6128 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 171404 6128 410 148 0 166333 0 Current children cumulated CPU time (s) 2.63 Current children cumulated vsize (KiB) 685616 [startup+1.50097 s] /proc/loadavg: 3.71 5.41 6.57 11/184 14326 /proc/meminfo: memFree=31116316/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=687272 CPUtime=5.82 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 8919 0 0 0 580 2 0 0 19 0 4 0 505776662 703766528 7267 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 171818 7267 411 148 0 166747 0 [pid=14318/tid=14324] ppid=14314 vsize=687272 CPUtime=1.43 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 1462 0 0 0 143 0 0 0 19 0 4 0 505776667 703766528 7267 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=687272 CPUtime=1.44 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 1600 0 0 0 144 0 0 0 19 0 4 0 505776667 703766528 7267 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424970 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=687272 CPUtime=1.44 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 1542 0 0 0 144 0 0 0 19 0 4 0 505776667 703766528 7267 33554432000 4194304 4797429 140734774282384 18446744073709551615 4388675 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.82 Current children cumulated vsize (KiB) 687272 [startup+3.10065 s] /proc/loadavg: 3.71 5.41 6.57 10/184 14326 /proc/meminfo: memFree=31101832/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=690060 CPUtime=12.22 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 10837 0 0 0 1219 3 0 0 23 0 4 0 505776662 706621440 8326 33554432000 4194304 4797429 140734774282384 18446744073709551615 4425875 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 172515 8326 415 148 0 167444 0 [pid=14318/tid=14324] ppid=14314 vsize=690060 CPUtime=3.02 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 1794 0 0 0 302 0 0 0 24 0 4 0 505776667 706621440 8326 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=690060 CPUtime=3.04 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 1792 0 0 0 304 0 0 0 24 0 4 0 505776667 706621440 8326 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=690060 CPUtime=3.04 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 1702 0 0 0 304 0 0 0 23 0 4 0 505776667 706621440 8326 33554432000 4194304 4797429 140734774282384 18446744073709551615 4428656 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.22 Current children cumulated vsize (KiB) 690060 [startup+6.30102 s] /proc/loadavg: 4.05 5.45 6.57 10/184 14326 /proc/meminfo: memFree=31093404/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=694700 CPUtime=25 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 13875 0 0 0 2497 3 0 0 25 0 4 0 505776662 711372800 8923 33554432000 4194304 4797429 140734774282384 18446744073709551615 4351609 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 173675 8923 416 148 0 168604 0 [pid=14318/tid=14324] ppid=14314 vsize=694700 CPUtime=6.21 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 2309 0 0 0 620 1 0 0 25 0 4 0 505776667 711372800 8923 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=694700 CPUtime=6.24 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 2275 0 0 0 624 0 0 0 25 0 4 0 505776667 711372800 8923 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524208 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=694700 CPUtime=6.23 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 2244 0 0 0 623 0 0 0 25 0 4 0 505776667 711372800 8923 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25 Current children cumulated vsize (KiB) 694700 [startup+12.7007 s] /proc/loadavg: 4.37 5.49 6.58 10/184 14327 /proc/meminfo: memFree=31083648/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=698732 CPUtime=50.56 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 17373 0 0 0 5052 4 0 0 25 0 4 0 505776662 715501568 10314 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 174683 10314 418 148 0 169612 0 [pid=14318/tid=14324] ppid=14314 vsize=698732 CPUtime=12.58 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 2598 0 0 0 1257 1 0 0 25 0 4 0 505776667 715501568 10314 33554432000 4194304 4797429 140734774282384 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=698732 CPUtime=12.64 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 3010 0 0 0 1264 0 0 0 25 0 4 0 505776667 715501568 10314 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=698732 CPUtime=12.63 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 2783 0 0 0 1263 0 0 0 25 0 4 0 505776667 715501568 10314 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.56 Current children cumulated vsize (KiB) 698732 [startup+25.5002 s] /proc/loadavg: 5.17 5.61 6.60 10/184 14327 /proc/meminfo: memFree=31067416/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=703560 CPUtime=101.68 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 24328 0 0 0 10162 6 0 0 25 0 4 0 505776662 720445440 12083 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424353 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 175890 12083 420 148 0 170819 0 [pid=14318/tid=14324] ppid=14314 vsize=703560 CPUtime=25.3 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 3394 0 0 0 2529 1 0 0 25 0 4 0 505776667 720445440 12083 33554432000 4194304 4797429 140734774282384 18446744073709551615 4495475 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=703560 CPUtime=25.44 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 3866 0 0 0 2543 1 0 0 25 0 4 0 505776667 720445440 12083 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=703560 CPUtime=25.43 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 3589 0 0 0 2543 0 0 0 25 0 4 0 505776667 720445440 12083 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524002 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.68 Current children cumulated vsize (KiB) 703560 [startup+51.1011 s] /proc/loadavg: 6.14 5.80 6.64 10/184 14328 /proc/meminfo: memFree=31052244/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=708500 CPUtime=203.95 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 36787 0 0 0 20385 10 0 0 25 0 4 0 505776662 725504000 13970 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 177125 13970 422 148 0 172054 0 [pid=14318/tid=14324] ppid=14314 vsize=708500 CPUtime=50.76 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 4715 0 0 0 5075 1 0 0 25 0 4 0 505776667 725504000 13970 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=708500 CPUtime=51.04 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 4823 0 0 0 5103 1 0 0 25 0 4 0 505776667 725504000 13970 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=708500 CPUtime=51.03 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 5044 0 0 0 5102 1 0 0 25 0 4 0 505776667 725504000 13970 33554432000 4194304 4797429 140734774282384 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 203.95 Current children cumulated vsize (KiB) 708500 [startup+102.307 s] /proc/loadavg: 7.35 6.17 6.72 10/184 14329 /proc/meminfo: memFree=31028300/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=714544 CPUtime=408.51 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 57533 0 0 0 40833 18 0 0 25 0 4 0 505776662 731693056 16475 33554432000 4194304 4797429 140734774282384 18446744073709551615 4425039 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 178636 16475 422 148 0 173565 0 [pid=14318/tid=14324] ppid=14314 vsize=714544 CPUtime=101.7 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 7006 0 0 0 10168 2 0 0 25 0 4 0 505776667 731693056 16475 33554432000 4194304 4797429 140734774282384 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=714544 CPUtime=102.25 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 6944 0 0 0 10224 1 0 0 25 0 4 0 505776667 731693056 16475 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=714544 CPUtime=102.23 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 6925 0 0 0 10222 1 0 0 25 0 4 0 505776667 731693056 16475 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.51 Current children cumulated vsize (KiB) 714544 [startup+162.301 s] /proc/loadavg: 7.91 6.54 6.81 10/184 14331 /proc/meminfo: memFree=31000260/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=725756 CPUtime=648.17 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 79276 0 0 0 64793 24 0 0 25 0 4 0 505776662 743174144 19690 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 181439 19690 423 148 0 176368 0 [pid=14318/tid=14324] ppid=14314 vsize=725756 CPUtime=161.37 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 8849 0 0 0 16135 2 0 0 25 0 4 0 505776667 743174144 19690 33554432000 4194304 4797429 140734774282384 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=725756 CPUtime=162.25 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 8881 0 0 0 16223 2 0 0 25 0 4 0 505776667 743174144 19690 33554432000 4194304 4797429 140734774282384 18446744073709551615 4430154 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=725756 CPUtime=162.23 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 8733 0 0 0 16221 2 0 0 25 0 4 0 505776667 743174144 19690 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 648.17 Current children cumulated vsize (KiB) 725756 [startup+222.301 s] /proc/loadavg: 8.10 6.83 6.89 10/184 14332 /proc/meminfo: memFree=30984624/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=731464 CPUtime=887.85 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 98368 0 0 0 88755 30 0 0 25 0 4 0 505776662 749019136 22032 33554432000 4194304 4797429 140734774282384 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 182866 22032 423 148 0 177795 0 [pid=14318/tid=14324] ppid=14314 vsize=731464 CPUtime=221.04 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 10809 0 0 0 22101 3 0 0 25 0 4 0 505776667 749019136 22032 33554432000 4194304 4797429 140734774282384 18446744073709551615 4523866 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=731464 CPUtime=222.25 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 10824 0 0 0 22222 3 0 0 25 0 4 0 505776667 749019136 22032 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424967 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=731464 CPUtime=222.23 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 10799 0 0 0 22221 2 0 0 25 0 4 0 505776667 749019136 22032 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 887.85 Current children cumulated vsize (KiB) 731464 [startup+282.3 s] ################ # More data... # ################ [pid=14318] ppid=14314 vsize=775172 CPUtime=2805.32 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 238431 0 0 0 280440 92 0 0 25 0 4 0 505776662 793776128 37011 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 193793 37011 426 148 0 188722 0 [pid=14318/tid=14324] ppid=14314 vsize=775172 CPUtime=698.45 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 23801 0 0 0 69836 9 0 0 25 0 4 0 505776667 793776128 37011 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=775172 CPUtime=702.27 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 24030 0 0 0 70218 9 0 0 25 0 4 0 505776667 793776128 37011 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568048 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=775172 CPUtime=702.25 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 24466 0 0 0 70217 8 0 0 25 0 4 0 505776667 793776128 37011 33554432000 4194304 4797429 140734774282384 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2805.32 Current children cumulated vsize (KiB) 775172 [startup+762.307 s] /proc/loadavg: 8.04 7.84 7.39 10/184 14350 /proc/meminfo: memFree=30842860/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=775416 CPUtime=3045.03 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 250046 0 0 0 304406 97 0 0 25 0 4 0 505776662 794025984 38236 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 193854 38236 426 148 0 188783 0 [pid=14318/tid=14324] ppid=14314 vsize=775416 CPUtime=758.13 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 24484 0 0 0 75804 9 0 0 25 0 4 0 505776667 794025984 38236 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568177 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=775416 CPUtime=762.28 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 25318 0 0 0 76218 10 0 0 25 0 4 0 505776667 794025984 38236 33554432000 4194304 4797429 140734774282384 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=775416 CPUtime=762.26 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 25755 0 0 0 76217 9 0 0 25 0 4 0 505776667 794025984 38236 33554432000 4194304 4797429 140734774282384 18446744073709551615 4355907 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3045.03 Current children cumulated vsize (KiB) 775416 [startup+822.301 s] /proc/loadavg: 8.05 7.88 7.43 10/184 14351 /proc/meminfo: memFree=30830676/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=783756 CPUtime=3284.69 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 265621 0 0 0 328365 104 0 0 25 0 4 0 505776662 802566144 37941 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424859 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 195939 37941 426 148 0 190868 0 [pid=14318/tid=14324] ppid=14314 vsize=783756 CPUtime=817.8 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 26202 0 0 0 81770 10 0 0 25 0 4 0 505776667 802566144 37941 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=783756 CPUtime=822.28 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 26887 0 0 0 82217 11 0 0 25 0 4 0 505776667 802566144 37941 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429141 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=783756 CPUtime=822.25 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 27588 0 0 0 82215 10 0 0 25 0 4 0 505776667 802566144 37941 33554432000 4194304 4797429 140734774282384 18446744073709551615 4242578 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3284.69 Current children cumulated vsize (KiB) 783756 [startup+882.3 s] /proc/loadavg: 8.24 7.96 7.49 10/184 14353 /proc/meminfo: memFree=30831400/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=784060 CPUtime=3524.37 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 278614 0 0 0 352326 111 0 0 25 0 4 0 505776662 802877440 39180 33554432000 4194304 4797429 140734774282384 18446744073709551615 4389995 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 196015 39180 426 148 0 190944 0 [pid=14318/tid=14324] ppid=14314 vsize=784060 CPUtime=877.48 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 27501 0 0 0 87737 11 0 0 25 0 4 0 505776667 802877440 39180 33554432000 4194304 4797429 140734774282384 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=784060 CPUtime=882.28 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 28321 0 0 0 88216 12 0 0 25 0 4 0 505776667 802877440 39180 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=784060 CPUtime=882.25 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 28895 0 0 0 88214 11 0 0 25 0 4 0 505776667 802877440 39180 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3524.37 Current children cumulated vsize (KiB) 784060 [startup+942.3 s] /proc/loadavg: 8.09 7.97 7.52 10/184 14354 /proc/meminfo: memFree=30820588/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=786484 CPUtime=3764.06 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 290699 0 0 0 376288 118 0 0 25 0 4 0 505776662 805359616 41048 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 196621 41048 426 148 0 191550 0 [pid=14318/tid=14324] ppid=14314 vsize=786484 CPUtime=937.16 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 28833 0 0 0 93704 12 0 0 25 0 4 0 505776667 805359616 41048 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=786484 CPUtime=942.28 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 29292 0 0 0 94216 12 0 0 25 0 4 0 505776667 805359616 41048 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=786484 CPUtime=942.26 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 29603 0 0 0 94214 12 0 0 25 0 4 0 505776667 805359616 41048 33554432000 4194304 4797429 140734774282384 18446744073709551615 4415842 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3764.06 Current children cumulated vsize (KiB) 786484 [startup+1002.3 s] /proc/loadavg: 8.14 8.00 7.55 10/184 14356 /proc/meminfo: memFree=30813620/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=788480 CPUtime=4003.74 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 303881 0 0 0 400249 125 0 0 25 0 4 0 505776662 807403520 41224 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 197120 41224 426 148 0 192049 0 [pid=14318/tid=14324] ppid=14314 vsize=788480 CPUtime=996.83 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 30131 0 0 0 99671 12 0 0 25 0 4 0 505776667 807403520 41224 33554432000 4194304 4797429 140734774282384 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=788480 CPUtime=1002.28 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 30655 0 0 0 100215 13 0 0 25 0 4 0 505776667 807403520 41224 33554432000 4194304 4797429 140734774282384 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=788480 CPUtime=1002.26 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 30930 0 0 0 100213 13 0 0 25 0 4 0 505776667 807403520 41224 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4003.74 Current children cumulated vsize (KiB) 788480 [startup+1062.3 s] /proc/loadavg: 8.20 8.03 7.59 10/184 14358 /proc/meminfo: memFree=30803932/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=791876 CPUtime=4243.42 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 317567 0 0 0 424211 131 0 0 25 0 4 0 505776662 810881024 41721 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 197969 41721 426 148 0 192898 0 [pid=14318/tid=14324] ppid=14314 vsize=791876 CPUtime=1056.5 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 31524 0 0 0 105638 12 0 0 25 0 4 0 505776667 810881024 41721 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=791876 CPUtime=1062.28 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 32391 0 0 0 106215 13 0 0 25 0 4 0 505776667 810881024 41721 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=791876 CPUtime=1062.26 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 32588 0 0 0 106213 13 0 0 25 0 4 0 505776667 810881024 41721 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4243.42 Current children cumulated vsize (KiB) 791876 [startup+1122.3 s] /proc/loadavg: 8.21 8.06 7.62 10/184 14359 /proc/meminfo: memFree=30791512/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=796200 CPUtime=4483.1 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 325473 0 0 0 448175 135 0 0 25 0 4 0 505776662 815308800 45183 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 199050 45183 426 148 0 193979 0 [pid=14318/tid=14324] ppid=14314 vsize=796200 CPUtime=1116.18 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 32844 0 0 0 111605 13 0 0 25 0 4 0 505776667 815308800 45183 33554432000 4194304 4797429 140734774282384 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=796200 CPUtime=1122.29 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 34257 0 0 0 112215 14 0 0 25 0 4 0 505776667 815308800 45183 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=796200 CPUtime=1122.27 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 34095 0 0 0 112213 14 0 0 25 0 4 0 505776667 815308800 45183 33554432000 4194304 4797429 140734774282384 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4483.1 Current children cumulated vsize (KiB) 796200 [startup+1182.3 s] /proc/loadavg: 8.20 8.08 7.65 10/184 14361 /proc/meminfo: memFree=30784800/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=799224 CPUtime=4722.8 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 339023 0 0 0 472138 142 0 0 25 0 4 0 505776662 818405376 45301 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 199806 45301 426 148 0 194735 0 [pid=14318/tid=14324] ppid=14314 vsize=799224 CPUtime=1175.86 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 33552 0 0 0 117572 14 0 0 25 0 4 0 505776667 818405376 45301 33554432000 4194304 4797429 140734774282384 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=799224 CPUtime=1182.29 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 36446 0 0 0 118215 14 0 0 25 0 4 0 505776667 818405376 45301 33554432000 4194304 4797429 140734774282384 18446744073709551615 4429125 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=799224 CPUtime=1182.27 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 35641 0 0 0 118212 15 0 0 25 0 4 0 505776667 818405376 45301 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4722.8 Current children cumulated vsize (KiB) 799224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.14 8.07 7.66 9/184 14361 /proc/meminfo: memFree=30780700/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=799240 CPUtime=4800.31 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 341977 0 0 0 479887 144 0 0 25 0 4 0 505776662 818421760 46761 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 199810 46761 426 148 0 194739 0 [pid=14318/tid=14324] ppid=14314 vsize=799240 CPUtime=1195.16 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 34538 0 0 0 119501 15 0 0 25 0 4 0 505776667 818421760 46761 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=799240 CPUtime=1201.7 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 36689 0 0 0 120155 15 0 0 25 0 4 0 505776667 818421760 46761 33554432000 4194304 4797429 140734774282384 18446744073709551615 4508754 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=799240 CPUtime=1201.68 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 35911 0 0 0 120153 15 0 0 25 0 4 0 505776667 818421760 46761 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.31 Current children cumulated vsize (KiB) 799240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.14 8.07 7.66 9/184 14361 /proc/meminfo: memFree=30780700/32951124 swapFree=67111356/67111528 [pid=14318] ppid=14314 vsize=799240 CPUtime=4800.31 cores=1,3,5,7 /proc/14318/stat : 14318 (techdemo) R 14314 14318 11031 0 -1 4202496 341977 0 0 0 479887 144 0 0 25 0 4 0 505776662 818421760 46761 33554432000 4194304 4797429 140734774282384 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/14318/statm: 199810 46761 426 148 0 194739 0 [pid=14318/tid=14324] ppid=14314 vsize=799240 CPUtime=1195.16 cores=1,3,5,7 /proc/14318/task/14324/stat : 14324 (techdemo) R 14314 14318 11031 0 -1 4202560 34538 0 0 0 119501 15 0 0 25 0 4 0 505776667 818421760 46761 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=14318/tid=14325] ppid=14314 vsize=799240 CPUtime=1201.7 cores=1,3,5,7 /proc/14318/task/14325/stat : 14325 (techdemo) R 14314 14318 11031 0 -1 4202560 36689 0 0 0 120155 15 0 0 25 0 4 0 505776667 818421760 46761 33554432000 4194304 4797429 140734774282384 18446744073709551615 4508754 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=14318/tid=14326] ppid=14314 vsize=799240 CPUtime=1201.68 cores=1,3,5,7 /proc/14318/task/14326/stat : 14326 (techdemo) R 14314 14318 11031 0 -1 4202560 35911 0 0 0 120153 15 0 0 25 0 4 0 505776667 818421760 46761 33554432000 4194304 4797429 140734774282384 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.31 Current children cumulated vsize (KiB) 799240 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.72 CPU time (s): 4800.35 CPU user time (s): 4798.89 CPU system time (s): 1.45478 CPU usage (%): 399.456 Max. virtual memory (cumulated for all children) (KiB): 903596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.89 system time used= 1.45478 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 341978 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= 1137 involuntary context switches= 46325 runsolver used 1.81972 second user time and 4.75428 second system time The end
Begin job on node143 at 2011-04-30 05:20:10 IDJOB=3262505 IDBENCH=83318 IDSOLVER=1584 FILE ID=node143/3262505-1304133610 RUNJOBID= node143-1304133610-14300 PBS_JOBID= 13170767 Free space on /tmp= 73496 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_462.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262505-1304133610/watcher-3262505-1304133610 -o /tmp/evaluation-result-3262505-1304133610/solver-3262505-1304133610 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262505-1304133610.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4975f32607352c0a4d9db1abea12627a RANDOM SEED=1011367191 node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31162456 kB Buffers: 259128 kB Cached: 1181072 kB SwapCached: 168 kB Active: 336264 kB Inactive: 1167852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31162456 kB SwapTotal: 67111528 kB SwapFree: 67111356 kB Dirty: 16340 kB Writeback: 0 kB AnonPages: 63240 kB Mapped: 14696 kB Slab: 220996 kB PageTables: 4660 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 186584 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= 73480 MiB End job on node143 at 2011-04-30 05:40:14