| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.42 | 1201.73 |
| Name | SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf |
| MD5SUM | 81bbeaaf9f0ca3bfc36d743097777052 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1.62875 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 380 |
| Number of clauses | 3630 |
| Sum of the clauses size | 7600 |
| Maximum clause length | 19 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 3610 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 20 |
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-3265233-1304181359.cnf' 0.00/0.00 c -- header says num vars: 380 0.00/0.00 c -- header says num clauses: 3630 0.00/0.00 c -- clauses added: 0 learnts, 3630 normals, 0 xors 0.00/0.00 c -- vars added 380 0.00/0.00 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 380 20 3610 0 7600 0 no data no data -- 0.00/0.01 c asymm cl-useful: 0/20/20 lits-rem:0 time: 0.00 0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.0M T: 0.01 0.00/0.01 c Calc non-exist non-lernt bins v-fix: 0 done: 380 time: 0.00 s 0.00/0.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.00/0.01 c Subs w/ non-existent bins: 0 time: 0.00 s 0.00/0.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Removed useless bin: 0 fixed: 0 bprops: 0.02M time: 0.00 s 0.00/0.01 c lits-rem: 0 cl-subs: 0 v-elim: 232 v-fix: 0 time: 0.01 s 0.00/0.01 c learnt bin added due to v-elim: 0 0.00/0.01 c Finding binary XORs T: 0.00 s found: 0 0.00/0.01 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.01 c calculated reachability. Time: 0.00 0.00/0.01 c Calc default polars - time: 0.00 s pos: 183 undec: 20 neg: 177 0.00/0.01 c ========================================================================================= 0.00/0.01 c types(t): F = full restart, N = normal restart 0.00/0.01 c types(t): S = simplification begin/end, E = solution found 0.00/0.01 c restart types(rt): st = static, dy = dynamic 0.00/0.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 0.00/0.01 c B st 0 0 360 367 3243 0 13680 0 no data no data -- 0.21/0.09 c Decided on static restart strategy 0.45/0.17 c N dy 21 4111 360 367 3243 3929 13680 252119 61.25 21.92 -- 1.56/0.41 c N dy 51 8182 360 367 3243 5395 13680 335685 61.83 22.02 -- 2.36/0.67 c N dy 81 12296 360 367 3243 5279 13680 293432 60.13 22.20 -- 3.55/0.95 c N dy 111 16375 360 367 3243 9199 13680 552211 66.69 22.10 -- 4.75/1.23 c N dy 141 20442 360 367 3243 7741 13680 424329 63.20 21.96 -- 5.95/1.58 c N dy 170 24456 360 367 3243 11584 13680 682501 63.04 21.92 -- 7.55/1.94 c N dy 199 28482 360 367 3243 8843 13680 508466 71.20 21.93 -- 8.36/2.12 c S st 210 30000 360 367 3243 10279 13680 607767 69.99 22.01 -- 8.36/2.14 c S st 210 30505 360 367 3243 10779 13680 638809 69.99 22.01 -- 8.36/2.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 8.36/2.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.35/2.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 9.9M T: 2.18 10.35/2.69 c Calc non-exist non-lernt bins v-fix: 0 done: 360 time: 0.00 s 10.35/2.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.35/2.70 c Subs w/ non-existent bins: 0 time: 0.02 s 10.75/2.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.16/3.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.63 s 13.16/3.37 c Removed useless bin: 0 fixed: 0 bprops: 0.01M time: 0.00 s 19.13/4.85 c lits-rem: 30 cl-subs: 1086 v-elim: 360 v-fix: 0 time: 5.92 s 19.13/4.85 c learnt bin added due to v-elim: 0 19.13/4.85 c vivif2 -- cl tried 367 cl shrink 0 lits rem 0 time: 0.00 19.13/4.85 c vivif2 -- cl tried 9693 cl shrink 0 lits rem 0 time: 0.02 19.53/4.91 c asymm cl-useful: 0/367/367 lits-rem:0 time: 0.24 19.53/4.91 c calculated reachability. Time: 0.00 19.53/4.91 c N dy 210 30505 360 367 3243 9693 13680 574152 69.99 22.01 -- 19.53/4.91 c F st 210 30505 360 367 3243 9693 13680 574152 69.99 22.01 -- 19.93/5.06 c Decided on static restart strategy 20.73/5.21 c N dy 231 34636 360 367 3243 13662 13680 901689 81.04 22.07 -- 21.95/5.54 c N dy 261 38679 360 367 3243 10031 13680 611705 87.39 22.09 -- 23.53/5.93 c N dy 290 42682 360 367 3243 13900 13680 929579 85.86 22.10 -- 25.13/6.39 c S st 313 45757 360 367 3243 16885 13680 1177184 83.74 22.08 -- 25.53/6.43 c S st 313 46261 360 367 3243 8773 13680 481088 83.74 22.08 -- 25.53/6.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 25.53/6.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 27.92/7.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 12.1M T: 2.30 27.92/7.00 c Calc non-exist non-lernt bins v-fix: 0 done: 360 time: 0.00 s 27.92/7.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 27.92/7.01 c Subs w/ non-existent bins: 0 time: 0.02 s 27.92/7.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 30.33/7.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.44 s 30.33/7.63 c Removed useless bin: 0 fixed: 0 bprops: 0.01M time: 0.00 s 31.11/7.88 c lits-rem: 2 cl-subs: 204 v-elim: 360 v-fix: 0 time: 1.02 s 31.11/7.88 c learnt bin added due to v-elim: 0 31.11/7.88 c vivif2 -- cl tried 367 cl shrink 0 lits rem 0 time: 0.00 31.11/7.89 c vivif2 -- cl tried 8569 cl shrink 0 lits rem 0 time: 0.02 31.51/7.93 c asymm cl-useful: 0/367/367 lits-rem:0 time: 0.18 31.51/7.93 c calculated reachability. Time: 0.00 31.51/7.93 c N dy 313 46261 360 367 3243 8569 13680 468628 83.74 22.08 -- 32.31/8.17 c N dy 343 50308 360 367 3243 12512 13680 754159 77.03 21.95 -- 34.31/8.63 c N dy 373 54413 360 367 3243 16449 13680 1079560 82.06 21.99 -- 36.31/9.13 c N dy 402 58415 360 367 3243 10697 13680 622290 71.04 21.98 -- 37.51/9.48 c N dy 432 62486 360 367 3243 14632 13680 915932 79.40 21.92 -- 39.90/10.01 c N dy 461 66534 360 367 3243 18504 13680 1227449 79.42 21.93 -- 41.90/10.53 c S st 482 69391 360 367 3243 10668 13680 626245 80.25 21.99 -- 41.90/10.55 c S st 482 69896 360 367 3243 11165 13680 657130 80.25 21.99 -- 41.90/10.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 41.90/10.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 45.50/11.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 19.4M T: 3.71 45.50/11.48 c Calc non-exist non-lernt bins v-fix: 0 done: 360 time: 0.00 s 45.50/11.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 45.50/11.49 c Subs w/ non-existent bins: 0 time: 0.02 s 45.50/11.49 c bin-w-bin subsume rem 0 bins time: 0.00 s 49.89/12.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.17 s 49.89/12.54 c Removed useless bin: 0 fixed: 0 bprops: 0.01M time: 0.00 s 57.88/14.52 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 70.29/17.61 c Added 4 vars tried: 80000 time: 12.37 70.29/17.65 c ORs : 4 avg-s: 0.0 cl-sh: 6522 l-rem: 6522 b-add: 8 v-rep: 0 cl-rem: 0 avg s: nan T: 12.50 70.29/17.66 c lits-rem: 1 cl-subs: 203 v-elim: 360 v-fix: 0 time: 20.45 s 70.29/17.66 c learnt bin added due to v-elim: 0 70.29/17.66 c vivif2 -- cl tried 371 cl shrink 0 lits rem 0 time: 0.00 70.29/17.66 c vivif2 -- cl tried 10962 cl shrink 0 lits rem 0 time: 0.02 70.67/17.70 c asymm cl-useful: 0/371/371 lits-rem:0 time: 0.14 70.67/17.70 c calculated reachability. Time: 0.00 70.67/17.70 c N dy 482 69896 364 371 3251 10962 13670 637553 80.25 21.99 -- 70.67/17.70 c F st 482 69896 364 371 3251 10962 13670 637553 80.25 21.99 -- 71.07/17.81 c Decided on static restart strategy 71.87/18.00 c N dy 506 74426 364 371 3251 15319 13670 952628 80.54 22.00 -- 73.47/18.47 c N dy 542 79289 364 371 3251 20029 13670 1305856 80.96 21.93 -- 76.26/19.11 c N dy 579 84405 364 371 3251 13414 13670 843362 74.58 21.95 -- 78.26/19.68 c N dy 619 89842 364 371 3251 18646 13670 1263777 83.19 21.99 -- 83.06/20.81 c N dy 660 95679 364 371 3251 24198 13670 1726204 85.89 22.06 -- 86.25/21.61 c N dy 703 101828 364 371 3251 17560 13670 1167446 79.90 22.17 -- 88.24/22.11 c S st 725 104847 364 371 3251 20445 13670 1391400 79.73 22.20 -- 88.24/22.13 c S st 725 105349 364 371 3251 20930 13670 1420774 79.73 22.20 -- 88.24/22.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 88.24/22.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 99.43/24.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 50.2M T: 11.07 99.43/24.91 c Calc non-exist non-lernt bins v-fix: 0 done: 364 time: 0.00 s 99.43/24.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 99.43/24.92 c Subs w/ non-existent bins: 0 time: 0.05 s 99.43/24.94 c bin-w-bin subsume rem 0 bins time: 0.00 s 105.44/26.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.17 s 105.44/26.49 c Removed useless bin: 0 fixed: 0 bprops: 0.01M time: 0.00 s 114.61/28.79 c ORs : 2 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.00 115.01/28.81 c lits-rem: 18 cl-subs: 2095 v-elim: 360 v-fix: 0 time: 9.28 s 115.01/28.81 c learnt bin added due to v-elim: 0 115.01/28.81 c vivif2 -- cl tried 407 cl shrink 0 lits rem 0 time: 0.00 115.01/28.83 c vivif2 -- cl tried 18835 cl shrink 0 lits rem 0 time: 0.06 115.41/28.94 c asymm cl-useful: 0/407/407 lits-rem:0 time: 0.45 115.41/28.94 c calculated reachability. Time: 0.00 115.41/28.94 c N dy 725 105349 362 407 3211 18835 13698 1262451 79.73 22.20 -- 118.22/29.66 c N dy 774 112206 362 407 3211 25345 13698 1838842 100.63 22.27 -- 121.40/30.41 c N dy 827 119457 362 407 3211 19013 13698 1275998 85.91 22.24 -- 127.00/31.88 c N dy 882 127218 362 407 3211 26336 13698 1936194 98.17 22.33 -- 131.40/32.95 c N dy 940 135458 362 407 3211 19850 13698 1319283 97.75 22.35 -- 137.38/34.46 c N dy 1001 144173 362 407 3211 27967 13698 2083050 111.84 22.48 -- 142.98/35.88 c N dy 1067 153420 362 407 3211 21656 13698 1440027 88.18 22.55 -- 147.37/36.91 c S st 1099 158024 362 407 3211 26004 13698 1842743 91.62 22.60 -- 147.37/36.94 c S st 1099 158527 362 407 3211 26500 13698 1873644 91.62 22.60 -- 147.37/36.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 147.37/36.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 161.76/40.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.4M T: 14.27 161.76/40.51 c Calc non-exist non-lernt bins v-fix: 0 done: 362 time: 0.00 s 161.76/40.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 161.76/40.53 c Subs w/ non-existent bins: 0 time: 0.06 s 161.76/40.56 c bin-w-bin subsume rem 0 bins time: 0.00 s 168.14/42.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.51 s 168.14/42.19 c Removed useless bin: 0 fixed: 0 bprops: 0.01M time: 0.00 s 177.33/44.43 c ORs : 2 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.00 177.33/44.45 c lits-rem: 25 cl-subs: 1783 v-elim: 358 v-fix: 0 time: 9.06 s 177.33/44.45 c learnt bin added due to v-elim: 0 177.33/44.46 c vivif2 -- cl tried 407 cl shrink 0 lits rem 0 time: 0.00 177.33/44.47 c vivif2 -- cl tried 24717 cl shrink 0 lits rem 0 time: 0.08 178.13/44.67 c asymm cl-useful: 0/407/407 lits-rem:0 time: 0.80 178.13/44.67 c calculated reachability. Time: 0.00 178.13/44.67 c N dy 1099 158527 362 407 3211 24717 13698 1726476 91.62 22.60 -- 182.92/45.80 c N dy 1173 168773 370 407 3227 18431 13730 1119288 81.78 22.62 -- 189.72/47.60 c N dy 1249 179706 370 407 3227 28635 13730 2035428 103.58 22.69 -- 198.90/49.87 c N dy 1328 191212 370 407 3227 22403 13730 1458989 84.71 22.82 -- 212.09/53.14 c N dy 1410 203512 370 407 3227 33562 13730 2479644 85.57 22.95 -- 221.28/55.43 c N dy 1500 216595 370 407 3227 28112 13730 1912098 84.77 23.02 -- 233.66/58.56 c N dy 1595 230424 370 407 3227 22465 13730 1378930 86.96 23.08 -- 239.26/59.90 c S st 1648 237790 370 407 3227 29415 13730 1959773 87.73 23.09 -- 239.26/59.94 c S st 1648 238291 370 407 3227 29909 13730 1991273 87.73 23.09 -- 239.26/59.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 239.26/59.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 252.85/63.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.1M T: 13.71 252.85/63.38 c Calc non-exist non-lernt bins v-fix: 0 done: 370 time: 0.00 s 252.85/63.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 252.85/63.39 c Subs w/ non-existent bins: 0 time: 0.07 s 253.25/63.42 c bin-w-bin subsume rem 0 bins time: 0.00 s 259.63/65.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.56 s 259.63/65.06 c Removed useless bin: 0 fixed: 0 bprops: 0.01M time: 0.00 s 268.42/67.26 c ORs : 2 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 268.42/67.28 c lits-rem: 35 cl-subs: 1913 v-elim: 358 v-fix: 0 time: 8.86 s 268.42/67.28 c learnt bin added due to v-elim: 0 268.42/67.28 c vivif2 -- cl tried 407 cl shrink 0 lits rem 0 time: 0.00 268.82/67.30 c vivif2 -- cl tried 27996 cl shrink 0 lits rem 0 time: 0.08 269.62/67.50 c asymm cl-useful: 0/407/407 lits-rem:0 time: 0.79 269.62/67.50 c calculated reachability. Time: 0.00 269.62/67.50 c N dy 1648 238291 370 407 3227 27996 13730 1848956 87.73 23.09 -- 275.62/69.00 c N dy 1760 253597 370 407 3227 22917 13730 1350317 75.34 23.03 -- 287.20/71.92 c N dy 1874 269781 370 407 3227 38196 13730 2562207 87.34 23.06 -- 297.99/74.67 c N dy 1994 287070 370 407 3227 33571 13730 2186742 81.43 23.09 -- 311.58/78.08 c N dy 2123 305479 386 407 3259 29455 13794 1773332 70.99 23.10 -- 328.34/82.23 c N dy 2257 325036 386 407 3259 25045 13794 1423833 77.30 23.13 -- 345.13/86.43 c N dy 2396 345134 386 407 3259 43719 13794 2835981 75.77 23.14 -- 354.32/88.70 c S st 2484 357437 386 407 3259 32073 13794 1913087 77.47 23.14 -- 354.32/88.74 c S st 2484 357942 386 407 3259 32570 13794 1946587 77.47 23.14 -- 354.32/88.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 354.32/88.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 367.10/91.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 12.87 367.10/91.97 c Calc non-exist non-lernt bins v-fix: 0 done: 386 time: 0.00 s 367.10/91.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 367.10/91.99 c Subs w/ non-existent bins: 0 time: 0.08 s 367.50/92.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 373.89/93.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.62 s 373.89/93.67 c Removed useless bin: 0 fixed: 0 bprops: 0.01M time: 0.00 s 382.30/95.72 c ORs : 2 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 382.30/95.74 c lits-rem: 77 cl-subs: 1858 v-elim: 358 v-fix: 0 time: 8.26 s 382.30/95.74 c learnt bin added due to v-elim: 0 382.30/95.74 c vivif2 -- cl tried 407 cl shrink 0 lits rem 0 time: 0.00 382.30/95.76 c vivif2 -- cl tried 30712 cl shrink 0 lits rem 0 time: 0.09 383.08/95.96 c asymm cl-useful: 0/407/407 lits-rem:0 time: 0.76 383.08/95.96 c calculated reachability. Time: 0.00 383.08/95.96 c N dy 2484 357942 386 407 3259 30712 13794 1831420 77.47 23.14 -- 394.27/98.71 c N dy 2629 378055 386 407 3259 25388 13794 1398310 74.68 23.13 -- 408.26/102.23 c N dy 2772 398146 386 407 3259 44376 13794 2783606 76.48 23.15 -- 424.63/106.39 c N dy 2912 418293 386 407 3259 37695 13794 2275389 78.60 23.19 -- 446.20/111.78 c N dy 3051 438347 386 407 3259 30141 13794 1676989 68.23 23.21 -- 461.40/115.56 c N dy 3189 458455 386 407 3259 48773 13794 3024998 71.94 23.22 -- 476.16/119.29 c N dy 3330 478578 386 407 3259 40657 13794 2389792 71.84 23.24 -- 495.34/124.05 c N dy 3469 498631 398 407 3283 31402 13842 1717541 73.33 23.25 -- 511.71/128.15 c N dy 3607 518668 398 407 3283 50095 13842 3014762 71.55 23.26 -- 527.32/132.07 c S st 3733 536913 398 407 3283 38147 13842 2138449 70.52 23.26 -- 527.70/132.11 c S st 3733 537415 398 407 3283 38644 13842 2168654 70.52 23.26 -- 527.70/132.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 527.70/132.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 540.09/135.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.1M T: 12.52 540.09/135.25 c Calc non-exist non-lernt bins v-fix: 0 done: 398 time: 0.00 s 540.09/135.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 540.09/135.28 c Subs w/ non-existent bins: 0 time: 0.09 s 540.50/135.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 547.27/137.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.80 s 547.27/137.01 c Removed useless bin: 0 fixed: 0 bprops: 0.01M time: 0.00 s 559.65/140.18 c ORs : 2 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 615.20/154.00 c Added 5 vars tried: 80000 time: 55.19 616.38/154.39 c ORs : 5 avg-s: 0.0 cl-sh: 26942 l-rem: 26942 b-add: 10 v-rep: 0 cl-rem: 0 avg s: nan T: 56.73 616.78/154.42 c lits-rem: 325 cl-subs: 2123 v-elim: 358 v-fix: 0 time: 69.53 s 616.78/154.42 c learnt bin added due to v-elim: 0 616.78/154.42 c vivif2 -- cl tried 412 cl shrink 0 lits rem 0 time: 0.00 616.78/154.44 c vivif2 -- cl tried 36521 cl shrink 0 lits rem 0 time: 0.10 617.18/154.59 c asymm cl-useful: 0/412/412 lits-rem:0 time: 0.57 617.18/154.59 c calculated reachability. Time: 0.00 617.18/154.59 c N dy 3733 537415 403 412 3293 36521 13820 2032632 70.52 23.26 -- 617.18/154.59 c F st 3733 537415 403 412 3293 36521 13820 2032632 70.52 23.26 -- 617.98/154.75 c Decided on static restart strategy 626.76/156.97 c N dy 3871 557495 403 412 3293 55887 13820 3308930 71.96 23.21 -- 638.75/159.98 c N dy 4016 577507 403 412 3293 44847 13820 2498176 66.72 23.18 -- 662.72/165.94 c N dy 4160 597636 403 412 3293 32648 13820 1702923 59.93 23.19 -- 674.70/168.97 c N dy 4304 617768 403 412 3293 51838 13820 2962164 64.70 23.17 -- 695.07/174.09 c N dy 4446 637811 403 412 3293 38558 13820 2060766 64.60 23.17 -- 712.65/178.47 c N dy 4586 657864 403 412 3293 57331 13820 3250471 60.04 23.18 -- 731.03/183.06 c N dy 4730 678012 403 412 3293 43361 13820 2350756 59.69 23.17 -- 753.40/188.60 c N dy 4870 698114 403 412 3293 62208 13820 3549709 61.22 23.17 -- 769.78/192.78 c N dy 5011 718167 403 412 3293 47175 13820 2574059 65.45 23.16 -- 792.14/198.39 c N dy 5151 738255 403 412 3293 66165 13820 3781421 66.71 23.16 -- 808.55/202.44 c N dy 5293 758343 423 412 3334 50276 13900 2728822 62.90 23.15 -- 833.29/208.60 c N dy 5433 778375 423 412 3334 69107 13900 3906269 67.12 23.16 -- 849.27/212.62 c N dy 5574 798487 423 412 3334 52113 13900 2853390 60.51 23.16 -- 858.87/215.02 c S st 5628 806122 423 412 3334 59240 13900 3286301 58.86 23.16 -- 858.87/215.08 c S st 5628 806624 423 412 3334 59738 13900 3319461 58.86 23.16 -- 858.87/215.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 858.87/215.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 872.85/218.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.4M T: 13.66 872.85/218.51 c Calc non-exist non-lernt bins v-fix: 0 done: 423 time: 0.01 s 872.85/218.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 872.85/218.55 c Subs w/ non-existent bins: 0 time: 0.16 s 873.25/218.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 880.44/220.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 7.35 s 880.44/220.44 c Removed useless bin: 0 fixed: 0 bprops: 0.02M time: 0.00 s 912.00/228.32 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.02 912.00/228.37 c lits-rem: 258 cl-subs: 5369 v-elim: 354 v-fix: 0 time: 31.65 s 912.00/228.37 c learnt bin added due to v-elim: 0 912.00/228.37 c vivif2 -- cl tried 430 cl shrink 0 lits rem 0 time: 0.00 912.40/228.41 c vivif2 -- cl tried 54369 cl shrink 0 lits rem 0 time: 0.17 913.19/228.69 c asymm cl-useful: 0/337/430 lits-rem:0 time: 1.14 913.19/228.70 c calculated reachability. Time: 0.00 913.19/228.70 c N dy 5628 806624 422 430 3314 54369 13914 3021515 58.86 23.16 -- 927.19/232.15 c N dy 5771 826659 422 430 3314 36676 13914 1867588 69.00 23.17 -- 940.75/235.57 c N dy 5916 846690 422 430 3314 55740 13914 3210518 73.71 23.16 -- 976.31/244.48 c N dy 6055 866711 422 430 3314 74256 13914 4590295 75.92 23.19 -- 991.08/248.19 c N dy 6198 886792 422 430 3314 55595 13914 3194198 73.50 23.18 -- 1022.64/256.00 c N dy 6335 906876 422 430 3314 73979 13914 4569170 74.39 23.20 -- 1038.62/260.02 c N dy 6479 926980 442 430 3355 54872 13994 3075411 72.22 23.20 -- 1060.19/265.49 c N dy 6618 946989 442 430 3355 73521 13994 4424169 68.04 23.20 -- 1079.76/270.34 c N dy 6761 967031 442 430 3355 53123 13994 2963079 62.47 23.20 -- 1103.33/276.29 c N dy 6900 987148 442 430 3355 71783 13994 4323312 75.79 23.21 -- 1126.50/282.08 c N dy 7040 1007264 442 430 3355 50294 13994 2766081 70.69 23.21 -- 1150.89/288.20 c N dy 7178 1027344 442 430 3355 68784 13994 4118408 69.79 23.22 -- 1178.84/295.13 c N dy 7317 1047431 442 430 3355 46439 13994 2485081 63.17 23.21 -- 1198.01/299.93 c N dy 7458 1067589 442 430 3355 65290 13994 3807315 72.74 23.22 -- 1231.56/308.35 c N dy 7593 1087721 462 430 3403 41963 14080 2179892 75.42 23.24 -- 1244.74/311.65 c N dy 7734 1107736 462 430 3403 60796 14080 3483227 73.06 23.22 -- 1273.52/318.82 c N dy 7871 1127761 462 430 3403 79247 14080 4829256 72.60 23.24 -- 1297.47/324.80 c N dy 8010 1147765 462 430 3405 55151 14082 3100914 75.75 23.25 -- 1325.44/331.81 c N dy 8147 1167875 462 430 3405 73714 14082 4456163 73.24 23.27 -- 1357.82/339.91 c N dy 8283 1187903 462 430 3406 48510 14082 2618344 67.96 23.29 -- 1379.38/345.39 c N dy 8420 1207966 462 430 3406 66945 14082 3937934 71.98 23.30 -- 1383.77/346.47 c S st 8434 1209936 462 430 3406 68730 14082 4060625 65.98 23.29 -- 1384.18/346.54 c S st 8434 1210440 462 430 3406 69223 14082 4092218 65.98 23.29 -- 1384.18/346.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 1384.18/346.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1400.14/350.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.4M T: 15.85 1400.14/350.52 c Calc non-exist non-lernt bins v-fix: 0 done: 462 time: 0.01 s 1400.14/350.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1400.14/350.57 c Subs w/ non-existent bins: 0 time: 0.18 s 1400.14/350.58 c Replacing 3 vars Replaced 49 lits Time: 0.06 s 1400.54/350.65 c bin-w-bin subsume rem 6 bins time: 0.00 s 1408.52/352.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 7.85 s 1408.52/352.61 c Removed useless bin: 0 fixed: 0 bprops: 0.02M time: 0.00 s 1480.44/370.66 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.03 1594.27/399.11 c Added 5 vars tried: 80000 time: 113.65 1601.06/400.82 c ORs : 5 avg-s: 0.0 cl-sh: 60129 l-rem: 60129 b-add: 13 v-rep: 0 cl-rem: 0 avg s: nan T: 120.47 1601.06/400.88 c lits-rem: 598 cl-subs: 5319 v-elim: 353 v-fix: 0 time: 192.79 s 1601.06/400.88 c learnt bin added due to v-elim: 0 1601.06/400.88 c vivif2 -- cl tried 435 cl shrink 0 lits rem 0 time: 0.00 1601.46/400.93 c vivif2 -- cl tried 63901 cl shrink 0 lits rem 0 time: 0.20 1602.26/401.17 c asymm cl-useful: 0/435/435 lits-rem:0 time: 0.97 1602.26/401.17 c calculated reachability. Time: 0.00 1602.26/401.17 c N dy 8434 1210440 464 435 3402 63901 14038 3760988 65.98 23.29 -- 1613.45/403.91 c N dy 8581 1230567 464 435 3402 83119 14038 5039784 70.80 23.28 -- 1625.45/406.92 c N dy 8726 1250642 464 435 3402 57769 14038 3156002 61.05 23.25 -- 1643.43/411.46 c N dy 8869 1270731 464 435 3402 76871 14038 4431223 68.95 23.25 -- 1669.39/417.96 c N dy 9011 1290864 464 435 3402 49811 14038 2662646 63.77 23.25 -- 1684.16/421.68 c N dy 9155 1310938 464 435 3402 68873 14038 3896844 64.74 23.25 -- 1712.52/428.73 c N dy 9294 1331024 464 435 3402 87752 14038 5170871 64.94 23.26 -- 1733.29/433.96 c N dy 9435 1351028 464 435 3402 59548 14038 3261287 62.96 23.26 -- 1752.47/438.74 c N dy 9578 1371064 464 435 3402 78629 14038 4502067 58.77 23.26 -- 1778.84/445.32 c N dy 9719 1391196 474 435 3431 49420 14084 2628983 60.41 23.27 -- 1791.61/448.59 c N dy 9862 1411284 474 435 3431 68536 14084 3846747 68.38 23.26 -- 1815.58/454.58 c N dy 10002 1431357 474 435 3431 87424 14084 5090143 62.75 23.27 -- 1837.15/459.91 c N dy 10145 1451432 474 435 3431 57363 14084 3130360 64.49 23.26 -- 1853.13/463.99 c N dy 10286 1471489 474 435 3433 76308 14084 4414599 69.87 23.26 -- 1880.72/470.81 c N dy 10428 1491550 474 435 3433 95254 14084 5659215 64.03 23.26 -- 1898.67/475.35 c N dy 10571 1511579 474 435 3433 64201 14084 3535339 59.16 23.25 -- 1919.05/480.42 c N dy 10710 1531704 474 435 3433 83182 14084 4741434 63.93 23.25 -- 1951.79/488.62 c N dy 10847 1551827 474 435 3433 101957 14084 5964907 66.44 23.26 -- 1966.58/492.34 c N dy 10989 1571894 474 435 3433 69943 14084 3826056 61.71 23.25 -- 1991.74/498.61 c N dy 11127 1592005 494 435 3484 88927 14172 5010643 59.66 23.25 -- 2026.10/507.29 c N dy 11265 1612060 494 435 3484 55768 14172 2895320 62.95 23.26 -- 2041.28/511.03 c N dy 11406 1632196 494 435 3484 74744 14172 4086297 66.22 23.26 -- 2070.84/518.42 c N dy 11543 1652220 494 435 3484 93527 14172 5284084 58.94 23.27 -- 2098.01/525.25 c N dy 11681 1672229 494 435 3484 59590 14172 3087678 56.90 23.27 -- 2117.19/530.03 c N dy 11821 1692338 494 435 3485 78486 14172 4252893 65.71 23.27 -- 2143.54/536.66 c S st 11945 1710441 514 435 3530 95471 14252 5334029 59.62 23.28 -- 2143.97/536.74 c S st 11945 1710945 514 435 3530 95964 14252 5364974 59.62 23.28 -- 2143.97/536.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2143.97/536.76 c Cache BProp: 0 Set: 0 BXProp: 2 T: 0.00 2159.93/540.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bin: 1 BRemL: 0 BRemN: 0 CBin: 0 P: 60.1M T: 15.98 2159.93/540.76 c Calc non-exist non-lernt bins v-fix: 0 done: 514 time: 0.01 s 2159.93/540.76 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2160.33/540.82 c Subs w/ non-existent bins: 0 time: 0.26 s 2160.33/540.84 c Replacing 5 vars Replaced 77 lits Time: 0.07 s 2160.73/540.93 c bin-w-bin subsume rem 10 bins time: 0.00 s 2168.72/542.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 8.00 s 2168.72/542.93 c Removed useless bin: 0 fixed: 0 bprops: 0.02M time: 0.00 s 2421.96/606.34 c ORs : 8 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 3.0 T: 0.02 2540.20/635.96 c Added 6 vars tried: 80000 time: 118.29 2549.79/638.39 c ORs : 6 avg-s: 0.0 cl-sh: 71519 l-rem: 71519 b-add: 14 v-rep: 0 cl-rem: 0 avg s: nan T: 128.03 2550.19/638.46 c lits-rem: 53 cl-subs: 14889 v-elim: 409 v-fix: 0 time: 381.58 s 2550.19/638.46 c learnt bin added due to v-elim: 0 2550.19/638.46 c vivif2 -- cl tried 496 cl shrink 0 lits rem 0 time: 0.00 2550.59/638.53 c vivif2 -- cl tried 81072 cl shrink 0 lits rem 0 time: 0.25 2551.79/638.81 c asymm cl-useful: 0/401/496 lits-rem:0 time: 1.14 2551.79/638.81 c calculated reachability. Time: 0.00 2551.79/638.81 c N dy 11945 1710945 512 496 3457 81072 14247 4427284 59.62 23.28 -- 2891.74/723.92 c N dy 12052 2032150 512 496 3457 94670 14247 5863005 78.36 24.31 -- 2894.14/724.58 c Finding binary XORs T: 0.00 s found: 5 2905.32/727.33 c N dy 12198 2052184 536 496 3526 61662 14359 3213997 65.98 24.29 -- 2993.60/749.49 c N dy 12216 2146299 536 496 3526 92971 14359 5210567 72.23 24.56 -- 3052.33/764.10 c N dy 12276 2210946 560 496 3574 95025 14455 5339454 71.79 24.65 -- 3053.12/764.40 c S st 12276 2210946 560 496 3574 95025 14455 5339454 71.79 24.65 -- 3053.53/764.50 c S st 12276 2211448 560 496 3574 95600 14455 5372113 71.79 24.65 -- 3053.94/764.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 3053.94/764.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3069.50/768.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 1 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 15.51 3069.50/768.40 c Calc non-exist non-lernt bins v-fix: 0 done: 560 time: 0.01 s 3069.50/768.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3069.50/768.47 c Subs w/ non-existent bins: 0 time: 0.26 s 3069.50/768.48 c Replacing 5 vars Replaced 150 lits Time: 0.08 s 3069.90/768.57 c bin-w-bin subsume rem 10 bins time: 0.00 s 3078.29/770.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 8.40 s 3078.29/770.67 c Removed useless bin: 0 fixed: 0 bprops: 0.02M time: 0.00 s 3315.56/830.03 c ORs : 11 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02 3315.56/830.09 c lits-rem: 505 cl-subs: 23051 v-elim: 419 v-fix: 0 time: 237.34 s 3315.56/830.09 c learnt bin added due to v-elim: 0 3315.56/830.09 c vivif2 -- cl tried 550 cl shrink 0 lits rem 0 time: 0.00 3315.96/830.15 c vivif2 -- cl tried 72549 cl shrink 0 lits rem 0 time: 0.22 3317.17/830.42 c asymm cl-useful: 0/172/550 lits-rem:0 time: 1.07 3317.17/830.42 c calculated reachability. Time: 0.00 3317.17/830.42 c N dy 12276 2211448 552 550 3487 72549 14464 3889294 71.79 24.65 -- 3671.08/919.04 c N dy 12340 2469001 576 550 3542 63628 14560 3263714 60.65 25.12 -- 3760.97/941.53 c N dy 12397 2551980 576 550 3542 77185 14560 4039126 59.52 25.07 -- 3877.21/970.65 c N dy 12418 2687744 576 550 3542 73472 14560 3730863 57.80 25.06 -- 3888.41/973.42 c N dy 12429 2711448 576 550 3542 95779 14560 4976483 61.35 25.06 -- 3889.59/973.70 c S st 12429 2711448 576 550 3542 95779 14560 4976483 61.35 25.06 -- 3889.59/973.78 c S st 12429 2711952 576 550 3542 96280 14560 5005564 61.35 25.06 -- 3889.59/973.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 3889.59/973.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3903.98/977.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 14.08 3903.98/977.32 c Calc non-exist non-lernt bins v-fix: 0 done: 576 time: 0.01 s 3903.98/977.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3903.98/977.38 c Subs w/ non-existent bins: 0 time: 0.25 s 3904.38/977.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 3912.36/979.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 8.07 s 3912.36/979.48 c Removed useless bin: 0 fixed: 0 bprops: 0.02M time: 0.00 s 4064.58/1017.52 c ORs : 11 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 14 avg s: 33.1 T: 0.08 4174.42/1045.04 c Added 6 vars tried: 80000 time: 109.94 4181.60/1046.87 c ORs : 6 avg-s: 0.0 cl-sh: 67992 l-rem: 67992 b-add: 14 v-rep: 0 cl-rem: 4 avg s: 34.5 T: 117.23 4182.00/1046.94 c lits-rem: 568 cl-subs: 14114 v-elim: 347 v-fix: 0 time: 269.44 s 4182.00/1046.94 c learnt bin added due to v-elim: 0 4182.00/1046.94 c vivif2 -- cl tried 556 cl shrink 0 lits rem 0 time: 0.00 4182.40/1047.00 c vivif2 -- cl tried 82146 cl shrink 0 lits rem 0 time: 0.24 4183.22/1047.26 c asymm cl-useful: 0/381/556 lits-rem:0 time: 1.05 4183.22/1047.27 c calculated reachability. Time: 0.00 4183.22/1047.27 c N dy 12429 2711952 582 556 3556 82146 14526 4181975 61.35 25.06 -- 4183.22/1047.27 c F st 12429 2711952 582 556 3556 82146 14526 4181975 61.35 25.06 -- 4184.79/1047.61 c Decided on static restart strategy 4478.39/1121.17 c N dy 12459 2921773 582 556 3556 73737 14526 3782593 63.17 24.99 -- 4631.00/1159.39 c N dy 12464 3100209 582 556 3556 100086 14526 5529861 68.20 25.05 -- 4673.73/1170.10 c N dy 12484 3151956 594 556 3585 78111 14578 3886559 57.46 25.02 -- 4724.06/1182.64 c N dy 12490 3211953 594 556 3585 133823 14578 6918948 56.83 25.03 -- 4725.66/1183.02 c S st 12490 3211953 594 556 3585 133823 14578 6918948 56.83 25.03 -- 4726.06/1183.17 c S st 12490 3212454 612 556 3624 134431 14650 6948965 56.83 25.03 -- 4726.06/1183.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 4726.06/1183.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4740.44/1186.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bin: 1 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 14.34 4740.44/1186.78 c Calc non-exist non-lernt bins v-fix: 0 done: 612 time: 0.02 s 4740.44/1186.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4740.86/1186.87 c Subs w/ non-existent bins: 0 time: 0.36 s 4740.86/1186.90 c Replacing 2 vars Replaced 51 lits Time: 0.10 s 4741.64/1187.01 c bin-w-bin subsume rem 4 bins time: 0.00 s 4750.05/1189.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 8.47 s 4750.05/1189.13 c Removed useless bin: 0 fixed: 0 bprops: 0.02M time: 0.00 s
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-3265233-1304181359/watcher-3265233-1304181359 -o /tmp/evaluation-result-3265233-1304181359/solver-3265233-1304181359 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3265233-1304181359.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.45 7.97 7.99 1/175 2345 /proc/meminfo: memFree=30705088/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=50440 CPUtime=0 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 653 0 0 0 0 0 0 0 25 0 1 0 529736833 51650560 588 33554432000 4194304 4797429 140736714658192 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 4 0 0 0 /proc/2345/statm: 12610 588 348 148 0 7539 0 [startup+0.063194 s] /proc/loadavg: 7.45 7.97 7.99 1/175 2345 /proc/meminfo: memFree=30705088/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=672364 CPUtime=0.21 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 1528 0 0 0 21 0 0 0 25 0 4 0 529736833 688500736 1434 33554432000 4194304 4797429 140736714658192 18446744073709551615 4425543 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 168091 1434 409 148 0 163020 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 672364 [startup+0.122125 s] /proc/loadavg: 7.45 7.97 7.99 1/175 2345 /proc/meminfo: memFree=30705088/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=672764 CPUtime=0.45 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 2014 0 0 0 45 0 0 0 25 0 4 0 529736833 688910336 1916 33554432000 4194304 4797429 140736714658192 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 168191 1916 411 148 0 163120 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 672764 [startup+0.301059 s] /proc/loadavg: 7.45 7.97 7.99 1/175 2345 /proc/meminfo: memFree=30705088/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=676020 CPUtime=1.16 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 3763 0 0 0 115 1 0 0 25 0 4 0 529736833 692244480 2408 33554432000 4194304 4797429 140736714658192 18446744073709551615 4424897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 169005 2409 412 148 0 163934 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 676020 [startup+0.700989 s] /proc/loadavg: 7.45 7.97 7.99 1/175 2345 /proc/meminfo: memFree=30705088/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=678004 CPUtime=2.76 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 5784 0 0 0 275 1 0 0 25 0 4 0 529736833 694276096 3881 33554432000 4194304 4797429 140736714658192 18446744073709551615 4351768 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 169501 3881 415 148 0 164430 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 678004 [startup+1.50085 s] /proc/loadavg: 7.45 7.97 7.99 10/184 2379 /proc/meminfo: memFree=30658764/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=681768 CPUtime=5.95 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 9059 0 0 0 592 3 0 0 25 0 4 0 529736833 698130432 6484 33554432000 4194304 4797429 140736714658192 18446744073709551615 4415667 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 170442 6484 415 148 0 165371 0 [pid=2345/tid=2347] ppid=2343 vsize=681768 CPUtime=1.48 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 1833 0 0 0 148 0 0 0 18 0 4 0 529736833 698130432 6484 33554432000 4194304 4797429 140736714658192 18446744073709551615 4506608 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=681768 CPUtime=1.47 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 1861 0 0 0 147 0 0 0 18 0 4 0 529736833 698130432 6484 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524155 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=681768 CPUtime=1.47 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 1949 0 0 0 147 0 0 0 18 0 4 0 529736833 698130432 6484 33554432000 4194304 4797429 140736714658192 18446744073709551615 4506608 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 681768 [startup+3.10057 s] /proc/loadavg: 7.45 7.97 7.99 9/184 2379 /proc/meminfo: memFree=30642892/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=684512 CPUtime=12.35 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 12539 0 0 0 1232 3 0 0 25 0 4 0 529736833 700940288 7506 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520341 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 171128 7506 416 148 0 166057 0 [pid=2345/tid=2347] ppid=2343 vsize=684512 CPUtime=3.08 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 2330 0 0 0 308 0 0 0 21 0 4 0 529736833 700940288 7506 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520168 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=684512 CPUtime=3.07 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 2396 0 0 0 307 0 0 0 21 0 4 0 529736833 700940288 7506 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=684512 CPUtime=3.06 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 2418 0 0 0 306 0 0 0 21 0 4 0 529736833 700940288 7506 33554432000 4194304 4797429 140736714658192 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 684512 [startup+6.301 s] /proc/loadavg: 7.49 7.97 7.99 9/184 2379 /proc/meminfo: memFree=30628760/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=686912 CPUtime=25.13 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 15964 0 0 0 2509 4 0 0 25 0 4 0 529736833 703397888 9802 33554432000 4194304 4797429 140736714658192 18446744073709551615 4355713 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 171728 9802 418 148 0 166657 0 [pid=2345/tid=2347] ppid=2343 vsize=686912 CPUtime=6.28 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 2792 0 0 0 628 0 0 0 25 0 4 0 529736833 703397888 9802 33554432000 4194304 4797429 140736714658192 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=686912 CPUtime=6.28 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 2888 0 0 0 627 1 0 0 25 0 4 0 529736833 703397888 9802 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=686912 CPUtime=6.26 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 3022 0 0 0 625 1 0 0 25 0 4 0 529736833 703397888 9802 33554432000 4194304 4797429 140736714658192 18446744073709551615 4430069 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.13 Current children cumulated vsize (KiB) 686912 [startup+12.7009 s] /proc/loadavg: 7.53 7.97 7.99 9/184 2379 /proc/meminfo: memFree=30617192/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=691728 CPUtime=50.69 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 22793 0 0 0 5064 5 0 0 25 0 4 0 529736833 708329472 10510 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 172932 10510 418 148 0 167861 0 [pid=2345/tid=2347] ppid=2343 vsize=691728 CPUtime=12.68 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 3612 0 0 0 1267 1 0 0 25 0 4 0 529736833 708329472 10510 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=691728 CPUtime=12.68 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 3818 0 0 0 1267 1 0 0 25 0 4 0 529736833 708329472 10510 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=691728 CPUtime=12.62 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 3779 0 0 0 1261 1 0 0 25 0 4 0 529736833 708329472 10510 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.69 Current children cumulated vsize (KiB) 691728 [startup+25.5006 s] /proc/loadavg: 7.63 7.97 7.99 9/184 2380 /proc/meminfo: memFree=30581348/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=696800 CPUtime=101.83 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 31070 0 0 0 10176 7 0 0 25 0 4 0 529736833 713523200 15213 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520291 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 174200 15213 419 148 0 169129 0 [pid=2345/tid=2347] ppid=2343 vsize=696800 CPUtime=25.48 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 4261 0 0 0 2547 1 0 0 25 0 4 0 529736833 713523200 15213 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=696800 CPUtime=25.48 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 4438 0 0 0 2547 1 0 0 25 0 4 0 529736833 713523200 15213 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=696800 CPUtime=25.36 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 4467 0 0 0 2535 1 0 0 25 0 4 0 529736833 713523200 15213 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524219 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (KiB) 696800 [startup+51.1011 s] /proc/loadavg: 7.84 7.99 8.00 9/184 2380 /proc/meminfo: memFree=30544672/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=704756 CPUtime=204.1 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 49282 0 0 0 20398 12 0 0 25 0 4 0 529736833 721670144 19024 33554432000 4194304 4797429 140736714658192 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 176189 19024 419 148 0 171118 0 [pid=2345/tid=2347] ppid=2343 vsize=704756 CPUtime=51.08 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 5335 0 0 0 5107 1 0 0 25 0 4 0 529736833 721670144 19024 33554432000 4194304 4797429 140736714658192 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=704756 CPUtime=51.08 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 5631 0 0 0 5107 1 0 0 25 0 4 0 529736833 721670144 19024 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=704756 CPUtime=50.83 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 5709 0 0 0 5082 1 0 0 25 0 4 0 529736833 721670144 19024 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 204.1 Current children cumulated vsize (KiB) 704756 [startup+102.306 s] /proc/loadavg: 8.00 8.00 8.00 9/184 2382 /proc/meminfo: memFree=30487864/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=714584 CPUtime=408.67 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 82597 0 0 0 40847 20 0 0 25 0 4 0 529736833 731734016 23492 33554432000 4194304 4797429 140736714658192 18446744073709551615 4425049 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 178646 23492 419 148 0 173575 0 [pid=2345/tid=2347] ppid=2343 vsize=714584 CPUtime=102.28 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 7563 0 0 0 10227 1 0 0 25 0 4 0 529736833 731734016 23492 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=714584 CPUtime=102.28 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 7203 0 0 0 10227 1 0 0 25 0 4 0 529736833 731734016 23492 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=714584 CPUtime=101.79 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 7943 0 0 0 10177 2 0 0 25 0 4 0 529736833 731734016 23492 33554432000 4194304 4797429 140736714658192 18446744073709551615 4495656 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.67 Current children cumulated vsize (KiB) 714584 [startup+162.3 s] /proc/loadavg: 8.06 8.02 8.00 9/184 2383 /proc/meminfo: memFree=30439092/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=723444 CPUtime=648.33 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 113041 0 0 0 64805 28 0 0 25 0 4 0 529736833 740806656 27347 33554432000 4194304 4797429 140736714658192 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 180861 27347 419 148 0 175790 0 [pid=2345/tid=2347] ppid=2343 vsize=723444 CPUtime=162.27 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 9566 0 0 0 16225 2 0 0 25 0 4 0 529736833 740806656 27347 33554432000 4194304 4797429 140736714658192 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=723444 CPUtime=162.28 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 9646 0 0 0 16226 2 0 0 25 0 4 0 529736833 740806656 27347 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=723444 CPUtime=161.47 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 10436 0 0 0 16145 2 0 0 25 0 4 0 529736833 740806656 27347 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 648.33 Current children cumulated vsize (KiB) 723444 [startup+222.301 s] /proc/loadavg: 8.08 8.03 8.00 9/184 2385 /proc/meminfo: memFree=30399104/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=731388 CPUtime=888.03 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 146651 0 0 0 88766 37 0 0 25 0 4 0 529736833 748941312 32832 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524493 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 182847 32832 419 148 0 177776 0 [pid=2345/tid=2347] ppid=2343 vsize=731388 CPUtime=222.27 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 11457 0 0 0 22224 3 0 0 25 0 4 0 529736833 748941312 32832 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=731388 CPUtime=222.28 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 11422 0 0 0 22226 2 0 0 25 0 4 0 529736833 748941312 32832 33554432000 4194304 4797429 140736714658192 18446744073709551615 4428814 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=731388 CPUtime=221.17 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 12261 0 0 0 22114 3 0 0 25 0 4 0 529736833 748941312 32832 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 888.03 Current children cumulated vsize (KiB) 731388 [startup+282.301 s] ################ # More data... # ################ [pid=2345] ppid=2343 vsize=766148 CPUtime=2805.45 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 333660 0 0 0 280460 85 0 0 25 0 4 0 529736833 784535552 53170 33554432000 4194304 4797429 140736714658192 18446744073709551615 4424981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 191537 53170 426 148 0 186466 0 [pid=2345/tid=2347] ppid=2343 vsize=766148 CPUtime=702.27 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 25972 0 0 0 70219 8 0 0 25 0 4 0 529736833 784535552 53170 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=766148 CPUtime=702.29 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 26402 0 0 0 70223 6 0 0 25 0 4 0 529736833 784535552 53170 33554432000 4194304 4797429 140736714658192 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=766148 CPUtime=698.62 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 26796 0 0 0 69855 7 0 0 25 0 4 0 529736833 784535552 53170 33554432000 4194304 4797429 140736714658192 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2805.45 Current children cumulated vsize (KiB) 766148 [startup+762.306 s] /proc/loadavg: 8.06 8.08 8.03 9/184 2400 /proc/meminfo: memFree=30196124/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=772620 CPUtime=3045.15 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 367161 0 0 0 304421 94 0 0 25 0 4 0 529736833 791162880 54732 33554432000 4194304 4797429 140736714658192 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 193155 54732 426 148 0 188084 0 [pid=2345/tid=2347] ppid=2343 vsize=772620 CPUtime=762.27 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 28139 0 0 0 76219 8 0 0 25 0 4 0 529736833 791162880 54732 33554432000 4194304 4797429 140736714658192 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=772620 CPUtime=762.3 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 27433 0 0 0 76223 7 0 0 25 0 4 0 529736833 791162880 54732 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=772620 CPUtime=758.31 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 28617 0 0 0 75823 8 0 0 25 0 4 0 529736833 791162880 54732 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3045.15 Current children cumulated vsize (KiB) 772620 [startup+822.301 s] /proc/loadavg: 8.14 8.09 8.03 9/184 2402 /proc/meminfo: memFree=30183208/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=775464 CPUtime=3284.8 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 373151 0 0 0 328383 97 0 0 25 0 4 0 529736833 794075136 57997 33554432000 4194304 4797429 140736714658192 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 193866 57997 426 148 0 188795 0 [pid=2345/tid=2347] ppid=2343 vsize=775464 CPUtime=822.27 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 29462 0 0 0 82217 10 0 0 25 0 4 0 529736833 794075136 57997 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=775464 CPUtime=822.29 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 29454 0 0 0 82222 7 0 0 25 0 4 0 529736833 794075136 57997 33554432000 4194304 4797429 140736714658192 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=775464 CPUtime=817.98 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 29465 0 0 0 81790 8 0 0 25 0 4 0 529736833 794075136 57997 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524473 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3284.8 Current children cumulated vsize (KiB) 775464 [startup+882.301 s] /proc/loadavg: 8.16 8.10 8.04 9/184 2403 /proc/meminfo: memFree=30176612/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=777696 CPUtime=3524.48 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 396566 0 0 0 352344 104 0 0 25 0 4 0 529736833 796360704 60635 33554432000 4194304 4797429 140736714658192 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 194424 60635 426 148 0 189353 0 [pid=2345/tid=2347] ppid=2343 vsize=777696 CPUtime=882.26 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 31427 0 0 0 88216 10 0 0 25 0 4 0 529736833 796360704 60635 33554432000 4194304 4797429 140736714658192 18446744073709551615 4519880 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=777696 CPUtime=882.29 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 30758 0 0 0 88222 7 0 0 25 0 4 0 529736833 796360704 60635 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=777696 CPUtime=877.66 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 31429 0 0 0 87757 9 0 0 25 0 4 0 529736833 796360704 60635 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3524.48 Current children cumulated vsize (KiB) 777696 [startup+942.3 s] /proc/loadavg: 8.16 8.11 8.04 9/184 2405 /proc/meminfo: memFree=30132056/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=787888 CPUtime=3764.16 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 424097 0 0 0 376304 112 0 0 25 0 4 0 529736833 806797312 59662 33554432000 4194304 4797429 140736714658192 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 196972 59662 426 148 0 191901 0 [pid=2345/tid=2347] ppid=2343 vsize=787888 CPUtime=942.26 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 33919 0 0 0 94216 10 0 0 25 0 4 0 529736833 806797312 59662 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=787888 CPUtime=942.29 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 33109 0 0 0 94221 8 0 0 25 0 4 0 529736833 806797312 59662 33554432000 4194304 4797429 140736714658192 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=787888 CPUtime=937.34 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 33493 0 0 0 93725 9 0 0 25 0 4 0 529736833 806797312 59662 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3764.16 Current children cumulated vsize (KiB) 787888 [startup+1002.3 s] /proc/loadavg: 8.15 8.12 8.05 9/184 2407 /proc/meminfo: memFree=30127812/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=790416 CPUtime=4003.83 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 444805 0 0 0 400266 117 0 0 25 0 4 0 529736833 809385984 61481 33554432000 4194304 4797429 140736714658192 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 197604 61481 426 148 0 192533 0 [pid=2345/tid=2347] ppid=2343 vsize=790416 CPUtime=1002.27 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 35842 0 0 0 100216 11 0 0 25 0 4 0 529736833 809385984 61481 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=790416 CPUtime=1002.3 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 35162 0 0 0 100221 9 0 0 25 0 4 0 529736833 809385984 61481 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=790416 CPUtime=997.02 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 34453 0 0 0 99692 10 0 0 25 0 4 0 529736833 809385984 61481 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4003.83 Current children cumulated vsize (KiB) 790416 [startup+1062.3 s] /proc/loadavg: 8.20 8.14 8.06 10/184 2408 /proc/meminfo: memFree=30127648/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=859912 CPUtime=4243.51 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 457847 0 0 0 424230 121 0 0 25 0 4 0 529736833 880549888 62164 33554432000 4194304 4797429 140736714658192 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 214978 62164 426 148 0 209907 0 [pid=2345/tid=2347] ppid=2343 vsize=859912 CPUtime=1062.26 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 36989 0 0 0 106215 11 0 0 25 0 4 0 529736833 880549888 62164 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=859912 CPUtime=1062.29 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 36986 0 0 0 106220 9 0 0 25 0 4 0 529736833 880549888 62164 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=859912 CPUtime=1056.7 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 36371 0 0 0 105659 11 0 0 25 0 4 0 529736833 880549888 62164 33554432000 4194304 4797429 140736714658192 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4243.51 Current children cumulated vsize (KiB) 859912 [startup+1122.3 s] /proc/loadavg: 8.14 8.13 8.06 9/184 2410 /proc/meminfo: memFree=30089424/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=864996 CPUtime=4483.18 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 479591 0 0 0 448189 129 0 0 25 0 4 0 529736833 885755904 64176 33554432000 4194304 4797429 140736714658192 18446744073709551615 4425828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 216249 64176 426 148 0 211178 0 [pid=2345/tid=2347] ppid=2343 vsize=864996 CPUtime=1122.27 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 38870 0 0 0 112215 12 0 0 25 0 4 0 529736833 885755904 64176 33554432000 4194304 4797429 140736714658192 18446744073709551615 4519888 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=864996 CPUtime=1122.3 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 38113 0 0 0 112220 10 0 0 25 0 4 0 529736833 885755904 64176 33554432000 4194304 4797429 140736714658192 18446744073709551615 4519880 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=864996 CPUtime=1116.38 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 38175 0 0 0 111626 12 0 0 25 0 4 0 529736833 885755904 64176 33554432000 4194304 4797429 140736714658192 18446744073709551615 4415756 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4483.18 Current children cumulated vsize (KiB) 864996 [startup+1182.3 s] /proc/loadavg: 8.12 8.12 8.05 9/184 2411 /proc/meminfo: memFree=30063728/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=870736 CPUtime=4722.87 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 511550 0 0 0 472147 140 0 0 25 0 4 0 529736833 891633664 69011 33554432000 4194304 4797429 140736714658192 18446744073709551615 4425039 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 217684 69011 426 148 0 212613 0 [pid=2345/tid=2347] ppid=2343 vsize=870736 CPUtime=1182.26 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 39772 0 0 0 118214 12 0 0 25 0 4 0 529736833 891633664 69011 33554432000 4194304 4797429 140736714658192 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=870736 CPUtime=1182.3 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 39948 0 0 0 118219 11 0 0 25 0 4 0 529736833 891633664 69011 33554432000 4194304 4797429 140736714658192 18446744073709551615 4519880 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=870736 CPUtime=1176.06 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 39273 0 0 0 117594 12 0 0 25 0 4 0 529736833 891633664 69011 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4722.87 Current children cumulated vsize (KiB) 870736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.08 8.11 8.05 9/184 2412 /proc/meminfo: memFree=30057640/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=871180 CPUtime=4800.36 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 517762 0 0 0 479895 141 0 0 25 0 4 0 529736833 892088320 70545 33554432000 4194304 4797429 140736714658192 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 217795 70545 426 148 0 212724 0 [pid=2345/tid=2347] ppid=2343 vsize=871180 CPUtime=1201.67 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 40961 0 0 0 120154 13 0 0 25 0 4 0 529736833 892088320 70545 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=871180 CPUtime=1201.71 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 40267 0 0 0 120160 11 0 0 25 0 4 0 529736833 892088320 70545 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=871180 CPUtime=1195.36 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 40595 0 0 0 119523 13 0 0 25 0 4 0 529736833 892088320 70545 33554432000 4194304 4797429 140736714658192 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.36 Current children cumulated vsize (KiB) 871180 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.08 8.11 8.05 9/184 2412 /proc/meminfo: memFree=30057640/32951124 swapFree=67111524/67111528 [pid=2345] ppid=2343 vsize=871180 CPUtime=4800.36 cores=0,2,4,6 /proc/2345/stat : 2345 (techdemo) R 2343 2345 2123 0 -1 4202496 517762 0 0 0 479895 141 0 0 25 0 4 0 529736833 892088320 70545 33554432000 4194304 4797429 140736714658192 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2345/statm: 217795 70545 426 148 0 212724 0 [pid=2345/tid=2347] ppid=2343 vsize=871180 CPUtime=1201.67 cores=0,2,4,6 /proc/2345/task/2347/stat : 2347 (techdemo) R 2343 2345 2123 0 -1 4202560 40961 0 0 0 120154 13 0 0 25 0 4 0 529736833 892088320 70545 33554432000 4194304 4797429 140736714658192 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=2345/tid=2348] ppid=2343 vsize=871180 CPUtime=1201.71 cores=0,2,4,6 /proc/2345/task/2348/stat : 2348 (techdemo) R 2343 2345 2123 0 -1 4202560 40267 0 0 0 120160 11 0 0 25 0 4 0 529736833 892088320 70545 33554432000 4194304 4797429 140736714658192 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2345/tid=2349] ppid=2343 vsize=871180 CPUtime=1195.36 cores=0,2,4,6 /proc/2345/task/2349/stat : 2349 (techdemo) R 2343 2345 2123 0 -1 4202560 40595 0 0 0 119523 13 0 0 25 0 4 0 529736833 892088320 70545 33554432000 4194304 4797429 140736714658192 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.36 Current children cumulated vsize (KiB) 871180 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.73 CPU time (s): 4800.42 CPU user time (s): 4798.99 CPU system time (s): 1.43278 CPU usage (%): 399.46 Max. virtual memory (cumulated for all children) (KiB): 987488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.99 system time used= 1.43278 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517762 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= 529 involuntary context switches= 35291 runsolver used 1.92371 second user time and 4.45232 second system time The end
Begin job on node108 at 2011-04-30 18:35:59 IDJOB=3265233 IDBENCH=85459 IDSOLVER=1584 FILE ID=node108/3265233-1304181359 RUNJOBID= node108-1304178951-2141 PBS_JOBID= 13172452 Free space on /tmp= 72628 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-020-019.shuffled-as.sat05-1190.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265233-1304181359/watcher-3265233-1304181359 -o /tmp/evaluation-result-3265233-1304181359/solver-3265233-1304181359 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3265233-1304181359.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 81bbeaaf9f0ca3bfc36d743097777052 RANDOM SEED=689764527 node108.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.820 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.64 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.820 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.820 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.82 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.820 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.77 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.820 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.82 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 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: 30705132 kB Buffers: 611548 kB Cached: 1170988 kB SwapCached: 4 kB Active: 158252 kB Inactive: 1689340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30705132 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 7788 kB Writeback: 0 kB AnonPages: 64860 kB Mapped: 15200 kB Slab: 334180 kB PageTables: 4672 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 220592 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= 72620 MiB End job on node108 at 2011-04-30 18:56:03