Trace number 4459891

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-02OPT10 1202.84 1206.09

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb
MD5SUMfd84b8b3737013ad4e894ab6fbe61c2a
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 benchmark10
Best CPU time to get the best result obtained on this benchmark1202.84
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 constraint26
Maximum length of a constraint51
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)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1         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.03	c Default LC presolving (default).
0.00/0.03	c ** Before presolving: virtualMemUsedAtLc = 46465024, getVmSize() = 46465024, SCIPgetMemUsed() = 19968798, SCIPgetMemTotal() = 24067974, SCIPgetMemExternEstim() = 12247472
0.00/0.03	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05	c ** Estimated virtualMemUsedAtSolver = 33452032, getVmSize() = 53891072, SCIPgetMemUsed() = 19322403, SCIPgetMemTotal() = 30290123, SCIPgetMemExternEstim() = 12247472
0.00/0.05	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05	c Original Problem   :
0.00/0.05	c   Problem name     : instance-4459891-1721939988
0.00/0.05	c   Variables        : 6460 (200 binary, 0 integer, 6260 implicit integer, 0 continuous)
0.00/0.05	c   Constraints      : 6660
0.00/0.05	c   Objective sense  : minimize
0.00/0.05	c Presolved Problem  :
0.00/0.05	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05	c   Constraints      : 200
0.00/0.05	c Constraints        : Number
0.00/0.05	c   logicor          : 200 
0.00/0.05	c ** Instance transfer method used: 0
0.00/0.06	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06	c                                Nodes    Active                                            
0.00/0.06	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.06	c *       0              0           1         1         200.0000                -          -
0.00/0.07	c *       0              0           1         1          11.0000                -          -
5.77/5.81	c         6             24           7         1          11.0000           6.2845     75.04%
10.75/10.80	c        11            122          49         1          11.0000           6.4163     71.44%
15.85/15.97	c        16            453         238         1          11.0000           6.7156     63.80%
21.23/21.31	c        21            663         440         1          11.0000           6.9669     57.89%
26.71/26.90	c        27            914         687         1          11.0000           7.0794     55.38%
31.80/31.96	c        32           1250        1021         1          11.0000           7.0794     55.38%
36.99/37.13	c        37           1572        1327         1          11.0000           7.1608     53.61%
42.77/42.99	c        43           1893        1608         1          11.0000           7.3048     50.59%
48.56/48.73	c        49           2024          10         1          11.0000           7.3096     50.49%
53.95/54.18	c        54           2137         123         1          11.0000           7.3096     50.49%
59.13/59.39	c        59           2325         311         1          11.0000           7.3096     50.49%
64.32/64.57	c        65           2612         586         1          11.0000           7.3096     50.49%
69.80/70.08	c        70           2882         850         1          11.0000           7.3096     50.49%
74.90/75.17	c        75           3144        1106         1          11.0000           7.3096     50.49%
80.17/80.47	c        80           3390        1340         1          11.0000           7.3096     50.49%
85.46/85.70	c        86           3814        1674         1          11.0000           7.3096     50.49%
90.64/90.94	c        91           4201        2011         1          11.0000           7.3096     50.49%
96.13/96.48	c        96           4589        2327         1          11.0000           7.3399     49.87%
101.21/101.58	c       102           5015        2701         1          11.0000           7.3680     49.29%
106.70/107.07	c       107           5475        3103         1          11.0000           7.4470     47.71%
111.78/112.19	c       112           5975        3543         1          11.0000           7.5069     46.53%
116.97/117.32	c       117           6535        4009         1          11.0000           7.5779     45.16%
121.95/122.36	c       122           7015        4429         1          11.0000           7.6152     44.45%
127.04/127.47	c       127           7575        4883         1          11.0000           7.6651     43.51%
132.73/133.11	c       133           8105        5303         1          11.0000           7.6934     42.98%
138.42/138.82	c       139           8655        5747         1          11.0000           7.7116     42.64%
143.39/143.88	c       144           9165        6179         1          11.0000           7.7251     42.39%
148.69/149.13	c       149           9605        6525         1          11.0000           7.7469     41.99%
153.77/154.29	c       154          10145        6939         1          11.0000           7.7608     41.74%
159.36/159.83	c       160          10705        7347         1          11.0000           7.7774     41.44%
165.04/165.56	c       166          11355        7787         1          11.0000           7.8024     40.98%
170.03/170.59	c       171          11955        8177         1          11.0000           7.8166     40.73%
175.42/175.92	c       176          12525        8535         1          11.0000           7.8309     40.47%
181.20/181.70	c       182          13314        9038         1          11.0000           7.8531     40.07%
186.49/187.07	c       187          13895        9419         1          11.0000           7.8717     39.74%
192.08/192.60	c       193          14585        9847         1          11.0000           7.8871     39.47%
197.06/197.61	c       198          15325       10299         1          11.0000           7.9050     39.15%
202.55/203.17	c       203          16065       10741         1          11.0000           7.9091     39.08%
207.83/208.48	c       208          16755       11169         1          11.0000           7.9224     38.85%
213.32/213.94	c       214          17535       11647         1          11.0000           7.9291     38.73%
219.11/219.74	c       220          18196       12052         1          11.0000           7.9344     38.64%
224.59/225.20	c       225          19005       12527         1          11.0000           7.9624     38.15%
230.17/230.83	c       231          19895       13063         1          11.0000           7.9703     38.01%
235.86/236.52	c       237          20744       13588         1          11.0000           7.9762     37.91%
241.05/241.76	c       242          21565       14055         1          11.0000           7.9866     37.73%
246.23/246.98	c       247          22445       14567         1          11.0000           7.9914     37.65%
251.62/252.30	c       252          23205       14999         1          11.0000           8.0014     37.48%
257.11/257.81	c       258          24063       15503         1          11.0000           8.0120     37.29%
262.10/262.89	c       263          24785       15937         1          11.0000           8.0183     37.19%
267.48/268.24	c       268          25653       16385         1          11.0000           8.0254     37.07%
272.67/273.42	c       273          26355       16789         1          11.0000           8.0288     37.01%
278.05/278.86	c       279          27065       17189         1          11.0000           8.0332     36.93%
283.14/283.99	c       284          27885       17637         1          11.0000           8.0428     36.77%
288.23/289.06	c       289          28639       18103         1          11.0000           8.0435     36.76%
293.51/294.32	c       294          29455       18533         1          11.0000           8.0518     36.62%
298.80/299.61	c       300          30305       18969         1          11.0000           8.0569     36.53%
304.48/305.32	c       305          31192       19472         1          11.0000           8.0631     36.42%
309.76/310.65	c       311          32125       19897         1          11.0000           8.0719     36.28%
315.25/316.14	c       316          33012       20266         1          11.0000           8.0776     36.18%
320.53/321.49	c       322          33818       20618         1          11.0000           8.0819     36.11%
326.13/327.05	c       327          34695       20967         1          11.0000           8.0882     36.00%
331.91/332.83	c       333          35561       21307         1          11.0000           8.0936     35.91%
337.29/338.23	c       338          36339       21625         1          11.0000           8.0987     35.82%
343.08/344.09	c       344          37375       22051         1          11.0000           8.1044     35.73%
348.56/349.51	c       350          38163       22395         1          11.0000           8.1080     35.67%
353.55/354.54	c       355          38835       22641         1          11.0000           8.1136     35.57%
358.64/359.65	c       360          39744       22992         1          11.0000           8.1189     35.49%
363.82/364.82	c       365          40545       23313         1          11.0000           8.1236     35.41%
369.11/370.13	c       370          41345       23655         1          11.0000           8.1248     35.39%
374.40/375.46	c       375          42157       23989         1          11.0000           8.1307     35.29%
379.99/381.01	c       381          43064       24340         1          11.0000           8.1395     35.14%
385.76/386.81	c       387          44002       24686         1          11.0000           8.1438     35.07%
391.35/392.43	c       392          44885       25047         1          11.0000           8.1476     35.01%
396.54/397.66	c       398          45565       25313         1          11.0000           8.1515     34.94%
401.63/402.73	c       403          46268       25604         1          11.0000           8.1540     34.90%
406.71/407.82	c       408          47075       25905         1          11.0000           8.1570     34.85%
411.70/412.86	c       413          47865       26217         1          11.0000           8.1601     34.80%
417.18/418.30	c       418          48635       26491         1          11.0000           8.1640     34.74%
422.47/423.67	c       424          49535       26819         1          11.0000           8.1747     34.56%
427.75/428.90	c       429          50255       27101         1          11.0000           8.1784     34.50%
432.75/433.99	c       434          51185       27401         1          11.0000           8.1810     34.46%
438.33/439.51	c       440          51945       27677         1          11.0000           8.1857     34.38%
443.81/445.09	c       445          52765       27951         1          11.0000           8.1917     34.28%
449.40/450.65	c       451          53550       28234         1          11.0000           8.1983     34.17%
454.68/455.93	c       456          54186       28444         1          11.0000           8.2028     34.10%
460.07/461.37	c       461          54937       28717         1          11.0000           8.2061     34.05%
465.16/466.46	c       466          55735       28989         1          11.0000           8.2115     33.96%
470.24/471.56	c       472          56295       29187         1          11.0000           8.2146     33.91%
476.03/477.39	c       477          57172       29492         1          11.0000           8.2208     33.81%
481.42/482.75	c       483          57955       29781         1          11.0000           8.2261     33.72%
486.70/488.01	c       488          58810       30074         1          11.0000           8.2320     33.62%
492.29/493.62	c       494          59589       30327         1          11.0000           8.2341     33.59%
497.77/499.17	c       499          60410       30626         1          11.0000           8.2411     33.48%
502.85/504.26	c       504          61115       30879         1          11.0000           8.2494     33.34%
508.25/509.65	c       510          61855       31135         1          11.0000           8.2499     33.34%
513.23/514.65	c       515          62615       31403         1          11.0000           8.2535     33.28%
518.92/520.32	c       520          63423       31657         1          11.0000           8.2555     33.25%
524.49/525.98	c       526          64322       31956         1          11.0000           8.2584     33.20%
529.77/531.23	c       531          65195       32231         1          11.0000           8.2636     33.11%
534.94/536.48	c       536          66045       32537         1          11.0000           8.2676     33.05%
540.43/541.94	c       542          67025       32877         1          11.0000           8.2744     32.94%
546.12/547.61	c       548          67965       33203         1          11.0000           8.2773     32.89%
552.11/553.64	c       554          69009       33569         1          11.0000           8.2787     32.87%
557.39/558.91	c       559          69705       33833         1          11.0000           8.2809     32.84%
562.68/564.29	c       564          70615       34143         1          11.0000           8.2855     32.76%
568.36/569.95	c       570          71655       34495         1          11.0000           8.2882     32.72%
573.75/575.38	c       575          72395       34729         1          11.0000           8.2908     32.68%
578.83/580.47	c       580          73105       34945         1          11.0000           8.2943     32.62%
584.12/585.78	c       586          73855       35183         1          11.0000           8.2976     32.57%
589.41/591.00	c       591          74665       35457         1          11.0000           8.3009     32.52%
594.79/596.48	c       596          75425       35721         1          11.0000           8.3066     32.42%
600.88/602.54	c       603          76438       36040         1          11.0000           8.3080     32.40%
606.66/608.36	c       608          77197       36269         1          11.0000           8.3101     32.37%
612.55/614.22	c       614          78046       36560         1          11.0000           8.3128     32.33%
617.83/619.55	c       620          78907       36849         1          11.0000           8.3152     32.29%
623.12/624.86	c       625          79805       37131         1          11.0000           8.3178     32.25%
628.60/630.36	c       630          80615       37401         1          11.0000           8.3196     32.22%
633.69/635.48	c       635          81305       37641         1          11.0000           8.3205     32.20%
638.98/640.73	c       641          82105       37905         1          11.0000           8.3231     32.16%
644.86/646.64	c       647          82918       38176         1          11.0000           8.3289     32.07%
650.25/652.00	c       652          83725       38445         1          11.0000           8.3326     32.01%
655.43/657.29	c       657          84595       38723         1          11.0000           8.3361     31.96%
660.81/662.68	c       663          85487       39031         1          11.0000           8.3384     31.92%
666.90/668.70	c       669          86433       39335         1          11.0000           8.3403     31.89%
672.19/674.04	c       674          87295       39603         1          11.0000           8.3418     31.87%
677.66/679.56	c       680          88175       39879         1          11.0000           8.3438     31.83%
683.06/684.96	c       685          89295       40201         1          11.0000           8.3480     31.77%
688.74/690.65	c       691          90275       40501         1          11.0000           8.3538     31.68%
693.93/695.84	c       696          91178       40758         1          11.0000           8.3560     31.64%
698.92/700.86	c       701          92035       41023         1          11.0000           8.3574     31.62%
704.70/706.62	c       707          93085       41345         1          11.0000           8.3611     31.56%
709.69/711.67	c       712          93975       41625         1          11.0000           8.3637     31.52%
715.37/717.33	c       717          94910       41882         1          11.0000           8.3690     31.44%
720.66/722.65	c       723          95745       42141         1          11.0000           8.3718     31.39%
726.24/728.24	c       728          96765       42421         1          11.0000           8.3751     31.34%
731.73/733.77	c       734          97834       42680         1          11.0000           8.3772     31.31%
737.02/739.01	c       739          98695       42923         1          11.0000           8.3797     31.27%
742.60/744.60	c       745          99745       43247         1          11.0000           8.3812     31.25%
747.88/749.90	c       750         100735       43517         1          11.0000           8.3858     31.17%
753.07/755.15	c       755         101575       43775         1          11.0000           8.3879     31.14%
758.56/760.61	c       761         102755       44115         1          11.0000           8.3917     31.08%
764.34/766.45	c       766         103833       44407         1          11.0000           8.3954     31.02%
769.73/771.82	c       772         104745       44641         1          11.0000           8.3971     31.00%
774.92/777.03	c       777         105755       44915         1          11.0000           8.3997     30.96%
780.40/782.58	c       783         106765       45201         1          11.0000           8.4018     30.92%
785.58/787.74	c       788         107835       45481         1          11.0000           8.4046     30.88%
790.67/792.89	c       793         108882       45762         1          11.0000           8.4064     30.85%
796.56/798.79	c       799         109972       46078         1          11.0000           8.4071     30.84%
802.44/804.64	c       805         111135       46361         1          11.0000           8.4094     30.81%
807.53/809.77	c       810         112125       46641         1          11.0000           8.4129     30.75%
812.61/814.89	c       815         113125       46919         1          11.0000           8.4151     30.72%
817.90/820.13	c       820         114064       47172         1          11.0000           8.4163     30.70%
823.09/825.32	c       825         115125       47421         1          11.0000           8.4187     30.66%
826.98/829.29	c *     829         115615       47559         1          10.0000           8.4201     18.76%
828.38/830.66	c       831         115965       10706         1          10.0000           8.4207     18.75%
833.56/835.81	c       836         116735       10600         1          10.0000           8.4255     18.69%
838.54/840.86	c       841         117635       10444         1          10.0000           8.4317     18.60%
843.93/846.24	c       846         118655       10258         1          10.0000           8.4362     18.54%
849.11/851.42	c       851         119605       10112         1          10.0000           8.4385     18.50%
854.10/856.44	c       856         120665        9904         1          10.0000           8.4431     18.44%
859.48/861.88	c       862         121655        9698         1          10.0000           8.4473     18.38%
864.67/867.02	c       867         122585        9504         1          10.0000           8.4521     18.31%
870.56/872.98	c       873         123625        9260         1          10.0000           8.4591     18.22%
875.84/878.29	c       878         124655        9002         1          10.0000           8.4653     18.13%
880.93/883.35	c       883         125695        8696         1          10.0000           8.4707     18.05%
886.22/888.69	c       889         126825        8310         1          10.0000           8.4788     17.94%
891.31/893.74	c       894         128015        7824         1          10.0000           8.4899     17.79%
896.29/898.77	c       899         129255        7192         1          10.0000           8.5050     17.58%
901.38/903.80	c       904         130135        6442         1          10.0000           8.5358     17.15%
906.36/908.81	c       909         130795        5804         1          10.0000           8.5781     16.58%
911.45/913.95	c       914         131305        5300         1          10.0000           8.6159     16.06%
916.55/919.02	c       919         131595        5010         1          10.0000           8.6297     15.88%
921.53/924.03	c       924         131805        4800         1          10.0000           8.6465     15.65%
926.62/929.15	c       929         131995        4610         1          10.0000           8.6581     15.50%
931.91/934.40	c       934         132175        4430         1          10.0000           8.6637     15.42%
936.89/939.46	c       939         132335        4270         1          10.0000           8.6731     15.30%
942.19/944.78	c       945         132485        4120         1          10.0000           8.6793     15.22%
947.27/949.80	c       950         132625        3980         1          10.0000           8.6844     15.15%
952.46/955.01	c       955         132765        3840         1          10.0000           8.6925     15.04%
957.65/960.26	c       960         132905        3700         1          10.0000           8.6985     14.96%
962.83/965.42	c       965         133025        3580         1          10.0000           8.7074     14.84%
967.91/970.56	c       971         133145        3460         1          10.0000           8.7126     14.78%
973.20/975.81	c       976         133265        3340         1          10.0000           8.7193     14.69%
978.49/981.16	c       981         133385        3220         1          10.0000           8.7257     14.60%
983.57/986.24	c       986         133495        3110         1          10.0000           8.7320     14.52%
989.05/991.76	c       992         133615        2990         1          10.0000           8.7375     14.45%
994.04/996.76	c       997         133715        2890         1          10.0000           8.7450     14.35%
999.33/1002.06	c      1002         133825        2780         1          10.0000           8.7497     14.29%
1004.80/1007.53	c      1008         133935        2670         1          10.0000           8.7532     14.24%
1010.19/1012.99	c      1013         134035        2570         1          10.0000           8.7596     14.16%
1015.37/1018.19	c      1018         134135        2470         1          10.0000           8.7645     14.10%
1021.05/1023.80	c      1024         134235        2370         1          10.0000           8.7675     14.06%
1026.44/1029.24	c      1029         134325        2280         1          10.0000           8.7731     13.99%
1031.72/1034.54	c      1035         134405        2200         1          10.0000           8.7771     13.93%
1036.80/1039.62	c      1040         134485        2120         1          10.0000           8.7803     13.89%
1041.89/1044.72	c      1045         134565        2040         1          10.0000           8.7852     13.83%
1046.87/1049.77	c      1050         134655        1950         1          10.0000           8.7874     13.80%
1052.45/1055.36	c      1055         134755        1850         1          10.0000           8.7934     13.72%
1057.44/1060.39	c      1060         134835        1770         1          10.0000           8.7956     13.69%
1062.82/1065.77	c      1066         134925        1680         1          10.0000           8.8011     13.62%
1068.31/1071.24	c      1071         135005        1600         1          10.0000           8.8059     13.56%
1073.69/1076.67	c      1077         135085        1520         1          10.0000           8.8116     13.49%
1079.37/1082.37	c      1082         135165        1440         1          10.0000           8.8154     13.44%
1084.35/1087.38	c      1087         135235        1370         1          10.0000           8.8202     13.38%
1090.04/1093.06	c      1093         135315        1290         1          10.0000           8.8240     13.33%
1095.82/1098.85	c      1099         135395        1210         1          10.0000           8.8279     13.28%
1101.40/1104.44	c      1104         135465        1140         1          10.0000           8.8299     13.25%
1106.79/1109.87	c      1110         135535        1070         1          10.0000           8.8361     13.17%
1112.07/1115.16	c      1115         135605        1000         1          10.0000           8.8395     13.13%
1117.55/1120.63	c      1121         135685         920         1          10.0000           8.8439     13.07%
1123.03/1126.17	c      1126         135765         840         1          10.0000           8.8479     13.02%
1128.41/1131.54	c      1132         135845         760         1          10.0000           8.8519     12.97%
1134.10/1137.26	c      1137         135915         690         1          10.0000           8.8539     12.94%
1139.79/1142.95	c      1143         135975         630         1          10.0000           8.8566     12.91%
1145.58/1148.78	c      1149         136035         570         1          10.0000           8.8613     12.85%
1151.26/1154.48	c      1154         136095         510         1          10.0000           8.8673     12.77%
1157.15/1160.38	c      1160         136155         450         1          10.0000           8.8711     12.73%
1162.94/1166.10	c      1166         136215         390         1          10.0000           8.8804     12.61%
1168.12/1171.33	c      1171         136265         340         1          10.0000           8.8874     12.52%
1173.31/1176.58	c      1177         136315         290         1          10.0000           8.8896     12.49%
1178.70/1181.96	c      1182         136375         230         1          10.0000           8.8916     12.47%
1184.19/1187.43	c      1187         136435         170         1          10.0000           8.8997     12.36%
1189.37/1192.65	c      1193         136485         120         1          10.0000           8.9040     12.31%
1195.26/1198.53	c      1199         136542          63         1          10.0000           8.9091     12.24%
1200.35/1203.68	c      1204         136590          15         1          10.0000           8.9453     11.79%
1202.64/1205.91	c      1206         136605           0         0          10.0000          10.0000      0.00%
1202.75/1206.07	c      1206         136605           0         0          10.0000          10.0000          -
1202.75/1206.07	c SCIP Status        : c problem is solved
1202.75/1206.07	c Total Time         : 1206.0600
1202.75/1206.07	c   solving          : 1206.0600
1202.75/1206.07	c   presolving       : 0.0284 (included in solving)
1202.75/1206.07	c B&B Tree           :
1202.75/1206.07	c   nodes (total)    : 136605
1202.75/1206.07	c Solution           :
1202.75/1206.07	c   Solutions found  : 3
1202.75/1206.07	c   Primal Bound     : +1.00000000000000e+01
1202.75/1206.07	c   Dual Bound       : +1.00000000000000e+01
1202.75/1206.07	c Gap                : 0.00000 %
1202.75/1206.07	o 10
1202.75/1206.07	s OPTIMUM FOUND
1202.75/1206.07	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1202.75/1206.07	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 
1202.75/1206.07	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1202.75/1206.07	v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1202.75/1206.07	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1202.75/1206.07	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 
1202.75/1206.07	v -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 
1202.75/1206.07	v -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23 x22 -x21 -x20 x19 
1202.75/1206.07	v x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	10

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

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

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
solver pid=311299, runsolver pid=311296
Current StackSize limit: 8192 KiB


[startup+0.101041 s]*
/proc/loadavg: 4.11 3.50 1.96 5/263 311302
/proc/meminfo: memFree=108041268/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=136572 memory=50476 CPUtime=0.09 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 10095 0 0 0 9 0 0 0 20 0 3 0 30528233 139849728 12619 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 34143 12619 2878 3032 0 16092 0
[pid=311299/tid=311301] ppid=311296 vsize=136572 memory=4026561586 CPUtime=0.03 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 1765 0 0 0 3 0 0 0 20 0 3 0 30528239 139849728 12619 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=136572 memory=237146210664 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30528239 139849728 12619 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 136572 KiB
Current children cumulated memory: 50476 KiB

[startup+0.206042 s]*
/proc/loadavg: 4.11 3.50 1.96 5/263 311302
/proc/meminfo: memFree=108028156/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=143160 memory=63532 CPUtime=0.19 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 13340 0 0 0 19 0 0 0 20 0 3 0 30528233 146595840 15883 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 35790 15883 2910 3032 0 19339 0
[pid=311299/tid=311301] ppid=311296 vsize=143160 memory=4782652875487838339 CPUtime=0.13 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 5010 0 0 0 13 0 0 0 20 0 3 0 30528239 146595840 15883 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=143160 memory=649556 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30528239 146595840 15883 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 143160 KiB
Current children cumulated memory: 63532 KiB

[startup+0.305502 s]*
/proc/loadavg: 4.11 3.50 1.96 5/263 311302
/proc/meminfo: memFree=108011152/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=157160 memory=80428 CPUtime=0.29 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 17552 0 0 0 28 1 0 0 20 0 3 0 30528233 160931840 20107 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 39290 20107 2910 3032 0 23708 0
[pid=311299/tid=311301] ppid=311296 vsize=157160 memory=-6082229414180076390 CPUtime=0.23 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 9222 0 0 0 23 0 0 0 20 0 3 0 30528239 160931840 20107 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=157160 memory=0 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30528239 160931840 20107 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 157160 KiB
Current children cumulated memory: 80428 KiB

[startup+0.700244 s]
/proc/loadavg: 4.11 3.50 1.96 5/263 311302
/proc/meminfo: memFree=107988644/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=180584 memory=115428 CPUtime=0.68 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 27992 0 0 0 65 3 0 0 20 0 3 0 30528233 184918016 28857 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 45146 28857 2910 3032 0 33028 0
[pid=311299/tid=311301] ppid=311296 vsize=180584 memory=0 CPUtime=0.62 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 19662 0 0 0 60 2 0 0 20 0 3 0 30528239 184918016 28857 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=180584 memory=0 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30528239 184918016 28857 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 180584 KiB
Current children cumulated memory: 115428 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 3.50 1.96 5/263 311302
/proc/meminfo: memFree=107970240/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=180584 memory=121256 CPUtime=1.48 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 30327 0 0 0 144 4 0 0 20 0 3 0 30528233 184918016 30314 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 45146 30314 2926 3032 0 34722 0
[pid=311299/tid=311301] ppid=311296 vsize=180584 memory=0 CPUtime=1.42 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 21997 0 0 0 139 3 0 0 20 0 3 0 30528239 184918016 30314 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=180584 memory=0 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30528239 184918016 30314 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180584 KiB
Current children cumulated memory: 121256 KiB

[startup+3.1044 s]
/proc/loadavg: 4.11 3.50 1.96 5/263 311304
/proc/meminfo: memFree=107968636/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=180584 memory=121560 CPUtime=3.08 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 31944 0 0 0 304 4 0 0 20 0 3 0 30528233 184918016 30390 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 45146 30390 2926 3032 0 34784 0
[pid=311299/tid=311301] ppid=311296 vsize=180584 memory=2273 CPUtime=3.02 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 23611 0 0 0 299 3 0 0 20 0 3 0 30528239 184918016 30390 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=180584 memory=0 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 30528239 184918016 30390 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 180584 KiB
Current children cumulated memory: 121560 KiB

[startup+6.30016 s]
/proc/loadavg: 4.19 3.52 1.98 5/263 311304
/proc/meminfo: memFree=107965536/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=181608 memory=123152 CPUtime=6.27 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 35680 0 0 0 623 4 0 0 20 0 3 0 30528233 185966592 30788 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 45402 30788 2974 3032 0 35040 0
[pid=311299/tid=311301] ppid=311296 vsize=181608 memory=-6082229414180076390 CPUtime=6.2 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 27312 0 0 0 617 3 0 0 20 0 3 0 30528239 185966592 30788 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=181608 memory=123152 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 30528239 185966592 30788 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 181608 KiB
Current children cumulated memory: 123152 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 3.53 1.99 5/263 311304
/proc/meminfo: memFree=107931516/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=205112 memory=159196 CPUtime=12.65 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 62066 0 0 0 1258 7 0 0 20 0 3 0 30528233 210034688 39799 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 51278 39799 2974 3032 0 44235 0
[pid=311299/tid=311301] ppid=311296 vsize=205112 memory=121560 CPUtime=12.59 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 53638 0 0 0 1253 6 0 0 20 0 3 0 30528239 210034688 39799 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=205112 memory=0 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 30528239 210034688 39799 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 205112 KiB
Current children cumulated memory: 159196 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 3.56 2.02 5/263 311308
/proc/meminfo: memFree=107924656/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=205112 memory=159272 CPUtime=25.42 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 92756 0 0 0 2533 9 0 0 20 0 3 0 30528233 210034688 39818 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 51278 39818 2974 3032 0 44235 0
[pid=311299/tid=311301] ppid=311296 vsize=205112 memory=132356 CPUtime=25.36 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 84236 0 0 0 2528 8 0 0 20 0 3 0 30528239 210034688 39818 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=205112 memory=11540 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 30528239 210034688 39818 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 205112 KiB
Current children cumulated memory: 159272 KiB

[startup+51.1044 s]
/proc/loadavg: 4.23 3.63 2.08 5/265 311315
/proc/meminfo: memFree=107906496/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=266080 memory=171920 CPUtime=50.96 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 151214 0 0 0 5082 14 0 0 20 0 3 0 30528233 272465920 42980 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 66520 42980 2974 3032 0 47283 0
[pid=311299/tid=311301] ppid=311296 vsize=266080 memory=165768 CPUtime=50.89 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 142593 0 0 0 5076 13 0 0 20 0 3 0 30528239 272465920 42980 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=266080 memory=165504 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 30528239 272465920 42980 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 266080 KiB
Current children cumulated memory: 171920 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 3.70 2.19 5/265 311324
/proc/meminfo: memFree=107879108/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=264048 memory=185084 CPUtime=102.01 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 191679 0 0 0 10183 18 0 0 20 0 3 0 30528233 270385152 46271 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 66012 46271 2974 3032 0 50086 0
[pid=311299/tid=311301] ppid=311296 vsize=264048 memory=185068 CPUtime=101.94 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 182992 0 0 0 10177 17 0 0 20 0 3 0 30528239 270385152 46271 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=264048 memory=185068 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 30528239 270385152 46271 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 264048 KiB
Current children cumulated memory: 185084 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.77 2.31 5/265 311335
/proc/meminfo: memFree=107861992/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=266408 memory=195148 CPUtime=161.85 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 201560 0 0 0 16164 21 0 0 20 0 3 0 30528233 272801792 48787 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 66602 48787 2974 3032 0 51565 0
[pid=311299/tid=311301] ppid=311296 vsize=266408 memory=194956 CPUtime=161.77 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 192836 0 0 0 16158 19 0 0 20 0 3 0 30528239 272801792 48787 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=266408 memory=11540 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 30528239 272801792 48787 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 266408 KiB

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

/proc/311299/statm: 220644 199863 3294 3032 0 205030 0
[pid=311299/tid=311301] ppid=311296 vsize=882576 memory=798224 CPUtime=999.42 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 684484 0 0 0 99791 151 0 0 20 0 3 0 30528239 903757824 199863 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=882576 memory=798196 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 30528239 903757824 199863 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 999.62 s
Current children cumulated vsize: 882576 KiB
Current children cumulated memory: 799452 KiB

[startup+1062.3 s]
/proc/loadavg: 4.12 4.13 3.49 5/264 311886
/proc/meminfo: memFree=106834556/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=969616 memory=886492 CPUtime=1059.43 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 721440 0 0 0 105774 169 0 0 20 0 3 0 30528233 992886784 221623 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 242404 221623 3294 3032 0 226790 0
[pid=311299/tid=311301] ppid=311296 vsize=969616 memory=886492 CPUtime=1059.23 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 712476 0 0 0 105759 164 0 0 20 0 3 0 30528239 992886784 221623 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=969616 memory=886492 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 30528239 992886784 221623 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1059.43 s
Current children cumulated vsize: 969616 KiB
Current children cumulated memory: 886492 KiB

[startup+1122.3 s]
/proc/loadavg: 4.08 4.12 3.53 5/264 312064
/proc/meminfo: memFree=106697400/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1094952 memory=1022980 CPUtime=1119.25 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 750013 0 0 0 111738 187 0 0 20 0 3 0 30528233 1121230848 255745 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 273738 255745 3294 3032 0 260912 0
[pid=311299/tid=311301] ppid=311296 vsize=1094952 memory=943464 CPUtime=1119.03 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 741039 0 0 0 111722 181 0 0 20 0 3 0 30528239 1121230848 255745 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1094952 memory=5536 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 30528239 1121230848 255745 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1119.25 s
Current children cumulated vsize: 1094952 KiB
Current children cumulated memory: 1022980 KiB

[startup+1182.3 s]
/proc/loadavg: 4.13 4.12 3.57 5/266 312076
/proc/meminfo: memFree=106498744/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1275440 memory=1217756 CPUtime=1179.1 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 778581 0 0 0 117697 213 0 0 20 0 3 0 30528233 1306050560 304439 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 318860 304439 3294 3032 0 309621 0
[pid=311299/tid=311301] ppid=311296 vsize=1275440 memory=1116524 CPUtime=1178.88 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 769596 0 0 0 117681 207 0 0 20 0 3 0 30528239 1306050560 304439 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1275440 memory=1116524 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 30528239 1306050560 304439 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1179.1 s
Current children cumulated vsize: 1275440 KiB
Current children cumulated memory: 1217756 KiB

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

# cumulated CPU time of all completed processes:  user=1200.53 s, system=2.31382 s

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

[startup+1190.4 s]
/proc/loadavg: 4.11 4.12 3.57 5/266 312078
/proc/meminfo: memFree=106497380/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1275440 memory=1219008 CPUtime=1187.18 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 785368 0 0 0 118504 214 0 0 20 0 3 0 30528233 1306050560 304752 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 318860 304752 3294 3032 0 309919 0
[pid=311299/tid=311301] ppid=311296 vsize=1275440 memory=943464 CPUtime=1186.96 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 776383 0 0 0 118488 208 0 0 20 0 3 0 30528239 1306050560 304752 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1275440 memory=-8982072550922109855 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 30528239 1306050560 304752 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1187.18 s
Current children cumulated vsize: 1275440 KiB
Current children cumulated memory: 1219008 KiB

[startup+1196.8 s]
/proc/loadavg: 4.10 4.12 3.58 5/266 312079
/proc/meminfo: memFree=106501028/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1275440 memory=1219008 CPUtime=1193.56 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 786573 0 0 0 119142 214 0 0 20 0 3 0 30528233 1306050560 304752 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 318860 304752 3294 3032 0 309919 0
[pid=311299/tid=311301] ppid=311296 vsize=1275440 memory=1219008 CPUtime=1193.34 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 777588 0 0 0 119126 208 0 0 20 0 3 0 30528239 1306050560 304752 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1275440 memory=1219008 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 30528239 1306050560 304752 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1193.56 s
Current children cumulated vsize: 1275440 KiB
Current children cumulated memory: 1219008 KiB

[startup+1200 s]*
/proc/loadavg: 4.09 4.11 3.58 5/266 312079
/proc/meminfo: memFree=106382556/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1393576 memory=1337144 CPUtime=1196.76 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 788057 0 0 0 119448 228 0 0 20 0 3 0 30528233 1427021824 334286 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 348394 334286 3294 3032 0 339453 0
[pid=311299/tid=311301] ppid=311296 vsize=1393576 memory=2796 CPUtime=1196.54 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 779072 0 0 0 119432 222 0 0 20 0 3 0 30528239 1427021824 334286 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1393576 memory=-8982072550922109855 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 30528239 1427021824 334286 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1196.76 s
Current children cumulated vsize: 1393576 KiB
Current children cumulated memory: 1337144 KiB

[startup+1203.2 s]
/proc/loadavg: 4.09 4.11 3.58 5/266 312082
/proc/meminfo: memFree=106382440/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1393576 memory=1337144 CPUtime=1199.95 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 788806 0 0 0 119767 228 0 0 20 0 3 0 30528233 1427021824 334286 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 348394 334286 3294 3032 0 339453 0
[pid=311299/tid=311301] ppid=311296 vsize=1393576 memory=1116524 CPUtime=1199.73 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 779818 0 0 0 119751 222 0 0 20 0 3 0 30528239 1427021824 334286 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1393576 memory=11540 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 30528239 1427021824 334286 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1199.95 s
Current children cumulated vsize: 1393576 KiB
Current children cumulated memory: 1337144 KiB

[startup+1204.8 s]
/proc/loadavg: 4.08 4.11 3.58 5/266 312082
/proc/meminfo: memFree=106382492/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1393576 memory=1339652 CPUtime=1201.55 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 789262 0 0 0 119927 228 0 0 20 0 3 0 30528233 1427021824 334913 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 348394 334913 3294 3032 0 340093 0
[pid=311299/tid=311301] ppid=311296 vsize=1393576 memory=1337144 CPUtime=1201.32 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 780273 0 0 0 119910 222 0 0 20 0 3 0 30528239 1427021824 334913 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1393576 memory=1844 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 30528239 1427021824 334913 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1201.55 s
Current children cumulated vsize: 1393576 KiB
Current children cumulated memory: 1339652 KiB

[startup+1205.6 s]
/proc/loadavg: 4.08 4.11 3.58 5/266 312082
/proc/meminfo: memFree=106380132/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1393576 memory=1339820 CPUtime=1202.34 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 789376 0 0 0 120006 228 0 0 20 0 3 0 30528233 1427021824 334955 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 348394 334955 3294 3032 0 340122 0
[pid=311299/tid=311301] ppid=311296 vsize=1393576 memory=19540 CPUtime=1202.12 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 780387 0 0 0 119990 222 0 0 20 0 3 0 30528239 1427021824 334955 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1393576 memory=25968 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 30528239 1427021824 334955 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1202.34 s
Current children cumulated vsize: 1393576 KiB
Current children cumulated memory: 1339820 KiB

[startup+1206 s]*
/proc/loadavg: 4.08 4.11 3.58 5/266 312082
/proc/meminfo: memFree=106379956/131524600 swapFree=131071728/131071996
[pid=311299] ppid=311296 vsize=1393576 memory=1339920 CPUtime=1202.75 cores=4,6
/proc/311299/stat : 311299 (fscip) S 311296 311299 310643 0 -1 1077936128 791303 0 0 0 120047 228 0 0 20 0 3 0 30528233 1427021824 334980 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
/proc/311299/statm: 348394 334980 3294 3032 0 340147 0
[pid=311299/tid=311301] ppid=311296 vsize=1393576 memory=-8982072550922109855 CPUtime=1202.52 cores=4,6
/proc/311299/task/311301/stat : 311301 (fscip) R 311296 311299 310643 0 -1 4194368 782317 0 0 0 120030 222 0 0 20 0 3 0 30528239 1427021824 334980 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
[pid=311299/tid=311302] ppid=311296 vsize=1393576 memory=564508 CPUtime=0 cores=4,6
/proc/311299/task/311302/stat : 311302 (fscip) S 311296 311299 310643 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 30528239 1427021824 334980 134679101440 4194304 16613245 140730054279392 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29286400 140730054284308 140730054284424 140730054284424 140730054291440 0
Current children cumulated CPU time: 1202.75 s
Current children cumulated vsize: 1393576 KiB
Current children cumulated memory: 1339920 KiB

Child status: 0

Real time (s): 1206.09
CPU time (s): 1202.84
CPU user time (s): 1200.53
CPU system time (s): 2.31382
CPU usage (%): 99.7308
Max. virtual memory (cumulated for all children) (KiB): 1984260
Max. memory (cumulated for all children) (KiB): 1650160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.53
system time used= 2.31381
maximum resident set size= 1927588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793132
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= 6966
involuntary context switches= 1534


# summary of solver processes directly reported to runsolver:
#   pid: 311299
#   total CPU time (s): 1202.84
#   total CPU user time (s): 1200.53
#   total CPU system time (s): 2.31382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.29216 second user time and 4.90894 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-25 22:39:48
IDJOB=4459891
IDBENCH=148636
IDSOLVER=3064
FILE ID=nodeC029/4459891-1721939988
RUNJOBID= nodeC029-1721939462-310656
SLURM_JOB_ID= 8247249
Free space on /tmp= 889984 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_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-4459891-1721939988/watcher-4459891-1721939988 -o /tmp/evaluation-result-4459891-1721939988/solver-4459891-1721939988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310656 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459891-1721939988.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= fd84b8b3737013ad4e894ab6fbe61c2a
RANDOM SEED=266789729

nodeC029.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		: 3668.631
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.50
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		: 3689.937
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.34
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		: 3613.630
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.50
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		: 3599.996
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.34
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		: 3660.973
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.50
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		: 3689.953
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.34
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		: 3672.603
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.50
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		: 3600.083
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        108081556 kB
MemAvailable:   128461020 kB
Buffers:          330864 kB
Cached:         20751828 kB
SwapCached:           44 kB
Active:          2899784 kB
Inactive:       19664896 kB
Active(anon):       1572 kB
Inactive(anon):  1534432 kB
Active(file):    2898212 kB
Inactive(file): 18130464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             28620 kB
Writeback:             4 kB
AnonPages:       1481936 kB
Mapped:           155728 kB
Shmem:             54012 kB
KReclaimable:     381220 kB
Slab:             515796 kB
SReclaimable:     381220 kB
SUnreclaim:       134576 kB
KernelStack:        4192 kB
PageTables:        12452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1041328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1019904 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:      350932 kB
DirectMap2M:    44511232 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-25 22:59:54