Trace number 4464787

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-30OPT10 1232.9 1236.41

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: 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.03	c Default LC presolving (default).
0.00/0.03	c ** Before presolving: virtualMemUsedAtLc = 46608384, getVmSize() = 46608384, SCIPgetMemUsed() = 19968878, 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 = 33506645, getVmSize() = 53911552, SCIPgetMemUsed() = 19322483, 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-4464787-1722382194
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.76/5.84	c         6             24           7         1          11.0000           6.2845     75.04%
10.95/11.10	c        11            138          55         1          11.0000           6.4401     70.80%
16.94/17.08	c        17            491         276         1          11.0000           6.7521     62.91%
22.22/22.37	c        22            719         496         1          11.0000           6.9669     57.89%
27.80/27.94	c        28            977         750         1          11.0000           7.0794     55.38%
32.79/32.98	c        33           1323        1092         1          11.0000           7.0794     55.38%
37.89/38.01	c        38           1602        1357         1          11.0000           7.1820     53.16%
43.76/43.98	c        44           1982        1667         1          11.0000           7.3096     50.49%
49.86/50.06	c        50           2044          30         1          11.0000           7.3096     50.49%
55.23/55.41	c        55           2165         151         1          11.0000           7.3096     50.49%
60.42/60.63	c        61           2393         377         1          11.0000           7.3096     50.49%
65.61/65.86	c        66           2682         654         1          11.0000           7.3096     50.49%
70.99/71.27	c        71           2935         903         1          11.0000           7.3096     50.49%
76.17/76.44	c        76           3197        1157         1          11.0000           7.3096     50.49%
81.37/81.63	c        82           3487        1411         1          11.0000           7.3096     50.49%
86.65/86.92	c        87           3928        1768         1          11.0000           7.3096     50.49%
91.84/92.11	c        92           4251        2053         1          11.0000           7.3096     50.49%
97.42/97.75	c        98           4690        2408         1          11.0000           7.3399     49.87%
102.81/103.13	c       103           5155        2823         1          11.0000           7.3876     48.90%
108.49/108.87	c       109           5610        3224         1          11.0000           7.4536     47.58%
113.48/113.89	c       114           6075        3631         1          11.0000           7.5363     45.96%
118.66/119.05	c       119           6645        4103         1          11.0000           7.5934     44.86%
124.34/124.79	c       125           7145        4535         1          11.0000           7.6288     44.19%
129.73/130.15	c       130           7725        5007         1          11.0000           7.6667     43.48%
135.10/135.59	c       136           8215        5395         1          11.0000           7.7031     42.80%
140.39/140.84	c       141           8725        5803         1          11.0000           7.7180     42.52%
146.08/146.53	c       147           9255        6237         1          11.0000           7.7339     42.23%
151.66/152.17	c       152           9710        6600         1          11.0000           7.7521     41.90%
157.13/157.63	c       158          10315        7049         1          11.0000           7.7717     41.54%
162.32/162.80	c       163          10775        7403         1          11.0000           7.7838     41.32%
167.40/167.99	c       168          11375        7795         1          11.0000           7.8045     40.95%
173.09/173.65	c       174          12025        8215         1          11.0000           7.8214     40.64%
178.26/178.80	c       179          12555        8549         1          11.0000           7.8313     40.46%
183.64/184.22	c       184          13308        9036         1          11.0000           7.8531     40.07%
189.14/189.72	c       190          13895        9419         1          11.0000           7.8717     39.74%
194.12/194.76	c       195          14515        9813         1          11.0000           7.8833     39.54%
199.41/200.08	c       200          15265       10257         1          11.0000           7.9035     39.18%
204.69/205.35	c       205          15945       10665         1          11.0000           7.9085     39.09%
210.57/211.23	c       211          16695       11127         1          11.0000           7.9217     38.86%
216.47/217.16	c       217          17535       11647         1          11.0000           7.9291     38.73%
222.35/223.03	c       223          18192       12048         1          11.0000           7.9344     38.64%
227.93/228.63	c       229          19005       12527         1          11.0000           7.9624     38.15%
233.61/234.38	c       234          19895       13063         1          11.0000           7.9703     38.01%
239.39/240.14	c       240          20741       13587         1          11.0000           7.9762     37.91%
244.68/245.45	c       245          21565       14055         1          11.0000           7.9866     37.73%
249.96/250.77	c       251          22445       14567         1          11.0000           7.9914     37.65%
255.35/256.14	c       256          23205       14999         1          11.0000           8.0014     37.48%
260.94/261.71	c       262          24063       15503         1          11.0000           8.0120     37.29%
266.01/266.85	c       267          24785       15937         1          11.0000           8.0183     37.19%
271.40/272.29	c       272          25653       16385         1          11.0000           8.0254     37.07%
276.69/277.51	c       278          26355       16789         1          11.0000           8.0288     37.01%
282.19/283.04	c       283          27065       17189         1          11.0000           8.0332     36.93%
287.36/288.24	c       288          27885       17637         1          11.0000           8.0428     36.77%
292.45/293.36	c       293          28636       18100         1          11.0000           8.0435     36.76%
297.83/298.74	c       299          29455       18533         1          11.0000           8.0518     36.62%
303.23/304.12	c       304          30298       18966         1          11.0000           8.0569     36.53%
309.01/309.97	c       310          31181       19467         1          11.0000           8.0631     36.42%
314.49/315.49	c       315          32125       19897         1          11.0000           8.0719     36.28%
320.08/321.08	c       321          32997       20261         1          11.0000           8.0776     36.18%
325.56/326.57	c       327          33816       20616         1          11.0000           8.0819     36.11%
331.25/332.24	c       332          34688       20964         1          11.0000           8.0882     36.00%
337.14/338.18	c       338          35561       21307         1          11.0000           8.0936     35.91%
342.62/343.69	c       344          36339       21625         1          11.0000           8.0987     35.82%
347.80/348.80	c       349          37205       21989         1          11.0000           8.1043     35.73%
353.19/354.20	c       354          38005       22325         1          11.0000           8.1080     35.67%
358.18/359.29	c       359          38682       22584         1          11.0000           8.1113     35.61%
363.56/364.60	c       365          39585       22927         1          11.0000           8.1189     35.49%
369.35/370.49	c       370          40475       23293         1          11.0000           8.1225     35.43%
374.44/375.54	c       376          41215       23603         1          11.0000           8.1247     35.39%
379.53/380.69	c       381          42045       23945         1          11.0000           8.1307     35.29%
384.71/385.84	c       386          42825       24253         1          11.0000           8.1393     35.15%
390.30/391.44	c       391          43685       24557         1          11.0000           8.1430     35.09%
395.48/396.61	c       397          44575       24923         1          11.0000           8.1455     35.04%
400.67/401.87	c       402          45193       25169         1          11.0000           8.1499     34.97%
405.96/407.12	c       407          45945       25461         1          11.0000           8.1530     34.92%
411.74/412.92	c       413          46668       25756         1          11.0000           8.1557     34.87%
416.93/418.14	c       418          47575       26087         1          11.0000           8.1600     34.80%
422.41/423.62	c       424          48374       26400         1          11.0000           8.1634     34.75%
427.70/428.91	c       429          49175       26699         1          11.0000           8.1725     34.60%
433.08/434.32	c       434          49941       26971         1          11.0000           8.1773     34.52%
438.26/439.52	c       440          50809       27283         1          11.0000           8.1797     34.48%
443.46/444.77	c       445          51576       27536         1          11.0000           8.1841     34.41%
448.65/449.98	c       450          52359       27821         1          11.0000           8.1889     34.33%
454.23/455.57	c       456          53185       28095         1          11.0000           8.1960     34.21%
459.31/460.68	c       461          53745       28307         1          11.0000           8.1992     34.16%
465.00/466.36	c       466          54545       28577         1          11.0000           8.2036     34.09%
470.80/472.14	c       472          55335       28861         1          11.0000           8.2108     33.97%
476.67/478.01	c       478          56045       29105         1          11.0000           8.2139     33.92%
481.95/483.32	c       483          56779       29351         1          11.0000           8.2178     33.86%
487.23/488.67	c       489          57505       29625         1          11.0000           8.2240     33.76%
492.42/493.88	c       494          58335       29909         1          11.0000           8.2274     33.70%
498.30/499.73	c       500          59187       30193         1          11.0000           8.2323     33.62%
503.59/505.07	c       505          59975       30465         1          11.0000           8.2390     33.51%
509.27/510.70	c       511          60745       30749         1          11.0000           8.2468     33.38%
515.05/516.57	c       517          61491       31015         1          11.0000           8.2494     33.34%
520.14/521.62	c       522          62275       31283         1          11.0000           8.2529     33.29%
525.72/527.28	c       527          63079       31545         1          11.0000           8.2540     33.27%
530.70/532.29	c       532          63845       31797         1          11.0000           8.2581     33.20%
536.19/537.70	c       538          64685       32061         1          11.0000           8.2592     33.19%
541.97/543.53	c       544          65592       32374         1          11.0000           8.2652     33.09%
547.06/548.61	c       549          66435       32675         1          11.0000           8.2684     33.04%
553.05/554.60	c       555          67442       33024         1          11.0000           8.2754     32.92%
558.13/559.76	c       560          68252       33306         1          11.0000           8.2784     32.88%
563.82/565.46	c       565          69205       33641         1          11.0000           8.2791     32.86%
569.41/571.08	c       571          70075       33953         1          11.0000           8.2816     32.83%
574.50/576.16	c       576          70845       34223         1          11.0000           8.2858     32.76%
580.07/581.70	c       582          71777       34531         1          11.0000           8.2885     32.71%
585.56/587.26	c       587          72515       34763         1          11.0000           8.2911     32.67%
591.24/592.94	c       593          73296       35014         1          11.0000           8.2960     32.59%
596.34/598.09	c       598          74095       35265         1          11.0000           8.2999     32.53%
601.43/603.12	c       603          74765       35501         1          11.0000           8.3014     32.51%
606.90/608.68	c       609          75608       35778         1          11.0000           8.3066     32.42%
612.19/613.91	c       614          76438       36040         1          11.0000           8.3080     32.40%
618.08/619.86	c       620          77192       36266         1          11.0000           8.3101     32.37%
624.06/625.81	c       626          78041       36559         1          11.0000           8.3128     32.33%
629.45/631.27	c       631          78898       36848         1          11.0000           8.3152     32.29%
634.93/636.75	c       637          79805       37131         1          11.0000           8.3178     32.25%
640.52/642.37	c       642          80615       37401         1          11.0000           8.3196     32.22%
645.69/647.55	c       648          81305       37641         1          11.0000           8.3205     32.20%
651.07/652.90	c       653          82105       37905         1          11.0000           8.3231     32.16%
657.05/658.91	c       659          82918       38176         1          11.0000           8.3289     32.07%
662.44/664.37	c       664          83725       38445         1          11.0000           8.3326     32.01%
667.82/669.76	c       670          84595       38723         1          11.0000           8.3361     31.96%
673.30/675.27	c       675          85486       39030         1          11.0000           8.3384     31.92%
679.38/681.39	c       681          86433       39335         1          11.0000           8.3403     31.89%
684.87/686.81	c       687          87295       39603         1          11.0000           8.3418     31.87%
690.45/692.45	c       692          88175       39879         1          11.0000           8.3438     31.83%
696.03/698.01	c       698          89292       40202         1          11.0000           8.3479     31.77%
701.12/703.18	c       703          90155       40467         1          11.0000           8.3536     31.68%
707.11/709.18	c       709          91171       40757         1          11.0000           8.3560     31.64%
712.18/714.28	c       714          92015       41011         1          11.0000           8.3573     31.62%
717.36/719.41	c       719          92945       41299         1          11.0000           8.3607     31.57%
722.55/724.66	c       725          93885       41603         1          11.0000           8.3631     31.53%
727.64/729.74	c       730          94715       41827         1          11.0000           8.3687     31.44%
732.82/734.99	c       735          95515       42071         1          11.0000           8.3708     31.41%
738.50/740.61	c       741          96411       42319         1          11.0000           8.3732     31.37%
743.60/745.77	c       746          97517       42601         1          11.0000           8.3762     31.32%
749.08/751.27	c       751          98416       42850         1          11.0000           8.3787     31.29%
754.27/756.48	c       756          99295       43097         1          11.0000           8.3804     31.26%
759.35/761.52	c       762         100215       43371         1          11.0000           8.3829     31.22%
764.85/767.10	c       767         101165       43651         1          11.0000           8.3861     31.17%
770.03/772.21	c       772         102085       43929         1          11.0000           8.3898     31.11%
775.00/777.24	c       777         103065       44193         1          11.0000           8.3933     31.06%
780.00/782.29	c       782         103995       44451         1          11.0000           8.3962     31.01%
785.68/787.92	c       788         104935       44691         1          11.0000           8.3975     30.99%
790.97/793.23	c       793         105905       44953         1          11.0000           8.3999     30.95%
796.55/798.80	c       799         106915       45251         1          11.0000           8.4019     30.92%
801.53/803.83	c       804         107875       45495         1          11.0000           8.4048     30.88%
806.82/809.17	c       809         108995       45791         1          11.0000           8.4066     30.85%
812.21/814.55	c       815         109955       46071         1          11.0000           8.4071     30.84%
817.39/819.76	c       820         110965       46313         1          11.0000           8.4084     30.82%
822.57/824.97	c       825         111895       46561         1          11.0000           8.4124     30.76%
828.06/830.48	c       830         112995       46887         1          11.0000           8.4147     30.72%
833.25/835.62	c       836         113865       47131         1          11.0000           8.4163     30.70%
838.54/840.98	c       841         114875       47363         1          11.0000           8.4186     30.66%
843.13/845.55	c *     846         115615       47559         1          10.0000           8.4201     18.76%
843.92/846.36	c       846         115729       10736         1          10.0000           8.4201     18.76%
849.11/851.52	c       852         116565       10622         1          10.0000           8.4248     18.70%
854.19/856.62	c       857         117345       10498         1          10.0000           8.4300     18.62%
859.18/861.64	c       862         118255       10320         1          10.0000           8.4351     18.55%
864.37/866.89	c       867         119105       10182         1          10.0000           8.4367     18.53%
869.46/871.96	c       872         120185       10008         1          10.0000           8.4406     18.48%
874.84/877.36	c       877         121115        9818         1          10.0000           8.4449     18.41%
880.13/882.61	c       883         121935        9644         1          10.0000           8.4476     18.38%
885.22/887.70	c       888         122775        9460         1          10.0000           8.4537     18.29%
890.40/892.96	c       893         123685        9242         1          10.0000           8.4593     18.21%
895.79/898.37	c       898         124655        9002         1          10.0000           8.4653     18.13%
900.98/903.53	c       904         125635        8722         1          10.0000           8.4705     18.06%
905.96/908.54	c       909         126585        8396         1          10.0000           8.4777     17.96%
910.95/913.57	c       914         127525        8028         1          10.0000           8.4848     17.86%
916.04/918.68	c       919         128695        7506         1          10.0000           8.4981     17.67%
921.12/923.70	c       924         129775        6772         1          10.0000           8.5226     17.33%
926.11/928.73	c       929         130375        6208         1          10.0000           8.5507     16.95%
931.20/933.88	c       934         130965        5634         1          10.0000           8.5889     16.43%
936.39/939.04	c       939         131415        5190         1          10.0000           8.6208     16.00%
941.38/944.05	c       944         131655        4950         1          10.0000           8.6343     15.82%
946.56/949.23	c       949         131855        4750         1          10.0000           8.6511     15.59%
951.55/954.29	c       954         132035        4570         1          10.0000           8.6603     15.47%
956.64/959.30	c       959         132195        4410         1          10.0000           8.6640     15.42%
961.73/964.49	c       964         132355        4250         1          10.0000           8.6746     15.28%
966.81/969.57	c       970         132495        4110         1          10.0000           8.6794     15.22%
972.19/974.90	c       975         132635        3970         1          10.0000           8.6856     15.13%
977.18/979.98	c       980         132765        3840         1          10.0000           8.6925     15.04%
982.37/985.11	c       985         132895        3710         1          10.0000           8.6981     14.97%
987.65/990.48	c       990         133015        3590         1          10.0000           8.7071     14.85%
992.92/995.78	c       996         133135        3470         1          10.0000           8.7116     14.79%
998.01/1000.80	c      1001         133245        3360         1          10.0000           8.7187     14.70%
1003.09/1005.90	c      1006         133355        3250         1          10.0000           8.7251     14.61%
1008.38/1011.26	c      1011         133465        3140         1          10.0000           8.7287     14.56%
1013.46/1016.30	c      1016         133575        3030         1          10.0000           8.7342     14.49%
1018.64/1021.50	c      1022         133675        2930         1          10.0000           8.7424     14.38%
1024.02/1026.99	c      1027         133785        2820         1          10.0000           8.7483     14.31%
1029.41/1032.38	c      1032         133895        2710         1          10.0000           8.7518     14.26%
1034.49/1037.46	c      1037         133985        2620         1          10.0000           8.7552     14.22%
1039.88/1042.83	c      1043         134085        2520         1          10.0000           8.7610     14.14%
1045.06/1048.03	c      1048         134185        2420         1          10.0000           8.7662     14.07%
1050.04/1053.05	c      1053         134265        2340         1          10.0000           8.7708     14.01%
1055.52/1058.58	c      1059         134355        2250         1          10.0000           8.7742     13.97%
1060.81/1063.88	c      1064         134435        2170         1          10.0000           8.7781     13.92%
1066.09/1069.14	c      1069         134515        2090         1          10.0000           8.7828     13.86%
1071.57/1074.70	c      1075         134605        2000         1          10.0000           8.7863     13.81%
1076.65/1079.73	c      1080         134695        1910         1          10.0000           8.7900     13.77%
1082.04/1085.16	c      1085         134785        1820         1          10.0000           8.7936     13.72%
1087.31/1090.41	c      1090         134875        1730         1          10.0000           8.7968     13.68%
1092.49/1095.69	c      1096         134955        1650         1          10.0000           8.8031     13.60%
1097.58/1100.79	c      1101         135025        1580         1          10.0000           8.8064     13.55%
1103.16/1106.34	c      1106         135105        1500         1          10.0000           8.8123     13.48%
1108.25/1111.40	c      1111         135175        1430         1          10.0000           8.8157     13.43%
1113.33/1116.54	c      1117         135245        1360         1          10.0000           8.8212     13.36%
1118.42/1121.65	c      1122         135315        1290         1          10.0000           8.8240     13.33%
1123.50/1126.79	c      1127         135385        1220         1          10.0000           8.8277     13.28%
1129.18/1132.49	c      1132         135455        1150         1          10.0000           8.8294     13.26%
1134.77/1138.09	c      1138         135525        1080         1          10.0000           8.8356     13.18%
1140.05/1143.38	c      1143         135595        1010         1          10.0000           8.8386     13.14%
1145.63/1148.97	c      1149         135675         930         1          10.0000           8.8429     13.09%
1150.71/1154.00	c      1154         135745         860         1          10.0000           8.8475     13.03%
1156.29/1159.66	c      1160         135825         780         1          10.0000           8.8515     12.97%
1161.87/1165.23	c      1165         135895         710         1          10.0000           8.8535     12.95%
1167.15/1170.55	c      1171         135955         650         1          10.0000           8.8553     12.93%
1172.25/1175.65	c      1176         136006         599         1          10.0000           8.8583     12.89%
1177.83/1181.27	c      1181         136065         540         1          10.0000           8.8620     12.84%
1183.62/1187.10	c      1187         136125         480         1          10.0000           8.8693     12.75%
1189.49/1192.94	c      1193         136185         420         1          10.0000           8.8760     12.66%
1194.58/1198.05	c      1198         136235         370         1          10.0000           8.8822     12.59%
1199.96/1203.47	c      1203         136285         320         1          10.0000           8.8890     12.50%
1205.05/1208.51	c      1209         136335         270         1          10.0000           8.8901     12.49%
1210.14/1213.64	c      1214         136395         210         1          10.0000           8.8935     12.44%
1216.02/1219.58	c      1220         136455         150         1          10.0000           8.9023     12.33%
1221.21/1224.75	c      1225         136505         100         1          10.0000           8.9043     12.30%
1226.61/1230.14	c      1230         136555          50         1          10.0000           8.9218     12.09%
1231.69/1235.22	c      1235         136599           6         1          10.0000           8.9557     11.66%
1232.69/1236.24	c      1236         136605           0         0          10.0000          10.0000      0.00%
1232.79/1236.39	c      1236         136605           0         0          10.0000          10.0000          -
1232.79/1236.39	c SCIP Status        : c problem is solved
1232.79/1236.39	c Total Time         : 1236.3800
1232.79/1236.39	c   solving          : 1236.3800
1232.79/1236.39	c   presolving       : 0.0280 (included in solving)
1232.79/1236.39	c B&B Tree           :
1232.79/1236.39	c   nodes (total)    : 136605
1232.79/1236.39	c Solution           :
1232.79/1236.39	c   Solutions found  : 3
1232.79/1236.39	c   Primal Bound     : +1.00000000000000e+01
1232.79/1236.39	c   Dual Bound       : +1.00000000000000e+01
1232.79/1236.39	c Gap                : 0.00000 %
1232.79/1236.39	o 10
1232.79/1236.39	s OPTIMUM FOUND
1232.79/1236.39	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1232.79/1236.39	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 
1232.79/1236.39	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1232.79/1236.39	v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1232.79/1236.39	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1232.79/1236.39	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 
1232.79/1236.39	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 
1232.79/1236.39	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 
1232.79/1236.39	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 (60860 MiB free)
  memory of node 1: 64473 MiB (61957 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=32434, runsolver pid=32430
Current StackSize limit: 8192 KiB


[startup+0.100381 s]*
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125683944/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=136588 memory=50628 CPUtime=0.09 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 10084 0 0 0 8 1 0 0 20 0 3 0 4819630 139866112 12657 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 34147 12657 2918 3035 0 16069 0
[pid=32434/tid=32442] ppid=32430 vsize=136588 memory=4026531971 CPUtime=0.03 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 1755 0 0 0 3 0 0 0 20 0 3 0 4819636 139866112 12657 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=136588 memory=572 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819636 139866112 12657 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 136588 KiB
Current children cumulated memory: 50628 KiB

[startup+0.206382 s]*
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125636392/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=143176 memory=63948 CPUtime=0.18 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 13362 0 0 0 17 1 0 0 20 0 3 0 4819630 146612224 15987 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 35794 15987 2950 3035 0 19345 0
[pid=32434/tid=32442] ppid=32430 vsize=143176 memory=664970838410264707 CPUtime=0.12 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 5033 0 0 0 12 0 0 0 20 0 3 0 4819636 146612224 15987 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=143176 memory=572 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819636 146612224 15987 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 143176 KiB
Current children cumulated memory: 63948 KiB

[startup+0.306396 s]*
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125601756/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=157176 memory=80580 CPUtime=0.28 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 17557 0 0 0 26 2 0 0 20 0 3 0 4819630 160948224 20145 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 39294 20145 2950 3035 0 23701 0
[pid=32434/tid=32442] ppid=32430 vsize=157176 memory=-5155634600162782085 CPUtime=0.22 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 9228 0 0 0 21 1 0 0 20 0 3 0 4819636 160948224 20145 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=157176 memory=0 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819636 160948224 20145 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 157176 KiB
Current children cumulated memory: 80580 KiB

[startup+0.700244 s]
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125570556/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=180600 memory=115268 CPUtime=0.68 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 27930 0 0 0 64 4 0 0 20 0 3 0 4819630 184934400 28817 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 45150 28817 2950 3035 0 32975 0
[pid=32434/tid=32442] ppid=32430 vsize=180600 memory=0 CPUtime=0.62 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 19601 0 0 0 59 3 0 0 20 0 3 0 4819636 184934400 28817 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=180600 memory=0 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819636 184934400 28817 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 180600 KiB
Current children cumulated memory: 115268 KiB

[startup+1.50017 s]
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125540348/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=180600 memory=121340 CPUtime=1.47 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 30454 0 0 0 143 4 0 0 20 0 3 0 4819630 184934400 30335 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 45150 30335 2950 3035 0 34725 0
[pid=32434/tid=32442] ppid=32430 vsize=180600 memory=0 CPUtime=1.41 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 22125 0 0 0 138 3 0 0 20 0 3 0 4819636 184934400 30335 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=180600 memory=0 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819636 184934400 30335 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 180600 KiB
Current children cumulated memory: 121340 KiB

[startup+3.10591 s]
/proc/loadavg: 3.99 4.10 4.07 4/263 32443
/proc/meminfo: memFree=125571300/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=180600 memory=121668 CPUtime=3.07 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 32087 0 0 0 303 4 0 0 20 0 3 0 4819630 184934400 30417 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 45150 30417 2950 3035 0 34783 0
[pid=32434/tid=32442] ppid=32430 vsize=180600 memory=0 CPUtime=3.01 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 23756 0 0 0 298 3 0 0 20 0 3 0 4819636 184934400 30417 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=180600 memory=4417 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4819636 184934400 30417 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 180600 KiB
Current children cumulated memory: 121668 KiB

[startup+6.30022 s]
/proc/loadavg: 3.99 4.10 4.07 5/265 32583
/proc/meminfo: memFree=125292664/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=181624 memory=123272 CPUtime=6.26 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 35793 0 0 0 621 5 0 0 20 0 3 0 4819630 185982976 30818 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 45406 30818 2998 3035 0 35039 0
[pid=32434/tid=32442] ppid=32430 vsize=181624 memory=121676 CPUtime=6.19 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 27431 0 0 0 616 3 0 0 20 0 3 0 4819636 185982976 30818 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=181624 memory=121676 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4819636 185982976 30818 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 181624 KiB
Current children cumulated memory: 123272 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=32434] ppid=32430 vsize=205128 memory=158748 CPUtime=12.64 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 62053 0 0 0 1257 7 0 0 20 0 3 0 4819630 210051072 39687 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 51282 39687 2998 3035 0 44176 0
[pid=32434/tid=32442] ppid=32430 vsize=205128 memory=12340 CPUtime=12.58 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 53630 0 0 0 1252 6 0 0 20 0 3 0 4819636 210051072 39687 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=205128 memory=145024 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4819636 210051072 39687 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 205128 KiB
Current children cumulated memory: 158748 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=32434] ppid=32430 vsize=205128 memory=159196 CPUtime=25.41 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 92926 0 0 0 2530 11 0 0 20 0 3 0 4819630 210051072 39799 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 51282 39799 2998 3035 0 44237 0
[pid=32434/tid=32442] ppid=32430 vsize=205128 memory=-9181546051567709026 CPUtime=25.34 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 84413 0 0 0 2525 9 0 0 20 0 3 0 4819636 210051072 39799 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=205128 memory=159196 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4819636 210051072 39799 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 205128 KiB
Current children cumulated memory: 159196 KiB

[startup+51.1056 s]
/proc/loadavg: 4.04 4.09 4.07 5/267 32699
/proc/meminfo: memFree=125163888/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=266096 memory=172032 CPUtime=50.95 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 151458 0 0 0 5079 16 0 0 20 0 3 0 4819630 272482304 43008 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 66524 43008 2998 3035 0 47302 0
[pid=32434/tid=32442] ppid=32430 vsize=266096 memory=168868 CPUtime=50.88 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 142840 0 0 0 5074 14 0 0 20 0 3 0 4819636 272482304 43008 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=266096 memory=159604 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4819636 272482304 43008 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 266096 KiB
Current children cumulated memory: 172032 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=32434] ppid=32430 vsize=264064 memory=184128 CPUtime=102.01 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 198402 0 0 0 10182 19 0 0 20 0 3 0 4819630 270401536 46032 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 66016 46032 2998 3035 0 50614 0
[pid=32434/tid=32442] ppid=32430 vsize=264064 memory=12340 CPUtime=101.95 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 189663 0 0 0 10177 18 0 0 20 0 3 0 4819636 270401536 46032 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=264064 memory=184060 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4819636 270401536 46032 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 264064 KiB
Current children cumulated memory: 184128 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=32434] ppid=32430 vsize=266424 memory=190476 CPUtime=161.82 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 230340 0 0 0 16158 24 0 0 20 0 3 0 4819630 272818176 47619 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 66606 47619 2998 3035 0 51999 0
[pid=32434/tid=32442] ppid=32430 vsize=266424 memory=12400 CPUtime=161.74 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 221543 0 0 0 16152 22 0 0 20 0 3 0 4819636 272818176 47619 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=266424 memory=184128 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4819636 272818176 47619 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 266424 KiB

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

Current children cumulated memory: 759384 KiB

[startup+1062.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 32932
/proc/meminfo: memFree=118824144/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=982092 memory=894620 CPUtime=1059.31 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 712603 0 0 0 105658 273 0 0 20 0 3 0 4819630 1005662208 223655 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 245523 223655 3302 3035 0 228564 0
[pid=32434/tid=32442] ppid=32430 vsize=982092 memory=792352 CPUtime=1059.11 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 703528 0 0 0 105643 268 0 0 20 0 3 0 4819636 1005662208 223655 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=982092 memory=12340 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 4819636 1005662208 223655 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1059.31 s
Current children cumulated vsize: 982092 KiB
Current children cumulated memory: 894620 KiB

[startup+1122.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/263 32942
/proc/meminfo: memFree=117940448/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=1039064 memory=972272 CPUtime=1119.11 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 739513 0 0 0 111629 282 0 0 20 0 3 0 4819630 1064001536 243068 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 259766 243068 3302 3035 0 247972 0
[pid=32434/tid=32442] ppid=32430 vsize=1039064 memory=792352 CPUtime=1118.91 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 730419 0 0 0 111614 277 0 0 20 0 3 0 4819636 1064001536 243068 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1039064 memory=12340 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4819636 1064001536 243068 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1119.11 s
Current children cumulated vsize: 1039064 KiB
Current children cumulated memory: 972272 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=32434] ppid=32430 vsize=1189468 memory=1135232 CPUtime=1178.92 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 771322 0 0 0 117589 303 0 0 20 0 3 0 4819630 1218015232 283808 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 297367 283808 3302 3035 0 288705 0
[pid=32434/tid=32442] ppid=32430 vsize=1189468 memory=792352 CPUtime=1178.7 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 762211 0 0 0 117573 297 0 0 20 0 3 0 4819636 1218015232 283808 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1189468 memory=12340 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4819636 1218015232 283808 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1178.92 s
Current children cumulated vsize: 1189468 KiB
Current children cumulated memory: 1135232 KiB

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

# cumulated CPU time of all completed processes:  user=1229.58 s, system=3.31867 s

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

[startup+1203.2 s]
/proc/loadavg: 4.14 4.13 4.09 5/263 32956
/proc/meminfo: memFree=117149004/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=1287916 memory=1233680 CPUtime=1199.76 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 774119 0 0 0 119663 313 0 0 20 0 3 0 4819630 1318825984 308420 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 321979 308420 3302 3035 0 313317 0
[pid=32434/tid=32442] ppid=32430 vsize=1287916 memory=1053192 CPUtime=1199.55 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 765009 0 0 0 119647 308 0 0 20 0 3 0 4819636 1318825984 308420 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1287916 memory=1135232 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4819636 1318825984 308420 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1199.76 s
Current children cumulated vsize: 1287916 KiB
Current children cumulated memory: 1233680 KiB

[startup+1216 s]*
/proc/loadavg: 4.11 4.12 4.09 5/263 32958
/proc/meminfo: memFree=117148704/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=1287916 memory=1233680 CPUtime=1212.54 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 798090 0 0 0 120939 315 0 0 20 0 3 0 4819630 1318825984 308420 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 321979 308420 3302 3035 0 313317 0
[pid=32434/tid=32442] ppid=32430 vsize=1287916 memory=-5155631284380920709 CPUtime=1212.32 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 788979 0 0 0 120923 309 0 0 20 0 3 0 4819636 1318825984 308420 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1287916 memory=7366608706199980654 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4819636 1318825984 308420 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1212.54 s
Current children cumulated vsize: 1287916 KiB
Current children cumulated memory: 1233680 KiB

[startup+1228.8 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 32965
/proc/meminfo: memFree=116856692/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=1406052 memory=1354548 CPUtime=1225.31 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 802434 0 0 0 122202 329 0 0 20 0 3 0 4819630 1439797248 338637 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 351513 338637 3302 3035 0 343534 0
[pid=32434/tid=32442] ppid=32430 vsize=1406052 memory=1828 CPUtime=1225.09 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 793320 0 0 0 122186 323 0 0 20 0 3 0 4819636 1439797248 338637 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1406052 memory=1235276 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 4819636 1439797248 338637 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1225.31 s
Current children cumulated vsize: 1406052 KiB
Current children cumulated memory: 1354548 KiB

[startup+1232 s]*
/proc/loadavg: 4.23 4.15 4.10 5/265 32965
/proc/meminfo: memFree=117027252/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=1406052 memory=1354780 CPUtime=1228.5 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 802946 0 0 0 122521 329 0 0 20 0 3 0 4819630 1439797248 338695 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 351513 338695 3302 3035 0 343625 0
[pid=32434/tid=32442] ppid=32430 vsize=1406052 memory=12680 CPUtime=1228.28 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 793831 0 0 0 122505 323 0 0 20 0 3 0 4819636 1439797248 338695 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1406052 memory=12400 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 4819636 1439797248 338695 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1228.5 s
Current children cumulated vsize: 1406052 KiB
Current children cumulated memory: 1354780 KiB

[startup+1233.6 s]
/proc/loadavg: 4.23 4.15 4.10 5/265 32965
/proc/meminfo: memFree=117027048/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=1406052 memory=1355740 CPUtime=1230.09 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 803184 0 0 0 122680 329 0 0 20 0 3 0 4819630 1439797248 338935 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 351513 338935 3302 3035 0 343657 0
[pid=32434/tid=32442] ppid=32430 vsize=1406052 memory=16144 CPUtime=1229.87 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 794069 0 0 0 122664 323 0 0 20 0 3 0 4819636 1439797248 338935 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1406052 memory=1354736 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 4819636 1439797248 338935 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1230.09 s
Current children cumulated vsize: 1406052 KiB
Current children cumulated memory: 1355740 KiB

[startup+1235.2 s]
/proc/loadavg: 4.21 4.15 4.10 5/265 32965
/proc/meminfo: memFree=117026240/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=1406052 memory=1355764 CPUtime=1231.69 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 803485 0 0 0 122840 329 0 0 20 0 3 0 4819630 1439797248 338941 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 351513 338941 3302 3035 0 343663 0
[pid=32434/tid=32442] ppid=32430 vsize=1406052 memory=1235996 CPUtime=1231.47 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 794370 0 0 0 122824 323 0 0 20 0 3 0 4819636 1439797248 338941 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1406052 memory=6944656592455360608 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 4819636 1439797248 338941 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1231.69 s
Current children cumulated vsize: 1406052 KiB
Current children cumulated memory: 1355764 KiB

[startup+1236 s]*
/proc/loadavg: 4.21 4.15 4.10 5/265 32965
/proc/meminfo: memFree=117026240/131524600 swapFree=131071996/131071996
[pid=32434] ppid=32430 vsize=1406052 memory=1355764 CPUtime=1232.49 cores=5,7
/proc/32434/stat : 32434 (fscip) S 32430 32434 30194 0 -1 1077936128 803565 0 0 0 122920 329 0 0 20 0 3 0 4819630 1439797248 338941 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
/proc/32434/statm: 351513 338941 3302 3035 0 343663 0
[pid=32434/tid=32442] ppid=32430 vsize=1406052 memory=-5155631284380920709 CPUtime=1232.27 cores=5,7
/proc/32434/task/32442/stat : 32442 (fscip) R 32430 32434 30194 0 -1 4194368 794450 0 0 0 122904 323 0 0 20 0 3 0 4819636 1439797248 338941 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
[pid=32434/tid=32443] ppid=32430 vsize=1406052 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/32434/task/32443/stat : 32443 (fscip) S 32430 32434 30194 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 4819636 1439797248 338941 134679101440 4194304 16623229 140733592633312 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45060096 140733592642582 140733592642698 140733592642698 140733592649712 0
Current children cumulated CPU time: 1232.49 s
Current children cumulated vsize: 1406052 KiB
Current children cumulated memory: 1355764 KiB

[startup+1236.4 s]*
/proc/loadavg: 4.21 4.15 4.10 5/264 32965
/proc/meminfo: memFree=118299212/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 1236.41
CPU time (s): 1232.9
CPU user time (s): 1229.58
CPU system time (s): 3.31867
CPU usage (%): 99.7161
Max. virtual memory (cumulated for all children) (KiB): 1996736
Max. memory (cumulated for all children) (KiB): 1862720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1229.58
system time used= 3.31867
maximum resident set size= 1944920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 807222
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= 7005
involuntary context switches= 1367


# summary of solver processes directly reported to runsolver:
#   pid: 32434
#   total CPU time (s): 1232.9
#   total CPU user time (s): 1229.58
#   total CPU system time (s): 3.31867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.14823 second user time and 5.92983 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-31 01:29:54
IDJOB=4464787
IDBENCH=148636
IDSOLVER=3092
FILE ID=nodeC026/4464787-1722382194
RUNJOBID= nodeC026-1722378594-30207
SLURM_JOB_ID= 8249849
Free space on /tmp= 890028 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4464787-1722382194/watcher-4464787-1722382194 -o /tmp/evaluation-result-4464787-1722382194/solver-4464787-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30207 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464787-1722382194.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= fd84b8b3737013ad4e894ab6fbe61c2a
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		: 3669.385
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		: 3662.931
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		: 3600.715
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		: 3664.313
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		: 3601.155
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		: 3601.035
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		: 3669.374
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		: 3664.994
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:        125771984 kB
MemAvailable:   129806268 kB
Buffers:           95312 kB
Cached:          4755848 kB
SwapCached:            0 kB
Active:           266080 kB
Inactive:        4974532 kB
Active(anon):       1480 kB
Inactive(anon):   408960 kB
Active(file):     264600 kB
Inactive(file):  4565572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113140 kB
Writeback:             0 kB
AnonPages:        389332 kB
Mapped:           111704 kB
Shmem:             21336 kB
KReclaimable:      87868 kB
Slab:             172068 kB
SReclaimable:      87868 kB
SUnreclaim:        84200 kB
KernelStack:        4040 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     758224 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= 889944 MiB
End job on nodeC026 at 2024-07-31 01:50:31