| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.48 | 1202.94 |
| Name | SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf |
| MD5SUM | 82e833e539576c6d79252b19dcace0cf |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 5.08123 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10056 |
| Number of clauses | 271393 |
| Sum of the clauses size | 550328 |
| Maximum clause length | 8 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 270136 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1257 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 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 WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3369621-1305433533.cnf' 0.00/0.00 c -- header says num vars: 10056 0.00/0.00 c -- header says num clauses: 271393 0.12/0.10 c -- clauses added: 0 learnts, 271393 normals, 0 xors 0.12/0.10 c -- vars added 10056 0.12/0.10 c Parsing time: 0.22 s 0.12/0.10 c N st 0 0 10056 1257 270136 0 550328 0 no data no data -- 0.29/0.11 c asymm cl-useful: 0/1257/1257 lits-rem:0 time: 0.01 0.29/0.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.9M T: 0.35 0.29/0.26 c bin-w-bin subsume rem 0 bins time: 0.13 s 0.29/0.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.05 s 0.29/0.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10056 time: 0.13 s 0.29/0.33 c Removed useless bin: 0 fixed: 0 props: 1.39M time: 0.12 s 1.89/0.53 c lits-rem: 3 cl-subs: 10 v-elim: 1376 v-fix: 0 time: 0.79 s 1.89/0.54 c Finding binary XORs T: 0.04 s found: 0 1.89/0.57 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan) 1.89/0.57 c calculated reachability. Time: 0.01 1.89/0.58 c Calc default polars - time: 0.02 s pos: 4315 undec: 1376 neg: 4365 1.89/0.58 c ========================================================================================= 1.89/0.58 c types(t): F = full restart, N = normal restart 1.89/0.58 c types(t): S = simplification begin/end, E = solution found 1.89/0.58 c restart types(rt): st = static, dy = dynamic 1.89/0.58 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 1.89/0.58 c B st 0 0 8680 63335 206667 0 945249 0 no data no data -- 4.28/1.15 c N dy 20 4054 8680 63335 206667 3942 945249 101327 8.38 8.89 -- 7.45/1.92 c N dy 37 8995 8680 63335 206669 6340 945249 136492 7.91 8.33 -- 10.24/2.64 c N dy 60 13086 8680 63335 206674 6211 945249 126303 8.12 8.67 -- 12.66/3.29 c N dy 78 17100 8680 63335 206674 10121 945249 218038 8.07 9.50 -- 15.83/4.04 c N dy 98 21265 8680 63335 206678 8695 945249 172182 8.11 8.55 -- 18.21/4.65 c F st 116 25001 8680 63335 206678 12301 945249 250366 8.08 8.04 -- 19.01/4.80 c N st 118 25630 8680 63335 206678 12906 945249 265331 8.08 no data -- 22.60/5.78 c N dy 122 30000 8680 63335 206678 10606 945249 255858 8.08 no data -- 22.60/5.78 c S st 122 30000 8680 63335 206678 10606 945249 255858 8.08 no data -- 23.40/5.96 c S st 122 30503 8680 63335 206678 11107 945249 269538 8.08 no data -- 23.40/5.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 23.40/5.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 26.23/6.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 31.3M T: 2.78 26.59/6.72 c bin-w-bin subsume rem 0 bins time: 0.08 s 28.99/7.39 c subs with bin: 54 lits-rem: 12 v-fix: 0 time: 2.68 s 29.39/7.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 29.39/7.44 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.09 s 35.01/8.86 c lits-rem: 235 cl-subs: 316 v-elim: 0 v-fix: 0 time: 5.63 s 35.77/9.08 c asymm cl-useful: 0/10795/63335 lits-rem:0 time: 0.88 35.77/9.09 c calculated reachability. Time: 0.01 35.77/9.09 c N dy 122 30503 8680 63335 206678 10737 945235 264498 8.08 no data -- 38.99/9.87 c N dy 141 34592 8680 63335 206685 14700 945235 361824 8.07 9.25 -- 42.16/10.66 c N dy 170 38813 8680 63335 206688 11076 945235 210630 8.14 8.83 -- 44.95/11.34 c N dy 185 42872 8680 63335 206688 14976 945235 287339 8.09 9.66 -- 46.55/11.77 c S st 197 45754 8680 63335 206688 9024 945235 141323 8.07 7.14 -- 47.35/11.94 c S st 197 46257 8680 63335 206688 9525 945235 157214 8.07 no data -- 47.35/11.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 47.35/11.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 50.53/12.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 31.8M T: 3.08 50.53/12.77 c bin-w-bin subsume rem 0 bins time: 0.07 s 52.16/13.17 c subs with bin: 215 lits-rem: 5 v-fix: 0 time: 1.59 s 52.16/13.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 52.56/13.22 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.10 s 53.72/13.59 c lits-rem: 99 cl-subs: 398 v-elim: 0 v-fix: 0 time: 1.48 s 54.12/13.61 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.08 54.12/13.62 c vivif2 -- cl tried 8912 cl shrink 0 lits rem 0 time: 0.02 54.92/13.86 c asymm cl-useful: 0/12020/63335 lits-rem:0 time: 0.97 54.92/13.87 c calculated reachability. Time: 0.01 54.92/13.87 c N dy 197 46257 8680 63335 206688 8912 945232 151682 8.07 no data -- 57.32/14.49 c N dy 218 50291 8680 63335 206690 12775 945232 234741 8.11 10.14 -- 60.52/15.30 c N dy 248 54343 8680 63335 206691 16740 945232 333244 8.20 8.65 -- 64.11/16.19 c N dy 269 58713 8680 63335 206692 11334 945232 186751 8.21 8.69 -- 67.69/17.00 c N dy 294 62752 8680 63335 206692 15258 945232 286816 8.25 8.85 -- 70.88/17.82 c N dy 318 66801 8680 63335 206693 19192 945232 384415 8.29 12.58 -- 72.88/18.37 c S st 336 69385 8680 63335 206693 11059 945232 173878 8.32 no data -- 73.69/18.54 c S st 336 69890 8680 63335 206693 11561 945232 187625 8.32 no data -- 73.69/18.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 73.69/18.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 76.48/19.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 30.6M T: 2.85 76.88/19.31 c bin-w-bin subsume rem 0 bins time: 0.07 s 78.50/19.72 c subs with bin: 585 lits-rem: 16 v-fix: 0 time: 1.63 s 78.50/19.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 78.50/19.77 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.10 s 80.46/20.21 c lits-rem: 118 cl-subs: 190 v-elim: 0 v-fix: 0 time: 1.76 s 80.46/20.23 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.07 80.46/20.24 c vivif2 -- cl tried 10786 cl shrink 0 lits rem 0 time: 0.03 81.26/20.46 c asymm cl-useful: 0/11527/63335 lits-rem:0 time: 0.89 81.26/20.47 c calculated reachability. Time: 0.01 81.26/20.47 c N dy 336 69890 8680 63335 206693 10786 945232 180399 8.32 no data -- 84.46/21.29 c N dy 359 74358 8680 63335 206699 15149 945232 287647 8.32 9.57 -- 88.45/22.22 c N dy 389 79221 8680 63335 206700 19864 945232 405491 8.35 8.82 -- 92.83/23.36 c N dy 423 84856 8680 63335 206702 13674 945232 224259 8.38 8.89 -- 95.24/23.95 c F st 442 87500 8680 63335 206705 16259 945232 291945 8.42 no data -- 98.43/24.70 c N st 447 90798 8680 63335 206706 19472 945232 380293 8.42 no data -- 103.21/25.95 c N dy 469 96646 8680 63335 206708 25188 945232 538464 8.43 10.46 -- 109.23/27.48 c N dy 519 103025 8680 63335 206708 18791 945232 366992 8.51 9.16 -- 111.19/27.91 c S st 533 104836 8680 63335 206708 20564 945232 413884 8.53 no data -- 111.99/28.12 c S st 533 105339 8680 63335 206708 21065 945232 429635 8.53 no data -- 111.99/28.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 111.99/28.13 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 115.59/29.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.6M T: 3.46 115.59/29.05 c bin-w-bin subsume rem 0 bins time: 0.07 s 119.17/29.92 c subs with bin: 903 lits-rem: 54 v-fix: 0 time: 3.48 s 119.17/29.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.11 s 119.17/29.98 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.10 s 126.79/31.85 c lits-rem: 340 cl-subs: 510 v-elim: 0 v-fix: 0 time: 7.48 s 126.79/31.87 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.07 126.79/31.89 c vivif2 -- cl tried 19652 cl shrink 0 lits rem 0 time: 0.07 127.95/32.11 c asymm cl-useful: 0/9799/63335 lits-rem:0 time: 0.90 127.95/32.12 c calculated reachability. Time: 0.01 127.95/32.12 c N dy 533 105339 8680 63335 206708 19652 945232 413606 8.53 no data -- 134.33/33.74 c N dy 575 112062 8680 63335 206713 26187 945232 588457 8.57 9.05 -- 139.95/35.16 c N dy 616 119285 8680 63335 206717 19567 945232 357876 8.61 12.80 -- 147.50/37.01 c N dy 676 126956 8680 63335 206717 27082 945232 566261 8.67 9.14 -- 155.08/38.92 c N dy 723 135346 8680 63335 206719 20667 945232 389526 8.69 9.27 -- 163.86/41.11 c N dy 779 144154 8680 63335 206722 29314 945232 620034 8.75 9.21 -- 173.04/43.42 c N dy 841 153723 8680 63335 206727 23037 945232 433032 8.78 9.27 -- 177.03/44.41 c S st 873 158008 8680 63335 206729 27199 945232 545268 8.81 8.17 -- 177.83/44.62 c S st 873 158510 8680 63335 206729 27701 945232 560538 8.81 no data -- 177.83/44.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 177.83/44.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 181.43/45.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 7 BRemL: 0 BRemN: 0 P: 33.4M T: 3.47 181.43/45.56 c bin-w-bin subsume rem 0 bins time: 0.07 s 185.41/46.56 c subs with bin: 1611 lits-rem: 92 v-fix: 0 time: 4.00 s 185.41/46.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 185.82/46.61 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.10 s 188.64/47.33 c lits-rem: 269 cl-subs: 474 v-elim: 0 v-fix: 0 time: 2.86 s 188.64/47.35 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.07 188.64/47.37 c vivif2 -- cl tried 25616 cl shrink 0 lits rem 0 time: 0.08 189.81/47.60 c asymm cl-useful: 0/9172/63335 lits-rem:0 time: 0.92 189.81/47.61 c calculated reachability. Time: 0.01 189.81/47.61 c N dy 873 158510 8680 63335 206736 25616 945232 536034 8.81 no data -- 199.38/50.09 c N dy 941 168655 8680 63335 206740 18959 945232 330681 8.85 12.04 -- 209.76/52.64 c N dy 1011 179510 8680 63335 206742 29571 945232 626698 8.89 11.68 -- 222.93/55.95 c N dy 1077 191056 8680 63335 206742 23301 945232 431280 8.91 13.20 -- 235.31/59.05 c N dy 1157 203555 8680 63335 206746 35420 945232 757062 8.95 9.52 -- 248.48/62.32 c N dy 1231 217144 8680 63335 206755 30106 945232 599697 8.98 9.53 -- 262.45/65.82 c N dy 1311 231067 8680 63335 206757 24171 945232 398870 9.00 9.74 -- 268.42/67.38 c S st 1342 237766 8680 63335 206758 30712 945232 559746 9.00 9.12 -- 269.22/67.59 c S st 1342 238267 8680 63335 206758 31212 945232 576331 9.00 no data -- 269.62/67.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 269.62/67.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 273.21/68.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 34.3M T: 3.63 273.21/68.57 c bin-w-bin subsume rem 0 bins time: 0.07 s 276.81/69.48 c subs with bin: 1202 lits-rem: 99 v-fix: 0 time: 3.63 s 277.21/69.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.11 s 277.21/69.54 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.10 s 280.01/70.30 c lits-rem: 448 cl-subs: 1687 v-elim: 0 v-fix: 0 time: 3.06 s 280.43/70.32 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.07 280.43/70.34 c vivif2 -- cl tried 28323 cl shrink 0 lits rem 0 time: 0.08 281.20/70.56 c asymm cl-useful: 0/8579/63335 lits-rem:0 time: 0.86 281.20/70.57 c calculated reachability. Time: 0.01 281.20/70.57 c N dy 1342 238267 8680 63335 206758 28323 945232 542071 9.00 no data -- 297.99/74.77 c N dy 1452 253631 8680 63335 206759 22953 945232 398418 9.06 9.56 -- 315.95/79.29 c N dy 1558 269941 8680 63335 206760 38996 945232 855869 9.10 9.63 -- 335.07/84.05 c N dy 1683 287317 8680 63335 206763 34527 945232 718517 9.15 9.69 -- 353.83/88.79 c N dy 1787 305752 8680 63335 206765 30023 945232 569970 9.17 11.23 -- 354.63/88.93 c F st 1792 306250 8680 63335 206765 30509 945232 583474 9.17 no data -- 377.01/94.55 c N dy 1897 325300 8680 63335 206768 25668 945232 429885 9.21 10.09 -- 399.73/100.21 c N dy 2036 345372 8680 63335 206771 45347 945232 991176 9.25 9.97 -- 412.89/103.54 c S st 2113 357400 8680 63335 206774 32635 945232 618903 9.27 8.60 -- 413.69/103.77 c S st 2113 357902 8680 63335 206774 33132 945232 634480 9.27 no data -- 413.69/103.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 413.69/103.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 417.69/104.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 35.4M T: 3.98 418.09/104.84 c bin-w-bin subsume rem 0 bins time: 0.07 s 422.08/105.85 c subs with bin: 443 lits-rem: 87 v-fix: 0 time: 4.04 s 422.08/105.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 422.48/105.90 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.10 s 425.70/106.71 c lits-rem: 282 cl-subs: 553 v-elim: 0 v-fix: 0 time: 3.22 s 425.70/106.73 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.08 425.70/106.76 c vivif2 -- cl tried 32136 cl shrink 0 lits rem 0 time: 0.10 426.46/106.99 c asymm cl-useful: 0/8025/63335 lits-rem:0 time: 0.94 426.86/107.00 c calculated reachability. Time: 0.01 426.86/107.00 c N dy 2113 357902 8680 63335 206774 32136 945232 622987 9.27 no data -- 451.14/113.13 c N dy 2249 377981 8680 63335 206776 26354 945232 429497 9.31 11.41 -- 474.68/119.05 c N dy 2360 398191 8680 63335 206780 46118 945232 957445 9.33 9.85 -- 499.42/125.22 c N dy 2487 418258 8680 63335 206782 39360 945232 793008 9.36 12.56 -- 523.36/131.20 c N dy 2613 438261 8680 63335 206788 31511 945232 542708 9.38 9.89 -- 546.51/137.08 c N dy 2745 458299 8680 63335 206790 51175 945232 1102787 9.41 10.91 -- 570.85/143.10 c N dy 2879 478366 8680 63335 206792 42387 945232 863604 9.44 11.45 -- 596.83/149.68 c N dy 2983 499506 8680 63335 206794 33698 945232 591995 9.45 9.96 -- 622.77/156.14 c N dy 3114 519582 8680 63335 206801 53400 945232 1187649 9.47 11.11 -- 643.89/161.44 c S st 3207 536855 8680 63335 206804 39929 945232 758150 9.48 7.74 -- 644.71/161.64 c S st 3207 537359 8680 63335 206806 40426 945232 769507 9.48 no data -- 644.71/161.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 644.71/161.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 648.67/162.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 0 BRemN: 0 P: 35.5M T: 4.01 649.10/162.71 c bin-w-bin subsume rem 0 bins time: 0.06 s 653.07/163.80 c subs with bin: 324 lits-rem: 132 v-fix: 0 time: 4.34 s 653.49/163.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.11 s 653.49/163.85 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.10 s 657.46/164.86 c lits-rem: 189 cl-subs: 693 v-elim: 0 v-fix: 0 time: 4.02 s 657.46/164.88 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.07 657.46/164.91 c vivif2 -- cl tried 39409 cl shrink 27 lits rem 27 time: 0.11 658.65/165.16 c asymm cl-useful: 0/8689/63335 lits-rem:0 time: 1.02 658.65/165.17 c calculated reachability. Time: 0.01 658.65/165.17 c N dy 3207 537359 8680 63335 206809 39409 945232 757248 9.48 no data -- 681.39/170.82 c N dy 3287 557765 8680 63335 206812 59292 945232 1302821 9.47 9.97 -- 707.33/177.30 c N dy 3409 577976 8680 63335 206813 47835 945232 963621 9.48 10.04 -- 732.91/183.75 c N dy 3512 598179 8680 63335 206817 35284 945232 576292 9.49 10.04 -- 756.43/189.61 c N dy 3626 618211 8680 63335 206821 54915 945232 1134608 9.50 10.04 -- 785.95/197.01 c N dy 3739 638336 8680 63335 206823 41356 945232 744884 9.51 10.06 -- 811.10/203.33 c N dy 3864 658551 8680 63335 206824 61170 945232 1306481 9.52 10.04 -- 837.04/209.84 c N dy 3976 678602 8680 63335 206826 46560 945232 867600 9.53 10.05 -- 862.97/216.31 c N dy 4086 698697 8680 63335 206826 66272 945232 1426085 9.53 14.63 -- 888.11/222.64 c N dy 4210 718861 8680 63335 206827 50772 945232 986143 9.55 10.10 -- 915.66/229.55 c N dy 4338 738892 8680 63335 206830 70440 945232 1565687 9.56 11.74 -- 939.60/235.56 c N dy 4420 759020 8680 63335 206831 53681 945232 987940 9.56 10.11 -- 967.14/242.46 c N dy 4524 779088 8680 63335 206833 73408 945232 1558051 9.56 13.74 -- 991.92/248.62 c N dy 4646 799180 8680 63335 206834 55907 945232 1087358 9.57 11.02 -- 1001.46/251.01 c S st 4687 806038 8680 63335 206834 62654 945232 1303110 9.57 no data -- 1002.26/251.27 c S st 4687 806542 8680 63335 206834 63153 945232 1319261 9.57 no data -- 1002.26/251.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 1002.26/251.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1007.45/252.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 39.8M T: 4.85 1007.45/252.59 c bin-w-bin subsume rem 0 bins time: 0.07 s 1012.64/253.84 c subs with bin: 221 lits-rem: 67 v-fix: 0 time: 4.99 s 1012.64/253.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 1012.64/253.89 c Removed useless bin: 0 fixed: 0 props: 1.06M time: 0.10 s 1021.82/256.10 c lits-rem: 272 cl-subs: 1348 v-elim: 0 v-fix: 0 time: 8.80 s 1021.82/256.12 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.08 1021.82/256.17 c vivif2 -- cl tried 61584 cl shrink 18 lits rem 18 time: 0.21 1023.01/256.44 c asymm cl-useful: 0/7956/63335 lits-rem:0 time: 1.08 1023.01/256.45 c calculated reachability. Time: 0.01 1023.01/256.46 c N dy 4687 806542 8680 63335 206834 61584 945232 1297492 9.57 no data -- 1051.35/263.53 c N dy 4803 826605 8680 63335 206840 42927 945232 661219 9.58 10.96 -- 1076.88/269.90 c N dy 4887 846994 8680 63335 206842 62856 945232 1190388 9.57 10.08 -- 1103.63/276.67 c N dy 5009 867057 8680 63335 206844 43394 945232 690338 9.58 12.17 -- 1129.16/283.06 c N dy 5132 887060 8680 63335 206847 62991 945232 1234745 9.59 10.16 -- 1155.91/289.76 c N dy 5220 907196 8680 63335 206849 42549 945232 640945 9.59 10.12 -- 1181.04/296.06 c N dy 5330 927248 8680 63335 206854 62224 945232 1204491 9.60 13.41 -- 1211.77/303.71 c N dy 5440 948168 8680 63335 206856 41602 945232 600715 9.60 10.14 -- 1237.35/310.18 c N dy 5555 968195 8680 63335 206860 61288 945232 1180738 9.61 11.12 -- 1266.45/317.42 c N dy 5658 989810 8680 63335 206861 82469 945232 1780911 9.61 10.15 -- 1292.00/323.80 c N dy 5764 1009854 8680 63335 206862 59971 945232 1111448 9.62 11.30 -- 1320.76/331.01 c N dy 5898 1029883 8680 63335 206863 79674 945232 1697683 9.63 12.06 -- 1349.87/338.30 c N dy 6014 1049930 8680 63335 206863 56219 945232 991863 9.64 11.96 -- 1377.01/345.17 c N dy 6116 1070100 8680 63335 206865 75968 945232 1541354 9.64 10.29 -- 1379.00/345.62 c F st 6123 1071875 8680 63335 206866 77687 945232 1583660 9.64 no data -- 1404.57/352.07 c N dy 6208 1090173 8680 63335 206867 51517 945232 838372 9.64 10.17 -- 1430.92/358.68 c N dy 6300 1110852 8680 63335 206867 71697 945232 1383040 9.64 10.32 -- 1458.82/365.65 c N dy 6380 1130876 8680 63335 206873 46229 945232 667928 9.64 10.18 -- 1485.56/372.33 c N dy 6491 1150973 8680 63335 206876 65858 945232 1238239 9.64 10.46 -- 1511.90/378.94 c N dy 6576 1170987 8680 63335 206878 85369 945232 1775337 9.64 11.00 -- 1541.43/386.37 c N dy 6694 1191009 8680 63335 206882 58996 945232 1008513 9.65 11.95 -- 1568.57/393.12 c S st 6809 1209815 8680 63335 206895 77464 945232 1554736 9.66 no data -- 1569.37/393.39 c S st 6809 1210319 8680 63335 206895 77964 945232 1569557 9.66 no data -- 1569.77/393.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 1569.77/393.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1574.95/394.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 41.3M T: 5.21 1574.95/394.81 c bin-w-bin subsume rem 0 bins time: 0.06 s 1580.18/396.08 c subs with bin: 713 lits-rem: 182 v-fix: 0 time: 5.07 s 1580.54/396.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 1580.54/396.13 c Removed useless bin: 0 fixed: 0 props: 1.05M time: 0.10 s 1591.71/398.95 c lits-rem: 305 cl-subs: 1684 v-elim: 0 v-fix: 0 time: 11.27 s 1591.71/398.97 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.07 1592.11/399.04 c vivif2 -- cl tried 75567 cl shrink 187 lits rem 195 time: 0.26 1593.34/399.31 c asymm cl-useful: 0/7143/63335 lits-rem:0 time: 1.08 1593.34/399.32 c calculated reachability. Time: 0.01 1593.34/399.32 c N dy 6809 1210319 8680 63335 206895 75567 945232 1538300 9.66 no data -- 1623.24/406.87 c N dy 6915 1230371 8680 63335 206897 48268 945232 705709 9.66 10.59 -- 1649.18/413.38 c N dy 6996 1250388 8680 63335 206897 67852 945232 1269430 9.66 10.18 -- 1677.52/420.48 c N dy 7115 1270412 8680 63335 206898 87547 945232 1867180 9.67 12.18 -- 1705.85/427.52 c N dy 7215 1290453 8680 63335 206899 59171 945232 993781 9.67 10.30 -- 1733.42/434.49 c N dy 7326 1310488 8680 63335 206899 78819 945232 1561033 9.68 13.29 -- 1767.31/442.97 c N dy 7460 1330580 8680 63335 206900 49528 945232 703760 9.69 11.84 -- 1793.65/449.59 c N dy 7541 1352085 8680 63335 206902 70579 945232 1270461 9.68 10.26 -- 1823.99/457.13 c N dy 7649 1372102 8680 63335 206904 90229 945232 1849451 9.69 10.28 -- 1853.91/464.69 c N dy 7754 1392222 8680 63335 206909 59993 945232 989788 9.69 10.33 -- 1883.45/472.02 c N dy 7865 1412501 8680 63335 206910 79921 945232 1578409 9.70 10.26 -- 1914.98/479.91 c N dy 7985 1432553 8680 63335 206913 99593 945232 2152490 9.70 11.23 -- 1952.92/489.47 c N dy 8051 1455945 8680 63335 206914 71289 945232 1199835 9.69 10.35 -- 1986.41/497.82 c N dy 8147 1476279 8680 63335 206918 91244 945232 1774889 9.69 10.22 -- 2019.18/506.04 c N dy 8256 1496872 8680 63335 206919 59529 945232 916961 9.70 10.27 -- 2046.68/512.95 c N dy 8357 1517232 8680 63335 206919 79527 945232 1477660 9.70 10.24 -- 2079.41/521.14 c N dy 8483 1537664 8680 63335 206919 99639 945232 2074977 9.70 10.35 -- 2109.74/528.76 c N dy 8600 1557716 8680 63335 206919 66324 945232 1108458 9.71 10.26 -- 2141.69/536.75 c N dy 8714 1577766 8680 63335 206920 86024 945232 1702310 9.72 10.23 -- 2177.22/545.66 c N dy 8805 1597896 8680 63335 206921 105722 945232 2264202 9.72 10.24 -- 2207.54/553.30 c N dy 8923 1618109 8680 63335 206921 71654 945232 1272714 9.72 10.25 -- 2237.45/560.70 c N dy 9009 1638436 8680 63335 206922 91553 945232 1826960 9.72 10.33 -- 2273.80/569.89 c N dy 9138 1658570 8680 63335 206923 56391 945232 804714 9.73 10.27 -- 2304.53/577.55 c N dy 9222 1678616 8680 63335 206924 76070 945232 1345835 9.73 10.24 -- 2334.42/585.06 c N dy 9310 1698712 8680 63335 206925 95658 945232 1887451 9.73 10.25 -- 2355.58/590.38 c S st 9343 1710320 8680 63335 206926 106987 945232 2174445 9.72 9.96 -- 2357.21/590.73 c S st 9343 1710824 8680 63335 206926 107489 945232 2191031 9.72 no data -- 2357.21/590.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 2357.21/590.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2363.15/592.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 45.3M T: 6.05 2363.55/592.39 c bin-w-bin subsume rem 0 bins time: 0.07 s 2369.14/593.74 c subs with bin: 295 lits-rem: 167 v-fix: 0 time: 5.39 s 2369.14/593.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 2369.14/593.79 c Removed useless bin: 0 fixed: 0 props: 1.05M time: 0.10 s 2391.93/599.44 c lits-rem: 440 cl-subs: 4741 v-elim: 0 v-fix: 0 time: 22.53 s 2391.93/599.46 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.08 2392.33/599.55 c vivif2 -- cl tried 102424 cl shrink 403 lits rem 532 time: 0.36 2393.49/599.83 c asymm cl-useful: 0/5998/63335 lits-rem:0 time: 1.11 2393.49/599.85 c calculated reachability. Time: 0.01 2393.49/599.85 c N dy 9343 1710824 8680 63335 206927 102424 945232 2117697 9.72 no data -- 2423.42/607.35 c N dy 9440 1731075 8680 63335 206930 66439 945232 1068934 9.72 10.31 -- 2451.76/614.43 c N dy 9558 1751196 8680 63335 206934 86171 945232 1641998 9.73 10.29 -- 2484.87/622.72 c N dy 9683 1771295 8680 63335 206937 105902 945232 2236388 9.73 10.30 -- 2518.41/631.11 c N dy 9792 1791322 8680 63335 206937 68766 945232 1134995 9.74 10.31 -- 2552.32/639.63 c N dy 9899 1812440 8680 63335 206938 89479 945232 1727623 9.74 10.30 -- 2587.05/648.34 c N dy 10001 1832454 8680 63335 206938 109100 945232 2306000 9.74 10.32 -- 2616.98/655.83 c N dy 10096 1853087 8680 63335 206941 71459 945232 1187357 9.74 10.53 -- 2649.70/664.01 c N dy 10222 1873330 8680 63335 206942 91368 945232 1771347 9.74 10.28 -- 2683.62/672.51 c N dy 10294 1893373 8680 63335 206943 111026 945232 2330368 9.74 11.66 -- 2714.35/680.29 c N dy 10401 1913450 8680 63335 206943 71825 945232 1172767 9.74 13.51 -- 2746.28/688.21 c N dy 10512 1933547 8680 63335 206944 91569 945232 1757398 9.75 11.29 -- 2780.20/696.76 c N dy 10620 1953658 8680 63335 206948 111311 945232 2329807 9.75 10.41 -- 2815.32/705.58 c N dy 10715 1974505 8680 63335 206948 71918 945232 1173265 9.75 10.29 -- 2844.84/712.97 c N dy 10824 1994579 8680 63335 206951 91610 945232 1737980 9.75 13.17 -- 2878.37/721.36 c N dy 10893 2016363 8680 63335 206953 112778 945232 2272304 9.75 10.42 -- 2914.32/730.33 c N dy 10969 2036388 8680 63335 206954 71646 945232 1123060 9.74 10.28 -- 2946.62/738.45 c N dy 11079 2056484 8680 63335 206956 91375 945232 1692253 9.75 10.88 -- 2980.17/746.85 c N dy 11181 2076846 8680 63335 206956 111394 945232 2275243 9.75 10.32 -- 3012.86/755.09 c N dy 11263 2096924 8680 63335 206956 69257 945232 1011906 9.75 10.78 -- 3040.41/761.95 c N dy 11343 2117118 8680 63335 206957 88946 945232 1535117 9.74 10.28 -- 3075.13/770.66 c N dy 11442 2138298 8680 63335 206957 109743 945232 2143820 9.75 10.43 -- 3113.43/780.26 c N dy 11545 2158491 8680 63335 206969 66900 945232 984608 9.75 10.39 -- 3144.96/788.18 c N dy 11649 2178551 8680 63335 206971 86544 945232 1545636 9.75 10.30 -- 3178.89/796.68 c N dy 11764 2198572 8680 63335 206973 106158 945232 2130433 9.75 10.91 -- 3200.83/802.20 c S st 11823 2210825 8680 63335 206974 118205 945232 2482342 9.75 no data -- 3202.43/802.57 c S st 11823 2211328 8680 63335 206974 118707 945232 2497921 9.75 no data -- 3202.43/802.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3202.43/802.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3208.85/804.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 47.5M T: 6.38 3209.62/804.32 c bin-w-bin subsume rem 1 bins time: 0.07 s 3215.21/805.74 c subs with bin: 561 lits-rem: 386 v-fix: 0 time: 5.66 s 3215.21/805.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 3215.21/805.79 c Removed useless bin: 0 fixed: 0 props: 1.05M time: 0.09 s 3254.31/815.54 c lits-rem: 180 cl-subs: 3452 v-elim: 0 v-fix: 0 time: 38.89 s 3254.31/815.56 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.08 3254.71/815.67 c vivif2 -- cl tried 114694 cl shrink 740 lits rem 885 time: 0.44 3255.92/815.95 c asymm cl-useful: 0/5255/63335 lits-rem:0 time: 1.14 3255.92/815.97 c calculated reachability. Time: 0.02 3255.92/815.97 c N dy 11823 2211328 8680 63335 206973 114694 945232 2442094 9.75 no data -- 3290.24/824.59 c N dy 11924 2231378 8680 63335 206976 70726 945232 1098657 9.76 10.28 -- 3323.76/832.94 c N dy 12041 2251576 8680 63335 206977 90571 945232 1678369 9.76 10.31 -- 3359.68/841.94 c N dy 12145 2272719 8680 63335 206978 111318 945232 2292105 9.76 10.36 -- 3396.40/851.16 c N dy 12255 2292780 8680 63335 206979 66269 945232 939644 9.76 10.29 -- 3425.93/858.55 c N dy 12357 2312935 8680 63335 206980 86023 945232 1507952 9.77 10.37 -- 3456.25/866.10 c N dy 12428 2332937 8680 63335 206981 105525 945232 2027849 9.76 10.30 -- 3492.17/875.18 c N dy 12535 2352999 8680 63335 206982 125216 945232 2596036 9.77 11.12 -- 3526.90/883.82 c N dy 12641 2373028 8680 63335 206984 79238 945232 1280824 9.77 10.94 -- 3562.81/892.88 c N dy 12744 2393215 8680 63335 206985 99032 945232 1853476 9.77 10.32 -- 3598.33/901.77 c N dy 12852 2413305 8680 63335 206985 118706 945232 2410910 9.77 10.35 -- 3636.64/911.37 c N dy 12955 2433403 8680 63335 206985 71787 945232 1060338 9.77 10.29 -- 3667.37/919.07 c N dy 13063 2453414 8680 63335 206985 91446 945232 1627361 9.78 12.05 -- 3703.69/928.10 c N dy 13175 2473661 8680 63335 206989 111358 945232 2224593 9.78 10.35 -- 3742.39/937.83 c N dy 13278 2493698 8680 63335 206989 131068 945232 2813509 9.78 10.33 -- 3777.12/946.54 c N dy 13407 2513831 8680 63335 206990 83133 945232 1388247 9.79 10.31 -- 3811.04/955.01 c N dy 13526 2534381 8680 63335 206993 103376 945232 1982562 9.79 10.39 -- 3846.97/964.05 c N dy 13635 2554419 8680 63335 206997 122993 945232 2534778 9.79 10.41 -- 3885.67/973.72 c N dy 13746 2574610 8680 63335 206997 74043 945232 1091699 9.80 10.40 -- 3927.98/984.30 c N dy 13851 2600964 8680 63335 207001 99783 945232 1791534 9.79 10.56 -- 3964.30/993.44 c N dy 13940 2621047 8680 63335 207002 119468 945232 2351346 9.79 13.10 -- 3997.42/1001.78 c N dy 14017 2641118 8680 63335 207010 139061 945232 2877822 9.79 10.35 -- 4028.55/1009.56 c N dy 14096 2661223 8680 63335 207013 89103 945232 1453309 9.79 10.32 -- 4063.27/1018.24 c N dy 14208 2681425 8680 63335 207020 108902 945232 2042776 9.79 10.40 -- 4097.19/1026.76 c N dy 14311 2701457 8680 63335 207020 128525 945232 2599202 9.79 10.43 -- 4113.19/1030.75 c S st 14351 2711328 8680 63335 207020 138161 945232 2864882 9.79 no data -- 4114.75/1031.15 c S st 14351 2711833 8680 63335 207020 138664 945232 2881068 9.79 no data -- 4114.75/1031.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4114.75/1031.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4121.56/1032.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 48.3M T: 6.75 4122.33/1033.00 c bin-w-bin subsume rem 0 bins time: 0.07 s 4127.92/1034.40 c subs with bin: 625 lits-rem: 192 v-fix: 0 time: 5.58 s 4127.92/1034.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8680 time: 0.12 s 4127.92/1034.46 c Removed useless bin: 0 fixed: 0 props: 1.05M time: 0.10 s 4198.96/1052.25 c lits-rem: 121 cl-subs: 4048 v-elim: 0 v-fix: 0 time: 70.85 s 4198.96/1052.27 c vivif2 -- cl tried 63335 cl shrink 0 lits rem 0 time: 0.08 4199.36/1052.39 c vivif2 -- cl tried 133991 cl shrink 519 lits rem 594 time: 0.49 4200.59/1052.68 c asymm cl-useful: 0/5040/63335 lits-rem:0 time: 1.13 4200.59/1052.69 c calculated reachability. Time: 0.01 4200.59/1052.69 c N dy 14351 2711833 8680 63335 207020 133991 945232 2813253 9.79 no data -- 4234.08/1061.07 c N dy 14446 2732297 8680 63335 207022 83605 945232 1331610 9.79 10.31 -- 4268.40/1069.62 c N dy 14563 2752315 8680 63335 207023 103287 945232 1900465 9.79 10.35 -- 4303.92/1078.54 c N dy 14663 2772364 8680 63335 207023 122918 945232 2457551 9.79 10.36 -- 4349.02/1089.86 c N dy 14740 2793002 8680 63335 207024 71631 945232 992628 9.79 10.31 -- 4381.74/1098.03 c N dy 14847 2813479 8680 63335 207024 91679 945232 1562518 9.79 10.35 -- 4414.47/1106.23 c N dy 14927 2834132 8680 63335 207025 111853 945232 2088678 9.79 10.38 -- 4449.99/1115.17 c N dy 15010 2854264 8680 63335 207026 131540 945232 2637319 9.79 10.34 -- 4489.10/1124.93 c N dy 15120 2874428 8680 63335 207027 78922 945232 1195049 9.79 10.43 -- 4523.42/1133.51 c N dy 15225 2894891 8680 63335 207028 99043 945232 1760645 9.80 10.53 -- 4558.94/1142.49 c N dy 15336 2915258 8680 63335 207029 119063 945232 2348364 9.80 10.45 -- 4598.85/1152.45 c N dy 15427 2935482 8680 63335 207031 138824 945232 2890226 9.80 10.32 -- 4634.77/1161.45 c N dy 15531 2955498 8680 63335 207031 84887 945232 1320791 9.80 10.44 -- 4671.87/1170.77 c N dy 15635 2978190 8680 63335 207032 107138 945232 1938150 9.80 10.35 -- 4709.00/1180.09 c N dy 15720 2998589 8680 63335 207032 127121 945232 2492710 9.80 10.42 -- 4750.50/1190.42 c N dy 15837 3019101 8680 63335 207033 147265 945232 3078425 9.80 10.60 -- 4784.86/1199.03 c N dy 15957 3039193 8680 63335 207034 92492 945232 1557389 9.80 10.33 --
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-3369621-1305433533/watcher-3369621-1305433533 -o /tmp/evaluation-result-3369621-1305433533/solver-3369621-1305433533 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369621-1305433533.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: 6.67 7.74 7.82 2/276 29869 /proc/meminfo: memFree=24849708/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=186956 CPUtime=0 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 3135 0 0 0 0 0 0 0 22 0 4 0 635768665 191442944 2763 33554432000 4194304 4650419 140734158969904 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 46739 2786 343 112 0 41704 0 [pid=29869/tid=29870] ppid=29866 vsize=189676 CPUtime=0 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) D 29866 29869 29180 0 -1 4202560 387 0 0 0 0 0 0 0 18 0 4 0 635768665 194228224 3365 33554432000 4194304 4650419 140734158969904 18446744073709551615 4316948 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=189676 CPUtime=0 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 894 0 0 0 0 0 0 0 18 0 4 0 635768665 194228224 3394 33554432000 4194304 4650419 140734158969904 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=189676 CPUtime=0 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 1013 0 0 0 0 0 0 0 18 0 4 0 635768665 194228224 3412 33554432000 4194304 4650419 140734158969904 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.0595941 s] /proc/loadavg: 6.67 7.74 7.82 2/276 29869 /proc/meminfo: memFree=24849708/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=358632 CPUtime=0.12 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 7242 0 0 0 8 4 0 0 18 0 4 0 635768665 367239168 6410 33554432000 4194304 4650419 140734158969904 18446744073709551615 4306185 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 89691 6424 344 112 0 84656 0 [pid=29869/tid=29870] ppid=29866 vsize=358764 CPUtime=0.03 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 1639 0 0 0 1 2 0 0 18 0 4 0 635768665 367374336 6424 33554432000 4194304 4650419 140734158969904 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=358764 CPUtime=0.02 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) S 29866 29869 29180 0 -1 4202560 1602 0 0 0 1 1 0 0 18 0 4 0 635768665 367374336 6444 33554432000 4194304 4650419 140734158969904 18446744073709551615 254261721582 0 0 4096 2 18446604443201282368 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=358764 CPUtime=0.04 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 1614 0 0 0 3 1 0 0 18 0 4 0 635768665 367374336 6468 33554432000 4194304 4650419 140734158969904 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 358632 [startup+0.104502 s] /proc/loadavg: 6.67 7.74 7.82 2/276 29869 /proc/meminfo: memFree=24849708/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=361936 CPUtime=0.29 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 9826 0 0 0 23 6 0 0 18 0 4 0 635768665 370622464 8994 33554432000 4194304 4650419 140734158969904 18446744073709551615 4371237 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 92553 9062 362 112 0 87518 0 [pid=29869/tid=29870] ppid=29866 vsize=370212 CPUtime=0.06 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 2449 0 0 0 4 2 0 0 18 0 4 0 635768665 379097088 9101 33554432000 4194304 4650419 140734158969904 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=370212 CPUtime=0.05 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) S 29866 29869 29180 0 -1 4202560 2065 0 0 0 4 1 0 0 18 0 4 0 635768665 379097088 9136 33554432000 4194304 4650419 140734158969904 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=370212 CPUtime=0.09 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 2185 0 0 0 8 1 0 0 18 0 4 0 635768665 379097088 9166 33554432000 4194304 4650419 140734158969904 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 361936 [startup+0.388432 s] /proc/loadavg: 6.67 7.74 7.82 2/276 29869 /proc/meminfo: memFree=24849708/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=364900 CPUtime=1.42 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 19546 0 0 0 131 11 0 0 18 0 4 0 635768665 373657600 18669 33554432000 4194304 4650419 140734158969904 18446744073709551615 4450187 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 91225 18719 388 112 0 86190 0 [pid=29869/tid=29870] ppid=29866 vsize=364900 CPUtime=0.35 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 5385 0 0 0 30 5 0 0 18 0 4 0 635768665 373657600 18780 33554432000 4194304 4650419 140734158969904 18446744073709551615 254261313655 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=364900 CPUtime=0.34 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) S 29866 29869 29180 0 -1 4202560 4798 0 0 0 31 3 0 0 18 0 4 0 635768665 373657600 18798 33554432000 4194304 4650419 140734158969904 18446744073709551615 254261721582 0 0 4096 2 18446604443201282368 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=364900 CPUtime=0.36 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 2805 0 0 0 35 1 0 0 18 0 4 0 635768665 373657600 18815 33554432000 4194304 4650419 140734158969904 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 364900 [startup+0.700377 s] /proc/loadavg: 6.67 7.74 7.82 2/276 29869 /proc/meminfo: memFree=24849708/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=368076 CPUtime=2.65 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 31971 0 0 0 250 15 0 0 18 0 4 0 635768665 376909824 29105 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 92019 29105 393 112 0 86984 0 [pid=29869/tid=29870] ppid=29866 vsize=368076 CPUtime=0.65 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 9672 0 0 0 58 7 0 0 18 0 4 0 635768665 376909824 29105 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=368076 CPUtime=0.64 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 9098 0 0 0 60 4 0 0 18 0 4 0 635768665 376909824 29105 33554432000 4194304 4650419 140734158969904 18446744073709551615 4331084 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=368076 CPUtime=0.68 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 3221 0 0 0 67 1 0 0 18 0 4 0 635768665 376909824 29105 33554432000 4194304 4650419 140734158969904 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 368076 [startup+1.50024 s] /proc/loadavg: 6.78 7.74 7.82 9/286 29884 /proc/meminfo: memFree=24599892/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=368180 CPUtime=5.85 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 33713 0 0 0 569 16 0 0 19 0 4 0 635768665 377016320 30399 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 92045 30399 393 112 0 87010 0 [pid=29869/tid=29870] ppid=29866 vsize=368180 CPUtime=1.45 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 10085 0 0 0 138 7 0 0 19 0 4 0 635768665 377016320 30399 33554432000 4194304 4650419 140734158969904 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=368180 CPUtime=1.43 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 9426 0 0 0 139 4 0 0 19 0 4 0 635768665 377016320 30399 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=368180 CPUtime=1.47 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 3992 0 0 0 146 1 0 0 19 0 4 0 635768665 377016320 30399 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364838 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.85 Current children cumulated vsize (KiB) 368180 [startup+3.10095 s] /proc/loadavg: 6.78 7.74 7.82 9/286 29884 /proc/meminfo: memFree=24583400/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=372464 CPUtime=12.23 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 37251 0 0 0 1207 16 0 0 23 0 4 0 635768665 381403136 32159 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 93116 32159 394 112 0 88081 0 [pid=29869/tid=29870] ppid=29866 vsize=372464 CPUtime=3.05 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 12025 0 0 0 298 7 0 0 22 0 4 0 635768665 381403136 32159 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=372464 CPUtime=3.02 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 9754 0 0 0 298 4 0 0 22 0 4 0 635768665 381403136 32159 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365040 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=372464 CPUtime=3.08 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 4916 0 0 0 306 2 0 0 24 0 4 0 635768665 381403136 32159 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.23 Current children cumulated vsize (KiB) 372464 [startup+6.30039 s] /proc/loadavg: 6.78 7.74 7.82 9/286 29884 /proc/meminfo: memFree=24553808/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=383524 CPUtime=24.99 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 44660 0 0 0 2481 18 0 0 25 0 4 0 635768665 392728576 34438 33554432000 4194304 4650419 140734158969904 18446744073709551615 4370299 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 95881 34438 396 112 0 90846 0 [pid=29869/tid=29870] ppid=29866 vsize=383524 CPUtime=6.24 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 13227 0 0 0 616 8 0 0 25 0 4 0 635768665 392728576 34438 33554432000 4194304 4650419 140734158969904 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=383524 CPUtime=6.19 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 11598 0 0 0 615 4 0 0 25 0 4 0 635768665 392728576 34438 33554432000 4194304 4650419 140734158969904 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=383524 CPUtime=6.27 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 7491 0 0 0 625 2 0 0 25 0 4 0 635768665 392728576 34438 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.99 Current children cumulated vsize (KiB) 383524 [startup+12.7003 s] /proc/loadavg: 7.04 7.77 7.83 9/286 29884 /proc/meminfo: memFree=24450428/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=386112 CPUtime=50.53 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 64273 0 0 0 5030 23 0 0 25 0 4 0 635768665 395378688 48192 33554432000 4194304 4650419 140734158969904 18446744073709551615 4370630 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 96528 48192 402 112 0 91493 0 [pid=29869/tid=29870] ppid=29866 vsize=386112 CPUtime=12.65 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 17020 0 0 0 1255 10 0 0 25 0 4 0 635768665 395378688 48192 33554432000 4194304 4650419 140734158969904 18446744073709551615 4475972 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=386112 CPUtime=12.53 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 16225 0 0 0 1247 6 0 0 25 0 4 0 635768665 395378688 48192 33554432000 4194304 4650419 140734158969904 18446744073709551615 4439106 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=386112 CPUtime=12.68 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 15576 0 0 0 1264 4 0 0 25 0 4 0 635768665 395378688 48192 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.53 Current children cumulated vsize (KiB) 386112 [startup+25.501 s] /proc/loadavg: 7.18 7.77 7.83 9/286 29885 /proc/meminfo: memFree=24404172/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=390484 CPUtime=101.61 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 82935 0 0 0 10134 27 0 0 25 0 4 0 635768665 399855616 51841 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 97621 51841 396 112 0 92586 0 [pid=29869/tid=29870] ppid=29866 vsize=390484 CPUtime=25.45 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 20622 0 0 0 2534 11 0 0 25 0 4 0 635768665 399855616 51841 33554432000 4194304 4650419 140734158969904 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=390484 CPUtime=25.2 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 20723 0 0 0 2514 6 0 0 25 0 4 0 635768665 399855616 51841 33554432000 4194304 4650419 140734158969904 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=390484 CPUtime=25.48 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 21469 0 0 0 2543 5 0 0 25 0 4 0 635768665 399855616 51841 33554432000 4194304 4650419 140734158969904 18446744073709551615 4540186 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.61 Current children cumulated vsize (KiB) 390484 [startup+51.1005 s] /proc/loadavg: 7.46 7.79 7.83 9/286 29885 /proc/meminfo: memFree=24319040/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=378564 CPUtime=203.77 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 123494 0 0 0 20342 35 0 0 25 0 4 0 635768665 387649536 55358 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 94641 55358 396 112 0 89606 0 [pid=29869/tid=29870] ppid=29866 vsize=378564 CPUtime=51.04 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 31186 0 0 0 5092 12 0 0 25 0 4 0 635768665 387649536 55358 33554432000 4194304 4650419 140734158969904 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=378564 CPUtime=50.57 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 29451 0 0 0 5049 8 0 0 25 0 4 0 635768665 387649536 55358 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=378564 CPUtime=51.08 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 33987 0 0 0 5099 9 0 0 25 0 4 0 635768665 387649536 55358 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366841 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) 378564 [startup+102.31 s] /proc/loadavg: 7.93 7.87 7.85 9/286 29887 /proc/meminfo: memFree=24133260/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=565076 CPUtime=408.14 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 184433 0 0 0 40764 50 0 0 25 0 4 0 635768665 578637824 77346 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 141269 77346 396 112 0 136234 0 [pid=29869/tid=29870] ppid=29866 vsize=565076 CPUtime=102.24 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 47002 0 0 0 10208 16 0 0 25 0 4 0 635768665 578637824 77346 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=565076 CPUtime=101.31 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 47203 0 0 0 10119 12 0 0 25 0 4 0 635768665 578637824 77346 33554432000 4194304 4650419 140734158969904 18446744073709551615 4514547 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=565076 CPUtime=102.29 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 49595 0 0 0 10216 13 0 0 25 0 4 0 635768665 578637824 77346 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.14 Current children cumulated vsize (KiB) 565076 [startup+162.301 s] ################ # More data... # ################ [pid=29869] ppid=29866 vsize=772248 CPUtime=2802.55 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 595394 0 0 0 280051 204 0 0 25 0 4 0 635768665 790781952 119071 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 193062 119071 396 112 0 188027 0 [pid=29869/tid=29870] ppid=29866 vsize=772248 CPUtime=702.2 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 165668 0 0 0 70165 55 0 0 25 0 4 0 635768665 790781952 119071 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=772248 CPUtime=695.76 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 130589 0 0 0 69520 56 0 0 25 0 4 0 635768665 790781952 119071 33554432000 4194304 4650419 140734158969904 18446744073709551615 4328424 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=772248 CPUtime=702.3 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 152415 0 0 0 70181 49 0 0 25 0 4 0 635768665 790781952 119071 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2802.55 Current children cumulated vsize (KiB) 772248 [startup+762.311 s] /proc/loadavg: 8.15 8.09 7.95 9/286 29963 /proc/meminfo: memFree=22928872/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=789012 CPUtime=3042.03 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 619063 0 0 0 303989 214 0 0 25 0 4 0 635768665 807948288 130006 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 197253 130006 396 112 0 192218 0 [pid=29869/tid=29870] ppid=29866 vsize=789012 CPUtime=762.21 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 174392 0 0 0 76163 58 0 0 25 0 4 0 635768665 807948288 130006 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=789012 CPUtime=755.22 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 134906 0 0 0 75463 59 0 0 25 0 4 0 635768665 807948288 130006 33554432000 4194304 4650419 140734158969904 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=789012 CPUtime=762.3 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 160686 0 0 0 76178 52 0 0 25 0 4 0 635768665 807948288 130006 33554432000 4194304 4650419 140734158969904 18446744073709551615 4363720 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3042.03 Current children cumulated vsize (KiB) 789012 [startup+822.301 s] /proc/loadavg: 8.16 8.10 7.96 9/286 29965 /proc/meminfo: memFree=22923380/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=772840 CPUtime=3281.45 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 638398 0 0 0 327924 221 0 0 25 0 4 0 635768665 791388160 127391 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 193210 127391 396 112 0 188175 0 [pid=29869/tid=29870] ppid=29866 vsize=772840 CPUtime=822.19 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 181437 0 0 0 82158 61 0 0 25 0 4 0 635768665 791388160 127391 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=772840 CPUtime=814.66 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 138923 0 0 0 81406 60 0 0 25 0 4 0 635768665 791388160 127391 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=772840 CPUtime=822.3 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 166035 0 0 0 82176 54 0 0 25 0 4 0 635768665 791388160 127391 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3281.45 Current children cumulated vsize (KiB) 772840 [startup+882.3 s] /proc/loadavg: 8.15 8.11 7.97 9/286 29966 /proc/meminfo: memFree=22785344/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=870508 CPUtime=3520.9 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 663657 0 0 0 351860 230 0 0 25 0 4 0 635768665 891400192 133265 33554432000 4194304 4650419 140734158969904 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 217627 133265 396 112 0 212592 0 [pid=29869/tid=29870] ppid=29866 vsize=870508 CPUtime=882.19 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 187855 0 0 0 88156 63 0 0 25 0 4 0 635768665 891400192 133265 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=870508 CPUtime=874.11 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 143086 0 0 0 87349 62 0 0 25 0 4 0 635768665 891400192 133265 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=870508 CPUtime=882.3 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 172776 0 0 0 88174 56 0 0 25 0 4 0 635768665 891400192 133265 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3520.9 Current children cumulated vsize (KiB) 870508 [startup+942.301 s] /proc/loadavg: 8.22 8.13 7.99 9/286 29968 /proc/meminfo: memFree=22756936/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=804972 CPUtime=3760.36 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 690993 0 0 0 375794 242 0 0 25 0 4 0 635768665 824291328 136906 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 201243 136906 396 112 0 196208 0 [pid=29869/tid=29870] ppid=29866 vsize=804972 CPUtime=942.19 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 195575 0 0 0 94153 66 0 0 25 0 4 0 635768665 824291328 136906 33554432000 4194304 4650419 140734158969904 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=804972 CPUtime=933.57 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 147362 0 0 0 93293 64 0 0 25 0 4 0 635768665 824291328 136906 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=804972 CPUtime=942.3 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 180395 0 0 0 94170 60 0 0 25 0 4 0 635768665 824291328 136906 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3760.36 Current children cumulated vsize (KiB) 804972 [startup+1002.3 s] /proc/loadavg: 8.21 8.14 8.00 9/286 29970 /proc/meminfo: memFree=22744016/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=822320 CPUtime=3999.82 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 714187 0 0 0 399731 251 0 0 25 0 4 0 635768665 842055680 136016 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 205580 136016 396 112 0 200545 0 [pid=29869/tid=29870] ppid=29866 vsize=822320 CPUtime=1002.19 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 201362 0 0 0 100150 69 0 0 25 0 4 0 635768665 842055680 136016 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=822320 CPUtime=993.01 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 154926 0 0 0 99235 66 0 0 25 0 4 0 635768665 842055680 136016 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=822320 CPUtime=1002.3 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 188021 0 0 0 100167 63 0 0 25 0 4 0 635768665 842055680 136016 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3999.82 Current children cumulated vsize (KiB) 822320 [startup+1062.3 s] /proc/loadavg: 8.19 8.14 8.00 9/286 29971 /proc/meminfo: memFree=22634752/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=776136 CPUtime=4239.27 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 843020 0 0 0 423653 274 0 0 25 0 4 0 635768665 794763264 133775 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 194034 133775 396 112 0 188999 0 [pid=29869/tid=29870] ppid=29866 vsize=776136 CPUtime=1062.19 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 209017 0 0 0 106148 71 0 0 25 0 4 0 635768665 794763264 133775 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=776136 CPUtime=1052.47 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 162844 0 0 0 105177 70 0 0 25 0 4 0 635768665 794763264 133775 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=776136 CPUtime=1062.31 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 193662 0 0 0 106165 66 0 0 25 0 4 0 635768665 794763264 133775 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4239.27 Current children cumulated vsize (KiB) 776136 [startup+1122.3 s] /proc/loadavg: 8.17 8.14 8.01 9/286 29973 /proc/meminfo: memFree=22621468/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=793540 CPUtime=4478.72 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 869729 0 0 0 447589 283 0 0 25 0 4 0 635768665 812584960 130897 33554432000 4194304 4650419 140734158969904 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 198385 130897 396 112 0 193350 0 [pid=29869/tid=29870] ppid=29866 vsize=793540 CPUtime=1122.19 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 217592 0 0 0 112145 74 0 0 25 0 4 0 635768665 812584960 130897 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=793540 CPUtime=1111.92 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 168928 0 0 0 111119 73 0 0 25 0 4 0 635768665 812584960 130897 33554432000 4194304 4650419 140734158969904 18446744073709551615 4333843 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=793540 CPUtime=1122.31 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 197865 0 0 0 112164 67 0 0 25 0 4 0 635768665 812584960 130897 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4478.72 Current children cumulated vsize (KiB) 793540 [startup+1182.3 s] /proc/loadavg: 8.16 8.15 8.01 9/286 29974 /proc/meminfo: memFree=22636580/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=828600 CPUtime=4718.18 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 898233 0 0 0 471525 293 0 0 25 0 4 0 635768665 848486400 144657 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 207150 144657 396 112 0 202115 0 [pid=29869/tid=29870] ppid=29866 vsize=828600 CPUtime=1182.19 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 224214 0 0 0 118143 76 0 0 25 0 4 0 635768665 848486400 144657 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=828600 CPUtime=1171.37 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 177272 0 0 0 117062 75 0 0 25 0 4 0 635768665 848486400 144657 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=828600 CPUtime=1182.31 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 205328 0 0 0 118162 69 0 0 25 0 4 0 635768665 848486400 144657 33554432000 4194304 4650419 140734158969904 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4718.18 Current children cumulated vsize (KiB) 828600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.9 s] /proc/loadavg: 8.19 8.15 8.02 9/286 29975 /proc/meminfo: memFree=22635824/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=828600 CPUtime=4800.41 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 906632 0 0 0 479745 296 0 0 25 0 4 0 635768665 848486400 140448 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 207150 140448 396 112 0 202115 0 [pid=29869/tid=29870] ppid=29866 vsize=828600 CPUtime=1202.8 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 227515 0 0 0 120204 76 0 0 25 0 4 0 635768665 848486400 140448 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=828600 CPUtime=1191.79 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 178653 0 0 0 119102 77 0 0 25 0 4 0 635768665 848486400 140448 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=828600 CPUtime=1202.92 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 208488 0 0 0 120222 70 0 0 25 0 4 0 635768665 848486400 140448 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 828600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1202.9 s] /proc/loadavg: 8.19 8.15 8.02 9/286 29975 /proc/meminfo: memFree=22635824/32951124 swapFree=67057896/67111528 [pid=29869] ppid=29866 vsize=828600 CPUtime=4800.41 cores=0,2,4,6 /proc/29869/stat : 29869 (strangenight1-m) R 29866 29869 29180 0 -1 4202496 906632 0 0 0 479745 296 0 0 25 0 4 0 635768665 848486400 140448 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/29869/statm: 207150 140448 396 112 0 202115 0 [pid=29869/tid=29870] ppid=29866 vsize=828600 CPUtime=1202.8 cores=0,2,4,6 /proc/29869/task/29870/stat : 29870 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 227515 0 0 0 120204 76 0 0 25 0 4 0 635768665 848486400 140448 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=29869/tid=29871] ppid=29866 vsize=828600 CPUtime=1191.79 cores=0,2,4,6 /proc/29869/task/29871/stat : 29871 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 178653 0 0 0 119102 77 0 0 25 0 4 0 635768665 848486400 140448 33554432000 4194304 4650419 140734158969904 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=29869/tid=29872] ppid=29866 vsize=828600 CPUtime=1202.92 cores=0,2,4,6 /proc/29869/task/29872/stat : 29872 (strangenight1-m) R 29866 29869 29180 0 -1 4202560 208488 0 0 0 120222 70 0 0 25 0 4 0 635768665 848486400 140448 33554432000 4194304 4650419 140734158969904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 828600 Child ended because it received signal 15 (SIGTERM) Real time (s): 1202.94 CPU time (s): 4800.48 CPU user time (s): 4797.48 CPU system time (s): 2.99354 CPU usage (%): 399.061 Max. virtual memory (cumulated for all children) (KiB): 907216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.48 system time used= 2.99354 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 906633 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= 16503 involuntary context switches= 25057 runsolver used 3.2935 second user time and 7.61184 second system time The end
Begin job on node140 at 2011-05-15 06:25:33 IDJOB=3369621 IDBENCH=88062 IDSOLVER=1846 FILE ID=node140/3369621-1305433533 RUNJOBID= node140-1305433533-29853 PBS_JOBID= 13324604 Free space on /tmp= 73504 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369621-1305433533/watcher-3369621-1305433533 -o /tmp/evaluation-result-3369621-1305433533/solver-3369621-1305433533 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369621-1305433533.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82e833e539576c6d79252b19dcace0cf RANDOM SEED=1078917140 node140.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.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 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.833 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.833 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.833 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.833 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.74 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.833 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.833 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: 24849988 kB Buffers: 308772 kB Cached: 3950744 kB SwapCached: 8056 kB Active: 4921440 kB Inactive: 2870620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24849988 kB SwapTotal: 67111528 kB SwapFree: 67057896 kB Dirty: 14580 kB Writeback: 0 kB AnonPages: 3529408 kB Mapped: 22560 kB Slab: 224064 kB PageTables: 21680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 45567072 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73480 MiB End job on node140 at 2011-05-15 06:45:38