Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-IncWMaxSatz-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 22311 o 4980 o 4975 o 4973 o 4955 o 4949 o 4946 o 4940 o 4935 o 4932 o 4927 o 4917 o 4916 o 4915 o 4910 o 4909 o 4901 o 4900 o 4899 o 4897 o 4893 o 4887 o 4884 o 4879 o 4873 o 4872 o 4860 o 4854 o 4846 o 4841 o 4835 o 4833 o 4829 o 4828 o 4824 o 4819 o 4817 o 4814 o 4812 o 4804 o 4803 o 4798 o 4796 o 4795 o 4790 o 4779 o 4775 o 4773 o 4765 o 4764 o 4759 o 4751 o 4748 o 4745 o 4742 o 4741 o 4740 o 4728 o 4727 o 4714 o 4711 o 4710 o 4709 o 4706 o 4704 o 4700 o 4696 o 4690 o 4678 o 4672 o 4669 o 4664 o 4663 o 4659 o 4653 o 4646 o 4644 o 4638 o 4635 o 4634 o 4631 o 4628 o 4622 o 4619 o 4612 o 4603 o 4598 o 4597 o 4593 o 4591 o 4581 o 4579 o 4578 o 4576 o 4574 o 4573 o 4570 o 4566 o 4561 o 4557 o 4555 o 4554 o 4553 o 4551 o 4544 o 4542 o 4535 o 4533 o 4532 o 4526 o 4523 o 4518 o 4517 o 4513 o 4511 o 4505 o 4503 o 4499 o 4498 o 4497 o 4490 o 4485 o 4484 o 4482 o 4478 o 4473 o 4472 o 4468 o 4467 o 4464 o 4463 o 4462 o 4460 o 4459 o 4453 o 4449 o 4447 o 4445 o 4442 o 4436 o 4431 o 4428 o 4424 o 4419 o 4411 o 4399 o 4398 o 4397 o 4394 o 4393 o 4390 o 4381 o 4379 o 4377 o 4367 o 4363 o 4351 o 4349 o 4348 o 4341 o 4335 o 4328 s OPTIMUM FOUND c Optimal Solution = 4328 v -1 -2 3 -4 -5 -6 7 -8 9 -10 -11 -12 13 -14 15 -16 -17 -18 -19 -20 21 22 -23 24 25 -26 27 28 29 30 -31 -32 33 -34 -35 36 -37 38 -39 40 -41 -42 43 -44 -45 -46 -47 -48 -49 50 51 -52 53 -54 55 56 57 58 59 60 61 62 63 -64 -65 -66 67 68 69 -70 71 72 -73 -74 -75 76 -77 78 79 80 -81 82 83 -84 85 -86 87 -88 -89 -90 91 92 -93 -94 95 -96 97 98 -99 100 -101 102 103 -104 105 106 107 -108 109 110 111 -112 113 114 115 116 -117 118 119 120 -121 -122 -123 124 125 -126 127 128 129 -130 131 -132 -133 134 -135 -136 -137 138 139 140 -141 142 -143 144 145 146 147 -148 -149 -150 c Program terminated in 70.950 seconds. 70.941u 0.008s 1:10.95 99.9% 0+0k 0+0io 0pf+0w