| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat TechDemo-Alpha-mt | ? (TO) | 4800.4 | 1203.63 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf |
| MD5SUM | 213e4c0c58f043e67e86cf993698317a |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 8.22675 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 202 |
| Number of clauses | 22023 |
| Sum of the clauses size | 98860 |
| Maximum clause length | 21 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 67 |
| Number of clauses of size 3 | 20125 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1831 |
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-3262065-1304132800.cnf' 0.00/0.00 c -- header says num vars: 202 0.00/0.00 c -- header says num clauses: 22023 0.02/0.03 c -- clauses added: 0 learnts, 22023 normals, 0 xors 0.02/0.03 c -- vars added 202 0.02/0.03 c Parsing time: 0.03 s 0.02/0.04 c N st 0 0 202 21956 67 0 98860 0 no data no data -- 0.68/0.25 c asymm cl-useful: 0/11614/21956 lits-rem:0 time: 0.84 0.68/0.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 0.1M T: 0.01 0.68/0.25 c Calc non-exist non-lernt bins v-fix: 0 done: 202 time: 0.00 s 0.68/0.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 0.68/0.25 c Subs w/ non-existent bins: 0 time: 0.00 s 0.68/0.59 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.68/0.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.68/0.59 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 4.27/1.14 c lits-rem: 0 cl-subs: 0 v-elim: 134 v-fix: 0 time: 0.29 s 4.27/1.14 c learnt bin added due to v-elim: 0 4.27/1.14 c Finding binary XORs T: 0.00 s found: 0 4.27/1.14 c Finding non-binary XORs: 0.11 s (found: 0, avg size: nan) 4.27/1.14 c calculated reachability. Time: 0.00 4.27/1.14 c Calc default polars - time: 0.00 s pos: 202 undec: 0 neg: 0 4.27/1.14 c ========================================================================================= 4.27/1.14 c types(t): F = full restart, N = normal restart 4.27/1.14 c types(t): S = simplification begin/end, E = solution found 4.27/1.14 c restart types(rt): st = static, dy = dynamic 4.27/1.14 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG 4.27/1.14 c B st 0 0 202 21956 67 0 98860 0 no data no data -- 4.27/1.14 c Decided on static restart strategy 4.27/1.14 c N dy 20 4081 202 21956 67 3875 98860 80894 20.21 12.02 -- 4.27/1.14 c N dy 49 8226 202 21956 67 5428 98860 104901 20.81 11.72 -- 5.48/1.44 c N dy 77 12249 202 21956 67 5209 98860 90744 19.57 11.80 -- 6.64/1.77 c N dy 106 16364 202 21956 67 9083 98860 168280 20.43 11.74 -- 8.24/2.14 c N dy 135 20474 202 21956 67 7649 98860 127056 19.22 11.65 -- 9.43/2.50 c N dy 163 24516 202 21956 67 11488 98860 205734 19.21 11.66 -- 10.63/2.87 c N dy 191 28534 202 21956 67 8823 98860 148902 19.19 11.66 -- 10.63/3.01 c S st 202 30000 202 21956 67 10223 98860 178220 20.95 11.66 -- 10.63/3.06 c S st 202 30502 202 21956 67 10717 98860 189397 20.95 11.66 -- 10.63/3.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.63/3.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.63/3.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 1.5M T: 0.09 10.63/3.09 c Calc non-exist non-lernt bins v-fix: 0 done: 202 time: 0.00 s 10.63/3.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.63/3.09 c Subs w/ non-existent bins: 0 time: 0.01 s 10.63/3.10 c bin-w-bin subsume rem 0 bins time: 0.01 s 10.63/3.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 10.63/3.11 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 12.67/5.20 c lits-rem: 128 cl-subs: 1501 v-elim: 202 v-fix: 0 time: 6.33 s 12.67/5.20 c learnt bin added due to v-elim: 0 12.67/5.20 c vivif2 -- cl tried 21956 cl shrink 0 lits rem 0 time: 0.00 18.28/5.21 c vivif2 -- cl tried 9216 cl shrink 0 lits rem 0 time: 0.02 19.01/5.42 c asymm cl-useful: 0/10342/21956 lits-rem:0 time: 0.83 19.01/5.42 c calculated reachability. Time: 0.00 19.01/5.42 c N dy 202 30502 202 21956 67 9216 98860 169639 20.95 11.66 -- 19.01/5.42 c F st 202 30502 202 21956 67 9216 98860 169639 20.95 11.66 -- 19.81/5.61 c Decided on static restart strategy 20.23/5.79 c N dy 222 34540 202 21956 67 13035 98860 247346 19.48 11.63 -- 21.81/6.16 c N dy 250 38554 202 21956 67 9401 98860 153199 19.79 11.70 -- 23.41/6.52 c N dy 279 42667 202 21956 67 13301 98860 230533 18.32 11.66 -- 24.63/6.83 c S st 301 45753 202 21956 67 16218 98860 287843 19.28 11.64 -- 24.63/6.88 c S st 301 46257 202 21956 67 16710 98860 298625 19.28 11.64 -- 24.63/6.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 24.63/6.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 25.03/6.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 3.1M T: 0.24 25.03/6.94 c Calc non-exist non-lernt bins v-fix: 0 done: 202 time: 0.00 s 25.03/6.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 25.03/6.94 c Subs w/ non-existent bins: 0 time: 0.02 s 25.03/6.95 c bin-w-bin subsume rem 0 bins time: 0.01 s 25.03/6.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 25.03/6.96 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 30.99/8.42 c lits-rem: 250 cl-subs: 1787 v-elim: 202 v-fix: 0 time: 5.85 s 30.99/8.42 c learnt bin added due to v-elim: 0 30.99/8.43 c vivif2 -- cl tried 21956 cl shrink 0 lits rem 0 time: 0.00 30.99/8.43 c vivif2 -- cl tried 14923 cl shrink 0 lits rem 0 time: 0.01 31.79/8.62 c asymm cl-useful: 3/3248/21956 lits-rem:3 time: 0.75 31.79/8.62 c calculated reachability. Time: 0.00 31.79/8.62 c N dy 301 46257 202 21956 67 14923 98857 271800 19.28 11.64 -- 32.99/8.99 c N dy 329 50272 202 21956 67 10303 98857 164103 20.83 11.64 -- 34.59/9.35 c N dy 358 54336 202 21956 67 14148 98857 242391 20.90 11.59 -- 36.19/9.74 c N dy 387 58474 202 21956 67 18094 98857 324824 19.23 11.60 -- 37.80/10.13 c N dy 416 62568 202 21956 67 12496 98857 196401 20.36 11.61 -- 39.38/10.50 c N dy 445 66685 202 21956 67 16387 98857 274967 19.53 11.59 -- 40.18/10.78 c S st 465 69387 202 21956 67 18959 98857 326765 20.41 11.59 -- 40.58/10.83 c S st 465 69888 202 21956 67 19454 98857 338460 20.41 11.59 -- 40.58/10.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 40.58/10.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 40.98/10.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 4.7M T: 0.33 40.98/10.92 c Calc non-exist non-lernt bins v-fix: 0 done: 202 time: 0.00 s 40.98/10.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 40.98/10.92 c Subs w/ non-existent bins: 0 time: 0.02 s 40.98/10.93 c bin-w-bin subsume rem 0 bins time: 0.01 s 40.98/10.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 40.98/10.94 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 46.59/12.35 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 50.99/14.15 c Added 3 vars tried: 66978 time: 6.49 50.99/14.16 c ORs : 3 avg-s: 0.0 cl-sh: 2614 l-rem: 2614 b-add: 6 v-rep: 0 cl-rem: 21 avg s: 3.0 T: 6.54 50.99/14.17 c lits-rem: 291 cl-subs: 2103 v-elim: 202 v-fix: 0 time: 12.19 s 50.99/14.17 c learnt bin added due to v-elim: 0 50.99/14.17 c vivif2 -- cl tried 21936 cl shrink 0 lits rem 0 time: 0.00 50.99/14.18 c vivif2 -- cl tried 17353 cl shrink 0 lits rem 0 time: 0.01 50.99/14.37 c asymm cl-useful: 0/3316/21936 lits-rem:0 time: 0.57 50.99/14.37 c calculated reachability. Time: 0.00 50.99/14.37 c N dy 465 69888 205 21936 73 17353 98528 305520 20.41 11.59 -- 50.99/14.37 c F st 465 69888 205 21936 73 17353 98528 305520 20.41 11.59 -- 50.99/14.55 c Decided on static restart strategy 51.91/14.80 c N dy 488 74362 205 21936 73 11247 98528 168298 19.76 11.60 -- 51.91/15.21 c N dy 522 79176 205 21936 73 15887 98528 267573 20.28 11.70 -- 55.26/15.68 c N dy 558 84301 205 21936 73 20770 98528 373897 22.75 11.80 -- 59.76/16.21 c N dy 597 89811 205 21936 73 14663 98528 234704 20.37 11.88 -- 61.78/16.74 c N dy 638 95640 205 21936 73 20272 98528 357381 21.62 11.96 -- 64.15/17.38 c N dy 681 101768 205 21936 73 13687 98528 207828 20.20 12.04 -- 65.35/17.67 c S st 703 104832 205 21936 73 16605 98528 269479 20.18 12.07 -- 65.77/17.71 c S st 703 105334 205 21936 73 17103 98528 280626 20.18 12.07 -- 65.77/17.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 65.77/17.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 65.77/17.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 4.8M T: 0.31 65.77/17.79 c Calc non-exist non-lernt bins v-fix: 0 done: 205 time: 0.00 s 65.77/17.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 65.77/17.80 c Subs w/ non-existent bins: 0 time: 0.02 s 66.17/17.81 c bin-w-bin subsume rem 0 bins time: 0.01 s 66.17/17.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 66.17/17.81 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 70.15/18.86 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 70.15/18.87 c lits-rem: 327 cl-subs: 1165 v-elim: 202 v-fix: 0 time: 4.20 s 70.15/18.87 c learnt bin added due to v-elim: 0 70.15/18.87 c vivif2 -- cl tried 21936 cl shrink 0 lits rem 0 time: 0.00 70.15/18.87 c vivif2 -- cl tried 15938 cl shrink 0 lits rem 0 time: 0.02 70.93/19.08 c asymm cl-useful: 0/7078/21936 lits-rem:0 time: 0.84 70.93/19.08 c calculated reachability. Time: 0.00 70.93/19.08 c N dy 703 105334 205 21936 73 15938 98528 261361 20.18 12.07 -- 73.73/19.72 c N dy 751 112091 205 21936 73 22446 98528 398175 20.89 12.11 -- 76.52/20.44 c N dy 802 119275 205 21936 73 15963 98528 249767 21.47 12.17 -- 79.34/21.18 c N dy 856 126922 205 21936 73 23235 98528 406529 21.74 12.22 -- 82.92/22.04 c N dy 914 135140 205 21936 73 16785 98528 245734 19.10 12.21 -- 86.11/22.89 c N dy 975 143813 205 21936 73 25031 98528 415074 19.27 12.22 -- 90.10/23.89 c N dy 1040 153006 205 21936 73 18551 98528 267429 22.65 12.23 -- 92.51/24.41 c S st 1076 158003 205 21936 73 23306 98528 364614 18.97 12.24 -- 92.51/24.47 c S st 1076 158503 205 21936 73 23805 98528 375943 18.97 12.24 -- 92.51/24.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 92.51/24.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 92.89/24.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 8.4M T: 0.50 93.29/24.60 c Calc non-exist non-lernt bins v-fix: 0 done: 205 time: 0.00 s 93.29/24.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 93.29/24.60 c Subs w/ non-existent bins: 0 time: 0.02 s 93.29/24.61 c bin-w-bin subsume rem 0 bins time: 0.01 s 93.29/24.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 93.29/24.62 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 98.48/25.98 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 98.48/25.99 c lits-rem: 426 cl-subs: 1922 v-elim: 202 v-fix: 0 time: 5.48 s 98.48/25.99 c learnt bin added due to v-elim: 0 98.48/25.99 c vivif2 -- cl tried 21936 cl shrink 0 lits rem 0 time: 0.01 98.88/26.00 c vivif2 -- cl tried 21883 cl shrink 0 lits rem 0 time: 0.02 99.68/26.20 c asymm cl-useful: 0/5379/21936 lits-rem:0 time: 0.82 99.68/26.20 c calculated reachability. Time: 0.00 99.68/26.20 c N dy 1076 158503 205 21936 73 21883 98528 344102 18.97 12.24 -- 103.68/27.27 c N dy 1148 168666 205 21936 73 31589 98528 554723 21.41 12.33 -- 108.07/28.36 c N dy 1224 179451 205 21936 73 25728 98528 414393 22.46 12.40 -- 113.25/29.61 c N dy 1306 191015 205 21936 73 19611 98528 271925 21.43 12.51 -- 118.05/30.84 c N dy 1393 203314 205 21936 73 31310 98528 525076 19.39 12.58 -- 123.64/32.24 c N dy 1485 216405 205 21936 73 25666 98528 394270 22.79 12.67 -- 130.03/33.83 c N dy 1584 230281 217 21936 97 19902 98576 249416 20.87 12.71 -- 132.82/34.59 c S st 1637 237757 217 21936 97 27079 98576 399005 20.32 12.71 -- 133.22/34.64 c S st 1637 238259 217 21936 97 27574 98576 410219 20.32 12.71 -- 133.22/34.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 133.22/34.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 134.02/34.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 11.6M T: 0.66 134.02/34.81 c Calc non-exist non-lernt bins v-fix: 0 done: 217 time: 0.00 s 134.02/34.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 134.02/34.82 c Subs w/ non-existent bins: 0 time: 0.02 s 134.02/34.83 c bin-w-bin subsume rem 0 bins time: 0.01 s 134.02/34.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 134.02/34.83 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 140.02/36.37 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.02 140.02/36.37 c lits-rem: 434 cl-subs: 1759 v-elim: 202 v-fix: 0 time: 6.15 s 140.02/36.37 c learnt bin added due to v-elim: 0 140.02/36.38 c vivif2 -- cl tried 21936 cl shrink 0 lits rem 0 time: 0.01 140.02/36.38 c vivif2 -- cl tried 25815 cl shrink 0 lits rem 0 time: 0.02 140.84/36.50 c asymm cl-useful: 0/2915/21936 lits-rem:0 time: 0.48 140.84/36.51 c calculated reachability. Time: 0.00 140.84/36.51 c N dy 1637 238259 217 21936 97 25815 98575 379414 20.32 12.71 -- 147.61/38.29 c N dy 1745 253516 217 21936 97 20334 98575 248638 20.82 12.79 -- 154.36/39.98 c N dy 1860 269796 217 21936 97 35852 98575 580022 21.49 12.85 -- 162.38/41.94 c N dy 1982 287103 217 21936 97 31329 98575 475342 20.94 12.94 -- 171.16/44.10 c N dy 2112 305549 223 21936 109 27069 98599 371560 21.88 13.02 -- 180.36/46.44 c N dy 2250 325073 223 21936 109 45792 98599 793057 21.09 13.15 -- 189.52/48.78 c N dy 2392 345202 223 21936 109 41971 98599 670441 19.74 13.16 -- 195.90/50.34 c S st 2478 357389 223 21936 109 29770 98599 408317 21.66 13.21 -- 196.30/50.40 c S st 2478 357893 223 21936 109 30267 98599 419012 21.66 13.21 -- 196.30/50.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 196.30/50.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 197.10/50.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 14.1M T: 0.80 197.10/50.61 c Calc non-exist non-lernt bins v-fix: 0 done: 223 time: 0.00 s 197.10/50.61 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 197.10/50.61 c Subs w/ non-existent bins: 0 time: 0.03 s 197.10/50.62 c bin-w-bin subsume rem 0 bins time: 0.01 s 197.10/50.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 197.10/50.63 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 203.09/52.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 203.09/52.11 c lits-rem: 545 cl-subs: 1479 v-elim: 202 v-fix: 0 time: 5.90 s 203.09/52.11 c learnt bin added due to v-elim: 0 203.09/52.11 c vivif2 -- cl tried 21936 cl shrink 0 lits rem 0 time: 0.00 203.09/52.12 c vivif2 -- cl tried 28788 cl shrink 0 lits rem 0 time: 0.02 203.50/52.29 c asymm cl-useful: 1/2511/21936 lits-rem:1 time: 0.70 203.50/52.30 c calculated reachability. Time: 0.00 203.50/52.30 c N dy 2478 357893 223 21936 109 28788 98598 392679 21.66 13.21 -- 213.49/54.76 c N dy 2620 378007 229 21936 121 48023 98622 807220 21.15 13.24 -- 223.06/57.16 c N dy 2762 398048 229 21936 121 42291 98622 657766 22.04 13.26 -- 233.07/59.67 c N dy 2903 418104 229 21936 121 35699 98622 509184 22.45 13.30 -- 243.84/62.34 c N dy 3045 438194 229 21936 121 28128 98622 332735 20.74 13.33 -- 253.43/64.72 c N dy 3187 458322 229 21936 121 47340 98622 730479 20.06 13.32 -- 263.82/67.34 c N dy 3329 478388 229 21936 121 38840 98622 551431 20.83 13.33 -- 274.99/70.17 c N dy 3471 498527 229 21936 121 29419 98622 340826 22.35 13.34 -- 284.58/72.57 c N dy 3613 518553 229 21936 121 48560 98622 750861 23.56 13.34 -- 294.95/75.14 c S st 3742 536841 229 21936 121 36419 98622 472466 21.19 13.35 -- 295.35/75.20 c S st 3742 537345 229 21936 121 36923 98622 483631 21.19 13.35 -- 295.35/75.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 295.35/75.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 296.15/75.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 19.8M T: 1.13 296.15/75.48 c Calc non-exist non-lernt bins v-fix: 0 done: 229 time: 0.00 s 296.15/75.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 296.15/75.49 c Subs w/ non-existent bins: 0 time: 0.03 s 296.55/75.50 c bin-w-bin subsume rem 0 bins time: 0.01 s 296.55/75.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s 296.55/75.51 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 302.96/77.13 c ORs : 3 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 4.0 T: 0.02 305.34/77.70 c Added 3 vars tried: 80000 time: 2.26 305.34/77.71 c ORs : 3 avg-s: 0.0 cl-sh: 1922 l-rem: 1922 b-add: 7 v-rep: 0 cl-rem: 20 avg s: 3.0 T: 2.31 305.34/77.72 c lits-rem: 701 cl-subs: 2038 v-elim: 202 v-fix: 0 time: 8.81 s 305.34/77.72 c learnt bin added due to v-elim: 0 305.34/77.72 c vivif2 -- cl tried 21919 cl shrink 0 lits rem 0 time: 0.00 305.34/77.73 c vivif2 -- cl tried 34882 cl shrink 0 lits rem 0 time: 0.03 305.74/77.82 c asymm cl-useful: 0/634/21919 lits-rem:0 time: 0.35 305.74/77.82 c calculated reachability. Time: 0.00 305.74/77.82 c N dy 3742 537345 232 21919 128 34882 98455 450413 21.19 13.35 -- 305.74/77.82 c F st 3742 537345 232 21919 128 34882 98455 450413 21.19 13.35 -- 306.54/78.08 c Decided on static restart strategy 316.14/80.43 c N dy 3875 557407 232 21919 129 53959 98455 861194 22.26 13.34 -- 326.50/83.08 c N dy 4016 577418 232 21919 129 42539 98455 604302 21.66 13.36 -- 338.10/86.00 c N dy 4158 597532 232 21919 129 61762 98455 1004863 21.98 13.35 -- 348.86/88.62 c N dy 4299 617619 232 21919 129 49481 98455 745745 23.41 13.36 -- 360.85/91.64 c N dy 4440 637727 232 21919 129 36247 98455 448952 21.07 13.36 -- 371.24/94.22 c N dy 4580 657792 241 21919 149 55497 98495 868808 21.95 13.36 -- 460.32/116.54 c N dy 4694 806018 241 21919 149 57664 98495 946178 24.29 13.93 -- 460.32/116.59 c S st 4694 806018 241 21919 149 57664 98495 946178 24.29 13.93 -- 460.72/116.67 c S st 4694 806519 247 21919 161 58200 98519 957697 24.29 13.93 -- 460.72/116.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 460.72/116.68 c Cache BProp: 0 Set: 0 BXProp: 2 T: 0.00 463.11/117.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 2 CBin: 0 P: 31.0M T: 2.15 463.11/117.22 c Calc non-exist non-lernt bins v-fix: 0 done: 247 time: 0.00 s 463.11/117.22 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 463.11/117.23 c Subs w/ non-existent bins: 0 time: 0.06 s 463.11/117.24 c Replacing 2 vars Replaced 419 lits Time: 0.04 s 463.11/117.26 c bin-w-bin subsume rem 2 bins time: 0.01 s 463.11/117.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 463.11/117.29 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 473.10/119.73 c ORs : 6 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.05 473.10/119.75 c lits-rem: 175 cl-subs: 4867 v-elim: 202 v-fix: 0 time: 9.82 s 473.10/119.75 c learnt bin added due to v-elim: 0 473.10/119.75 c vivif2 -- cl tried 21919 cl shrink 0 lits rem 0 time: 0.01 473.10/119.76 c vivif2 -- cl tried 53332 cl shrink 0 lits rem 0 time: 0.06 473.50/119.87 c asymm cl-useful: 0/527/21919 lits-rem:0 time: 0.44 473.50/119.88 c calculated reachability. Time: 0.00 473.50/119.88 c N dy 4694 806519 245 21919 153 53332 98507 847543 24.29 13.93 -- 484.27/122.56 c N dy 4835 826583 245 21919 153 72626 98507 1289875 23.40 13.95 -- 484.27/122.56 c Finding binary XORs T: 0.00 s found: 0 494.26/125.03 c N dy 4976 846683 245 21919 153 54687 98507 848342 25.67 13.99 -- 504.64/127.65 c N dy 5117 866696 257 21919 181 73982 98559 1293416 22.87 14.01 -- 514.62/130.11 c N dy 5259 886845 257 21919 181 55008 98559 839115 25.38 14.04 -- 525.02/132.72 c N dy 5399 906930 257 21919 181 74354 98559 1312357 23.75 14.08 -- 730.74/184.23 c N dy 5418 1209778 257 21919 181 69547 98559 1163356 23.26 15.05 -- 730.74/184.27 c S st 5418 1209778 257 21919 181 69547 98559 1163356 23.26 15.05 -- 731.14/184.36 c S st 5418 1210278 257 21919 181 70047 98559 1174866 23.26 15.05 -- 731.14/184.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 731.14/184.37 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.00 733.96/185.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 39.6M T: 2.87 733.96/185.09 c Calc non-exist non-lernt bins v-fix: 0 done: 257 time: 0.01 s 733.96/185.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 734.34/185.10 c Subs w/ non-existent bins: 0 time: 0.07 s 734.34/185.11 c Replacing 1 vars Replaced 72 lits Time: 0.02 s 734.34/185.14 c bin-w-bin subsume rem 2 bins time: 0.01 s 734.34/185.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.13 s 734.34/185.17 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 746.74/188.24 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.07 751.91/189.51 c Added 3 vars tried: 80000 time: 5.08 752.71/189.75 c ORs : 3 avg-s: 0.0 cl-sh: 12013 l-rem: 12013 b-add: 6 v-rep: 0 cl-rem: 0 avg s: nan T: 6.05 752.71/189.77 c lits-rem: 454 cl-subs: 4972 v-elim: 202 v-fix: 0 time: 18.40 s 752.71/189.77 c learnt bin added due to v-elim: 0 752.71/189.78 c vivif2 -- cl tried 21922 cl shrink 0 lits rem 0 time: 0.01 752.71/189.79 c vivif2 -- cl tried 65075 cl shrink 0 lits rem 0 time: 0.07 753.51/189.90 c asymm cl-useful: 0/508/21922 lits-rem:0 time: 0.42 753.51/189.90 c calculated reachability. Time: 0.00 753.51/189.90 c N dy 5418 1210278 259 21922 181 65075 98572 1042677 23.26 15.05 -- 1214.88/305.43 c N dy 5422 1710278 259 21922 181 97347 98572 1877401 29.79 16.34 -- 1215.28/305.50 c S st 5422 1710278 259 21922 181 97347 98572 1877401 29.79 16.34 -- 1215.68/305.62 c S st 5422 1710779 259 21922 181 97847 98572 1890073 29.79 16.34 -- 1215.68/305.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1215.68/305.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1219.68/306.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 51.5M T: 4.06 1219.68/306.64 c Calc non-exist non-lernt bins v-fix: 0 done: 259 time: 0.01 s 1219.68/306.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1219.68/306.67 c Subs w/ non-existent bins: 0 time: 0.10 s 1220.08/306.71 c bin-w-bin subsume rem 0 bins time: 0.01 s 1220.08/306.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.26 s 1220.08/306.77 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1248.07/313.71 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.10 1248.07/313.75 c lits-rem: 431 cl-subs: 7295 v-elim: 202 v-fix: 0 time: 27.84 s 1248.07/313.75 c learnt bin added due to v-elim: 0 1248.07/313.75 c vivif2 -- cl tried 21922 cl shrink 0 lits rem 0 time: 0.01 1248.07/313.78 c vivif2 -- cl tried 90552 cl shrink 0 lits rem 0 time: 0.11 1248.84/313.90 c asymm cl-useful: 0/381/21922 lits-rem:0 time: 0.51 1248.84/313.91 c calculated reachability. Time: 0.00 1248.84/313.91 c N dy 5422 1710779 259 21922 181 90552 98572 1674577 29.79 16.34 -- 1723.80/432.87 c N dy 5427 2210780 259 21922 181 104268 98572 1690499 21.23 16.38 -- 1724.20/432.94 c S st 5427 2210780 259 21922 181 104268 98572 1690499 21.23 16.38 -- 1724.60/433.06 c S st 5427 2211281 259 21922 181 104766 98572 1701998 21.23 16.38 -- 1724.60/433.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1724.60/433.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1729.39/434.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.1M T: 4.63 1729.39/434.23 c Calc non-exist non-lernt bins v-fix: 0 done: 259 time: 0.01 s 1729.39/434.23 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1729.39/434.26 c Subs w/ non-existent bins: 0 time: 0.10 s 1729.39/434.29 c bin-w-bin subsume rem 0 bins time: 0.01 s 1729.79/434.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s 1729.79/434.34 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 1760.55/442.08 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.11 1760.96/442.12 c lits-rem: 7785 cl-subs: 13639 v-elim: 202 v-fix: 0 time: 31.06 s 1760.96/442.12 c learnt bin added due to v-elim: 0 1760.96/442.12 c vivif2 -- cl tried 21922 cl shrink 0 lits rem 0 time: 0.01 1760.96/442.14 c vivif2 -- cl tried 91127 cl shrink 0 lits rem 0 time: 0.10 1761.36/442.26 c asymm cl-useful: 0/375/21922 lits-rem:0 time: 0.45 1761.36/442.26 c calculated reachability. Time: 0.00 1761.36/442.26 c N dy 5427 2211281 259 21922 181 91127 98572 1401871 21.23 16.38 -- 2255.08/565.80 c N dy 5524 2711283 265 21922 194 115403 98596 2250607 25.30 16.71 -- 2255.08/565.89 c S st 5524 2711283 265 21922 194 115403 98596 2250607 25.30 16.71 -- 2255.08/565.89 c Finding binary XORs T: 0.00 s found: 0 2255.88/566.04 c S st 5524 2711783 271 21922 208 115907 98620 2262505 25.30 16.71 -- 2255.88/566.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2255.88/566.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2261.08/567.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.5M T: 5.13 2261.08/567.33 c Calc non-exist non-lernt bins v-fix: 0 done: 271 time: 0.01 s 2261.08/567.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2261.08/567.36 c Subs w/ non-existent bins: 0 time: 0.12 s 2261.48/567.41 c bin-w-bin subsume rem 0 bins time: 0.01 s 2261.48/567.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.30 s 2261.48/567.49 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 2301.82/577.53 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.10 2313.80/580.59 c Added 3 vars tried: 80000 time: 12.19 2319.40/581.93 c ORs : 3 avg-s: 0.0 cl-sh: 31142 l-rem: 31142 b-add: 9 v-rep: 0 cl-rem: 0 avg s: nan T: 17.58 2319.40/581.97 c lits-rem: 728 cl-subs: 8619 v-elim: 202 v-fix: 0 time: 57.85 s 2319.40/581.97 c learnt bin added due to v-elim: 0 2319.40/581.97 c vivif2 -- cl tried 21922 cl shrink 0 lits rem 0 time: 0.01 2319.81/582.01 c vivif2 -- cl tried 107288 cl shrink 7 lits rem 7 time: 0.13 2320.21/582.12 c asymm cl-useful: 0/292/21922 lits-rem:0 time: 0.47 2320.21/582.13 c calculated reachability. Time: 0.00 2320.21/582.13 c N dy 5524 2711783 274 21922 217 107288 98638 1963911 25.30 16.71 -- 2320.21/582.13 c F st 5524 2711783 274 21922 217 107288 98638 1963911 25.30 16.71 -- 2322.58/582.70 c Decided on static restart strategy 2337.38/586.46 c N dy 5658 2731879 274 21922 217 126626 98638 2420732 24.56 16.69 -- 2860.58/718.07 c N dy 5748 3211786 274 21922 217 83200 98638 1098702 24.87 16.84 -- 2860.98/718.12 c S st 5748 3211786 274 21922 217 83200 98638 1098702 24.87 16.84 -- 2861.38/718.22 c S st 5748 3212289 279 21922 227 83710 98658 1109516 24.87 16.84 -- 2861.38/718.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2861.38/718.23 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2864.97/719.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 3.78 2864.97/719.18 c Calc non-exist non-lernt bins v-fix: 0 done: 279 time: 0.01 s 2864.97/719.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2865.37/719.20 c Subs w/ non-existent bins: 0 time: 0.08 s 2865.37/719.23 c bin-w-bin subsume rem 0 bins time: 0.01 s 2865.37/719.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.11 s 2865.37/719.26 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 2875.35/721.78 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.10 2875.77/721.81 c lits-rem: 98 cl-subs: 2118 v-elim: 202 v-fix: 0 time: 10.16 s 2875.77/721.81 c learnt bin added due to v-elim: 0 2875.77/721.81 c vivif2 -- cl tried 21922 cl shrink 0 lits rem 0 time: 0.01 2875.77/721.83 c vivif2 -- cl tried 81592 cl shrink 0 lits rem 0 time: 0.08 2876.17/721.93 c asymm cl-useful: 0/270/21922 lits-rem:0 time: 0.40 2876.17/721.93 c calculated reachability. Time: 0.00 2876.17/721.93 c N dy 5748 3212289 279 21922 227 81592 98658 1067123 24.87 16.84 -- 3403.82/854.08 c N dy 5871 3712289 279 21922 227 93200 98658 1329537 35.76 17.08 -- 3404.22/854.14 c S st 5871 3712289 279 21922 227 93200 98658 1329537 35.76 17.08 -- 3404.62/854.26 c S st 5871 3712790 282 21922 235 93704 98670 1341012 35.76 17.08 -- 3404.62/854.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3404.62/854.26 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3409.01/855.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.1M T: 4.30 3409.01/855.35 c Calc non-exist non-lernt bins v-fix: 0 done: 282 time: 0.01 s 3409.01/855.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3409.01/855.37 c Subs w/ non-existent bins: 0 time: 0.10 s 3409.41/855.40 c bin-w-bin subsume rem 0 bins time: 0.01 s 3409.41/855.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s 3409.41/855.45 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 3425.01/859.33 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 1 avg s: 9.0 T: 0.15 3425.01/859.35 c lits-rem: 197 cl-subs: 3027 v-elim: 202 v-fix: 0 time: 15.59 s 3425.01/859.35 c learnt bin added due to v-elim: 0 3425.01/859.36 c vivif2 -- cl tried 21922 cl shrink 0 lits rem 0 time: 0.01 3425.01/859.38 c vivif2 -- cl tried 90676 cl shrink 0 lits rem 0 time: 0.10 3425.41/859.49 c asymm cl-useful: 0/217/21922 lits-rem:0 time: 0.43 3425.41/859.49 c calculated reachability. Time: 0.00 3425.41/859.49 c N dy 5871 3712790 282 21922 235 90676 98670 1262673 35.76 17.08 -- 3981.83/998.71 c N dy 5987 4212791 283 21922 237 154736 98674 2777457 24.45 16.90 -- 3982.23/998.84 c S st 5987 4212791 283 21922 237 154736 98674 2777457 24.45 16.90 -- 3983.05/999.00 c S st 5987 4213292 283 21922 237 155237 98674 2789147 24.45 16.90 -- 3983.05/999.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3983.05/999.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3988.23/1000.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 5.43 3988.23/1000.38 c Calc non-exist non-lernt bins v-fix: 0 done: 283 time: 0.02 s 3988.23/1000.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3988.63/1000.42 c Subs w/ non-existent bins: 0 time: 0.18 s 3988.63/1000.48 c bin-w-bin subsume rem 0 bins time: 0.01 s 3989.44/1000.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.46 s 3989.44/1000.60 c Removed useless bin: 0 fixed: 0 bprops: 0.00M time: 0.00 s 4045.35/1014.69 c ORs : 12 avg-s: 2.0 cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 2 avg s: 5.5 T: 0.31 4059.74/1018.22 c Added 3 vars tried: 80000 time: 14.10 4070.93/1021.01 c ORs : 3 avg-s: 0.0 cl-sh: 47169 l-rem: 47169 b-add: 12 v-rep: 0 cl-rem: 0 avg s: nan T: 25.27 4070.93/1021.07 c lits-rem: 56 cl-subs: 10644 v-elim: 202 v-fix: 0 time: 81.75 s 4070.93/1021.07 c learnt bin added due to v-elim: 0 4070.93/1021.07 c vivif2 -- cl tried 21919 cl shrink 0 lits rem 0 time: 0.01 4071.34/1021.12 c vivif2 -- cl tried 144591 cl shrink 0 lits rem 0 time: 0.19 4071.71/1021.24 c asymm cl-useful: 0/196/21919 lits-rem:0 time: 0.48 4071.71/1021.25 c calculated reachability. Time: 0.00 4071.71/1021.25 c N dy 5987 4213292 286 21919 249 144591 98689 2457227 24.45 16.90 -- 4652.53/1166.61 c N dy 6051 4713293 286 21919 249 181760 98689 3758442 25.81 16.99 -- 4652.93/1166.76 c S st 6051 4713293 286 21919 249 181760 98689 3758442 25.81 16.99 -- 4653.73/1166.99 c S st 6051 4713797 286 21919 249 182263 98689 3770141 25.81 16.99 -- 4654.13/1167.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 4654.13/1167.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4659.33/1168.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.2M T: 5.45 4659.33/1168.37 c Calc non-exist non-lernt bins v-fix: 0 done: 286 time: 0.02 s 4659.33/1168.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4659.74/1168.42 c Subs w/ non-existent bins: 0 time: 0.22 s 4659.74/1168.50 c bin-w-bin subsume rem 0 bins time: 0.01 s 4660.52/1168.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.70 s 4660.52/1168.68 c Removed useless bin: 0 fixed: 0 bprops: 0.00M 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-3262065-1304132800/watcher-3262065-1304132800 -o /tmp/evaluation-result-3262065-1304132800/solver-3262065-1304132800 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262065-1304132800.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.95 8.08 8.01 6/178 13420 /proc/meminfo: memFree=30610824/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=50144 CPUtime=0 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 728 0 0 0 0 0 0 0 25 0 1 0 524879602 51347456 660 33554432000 4194304 4797429 140736268886368 18446744073709551615 210646807237 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/13420/statm: 12536 661 347 148 0 7465 0 [startup+0.0291661 s] /proc/loadavg: 7.95 8.08 8.01 6/178 13420 /proc/meminfo: memFree=30610824/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=54720 CPUtime=0.02 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 2115 0 0 0 2 0 0 0 25 0 1 0 524879602 56033280 1979 33554432000 4194304 4797429 140736268886368 18446744073709551615 4621888 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/13420/statm: 13680 1979 349 148 0 8609 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 54720 [startup+0.175096 s] /proc/loadavg: 7.95 8.08 8.01 6/178 13420 /proc/meminfo: memFree=30610824/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=151116 CPUtime=0.57 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 2432 0 0 0 57 0 0 0 18 0 4 0 524879602 154742784 2280 33554432000 4194304 4797429 140736268886368 18446744073709551615 4428580 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 37779 2280 375 148 0 32708 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 151116 [startup+0.767328 s] /proc/loadavg: 7.95 8.08 8.01 6/178 13420 /proc/meminfo: memFree=30610824/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=682604 CPUtime=2.93 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 6419 0 0 0 292 1 0 0 18 0 4 0 524879602 698986496 5193 33554432000 4194304 4797429 140736268886368 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 170651 5194 411 148 0 165580 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 682604 [startup+0.832738 s] /proc/loadavg: 7.95 8.08 8.01 6/178 13420 /proc/meminfo: memFree=30610824/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=682868 CPUtime=3.19 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 6520 0 0 0 318 1 0 0 18 0 4 0 524879602 699256832 5292 33554432000 4194304 4797429 140736268886368 18446744073709551615 210646843070 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 170717 5292 411 148 0 165646 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 682868 [startup+1.50688 s] /proc/loadavg: 7.95 8.08 8.01 9/182 13424 /proc/meminfo: memFree=30583636/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=685384 CPUtime=5.89 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 8420 0 0 0 588 1 0 0 19 0 4 0 524879602 701833216 6795 33554432000 4194304 4797429 140736268886368 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 171346 6795 416 148 0 166275 0 [pid=13420/tid=13422] ppid=13418 vsize=685384 CPUtime=1.45 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 1459 0 0 0 145 0 0 0 19 0 4 0 524879606 701833216 6795 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=685384 CPUtime=1.46 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 1670 0 0 0 146 0 0 0 19 0 4 0 524879606 701833216 6795 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=685384 CPUtime=1.46 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 1223 0 0 0 146 0 0 0 19 0 4 0 524879606 701833216 6795 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 5.89 Current children cumulated vsize (KiB) 685384 [startup+3.2349 s] /proc/loadavg: 7.95 8.08 8.01 9/182 13424 /proc/meminfo: memFree=30581776/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=687228 CPUtime=12.67 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 9978 0 0 0 1265 2 0 0 25 0 4 0 524879602 703721472 7579 33554432000 4194304 4797429 140736268886368 18446744073709551615 4528213 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 171994 7491 416 148 0 166923 0 [pid=13420/tid=13422] ppid=13418 vsize=687976 CPUtime=3.48 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 1499 0 0 0 348 0 0 0 25 0 4 0 524879606 704487424 7521 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=687976 CPUtime=3.3 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 2017 0 0 0 330 0 0 0 25 0 4 0 524879606 704487424 7582 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524944 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=687976 CPUtime=4.16 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 1277 0 0 0 416 0 0 0 25 0 4 0 524879606 704487424 7582 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 687228 [startup+6.30107 s] /proc/loadavg: 8.11 8.11 8.02 9/182 13425 /proc/meminfo: memFree=30576196/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=690172 CPUtime=22.61 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 11814 0 0 0 2258 3 0 0 25 0 4 0 524879602 706736128 7606 33554432000 4194304 4797429 140736268886368 18446744073709551615 4395272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 172543 7606 418 148 0 167472 0 [pid=13420/tid=13422] ppid=13418 vsize=690172 CPUtime=5.92 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 1883 0 0 0 592 0 0 0 25 0 4 0 524879606 706736128 7606 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=690172 CPUtime=5 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 2065 0 0 0 499 1 0 0 25 0 4 0 524879606 706736128 7606 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524292 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=690172 CPUtime=6.25 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 1698 0 0 0 625 0 0 0 25 0 4 0 524879606 706736128 7606 33554432000 4194304 4797429 140736268886368 18446744073709551615 4573637 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 22.61 Current children cumulated vsize (KiB) 690172 [startup+12.701 s] /proc/loadavg: 8.10 8.11 8.02 9/182 13456 /proc/meminfo: memFree=30813492/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=693664 CPUtime=48.17 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 15218 0 0 0 4813 4 0 0 25 0 4 0 524879602 710311936 9025 33554432000 4194304 4797429 140736268886368 18446744073709551615 4495571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 173416 9025 419 148 0 168345 0 [pid=13420/tid=13422] ppid=13418 vsize=693664 CPUtime=12.32 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 2061 0 0 0 1232 0 0 0 25 0 4 0 524879606 710311936 9025 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=693664 CPUtime=11.36 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 2610 0 0 0 1135 1 0 0 25 0 4 0 524879606 710311936 9025 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524442 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=693664 CPUtime=12.65 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 2238 0 0 0 1265 0 0 0 25 0 4 0 524879606 710311936 9025 33554432000 4194304 4797429 140736268886368 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 48.17 Current children cumulated vsize (KiB) 693664 [startup+25.5068 s] /proc/loadavg: 8.16 8.12 8.02 9/182 13456 /proc/meminfo: memFree=30796360/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=697712 CPUtime=96.91 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 22237 0 0 0 9680 11 0 0 25 0 4 0 524879602 714457088 10602 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524578 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 174428 10602 420 148 0 169357 0 [pid=13420/tid=13422] ppid=13418 vsize=697712 CPUtime=25.13 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 2787 0 0 0 2512 1 0 0 25 0 4 0 524879606 714457088 10602 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524122 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=697712 CPUtime=21.69 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 3242 0 0 0 2164 5 0 0 25 0 4 0 524879606 714457088 10602 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=697712 CPUtime=25.45 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 2910 0 0 0 2545 0 0 0 25 0 4 0 524879606 714457088 10602 33554432000 4194304 4797429 140736268886368 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 96.91 Current children cumulated vsize (KiB) 697712 [startup+51.1005 s] /proc/loadavg: 8.17 8.12 8.03 9/182 13456 /proc/meminfo: memFree=30779364/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=703256 CPUtime=199.1 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 35896 0 0 0 19891 19 0 0 25 0 4 0 524879602 720134144 12189 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 175814 12189 420 148 0 170743 0 [pid=13420/tid=13422] ppid=13418 vsize=703256 CPUtime=50.73 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 4008 0 0 0 5072 1 0 0 25 0 4 0 524879606 720134144 12189 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524050 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=703256 CPUtime=47.13 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 4434 0 0 0 4703 10 0 0 25 0 4 0 524879606 720134144 12189 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=703256 CPUtime=51.05 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 4238 0 0 0 5104 1 0 0 25 0 4 0 524879606 720134144 12189 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 199.1 Current children cumulated vsize (KiB) 703256 [startup+102.301 s] /proc/loadavg: 8.15 8.12 8.03 9/182 13458 /proc/meminfo: memFree=30754032/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=711760 CPUtime=403.6 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 58930 0 0 0 40333 27 0 0 25 0 4 0 524879602 728842240 15170 33554432000 4194304 4797429 140736268886368 18446744073709551615 4425001 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 177940 15170 422 148 0 172869 0 [pid=13420/tid=13422] ppid=13418 vsize=711760 CPUtime=101.93 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 6103 0 0 0 10191 2 0 0 25 0 4 0 524879606 728842240 15170 33554432000 4194304 4797429 140736268886368 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=711760 CPUtime=98.08 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 7072 0 0 0 9796 12 0 0 25 0 4 0 524879606 728842240 15170 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=711760 CPUtime=102.25 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 6344 0 0 0 10223 2 0 0 25 0 4 0 524879606 728842240 15170 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 403.6 Current children cumulated vsize (KiB) 711760 [startup+162.301 s] /proc/loadavg: 8.05 8.10 8.02 9/182 13460 /proc/meminfo: memFree=30727968/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=721212 CPUtime=643.26 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 82918 0 0 0 64289 37 0 0 25 0 4 0 524879602 738521088 19708 33554432000 4194304 4797429 140736268886368 18446744073709551615 4387378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 180303 19708 423 148 0 175232 0 [pid=13420/tid=13422] ppid=13418 vsize=721212 CPUtime=161.93 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 8533 0 0 0 16190 3 0 0 25 0 4 0 524879606 738521088 19708 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=721212 CPUtime=157.77 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 8948 0 0 0 15763 14 0 0 25 0 4 0 524879606 738521088 19708 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=721212 CPUtime=162.25 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 8101 0 0 0 16223 2 0 0 25 0 4 0 524879606 738521088 19708 33554432000 4194304 4797429 140736268886368 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 643.26 Current children cumulated vsize (KiB) 721212 [startup+222.301 s] /proc/loadavg: 8.06 8.09 8.02 9/182 13461 /proc/meminfo: memFree=30705128/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=731412 CPUtime=882.96 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 103782 0 0 0 88251 45 0 0 25 0 4 0 524879602 748965888 22450 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424835 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 182853 22450 422 148 0 177782 0 [pid=13420/tid=13422] ppid=13418 vsize=731412 CPUtime=221.93 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 10980 0 0 0 22190 3 0 0 25 0 4 0 524879606 748965888 22451 33554432000 4194304 4797429 140736268886368 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=731412 CPUtime=217.47 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 11016 0 0 0 21732 15 0 0 25 0 4 0 524879606 748965888 22451 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=731412 CPUtime=222.25 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 9992 0 0 0 22223 2 0 0 25 0 4 0 524879606 748965888 22451 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 882.96 Current children cumulated vsize (KiB) 731412 [startup+282.301 s] ################ # More data... # ################ [pid=13420] ppid=13418 vsize=763748 CPUtime=2797.87 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 231239 0 0 0 279678 109 0 0 25 0 4 0 524879602 782077952 36398 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 190937 36398 422 148 0 185866 0 [pid=13420/tid=13422] ppid=13418 vsize=763748 CPUtime=701.94 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 24355 0 0 0 70185 9 0 0 25 0 4 0 524879606 782077952 36398 33554432000 4194304 4797429 140736268886368 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=763748 CPUtime=693.69 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 24153 0 0 0 69331 38 0 0 25 0 4 0 524879606 782077952 36398 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=763748 CPUtime=702.26 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 22817 0 0 0 70219 7 0 0 25 0 4 0 524879606 782077952 36398 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2797.87 Current children cumulated vsize (KiB) 763748 [startup+762.301 s] /proc/loadavg: 8.15 8.15 8.06 9/182 13506 /proc/meminfo: memFree=30655160/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=766100 CPUtime=3037.52 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 246021 0 0 0 303636 116 0 0 25 0 4 0 524879602 784486400 37034 33554432000 4194304 4797429 140736268886368 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 191525 37034 422 148 0 186454 0 [pid=13420/tid=13422] ppid=13418 vsize=766100 CPUtime=761.94 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 25747 0 0 0 76184 10 0 0 25 0 4 0 524879606 784486400 37034 33554432000 4194304 4797429 140736268886368 18446744073709551615 4428772 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=766100 CPUtime=753.43 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 25498 0 0 0 75304 39 0 0 25 0 4 0 524879606 784486400 37034 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524193 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=766100 CPUtime=762.25 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 24364 0 0 0 76218 7 0 0 25 0 4 0 524879606 784486400 37034 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3037.52 Current children cumulated vsize (KiB) 766100 [startup+822.301 s] /proc/loadavg: 8.11 8.13 8.06 9/182 13507 /proc/meminfo: memFree=30627736/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=768548 CPUtime=3277.19 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 260091 0 0 0 327597 122 0 0 25 0 4 0 524879602 786993152 40569 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 192137 40569 422 148 0 187066 0 [pid=13420/tid=13422] ppid=13418 vsize=768548 CPUtime=821.94 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 27040 0 0 0 82183 11 0 0 25 0 4 0 524879606 786993152 40569 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=768548 CPUtime=813.15 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 27129 0 0 0 81276 39 0 0 25 0 4 0 524879606 786993152 40569 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=768548 CPUtime=822.26 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 25912 0 0 0 82218 8 0 0 25 0 4 0 524879606 786993152 40569 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3277.19 Current children cumulated vsize (KiB) 768548 [startup+882.301 s] /proc/loadavg: 8.13 8.14 8.06 9/182 13509 /proc/meminfo: memFree=30629196/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=773108 CPUtime=3516.87 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 274947 0 0 0 351557 130 0 0 25 0 4 0 524879602 791662592 38950 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 193277 38950 422 148 0 188206 0 [pid=13420/tid=13422] ppid=13418 vsize=773108 CPUtime=881.94 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 28314 0 0 0 88182 12 0 0 25 0 4 0 524879606 791662592 38950 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=773108 CPUtime=872.88 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 28401 0 0 0 87249 39 0 0 25 0 4 0 524879606 791662592 38950 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=773108 CPUtime=882.26 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 27176 0 0 0 88217 9 0 0 25 0 4 0 524879606 791662592 38950 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568023 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3516.87 Current children cumulated vsize (KiB) 773108 [startup+942.301 s] /proc/loadavg: 8.09 8.12 8.06 9/182 13510 /proc/meminfo: memFree=30612316/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=774192 CPUtime=3756.54 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 287830 0 0 0 375518 136 0 0 25 0 4 0 524879602 792772608 40239 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 193548 40239 422 148 0 188477 0 [pid=13420/tid=13422] ppid=13418 vsize=774192 CPUtime=941.94 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 29541 0 0 0 94182 12 0 0 25 0 4 0 524879606 792772608 40239 33554432000 4194304 4797429 140736268886368 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=774192 CPUtime=932.6 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 29671 0 0 0 93220 40 0 0 25 0 4 0 524879606 792772608 40239 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=774192 CPUtime=942.26 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 28796 0 0 0 94216 10 0 0 25 0 4 0 524879606 792772608 40239 33554432000 4194304 4797429 140736268886368 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3756.54 Current children cumulated vsize (KiB) 774192 [startup+1002.3 s] /proc/loadavg: 8.11 8.13 8.07 9/182 13512 /proc/meminfo: memFree=30591340/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=777864 CPUtime=3996.24 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 300649 0 0 0 399481 143 0 0 25 0 4 0 524879602 796532736 43037 33554432000 4194304 4797429 140736268886368 18446744073709551615 4506535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 194466 43037 422 148 0 189395 0 [pid=13420/tid=13422] ppid=13418 vsize=777864 CPUtime=1001.94 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 30318 0 0 0 100182 12 0 0 25 0 4 0 524879606 796532736 43037 33554432000 4194304 4797429 140736268886368 18446744073709551615 4428895 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=777864 CPUtime=992.33 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 30646 0 0 0 99192 41 0 0 25 0 4 0 524879606 796532736 43037 33554432000 4194304 4797429 140736268886368 18446744073709551615 4425625 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=777864 CPUtime=1002.26 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 30174 0 0 0 100216 10 0 0 25 0 4 0 524879606 796532736 43037 33554432000 4194304 4797429 140736268886368 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3996.24 Current children cumulated vsize (KiB) 777864 [startup+1062.3 s] /proc/loadavg: 8.15 8.13 8.07 9/182 13514 /proc/meminfo: memFree=30584616/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=782732 CPUtime=4235.9 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 313567 0 0 0 423441 149 0 0 25 0 4 0 524879602 801517568 43172 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 195683 43172 422 148 0 190612 0 [pid=13420/tid=13422] ppid=13418 vsize=782732 CPUtime=1061.94 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 31689 0 0 0 106182 12 0 0 25 0 4 0 524879606 801517568 43172 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=782732 CPUtime=1052.05 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 32074 0 0 0 105163 42 0 0 25 0 4 0 524879606 801517568 43172 33554432000 4194304 4797429 140736268886368 18446744073709551615 4526123 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=782732 CPUtime=1062.26 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 31665 0 0 0 106215 11 0 0 25 0 4 0 524879606 801517568 43172 33554432000 4194304 4797429 140736268886368 18446744073709551615 4429013 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4235.9 Current children cumulated vsize (KiB) 782732 [startup+1122.31 s] /proc/loadavg: 8.17 8.14 8.08 9/182 13515 /proc/meminfo: memFree=30572308/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=785448 CPUtime=4475.59 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 325869 0 0 0 447405 154 0 0 25 0 4 0 524879602 804298752 44695 33554432000 4194304 4797429 140736268886368 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 196362 44695 422 148 0 191291 0 [pid=13420/tid=13422] ppid=13418 vsize=785448 CPUtime=1121.95 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 32958 0 0 0 112182 13 0 0 25 0 4 0 524879606 804298752 44695 33554432000 4194304 4797429 140736268886368 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=785448 CPUtime=1111.78 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 33365 0 0 0 111136 42 0 0 25 0 4 0 524879606 804298752 44695 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=785448 CPUtime=1122.26 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 32351 0 0 0 112215 11 0 0 25 0 4 0 524879606 804298752 44695 33554432000 4194304 4797429 140736268886368 18446744073709551615 4428862 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4475.59 Current children cumulated vsize (KiB) 785448 [startup+1182.3 s] /proc/loadavg: 8.16 8.14 8.08 9/182 13517 /proc/meminfo: memFree=30558032/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=787340 CPUtime=4715.25 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 336893 0 0 0 471366 159 0 0 25 0 4 0 524879602 806236160 46844 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 196835 46844 422 148 0 191764 0 [pid=13420/tid=13422] ppid=13418 vsize=787340 CPUtime=1181.94 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 34430 0 0 0 118181 13 0 0 25 0 4 0 524879606 806236160 46844 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=787340 CPUtime=1171.49 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 34819 0 0 0 117107 42 0 0 25 0 4 0 524879606 806236160 46844 33554432000 4194304 4797429 140736268886368 18446744073709551615 4428962 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=787340 CPUtime=1182.26 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 33676 0 0 0 118214 12 0 0 25 0 4 0 524879606 806236160 46844 33554432000 4194304 4797429 140736268886368 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4715.25 Current children cumulated vsize (KiB) 787340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 8.11 8.13 8.08 9/182 13518 /proc/meminfo: memFree=30555416/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=788036 CPUtime=4800.35 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 337722 0 0 0 479876 159 0 0 25 0 4 0 524879602 806948864 47620 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 197009 47620 422 148 0 191938 0 [pid=13420/tid=13422] ppid=13418 vsize=788036 CPUtime=1203.25 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 34704 0 0 0 120312 13 0 0 25 0 4 0 524879606 806948864 47620 33554432000 4194304 4797429 140736268886368 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=788036 CPUtime=1192.69 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 35051 0 0 0 119226 43 0 0 25 0 4 0 524879606 806948864 47620 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=788036 CPUtime=1203.57 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 33999 0 0 0 120345 12 0 0 25 0 4 0 524879606 806948864 47620 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.35 Current children cumulated vsize (KiB) 788036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.6 s] /proc/loadavg: 8.11 8.13 8.08 9/182 13518 /proc/meminfo: memFree=30555416/32951132 swapFree=67080200/67111528 [pid=13420] ppid=13418 vsize=788036 CPUtime=4800.35 cores=0,2,4,6 /proc/13420/stat : 13420 (techdemo) R 13418 13420 13214 0 -1 4202496 337722 0 0 0 479876 159 0 0 25 0 4 0 524879602 806948864 47620 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/13420/statm: 197009 47620 422 148 0 191938 0 [pid=13420/tid=13422] ppid=13418 vsize=788036 CPUtime=1203.25 cores=0,2,4,6 /proc/13420/task/13422/stat : 13422 (techdemo) R 13418 13420 13214 0 -1 4202560 34704 0 0 0 120312 13 0 0 25 0 4 0 524879606 806948864 47620 33554432000 4194304 4797429 140736268886368 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=13420/tid=13423] ppid=13418 vsize=788036 CPUtime=1192.69 cores=0,2,4,6 /proc/13420/task/13423/stat : 13423 (techdemo) R 13418 13420 13214 0 -1 4202560 35051 0 0 0 119226 43 0 0 25 0 4 0 524879606 806948864 47620 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=13420/tid=13424] ppid=13418 vsize=788036 CPUtime=1203.57 cores=0,2,4,6 /proc/13420/task/13424/stat : 13424 (techdemo) R 13418 13420 13214 0 -1 4202560 33999 0 0 0 120345 12 0 0 25 0 4 0 524879606 806948864 47620 33554432000 4194304 4797429 140736268886368 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.35 Current children cumulated vsize (KiB) 788036 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.63 CPU time (s): 4800.4 CPU user time (s): 4798.79 CPU system time (s): 1.60876 CPU usage (%): 398.827 Max. virtual memory (cumulated for all children) (KiB): 897984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.79 system time used= 1.60875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 337722 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= 1200 involuntary context switches= 20789 runsolver used 2.29765 second user time and 5.32919 second system time The end
Begin job on node129 at 2011-04-30 05:06:40 IDJOB=3262065 IDBENCH=83272 IDSOLVER=1584 FILE ID=node129/3262065-1304132800 RUNJOBID= node129-1304131594-13232 PBS_JOBID= 13170799 Free space on /tmp= 67244 MiB SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_404.cnf COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262065-1304132800/watcher-3262065-1304132800 -o /tmp/evaluation-result-3262065-1304132800/solver-3262065-1304132800 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3262065-1304132800.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 213e4c0c58f043e67e86cf993698317a RANDOM SEED=1235407982 node129.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.831 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.66 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.82 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.831 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.831 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: 32951132 kB MemFree: 30611228 kB Buffers: 258632 kB Cached: 1444048 kB SwapCached: 4932 kB Active: 383332 kB Inactive: 1618200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30611228 kB SwapTotal: 67111528 kB SwapFree: 67080200 kB Dirty: 8184 kB Writeback: 0 kB AnonPages: 296544 kB Mapped: 13360 kB Slab: 275872 kB PageTables: 5312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 907400 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 67236 MiB End job on node129 at 2011-04-30 05:26:45