Trace number 4464786

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30OPT20 1313.47 1317.38

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb
MD5SUMdbebfc2916fd48f48fd9f4f0821ac62f
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1248.46
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2524
Sum of products size (including duplicates)5048
Number of different products2524
Sum of products size5048

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 33435648, getVmSize() = 33435648, SCIPgetMemUsed() = 9044226, SCIPgetMemTotal() = 11416290, SCIPgetMemExternEstim() = 5254770
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.02	c ** Estimated virtualMemUsedAtSolver = 23633920, getVmSize() = 37466112, SCIPgetMemUsed() = 8976837, SCIPgetMemTotal() = 14495853, SCIPgetMemExternEstim() = 5254770
0.00/0.02	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02	c Original Problem   :
0.00/0.02	c   Problem name     : instance-4464786-1722382194
0.00/0.02	c   Variables        : 2724 (200 binary, 0 integer, 2524 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 2924
0.00/0.02	c   Objective sense  : minimize
0.00/0.02	c Presolved Problem  :
0.00/0.02	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 200
0.00/0.02	c Constraints        : Number
0.00/0.02	c   logicor          : 200 
0.00/0.02	c ** Instance transfer method used: 0
0.00/0.02	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03	c                                Nodes    Active                                            
0.00/0.03	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.03	c *       0              0           1         1         200.0000                -          -
0.00/0.03	c *       0              0           1         1          25.0000                -          -
3.08/3.18	c *       3              6           5         1          24.0000          14.8092     62.06%
3.08/3.18	c *       3              6           5         1          22.0000          14.8092     48.56%
5.87/5.94	c         6             48          47         1          22.0000          14.8092     48.56%
9.66/9.73	c *      10            194         189         1          21.0000          15.2701     37.52%
11.35/11.45	c        11            314         243         1          21.0000          15.6558     34.14%
17.14/17.22	c        17            482         403         1          21.0000          15.9081     32.01%
22.11/22.28	c        22            632         553         1          21.0000          16.0195     31.09%
27.40/27.53	c        28            758         679         1          21.0000          16.0994     30.44%
32.78/32.94	c        33            892         813         1          21.0000          16.2247     29.43%
37.87/38.00	c        38           1014           0         1          21.0000          16.3280     28.61%
43.54/43.71	c        44           1152         138         1          21.0000          16.3280     28.61%
48.73/48.91	c        49           1317         303         1          21.0000          16.3280     28.61%
54.11/54.38	c        54           1443         429         1          21.0000          16.3280     28.61%
59.59/59.82	c        60           1555         541         1          21.0000          16.3280     28.61%
65.07/65.32	c        65           1650         636         1          21.0000          16.3280     28.61%
70.46/70.75	c        71           1784         770         1          21.0000          16.3280     28.61%
75.74/76.05	c        76           1903         889         1          21.0000          16.3280     28.61%
81.41/81.75	c        82           2016        1002         1          21.0000          16.4592     27.59%
86.89/87.28	c        87           2179        1165         1          21.0000          16.5199     27.12%
92.38/92.71	c        93           2302        1288         1          21.0000          16.5479     26.90%
97.66/98.00	c        98           2435        1421         1          21.0000          16.6210     26.35%
103.24/103.68	c       104           2575        1561         1          21.0000          16.6803     25.90%
108.42/108.88	c       109           2695        1681         1          21.0000          16.7125     25.65%
113.61/114.04	c       114           2824        1810         1          21.0000          16.7415     25.44%
119.29/119.72	c       120           2975        1961         1          21.0000          16.7772     25.17%
124.87/125.37	c       125           3145        2131         1          21.0000          16.8234     24.83%
130.26/130.70	c       131           3335        2321         1          21.0000          16.8490     24.64%
135.94/136.45	c       136           3522        2508         1          21.0000          16.8721     24.47%
141.62/142.16	c       142           3785        2771         1          21.0000          16.8814     24.40%
147.20/147.72	c       148           4045        3031         1          21.0000          16.8980     24.27%
152.30/152.86	c       153           4325        3311         1          21.0000          16.9159     24.14%
157.38/157.97	c       158           4585        3571         1          21.0000          16.9376     23.98%
162.86/163.47	c       163           4885        3871         1          21.0000          16.9602     23.82%
168.65/169.23	c       169           5161        4147         1          21.0000          16.9681     23.76%
173.63/174.25	c       174           5405        4391         1          21.0000          16.9721     23.73%
178.81/179.46	c       179           5795        4781         1          21.0000          16.9982     23.54%
184.00/184.67	c       185           6075        5061         1          21.0000          17.0138     23.43%
189.28/189.98	c       190           6395        5381         1          21.0000          17.0452     23.20%
194.37/195.00	c       195           6695        5681         1          21.0000          17.0626     23.08%
199.83/200.51	c       201           7055        6041         1          21.0000          17.0852     22.91%
205.12/205.85	c       206           7355        6341         1          21.0000          17.0998     22.81%
210.60/211.30	c       211           7815        6801         1          21.0000          17.1120     22.72%
215.89/216.66	c       217           8215        7201         1          21.0000          17.1322     22.58%
220.97/221.75	c       222           8655        7641         1          21.0000          17.1573     22.40%
226.56/227.34	c       227           9015        8001         1          21.0000          17.1724     22.29%
232.36/233.17	c       233           9467        8453         1          21.0000          17.1834     22.21%
237.73/238.51	c       239           9945        8931         1          21.0000          17.1933     22.14%
243.42/244.20	c       244          10375        9361         1          21.0000          17.2052     22.06%
248.50/249.30	c       249          10825        9811         1          21.0000          17.2200     21.95%
253.89/254.75	c       255          11295       10281         1          21.0000          17.2351     21.84%
258.97/259.80	c       260          11865       10851         1          21.0000          17.2546     21.71%
264.17/265.00	c       265          12325       11311         1          21.0000          17.2709     21.59%
270.34/271.25	c       271          12877       11863         1          21.0000          17.2781     21.54%
275.33/276.29	c       276          13285       12271         1          21.0000          17.2922     21.44%
280.31/281.29	c       281          13795       12781         1          21.0000          17.3110     21.31%
285.40/286.33	c       286          14335       13321         1          21.0000          17.3190     21.25%
290.48/291.40	c       291          14885       13871         1          21.0000          17.3283     21.19%
295.48/296.45	c       296          15395       14381         1          21.0000          17.3442     21.08%
300.46/301.46	c       301          15905       14887         1          21.0000          17.3575     20.99%
305.54/306.57	c       307          16475       15457         1          21.0000          17.3675     20.92%
310.53/311.57	c       312          16955       15935         1          21.0000          17.3801     20.83%
316.02/317.04	c       317          17505       16485         1          21.0000          17.3899     20.76%
321.00/322.10	c       322          18035       17015         1          21.0000          17.4003     20.69%
326.18/327.27	c       327          18545       17525         1          21.0000          17.4057     20.65%
331.47/332.57	c       333          19105       18085         1          21.0000          17.4121     20.61%
336.96/338.03	c       338          19694       18674         1          21.0000          17.4176     20.57%
342.05/343.12	c       343          20255       19235         1          21.0000          17.4258     20.51%
347.03/348.17	c       348          20835       19813         1          21.0000          17.4402     20.41%
352.11/353.25	c       353          21455       20431         1          21.0000          17.4523     20.33%
357.80/358.91	c       359          22045       21015         1          21.0000          17.4595     20.28%
362.89/364.01	c       364          22665       21635         1          21.0000          17.4665     20.23%
368.27/369.43	c       369          23325       22293         1          21.0000          17.4774     20.16%
373.45/374.63	c       375          23865       22831         1          21.0000          17.4865     20.09%
378.44/379.65	c       380          24505       23471         1          21.0000          17.4966     20.02%
383.93/385.13	c       385          25168       24134         1          21.0000          17.5074     19.95%
388.92/390.17	c       390          25805       24769         1          21.0000          17.5186     19.87%
394.00/395.20	c       395          26465       25427         1          21.0000          17.5252     19.83%
398.98/400.23	c       400          27075       26021         1          21.0000          17.5319     19.78%
404.08/405.38	c       405          27705       26645         1          21.0000          17.5380     19.74%
409.56/410.88	c       411          28305       27243         1          21.0000          17.5482     19.67%
414.85/416.10	c       416          28915       27845         1          21.0000          17.5554     19.62%
420.03/421.33	c       421          29625       28549         1          21.0000          17.5653     19.55%
425.51/426.81	c       427          30325       29247         1          21.0000          17.5732     19.50%
430.60/431.95	c       432          30955       29877         1          21.0000          17.5808     19.45%
435.69/437.09	c       437          31605       30519         1          21.0000          17.5908     19.38%
441.16/442.56	c       443          32355       31263         1          21.0000          17.5962     19.34%
446.25/447.62	c       448          33005       31907         1          21.0000          17.6019     19.31%
451.65/453.00	c       453          33765       32663         1          21.0000          17.6106     19.25%
456.63/458.07	c       458          34385       33265         1          21.0000          17.6166     19.21%
457.42/458.88	c *     459          34495       33375         1          20.0000          17.6170     13.53%
461.71/463.19	c       463          35145       27601         1          20.0000          17.6216     13.50%
467.50/468.98	c       469          36098       28054         1          20.0000          17.6285     13.45%
472.59/474.03	c       474          36955       28429         1          20.0000          17.6335     13.42%
477.67/479.16	c       479          37865       28731         1          20.0000          17.6433     13.36%
482.85/484.35	c       484          38665       29095         1          20.0000          17.6506     13.31%
487.83/489.38	c       489          39455       29429         1          20.0000          17.6528     13.30%
492.92/494.47	c       494          40265       29753         1          20.0000          17.6581     13.26%
498.01/499.55	c       500          41255       30099         1          20.0000          17.6628     13.23%
503.30/504.81	c       505          42175       30447         1          20.0000          17.6712     13.18%
508.38/509.95	c       510          43085       30783         1          20.0000          17.6773     13.14%
513.56/515.18	c       515          43895       31123         1          20.0000          17.6826     13.11%
518.75/520.34	c       520          44765       31459         1          20.0000          17.6889     13.07%
523.74/525.37	c       525          45595       31807         1          20.0000          17.6962     13.02%
528.82/530.43	c       530          46495       32145         1          20.0000          17.7047     12.96%
533.80/535.44	c       535          47415       32421         1          20.0000          17.7103     12.93%
539.00/540.61	c       541          48325       32779         1          20.0000          17.7188     12.87%
544.08/545.74	c       546          49305       33071         1          20.0000          17.7253     12.83%
549.07/550.79	c       551          50145       33413         1          20.0000          17.7275     12.82%
554.15/555.82	c       556          51025       33731         1          20.0000          17.7359     12.77%
559.74/561.41	c       561          52075       34073         1          20.0000          17.7432     12.72%
564.72/566.44	c       566          52955       34365         1          20.0000          17.7524     12.66%
569.81/571.53	c       572          53815       34681         1          20.0000          17.7592     12.62%
574.90/576.64	c       577          54735       34949         1          20.0000          17.7637     12.59%
579.98/581.79	c       582          55655       35229         1          20.0000          17.7678     12.56%
585.07/586.83	c       587          56535       35511         1          20.0000          17.7738     12.53%
590.36/592.14	c       592          57645       35813         1          20.0000          17.7799     12.49%
595.34/597.18	c       597          58615       36073         1          20.0000          17.7872     12.44%
600.42/602.27	c       602          59735       36303         1          20.0000          17.7925     12.41%
605.71/607.50	c       608          60845       36583         1          20.0000          17.7970     12.38%
610.69/612.52	c       613          62055       36817         1          20.0000          17.8030     12.34%
615.67/617.55	c       618          63185       37083         1          20.0000          17.8087     12.30%
620.76/622.63	c       623          64445       37345         1          20.0000          17.8142     12.27%
625.85/627.75	c       628          65545       37593         1          20.0000          17.8201     12.23%
631.14/633.01	c       633          66655       37833         1          20.0000          17.8284     12.18%
636.12/638.04	c       638          67795       38045         1          20.0000          17.8332     12.15%
641.11/643.06	c       643          69065       38251         1          20.0000          17.8395     12.11%
646.19/648.14	c       648          70575       38355         1          20.0000          17.8467     12.07%
651.27/653.20	c       653          72155       38463         1          20.0000          17.8545     12.02%
656.26/658.26	c       658          73705       38547         1          20.0000          17.8617     11.97%
661.25/663.29	c       663          75245       38621         1          20.0000          17.8689     11.93%
666.43/668.45	c       668          76785       38711         1          20.0000          17.8758     11.88%
671.82/673.81	c       674          78445       38783         1          20.0000          17.8817     11.85%
676.81/678.87	c       679          79935       38867         1          20.0000          17.8860     11.82%
681.99/684.08	c       684          81585       38911         1          20.0000          17.8904     11.79%
687.08/689.10	c       689          83095       39001         1          20.0000          17.8955     11.76%
692.26/694.37	c       694          84745       39029         1          20.0000          17.8997     11.73%
697.34/699.46	c       699          86275       39099         1          20.0000          17.9057     11.70%
702.32/704.48	c       704          87885       39171         1          20.0000          17.9099     11.67%
707.41/709.51	c       710          89405       39251         1          20.0000          17.9139     11.65%
712.40/714.53	c       715          90945       39321         1          20.0000          17.9189     11.61%
717.48/719.67	c       720          92595       39379         1          20.0000          17.9245     11.58%
722.47/724.69	c       725          94095       39435         1          20.0000          17.9329     11.53%
727.65/729.86	c       730          95705       39491         1          20.0000          17.9394     11.49%
732.85/735.00	c       735          97325       39503         1          20.0000          17.9446     11.45%
737.83/740.02	c       740          98845       39513         1          20.0000          17.9493     11.42%
742.82/745.05	c       745         100425       39543         1          20.0000          17.9517     11.41%
747.79/750.08	c       750         101955       39557         1          20.0000          17.9572     11.38%
752.89/755.11	c       755         103535       39589         1          20.0000          17.9619     11.35%
757.96/760.23	c       760         105205       39581         1          20.0000          17.9657     11.32%
763.05/765.37	c       765         106825       39603         1          20.0000          17.9689     11.30%
768.13/770.46	c       770         108425       39611         1          20.0000          17.9735     11.27%
773.22/775.53	c       776         110015       39647         1          20.0000          17.9808     11.23%
778.40/780.70	c       781         111625       39667         1          20.0000          17.9859     11.20%
783.39/785.72	c       786         113195       39693         1          20.0000          17.9917     11.16%
788.48/790.83	c       791         114805       39721         1          20.0000          17.9981     11.12%
793.66/796.09	c       796         116505       39691         1          20.0000          18.0019     11.10%
798.84/801.22	c       801         118145       39643         1          20.0000          18.0064     11.07%
803.83/806.26	c       806         119725       39647         1          20.0000          18.0116     11.04%
808.92/811.31	c       811         121295       39631         1          20.0000          18.0168     11.01%
813.90/816.40	c       816         122925       39611         1          20.0000          18.0213     10.98%
818.99/821.40	c       821         124505       39579         1          20.0000          18.0258     10.95%
823.97/826.48	c       826         126165       39505         1          20.0000          18.0320     10.91%
829.06/831.55	c       832         127735       39507         1          20.0000          18.0354     10.89%
834.24/836.71	c       837         129395       39411         1          20.0000          18.0421     10.85%
839.23/841.72	c       842         131035       39349         1          20.0000          18.0467     10.82%
844.41/846.99	c       847         132795       39293         1          20.0000          18.0519     10.79%
849.50/852.09	c       852         134425       39237         1          20.0000          18.0567     10.76%
854.59/857.17	c       857         136065       39171         1          20.0000          18.0624     10.73%
859.67/862.29	c       862         137725       39105         1          20.0000          18.0677     10.69%
864.75/867.34	c       867         139355       39017         1          20.0000          18.0736     10.66%
869.93/872.53	c       873         141055       38965         1          20.0000          18.0763     10.64%
874.91/877.56	c       878         142655       38915         1          20.0000          18.0798     10.62%
880.20/882.83	c       883         144375       38827         1          20.0000          18.0836     10.60%
885.39/888.09	c       888         146105       38735         1          20.0000          18.0877     10.57%
890.48/893.13	c       893         147755       38647         1          20.0000          18.0924     10.54%
895.76/898.43	c       898         149455       38561         1          20.0000          18.0986     10.51%
900.94/903.64	c       904         151195       38457         1          20.0000          18.1025     10.48%
906.03/908.75	c       909         152815       38329         1          20.0000          18.1058     10.46%
911.12/913.88	c       914         154445       38273         1          20.0000          18.1122     10.42%
916.20/918.97	c       919         156025       38157         1          20.0000          18.1159     10.40%
921.19/923.98	c       924         157645       38031         1          20.0000          18.1196     10.38%
926.38/929.11	c       929         159315       37901         1          20.0000          18.1239     10.35%
931.37/934.14	c       934         160915       37791         1          20.0000          18.1295     10.32%
936.35/939.18	c       939         162485       37663         1          20.0000          18.1330     10.30%
941.44/944.24	c       944         164075       37531         1          20.0000          18.1374     10.27%
946.42/949.27	c       949         165605       37403         1          20.0000          18.1420     10.24%
951.51/954.32	c       954         167195       37281         1          20.0000          18.1473     10.21%
956.49/959.35	c       959         168755       37129         1          20.0000          18.1518     10.18%
961.58/964.45	c       964         170355       36977         1          20.0000          18.1567     10.15%
966.66/969.51	c       970         171925       36825         1          20.0000          18.1609     10.13%
971.65/974.54	c       975         173495       36697         1          20.0000          18.1669     10.09%
976.72/979.66	c       980         175155       36533         1          20.0000          18.1729     10.05%
982.01/984.94	c       985         176885       36347         1          20.0000          18.1776     10.03%
987.09/990.01	c       990         178515       36177         1          20.0000          18.1835      9.99%
992.17/995.12	c       995         180115       36005         1          20.0000          18.1900      9.95%
997.16/1000.13	c      1000         181685       35819         1          20.0000          18.1950      9.92%
1002.14/1005.15	c      1005         183345       35599         1          20.0000          18.1993      9.89%
1007.32/1010.34	c      1010         185035       35401         1          20.0000          18.2038      9.87%
1012.41/1015.47	c      1015         186675       35219         1          20.0000          18.2093      9.83%
1017.39/1020.49	c      1020         188405       34965         1          20.0000          18.2159      9.79%
1022.37/1025.49	c      1026         190045       34791         1          20.0000          18.2213      9.76%
1027.45/1030.56	c      1031         191705       34575         1          20.0000          18.2276      9.72%
1032.44/1035.56	c      1036         193355       34349         1          20.0000          18.2325      9.69%
1037.43/1040.58	c      1041         194975       34105         1          20.0000          18.2380      9.66%
1042.61/1045.71	c      1046         196675       33869         1          20.0000          18.2430      9.63%
1047.70/1050.86	c      1051         198385       33627         1          20.0000          18.2471      9.61%
1052.78/1055.96	c      1056         200055       33337         1          20.0000          18.2528      9.57%
1057.87/1061.08	c      1061         201765       33047         1          20.0000          18.2589      9.54%
1063.05/1066.20	c      1066         203475       32769         1          20.0000          18.2638      9.51%
1068.23/1071.44	c      1071         205235       32465         1          20.0000          18.2694      9.47%
1073.31/1076.52	c      1077         206935       32151         1          20.0000          18.2747      9.44%
1078.30/1081.56	c      1082         208625       31853         1          20.0000          18.2797      9.41%
1083.38/1086.66	c      1087         210345       31555         1          20.0000          18.2856      9.38%
1088.57/1091.82	c      1092         212035       31217         1          20.0000          18.2924      9.34%
1093.55/1096.83	c      1097         213695       30889         1          20.0000          18.2988      9.30%
1098.54/1101.89	c      1102         215385       30589         1          20.0000          18.3040      9.27%
1103.63/1106.98	c      1107         217135       30217         1          20.0000          18.3092      9.23%
1108.71/1112.03	c      1112         218775       29885         1          20.0000          18.3161      9.19%
1113.80/1117.16	c      1117         220485       29527         1          20.0000          18.3236      9.15%
1118.88/1122.28	c      1122         222225       29143         1          20.0000          18.3295      9.11%
1123.97/1127.34	c      1127         223895       28763         1          20.0000          18.3362      9.07%
1128.96/1132.36	c      1132         225615       28349         1          20.0000          18.3439      9.03%
1133.94/1137.39	c      1137         227325       27955         1          20.0000          18.3510      8.99%
1139.03/1142.42	c      1142         228985       27585         1          20.0000          18.3577      8.95%
1144.11/1147.52	c      1148         230725       27157         1          20.0000          18.3646      8.91%
1149.10/1152.56	c      1153         232425       26731         1          20.0000          18.3712      8.87%
1154.18/1157.63	c      1158         234195       26237         1          20.0000          18.3777      8.83%
1159.17/1162.64	c      1163         235905       25807         1          20.0000          18.3846      8.79%
1164.26/1167.70	c      1168         237645       25341         1          20.0000          18.3918      8.74%
1169.34/1172.82	c      1173         239385       24825         1          20.0000          18.4002      8.69%
1174.43/1177.92	c      1178         241135       24325         1          20.0000          18.4094      8.64%
1179.42/1182.93	c      1183         242805       23837         1          20.0000          18.4176      8.59%
1184.40/1187.96	c      1188         244485       23343         1          20.0000          18.4246      8.55%
1189.48/1193.00	c      1193         246235       22787         1          20.0000          18.4332      8.50%
1194.47/1198.05	c      1198         248005       22217         1          20.0000          18.4408      8.46%
1199.55/1203.17	c      1203         249785       21597         1          20.0000          18.4506      8.40%
1204.63/1208.23	c      1208         251495       20947         1          20.0000          18.4582      8.35%
1209.61/1213.24	c      1213         253195       20311         1          20.0000          18.4676      8.30%
1214.69/1218.35	c      1218         254925       19667         1          20.0000          18.4758      8.25%
1219.68/1223.35	c      1223         256625       19057         1          20.0000          18.4848      8.20%
1224.64/1228.37	c      1228         258325       18387         1          20.0000          18.4935      8.15%
1229.70/1233.42	c      1233         260025       17703         1          20.0000          18.5042      8.08%
1234.69/1238.44	c      1238         261775       16909         1          20.0000          18.5141      8.03%
1239.78/1243.50	c      1244         263595       16113         1          20.0000          18.5247      7.96%
1244.77/1248.56	c      1249         265385       15239         1          20.0000          18.5356      7.90%
1249.75/1253.57	c      1254         267165       14355         1          20.0000          18.5502      7.82%
1254.84/1258.67	c      1259         269025       13371         1          20.0000          18.5615      7.75%
1259.83/1263.68	c      1264         270735       12429         1          20.0000          18.5746      7.67%
1264.91/1268.73	c      1269         272455       11387         1          20.0000          18.5884      7.59%
1269.90/1273.75	c      1274         274195       10311         1          20.0000          18.6048      7.50%
1274.88/1278.77	c      1279         275895        9205         1          20.0000          18.6232      7.39%
1279.97/1283.81	c      1284         277615        8029         1          20.0000          18.6411      7.29%
1284.96/1288.83	c      1289         279315        6877         1          20.0000          18.6607      7.18%
1289.94/1293.86	c      1294         280965        5659         1          20.0000          18.6793      7.07%
1294.93/1298.88	c      1299         282685        4345         1          20.0000          18.7019      6.94%
1300.01/1303.96	c      1304         284365        2985         1          20.0000          18.7327      6.76%
1305.10/1309.01	c      1309         285925        1635         1          20.0000          18.7679      6.56%
1310.09/1314.02	c      1314         287245         405         1          20.0000          18.8280      6.22%
1313.38/1317.36	c      1317         287654           0         0          20.0000          20.0000      0.00%
1313.38/1317.37	c      1317         287654           0         0          20.0000          20.0000          -
1313.38/1317.37	c SCIP Status        : c problem is solved
1313.38/1317.37	c Total Time         : 1317.3700
1313.38/1317.37	c   solving          : 1317.3700
1313.38/1317.37	c   presolving       : 0.0119 (included in solving)
1313.38/1317.37	c B&B Tree           :
1313.38/1317.37	c   nodes (total)    : 287654
1313.38/1317.37	c Solution           :
1313.38/1317.37	c   Solutions found  : 6
1313.38/1317.37	c   Primal Bound     : +2.00000000000000e+01
1313.38/1317.37	c   Dual Bound       : +2.00000000000000e+01
1313.38/1317.37	c Gap                : 0.00000 %
1313.38/1317.38	o 20
1313.38/1317.38	s OPTIMUM FOUND
1313.38/1317.38	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 
1313.38/1317.38	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1313.38/1317.38	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1313.38/1317.38	v x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 
1313.38/1317.38	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1313.38/1317.38	v -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 
1313.38/1317.38	v -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 x45 -x44 x43 
1313.38/1317.38	v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 x18 -x17 
1313.38/1317.38	v -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	20

Watcher Data 

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 (60862 MiB free)
  memory of node 1: 64473 MiB (61978 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464786-1722382194/watcher-4464786-1722382194 -o /tmp/evaluation-result-4464786-1722382194/solver-4464786-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30206 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464786-1722382194.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=32416, runsolver pid=32413

[startup+0.100097 s]*
/proc/loadavg: 3.99 4.10 4.07 5/265 32441
/proc/meminfo: memFree=125712084/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=123392 memory=39836 CPUtime=0.09 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 7302 0 0 0 9 0 0 0 20 0 3 0 4819625 126353408 9959 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 30848 9959 2950 3035 0 13349 0
[pid=32416/tid=32418] ppid=32413 vsize=123392 memory=4026531971 CPUtime=0.07 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 3040 0 0 0 7 0 0 0 20 0 3 0 4819628 126353408 9959 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=123392 memory=572 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819628 126353408 9959 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 123392 KiB
Current children cumulated memory: 39836 KiB

[startup+0.205639 s]*
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125656048/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=135840 memory=57260 CPUtime=0.2 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 11667 0 0 0 19 1 0 0 20 0 3 0 4819625 139100160 14315 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 33960 14315 2950 3035 0 17765 0
[pid=32416/tid=32418] ppid=32413 vsize=135840 memory=8026368251766898819 CPUtime=0.17 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 7405 0 0 0 17 0 0 0 20 0 3 0 4819628 139100160 14315 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=135840 memory=572 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819628 139100160 14315 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 135840 KiB
Current children cumulated memory: 57260 KiB

[startup+0.305609 s]*
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125618584/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=152868 memory=75740 CPUtime=0.3 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 16299 0 0 0 28 2 0 0 20 0 3 0 4819625 156536832 18935 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 38217 18935 2950 3035 0 22648 0
[pid=32416/tid=32418] ppid=32413 vsize=152868 memory=-5155634600162782085 CPUtime=0.27 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 12037 0 0 0 26 1 0 0 20 0 3 0 4819628 156536832 18935 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=152868 memory=0 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819628 156536832 18935 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 152868 KiB
Current children cumulated memory: 75740 KiB

[startup+0.700247 s]
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125572328/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=166792 memory=91792 CPUtime=0.68 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 21150 0 0 0 66 2 0 0 20 0 3 0 4819625 170795008 22948 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 41698 22948 2950 3035 0 26993 0
[pid=32416/tid=32418] ppid=32413 vsize=166792 memory=0 CPUtime=0.66 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 16888 0 0 0 64 2 0 0 20 0 3 0 4819628 170795008 22948 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=166792 memory=0 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819628 170795008 22948 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 166792 KiB
Current children cumulated memory: 91792 KiB

[startup+1.50015 s]
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125545748/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=166792 memory=94024 CPUtime=1.48 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 22629 0 0 0 146 2 0 0 20 0 3 0 4819625 170795008 23506 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 41698 23506 2950 3035 0 27752 0
[pid=32416/tid=32418] ppid=32413 vsize=166792 memory=0 CPUtime=1.46 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 18367 0 0 0 144 2 0 0 20 0 3 0 4819628 170795008 23506 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=166792 memory=0 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819628 170795008 23506 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 166792 KiB
Current children cumulated memory: 94024 KiB

[startup+3.10539 s]
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125510100/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=169856 memory=104576 CPUtime=3.08 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 29693 0 0 0 305 3 0 0 20 0 3 0 4819625 173932544 26144 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 42464 26144 2998 3035 0 30222 0
[pid=32416/tid=32418] ppid=32413 vsize=169856 memory=0 CPUtime=3.06 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 25401 0 0 0 303 3 0 0 20 0 3 0 4819628 173932544 26144 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=169856 memory=-5155632409729461125 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4819628 173932544 26144 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 169856 KiB
Current children cumulated memory: 104576 KiB

[startup+6.30023 s]
/proc/loadavg: 3.99 4.10 4.07 5/265 32583
/proc/meminfo: memFree=125292664/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=185136 memory=132756 CPUtime=6.27 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 44029 0 0 0 623 4 0 0 20 0 3 0 4819625 189579264 33189 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 46284 33189 2998 3035 0 37687 0
[pid=32416/tid=32418] ppid=32413 vsize=185136 memory=0 CPUtime=6.24 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 39596 0 0 0 620 4 0 0 20 0 3 0 4819628 189579264 33189 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=185136 memory=115700 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4819628 189579264 33189 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185136 KiB
Current children cumulated memory: 132756 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.07 5/265 32585
/proc/meminfo: memFree=125254172/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=203568 memory=154924 CPUtime=12.65 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 71599 0 0 0 1259 6 0 0 20 0 3 0 4819625 208453632 38731 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 50892 38731 2998 3035 0 43692 0
[pid=32416/tid=32418] ppid=32413 vsize=203568 memory=12680 CPUtime=12.62 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 67030 0 0 0 1256 6 0 0 20 0 3 0 4819628 208453632 38731 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=203568 memory=93904 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4819628 208453632 38731 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 203568 KiB
Current children cumulated memory: 154924 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.07 5/267 32588
/proc/meminfo: memFree=124919948/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=203568 memory=156744 CPUtime=25.41 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 105809 0 0 0 2532 9 0 0 20 0 3 0 4819625 208453632 39186 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 50892 39186 2998 3035 0 43898 0
[pid=32416/tid=32418] ppid=32413 vsize=203568 memory=1828 CPUtime=25.37 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 101150 0 0 0 2529 8 0 0 20 0 3 0 4819628 208453632 39186 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=203568 memory=32572 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4819628 208453632 39186 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 203568 KiB
Current children cumulated memory: 156744 KiB

[startup+51.1054 s]
/proc/loadavg: 4.04 4.09 4.07 5/267 32699
/proc/meminfo: memFree=125163888/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=260576 memory=171916 CPUtime=50.93 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 170084 0 0 0 5077 16 0 0 20 0 3 0 4819625 266829824 42979 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 65144 42979 2998 3035 0 47303 0
[pid=32416/tid=32418] ppid=32413 vsize=260576 memory=171916 CPUtime=50.89 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 165317 0 0 0 5074 15 0 0 20 0 3 0 4819628 266829824 42979 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=260576 memory=32572 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4819628 266829824 42979 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 260576 KiB
Current children cumulated memory: 171916 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/268 32709
/proc/meminfo: memFree=125031456/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=263408 memory=183780 CPUtime=101.94 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 211785 0 0 0 10174 20 0 0 20 0 3 0 4819625 269729792 45945 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 65852 45945 2998 3035 0 49342 0
[pid=32416/tid=32418] ppid=32413 vsize=263408 memory=12340 CPUtime=101.9 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 206960 0 0 0 10171 19 0 0 20 0 3 0 4819628 269729792 45945 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=263408 memory=12340 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4819628 269729792 45945 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 263408 KiB
Current children cumulated memory: 183780 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.07 5/268 32719
/proc/meminfo: memFree=124919580/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=333352 memory=243504 CPUtime=161.76 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 259265 0 0 0 16150 26 0 0 20 0 3 0 4819625 341352448 60876 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 83338 60876 2998 3035 0 64543 0
[pid=32416/tid=32418] ppid=32413 vsize=333352 memory=12340 CPUtime=161.72 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 254413 0 0 0 16147 25 0 0 20 0 3 0 4819628 341352448 60876 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=333352 memory=206216 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4819628 341352448 60876 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 333352 KiB

################
# More data... #
################

/proc/32416/statm: 117424 99319 2998 3035 0 102194 0
[pid=32416/tid=32418] ppid=32413 vsize=469696 memory=12680 CPUtime=1118.62 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 629592 0 0 0 111757 105 0 0 20 0 3 0 4819628 480968704 99319 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=469696 memory=12340 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 4819628 480968704 99319 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1118.98 s
Current children cumulated vsize: 469696 KiB
Current children cumulated memory: 397276 KiB

[startup+1182.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 32952
/proc/meminfo: memFree=117247924/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=469696 memory=397776 CPUtime=1178.82 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 640907 0 0 0 117760 122 0 0 20 0 3 0 4819625 480968704 99444 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 117424 99444 2998 3035 0 102194 0
[pid=32416/tid=32418] ppid=32413 vsize=469696 memory=12680 CPUtime=1178.41 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 635731 0 0 0 117731 110 0 0 20 0 3 0 4819628 480968704 99444 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=469696 memory=397276 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 4819628 480968704 99444 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1178.82 s
Current children cumulated vsize: 469696 KiB
Current children cumulated memory: 397776 KiB

[startup+1242.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/263 33012
/proc/meminfo: memFree=116913148/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=469696 memory=398120 CPUtime=1238.59 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 647115 0 0 0 123729 130 0 0 20 0 3 0 4819625 480968704 99530 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 117424 99530 2998 3035 0 102280 0
[pid=32416/tid=32418] ppid=32413 vsize=469696 memory=12340 CPUtime=1238.13 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 641920 0 0 0 123696 117 0 0 20 0 3 0 4819628 480968704 99530 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=469696 memory=12680 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 4819628 480968704 99530 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1238.59 s
Current children cumulated vsize: 469696 KiB
Current children cumulated memory: 398120 KiB

[startup+1302.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/263 33023
/proc/meminfo: memFree=113068288/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=472648 memory=401936 CPUtime=1298.42 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 654798 0 0 0 129703 139 0 0 20 0 3 0 4819625 483991552 100484 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 118162 100484 2998 3035 0 103265 0
[pid=32416/tid=32418] ppid=32413 vsize=472648 memory=401444 CPUtime=1297.89 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 649588 0 0 0 129665 124 0 0 20 0 3 0 4819628 483991552 100484 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=472648 memory=401444 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 4819628 483991552 100484 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1298.42 s
Current children cumulated vsize: 472648 KiB
Current children cumulated memory: 401936 KiB

[startup+1317.38 s]
# the end of solver process 32416 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1312.04 s, system=1.42625 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1305.6 s]
/proc/loadavg: 4.17 4.14 4.10 5/263 33023
/proc/meminfo: memFree=113063336/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=475816 memory=406748 CPUtime=1301.71 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 658301 0 0 0 130031 140 0 0 20 0 3 0 4819625 487235584 101687 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 118954 101687 2998 3035 0 104437 0
[pid=32416/tid=32418] ppid=32413 vsize=475816 memory=399228 CPUtime=1301.18 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 653091 0 0 0 129993 125 0 0 20 0 3 0 4819628 487235584 101687 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=475816 memory=399904 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 4819628 487235584 101687 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1301.71 s
Current children cumulated vsize: 475816 KiB
Current children cumulated memory: 406748 KiB

[startup+1312 s]*
/proc/loadavg: 4.16 4.14 4.10 5/263 33025
/proc/meminfo: memFree=113063336/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=475816 memory=406748 CPUtime=1308.1 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 658380 0 0 0 130669 141 0 0 20 0 3 0 4819625 487235584 101687 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 118954 101687 2998 3035 0 104437 0
[pid=32416/tid=32418] ppid=32413 vsize=475816 memory=-6000919472790727020 CPUtime=1307.56 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 653170 0 0 0 130630 126 0 0 20 0 3 0 4819628 487235584 101687 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=475816 memory=40060 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 4819628 487235584 101687 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1308.1 s
Current children cumulated vsize: 475816 KiB
Current children cumulated memory: 406748 KiB

[startup+1315.2 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 33025
/proc/meminfo: memFree=113060408/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=477040 memory=410380 CPUtime=1311.28 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 659358 0 0 0 130987 141 0 0 20 0 3 0 4819625 488488960 102595 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 119260 102595 2998 3035 0 105402 0
[pid=32416/tid=32418] ppid=32413 vsize=477040 memory=406748 CPUtime=1310.73 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 654148 0 0 0 130947 126 0 0 20 0 3 0 4819628 488488960 102595 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=477040 memory=406748 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 4819628 488488960 102595 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1311.28 s
Current children cumulated vsize: 477040 KiB
Current children cumulated memory: 410380 KiB

[startup+1316 s]*
/proc/loadavg: 4.15 4.14 4.10 5/263 33025
/proc/meminfo: memFree=113055784/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=480268 memory=413944 CPUtime=1312.09 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 660663 0 0 0 131067 142 0 0 20 0 3 0 4819625 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 120067 103486 2998 3035 0 106236 0
[pid=32416/tid=32418] ppid=32413 vsize=480268 memory=11548 CPUtime=1311.54 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 655453 0 0 0 131027 127 0 0 20 0 3 0 4819628 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=480268 memory=11548 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 4819628 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1312.09 s
Current children cumulated vsize: 480268 KiB
Current children cumulated memory: 413944 KiB

[startup+1316.8 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 33025
/proc/meminfo: memFree=113055784/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=480268 memory=413944 CPUtime=1312.88 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 660664 0 0 0 131146 142 0 0 20 0 3 0 4819625 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 120067 103486 2998 3035 0 106236 0
[pid=32416/tid=32418] ppid=32413 vsize=480268 memory=406748 CPUtime=1312.34 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 655454 0 0 0 131107 127 0 0 20 0 3 0 4819628 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=480268 memory=406748 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 4819628 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1312.88 s
Current children cumulated vsize: 480268 KiB
Current children cumulated memory: 413944 KiB

[startup+1317.2 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 33026
/proc/meminfo: memFree=113056092/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=480268 memory=413944 CPUtime=1313.28 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 660664 0 0 0 131186 142 0 0 20 0 3 0 4819625 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 120067 103486 2998 3035 0 106236 0
[pid=32416/tid=32418] ppid=32413 vsize=480268 memory=12400 CPUtime=1312.73 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 655454 0 0 0 131146 127 0 0 20 0 3 0 4819628 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=480268 memory=5420 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 4819628 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1313.28 s
Current children cumulated vsize: 480268 KiB
Current children cumulated memory: 413944 KiB

[startup+1317.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 33026
/proc/meminfo: memFree=113056092/131524600 swapFree=131071996/131071996
[pid=32416] ppid=32413 vsize=480268 memory=413944 CPUtime=1313.38 cores=1,3
/proc/32416/stat : 32416 (fscip) S 32413 32416 30194 0 -1 1077936128 660664 0 0 0 131196 142 0 0 20 0 3 0 4819625 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
/proc/32416/statm: 120067 103486 2998 3035 0 106236 0
[pid=32416/tid=32418] ppid=32413 vsize=480268 memory=400248 CPUtime=1312.83 cores=1,3
/proc/32416/task/32418/stat : 32418 (fscip) R 32413 32416 30194 0 -1 4194368 655454 0 0 0 131156 127 0 0 20 0 3 0 4819628 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
[pid=32416/tid=32426] ppid=32413 vsize=480268 memory=12400 CPUtime=0 cores=1,3
/proc/32416/task/32426/stat : 32426 (fscip) S 32413 32416 30194 0 -1 1077936192 96 0 0 0 0 0 0 0 20 0 3 0 4819628 491794432 103486 134679101440 4194304 16623229 140724446335664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 37416960 140724446344214 140724446344330 140724446344330 140724446351344 0
Current children cumulated CPU time: 1313.38 s
Current children cumulated vsize: 480268 KiB
Current children cumulated memory: 413944 KiB

Child status: 0

Real time (s): 1317.38
CPU time (s): 1313.47
CPU user time (s): 1312.04
CPU system time (s): 1.42625
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 480916
Max. memory (cumulated for all children) (KiB): 413944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1312.04
system time used= 1.42625
maximum resident set size= 422640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660803
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= 20670
involuntary context switches= 1644


# summary of solver processes directly reported to runsolver:
#   pid: 32416
#   total CPU time (s): 1313.47
#   total CPU user time (s): 1312.04
#   total CPU system time (s): 1.42625

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23479 second user time and 6.37535 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-31 01:29:54
IDJOB=4464786
IDBENCH=148620
IDSOLVER=3092
FILE ID=nodeC026/4464786-1722382194
RUNJOBID= nodeC026-1722378594-30206
SLURM_JOB_ID= 8249849
Free space on /tmp= 890056 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464786-1722382194/watcher-4464786-1722382194 -o /tmp/evaluation-result-4464786-1722382194/solver-4464786-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30206 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464786-1722382194.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= dbebfc2916fd48f48fd9f4f0821ac62f
RANDOM SEED=1367756045

nodeC026.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		: 3657.527
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	: 7000.59
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		: 3660.744
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	: 7006.70
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		: 3636.852
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	: 7000.59
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		: 3661.725
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	: 7006.70
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		: 3655.987
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	: 7000.59
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		: 3661.197
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	: 7006.70
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		: 3630.523
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	: 7000.59
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		: 3615.649
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	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125790088 kB
MemAvailable:   129824176 kB
Buffers:           95312 kB
Cached:          4755792 kB
SwapCached:            0 kB
Active:           266020 kB
Inactive:        4957284 kB
Active(anon):       1472 kB
Inactive(anon):   391720 kB
Active(file):     264548 kB
Inactive(file):  4565564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            112784 kB
Writeback:             0 kB
AnonPages:        372140 kB
Mapped:           100860 kB
Shmem:             21336 kB
KReclaimable:      87596 kB
Slab:             171872 kB
SReclaimable:      87596 kB
SUnreclaim:        84276 kB
KernelStack:        4020 kB
PageTables:         9408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     693492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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:      205524 kB
DirectMap2M:    16345088 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889832 MiB
End job on nodeC026 at 2024-07-31 01:51:52