Trace number 4449623

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-02SAT22 3590.67 3600.44

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=24-t=2.opb
MD5SUM585ad78207efe7b44b7f003a9b0d83f6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables924
Total number of constraints152976
Number of constraints which are clauses152952
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint25
Number of terms in the objective function 24
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 24
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
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.40/0.42	c Default LC presolving (default).
0.40/0.42	c ** Before presolving: virtualMemUsedAtLc = 358326820, getVmSize() = 237285376, SCIPgetMemUsed() = 173410626, SCIPgetMemTotal() = 204364826, SCIPgetMemExternEstim() = 153961994
0.40/0.42	c ** set memory limit for presolving in LC to 8.79599e+12 for SCIP **
3.37/3.44	c ** Estimated virtualMemUsedAtSolver = 422473980, getVmSize() = 544403456, SCIPgetMemUsed() = 272778193, SCIPgetMemTotal() = 479748977, SCIPgetMemExternEstim() = 153961994
3.37/3.44	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
3.37/3.44	c Original Problem   :
3.37/3.44	c   Problem name     : instance-4449623-1721403251
3.37/3.44	c   Variables        : 924 (924 binary, 0 integer, 0 implicit integer, 0 continuous)
3.37/3.44	c   Constraints      : 152976
3.37/3.44	c   Objective sense  : minimize
3.37/3.44	c Presolved Problem  :
3.37/3.44	c   Variables        : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
3.37/3.44	c   Constraints      : 152952
3.37/3.44	c Constraints        : Number
3.37/3.44	c   setppc           : 24 
3.37/3.44	c   logicor          : 152928 
3.37/3.44	c ** Instance transfer method used: 0
3.58/3.65	c ** ParaScipInstance copy does not increase the number of variables. **
3.78/3.82	c LC is working with racing ramp-up and with rebuilding tree after racing.
3.78/3.82	c                                Nodes    Active                                            
3.78/3.82	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
5.56/5.68	c *       6              0           1         1          23.0000                -          -
5.56/5.68	c         6              0           1         1          23.0000                -          -
5.76/5.85	c *       6              0           1         1          22.0000                -          -
36.78/36.90	c        37              2           1         1          22.0000           0.0000          -
42.87/43.03	c        43             14          13         1          22.0000           0.0000          -
50.34/50.53	c        51             17          16         1          22.0000           0.0000          -
58.62/58.85	c        59             26          23         1          22.0000           0.0000          -
63.71/63.94	c        64             30          27         1          22.0000           0.0000          -
70.39/70.69	c        71             36          31         1          22.0000           0.0000          -
78.36/78.68	c        79             40          35         1          22.0000           0.0000          -
83.55/83.84	c        84             43          34         1          22.0000           0.0000          -
88.53/88.87	c        89             46          35         1          22.0000           0.0000          -
93.73/94.07	c        94             49          36         1          22.0000           0.0000          -
99.60/99.97	c       100             57          42         1          22.0000           0.0000          -
105.09/105.44	c       105             68          53         1          22.0000           0.0000          -
111.17/111.58	c       112             76          61         1          22.0000           0.0000          -
116.36/116.72	c       117             85          68         1          22.0000           0.0000          -
123.14/123.57	c       124             96          79         1          22.0000           0.0000          -
129.22/129.68	c       130            108          89         1          22.0000           0.0000          -
135.40/135.81	c       136            117          96         1          22.0000           0.0000          -
140.48/140.90	c       141            125         102         1          22.0000           0.0000          -
145.68/146.16	c       146            138         115         1          22.0000           0.0000          -
151.56/152.03	c       152            143         120         1          22.0000           0.0000          -
159.73/160.22	c       160            144         121         1          22.0000           0.0000          -
165.41/165.97	c       166            148         125         1          22.0000           0.0000          -
170.70/171.29	c       171            157         131         1          22.0000           0.0000          -
176.78/177.38	c       177            165         139         1          22.0000           0.0000          -
182.17/182.77	c       183            172         144         1          22.0000           0.0000          -
187.35/187.99	c       188            181         149         1          22.0000           0.0000          -
193.24/193.84	c       194            191         151         1          22.0000           0.0000          -
198.62/199.23	c       199            201         158         1          22.0000           0.0000          -
206.00/206.63	c       207            205         160         1          22.0000           0.0000          -
210.98/211.67	c       212            215         165         1          22.0000           0.0000          -
216.47/217.18	c       217            223         170         1          22.0000           0.0000          -
223.25/223.97	c       224            232         171         1          22.0000           0.0000          -
230.23/230.90	c       231            235         172         1          22.0000           0.0000          -
235.91/236.61	c       237            255         177         1          22.0000           0.0000          -
243.68/244.45	c       244            258         180         1          22.0000           0.0000          -
249.47/250.21	c       250            292         184         1          22.0000           0.0000          -
256.05/256.84	c       257            299         189         1          22.0000           0.0000          -
261.43/262.21	c       262            306         192         1          22.0000           0.0000          -
266.62/267.48	c       267            314         198         1          22.0000           0.0000          -
275.99/276.87	c       277            322         206         1          22.0000           0.0000          -
281.08/281.99	c       282            331         209         1          22.0000           0.0000          -
289.16/290.05	c       290            345         215         1          22.0000           0.0000          -
295.83/296.77	c       297            372         225         1          22.0000           0.0000          -
302.71/303.67	c       304            385         232         1          22.0000           0.0000          -
307.80/308.79	c       309            396         240         1          22.0000           0.0000          -
313.28/314.28	c       314            412         246         1          22.0000           0.0000          -
318.76/319.73	c       320            429         253         1          22.0000           0.0000          -
323.85/324.85	c       325            440         257         1          22.0000           0.0000          -
329.44/330.40	c       330            486         265         1          22.0000           0.0000          -
334.51/335.58	c       336            508         273         1          22.0000           0.0000          -
340.01/341.09	c       341            535         284         1          22.0000           0.0000          -
345.89/346.98	c       347            579         290         1          22.0000           0.0000          -
351.37/352.44	c       352            611         302         1          22.0000           0.0000          -
357.55/358.62	c       359            661         322         1          22.0000           0.0000          -
363.33/364.43	c       364            710         333         1          22.0000           0.0000          -
368.42/369.55	c       370            742         344         1          22.0000           0.0000          -
374.61/375.72	c       376            782         360         1          22.0000           0.0000          -
380.49/381.61	c       382            813         373         1          22.0000           0.0000          -
386.57/387.76	c       388            852         388         1          22.0000           0.0000          -
391.66/392.86	c       393            889         404         1          22.0000           0.0000          -
397.04/398.22	c       398            939         421         1          22.0000           0.0000          -
402.02/403.25	c       403            985         439         1          22.0000           0.0000          -
407.52/408.74	c       409            991         439         1          22.0000           0.0000          -
413.30/414.54	c       415           1020         455         1          22.0000           0.0000          -
418.68/419.90	c       420           1084         477         1          22.0000           0.0000          -
424.77/426.08	c       426           1170         505         1          22.0000           0.0000          -
430.75/432.08	c       432           1244         534         1          22.0000           0.0000          -
436.43/437.72	c       438           1300         556         1          22.0000           0.0000          -
441.51/442.82	c       443           1362         585         1          22.0000           0.0000          -
447.39/448.74	c       449           1392         599         1          22.0000           0.0000          -
466.03/467.43	c       467           1469         621         1          22.0000           0.0000          -
475.41/476.83	c       477           1515         630         1          22.0000           0.0000          -
480.99/482.47	c       482           1565         637         1          22.0000           0.0000          -
486.08/487.55	c       488           1598         643         1          22.0000           0.0000          -
491.06/492.57	c       493           1683         668         1          22.0000           0.0000          -
496.75/498.27	c       498           1823         696         1          22.0000           0.0000          -
502.13/503.60	c       504           1937         719         1          22.0000           0.0000          -
507.91/509.47	c       509           1954         723         1          22.0000           0.0000          -
514.40/515.97	c       516           2040         745         1          22.0000           0.0000          -
519.68/521.25	c       521           2127         771         1          22.0000           0.0000          -
526.16/527.79	c       528           2189         783         1          22.0000           0.0000          -
532.45/534.03	c       534           2236         792         1          22.0000           0.0000          -
540.92/542.55	c       543           2277         800         1          22.0000           0.0000          -
555.08/556.74	c       557           2281         801         1          22.0000           0.0000          -
566.76/568.49	c       568           2290         802         1          22.0000           0.0000          -
573.14/574.86	c       575           2342         830         1          22.0000           0.0000          -
578.92/580.65	c       581           2390         849         1          22.0000           0.0000          -
585.10/586.83	c       587           2416         861         1          22.0000           0.0000          -
591.98/593.72	c       594           2428         865         1          22.0000           0.0000          -
597.56/599.35	c       599           2433         867         1          22.0000           0.0000          -
604.26/606.10	c       606           2465         875         1          22.0000           0.0000          -
609.83/611.68	c       612           2472         879         1          22.0000           0.0000          -
617.91/619.72	c       620           2480         879         1          22.0000           0.0000          -
629.09/630.99	c       631           2542         892         1          22.0000           0.0000          -
635.06/636.97	c       637           2614         912         1          22.0000           0.0000          -
640.55/642.41	c       642           2675         926         1          22.0000           0.0000          -
649.02/650.93	c       651           2735         937         1          22.0000           0.0000          -
656.99/658.99	c       659           2792         958         1          22.0000           0.0000          -
662.09/664.02	c       664           2834         973         1          22.0000           0.0000          -
671.76/673.76	c       674           2842         973         1          22.0000           0.0000          -
677.24/679.20	c       679           2894         989         1          22.0000           0.0000          -
682.32/684.34	c       684           2981        1004         1          22.0000           0.0000          -
693.10/695.12	c       695           3038        1017         1          22.0000           0.0000          -
698.38/700.49	c       700           3182        1021         1          22.0000           0.0000          -
704.17/706.28	c       706           3300        1035         1          22.0000           0.0000          -
711.15/713.28	c       713           3347        1038         1          22.0000           0.0000          -
720.22/722.32	c       722           3385        1040         1          22.0000           0.0000          -
726.70/728.89	c       729           3486        1058         1          22.0000           0.0000          -
732.48/734.62	c       735           3604        1069         1          22.0000           0.0000          -
737.47/739.65	c       740           3678        1081         1          22.0000           0.0000          -
742.86/745.01	c       745           3778        1094         1          22.0000           0.0000          -
748.14/750.33	c       750           3803        1100         1          22.0000           0.0000          -
758.11/760.39	c       760           3808        1102         1          22.0000           0.0000          -
780.95/783.21	c       783           3816        1105         1          22.0000           0.0000          -
786.13/788.40	c       788           3830        1109         1          22.0000           0.0000          -
791.73/794.08	c       794           3915        1127         1          22.0000           0.0000          -
797.31/799.67	c       800           3981        1166         1          22.0000           0.0000          -
803.19/805.51	c       806           4004        1177         1          22.0000           0.0000          -
809.17/811.56	c       812           4071        1218         1          22.0000           0.0000          -
814.55/816.90	c       817           4171        1242         1          22.0000           0.0000          -
823.43/825.80	c       826           4195        1250         1          22.0000           0.0000          -
828.52/830.99	c       831           4274        1272         1          22.0000           0.0000          -
834.50/836.96	c       837           4389        1296         1          22.0000           0.0000          -
839.59/842.08	c       842           4432        1311         1          22.0000           0.0000          -
844.97/847.41	c       847           4517        1339         1          22.0000           0.0000          -
850.25/852.71	c       853           4622        1366         1          22.0000           0.0000          -
855.45/857.97	c       858           4750        1397         1          22.0000           0.0000          -
860.64/863.15	c       863           4872        1424         1          22.0000           0.0000          -
865.72/868.26	c       868           4976        1460         1          22.0000           0.0000          -
871.20/873.70	c       874           5051        1486         1          22.0000           0.0000          -
876.79/879.33	c       879           5126        1504         1          22.0000           0.0000          -
881.87/884.40	c       884           5230        1530         1          22.0000           0.0000          -
886.96/889.54	c       890           5374        1551         1          22.0000           0.0000          -
892.04/894.66	c       895           5481        1587         1          22.0000           0.0000          -
897.82/900.49	c       900           5581        1625         1          22.0000           0.0000          -
903.12/905.75	c       906           5673        1658         1          22.0000           0.0000          -
908.60/911.24	c       911           5777        1684         1          22.0000           0.0000          -
913.79/916.42	c       916           5880        1722         1          22.0000           0.0000          -
944.70/947.45	c       947           5919           1         1          22.0000           0.0000          -
950.29/953.10	c       953           5939          21         1          22.0000           0.0000          -
957.06/959.83	c       960           5949          31         1          22.0000           0.0000          -
964.14/966.93	c       967           5957          39         1          22.0000           0.0000          -
988.17/991.09	c       991           5961          41         1          22.0000           0.0000          -
994.84/997.79	c       998           5964          44         1          22.0000           0.0000          -
1000.53/1003.40	c      1003           5967          47         1          22.0000           0.0000          -
1008.41/1011.31	c      1011           5973          53         1          22.0000           0.0000          -
1014.59/1017.55	c      1018           5998          76         1          22.0000           0.0000          -
1019.88/1022.89	c      1023           6008          80         1          22.0000           0.0000          -
1025.26/1028.24	c      1028           6014          80         1          22.0000           0.0000          -
1032.64/1035.64	c      1036           6025          84         1          22.0000           0.0000          -
1038.32/1041.31	c      1041           6037          88         1          22.0000           0.0000          -
1046.40/1049.40	c      1049           6042          90         1          22.0000           0.0000          -
1053.99/1057.04	c      1057           6050          95         1          22.0000           0.0000          -
1059.26/1062.31	c      1062           6058          97         1          22.0000           0.0000          -
1064.55/1067.63	c      1068           6067          98         1          22.0000           0.0000          -
1070.44/1073.54	c      1074           6092         108         1          22.0000           0.0000          -
1077.03/1080.12	c      1080           6117         117         1          22.0000           0.0000          -
1082.31/1085.48	c      1085           6144         129         1          22.0000           0.0000          -
1088.30/1091.43	c      1091           6189         144         1          22.0000           0.0000          -
1094.38/1097.50	c      1098           6211         151         1          22.0000           0.0000          -
1102.66/1105.88	c      1106           6233         153         1          22.0000           0.0000          -
1108.24/1111.45	c      1111           6251         153         1          22.0000           0.0000          -
1113.83/1117.00	c      1117           6324         154         1          22.0000           0.0000          -
1119.11/1122.31	c      1122           6338         154         1          22.0000           0.0000          -
1125.59/1128.87	c      1129           6376         154         1          22.0000           0.0000          -
1131.17/1134.44	c      1134           6434         154         1          22.0000           0.0000          -
1136.87/1140.17	c      1140           6472         156         1          22.0000           0.0000          -
1141.95/1145.27	c      1145           6509         155         1          22.0000           0.0000          -
1147.94/1151.25	c      1151           6565         155         1          22.0000           0.0000          -
1153.62/1156.92	c      1157           6599         155         1          22.0000           0.0000          -
1159.51/1162.86	c      1163           6672         155         1          22.0000           0.0000          -
1165.10/1168.40	c      1168           6694         159         1          22.0000           0.0000          -
1172.57/1175.96	c      1176           6758         163         1          22.0000           0.0000          -
1183.95/1187.39	c      1187           6779         163         1          22.0000           0.0000          -
1190.23/1193.64	c      1194           6815         165         1          22.0000           0.0000          -
1195.81/1199.20	c      1199           6857         165         1          22.0000           0.0000          -
1201.30/1204.72	c      1205           6865         165         1          22.0000           0.0000          -
1208.08/1211.58	c      1212           6893         171         1          22.0000           0.0000          -
1213.68/1217.18	c      1217           6914         173         1          22.0000           0.0000          -
1219.36/1222.87	c      1223           6987         172         1          22.0000           0.0000          -
1224.74/1228.25	c      1228           7124         178         1          22.0000           0.0000          -
1230.03/1233.57	c      1234           7159         177         1          22.0000           0.0000          -
1236.41/1239.97	c      1240           7207         177         1          22.0000           0.0000          -
1242.60/1246.12	c      1246           7262         176         1          22.0000           0.0000          -
1248.48/1252.05	c      1252           7340         176         1          22.0000           0.0000          -
1253.66/1257.25	c      1257           7385         181         1          22.0000           0.0000          -
1258.76/1262.32	c      1262           7433         193         1          22.0000           0.0000          -
1264.14/1267.71	c      1268           7472         194         1          22.0000           0.0000          -
1269.83/1273.46	c      1273           7536         195         1          22.0000           0.0000          -
1275.71/1279.34	c      1279           7601         195         1          22.0000           0.0000          -
1281.30/1284.91	c      1285           7673         195         1          22.0000           0.0000          -
1287.08/1290.79	c      1291           7711         201         1          22.0000           0.0000          -
1292.67/1296.35	c      1296           7733         203         1          22.0000           0.0000          -
1297.95/1301.67	c      1302           7759         204         1          22.0000           0.0000          -
1303.34/1307.06	c      1307           7780         208         1          22.0000           0.0000          -
1308.43/1312.10	c      1312           7808         210         1          22.0000           0.0000          -
1314.31/1318.07	c      1318           7843         211         1          22.0000           0.0000          -
1319.69/1323.43	c      1323           7899         211         1          22.0000           0.0000          -
1325.48/1329.25	c      1329           7952         212         1          22.0000           0.0000          -
1331.47/1335.24	c      1335           8007         211         1          22.0000           0.0000          -
1337.15/1340.93	c      1341           8095         213         1          22.0000           0.0000          -
1343.24/1347.10	c      1347           8154         214         1          22.0000           0.0000          -
1350.01/1353.82	c      1354           8193         215         1          22.0000           0.0000          -
1355.40/1359.24	c      1359           8261         214         1          22.0000           0.0000          -
1360.59/1364.46	c      1364           8303         214         1          22.0000           0.0000          -
1365.97/1369.83	c      1370           8376         215         1          22.0000           0.0000          -
1371.56/1375.45	c      1375           8460         215         1          22.0000           0.0000          -
1398.49/1402.48	c      1402           8533         218         1          22.0000           0.0000          -
1403.77/1407.70	c      1408           8562         222         1          22.0000           0.0000          -
1419.93/1423.93	c      1424           8575         223         1          22.0000           0.0000          -
1441.98/1446.05	c      1446           8611         223         1          22.0000           0.0000          -
1448.17/1452.20	c      1452           8679         225         1          22.0000           0.0000          -
1453.16/1457.27	c      1457           8695         227         1          22.0000           0.0000          -
1460.23/1464.34	c      1464           8773         227         1          22.0000           0.0000          -
1465.82/1469.92	c      1470           8812         232         1          22.0000           0.0000          -
1471.51/1475.68	c      1476           8861         231         1          22.0000           0.0000          -
1477.39/1481.50	c      1482           8904         239         1          22.0000           0.0000          -
1482.57/1486.77	c      1487           8964         243         1          22.0000           0.0000          -
1488.06/1492.20	c      1492           9026         243         1          22.0000           0.0000          -
1493.95/1498.12	c      1498           9036         245         1          22.0000           0.0000          -
1499.52/1503.75	c      1504           9074         247         1          22.0000           0.0000          -
1505.51/1509.70	c      1510           9152         251         1          22.0000           0.0000          -
1521.37/1525.65	c      1526           9162         251         1          22.0000           0.0000          -
1548.90/1553.26	c      1553           9199         252         1          22.0000           0.0000          -
1568.05/1572.49	c      1572           9221         252         1          22.0000           0.0000          -
1596.68/1601.14	c      1601           9301         252         1          22.0000           0.0000          -
1602.76/1607.22	c      1607           9339         256         1          22.0000           0.0000          -
1608.44/1612.96	c      1613           9417         255         1          22.0000           0.0000          -
1614.14/1618.60	c      1619           9465         257         1          22.0000           0.0000          -
1620.22/1624.74	c      1625           9513         257         1          22.0000           0.0000          -
1625.71/1630.28	c      1630           9563         259         1          22.0000           0.0000          -
1633.29/1637.81	c      1638           9591         260         1          22.0000           0.0000          -
1639.47/1644.05	c      1644           9668         258         1          22.0000           0.0000          -
1644.85/1649.42	c      1649           9702         260         1          22.0000           0.0000          -
1651.03/1655.69	c      1656           9789         261         1          22.0000           0.0000          -
1656.62/1661.26	c      1661           9812         268         1          22.0000           0.0000          -
1662.61/1667.20	c      1667           9903         269         1          22.0000           0.0000          -
1669.69/1674.32	c      1674           9944         276         1          22.0000           0.0000          -
1680.26/1684.99	c      1685           9965         285         1          22.0000           0.0000          -
1685.65/1690.31	c      1690          10026         305         1          22.0000           0.0000          -
1691.63/1696.38	c      1696          10068         315         1          22.0000           0.0000          -
1696.82/1701.57	c      1702          10111         340         1          22.0000           0.0000          -
1701.90/1706.68	c      1707          10129         348         1          22.0000           0.0000          -
1716.76/1721.53	c      1722          10175         357         1          22.0000           0.0000          -
1721.95/1726.73	c      1727          10234         367         1          22.0000           0.0000          -
1777.61/1782.59	c      1783          10312         367         1          22.0000           0.0000          -
1783.10/1788.07	c      1788          10382         366         1          22.0000           0.0000          -
1833.98/1839.05	c      1839          10460         366         1          22.0000           0.0000          -
1839.46/1844.53	c      1845          10545         366         1          22.0000           0.0000          -
1844.75/1849.85	c      1850          10610         367         1          22.0000           0.0000          -
1876.17/1881.35	c      1881          10704         367         1          22.0000           0.0000          -
1881.75/1886.93	c      1887          10773         367         1          22.0000           0.0000          -
1886.95/1892.16	c      1892          10806         368         1          22.0000           0.0000          -
1895.42/1900.63	c      1901          10831         367         1          22.0000           0.0000          -
1900.82/1906.02	c      1906          10879         371         1          22.0000           0.0000          -
1932.93/1938.28	c      1938          10957         371         1          22.0000           0.0000          -
1965.05/1970.42	c      1970          11042         372         1          22.0000           0.0000          -
1972.43/1977.87	c      1978          11080         374         1          22.0000           0.0000          -
2001.46/2006.99	c      2007          11124         377         1          22.0000           0.0000          -
2006.84/2012.32	c      2012          11224         378         1          22.0000           0.0000          -
2012.03/2017.52	c      2018          11279         379         1          22.0000           0.0000          -
2017.82/2023.39	c      2023          11356         380         1          22.0000           0.0000          -
2031.08/2036.66	c      2037          11417         381         1          22.0000           0.0000          -
2047.05/2052.63	c      2053          11523         384         1          22.0000           0.0000          -
2071.79/2077.47	c      2077          11567         385         1          22.0000           0.0000          -
2096.82/2102.59	c      2103          11593         384         1          22.0000           0.0000          -
2102.31/2108.08	c      2108          11625         387         1          22.0000           0.0000          -
2107.40/2113.16	c      2113          11644         399         1          22.0000           0.0000          -
2113.18/2118.93	c      2119          11691         412         1          22.0000           0.0000          -
2118.56/2124.37	c      2124          11766         410         1          22.0000           0.0000          -
2142.10/2147.93	c      2148          11795         407         1          22.0000           0.0000          -
2154.57/2160.42	c      2160          11796         408         1          22.0000           0.0000          -
2173.93/2179.82	c      2180          11865         410         1          22.0000           0.0000          -
2179.22/2185.19	c      2185          11996         412         1          22.0000           0.0000          -
2184.99/2190.92	c      2191          12112         408         1          22.0000           0.0000          -
2190.48/2196.43	c      2196          12204         410         1          22.0000           0.0000          -
2195.76/2201.75	c      2202          12294         412         1          22.0000           0.0000          -
2200.95/2206.99	c      2207          12400         411         1          22.0000           0.0000          -
2206.33/2212.32	c      2212          12508         412         1          22.0000           0.0000          -
2212.62/2218.65	c      2219          12604         411         1          22.0000           0.0000          -
2228.48/2234.57	c      2235          12701         408         1          22.0000           0.0000          -
2243.64/2249.70	c      2250          12821         408         1          22.0000           0.0000          -
2248.62/2254.79	c      2255          12955         404         1          22.0000           0.0000          -
2253.93/2260.00	c      2260          13055         407         1          22.0000           0.0000          -
2259.21/2265.31	c      2265          13159         408         1          22.0000           0.0000          -
2264.59/2270.72	c      2271          13225         409         1          22.0000           0.0000          -
2269.78/2275.99	c      2276          13328         408         1          22.0000           0.0000          -
2275.56/2281.77	c      2282          13439         411         1          22.0000           0.0000          -
2281.05/2287.27	c      2287          13538         413         1          22.0000           0.0000          -
2286.63/2292.89	c      2293          13669         414         1          22.0000           0.0000          -
2292.42/2298.64	c      2299          13739         415         1          22.0000           0.0000          -
2297.81/2304.01	c      2304          13811         418         1          22.0000           0.0000          -
2303.29/2309.50	c      2310          13889         419         1          22.0000           0.0000          -
2308.48/2314.70	c      2315          13952         422         1          22.0000           0.0000          -
2314.26/2320.59	c      2321          14010         426         1          22.0000           0.0000          -
2319.35/2325.65	c      2326          14066         440         1          22.0000           0.0000          -
2324.63/2330.98	c      2331          14190         445         1          22.0000           0.0000          -
2329.92/2336.20	c      2336          14351         450         1          22.0000           0.0000          -
2335.01/2341.34	c      2341          14510         450         1          22.0000           0.0000          -
2340.30/2346.68	c      2347          14616         452         1          22.0000           0.0000          -
2359.85/2366.27	c      2366          14695         455         1          22.0000           0.0000          -
2372.02/2378.42	c      2378          14805         459         1          22.0000           0.0000          -
2378.89/2385.33	c      2385          14918         465         1          22.0000           0.0000          -
2384.88/2391.34	c      2391          15009         471         1          22.0000           0.0000          -
2408.41/2414.93	c      2415          15032         472         1          22.0000           0.0000          -
2423.87/2430.43	c      2430          15130         478         1          22.0000           0.0000          -
2429.25/2435.81	c      2436          15217         484         1          22.0000           0.0000          -
2446.52/2453.12	c      2453          15328         486         1          22.0000           0.0000          -
2451.69/2458.39	c      2458          15427         487         1          22.0000           0.0000          -
2475.03/2481.71	c      2482          15500         488         1          22.0000           0.0000          -
2484.51/2491.21	c      2491          15566         488         1          22.0000           0.0000          -
2502.96/2509.75	c      2510          15601         491         1          22.0000           0.0000          -
2508.15/2514.95	c      2515          15697         500         1          22.0000           0.0000          -
2513.93/2520.70	c      2521          15718         508         1          22.0000           0.0000          -
2534.68/2541.50	c      2542          15762         507         1          22.0000           0.0000          -
2540.57/2547.42	c      2547          15867         506         1          22.0000           0.0000          -
2561.62/2568.56	c      2569          15944         505         1          22.0000           0.0000          -
2566.80/2573.73	c      2574          16023         508         1          22.0000           0.0000          -
2571.89/2578.83	c      2579          16128         511         1          22.0000           0.0000          -
2586.26/2593.25	c      2593          16175         509         1          22.0000           0.0000          -
2601.12/2608.20	c      2608          16268         511         1          22.0000           0.0000          -
2627.66/2634.74	c      2635          16356         512         1          22.0000           0.0000          -
2642.13/2649.27	c      2649          16471         509         1          22.0000           0.0000          -
2665.76/2672.96	c      2673          16519         512         1          22.0000           0.0000          -
2672.34/2679.59	c      2680          16564         516         1          22.0000           0.0000          -
2697.96/2705.29	c      2705          16592         515         1          22.0000           0.0000          -
2703.14/2710.43	c      2710          16744         511         1          22.0000           0.0000          -
2711.83/2719.17	c      2719          16803         511         1          22.0000           0.0000          -
2717.01/2724.38	c      2724          16910         524         1          22.0000           0.0000          -
2739.64/2747.03	c      2747          17024         522         1          22.0000           0.0000          -
2758.58/2766.03	c      2766          17133         525         1          22.0000           0.0000          -
2763.67/2771.13	c      2771          17196         540         1          22.0000           0.0000          -
2769.66/2777.12	c      2777          17289         543         1          22.0000           0.0000          -
2775.23/2782.78	c      2783          17388         549         1          22.0000           0.0000          -
2780.52/2788.09	c      2788          17451         549         1          22.0000           0.0000          -
2785.90/2793.47	c      2793          17525         547         1          22.0000           0.0000          -
2791.59/2799.19	c      2799          17592         547         1          22.0000           0.0000          -
2796.77/2804.34	c      2804          17701         546         1          22.0000           0.0000          -
2826.48/2834.15	c      2834          17785         548         1          22.0000           0.0000          -
2831.65/2839.36	c      2839          17882         551         1          22.0000           0.0000          -
2836.75/2844.47	c      2844          18014         549         1          22.0000           0.0000          -
2848.32/2856.09	c      2856          18023         550         1          22.0000           0.0000          -
2855.19/2862.95	c      2863          18136         549         1          22.0000           0.0000          -
2860.47/2868.23	c      2868          18244         551         1          22.0000           0.0000          -
2872.43/2880.23	c      2880          18262         553         1          22.0000           0.0000          -
2877.52/2885.35	c      2885          18412         557         1          22.0000           0.0000          -
2886.30/2894.13	c      2894          18542         569         1          22.0000           0.0000          -
2900.15/2908.02	c      2908          18547         571         1          22.0000           0.0000          -
2914.60/2922.54	c      2923          18614         574         1          22.0000           0.0000          -
2919.98/2927.96	c      2928          18772         574         1          22.0000           0.0000          -
2925.26/2933.29	c      2933          18868         576         1          22.0000           0.0000          -
2931.06/2939.01	c      2939          18976         580         1          22.0000           0.0000          -
2959.17/2967.24	c      2967          18978         580         1          22.0000           0.0000          -
2964.35/2972.47	c      2972          19091         582         1          22.0000           0.0000          -
2970.04/2978.16	c      2978          19179         587         1          22.0000           0.0000          -
2975.51/2983.69	c      2984          19274         587         1          22.0000           0.0000          -
2980.79/2988.91	c      2989          19408         588         1          22.0000           0.0000          -
2986.77/2994.95	c      2995          19475         590         1          22.0000           0.0000          -
2997.55/3005.77	c      3006          19525         591         1          22.0000           0.0000          -
3015.80/3024.01	c      3024          19581         591         1          22.0000           0.0000          -
3037.12/3045.45	c      3045          19638         593         1          22.0000           0.0000          -
3062.45/3070.85	c      3071          19688         594         1          22.0000           0.0000          -
3068.83/3077.22	c      3077          19749         594         1          22.0000           0.0000          -
3091.96/3100.46	c      3100          19799         592         1          22.0000           0.0000          -
3099.64/3108.19	c      3108          19840         590         1          22.0000           0.0000          -
3115.18/3123.79	c      3124          19862         599         1          22.0000           0.0000          -
3128.04/3136.60	c      3137          19932         600         1          22.0000           0.0000          -
3133.62/3142.27	c      3142          20032         604         1          22.0000           0.0000          -
3138.80/3147.42	c      3147          20132         602         1          22.0000           0.0000          -
3144.29/3152.92	c      3153          20273         606         1          22.0000           0.0000          -
3158.25/3166.92	c      3167          20311         612         1          22.0000           0.0000          -
3163.34/3172.00	c      3172          20499         620         1          22.0000           0.0000          -
3168.82/3177.55	c      3178          20535         631         1          22.0000           0.0000          -
3174.00/3182.75	c      3183          20661         643         1          22.0000           0.0000          -
3179.08/3187.85	c      3188          20824         644         1          22.0000           0.0000          -
3184.85/3193.67	c      3194          20919         642         1          22.0000           0.0000          -
3189.95/3198.77	c      3199          20973         660         1          22.0000           0.0000          -
3208.31/3217.15	c      3217          20997         660         1          22.0000           0.0000          -
3213.38/3222.24	c      3222          21148         657         1          22.0000           0.0000          -
3218.87/3227.75	c      3228          21235         659         1          22.0000           0.0000          -
3225.05/3233.95	c      3234          21342         664         1          22.0000           0.0000          -
3230.24/3239.13	c      3239          21428         663         1          22.0000           0.0000          -
3235.82/3244.71	c      3245          21433         668         1          22.0000           0.0000          -
3241.51/3250.45	c      3250          21572         687         1          22.0000           0.0000          -
3246.89/3255.84	c      3256          21719         691         1          22.0000           0.0000          -
3251.98/3260.95	c      3261          21873         687         1          22.0000           0.0000          -
3265.44/3274.44	c      3274          22024         688         1          22.0000           0.0000          -
3270.63/3279.68	c      3280          22121         690         1          22.0000           0.0000          -
3275.92/3284.93	c      3285          22204         694         1          22.0000           0.0000          -
3280.91/3289.96	c      3290          22281         704         1          22.0000           0.0000          -
3286.10/3295.15	c      3295          22414         705         1          22.0000           0.0000          -
3291.58/3300.66	c      3301          22546         707         1          22.0000           0.0000          -
3296.97/3306.10	c      3306          22635         708         1          22.0000           0.0000          -
3302.85/3311.91	c      3312          22688         722         1          22.0000           0.0000          -
3323.10/3332.26	c      3332          22779         723         1          22.0000           0.0000          -
3328.59/3337.77	c      3338          22838         736         1          22.0000           0.0000          -
3334.17/3343.39	c      3343          22871         746         1          22.0000           0.0000          -
3364.19/3373.46	c      3373          22986         746         1          22.0000           0.0000          -
3387.74/3397.10	c      3397          23074         744         1          22.0000           0.0000          -
3393.52/3402.88	c      3403          23178         756         1          22.0000           0.0000          -
3407.99/3417.36	c      3417          23250         755         1          22.0000           0.0000          -
3413.07/3422.45	c      3422          23373         766         1          22.0000           0.0000          -
3439.40/3448.83	c      3449          23382         767         1          22.0000           0.0000          -
3452.97/3462.41	c      3462          23440         766         1          22.0000           0.0000          -
3465.54/3475.04	c      3475          23483         764         1          22.0000           0.0000          -
3476.70/3486.28	c      3486          23544         781         1          22.0000           0.0000          -
3486.09/3495.61	c      3496          23580         781         1          22.0000           0.0000          -
3500.95/3510.57	c      3511          23627         781         1          22.0000           0.0000          -
3532.37/3542.10	c      3542          23696         780         1          22.0000           0.0000          -
3556.60/3566.38	c      3566          23813         783         1          22.0000           0.0000          -
3579.25/3589.01	c      3589          23873         781         1          22.0000           0.0000          -
3585.03/3594.83	c      3595          23931         785         1          22.0000           0.0000          -
3590.23/3600.02	c      3600          24024         784         0          22.0000           0.0000          -
3590.42/3600.28	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.42/3600.29	c Total Time         : 3600.2900
3590.42/3600.29	c   solving          : 3600.2900
3590.42/3600.29	c   presolving       : 3.0136 (included in solving)
3590.42/3600.29	c B&B Tree           :
3590.42/3600.29	c   nodes (total)    : 1
3590.42/3600.29	c Solution           :
3590.42/3600.29	c   Solutions found  : 2
3590.42/3600.29	c   Primal Bound     : +2.20000000000000e+01
3590.42/3600.29	c   Dual Bound       : +0.00000000000000e+00
3590.42/3600.29	c Gap                :   infinite
3590.42/3600.29	c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3590.53/3600.31	o 22
3590.53/3600.31	s SATISFIABLE
3590.53/3600.31	v x924 -x923 -x922 x921 -x920 x919 -x918 x917 -x916 x915 -x914 x913 -x912 x911 -x910 x909 -x908 x907 -x906 x905 -x904 x903 -x902 
3590.53/3600.31	v x901 -x900 x899 -x898 x897 -x896 x895 -x894 x893 -x892 x891 -x890 x889 -x888 x887 -x886 x885 -x884 x883 -x882 x881 -x880 x879 
3590.53/3600.31	v -x878 x877 x276 x275 -x274 x273 -x272 -x271 x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 
3590.53/3600.31	v -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 
3590.53/3600.31	v -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 
3590.53/3600.31	v -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 
3590.53/3600.31	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 
3590.53/3600.31	v x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 
3590.53/3600.31	v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 
3590.53/3600.31	v -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 
3590.53/3600.31	v -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 
3590.53/3600.31	v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 
3590.53/3600.31	v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 
3590.53/3600.31	v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 
3590.53/3600.31	v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x876 -x852 -x828 -x804 -x780 -x756 -x732 -x708 -x684 -x660 -x636 -x612 -x588 -x564 -x540 
3590.53/3600.31	v -x516 -x492 -x468 -x444 -x420 -x396 -x372 -x348 -x324 -x875 -x851 -x827 -x803 -x779 -x755 -x731 -x707 -x683 -x659 -x635 -x611 
3590.53/3600.31	v -x587 -x563 -x539 -x515 -x491 -x467 -x443 -x419 -x395 -x371 -x347 -x323 -x874 -x850 -x826 -x802 -x778 -x754 -x730 -x706 -x682 
3590.53/3600.31	v -x658 -x634 -x610 -x586 -x562 -x538 -x514 -x490 -x466 -x442 -x418 -x394 -x370 -x346 -x322 -x873 -x849 -x825 -x801 -x777 -x753 
3590.53/3600.31	v -x729 -x705 -x681 -x657 -x633 -x609 -x585 -x561 -x537 -x513 -x489 -x465 -x441 -x417 -x393 -x369 -x345 -x321 -x872 -x848 
3590.53/3600.31	v -x824 -x800 -x776 -x752 -x728 -x704 -x680 -x656 -x632 -x608 -x584 -x560 -x536 -x512 -x488 -x464 -x440 -x416 -x392 -x368 -x344 
3590.53/3600.31	v -x320 -x871 -x847 -x823 -x799 -x775 -x751 -x727 -x703 -x679 -x655 -x631 -x607 -x583 -x559 -x535 -x511 -x487 -x463 -x439 -x415 
3590.53/3600.31	v -x391 -x367 -x343 -x319 -x870 -x846 -x822 -x798 -x774 -x750 -x726 -x702 -x678 -x654 -x630 -x606 -x582 -x558 -x534 -x510 -x486 
3590.53/3600.31	v -x462 -x438 -x414 -x390 -x366 -x342 -x318 -x869 -x845 -x821 -x797 -x773 -x749 -x725 -x701 -x677 -x653 -x629 -x605 -x581 -x557 
3590.53/3600.31	v -x533 -x509 -x485 -x461 -x437 -x413 -x389 -x365 -x341 -x317 -x868 -x844 -x820 -x796 -x772 -x748 -x724 -x700 -x676 -x652 -x628 
3590.53/3600.31	v -x604 -x580 -x556 -x532 -x508 -x484 -x460 -x436 -x412 -x388 -x364 -x340 -x316 -x867 -x843 -x819 -x795 -x771 -x747 -x723 
3590.53/3600.31	v -x699 -x675 -x651 -x627 -x603 -x579 -x555 -x531 -x507 -x483 -x459 -x435 -x411 -x387 -x363 -x339 -x315 -x866 -x842 -x818 -x794 
3590.53/3600.31	v -x770 -x746 -x722 -x698 -x674 -x650 -x626 -x602 -x578 -x554 -x530 -x506 -x482 -x458 -x434 -x410 -x386 -x362 -x338 -x314 -x865 
3590.53/3600.31	v -x841 -x817 -x793 -x769 -x745 -x721 -x697 -x673 -x649 -x625 -x601 -x577 -x553 -x529 -x505 -x481 -x457 -x433 -x409 -x385 -x361 
3590.53/3600.31	v -x337 -x313 -x864 -x840 -x816 -x792 -x768 -x744 -x720 -x696 -x672 -x648 -x624 -x600 -x576 -x552 -x528 -x504 -x480 -x456 -x432 
3590.53/3600.31	v -x408 -x384 -x360 -x336 -x312 -x863 -x839 -x815 -x791 -x767 -x743 -x719 -x695 -x671 -x647 -x623 -x599 -x575 -x551 -x527 -x503 
3590.53/3600.31	v -x479 -x455 -x431 -x407 -x383 -x359 -x335 -x311 -x862 -x838 -x814 -x790 -x766 -x742 -x718 -x694 -x670 -x646 -x622 -x598 
3590.53/3600.31	v -x574 -x550 -x526 -x502 -x478 -x454 -x430 -x406 -x382 -x358 -x334 -x310 -x861 -x837 -x813 -x789 -x765 -x741 -x717 -x693 -x669 
3590.62/3600.43	v -x645 -x621 -x597 -x573 -x549 -x525 -x501 -x477 -x453 -x429 -x405 -x381 -x357 -x333 -x309 -x860 -x836 -x812 -x788 -x764 -x740 
3590.62/3600.43	v -x716 -x692 -x668 -x644 -x620 -x596 -x572 -x548 -x524 -x500 -x476 -x452 -x428 -x404 -x380 -x356 -x332 -x308 -x859 -x835 -x811 
3590.62/3600.43	v -x787 -x763 -x739 -x715 -x691 -x667 -x643 -x619 -x595 -x571 -x547 -x523 -x499 -x475 -x451 -x427 -x403 -x379 -x355 -x331 -x307 
3590.62/3600.43	v -x858 -x834 -x810 -x786 -x762 -x738 -x714 -x690 -x666 -x642 -x618 -x594 -x570 -x546 -x522 -x498 -x474 -x450 -x426 -x402 -x378 
3590.62/3600.43	v -x354 -x330 -x306 -x857 -x833 -x809 -x785 -x761 -x737 -x713 -x689 -x665 -x641 -x617 -x593 -x569 -x545 -x521 -x497 -x473 
3590.62/3600.43	v -x449 -x425 -x401 -x377 -x353 -x329 -x305 -x856 -x832 -x808 -x784 -x760 -x736 -x712 -x688 -x664 -x640 -x616 -x592 -x568 -x544 
3590.62/3600.43	v -x520 -x496 -x472 -x448 -x424 -x400 -x376 -x352 -x328 -x304 x855 -x831 -x807 -x783 -x759 -x735 -x711 -x687 -x663 -x639 -x615 
3590.62/3600.43	v -x591 -x567 -x543 -x519 -x495 -x471 -x447 -x423 -x399 -x375 -x351 -x327 -x303 -x854 x830 x806 x782 x758 x734 x710 x686 x662 
3590.62/3600.43	v x638 x614 x590 x566 x542 x518 x494 x470 x446 x422 x398 x374 x350 x326 x302 -x853 -x829 -x805 -x781 -x757 -x733 -x709 -x685 -x661 
3590.62/3600.43	v -x637 -x613 -x589 -x565 -x541 -x517 -x493 -x469 -x445 -x421 -x397 -x373 -x349 -x325 -x301 x300 x299 x298 x297 x296 x295 x294 
3590.62/3600.43	v x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 -x279 -x278 x277 

Verifier Data

OK	22

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: 63931 MiB (61035 MiB free)
  memory of node 1: 64510 MiB (59066 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1037908, runsolver pid=1037894

[startup+0.100686 s]*
/proc/loadavg: 2.77 3.03 3.05 9/269 1037916
/proc/meminfo: memFree=122879812/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=59776 memory=47300 CPUtime=0.09 cores=1,3
/proc/1037908/stat : 1037908 (fscip) R 1037894 1037908 1035639 0 -1 4194304 9752 0 0 0 8 1 0 0 20 0 1 0 192493364 61210624 11825 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 14944 11825 2318 3032 0 11344 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59776 KiB
Current children cumulated memory: 47300 KiB

[startup+0.206818 s]*
/proc/loadavg: 2.77 3.03 3.05 8/269 1037916
/proc/meminfo: memFree=122766452/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=93124 memory=80876 CPUtime=0.2 cores=1,3
/proc/1037908/stat : 1037908 (fscip) R 1037894 1037908 1035639 0 -1 4194304 18108 0 0 0 17 3 0 0 20 0 1 0 192493364 95358976 20219 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 23281 20219 2318 3032 0 19681 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93124 KiB
Current children cumulated memory: 80876 KiB

[startup+0.306535 s]*
/proc/loadavg: 2.77 3.03 3.05 8/269 1037916
/proc/meminfo: memFree=122692952/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=147980 memory=136968 CPUtime=0.3 cores=1,3
/proc/1037908/stat : 1037908 (fscip) R 1037894 1037908 1035639 0 -1 4194304 32663 0 0 0 25 5 0 0 20 0 1 0 192493364 151531520 34242 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 36995 34242 2558 3032 0 33395 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 147980 KiB
Current children cumulated memory: 136968 KiB

[startup+0.700191 s]
/proc/loadavg: 2.77 3.03 3.05 9/269 1037916
/proc/meminfo: memFree=122580932/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=299132 memory=283824 CPUtime=0.68 cores=1,3
/proc/1037908/stat : 1037908 (fscip) R 1037894 1037908 1035639 0 -1 4194304 60142 0 0 0 58 10 0 0 20 0 1 0 192493364 306311168 70956 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 74783 70956 2638 3032 0 71183 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 299132 KiB
Current children cumulated memory: 283824 KiB

[startup+1.50022 s]
/proc/loadavg: 2.77 3.03 3.05 8/269 1037916
/proc/meminfo: memFree=122416652/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=321224 memory=305612 CPUtime=1.49 cores=1,3
/proc/1037908/stat : 1037908 (fscip) R 1037894 1037908 1035639 0 -1 4194304 81509 0 0 0 135 14 0 0 20 0 1 0 192493364 328933376 76403 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 80306 76403 2686 3032 0 76706 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 321224 KiB
Current children cumulated memory: 305612 KiB

[startup+3.10679 s]
/proc/loadavg: 2.87 3.04 3.05 7/271 1037966
/proc/meminfo: memFree=121854664/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=585652 memory=527308 CPUtime=3.08 cores=1,3
/proc/1037908/stat : 1037908 (fscip) R 1037894 1037908 1035639 0 -1 4194304 100678 0 0 0 288 20 0 0 20 0 1 0 192493364 599707648 131827 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 146413 131827 2766 3032 0 142813 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 585652 KiB
Current children cumulated memory: 527308 KiB

[startup+6.30024 s]
/proc/loadavg: 2.87 3.04 3.05 7/273 1037970
/proc/meminfo: memFree=121382300/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1029160 memory=930972 CPUtime=6.26 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 256177 0 0 0 584 42 0 0 20 0 3 0 192493364 1053859840 232743 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 257290 232743 2910 3032 0 244032 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=1029160 memory=3472275528323710167 CPUtime=2.62 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 137086 0 0 0 243 19 0 0 20 0 3 0 192493708 1053859840 232743 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=1029160 memory=11400 CPUtime=0 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 192493747 1053859840 232743 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1029160 KiB
Current children cumulated memory: 930972 KiB

[startup+12.7002 s]
/proc/loadavg: 3.04 3.08 3.06 7/273 1037970
/proc/meminfo: memFree=121226432/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1094696 memory=959924 CPUtime=12.64 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 284114 0 0 0 1219 45 0 0 20 0 3 0 192493364 1120968704 239981 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 273674 239981 2910 3032 0 255999 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=1094696 memory=932952 CPUtime=8.99 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 165016 0 0 0 878 21 0 0 20 0 3 0 192493708 1120968704 239981 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=1094696 memory=932952 CPUtime=0 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 192493747 1120968704 239981 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1094696 KiB
Current children cumulated memory: 959924 KiB

[startup+25.5003 s]
/proc/loadavg: 3.19 3.11 3.07 7/273 1037971
/proc/meminfo: memFree=121125376/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1225768 memory=1007712 CPUtime=25.4 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 391999 0 0 0 2487 53 0 0 20 0 3 0 192493364 1255186432 251928 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 306442 251928 2910 3032 0 292441 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=1225768 memory=15921 CPUtime=21.75 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 272894 0 0 0 2146 29 0 0 20 0 3 0 192493708 1255186432 251928 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=1225768 memory=45780 CPUtime=0 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 192493747 1255186432 251928 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1225768 KiB
Current children cumulated memory: 1007712 KiB

[startup+51.1066 s]
/proc/loadavg: 3.52 3.20 3.10 7/273 1037976
/proc/meminfo: memFree=120914576/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1435488 memory=1182064 CPUtime=50.94 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 522255 0 0 0 5027 67 0 0 20 0 3 0 192493364 1469939712 295516 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 358872 295516 2974 3032 0 341454 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=1435488 memory=1181868 CPUtime=47.3 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 403068 0 0 0 4687 43 0 0 20 0 3 0 192493708 1469939712 295516 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=1435488 memory=45780 CPUtime=0 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 192493747 1469939712 295516 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1435488 KiB
Current children cumulated memory: 1182064 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.35 3.16 7/269 1037985
/proc/meminfo: memFree=120753528/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1435488 memory=1184964 CPUtime=102 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 626056 0 0 0 10128 72 0 0 20 0 3 0 192493364 1469939712 296241 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 358872 296241 2974 3032 0 341454 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=1435488 memory=11400 CPUtime=98.35 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 506786 0 0 0 9787 48 0 0 20 0 3 0 192493708 1469939712 296241 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=1435488 memory=1183764 CPUtime=0 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 192493747 1469939712 296241 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1435488 KiB
Current children cumulated memory: 1184964 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.50 3.23 7/269 1037995
/proc/meminfo: memFree=120602612/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1501024 memory=1219320 CPUtime=161.82 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 782909 0 0 0 16098 84 0 0 20 0 3 0 192493364 1537048576 304830 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 375256 304830 2974 3032 0 360074 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=1501024 memory=1239200 CPUtime=158.17 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 663553 0 0 0 15757 60 0 0 20 0 3 0 192493708 1537048576 304830 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=1501024 memory=1261152 CPUtime=0 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 192493747 1537048576 304830 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1501024 KiB
Current children cumulated memory: 1219320 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 3.64 3.29 7/268 1038008
/proc/meminfo: memFree=120412464/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1566560 memory=1284228 CPUtime=221.65 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 895007 0 0 0 22073 92 0 0 20 0 3 0 192493364 1604157440 321057 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 391640 321057 2990 3032 0 376167 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=1566560 memory=1219332 CPUtime=218 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 775610 0 0 0 21732 68 0 0 20 0 3 0 192493708 1604157440 321057 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=1566560 memory=16216 CPUtime=0 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 192493747 1604157440 321057 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1566560 KiB
Current children cumulated memory: 1284228 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 3.74 3.35 7/267 1038019
/proc/meminfo: memFree=120276556/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1566560 memory=1285408 CPUtime=281.48 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 944522 0 0 0 28052 96 0 0 20 0 3 0 192493364 1604157440 321352 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 391640 321352 2990 3032 0 376167 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=1566560 memory=1284248 CPUtime=277.82 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 825092 0 0 0 27710 72 0 0 20 0 3 0 192493708 1604157440 321352 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0

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

[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3393.02 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1838253 0 0 0 339098 204 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3389.22 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1717352 0 0 0 338748 174 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/266 1039805
/proc/meminfo: memFree=113116192/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3452.87 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1841976 0 0 0 345082 205 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3449.07 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1721063 0 0 0 344732 175 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=11400 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 213 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/266 1039818
/proc/meminfo: memFree=113042096/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3512.72 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1846552 0 0 0 351066 206 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3508.92 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1725609 0 0 0 350717 175 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 217 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/266 1039828
/proc/meminfo: memFree=112880780/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3572.56 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1850391 0 0 0 357050 206 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3568.77 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1729420 0 0 0 356701 176 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=2228 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 219 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

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

# cumulated CPU time of all completed processes:  user=3588.58 s, system=2.09624 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 7/266 1039828
/proc/meminfo: memFree=112877696/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3574.26 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1850593 0 0 0 357220 206 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=-6735270430896065637 CPUtime=3570.47 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1729622 0 0 0 356871 176 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=4872558142750484537 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 219 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 7/266 1039831
/proc/meminfo: memFree=112870204/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3580.64 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1850949 0 0 0 357858 206 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=45960 CPUtime=3576.85 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1729957 0 0 0 357509 176 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=13120 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 221 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3580.64 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112865104/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3587.02 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1851542 0 0 0 358496 206 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3583.23 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1730545 0 0 0 358147 176 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=45960 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 221 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3598.4 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112857980/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3588.62 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1851556 0 0 0 358656 206 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=2228 CPUtime=3584.83 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1730559 0 0 0 358307 176 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 221 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3588.62 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3599.2 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847432/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3589.43 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1851559 0 0 0 358736 207 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=11400 CPUtime=3585.62 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1730562 0 0 0 358386 176 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=5428 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 221 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3589.43 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3600 s]*
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=2690920 memory=1925836 CPUtime=3590.23 cores=1,3
/proc/1037908/stat : 1037908 (fscip) S 1037894 1037908 1035639 0 -1 1077936128 1851570 0 0 0 358816 207 0 0 20 0 3 0 192493364 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 672730 481459 2990 3032 0 654927 0
[pid=1037908/tid=1037967] ppid=1037894 vsize=2690920 memory=-6735270430896065637 CPUtime=3586.43 cores=1,3
/proc/1037908/task/1037967/stat : 1037967 (fscip) R 1037894 1037908 1035639 0 -1 4194368 1730573 0 0 0 358467 176 0 0 20 0 3 0 192493708 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=2690920 memory=4872558142750484537 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 221 0 0 0 1 3 0 0 20 0 3 0 192493747 2755502080 481459 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3590.23 s
Current children cumulated vsize: 2690920 KiB
Current children cumulated memory: 1925836 KiB

[startup+3600.4 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 1039832
/proc/meminfo: memFree=112847272/131524600 swapFree=131071996/131071996
[pid=1037908] ppid=1037894 vsize=1507848 memory=1240192 CPUtime=3590.62 cores=1,3
/proc/1037908/stat : 1037908 (fscip) R 1037894 1037908 1035639 0 -1 4194304 1861528 0 0 0 358854 208 0 0 20 0 2 0 192493364 1544036352 310048 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
/proc/1037908/statm: 376962 310048 2990 3032 0 367064 0
[pid=1037908/tid=1037968] ppid=1037894 vsize=1507848 memory=-6807328024850500709 CPUtime=0.04 cores=1,3
/proc/1037908/task/1037968/stat : 1037968 (fscip) S 1037894 1037908 1035639 0 -1 1077936192 221 0 0 0 1 3 0 0 20 0 2 0 192493747 1544036352 310048 134679101440 4194304 16613245 140722647995088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 35074048 140722647999507 140722647999623 140722647999623 140722648006640 0
Current children cumulated CPU time: 3590.62 s
Current children cumulated vsize: 1507848 KiB
Current children cumulated memory: 1240192 KiB

Child status: 0

Real time (s): 3600.44
CPU time (s): 3590.67
CPU user time (s): 3588.58
CPU system time (s): 2.09624
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 2690920
Max. memory (cumulated for all children) (KiB): 1925844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.58
system time used= 2.09624
maximum resident set size= 1925844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1861931
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= 6939
involuntary context switches= 1569


# summary of solver processes directly reported to runsolver:
#   pid: 1037908
#   total CPU time (s): 3590.67
#   total CPU user time (s): 3588.58
#   total CPU system time (s): 2.09624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12551 second user time and 20.5503 second system time

The end

Launcher Data

Begin job on nodeC031 at 2024-07-19 17:34:23
IDJOB=4449623
IDBENCH=176087
IDSOLVER=3064
FILE ID=nodeC031/4449623-1721403251
RUNJOBID= nodeC031-1721403263-1037850
SLURM_JOB_ID= 7545454
Free space on /tmp= 890076 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=24-t=2.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-4449623-1721403251/watcher-4449623-1721403251 -o /tmp/evaluation-result-4449623-1721403251/solver-4449623-1721403251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037850 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4449623-1721403251.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6
RANDOM SEED=121410093

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122986984 kB
MemAvailable:   129593248 kB
Buffers:          506880 kB
Cached:          6866412 kB
SwapCached:            0 kB
Active:          1040440 kB
Inactive:        6709744 kB
Active(anon):       1448 kB
Inactive(anon):   421680 kB
Active(file):    1038992 kB
Inactive(file):  6288064 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            118932 kB
Writeback:            12 kB
AnonPages:        375140 kB
Mapped:           106636 kB
Shmem:             45912 kB
KReclaimable:     237712 kB
Slab:             367620 kB
SReclaimable:     237712 kB
SUnreclaim:       129908 kB
KernelStack:        4016 kB
PageTables:         9952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     830756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      254676 kB
DirectMap2M:    39364608 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC031 at 2024-07-19 18:34:24