| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.38 | 1203.49 |
| Name | application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf |
| MD5SUM | a8ad0173824ed9404a8c153da07c5f9c |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 938.798 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 183325 |
| Number of clauses | 546914 |
| Sum of the clauses size | 1276130 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 364608 |
| Number of clauses of size 3 | 182304 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3369670-1305394326.cnf' 0.00/0.01 c -- header says num vars: 183325 0.00/0.01 c -- header says num clauses: 546914 0.84/0.55 c -- clauses added: 0 learnts, 546914 normals, 0 xors 0.84/0.55 c -- vars added 183325 0.84/0.55 c Parsing time: 0.77 s 0.84/0.55 c N st 0 0 183325 182304 364608 0 1276128 0 no data no data -- 0.84/0.55 c asymm cl-useful: 0/31915/182303 lits-rem:0 time: 1.16 31.86/8.08 c Flit: 943 Blit: 2200 bXBeca: 0 bXProp: 20574 Bins: 0 BRemL: 0 BRemN: 0 P: 157.7M T: 29.94 32.26/8.10 c Cleaning up after failed var search: 0.07 s 32.26/8.16 c Replacing 20574 vars Replaced 458970 lits Time: 0.24 s 32.67/8.25 c bin-w-bin subsume rem 13358 bins time: 0.11 s 33.09/8.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.24 s 34.64/8.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 124210 time: 1.78 s 35.04/8.89 c Removed useless bin: 1098 fixed: 0 props: 20.00M time: 0.51 s 37.83/9.57 c lits-rem: 0 cl-subs: 17150 v-elim: 52950 v-fix: 0 time: 2.62 s 38.22/9.60 c Finding binary XORs T: 0.13 s found: 0 38.62/9.71 c Finding non-binary XORs: 0.31 s (found: 256, avg size: 3.0) 38.62/9.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11 38.62/9.74 c Calc default polars - time: 0.07 s pos: 3867 undec: 78269 neg: 101189 38.62/9.74 c ========================================================================================= 38.62/9.74 c types(t): F = full restart, N = normal restart 38.62/9.74 c types(t): S = simplification begin/end, E = solution found 38.62/9.74 c restart types(rt): st = static, dy = dynamic 38.62/9.74 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 38.62/9.74 c B st 0 0 105901 164925 200887 0 998304 0 no data no data -- 45.01/11.34 c N dy 16 4210 105901 164925 201304 3757 998295 31945 4.16 4.39 -- 52.59/13.23 c N dy 38 8482 105721 164925 204241 7646 998278 70392 4.25 4.74 -- 58.58/14.78 c N dy 57 12558 105721 164925 204524 11394 998268 100163 4.20 4.78 -- 65.75/16.50 c N dy 83 16603 105671 164925 205320 15175 998261 136885 4.31 4.56 -- 71.34/17.95 c Finding binary XORs T: 0.13 s found: 357 73.73/18.50 c N dy 111 20728 105620 164510 205732 10546 995952 66181 4.37 4.60 -- 79.72/20.02 c N dy 129 24839 105618 164510 205879 14467 995939 99801 4.38 4.62 -- 79.72/20.07 c F st 130 25003 105618 164510 205885 14623 995938 100927 4.37 3.61 -- 80.12/20.12 c Replacing 357 vars Replaced 31253 lits Time: 0.16 s 92.07/23.17 c Found part 32303 vars: 6 clauses: 14 lits size: 33 92.07/23.17 c Found part 33224 vars: 105255 clauses: 364544 lits size: 994606 92.07/23.17 c Found parts: 2 time: 12.04 s 92.07/23.17 c Solving part 32303 92.48/23.26 c N st 0 0 6 5 9 0 33 0 no data no data -- 92.48/23.26 c asymm cl-useful: 0/5/5 lits-rem:0 time: 0.00 92.48/23.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 92.48/23.28 c Finding binary XORs T: 0.05 s found: 0 92.48/23.28 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 92.48/23.28 c Calc default polars - time: 0.01 s pos: 2 undec: 183319 neg: 4 92.48/23.28 c ========================================================================================= 92.48/23.28 c types(t): F = full restart, N = normal restart 92.48/23.28 c types(t): S = simplification begin/end, E = solution found 92.48/23.28 c restart types(rt): st = static, dy = dynamic 92.48/23.28 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 92.48/23.28 c B st 0 0 6 5 9 0 33 0 no data no data -- 92.48/23.28 c E st 1 0 0 5 9 0 33 0 no data no data -- 92.48/23.29 c Verified 5 clauses. 92.48/23.29 c Verified 5 clauses. 92.48/23.29 c Solved part 92.48/23.29 c ========================================================================================= 92.48/23.29 c Coming back to original instance 92.48/23.29 c ========================================================================================= 102.06/25.63 c N dy 136 30000 105002 164343 205941 19448 994599 175050 4.37 no data -- 102.06/25.63 c S st 136 30000 105002 164343 205941 19448 994599 175050 4.37 no data -- 103.29/25.98 c S st 136 30504 104954 164343 205982 19904 994599 180261 4.37 no data -- 103.64/26.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12 144.34/36.26 c Flit: 87 Blit: 253 bXBeca: 0 bXProp: 1403 Bins: 36983 BRemL: 3640 BRemN: 49 P: 130.1M T: 40.77 144.34/36.26 c Cleaning up after failed var search: 0.00 s 144.74/36.33 c Replacing 1403 vars Replaced 64432 lits Time: 0.25 s 145.14/36.42 c bin-w-bin subsume rem 2612 bins time: 0.10 s 145.54/36.51 c subs with bin: 3347 lits-rem: 34266 v-fix: 0 time: 0.36 s 147.52/37.05 c Subs w/ non-existent bins: 5072 l-rem: 7381 v-fix: 0 done: 81707 time: 2.14 s 148.32/37.24 c Removed useless bin: 1056 fixed: 0 props: 20.00M time: 0.73 s 153.51/38.51 c lits-rem: 32101 cl-subs: 44152 v-elim: 68710 v-fix: 0 time: 5.03 s 155.11/38.91 c asymm cl-useful: 4296/16133/150067 lits-rem:5637 time: 1.58 155.11/38.92 c N dy 136 30504 34356 149799 55866 6263 682115 42082 4.37 no data -- 155.11/38.94 c Finding binary XORs T: 0.08 s found: 30 159.09/39.90 c N dy 168 34519 34270 149799 56446 10103 682099 76842 4.46 4.82 -- 163.07/40.98 c N dy 197 38566 34267 149799 59640 14030 682083 119054 4.52 5.07 -- 167.47/42.09 c N dy 234 42633 34246 149799 59713 17962 682070 159482 4.65 6.08 -- 171.06/42.96 c Finding binary XORs T: 0.09 s found: 22 171.86/43.14 c S st 260 45756 34245 149209 59500 20902 679357 192074 4.72 no data -- 172.66/43.38 c S st 260 46257 34245 149209 59556 21344 679357 196000 4.72 no data -- 172.66/43.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09 187.80/47.10 c Flit: 15 Blit: 27 bXBeca: 0 bXProp: 517 Bins: 35360 BRemL: 6537 BRemN: 860 P: 34.7M T: 14.69 187.80/47.16 c Replacing 569 vars Replaced 19154 lits Time: 0.21 s 188.21/47.24 c bin-w-bin subsume rem 1887 bins time: 0.06 s 188.60/47.32 c subs with bin: 5125 lits-rem: 29601 v-fix: 0 time: 0.29 s 189.00/47.46 c Subs w/ non-existent bins: 3936 l-rem: 12098 v-fix: 0 done: 24616 time: 0.56 s 189.40/47.50 c Removed useless bin: 1584 fixed: 0 props: 2.82M time: 0.18 s 193.79/48.60 c lits-rem: 12957 cl-subs: 17135 v-elim: 11085 v-fix: 0 time: 4.39 s 193.79/48.69 c vivif2 -- cl tried 133120 cl shrink 14791 lits rem 17698 time: 0.36 194.19/48.72 c vivif2 -- cl tried 14241 cl shrink 2319 lits rem 3251 time: 0.09 195.78/49.16 c asymm cl-useful: 246/15950/131399 lits-rem:255 time: 1.74 195.78/49.18 c calculated reachability. Time: 0.06 195.78/49.18 c N dy 260 46257 22532 131396 49032 14163 536695 122483 4.72 no data -- 196.18/49.23 c Finding binary XORs T: 0.18 s found: 22 200.16/50.22 c N dy 280 50390 22496 131396 52528 18112 536688 168293 4.72 5.09 -- 204.55/51.36 c N dy 305 54611 22489 131396 52664 22157 536681 210380 4.73 5.00 -- 208.93/52.45 c Finding binary XORs T: 0.12 s found: 43 209.33/52.57 c N dy 336 58819 22483 130906 55045 25940 534961 262931 4.77 5.02 -- 214.13/53.72 c N dy 373 62906 22479 130906 55235 16888 534956 143049 4.86 5.36 -- 218.52/54.81 c N dy 402 66983 22439 130906 55315 20857 534949 193315 4.90 5.18 -- 220.91/55.51 c S st 421 69385 22398 130906 55418 23192 534945 226283 4.93 no data -- 222.10/55.70 c S st 421 69887 22398 130906 55459 23648 534945 231125 4.93 no data -- 222.10/55.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 222.10/55.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02 232.88/58.49 c Flit: 33 Blit: 38 bXBeca: 0 bXProp: 53 Bins: 25735 BRemL: 12167 BRemN: 1797 P: 26.2M T: 11.01 233.28/58.53 c Replacing 118 vars Replaced 7157 lits Time: 0.17 s 233.68/58.60 c bin-w-bin subsume rem 2636 bins time: 0.06 s 233.68/58.66 c subs with bin: 4383 lits-rem: 3973 v-fix: 0 time: 0.22 s 234.08/58.75 c Subs w/ non-existent bins: 1028 l-rem: 3455 v-fix: 0 done: 18486 time: 0.39 s 234.08/58.78 c Removed useless bin: 466 fixed: 0 props: 1.32M time: 0.09 s 238.07/59.73 c lits-rem: 2940 cl-subs: 7480 v-elim: 2708 v-fix: 0 time: 3.78 s 238.07/59.79 c vivif2 -- cl tried 125724 cl shrink 3271 lits rem 3714 time: 0.25 238.47/59.82 c vivif2 -- cl tried 19134 cl shrink 1671 lits rem 3085 time: 0.10 240.06/60.22 c asymm cl-useful: 307/10636/125286 lits-rem:921 time: 1.60 240.06/60.24 c calculated reachability. Time: 0.04 240.06/60.24 c N dy 421 69887 19477 124979 50367 19096 505701 172890 4.93 no data -- 240.06/60.28 c Finding binary XORs T: 0.14 s found: 10 245.24/61.51 c N dy 457 74356 19471 124979 52427 23497 505697 242438 5.00 5.68 -- 250.43/62.83 c N dy 501 79113 19452 124979 52468 28187 505697 316291 5.08 7.26 -- 254.42/63.86 c Finding binary XORs T: 0.12 s found: 27 256.42/64.36 c N dy 547 84249 19437 124550 53477 32920 504195 398724 5.18 5.46 -- 260.40/65.37 c F st 577 87501 19431 124550 53555 36128 504192 456484 5.25 no data -- 260.40/65.41 c Replacing 37 vars Replaced 2983 lits Time: 0.09 s 264.40/66.36 c N st 582 90796 19397 124446 53283 23979 503773 240178 5.25 no data -- 270.77/67.94 c N dy 616 96592 19396 124446 53376 29707 503772 366662 5.31 5.77 -- 278.80/69.93 c N dy 663 102785 19372 124446 53474 35786 503766 468937 5.37 7.04 -- 281.55/70.60 c S st 682 104830 19372 124446 53480 37817 503766 509326 5.41 no data -- 282.35/70.81 c S st 682 105331 19372 124446 55729 38274 503765 518166 5.41 no data -- 282.35/70.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 282.35/70.83 c Cache BProp: 22 Set: 8 BXProp: 0 T: 0.02 292.71/73.45 c Flit: 33 Blit: 57 bXBeca: 0 bXProp: 78 Bins: 17281 BRemL: 9210 BRemN: 661 P: 24.6M T: 10.41 292.71/73.50 c Replacing 78 vars Replaced 5036 lits Time: 0.11 s 293.11/73.58 c bin-w-bin subsume rem 1004 bins time: 0.06 s 293.51/73.68 c subs with bin: 2996 lits-rem: 4136 v-fix: 0 time: 0.42 s 293.92/73.73 c Subs w/ non-existent bins: 371 l-rem: 3602 v-fix: 0 done: 4296 time: 0.19 s 293.92/73.75 c Removed useless bin: 297 fixed: 0 props: 1.08M time: 0.08 s 301.09/75.57 c lits-rem: 2380 cl-subs: 3360 v-elim: 523 v-fix: 0 time: 7.25 s 301.49/75.63 c vivif2 -- cl tried 118910 cl shrink 732 lits rem 811 time: 0.22 301.49/75.69 c vivif2 -- cl tried 34650 cl shrink 5947 lits rem 16844 time: 0.26 303.09/76.07 c asymm cl-useful: 257/10931/118827 lits-rem:771 time: 1.50 303.09/76.09 c calculated reachability. Time: 0.04 303.09/76.09 c N dy 682 105331 18585 118570 57205 34613 480825 432301 5.41 no data -- 303.49/76.12 c Finding binary XORs T: 0.14 s found: 15 311.47/78.12 c N dy 741 112116 18579 118570 57380 41321 480822 564026 5.55 10.23 -- 320.24/80.33 c N dy 804 119350 18571 118570 58369 31887 480819 309530 5.63 6.60 -- 326.23/81.82 c Finding binary XORs T: 0.13 s found: 36 329.02/82.60 c N dy 872 126968 18554 118244 54779 39277 479783 449399 5.72 8.31 -- 339.80/85.26 c N dy 942 135086 18498 118244 54875 47298 479781 613553 5.82 6.14 -- 351.35/88.16 c N dy 1018 143791 18489 118244 55009 38648 479776 368238 5.92 8.06 -- 363.32/91.16 c N dy 1091 153057 18482 118244 55062 47842 479773 559403 6.00 6.46 -- 370.10/92.85 c S st 1131 158000 18457 118244 55114 52730 479772 667981 6.04 no data -- 370.94/93.08 c S st 1131 158501 18457 118244 55133 53203 479771 673551 6.04 no data -- 371.28/93.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 371.28/93.11 c Cache BProp: 3 Set: 3 BXProp: 0 T: 0.02 381.66/95.71 c Flit: 16 Blit: 19 bXBeca: 0 bXProp: 40 Bins: 29482 BRemL: 14281 BRemN: 324 P: 28.3M T: 10.36 381.66/95.76 c Replacing 95 vars Replaced 5698 lits Time: 0.20 s 382.06/95.85 c bin-w-bin subsume rem 469 bins time: 0.06 s 382.86/96.03 c subs with bin: 1924 lits-rem: 4946 v-fix: 0 time: 0.70 s 382.86/96.09 c Subs w/ non-existent bins: 405 l-rem: 3324 v-fix: 0 done: 8680 time: 0.25 s 383.27/96.11 c Removed useless bin: 213 fixed: 0 props: 1.15M time: 0.08 s 389.64/97.76 c lits-rem: 1928 cl-subs: 3241 v-elim: 426 v-fix: 0 time: 6.59 s 390.04/97.83 c vivif2 -- cl tried 114980 cl shrink 592 lits rem 671 time: 0.25 390.44/97.92 c vivif2 -- cl tried 49399 cl shrink 7397 lits rem 23055 time: 0.39 392.04/98.35 c asymm cl-useful: 160/6764/114924 lits-rem:480 time: 1.69 392.04/98.37 c calculated reachability. Time: 0.04 392.04/98.37 c N dy 1131 158501 17877 114764 65573 49375 465888 567505 6.04 no data -- 392.04/98.40 c Finding binary XORs T: 0.14 s found: 11 403.60/101.21 c Finding binary XORs T: 0.14 s found: 8 406.79/102.05 c N dy 1217 168646 17814 114221 69350 40369 463875 369535 6.12 8.17 -- 420.36/105.44 c N dy 1303 179510 17785 114221 69461 51128 463873 596730 6.20 7.13 -- 436.33/109.44 c N dy 1401 191054 17777 114221 69544 62564 463873 831327 6.28 6.63 -- 445.88/111.86 c Finding binary XORs T: 0.15 s found: 31 453.47/113.79 c N dy 1501 203289 17731 113398 75211 54591 460856 591383 6.34 6.69 -- 473.01/118.60 c N dy 1621 216326 17700 113398 75705 67524 460855 895897 6.46 13.33 -- 487.78/122.33 c Finding binary XORs T: 0.15 s found: 49 491.76/123.36 c N dy 1728 230270 17636 112392 81850 60038 457072 651998 6.52 7.03 -- 502.14/125.94 c S st 1790 237751 17628 112392 81900 67477 457072 817443 6.56 no data -- 502.92/126.18 c S st 1790 238252 17627 112392 81915 67959 457072 822584 6.56 no data -- 503.32/126.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09 503.32/126.20 c Cache BProp: 4 Set: 4 BXProp: 0 T: 0.02 515.32/129.28 c Flit: 19 Blit: 26 bXBeca: 0 bXProp: 33 Bins: 13394 BRemL: 24410 BRemN: 210 P: 34.3M T: 12.27 515.74/129.33 c Replacing 134 vars Replaced 7669 lits Time: 0.20 s 516.09/129.43 c bin-w-bin subsume rem 490 bins time: 0.06 s 516.89/129.60 c subs with bin: 2200 lits-rem: 4607 v-fix: 0 time: 0.67 s 516.89/129.65 c Subs w/ non-existent bins: 251 l-rem: 4231 v-fix: 0 done: 3874 time: 0.20 s 516.89/129.67 c Removed useless bin: 227 fixed: 0 props: 1.14M time: 0.08 s 524.09/131.45 c lits-rem: 2297 cl-subs: 3152 v-elim: 436 v-fix: 0 time: 7.11 s 524.52/131.52 c vivif2 -- cl tried 109820 cl shrink 546 lits rem 622 time: 0.26 524.86/131.65 c vivif2 -- cl tried 64618 cl shrink 9320 lits rem 35435 time: 0.53 526.46/132.06 c asymm cl-useful: 75/4496/109784 lits-rem:225 time: 1.66 526.46/132.08 c calculated reachability. Time: 0.04 526.46/132.09 c N dy 1790 238252 16990 109709 65368 64558 445553 694094 6.56 no data -- 526.86/132.13 c Finding binary XORs T: 0.16 s found: 6 548.40/137.51 c N dy 1908 253521 16949 109709 66568 55940 445553 477344 6.63 8.27 -- 559.61/140.31 c Finding binary XORs T: 0.16 s found: 6 569.54/142.82 c N dy 2023 269727 16940 109206 65444 71801 443628 823010 6.68 7.15 -- 594.72/149.12 c N dy 2161 287023 16882 109206 65570 65226 443628 617395 6.77 7.23 -- 623.00/156.20 c N dy 2296 305366 16862 109206 65812 83476 443626 1065847 6.83 8.51 -- 624.20/156.56 c F st 2305 306250 16860 109206 65832 84359 443625 1085582 6.84 no data -- 624.60/156.61 c Replacing 15 vars Replaced 438 lits Time: 0.10 s 627.38/157.35 c Finding binary XORs T: 0.16 s found: 10 650.52/163.10 c N dy 2425 324902 16842 108253 63663 77752 440152 880190 6.90 8.67 -- 680.84/170.73 c N dy 2589 344927 16827 108253 63849 71642 440150 612444 6.98 8.63 -- 700.03/175.57 c S st 2696 357379 16827 108253 63896 84020 440149 925283 7.03 no data -- 701.18/175.85 c S st 2696 357881 16826 108253 63919 84491 440149 930997 7.03 no data -- 701.18/175.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09 701.18/175.87 c Cache BProp: 35 Set: 8 BXProp: 0 T: 0.02 713.95/179.06 c Flit: 32 Blit: 31 bXBeca: 0 bXProp: 25 Bins: 10514 BRemL: 12466 BRemN: 199 P: 36.0M T: 12.72 714.35/179.11 c Replacing 35 vars Replaced 1874 lits Time: 0.18 s 714.75/179.22 c bin-w-bin subsume rem 262 bins time: 0.05 s 715.15/179.38 c subs with bin: 1418 lits-rem: 3264 v-fix: 0 time: 0.64 s 715.55/179.42 c Subs w/ non-existent bins: 243 l-rem: 3322 v-fix: 0 done: 3521 time: 0.18 s 715.55/179.44 c Removed useless bin: 131 fixed: 0 props: 1.10M time: 0.07 s 723.12/181.40 c lits-rem: 2258 cl-subs: 3056 v-elim: 285 v-fix: 0 time: 7.80 s 723.52/181.46 c vivif2 -- cl tried 105560 cl shrink 370 lits rem 429 time: 0.26 724.32/181.62 c vivif2 -- cl tried 80871 cl shrink 9539 lits rem 42490 time: 0.63 725.93/182.04 c asymm cl-useful: 64/5243/105546 lits-rem:192 time: 1.66 725.93/182.06 c calculated reachability. Time: 0.05 725.93/182.06 c N dy 2696 357881 16379 105482 57024 80835 427916 817381 7.03 no data -- 725.93/182.11 c Finding binary XORs T: 0.19 s found: 1 740.26/185.63 c Finding binary XORs T: 0.16 s found: 0 755.43/189.49 c N dy 2847 377981 16362 105343 59556 72370 427456 564249 7.09 7.49 -- 766.99/192.31 c Finding binary XORs T: 0.16 s found: 16 785.74/197.07 c Finding binary XORs T: 0.16 s found: 7 786.14/197.15 c N dy 2994 398059 16336 104967 67067 92017 426170 1115634 7.15 7.63 -- 817.26/204.95 c Finding binary XORs T: 0.16 s found: 9 818.07/205.17 c N dy 3152 418227 16323 104835 67995 83903 425706 814340 7.22 7.66 -- 848.38/212.70 c N dy 3295 438285 16318 104835 68084 103852 425706 1352014 7.26 8.82 -- 879.93/220.69 c N dy 3439 458500 16308 104835 68165 95211 425705 1012054 7.30 7.73 -- 912.59/228.81 c N dy 3588 478553 16303 104835 68244 85157 425705 666054 7.34 7.97 -- 943.71/236.65 c N dy 3738 498640 16297 104835 68318 105146 425703 1236235 7.39 7.87 -- 971.64/243.65 c Finding binary XORs T: 0.16 s found: 3 977.61/245.13 c N dy 3897 518714 16290 104349 68274 93430 424319 800544 7.44 9.70 -- 1008.33/252.83 c S st 4047 536821 16290 104349 68327 111453 424319 1385264 7.50 no data -- 1009.53/253.11 c S st 4047 537321 16290 104349 68334 111945 424319 1392866 7.50 no data -- 1009.53/253.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10 1009.53/253.15 c Cache BProp: 1 Set: 1 BXProp: 0 T: 0.02 1025.87/257.20 c Flit: 43 Blit: 1 bXBeca: 0 bXProp: 20 Bins: 8522 BRemL: 12897 BRemN: 108 P: 42.6M T: 16.18 1025.87/257.27 c Replacing 56 vars Replaced 5883 lits Time: 0.24 s 1026.68/257.40 c bin-w-bin subsume rem 650 bins time: 0.06 s 1027.48/257.68 c subs with bin: 1740 lits-rem: 4856 v-fix: 0 time: 1.13 s 1027.87/257.72 c Subs w/ non-existent bins: 48 l-rem: 2677 v-fix: 0 done: 168 time: 0.14 s 1027.87/257.74 c Removed useless bin: 110 fixed: 0 props: 1.08M time: 0.07 s 1039.44/260.64 c lits-rem: 2283 cl-subs: 3448 v-elim: 200 v-fix: 0 time: 11.55 s 1039.84/260.70 c vivif2 -- cl tried 102847 cl shrink 418 lits rem 478 time: 0.27 1040.64/260.96 c vivif2 -- cl tried 107484 cl shrink 14480 lits rem 76738 time: 1.04 1041.04/261.06 c asymm cl-useful: 8/760/102828 lits-rem:24 time: 0.38 1041.04/261.08 c calculated reachability. Time: 0.04 1041.04/261.08 c N dy 4047 537321 15971 102820 60808 107425 417481 1211486 7.50 no data -- 1041.44/261.13 c Finding binary XORs T: 0.18 s found: 1 1076.55/270.01 c N dy 4204 557376 15946 102820 61489 92806 417480 745914 7.54 7.94 -- 1089.30/273.12 c Finding binary XORs T: 0.17 s found: 2 1110.44/278.46 c N dy 4362 577401 15939 102508 61285 112548 416532 1359328 7.58 7.99 -- 1143.19/286.64 c N dy 4492 597455 15939 102508 61320 99117 416532 814177 7.60 9.73 -- 1174.67/294.59 c N dy 4631 617542 15938 102508 61366 119099 416532 1392236 7.63 10.51 -- 1208.18/303.00 c N dy 4761 637596 15935 102508 61414 104805 416532 879244 7.66 8.98 -- 1243.70/311.89 c N dy 4921 657663 15932 102508 61450 124796 416532 1465605 7.70 11.20 -- 1279.22/320.72 c N dy 5067 677751 15931 102508 61494 109522 416531 954163 7.73 11.77 -- 1312.28/329.02 c N dy 5209 697828 15929 102508 61553 129494 416531 1524818 7.75 9.49 -- 1333.42/334.39 c Finding binary XORs T: 0.17 s found: 4 1348.19/338.00 c N dy 5368 717891 15928 102342 60785 111799 415967 936995 7.79 11.57 -- 1375.32/344.81 c Finding binary XORs T: 0.16 s found: 18 1382.89/346.78 c N dy 5524 737916 15868 101717 63428 131281 413768 1553999 7.82 9.04 -- 1418.40/355.69 c N dy 5669 757988 15861 101717 63499 113917 413768 921846 7.85 9.86 -- 1455.48/364.95 c N dy 5833 778097 15861 101717 63529 133965 413766 1545703 7.89 8.38 -- 1492.59/374.27 c N dy 5983 798283 15858 101717 63558 115551 413766 888020 7.92 8.35 -- 1504.94/377.39 c S st 6038 805981 15858 101717 63570 123228 413766 1120225 7.93 no data -- 1506.14/377.69 c S st 6038 806483 15858 101717 63575 123723 413766 1127851 7.93 no data -- 1506.54/377.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10 1506.54/377.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02 1521.70/381.54 c Flit: 25 Blit: 0 bXBeca: 0 bXProp: 19 Bins: 4214 BRemL: 7320 BRemN: 118 P: 42.3M T: 15.23 1522.10/381.60 c Replacing 44 vars Replaced 3285 lits Time: 0.22 s 1522.49/381.71 c bin-w-bin subsume rem 186 bins time: 0.05 s 1522.90/381.87 c subs with bin: 1266 lits-rem: 3256 v-fix: 0 time: 0.65 s 1523.30/381.91 c Subs w/ non-existent bins: 152 l-rem: 2603 v-fix: 0 done: 1331 time: 0.15 s 1523.30/381.93 c Removed useless bin: 78 fixed: 0 props: 1.05M time: 0.07 s 1533.29/384.41 c lits-rem: 1957 cl-subs: 3465 v-elim: 171 v-fix: 0 time: 9.87 s 1533.29/384.48 c vivif2 -- cl tried 100508 cl shrink 372 lits rem 404 time: 0.27 1534.07/384.68 c vivif2 -- cl tried 119853 cl shrink 7309 lits rem 32267 time: 0.80 1536.07/385.12 c asymm cl-useful: 612/3240/100498 lits-rem:1028 time: 1.74 1536.07/385.14 c calculated reachability. Time: 0.05 1536.07/385.14 c N dy 6038 806483 15607 100473 58455 119817 407206 1028360 7.93 no data -- 1536.07/385.19 c Finding binary XORs T: 0.18 s found: 0 1552.41/389.20 c Finding binary XORs T: 0.18 s found: 11 1573.21/394.46 c Finding binary XORs T: 0.18 s found: 6 1575.56/395.00 c N dy 6176 826513 15592 100295 62156 139582 406662 1646619 7.94 8.92 -- 1613.85/404.68 c N dy 6325 846718 15590 100295 62211 117900 406662 914599 7.97 8.39 -- 1649.35/413.58 c N dy 6462 866729 15589 100295 62235 137830 406661 1528704 7.99 9.71 -- 1690.04/423.76 c N dy 6616 886760 15587 100295 62269 157775 406661 2193751 8.01 10.70 -- 1727.93/433.20 c N dy 6759 907049 15587 100295 62287 137869 406661 1417041 8.03 8.46 -- 1767.03/443.10 c N dy 6899 927126 15587 100295 62309 157883 406661 2086363 8.05 8.48 -- 1805.76/452.79 c N dy 7038 947129 15587 100295 62362 136069 406661 1266223 8.07 8.63 -- 1844.01/462.37 c N dy 7188 967210 15586 100295 62380 156096 406661 1934281 8.10 10.76 -- 1884.75/472.53 c N dy 7330 987245 15584 100295 62405 133416 406661 1092308 8.12 9.32 -- 1923.00/482.11 c N dy 7464 1007340 15583 100295 62432 153443 406661 1731419 8.14 8.76 -- 1964.88/492.68 c N dy 7604 1027385 15583 100295 62475 173413 406661 2411410 8.15 11.53 -- 2002.78/502.12 c N dy 7727 1047415 15583 100295 62494 149468 406661 1520094 8.16 8.65 -- 2043.46/512.35 c N dy 7879 1067418 15583 100295 62509 169423 406661 2247046 8.19 9.75 -- 2052.63/514.61 c F st 7909 1071876 15583 100295 62531 173873 406661 2410769 8.19 no data -- 2052.63/514.68 c Replacing 17 vars Replaced 2413 lits Time: 0.16 s 2054.23/515.08 c Finding binary XORs T: 0.17 s found: 6 2081.36/521.85 c N dy 7996 1087499 15564 100164 62274 143987 406236 1273616 8.20 8.99 -- 2120.05/531.58 c N dy 8138 1107545 15564 100164 62294 163961 406235 1962667 8.22 10.32 -- 2161.53/541.99 c N dy 8259 1127568 15563 100164 62304 183934 406235 2646419 8.23 11.85 -- 2201.82/552.07 c N dy 8394 1147592 15562 100164 62316 158048 406235 1660188 8.25 10.54 -- 2245.30/562.99 c N dy 8555 1167763 15559 100164 62359 178139 406235 2394570 8.27 8.94 -- 2288.78/573.89 c N dy 8703 1187851 15558 100164 62371 151305 406233 1322104 8.29 8.85 -- 2329.48/584.09 c N dy 8843 1207932 15558 100164 62383 171322 406232 1999548 8.31 10.42 -- 2334.26/585.20 c S st 8858 1209727 15558 100164 62387 173113 406232 2071500 8.31 no data -- 2335.86/585.60 c S st 8858 1210232 15558 100164 62394 173609 406231 2081833 8.31 no data -- 2335.86/585.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12 2335.86/585.64 c Cache BProp: 2 Set: 2 BXProp: 0 T: 0.02 2353.00/589.91 c Flit: 14 Blit: 2 bXBeca: 0 bXProp: 20 Bins: 4257 BRemL: 6011 BRemN: 84 P: 51.6M T: 17.05 2353.00/590.00 c Replacing 26 vars Replaced 6654 lits Time: 0.32 s 2353.81/590.18 c bin-w-bin subsume rem 497 bins time: 0.05 s 2355.39/590.56 c subs with bin: 1248 lits-rem: 6582 v-fix: 0 time: 1.55 s 2355.80/590.62 c Subs w/ non-existent bins: 300 l-rem: 3029 v-fix: 0 done: 6360 time: 0.22 s 2355.80/590.64 c Removed useless bin: 79 fixed: 0 props: 1.06M time: 0.07 s 2377.33/596.02 c lits-rem: 1998 cl-subs: 4081 v-elim: 174 v-fix: 0 time: 21.44 s 2377.33/596.09 c vivif2 -- cl tried 99083 cl shrink 364 lits rem 398 time: 0.29 2379.33/596.50 c vivif2 -- cl tried 168543 cl shrink 20516 lits rem 128339 time: 1.65 2380.92/596.96 c asymm cl-useful: 344/1952/99080 lits-rem:486 time: 1.81 2380.92/596.98 c calculated reachability. Time: 0.05 2380.92/596.99 c N dy 8858 1210232 15335 99072 58724 168509 400810 1849265 8.31 no data -- 2381.32/597.03 c Finding binary XORs T: 0.19 s found: 0 2406.47/603.37 c Finding binary XORs T: 0.18 s found: 5 2425.20/608.08 c N dy 8998 1230440 15333 99047 59992 188623 400738 2600548 8.32 8.86 -- 2467.91/618.71 c N dy 9128 1250514 15331 99047 60013 158166 400738 1504669 8.34 8.94 -- 2508.58/628.95 c N dy 9269 1270556 15330 99047 60039 178086 400738 2189451 8.35 9.79 -- 2557.23/641.11 c N dy 9418 1290604 15325 99047 60057 149589 400738 1116877 8.37 8.83 -- 2570.00/644.36 c Finding binary XORs T: 0.18 s found: 2 2595.93/650.88 c Finding binary XORs T: 0.18 s found: 3 2599.54/651.77 c N dy 9537 1310829 15319 98874 62035 169414 400103 1760029 8.37 8.94 -- 2645.40/663.28 c N dy 9678 1330831 15317 98874 62049 189357 400103 2504786 8.39 8.84 -- 2689.68/674.30 c N dy 9824 1350908 15313 98874 62076 159810 400103 1382005 8.40 9.88 -- 2732.35/685.03 c N dy 9959 1370997 15312 98874 62091 179848 400103 2108479 8.42 8.86 -- 2779.03/696.72 c N dy 10104 1391090 15311 98874 62103 199888 400103 2825770 8.43 8.90 -- 2823.75/707.99 c N dy 10235 1411212 15311 98874 62114 169052 400102 1597248 8.44 9.30 -- 2869.18/719.32 c N dy 10383 1431711 15308 98874 62136 189503 400101 2377971 8.46 8.95 -- 2917.84/731.57 c N dy 10526 1451760 15308 98874 62159 209488 400101 3112654 8.47 10.28 -- 2960.52/742.25 c N dy 10673 1472456 15308 98874 62171 178565 400101 1835338 8.49 9.00 -- 3005.60/753.59 c N dy 10811 1492557 15308 98874 62185 198614 400101 2547600 8.50 11.29 -- 3053.87/765.67 c N dy 10952 1512607 15308 98874 62204 165577 400101 1262378 8.51 10.37 -- 3098.14/776.70 c N dy 11070 1532647 15308 98874 62256 185555 400101 1980844 8.52 9.37 -- 3142.02/787.76 c N dy 11189 1552746 15308 98874 62273 205571 400101 2680692 8.53 10.86 -- 3189.49/799.68 c N dy 11306 1572836 15308 98874 62285 171864 400101 1357820 8.53 10.17 -- 3233.37/810.66 c N dy 11421 1592905 15308 98874 62293 191863 400099 2053306 8.54 10.48 -- 3276.45/821.42 c N dy 11528 1612968 15308 98874 62303 211840 400099 2732405 8.54 14.41 -- 3324.71/833.54 c N dy 11675 1633173 15308 98874 62316 177501 400099 1458467 8.55 9.01 -- 3370.20/844.97 c N dy 11816 1653655 15308 98874 62328 197935 400099 2207648 8.57 9.08 -- 3417.66/856.88 c N dy 11948 1673888 15308 98874 62338 218105 400099 2977535 8.57 9.09 -- 3466.73/869.14 c N dy 12086 1693890 15308 98874 62348 182282 400099 1516862 8.58 9.08 -- 3501.83/877.90 c S st 12203 1710232 15308 98874 62358 198577 400099 2108439 8.59 no data -- 3503.03/878.27 c S st 12203 1710733 15308 98874 62366 199070 400099 2119324 8.59 no data -- 3503.03/878.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11 3503.43/878.31 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.02 3520.59/882.62 c Flit: 9 Blit: 0 bXBeca: 0 bXProp: 14 Bins: 3247 BRemL: 8790 BRemN: 60 P: 55.0M T: 17.18 3520.59/882.71 c Replacing 25 vars Replaced 6483 lits Time: 0.32 s 3521.43/882.89 c bin-w-bin subsume rem 279 bins time: 0.05 s 3522.97/883.25 c subs with bin: 1505 lits-rem: 6038 v-fix: 0 time: 1.44 s 3522.97/883.29 c Subs w/ non-existent bins: 24 l-rem: 1317 v-fix: 0 done: 203 time: 0.13 s 3523.37/883.31 c Removed useless bin: 61 fixed: 0 props: 1.05M time: 0.07 s 3546.51/889.14 c lits-rem: 2325 cl-subs: 3493 v-elim: 124 v-fix: 0 time: 23.26 s 3546.91/889.21 c vivif2 -- cl tried 98045 cl shrink 357 lits rem 385 time: 0.29 3548.49/889.65 c vivif2 -- cl tried 194582 cl shrink 16836 lits rem 112331 time: 1.73 3550.09/890.09 c asymm cl-useful: 304/1445/98036 lits-rem:341 time: 1.76 3550.49/890.12 c calculated reachability. Time: 0.05 3550.49/890.12 c N dy 12203 1710733 15145 98033 55312 194534 396031 1932804 8.59 no data -- 3550.49/890.16 c Finding binary XORs T: 0.19 s found: 0 3576.03/896.58 c Finding binary XORs T: 0.19 s found: 4 3599.97/902.54 c N dy 12345 1730748 15142 98022 56178 214396 395976 2696384 8.60 12.79 -- 3651.02/915.39 c N dy 12465 1750822 15142 98022 56197 234372 395976 3419124 8.61 14.80 -- 3696.51/926.73 c N dy 12609 1770900 15140 98022 56202 194614 395976 1921065 8.62 12.11 -- 3723.62/933.53 c Finding binary XORs T: 0.19 s found: 7 3745.20/938.91 c N dy 12750 1790948 15136 97967 56286 213141 395704 2641128 8.63 10.12 -- 3770.69/945.40 c Finding binary XORs T: 0.19 s found: 5 3798.21/952.20 c N dy 12905 1811048 15135 97960 56719 233163 395673 3366585 8.65 9.18 -- 3842.08/963.24 c N dy 13038 1831120 15135 97960 56738 195422 395673 1870043 8.66 9.65 -- 3889.58/975.19 c N dy 13167 1851127 15135 97960 56746 215388 395673 2556207 8.67 9.14 -- 3940.22/987.87 c N dy 13321 1871368 15135 97960 56753 235565 395673 3278764 8.68 9.14 -- 3986.11/999.35 c N dy 13457 1891369 15134 97960 56762 196789 395673 1809279 8.69 9.45 -- 4032.77/1011.05 c N dy 13592 1911413 15132 97960 56768 216782 395673 2533378 8.70 10.04 -- 4082.64/1023.61 c N dy 13744 1931511 15132 97960 56779 236841 395673 3296116 8.71 14.83 -- 4134.09/1036.40 c N dy 13895 1951541 15132 97960 56786 197020 395673 1709572 8.73 9.56 -- 4181.94/1048.49 c N dy 14034 1971561 15132 97960 56800 216992 395673 2424141 8.74 9.37 -- 4233.00/1061.28 c N dy 14171 1991600 15132 97960 56810 236989 395673 3161154 8.75 12.78 -- 4285.26/1074.30 c N dy 14306 2011866 15132 97960 56820 196415 395673 1582908 8.76 9.34 -- 4330.34/1085.69 c N dy 14431 2031930 15132 97960 56830 216439 395673 2267662 8.76 9.30 -- 4381.01/1098.38 c N dy 14585 2052005 15132 97960 56832 236465 395673 2993704 8.77 9.26 -- 4430.46/1110.71 c N dy 14695 2072023 15132 97960 56838 256401 395673 3663455 8.78 9.39 -- 4477.98/1122.68 c N dy 14839 2092264 15132 97960 56845 215038 395673 2139271 8.79 9.25 -- 4526.24/1134.71 c N dy 14972 2112356 15132 97960 56851 235075 395673 2859125 8.79 9.31 -- 4579.25/1148.08 c N dy 15100 2132387 15132 97960 56860 255047 395673 3576465 8.80 12.46 -- 4629.51/1160.64 c N dy 15234 2152423 15132 97960 56870 212530 395673 1911587 8.81 9.28 -- 4676.98/1172.54 c N dy 15360 2172475 15132 97960 56878 232542 395673 2626213 8.82 9.47 -- 4728.09/1185.32 c N dy 15501 2192553 15132 97960 56884 252548 395673 3367607 8.83 10.83 -- 4779.90/1198.39 c S st 15612 2210735 15132 97960 56886 206982 395673 1610826 8.83 no data -- 4781.89/1198.82 c S st 15612 2211236 15132 97960 56891 207478 395673 1621649 8.83 no data -- 4781.89/1198.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13 4781.89/1198.86 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02 4798.30/1202.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 26 Bins: 2103 BRemL: 3117 BRemN: 53 P: 54.1M T: 16.41 4798.65/1203.05 c Replacing 42 vars Replaced 3217 lits Time: 0.27 s 4799.44/1203.20 c bin-w-bin subsume rem 141 bins time: 0.05 s 4799.84/1203.33 c subs with bin: 983 lits-rem: 2185 v-fix: 0 time: 0.55 s 4799.84/1203.38 c Subs w/ non-existent bins: 296 l-rem: 919 v-fix: 0 done: 2495 time: 0.17 s 4799.84/1203.40 c Removed useless bin: 62 fixed: 0 props: 1.06M time: 0.07 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: 961) 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-3369670-1305394326/watcher-3369670-1305394326 -o /tmp/evaluation-result-3369670-1305394326/solver-3369670-1305394326 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369670-1305394326.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: 8.06 7.39 7.10 5/352 2299 /proc/meminfo: memFree=25095520/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 651035231 52465664 356 33554432000 4194304 4650419 140735526879552 18446744073709551615 216634515387 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 12809 356 306 112 0 7774 0 [pid=2299/tid=2300] ppid=2297 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651035231 52465664 356 33554432000 4194304 4650419 140735526879552 18446744073709551615 47603950266290 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651035231 52465664 356 33554432000 4194304 4650419 140735526879552 18446744073709551615 47603950265881 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651035231 52465664 356 33554432000 4194304 4650419 140735526879552 18446744073709551615 47603950265881 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.070562 s] /proc/loadavg: 8.06 7.39 7.10 5/352 2299 /proc/meminfo: memFree=25095520/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=323664 CPUtime=0.27 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 23215 0 0 0 23 4 0 0 18 0 4 0 651035231 331431936 18835 33554432000 4194304 4650419 140735526879552 18446744073709551615 216634573226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 80916 18835 344 112 0 75881 0 [pid=2299/tid=2300] ppid=2297 vsize=323664 CPUtime=0.05 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) D 2297 2299 1623 0 -1 4202560 5879 0 0 0 4 1 0 0 18 0 4 0 651035231 331431936 18835 33554432000 4194304 4650419 140735526879552 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=323664 CPUtime=0.06 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) D 2297 2299 1623 0 -1 4202560 5630 0 0 0 6 0 0 0 18 0 4 0 651035231 331431936 18835 33554432000 4194304 4650419 140735526879552 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=324384 CPUtime=0.05 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 5648 0 0 0 5 0 0 0 18 0 4 0 651035231 332169216 18835 33554432000 4194304 4650419 140735526879552 18446744073709551615 216634573226 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 323664 [startup+0.105542 s] /proc/loadavg: 8.06 7.39 7.10 5/352 2299 /proc/meminfo: memFree=25095520/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=356212 CPUtime=0.37 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) D 2297 2299 1623 0 -1 4202496 35222 0 0 0 30 7 0 0 18 0 4 0 651035231 364761088 27546 33554432000 4194304 4650419 140735526879552 18446744073709551615 216634558647 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 89053 27034 344 112 0 84018 0 [pid=2299/tid=2300] ppid=2297 vsize=356212 CPUtime=0.08 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) D 2297 2299 1623 0 -1 4202560 9043 0 0 0 6 2 0 0 18 0 4 0 651035231 364761088 27034 33554432000 4194304 4650419 140735526879552 18446744073709551615 216634541162 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=356212 CPUtime=0.09 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 8581 0 0 0 8 1 0 0 18 0 4 0 651035231 364761088 27034 33554432000 4194304 4650419 140735526879552 18446744073709551615 216634558599 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=356212 CPUtime=0.08 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) D 2297 2299 1623 0 -1 4202560 8594 0 0 0 7 1 0 0 18 0 4 0 651035231 364761088 27034 33554432000 4194304 4650419 140735526879552 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 356212 [startup+0.557584 s] /proc/loadavg: 8.06 7.39 7.10 5/352 2299 /proc/meminfo: memFree=25095520/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=468108 CPUtime=3.62 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 92350 0 0 0 345 17 0 0 19 0 4 0 651035231 479342592 71407 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369400 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 117027 71407 373 112 0 111992 0 [pid=2299/tid=2300] ppid=2297 vsize=468108 CPUtime=0.89 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23364 0 0 0 85 4 0 0 19 0 4 0 651035231 479342592 71407 33554432000 4194304 4650419 140735526879552 18446744073709551615 4370035 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=468108 CPUtime=0.9 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23344 0 0 0 86 4 0 0 18 0 4 0 651035231 479342592 71407 33554432000 4194304 4650419 140735526879552 18446744073709551615 4245526 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=468108 CPUtime=0.9 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 21861 0 0 0 86 4 0 0 18 0 4 0 651035231 479342592 71407 33554432000 4194304 4650419 140735526879552 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.62 Current children cumulated vsize (KiB) 468108 [startup+1.02238 s] /proc/loadavg: 8.06 7.39 7.10 5/352 2299 /proc/meminfo: memFree=25095520/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=468108 CPUtime=4.02 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 92353 0 0 0 385 17 0 0 19 0 4 0 651035231 479342592 71410 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369390 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 117027 71410 373 112 0 111992 0 [pid=2299/tid=2300] ppid=2297 vsize=468108 CPUtime=0.99 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23364 0 0 0 95 4 0 0 19 0 4 0 651035231 479342592 71410 33554432000 4194304 4650419 140735526879552 18446744073709551615 4245488 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=468108 CPUtime=1 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23344 0 0 0 96 4 0 0 19 0 4 0 651035231 479342592 71410 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369478 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=468108 CPUtime=1 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 21864 0 0 0 96 4 0 0 19 0 4 0 651035231 479342592 71410 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363697 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.02 Current children cumulated vsize (KiB) 468108 [startup+1.5003 s] /proc/loadavg: 8.06 7.39 7.10 5/352 2299 /proc/meminfo: memFree=25095520/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=468108 CPUtime=5.93 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 92474 0 0 0 576 17 0 0 19 0 4 0 651035231 479342592 71531 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 117027 71531 373 112 0 111992 0 [pid=2299/tid=2300] ppid=2297 vsize=468108 CPUtime=1.47 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23393 0 0 0 143 4 0 0 19 0 4 0 651035231 479342592 71531 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=468108 CPUtime=1.48 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23370 0 0 0 144 4 0 0 19 0 4 0 651035231 479342592 71531 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369373 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=468108 CPUtime=1.48 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 21907 0 0 0 144 4 0 0 19 0 4 0 651035231 479342592 71531 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 468108 [startup+3.10101 s] /proc/loadavg: 8.06 7.39 7.10 9/356 2303 /proc/meminfo: memFree=24794292/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=477092 CPUtime=12.3 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 95624 0 0 0 1213 17 0 0 25 0 4 0 651035231 488542208 74681 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369856 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 119273 74681 374 112 0 114238 0 [pid=2299/tid=2300] ppid=2297 vsize=477092 CPUtime=3.04 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23608 0 0 0 300 4 0 0 25 0 4 0 651035231 488542208 74681 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369968 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=477092 CPUtime=3.08 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23588 0 0 0 304 4 0 0 24 0 4 0 651035231 488542208 74681 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=477092 CPUtime=3.08 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 24408 0 0 0 304 4 0 0 25 0 4 0 651035231 488542208 74681 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.3 Current children cumulated vsize (KiB) 477092 [startup+6.30045 s] /proc/loadavg: 8.05 7.39 7.10 9/356 2303 /proc/meminfo: memFree=24762796/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=477928 CPUtime=25.06 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 96314 0 0 0 2488 18 0 0 25 0 4 0 651035231 489398272 75371 33554432000 4194304 4650419 140735526879552 18446744073709551615 4244293 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 119482 75371 374 112 0 114447 0 [pid=2299/tid=2300] ppid=2297 vsize=477928 CPUtime=6.21 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23800 0 0 0 617 4 0 0 25 0 4 0 651035231 489398272 75371 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369255 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=477928 CPUtime=6.28 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 23776 0 0 0 623 5 0 0 25 0 4 0 651035231 489398272 75371 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369251 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=477928 CPUtime=6.28 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 24528 0 0 0 624 4 0 0 25 0 4 0 651035231 489398272 75371 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.06 Current children cumulated vsize (KiB) 477928 [startup+12.7133 s] /proc/loadavg: 8.05 7.40 7.11 9/356 2303 /proc/meminfo: memFree=24490024/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=757392 CPUtime=50.64 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 219756 0 0 0 5027 37 0 0 25 0 4 0 651035231 775569408 135904 33554432000 4194304 4650419 140735526879552 18446744073709551615 4310867 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 189348 135904 396 112 0 184313 0 [pid=2299/tid=2300] ppid=2297 vsize=757392 CPUtime=12.55 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 41301 0 0 0 1249 6 0 0 25 0 4 0 651035231 775569408 135904 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=757392 CPUtime=12.69 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 43029 0 0 0 1260 9 0 0 25 0 4 0 651035231 775569408 135904 33554432000 4194304 4650419 140735526879552 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=757392 CPUtime=12.69 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 92014 0 0 0 1256 13 0 0 25 0 4 0 651035231 775569408 135904 33554432000 4194304 4650419 140735526879552 18446744073709551615 4506561 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 757392 [startup+25.5011 s] /proc/loadavg: 8.19 7.47 7.13 9/356 2303 /proc/meminfo: memFree=24416864/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=880696 CPUtime=101.66 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 591600 0 0 0 10091 75 0 0 25 0 4 0 651035231 901832704 152260 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 220174 152260 396 112 0 215139 0 [pid=2299/tid=2300] ppid=2297 vsize=880696 CPUtime=25.2 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 56855 0 0 0 2512 8 0 0 25 0 4 0 651035231 901832704 152260 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=880696 CPUtime=25.48 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 207378 0 0 0 2524 24 0 0 25 0 4 0 651035231 901832704 152260 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=880696 CPUtime=25.48 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 92415 0 0 0 2535 13 0 0 25 0 4 0 651035231 901832704 152260 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364838 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.66 Current children cumulated vsize (KiB) 880696 [startup+51.1006 s] /proc/loadavg: 8.18 7.52 7.16 9/356 2304 /proc/meminfo: memFree=23901504/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1475132 CPUtime=203.77 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 718402 0 0 0 20273 104 0 0 25 0 4 0 651035231 1510535168 270507 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364859 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 368783 270507 396 112 0 363748 0 [pid=2299/tid=2300] ppid=2297 vsize=1475132 CPUtime=50.53 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 70902 0 0 0 5042 11 0 0 25 0 4 0 651035231 1510535168 270508 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1475132 CPUtime=51.09 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 218343 0 0 0 5084 25 0 0 25 0 4 0 651035231 1510535168 270508 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1475132 CPUtime=51.09 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 174583 0 0 0 5075 34 0 0 25 0 4 0 651035231 1510535168 270508 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.77 Current children cumulated vsize (KiB) 1475132 [startup+102.301 s] /proc/loadavg: 8.13 7.61 7.20 9/356 2305 /proc/meminfo: memFree=23723896/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1426744 CPUtime=407.99 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 774422 0 0 0 40681 118 0 0 25 0 4 0 651035231 1460985856 297029 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 356686 297029 396 112 0 351651 0 [pid=2299/tid=2300] ppid=2297 vsize=1426744 CPUtime=101.17 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 79688 0 0 0 10103 14 0 0 25 0 4 0 651035231 1460985856 297029 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1426744 CPUtime=102.28 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 244920 0 0 0 10197 31 0 0 25 0 4 0 651035231 1460985856 297029 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1426744 CPUtime=102.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 183458 0 0 0 10191 36 0 0 25 0 4 0 651035231 1460985856 297029 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369942 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 407.99 Current children cumulated vsize (KiB) 1426744 [startup+162.313 s] ################ # More data... # ################ [pid=2299] ppid=2297 vsize=1861652 CPUtime=2562.02 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1108028 0 0 0 255984 218 0 0 25 0 4 0 651035231 1906331648 388737 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 465413 388737 396 112 0 460378 0 [pid=2299/tid=2300] ppid=2297 vsize=1861652 CPUtime=635.28 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 124627 0 0 0 63500 28 0 0 25 0 4 0 651035231 1906331648 388737 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1861652 CPUtime=642.29 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 352779 0 0 0 64170 59 0 0 25 0 4 0 651035231 1906331648 388737 33554432000 4194304 4650419 140735526879552 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1861652 CPUtime=642.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 274414 0 0 0 64163 64 0 0 25 0 4 0 651035231 1906331648 388737 33554432000 4194304 4650419 140735526879552 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2562.02 Current children cumulated vsize (KiB) 1861652 [startup+702.3 s] /proc/loadavg: 8.15 8.05 7.63 9/356 2323 /proc/meminfo: memFree=23093136/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1903636 CPUtime=2801.38 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1142971 0 0 0 279909 229 0 0 25 0 4 0 651035231 1949323264 386547 33554432000 4194304 4650419 140735526879552 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 475909 386547 396 112 0 470874 0 [pid=2299/tid=2300] ppid=2297 vsize=1903636 CPUtime=694.64 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 130621 0 0 0 69433 31 0 0 25 0 4 0 651035231 1949323264 386549 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1903636 CPUtime=702.3 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 363767 0 0 0 70168 62 0 0 25 0 4 0 651035231 1949323264 386549 33554432000 4194304 4650419 140735526879552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1903636 CPUtime=702.28 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 280961 0 0 0 70162 66 0 0 25 0 4 0 651035231 1949323264 386549 33554432000 4194304 4650419 140735526879552 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2801.38 Current children cumulated vsize (KiB) 1903636 [startup+762.301 s] /proc/loadavg: 8.15 8.07 7.66 9/356 2325 /proc/meminfo: memFree=23053300/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1932148 CPUtime=3040.7 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1179072 0 0 0 303829 241 0 0 25 0 4 0 651035231 1978519552 402056 33554432000 4194304 4650419 140735526879552 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 483037 402056 396 112 0 478002 0 [pid=2299/tid=2300] ppid=2297 vsize=1932148 CPUtime=753.98 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 139558 0 0 0 75365 33 0 0 25 0 4 0 651035231 1978519552 402056 33554432000 4194304 4650419 140735526879552 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1932148 CPUtime=762.29 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 374285 0 0 0 76163 66 0 0 25 0 4 0 651035231 1978519552 402056 33554432000 4194304 4650419 140735526879552 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1932148 CPUtime=762.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 289575 0 0 0 76159 68 0 0 25 0 4 0 651035231 1978519552 402056 33554432000 4194304 4650419 140735526879552 18446744073709551615 4331067 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3040.7 Current children cumulated vsize (KiB) 1932148 [startup+822.313 s] /proc/loadavg: 8.22 8.10 7.69 9/356 2327 /proc/meminfo: memFree=23052772/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1933172 CPUtime=3280.09 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1212378 0 0 0 327757 252 0 0 25 0 4 0 651035231 1979568128 399838 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 483293 399838 396 112 0 478258 0 [pid=2299/tid=2300] ppid=2297 vsize=1933172 CPUtime=813.34 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 145957 0 0 0 81298 36 0 0 25 0 4 0 651035231 1979568128 399838 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1933172 CPUtime=822.31 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 384926 0 0 0 82162 69 0 0 25 0 4 0 651035231 1979568128 399838 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1933172 CPUtime=822.29 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 294303 0 0 0 82158 71 0 0 25 0 4 0 651035231 1979568128 399838 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3280.09 Current children cumulated vsize (KiB) 1933172 [startup+882.301 s] /proc/loadavg: 8.21 8.11 7.72 9/356 2328 /proc/meminfo: memFree=22985152/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1934468 CPUtime=3519.39 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1252202 0 0 0 351675 264 0 0 25 0 4 0 651035231 1980895232 406731 33554432000 4194304 4650419 140735526879552 18446744073709551615 4345761 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 483617 406731 396 112 0 478582 0 [pid=2299/tid=2300] ppid=2297 vsize=1934468 CPUtime=872.68 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 154418 0 0 0 87229 39 0 0 25 0 4 0 651035231 1980895232 406731 33554432000 4194304 4650419 140735526879552 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1934468 CPUtime=882.3 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 395628 0 0 0 88158 72 0 0 25 0 4 0 651035231 1980895232 406731 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1934468 CPUtime=882.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 300895 0 0 0 88154 73 0 0 25 0 4 0 651035231 1980895232 406731 33554432000 4194304 4650419 140735526879552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3519.39 Current children cumulated vsize (KiB) 1934468 [startup+942.301 s] /proc/loadavg: 8.12 8.10 7.74 9/356 2330 /proc/meminfo: memFree=22881092/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=2003684 CPUtime=3758.72 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1547739 0 0 0 375563 309 0 0 25 0 4 0 651035231 2051772416 414667 33554432000 4194304 4650419 140735526879552 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 500921 414667 396 112 0 495886 0 [pid=2299/tid=2300] ppid=2297 vsize=2003684 CPUtime=932.01 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 162047 0 0 0 93159 42 0 0 25 0 4 0 651035231 2051772416 414667 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=2003684 CPUtime=942.29 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 662171 0 0 0 94122 107 0 0 25 0 4 0 651035231 2051772416 414667 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=2003684 CPUtime=942.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 306857 0 0 0 94152 75 0 0 25 0 4 0 651035231 2051772416 414667 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3758.72 Current children cumulated vsize (KiB) 2003684 [startup+1002.3 s] /proc/loadavg: 8.13 8.11 7.76 9/356 2331 /proc/meminfo: memFree=22823248/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1949204 CPUtime=3998.06 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1583377 0 0 0 399484 322 0 0 25 0 4 0 651035231 1995984896 419634 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 487301 419634 396 112 0 482266 0 [pid=2299/tid=2300] ppid=2297 vsize=1949204 CPUtime=991.37 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 168650 0 0 0 99092 45 0 0 25 0 4 0 651035231 1995984896 419634 33554432000 4194304 4650419 140735526879552 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1949204 CPUtime=1002.3 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 673535 0 0 0 100119 111 0 0 25 0 4 0 651035231 1995984896 419634 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1949204 CPUtime=1002.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 313046 0 0 0 100149 78 0 0 25 0 4 0 651035231 1995984896 419634 33554432000 4194304 4650419 140735526879552 18446744073709551615 4419144 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3998.06 Current children cumulated vsize (KiB) 1949204 [startup+1062.3 s] /proc/loadavg: 8.09 8.10 7.78 9/356 2333 /proc/meminfo: memFree=22847896/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1950104 CPUtime=4237.39 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1612644 0 0 0 423408 331 0 0 25 0 4 0 651035231 1996906496 416701 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 487526 416701 396 112 0 482491 0 [pid=2299/tid=2300] ppid=2297 vsize=1950104 CPUtime=1050.71 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 174943 0 0 0 105024 47 0 0 25 0 4 0 651035231 1996906496 416701 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1950104 CPUtime=1062.3 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 684845 0 0 0 106116 114 0 0 25 0 4 0 651035231 1996906496 416701 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363576 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1950104 CPUtime=1062.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 316900 0 0 0 106147 80 0 0 25 0 4 0 651035231 1996906496 416701 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4237.39 Current children cumulated vsize (KiB) 1950104 [startup+1122.3 s] /proc/loadavg: 6.08 7.58 7.62 5/347 2353 /proc/meminfo: memFree=24569524/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1951172 CPUtime=4476.74 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1647101 0 0 0 447331 343 0 0 25 0 4 0 651035231 1998000128 421779 33554432000 4194304 4650419 140735526879552 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 487793 421779 396 112 0 482758 0 [pid=2299/tid=2300] ppid=2297 vsize=1951172 CPUtime=1110.07 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 183900 0 0 0 110956 51 0 0 25 0 4 0 651035231 1998000128 421779 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1951172 CPUtime=1122.3 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 692158 0 0 0 112114 116 0 0 25 0 4 0 651035231 1998000128 421779 33554432000 4194304 4650419 140735526879552 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1951172 CPUtime=1122.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 323078 0 0 0 112144 83 0 0 25 0 4 0 651035231 1998000128 421779 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4476.74 Current children cumulated vsize (KiB) 1951172 [startup+1182.3 s] /proc/loadavg: 4.76 6.93 7.39 5/347 2354 /proc/meminfo: memFree=24589600/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1952096 CPUtime=4716.07 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1676109 0 0 0 471254 353 0 0 25 0 4 0 651035231 1998946304 416464 33554432000 4194304 4650419 140735526879552 18446744073709551615 4335200 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 488024 416464 396 112 0 482989 0 [pid=2299/tid=2300] ppid=2297 vsize=1952096 CPUtime=1169.41 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 190245 0 0 0 116888 53 0 0 25 0 4 0 651035231 1998946304 416464 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1952096 CPUtime=1182.3 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 703586 0 0 0 118110 120 0 0 25 0 4 0 651035231 1998946304 416464 33554432000 4194304 4650419 140735526879552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1952096 CPUtime=1182.27 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 326721 0 0 0 118143 84 0 0 25 0 4 0 651035231 1998946304 416464 33554432000 4194304 4650419 140735526879552 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4716.07 Current children cumulated vsize (KiB) 1952096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.4 s] /proc/loadavg: 4.50 6.69 7.30 5/347 2355 /proc/meminfo: memFree=24586992/32951124 swapFree=53501236/67111528 [pid=2299] ppid=2297 vsize=1952532 CPUtime=4800.25 cores=0,2,4,6 /proc/2299/stat : 2299 (strangenight1-m) R 2297 2299 1623 0 -1 4202496 1690241 0 0 0 479668 357 0 0 25 0 4 0 651035231 1999392768 417087 33554432000 4194304 4650419 140735526879552 18446744073709551615 4476354 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2299/statm: 488133 417087 396 112 0 483098 0 [pid=2299/tid=2300] ppid=2297 vsize=1952532 CPUtime=1190.28 cores=0,2,4,6 /proc/2299/task/2300/stat : 2300 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 194095 0 0 0 118974 54 0 0 25 0 4 0 651035231 1999392768 417089 33554432000 4194304 4650419 140735526879552 18446744073709551615 4369179 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2299/tid=2301] ppid=2297 vsize=1952532 CPUtime=1203.42 cores=0,2,4,6 /proc/2299/task/2301/stat : 2301 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 704785 0 0 0 120221 121 0 0 25 0 4 0 651035231 1999392768 417089 33554432000 4194304 4650419 140735526879552 18446744073709551615 4315256 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2299/tid=2302] ppid=2297 vsize=1952532 CPUtime=1203.38 cores=0,2,4,6 /proc/2299/task/2302/stat : 2302 (strangenight1-m) R 2297 2299 1623 0 -1 4202560 327923 0 0 0 120253 85 0 0 25 0 4 0 651035231 1999392768 417089 33554432000 4194304 4650419 140735526879552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 1952532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.49 CPU time (s): 4800.38 CPU user time (s): 4796.74 CPU system time (s): 3.64345 CPU usage (%): 398.872 Max. virtual memory (cumulated for all children) (KiB): 2069228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4796.74 system time used= 3.64345 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1690244 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= 4218 involuntary context switches= 21794 runsolver used 3.70044 second user time and 9.46156 second system time The end
Begin job on node103 at 2011-05-14 19:32:06 IDJOB=3369670 IDBENCH=82481 IDSOLVER=1846 FILE ID=node103/3369670-1305394326 RUNJOBID= node103-1305393839-2044 PBS_JOBID= 13324444 Free space on /tmp= 72964 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369670-1305394326/watcher-3369670-1305394326 -o /tmp/evaluation-result-3369670-1305394326/solver-3369670-1305394326 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369670-1305394326.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a8ad0173824ed9404a8c153da07c5f9c RANDOM SEED=1560061267 node103.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.858 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.71 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.858 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.75 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.858 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.858 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.858 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.83 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.858 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25095800 kB Buffers: 292528 kB Cached: 3884484 kB SwapCached: 340192 kB Active: 2478020 kB Inactive: 5106136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25095800 kB SwapTotal: 67111528 kB SwapFree: 53501236 kB Dirty: 16152 kB Writeback: 0 kB AnonPages: 3077840 kB Mapped: 11200 kB Slab: 151840 kB PageTables: 55064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 79656356 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= 72976 MiB End job on node103 at 2011-05-14 19:52:12