Trace number 4459875

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-02OPT20 1248.46 1252.41

General information on the benchmark

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

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: 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.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 33382400, getVmSize() = 33382400, SCIPgetMemUsed() = 9044146, SCIPgetMemTotal() = 11416290, SCIPgetMemExternEstim() = 5254770
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.02	c ** Estimated virtualMemUsedAtSolver = 23612074, getVmSize() = 37453824, SCIPgetMemUsed() = 8976757, SCIPgetMemTotal() = 14495853, SCIPgetMemExternEstim() = 5254770
0.00/0.02	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02	c Original Problem   :
0.00/0.02	c   Problem name     : instance-4459875-1721939911
0.00/0.02	c   Variables        : 2724 (200 binary, 0 integer, 2524 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 2924
0.00/0.02	c   Objective sense  : minimize
0.00/0.02	c Presolved Problem  :
0.00/0.02	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02	c   Constraints      : 200
0.00/0.02	c Constraints        : Number
0.00/0.02	c   logicor          : 200 
0.00/0.02	c ** Instance transfer method used: 0
0.00/0.03	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03	c                                Nodes    Active                                            
0.00/0.03	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.03	c *       0              0           1         1         200.0000                -          -
0.00/0.05	c *       0              0           1         1          25.0000                -          -
4.80/4.93	c *       5             12          11         1          24.0000          14.8092     62.06%
4.80/4.93	c *       5             12          11         1          22.0000          14.8092     48.56%
5.80/5.99	c         6             20          19         1          22.0000          14.8092     48.56%
10.90/11.05	c        11            194         189         1          22.0000          15.2701     44.07%
11.48/11.68	c *      12            194         189         1          21.0000          15.2701     37.52%
16.57/16.70	c        17            416         337         1          21.0000          15.7399     33.42%
22.06/22.25	c        22            572         493         1          21.0000          15.9898     31.33%
27.05/27.25	c        27            706         627         1          21.0000          16.0497     30.84%
32.53/32.77	c        33            835         756         1          21.0000          16.1528     30.01%
37.71/37.90	c        38            960         881         1          21.0000          16.2979     28.85%
43.60/43.87	c        44           1067          53         1          21.0000          16.3280     28.61%
48.91/49.19	c        49           1232         218         1          21.0000          16.3280     28.61%
54.38/54.68	c        55           1390         376         1          21.0000          16.3280     28.61%
59.56/59.84	c        60           1506         492         1          21.0000          16.3280     28.61%
65.15/65.44	c        65           1601         587         1          21.0000          16.3280     28.61%
70.53/70.80	c        71           1720         706         1          21.0000          16.3280     28.61%
75.92/76.25	c        76           1852         838         1          21.0000          16.3280     28.61%
81.01/81.38	c        81           1945         931         1          21.0000          16.3880     28.14%
86.71/87.04	c        87           2075        1061         1          21.0000          16.4592     27.59%
92.07/92.47	c        92           2225        1211         1          21.0000          16.5277     27.06%
97.57/97.91	c        98           2345        1331         1          21.0000          16.5834     26.63%
102.67/103.03	c       103           2465        1451         1          21.0000          16.6485     26.14%
107.84/108.21	c       108           2585        1571         1          21.0000          16.6832     25.87%
113.23/113.62	c       114           2705        1691         1          21.0000          16.7139     25.64%
118.32/118.74	c       119           2845        1831         1          21.0000          16.7516     25.36%
123.80/124.24	c       124           2975        1961         1          21.0000          16.7772     25.17%
129.59/130.04	c       130           3145        2131         1          21.0000          16.8234     24.83%
135.06/135.53	c       136           3335        2321         1          21.0000          16.8490     24.64%
140.95/141.48	c       141           3522        2508         1          21.0000          16.8721     24.47%
146.83/147.37	c       147           3785        2771         1          21.0000          16.8814     24.40%
151.92/152.43	c       152           4012        2998         1          21.0000          16.8973     24.28%
157.11/157.66	c       158           4283        3269         1          21.0000          16.9120     24.17%
162.29/162.86	c       163           4555        3541         1          21.0000          16.9341     24.01%
167.79/168.33	c       168           4830        3816         1          21.0000          16.9548     23.86%
173.16/173.75	c       174           5093        4079         1          21.0000          16.9653     23.78%
178.65/179.21	c       179           5333        4319         1          21.0000          16.9689     23.76%
183.74/184.37	c       184           5695        4681         1          21.0000          16.9876     23.62%
189.22/189.80	c       190           5985        4971         1          21.0000          17.0104     23.45%
194.30/194.91	c       195           6278        5264         1          21.0000          17.0268     23.33%
199.69/200.34	c       200           6585        5571         1          21.0000          17.0503     23.16%
204.97/205.62	c       206           6915        5901         1          21.0000          17.0797     22.95%
210.16/210.86	c       211           7223        6209         1          21.0000          17.0942     22.85%
215.65/216.34	c       216           7615        6601         1          21.0000          17.1079     22.75%
221.34/222.07	c       222           8075        7061         1          21.0000          17.1295     22.60%
226.71/227.40	c       227           8522        7508         1          21.0000          17.1505     22.45%
232.32/233.07	c       233           8895        7881         1          21.0000          17.1688     22.31%
237.59/238.37	c       238           9295        8281         1          21.0000          17.1827     22.22%
242.97/243.72	c       244           9685        8671         1          21.0000          17.1886     22.17%
248.65/249.45	c       249          10176        9162         1          21.0000          17.1992     22.10%
254.04/254.88	c       255          10575        9561         1          21.0000          17.2112     22.01%
259.12/259.94	c       260          11025       10011         1          21.0000          17.2296     21.88%
264.21/265.04	c       265          11505       10491         1          21.0000          17.2459     21.77%
269.58/270.48	c       270          12045       11031         1          21.0000          17.2626     21.65%
274.77/275.62	c       276          12484       11470         1          21.0000          17.2714     21.59%
280.27/281.12	c       281          12945       11931         1          21.0000          17.2784     21.54%
285.44/286.39	c       286          13405       12391         1          21.0000          17.2983     21.40%
290.72/291.61	c       292          13955       12941         1          21.0000          17.3132     21.29%
296.00/296.95	c       297          14545       13531         1          21.0000          17.3217     21.24%
300.94/301.99	c       302          14945       13931         1          21.0000          17.3285     21.19%
306.58/307.64	c       308          15515       14501         1          21.0000          17.3464     21.06%
311.64/312.75	c       313          15995       14977         1          21.0000          17.3600     20.97%
316.82/318.01	c       318          16505       15487         1          21.0000          17.3676     20.92%
321.93/323.01	c       323          17005       15985         1          21.0000          17.3812     20.82%
327.20/328.30	c       328          17505       16485         1          21.0000          17.3899     20.76%
332.19/333.34	c       333          18025       17005         1          21.0000          17.4001     20.69%
337.47/338.67	c       339          18545       17525         1          21.0000          17.4057     20.65%
342.87/344.04	c       344          19105       18085         1          21.0000          17.4121     20.61%
348.34/349.56	c       350          19694       18674         1          21.0000          17.4176     20.57%
353.52/354.70	c       355          20255       19235         1          21.0000          17.4258     20.51%
358.62/359.81	c       360          20835       19813         1          21.0000          17.4402     20.41%
363.71/364.95	c       365          21455       20431         1          21.0000          17.4523     20.33%
369.39/370.66	c       371          22045       21015         1          21.0000          17.4595     20.28%
374.57/375.84	c       376          22665       21635         1          21.0000          17.4665     20.23%
379.97/381.29	c       381          23325       22293         1          21.0000          17.4774     20.16%
385.05/386.32	c       386          23835       22801         1          21.0000          17.4858     20.10%
390.03/391.34	c       391          24465       23431         1          21.0000          17.4960     20.03%
395.82/397.14	c       397          25167       24133         1          21.0000          17.5074     19.95%
400.88/402.22	c       402          25805       24769         1          21.0000          17.5186     19.87%
405.87/407.28	c       407          26465       25427         1          21.0000          17.5252     19.83%
410.95/412.30	c       412          27065       26011         1          21.0000          17.5314     19.78%
416.15/417.55	c       418          27705       26645         1          21.0000          17.5380     19.74%
421.23/422.63	c       423          28245       27183         1          21.0000          17.5471     19.68%
426.22/427.66	c       428          28875       27805         1          21.0000          17.5547     19.63%
431.30/432.72	c       433          29515       28439         1          21.0000          17.5636     19.57%
436.60/438.09	c       438          30175       29099         1          21.0000          17.5727     19.50%
441.59/443.10	c       443          30795       29717         1          21.0000          17.5791     19.46%
446.76/448.23	c       448          31455       30369         1          21.0000          17.5901     19.39%
452.05/453.53	c       454          32135       31047         1          21.0000          17.5952     19.35%
457.13/458.63	c       459          32825       31729         1          21.0000          17.6004     19.32%
462.32/463.83	c       464          33535       32433         1          21.0000          17.6077     19.27%
467.40/468.97	c       469          34184       33072         1          21.0000          17.6150     19.22%
469.80/471.39	c *     471          34495       33375         1          20.0000          17.6170     13.53%
472.78/474.31	c       474          34955       27495         1          20.0000          17.6207     13.50%
477.87/479.46	c       479          35705       27895         1          20.0000          17.6271     13.46%
483.06/484.60	c       485          36615       28271         1          20.0000          17.6317     13.43%
488.25/489.89	c       490          37515       28625         1          20.0000          17.6401     13.38%
493.34/494.92	c       495          38405       28963         1          20.0000          17.6491     13.32%
498.61/500.28	c       500          39255       29339         1          20.0000          17.6524     13.30%
503.90/505.51	c       506          40035       29689         1          20.0000          17.6561     13.28%
508.89/510.54	c       511          41045       30009         1          20.0000          17.6613     13.24%
513.98/515.64	c       516          41965       30363         1          20.0000          17.6697     13.19%
519.06/520.71	c       521          42835       30689         1          20.0000          17.6758     13.15%
524.05/525.72	c       526          43675       31021         1          20.0000          17.6813     13.11%
529.35/531.04	c       531          44545       31383         1          20.0000          17.6876     13.07%
534.33/536.07	c       536          45405       31737         1          20.0000          17.6950     13.03%
539.43/541.18	c       541          46285       32055         1          20.0000          17.7042     12.97%
544.49/546.21	c       546          47255       32367         1          20.0000          17.7092     12.94%
549.59/551.30	c       551          48165       32721         1          20.0000          17.7168     12.89%
554.67/556.42	c       556          49175       33027         1          20.0000          17.7252     12.83%
559.76/561.52	c       562          50015       33365         1          20.0000          17.7267     12.82%
564.84/566.61	c       567          50895       33687         1          20.0000          17.7351     12.77%
570.03/571.81	c       572          51885       34013         1          20.0000          17.7421     12.73%
575.12/576.94	c       577          52775       34317         1          20.0000          17.7487     12.68%
580.11/581.95	c       582          53665       34633         1          20.0000          17.7580     12.63%
585.30/587.13	c       587          54605       34907         1          20.0000          17.7626     12.60%
590.47/592.37	c       592          55535       35197         1          20.0000          17.7673     12.57%
595.46/597.39	c       597          56475       35493         1          20.0000          17.7730     12.53%
600.74/602.60	c       603          57545       35785         1          20.0000          17.7789     12.49%
605.82/607.76	c       608          58535       36051         1          20.0000          17.7866     12.44%
611.12/613.09	c       613          59735       36303         1          20.0000          17.7925     12.41%
616.29/618.20	c       618          60845       36583         1          20.0000          17.7970     12.38%
621.27/623.23	c       623          62065       36823         1          20.0000          17.8030     12.34%
626.27/628.23	c       628          63255       37097         1          20.0000          17.8091     12.30%
631.34/633.33	c       633          64535       37367         1          20.0000          17.8145     12.27%
636.44/638.48	c       638          65635       37613         1          20.0000          17.8205     12.23%
641.52/643.55	c       644          66735       37847         1          20.0000          17.8284     12.18%
646.61/648.69	c       649          67915       38063         1          20.0000          17.8335     12.15%
651.79/653.89	c       654          69325       38261         1          20.0000          17.8407     12.10%
656.88/658.96	c       659          70955       38367         1          20.0000          17.8485     12.05%
661.97/664.08	c       664          72565       38491         1          20.0000          17.8570     12.00%
666.96/669.11	c       669          74235       38575         1          20.0000          17.8646     11.95%
672.04/674.18	c       674          75845       38655         1          20.0000          17.8711     11.91%
677.62/679.75	c       680          77625       38751         1          20.0000          17.8777     11.87%
682.59/684.77	c       685          79255       38829         1          20.0000          17.8840     11.83%
687.89/690.09	c       690          80985       38911         1          20.0000          17.8893     11.80%
692.97/695.15	c       695          82675       38971         1          20.0000          17.8945     11.77%
698.04/700.21	c       700          84375       39021         1          20.0000          17.8985     11.74%
703.12/705.31	c       705          86055       39085         1          20.0000          17.9040     11.71%
708.20/710.43	c       710          87825       39165         1          20.0000          17.9095     11.67%
713.49/715.75	c       716          89565       39253         1          20.0000          17.9139     11.65%
718.57/720.87	c       721          91255       39341         1          20.0000          17.9202     11.61%
723.65/725.91	c       726          92975       39395         1          20.0000          17.9268     11.56%
728.64/731.01	c       731          94695       39437         1          20.0000          17.9352     11.51%
734.02/736.30	c       736          96435       39493         1          20.0000          17.9406     11.48%
739.20/741.56	c       742          98295       39505         1          20.0000          17.9472     11.44%
744.29/746.60	c       747          99885       39523         1          20.0000          17.9510     11.41%
749.37/751.74	c       752         101665       39547         1          20.0000          17.9558     11.38%
754.44/756.80	c       757         103325       39583         1          20.0000          17.9612     11.35%
759.44/761.87	c       762         105125       39585         1          20.0000          17.9656     11.32%
764.72/767.14	c       767         106925       39605         1          20.0000          17.9691     11.30%
769.72/772.14	c       772         108685       39615         1          20.0000          17.9754     11.26%
774.99/777.46	c       777         110505       39635         1          20.0000          17.9832     11.22%
779.98/782.46	c       782         112165       39679         1          20.0000          17.9880     11.19%
785.07/787.54	c       788         113895       39693         1          20.0000          17.9949     11.14%
790.25/792.70	c       793         115735       39693         1          20.0000          17.9996     11.11%
795.23/797.79	c       798         117455       39673         1          20.0000          18.0043     11.08%
800.42/802.98	c       803         119295       39635         1          20.0000          18.0103     11.05%
805.50/808.02	c       808         121025       39625         1          20.0000          18.0159     11.01%
810.50/813.04	c       813         122765       39623         1          20.0000          18.0210     10.98%
815.47/818.06	c       818         124515       39579         1          20.0000          18.0260     10.95%
820.56/823.15	c       823         126355       39503         1          20.0000          18.0324     10.91%
825.73/828.31	c       828         128095       39495         1          20.0000          18.0378     10.88%
830.82/833.46	c       833         129965       39383         1          20.0000          18.0435     10.84%
836.01/838.66	c       839         131885       39321         1          20.0000          18.0491     10.81%
840.99/843.68	c       844         133705       39257         1          20.0000          18.0543     10.78%
846.07/848.72	c       849         135465       39193         1          20.0000          18.0611     10.74%
851.15/853.80	c       854         137275       39125         1          20.0000          18.0667     10.70%
856.14/858.83	c       859         139115       39047         1          20.0000          18.0729     10.66%
861.23/863.97	c       864         140975       38977         1          20.0000          18.0762     10.64%
866.52/869.24	c       869         142855       38903         1          20.0000          18.0808     10.61%
871.60/874.32	c       874         144705       38807         1          20.0000          18.0843     10.59%
876.59/879.38	c       879         146565       38715         1          20.0000          18.0885     10.57%
881.67/884.41	c       884         148365       38609         1          20.0000          18.0947     10.53%
886.66/889.50	c       890         150205       38523         1          20.0000          18.1009     10.49%
891.75/894.57	c       895         152105       38377         1          20.0000          18.1046     10.47%
896.83/899.60	c       900         153825       38311         1          20.0000          18.1103     10.43%
901.82/904.62	c       905         155575       38193         1          20.0000          18.1149     10.41%
907.01/909.82	c       910         157425       38047         1          20.0000          18.1188     10.38%
911.99/914.83	c       915         159245       37911         1          20.0000          18.1236     10.35%
916.98/919.87	c       920         161065       37781         1          20.0000          18.1298     10.32%
922.06/924.91	c       925         162865       37637         1          20.0000          18.1339     10.29%
927.35/930.21	c       930         164715       37487         1          20.0000          18.1388     10.26%
932.43/935.32	c       935         166545       37339         1          20.0000          18.1458     10.22%
937.61/940.58	c       941         168455       37161         1          20.0000          18.1511     10.19%
942.70/945.64	c       946         170275       36985         1          20.0000          18.1567     10.15%
947.77/950.70	c       951         172045       36823         1          20.0000          18.1610     10.13%
952.76/955.76	c       956         173885       36657         1          20.0000          18.1678     10.08%
957.84/960.80	c       961         175745       36447         1          20.0000          18.1741     10.05%
962.83/965.82	c       966         177605       36253         1          20.0000          18.1800     10.01%
967.92/970.92	c       971         179415       36075         1          20.0000          18.1868      9.97%
972.91/975.98	c       976         181215       35871         1          20.0000          18.1933      9.93%
978.10/981.19	c       981         183125       35631         1          20.0000          18.1973      9.91%
983.28/986.33	c       986         185035       35401         1          20.0000          18.2038      9.87%
988.26/991.34	c       991         186855       35203         1          20.0000          18.2099      9.83%
993.24/996.36	c       996         188795       34923         1          20.0000          18.2179      9.78%
998.24/1001.39	c      1001         190625       34715         1          20.0000          18.2250      9.74%
1003.32/1006.44	c      1006         192545       34459         1          20.0000          18.2297      9.71%
1008.41/1011.52	c      1012         194405       34189         1          20.0000          18.2356      9.68%
1013.50/1016.63	c      1017         196295       33919         1          20.0000          18.2420      9.64%
1018.49/1021.65	c      1022         198175       33659         1          20.0000          18.2470      9.61%
1023.48/1026.68	c      1027         200055       33337         1          20.0000          18.2528      9.57%
1028.66/1031.81	c      1032         201955       33011         1          20.0000          18.2597      9.53%
1033.64/1036.85	c      1037         203905       32703         1          20.0000          18.2649      9.50%
1038.73/1041.92	c      1042         205875       32349         1          20.0000          18.2711      9.46%
1043.72/1046.98	c      1047         207775       31997         1          20.0000          18.2768      9.43%
1048.71/1052.01	c      1052         209695       31663         1          20.0000          18.2840      9.39%
1053.80/1057.04	c      1057         211605       31299         1          20.0000          18.2906      9.35%
1058.78/1062.10	c      1062         213515       30931         1          20.0000          18.2979      9.30%
1063.88/1067.12	c      1067         215425       30577         1          20.0000          18.3040      9.27%
1068.95/1072.21	c      1072         217345       30177         1          20.0000          18.3104      9.23%
1074.04/1077.33	c      1077         219295       29781         1          20.0000          18.3176      9.18%
1079.13/1082.47	c      1082         221265       29361         1          20.0000          18.3261      9.13%
1084.22/1087.53	c      1088         223185       28923         1          20.0000          18.3339      9.09%
1089.19/1092.55	c      1093         225145       28479         1          20.0000          18.3415      9.04%
1094.28/1097.65	c      1098         227135       28001         1          20.0000          18.3493      9.00%
1099.36/1102.71	c      1103         229035       27571         1          20.0000          18.3580      8.94%
1104.44/1107.89	c      1108         231095       27061         1          20.0000          18.3653      8.90%
1109.52/1112.95	c      1113         233035       26559         1          20.0000          18.3737      8.85%
1114.51/1117.98	c      1118         235085       26025         1          20.0000          18.3806      8.81%
1119.49/1123.01	c      1123         237055       25503         1          20.0000          18.3897      8.76%
1124.56/1128.04	c      1128         238815       25001         1          20.0000          18.3974      8.71%
1129.61/1133.11	c      1133         240575       24497         1          20.0000          18.4063      8.66%
1134.59/1138.17	c      1138         242165       24025         1          20.0000          18.4156      8.60%
1139.58/1143.19	c      1143         244075       23455         1          20.0000          18.4231      8.56%
1144.65/1148.21	c      1148         246085       22833         1          20.0000          18.4326      8.50%
1149.63/1153.28	c      1153         248145       22167         1          20.0000          18.4418      8.45%
1154.70/1158.32	c      1158         250185       21439         1          20.0000          18.4518      8.39%
1159.69/1163.35	c      1163         252135       20711         1          20.0000          18.4610      8.34%
1164.67/1168.35	c      1168         254105       19963         1          20.0000          18.4722      8.27%
1169.66/1173.37	c      1173         256055       19289         1          20.0000          18.4819      8.21%
1174.74/1178.40	c      1178         258075       18475         1          20.0000          18.4921      8.15%
1179.72/1183.42	c      1183         260035       17701         1          20.0000          18.5043      8.08%
1184.81/1188.53	c      1189         262105       16753         1          20.0000          18.5159      8.02%
1189.79/1193.58	c      1194         264205       15803         1          20.0000          18.5275      7.95%
1194.85/1198.63	c      1199         266305       14795         1          20.0000          18.5424      7.86%
1199.82/1203.65	c      1204         268405       13685         1          20.0000          18.5579      7.77%
1204.81/1208.68	c      1209         270445       12583         1          20.0000          18.5727      7.68%
1209.89/1213.70	c      1214         272575       11305         1          20.0000          18.5894      7.59%
1214.86/1218.71	c      1219         274735        9971         1          20.0000          18.6104      7.47%
1219.85/1223.74	c      1224         276885        8537         1          20.0000          18.6332      7.34%
1224.84/1228.77	c      1229         279055        7055         1          20.0000          18.6568      7.20%
1229.82/1233.79	c      1234         281175        5499         1          20.0000          18.6833      7.05%
1234.91/1238.80	c      1239         283305        3851         1          20.0000          18.7108      6.89%
1239.89/1243.81	c      1244         285285        2213         1          20.0000          18.7514      6.66%
1244.86/1248.86	c      1249         287035         609         1          20.0000          18.8182      6.28%
1248.34/1252.38	c      1252         287654           0         0          20.0000          20.0000      0.00%
1248.34/1252.40	c      1252         287654           0         0          20.0000          20.0000          -
1248.34/1252.40	c SCIP Status        : c problem is solved
1248.34/1252.40	c Total Time         : 1252.3900
1248.34/1252.40	c   solving          : 1252.3900
1248.34/1252.40	c   presolving       : 0.0119 (included in solving)
1248.34/1252.40	c B&B Tree           :
1248.34/1252.40	c   nodes (total)    : 287654
1248.34/1252.40	c Solution           :
1248.34/1252.40	c   Solutions found  : 6
1248.34/1252.40	c   Primal Bound     : +2.00000000000000e+01
1248.34/1252.40	c   Dual Bound       : +2.00000000000000e+01
1248.34/1252.40	c Gap                : 0.00000 %
1248.34/1252.40	o 20
1248.34/1252.40	s OPTIMUM FOUND
1248.34/1252.40	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 
1248.34/1252.40	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1248.34/1252.40	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1248.34/1252.40	v x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 
1248.34/1252.40	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1248.34/1252.40	v -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 
1248.34/1252.40	v -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 x45 -x44 x43 
1248.34/1252.40	v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 x18 -x17 
1248.34/1252.40	v -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	20

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (59801 MiB free)
  memory of node 1: 64473 MiB (60637 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459875-1721939911/watcher-4459875-1721939911 -o /tmp/evaluation-result-4459875-1721939911/solver-4459875-1721939911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235368 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459875-1721939911.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 Starting watchdog threadmit, stack expansion wi
Linux Starting watchdog threadmit, stack expansion wi

Current StackSize limit: 8192 KiB

solver pid=235658, runsolver pid=235655

[startup+0.100526 s]*
/proc/loadavg: 4.13 3.32 1.82 5/246 235661
/proc/meminfo: memFree=123309088/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=120532 memory=31640 CPUtime=0.09 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 5334 0 0 0 9 0 0 0 20 0 3 0 29980569 123424768 7910 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 30133 7910 2878 3032 0 11361 0
[pid=235658/tid=235660] ppid=235655 vsize=120532 memory=4026561586 CPUtime=0.06 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 1075 0 0 0 6 0 0 0 20 0 3 0 29980572 123424768 7910 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=120532 memory=237146210664 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29980573 123424768 7910 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 120532 KiB
Current children cumulated memory: 31640 KiB

[startup+0.213524 s]*
/proc/loadavg: 4.13 3.32 1.82 5/246 235661
/proc/meminfo: memFree=123305392/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=120816 memory=35456 CPUtime=0.18 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 6259 0 0 0 18 0 0 0 20 0 3 0 29980569 123715584 8864 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 30204 8864 2910 3032 0 12305 0
[pid=235658/tid=235660] ppid=235655 vsize=120816 memory=4782652875487838339 CPUtime=0.16 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 2000 0 0 0 16 0 0 0 20 0 3 0 29980572 123715584 8864 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=120816 memory=1796009 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29980573 123715584 8864 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 120816 KiB
Current children cumulated memory: 35456 KiB

[startup+0.310528 s]*
/proc/loadavg: 4.13 3.32 1.82 5/246 235661
/proc/meminfo: memFree=123296992/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=125444 memory=43376 CPUtime=0.28 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 8271 0 0 0 27 1 0 0 20 0 3 0 29980569 128454656 10844 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 31361 10844 2910 3032 0 14330 0
[pid=235658/tid=235660] ppid=235655 vsize=125444 memory=-6369329483805277031 CPUtime=0.24 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 4012 0 0 0 24 0 0 0 20 0 3 0 29980572 128454656 10844 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=125444 memory=0 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29980573 128454656 10844 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 125444 KiB
Current children cumulated memory: 43376 KiB

[startup+0.700514 s]
/proc/loadavg: 4.13 3.32 1.82 5/246 235661
/proc/meminfo: memFree=123283552/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=152848 memory=75320 CPUtime=0.63 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 16248 0 0 0 60 3 0 0 20 0 3 0 29980569 156516352 18830 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 38212 18830 2910 3032 0 22593 0
[pid=235658/tid=235660] ppid=235655 vsize=152848 memory=0 CPUtime=0.6 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 11989 0 0 0 58 2 0 0 20 0 3 0 29980572 156516352 18830 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=152848 memory=0 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29980573 156516352 18830 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 152848 KiB
Current children cumulated memory: 75320 KiB

[startup+1.50051 s]
/proc/loadavg: 4.13 3.32 1.82 5/246 235661
/proc/meminfo: memFree=123248944/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=166772 memory=93768 CPUtime=1.42 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 26672 0 0 0 138 4 0 0 20 0 3 0 29980569 170774528 23442 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 41693 23442 2910 3032 0 27752 0
[pid=235658/tid=235660] ppid=235655 vsize=166772 memory=0 CPUtime=1.39 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 22413 0 0 0 135 4 0 0 20 0 3 0 29980572 170774528 23442 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=166772 memory=0 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29980573 170774528 23442 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 166772 KiB
Current children cumulated memory: 93768 KiB

[startup+3.10528 s]
/proc/loadavg: 4.13 3.32 1.82 5/246 235661
/proc/meminfo: memFree=123245348/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=166772 memory=93852 CPUtime=3.01 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 26765 0 0 0 297 4 0 0 20 0 3 0 29980569 170774528 23463 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 41693 23463 2910 3032 0 27752 0
[pid=235658/tid=235660] ppid=235655 vsize=166772 memory=0 CPUtime=2.98 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 22479 0 0 0 294 4 0 0 20 0 3 0 29980572 170774528 23463 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=166772 memory=0 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 29980573 170774528 23463 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 166772 KiB
Current children cumulated memory: 93852 KiB

[startup+6.30035 s]
/proc/loadavg: 4.12 3.33 1.83 5/246 235661
/proc/meminfo: memFree=123195220/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=169836 memory=104656 CPUtime=6.2 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 31197 0 0 0 615 5 0 0 20 0 3 0 29980569 173912064 26164 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 42459 26164 2958 3032 0 30260 0
[pid=235658/tid=235660] ppid=235655 vsize=169836 memory=-6369329483805277031 CPUtime=6.16 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 26798 0 0 0 612 4 0 0 20 0 3 0 29980572 173912064 26164 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=169836 memory=-6369329483805277031 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 29980573 173912064 26164 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 169836 KiB
Current children cumulated memory: 104656 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 3.35 1.84 5/246 235663
/proc/meminfo: memFree=123138920/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=203548 memory=154692 CPUtime=12.58 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 67885 0 0 0 1249 9 0 0 20 0 3 0 29980569 208433152 38673 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 50887 38673 2958 3032 0 43687 0
[pid=235658/tid=235660] ppid=235655 vsize=203548 memory=-6369329483805277031 CPUtime=12.55 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 63354 0 0 0 1247 8 0 0 20 0 3 0 29980572 208433152 38673 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=203548 memory=151356 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 29980573 208433152 38673 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 203548 KiB
Current children cumulated memory: 154692 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 3.38 1.88 5/246 235664
/proc/meminfo: memFree=123115104/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=203548 memory=156616 CPUtime=25.35 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 102395 0 0 0 2524 11 0 0 20 0 3 0 29980569 208433152 39154 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 50887 39154 2974 3032 0 43901 0
[pid=235658/tid=235660] ppid=235655 vsize=203548 memory=156600 CPUtime=25.32 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 97787 0 0 0 2522 10 0 0 20 0 3 0 29980572 208433152 39154 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=203548 memory=11616 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 29980573 208433152 39154 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 203548 KiB
Current children cumulated memory: 156616 KiB

[startup+51.1123 s]
/proc/loadavg: 4.11 3.45 1.94 5/246 235669
/proc/meminfo: memFree=123052656/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=262604 memory=172504 CPUtime=50.9 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 163938 0 0 0 5074 16 0 0 20 0 3 0 29980569 268906496 43126 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 65651 43126 2974 3032 0 47462 0
[pid=235658/tid=235660] ppid=235655 vsize=262604 memory=161516 CPUtime=50.86 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 159229 0 0 0 5071 15 0 0 20 0 3 0 29980572 268906496 43126 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=262604 memory=61156 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 29980573 268906496 43126 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 262604 KiB
Current children cumulated memory: 172504 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 3.55 2.06 5/249 235683
/proc/meminfo: memFree=123016356/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=265436 memory=180800 CPUtime=101.96 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 209864 0 0 0 10177 19 0 0 20 0 3 0 29980569 271806464 45200 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 66359 45200 2974 3032 0 49566 0
[pid=235658/tid=235660] ppid=235655 vsize=265436 memory=179232 CPUtime=101.91 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 205059 0 0 0 10174 17 0 0 20 0 3 0 29980572 271806464 45200 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=265436 memory=61156 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 29980573 271806464 45200 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 265436 KiB
Current children cumulated memory: 180800 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 3.66 2.19 5/250 235694
/proc/meminfo: memFree=122840572/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=335380 memory=236200 CPUtime=161.8 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 259387 0 0 0 16156 24 0 0 20 0 3 0 29980569 343429120 59050 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 83845 59050 2974 3032 0 64315 0
[pid=235658/tid=235660] ppid=235655 vsize=335380 memory=205228 CPUtime=161.75 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 254524 0 0 0 16152 23 0 0 20 0 3 0 29980572 343429120 59050 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=335380 memory=25760 CPUtime=0 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 29980573 343429120 59050 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 161.8 s

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

/proc/235658/statm: 117931 99257 2974 3032 0 101958 0
[pid=235658/tid=235660] ppid=235655 vsize=471724 memory=396604 CPUtime=998.81 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 597454 0 0 0 99791 90 0 0 20 0 3 0 29980572 483045376 99257 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=471724 memory=397028 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 80 0 0 0 0 1 0 0 20 0 3 0 29980573 483045376 99257 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 999.23 s
Current children cumulated vsize: 471724 KiB
Current children cumulated memory: 397028 KiB

[startup+1062.3 s]
/proc/loadavg: 4.13 4.10 3.42 5/249 236242
/proc/meminfo: memFree=122254480/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=471724 memory=398556 CPUtime=1059.07 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 609330 0 0 0 105795 112 0 0 20 0 3 0 29980569 483045376 99639 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 117931 99639 2974 3032 0 102302 0
[pid=235658/tid=235660] ppid=235655 vsize=471724 memory=397028 CPUtime=1058.59 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 603956 0 0 0 105765 94 0 0 20 0 3 0 29980572 483045376 99639 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=471724 memory=6720665450084384106 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 82 0 0 0 0 1 0 0 20 0 3 0 29980573 483045376 99639 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1059.07 s
Current children cumulated vsize: 471724 KiB
Current children cumulated memory: 398556 KiB

[startup+1122.3 s]
/proc/loadavg: 4.11 4.09 3.46 5/249 236255
/proc/meminfo: memFree=122252192/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=471724 memory=398560 CPUtime=1118.89 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 615802 0 0 0 111770 119 0 0 20 0 3 0 29980569 483045376 99640 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 117931 99640 2974 3032 0 102340 0
[pid=235658/tid=235660] ppid=235655 vsize=471724 memory=398556 CPUtime=1118.35 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 610409 0 0 0 111736 99 0 0 20 0 3 0 29980572 483045376 99640 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=471724 memory=398560 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 84 0 0 0 0 1 0 0 20 0 3 0 29980573 483045376 99640 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1118.89 s
Current children cumulated vsize: 471724 KiB
Current children cumulated memory: 398560 KiB

[startup+1182.3 s]
/proc/loadavg: 4.09 4.09 3.50 5/250 236434
/proc/meminfo: memFree=122196724/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=471724 memory=399188 CPUtime=1178.64 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 623658 0 0 0 117737 127 0 0 20 0 3 0 29980569 483045376 99797 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 117931 99797 2974 3032 0 102498 0
[pid=235658/tid=235660] ppid=235655 vsize=471724 memory=398556 CPUtime=1178.03 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 618244 0 0 0 117699 104 0 0 20 0 3 0 29980572 483045376 99797 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=471724 memory=398560 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 86 0 0 0 0 1 0 0 20 0 3 0 29980573 483045376 99797 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1178.64 s
Current children cumulated vsize: 471724 KiB
Current children cumulated memory: 399188 KiB

[startup+1242.3 s]
/proc/loadavg: 4.07 4.08 3.55 5/250 236445
/proc/meminfo: memFree=122179408/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=477844 memory=408636 CPUtime=1238.39 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 635417 0 0 0 123701 138 0 0 20 0 3 0 29980569 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 119461 102159 2974 3032 0 104733 0
[pid=235658/tid=235660] ppid=235655 vsize=477844 memory=12368 CPUtime=1237.67 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 629981 0 0 0 123656 111 0 0 20 0 3 0 29980572 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=477844 memory=402876 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 29980573 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1238.39 s
Current children cumulated vsize: 477844 KiB
Current children cumulated memory: 408636 KiB

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

# cumulated CPU time of all completed processes:  user=1247.05 s, system=1.41084 s

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

[startup+1248 s]*
/proc/loadavg: 4.06 4.08 3.55 5/250 236446
/proc/meminfo: memFree=122178924/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=477844 memory=408636 CPUtime=1244.07 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 636911 0 0 0 124269 138 0 0 20 0 3 0 29980569 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 119461 102159 2974 3032 0 104733 0
[pid=235658/tid=235660] ppid=235655 vsize=477844 memory=5620 CPUtime=1243.34 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 631475 0 0 0 124222 112 0 0 20 0 3 0 29980572 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=477844 memory=-5155633680935826750 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 29980573 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1244.07 s
Current children cumulated vsize: 477844 KiB
Current children cumulated memory: 408636 KiB

[startup+1249.6 s]
/proc/loadavg: 4.06 4.08 3.55 5/250 236446
/proc/meminfo: memFree=122178704/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=477844 memory=408636 CPUtime=1245.65 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 636916 0 0 0 124427 138 0 0 20 0 3 0 29980569 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 119461 102159 2974 3032 0 104733 0
[pid=235658/tid=235660] ppid=235655 vsize=477844 memory=11616 CPUtime=1244.92 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 631480 0 0 0 124380 112 0 0 20 0 3 0 29980572 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=477844 memory=408636 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 29980573 489312256 102159 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1245.65 s
Current children cumulated vsize: 477844 KiB
Current children cumulated memory: 408636 KiB

[startup+1251.2 s]
/proc/loadavg: 4.14 4.10 3.56 5/250 236446
/proc/meminfo: memFree=122173544/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=482296 memory=415788 CPUtime=1247.25 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 638678 0 0 0 124586 139 0 0 20 0 3 0 29980569 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 120574 103947 2974 3032 0 106521 0
[pid=235658/tid=235660] ppid=235655 vsize=482296 memory=11616 CPUtime=1246.5 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 633242 0 0 0 124538 112 0 0 20 0 3 0 29980572 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=482296 memory=5724 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 29980573 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1247.25 s
Current children cumulated vsize: 482296 KiB
Current children cumulated memory: 415788 KiB

[startup+1252 s]*
/proc/loadavg: 4.14 4.10 3.56 5/250 236446
/proc/meminfo: memFree=122171472/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=482296 memory=415788 CPUtime=1248.05 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 638688 0 0 0 124666 139 0 0 20 0 3 0 29980569 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 120574 103947 2974 3032 0 106521 0
[pid=235658/tid=235660] ppid=235655 vsize=482296 memory=11608 CPUtime=1247.3 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 633252 0 0 0 124618 112 0 0 20 0 3 0 29980572 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=482296 memory=11608 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 29980573 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1248.05 s
Current children cumulated vsize: 482296 KiB
Current children cumulated memory: 415788 KiB

[startup+1252.2 s]
/proc/loadavg: 4.14 4.10 3.56 5/250 236446
/proc/meminfo: memFree=122171472/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=482296 memory=415788 CPUtime=1248.24 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 638688 0 0 0 124685 139 0 0 20 0 3 0 29980569 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 120574 103947 2974 3032 0 106521 0
[pid=235658/tid=235660] ppid=235655 vsize=482296 memory=104 CPUtime=1247.49 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 633252 0 0 0 124637 112 0 0 20 0 3 0 29980572 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=482296 memory=1972 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 29980573 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1248.24 s
Current children cumulated vsize: 482296 KiB
Current children cumulated memory: 415788 KiB

[startup+1252.3 s]
/proc/loadavg: 4.14 4.10 3.56 5/250 236446
/proc/meminfo: memFree=122171472/131655788 swapFree=131060916/131071996
[pid=235658] ppid=235655 vsize=482296 memory=415788 CPUtime=1248.34 cores=4,6
/proc/235658/stat : 235658 (fscip) S 235655 235658 235357 0 -1 1077936128 638688 0 0 0 124695 139 0 0 20 0 3 0 29980569 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
/proc/235658/statm: 120574 103947 2974 3032 0 106521 0
[pid=235658/tid=235660] ppid=235655 vsize=482296 memory=12368 CPUtime=1247.59 cores=4,6
/proc/235658/task/235660/stat : 235660 (fscip) R 235655 235658 235357 0 -1 4194368 633252 0 0 0 124647 112 0 0 20 0 3 0 29980572 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
[pid=235658/tid=235661] ppid=235655 vsize=482296 memory=408636 CPUtime=0.01 cores=4,6
/proc/235658/task/235661/stat : 235661 (fscip) S 235655 235658 235357 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 29980573 493871104 103947 134679101440 4194304 16613245 140729794760368 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37990400 140729794761752 140729794761868 140729794761868 140729794768880 0
Current children cumulated CPU time: 1248.34 s
Current children cumulated vsize: 482296 KiB
Current children cumulated memory: 415788 KiB

Child status: 0

Real time (s): 1252.41
CPU time (s): 1248.46
CPU user time (s): 1247.05
CPU system time (s): 1.41084
CPU usage (%): 99.6845
Max. virtual memory (cumulated for all children) (KiB): 485188
Max. memory (cumulated for all children) (KiB): 416300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1247.05
system time used= 1.41084
maximum resident set size= 424556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639324
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= 20710
involuntary context switches= 1561


# summary of solver processes directly reported to runsolver:
#   pid: 235658
#   total CPU time (s): 1248.46
#   total CPU user time (s): 1247.05
#   total CPU system time (s): 1.41084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79429 second user time and 11.2643 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-25 22:38:31
IDJOB=4459875
IDBENCH=148620
IDSOLVER=3064
FILE ID=nodeC007/4459875-1721939911
RUNJOBID= nodeC007-1721939462-235368
SLURM_JOB_ID= 8247261
Free space on /tmp= 723700 MiB

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

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

MD5SUM BENCH= dbebfc2916fd48f48fd9f4f0821ac62f
RANDOM SEED=1956819754

nodeC007.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	: 0xb00001f
cpu MHz		: 3668.855
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 3661.839
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.382
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.235
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3491.851
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 3661.855
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.203
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.313
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123330064 kB
MemAvailable:   128618068 kB
Buffers:          338908 kB
Cached:          5647936 kB
SwapCached:          152 kB
Active:          1800588 kB
Inactive:        5727928 kB
Active(anon):       2284 kB
Inactive(anon):  1584496 kB
Active(file):    1798304 kB
Inactive(file):  4143432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060916 kB
Dirty:             28084 kB
Writeback:             0 kB
AnonPages:       1541588 kB
Mapped:           126348 kB
Shmem:             45112 kB
KReclaimable:     372936 kB
Slab:             485372 kB
SReclaimable:     372936 kB
SUnreclaim:       112436 kB
KernelStack:        3964 kB
PageTables:        12776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1138216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    577536 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:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-25 22:59:24