Trace number 4435472

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
mixed-bag 2024-07-02? (TO) 3600.1 3609.68

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUMa599905096c946af5176c07959aa4b57
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark225
Best CPU time to get the best result obtained on this benchmark3558.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 488873
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 488873
Number of bits of the biggest sum of numbers19
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 RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
1.58/1.68	c [STEP] preprocessing with Papilo
4.07/4.12	c Papilo could not simplify the problem
4.07/4.12	c [STEP] solving with SCIP
304.52/306.15	c [STEP] preprocessing done, loading into solver
305.52/307.19	c [STEP] solving
305.52/307.19	c #variables 10001 #constraints 656900
305.52/307.19	c SMALL=int, LARGE=long long
305.52/307.19	c bounds - >= 0 @ 303.967
305.52/307.19	c stratification level: 98
703.26/705.86	c #Conflicts:       1000 | #Constraints:     657900
703.26/705.86	c #Conflicts:       2000 | #Constraints:     658900
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:       3000 | #Constraints:     658913
703.26/705.86	c #Conflicts:       4000 | #Constraints:     659913
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:       5000 | #Constraints:     659321
703.26/705.86	c #Conflicts:       6000 | #Constraints:     660321
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:       7000 | #Constraints:     659319
703.26/705.86	c #Conflicts:       8000 | #Constraints:     660319
703.26/705.86	c #Conflicts:       9000 | #Constraints:     661319
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      10000 | #Constraints:     660019
703.26/705.86	c #Conflicts:      11000 | #Constraints:     661019
703.26/705.86	c #Conflicts:      12000 | #Constraints:     662019
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      13000 | #Constraints:     660472
703.26/705.86	c #Conflicts:      14000 | #Constraints:     661472
703.26/705.86	c #Conflicts:      15000 | #Constraints:     662472
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      16000 | #Constraints:     660699
703.26/705.86	c #Conflicts:      17000 | #Constraints:     661699
703.26/705.86	c #Conflicts:      18000 | #Constraints:     662699
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      19000 | #Constraints:     660720
703.26/705.86	c #Conflicts:      20000 | #Constraints:     661720
703.26/705.86	c #Conflicts:      21000 | #Constraints:     662720
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      22000 | #Constraints:     660517
703.26/705.86	c #Conflicts:      23000 | #Constraints:     661517
703.26/705.86	c #Conflicts:      24000 | #Constraints:     662517
703.26/705.86	c #Conflicts:      25000 | #Constraints:     663517
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      26000 | #Constraints:     661120
703.26/705.86	c #Conflicts:      27000 | #Constraints:     662120
703.26/705.86	c #Conflicts:      28000 | #Constraints:     663120
703.26/705.86	c #Conflicts:      29000 | #Constraints:     664120
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      30000 | #Constraints:     661518
703.26/705.86	c #Conflicts:      31000 | #Constraints:     662518
703.26/705.86	c #Conflicts:      32000 | #Constraints:     663518
703.26/705.86	c #Conflicts:      33000 | #Constraints:     664518
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      34000 | #Constraints:     661721
703.26/705.86	c #Conflicts:      35000 | #Constraints:     662721
703.26/705.86	c #Conflicts:      36000 | #Constraints:     663721
703.26/705.86	c #Conflicts:      37000 | #Constraints:     664721
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      38000 | #Constraints:     661728
703.26/705.86	c #Conflicts:      39000 | #Constraints:     662728
703.26/705.86	c #Conflicts:      40000 | #Constraints:     663728
703.26/705.86	c #Conflicts:      41000 | #Constraints:     664728
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      42000 | #Constraints:     661538
703.26/705.86	c #Conflicts:      43000 | #Constraints:     662538
703.26/705.86	c #Conflicts:      44000 | #Constraints:     663538
703.26/705.86	c #Conflicts:      45000 | #Constraints:     664538
703.26/705.86	c #Conflicts:      46000 | #Constraints:     665538
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      47000 | #Constraints:     662130
703.26/705.86	c #Conflicts:      48000 | #Constraints:     663130
703.26/705.86	c #Conflicts:      49000 | #Constraints:     664130
703.26/705.86	c #Conflicts:      50000 | #Constraints:     665130
703.26/705.86	c #Conflicts:      51000 | #Constraints:     666130
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      52000 | #Constraints:     662528
703.26/705.86	c #Conflicts:      53000 | #Constraints:     663528
703.26/705.86	c #Conflicts:      54000 | #Constraints:     664528
703.26/705.86	c #Conflicts:      55000 | #Constraints:     665528
703.26/705.86	c #Conflicts:      56000 | #Constraints:     666528
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      57000 | #Constraints:     662723
703.26/705.86	c #Conflicts:      58000 | #Constraints:     663723
703.26/705.86	c #Conflicts:      59000 | #Constraints:     664723
703.26/705.86	c #Conflicts:      60000 | #Constraints:     665723
703.26/705.86	c #Conflicts:      61000 | #Constraints:     666723
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      62000 | #Constraints:     662730
703.26/705.86	c #Conflicts:      63000 | #Constraints:     663730
703.26/705.86	c #Conflicts:      64000 | #Constraints:     664730
703.26/705.86	c #Conflicts:      65000 | #Constraints:     665730
703.26/705.86	c #Conflicts:      66000 | #Constraints:     666730
703.26/705.86	c INPROCESSING
703.26/705.86	c GARBAGE COLLECT
703.26/705.86	c #Conflicts:      67000 | #Constraints:     662526
703.26/705.86	c #Conflicts:      68000 | #Constraints:     663526
1296.94/1300.91	c #Conflicts:      69000 | #Constraints:     664526
1296.94/1300.91	c #Conflicts:      70000 | #Constraints:     665526
1296.94/1300.91	c #Conflicts:      71000 | #Constraints:     666526
1296.94/1300.91	c #Conflicts:      72000 | #Constraints:     667526
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:      73000 | #Constraints:     663120
1296.94/1300.91	c #Conflicts:      74000 | #Constraints:     664120
1296.94/1300.91	c #Conflicts:      75000 | #Constraints:     665120
1296.94/1300.91	c #Conflicts:      76000 | #Constraints:     666120
1296.94/1300.91	c #Conflicts:      77000 | #Constraints:     667120
1296.94/1300.91	c #Conflicts:      78000 | #Constraints:     668120
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:      79000 | #Constraints:     663520
1296.94/1300.91	c #Conflicts:      80000 | #Constraints:     664520
1296.94/1300.91	c #Conflicts:      81000 | #Constraints:     665520
1296.94/1300.91	c #Conflicts:      82000 | #Constraints:     666520
1296.94/1300.91	c #Conflicts:      83000 | #Constraints:     667520
1296.94/1300.91	c #Conflicts:      84000 | #Constraints:     668520
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:      85000 | #Constraints:     663730
1296.94/1300.91	c #Conflicts:      86000 | #Constraints:     664730
1296.94/1300.91	c #Conflicts:      87000 | #Constraints:     665730
1296.94/1300.91	c #Conflicts:      88000 | #Constraints:     666730
1296.94/1300.91	c #Conflicts:      89000 | #Constraints:     667730
1296.94/1300.91	c #Conflicts:      90000 | #Constraints:     668730
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:      91000 | #Constraints:     663730
1296.94/1300.91	c #Conflicts:      92000 | #Constraints:     664730
1296.94/1300.91	c #Conflicts:      93000 | #Constraints:     665730
1296.94/1300.91	c #Conflicts:      94000 | #Constraints:     666730
1296.94/1300.91	c #Conflicts:      95000 | #Constraints:     667730
1296.94/1300.91	c #Conflicts:      96000 | #Constraints:     668730
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:      97000 | #Constraints:     663541
1296.94/1300.91	c #Conflicts:      98000 | #Constraints:     664541
1296.94/1300.91	c #Conflicts:      99000 | #Constraints:     665541
1296.94/1300.91	c #Conflicts:     100000 | #Constraints:     666541
1296.94/1300.91	c #Conflicts:     101000 | #Constraints:     667541
1296.94/1300.91	c #Conflicts:     102000 | #Constraints:     668541
1296.94/1300.91	c #Conflicts:     103000 | #Constraints:     669541
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:     104000 | #Constraints:     664129
1296.94/1300.91	c #Conflicts:     105000 | #Constraints:     665129
1296.94/1300.91	c #Conflicts:     106000 | #Constraints:     666129
1296.94/1300.91	c #Conflicts:     107000 | #Constraints:     667129
1296.94/1300.91	c #Conflicts:     108000 | #Constraints:     668129
1296.94/1300.91	c #Conflicts:     109000 | #Constraints:     669129
1296.94/1300.91	c #Conflicts:     110000 | #Constraints:     670129
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:     111000 | #Constraints:     664533
1296.94/1300.91	c #Conflicts:     112000 | #Constraints:     665533
1296.94/1300.91	c #Conflicts:     113000 | #Constraints:     666533
1296.94/1300.91	c #Conflicts:     114000 | #Constraints:     667533
1296.94/1300.91	c #Conflicts:     115000 | #Constraints:     668533
1296.94/1300.91	c #Conflicts:     116000 | #Constraints:     669533
1296.94/1300.91	c #Conflicts:     117000 | #Constraints:     670533
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:     118000 | #Constraints:     664731
1296.94/1300.91	c #Conflicts:     119000 | #Constraints:     665731
1296.94/1300.91	c #Conflicts:     120000 | #Constraints:     666731
1296.94/1300.91	c #Conflicts:     121000 | #Constraints:     667731
1296.94/1300.91	c #Conflicts:     122000 | #Constraints:     668731
1296.94/1300.91	c #Conflicts:     123000 | #Constraints:     669731
1296.94/1300.91	c #Conflicts:     124000 | #Constraints:     670731
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:     125000 | #Constraints:     664724
1296.94/1300.91	c #Conflicts:     126000 | #Constraints:     665724
1296.94/1300.91	c #Conflicts:     127000 | #Constraints:     666724
1296.94/1300.91	c #Conflicts:     128000 | #Constraints:     667724
1296.94/1300.91	c #Conflicts:     129000 | #Constraints:     668724
1296.94/1300.91	c #Conflicts:     130000 | #Constraints:     669724
1296.94/1300.91	c #Conflicts:     131000 | #Constraints:     670724
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:     132000 | #Constraints:     664524
1296.94/1300.91	c #Conflicts:     133000 | #Constraints:     665524
1296.94/1300.91	c #Conflicts:     134000 | #Constraints:     666524
1296.94/1300.91	c #Conflicts:     135000 | #Constraints:     667524
1296.94/1300.91	c #Conflicts:     136000 | #Constraints:     668524
1296.94/1300.91	c #Conflicts:     137000 | #Constraints:     669524
1296.94/1300.91	c #Conflicts:     138000 | #Constraints:     670524
1296.94/1300.91	c #Conflicts:     139000 | #Constraints:     671524
1296.94/1300.91	c INPROCESSING
1296.94/1300.91	c GARBAGE COLLECT
1296.94/1300.91	c #Conflicts:     140000 | #Constraints:     665131
2037.96/2043.72	c #Conflicts:     141000 | #Constraints:     666131
2037.96/2043.72	c #Conflicts:     142000 | #Constraints:     667131
2037.96/2043.72	c #Conflicts:     143000 | #Constraints:     668131
2037.96/2043.72	c #Conflicts:     144000 | #Constraints:     669131
2037.96/2043.72	c #Conflicts:     145000 | #Constraints:     670131
2037.96/2043.72	c #Conflicts:     146000 | #Constraints:     671131
2037.96/2043.72	c #Conflicts:     147000 | #Constraints:     672131
2037.96/2043.72	c INPROCESSING
2037.96/2043.72	c GARBAGE COLLECT
2037.96/2043.72	c #Conflicts:     148000 | #Constraints:     665537
2037.96/2043.72	c #Conflicts:     149000 | #Constraints:     666537
2037.96/2043.72	c #Conflicts:     150000 | #Constraints:     667537
2037.96/2043.72	c #Conflicts:     151000 | #Constraints:     668537
2037.96/2043.72	c #Conflicts:     152000 | #Constraints:     669537
2037.96/2043.72	c #Conflicts:     153000 | #Constraints:     670537
2037.96/2043.72	c #Conflicts:     154000 | #Constraints:     671537
2037.96/2043.72	c #Conflicts:     155000 | #Constraints:     672537
2037.96/2043.72	c INPROCESSING
2037.96/2043.72	c GARBAGE COLLECT
2037.96/2043.72	c #Conflicts:     156000 | #Constraints:     665736
2037.96/2043.72	c #Conflicts:     157000 | #Constraints:     666736
2037.96/2043.72	c #Conflicts:     158000 | #Constraints:     667736
2037.96/2043.72	c #Conflicts:     159000 | #Constraints:     668736
2037.96/2043.72	c #Conflicts:     160000 | #Constraints:     669736
2037.96/2043.72	c #Conflicts:     161000 | #Constraints:     670736
2037.96/2043.72	c #Conflicts:     162000 | #Constraints:     671736
2037.96/2043.72	c #Conflicts:     163000 | #Constraints:     672736
2037.96/2043.72	c INPROCESSING
2037.96/2043.72	c GARBAGE COLLECT
2037.96/2043.72	c #Conflicts:     164000 | #Constraints:     665739
2037.96/2043.72	c #Conflicts:     165000 | #Constraints:     666739
2037.96/2043.72	c #Conflicts:     166000 | #Constraints:     667739
2037.96/2043.72	c #Conflicts:     167000 | #Constraints:     668739
2037.96/2043.72	c #Conflicts:     168000 | #Constraints:     669739
2037.96/2043.72	c #Conflicts:     169000 | #Constraints:     670739
2037.96/2043.72	c #Conflicts:     170000 | #Constraints:     671739
2037.96/2043.72	c #Conflicts:     171000 | #Constraints:     672739
2037.96/2043.72	c INPROCESSING
2037.96/2043.72	c GARBAGE COLLECT
2037.96/2043.72	c #Conflicts:     172000 | #Constraints:     665529
2037.96/2043.72	c #Conflicts:     173000 | #Constraints:     666529
2037.96/2043.72	c #Conflicts:     174000 | #Constraints:     667529
2037.96/2043.72	c #Conflicts:     175000 | #Constraints:     668529
2037.96/2043.72	c #Conflicts:     176000 | #Constraints:     669529
2037.96/2043.72	c #Conflicts:     177000 | #Constraints:     670529
2037.96/2043.72	c #Conflicts:     178000 | #Constraints:     671529
2037.96/2043.72	c #Conflicts:     179000 | #Constraints:     672529
2037.96/2043.72	c #Conflicts:     180000 | #Constraints:     673529
2037.96/2043.72	c INPROCESSING
2037.96/2043.72	c GARBAGE COLLECT
2037.96/2043.72	c #Conflicts:     181000 | #Constraints:     666128
2037.96/2043.72	c #Conflicts:     182000 | #Constraints:     667128
2037.96/2043.72	c #Conflicts:     183000 | #Constraints:     668128
2037.96/2043.72	c #Conflicts:     184000 | #Constraints:     669128
2037.96/2043.72	c #Conflicts:     185000 | #Constraints:     670128
2037.96/2043.72	c #Conflicts:     186000 | #Constraints:     671128
2037.96/2043.72	c #Conflicts:     187000 | #Constraints:     672128
2037.96/2043.72	c #Conflicts:     188000 | #Constraints:     673128
2037.96/2043.72	c #Conflicts:     189000 | #Constraints:     674128
2037.96/2043.72	c INPROCESSING
2037.96/2043.72	c GARBAGE COLLECT
2037.96/2043.72	c #Conflicts:     190000 | #Constraints:     666538
2037.96/2043.72	c #Conflicts:     191000 | #Constraints:     667538
2037.96/2043.72	c #Conflicts:     192000 | #Constraints:     668538
2037.96/2043.72	c #Conflicts:     193000 | #Constraints:     669538
2037.96/2043.72	c #Conflicts:     194000 | #Constraints:     670538
2037.96/2043.72	c #Conflicts:     195000 | #Constraints:     671538
2037.96/2043.72	c #Conflicts:     196000 | #Constraints:     672538
2037.96/2043.72	c #Conflicts:     197000 | #Constraints:     673538
2037.96/2043.72	c #Conflicts:     198000 | #Constraints:     674538
2037.96/2043.72	c INPROCESSING
2037.96/2043.72	c GARBAGE COLLECT
2037.96/2043.72	c #Conflicts:     199000 | #Constraints:     666746
2037.96/2043.72	c #Conflicts:     200000 | #Constraints:     667746
2037.96/2043.72	c #Conflicts:     201000 | #Constraints:     668746
2037.96/2043.72	c #Conflicts:     202000 | #Constraints:     669746
2037.96/2043.72	c #Conflicts:     203000 | #Constraints:     670746
2037.96/2043.72	c #Conflicts:     204000 | #Constraints:     671746
2037.96/2043.72	c #Conflicts:     205000 | #Constraints:     672746
2037.96/2043.72	c #Conflicts:     206000 | #Constraints:     673746
2037.96/2043.72	c #Conflicts:     207000 | #Constraints:     674746
2037.96/2043.72	c INPROCESSING
2037.96/2043.72	c GARBAGE COLLECT
2037.96/2043.72	c #Conflicts:     208000 | #Constraints:     666739
2037.96/2043.72	c #Conflicts:     209000 | #Constraints:     667739
2037.96/2043.72	c #Conflicts:     210000 | #Constraints:     668739
2037.96/2043.72	c #Conflicts:     211000 | #Constraints:     669739
2037.96/2043.72	c #Conflicts:     212000 | #Constraints:     670739
2037.96/2043.72	c #Conflicts:     213000 | #Constraints:     671739
2868.34/2876.16	c #Conflicts:     214000 | #Constraints:     672739
2868.34/2876.16	c #Conflicts:     215000 | #Constraints:     673739
2868.34/2876.16	c #Conflicts:     216000 | #Constraints:     674739
2868.34/2876.16	c INPROCESSING
2868.34/2876.16	c GARBAGE COLLECT
2868.34/2876.16	c #Conflicts:     217000 | #Constraints:     666544
2868.34/2876.16	c #Conflicts:     218000 | #Constraints:     667544
2868.34/2876.16	c #Conflicts:     219000 | #Constraints:     668544
2868.34/2876.16	c #Conflicts:     220000 | #Constraints:     669544
2868.34/2876.16	c #Conflicts:     221000 | #Constraints:     670544
2868.34/2876.16	c #Conflicts:     222000 | #Constraints:     671544
2868.34/2876.16	c #Conflicts:     223000 | #Constraints:     672544
2868.34/2876.16	c #Conflicts:     224000 | #Constraints:     673544
2868.34/2876.16	c #Conflicts:     225000 | #Constraints:     674544
2868.34/2876.16	c #Conflicts:     226000 | #Constraints:     675544
2868.34/2876.16	c INPROCESSING
2868.34/2876.16	c GARBAGE COLLECT
2868.34/2876.16	c #Conflicts:     227000 | #Constraints:     667157
2868.34/2876.16	c #Conflicts:     228000 | #Constraints:     668157
2868.34/2876.16	c #Conflicts:     229000 | #Constraints:     669157
2868.34/2876.16	c #Conflicts:     230000 | #Constraints:     670157
2868.34/2876.16	c #Conflicts:     231000 | #Constraints:     671157
2868.34/2876.16	c #Conflicts:     232000 | #Constraints:     672157
2868.34/2876.16	c #Conflicts:     233000 | #Constraints:     673157
2868.34/2876.16	c #Conflicts:     234000 | #Constraints:     674157
2868.34/2876.16	c #Conflicts:     235000 | #Constraints:     675157
2868.34/2876.16	c #Conflicts:     236000 | #Constraints:     676157
2868.34/2876.16	c INPROCESSING
2868.34/2876.16	c GARBAGE COLLECT
2868.34/2876.16	c #Conflicts:     237000 | #Constraints:     667544
2868.34/2876.16	c #Conflicts:     238000 | #Constraints:     668544
2868.34/2876.16	c #Conflicts:     239000 | #Constraints:     669544
2868.34/2876.16	c #Conflicts:     240000 | #Constraints:     670544
2868.34/2876.16	c #Conflicts:     241000 | #Constraints:     671544
2868.34/2876.16	c #Conflicts:     242000 | #Constraints:     672544
2868.34/2876.16	c #Conflicts:     243000 | #Constraints:     673544
2868.34/2876.16	c #Conflicts:     244000 | #Constraints:     674544
2868.34/2876.16	c #Conflicts:     245000 | #Constraints:     675544
2868.34/2876.16	c #Conflicts:     246000 | #Constraints:     676544
2868.34/2876.16	c INPROCESSING
2868.34/2876.16	c GARBAGE COLLECT
2868.34/2876.16	c #Conflicts:     247000 | #Constraints:     667737
2868.34/2876.16	c #Conflicts:     248000 | #Constraints:     668737
2868.34/2876.16	c #Conflicts:     249000 | #Constraints:     669737
2868.34/2876.16	c #Conflicts:     250000 | #Constraints:     670737
2868.34/2876.16	c #Conflicts:     251000 | #Constraints:     671737
2868.34/2876.16	c #Conflicts:     252000 | #Constraints:     672737
2868.34/2876.16	c #Conflicts:     253000 | #Constraints:     673737
2868.34/2876.16	c #Conflicts:     254000 | #Constraints:     674737
2868.34/2876.16	c #Conflicts:     255000 | #Constraints:     675737
2868.34/2876.16	c #Conflicts:     256000 | #Constraints:     676737
2868.34/2876.16	c INPROCESSING
2868.34/2876.16	c GARBAGE COLLECT
2868.34/2876.16	c #Conflicts:     257000 | #Constraints:     667730
2868.34/2876.16	c #Conflicts:     258000 | #Constraints:     668730
2868.34/2876.16	c #Conflicts:     259000 | #Constraints:     669730
2868.34/2876.16	c #Conflicts:     260000 | #Constraints:     670730
2868.34/2876.16	c #Conflicts:     261000 | #Constraints:     671730
2868.34/2876.16	c #Conflicts:     262000 | #Constraints:     672730
2868.34/2876.16	c #Conflicts:     263000 | #Constraints:     673730
2868.34/2876.16	c #Conflicts:     264000 | #Constraints:     674730
2868.34/2876.16	c #Conflicts:     265000 | #Constraints:     675730
2868.34/2876.16	c #Conflicts:     266000 | #Constraints:     676730
2868.34/2876.16	c INPROCESSING
2868.34/2876.16	c GARBAGE COLLECT
2868.34/2876.16	c #Conflicts:     267000 | #Constraints:     667530
2868.34/2876.16	c #Conflicts:     268000 | #Constraints:     668530
2868.34/2876.16	c #Conflicts:     269000 | #Constraints:     669530
2868.34/2876.16	c #Conflicts:     270000 | #Constraints:     670530
2868.34/2876.16	c #Conflicts:     271000 | #Constraints:     671530
2868.34/2876.16	c #Conflicts:     272000 | #Constraints:     672530
2868.34/2876.16	c #Conflicts:     273000 | #Constraints:     673530
2868.34/2876.16	c #Conflicts:     274000 | #Constraints:     674530
2868.34/2876.16	c #Conflicts:     275000 | #Constraints:     675530
2868.34/2876.16	c #Conflicts:     276000 | #Constraints:     676530
2868.34/2876.16	c #Conflicts:     277000 | #Constraints:     677530
2868.34/2876.16	c INPROCESSING
2868.34/2876.16	c GARBAGE COLLECT
2868.34/2876.16	c #Conflicts:     278000 | #Constraints:     668131
2868.34/2876.16	c #Conflicts:     279000 | #Constraints:     669131
2868.34/2876.16	c #Conflicts:     280000 | #Constraints:     670131
2868.34/2876.16	c #Conflicts:     281000 | #Constraints:     671131
2868.34/2876.16	c #Conflicts:     282000 | #Constraints:     672131
2868.34/2876.16	c #Conflicts:     283000 | #Constraints:     673131
2868.34/2876.16	c #Conflicts:     284000 | #Constraints:     674131
2868.34/2876.16	c #Conflicts:     285000 | #Constraints:     675131
2868.34/2876.16	c #Conflicts:     286000 | #Constraints:     676131
2868.34/2876.16	c #Conflicts:     287000 | #Constraints:     677131
2868.34/2876.16	c #Conflicts:     288000 | #Constraints:     678131
3600.02/3609.60	c INPROCESSING
3600.02/3609.60	c GARBAGE COLLECT
3600.02/3609.60	c #Conflicts:     289000 | #Constraints:     668526
3600.02/3609.60	c #Conflicts:     290000 | #Constraints:     669526
3600.02/3609.60	c #Conflicts:     291000 | #Constraints:     670526
3600.02/3609.60	c #Conflicts:     292000 | #Constraints:     671526
3600.02/3609.60	c #Conflicts:     293000 | #Constraints:     672526
3600.02/3609.60	c #Conflicts:     294000 | #Constraints:     673526
3600.02/3609.60	c #Conflicts:     295000 | #Constraints:     674526
3600.02/3609.60	c #Conflicts:     296000 | #Constraints:     675526
3600.02/3609.60	c #Conflicts:     297000 | #Constraints:     676526
3600.02/3609.60	c #Conflicts:     298000 | #Constraints:     677526
3600.02/3609.60	c #Conflicts:     299000 | #Constraints:     678526
3600.02/3609.60	c INPROCESSING
3600.02/3609.60	c GARBAGE COLLECT
3600.02/3609.60	c #Conflicts:     300000 | #Constraints:     668725
3600.02/3609.60	c #Conflicts:     301000 | #Constraints:     669725
3600.02/3609.60	c #Conflicts:     302000 | #Constraints:     670725
3600.02/3609.60	c #Conflicts:     303000 | #Constraints:     671725
3600.02/3609.60	c #Conflicts:     304000 | #Constraints:     672725
3600.02/3609.60	c #Conflicts:     305000 | #Constraints:     673725
3600.02/3609.60	c #Conflicts:     306000 | #Constraints:     674725
3600.02/3609.60	c #Conflicts:     307000 | #Constraints:     675725
3600.02/3609.60	c #Conflicts:     308000 | #Constraints:     676725
3600.02/3609.60	c #Conflicts:     309000 | #Constraints:     677725
3600.02/3609.60	c #Conflicts:     310000 | #Constraints:     678725
3600.02/3609.60	c INPROCESSING
3600.02/3609.60	c GARBAGE COLLECT
3600.02/3609.60	c #Conflicts:     311000 | #Constraints:     668729
3600.02/3609.60	c #Conflicts:     312000 | #Constraints:     669729
3600.02/3609.60	c #Conflicts:     313000 | #Constraints:     670729
3600.02/3609.60	c #Conflicts:     314000 | #Constraints:     671729
3600.02/3609.60	c #Conflicts:     315000 | #Constraints:     672729
3600.02/3609.60	c #Conflicts:     316000 | #Constraints:     673729
3600.02/3609.60	c #Conflicts:     317000 | #Constraints:     674729
3600.02/3609.60	c #Conflicts:     318000 | #Constraints:     675729
3600.02/3609.60	c #Conflicts:     319000 | #Constraints:     676729
3600.02/3609.60	c #Conflicts:     320000 | #Constraints:     677729
3600.02/3609.60	c #Conflicts:     321000 | #Constraints:     678729
3600.02/3609.60	c INPROCESSING
3600.02/3609.60	c GARBAGE COLLECT
3600.02/3609.60	c #Conflicts:     322000 | #Constraints:     668535
3600.02/3609.60	c #Conflicts:     323000 | #Constraints:     669535
3600.02/3609.60	c #Conflicts:     324000 | #Constraints:     670535
3600.02/3609.60	c #Conflicts:     325000 | #Constraints:     671535
3600.02/3609.60	c #Conflicts:     326000 | #Constraints:     672535
3600.02/3609.60	c #Conflicts:     327000 | #Constraints:     673535
3600.02/3609.60	c #Conflicts:     328000 | #Constraints:     674535
3600.02/3609.60	c #Conflicts:     329000 | #Constraints:     675535
3600.02/3609.60	c #Conflicts:     330000 | #Constraints:     676535
3600.02/3609.60	c #Conflicts:     331000 | #Constraints:     677535
3600.02/3609.60	c #Conflicts:     332000 | #Constraints:     678535
3600.02/3609.60	c #Conflicts:     333000 | #Constraints:     679535
3600.02/3609.60	c INPROCESSING
3600.02/3609.60	c GARBAGE COLLECT
3600.02/3609.60	c #Conflicts:     334000 | #Constraints:     669127
3600.02/3609.60	c #Conflicts:     335000 | #Constraints:     670127
3600.02/3609.60	c #Conflicts:     336000 | #Constraints:     671127
3600.02/3609.60	c #Conflicts:     337000 | #Constraints:     672127
3600.02/3609.60	c #Conflicts:     338000 | #Constraints:     673127
3600.02/3609.60	c #Conflicts:     339000 | #Constraints:     674127
3600.02/3609.60	c #Conflicts:     340000 | #Constraints:     675127
3600.02/3609.60	c #Conflicts:     341000 | #Constraints:     676127
3600.02/3609.60	c #Conflicts:     342000 | #Constraints:     677127
3600.02/3609.60	c #Conflicts:     343000 | #Constraints:     678127
3600.02/3609.60	c #Conflicts:     344000 | #Constraints:     679127
3600.02/3609.60	c #Conflicts:     345000 | #Constraints:     680127
3600.02/3609.60	c INPROCESSING
3600.02/3609.60	c GARBAGE COLLECT
3600.02/3609.60	c #Conflicts:     346000 | #Constraints:     669527
3600.02/3609.60	c #Conflicts:     347000 | #Constraints:     670527
3600.02/3609.60	c #Conflicts:     348000 | #Constraints:     671527
3600.02/3609.60	c #Conflicts:     349000 | #Constraints:     672527
3600.02/3609.60	c #Conflicts:     350000 | #Constraints:     673527
3600.02/3609.60	c #Conflicts:     351000 | #Constraints:     674527
3600.02/3609.60	c #Conflicts:     352000 | #Constraints:     675527
3600.02/3609.60	c Program interrupted by user.
3600.02/3609.60	c cpu time 3588.56 s
3600.02/3609.60	c deterministic time 821181135002 8.21e+11
3600.02/3609.60	c optimization time 81.9632 s
3600.02/3609.60	c total solve time 3202.63 s
3600.02/3609.60	c core-guided solve time 3202.63 s
3600.02/3609.60	c propagation time 2252.14 s
3600.02/3609.60	c conflict analysis time 821.49 s
3600.02/3609.60	c propagations 189090187
3600.02/3609.60	c resolve steps 2194096
3600.02/3609.60	c decisions 9730133
3600.02/3609.60	c conflicts 352696
3600.02/3609.60	c restarts 833
3600.02/3609.60	c inprocessing phases 50
3600.02/3609.60	c input clauses 656900
3600.02/3609.60	c input cardinalities 0
3600.02/3609.60	c input general constraints 1
3600.02/3609.60	c input average constraint length 2.05
3600.02/3609.60	c input average constraint degree 1.74
3600.02/3609.60	c learned clauses 33144
3600.02/3609.60	c learned cardinalities 9
3600.02/3609.60	c learned general constraints 319542
3600.02/3609.60	c learned average constraint length 6296.63
3600.02/3609.60	c learned average constraint degree 10784457.93
3600.02/3609.60	c watched constraints 2778
3600.02/3609.60	c counting constraints 316765
3600.02/3609.60	c gcd simplifications 2891
3600.02/3609.60	c detected cardinalities 0
3600.02/3609.60	c weakened non-implied lits 1003513168
3600.02/3609.60	c weakened non-implying lits 89313
3600.02/3609.60	c original variables 10000
3600.02/3609.60	c clausal propagations 27304823
3600.02/3609.60	c cardinality propagations 7
3600.02/3609.60	c watched propagations 117201
3600.02/3609.60	c counting propagations 156393699
3600.02/3609.60	c watch lookups 11671427070
3600.02/3609.60	c watch backjump lookups 11655425241
3600.02/3609.60	c watch checks 1676095564
3600.02/3609.60	c propagation checks 789717665314
3600.02/3609.60	c constraint additions 6062538466
3600.02/3609.60	c trail pops 199163026
3600.02/3609.60	c formula constraints 656900
3600.02/3609.60	c learned constraints 352695
3600.02/3609.60	c bound constraints 1
3600.02/3609.60	c core-guided constraints 0
3600.02/3609.60	c encountered formula constraints 1780976
3600.02/3609.60	c encountered learned constraints 762311
3600.02/3609.60	c encountered bound constraints 3505
3600.02/3609.60	c encountered core-guided constraints 0
3600.02/3609.60	c LP total time 0 s
3600.02/3609.60	c LP solve time 0 s
3600.02/3609.60	c LP constraints added 0
3600.02/3609.60	c LP constraints removed 0
3600.02/3609.60	c LP pivots internal 0
3600.02/3609.60	c LP pivots root 0
3600.02/3609.60	c LP calls 0
3600.02/3609.60	c LP optimalities 0
3600.02/3609.60	c LP no pivot count 0
3600.02/3609.60	c LP infeasibilities 0
3600.02/3609.60	c LP valid Farkas constraints 0
3600.02/3609.60	c LP learned Farkas constraints 0
3600.02/3609.60	c LP basis resets 0
3600.02/3609.60	c LP cycling count 0
3600.02/3609.60	c LP singular count 0
3600.02/3609.60	c LP no primal count 0
3600.02/3609.60	c LP no farkas count 0
3600.02/3609.60	c LP other issue count 0
3600.02/3609.60	c LP Gomory cuts 0
3600.02/3609.60	c LP learned cuts 0
3600.02/3609.60	c LP deleted cuts 0
3600.02/3609.60	c LP encountered Gomory constraints 0
3600.02/3609.60	c LP encountered Farkas constraints 0
3600.02/3609.60	c LP encountered learned Farkas constraints 0
3600.02/3609.60	c CG auxiliary variables introduced 0
3600.02/3609.60	c CG solutions found 0
3600.02/3609.60	c CG cores constructed 0
3600.02/3609.60	c CG core cardinality constraints returned 0
3600.02/3609.60	c CG unit cores 0
3600.02/3609.60	c CG single cores 0
3600.02/3609.60	c CG blocks removed during cardinality reduction 0
3600.02/3609.60	c CG first core best 0
3600.02/3609.60	c CG decision core best 0
3600.02/3609.60	c CG core reduction tie 0
3600.02/3609.60	c CG core degree average 0.00
3600.02/3609.60	c CG core slack average 0.00
3600.02/3609.60	c CG exhausted 0
3600.02/3609.60	c CG exhaust time 0 s
3600.02/3609.60	c CG trimmed 0
3600.02/3609.60	c CG trim time 0 s
3600.02/3609.60	c CG minimized 0
3600.02/3609.60	c CG minimize time 0 s
3600.02/3609.60	c CG am1 prop time 0.000357 s
3600.02/3609.60	c CG # am1s reformulated 0
3600.02/3609.60	c CG lower bound derived from am1s 0
3600.02/3609.60	c CG # clausal cores 0
3600.02/3609.60	c CG # cardinality cores 0
3600.02/3609.60	c CG # pb cores 0
3600.02/3609.60	c CG # pb reforms 0
3600.02/3609.60	c CG # cores discarded because of pb reform 0
3600.02/3609.60	d LOWERBOUND 0
3600.02/3609.60	d NCORES 0
3600.02/3609.60	d NPBCORES 0
3600.02/3609.60	d NPBREFORM 0
3600.02/3609.60	d NTRIMMED 0
3600.02/3609.60	d NEXHAUSTED 0
3600.02/3609.60	d NAM1S 0
3600.02/3609.60	d AM1LB 0
3600.02/3609.60	c [Papilo Statistics]
3600.02/3609.60	c prepro time 2.42635s
3600.02/3609.60	c # tsx applied 0
3600.02/3609.60	c # tsx conflicts 0
3600.02/3609.60	c # bound changes 0
3600.02/3609.60	c # side changes 0
3600.02/3609.60	c # coef changes 0
3600.02/3609.60	c # rounds 1
3600.02/3609.60	c # deted vars 0
3600.02/3609.60	c # deted constrs 0
3600.02/3609.60	c # consecutive rounds of only bound changes 0
3600.02/3609.61	s UNKNOWN

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: 64059 MiB (63192 MiB free)
  memory of node 1: 64510 MiB (63306 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435472-1721098215/watcher-4435472-1721098215 -o /tmp/evaluation-result-4435472-1721098215/solver-4435472-1721098215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830111 --watchdog 3760 mixed-bag HOME/instance-4435472-1721098215.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=830172, runsolver pid=830169

[startup+0.100084 s]*
/proc/loadavg: 2.75 3.72 3.99 7/245 830173
/proc/meminfo: memFree=129508284/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=108924 memory=15140 CPUtime=0.1 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 2681 0 0 0 10 0 0 0 20 0 1 0 161980779 111538176 3785 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 27231 3785 1629 3002 0 11521 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108924 KiB
Current children cumulated memory: 15140 KiB

[startup+0.213579 s]*
/proc/loadavg: 2.75 3.72 3.99 6/245 830173
/proc/meminfo: memFree=129491840/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=115068 memory=18792 CPUtime=0.21 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 3598 0 0 0 20 1 0 0 20 0 1 0 161980779 117829632 4698 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 28767 4698 1629 3002 0 13057 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 115068 KiB
Current children cumulated memory: 18792 KiB

[startup+0.313567 s]*
/proc/loadavg: 2.75 3.72 3.99 8/245 830173
/proc/meminfo: memFree=129471788/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=115068 memory=23404 CPUtime=0.31 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 3731 0 0 0 30 1 0 0 20 0 1 0 161980779 117829632 5851 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 28767 5851 1629 3002 0 13057 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 115068 KiB
Current children cumulated memory: 23404 KiB

[startup+0.700334 s]
/proc/loadavg: 2.75 3.72 3.99 7/245 830173
/proc/meminfo: memFree=129438044/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=123260 memory=41764 CPUtime=0.68 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 4777 0 0 0 66 2 0 0 20 0 1 0 161980779 126218240 10441 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 30815 10441 1629 3002 0 15105 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123260 KiB
Current children cumulated memory: 41764 KiB

[startup+1.50033 s]
/proc/loadavg: 2.75 3.72 3.99 7/245 830173
/proc/meminfo: memFree=129345200/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=239592 memory=150076 CPUtime=1.48 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 7840 0 0 0 142 6 0 0 20 0 1 0 161980779 245342208 37519 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 59898 37519 1645 3002 0 44188 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 239592 KiB
Current children cumulated memory: 150076 KiB

[startup+3.11326 s]
/proc/loadavg: 2.85 3.73 3.99 7/245 830173
/proc/meminfo: memFree=128233476/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=429044 memory=331900 CPUtime=3.08 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 26252 0 1 0 294 14 0 0 20 0 1 0 161980779 439341056 82975 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 107261 82975 1828 3002 0 91012 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 429044 KiB
Current children cumulated memory: 331900 KiB

[startup+6.3003 s]
/proc/loadavg: 2.85 3.73 3.99 7/245 830175
/proc/meminfo: memFree=125613620/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=1093672 memory=1000548 CPUtime=6.26 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 199228 0 1 0 586 40 0 0 20 0 1 0 161980779 1119920128 250137 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 273418 250137 3773 3002 0 257169 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1093672 KiB
Current children cumulated memory: 1000548 KiB

[startup+12.7003 s]
/proc/loadavg: 3.02 3.74 3.99 7/245 830175
/proc/meminfo: memFree=124364248/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=1506480 memory=1404004 CPUtime=12.65 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 256637 0 1 0 1209 56 0 0 20 0 1 0 161980779 1542635520 351001 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 376620 351001 3773 3002 0 360371 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1506480 KiB
Current children cumulated memory: 1404004 KiB

[startup+25.5003 s]
/proc/loadavg: 3.17 3.75 3.99 7/245 830178
/proc/meminfo: memFree=118035756/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3228240 memory=2879992 CPUtime=25.39 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 268625 0 1 0 2454 85 0 0 20 0 1 0 161980779 3305717760 719998 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 807060 719998 3805 3002 0 790811 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3228240 KiB
Current children cumulated memory: 2879992 KiB

[startup+51.1136 s]
/proc/loadavg: 3.57 3.80 4.00 7/245 830181
/proc/meminfo: memFree=115291696/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3915988 memory=3552860 CPUtime=50.91 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 377123 0 1 0 4983 108 0 0 20 0 1 0 161980779 4009971712 888215 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 978997 888215 4024 3002 0 962748 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3915988 KiB
Current children cumulated memory: 3552860 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 3.86 4.01 7/245 830189
/proc/meminfo: memFree=115268996/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3943120 memory=3575104 CPUtime=101.81 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 378806 0 1 0 10072 109 0 0 20 0 1 0 161980779 4037754880 893776 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 985780 893776 4040 3002 0 969531 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 3943120 KiB
Current children cumulated memory: 3575104 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.92 4.02 7/245 830200
/proc/meminfo: memFree=114853092/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=4138848 memory=3678284 CPUtime=161.48 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 389274 0 1 0 16035 113 0 0 20 0 1 0 161980779 4238180352 919571 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 1034712 919571 4040 3002 0 1018463 0
Current children cumulated CPU time: 161.48 s
Current children cumulated vsize: 4138848 KiB
Current children cumulated memory: 3678284 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.97 4.02 7/245 830210
/proc/meminfo: memFree=114773332/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=4218580 memory=3695624 CPUtime=221.14 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 391445 0 1 0 21999 115 0 0 20 0 1 0 161980779 4319825920 923906 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 1054645 923906 4040 3002 0 1038396 0
Current children cumulated CPU time: 221.14 s
Current children cumulated vsize: 4218580 KiB
Current children cumulated memory: 3695624 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.99 4.02 7/245 830221
/proc/meminfo: memFree=114731612/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=4290432 memory=3705908 CPUtime=280.83 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 392228 0 1 0 27967 116 0 0 20 0 1 0 161980779 4393402368 926477 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 1072608 926477 4040 3002 0 1056359 0
Current children cumulated CPU time: 280.83 s
Current children cumulated vsize: 4290432 KiB
Current children cumulated memory: 3705908 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.02 4.03 7/242 830615
/proc/meminfo: memFree=121206552/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=2396124 memory=2195540 CPUtime=340.62 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 397687 0 2 0 33859 203 0 0 20 0 1 0 161980779 2453630976 548885 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 599031 548885 4199 3002 0 582782 0
Current children cumulated CPU time: 340.62 s
Current children cumulated vsize: 2396124 KiB
Current children cumulated memory: 2195540 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.03 4.03 7/243 830626
/proc/meminfo: memFree=120997072/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=2396124 memory=2315304 CPUtime=400.48 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 398249 0 2 0 39810 238 0 0 20 0 1 0 161980779 2453630976 578826 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 599031 578826 4199 3002 0 582782 0
Current children cumulated CPU time: 400.48 s
Current children cumulated vsize: 2396124 KiB
Current children cumulated memory: 2315304 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.05 4.03 7/243 830636
/proc/meminfo: memFree=120882300/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=2611048 memory=2367444 CPUtime=460.34 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 399110 0 2 0 45760 274 0 0 20 0 1 0 161980779 2673713152 591861 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 652762 591861 4199 3002 0 636513 0

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

Current children cumulated memory: 3017508 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.09 7/242 831866
/proc/meminfo: memFree=118485448/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3527824 memory=3017508 CPUtime=2854.56 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 418947 0 2 0 284492 964 0 0 20 0 1 0 161980779 3612491776 754377 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 881956 754377 4199 3002 0 865707 0
Current children cumulated CPU time: 2854.56 s
Current children cumulated vsize: 3527824 KiB
Current children cumulated memory: 3017508 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 7/241 831877
/proc/meminfo: memFree=118215920/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3527824 memory=3023684 CPUtime=2914.41 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 419589 0 2 0 290462 979 0 0 20 0 1 0 161980779 3612491776 755921 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 881956 755921 4199 3002 0 865707 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 3527824 KiB
Current children cumulated memory: 3023684 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.08 7/241 831887
/proc/meminfo: memFree=118025836/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3527824 memory=3023684 CPUtime=2974.27 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 419924 0 2 0 296431 996 0 0 20 0 1 0 161980779 3612491776 755921 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 881956 755921 4199 3002 0 865707 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 3527824 KiB
Current children cumulated memory: 3023684 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 7/244 831902
/proc/meminfo: memFree=117851280/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3527824 memory=3038032 CPUtime=3034.12 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 420286 0 2 0 302395 1017 0 0 20 0 1 0 161980779 3612491776 759508 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 881956 759508 4199 3002 0 865707 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 3527824 KiB
Current children cumulated memory: 3038032 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.09 7/244 831912
/proc/meminfo: memFree=117712532/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3527824 memory=3038032 CPUtime=3093.97 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 421070 0 2 0 308359 1038 0 0 20 0 1 0 161980779 3612491776 759508 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 881956 759508 4199 3002 0 865707 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 3527824 KiB
Current children cumulated memory: 3038032 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/244 831924
/proc/meminfo: memFree=117490768/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3538152 memory=3083268 CPUtime=3153.82 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 423881 0 2 0 314332 1050 0 0 20 0 1 0 161980779 3623067648 770817 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 884538 770817 4199 3002 0 868289 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 3538152 KiB
Current children cumulated memory: 3083268 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/244 831934
/proc/meminfo: memFree=117308956/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3538152 memory=3083268 CPUtime=3213.67 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 424269 0 2 0 320307 1060 0 0 20 0 1 0 161980779 3623067648 770817 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 884538 770817 4199 3002 0 868289 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 3538152 KiB
Current children cumulated memory: 3083268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 7/244 831945
/proc/meminfo: memFree=116784064/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3680360 memory=3261396 CPUtime=3273.53 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 443762 0 2 0 326279 1074 0 0 20 0 1 0 161980779 3768688640 815349 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 920090 815349 4199 3002 0 903841 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 3680360 KiB
Current children cumulated memory: 3261396 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 7/242 831956
/proc/meminfo: memFree=116639516/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3680360 memory=3261396 CPUtime=3333.37 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 444136 0 2 0 332254 1083 0 0 20 0 1 0 161980779 3768688640 815349 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 920090 815349 4199 3002 0 903841 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 3680360 KiB
Current children cumulated memory: 3261396 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 7/242 831967
/proc/meminfo: memFree=116625700/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3680360 memory=3261400 CPUtime=3393.23 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 444608 0 2 0 338228 1095 0 0 20 0 1 0 161980779 3768688640 815350 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 920090 815350 4199 3002 0 903841 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 3680360 KiB
Current children cumulated memory: 3261400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 7/242 831977
/proc/meminfo: memFree=116588392/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3680360 memory=3261400 CPUtime=3453.08 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 444907 0 2 0 344197 1111 0 0 20 0 1 0 161980779 3768688640 815350 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 920090 815350 4199 3002 0 903841 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 3680360 KiB
Current children cumulated memory: 3261400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 7/242 831988
/proc/meminfo: memFree=116268356/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3680360 memory=3262412 CPUtime=3512.92 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 445656 0 2 0 350166 1126 0 0 20 0 1 0 161980779 3768688640 815603 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 920090 815603 4199 3002 0 903841 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 3680360 KiB
Current children cumulated memory: 3262412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/242 831998
/proc/meminfo: memFree=115886996/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3690088 memory=3272444 CPUtime=3572.79 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 447506 0 2 0 356139 1140 0 0 20 0 1 0 161980779 3778650112 818111 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 922522 818111 4199 3002 0 906273 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 3690088 KiB
Current children cumulated memory: 3272444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.06 4.08 4.09 7/244 832008
/proc/meminfo: memFree=115726808/131655788 swapFree=131071996/131071996
[pid=830172] ppid=830169 vsize=3690088 memory=3272444 CPUtime=3600.02 cores=5,7
/proc/830172/stat : 830172 (mixed-bag) R 830169 830172 830098 0 -1 4194304 447668 0 2 0 358856 1146 0 0 20 0 1 0 161980779 3778650112 818111 134679101440 4194304 16487941 140727967114528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 31313920 140727967122455 140727967122532 140727967122532 140727967129547 0
/proc/830172/statm: 922522 818111 4199 3002 0 906273 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3690088 KiB
Current children cumulated memory: 3272444 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3588.57 s, system=11.5311 s

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

Child status: 0

Real time (s): 3609.68
CPU time (s): 3600.1
CPU user time (s): 3588.57
CPU system time (s): 11.5311
CPU usage (%): 99.7347
Max. virtual memory (cumulated for all children) (KiB): 4290432
Max. memory (cumulated for all children) (KiB): 3705908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.57
system time used= 11.5311
maximum resident set size= 3709472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447776
page faults= 3
swaps= 0
block input operations= 864
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 1548


# summary of solver processes directly reported to runsolver:
#   pid: 830172
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3588.57
#   total CPU system time (s): 11.5311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3644 second user time and 36.8165 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-16 04:50:27
IDJOB=4435472
IDBENCH=147556
IDSOLVER=3066
FILE ID=nodeC010/4435472-1721098215
RUNJOBID= nodeC010-1721098226-830111
SLURM_JOB_ID= 7505613
Free space on /tmp= 723692 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435472-1721098215/watcher-4435472-1721098215 -o /tmp/evaluation-result-4435472-1721098215/solver-4435472-1721098215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830111 --watchdog 3760  mixed-bag HOME/instance-4435472-1721098215.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
RANDOM SEED=726649512

nodeC010.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		: 1197.199
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.51
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		: 1396.701
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.31
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.174
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.51
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.175
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.31
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.173
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.51
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		: 1197.172
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.31
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.218
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.51
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.209
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129536948 kB
MemAvailable:   129959380 kB
Buffers:          393260 kB
Cached:           872296 kB
SwapCached:            0 kB
Active:           728336 kB
Inactive:         869592 kB
Active(anon):       1392 kB
Inactive(anon):   368688 kB
Active(file):     726944 kB
Inactive(file):   500904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            132492 kB
Writeback:             0 kB
AnonPages:        332812 kB
Mapped:           106640 kB
Shmem:             37704 kB
KReclaimable:      69228 kB
Slab:             162376 kB
SReclaimable:      69228 kB
SUnreclaim:        93148 kB
KernelStack:        3728 kB
PageTables:         9748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     845300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      187208 kB
DirectMap2M:    18591744 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723652 MiB
End job on nodeC010 at 2024-07-16 05:50:37