Trace number 4502325

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
roundingsat-ihs-log 63f22ad? (TO) 3600.08 3610.14

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
MD5SUM8c6c1213a1160c9558cfabfe880ab91b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark17.6804
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10080
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)732
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint168
Maximum length of a constraint3680
Number of terms in the objective function 10080
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10080
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 10080
Number of bits of the biggest sum of numbers14
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.45/0.55	c #variables 10080 #constraints 732
0.45/0.55	c objective is ce32 
0.65/0.72	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.65/0.72	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.65/0.72	c GLOBAL bounds - >= 0 @ 0.638813
1.65/1.79	c GLOBAL bounds - >= 0 @ 1.63869
1.84/1.99	c GLOBAL bounds - >= 0 @ 1.82659
3.34/3.45	c #Conflicts:       1000 | #Constraints:       1734
3.34/3.45	c GLOBAL bounds - >= 0 @ 3.23318
607.93/609.66	c #Conflicts:       2000 | #Constraints:       2736
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:       3000 | #Constraints:       2764
607.93/609.66	c #Conflicts:       4000 | #Constraints:       3764
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:       5000 | #Constraints:       3168
607.93/609.66	c #Conflicts:       6000 | #Constraints:       4168
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:       7000 | #Constraints:       3168
607.93/609.66	c #Conflicts:       8000 | #Constraints:       4168
607.93/609.66	c #Conflicts:       9000 | #Constraints:       5168
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      10000 | #Constraints:       3874
607.93/609.66	c #Conflicts:      11000 | #Constraints:       4874
607.93/609.66	c #Conflicts:      12000 | #Constraints:       5874
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      13000 | #Constraints:       4339
607.93/609.66	c #Conflicts:      14000 | #Constraints:       5339
607.93/609.66	c #Conflicts:      15000 | #Constraints:       6339
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      16000 | #Constraints:       4560
607.93/609.66	c #Conflicts:      17000 | #Constraints:       5560
607.93/609.66	c #Conflicts:      18000 | #Constraints:       6560
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      19000 | #Constraints:       4573
607.93/609.66	c #Conflicts:      20000 | #Constraints:       5573
607.93/609.66	c #Conflicts:      21000 | #Constraints:       6573
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      22000 | #Constraints:       4373
607.93/609.66	c #Conflicts:      23000 | #Constraints:       5373
607.93/609.66	c #Conflicts:      24000 | #Constraints:       6373
607.93/609.66	c #Conflicts:      25000 | #Constraints:       7373
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      26000 | #Constraints:       4967
607.93/609.66	c #Conflicts:      27000 | #Constraints:       5967
607.93/609.66	c #Conflicts:      28000 | #Constraints:       6967
607.93/609.66	c #Conflicts:      29000 | #Constraints:       7967
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      30000 | #Constraints:       5369
607.93/609.66	c #Conflicts:      31000 | #Constraints:       6369
607.93/609.66	c #Conflicts:      32000 | #Constraints:       7369
607.93/609.66	c #Conflicts:      33000 | #Constraints:       8369
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      34000 | #Constraints:       5588
607.93/609.66	c #Conflicts:      35000 | #Constraints:       6588
607.93/609.66	c #Conflicts:      36000 | #Constraints:       7588
607.93/609.66	c #Conflicts:      37000 | #Constraints:       8588
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      38000 | #Constraints:       5584
607.93/609.66	c #Conflicts:      39000 | #Constraints:       6584
607.93/609.66	c #Conflicts:      40000 | #Constraints:       7584
607.93/609.66	c #Conflicts:      41000 | #Constraints:       8584
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      42000 | #Constraints:       5383
607.93/609.66	c #Conflicts:      43000 | #Constraints:       6383
607.93/609.66	c #Conflicts:      44000 | #Constraints:       7383
607.93/609.66	c #Conflicts:      45000 | #Constraints:       8383
607.93/609.66	c #Conflicts:      46000 | #Constraints:       9383
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      47000 | #Constraints:       5974
607.93/609.66	c #Conflicts:      48000 | #Constraints:       6974
607.93/609.66	c #Conflicts:      49000 | #Constraints:       7974
607.93/609.66	c #Conflicts:      50000 | #Constraints:       8974
607.93/609.66	c #Conflicts:      51000 | #Constraints:       9974
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      52000 | #Constraints:       6382
607.93/609.66	c #Conflicts:      53000 | #Constraints:       7382
607.93/609.66	c #Conflicts:      54000 | #Constraints:       8382
607.93/609.66	c #Conflicts:      55000 | #Constraints:       9382
607.93/609.66	c #Conflicts:      56000 | #Constraints:      10382
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      57000 | #Constraints:       6590
607.93/609.66	c #Conflicts:      58000 | #Constraints:       7590
607.93/609.66	c #Conflicts:      59000 | #Constraints:       8590
607.93/609.66	c #Conflicts:      60000 | #Constraints:       9590
607.93/609.66	c #Conflicts:      61000 | #Constraints:      10590
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      62000 | #Constraints:       6579
607.93/609.66	c #Conflicts:      63000 | #Constraints:       7579
607.93/609.66	c #Conflicts:      64000 | #Constraints:       8579
607.93/609.66	c #Conflicts:      65000 | #Constraints:       9579
607.93/609.66	c #Conflicts:      66000 | #Constraints:      10579
607.93/609.66	c INPROCESSING
607.93/609.66	c GARBAGE COLLECT
607.93/609.66	c #Conflicts:      67000 | #Constraints:       6421
607.93/609.66	c #Conflicts:      68000 | #Constraints:       7421
607.93/609.66	c #Conflicts:      69000 | #Constraints:       8421
1418.33/1422.19	c #Conflicts:      70000 | #Constraints:       9421
1418.33/1422.19	c #Conflicts:      71000 | #Constraints:      10421
1418.33/1422.19	c #Conflicts:      72000 | #Constraints:      11421
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:      73000 | #Constraints:       6997
1418.33/1422.19	c #Conflicts:      74000 | #Constraints:       7997
1418.33/1422.19	c #Conflicts:      75000 | #Constraints:       8997
1418.33/1422.19	c #Conflicts:      76000 | #Constraints:       9997
1418.33/1422.19	c #Conflicts:      77000 | #Constraints:      10997
1418.33/1422.19	c #Conflicts:      78000 | #Constraints:      11997
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:      79000 | #Constraints:       7426
1418.33/1422.19	c #Conflicts:      80000 | #Constraints:       8426
1418.33/1422.19	c #Conflicts:      81000 | #Constraints:       9426
1418.33/1422.19	c #Conflicts:      82000 | #Constraints:      10426
1418.33/1422.19	c #Conflicts:      83000 | #Constraints:      11426
1418.33/1422.19	c #Conflicts:      84000 | #Constraints:      12426
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:      85000 | #Constraints:       7620
1418.33/1422.19	c #Conflicts:      86000 | #Constraints:       8620
1418.33/1422.19	c #Conflicts:      87000 | #Constraints:       9620
1418.33/1422.19	c #Conflicts:      88000 | #Constraints:      10620
1418.33/1422.19	c #Conflicts:      89000 | #Constraints:      11620
1418.33/1422.19	c #Conflicts:      90000 | #Constraints:      12620
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:      91000 | #Constraints:       7597
1418.33/1422.19	c #Conflicts:      92000 | #Constraints:       8597
1418.33/1422.19	c #Conflicts:      93000 | #Constraints:       9597
1418.33/1422.19	c #Conflicts:      94000 | #Constraints:      10597
1418.33/1422.19	c #Conflicts:      95000 | #Constraints:      11597
1418.33/1422.19	c #Conflicts:      96000 | #Constraints:      12597
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:      97000 | #Constraints:       7422
1418.33/1422.19	c #Conflicts:      98000 | #Constraints:       8422
1418.33/1422.19	c #Conflicts:      99000 | #Constraints:       9422
1418.33/1422.19	c #Conflicts:     100000 | #Constraints:      10422
1418.33/1422.19	c #Conflicts:     101000 | #Constraints:      11422
1418.33/1422.19	c #Conflicts:     102000 | #Constraints:      12422
1418.33/1422.19	c #Conflicts:     103000 | #Constraints:      13422
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:     104000 | #Constraints:       8007
1418.33/1422.19	c #Conflicts:     105000 | #Constraints:       9007
1418.33/1422.19	c #Conflicts:     106000 | #Constraints:      10007
1418.33/1422.19	c #Conflicts:     107000 | #Constraints:      11007
1418.33/1422.19	c #Conflicts:     108000 | #Constraints:      12007
1418.33/1422.19	c #Conflicts:     109000 | #Constraints:      13007
1418.33/1422.19	c #Conflicts:     110000 | #Constraints:      14007
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:     111000 | #Constraints:       8391
1418.33/1422.19	c #Conflicts:     112000 | #Constraints:       9391
1418.33/1422.19	c #Conflicts:     113000 | #Constraints:      10391
1418.33/1422.19	c #Conflicts:     114000 | #Constraints:      11391
1418.33/1422.19	c #Conflicts:     115000 | #Constraints:      12391
1418.33/1422.19	c #Conflicts:     116000 | #Constraints:      13391
1418.33/1422.19	c #Conflicts:     117000 | #Constraints:      14391
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:     118000 | #Constraints:       8584
1418.33/1422.19	c #Conflicts:     119000 | #Constraints:       9584
1418.33/1422.19	c #Conflicts:     120000 | #Constraints:      10584
1418.33/1422.19	c #Conflicts:     121000 | #Constraints:      11584
1418.33/1422.19	c #Conflicts:     122000 | #Constraints:      12584
1418.33/1422.19	c #Conflicts:     123000 | #Constraints:      13584
1418.33/1422.19	c #Conflicts:     124000 | #Constraints:      14584
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:     125000 | #Constraints:       8581
1418.33/1422.19	c #Conflicts:     126000 | #Constraints:       9581
1418.33/1422.19	c #Conflicts:     127000 | #Constraints:      10581
1418.33/1422.19	c #Conflicts:     128000 | #Constraints:      11581
1418.33/1422.19	c #Conflicts:     129000 | #Constraints:      12581
1418.33/1422.19	c #Conflicts:     130000 | #Constraints:      13581
1418.33/1422.19	c #Conflicts:     131000 | #Constraints:      14581
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:     132000 | #Constraints:       8381
1418.33/1422.19	c #Conflicts:     133000 | #Constraints:       9381
1418.33/1422.19	c #Conflicts:     134000 | #Constraints:      10381
1418.33/1422.19	c #Conflicts:     135000 | #Constraints:      11381
1418.33/1422.19	c #Conflicts:     136000 | #Constraints:      12381
1418.33/1422.19	c #Conflicts:     137000 | #Constraints:      13381
1418.33/1422.19	c #Conflicts:     138000 | #Constraints:      14381
1418.33/1422.19	c #Conflicts:     139000 | #Constraints:      15381
1418.33/1422.19	c INPROCESSING
1418.33/1422.19	c GARBAGE COLLECT
1418.33/1422.19	c #Conflicts:     140000 | #Constraints:       8979
1418.33/1422.19	c #Conflicts:     141000 | #Constraints:       9979
2283.17/2289.26	c #Conflicts:     142000 | #Constraints:      10979
2283.17/2289.26	c #Conflicts:     143000 | #Constraints:      11979
2283.17/2289.26	c #Conflicts:     144000 | #Constraints:      12979
2283.17/2289.26	c #Conflicts:     145000 | #Constraints:      13979
2283.17/2289.26	c #Conflicts:     146000 | #Constraints:      14979
2283.17/2289.26	c #Conflicts:     147000 | #Constraints:      15979
2283.17/2289.26	c INPROCESSING
2283.17/2289.26	c GARBAGE COLLECT
2283.17/2289.26	c #Conflicts:     148000 | #Constraints:       9397
2283.17/2289.26	c #Conflicts:     149000 | #Constraints:      10397
2283.17/2289.26	c #Conflicts:     150000 | #Constraints:      11397
2283.17/2289.26	c #Conflicts:     151000 | #Constraints:      12397
2283.17/2289.26	c #Conflicts:     152000 | #Constraints:      13397
2283.17/2289.26	c #Conflicts:     153000 | #Constraints:      14397
2283.17/2289.26	c #Conflicts:     154000 | #Constraints:      15397
2283.17/2289.26	c #Conflicts:     155000 | #Constraints:      16397
2283.17/2289.26	c INPROCESSING
2283.17/2289.26	c GARBAGE COLLECT
2283.17/2289.26	c #Conflicts:     156000 | #Constraints:       9590
2283.17/2289.26	c #Conflicts:     157000 | #Constraints:      10590
2283.17/2289.26	c #Conflicts:     158000 | #Constraints:      11590
2283.17/2289.26	c #Conflicts:     159000 | #Constraints:      12590
2283.17/2289.26	c #Conflicts:     160000 | #Constraints:      13590
2283.17/2289.26	c #Conflicts:     161000 | #Constraints:      14590
2283.17/2289.26	c #Conflicts:     162000 | #Constraints:      15590
2283.17/2289.26	c #Conflicts:     163000 | #Constraints:      16590
2283.17/2289.26	c INPROCESSING
2283.17/2289.26	c GARBAGE COLLECT
2283.17/2289.26	c #Conflicts:     164000 | #Constraints:       9592
2283.17/2289.26	c #Conflicts:     165000 | #Constraints:      10592
2283.17/2289.26	c #Conflicts:     166000 | #Constraints:      11592
2283.17/2289.26	c #Conflicts:     167000 | #Constraints:      12592
2283.17/2289.26	c #Conflicts:     168000 | #Constraints:      13592
2283.17/2289.26	c #Conflicts:     169000 | #Constraints:      14592
2283.17/2289.26	c #Conflicts:     170000 | #Constraints:      15592
2283.17/2289.26	c #Conflicts:     171000 | #Constraints:      16592
2283.17/2289.26	c INPROCESSING
2283.17/2289.26	c GARBAGE COLLECT
2283.17/2289.26	c #Conflicts:     172000 | #Constraints:       9388
2283.17/2289.26	c #Conflicts:     173000 | #Constraints:      10388
2283.17/2289.26	c #Conflicts:     174000 | #Constraints:      11388
2283.17/2289.26	c #Conflicts:     175000 | #Constraints:      12388
2283.17/2289.26	c #Conflicts:     176000 | #Constraints:      13388
2283.17/2289.26	c #Conflicts:     177000 | #Constraints:      14388
2283.17/2289.26	c #Conflicts:     178000 | #Constraints:      15388
2283.17/2289.26	c #Conflicts:     179000 | #Constraints:      16388
2283.17/2289.26	c #Conflicts:     180000 | #Constraints:      17388
2283.17/2289.26	c INPROCESSING
2283.17/2289.26	c GARBAGE COLLECT
2283.17/2289.26	c #Conflicts:     181000 | #Constraints:       9990
2283.17/2289.26	c #Conflicts:     182000 | #Constraints:      10990
2283.17/2289.26	c #Conflicts:     183000 | #Constraints:      11990
2283.17/2289.26	c #Conflicts:     184000 | #Constraints:      12990
2283.17/2289.26	c #Conflicts:     185000 | #Constraints:      13990
2283.17/2289.26	c #Conflicts:     186000 | #Constraints:      14990
2283.17/2289.26	c #Conflicts:     187000 | #Constraints:      15990
2283.17/2289.26	c #Conflicts:     188000 | #Constraints:      16990
2283.17/2289.26	c #Conflicts:     189000 | #Constraints:      17990
2283.17/2289.26	c INPROCESSING
2283.17/2289.26	c GARBAGE COLLECT
2283.17/2289.26	c #Conflicts:     190000 | #Constraints:      10388
2283.17/2289.26	c #Conflicts:     191000 | #Constraints:      11388
2283.17/2289.26	c #Conflicts:     192000 | #Constraints:      12388
2283.17/2289.26	c #Conflicts:     193000 | #Constraints:      13388
2283.17/2289.26	c #Conflicts:     194000 | #Constraints:      14388
2283.17/2289.26	c #Conflicts:     195000 | #Constraints:      15388
2283.17/2289.26	c #Conflicts:     196000 | #Constraints:      16388
2283.17/2289.26	c #Conflicts:     197000 | #Constraints:      17388
2283.17/2289.26	c #Conflicts:     198000 | #Constraints:      18388
2283.17/2289.26	c INPROCESSING
2283.17/2289.26	c GARBAGE COLLECT
2283.17/2289.26	c #Conflicts:     199000 | #Constraints:      10619
2283.17/2289.26	c #Conflicts:     200000 | #Constraints:      11619
2283.17/2289.26	c #Conflicts:     201000 | #Constraints:      12619
2283.17/2289.26	c #Conflicts:     202000 | #Constraints:      13619
2283.17/2289.26	c #Conflicts:     203000 | #Constraints:      14619
2283.17/2289.26	c #Conflicts:     204000 | #Constraints:      15619
2283.17/2289.26	c #Conflicts:     205000 | #Constraints:      16619
2283.17/2289.26	c #Conflicts:     206000 | #Constraints:      17619
2283.17/2289.26	c #Conflicts:     207000 | #Constraints:      18619
2283.17/2289.26	c INPROCESSING
2283.17/2289.26	c GARBAGE COLLECT
2283.17/2289.26	c #Conflicts:     208000 | #Constraints:      10600
2283.17/2289.26	c #Conflicts:     209000 | #Constraints:      11600
2283.17/2289.26	c #Conflicts:     210000 | #Constraints:      12600
2283.17/2289.26	c #Conflicts:     211000 | #Constraints:      13600
2283.17/2289.26	c #Conflicts:     212000 | #Constraints:      14600
2283.17/2289.26	c #Conflicts:     213000 | #Constraints:      15600
2283.17/2289.26	c #Conflicts:     214000 | #Constraints:      16600
3517.16/3526.97	c #Conflicts:     215000 | #Constraints:      17600
3517.16/3526.97	c #Conflicts:     216000 | #Constraints:      18600
3517.16/3526.97	c INPROCESSING
3517.16/3526.97	c GARBAGE COLLECT
3517.16/3526.97	c #Conflicts:     217000 | #Constraints:      10392
3517.16/3526.97	c #Conflicts:     218000 | #Constraints:      11392
3517.16/3526.97	c #Conflicts:     219000 | #Constraints:      12392
3517.16/3526.97	c #Conflicts:     220000 | #Constraints:      13392
3517.16/3526.97	c #Conflicts:     221000 | #Constraints:      14392
3517.16/3526.97	c #Conflicts:     222000 | #Constraints:      15392
3517.16/3526.97	c #Conflicts:     223000 | #Constraints:      16392
3517.16/3526.97	c #Conflicts:     224000 | #Constraints:      17392
3517.16/3526.97	c #Conflicts:     225000 | #Constraints:      18392
3517.16/3526.97	c #Conflicts:     226000 | #Constraints:      19392
3517.16/3526.97	c INPROCESSING
3517.16/3526.97	c GARBAGE COLLECT
3517.16/3526.97	c #Conflicts:     227000 | #Constraints:      10992
3517.16/3526.97	c #Conflicts:     228000 | #Constraints:      11992
3517.16/3526.97	c #Conflicts:     229000 | #Constraints:      12992
3517.16/3526.97	c #Conflicts:     230000 | #Constraints:      13992
3517.16/3526.97	c #Conflicts:     231000 | #Constraints:      14992
3517.16/3526.97	c #Conflicts:     232000 | #Constraints:      15992
3517.16/3526.97	c #Conflicts:     233000 | #Constraints:      16992
3517.16/3526.97	c #Conflicts:     234000 | #Constraints:      17992
3517.16/3526.97	c #Conflicts:     235000 | #Constraints:      18992
3517.16/3526.97	c #Conflicts:     236000 | #Constraints:      19992
3517.16/3526.97	c INPROCESSING
3517.16/3526.97	c GARBAGE COLLECT
3517.16/3526.97	c #Conflicts:     237000 | #Constraints:      11381
3517.16/3526.97	c #Conflicts:     238000 | #Constraints:      12381
3517.16/3526.97	c #Conflicts:     239000 | #Constraints:      13381
3517.16/3526.97	c #Conflicts:     240000 | #Constraints:      14381
3517.16/3526.97	c #Conflicts:     241000 | #Constraints:      15381
3517.16/3526.97	c #Conflicts:     242000 | #Constraints:      16381
3517.16/3526.97	c #Conflicts:     243000 | #Constraints:      17381
3517.16/3526.97	c #Conflicts:     244000 | #Constraints:      18381
3517.16/3526.97	c #Conflicts:     245000 | #Constraints:      19381
3517.16/3526.97	c #Conflicts:     246000 | #Constraints:      20381
3517.16/3526.97	c INPROCESSING
3517.16/3526.97	c GARBAGE COLLECT
3517.16/3526.97	c #Conflicts:     247000 | #Constraints:      11601
3517.16/3526.97	c #Conflicts:     248000 | #Constraints:      12601
3517.16/3526.97	c #Conflicts:     249000 | #Constraints:      13601
3517.16/3526.97	c #Conflicts:     250000 | #Constraints:      14601
3517.16/3526.97	c #Conflicts:     251000 | #Constraints:      15601
3517.16/3526.97	c #Conflicts:     252000 | #Constraints:      16601
3517.16/3526.97	c #Conflicts:     253000 | #Constraints:      17601
3517.16/3526.97	c #Conflicts:     254000 | #Constraints:      18601
3517.16/3526.97	c #Conflicts:     255000 | #Constraints:      19601
3517.16/3526.97	c #Conflicts:     256000 | #Constraints:      20601
3517.16/3526.97	c INPROCESSING
3517.16/3526.97	c GARBAGE COLLECT
3517.16/3526.97	c #Conflicts:     257000 | #Constraints:      11594
3517.16/3526.97	c #Conflicts:     258000 | #Constraints:      12594
3517.16/3526.97	c #Conflicts:     259000 | #Constraints:      13594
3517.16/3526.97	c #Conflicts:     260000 | #Constraints:      14594
3517.16/3526.97	c #Conflicts:     261000 | #Constraints:      15594
3517.16/3526.97	c #Conflicts:     262000 | #Constraints:      16594
3517.16/3526.97	c #Conflicts:     263000 | #Constraints:      17594
3517.16/3526.97	c #Conflicts:     264000 | #Constraints:      18594
3517.16/3526.97	c #Conflicts:     265000 | #Constraints:      19594
3517.16/3526.97	c #Conflicts:     266000 | #Constraints:      20594
3517.16/3526.97	c INPROCESSING
3517.16/3526.97	c GARBAGE COLLECT
3517.16/3526.97	c #Conflicts:     267000 | #Constraints:      11387
3517.16/3526.97	c #Conflicts:     268000 | #Constraints:      12387
3517.16/3526.97	c #Conflicts:     269000 | #Constraints:      13387
3517.16/3526.97	c #Conflicts:     270000 | #Constraints:      14387
3517.16/3526.97	c #Conflicts:     271000 | #Constraints:      15387
3517.16/3526.97	c #Conflicts:     272000 | #Constraints:      16387
3517.16/3526.97	c #Conflicts:     273000 | #Constraints:      17387
3517.16/3526.97	c #Conflicts:     274000 | #Constraints:      18387
3517.16/3526.97	c #Conflicts:     275000 | #Constraints:      19387
3517.16/3526.97	c #Conflicts:     276000 | #Constraints:      20387
3517.16/3526.97	c #Conflicts:     277000 | #Constraints:      21387
3517.16/3526.97	c INPROCESSING
3517.16/3526.97	c GARBAGE COLLECT
3517.16/3526.97	c #Conflicts:     278000 | #Constraints:      11973
3517.16/3526.97	c #Conflicts:     279000 | #Constraints:      12973
3517.16/3526.97	c #Conflicts:     280000 | #Constraints:      13973
3517.16/3526.97	c #Conflicts:     281000 | #Constraints:      14973
3517.16/3526.97	c #Conflicts:     282000 | #Constraints:      15973
3517.16/3526.97	c #Conflicts:     283000 | #Constraints:      16973
3517.16/3526.97	c #Conflicts:     284000 | #Constraints:      17973
3517.16/3526.97	c #Conflicts:     285000 | #Constraints:      18973
3517.16/3526.97	c #Conflicts:     286000 | #Constraints:      19973
3517.16/3526.97	c #Conflicts:     287000 | #Constraints:      20973
3517.16/3526.97	c #Conflicts:     288000 | #Constraints:      21973
3517.16/3526.97	c INPROCESSING
3600.02/3610.03	c GARBAGE COLLECT
3600.02/3610.03	c #Conflicts:     289000 | #Constraints:      12375
3600.02/3610.03	c #Conflicts:     290000 | #Constraints:      13375
3600.02/3610.03	c #Conflicts:     291000 | #Constraints:      14375
3600.02/3610.03	c #Conflicts:     292000 | #Constraints:      15375
3600.02/3610.03	c #Conflicts:     293000 | #Constraints:      16375
3600.02/3610.03	c #Conflicts:     294000 | #Constraints:      17375
3600.02/3610.03	c cpu time 3570.11 s
3600.02/3610.03	c deterministic time 1 1.00e+00
3600.02/3610.03	c optimization time 3569.63 s
3600.02/3610.03	c total solve time 0 s
3600.02/3610.03	c core-guided solve time 0 s
3600.02/3610.03	c propagation time 0.000573 s
3600.02/3610.03	c conflict analysis time 0 s
3600.02/3610.03	c propagations 0
3600.02/3610.03	c resolve steps 0
3600.02/3610.03	c decisions 0
3600.02/3610.03	c conflicts 0
3600.02/3610.03	c restarts 0
3600.02/3610.03	c inprocessing phases 0
3600.02/3610.03	c garbage collections 0 ,( -nan )
3600.02/3610.03	c input clauses 0 ,( 0.00 )
3600.02/3610.03	c input cardinalities 732 ,( 100.00 )
3600.02/3610.03	c input general constraints 0 ,( 0.00 )
3600.02/3610.03	c input average constraint length 2400.66
3600.02/3610.03	c input average constraint degree 1206.26
3600.02/3610.03	c learned clauses 0 ,( 0.00 )
3600.02/3610.03	c learned cardinalities 0 ,( 0.00 )
3600.02/3610.03	c learned general constraints 0 ,( 0.00 )
3600.02/3610.03	c learned average constraint length 0.00
3600.02/3610.03	c learned average constraint degree 0.00
3600.02/3610.03	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.03	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.03	c watched   constraints 0 ,( -nan ) 
3600.02/3610.03	c counting  constraints 0 ,( -nan ) 
3600.02/3610.03	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.03	c gcd simplifications 0
3600.02/3610.03	c detected cardinalities 0
3600.02/3610.03	c weakened non-implied lits 0
3600.02/3610.03	c weakened non-implying lits 0
3600.02/3610.03	c original variables 10080
3600.02/3610.03	c clausal propagations 0
3600.02/3610.03	c cardinality propagations 0
3600.02/3610.03	c watched propagations 0
3600.02/3610.03	c counting propagations 0
3600.02/3610.03	c watch lookups 0
3600.02/3610.03	c watch backjump lookups 0
3600.02/3610.03	c watch checks 0
3600.02/3610.03	c propagation checks 0
3600.02/3610.03	c constraint additions 0
3600.02/3610.03	c trail pops 0
3600.02/3610.03	c formula constraints 732
3600.02/3610.03	c learned constraints 0
3600.02/3610.03	c bound constraints 0
3600.02/3610.03	c core-guided constraints 0
3600.02/3610.03	c encountered formula constraints 0
3600.02/3610.03	c encountered learned constraints 0
3600.02/3610.03	c encountered bound constraints 0
3600.02/3610.03	c encountered core-guided constraints 0
3600.02/3610.03	c LP total time 0 s
3600.02/3610.03	c LP solve time 0 s
3600.02/3610.03	c LP constraints added 0
3600.02/3610.03	c LP constraints removed 0
3600.02/3610.03	c LP pivots internal 0
3600.02/3610.03	c LP pivots root 0
3600.02/3610.03	c LP calls 0
3600.02/3610.03	c LP optimalities 0
3600.02/3610.03	c LP no pivot count 0
3600.02/3610.03	c LP infeasibilities 0
3600.02/3610.03	c LP valid Farkas constraints 0
3600.02/3610.03	c LP learned Farkas constraints 0
3600.02/3610.03	c LP basis resets 0
3600.02/3610.03	c LP cycling count 0
3600.02/3610.03	c LP singular count 0
3600.02/3610.03	c LP no primal count 0
3600.02/3610.03	c LP no farkas count 0
3600.02/3610.03	c LP other issue count 0
3600.02/3610.03	c LP Gomory cuts 0
3600.02/3610.03	c LP learned cuts 0
3600.02/3610.03	c LP deleted cuts 0
3600.02/3610.03	c LP encountered Gomory constraints 0
3600.02/3610.03	c LP encountered Farkas constraints 0
3600.02/3610.03	c LP encountered learned Farkas constraints 0
3600.02/3610.03	c CG auxiliary variables introduced 0
3600.02/3610.03	c CG solutions found 0
3600.02/3610.03	c CG cores constructed 0
3600.02/3610.03	c CG core cardinality constraints returned 0
3600.02/3610.03	c CG unit cores 0
3600.02/3610.03	c CG single cores 0
3600.02/3610.03	c CG blocks removed during cardinality reduction 0
3600.02/3610.03	c CG first core best 0
3600.02/3610.03	c CG decision core best 0
3600.02/3610.03	c CG core reduction tie 0
3600.02/3610.03	c CG core degree average 0.00
3600.02/3610.03	c CG core slack average 0.00
3600.02/3610.03	c CG core upper bound improvements 0
3600.02/3610.03	c STR number of successful calls 0
3600.02/3610.03	c STR number of unsuccessful calls 0
3600.02/3610.03	c STR number of inconclusive calls 0
3600.02/3610.03	c STR number of successful attempts 0
3600.02/3610.03	c STR number of unsuccessful attempts 0
3600.02/3610.03	c STR number of inconclusive attempts 0
3600.02/3610.03	c STR average degree increase per successful call inf
3600.02/3610.03	c STR average degree increase per successful attempt inf
3600.02/3610.03	c STR total number of conflicts for successful attempts 0
3600.02/3610.03	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.03	c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.03	c STR average number of conflicts per successful attempt inf
3600.02/3610.03	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.03	c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.03	c AVG.sumWPerc -nan 
3600.02/3610.03	c bigint constraints 0 
3600.02/3610.03	s UNKNOWN
3600.02/3610.03	c Program interrupted by user.

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: 63665 MiB (55095 MiB free)
  memory of node 1: 64507 MiB (63928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502325-1751439163/watcher-4502325-1751439163 -o /tmp/evaluation-result-4502325-1751439163/solver-4502325-1751439163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67592 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502325-1751439163.opb PROOFDIR/proof-4502325-1751439163 

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=67650, runsolver pid=67647
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 0.98 1.11 1.78 4/264 67652
/proc/meminfo: memFree=121869716/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=58020 memory=13460 CPUtime=0.07 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 1460 0 0 0 7 0 0 0 20 0 1 0 59594165 59412480 3365 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 14505 3365 1984 1147 0 1932 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62212 KiB
Current children cumulated memory: 16404 KiB

[startup+0.205321 s]*
/proc/loadavg: 0.98 1.11 1.78 5/265 67660
/proc/meminfo: memFree=121837328/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=58156 memory=15636 CPUtime=0.17 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 1486 0 0 0 17 0 0 0 20 0 1 0 59594165 59551744 3909 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 14539 3909 1984 1147 0 1966 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 18580 KiB

[startup+0.305552 s]*
/proc/loadavg: 0.98 1.11 1.78 3/259 67660
/proc/meminfo: memFree=121853356/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=63176 memory=20628 CPUtime=0.26 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 2733 0 0 0 26 0 0 0 20 0 1 0 59594165 64692224 5157 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 15794 5157 1984 1147 0 3221 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 67368 KiB
Current children cumulated memory: 23572 KiB

[startup+0.700205 s]
/proc/loadavg: 0.98 1.11 1.78 3/257 67668
/proc/meminfo: memFree=121762468/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=150604 memory=108780 CPUtime=0.65 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 23256 0 0 0 62 3 0 0 20 0 1 0 59594165 154218496 27195 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 37651 27195 2336 1147 0 25078 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 154796 KiB
Current children cumulated memory: 111724 KiB

[startup+1.50019 s]
/proc/loadavg: 0.98 1.11 1.78 3/257 67668
/proc/meminfo: memFree=121645296/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=183528 memory=131332 CPUtime=1.44 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 26818 0 0 0 137 7 0 0 20 0 1 0 59594165 187932672 32833 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 45882 32833 2368 1147 0 33309 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 134276 KiB

[startup+3.10447 s]
/proc/loadavg: 1.22 1.16 1.79 5/267 67746
/proc/meminfo: memFree=121453752/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=242324 memory=185952 CPUtime=3.04 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 37410 0 0 0 289 15 0 0 20 0 1 0 59594165 248139776 46488 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 60581 46488 2368 1147 0 48008 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 246516 KiB
Current children cumulated memory: 188896 KiB

[startup+6.30016 s]
/proc/loadavg: 1.22 1.16 1.79 5/270 67749
/proc/meminfo: memFree=121021004/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=339256 memory=274020 CPUtime=6.23 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 53807 0 0 0 597 26 0 0 20 0 1 0 59594165 347398144 68505 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 84814 68505 2368 1147 0 72241 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 343448 KiB
Current children cumulated memory: 276964 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 1.22 1.81 5/270 67749
/proc/meminfo: memFree=120468056/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=399260 memory=339732 CPUtime=12.62 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 67692 0 0 0 1224 38 0 0 20 0 1 0 59594165 408842240 84933 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 99815 84933 2368 1147 0 87242 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 403452 KiB
Current children cumulated memory: 342676 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 1.36 1.84 5/270 67749
/proc/meminfo: memFree=119587452/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=548632 memory=459452 CPUtime=25.39 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 90468 0 0 0 2477 62 0 0 20 0 1 0 59594165 561799168 114863 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 137158 114863 2368 1147 0 124585 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 552824 KiB
Current children cumulated memory: 462396 KiB

[startup+51.1055 s]
/proc/loadavg: 2.73 1.57 1.90 5/271 67798
/proc/meminfo: memFree=118584828/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=846848 memory=711192 CPUtime=50.91 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 137567 0 0 0 4990 101 0 0 20 0 1 0 59594165 867172352 177798 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 211712 177798 2368 1147 0 199139 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 851040 KiB
Current children cumulated memory: 714136 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 2.01 2.04 5/272 67801
/proc/meminfo: memFree=115609764/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=952424 memory=817760 CPUtime=101.96 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 161193 0 0 0 10030 166 0 0 20 0 1 0 59594165 975282176 204440 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 238106 204440 2368 1147 0 225533 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 956616 KiB
Current children cumulated memory: 820704 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.39 2.17 5/273 67805
/proc/meminfo: memFree=112489648/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=1090716 memory=973196 CPUtime=161.8 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 191685 0 0 0 15940 240 0 0 20 0 1 0 59594165 1116893184 243299 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 272679 243299 2368 1147 0 260106 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1094908 KiB
Current children cumulated memory: 976140 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 2.74 2.30 5/274 67810
/proc/meminfo: memFree=109013856/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=1269160 memory=1027324 CPUtime=221.64 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 201718 0 0 0 21847 317 0 0 20 0 1 0 59594165 1299619840 256831 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 317290 256831 2368 1147 0 304717 0

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

[pid=67652] ppid=67650 vsize=3231148 memory=2645112 CPUtime=3093.85 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 453198 0 0 0 306721 2664 0 0 20 0 1 0 59594165 3308695552 661278 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 807787 661278 2368 1147 0 795214 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 3235340 KiB
Current children cumulated memory: 2648056 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/275 67977
/proc/meminfo: memFree=4872292/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3246768 memory=2665840 CPUtime=3153.66 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 456354 0 0 0 312676 2690 0 0 20 0 1 0 59594165 3324690432 666460 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 811692 666460 2368 1147 0 799119 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 3250960 KiB
Current children cumulated memory: 2668784 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.13 4.09 5/276 67982
/proc/meminfo: memFree=2964960/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3249784 memory=2676652 CPUtime=3213.49 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 457033 0 0 0 318618 2731 0 0 20 0 1 0 59594165 3327778816 669163 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 812446 669163 2368 1147 0 799873 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 3253976 KiB
Current children cumulated memory: 2679596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/276 67984
/proc/meminfo: memFree=1143020/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3267248 memory=2689580 CPUtime=3273.31 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 460255 0 0 0 324549 2782 0 0 20 0 1 0 59594165 3345661952 672395 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 816812 672395 2368 1147 0 804239 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 3271440 KiB
Current children cumulated memory: 2692524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/276 67991
/proc/meminfo: memFree=821136/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3286268 memory=2703660 CPUtime=3333.12 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 464527 0 0 0 330486 2826 0 0 20 0 1 0 59594165 3365138432 675915 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 821567 675915 2368 1147 0 808994 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 3290460 KiB
Current children cumulated memory: 2706604 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/276 67994
/proc/meminfo: memFree=623844/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3286268 memory=2703660 CPUtime=3392.94 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 464547 0 0 0 336423 2871 0 0 20 0 1 0 59594165 3365138432 675915 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 821567 675915 2368 1147 0 808994 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 3290460 KiB
Current children cumulated memory: 2706604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 67996
/proc/meminfo: memFree=669324/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3286268 memory=2703660 CPUtime=3452.76 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 464547 0 0 0 342372 2904 0 0 20 0 1 0 59594165 3365138432 675915 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 821567 675915 2368 1147 0 808994 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 3290460 KiB
Current children cumulated memory: 2706604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 67997
/proc/meminfo: memFree=667788/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3286268 memory=2703660 CPUtime=3512.58 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 464923 0 0 0 348330 2928 0 0 20 0 1 0 59594165 3365138432 675915 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 821567 675915 2368 1147 0 808994 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 3290460 KiB
Current children cumulated memory: 2706604 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 67999
/proc/meminfo: memFree=667612/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3286268 memory=2703660 CPUtime=3572.39 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 465317 0 0 0 354264 2975 0 0 20 0 1 0 59594165 3365138432 675915 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 821567 675915 2368 1147 0 808994 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 3290460 KiB
Current children cumulated memory: 2706604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 68001
/proc/meminfo: memFree=625464/131250000 swapFree=33010416/33010684
[pid=67650] ppid=67647 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/67650/stat : 67650 (run-opt-log.sh) S 67647 67650 67579 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59594164 4292608 736 18446744073709551615 94208833417216 94208834311749 140723636079216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94208834550800 94208834598544 94208853504000 140723636087073 140723636087268 140723636087268 140723636092870 0
/proc/67650/statm: 1048 736 672 219 0 110 0
[pid=67652] ppid=67650 vsize=3286268 memory=2703916 CPUtime=3600.02 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67650 67650 67579 0 -1 4194304 465365 0 0 0 357011 2991 0 0 20 0 1 0 59594165 3365138432 675979 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 821567 675979 2368 1147 0 808994 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3290460 KiB
Current children cumulated memory: 2706860 KiB

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

[startup+3610.01 s]
# the end of solver process 67650 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002063 s, system=0 s

[startup+3610.14 s]
# the end of solver process 67652 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3570.12 s, system=29.9608 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.11 s]*
/proc/loadavg: 4.10 4.10 4.09 4/271 68001
/proc/meminfo: memFree=1262132/131250000 swapFree=33010416/33010684
[pid=67652] ppid=67647 vsize=2314332 memory=553628 CPUtime=3600.04 cores=5,7
/proc/67652/stat : 67652 (roundingsat) R 67647 67650 67579 0 -1 4194304 465379 0 2 0 357011 2993 0 0 20 0 1 0 59594165 2369875968 138407 18446744073709551615 4227072 8923433 140733284865936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23375872 140733284870482 140733284870696 140733284870696 140733284876266 0
/proc/67652/statm: 578583 138407 2464 1147 0 566010 0
Current cumulated CPU time of completed processes: 0.002063 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2314332 KiB
Current children cumulated memory: 553628 KiB

Child status: 2

Real time (s): 3610.14
CPU time (s): 3600.08
CPU user time (s): 3570.12
CPU system time (s): 29.9608
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 3290460
Max. memory (cumulated for all children) (KiB): 2706860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.12
system time used= 29.9608
maximum resident set size= 2704300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465600
page faults= 2
swaps= 0
block input operations= 5832
block output operations= 39036336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 900
involuntary context switches= 4720


# summary of solver processes directly reported to runsolver:
#   pid: 67650,67652
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3570.12
#   total CPU system time (s): 29.9608

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40773 second user time and 16.7873 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-02 08:52:43
IDJOB=4502325
IDBENCH=155319
IDSOLVER=3351
FILE ID=nodeC018/4502325-1751439163
RUNJOBID= nodeC018-1751439163-67592
SLURM_JOB_ID= 9598397
Free space on /tmp= 432892 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502325-1751439163/watcher-4502325-1751439163 -o /tmp/evaluation-result-4502325-1751439163/solver-4502325-1751439163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67592 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502325-1751439163.opb PROOFDIR/proof-4502325-1751439163

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

MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=82284945

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.139
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3601.935
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3600.013
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.861
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3600.144
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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.832
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.815
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3604.124
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121887592 kB
MemAvailable:   129712448 kB
Buffers:            2128 kB
Cached:          8591164 kB
SwapCached:           32 kB
Active:           406416 kB
Inactive:        8254644 kB
Active(anon):      85524 kB
Inactive(anon):      288 kB
Active(file):     320892 kB
Inactive(file):  8254356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             49572 kB
Writeback:             0 kB
AnonPages:         70288 kB
Mapped:           104344 kB
Shmem:             18044 kB
KReclaimable:     177296 kB
Slab:             267620 kB
SReclaimable:     177296 kB
SUnreclaim:        90324 kB
KernelStack:        3952 kB
PageTables:         2712 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     355880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432872 MiB
End job on nodeC018 at 2025-07-02 09:52:54