Trace number 4503882

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 63f22ad? (TO) 3600.08 3610.95

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
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 benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.08/0.18	c #variables 5100 #constraints 12510
0.08/0.18	c objective is ce32 
0.18/0.27	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
0.18/0.27	c initial counting CF 32, 64, 128, Arb: 1326 , 0 , 0 , 0
0.18/0.27	c GLOBAL bounds - >= -50 @ 0.154064
0.83/0.95	c GLOBAL bounds - >= -50 @ 0.812777
0.83/0.96	c GLOBAL bounds - >= -50 @ 0.81867
0.83/0.97	c GLOBAL bounds - >= -50 @ 0.825176
0.83/0.98	c GLOBAL bounds - >= -50 @ 0.832839
0.83/1.00	c GLOBAL bounds - >= -50 @ 0.844972
0.94/1.01	c GLOBAL bounds - >= -50 @ 0.854336
0.94/1.02	c GLOBAL bounds - >= -50 @ 0.861622
0.94/1.03	c GLOBAL bounds - >= -50 @ 0.868178
0.94/1.04	c GLOBAL bounds - >= -50 @ 0.876473
0.94/1.06	c GLOBAL bounds - >= -50 @ 0.885575
0.94/1.08	c GLOBAL bounds - >= -50 @ 0.904814
0.94/1.09	c GLOBAL bounds - >= -50 @ 0.911987
0.94/1.10	c GLOBAL bounds - >= -50 @ 0.922332
1.03/1.12	c GLOBAL bounds - >= -50 @ 0.932213
1.03/1.13	c GLOBAL bounds - >= -50 @ 0.941179
1.03/1.14	c GLOBAL bounds - >= -50 @ 0.95182
1.03/1.17	c GLOBAL bounds - >= -50 @ 0.979027
1.13/1.20	c GLOBAL bounds - >= -50 @ 1.00194
1.13/1.22	c GLOBAL bounds - >= -50 @ 1.01888
1.13/1.25	c GLOBAL bounds - >= -50 @ 1.04109
1.13/1.27	c GLOBAL bounds - >= -50 @ 1.05773
1.13/1.29	c GLOBAL bounds - >= -50 @ 1.07068
1.23/1.31	c GLOBAL bounds - >= -50 @ 1.08584
1.23/1.34	c GLOBAL bounds - >= -50 @ 1.11153
1.23/1.36	c GLOBAL bounds - >= -50 @ 1.13245
1.23/1.38	c GLOBAL bounds - >= -50 @ 1.14839
1.32/1.40	c GLOBAL bounds - >= -50 @ 1.16731
1.32/1.42	c GLOBAL bounds - >= -50 @ 1.18225
1.32/1.43	c GLOBAL bounds - >= -50 @ 1.19323
1.32/1.45	c GLOBAL bounds - >= -50 @ 1.20317
1.32/1.48	c GLOBAL bounds - >= -50 @ 1.24006
1.43/1.51	c GLOBAL bounds - >= -50 @ 1.25801
1.43/1.55	c GLOBAL bounds - >= -50 @ 1.30308
1.43/1.57	c GLOBAL bounds - >= -50 @ 1.31284
1.43/1.59	c GLOBAL bounds - >= -50 @ 1.33477
1.53/1.62	c GLOBAL bounds - >= -50 @ 1.35967
1.72/1.86	c GLOBAL bounds - >= -50 @ 1.59785
2.22/2.33	c GLOBAL bounds - >= -50 @ 2.04778
2.32/2.42	c GLOBAL bounds - >= -50 @ 2.13105
2.52/2.68	c GLOBAL bounds - >= -50 @ 2.3813
2.62/2.74	c GLOBAL bounds - >= -50 @ 2.44227
3.72/3.80	c #Conflicts:       1000 | #Constraints:      37021
3.72/3.80	c GLOBAL bounds - >= -50 @ 3.47534
3.81/3.96	c GLOBAL bounds - >= -50 @ 3.62788
4.71/4.82	c GLOBAL bounds - >= -50 @ 4.45429
5.12/5.26	c GLOBAL bounds - >= -50 @ 4.89281
5.31/5.41	c GLOBAL bounds - >= -50 @ 5.04168
5.51/5.61	c GLOBAL bounds - >= -50 @ 5.23242
5.51/5.69	c GLOBAL bounds - >= -50 @ 5.31256
5.71/5.86	c GLOBAL bounds - >= -50 @ 5.473
6.21/6.39	c GLOBAL bounds - >= -50 @ 5.99553
6.41/6.52	c GLOBAL bounds - >= -50 @ 6.12702
6.51/6.63	c GLOBAL bounds - >= -50 @ 6.23235
6.81/6.97	c GLOBAL bounds - >= -50 @ 6.56143
7.30/7.41	c GLOBAL bounds - >= -50 @ 7.00067
8.41/8.53	c GLOBAL bounds - >= -50 @ 8.10305
8.70/8.80	c GLOBAL bounds - >= -50 @ 8.37334
8.70/8.86	c GLOBAL bounds - >= -50 @ 8.42543
9.20/9.34	c GLOBAL bounds - >= -50 @ 8.89774
10.80/10.93	c #Conflicts:       2000 | #Constraints:      65207
10.80/10.93	c INPROCESSING
10.80/10.93	c GARBAGE COLLECT
10.80/10.93	c GLOBAL bounds - >= -50 @ 10.4737
11.40/11.50	c GLOBAL bounds - >= -50 @ 11.0397
11.60/11.78	c GLOBAL bounds - >= -50 @ 11.3231
12.59/12.79	c GLOBAL bounds - >= -50 @ 12.3243
13.78/13.96	c GLOBAL bounds - >= -50 @ 13.4853
14.18/14.30	c GLOBAL bounds - >= -50 @ 13.8264
14.18/14.38	c GLOBAL bounds - >= -50 @ 13.9031
17.78/17.96	c #Conflicts:       3000 | #Constraints:      76894
17.78/17.96	c GLOBAL bounds - >= -50 @ 17.4431
17.89/18.06	c GLOBAL bounds - >= -50 @ 17.546
19.67/19.81	c GLOBAL bounds - >= -50 @ 19.2749
40.31/40.58	c #Conflicts:       4000 | #Constraints:      82944
40.31/40.58	c INPROCESSING
40.31/40.58	c GARBAGE COLLECT
40.31/40.58	c #Conflicts:       5000 | #Constraints:      82354
40.31/40.58	c #Conflicts:       6000 | #Constraints:      83354
40.31/40.58	c GLOBAL bounds - >= -50 @ 39.9135
44.10/44.30	c GLOBAL bounds - >= -50 @ 43.6047
46.28/46.57	c INPROCESSING
46.28/46.57	c GARBAGE COLLECT
46.28/46.57	c GLOBAL bounds - >= -50 @ 45.8581
261.86/262.70	c #Conflicts:       7000 | #Constraints:      87430
261.86/262.70	c #Conflicts:       8000 | #Constraints:      88430
261.86/262.70	c #Conflicts:       9000 | #Constraints:      89430
261.86/262.70	c INPROCESSING
261.86/262.70	c GARBAGE COLLECT
261.86/262.70	c #Conflicts:      10000 | #Constraints:      88137
261.86/262.70	c #Conflicts:      11000 | #Constraints:      89137
261.86/262.70	c #Conflicts:      12000 | #Constraints:      90137
261.86/262.70	c INPROCESSING
261.86/262.70	c GARBAGE COLLECT
261.86/262.70	c #Conflicts:      13000 | #Constraints:      88592
261.86/262.70	c #Conflicts:      14000 | #Constraints:      89592
261.86/262.70	c #Conflicts:      15000 | #Constraints:      90592
261.86/262.70	c INPROCESSING
261.86/262.70	c GARBAGE COLLECT
261.86/262.70	c #Conflicts:      16000 | #Constraints:      88820
261.86/262.70	c #Conflicts:      17000 | #Constraints:      89820
261.86/262.70	c #Conflicts:      18000 | #Constraints:      90820
261.86/262.70	c INPROCESSING
261.86/262.70	c GARBAGE COLLECT
261.86/262.70	c #Conflicts:      19000 | #Constraints:      88836
261.86/262.70	c #Conflicts:      20000 | #Constraints:      89836
261.86/262.70	c #Conflicts:      21000 | #Constraints:      90836
261.86/262.70	c INPROCESSING
261.86/262.70	c GARBAGE COLLECT
261.86/262.70	c #Conflicts:      22000 | #Constraints:      88644
261.86/262.70	c #Conflicts:      23000 | #Constraints:      89644
261.86/262.70	c #Conflicts:      24000 | #Constraints:      90644
261.86/262.70	c #Conflicts:      25000 | #Constraints:      91644
261.86/262.70	c INPROCESSING
261.86/262.70	c GARBAGE COLLECT
261.86/262.70	c #Conflicts:      26000 | #Constraints:      89249
261.86/262.70	c GLOBAL bounds - >= -50 @ 261.05
262.05/262.92	c GLOBAL bounds - >= -50 @ 261.268
265.45/266.33	c GLOBAL bounds - >= -50 @ 264.666
278.51/279.47	c #Conflicts:      27000 | #Constraints:      95391
278.51/279.47	c GLOBAL bounds - >= -50 @ 277.757
357.48/358.66	c #Conflicts:      28000 | #Constraints:      98109
357.48/358.66	c #Conflicts:      29000 | #Constraints:      99109
357.48/358.66	c INPROCESSING
357.48/358.66	c GARBAGE COLLECT
357.48/358.66	c #Conflicts:      30000 | #Constraints:      96499
357.48/358.66	c #Conflicts:      31000 | #Constraints:      97499
357.48/358.66	c #Conflicts:      32000 | #Constraints:      98499
357.48/358.66	c #Conflicts:      33000 | #Constraints:      99499
357.48/358.66	c INPROCESSING
357.48/358.66	c GARBAGE COLLECT
357.48/358.66	c GLOBAL bounds - >= -50 @ 356.622
506.03/507.61	c #Conflicts:      34000 | #Constraints:      98415
506.03/507.61	c #Conflicts:      35000 | #Constraints:      99415
506.03/507.61	c #Conflicts:      36000 | #Constraints:     100415
506.03/507.61	c #Conflicts:      37000 | #Constraints:     101415
506.03/507.61	c INPROCESSING
506.03/507.61	c GARBAGE COLLECT
506.03/507.61	c #Conflicts:      38000 | #Constraints:      98412
506.03/507.61	c #Conflicts:      39000 | #Constraints:      99412
506.03/507.61	c #Conflicts:      40000 | #Constraints:     100412
506.03/507.61	c #Conflicts:      41000 | #Constraints:     101412
506.03/507.61	c INPROCESSING
506.03/507.61	c GARBAGE COLLECT
506.03/507.61	c #Conflicts:      42000 | #Constraints:      98216
506.03/507.61	c #Conflicts:      43000 | #Constraints:      99216
506.03/507.61	c #Conflicts:      44000 | #Constraints:     100216
506.03/507.61	c GLOBAL bounds - >= -50 @ 504.927
519.70/521.38	c #Conflicts:      45000 | #Constraints:     102934
519.70/521.38	c GLOBAL bounds - >= -50 @ 518.639
520.50/522.13	c GLOBAL bounds - >= -50 @ 519.392
521.78/523.43	c GLOBAL bounds - >= -50 @ 520.673
522.68/524.32	c GLOBAL bounds - >= -50 @ 521.554
656.78/658.86	c #Conflicts:      46000 | #Constraints:     110830
656.78/658.86	c INPROCESSING
656.78/658.86	c GARBAGE COLLECT
656.78/658.86	c #Conflicts:      47000 | #Constraints:     107424
656.78/658.86	c #Conflicts:      48000 | #Constraints:     108424
656.78/658.86	c #Conflicts:      49000 | #Constraints:     109424
656.78/658.86	c #Conflicts:      50000 | #Constraints:     110424
656.78/658.86	c #Conflicts:      51000 | #Constraints:     111424
656.78/658.86	c INPROCESSING
656.78/658.86	c GARBAGE COLLECT
656.78/658.86	c #Conflicts:      52000 | #Constraints:     107826
656.78/658.86	c #Conflicts:      53000 | #Constraints:     108826
656.78/658.86	c #Conflicts:      54000 | #Constraints:     109826
656.78/658.86	c GLOBAL bounds - >= -50 @ 655.583
657.18/659.25	c GLOBAL bounds - >= -50 @ 655.971
660.08/662.16	c GLOBAL bounds - >= -50 @ 658.867
771.24/773.68	c #Conflicts:      55000 | #Constraints:     116082
771.24/773.68	c #Conflicts:      56000 | #Constraints:     117082
771.24/773.68	c INPROCESSING
771.24/773.68	c GARBAGE COLLECT
771.24/773.68	c #Conflicts:      57000 | #Constraints:     113281
771.24/773.68	c #Conflicts:      58000 | #Constraints:     114281
771.24/773.68	c #Conflicts:      59000 | #Constraints:     115281
771.24/773.68	c #Conflicts:      60000 | #Constraints:     116281
771.24/773.68	c GLOBAL bounds - >= -50 @ 769.965
771.65/774.05	c GLOBAL bounds - >= -50 @ 770.331
780.91/783.40	c #Conflicts:      61000 | #Constraints:     120821
780.91/783.40	c INPROCESSING
780.91/783.40	c GARBAGE COLLECT
780.91/783.40	c GLOBAL bounds - >= -50 @ 779.624
782.81/785.24	c GLOBAL bounds - >= -50 @ 781.462
1045.50/1048.79	c #Conflicts:      62000 | #Constraints:     120359
1045.50/1048.79	c #Conflicts:      63000 | #Constraints:     121359
1045.50/1048.79	c #Conflicts:      64000 | #Constraints:     122359
1045.50/1048.79	c #Conflicts:      65000 | #Constraints:     123359
1045.50/1048.79	c #Conflicts:      66000 | #Constraints:     124359
1045.50/1048.79	c INPROCESSING
1045.50/1048.79	c GARBAGE COLLECT
1045.50/1048.79	c #Conflicts:      67000 | #Constraints:     120166
1045.50/1048.79	c #Conflicts:      68000 | #Constraints:     121166
1045.50/1048.79	c #Conflicts:      69000 | #Constraints:     122166
1045.50/1048.79	c #Conflicts:      70000 | #Constraints:     123166
1045.50/1048.79	c #Conflicts:      71000 | #Constraints:     124166
1045.50/1048.79	c #Conflicts:      72000 | #Constraints:     125166
1045.50/1048.79	c INPROCESSING
1045.50/1048.79	c GARBAGE COLLECT
1045.50/1048.79	c #Conflicts:      73000 | #Constraints:     120766
1045.50/1048.79	c #Conflicts:      74000 | #Constraints:     121766
1045.50/1048.79	c #Conflicts:      75000 | #Constraints:     122766
1045.50/1048.79	c GLOBAL bounds - >= -50 @ 1044.03
1170.03/1173.66	c #Conflicts:      76000 | #Constraints:     125536
1170.03/1173.66	c #Conflicts:      77000 | #Constraints:     126536
1170.03/1173.66	c #Conflicts:      78000 | #Constraints:     127536
1170.03/1173.66	c INPROCESSING
1170.03/1173.66	c GARBAGE COLLECT
1170.03/1173.66	c #Conflicts:      79000 | #Constraints:     122936
1170.03/1173.66	c #Conflicts:      80000 | #Constraints:     123936
1170.03/1173.66	c #Conflicts:      81000 | #Constraints:     124936
1170.03/1173.66	c GLOBAL bounds - >= -50 @ 1168.46
1445.60/1450.03	c #Conflicts:      82000 | #Constraints:     127706
1445.60/1450.03	c #Conflicts:      83000 | #Constraints:     128706
1445.60/1450.03	c #Conflicts:      84000 | #Constraints:     129706
1445.60/1450.03	c INPROCESSING
1445.60/1450.03	c GARBAGE COLLECT
1445.60/1450.03	c #Conflicts:      85000 | #Constraints:     124912
1445.60/1450.03	c #Conflicts:      86000 | #Constraints:     125912
1445.60/1450.03	c #Conflicts:      87000 | #Constraints:     126912
1445.60/1450.03	c #Conflicts:      88000 | #Constraints:     127912
1445.60/1450.03	c #Conflicts:      89000 | #Constraints:     128912
1445.60/1450.03	c #Conflicts:      90000 | #Constraints:     129912
1445.60/1450.03	c INPROCESSING
1445.60/1450.03	c GARBAGE COLLECT
1445.60/1450.03	c #Conflicts:      91000 | #Constraints:     124907
1445.60/1450.03	c #Conflicts:      92000 | #Constraints:     125907
1445.60/1450.03	c #Conflicts:      93000 | #Constraints:     126907
1445.60/1450.03	c GLOBAL bounds - >= -50 @ 1443.82
2214.11/2220.91	c #Conflicts:      94000 | #Constraints:     129685
2214.11/2220.91	c #Conflicts:      95000 | #Constraints:     130685
2214.11/2220.91	c #Conflicts:      96000 | #Constraints:     131685
2214.11/2220.91	c INPROCESSING
2214.11/2220.91	c GARBAGE COLLECT
2214.11/2220.91	c #Conflicts:      97000 | #Constraints:     126485
2214.11/2220.91	c #Conflicts:      98000 | #Constraints:     127485
2214.11/2220.91	c #Conflicts:      99000 | #Constraints:     128485
2214.11/2220.91	c #Conflicts:     100000 | #Constraints:     129485
2214.11/2220.91	c #Conflicts:     101000 | #Constraints:     130485
2214.11/2220.91	c #Conflicts:     102000 | #Constraints:     131485
2214.11/2220.91	c #Conflicts:     103000 | #Constraints:     132485
2214.11/2220.91	c INPROCESSING
2214.11/2220.91	c GARBAGE COLLECT
2214.11/2220.91	c #Conflicts:     104000 | #Constraints:     127083
2214.11/2220.91	c #Conflicts:     105000 | #Constraints:     128083
2214.11/2220.91	c #Conflicts:     106000 | #Constraints:     129083
2214.11/2220.91	c #Conflicts:     107000 | #Constraints:     130083
2214.11/2220.91	c #Conflicts:     108000 | #Constraints:     131083
2214.11/2220.91	c #Conflicts:     109000 | #Constraints:     132083
2214.11/2220.91	c #Conflicts:     110000 | #Constraints:     133083
2214.11/2220.91	c INPROCESSING
2214.11/2220.91	c GARBAGE COLLECT
2214.11/2220.91	c #Conflicts:     111000 | #Constraints:     127490
2214.11/2220.91	c #Conflicts:     112000 | #Constraints:     128490
2214.11/2220.91	c #Conflicts:     113000 | #Constraints:     129490
2214.11/2220.91	c #Conflicts:     114000 | #Constraints:     130490
2214.11/2220.91	c #Conflicts:     115000 | #Constraints:     131490
2214.11/2220.91	c #Conflicts:     116000 | #Constraints:     132490
2214.11/2220.91	c #Conflicts:     117000 | #Constraints:     133490
2214.11/2220.91	c INPROCESSING
2214.11/2220.91	c GARBAGE COLLECT
2214.11/2220.91	c #Conflicts:     118000 | #Constraints:     127690
2214.11/2220.91	c #Conflicts:     119000 | #Constraints:     128690
2214.11/2220.91	c #Conflicts:     120000 | #Constraints:     129690
2214.11/2220.91	c #Conflicts:     121000 | #Constraints:     130690
2214.11/2220.91	c #Conflicts:     122000 | #Constraints:     131690
2214.11/2220.91	c #Conflicts:     123000 | #Constraints:     132690
2214.11/2220.91	c #Conflicts:     124000 | #Constraints:     133690
2214.11/2220.91	c INPROCESSING
2214.11/2220.91	c GARBAGE COLLECT
2214.11/2220.91	c #Conflicts:     125000 | #Constraints:     127689
2214.11/2220.91	c GLOBAL bounds - >= -50 @ 2211.92
2221.29/2228.18	c GLOBAL bounds - >= -50 @ 2219.16
2619.83/2627.92	c #Conflicts:     126000 | #Constraints:     132245
2619.83/2627.92	c #Conflicts:     127000 | #Constraints:     133245
2619.83/2627.92	c #Conflicts:     128000 | #Constraints:     134245
2619.83/2627.92	c #Conflicts:     129000 | #Constraints:     135245
2619.83/2627.92	c #Conflicts:     130000 | #Constraints:     136245
2619.83/2627.92	c #Conflicts:     131000 | #Constraints:     137245
2619.83/2627.92	c INPROCESSING
2619.83/2627.92	c GARBAGE COLLECT
2619.83/2627.92	c #Conflicts:     132000 | #Constraints:     131043
2619.83/2627.92	c #Conflicts:     133000 | #Constraints:     132043
2619.83/2627.92	c #Conflicts:     134000 | #Constraints:     133043
2619.83/2627.92	c #Conflicts:     135000 | #Constraints:     134043
2619.83/2627.92	c #Conflicts:     136000 | #Constraints:     135043
2619.83/2627.92	c #Conflicts:     137000 | #Constraints:     136043
2619.83/2627.92	c #Conflicts:     138000 | #Constraints:     137043
2619.83/2627.92	c #Conflicts:     139000 | #Constraints:     138043
2619.83/2627.92	c INPROCESSING
2619.83/2627.92	c GARBAGE COLLECT
2619.83/2627.92	c #Conflicts:     140000 | #Constraints:     131648
2619.83/2627.92	c GLOBAL bounds - >= -50 @ 2617.43
3106.01/3115.52	c #Conflicts:     141000 | #Constraints:     134426
3106.01/3115.52	c #Conflicts:     142000 | #Constraints:     135426
3106.01/3115.52	c #Conflicts:     143000 | #Constraints:     136426
3106.01/3115.52	c #Conflicts:     144000 | #Constraints:     137426
3106.01/3115.52	c #Conflicts:     145000 | #Constraints:     138426
3106.01/3115.52	c #Conflicts:     146000 | #Constraints:     139426
3106.01/3115.52	c #Conflicts:     147000 | #Constraints:     140426
3106.01/3115.52	c INPROCESSING
3106.01/3115.52	c GARBAGE COLLECT
3106.01/3115.52	c #Conflicts:     148000 | #Constraints:     133825
3106.01/3115.52	c #Conflicts:     149000 | #Constraints:     134825
3106.01/3115.52	c #Conflicts:     150000 | #Constraints:     135825
3106.01/3115.52	c #Conflicts:     151000 | #Constraints:     136825
3106.01/3115.52	c #Conflicts:     152000 | #Constraints:     137825
3106.01/3115.52	c #Conflicts:     153000 | #Constraints:     138825
3106.01/3115.52	c #Conflicts:     154000 | #Constraints:     139825
3106.01/3115.52	c #Conflicts:     155000 | #Constraints:     140825
3106.01/3115.52	c INPROCESSING
3106.01/3115.52	c GARBAGE COLLECT
3106.01/3115.52	c #Conflicts:     156000 | #Constraints:     134019
3106.01/3115.52	c #Conflicts:     157000 | #Constraints:     135019
3106.01/3115.52	c GLOBAL bounds - >= -50 @ 3103.41
3203.26/3213.03	c #Conflicts:     158000 | #Constraints:     137797
3203.26/3213.03	c #Conflicts:     159000 | #Constraints:     138797
3203.26/3213.03	c #Conflicts:     160000 | #Constraints:     139797
3203.26/3213.03	c #Conflicts:     161000 | #Constraints:     140797
3203.26/3213.03	c GLOBAL bounds - >= -50 @ 3200.62
3211.81/3221.65	c GLOBAL bounds - >= -50 @ 3209.21
3235.26/3245.18	c #Conflicts:     162000 | #Constraints:     145373
3235.26/3245.18	c GLOBAL bounds - >= -50 @ 3232.66
3249.60/3259.59	c GLOBAL bounds - >= -50 @ 3247.02
3251.31/3261.25	c GLOBAL bounds - >= -50 @ 3248.68
3269.55/3279.55	c #Conflicts:     163000 | #Constraints:     151761
3269.55/3279.55	c GLOBAL bounds - >= -50 @ 3266.9
3413.55/3423.93	c INPROCESSING
3413.55/3423.93	c GARBAGE COLLECT
3413.55/3423.93	c #Conflicts:     164000 | #Constraints:     146555
3413.55/3423.93	c #Conflicts:     165000 | #Constraints:     147555
3413.55/3423.93	c #Conflicts:     166000 | #Constraints:     148555
3413.55/3423.93	c #Conflicts:     167000 | #Constraints:     149555
3413.55/3423.93	c #Conflicts:     168000 | #Constraints:     150555
3413.55/3423.93	c #Conflicts:     169000 | #Constraints:     151555
3413.55/3423.93	c GLOBAL bounds - >= -50 @ 3410.81
3443.06/3453.51	c #Conflicts:     170000 | #Constraints:     154357
3443.06/3453.51	c GLOBAL bounds - >= -50 @ 3440.3
3600.01/3610.92	c #Conflicts:     171000 | #Constraints:     157171
3600.01/3610.92	c INPROCESSING
3600.01/3610.92	c GARBAGE COLLECT
3600.01/3610.92	c #Conflicts:     172000 | #Constraints:     149964
3600.01/3610.92	c #Conflicts:     173000 | #Constraints:     150964
3600.01/3610.92	c #Conflicts:     174000 | #Constraints:     151964
3600.01/3610.92	c #Conflicts:     175000 | #Constraints:     152964
3600.01/3610.92	c cpu time 3597.09 s
3600.01/3610.92	c deterministic time 121 1.21e+02
3600.01/3610.92	c optimization time 3596.98 s
3600.01/3610.92	c total solve time 0 s
3600.01/3610.92	c core-guided solve time 0 s
3600.01/3610.92	c propagation time 0.009994 s
3600.01/3610.92	c conflict analysis time 0 s
3600.01/3610.92	c propagations 100
3600.01/3610.92	c resolve steps 0
3600.01/3610.92	c decisions 0
3600.01/3610.92	c conflicts 0
3600.01/3610.92	c restarts 0
3600.01/3610.92	c inprocessing phases 0
3600.01/3610.92	c garbage collections 0 ,( -nan )
3600.01/3610.92	c input clauses 11126 ,( 88.94 )
3600.01/3610.92	c input cardinalities 9 ,( 0.07 )
3600.01/3610.92	c input general constraints 1375 ,( 10.99 )
3600.01/3610.92	c input average constraint length 3.60
3600.01/3610.92	c input average constraint degree 1.71
3600.01/3610.92	c learned clauses 0 ,( 0.00 )
3600.01/3610.92	c learned cardinalities 0 ,( 0.00 )
3600.01/3610.92	c learned general constraints 0 ,( 0.00 )
3600.01/3610.92	c learned average constraint length 0.00
3600.01/3610.92	c learned average constraint degree 0.00
3600.01/3610.92	c watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
3600.01/3610.92	c counting CF 32, 64, 128, Arb: 1326 , 0 , 0 , 0
3600.01/3610.92	c watched   constraints 50 ,( 3.64 ) 
3600.01/3610.92	c counting  constraints 1325 ,( 96.36 ) 
3600.01/3610.92	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2 , 0 , 8 ,( 8 , 0 )
3600.01/3610.92	c gcd simplifications 0
3600.01/3610.92	c detected cardinalities 0
3600.01/3610.92	c weakened non-implied lits 0
3600.01/3610.92	c weakened non-implying lits 0
3600.01/3610.92	c original variables 5100
3600.01/3610.92	c clausal propagations 0
3600.01/3610.92	c cardinality propagations 0
3600.01/3610.92	c watched propagations 0
3600.01/3610.92	c counting propagations 0
3600.01/3610.92	c watch lookups 10
3600.01/3610.92	c watch backjump lookups 0
3600.01/3610.92	c watch checks 10
3600.01/3610.92	c propagation checks 0
3600.01/3610.92	c constraint additions 0
3600.01/3610.92	c trail pops 0
3600.01/3610.92	c formula constraints 12510
3600.01/3610.92	c learned constraints 0
3600.01/3610.92	c bound constraints 0
3600.01/3610.92	c core-guided constraints 0
3600.01/3610.92	c encountered formula constraints 0
3600.01/3610.92	c encountered learned constraints 0
3600.01/3610.92	c encountered bound constraints 0
3600.01/3610.92	c encountered core-guided constraints 0
3600.01/3610.92	c LP total time 0 s
3600.01/3610.92	c LP solve time 0 s
3600.01/3610.92	c LP constraints added 0
3600.01/3610.92	c LP constraints removed 0
3600.01/3610.92	c LP pivots internal 0
3600.01/3610.92	c LP pivots root 0
3600.01/3610.92	c LP calls 0
3600.01/3610.92	c LP optimalities 0
3600.01/3610.92	c LP no pivot count 0
3600.01/3610.92	c LP infeasibilities 0
3600.01/3610.92	c LP valid Farkas constraints 0
3600.01/3610.92	c LP learned Farkas constraints 0
3600.01/3610.92	c LP basis resets 0
3600.01/3610.92	c LP cycling count 0
3600.01/3610.92	c LP singular count 0
3600.01/3610.92	c LP no primal count 0
3600.01/3610.92	c LP no farkas count 0
3600.01/3610.92	c LP other issue count 0
3600.01/3610.92	c LP Gomory cuts 0
3600.01/3610.92	c LP learned cuts 0
3600.01/3610.92	c LP deleted cuts 0
3600.01/3610.92	c LP encountered Gomory constraints 0
3600.01/3610.92	c LP encountered Farkas constraints 0
3600.01/3610.92	c LP encountered learned Farkas constraints 0
3600.01/3610.92	c CG auxiliary variables introduced 0
3600.01/3610.92	c CG solutions found 0
3600.01/3610.92	c CG cores constructed 0
3600.01/3610.92	c CG core cardinality constraints returned 0
3600.01/3610.92	c CG unit cores 0
3600.01/3610.92	c CG single cores 0
3600.01/3610.92	c CG blocks removed during cardinality reduction 0
3600.01/3610.92	c CG first core best 0
3600.01/3610.92	c CG decision core best 0
3600.01/3610.92	c CG core reduction tie 0
3600.01/3610.92	c CG core degree average 0.00
3600.01/3610.92	c CG core slack average 0.00
3600.01/3610.92	c CG core upper bound improvements 0
3600.01/3610.92	c STR number of successful calls 0
3600.01/3610.92	c STR number of unsuccessful calls 0
3600.01/3610.92	c STR number of inconclusive calls 0
3600.01/3610.92	c STR number of successful attempts 0
3600.01/3610.92	c STR number of unsuccessful attempts 0
3600.01/3610.92	c STR number of inconclusive attempts 0
3600.01/3610.92	c STR average degree increase per successful call inf
3600.01/3610.92	c STR average degree increase per successful attempt inf
3600.01/3610.92	c STR total number of conflicts for successful attempts 0
3600.01/3610.92	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.92	c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.92	c STR average number of conflicts per successful attempt inf
3600.01/3610.92	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.92	c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.92	c AVG.sumWPerc 61.01 
3600.01/3610.92	c bigint constraints 0 
3600.01/3610.92	s UNKNOWN
3600.01/3610.92	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: 63837 MiB (36143 MiB free)
  memory of node 1: 64465 MiB (63137 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503882-1751443919/watcher-4503882-1751443919 -o /tmp/evaluation-result-4503882-1751443919/solver-4503882-1751443919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751440305-60310 --watchdog 3760 run-opt.sh HOME/instance-4503882-1751443919.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100074 s]*
/proc/loadavg: 3.99 4.09 4.09 6/255 60689
/proc/meminfo: memFree=101663860/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=57220 memory=12584 CPUtime=0.08 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 1043 0 0 0 5 3 0 0 20 0 1 0 60070610 58593280 3146 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 14305 3146 1952 1147 0 1732 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61412 KiB
Current children cumulated memory: 15528 KiB

[startup+0.218014 s]*
/proc/loadavg: 3.99 4.09 4.09 5/255 60689
/proc/meminfo: memFree=101641304/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=79716 memory=31676 CPUtime=0.18 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 5432 0 0 0 13 5 0 0 20 0 1 0 60070610 81629184 7919 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 19929 7919 2368 1147 0 7356 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 83908 KiB
Current children cumulated memory: 34620 KiB

[startup+0.313632 s]*
/proc/loadavg: 3.99 4.09 4.09 5/255 60689
/proc/meminfo: memFree=101633240/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=80840 memory=35320 CPUtime=0.25 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 5816 0 0 0 19 6 0 0 20 0 1 0 60070610 82780160 8830 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 20210 8830 2400 1147 0 7637 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 85032 KiB
Current children cumulated memory: 38264 KiB

[startup+0.70036 s]
/proc/loadavg: 3.99 4.09 4.09 5/255 60689
/proc/meminfo: memFree=101633240/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=80840 memory=35320 CPUtime=0.63 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 5819 0 0 0 56 7 0 0 20 0 1 0 60070610 82780160 8830 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 20210 8830 2400 1147 0 7637 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 85032 KiB
Current children cumulated memory: 38264 KiB

[startup+1.50042 s]
/proc/loadavg: 3.99 4.09 4.09 5/255 60689
/proc/meminfo: memFree=101613408/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=93368 memory=49188 CPUtime=1.43 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 8837 0 0 0 125 18 0 0 20 0 1 0 60070610 95608832 12297 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 23342 12297 2400 1147 0 10769 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 97560 KiB
Current children cumulated memory: 52132 KiB

[startup+3.11312 s]
/proc/loadavg: 3.99 4.09 4.09 4/251 60697
/proc/meminfo: memFree=127139712/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=147992 memory=101396 CPUtime=3.04 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 19850 0 0 0 280 24 0 0 20 0 1 0 60070610 151543808 25349 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 36998 25349 2400 1147 0 24425 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 152184 KiB
Current children cumulated memory: 104340 KiB

[startup+6.30042 s]
/proc/loadavg: 3.99 4.09 4.08 5/256 60735
/proc/meminfo: memFree=127491452/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=241264 memory=173324 CPUtime=6.21 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 34775 0 0 0 591 30 0 0 20 0 1 0 60070610 247054336 43331 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 60316 43331 2400 1147 0 47743 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 245456 KiB
Current children cumulated memory: 176268 KiB

[startup+12.7004 s]
/proc/loadavg: 3.99 4.08 4.08 5/256 60735
/proc/meminfo: memFree=127172984/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=256168 memory=204536 CPUtime=12.59 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 40027 0 0 0 1223 36 0 0 20 0 1 0 60070610 262316032 51134 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 64042 51134 2400 1147 0 51469 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 260360 KiB
Current children cumulated memory: 207480 KiB

[startup+25.5005 s]
/proc/loadavg: 3.99 4.08 4.08 5/257 60737
/proc/meminfo: memFree=126598648/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=450980 memory=330468 CPUtime=25.36 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 63826 0 0 0 2492 44 0 0 20 0 1 0 60070610 461803520 82617 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 112745 82617 2400 1147 0 100172 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 455172 KiB
Current children cumulated memory: 333412 KiB

[startup+51.1137 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 60737
/proc/meminfo: memFree=126095636/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=475084 memory=397276 CPUtime=50.89 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 73906 0 0 0 5038 51 0 0 20 0 1 0 60070610 486486016 99319 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 118771 99319 2400 1147 0 106198 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 479276 KiB
Current children cumulated memory: 400220 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 60739
/proc/meminfo: memFree=125155740/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=769508 memory=575820 CPUtime=101.93 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 111415 0 0 0 10127 66 0 0 20 0 1 0 60070610 787976192 143955 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 192377 143955 2400 1147 0 179804 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 773700 KiB
Current children cumulated memory: 578764 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 60741
/proc/meminfo: memFree=124679888/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=779628 memory=631008 CPUtime=161.75 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 119585 0 0 0 16101 74 0 0 20 0 1 0 60070610 798339072 157752 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 194907 157752 2400 1147 0 182334 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 783820 KiB
Current children cumulated memory: 633952 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/256 60744
/proc/meminfo: memFree=124290880/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=783088 memory=654268 CPUtime=221.58 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 122886 0 0 0 22080 78 0 0 20 0 1 0 60070610 801882112 163567 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 195772 163567 2400 1147 0 183199 0
Current children cumulated CPU time: 221.58 s

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

/proc/60689/statm: 420379 370240 2400 1147 0 407806 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 1685708 KiB
Current children cumulated memory: 1483904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/253 60890
/proc/meminfo: memFree=118748328/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=1681516 memory=1480960 CPUtime=3152.68 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 250254 0 0 0 315004 264 0 0 20 0 1 0 60070610 1721872384 370240 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 420379 370240 2400 1147 0 407806 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 1685708 KiB
Current children cumulated memory: 1483904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/253 60892
/proc/meminfo: memFree=118725924/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=1681516 memory=1480960 CPUtime=3212.51 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 250442 0 0 0 320985 266 0 0 20 0 1 0 60070610 1721872384 370240 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 420379 370240 2400 1147 0 407806 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 1685708 KiB
Current children cumulated memory: 1483904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/253 60894
/proc/meminfo: memFree=118641004/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=1682424 memory=1491900 CPUtime=3272.34 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 250628 0 0 0 326964 270 0 0 20 0 1 0 60070610 1722802176 372975 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 420606 372975 2400 1147 0 408033 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 1686616 KiB
Current children cumulated memory: 1494844 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/254 60899
/proc/meminfo: memFree=118637224/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=1686228 memory=1497172 CPUtime=3332.18 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 251438 0 0 0 332945 273 0 0 20 0 1 0 60070610 1726697472 374293 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 421557 374293 2400 1147 0 408984 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 1690420 KiB
Current children cumulated memory: 1500116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/254 60901
/proc/meminfo: memFree=118596048/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=1686228 memory=1497172 CPUtime=3392.01 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 251441 0 0 0 338925 276 0 0 20 0 1 0 60070610 1726697472 374293 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 421557 374293 2400 1147 0 408984 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 1690420 KiB
Current children cumulated memory: 1500116 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/254 60907
/proc/meminfo: memFree=118607784/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=1686228 memory=1497428 CPUtime=3451.84 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 251701 0 0 0 344905 279 0 0 20 0 1 0 60070610 1726697472 374357 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 421557 374357 2400 1147 0 408984 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 1690420 KiB
Current children cumulated memory: 1500372 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.16 5/254 60909
/proc/meminfo: memFree=118325072/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=2173624 memory=1760492 CPUtime=3511.66 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 314418 0 0 0 350874 292 0 0 20 0 1 0 60070610 2225790976 440123 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 543406 440123 2400 1147 0 530833 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 2177816 KiB
Current children cumulated memory: 1763436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/254 60912
/proc/meminfo: memFree=118109884/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=2173624 memory=1760492 CPUtime=3571.5 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 314418 0 0 0 356856 294 0 0 20 0 1 0 60070610 2225790976 440123 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 543406 440123 2400 1147 0 530833 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 2177816 KiB
Current children cumulated memory: 1763436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.18 4.15 4.16 5/254 60913
/proc/meminfo: memFree=118096056/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=2173624 memory=1760492 CPUtime=3600.01 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 314418 0 0 0 359706 295 0 0 20 0 1 0 60070610 2225790976 440123 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 543406 440123 2400 1147 0 530833 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2177816 KiB
Current children cumulated memory: 1763436 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003539 s, system=0.001769 s

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

# cumulated CPU time of all completed processes:  user=3597.11 s, system=2.97503 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.9 s]
/proc/loadavg: 4.18 4.15 4.16 5/254 60913
/proc/meminfo: memFree=118096056/131382120 swapFree=33010684/33010684
[pid=60687] ppid=60684 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60687/stat : 60687 (run-opt.sh) S 60684 60687 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60070609 4292608 736 18446744073709551615 93951308767232 93951309661765 140724060253376 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93951309900816 93951309948560 93951310802944 140724060260717 140724060260840 140724060260840 140724060266442 0
/proc/60687/statm: 1048 736 672 219 0 110 0
[pid=60689] ppid=60687 vsize=2173624 memory=1760492 CPUtime=3600.01 cores=4,6
/proc/60689/stat : 60689 (roundingsat) R 60687 60687 60299 0 -1 4194304 314418 0 0 0 359706 295 0 0 20 0 1 0 60070610 2225790976 440123 18446744073709551615 4227072 8923433 140734207620000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10428416 140734207621538 140734207621672 140734207621672 140734207627242 0
/proc/60689/statm: 543406 440123 2400 1147 0 530833 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2177816 KiB
Current children cumulated memory: 1763436 KiB

Child status: 2

Real time (s): 3610.95
CPU time (s): 3600.08
CPU user time (s): 3597.11
CPU system time (s): 2.97503
CPU usage (%): 99.6989
Max. virtual memory (cumulated for all children) (KiB): 2177816
Max. memory (cumulated for all children) (KiB): 1763436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.11
system time used= 2.97503
maximum resident set size= 1760748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240
involuntary context switches= 3198


# summary of solver processes directly reported to runsolver:
#   pid: 60687,60689
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3597.11
#   total CPU system time (s): 2.97503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2049 second user time and 38.4537 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-02 10:11:59
IDJOB=4503882
IDBENCH=155610
IDSOLVER=3350
FILE ID=nodeC003/4503882-1751443919
RUNJOBID= nodeC003-1751440305-60310
SLURM_JOB_ID= 9598398
Free space on /tmp= 431420 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503882-1751443919/watcher-4503882-1751443919 -o /tmp/evaluation-result-4503882-1751443919/solver-4503882-1751443919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751440305-60310 --watchdog 3760  run-opt.sh HOME/instance-4503882-1751443919.opb

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=928931899

nodeC003 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	: 0xb00001f
cpu MHz		: 3491.720
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 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.164
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 pti 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	: 6983.44
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.338
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 pti 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	: 6983.44
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.272
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 pti 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	: 6983.44
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.163
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 pti 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	: 6983.44
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.160
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 pti 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	: 6983.44
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.421
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 pti 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	: 6983.44
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.165
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 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        101680172 kB
MemAvailable:   104150960 kB
Buffers:            3280 kB
Cached:          3269676 kB
SwapCached:            0 kB
Active:         26051660 kB
Inactive:        3016156 kB
Active(anon):   25812820 kB
Inactive(anon):        0 kB
Active(file):     238840 kB
Inactive(file):  3016156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23784 kB
Writeback:             0 kB
AnonPages:      25797952 kB
Mapped:           116116 kB
Shmem:             17960 kB
KReclaimable:     110836 kB
Slab:             195928 kB
SReclaimable:     110836 kB
SUnreclaim:        85092 kB
KernelStack:        4096 kB
PageTables:        56272 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   30972128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    768000 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431988 MiB
End job on nodeC003 at 2025-07-02 11:12:11