Trace number 4464131

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-30UNSAT 1518.19 1522.08

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
MD5SUMb17790bf3951ca85a67cd8038da17b4d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1518.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
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 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.15	c Default LC presolving (default).
0.10/0.15	c ** Before presolving: virtualMemUsedAtLc = 63049728, getVmSize() = 63049728, SCIPgetMemUsed() = 33201692, SCIPgetMemTotal() = 40493732, SCIPgetMemExternEstim() = 17791503
0.10/0.15	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
5.37/5.40	c ** Estimated virtualMemUsedAtSolver = 128738372, getVmSize() = 203984896, SCIPgetMemUsed() = 132211056, SCIPgetMemTotal() = 175316056, SCIPgetMemExternEstim() = 17791503
5.37/5.40	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
5.37/5.40	c Original Problem   :
5.37/5.40	c   Problem name     : instance-4464131-1722382195
5.37/5.40	c   Variables        : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
5.37/5.40	c   Constraints      : 9089
5.37/5.40	c   Objective sense  : minimize
5.37/5.40	c Presolved Problem  :
5.37/5.40	c   Variables        : 7285 (7285 binary, 0 integer, 0 implicit integer, 0 continuous)
5.37/5.40	c   Constraints      : 1248
5.37/5.40	c Constraints        : Number
5.37/5.40	c   knapsack         : 576 
5.37/5.40	c   setppc           : 97 
5.37/5.40	c   orbitope         : 575 
5.37/5.40	c ** Instance transfer method used: 0
5.37/5.42	c ** ParaScipInstance copy increased the number of variables. **
5.37/5.46	c LC is working with racing ramp-up and with rebuilding tree after racing.
5.37/5.46	c                                Nodes    Active                                            
5.37/5.46	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
13.96/14.02	c        14              2           1         1                -           9.0000          -
19.94/20.08	c        20             30          29         1                -           9.0000          -
25.71/25.85	c        26             74          73         1                -           9.0000          -
31.09/31.29	c        31             96          93         1                -           9.0000          -
36.59/36.77	c        37            116         113         1                -           9.0000          -
42.56/42.71	c        43            156         151         1                -           9.0000          -
48.05/48.20	c        48            240         229         1                -           9.0000          -
53.23/53.46	c        53            338         311         1                -           9.0000          -
58.51/58.76	c        59            465         434         1                -           9.0000          -
65.09/65.35	c        65            572         527         1                -           9.0000          -
71.47/71.74	c        72            644         585         1                -           9.0000          -
76.77/77.03	c        77            790         725         1                -           9.0000          -
82.34/82.68	c        83            860         774         1                -           9.0000          -
87.63/87.95	c        88            950         846         1                -           9.0000          -
92.82/93.12	c        93           1032         920         1                -           9.0000          -
98.59/98.98	c        99           1137        1002         1                -           9.0000          -
109.56/109.98	c       110           1149           1         1                -           9.0000          -
115.04/115.44	c       115           1175          27         1                -           9.0000          -
121.22/121.65	c       122           1229          44         1                -           9.0000          -
127.40/127.82	c       128           1273          58         1                -           9.0000          -
133.18/133.61	c       134           1309          63         1                -           9.0000          -
138.68/139.19	c       139           1347          63         1                -           9.0000          -
143.96/144.48	c       144           1415          85         1                -           9.0000          -
149.44/149.93	c       150           1490          87         1                -           9.0000          -
154.72/155.28	c       155           1558          95         1                -           9.0000          -
160.10/160.63	c       161           1625         100         1                -           9.0000          -
165.59/166.11	c       166           1682          99         1                -           9.0000          -
170.77/171.38	c       171           1710          92         1                -           9.0000          -
176.05/176.66	c       177           1757          84         1                -           9.0000          -
182.45/183.06	c       183           1787          82         1                -           9.0000          -
187.82/188.45	c       188           1852          90         1                -           9.0000          -
193.10/193.70	c       194           1917          98         1                -           9.0000          -
199.28/199.97	c       200           1973         102         1                -           9.0000          -
204.87/205.55	c       206           2018         113         1                -           9.0000          -
210.85/211.55	c       212           2066         135         1                -           9.0000          -
216.33/217.06	c       217           2131         130         1                -           9.0000          -
222.51/223.28	c       223           2163         137         1                -           9.0000          -
227.89/228.66	c       229           2204         141         1                -           9.0000          -
233.40/234.12	c       234           2248         153         1                -           9.0000          -
238.67/239.41	c       239           2295         147         1                -           9.0000          -
244.27/245.01	c       245           2353         152         1                -           9.0000          -
249.84/250.60	c       251           2412         156         1                -           9.0000          -
255.73/256.57	c       257           2444         148         1                -           9.0000          -
261.12/261.95	c       262           2495         157         1                -           9.0000          -
266.60/267.44	c       267           2539         152         1                -           9.0000          -
271.99/272.88	c       273           2607         156         1                -           9.0000          -
277.68/278.54	c       279           2646         132         1                -           9.0000          -
283.28/284.13	c       284           2680         141         1                -           9.0000          -
288.45/289.37	c       289           2729         150         1                -           9.0000          -
293.84/294.77	c       295           2767         143         1                -           9.0000          -
299.52/300.43	c       300           2807         156         1                -           9.0000          -
305.01/305.96	c       306           2854         159         1                -           9.0000          -
310.50/311.46	c       311           2891         150         1                -           9.0000          -
315.98/316.92	c       317           2929         138         1                -           9.0000          -
321.18/322.17	c       322           2965         161         1                -           9.0000          -
326.96/327.95	c       328           3020         186         1                -           9.0000          -
332.64/333.69	c       334           3081         208         1                -           9.0000          -
338.32/339.35	c       339           3119         213         1                -           9.0000          -
343.81/344.84	c       345           3174         220         1                -           9.0000          -
349.59/350.61	c       351           3212         219         1                -           9.0000          -
354.58/355.63	c       356           3242         222         1                -           9.0000          -
360.26/361.35	c       361           3278         214         1                -           9.0000          -
366.06/367.19	c       367           3318         208         1                -           9.0000          -
371.64/372.78	c       373           3363         208         1                -           9.0000          -
377.12/378.21	c       378           3408         189         1                -           9.0000          -
382.80/383.93	c       384           3447         198         1                -           9.0000          -
388.68/389.85	c       390           3491         177         1                -           9.0000          -
394.17/395.37	c       395           3544         175         1                -           9.0000          -
399.86/401.03	c       401           3581         179         1                -           9.0000          -
405.85/407.06	c       407           3611         176         1                -           9.0000          -
411.43/412.66	c       413           3650         166         1                -           9.0000          -
418.01/419.27	c       419           3695         177         1                -           9.0000          -
423.81/425.05	c       425           3727         189         1                -           9.0000          -
428.89/430.12	c       430           3747         193         1                -           9.0000          -
434.56/435.84	c       436           3773         211         1                -           9.0000          -
440.35/441.69	c       442           3800         219         1                -           9.0000          -
448.13/449.45	c       449           3833         220         1                -           9.0000          -
453.72/455.09	c       455           3879         238         1                -           9.0000          -
458.99/460.38	c       460           3892         233         1                -           9.0000          -
464.79/466.16	c       466           3921         246         1                -           9.0000          -
470.57/471.91	c       472           3950         243         1                -           9.0000          -
475.55/476.92	c       477           3972         251         1                -           9.0000          -
481.04/482.46	c       482           4014         250         1                -           9.0000          -
486.53/487.95	c       488           4043         253         1                -           9.0000          -
492.21/493.60	c       494           4099         266         1                -           9.0000          -
498.00/499.44	c       499           4134         262         1                -           9.0000          -
503.78/505.24	c       505           4195         266         1                -           9.0000          -
509.47/510.98	c       511           4235         263         1                -           9.0000          -
514.95/516.42	c       516           4285         266         1                -           9.0000          -
521.44/522.91	c       523           4314         263         1                -           9.0000          -
526.42/527.96	c       528           4323         239         1                -           9.0000          -
531.52/533.09	c       533           4340         243         1                -           9.0000          -
537.21/538.79	c       539           4380         254         1                -           9.0000          -
542.89/544.49	c       544           4409         248         1                -           9.0000          -
548.67/550.28	c       550           4442         263         1                -           9.0000          -
554.16/555.79	c       556           4480         266         1                -           9.0000          -
559.95/561.54	c       562           4523         278         1                -           9.0000          -
566.13/567.71	c       568           4551         273         1                -           9.0000          -
571.92/573.51	c       574           4591         274         1                -           9.0000          -
577.41/579.05	c       579           4636         274         1                -           9.0000          -
582.70/584.36	c       584           4678         291         1                -           9.0000          -
588.29/589.95	c       590           4729         314         1                -           9.0000          -
593.97/595.64	c       596           4751         326         1                -           9.0000          -
600.16/601.81	c       602           4784         332         1                -           9.0000          -
605.74/607.48	c       607           4828         331         1                -           9.0000          -
611.44/613.16	c       613           4877         328         1                -           9.0000          -
617.11/618.89	c       619           4923         333         1                -           9.0000          -
623.10/624.83	c       625           4946         338         1                -           9.0000          -
628.68/630.46	c       630           4976         340         1                -           9.0000          -
634.28/636.09	c       636           5004         337         1                -           9.0000          -
639.55/641.36	c       641           5029         338         1                -           9.0000          -
644.94/646.77	c       647           5074         334         1                -           9.0000          -
650.52/652.31	c       652           5114         344         1                -           9.0000          -
656.11/657.93	c       658           5149         353         1                -           9.0000          -
661.70/663.50	c       664           5174         351         1                -           9.0000          -
666.68/668.51	c       669           5201         349         1                -           9.0000          -
671.68/673.52	c       674           5216         358         1                -           9.0000          -
676.66/678.54	c       679           5247         364         1                -           9.0000          -
681.65/683.59	c       684           5275         364         1                -           9.0000          -
687.54/689.43	c       689           5311         377         1                -           9.0000          -
692.92/694.88	c       695           5341         372         1                -           9.0000          -
698.41/700.39	c       700           5384         389         1                -           9.0000          -
704.21/706.17	c       706           5429         386         1                -           9.0000          -
710.38/712.37	c       712           5462         385         1                -           9.0000          -
715.87/717.90	c       718           5487         385         1                -           9.0000          -
722.16/724.17	c       724           5520         401         1                -           9.0000          -
728.16/730.16	c       730           5556         399         1                -           9.0000          -
733.53/735.60	c       736           5590         405         1                -           9.0000          -
739.22/741.26	c       741           5623         406         1                -           9.0000          -
744.61/746.64	c       747           5657         403         1                -           9.0000          -
750.49/752.54	c       753           5681         404         1                -           9.0000          -
756.38/758.42	c       758           5709         396         1                -           9.0000          -
762.16/764.21	c       764           5739         399         1                -           9.0000          -
767.45/769.50	c       770           5773         394         1                -           9.0000          -
772.83/775.01	c       775           5801         397         1                -           9.0000          -
778.22/780.31	c       780           5832         399         1                -           9.0000          -
783.81/786.01	c       786           5863         404         1                -           9.0000          -
789.79/791.91	c       792           5905         384         1                -           9.0000          -
795.78/797.97	c       798           5935         392         1                -           9.0000          -
801.16/803.39	c       803           5975         406         1                -           9.0000          -
806.86/809.04	c       809           6006         407         1                -           9.0000          -
812.34/814.56	c       815           6044         386         1                -           9.0000          -
817.83/820.10	c       820           6083         389         1                -           9.0000          -
823.91/826.13	c       826           6121         389         1                -           9.0000          -
829.90/832.19	c       832           6150         377         1                -           9.0000          -
835.78/838.09	c       838           6180         397         1                -           9.0000          -
841.26/843.52	c       844           6220         398         1                -           9.0000          -
846.76/849.08	c       849           6254         398         1                -           9.0000          -
852.34/854.68	c       855           6278         398         1                -           9.0000          -
858.43/860.77	c       861           6312         401         1                -           9.0000          -
864.21/866.59	c       867           6362         403         1                -           9.0000          -
869.99/872.38	c       872           6395         409         1                -           9.0000          -
875.68/878.06	c       878           6429         415         1                -           9.0000          -
881.66/884.08	c       884           6472         417         1                -           9.0000          -
887.24/889.62	c       890           6511         403         1                -           9.0000          -
893.13/895.59	c       896           6552         408         1                -           9.0000          -
898.52/900.96	c       901           6596         412         1                -           9.0000          -
904.51/906.93	c       907           6635         420         1                -           9.0000          -
910.39/912.87	c       913           6684         430         1                -           9.0000          -
916.59/919.09	c       919           6720         426         1                -           9.0000          -
922.06/924.53	c       925           6766         421         1                -           9.0000          -
927.35/929.89	c       930           6794         433         1                -           9.0000          -
933.24/935.72	c       936           6826         431         1                -           9.0000          -
938.64/941.19	c       941           6865         433         1                -           9.0000          -
944.31/946.83	c       947           6904         445         1                -           9.0000          -
950.20/952.74	c       953           6942         438         1                -           9.0000          -
955.89/958.47	c       958           6964         435         1                -           9.0000          -
961.87/964.40	c       964           6985         419         1                -           9.0000          -
967.26/969.82	c       970           7028         419         1                -           9.0000          -
972.35/974.98	c       975           7048         426         1                -           9.0000          -
978.03/980.66	c       981           7077         441         1                -           9.0000          -
983.82/986.49	c       986           7116         450         1                -           9.0000          -
989.70/992.34	c       992           7147         457         1                -           9.0000          -
995.50/998.13	c       998           7180         462         1                -           9.0000          -
1000.88/1003.50	c      1004           7200         458         1                -           9.0000          -
1007.06/1009.75	c      1010           7231         460         1                -           9.0000          -
1012.46/1015.17	c      1015           7263         467         1                -           9.0000          -
1018.14/1020.80	c      1021           7284         472         1                -           9.0000          -
1023.93/1026.62	c      1027           7317         474         1                -           9.0000          -
1028.91/1031.66	c      1032           7338         476         1                -           9.0000          -
1035.20/1037.90	c      1038           7362         479         1                -           9.0000          -
1041.09/1043.82	c      1044           7401         478         1                -           9.0000          -
1046.67/1049.40	c      1049           7429         496         1                -           9.0000          -
1052.46/1055.24	c      1055           7456         478         1                -           9.0000          -
1058.54/1061.38	c      1061           7483         481         1                -           9.0000          -
1064.01/1066.80	c      1067           7505         483         1                -           9.0000          -
1069.90/1072.74	c      1073           7545         479         1                -           9.0000          -
1075.09/1077.98	c      1078           7571         482         1                -           9.0000          -
1080.78/1083.66	c      1084           7605         484         1                -           9.0000          -
1086.47/1089.34	c      1089           7633         481         1                -           9.0000          -
1092.35/1095.26	c      1095           7689         495         1                -           9.0000          -
1097.54/1100.45	c      1100           7734         485         1                -           9.0000          -
1103.53/1106.43	c      1106           7765         455         1                -           9.0000          -
1109.81/1112.73	c      1113           7778         420         1                -           9.0000          -
1114.90/1117.83	c      1118           7788         390         1                -           9.0000          -
1120.99/1123.93	c      1124           7802         353         1                -           9.0000          -
1126.57/1129.53	c      1130           7812         303         1                -           9.0000          -
1132.45/1135.43	c      1135           7826         289         1                -           9.0000          -
1138.55/1141.50	c      1142           7860         286         1                -           9.0000          -
1144.33/1147.32	c      1147           7891         290         1                -           9.0000          -
1149.72/1152.79	c      1153           7937         301         1                -           9.0000          -
1155.40/1158.43	c      1158           7982         294         1                -           9.0000          -
1160.79/1163.82	c      1164           8033         313         1                -           9.0000          -
1166.68/1169.78	c      1170           8090         332         1                -           9.0000          -
1172.36/1175.49	c      1176           8140         328         1                -           9.0000          -
1177.75/1180.81	c      1181           8156         318         1                -           9.0000          -
1182.95/1186.05	c      1186           8191         322         1                -           9.0000          -
1188.12/1191.25	c      1191           8224         316         1                -           9.0000          -
1193.41/1196.50	c      1197           8251         314         1                -           9.0000          -
1201.00/1204.15	c      1204           8269         321         1                -           9.0000          -
1208.18/1211.30	c      1211           8302         289         1                -           9.0000          -
1213.46/1216.66	c      1217           8339         293         1                -           9.0000          -
1218.75/1221.99	c      1222           8383         302         1                -           9.0000          -
1224.54/1227.76	c      1228           8420         303         1                -           9.0000          -
1230.43/1233.63	c      1234           8452         293         1                -           9.0000          -
1235.71/1238.97	c      1239           8502         315         1                -           9.0000          -
1241.70/1245.01	c      1245           8553         316         1                -           9.0000          -
1247.48/1250.71	c      1251           8583         328         1                -           9.0000          -
1253.36/1256.62	c      1257           8622         327         1                -           9.0000          -
1258.95/1262.29	c      1262           8665         331         1                -           9.0000          -
1264.23/1267.57	c      1268           8704         329         1                -           9.0000          -
1270.03/1273.33	c      1273           8770         335         1                -           9.0000          -
1275.61/1279.01	c      1279           8820         336         1                -           9.0000          -
1281.70/1285.01	c      1285           8852         338         1                -           9.0000          -
1286.69/1290.08	c      1290           8889         335         1                -           9.0000          -
1292.06/1295.43	c      1295           8940         340         1                -           9.0000          -
1297.95/1301.36	c      1301           8986         338         1                -           9.0000          -
1303.03/1306.40	c      1306           8997         336         1                -           9.0000          -
1308.02/1311.40	c      1311           9025         332         1                -           9.0000          -
1313.52/1316.95	c      1317           9072         330         1                -           9.0000          -
1319.20/1322.68	c      1323           9114         334         1                -           9.0000          -
1325.38/1328.80	c      1329           9132         333         1                -           9.0000          -
1331.27/1334.78	c      1335           9145         333         1                -           9.0000          -
1337.06/1340.56	c      1341           9154         332         1                -           9.0000          -
1342.66/1346.14	c      1346           9177         339         1                -           9.0000          -
1348.03/1351.59	c      1352           9209         342         1                -           9.0000          -
1353.53/1357.08	c      1357           9253         357         1                -           9.0000          -
1359.51/1363.06	c      1363           9295         387         1                -           9.0000          -
1365.08/1368.61	c      1369           9350         377         1                -           9.0000          -
1370.28/1373.86	c      1374           9401         369         1                -           9.0000          -
1376.26/1379.84	c      1380           9426         342         1                -           9.0000          -
1381.56/1385.15	c      1385           9462         330         1                -           9.0000          -
1386.73/1390.33	c      1390           9488         335         1                -           9.0000          -
1392.62/1396.21	c      1396           9517         342         1                -           9.0000          -
1399.20/1402.82	c      1403           9557         359         1                -           9.0000          -
1404.58/1408.23	c      1408           9574         358         1                -           9.0000          -
1410.07/1413.73	c      1414           9598         357         1                -           9.0000          -
1416.37/1420.03	c      1420           9629         364         1                -           9.0000          -
1422.34/1426.08	c      1426           9657         366         1                -           9.0000          -
1428.91/1432.67	c      1433           9667         280         1                -           9.0000          -
1434.80/1438.56	c      1439           9690         276         1                -           9.0000          -
1440.30/1444.01	c      1444           9706         261         1                -           9.0000          -
1446.18/1449.95	c      1450           9728         264         1                -           9.0000          -
1451.47/1455.20	c      1455           9752         265         1                -           9.0000          -
1457.15/1460.98	c      1461           9785         277         1                -           9.0000          -
1462.84/1466.64	c      1467           9818         274         1                -           9.0000          -
1468.52/1472.31	c      1472           9837         256         1                -           9.0000          -
1475.50/1479.34	c      1479           9844         221         1                -           9.0000          -
1480.99/1484.80	c      1485           9859         222         1                -           9.0000          -
1486.48/1490.36	c      1490           9891         236         1                -           9.0000          -
1491.66/1495.57	c      1496           9920         251         1                -           9.0000          -
1497.65/1501.59	c      1502           9952         262         1                -           9.0000          -
1503.33/1507.28	c      1507           9993         257         1                -           9.0000          -
1509.23/1513.13	c      1513          10029         223         1                -           9.0000          -
1514.61/1518.59	c      1519          10036         106         1                -           9.0000          -
1518.00/1521.95	c      1522          10039           0         0                -           9.0000          -
1518.00/1522.01	c      1522          10039           0         0                -           9.0000          -
1518.00/1522.01	c SCIP Status        : c problem is solved [infeasible]
1518.00/1522.01	c Total Time         : 1522.0200
1518.00/1522.01	c   solving          : 1522.0200
1518.00/1522.01	c   presolving       : 5.2515 (included in solving)
1518.00/1522.01	c B&B Tree           :
1518.00/1522.01	c   nodes (total)    : 10039
1518.00/1522.01	c Solution           :
1518.00/1522.01	c   Solutions found  : 0
1518.00/1522.01	c   Primal Bound     :          -
1518.00/1522.01	c   Dual Bound       :          -
1518.00/1522.01	c Gap                :          -
1518.11/1522.07	s UNSATISFIABLE

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464131-1722382195/watcher-4464131-1722382195 -o /tmp/evaluation-result-4464131-1722382195/solver-4464131-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28233 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464131-1722382195.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=30430, runsolver pid=30427

[startup+0.100403 s]*
/proc/loadavg: 4.05 4.12 4.09 6/249 30433
/proc/meminfo: memFree=128812388/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=47672 memory=37672 CPUtime=0.1 cores=1,3
/proc/30430/stat : 30430 (fscip) R 30427 30430 28221 0 -1 4194304 7105 0 0 0 8 2 0 0 20 0 1 0 4590654 48816128 9418 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 11918 9418 2555 3035 0 8314 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47672 KiB
Current children cumulated memory: 37672 KiB

[startup+0.213302 s]*
/proc/loadavg: 4.05 4.12 4.09 5/246 30437
/proc/meminfo: memFree=128805348/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=65132 memory=53792 CPUtime=0.21 cores=1,3
/proc/30430/stat : 30430 (fscip) R 30427 30430 28221 0 -1 4194304 11100 0 0 0 17 4 0 0 20 0 1 0 4590654 66695168 13448 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 16283 13448 2630 3035 0 12679 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65132 KiB
Current children cumulated memory: 53792 KiB

[startup+0.31336 s]*
/proc/loadavg: 4.05 4.12 4.09 4/246 30447
/proc/meminfo: memFree=128795160/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=76408 memory=64812 CPUtime=0.31 cores=1,3
/proc/30430/stat : 30430 (fscip) R 30427 30430 28221 0 -1 4194304 15181 0 0 0 25 6 0 0 20 0 1 0 4590654 78241792 16203 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 19102 16203 2694 3035 0 15498 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 76408 KiB
Current children cumulated memory: 64812 KiB

[startup+0.70029 s]
/proc/loadavg: 4.05 4.12 4.09 4/243 30466
/proc/meminfo: memFree=128815980/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=91992 memory=79132 CPUtime=0.68 cores=1,3
/proc/30430/stat : 30430 (fscip) R 30427 30430 28221 0 -1 4194304 20833 0 0 0 61 7 0 0 20 0 1 0 4590654 94199808 19783 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 22998 19783 2774 3035 0 19394 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91992 KiB
Current children cumulated memory: 79132 KiB

[startup+1.5003 s]
/proc/loadavg: 4.05 4.12 4.09 5/249 30479
/proc/meminfo: memFree=128731548/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=123516 memory=99712 CPUtime=1.48 cores=1,3
/proc/30430/stat : 30430 (fscip) R 30427 30430 28221 0 -1 4194304 25459 0 0 0 140 8 0 0 20 0 1 0 4590654 126480384 24928 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 30879 24928 2790 3035 0 27275 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123516 KiB
Current children cumulated memory: 99712 KiB

[startup+3.11272 s]
/proc/loadavg: 4.04 4.12 4.08 5/250 30530
/proc/meminfo: memFree=128420688/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=132692 memory=108952 CPUtime=3.09 cores=1,3
/proc/30430/stat : 30430 (fscip) R 30427 30430 28221 0 -1 4194304 27800 0 0 0 300 9 0 0 20 0 1 0 4590654 135876608 27238 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 33173 27238 2790 3035 0 29569 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 132692 KiB
Current children cumulated memory: 108952 KiB

[startup+6.30036 s]
/proc/loadavg: 4.04 4.12 4.08 5/252 30532
/proc/meminfo: memFree=128270504/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=291948 memory=244644 CPUtime=6.26 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 61770 0 0 0 610 16 0 0 20 0 3 0 4590654 298954752 61161 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 72987 61161 2806 3035 0 68424 0
[pid=30430/tid=30531] ppid=30427 vsize=291948 memory=8298057353869578487 CPUtime=0.86 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 14824 0 0 0 82 4 0 0 20 0 3 0 4591194 298954752 61161 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=291948 memory=1712 CPUtime=0 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4591201 298954752 61161 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 291948 KiB
Current children cumulated memory: 244644 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.09 5/252 30533
/proc/meminfo: memFree=128171948/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=429980 memory=340176 CPUtime=12.64 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 126091 0 0 0 1242 22 0 0 20 0 3 0 4590654 440299520 85044 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 107495 85044 2950 3035 0 95249 0
[pid=30430/tid=30531] ppid=30427 vsize=429980 memory=11392 CPUtime=7.24 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 79134 0 0 0 714 10 0 0 20 0 3 0 4591194 440299520 85044 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=429980 memory=0 CPUtime=0 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4591201 440299520 85044 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 429980 KiB
Current children cumulated memory: 340176 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.13 4.09 5/252 30535
/proc/meminfo: memFree=128104316/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=495516 memory=410664 CPUtime=25.41 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 226232 0 0 0 2512 29 0 0 20 0 3 0 4590654 507408384 102666 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 123879 102666 2998 3035 0 110335 0
[pid=30430/tid=30531] ppid=30427 vsize=495516 memory=396944 CPUtime=20.01 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 179210 0 0 0 1983 18 0 0 20 0 3 0 4591194 507408384 102666 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=495516 memory=396944 CPUtime=0 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4591201 507408384 102666 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 495516 KiB
Current children cumulated memory: 410664 KiB

[startup+51.1127 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 30596
/proc/meminfo: memFree=128034068/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=495516 memory=424636 CPUtime=50.95 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 324836 0 0 0 5059 36 0 0 20 0 3 0 4590654 507408384 106159 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 123879 106159 2998 3035 0 116144 0
[pid=30430/tid=30531] ppid=30427 vsize=495516 memory=11392 CPUtime=45.54 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 277737 0 0 0 4530 24 0 0 20 0 3 0 4591194 507408384 106159 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=495516 memory=402676 CPUtime=0 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4591201 507408384 106159 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 495516 KiB
Current children cumulated memory: 424636 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.16 4.10 5/252 30606
/proc/meminfo: memFree=127892284/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=554388 memory=460100 CPUtime=101.98 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 444160 0 0 0 10152 46 0 0 20 0 3 0 4590654 567693312 115025 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 138597 115025 3302 3035 0 127028 0
[pid=30430/tid=30531] ppid=30427 vsize=554388 memory=12356 CPUtime=96.57 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 396991 0 0 0 9623 34 0 0 20 0 3 0 4591194 567693312 115025 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=554388 memory=-7380392105938607998 CPUtime=0 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4591201 567693312 115025 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 554388 KiB
Current children cumulated memory: 460100 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/252 30618
/proc/meminfo: memFree=127847468/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=554540 memory=466584 CPUtime=161.8 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 520028 0 0 0 16129 51 0 0 20 0 3 0 4590654 567848960 116646 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 138635 116646 3302 3035 0 127415 0
[pid=30430/tid=30531] ppid=30427 vsize=554540 memory=466576 CPUtime=156.38 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 472810 0 0 0 15599 39 0 0 20 0 3 0 4591194 567848960 116646 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=554540 memory=466584 CPUtime=0 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4591201 567848960 116646 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 554540 KiB
Current children cumulated memory: 466584 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/252 30629
/proc/meminfo: memFree=127844044/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=554540 memory=466600 CPUtime=221.61 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 554258 0 0 0 22107 54 0 0 20 0 3 0 4590654 567848960 116650 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 138635 116650 3302 3035 0 127415 0
[pid=30430/tid=30531] ppid=30427 vsize=554540 memory=-7380392105938607998 CPUtime=216.19 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 506979 0 0 0 21577 42 0 0 20 0 3 0 4591194 567848960 116650 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=554540 memory=5548 CPUtime=0 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4591201 567848960 116650 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 554540 KiB
Current children cumulated memory: 466600 KiB

[startup+282.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/251 30640
/proc/meminfo: memFree=127840780/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=554540 memory=469072 CPUtime=281.47 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 605116 0 0 0 28088 59 0 0 20 0 3 0 4590654 567848960 117268 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 138635 117268 3302 3035 0 127415 0
[pid=30430/tid=30531] ppid=30427 vsize=554540 memory=468320 CPUtime=276.04 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 557814 0 0 0 27558 46 0 0 20 0 3 0 4591194 567848960 117268 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0

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

[pid=30430] ppid=30427 vsize=554992 memory=525416 CPUtime=1358.8 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 784259 0 0 0 135794 86 0 0 20 0 3 0 4590654 568311808 131354 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 138748 131354 3318 3035 0 135055 0
[pid=30430/tid=30531] ppid=30427 vsize=554992 memory=12880 CPUtime=1353.28 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 736526 0 0 0 135259 69 0 0 20 0 3 0 4591194 568311808 131354 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=554992 memory=525416 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 107 0 0 0 0 1 0 0 20 0 3 0 4591201 568311808 131354 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1358.8 s
Current children cumulated vsize: 554992 KiB
Current children cumulated memory: 525416 KiB

[startup+1422.3 s]
/proc/loadavg: 4.14 4.22 4.20 5/251 30852
/proc/meminfo: memFree=127612500/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=554992 memory=525416 CPUtime=1418.64 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 787458 0 0 0 141777 87 0 0 20 0 3 0 4590654 568311808 131354 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 138748 131354 3318 3035 0 135055 0
[pid=30430/tid=30531] ppid=30427 vsize=554992 memory=12880 CPUtime=1413.12 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 739695 0 0 0 141243 69 0 0 20 0 3 0 4591194 568311808 131354 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=554992 memory=525416 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 111 0 0 0 0 1 0 0 20 0 3 0 4591201 568311808 131354 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1418.64 s
Current children cumulated vsize: 554992 KiB
Current children cumulated memory: 525416 KiB

[startup+1482.3 s]
/proc/loadavg: 4.09 4.19 4.19 5/251 30863
/proc/meminfo: memFree=127607324/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=556016 memory=526100 CPUtime=1478.5 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 790160 0 0 0 147762 88 0 0 20 0 3 0 4590654 569360384 131525 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139004 131525 3318 3035 0 135311 0
[pid=30430/tid=30531] ppid=30427 vsize=556016 memory=12356 CPUtime=1472.97 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 742359 0 0 0 147227 70 0 0 20 0 3 0 4591194 569360384 131525 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=556016 memory=525416 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 113 0 0 0 0 1 0 0 20 0 3 0 4591201 569360384 131525 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1478.5 s
Current children cumulated vsize: 556016 KiB
Current children cumulated memory: 526100 KiB

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

# cumulated CPU time of all completed processes:  user=1517.29 s, system=0.893686 s

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

[startup+1484.8 s]
/proc/loadavg: 4.08 4.19 4.19 5/251 30863
/proc/meminfo: memFree=127607252/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=556016 memory=526100 CPUtime=1480.99 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 790231 0 0 0 148011 88 0 0 20 0 3 0 4590654 569360384 131525 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139004 131525 3318 3035 0 135311 0
[pid=30430/tid=30531] ppid=30427 vsize=556016 memory=1876 CPUtime=1475.46 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 742430 0 0 0 147476 70 0 0 20 0 3 0 4591194 569360384 131525 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=556016 memory=12356 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 113 0 0 0 0 1 0 0 20 0 3 0 4591201 569360384 131525 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1480.99 s
Current children cumulated vsize: 556016 KiB
Current children cumulated memory: 526100 KiB

[startup+1497.6 s]
/proc/loadavg: 4.07 4.18 4.19 5/251 30864
/proc/meminfo: memFree=127605724/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=557040 memory=527348 CPUtime=1493.76 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 790604 0 0 0 149288 88 0 0 20 0 3 0 4590654 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139260 131837 3318 3035 0 135567 0
[pid=30430/tid=30531] ppid=30427 vsize=557040 memory=525416 CPUtime=1488.23 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 742803 0 0 0 148753 70 0 0 20 0 3 0 4591194 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=557040 memory=1876 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 113 0 0 0 0 1 0 0 20 0 3 0 4591201 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1493.76 s
Current children cumulated vsize: 557040 KiB
Current children cumulated memory: 527348 KiB

[startup+1510.4 s]
/proc/loadavg: 4.05 4.17 4.18 5/252 30868
/proc/meminfo: memFree=127605612/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=557040 memory=527348 CPUtime=1506.53 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 791512 0 0 0 150565 88 0 0 20 0 3 0 4590654 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139260 131837 3318 3035 0 135567 0
[pid=30430/tid=30531] ppid=30427 vsize=557040 memory=11392 CPUtime=1501 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 743707 0 0 0 150030 70 0 0 20 0 3 0 4591194 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=557040 memory=526704 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 4591201 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1506.53 s
Current children cumulated vsize: 557040 KiB
Current children cumulated memory: 527348 KiB

[startup+1516.8 s]
/proc/loadavg: 4.13 4.18 4.19 5/252 30869
/proc/meminfo: memFree=127604324/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=557040 memory=527348 CPUtime=1512.91 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 791549 0 0 0 151203 88 0 0 20 0 3 0 4590654 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139260 131837 3318 3035 0 135567 0
[pid=30430/tid=30531] ppid=30427 vsize=557040 memory=527348 CPUtime=1507.38 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 743742 0 0 0 150668 70 0 0 20 0 3 0 4591194 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=557040 memory=527348 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 4591201 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1512.91 s
Current children cumulated vsize: 557040 KiB
Current children cumulated memory: 527348 KiB

[startup+1520 s]*
/proc/loadavg: 4.12 4.18 4.18 5/252 30869
/proc/meminfo: memFree=127603996/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=557040 memory=527348 CPUtime=1516.12 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 791806 0 0 0 151524 88 0 0 20 0 3 0 4590654 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139260 131837 3318 3035 0 135567 0
[pid=30430/tid=30531] ppid=30427 vsize=557040 memory=-7308334511900681086 CPUtime=1510.59 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 743999 0 0 0 150989 70 0 0 20 0 3 0 4591194 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=557040 memory=7655963874156972654 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 4591201 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1516.12 s
Current children cumulated vsize: 557040 KiB
Current children cumulated memory: 527348 KiB

[startup+1520.8 s]
/proc/loadavg: 4.12 4.18 4.18 5/252 30869
/proc/meminfo: memFree=127603996/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=557040 memory=527348 CPUtime=1516.9 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 791806 0 0 0 151602 88 0 0 20 0 3 0 4590654 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139260 131837 3318 3035 0 135567 0
[pid=30430/tid=30531] ppid=30427 vsize=557040 memory=1984 CPUtime=1511.37 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 743999 0 0 0 151067 70 0 0 20 0 3 0 4591194 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=557040 memory=40780 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 4591201 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1516.9 s
Current children cumulated vsize: 557040 KiB
Current children cumulated memory: 527348 KiB

[startup+1521.6 s]
/proc/loadavg: 4.12 4.18 4.18 5/252 30869
/proc/meminfo: memFree=127603996/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=557040 memory=527348 CPUtime=1517.7 cores=1,3
/proc/30430/stat : 30430 (fscip) S 30427 30430 28221 0 -1 1077936128 791818 0 0 0 151682 88 0 0 20 0 3 0 4590654 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139260 131837 3318 3035 0 135567 0
[pid=30430/tid=30531] ppid=30427 vsize=557040 memory=527348 CPUtime=1512.17 cores=1,3
/proc/30430/task/30531/stat : 30531 (fscip) R 30427 30430 28221 0 -1 4194368 744011 0 0 0 151147 70 0 0 20 0 3 0 4591194 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
[pid=30430/tid=30532] ppid=30427 vsize=557040 memory=12880 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 3 0 4591201 570408960 131837 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1517.7 s
Current children cumulated vsize: 557040 KiB
Current children cumulated memory: 527348 KiB

[startup+1522 s]*
/proc/loadavg: 4.12 4.18 4.18 5/252 30871
/proc/meminfo: memFree=127603996/131655788 swapFree=131071996/131071996
[pid=30430] ppid=30427 vsize=557040 memory=525908 CPUtime=1518.11 cores=1,3
/proc/30430/stat : 30430 (fscip) R 30427 30430 28221 0 -1 1077936128 792145 0 0 0 151723 88 0 0 20 0 2 0 4590654 570408960 131477 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
/proc/30430/statm: 139260 131477 3318 3035 0 135567 0
[pid=30430/tid=30532] ppid=30427 vsize=557040 memory=-7308334511900681086 CPUtime=0.01 cores=1,3
/proc/30430/task/30532/stat : 30532 (fscip) S 30427 30430 28221 0 -1 1077936192 115 0 0 0 0 1 0 0 20 0 2 0 4591201 570408960 131477 134679101440 4194304 16623229 140737410804992 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25325568 140737410806806 140737410806922 140737410806922 140737410813936 0
Current children cumulated CPU time: 1518.11 s
Current children cumulated vsize: 557040 KiB
Current children cumulated memory: 525908 KiB

Child status: 0

Real time (s): 1522.08
CPU time (s): 1518.19
CPU user time (s): 1517.29
CPU system time (s): 0.893686
CPU usage (%): 99.7445
Max. virtual memory (cumulated for all children) (KiB): 621552
Max. memory (cumulated for all children) (KiB): 532104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1517.29
system time used= 0.893686
maximum resident set size= 532360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 792783
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= 4140
involuntary context switches= 2101


# summary of solver processes directly reported to runsolver:
#   pid: 30430
#   total CPU time (s): 1518.19
#   total CPU user time (s): 1517.29
#   total CPU system time (s): 0.893686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47853 second user time and 14.3006 second system time

The end

Launcher Data

Begin job on nodeC004 at 2024-07-31 01:29:55
IDJOB=4464131
IDBENCH=148768
IDSOLVER=3092
FILE ID=nodeC004/4464131-1722382195
RUNJOBID= nodeC004-1722378594-28233
SLURM_JOB_ID= 8249834
Free space on /tmp= 723700 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.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-4464131-1722382195/watcher-4464131-1722382195 -o /tmp/evaluation-result-4464131-1722382195/solver-4464131-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28233 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464131-1722382195.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1367756045

nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128847276 kB
MemAvailable:   129789824 kB
Buffers:           91720 kB
Cached:          1686068 kB
SwapCached:            0 kB
Active:           250532 kB
Inactive:        2127892 kB
Active(anon):       1408 kB
Inactive(anon):   620540 kB
Active(file):     249124 kB
Inactive(file):  1507352 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114736 kB
Writeback:             0 kB
AnonPages:        600344 kB
Mapped:           121588 kB
Shmem:             21320 kB
KReclaimable:      52544 kB
Slab:             128316 kB
SReclaimable:      52544 kB
SUnreclaim:        75772 kB
KernelStack:        3952 kB
PageTables:        10248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     990064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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:      172872 kB
DirectMap2M:     9168896 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC004 at 2024-07-31 01:55:18