Trace number 4450270

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02UNSAT 1485.04 1489.55

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l080-r079-n1.cnf-plain.pb.metafix.opb
MD5SUM266633e779ed92513dfdd11bdc765a52
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark1.98419
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5685
Total number of constraints17960
Number of constraints which are clauses17960
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.05	c Default LC presolving (default).
0.00/0.05	c ** Before presolving: virtualMemUsedAtLc = 59359232, getVmSize() = 59359232, SCIPgetMemUsed() = 31236172, SCIPgetMemTotal() = 36412300, SCIPgetMemExternEstim() = 21925855
0.00/0.05	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.30	c ** Estimated virtualMemUsedAtSolver = 80755993, getVmSize() = 125050880, SCIPgetMemUsed() = 68877903, SCIPgetMemTotal() = 99208135, SCIPgetMemExternEstim() = 21925855
0.20/0.30	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.30	c Original Problem   :
0.20/0.30	c   Problem name     : instance-4450270-1721410586
0.20/0.30	c   Variables        : 5685 (5685 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30	c   Constraints      : 17960
0.20/0.30	c   Objective sense  : minimize
0.20/0.30	c Presolved Problem  :
0.20/0.30	c   Variables        : 5662 (5662 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30	c   Constraints      : 12211
0.20/0.30	c Constraints        : Number
0.20/0.30	c   setppc           : 12210 
0.20/0.30	c   orbitope         : 1 
0.20/0.30	c ** Instance transfer method used: 0
0.30/0.32	c ** ParaScipInstance copy increased the number of variables. **
0.30/0.34	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.34	c                                Nodes    Active                                            
0.30/0.34	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
6.56/6.61	c         7              2           1         1                -           0.0000          -
12.65/12.73	c        13            159         111         1                -           0.0000          -
17.74/17.83	c        18            432         101         1                -           0.0000          -
22.82/22.91	c        23            934         132         1                -           0.0000          -
27.81/27.99	c        28           1389         123         1                -           0.0000          -
33.00/33.18	c        33           1944         112         1                -           0.0000          -
38.08/38.29	c        38           2464         111         1                -           0.0000          -
45.56/45.73	c        46           2650           1         1                -           0.0000          -
51.15/51.39	c        51           2672          17         1                -           0.0000          -
56.54/56.73	c        57           2944          57         1                -           0.0000          -
61.73/61.99	c        62           3447          59         1                -           0.0000          -
66.81/67.05	c        67           3902          58         1                -           0.0000          -
71.99/72.28	c        72           4453          34         1                -           0.0000          -
77.38/77.65	c        78           4840          38         1                -           0.0000          -
82.46/82.72	c        83           5245          56         1                -           0.0000          -
87.45/87.79	c        88           5689          48         1                -           0.0000          -
92.74/93.02	c        93           6059          53         1                -           0.0000          -
97.82/98.15	c        98           6454          47         1                -           0.0000          -
103.01/103.35	c       103           6889          46         1                -           0.0000          -
108.09/108.44	c       108           7024          46         1                -           0.0000          -
113.18/113.51	c       114           7531          37         1                -           0.0000          -
118.66/119.01	c       119           7978          40         1                -           0.0000          -
123.84/124.25	c       124           8420          62         1                -           0.0000          -
129.53/129.97	c       130           8893          63         1                -           0.0000          -
135.02/135.40	c       135           9295          66         1                -           0.0000          -
140.10/140.56	c       141           9704          73         1                -           0.0000          -
145.38/145.80	c       146          10137          75         1                -           0.0000          -
150.37/150.85	c       151          10575          69         1                -           0.0000          -
156.06/156.52	c       157          11022          79         1                -           0.0000          -
162.65/163.19	c       163          11374          81         1                -           0.0000          -
167.83/168.30	c       168          11777          86         1                -           0.0000          -
172.81/173.37	c       173          12224          79         1                -           0.0000          -
178.40/178.95	c       179          12508          94         1                -           0.0000          -
183.68/184.26	c       184          12888         100         1                -           0.0000          -
188.87/189.42	c       189          13252         101         1                -           0.0000          -
193.85/194.48	c       194          13569          92         1                -           0.0000          -
199.14/199.71	c       200          14091          95         1                -           0.0000          -
204.62/205.21	c       205          14520          96         1                -           0.0000          -
209.80/210.48	c       210          15016         102         1                -           0.0000          -
214.89/215.55	c       216          15469         106         1                -           0.0000          -
220.87/221.51	c       222          15886         103         1                -           0.0000          -
225.86/226.56	c       227          16362         118         1                -           0.0000          -
230.94/231.64	c       232          16841         125         1                -           0.0000          -
236.03/236.74	c       237          17333         106         1                -           0.0000          -
241.12/241.82	c       242          17843         104         1                -           0.0000          -
246.31/247.03	c       247          18323         109         1                -           0.0000          -
251.40/252.12	c       252          18763         110         1                -           0.0000          -
256.47/257.23	c       257          19193         108         1                -           0.0000          -
261.66/262.44	c       262          19552         102         1                -           0.0000          -
266.75/267.51	c       268          19963         108         1                -           0.0000          -
271.84/272.67	c       273          20413         104         1                -           0.0000          -
277.02/277.83	c       278          20910         102         1                -           0.0000          -
282.10/282.93	c       283          21334         109         1                -           0.0000          -
287.08/287.99	c       288          21830         109         1                -           0.0000          -
292.16/293.07	c       293          22161         102         1                -           0.0000          -
297.65/298.59	c       299          22563         100         1                -           0.0000          -
302.72/303.68	c       304          22982         109         1                -           0.0000          -
308.11/309.07	c       309          23414         106         1                -           0.0000          -
313.19/314.19	c       314          23878         117         1                -           0.0000          -
318.37/319.34	c       319          24274         110         1                -           0.0000          -
323.45/324.43	c       324          24722         104         1                -           0.0000          -
328.84/329.89	c       330          25133         105         1                -           0.0000          -
334.12/335.19	c       335          25554         108         1                -           0.0000          -
339.30/340.39	c       340          25995         112         1                -           0.0000          -
344.38/345.46	c       345          26481         104         1                -           0.0000          -
349.66/350.73	c       351          26884         102         1                -           0.0000          -
354.74/355.82	c       356          27403         100         1                -           0.0000          -
359.82/360.96	c       361          27896          93         1                -           0.0000          -
365.11/366.29	c       366          28309          92         1                -           0.0000          -
370.19/371.39	c       371          28754          99         1                -           0.0000          -
375.27/376.44	c       376          29201          90         1                -           0.0000          -
380.25/381.49	c       381          29673         103         1                -           0.0000          -
385.33/386.58	c       387          30201          95         1                -           0.0000          -
390.51/391.74	c       392          30675          92         1                -           0.0000          -
395.59/396.83	c       397          31160          90         1                -           0.0000          -
400.68/401.99	c       402          31547         107         1                -           0.0000          -
405.86/407.14	c       407          31972          91         1                -           0.0000          -
410.94/412.29	c       412          32483         100         1                -           0.0000          -
419.10/420.47	c       420          32924          93         1                -           0.0000          -
424.30/425.61	c       426          33392          91         1                -           0.0000          -
429.28/430.68	c       431          33901          96         1                -           0.0000          -
434.46/435.86	c       436          34420          91         1                -           0.0000          -
439.54/440.96	c       441          34884          95         1                -           0.0000          -
444.63/446.01	c       446          35341          97         1                -           0.0000          -
449.71/451.12	c       451          35792         108         1                -           0.0000          -
454.78/456.23	c       456          36304         100         1                -           0.0000          -
459.86/461.35	c       461          36729          95         1                -           0.0000          -
464.94/466.49	c       466          37139          92         1                -           0.0000          -
470.03/471.58	c       472          37545         100         1                -           0.0000          -
475.11/476.67	c       477          37965          98         1                -           0.0000          -
481.69/483.26	c       483          38224          93         1                -           0.0000          -
486.87/488.40	c       488          38777          97         1                -           0.0000          -
492.05/493.61	c       494          39241          87         1                -           0.0000          -
497.14/498.71	c       499          39725          91         1                -           0.0000          -
502.22/503.80	c       504          40188         102         1                -           0.0000          -
507.19/508.86	c       509          40665         110         1                -           0.0000          -
512.28/513.91	c       514          41012          93         1                -           0.0000          -
517.37/519.05	c       519          41378          99         1                -           0.0000          -
522.45/524.19	c       524          41730          88         1                -           0.0000          -
527.53/529.26	c       529          42179          93         1                -           0.0000          -
532.71/534.40	c       534          42660          95         1                -           0.0000          -
537.79/539.55	c       540          43036          92         1                -           0.0000          -
542.88/544.61	c       545          43463          92         1                -           0.0000          -
548.06/549.80	c       550          43939          94         1                -           0.0000          -
553.24/555.07	c       555          44342          89         1                -           0.0000          -
558.32/560.18	c       560          44726          95         1                -           0.0000          -
563.40/565.26	c       565          45172          91         1                -           0.0000          -
568.48/570.39	c       570          45660          89         1                -           0.0000          -
573.76/575.61	c       576          46170          96         1                -           0.0000          -
578.75/580.69	c       581          46692          94         1                -           0.0000          -
583.93/585.80	c       586          47113          90         1                -           0.0000          -
588.90/590.87	c       591          47467          94         1                -           0.0000          -
596.89/598.84	c       599          47924          95         1                -           0.0000          -
601.96/603.94	c       604          48304          96         1                -           0.0000          -
606.95/608.99	c       609          48654         112         1                -           0.0000          -
612.03/614.05	c       614          49090          99         1                -           0.0000          -
617.41/619.45	c       619          49533         101         1                -           0.0000          -
622.40/624.49	c       624          49959         111         1                -           0.0000          -
627.49/629.57	c       630          50336         106         1                -           0.0000          -
632.57/634.64	c       635          50681         108         1                -           0.0000          -
637.86/639.91	c       640          51075          90         1                -           0.0000          -
642.95/645.04	c       645          51472          89         1                -           0.0000          -
648.03/650.16	c       650          51851          89         1                -           0.0000          -
653.11/655.22	c       655          52275         103         1                -           0.0000          -
658.21/660.38	c       660          52840         102         1                -           0.0000          -
663.49/665.67	c       666          53266          99         1                -           0.0000          -
668.57/670.73	c       671          53792         104         1                -           0.0000          -
673.56/675.79	c       676          54294         110         1                -           0.0000          -
678.65/680.84	c       681          54812         107         1                -           0.0000          -
683.64/685.89	c       686          55041         107         1                -           0.0000          -
688.72/690.96	c       691          55460         100         1                -           0.0000          -
693.81/696.06	c       696          55935          96         1                -           0.0000          -
698.89/701.13	c       701          56337         102         1                -           0.0000          -
704.07/706.30	c       706          56741         105         1                -           0.0000          -
709.07/711.38	c       711          57195          99         1                -           0.0000          -
714.15/716.45	c       716          57649         102         1                -           0.0000          -
719.43/721.78	c       722          58121          97         1                -           0.0000          -
724.93/727.23	c       727          58487         102         1                -           0.0000          -
730.21/732.53	c       733          58974         113         1                -           0.0000          -
735.39/737.77	c       738          59473          97         1                -           0.0000          -
741.08/743.45	c       743          59883         105         1                -           0.0000          -
746.26/748.60	c       749          60325         106         1                -           0.0000          -
751.45/753.88	c       754          60747         102         1                -           0.0000          -
757.24/759.66	c       760          61129         108         1                -           0.0000          -
762.42/764.84	c       765          61613         104         1                -           0.0000          -
767.61/770.03	c       770          62030         101         1                -           0.0000          -
772.89/775.34	c       775          62476         112         1                -           0.0000          -
777.98/780.40	c       780          63045         108         1                -           0.0000          -
783.47/785.94	c       786          63345         114         1                -           0.0000          -
788.65/791.18	c       791          63758         107         1                -           0.0000          -
793.73/796.23	c       796          64210         108         1                -           0.0000          -
798.82/801.36	c       801          64649         108         1                -           0.0000          -
803.91/806.42	c       806          65106         122         1                -           0.0000          -
808.89/811.47	c       811          65526          98         1                -           0.0000          -
813.98/816.54	c       817          65920          99         1                -           0.0000          -
819.27/821.82	c       822          66375         105         1                -           0.0000          -
824.25/826.89	c       827          66854         105         1                -           0.0000          -
829.34/831.99	c       832          67329         111         1                -           0.0000          -
834.73/837.39	c       837          67797         115         1                -           0.0000          -
839.81/842.44	c       842          68315         115         1                -           0.0000          -
846.09/848.79	c       849          68844         112         1                -           0.0000          -
851.19/853.88	c       854          69357         126         1                -           0.0000          -
856.27/858.93	c       859          69862         137         1                -           0.0000          -
861.26/863.98	c       864          70356         123         1                -           0.0000          -
866.54/869.27	c       869          70874         120         1                -           0.0000          -
871.63/874.37	c       874          71332         107         1                -           0.0000          -
876.81/879.52	c       880          71787         111         1                -           0.0000          -
881.90/884.62	c       885          72261         106         1                -           0.0000          -
886.88/889.68	c       890          72731         117         1                -           0.0000          -
891.97/894.73	c       895          73235         111         1                -           0.0000          -
897.06/899.85	c       900          73810         104         1                -           0.0000          -
902.14/904.94	c       905          74385          99         1                -           0.0000          -
907.23/910.08	c       910          74760         133         1                -           0.0000          -
912.33/915.15	c       915          75222         117         1                -           0.0000          -
917.80/920.67	c       921          75577         127         1                -           0.0000          -
922.89/925.79	c       926          75984         140         1                -           0.0000          -
927.97/930.86	c       931          76408         140         1                -           0.0000          -
933.06/935.97	c       936          76805         148         1                -           0.0000          -
938.25/941.15	c       941          77247         135         1                -           0.0000          -
943.33/946.27	c       946          77666         115         1                -           0.0000          -
948.42/951.37	c       951          78120         112         1                -           0.0000          -
953.90/956.87	c       957          78561         116         1                -           0.0000          -
959.20/962.10	c       962          79009         118         1                -           0.0000          -
964.18/967.16	c       967          79544         122         1                -           0.0000          -
969.26/972.29	c       972          80020         130         1                -           0.0000          -
974.45/977.45	c       977          80486         118         1                -           0.0000          -
979.54/982.53	c       983          80991         128         1                -           0.0000          -
987.52/990.52	c       991          81344         127         1                -           0.0000          -
992.90/995.92	c       996          81801         118         1                -           0.0000          -
997.89/1000.97	c      1001          82248         125         1                -           0.0000          -
1002.98/1006.03	c      1006          82734         126         1                -           0.0000          -
1008.07/1011.13	c      1011          83164         122         1                -           0.0000          -
1013.25/1016.38	c      1016          83634         137         1                -           0.0000          -
1018.33/1021.47	c      1021          84148         114         1                -           0.0000          -
1023.43/1026.54	c      1027          84567         116         1                -           0.0000          -
1028.51/1031.64	c      1032          85066         123         1                -           0.0000          -
1033.59/1036.71	c      1037          85580         111         1                -           0.0000          -
1038.58/1041.79	c      1042          85928         118         1                -           0.0000          -
1043.67/1046.86	c      1047          86366         115         1                -           0.0000          -
1048.86/1052.06	c      1052          86814         120         1                -           0.0000          -
1054.04/1057.29	c      1057          87350         111         1                -           0.0000          -
1059.33/1062.55	c      1063          87789         113         1                -           0.0000          -
1064.61/1067.80	c      1068          88251         125         1                -           0.0000          -
1069.60/1072.85	c      1073          88792         113         1                -           0.0000          -
1074.69/1077.93	c      1078          89243         121         1                -           0.0000          -
1079.88/1083.13	c      1083          89692         113         1                -           0.0000          -
1084.86/1088.18	c      1088          90113         119         1                -           0.0000          -
1090.05/1093.38	c      1093          90538         103         1                -           0.0000          -
1095.14/1098.49	c      1098          91028         113         1                -           0.0000          -
1100.22/1103.57	c      1104          91477         104         1                -           0.0000          -
1105.31/1108.63	c      1109          91830         106         1                -           0.0000          -
1111.19/1114.52	c      1115          92063         100         1                -           0.0000          -
1116.38/1119.79	c      1120          92459         112         1                -           0.0000          -
1121.57/1124.91	c      1125          92904          99         1                -           0.0000          -
1126.66/1130.09	c      1130          93319         109         1                -           0.0000          -
1131.75/1135.16	c      1135          93809         113         1                -           0.0000          -
1136.82/1140.23	c      1140          94329         108         1                -           0.0000          -
1141.82/1145.29	c      1145          94774         110         1                -           0.0000          -
1146.90/1150.38	c      1150          95171          96         1                -           0.0000          -
1151.99/1155.45	c      1155          95706          93         1                -           0.0000          -
1157.08/1160.52	c      1161          96164          98         1                -           0.0000          -
1162.56/1166.03	c      1166          96574          99         1                -           0.0000          -
1167.65/1171.14	c      1171          97024          97         1                -           0.0000          -
1172.73/1176.20	c      1176          97528         104         1                -           0.0000          -
1177.72/1181.26	c      1181          97982          87         1                -           0.0000          -
1182.81/1186.31	c      1186          98472         100         1                -           0.0000          -
1187.79/1191.36	c      1191          99021          92         1                -           0.0000          -
1193.49/1197.07	c      1197          99536          84         1                -           0.0000          -
1198.57/1202.13	c      1202          99986          82         1                -           0.0000          -
1203.66/1207.26	c      1207         100438          90         1                -           0.0000          -
1209.54/1213.19	c      1213         100768          83         1                -           0.0000          -
1214.81/1218.47	c      1218         101207          89         1                -           0.0000          -
1219.99/1223.66	c      1224         101698          75         1                -           0.0000          -
1225.08/1228.72	c      1229         102092          81         1                -           0.0000          -
1230.26/1233.92	c      1234         102515          85         1                -           0.0000          -
1235.75/1239.40	c      1239         102951          98         1                -           0.0000          -
1240.73/1244.44	c      1244         103413          86         1                -           0.0000          -
1245.81/1249.52	c      1250         103837          84         1                -           0.0000          -
1250.89/1254.60	c      1255         104346          75         1                -           0.0000          -
1255.97/1259.70	c      1260         104813          77         1                -           0.0000          -
1261.26/1265.08	c      1265         105268          73         1                -           0.0000          -
1266.43/1270.28	c      1270         105696          74         1                -           0.0000          -
1271.52/1275.38	c      1275         106109          79         1                -           0.0000          -
1276.90/1280.71	c      1281         106572          79         1                -           0.0000          -
1282.48/1286.31	c      1286         107034          76         1                -           0.0000          -
1287.56/1291.41	c      1291         107579          74         1                -           0.0000          -
1293.04/1296.90	c      1297         108065          70         1                -           0.0000          -
1298.13/1302.05	c      1302         108503          75         1                -           0.0000          -
1303.22/1307.13	c      1307         108917          78         1                -           0.0000          -
1308.29/1312.23	c      1312         109389         103         1                -           0.0000          -
1313.27/1317.28	c      1317         109808          77         1                -           0.0000          -
1318.35/1322.38	c      1322         110220         104         1                -           0.0000          -
1323.44/1327.44	c      1327         110699          99         1                -           0.0000          -
1328.52/1332.53	c      1333         111133          76         1                -           0.0000          -
1333.59/1337.64	c      1338         111593          68         1                -           0.0000          -
1338.68/1342.78	c      1343         112068          64         1                -           0.0000          -
1344.56/1348.60	c      1349         112500          63         1                -           0.0000          -
1349.74/1353.87	c      1354         112869          62         1                -           0.0000          -
1355.04/1359.14	c      1359         113247          53         1                -           0.0000          -
1360.21/1364.34	c      1364         113641          51         1                -           0.0000          -
1365.29/1369.43	c      1369         114061          61         1                -           0.0000          -
1374.46/1378.65	c      1379         114505          56         1                -           0.0000          -
1380.04/1384.21	c      1384         114933          45         1                -           0.0000          -
1385.33/1389.50	c      1390         115286          37         1                -           0.0000          -
1390.41/1394.67	c      1395         115693          31         1                -           0.0000          -
1395.59/1399.84	c      1400         116068          34         1                -           0.0000          -
1400.67/1404.94	c      1405         116427          31         1                -           0.0000          -
1405.66/1409.99	c      1410         116813          33         1                -           0.0000          -
1410.74/1415.09	c      1415         117181          27         1                -           0.0000          -
1415.82/1420.18	c      1420         117560          26         1                -           0.0000          -
1421.49/1425.85	c      1426         117890          29         1                -           0.0000          -
1426.58/1430.98	c      1431         118288          23         1                -           0.0000          -
1431.67/1436.07	c      1436         118716          31         1                -           0.0000          -
1437.14/1441.52	c      1442         119068          27         1                -           0.0000          -
1442.33/1446.79	c      1447         119530          27         1                -           0.0000          -
1447.41/1451.87	c      1452         119945          19         1                -           0.0000          -
1452.49/1456.96	c      1457         120247          22         1                -           0.0000          -
1457.67/1462.14	c      1462         120700          13         1                -           0.0000          -
1462.75/1467.23	c      1467         121180          20         1                -           0.0000          -
1467.83/1472.36	c      1472         121588          26         1                -           0.0000          -
1473.11/1477.63	c      1478         122048           9         1                -           0.0000          -
1478.20/1482.77	c      1483         122479          14         1                -           0.0000          -
1483.59/1488.19	c      1488         122714           8         1                -           0.0000          -
1484.88/1489.46	c      1489         122859           0         0                -           0.0000          -
1484.98/1489.52	c      1490         122859           0         0                -           0.0000          -
1484.98/1489.52	c SCIP Status        : c problem is solved [infeasible]
1484.98/1489.52	c Total Time         : 1489.5100
1484.98/1489.52	c   solving          : 1489.5100
1484.98/1489.52	c   presolving       : 0.2472 (included in solving)
1484.98/1489.52	c B&B Tree           :
1484.98/1489.52	c   nodes (total)    : 122859
1484.98/1489.52	c Solution           :
1484.98/1489.52	c   Solutions found  : 0
1484.98/1489.52	c   Primal Bound     :          -
1484.98/1489.52	c   Dual Bound       :          -
1484.98/1489.52	c Gap                :          -
1484.98/1489.53	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: 63931 MiB (60855 MiB free)
  memory of node 1: 64510 MiB (61469 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100086 s]*
/proc/loadavg: 1.14 1.10 1.09 8/258 1040565
/proc/meminfo: memFree=125098708/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=72984 memory=62104 CPUtime=0.1 cores=4,6
/proc/1040559/stat : 1040559 (fscip) R 1040545 1040559 1040488 0 -1 4194304 14204 0 0 0 8 2 0 0 20 0 1 0 193228345 74735616 15526 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 18246 15526 2638 3032 0 14646 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72984 KiB
Current children cumulated memory: 62104 KiB

[startup+0.206385 s]*
/proc/loadavg: 1.14 1.10 1.09 8/260 1040567
/proc/meminfo: memFree=125034028/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=74972 memory=63308 CPUtime=0.2 cores=4,6
/proc/1040559/stat : 1040559 (fscip) R 1040545 1040559 1040488 0 -1 4194304 16799 0 0 0 18 2 0 0 20 0 1 0 193228345 76771328 15827 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 18743 15827 2686 3032 0 15143 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74972 KiB
Current children cumulated memory: 63308 KiB

[startup+0.306295 s]*
/proc/loadavg: 1.14 1.10 1.09 7/263 1040570
/proc/meminfo: memFree=124928928/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=203948 memory=100240 CPUtime=0.3 cores=4,6
/proc/1040559/stat : 1040559 (fscip) R 1040545 1040559 1040488 0 -1 4194304 25953 0 0 0 27 3 0 0 20 0 2 0 193228345 208842752 25060 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 50987 25060 2750 3032 0 31035 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=204136 memory=-7664417297291239808 CPUtime=0 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 193228375 209035264 25060 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 203948 KiB
Current children cumulated memory: 100240 KiB

[startup+0.700208 s]
/proc/loadavg: 1.14 1.10 1.09 7/264 1040571
/proc/meminfo: memFree=124829936/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=219060 memory=167896 CPUtime=0.68 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 43196 0 0 0 62 6 0 0 20 0 3 0 193228345 224317440 41974 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 54765 41974 2910 3032 0 50628 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=219060 memory=15976 CPUtime=0.36 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 15610 0 0 0 34 2 0 0 20 0 3 0 193228375 224317440 41974 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=219060 memory=193 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193228379 224317440 41974 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 219060 KiB
Current children cumulated memory: 167896 KiB

[startup+1.50025 s]
/proc/loadavg: 1.14 1.10 1.09 8/264 1040571
/proc/meminfo: memFree=124818016/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=219060 memory=169644 CPUtime=1.47 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 47948 0 0 0 141 6 0 0 20 0 3 0 193228345 224317440 42411 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 54765 42411 2910 3032 0 51005 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=219060 memory=0 CPUtime=1.15 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 20355 0 0 0 113 2 0 0 20 0 3 0 193228375 224317440 42411 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=219060 memory=15976 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193228379 224317440 42411 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 219060 KiB
Current children cumulated memory: 169644 KiB

[startup+3.10631 s]
/proc/loadavg: 1.37 1.15 1.11 8/264 1040571
/proc/meminfo: memFree=124720508/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=288684 memory=182148 CPUtime=3.08 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 56073 0 0 0 301 7 0 0 20 0 3 0 193228345 295612416 45537 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 72171 45537 2926 3032 0 54994 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=288684 memory=0 CPUtime=2.76 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 28480 0 0 0 273 3 0 0 20 0 3 0 193228375 295612416 45537 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=288684 memory=0 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193228379 295612416 45537 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 288684 KiB
Current children cumulated memory: 182148 KiB

[startup+6.30024 s]
/proc/loadavg: 1.37 1.15 1.11 8/264 1040571
/proc/meminfo: memFree=124654620/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=288684 memory=218960 CPUtime=6.26 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 84964 0 0 0 616 10 0 0 20 0 3 0 193228345 295612416 54740 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 72171 54740 2926 3032 0 67623 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=288684 memory=0 CPUtime=5.94 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 57368 0 0 0 588 6 0 0 20 0 3 0 193228375 295612416 54740 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=288684 memory=192316 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 193228379 295612416 54740 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 288684 KiB
Current children cumulated memory: 218960 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 1.20 1.12 7/262 1040619
/proc/meminfo: memFree=124609960/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=354372 memory=237140 CPUtime=12.65 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 112811 0 0 0 1253 12 0 0 20 0 3 0 193228345 362876928 59285 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 88593 59285 2974 3032 0 70852 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=354372 memory=12340 CPUtime=12.33 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 85152 0 0 0 1225 8 0 0 20 0 3 0 193228375 362876928 59285 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=354372 memory=0 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 193228379 362876928 59285 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 354372 KiB
Current children cumulated memory: 237140 KiB

[startup+25.5003 s]
/proc/loadavg: 2.12 1.34 1.17 7/264 1040622
/proc/meminfo: memFree=124385472/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=354540 memory=238456 CPUtime=25.41 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 141167 0 0 0 2527 14 0 0 20 0 3 0 193228345 363048960 59614 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 88635 59614 2974 3032 0 81895 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=354540 memory=4544 CPUtime=25.09 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 113471 0 0 0 2499 10 0 0 20 0 3 0 193228375 363048960 59614 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=354540 memory=238432 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 193228379 363048960 59614 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 354540 KiB
Current children cumulated memory: 238456 KiB

[startup+51.1061 s]
/proc/loadavg: 2.83 1.57 1.25 7/264 1040627
/proc/meminfo: memFree=124260992/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=420080 memory=259968 CPUtime=50.95 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 170284 0 0 0 5079 16 0 0 20 0 3 0 193228345 430161920 64992 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 105020 64992 2974 3032 0 91701 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=420080 memory=259968 CPUtime=50.63 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 142565 0 0 0 5051 12 0 0 20 0 3 0 193228375 430161920 64992 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=420080 memory=-7025470032272527468 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 193228379 430161920 64992 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 420080 KiB
Current children cumulated memory: 259968 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 1.98 1.41 7/264 1040636
/proc/meminfo: memFree=124079820/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=485616 memory=329732 CPUtime=102 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 220489 0 0 0 10177 23 0 0 20 0 3 0 193228345 497270784 82433 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 121404 82433 2974 3032 0 112049 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=485616 memory=12340 CPUtime=101.68 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 192744 0 0 0 10149 19 0 0 20 0 3 0 193228375 497270784 82433 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=485616 memory=322368 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 193228379 497270784 82433 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 485616 KiB
Current children cumulated memory: 329732 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.36 1.58 7/264 1040647
/proc/meminfo: memFree=123967464/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=551860 memory=391984 CPUtime=161.84 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 254643 0 0 0 16154 30 0 0 20 0 3 0 193228345 565104640 97996 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 137965 97996 2974 3032 0 121087 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=551860 memory=352208 CPUtime=161.52 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 226874 0 0 0 16126 26 0 0 20 0 3 0 193228375 565104640 97996 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=551860 memory=12312 CPUtime=0 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 193228379 565104640 97996 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 551860 KiB
Current children cumulated memory: 391984 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.69 1.74 7/264 1040657
/proc/meminfo: memFree=123871672/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=551860 memory=439836 CPUtime=221.67 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 270804 0 0 0 22133 34 0 0 20 0 3 0 193228345 565104640 109959 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 137965 109959 2974 3032 0 126083 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=551860 memory=437784 CPUtime=221.33 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 243025 0 0 0 22103 30 0 0 20 0 3 0 193228375 565104640 109959 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0

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

/proc/1040559/statm: 207968 175620 2974 3032 0 191759 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=831872 memory=659468 CPUtime=1238.23 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 530156 0 0 0 123733 90 0 0 20 0 3 0 193228375 851836928 175620 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=831872 memory=702480 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 87 0 0 0 0 1 0 0 20 0 3 0 193228379 851836928 175620 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1238.63 s
Current children cumulated vsize: 831872 KiB
Current children cumulated memory: 702480 KiB

[startup+1302.3 s]
/proc/loadavg: 4.12 4.11 3.45 6/261 1041334
/proc/meminfo: memFree=121873820/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=703112 CPUtime=1298.42 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 573961 0 0 0 129742 100 0 0 20 0 3 0 193228345 855416832 175778 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 175778 2974 3032 0 192633 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=702672 CPUtime=1298.01 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 546002 0 0 0 129708 93 0 0 20 0 3 0 193228375 855416832 175778 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=12340 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 89 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 175778 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1298.42 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 703112 KiB

[startup+1362.3 s]
/proc/loadavg: 4.09 4.11 3.49 6/263 1041514
/proc/meminfo: memFree=121857544/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=704116 CPUtime=1358.22 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 591484 0 0 0 135718 104 0 0 20 0 3 0 193228345 855416832 176029 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 176029 2974 3032 0 192633 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=702672 CPUtime=1357.8 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 563514 0 0 0 135683 97 0 0 20 0 3 0 193228375 855416832 176029 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=12340 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 91 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 176029 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1358.22 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 704116 KiB

[startup+1422.3 s]
/proc/loadavg: 4.10 4.10 3.53 6/263 1041524
/proc/meminfo: memFree=121823676/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=705428 CPUtime=1418.01 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 605877 0 0 0 141695 106 0 0 20 0 3 0 193228345 855416832 176357 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 176357 2974 3032 0 192633 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=702672 CPUtime=1417.59 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 577897 0 0 0 141660 99 0 0 20 0 3 0 193228375 855416832 176357 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=12340 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 93 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 176357 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1418.01 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 705428 KiB

[startup+1482.3 s]
/proc/loadavg: 4.09 4.09 3.57 6/264 1041549
/proc/meminfo: memFree=121817928/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=706784 CPUtime=1477.8 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 623576 0 0 0 147670 110 0 0 20 0 3 0 193228345 855416832 176696 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 176696 2974 3032 0 192633 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=706176 CPUtime=1477.38 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 595586 0 0 0 147635 103 0 0 20 0 3 0 193228375 855416832 176696 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=706780 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 176696 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1477.8 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 706784 KiB

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

# cumulated CPU time of all completed processes:  user=1483.91 s, system=1.12956 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.09 3.57 6/264 1041549
/proc/meminfo: memFree=121817956/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=706792 CPUtime=1480.29 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 623841 0 0 0 147919 110 0 0 20 0 3 0 193228345 855416832 176698 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 176698 2974 3032 0 192633 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=5568 CPUtime=1479.87 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 595851 0 0 0 147884 103 0 0 20 0 3 0 193228375 855416832 176698 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=12312 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 176698 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1480.29 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 706792 KiB

[startup+1488 s]*
/proc/loadavg: 4.08 4.09 3.57 6/264 1041550
/proc/meminfo: memFree=121775284/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=713812 CPUtime=1483.49 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 634504 0 0 0 148238 111 0 0 20 0 3 0 193228345 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 178453 2974 3032 0 196356 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=27652 CPUtime=1483.07 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 606514 0 0 0 148203 104 0 0 20 0 3 0 193228375 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=40304 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1483.49 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 713812 KiB

[startup+1488.8 s]
/proc/loadavg: 4.08 4.09 3.57 6/264 1041550
/proc/meminfo: memFree=121775284/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=713812 CPUtime=1484.28 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 634562 0 0 0 148317 111 0 0 20 0 3 0 193228345 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 178453 2974 3032 0 196356 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=713812 CPUtime=1483.86 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 606572 0 0 0 148282 104 0 0 20 0 3 0 193228375 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=5568 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1484.28 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 713812 KiB

[startup+1489.2 s]
/proc/loadavg: 4.07 4.09 3.57 5/260 1041550
/proc/meminfo: memFree=122656072/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=713812 CPUtime=1484.68 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 634598 0 0 0 148357 111 0 0 20 0 3 0 193228345 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 178453 2974 3032 0 196356 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=27652 CPUtime=1484.26 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 606608 0 0 0 148322 104 0 0 20 0 3 0 193228375 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=12340 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1484.68 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 713812 KiB

[startup+1489.4 s]
/proc/loadavg: 4.07 4.09 3.57 5/260 1041550
/proc/meminfo: memFree=122656072/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=835368 memory=713812 CPUtime=1484.88 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 634603 0 0 0 148377 111 0 0 20 0 3 0 193228345 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 208842 178453 2974 3032 0 196356 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=835368 memory=12340 CPUtime=1484.46 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 606613 0 0 0 148342 104 0 0 20 0 3 0 193228375 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=835368 memory=706784 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 193228379 855416832 178453 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1484.88 s
Current children cumulated vsize: 835368 KiB
Current children cumulated memory: 713812 KiB

[startup+1489.5 s]
/proc/loadavg: 4.07 4.09 3.57 5/260 1041550
/proc/meminfo: memFree=122656072/131524600 swapFree=131071996/131071996
[pid=1040559] ppid=1040545 vsize=831420 memory=709864 CPUtime=1484.98 cores=4,6
/proc/1040559/stat : 1040559 (fscip) S 1040545 1040559 1040488 0 -1 1077936128 635265 0 0 0 148387 111 0 0 20 0 3 0 193228345 851374080 177466 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
/proc/1040559/statm: 207855 177466 2974 3032 0 195369 0
[pid=1040559/tid=1040570] ppid=1040545 vsize=831420 memory=706780 CPUtime=1484.56 cores=4,6
/proc/1040559/task/1040570/stat : 1040570 (fscip) R 1040545 1040559 1040488 0 -1 4194368 607273 0 0 0 148352 104 0 0 20 0 3 0 193228375 851374080 177466 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
[pid=1040559/tid=1040571] ppid=1040545 vsize=831420 memory=706700 CPUtime=0.01 cores=4,6
/proc/1040559/task/1040571/stat : 1040571 (fscip) S 1040545 1040559 1040488 0 -1 1077936192 95 0 0 0 0 1 0 0 20 0 3 0 193228379 851374080 177466 134679101440 4194304 16613245 140734865705040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 39501824 140734865712147 140734865712263 140734865712263 140734865719280 0
Current children cumulated CPU time: 1484.98 s
Current children cumulated vsize: 831420 KiB
Current children cumulated memory: 709864 KiB

Child status: 0

Real time (s): 1489.55
CPU time (s): 1485.04
CPU user time (s): 1483.91
CPU system time (s): 1.12956
CPU usage (%): 99.6968
Max. virtual memory (cumulated for all children) (KiB): 835368
Max. memory (cumulated for all children) (KiB): 715732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1483.91
system time used= 1.12956
maximum resident set size= 720220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638079
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= 4316
involuntary context switches= 1106


# summary of solver processes directly reported to runsolver:
#   pid: 1040559
#   total CPU time (s): 1485.04
#   total CPU user time (s): 1483.91
#   total CPU system time (s): 1.12956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.12936 second user time and 7.68227 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-19 19:36:38
IDJOB=4450270
IDBENCH=160419
IDSOLVER=3064
FILE ID=nodeC033/4450270-1721410586
RUNJOBID= nodeC033-1721410598-1040499
SLURM_JOB_ID= 7545470
Free space on /tmp= 890084 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l080-r079-n1.cnf-plain.pb.metafix.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-4450270-1721410586/watcher-4450270-1721410586 -o /tmp/evaluation-result-4450270-1721410586/solver-4450270-1721410586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040499 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4450270-1721410586.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 266633e779ed92513dfdd11bdc765a52
RANDOM SEED=587076961

nodeC033.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		: 3720.091
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.50
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		: 3730.503
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.25
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		: 3764.597
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.50
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		: 3716.502
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.25
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		: 3578.650
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.50
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		: 3599.549
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.25
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		: 3581.140
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.50
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		: 3520.833
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125262996 kB
MemAvailable:   129626424 kB
Buffers:          567052 kB
Cached:          4589408 kB
SwapCached:            0 kB
Active:          1026300 kB
Inactive:        4509592 kB
Active(anon):       1464 kB
Inactive(anon):   423584 kB
Active(file):    1024836 kB
Inactive(file):  4086008 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            112588 kB
Writeback:             0 kB
AnonPages:        376468 kB
Mapped:           106936 kB
Shmem:             45908 kB
KReclaimable:     184460 kB
Slab:             307812 kB
SReclaimable:     184460 kB
SUnreclaim:       123352 kB
KernelStack:        3924 kB
PageTables:         9828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     762476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-19 20:01:28