Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | ? (TO) | 3602.08 | 3610.6 |
| Name | PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb |
| MD5SUM | 76d4374776c44997889e9fdaf7321aa0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -206754 |
| Best CPU time to get the best result obtained on this benchmark | 3553.95 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 44809 |
| Total number of constraints | 297596 |
| Number of constraints which are clauses | 297595 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8416 |
| Number of terms in the objective function | 243 |
| Biggest coefficient in the objective function | 6765 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 212068 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 6765 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 212068 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.78/1.84 o 0 6.37/6.44 o -2 6.37/6.45 o -10 6.37/6.46 o -11 6.37/6.47 o -100 6.37/6.48 o -108 6.37/6.49 o -129 6.47/6.50 o -130 6.47/6.51 o -143 6.47/6.52 o -148 6.47/6.53 o -203 6.47/6.54 o -206 6.47/6.55 o -219 6.47/6.56 o -220 6.47/6.57 o -228 6.47/6.58 o -230 6.47/6.59 o -264 6.57/6.60 o -266 6.57/6.61 o -410 6.57/6.62 o -418 6.57/6.64 o -431 6.57/6.64 o -452 6.57/6.65 o -454 6.57/6.66 o -467 6.57/6.67 o -470 6.57/6.68 o -478 6.57/6.69 o -480 6.67/6.70 o -493 6.67/6.71 o -514 6.67/6.72 o -658 6.67/6.73 o -671 6.67/6.75 o -815 6.67/6.76 o -1802 6.67/6.77 o -4386 6.67/6.78 o -4996 6.67/6.79 o -5606 6.77/6.80 o -6593 6.77/6.81 o -10774 6.77/6.82 o -11151 6.77/6.83 o -15332 6.77/6.84 o -15709 6.77/6.86 o -18293 6.77/6.87 o -22474 6.77/6.88 o -22851 6.77/6.89 o -27032 6.87/6.90 o -28019 6.87/6.91 o -28252 6.87/6.92 o -28485 6.87/6.93 o -30082 6.87/6.93 o -32666 6.87/6.96 o -33119 6.87/6.98 o -33174 6.97/7.02 o -33175 6.97/7.04 o -33230 6.97/7.05 o -33234 6.97/7.06 o -33235 6.97/7.07 o -33243 6.97/7.08 o -33387 6.97/7.10 o -33389 7.07/7.11 o -33392 7.07/7.12 o -33400 7.07/7.13 o -33401 7.07/7.14 o -33409 7.07/7.15 o -33412 7.07/7.17 o -40177 7.07/7.18 o -40179 7.07/7.19 o -40192 7.17/7.20 o -40205 7.17/7.21 o -40582 7.17/7.22 o -41569 7.17/7.23 o -41571 7.17/7.25 o -44155 7.17/7.26 o -45142 7.17/7.27 o -45752 7.17/7.28 o -45807 7.17/7.29 o -45815 7.17/7.29 o -47412 7.27/7.30 o -47433 7.27/7.31 o -47441 7.27/7.32 o -47462 7.27/7.34 o -47839 7.27/7.35 o -47847 7.27/7.36 o -47868 7.27/7.37 o -47869 7.27/7.38 o -47877 7.27/7.39 o -47911 7.36/7.41 o -47912 7.36/7.42 o -47913 7.36/7.42 o -49510 7.36/7.44 o -49511 7.36/7.45 o -49566 7.36/7.46 o -49569 7.36/7.47 o -50556 7.36/7.48 o -50558 7.46/7.50 o -50566 7.46/7.51 o -54747 7.46/7.52 o -54748 7.46/7.53 o -54749 7.46/7.55 o -54750 7.46/7.56 o -54763 7.46/7.57 o -54839 7.46/7.59 o -55360 7.56/7.62 o -57334 7.56/7.65 o -57936 7.56/7.68 o -57949 7.56/7.69 o -61520 7.66/7.70 o -62117 8.16/8.21 o -62127 8.16/8.23 o -62203 8.46/8.53 o -64088 8.56/8.65 o -64099 8.56/8.66 o -64102 8.56/8.67 o -64178 8.56/8.68 o -64188 8.56/8.69 o -64264 8.66/8.74 o -64463 8.66/8.76 o -64696 8.66/8.77 o -64709 8.66/8.78 o -64785 8.76/8.82 o -64790 8.76/8.82 o -64793 8.76/8.84 o -64796 8.86/8.91 o -64869 8.86/8.94 o -65157 9.07/9.12 o -66377 9.07/9.13 o -66380 9.07/9.14 o -66390 9.07/9.16 o -66466 9.37/9.49 o -66476 9.47/9.50 o -66751 9.47/9.52 o -67361 10.47/10.56 o -67372 10.47/10.57 o -67375 10.47/10.58 o -67451 10.47/10.59 o -67461 10.57/10.61 o -67736 11.36/11.42 o -67741 11.36/11.43 o -67744 11.36/11.44 o -67747 11.36/11.45 o -67749 11.36/11.47 o -67830 11.36/11.48 o -67833 11.36/11.49 o -67919 11.56/11.60 o -68351 11.56/11.61 o -68427 12.26/12.32 o -68430 12.26/12.33 o -68443 12.26/12.34 o -68492 12.26/12.39 o -68945 18.54/18.64 o -68952 18.54/18.66 o -68953 18.54/18.67 o -68966 18.54/18.68 o -69042 19.54/19.68 o -69047 19.54/19.69 o -69050 19.64/19.71 o -69123 20.24/20.37 o -69133 20.24/20.39 o -69134 20.34/20.41 o -69140 20.34/20.46 o -69141 20.34/20.48 o -69142 20.44/20.55 o -69143 20.44/20.59 o -69145 20.54/20.61 o -69152 20.54/20.65 o -69153 20.54/20.70 o -69158 20.64/20.73 o -69205 20.64/20.74 o -69208 20.84/20.98 o -69211 21.14/21.23 o -69212 21.14/21.25 o -69213 23.04/23.14 o -69215 23.33/23.48 o -69216 29.42/29.57 o -69218 31.02/31.15 o -69219 31.02/31.18 o -72400 31.02/31.19 o -72401 31.11/31.20 o -72402 31.11/31.22 o -72403 31.11/31.24 o -72404 31.11/31.25 o -72407 31.11/31.26 o -72438 31.11/31.27 o -73391 31.11/31.29 o -73766 31.21/31.30 o -73792 31.21/31.31 o -73813 31.21/31.32 o -73902 31.21/31.33 o -73991 31.21/31.34 o -73994 31.21/31.35 o -73996 31.21/31.36 o -74025 31.21/31.37 o -74028 31.41/31.51 o -77795 31.41/31.52 o -77939 31.41/31.56 o -77970 31.41/31.57 o -77991 31.41/31.59 o -78169 31.51/31.60 o -78172 31.51/31.61 o -78203 31.51/31.65 o -78205 31.51/31.66 o -78208 31.51/31.67 o -78234 31.51/31.68 o -78255 31.61/31.70 o -78310 31.61/31.73 o -78331 31.61/31.75 o -78332 31.61/31.76 o -78363 31.61/31.77 o -78384 31.71/31.80 o -78385 31.71/31.81 o -78387 31.71/31.82 o -78403 31.71/31.88 o -78416 31.71/31.89 o -78419 31.81/31.91 o -78429 31.91/32.06 o -78442 32.01/32.10 o -78463 32.11/32.25 o -78489 32.11/32.26 o -78492 32.11/32.28 o -78510 32.21/32.30 o -78513 32.21/32.32 o -78523 32.21/32.35 o -78549 32.21/32.35 o -78552 32.31/32.40 o -78555 32.31/32.42 o -78556 32.31/32.43 o -78561 32.31/32.45 o -78563 32.41/32.51 o -78564 32.41/32.55 o -78567 32.41/32.56 o -78568 32.51/32.60 o -78570 32.51/32.61 o -78571 32.51/32.63 o -78572 32.51/32.66 o -78573 32.51/32.67 o -78574 32.51/32.69 o -78576 32.61/32.77 o -78589 32.61/32.78 o -78591 32.61/32.79 o -78592 32.72/32.87 o -78593 32.72/32.89 o -79813 32.72/32.89 o -80156 32.82/32.90 o -80187 32.82/32.96 o -80242 32.82/32.97 o -80245 32.82/32.98 o -80268 32.92/33.01 o -80270 32.92/33.08 o -80271 33.02/33.12 o -80272 33.02/33.15 o -80273 33.11/33.20 o -80328 33.11/33.22 o -80330 33.11/33.23 o -80357 35.81/35.95 o -80362 38.10/38.28 o -145988 38.10/38.29 o -145990 38.20/38.30 o -145992 38.20/38.31 o -145995 38.20/38.32 o -145996 38.20/38.33 o -145997 38.20/38.34 o -146000 38.20/38.35 o -146002 38.20/38.36 o -146004 38.20/38.37 o -146007 38.20/38.39 o -146008 38.30/38.40 o -146009 38.30/38.41 o -146014 38.30/38.43 o -146383 38.30/38.44 o -146385 38.30/38.45 o -146388 38.30/38.47 o -146729 38.30/38.48 o -146755 38.30/38.49 o -146810 38.40/38.51 o -147365 38.40/38.52 o -147598 38.40/38.53 o -147632 38.40/38.54 o -147653 38.40/38.55 o -147708 38.40/38.56 o -148928 38.40/38.57 o -149161 38.40/38.58 o -149164 38.40/38.59 o -149198 38.50/38.60 o -149250 38.50/38.62 o -149253 38.50/38.62 o -149287 38.50/38.65 o -150271 38.50/38.69 o -150504 38.60/38.70 o -150737 38.60/38.71 o -150740 38.60/38.72 o -150742 38.60/38.73 o -150758 38.60/38.75 o -150813 38.60/38.77 o -151135 38.60/38.79 o -153342 38.70/38.80 o -153575 38.70/38.81 o -153609 38.70/38.83 o -153612 38.70/38.84 o -153633 38.70/38.85 o -153664 38.70/38.86 o -154240 38.70/38.88 o -154243 38.70/38.88 o -154277 38.80/38.90 o -154282 38.80/38.91 o -156832 38.80/38.92 o -156858 38.80/38.96 o -156968 38.80/38.98 o -157057 38.90/39.01 o -159031 38.90/39.04 o -159034 38.90/39.05 o -159036 38.90/39.06 o -159065 38.90/39.07 o -159068 38.90/39.08 o -159264 38.90/39.10 o -160251 39.00/39.11 o -160254 39.00/39.12 o -160285 39.00/39.13 o -160306 39.00/39.15 o -160340 39.09/39.20 o -160343 39.09/39.20 o -160374 39.09/39.24 o -160395 39.09/39.27 o -161992 39.19/39.32 o -162225 39.19/39.33 o -162228 39.19/39.34 o -162259 39.19/39.37 o -162403 39.19/39.39 o -162547 39.29/39.41 o -162924 39.29/39.44 o -162927 39.29/39.45 o -162958 39.29/39.46 o -162979 39.29/39.48 o -163000 39.29/39.49 o -163288 39.39/39.52 o -163290 39.39/39.53 o -163292 39.39/39.53 o -163295 39.39/39.54 o -163321 39.39/39.56 o -163342 39.39/39.57 o -163520 39.39/39.58 o -163523 39.39/39.59 o -163528 39.49/39.61 o -163554 39.49/39.64 o -163664 39.49/39.68 o -163665 39.49/39.69 o -163666 39.59/39.70 o -163667 39.59/39.71 o -163698 39.59/39.74 o -163928 39.59/39.78 o -164038 39.69/39.81 o -164127 39.69/39.83 o -166101 39.69/39.84 o -166104 39.69/39.85 o -166135 39.69/39.86 o -166156 39.79/39.92 o -166245 39.79/39.96 o -166277 39.79/39.97 o -166298 39.79/39.99 o -166476 39.79/40.00 o -166479 39.90/40.01 o -166510 39.90/40.04 o -166620 39.90/40.08 o -166709 39.90/40.09 o -169060 40.00/40.15 o -169061 40.00/40.16 o -169063 40.00/40.17 o -169092 40.00/40.18 o -169095 40.00/40.19 o -169291 40.09/40.22 o -170045 40.09/40.26 o -171265 40.09/40.28 o -171642 40.09/40.28 o -171645 40.09/40.29 o -171676 40.19/40.38 o -171697 40.29/40.40 o -172074 40.29/40.45 o -172307 40.29/40.49 o -172540 40.39/40.52 o -172566 40.39/40.53 o -172587 40.39/40.54 o -172590 40.39/40.55 o -172621 40.39/40.58 o -172655 40.39/40.59 o -172943 40.49/40.60 o -172946 40.49/40.61 o -172951 40.49/40.63 o -173142 40.49/40.68 o -173231 40.59/40.73 o -173234 40.59/40.74 o -173265 40.59/40.75 o -173286 40.59/40.79 o -173519 40.69/40.82 o -173820 40.69/40.86 o -176027 40.79/40.92 o -176404 40.79/40.97 o -176637 40.79/40.98 o -176663 40.90/41.01 o -176684 40.90/41.03 o -176697 40.90/41.05 o -176985 40.90/41.08 o -178205 40.90/41.09 o -178208 41.00/41.11 o -178239 41.00/41.12 o -178260 41.00/41.17 o -179857 41.09/41.25 o -180124 41.19/41.30 o -180137 41.19/41.31 o -180158 41.19/41.32 o -180247 41.19/41.33 o -180336 41.19/41.34 o -180339 41.19/41.35 o -180341 41.19/41.36 o -180370 41.19/41.37 o -180373 41.19/41.38 o -180480 41.29/41.41 o -180483 41.29/41.42 o -180514 41.29/41.44 o -180747 41.29/41.45 o -180750 41.29/41.47 o -181090 41.39/41.52 o -181116 41.39/41.53 o -181137 41.39/41.57 o -181315 41.39/41.58 o -181341 41.39/41.59 o -181362 41.49/41.61 o -181396 41.49/41.64 o -181684 41.49/41.64 o -181687 41.49/41.65 o -181718 41.59/41.71 o -181739 41.59/41.76 o -181828 41.59/41.79 o -181829 41.69/41.80 o -181860 41.69/41.85 o -181881 41.69/41.88 o -182059 41.79/41.92 o -182101 41.79/41.94 o -182104 41.79/41.95 o -182106 41.79/41.96 o -182135 41.79/41.97 o -182138 41.79/41.98 o -182334 41.89/42.02 o -182423 41.89/42.07 o -182426 41.89/42.08 o -182457 41.89/42.09 o -182478 41.99/42.16 o -182656 42.09/42.23 o -182677 42.09/42.24 o -182698 42.09/42.28 o -182787 42.19/42.33 o -182790 42.19/42.34 o -182821 42.19/42.35 o -182876 42.19/42.37 o -182879 42.19/42.38 o -182910 42.19/42.39 o -182931 42.29/42.41 o -183020 42.29/42.46 o -183033 42.39/42.53 o -183054 42.39/42.59 o -183075 42.49/42.60 o -183096 42.49/42.61 o -183185 42.49/42.63 o -183188 42.49/42.63 o -183190 42.49/42.64 o -183219 42.49/42.65 o -183222 42.49/42.66 o -183418 42.59/42.72 o -183421 42.59/42.73 o -183452 42.59/42.75 o -183596 42.59/42.79 o -183617 42.69/42.80 o -183638 42.69/42.81 o -183641 42.69/42.82 o -183672 42.69/42.84 o -183727 42.69/42.85 o -183960 42.79/42.90 o -183963 42.79/42.91 o -183994 42.79/42.93 o -184015 42.79/42.97 o -184104 42.79/42.98 o -184117 42.79/42.99 o -184138 42.89/43.00 o -184159 42.89/43.01 o -184180 42.89/43.03 o -184350 42.89/43.04 o -184371 48.37/48.52 o -184485 48.37/48.53 o -184718 48.37/48.55 o -184862 48.37/48.58 o -184865 48.37/48.59 o -184896 48.47/48.60 o -184899 48.47/48.61 o -185095 48.47/48.63 o -185239 48.47/48.65 o -187446 48.47/48.69 o -190640 48.57/48.73 o -191017 48.57/48.78 o -191020 48.57/48.78 o -191051 48.57/48.79 o -191072 48.67/48.85 o -191106 48.67/48.88 o -191109 48.67/48.89 o -191140 48.77/48.91 o -191161 48.77/48.92 o -191250 48.77/48.96 o -191394 48.87/49.03 o -191415 48.87/49.04 o -191470 48.87/49.09 o -191473 48.87/49.09 o -191504 48.97/49.13 o -191525 48.97/49.17 o -191559 48.97/49.19 o -191572 49.06/49.20 o -191682 49.06/49.27 o -191716 49.06/49.29 o -191771 49.16/49.34 o -191860 49.16/49.38 o -191949 49.26/49.43 o -192004 49.46/49.67 o -192005 49.46/49.69 o -192017 49.56/49.70 o -192025 49.56/49.71 o -192093 49.56/49.74 o -192148 49.56/49.76 o -192237 49.66/49.82 o -193457 49.66/49.82 o -193458 49.66/49.83 o -193470 49.66/49.84 o -193601 49.76/49.91 o -193635 49.76/49.95 o -196829 49.76/50.00 o -197206 49.87/50.00 o -197209 49.87/50.01 o -197240 49.87/50.03 o -197816 49.87/50.05 o -198426 49.87/50.06 o -198429 49.87/50.07 o -198431 49.87/50.08 o -198439 49.87/50.09 o -198447 49.97/50.11 o -198450 49.97/50.12 o -198455 49.97/50.13 o -199073 49.97/50.14 o -199076 49.97/50.16 o -199285 49.97/50.18 o -199895 50.06/50.20 o -200272 50.06/50.22 o -200298 50.06/50.25 o -200874 50.06/50.27 o -200877 50.06/50.28 o -200908 50.16/50.31 o -201107 50.16/50.31 o -201110 50.16/50.32 o -201141 50.16/50.36 o -201162 50.16/50.37 o -201165 50.16/50.38 o -201196 50.16/50.39 o -201340 50.26/50.41 o -201484 50.26/50.44 o -201717 50.26/50.47 o -201743 50.26/50.48 o -201764 50.26/50.49 o -201853 50.36/50.58 o -201942 50.46/50.65 o -201997 50.46/50.69 o -202052 54.66/54.84 o -202055 54.66/54.84 o -202089 54.66/54.85 o -202094 54.66/54.86 o -202115 54.66/54.87 o -202141 54.66/54.89 o -202196 54.76/54.91 o -202285 54.76/54.93 o -202340 54.86/55.06 o -202343 54.86/55.07 o -202345 54.86/55.08 o -202374 54.86/55.09 o -202377 54.86/55.10 o -202463 54.96/55.11 o -202573 55.55/55.71 o -202607 55.55/55.72 o -202628 55.55/55.73 o -202717 55.55/55.74 o -202950 55.65/55.81 o -202953 55.65/55.82 o -202984 55.65/55.83 o -203005 55.65/55.87 o -203094 56.05/56.21 o -203097 56.05/56.22 o -203099 56.05/56.24 o -203107 56.05/56.25 o -203115 56.05/56.27 o -203128 56.05/56.29 o -203131 56.15/56.30 o -203136 56.15/56.31 o -203327 59.74/59.96 o -203332 59.74/59.98 o -203361 59.74/59.99 o -203363 59.85/60.00 o -203369 59.85/60.02 o -203382 59.85/60.05 o -203416 59.85/60.07 o -203437 59.85/60.09 o -203471 59.95/60.12 o -203505 202.03/202.62 o -205301 202.13/202.71 o -205304 202.13/202.73 o -205335 202.13/202.76 o -205356 202.13/202.78 o -205390 406.04/407.22 o -205678 442.63/443.98 o -205686 442.63/443.99 o -205699 442.63/443.99 o -205707 442.73/444.01 o -205720 442.73/444.02 o -205741 442.73/444.03 o -205775 442.73/444.07 o -205780 442.73/444.08 o -205788 442.73/444.10 o -205822 442.83/444.12 o -205856 442.83/444.17 o -205911 443.23/444.57 o -205914 443.23/444.58 o -205916 443.23/444.59 o -205945 443.32/444.60 o -205948 443.32/444.61 o -206055 443.32/444.67 o -206089 1140.27/1143.25 o -206144 1140.27/1143.29 o -206233 1350.07/1353.54 o -206235 1350.07/1353.56 o -206243 1350.07/1353.58 o -206296 1350.17/1353.60 o -206301 1350.17/1353.62 o -206322 1350.17/1353.65 o -206377 1350.17/1353.68 o -206380 1350.27/1353.70 o -206411 1350.27/1353.71 o -206432 1350.27/1353.75 o -206466
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63180 MiB free)
memory of node 1: 64473 MiB (63455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432952-1721052881/watcher-4432952-1721052881 -o /tmp/evaluation-result-4432952-1721052881/solver-4432952-1721052881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721052894-823731 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1192298701 HOME/instance-4432952-1721052881.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=823790, runsolver pid=823777
[startup+0.100649 s]*
/proc/loadavg: 2.78 3.93 4.07 8/258 823794
/proc/meminfo: memFree=129462616/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=63500 memory=44088 CPUtime=0.1 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 6240 0 0 0 9 1 0 0 20 0 1 0 157450575 65024000 11022 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 15875 11022 868 1005 0 14638 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63500 KiB
Current children cumulated memory: 44088 KiB
[startup+0.206315 s]*
/proc/loadavg: 2.78 3.93 4.07 8/258 823794
/proc/meminfo: memFree=129388032/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=76964 memory=61640 CPUtime=0.2 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 9609 0 0 0 18 2 0 0 20 0 1 0 157450575 78811136 15410 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 19241 15410 868 1005 0 18004 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76964 KiB
Current children cumulated memory: 61640 KiB
[startup+0.306304 s]*
/proc/loadavg: 2.78 3.93 4.07 8/258 823794
/proc/meminfo: memFree=129331528/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=84232 memory=72748 CPUtime=0.3 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 11519 0 0 0 27 3 0 0 20 0 1 0 157450575 86253568 18187 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 21058 18187 868 1005 0 19821 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84232 KiB
Current children cumulated memory: 72748 KiB
[startup+0.700229 s]
/proc/loadavg: 2.78 3.93 4.07 8/258 823794
/proc/meminfo: memFree=129127204/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=189720 memory=161688 CPUtime=0.69 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 26797 0 0 0 62 7 0 0 20 0 1 0 157450575 194273280 40422 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 47430 40422 884 1005 0 46193 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 189720 KiB
Current children cumulated memory: 161688 KiB
[startup+1.50023 s]
/proc/loadavg: 2.78 3.93 4.07 8/258 823794
/proc/meminfo: memFree=128567312/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=543880 memory=508560 CPUtime=1.49 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 59650 0 0 0 130 19 0 0 20 0 1 0 157450575 556933120 127140 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 135970 127140 1060 1005 0 134733 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 543880 KiB
Current children cumulated memory: 508560 KiB
[startup+3.10637 s]
/proc/loadavg: 2.78 3.93 4.07 8/258 823794
/proc/meminfo: memFree=128043592/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=523356 memory=496284 CPUtime=3.09 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 64402 0 0 0 289 20 0 0 20 0 1 0 157450575 535916544 124071 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 130839 124071 1108 1005 0 129602 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 523356 KiB
Current children cumulated memory: 496284 KiB
[startup+6.30022 s]
/proc/loadavg: 2.87 3.94 4.07 8/258 823796
/proc/meminfo: memFree=127917016/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=618176 memory=542108 CPUtime=6.27 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 71055 0 0 0 605 22 0 0 20 0 1 0 157450575 633012224 135527 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 154544 135527 1108 1005 0 153307 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 618176 KiB
Current children cumulated memory: 542108 KiB
[startup+12.7002 s]
/proc/loadavg: 2.96 3.94 4.07 8/258 823796
/proc/meminfo: memFree=127798528/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=624860 memory=561268 CPUtime=12.66 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 72882 0 0 0 1243 23 0 0 20 0 1 0 157450575 639856640 140317 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 156215 140317 1124 1005 0 154978 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 624860 KiB
Current children cumulated memory: 561268 KiB
[startup+25.5002 s]
/proc/loadavg: 3.26 3.96 4.07 9/258 823799
/proc/meminfo: memFree=127556676/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=687240 memory=645536 CPUtime=25.43 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 81291 0 0 0 2518 25 0 0 20 0 1 0 157450575 703733760 161384 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 171810 161384 1124 1005 0 170573 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 687240 KiB
Current children cumulated memory: 645536 KiB
[startup+51.106 s]
/proc/loadavg: 3.60 3.98 4.08 8/256 823848
/proc/meminfo: memFree=127601052/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=696060 memory=654540 CPUtime=50.96 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 81753 0 0 0 5069 27 0 0 20 0 1 0 157450575 712765440 163635 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 174015 163635 1140 1005 0 172778 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 696060 KiB
Current children cumulated memory: 654540 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 4.00 4.08 7/256 823856
/proc/meminfo: memFree=127526044/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=709072 memory=667548 CPUtime=102.02 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 84212 0 0 0 10172 30 0 0 20 0 1 0 157450575 726089728 166887 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 177268 166887 1140 1005 0 176031 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 709072 KiB
Current children cumulated memory: 667548 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 4.01 4.08 7/256 823867
/proc/meminfo: memFree=127427240/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=724476 memory=682964 CPUtime=161.84 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 86673 0 0 0 16153 31 0 0 20 0 1 0 157450575 741863424 170741 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 181119 170741 1140 1005 0 179882 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 724476 KiB
Current children cumulated memory: 682964 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.03 4.08 6/255 823969
/proc/meminfo: memFree=127654644/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=780160 memory=751944 CPUtime=221.67 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 99979 0 0 0 22133 34 0 0 20 0 1 0 157450575 798883840 187986 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 195040 187986 1140 1005 0 193803 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 780160 KiB
Current children cumulated memory: 751944 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.05 4.08 6/256 823980
/proc/meminfo: memFree=127490404/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=987536 memory=868548 CPUtime=281.51 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 114014 0 0 0 28106 45 0 0 20 0 1 0 157450575 1011236864 217137 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 246884 217137 1140 1005 0 245647 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 987536 KiB
Current children cumulated memory: 868548 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.05 4.08 6/257 823994
/proc/meminfo: memFree=127449108/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=987536 memory=868660 CPUtime=341.33 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 114122 0 0 0 34088 45 0 0 20 0 1 0 157450575 1011236864 217165 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 246884 217165 1140 1005 0 245647 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 987536 KiB
Current children cumulated memory: 868660 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.07 4.09 6/257 824005
/proc/meminfo: memFree=127432788/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=988764 memory=869896 CPUtime=401.15 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 114579 0 0 0 40070 45 0 0 20 0 1 0 157450575 1012494336 217474 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 247191 217474 1140 1005 0 245954 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 988764 KiB
Current children cumulated memory: 869896 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.09 4.09 6/257 824015
/proc/meminfo: memFree=127388996/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=999776 memory=880908 CPUtime=460.98 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 115896 0 0 0 46051 47 0 0 20 0 1 0 157450575 1023770624 220227 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 249944 220227 1140 1005 0 248707 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/255 825659
/proc/meminfo: memFree=126423356/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1178004 memory=1075116 CPUtime=3035.04 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 163902 0 0 0 303384 120 0 0 20 0 1 0 157450575 1206276096 268779 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 294501 268779 1140 1005 0 293264 0
Current children cumulated CPU time: 3035.04 s
Current children cumulated vsize: 1178004 KiB
Current children cumulated memory: 1075116 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.07 4.08 6/255 825669
/proc/meminfo: memFree=126411680/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1179060 memory=1076172 CPUtime=3094.9 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 164594 0 0 0 309369 121 0 0 20 0 1 0 157450575 1207357440 269043 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 294765 269043 1140 1005 0 293528 0
Current children cumulated CPU time: 3094.9 s
Current children cumulated vsize: 1179060 KiB
Current children cumulated memory: 1076172 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/255 825680
/proc/meminfo: memFree=126408944/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1181176 memory=1078288 CPUtime=3154.77 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 165543 0 0 0 315354 123 0 0 20 0 1 0 157450575 1209524224 269572 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 295294 269572 1140 1005 0 294057 0
Current children cumulated CPU time: 3154.77 s
Current children cumulated vsize: 1181176 KiB
Current children cumulated memory: 1078288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/255 825690
/proc/meminfo: memFree=126400852/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1186560 memory=1083672 CPUtime=3214.64 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 166803 0 0 0 321337 127 0 0 20 0 1 0 157450575 1215037440 270918 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296640 270918 1140 1005 0 295403 0
Current children cumulated CPU time: 3214.64 s
Current children cumulated vsize: 1186560 KiB
Current children cumulated memory: 1083672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/255 825701
/proc/meminfo: memFree=126398076/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1186560 memory=1083672 CPUtime=3274.5 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 167193 0 0 0 327323 127 0 0 20 0 1 0 157450575 1215037440 270918 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296640 270918 1140 1005 0 295403 0
Current children cumulated CPU time: 3274.5 s
Current children cumulated vsize: 1186560 KiB
Current children cumulated memory: 1083672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/257 825715
/proc/meminfo: memFree=126396508/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3334.37 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 167955 0 0 0 333310 127 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3334.37 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/256 825726
/proc/meminfo: memFree=126389708/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3394.23 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 168096 0 0 0 339288 135 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3394.23 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/256 825736
/proc/meminfo: memFree=126382760/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3454.1 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 168203 0 0 0 345272 138 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3454.1 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/256 825746
/proc/meminfo: memFree=126376648/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3513.97 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 168299 0 0 0 351255 142 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3513.97 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.12 4.10 6/256 825758
/proc/meminfo: memFree=126374176/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3573.85 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 168380 0 0 0 357241 144 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.13 4.11 4.09 6/256 825762
/proc/meminfo: memFree=126370232/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3600.08 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 168449 0 0 0 359863 145 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 823790 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3600.63 s, system=1.45551 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.13 4.11 4.09 6/256 825762
/proc/meminfo: memFree=126370240/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3601.07 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 168476 0 0 0 359962 145 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3601.07 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
[startup+3610.4 s]
/proc/loadavg: 4.12 4.11 4.09 6/256 825762
/proc/meminfo: memFree=126370240/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3601.87 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 168476 0 0 0 360042 145 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
[startup+3610.6 s]
/proc/loadavg: 4.12 4.11 4.09 6/256 825762
/proc/meminfo: memFree=126370240/131524600 swapFree=131071996/131071996
[pid=823790] ppid=823777 vsize=1187812 memory=1084924 CPUtime=3602.07 cores=4,6
/proc/823790/stat : 823790 (Exact) R 823777 823790 821215 0 -1 4194304 168476 0 0 0 360062 145 0 0 20 0 1 0 157450575 1216319488 271231 134679101440 4194304 8309489 140735855075280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 26263552 140735855080382 140735855080552 140735855080552 140735855087567 0
/proc/823790/statm: 296953 271231 1140 1005 0 295716 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 1187812 KiB
Current children cumulated memory: 1084924 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.6
CPU time (s): 3602.08
CPU user time (s): 3600.63
CPU system time (s): 1.45551
CPU usage (%): 99.7639
Max. virtual memory (cumulated for all children) (KiB): 1187812
Max. memory (cumulated for all children) (KiB): 1084924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.63
system time used= 1.45551
maximum resident set size= 1084924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168476
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= 95
involuntary context switches= 1961
# summary of solver processes directly reported to runsolver:
# pid: 823790
# total CPU time (s): 3602.08
# total CPU user time (s): 3600.63
# total CPU system time (s): 1.45551
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42908 second user time and 17.5745 second system time
The end
Begin job on nodeC018 at 2024-07-15 16:14:54 IDJOB=4432952 IDBENCH=144784 IDSOLVER=3060 FILE ID=nodeC018/4432952-1721052881 RUNJOBID= nodeC018-1721052894-823731 SLURM_JOB_ID= 7505476 Free space on /tmp= 890060 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432952-1721052881/watcher-4432952-1721052881 -o /tmp/evaluation-result-4432952-1721052881/solver-4432952-1721052881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721052894-823731 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1192298701 HOME/instance-4432952-1721052881.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 76d4374776c44997889e9fdaf7321aa0 RANDOM SEED=1192298701 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3713.563 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3773.568 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3817.921 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3850.660 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3708.837 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3725.869 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3607.955 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3629.929 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129676940 kB MemAvailable: 129794644 kB Buffers: 351696 kB Cached: 609688 kB SwapCached: 0 kB Active: 560908 kB Inactive: 707512 kB Active(anon): 1472 kB Inactive(anon): 343600 kB Active(file): 559436 kB Inactive(file): 363912 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 48540 kB Writeback: 0 kB AnonPages: 305268 kB Mapped: 105532 kB Shmem: 37720 kB KReclaimable: 68360 kB Slab: 173548 kB SReclaimable: 68360 kB SUnreclaim: 105188 kB KernelStack: 3804 kB PageTables: 9548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 683560 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60384 kB HardwareCorrupted: 0 kB AnonHugePages: 331776 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 232148 kB DirectMap2M: 16318464 kB DirectMap1G: 119537664 kB Free space on /tmp at the end= 890044 MiB End job on nodeC018 at 2024-07-15 17:15:04