Trace number 4426775

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02OPTIMUM 1094.55 1098.96

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
MD5SUMd9ce9dadf7577308886436a03b54d963
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark16.4119
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1802
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 91108
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91107
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 = 33861632, getVmSize() = 33861632, SCIPgetMemUsed() = 8502744, SCIPgetMemTotal() = 11888920, SCIPgetMemExternEstim() = 6216959
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.79/0.83	c ** Estimated virtualMemUsedAtSolver = 32370688, getVmSize() = 63250432, SCIPgetMemUsed() = 28344334, SCIPgetMemTotal() = 39744510, SCIPgetMemExternEstim() = 6216959
0.79/0.83	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.79/0.83	c Original Problem   :
0.79/0.83	c   Problem name     : instance-4426775-1720905573
0.79/0.83	c   Variables        : 2033 (2033 binary, 0 integer, 0 implicit integer, 0 continuous)
0.79/0.83	c   Constraints      : 4510
0.79/0.83	c   Objective sense  : minimize
0.79/0.83	c Presolved Problem  :
0.79/0.83	c   Variables        : 2047 (2033 binary, 0 integer, 14 implicit integer, 0 continuous)
0.79/0.83	c   Constraints      : 2690
0.79/0.83	c Constraints        : Number
0.79/0.83	c   setppc           : 55 
0.79/0.83	c   linear           : 1803 
0.79/0.83	c   logicor          : 805 
0.79/0.83	c   indicator        : 27 
0.79/0.83	c ** Instance transfer method used: 0
0.79/0.83	c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.84	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.84	c                                Nodes    Active                                            
0.79/0.84	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.79/0.88	c *       1              0           1         1       62236.0000                -          -
0.79/0.88	c *       1              0           1         1         643.0000                -          -
2.38/2.44	c *       2              0           1         1         224.0000                -          -
4.57/4.64	c *       5              5           6         1          50.0000           0.0000          -
4.67/4.76	c *       5              5           6         1          28.0000           0.0000          -
5.56/5.60	c         6             17           4         1          28.0000           0.0000          -
8.56/8.65	c *       9             35           8         1          27.0000           0.0000          -
9.15/9.21	c *       9             53          12         1          22.0000           0.0000          -
10.75/10.88	c        11             70          15         1          22.0000           0.0000          -
13.84/13.97	c *      14            143          33         1          20.0000           0.0000          -
15.94/16.05	c        16            198          46         1          20.0000           0.0000          -
16.23/16.39	c *      16            198          46         1          11.0000           0.0000          -
21.11/21.29	c        21            700          83         1          11.0000           0.0000          -
26.19/26.33	c        26           1206          52         1          11.0000           0.0000          -
31.27/31.40	c        31           2734         412         1          11.0000           0.0000          -
36.35/36.55	c        37           3942         727         1          11.0000           0.0000          -
41.93/42.14	c        42           5017         982         1          11.0000           0.0000          -
47.01/47.24	c        47           6822        1246         1          11.0000           0.0000          -
52.48/52.73	c        53           8864        1455         1          11.0000           0.0000          -
57.66/57.96	c        58          10475        1768         1          11.0000           0.0000          -
63.03/63.30	c        63          11184        1887         1          11.0000           0.0000          -
66.22/66.55	c *      67          11680        1977         1          10.0000           0.0000          -
68.11/68.48	c        68          12388        2024         1          10.0000           0.0000          -
73.29/73.60	c        74          14143        2316         1          10.0000           0.0000          -
78.57/78.94	c        79          15969        2558         1          10.0000           0.0000          -
83.65/84.08	c        84          17862        2901         1          10.0000           0.0000          -
88.92/89.33	c        89          19896        3308         1          10.0000           0.0000          -
94.20/94.60	c        95          21744        3729         1          10.0000           0.0000          -
99.28/99.73	c       100          23066        4010         1          10.0000           0.0000          -
104.45/104.98	c       105          24968        4329         1          10.0000           0.0000          -
109.74/110.20	c       110          26450        4599         1          10.0000           0.0000          -
110.14/110.62	c *     111          26450        4599         1           8.0000           0.0000          -
111.13/111.63	c *     112          26647        4036         1           4.0000           0.0000          -
114.91/115.46	c       115          28067        2654         1           4.0000           0.0000          -
120.39/120.91	c       121          29928        2781         1           4.0000           0.0000          -
125.48/126.02	c       126          31913        2850         1           4.0000           0.0000          -
130.56/131.11	c       131          34165        2914         1           4.0000           0.0000          -
135.54/136.16	c       136          35952        3025         1           4.0000           0.0000          -
140.61/141.24	c       141          38406        3068         1           4.0000           0.0000          -
145.70/146.32	c       146          40817        3167         1           4.0000           0.0000          -
150.67/151.37	c       151          43086        3167         1           4.0000           0.0000          -
155.86/156.55	c       157          45469        3273         1           4.0000           0.0000          -
160.93/161.67	c       162          48023        3396         1           4.0000           0.0000          -
166.02/166.78	c       167          50327        3492         1           4.0000           0.0000          -
171.10/171.88	c       172          52184        3674         1           4.0000           0.0000          -
176.57/177.30	c       177          53667        3719         1           4.0000           0.0000          -
181.55/182.37	c       182          55323        3808         1           4.0000           0.0000          -
186.64/187.44	c       187          57413        3850         1           4.0000           0.0000          -
191.71/192.52	c       193          59493        3903         1           4.0000           0.0000          -
196.80/197.63	c       198          61393        3958         1           4.0000           0.0000          -
201.88/202.75	c       203          63365        3994         1           4.0000           0.0000          -
206.96/207.88	c       208          65709        4031         1           4.0000           0.0000          -
212.04/212.93	c       213          68062        4143         1           4.0000           0.0000          -
217.02/217.98	c       218          70341        4176         1           4.0000           0.0000          -
222.10/223.03	c       223          73183        4275         1           4.0000           0.0000          -
227.18/228.11	c       228          75927        4426         1           4.0000           0.0000          -
232.25/233.26	c       233          78829        4575         1           4.0000           0.0000          -
237.34/238.36	c       238          80754        4579         1           4.0000           0.0000          -
242.41/243.41	c       243          83532        4788         1           4.0000           0.0000          -
247.40/248.47	c       248          86068        4938         1           4.0000           0.0000          -
252.57/253.61	c       254          89336        5218         1           4.0000           0.0000          -
257.56/258.69	c       259          91869        5388         1           4.0000           0.0000          -
262.64/263.74	c       264          93768        5494         1           4.0000           0.0000          -
267.72/268.89	c       269          95098        5623         1           4.0000           0.0000          -
272.80/273.95	c       274          97548        5752         1           4.0000           0.0000          -
277.89/279.04	c       279          99762        5819         1           4.0000           0.0000          -
283.06/284.21	c       284         102389        5937         1           4.0000           0.0000          -
288.64/289.85	c       290         104870        6122         1           4.0000           0.0000          -
294.12/295.33	c       295         106967        6306         1           4.0000           0.0000          -
299.10/300.38	c       300         109481        6501         1           4.0000           0.0000          -
304.17/305.44	c       305         112288        6705         1           4.0000           0.0000          -
309.25/310.53	c       311         115499        6996         1           4.0000           0.0000          -
314.23/315.58	c       316         118461        7189         1           4.0000           0.0000          -
319.31/320.67	c       321         120783        7345         1           4.0000           0.0000          -
324.39/325.77	c       326         124134        7559         1           4.0000           0.0000          -
329.47/330.82	c       331         126905        7687         1           4.0000           0.0000          -
334.54/335.90	c       336         129140        7807         1           4.0000           0.0000          -
339.52/340.96	c       341         131317        7956         1           4.0000           0.0000          -
344.60/346.02	c       346         132913        8068         1           4.0000           0.0000          -
349.67/351.11	c       351         134831        8177         1           4.0000           0.0000          -
354.85/356.30	c       356         136670        8244         1           4.0000           0.0000          -
359.82/361.39	c       361         139000        8333         1           4.0000           0.0000          -
365.01/366.52	c       367         141762        8368         1           4.0000           0.0000          -
370.08/371.62	c       372         143896        8432         1           4.0000           0.0000          -
375.25/376.89	c       377         145544        8465         1           4.0000           0.0000          -
380.43/382.01	c       382         148388        8539         1           4.0000           0.0000          -
385.61/387.20	c       387         150959        8566         1           4.0000           0.0000          -
390.59/392.29	c       392         153452        8750         1           4.0000           0.0000          -
395.66/397.39	c       397         155564        8760         1           4.0000           0.0000          -
400.85/402.55	c       403         157188        8799         1           4.0000           0.0000          -
406.02/407.71	c       408         158841        8790         1           4.0000           0.0000          -
411.09/412.84	c       413         160933        8815         1           4.0000           0.0000          -
416.17/417.94	c       418         163652        8833         1           4.0000           0.0000          -
421.16/422.99	c       423         166559        8949         1           4.0000           0.0000          -
426.23/428.04	c       428         169752        9148         1           4.0000           0.0000          -
431.21/433.09	c       433         173305        9278         1           4.0000           0.0000          -
436.30/438.15	c       438         176211        9358         1           4.0000           0.0000          -
441.37/443.22	c       443         178979        9474         1           4.0000           0.0000          -
446.35/448.27	c       448         181788        9566         1           4.0000           0.0000          -
451.43/453.32	c       453         184319        9729         1           4.0000           0.0000          -
456.61/458.54	c       459         186856        9939         1           4.0000           0.0000          -
461.79/463.71	c       464         188540       10001         1           4.0000           0.0000          -
466.87/468.87	c       469         190237       10047         1           4.0000           0.0000          -
472.16/474.17	c       474         191779       10191         1           4.0000           0.0000          -
477.24/479.25	c       479         193758       10293         1           4.0000           0.0000          -
482.32/484.35	c       484         195924       10412         1           4.0000           0.0000          -
487.40/489.40	c       489         198648       10521         1           4.0000           0.0000          -
492.38/494.47	c       494         202075       10653         1           4.0000           0.0000          -
497.46/499.56	c       500         204172       10725         1           4.0000           0.0000          -
502.54/504.62	c       505         206812       10849         1           4.0000           0.0000          -
507.72/509.84	c       510         208058       10875         1           4.0000           0.0000          -
512.80/514.94	c       515         210278       10958         1           4.0000           0.0000          -
517.88/520.02	c       520         212690       10963         1           4.0000           0.0000          -
522.86/525.07	c       525         216344       11129         1           4.0000           0.0000          -
527.94/530.12	c       530         219829       11234         1           4.0000           0.0000          -
532.92/535.17	c       535         222557       11275         1           4.0000           0.0000          -
537.99/540.28	c       540         224564       11316         1           4.0000           0.0000          -
543.07/545.34	c       545         226576       11325         1           4.0000           0.0000          -
548.15/550.42	c       550         228611       11339         1           4.0000           0.0000          -
553.22/555.55	c       556         230358       11308         1           4.0000           0.0000          -
558.30/560.60	c       561         233195       11305         1           4.0000           0.0000          -
563.28/565.66	c       566         237012       11399         1           4.0000           0.0000          -
566.67/569.07	c *     569         238998       11451         1           2.0000           0.0000          -
568.35/570.72	c       571         240292        6871         1           2.0000           0.0000          -
573.43/575.80	c       576         243002        6945         1           2.0000           0.0000          -
578.41/580.85	c       581         244968        6974         1           2.0000           0.0000          -
583.48/585.99	c       586         246849        7037         1           2.0000           0.0000          -
588.57/591.04	c       591         248585        7039         1           2.0000           0.0000          -
593.54/596.10	c       596         250998        7051         1           2.0000           0.0000          -
598.62/601.18	c       601         253403        7051         1           2.0000           0.0000          -
603.70/606.25	c       606         255675        7057         1           2.0000           0.0000          -
608.78/611.38	c       611         258101        7009         1           2.0000           0.0000          -
613.86/616.48	c       616         260073        6975         1           2.0000           0.0000          -
618.94/621.58	c       622         263006        6891         1           2.0000           0.0000          -
624.02/626.63	c       627         266472        6928         1           2.0000           0.0000          -
629.00/631.68	c       632         269669        6933         1           2.0000           0.0000          -
634.08/636.76	c       637         272853        7015         1           2.0000           0.0000          -
639.16/641.85	c       642         275807        7055         1           2.0000           0.0000          -
644.24/646.90	c       647         278603        7138         1           2.0000           0.0000          -
649.21/651.99	c       652         280853        7129         1           2.0000           0.0000          -
654.40/657.17	c       657         283208        7112         1           2.0000           0.0000          -
659.58/662.30	c       662         285515        7125         1           2.0000           0.0000          -
664.75/667.50	c       668         287245        7139         1           2.0000           0.0000          -
669.73/672.56	c       673         289366        7119         1           2.0000           0.0000          -
674.81/677.61	c       678         292041        7073         1           2.0000           0.0000          -
679.80/682.67	c       683         294966        7027         1           2.0000           0.0000          -
684.87/687.77	c       688         297512        7068         1           2.0000           0.0000          -
690.05/692.94	c       693         299275        7083         1           2.0000           0.0000          -
695.13/698.06	c       698         301017        7108         1           2.0000           0.0000          -
700.22/703.12	c       703         302618        7130         1           2.0000           0.0000          -
705.30/708.24	c       708         304333        7120         1           2.0000           0.0000          -
710.27/713.29	c       713         306608        7124         1           2.0000           0.0000          -
715.35/718.37	c       718         308325        7076         1           2.0000           0.0000          -
720.44/723.46	c       723         310352        7083         1           2.0000           0.0000          -
725.51/728.51	c       729         313001        6955         1           2.0000           0.0000          -
730.49/733.56	c       734         315920        6823         1           2.0000           0.0000          -
735.58/738.65	c       739         318018        6804         1           2.0000           0.0000          -
740.66/743.70	c       744         320823        6884         1           2.0000           0.0000          -
745.63/748.75	c       749         323746        6945         1           2.0000           0.0000          -
750.71/753.80	c       754         326829        6985         1           2.0000           0.0000          -
755.69/758.85	c       759         330256        6962         1           2.0000           0.0000          -
760.77/763.90	c       764         333472        6956         1           2.0000           0.0000          -
765.75/768.95	c       769         336890        6842         1           2.0000           0.0000          -
770.83/774.05	c       774         339743        6789         1           2.0000           0.0000          -
775.91/779.12	c       779         342076        6990         1           2.0000           0.0000          -
780.99/784.27	c       784         343941        7224         1           2.0000           0.0000          -
786.07/789.36	c       789         346179        7391         1           2.0000           0.0000          -
791.15/794.46	c       794         348199        7541         1           2.0000           0.0000          -
796.23/799.54	c       800         350352        7690         1           2.0000           0.0000          -
801.21/804.59	c       805         352469        7782         1           2.0000           0.0000          -
806.39/809.71	c       810         354450        7849         1           2.0000           0.0000          -
811.57/814.90	c       815         356803        7905         1           2.0000           0.0000          -
816.55/819.98	c       820         358801        8012         1           2.0000           0.0000          -
821.74/825.11	c       825         360645        8092         1           2.0000           0.0000          -
826.72/830.19	c       830         362446        8174         1           2.0000           0.0000          -
831.89/835.34	c       835         364293        8219         1           2.0000           0.0000          -
836.98/840.42	c       840         365885        8251         1           2.0000           0.0000          -
842.06/845.50	c       846         368241        8354         1           2.0000           0.0000          -
847.13/850.61	c       851         370384        8362         1           2.0000           0.0000          -
852.12/855.67	c       856         372486        8415         1           2.0000           0.0000          -
857.19/860.74	c       861         374151        8485         1           2.0000           0.0000          -
862.28/865.80	c       866         376143        8577         1           2.0000           0.0000          -
867.26/870.89	c       871         377838        8627         1           2.0000           0.0000          -
872.34/875.97	c       876         380144        8687         1           2.0000           0.0000          -
877.42/881.09	c       881         382429        8687         1           2.0000           0.0000          -
882.51/886.19	c       886         384308        8745         1           2.0000           0.0000          -
887.68/891.38	c       891         386191        8762         1           2.0000           0.0000          -
892.76/896.46	c       896         387661        8753         1           2.0000           0.0000          -
897.84/901.52	c       902         389548        8725         1           2.0000           0.0000          -
902.82/906.59	c       907         391569        8703         1           2.0000           0.0000          -
907.90/911.69	c       912         393789        8698         1           2.0000           0.0000          -
913.08/916.81	c       917         395366        8702         1           2.0000           0.0000          -
918.07/921.88	c       922         397210        8691         1           2.0000           0.0000          -
923.14/926.98	c       927         399600        8714         1           2.0000           0.0000          -
928.23/932.03	c       932         401595        8702         1           2.0000           0.0000          -
933.30/937.13	c       937         403438        8689         1           2.0000           0.0000          -
938.29/942.19	c       942         405569        8648         1           2.0000           0.0000          -
943.47/947.38	c       947         407450        8625         1           2.0000           0.0000          -
948.54/952.44	c       952         409215        8636         1           2.0000           0.0000          -
953.53/957.49	c       958         410962        8637         1           2.0000           0.0000          -
958.90/962.80	c       963         412078        8613         1           2.0000           0.0000          -
964.68/968.60	c       969         413590        8632         1           2.0000           0.0000          -
969.86/973.80	c       974         415419        8602         1           2.0000           0.0000          -
974.84/978.87	c       979         417341        8570         1           2.0000           0.0000          -
979.92/983.99	c       984         419447        8545         1           2.0000           0.0000          -
985.00/989.04	c       989         421101        8512         1           2.0000           0.0000          -
990.09/994.14	c       994         422878        8492         1           2.0000           0.0000          -
995.16/999.23	c       999         424676        8456         1           2.0000           0.0000          -
1000.34/1004.44	c      1004         426546        8415         1           2.0000           0.0000          -
1005.42/1009.57	c      1010         428392        8323         1           2.0000           0.0000          -
1010.51/1014.65	c      1015         430522        8180         1           2.0000           0.0000          -
1015.58/1019.75	c      1020         432688        8108         1           2.0000           0.0000          -
1020.66/1024.80	c      1025         434522        8156         1           2.0000           0.0000          -
1025.65/1029.89	c      1030         436747        8179         1           2.0000           0.0000          -
1030.72/1034.98	c      1035         439131        8153         1           2.0000           0.0000          -
1035.80/1040.07	c      1040         441824        8189         1           2.0000           0.0000          -
1040.89/1045.16	c      1045         444464        8187         1           2.0000           0.0000          -
1045.96/1050.21	c      1050         447149        8300         1           2.0000           0.0000          -
1050.94/1055.26	c      1055         450010        8336         1           2.0000           0.0000          -
1056.02/1060.31	c      1060         452546        8275         1           2.0000           0.0000          -
1061.10/1065.43	c      1065         454696        7572         1           2.0000           0.1091          -
1066.08/1070.44	c      1070         457146        6793         1           2.0000           0.1652          -
1071.16/1075.50	c      1076         459486        6021         1           2.0000           0.2000          -
1076.44/1080.80	c      1081         462135        5168         1           2.0000           0.2500          -
1081.82/1086.25	c      1086         464976        4235         1           2.0000           0.3000          -
1086.80/1091.29	c      1091         467746        3191         1           2.0000           0.3571    460.00%
1092.28/1096.70	c      1097         470386        1109         1           2.0000           0.5000    300.00%
1094.47/1098.90	c      1099         471398           0         0           2.0000           2.0000      0.00%
1094.47/1098.94	c      1099         471398           0         0           2.0000           2.0000          -
1094.47/1098.94	c SCIP Status        : c problem is solved
1094.47/1098.94	c Total Time         : 1098.9400
1094.47/1098.94	c   solving          : 1098.9400
1094.47/1098.94	c   presolving       : 0.8154 (included in solving)
1094.47/1098.94	c B&B Tree           :
1094.47/1098.94	c   nodes (total)    : 471398
1094.47/1098.94	c Solution           :
1094.47/1098.94	c   Solutions found  : 13
1094.47/1098.94	c   Primal Bound     : +2.00000000000000e+00
1094.47/1098.94	c   Dual Bound       : +2.00000000000000e+00
1094.47/1098.94	c Gap                : 0.00000 %
1094.47/1098.96	o 2
1094.47/1098.96	s OPTIMUM FOUND
1094.47/1098.96	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1094.47/1098.96	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 
1094.47/1098.96	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1094.47/1098.96	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1094.47/1098.96	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 
1094.47/1098.96	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1094.47/1098.96	v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 
1094.47/1098.96	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1094.47/1098.96	v -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 
1094.47/1098.96	v -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1094.47/1098.96	v x1

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426775-1720905573/watcher-4426775-1720905573 -o /tmp/evaluation-result-4426775-1720905573/solver-4426775-1720905573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723469 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426775-1720905573.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 1.71 3.10 3.70 4/252 724295
/proc/meminfo: memFree=128341144/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=42952 memory=31972 CPUtime=0.1 cores=0,2
/proc/724276/stat : 724276 (fscip) R 724273 724276 721052 0 -1 4194304 5595 0 0 0 9 1 0 0 20 0 1 0 142722264 43982848 7993 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 10738 7993 2654 3032 0 7138 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42952 KiB
Current children cumulated memory: 31972 KiB

[startup+0.204794 s]*
/proc/loadavg: 1.71 3.10 3.70 6/249 724320
/proc/meminfo: memFree=128315080/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=43212 memory=32236 CPUtime=0.2 cores=0,2
/proc/724276/stat : 724276 (fscip) R 724273 724276 721052 0 -1 4194304 5675 0 0 0 19 1 0 0 20 0 1 0 142722264 44249088 8059 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 10803 8059 2654 3032 0 7203 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43212 KiB
Current children cumulated memory: 32236 KiB

[startup+0.305642 s]*
/proc/loadavg: 1.71 3.10 3.70 6/254 724345
/proc/meminfo: memFree=128297464/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=43728 memory=32764 CPUtime=0.3 cores=0,2
/proc/724276/stat : 724276 (fscip) R 724273 724276 721052 0 -1 4194304 5804 0 0 0 29 1 0 0 20 0 1 0 142722264 44777472 8191 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 10932 8191 2654 3032 0 7332 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43728 KiB
Current children cumulated memory: 32764 KiB

[startup+0.700212 s]
/proc/loadavg: 1.71 3.10 3.70 5/260 724355
/proc/meminfo: memFree=128271740/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=44756 memory=33820 CPUtime=0.69 cores=0,2
/proc/724276/stat : 724276 (fscip) R 724273 724276 721052 0 -1 4194304 6062 0 0 0 68 1 0 0 20 0 1 0 142722264 45830144 8455 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 11189 8455 2654 3032 0 7589 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44756 KiB
Current children cumulated memory: 33820 KiB

[startup+1.50021 s]
/proc/loadavg: 1.71 3.10 3.70 5/264 724359
/proc/meminfo: memFree=128196756/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=149364 memory=83652 CPUtime=1.49 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 19221 0 0 0 146 3 0 0 20 0 3 0 142722264 152948736 20913 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 37341 20913 2830 3032 0 26369 0
[pid=724276/tid=724358] ppid=724273 vsize=149364 memory=11648 CPUtime=0.65 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 8900 0 0 0 64 1 0 0 20 0 3 0 142722347 152948736 20913 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=149364 memory=35744 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142722348 152948736 20913 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 149364 KiB
Current children cumulated memory: 83652 KiB

[startup+3.10573 s]
/proc/loadavg: 1.89 3.12 3.70 5/266 724409
/proc/meminfo: memFree=128126508/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=220972 memory=116108 CPUtime=3.08 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 34354 0 0 0 304 4 0 0 20 0 3 0 142722264 226275328 29027 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 55243 29027 2974 3032 0 35428 0
[pid=724276/tid=724358] ppid=724273 vsize=220972 memory=11648 CPUtime=2.24 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 23629 0 0 0 222 2 0 0 20 0 3 0 142722347 226275328 29027 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=220972 memory=33820 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 142722348 226275328 29027 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 220972 KiB
Current children cumulated memory: 116108 KiB

[startup+6.30016 s]
/proc/loadavg: 1.89 3.12 3.70 5/266 724409
/proc/meminfo: memFree=127958900/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=220972 memory=155724 CPUtime=6.27 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 48064 0 0 0 620 7 0 0 20 0 3 0 142722264 226275328 38931 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 55243 38931 2990 3032 0 45350 0
[pid=724276/tid=724358] ppid=724273 vsize=220972 memory=11648 CPUtime=5.43 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 37276 0 0 0 538 5 0 0 20 0 3 0 142722347 226275328 38931 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=220972 memory=-6730181507671047017 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 142722348 226275328 38931 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 220972 KiB
Current children cumulated memory: 155724 KiB

[startup+12.7002 s]
/proc/loadavg: 2.14 3.15 3.71 5/266 724411
/proc/meminfo: memFree=127956312/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=220972 memory=156852 CPUtime=12.64 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 72777 0 0 0 1256 8 0 0 20 0 3 0 142722264 226275328 39213 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 55243 39213 2990 3032 0 45350 0
[pid=724276/tid=724358] ppid=724273 vsize=220972 memory=11648 CPUtime=11.8 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 61600 0 0 0 1174 6 0 0 20 0 3 0 142722347 226275328 39213 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=220972 memory=156844 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 142722348 226275328 39213 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 220972 KiB
Current children cumulated memory: 156852 KiB

[startup+25.5002 s]
/proc/loadavg: 2.55 3.19 3.71 5/266 724412
/proc/meminfo: memFree=127843032/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=220972 memory=158928 CPUtime=25.39 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 101575 0 0 0 2528 11 0 0 20 0 3 0 142722264 226275328 39732 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 55243 39732 3310 3032 0 45350 0
[pid=724276/tid=724358] ppid=724273 vsize=220972 memory=158928 CPUtime=24.55 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 89815 0 0 0 2446 9 0 0 20 0 3 0 142722347 226275328 39732 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=220972 memory=158924 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 142722348 226275328 39732 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 220972 KiB
Current children cumulated memory: 158928 KiB

[startup+51.1056 s]
/proc/loadavg: 3.05 3.26 3.72 5/268 724421
/proc/meminfo: memFree=127772724/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=290024 memory=206764 CPUtime=50.89 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 156380 0 0 0 5072 17 0 0 20 0 3 0 142722264 296984576 51691 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 72506 51691 3310 3032 0 57076 0
[pid=724276/tid=724358] ppid=724273 vsize=290024 memory=11648 CPUtime=50.05 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 144564 0 0 0 4990 15 0 0 20 0 3 0 142722347 296984576 51691 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=290024 memory=206464 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 142722348 296984576 51691 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 290024 KiB
Current children cumulated memory: 206764 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 3.39 3.74 5/268 724431
/proc/meminfo: memFree=127695992/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=308216 memory=249580 CPUtime=101.87 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 200648 0 0 0 10163 24 0 0 20 0 3 0 142722264 315613184 62395 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 77054 62395 3310 3032 0 67469 0
[pid=724276/tid=724358] ppid=724273 vsize=308216 memory=248172 CPUtime=101.02 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 188506 0 0 0 10080 22 0 0 20 0 3 0 142722347 315613184 62395 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=308216 memory=242744 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 142722348 315613184 62395 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 308216 KiB
Current children cumulated memory: 249580 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.52 3.77 5/268 724441
/proc/meminfo: memFree=127611944/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=331300 memory=284944 CPUtime=161.63 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 223475 0 0 0 16134 29 0 0 20 0 3 0 142722264 339251200 71236 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 82825 71236 3310 3032 0 75193 0
[pid=724276/tid=724358] ppid=724273 vsize=331300 memory=265516 CPUtime=160.78 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 211001 0 0 0 16051 27 0 0 20 0 3 0 142722347 339251200 71236 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=331300 memory=283072 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 142722348 339251200 71236 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 331300 KiB
Current children cumulated memory: 284944 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.62 3.79 5/268 724452
/proc/meminfo: memFree=127542548/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=340260 memory=298640 CPUtime=221.4 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 246670 0 0 0 22105 35 0 0 20 0 3 0 142722264 348426240 74660 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 85065 74660 3310 3032 0 77762 0
[pid=724276/tid=724358] ppid=724273 vsize=340260 memory=289884 CPUtime=220.55 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 234174 0 0 0 22022 33 0 0 20 0 3 0 142722347 348426240 74660 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=340260 memory=298488 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 142722348 348426240 74660 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 340260 KiB
Current children cumulated memory: 298640 KiB

[startup+282.3 s]

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

/proc/724276/statm: 136155 119575 3310 3032 0 123898 0
[pid=724276/tid=724358] ppid=724273 vsize=544620 memory=477868 CPUtime=937.58 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 654240 0 0 0 93621 137 0 0 20 0 3 0 142722347 557690880 119575 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=544620 memory=477868 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 142722348 557690880 119575 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 938.48 s
Current children cumulated vsize: 544620 KiB
Current children cumulated memory: 478300 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.07 4.00 6/261 725346
/proc/meminfo: memFree=121081824/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=520948 CPUtime=998.25 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 721725 0 0 0 99673 152 0 0 20 0 3 0 142722264 597135360 130237 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 130237 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=516852 CPUtime=997.35 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 708926 0 0 0 99587 148 0 0 20 0 3 0 142722347 597135360 130237 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=520948 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 130237 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 998.25 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 520948 KiB

[startup+1062.3 s]
/proc/loadavg: 4.10 4.07 4.00 6/261 725357
/proc/meminfo: memFree=121035480/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1058.01 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 776211 0 0 0 105638 163 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=533236 CPUtime=1057.11 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 763389 0 0 0 105552 159 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=535420 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1058.01 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

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

# cumulated CPU time of all completed processes:  user=1092.78 s, system=1.76467 s

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

[startup+1075.2 s]
/proc/loadavg: 4.08 4.07 4.00 6/261 725359
/proc/meminfo: memFree=121030492/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1070.86 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 784349 0 0 0 106919 167 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=533236 CPUtime=1069.94 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 771525 0 0 0 106831 163 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=12952 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1070.86 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

[startup+1088 s]*
/proc/loadavg: 4.13 4.08 4.01 6/261 725361
/proc/meminfo: memFree=121026636/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1083.62 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 785586 0 0 0 108190 172 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=7885847066289124401 CPUtime=1082.69 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 772762 0 0 0 108102 167 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=7885847066322154801 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1083.62 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

[startup+1094.4 s]
/proc/loadavg: 4.12 4.08 4.01 6/261 725362
/proc/meminfo: memFree=121025936/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1089.99 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 786165 0 0 0 108826 173 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=35744 CPUtime=1089.05 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 773341 0 0 0 108737 168 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=535420 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1089.99 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

[startup+1096 s]*
/proc/loadavg: 4.12 4.08 4.01 6/261 725362
/proc/meminfo: memFree=121022356/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1091.58 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 786278 0 0 0 108985 173 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=6720666566691994736 CPUtime=1090.65 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 773453 0 0 0 108897 168 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=-7378154747043604093 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1091.58 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

[startup+1097.6 s]
/proc/loadavg: 4.12 4.08 4.01 6/261 725362
/proc/meminfo: memFree=121022244/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1093.18 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 786418 0 0 0 109144 174 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=535420 CPUtime=1092.24 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 773592 0 0 0 109055 169 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=35744 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1093.18 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

[startup+1098.4 s]
/proc/loadavg: 4.11 4.08 4.01 6/261 725362
/proc/meminfo: memFree=121022196/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1093.97 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 786464 0 0 0 109223 174 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=35744 CPUtime=1093.03 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 773638 0 0 0 109134 169 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=12952 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1093.97 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

[startup+1098.8 s]
/proc/loadavg: 4.11 4.08 4.01 6/261 725362
/proc/meminfo: memFree=121022196/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1094.37 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 786475 0 0 0 109263 174 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=5568 CPUtime=1093.43 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 773649 0 0 0 109174 169 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=17608 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1094.37 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

[startup+1098.9 s]
/proc/loadavg: 4.11 4.08 4.01 6/261 725362
/proc/meminfo: memFree=121022196/131524600 swapFree=131071996/131071996
[pid=724276] ppid=724273 vsize=583140 memory=535420 CPUtime=1094.47 cores=0,2
/proc/724276/stat : 724276 (fscip) S 724273 724276 721052 0 -1 1077936128 786475 0 0 0 109273 174 0 0 20 0 3 0 142722264 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
/proc/724276/statm: 145785 133855 3310 3032 0 137838 0
[pid=724276/tid=724358] ppid=724273 vsize=583140 memory=533236 CPUtime=1093.53 cores=0,2
/proc/724276/task/724358/stat : 724358 (fscip) R 724273 724276 721052 0 -1 4194368 773649 0 0 0 109184 169 0 0 20 0 3 0 142722347 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
[pid=724276/tid=724359] ppid=724273 vsize=583140 memory=535420 CPUtime=0 cores=0,2
/proc/724276/task/724359/stat : 724359 (fscip) S 724273 724276 721052 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142722348 597135360 133855 134679101440 4194304 16613245 140730362228832 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33738752 140730362233825 140730362233941 140730362233941 140730362241008 0
Current children cumulated CPU time: 1094.47 s
Current children cumulated vsize: 583140 KiB
Current children cumulated memory: 535420 KiB

Child status: 0

Real time (s): 1098.96
CPU time (s): 1094.55
CPU user time (s): 1092.78
CPU system time (s): 1.76467
CPU usage (%): 99.5982
Max. virtual memory (cumulated for all children) (KiB): 583140
Max. memory (cumulated for all children) (KiB): 535420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1092.78
system time used= 1.76467
maximum resident set size= 535420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 787596
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= 4549
involuntary context switches= 7723


# summary of solver processes directly reported to runsolver:
#   pid: 724276
#   total CPU time (s): 1094.55
#   total CPU user time (s): 1092.78
#   total CPU system time (s): 1.76467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.12025 second user time and 5.18799 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-13 23:19:46
IDJOB=4426775
IDBENCH=143528
IDSOLVER=3044
FILE ID=nodeC023/4426775-1720905573
RUNJOBID= nodeC023-1720905583-723469
SLURM_JOB_ID= 7486082
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426775-1720905573/watcher-4426775-1720905573 -o /tmp/evaluation-result-4426775-1720905573/solver-4426775-1720905573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723469 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426775-1720905573.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= d9ce9dadf7577308886436a03b54d963
RANDOM SEED=1625575833

nodeC023.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		: 3653.825
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3670.773
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
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		: 3658.173
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3663.839
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.654
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3667.158
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
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		: 3647.696
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3666.429
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128377136 kB
MemAvailable:   129638052 kB
Buffers:          333848 kB
Cached:          1756616 kB
SwapCached:            0 kB
Active:           576280 kB
Inactive:        1974520 kB
Active(anon):       1596 kB
Inactive(anon):   496128 kB
Active(file):     574684 kB
Inactive(file):  1478392 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113264 kB
Writeback:             0 kB
AnonPages:        460000 kB
Mapped:           112628 kB
Shmem:             37720 kB
KReclaimable:      95324 kB
Slab:             197308 kB
SReclaimable:      95324 kB
SUnreclaim:       101984 kB
KernelStack:        4184 kB
PageTables:         9640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     823912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55232 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC023 at 2024-07-13 23:38:05