Trace number 4522274

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.05 3610.84

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-ab51-40-100.opb
MD5SUM8fca917194ea3f00cf99a1d77833d022
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 benchmark-1285215
Best CPU time to get the best result obtained on this benchmark13.3284
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11890
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1473
Number of terms in the objective function 11734
Biggest coefficient in the objective function 512291
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 500000167
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 512291
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 500000167
Number of bits of the biggest sum of numbers29
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.00/0.08	c #variables 12675 #constraints 11890
0.00/0.08	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.09	c GLOBAL bounds - >= -500000167 @ 0.052445
0.07/0.11	c GLOBAL bounds - >= -500000167 @ 0.057119
0.07/0.12	c GLOBAL bounds - >= -500000167 @ 0.061268
0.07/0.13	c GLOBAL bounds - >= -500000167 @ 0.065148
0.07/0.15	c GLOBAL bounds - >= -500000167 @ 0.07215
0.07/0.16	c GLOBAL bounds - >= -500000167 @ 0.081976
0.07/0.17	c GLOBAL bounds - >= -500000167 @ 0.088732
0.07/0.19	c GLOBAL bounds - >= -500000167 @ 0.094059
0.07/0.20	c GLOBAL bounds - >= -500000167 @ 0.103753
0.18/0.21	c GLOBAL bounds - >= -500000167 @ 0.109536
0.18/0.23	c GLOBAL bounds - >= -500000167 @ 0.119116
0.18/0.24	c GLOBAL bounds - >= -500000167 @ 0.125912
0.18/0.25	c GLOBAL bounds - >= -500000167 @ 0.131633
0.18/0.27	c GLOBAL bounds - >= -500000167 @ 0.136752
0.18/0.28	c GLOBAL bounds - >= -500000167 @ 0.146121
0.18/0.29	c GLOBAL bounds - >= -500000167 @ 0.156015
0.28/0.31	c GLOBAL bounds - >= -500000167 @ 0.162857
0.28/0.32	c GLOBAL bounds - >= -500000167 @ 0.167835
0.28/0.33	c GLOBAL bounds - >= -500000167 @ 0.173697
0.28/0.35	c GLOBAL bounds - >= -500000167 @ 0.181326
0.28/0.36	c GLOBAL bounds - >= -500000167 @ 0.186902
0.28/0.37	c GLOBAL bounds - >= -500000167 @ 0.195767
0.28/0.39	c GLOBAL bounds - >= -500000167 @ 0.205138
0.28/0.40	c GLOBAL bounds - >= -500000167 @ 0.215589
0.38/0.41	c GLOBAL bounds - >= -500000167 @ 0.221513
0.38/0.43	c GLOBAL bounds - >= -500000167 @ 0.231028
0.38/0.44	c GLOBAL bounds - >= -500000167 @ 0.236914
0.38/0.45	c GLOBAL bounds - >= -500000167 @ 0.242837
0.38/0.47	c GLOBAL bounds - >= -500000167 @ 0.249804
0.38/0.48	c GLOBAL bounds - >= -500000167 @ 0.257654
0.38/0.50	c GLOBAL bounds - >= -500000167 @ 0.270231
0.48/0.51	c GLOBAL bounds - >= -500000167 @ 0.277795
0.48/0.52	c GLOBAL bounds - >= -500000167 @ 0.284057
0.48/0.53	c GLOBAL bounds - >= -500000167 @ 0.294869
0.48/0.58	c GLOBAL bounds - >= -500000167 @ 0.330268
0.48/0.59	c GLOBAL bounds - >= -500000167 @ 0.338624
0.57/0.61	c GLOBAL bounds - >= -500000167 @ 0.352605
0.57/0.67	c GLOBAL bounds - >= -500000167 @ 0.408169
0.67/0.71	c GLOBAL bounds - >= -500000167 @ 0.441387
0.67/0.73	c GLOBAL bounds - >= -500000167 @ 0.448252
0.67/0.74	c GLOBAL bounds - >= -500000167 @ 0.458362
0.67/0.76	c GLOBAL bounds - >= -500000167 @ 0.46986
0.67/0.78	c GLOBAL bounds - >= -500000167 @ 0.482277
0.67/0.79	c GLOBAL bounds - >= -500000167 @ 0.489111
0.77/0.82	c GLOBAL bounds - >= -500000167 @ 0.508075
0.77/0.84	c GLOBAL bounds - >= -500000167 @ 0.522313
0.77/0.87	c GLOBAL bounds - >= -500000167 @ 0.551264
0.77/0.89	c GLOBAL bounds - >= -500000167 @ 0.566813
0.87/0.91	c GLOBAL bounds - >= -500000167 @ 0.57988
0.87/0.92	c GLOBAL bounds - >= -500000167 @ 0.590683
0.87/0.94	c GLOBAL bounds - >= -500000167 @ 0.602023
0.87/0.96	c GLOBAL bounds - >= -500000167 @ 0.620348
0.87/0.98	c GLOBAL bounds - >= -500000167 @ 0.631309
0.97/1.00	c GLOBAL bounds - >= -500000167 @ 0.650226
0.97/1.02	c GLOBAL bounds - >= -500000167 @ 0.659183
0.97/1.05	c GLOBAL bounds - >= -500000167 @ 0.685662
0.97/1.07	c GLOBAL bounds - >= -500000167 @ 0.69228
0.97/1.09	c GLOBAL bounds - >= -500000167 @ 0.705684
1.07/1.11	c GLOBAL bounds - >= -500000167 @ 0.71752
1.07/1.12	c GLOBAL bounds - >= -500000167 @ 0.72703
1.07/1.15	c GLOBAL bounds - >= -500000167 @ 0.742169
1.07/1.16	c GLOBAL bounds - >= -500000167 @ 0.753557
1.07/1.18	c GLOBAL bounds - >= -500000167 @ 0.764609
1.07/1.19	c GLOBAL bounds - >= -500000167 @ 0.776682
1.16/1.21	c GLOBAL bounds - >= -500000167 @ 0.785602
1.37/1.42	c GLOBAL bounds - >= -500000167 @ 0.980075
1.37/1.44	c GLOBAL bounds - >= -500000167 @ 0.999037
1.37/1.47	c GLOBAL bounds - >= -500000167 @ 1.02224
1.47/1.53	c GLOBAL bounds - >= -500000167 @ 1.07505
1.56/1.63	c GLOBAL bounds - >= -500000167 @ 1.17378
1.56/1.68	c GLOBAL bounds - >= -500000167 @ 1.20906
1.67/1.71	c GLOBAL bounds - >= -500000167 @ 1.23354
1.67/1.74	c GLOBAL bounds - >= -500000167 @ 1.25683
1.67/1.77	c GLOBAL bounds - >= -500000167 @ 1.28275
1.76/1.80	c GLOBAL bounds - >= -500000167 @ 1.31155
1.76/1.83	c GLOBAL bounds - >= -500000167 @ 1.33363
1.76/1.86	c GLOBAL bounds - >= -500000167 @ 1.35529
1.76/1.88	c GLOBAL bounds - >= -500000167 @ 1.37118
1.87/1.94	c GLOBAL bounds - >= -500000167 @ 1.42063
1.87/1.96	c GLOBAL bounds - >= -500000167 @ 1.43682
1.87/1.99	c GLOBAL bounds - >= -500000167 @ 1.46226
1.97/2.02	c GLOBAL bounds - >= -500000167 @ 1.48314
1.97/2.04	c GLOBAL bounds - >= -500000167 @ 1.49716
1.97/2.06	c GLOBAL bounds - >= -500000167 @ 1.51166
2.07/2.12	c GLOBAL bounds - >= -500000167 @ 1.5618
2.07/2.14	c GLOBAL bounds - >= -500000167 @ 1.57697
2.07/2.17	c GLOBAL bounds - >= -500000167 @ 1.60283
2.16/2.21	c GLOBAL bounds - >= -500000167 @ 1.62854
2.16/2.24	c GLOBAL bounds - >= -500000167 @ 1.65718
2.16/2.26	c GLOBAL bounds - >= -500000167 @ 1.67465
2.16/2.29	c GLOBAL bounds - >= -500000167 @ 1.69264
2.86/3.00	c GLOBAL bounds - >= -500000167 @ 2.38552
3.16/3.30	c GLOBAL bounds - >= -500000167 @ 2.65851
3.25/3.33	c GLOBAL bounds - >= -500000167 @ 2.68767
3.25/3.37	c GLOBAL bounds - >= -500000167 @ 2.73131
3.36/3.41	c GLOBAL bounds - >= -500000167 @ 2.76649
3.36/3.44	c GLOBAL bounds - >= -500000167 @ 2.7861
3.36/3.46	c GLOBAL bounds - >= -500000167 @ 2.80179
3.36/3.49	c GLOBAL bounds - >= -500000167 @ 2.82186
3.46/3.52	c GLOBAL bounds - >= -500000167 @ 2.84964
3.97/4.08	c GLOBAL bounds - >= -500000167 @ 3.39242
4.06/4.16	c GLOBAL bounds - >= -500000167 @ 3.46199
4.16/4.20	c GLOBAL bounds - >= -500000167 @ 3.50004
4.16/4.27	c GLOBAL bounds - >= -500000167 @ 3.56185
4.36/4.44	c GLOBAL bounds - >= -500000167 @ 3.72702
4.45/4.59	c GLOBAL bounds - >= -500000167 @ 3.86727
4.56/4.65	c GLOBAL bounds - >= -500000167 @ 3.91409
4.66/4.73	c GLOBAL bounds - >= -500000167 @ 3.99461
4.86/4.94	c GLOBAL bounds - >= -500000167 @ 4.19324
4.86/5.00	c GLOBAL bounds - >= -500000167 @ 4.24869
4.95/5.05	c GLOBAL bounds - >= -500000167 @ 4.29211
5.45/5.55	c GLOBAL bounds - >= -500000167 @ 4.7726
5.55/5.64	c GLOBAL bounds - >= -500000167 @ 4.85957
5.65/5.70	c GLOBAL bounds - >= -500000167 @ 4.91191
5.85/5.95	c GLOBAL bounds - >= -500000167 @ 5.14865
5.95/6.01	c GLOBAL bounds - >= -500000167 @ 5.20319
5.95/6.09	c GLOBAL bounds - >= -500000167 @ 5.27553
6.06/6.14	c GLOBAL bounds - >= -500000167 @ 5.31982
6.15/6.20	c GLOBAL bounds - >= -500000167 @ 5.37183
6.15/6.27	c GLOBAL bounds - >= -500000167 @ 5.43331
6.25/6.34	c GLOBAL bounds - >= -500000167 @ 5.50686
6.55/6.66	c GLOBAL bounds - >= -500000167 @ 5.81278
7.95/8.04	c GLOBAL bounds - >= -500000167 @ 7.16718
8.34/8.43	c GLOBAL bounds - >= -500000167 @ 7.53809
8.85/8.97	c GLOBAL bounds - >= -500000167 @ 8.06104
9.74/9.85	c GLOBAL bounds - >= -500000167 @ 8.9304
10.05/10.11	c GLOBAL bounds - >= -500000167 @ 9.17917
12.33/12.43	c GLOBAL bounds - >= -500000167 @ 11.4807
12.43/12.54	c GLOBAL bounds - >= -500000167 @ 11.5819
12.53/12.68	c GLOBAL bounds - >= -500000167 @ 11.7113
12.73/12.82	c GLOBAL bounds - >= -500000167 @ 11.8403
12.83/12.94	c GLOBAL bounds - >= -500000167 @ 11.9543
12.93/13.06	c GLOBAL bounds - >= -500000167 @ 12.0675
13.04/13.15	c GLOBAL bounds - >= -500000167 @ 12.1547
13.22/13.32	c GLOBAL bounds - >= -500000167 @ 12.3076
13.32/13.41	c GLOBAL bounds - >= -500000167 @ 12.3875
13.82/13.97	c #Conflicts:       1000 | #Constraints:       1367
13.82/13.97	c GLOBAL bounds - >= -500000167 @ 12.9404
14.03/14.16	c GLOBAL bounds - >= -500000167 @ 13.1119
14.22/14.34	c GLOBAL bounds - >= -500000167 @ 13.2842
15.22/15.33	c GLOBAL bounds - >= -500000167 @ 14.2587
15.62/15.72	c GLOBAL bounds - >= -500000167 @ 14.6473
15.93/16.05	c GLOBAL bounds - >= -500000167 @ 14.9669
17.02/17.14	c GLOBAL bounds - >= -500000167 @ 16.0436
20.50/20.64	c GLOBAL bounds - >= -500000167 @ 19.4915
23.39/23.58	c GLOBAL bounds - >= -500000167 @ 22.3895
27.38/27.53	c GLOBAL bounds - >= -500000167 @ 26.2858
28.28/28.48	c GLOBAL bounds - >= -500000167 @ 27.2209
33.46/33.60	c #Conflicts:       2000 | #Constraints:       2389
33.46/33.60	c INPROCESSING
33.46/33.60	c GARBAGE COLLECT
33.46/33.60	c GLOBAL bounds - >= -500000167 @ 32.2889
37.64/37.88	c GLOBAL bounds - >= -500000167 @ 36.5337
39.95/40.19	c GLOBAL bounds - >= -500000167 @ 38.8153
78.51/78.87	c #Conflicts:       3000 | #Constraints:       2403
78.51/78.87	c GLOBAL bounds - >= -500000167 @ 77.2339
96.66/97.06	c #Conflicts:       4000 | #Constraints:       3405
96.66/97.06	c INPROCESSING
96.66/97.06	c GARBAGE COLLECT
96.66/97.06	c GLOBAL bounds - >= -500000167 @ 95.2748
128.55/129.05	c #Conflicts:       5000 | #Constraints:       2810
128.55/129.05	c GLOBAL bounds - >= -500000167 @ 127.033
309.06/310.16	c #Conflicts:       6000 | #Constraints:       3812
309.06/310.16	c INPROCESSING
309.06/310.16	c GARBAGE COLLECT
309.06/310.16	c #Conflicts:       7000 | #Constraints:       2815
309.06/310.16	c #Conflicts:       8000 | #Constraints:       3815
309.06/310.16	c #Conflicts:       9000 | #Constraints:       4815
309.06/310.16	c INPROCESSING
309.06/310.16	c GARBAGE COLLECT
309.06/310.16	c GLOBAL bounds - >= -500000167 @ 307.05
310.85/311.99	c GLOBAL bounds - >= -500000167 @ 308.859
314.64/315.78	c GLOBAL bounds - >= -500000167 @ 312.619
316.05/317.19	c GLOBAL bounds - >= -500000167 @ 314.009
327.50/328.67	c GLOBAL bounds - >= -500000167 @ 325.403
333.89/335.06	c #Conflicts:      10000 | #Constraints:       3526
333.89/335.06	c GLOBAL bounds - >= -500000167 @ 331.754
342.75/343.94	c GLOBAL bounds - >= -500000167 @ 340.568
358.00/359.28	c GLOBAL bounds - >= -500000167 @ 355.846
368.67/369.98	c #Conflicts:      11000 | #Constraints:       4532
368.67/369.98	c GLOBAL bounds - >= -500000167 @ 366.462
531.07/532.89	c #Conflicts:      12000 | #Constraints:       5534
531.07/532.89	c INPROCESSING
531.07/532.89	c GARBAGE COLLECT
531.07/532.89	c #Conflicts:      13000 | #Constraints:       3985
531.07/532.89	c #Conflicts:      14000 | #Constraints:       4985
531.07/532.89	c GLOBAL bounds - >= -500000167 @ 528.513
563.68/565.50	c #Conflicts:      15000 | #Constraints:       5987
563.68/565.50	c INPROCESSING
563.68/565.50	c GARBAGE COLLECT
563.68/565.50	c #Conflicts:      16000 | #Constraints:       4209
563.68/565.50	c GLOBAL bounds - >= -500000167 @ 560.952
593.40/595.33	c GLOBAL bounds - >= -500000167 @ 590.641
625.02/627.07	c #Conflicts:      17000 | #Constraints:       5213
625.02/627.07	c GLOBAL bounds - >= -500000167 @ 622.225
628.01/630.05	c GLOBAL bounds - >= -500000167 @ 625.184
657.82/659.91	c #Conflicts:      18000 | #Constraints:       6217
657.82/659.91	c INPROCESSING
657.82/659.91	c GARBAGE COLLECT
657.82/659.91	c GLOBAL bounds - >= -500000167 @ 654.908
669.29/671.46	c GLOBAL bounds - >= -500000167 @ 666.404
671.99/674.16	c GLOBAL bounds - >= -500000167 @ 669.081
678.27/680.43	c #Conflicts:      19000 | #Constraints:       4247
678.27/680.43	c GLOBAL bounds - >= -500000167 @ 675.313
689.73/691.91	c GLOBAL bounds - >= -500000167 @ 686.702
697.22/699.45	c GLOBAL bounds - >= -500000167 @ 694.198
699.20/701.49	c GLOBAL bounds - >= -500000167 @ 696.228
699.70/701.93	c GLOBAL bounds - >= -500000167 @ 696.654
705.19/707.41	c GLOBAL bounds - >= -500000167 @ 702.094
708.79/711.10	c GLOBAL bounds - >= -500000167 @ 705.756
710.47/712.72	c GLOBAL bounds - >= -500000167 @ 707.364
711.47/713.70	c GLOBAL bounds - >= -500000167 @ 708.321
722.14/724.40	c #Conflicts:      20000 | #Constraints:       5265
722.14/724.40	c GLOBAL bounds - >= -500000167 @ 718.967
806.70/809.24	c #Conflicts:      21000 | #Constraints:       6267
806.70/809.24	c INPROCESSING
806.70/809.24	c GARBAGE COLLECT
806.70/809.24	c #Conflicts:      22000 | #Constraints:       4082
806.70/809.24	c GLOBAL bounds - >= -500000167 @ 803.374
875.70/878.45	c #Conflicts:      23000 | #Constraints:       5084
875.70/878.45	c GLOBAL bounds - >= -500000167 @ 872.217
994.14/997.20	c #Conflicts:      24000 | #Constraints:       6086
994.14/997.20	c #Conflicts:      25000 | #Constraints:       7086
994.14/997.20	c INPROCESSING
994.14/997.20	c GARBAGE COLLECT
994.14/997.20	c GLOBAL bounds - >= -500000167 @ 990.38
1050.48/1053.77	c #Conflicts:      26000 | #Constraints:       4680
1050.48/1053.77	c #Conflicts:      27000 | #Constraints:       5680
1050.48/1053.77	c GLOBAL bounds - >= -500000167 @ 1046.67
1152.99/1156.58	c #Conflicts:      28000 | #Constraints:       6682
1152.99/1156.58	c #Conflicts:      29000 | #Constraints:       7682
1152.99/1156.58	c INPROCESSING
1152.99/1156.58	c GARBAGE COLLECT
1152.99/1156.58	c #Conflicts:      30000 | #Constraints:       5082
1152.99/1156.58	c GLOBAL bounds - >= -500000167 @ 1148.95
1180.21/1183.88	c #Conflicts:      31000 | #Constraints:       6084
1180.21/1183.88	c GLOBAL bounds - >= -500000167 @ 1176.09
1214.12/1217.81	c #Conflicts:      32000 | #Constraints:       7086
1214.12/1217.81	c GLOBAL bounds - >= -500000167 @ 1209.83
1402.34/1406.51	c #Conflicts:      33000 | #Constraints:       8088
1402.34/1406.51	c INPROCESSING
1402.34/1406.51	c GARBAGE COLLECT
1402.34/1406.51	c #Conflicts:      34000 | #Constraints:       5301
1402.34/1406.51	c #Conflicts:      35000 | #Constraints:       6301
1402.34/1406.51	c GLOBAL bounds - >= -500000167 @ 1397.85
1502.98/1507.42	c #Conflicts:      36000 | #Constraints:       7303
1502.98/1507.42	c #Conflicts:      37000 | #Constraints:       8303
1502.98/1507.42	c INPROCESSING
1502.98/1507.42	c GARBAGE COLLECT
1502.98/1507.42	c GLOBAL bounds - >= -500000167 @ 1498.39
1504.28/1508.71	c GLOBAL bounds - >= -500000167 @ 1499.66
1530.02/1534.50	c #Conflicts:      38000 | #Constraints:       5334
1530.02/1534.50	c GLOBAL bounds - >= -500000167 @ 1525.36
1858.06/1863.40	c #Conflicts:      39000 | #Constraints:       6336
1858.06/1863.40	c #Conflicts:      40000 | #Constraints:       7336
1858.06/1863.40	c #Conflicts:      41000 | #Constraints:       8336
1858.06/1863.40	c INPROCESSING
1858.06/1863.40	c GARBAGE COLLECT
1858.06/1863.40	c #Conflicts:      42000 | #Constraints:       5128
1858.06/1863.40	c #Conflicts:      43000 | #Constraints:       6128
1858.06/1863.40	c #Conflicts:      44000 | #Constraints:       7128
1858.06/1863.40	c GLOBAL bounds - >= -500000167 @ 1853.1
1910.42/1915.93	c #Conflicts:      45000 | #Constraints:       8130
1910.42/1915.93	c GLOBAL bounds - >= -500000167 @ 1905.43
1961.50/1967.13	c #Conflicts:      46000 | #Constraints:       9132
1961.50/1967.13	c INPROCESSING
1961.50/1967.13	c GARBAGE COLLECT
1961.50/1967.13	c GLOBAL bounds - >= -500000167 @ 1956.42
1980.45/1986.17	c GLOBAL bounds - >= -500000167 @ 1975.36
2046.08/2051.95	c #Conflicts:      47000 | #Constraints:       5717
2046.08/2051.95	c #Conflicts:      48000 | #Constraints:       6717
2046.08/2051.95	c GLOBAL bounds - >= -500000167 @ 2040.88
2247.76/2254.29	c #Conflicts:      49000 | #Constraints:       7719
2247.76/2254.29	c #Conflicts:      50000 | #Constraints:       8719
2247.76/2254.29	c #Conflicts:      51000 | #Constraints:       9719
2247.76/2254.29	c INPROCESSING
2247.76/2254.29	c GARBAGE COLLECT
2247.76/2254.29	c GLOBAL bounds - >= -500000167 @ 2242.38
2271.78/2278.37	c #Conflicts:      52000 | #Constraints:       6116
2271.78/2278.37	c GLOBAL bounds - >= -500000167 @ 2266.32
2414.53/2421.51	c #Conflicts:      53000 | #Constraints:       7118
2414.53/2421.51	c #Conflicts:      54000 | #Constraints:       8118
2414.53/2421.51	c #Conflicts:      55000 | #Constraints:       9118
2414.53/2421.51	c GLOBAL bounds - >= -500000167 @ 2408.81
2522.80/2530.15	c #Conflicts:      56000 | #Constraints:      10120
2522.80/2530.15	c INPROCESSING
2522.80/2530.15	c GARBAGE COLLECT
2522.80/2530.15	c #Conflicts:      57000 | #Constraints:       6329
2522.80/2530.15	c GLOBAL bounds - >= -500000167 @ 2516.94
2600.85/2608.47	c #Conflicts:      58000 | #Constraints:       7331
2600.85/2608.47	c #Conflicts:      59000 | #Constraints:       8331
2600.85/2608.47	c GLOBAL bounds - >= -500000167 @ 2594.94
2709.31/2717.23	c #Conflicts:      60000 | #Constraints:       9333
2709.31/2717.23	c #Conflicts:      61000 | #Constraints:      10333
2709.31/2717.23	c GLOBAL bounds - >= -500000167 @ 2703.26
3226.14/3235.75	c INPROCESSING
3226.14/3235.75	c GARBAGE COLLECT
3226.14/3235.75	c #Conflicts:      62000 | #Constraints:       6322
3226.14/3235.75	c #Conflicts:      63000 | #Constraints:       7322
3226.14/3235.75	c #Conflicts:      64000 | #Constraints:       8322
3226.14/3235.75	c #Conflicts:      65000 | #Constraints:       9322
3226.14/3235.75	c #Conflicts:      66000 | #Constraints:      10322
3226.14/3235.75	c INPROCESSING
3226.14/3235.75	c GARBAGE COLLECT
3226.14/3235.75	c #Conflicts:      67000 | #Constraints:       6126
3226.14/3235.75	c #Conflicts:      68000 | #Constraints:       7126
3226.14/3235.75	c #Conflicts:      69000 | #Constraints:       8126
3226.14/3235.75	c GLOBAL bounds - >= -500000167 @ 3219.47
3341.06/3351.01	c #Conflicts:      70000 | #Constraints:       9128
3341.06/3351.01	c #Conflicts:      71000 | #Constraints:      10128
3341.06/3351.01	c #Conflicts:      72000 | #Constraints:      11128
3341.06/3351.01	c INPROCESSING
3341.06/3351.01	c GARBAGE COLLECT
3341.06/3351.01	c GLOBAL bounds - >= -500000167 @ 3334.08
3377.63/3387.76	c #Conflicts:      73000 | #Constraints:       6722
3377.63/3387.76	c #Conflicts:      74000 | #Constraints:       7722
3377.63/3387.76	c GLOBAL bounds - >= -500000167 @ 3370.57
3431.96/3442.27	c #Conflicts:      75000 | #Constraints:       8724
3431.96/3442.27	c GLOBAL bounds - >= -500000167 @ 3424.78
3458.57/3468.92	c #Conflicts:      76000 | #Constraints:       9726
3458.57/3468.92	c GLOBAL bounds - >= -500000167 @ 3451.28
3600.00/3610.80	c #Conflicts:      77000 | #Constraints:      10728
3600.00/3610.80	c #Conflicts:      78000 | #Constraints:      11728
3600.00/3610.80	c INPROCESSING
3600.00/3610.80	c GARBAGE COLLECT
3600.00/3610.80	c #Conflicts:      79000 | #Constraints:       7130
3600.00/3610.80	c #Conflicts:      80000 | #Constraints:       8130
3600.00/3610.80	c #Conflicts:      81000 | #Constraints:       9130
3600.00/3610.80	c cpu time 3592.45 s
3600.00/3610.80	c deterministic time 1 1.00e+00
3600.00/3610.80	c optimization time 3592.41 s
3600.00/3610.80	c total solve time 0 s
3600.00/3610.80	c core-guided solve time 0 s
3600.00/3610.80	c propagation time 0.003217 s
3600.00/3610.80	c conflict analysis time 0 s
3600.00/3610.80	c propagations 0
3600.00/3610.80	c resolve steps 0
3600.00/3610.80	c decisions 0
3600.00/3610.80	c conflicts 0
3600.00/3610.80	c restarts 0
3600.00/3610.80	c inprocessing phases 0
3600.00/3610.80	c garbage collections 0 ,( -nan )
3600.00/3610.80	c input clauses 11766 ,( 98.96 )
3600.00/3610.80	c input cardinalities 124 ,( 1.04 )
3600.00/3610.80	c input general constraints 0 ,( 0.00 )
3600.00/3610.80	c input average constraint length 6.12
3600.00/3610.80	c input average constraint degree 5.12
3600.00/3610.80	c learned clauses 0 ,( 0.00 )
3600.00/3610.80	c learned cardinalities 0 ,( 0.00 )
3600.00/3610.80	c learned general constraints 0 ,( 0.00 )
3600.00/3610.80	c learned average constraint length 0.00
3600.00/3610.80	c learned average constraint degree 0.00
3600.00/3610.80	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.80	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3610.80	c watched   constraints 0 ,( -nan ) 
3600.00/3610.80	c counting  constraints 0 ,( -nan ) 
3600.00/3610.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3610.80	c gcd simplifications 0
3600.00/3610.80	c detected cardinalities 0
3600.00/3610.80	c weakened non-implied lits 0
3600.00/3610.80	c weakened non-implying lits 0
3600.00/3610.80	c original variables 12675
3600.00/3610.80	c clausal propagations 0
3600.00/3610.80	c cardinality propagations 0
3600.00/3610.80	c watched propagations 0
3600.00/3610.80	c counting propagations 0
3600.00/3610.80	c watch lookups 0
3600.00/3610.80	c watch backjump lookups 0
3600.00/3610.80	c watch checks 0
3600.00/3610.80	c propagation checks 0
3600.00/3610.80	c constraint additions 0
3600.00/3610.80	c trail pops 0
3600.00/3610.80	c formula constraints 11890
3600.00/3610.80	c learned constraints 0
3600.00/3610.80	c bound constraints 0
3600.00/3610.80	c core-guided constraints 0
3600.00/3610.80	c encountered formula constraints 0
3600.00/3610.80	c encountered learned constraints 0
3600.00/3610.80	c encountered bound constraints 0
3600.00/3610.80	c encountered core-guided constraints 0
3600.00/3610.80	c LP total time 0 s
3600.00/3610.80	c LP solve time 0 s
3600.00/3610.80	c LP constraints added 0
3600.00/3610.80	c LP constraints removed 0
3600.00/3610.80	c LP pivots internal 0
3600.00/3610.80	c LP pivots root 0
3600.00/3610.80	c LP calls 0
3600.00/3610.80	c LP optimalities 0
3600.00/3610.80	c LP no pivot count 0
3600.00/3610.80	c LP infeasibilities 0
3600.00/3610.80	c LP valid Farkas constraints 0
3600.00/3610.80	c LP learned Farkas constraints 0
3600.00/3610.80	c LP basis resets 0
3600.00/3610.80	c LP cycling count 0
3600.00/3610.80	c LP singular count 0
3600.00/3610.80	c LP no primal count 0
3600.00/3610.80	c LP no farkas count 0
3600.00/3610.80	c LP other issue count 0
3600.00/3610.80	c LP Gomory cuts 0
3600.00/3610.80	c LP learned cuts 0
3600.00/3610.80	c LP deleted cuts 0
3600.00/3610.80	c LP encountered Gomory constraints 0
3600.00/3610.80	c LP encountered Farkas constraints 0
3600.00/3610.80	c LP encountered learned Farkas constraints 0
3600.00/3610.80	c CG auxiliary variables introduced 0
3600.00/3610.80	c CG solutions found 0
3600.00/3610.80	c CG cores constructed 0
3600.00/3610.80	c CG core cardinality constraints returned 0
3600.00/3610.80	c CG unit cores 0
3600.00/3610.80	c CG single cores 0
3600.00/3610.80	c CG blocks removed during cardinality reduction 0
3600.00/3610.80	c CG first core best 0
3600.00/3610.80	c CG decision core best 0
3600.00/3610.80	c CG core reduction tie 0
3600.00/3610.80	c CG core degree average 0.00
3600.00/3610.80	c CG core slack average 0.00
3600.00/3610.80	c CG core upper bound improvements 0
3600.00/3610.80	c STR number of successful calls 0
3600.00/3610.80	c STR number of unsuccessful calls 0
3600.00/3610.80	c STR number of inconclusive calls 0
3600.00/3610.80	c STR number of successful attempts 0
3600.00/3610.80	c STR number of unsuccessful attempts 0
3600.00/3610.80	c STR number of inconclusive attempts 0
3600.00/3610.80	c STR average degree increase per successful call inf
3600.00/3610.80	c STR average degree increase per successful attempt inf
3600.00/3610.80	c STR total number of conflicts for successful attempts 0
3600.00/3610.80	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.80	c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.80	c STR average number of conflicts per successful attempt inf
3600.00/3610.80	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.80	c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.80	c AVG.sumWPerc -nan 
3600.00/3610.80	c bigint constraints 0 
3600.00/3610.80	s UNKNOWN
3600.00/3610.80	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: 63708 MiB (54141 MiB free)
  memory of node 1: 64465 MiB (57580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522274-1751593301/watcher-4522274-1751593301 -o /tmp/evaluation-result-4522274-1751593301/solver-4522274-1751593301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87394 --watchdog 3760 run-opt.sh HOME/instance-4522274-1751593301.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10006 s]*
/proc/loadavg: 4.16 4.12 4.10 5/268 88258
/proc/meminfo: memFree=114394348/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=79520 memory=30452 CPUtime=0.07 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 5406 0 0 0 5 2 0 0 20 0 1 0 75009483 81428480 7613 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 19880 7613 2336 1147 0 7307 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 83712 KiB
Current children cumulated memory: 33524 KiB

[startup+0.205581 s]*
/proc/loadavg: 4.16 4.12 4.10 5/267 88258
/proc/meminfo: memFree=118098448/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=81916 memory=34380 CPUtime=0.18 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 5892 0 0 0 10 8 0 0 20 0 1 0 75009483 83881984 8595 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 20479 8595 2336 1147 0 7906 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 86108 KiB
Current children cumulated memory: 37452 KiB

[startup+0.305555 s]*
/proc/loadavg: 4.23 4.14 4.10 5/267 88258
/proc/meminfo: memFree=118177704/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=81916 memory=34380 CPUtime=0.28 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 5892 0 0 0 16 12 0 0 20 0 1 0 75009483 83881984 8595 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 20479 8595 2336 1147 0 7906 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86108 KiB
Current children cumulated memory: 37452 KiB

[startup+0.700149 s]
/proc/loadavg: 4.23 4.14 4.10 5/266 88266
/proc/meminfo: memFree=120593628/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=85792 memory=39756 CPUtime=0.67 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 7261 0 0 0 42 25 0 0 20 0 1 0 75009483 87851008 9939 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 21448 9939 2336 1147 0 8875 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 89984 KiB
Current children cumulated memory: 42828 KiB

[startup+1.50017 s]
/proc/loadavg: 4.23 4.14 4.10 4/263 88266
/proc/meminfo: memFree=120588140/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=100656 memory=53764 CPUtime=1.47 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 9210 0 0 0 104 43 0 0 20 0 1 0 75009483 103071744 13441 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 25164 13441 2336 1147 0 12591 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 104848 KiB
Current children cumulated memory: 56836 KiB

[startup+3.10546 s]
/proc/loadavg: 4.23 4.14 4.10 5/268 88304
/proc/meminfo: memFree=120300852/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=137248 memory=78308 CPUtime=3.06 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 11771 0 0 0 247 59 0 0 20 0 1 0 75009483 140541952 19577 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 34312 19577 2336 1147 0 21739 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 141440 KiB
Current children cumulated memory: 81380 KiB

[startup+6.30018 s]
/proc/loadavg: 4.21 4.13 4.10 5/268 88304
/proc/meminfo: memFree=120248908/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=183876 memory=118404 CPUtime=6.25 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 16189 0 0 0 546 79 0 0 20 0 1 0 75009483 188289024 29601 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 45969 29601 2336 1147 0 33396 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 188068 KiB
Current children cumulated memory: 121476 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 88304
/proc/meminfo: memFree=119842828/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=253380 memory=177040 CPUtime=12.63 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 21137 0 0 0 1172 91 0 0 20 0 1 0 75009483 259461120 44260 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 63345 44260 2336 1147 0 50772 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 257572 KiB
Current children cumulated memory: 180112 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.10 5/268 88350
/proc/meminfo: memFree=118730828/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=394156 memory=297812 CPUtime=25.39 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 34978 0 0 0 2426 113 0 0 20 0 1 0 75009483 403615744 74453 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 98539 74453 2336 1147 0 85966 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 398348 KiB
Current children cumulated memory: 300884 KiB

[startup+51.1056 s]
/proc/loadavg: 4.22 4.14 4.10 5/269 88352
/proc/meminfo: memFree=117000884/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=423140 memory=350392 CPUtime=50.91 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 41487 0 0 0 4965 126 0 0 20 0 1 0 75009483 433295360 87598 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 105785 87598 2336 1147 0 93212 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 427332 KiB
Current children cumulated memory: 353464 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/269 88353
/proc/meminfo: memFree=113567252/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=619412 memory=511584 CPUtime=101.94 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 55766 0 0 0 10046 148 0 0 20 0 1 0 75009483 634277888 127896 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 154853 127896 2336 1147 0 142280 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 623604 KiB
Current children cumulated memory: 514656 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/269 88400
/proc/meminfo: memFree=110309808/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=882416 memory=600524 CPUtime=161.74 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 66741 0 0 0 16008 166 0 0 20 0 1 0 75009483 903593984 150131 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 220604 150131 2336 1147 0 208031 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 886608 KiB
Current children cumulated memory: 603596 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/270 88408
/proc/meminfo: memFree=108579772/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=889420 memory=629556 CPUtime=221.55 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 68952 0 0 0 21973 182 0 0 20 0 1 0 75009483 910766080 157389 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 222355 157389 2336 1147 0 209782 0
Current children cumulated CPU time: 221.55 s

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

/proc/88258/statm: 642560 467468 2336 1147 0 629987 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 2574432 KiB
Current children cumulated memory: 1872944 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/269 88616
/proc/meminfo: memFree=111933676/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2571008 memory=1870512 CPUtime=3093.18 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 214252 0 0 0 308663 655 0 0 20 0 1 0 75009483 2632712192 467628 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 642752 467628 2336 1147 0 630179 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 2575200 KiB
Current children cumulated memory: 1873584 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/269 88618
/proc/meminfo: memFree=111862104/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2571008 memory=1870512 CPUtime=3152.99 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 214268 0 0 0 314636 663 0 0 20 0 1 0 75009483 2632712192 467628 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 642752 467628 2336 1147 0 630179 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 2575200 KiB
Current children cumulated memory: 1873584 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/268 88624
/proc/meminfo: memFree=111750076/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2571264 memory=1870768 CPUtime=3212.78 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 214338 0 0 0 320608 670 0 0 20 0 1 0 75009483 2632974336 467692 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 642816 467692 2336 1147 0 630243 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 2575456 KiB
Current children cumulated memory: 1873840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/268 88626
/proc/meminfo: memFree=111697864/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2573568 memory=1872176 CPUtime=3272.58 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 214671 0 0 0 326574 684 0 0 20 0 1 0 75009483 2635333632 468044 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 643392 468044 2336 1147 0 630819 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 2577760 KiB
Current children cumulated memory: 1875248 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 88628
/proc/meminfo: memFree=111582376/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2577408 memory=1907800 CPUtime=3332.39 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 215401 0 0 0 332547 692 0 0 20 0 1 0 75009483 2639265792 476950 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 644352 476950 2336 1147 0 631779 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 2581600 KiB
Current children cumulated memory: 1910872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 88630
/proc/meminfo: memFree=111534848/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2578304 memory=1908312 CPUtime=3392.19 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 215551 0 0 0 338502 717 0 0 20 0 1 0 75009483 2640183296 477078 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 644576 477078 2336 1147 0 632003 0
Current children cumulated CPU time: 3392.19 s
Current children cumulated vsize: 2582496 KiB
Current children cumulated memory: 1911384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 88632
/proc/meminfo: memFree=111497976/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2578560 memory=1908696 CPUtime=3451.99 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 215645 0 0 0 344468 731 0 0 20 0 1 0 75009483 2640445440 477174 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 644640 477174 2336 1147 0 632067 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 2582752 KiB
Current children cumulated memory: 1911768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 88635
/proc/meminfo: memFree=111441304/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2587524 memory=1914584 CPUtime=3511.8 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 217130 0 0 0 350437 743 0 0 20 0 1 0 75009483 2649624576 478646 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 646881 478646 2336 1147 0 634308 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 2591716 KiB
Current children cumulated memory: 1917656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 88637
/proc/meminfo: memFree=111367564/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2587780 memory=1952092 CPUtime=3571.6 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 217297 0 0 0 356410 750 0 0 20 0 1 0 75009483 2649886720 488023 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 646945 488023 2336 1147 0 634372 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 2591972 KiB
Current children cumulated memory: 1955164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 88638
/proc/meminfo: memFree=111338344/131250000 swapFree=33009904/33010684
[pid=88256] ppid=88253 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88256/stat : 88256 (run-opt.sh) S 88253 88256 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75009483 4292608 768 18446744073709551615 93893484883968 93893485778501 140720934933808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93893486017552 93893486065296 93893486424064 140720934938989 140720934939112 140720934939112 140720934944714 0
/proc/88256/statm: 1048 768 704 219 0 110 0
[pid=88258] ppid=88256 vsize=2587780 memory=1952092 CPUtime=3600 cores=5,7
/proc/88258/stat : 88258 (roundingsat) R 88256 88256 87381 0 -1 4194304 217297 0 0 0 359245 755 0 0 20 0 1 0 75009483 2649886720 488023 18446744073709551615 4227072 8923433 140736934061472 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31621120 140736934070690 140736934070824 140736934070824 140736934076394 0
/proc/88258/statm: 646945 488023 2336 1147 0 634372 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2591972 KiB
Current children cumulated memory: 1955164 KiB

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

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

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

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

# cumulated CPU time of all completed processes:  user=3592.46 s, system=7.58944 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

Child status: 2

Real time (s): 3610.84
CPU time (s): 3600.05
CPU user time (s): 3592.46
CPU system time (s): 7.58944
CPU usage (%): 99.7012
Max. virtual memory (cumulated for all children) (KiB): 2591972
Max. memory (cumulated for all children) (KiB): 1955164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.46
system time used= 7.58944
maximum resident set size= 1952604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217529
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= 279
involuntary context switches= 4359


# summary of solver processes directly reported to runsolver:
#   pid: 88256,88258
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3592.46
#   total CPU system time (s): 7.58944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92701 second user time and 17.8225 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-04 03:41:41
IDJOB=4522274
IDBENCH=178655
IDSOLVER=3350
FILE ID=nodeC033/4522274-1751593301
RUNJOBID= nodeC033-1751586076-87394
SLURM_JOB_ID= 9598834
Free space on /tmp= 429688 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-ab51-40-100.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522274-1751593301/watcher-4522274-1751593301 -o /tmp/evaluation-result-4522274-1751593301/solver-4522274-1751593301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87394 --watchdog 3760  run-opt.sh HOME/instance-4522274-1751593301.opb

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

MD5SUM BENCH= 8fca917194ea3f00cf99a1d77833d022
RANDOM SEED=1143818322

nodeC033 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	: 7000.13
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		: 3600.066
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	: 7000.13
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		: 3598.317
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	: 7000.13
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		: 3564.244
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	: 7000.13
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.104
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	: 7000.13
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		: 3572.311
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	: 7000.13
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		: 3600.177
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	: 7000.13
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		: 3600.268
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        114404212 kB
MemAvailable:   120590808 kB
Buffers:            2128 kB
Cached:          6938692 kB
SwapCached:           68 kB
Active:          9755024 kB
Inactive:        6357840 kB
Active(anon):    9184552 kB
Inactive(anon):     5524 kB
Active(file):     570472 kB
Inactive(file):  6352316 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             86716 kB
Writeback:             0 kB
AnonPages:       9171536 kB
Mapped:           116028 kB
Shmem:             18028 kB
KReclaimable:     206096 kB
Slab:             298580 kB
SReclaimable:     206096 kB
SUnreclaim:        92484 kB
KernelStack:        4288 kB
PageTables:        22240 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   12020080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6668288 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429700 MiB
End job on nodeC033 at 2025-07-04 04:41:52