Trace number 4523333

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.1 3611.66

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_001.opb
MD5SUM5497ad1e3ba537ab514ea8a0bae011ec
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-13240
Best CPU time to get the best result obtained on this benchmark0.242693
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12816
Total number of constraints321
Number of constraints which are clauses19
Number of constraints which are cardinality constraints (but not clauses)302
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3129
Number of terms in the objective function 12814
Biggest coefficient in the objective function 257
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1403930
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 257
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1403930
Number of bits of the biggest sum of numbers21
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.00/0.09	c #variables 12816 #constraints 321
0.00/0.09	c objective is ce32 
0.08/0.11	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.11	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.11	c GLOBAL bounds - >= -1403930 @ 0.074164
0.08/0.16	c GLOBAL bounds - >= -1403930 @ 0.101275
0.08/0.21	c GLOBAL bounds - >= -1403930 @ 0.127714
0.20/0.26	c GLOBAL bounds - >= -1403930 @ 0.160941
0.20/0.32	c GLOBAL bounds - >= -1403930 @ 0.19384
0.30/0.37	c GLOBAL bounds - >= -1403930 @ 0.225972
0.40/0.45	c GLOBAL bounds - >= -1403930 @ 0.288188
0.40/0.50	c GLOBAL bounds - >= -1403930 @ 0.314644
0.50/0.53	c GLOBAL bounds - >= -1403930 @ 0.335531
0.50/0.58	c GLOBAL bounds - >= -1403930 @ 0.368985
0.58/0.61	c GLOBAL bounds - >= -1403930 @ 0.392123
0.58/0.69	c GLOBAL bounds - >= -1403930 @ 0.457994
0.67/0.72	c GLOBAL bounds - >= -1403930 @ 0.475147
0.67/0.75	c GLOBAL bounds - >= -1403930 @ 0.490251
0.67/0.77	c GLOBAL bounds - >= -1403930 @ 0.508287
0.77/0.81	c GLOBAL bounds - >= -1403930 @ 0.537643
0.77/0.84	c GLOBAL bounds - >= -1403930 @ 0.558884
0.87/0.97	c GLOBAL bounds - >= -1403930 @ 0.67676
0.87/0.99	c GLOBAL bounds - >= -1403930 @ 0.692631
0.98/1.05	c GLOBAL bounds - >= -1403930 @ 0.740253
0.98/1.08	c GLOBAL bounds - >= -1403930 @ 0.756954
0.98/1.10	c GLOBAL bounds - >= -1403930 @ 0.775181
1.09/1.13	c GLOBAL bounds - >= -1403930 @ 0.789729
1.09/1.16	c GLOBAL bounds - >= -1403930 @ 0.812856
1.09/1.19	c GLOBAL bounds - >= -1403930 @ 0.827274
1.17/1.26	c GLOBAL bounds - >= -1403930 @ 0.884386
1.17/1.29	c GLOBAL bounds - >= -1403930 @ 0.906134
1.27/1.33	c GLOBAL bounds - >= -1403930 @ 0.933428
1.27/1.36	c GLOBAL bounds - >= -1403930 @ 0.950172
1.27/1.39	c GLOBAL bounds - >= -1403930 @ 0.97547
1.37/1.44	c GLOBAL bounds - >= -1403930 @ 1.0149
1.37/1.46	c GLOBAL bounds - >= -1403930 @ 1.03136
1.37/1.48	c GLOBAL bounds - >= -1403930 @ 1.04256
1.47/1.51	c GLOBAL bounds - >= -1403930 @ 1.06001
1.47/1.53	c GLOBAL bounds - >= -1403930 @ 1.07268
1.47/1.56	c GLOBAL bounds - >= -1403930 @ 1.09702
1.47/1.58	c GLOBAL bounds - >= -1403930 @ 1.10905
1.57/1.62	c GLOBAL bounds - >= -1403930 @ 1.14271
1.57/1.64	c GLOBAL bounds - >= -1403930 @ 1.15449
1.57/1.67	c GLOBAL bounds - >= -1403930 @ 1.178
1.57/1.69	c GLOBAL bounds - >= -1403930 @ 1.18936
1.67/1.71	c GLOBAL bounds - >= -1403930 @ 1.19835
1.67/1.73	c GLOBAL bounds - >= -1403930 @ 1.2184
1.67/1.75	c GLOBAL bounds - >= -1403930 @ 1.23072
1.67/1.78	c GLOBAL bounds - >= -1403930 @ 1.24784
1.77/1.80	c GLOBAL bounds - >= -1403930 @ 1.26167
1.77/1.85	c GLOBAL bounds - >= -1403930 @ 1.30994
1.77/1.88	c GLOBAL bounds - >= -1403930 @ 1.328
1.87/1.92	c GLOBAL bounds - >= -1403930 @ 1.35893
1.87/1.95	c GLOBAL bounds - >= -1403930 @ 1.38524
1.87/1.97	c GLOBAL bounds - >= -1403930 @ 1.39707
1.87/1.99	c GLOBAL bounds - >= -1403930 @ 1.4133
1.98/2.01	c GLOBAL bounds - >= -1403930 @ 1.42269
1.98/2.03	c GLOBAL bounds - >= -1403930 @ 1.4389
1.98/2.05	c GLOBAL bounds - >= -1403930 @ 1.4513
1.98/2.07	c GLOBAL bounds - >= -1403930 @ 1.46303
1.98/2.08	c GLOBAL bounds - >= -1403930 @ 1.4759
1.98/2.11	c GLOBAL bounds - >= -1403930 @ 1.49266
2.07/2.13	c GLOBAL bounds - >= -1403930 @ 1.5089
2.07/2.15	c GLOBAL bounds - >= -1403930 @ 1.52851
2.07/2.17	c GLOBAL bounds - >= -1403930 @ 1.54201
2.07/2.19	c GLOBAL bounds - >= -1403930 @ 1.56354
2.17/2.28	c GLOBAL bounds - >= -1403930 @ 1.6412
2.26/2.31	c GLOBAL bounds - >= -1403930 @ 1.67052
2.26/2.34	c GLOBAL bounds - >= -1403930 @ 1.68989
2.26/2.36	c GLOBAL bounds - >= -1403930 @ 1.70739
2.26/2.38	c GLOBAL bounds - >= -1403930 @ 1.72022
2.36/2.40	c GLOBAL bounds - >= -1403930 @ 1.73152
2.36/2.41	c GLOBAL bounds - >= -1403930 @ 1.74275
2.36/2.44	c GLOBAL bounds - >= -1403930 @ 1.7607
2.46/2.52	c GLOBAL bounds - >= -1403930 @ 1.82937
2.46/2.54	c GLOBAL bounds - >= -1403930 @ 1.84461
2.46/2.57	c GLOBAL bounds - >= -1403930 @ 1.8741
2.46/2.59	c GLOBAL bounds - >= -1403930 @ 1.88777
2.57/2.62	c GLOBAL bounds - >= -1403930 @ 1.90438
2.57/2.63	c GLOBAL bounds - >= -1403930 @ 1.92058
2.57/2.66	c GLOBAL bounds - >= -1403930 @ 1.94465
2.66/2.71	c GLOBAL bounds - >= -1403930 @ 1.98843
2.66/2.74	c GLOBAL bounds - >= -1403930 @ 2.01216
2.66/2.76	c GLOBAL bounds - >= -1403930 @ 2.02608
2.66/2.78	c GLOBAL bounds - >= -1403930 @ 2.04213
2.76/2.80	c GLOBAL bounds - >= -1403930 @ 2.05714
2.76/2.82	c GLOBAL bounds - >= -1403930 @ 2.07246
2.76/2.86	c GLOBAL bounds - >= -1403930 @ 2.10043
2.76/2.88	c GLOBAL bounds - >= -1403930 @ 2.11966
2.87/2.91	c GLOBAL bounds - >= -1403930 @ 2.1399
2.87/2.94	c GLOBAL bounds - >= -1403930 @ 2.16341
2.87/2.97	c GLOBAL bounds - >= -1403930 @ 2.18206
2.87/2.98	c GLOBAL bounds - >= -1403930 @ 2.19645
2.87/3.00	c GLOBAL bounds - >= -1403930 @ 2.21176
2.98/3.03	c GLOBAL bounds - >= -1403930 @ 2.2312
2.98/3.05	c GLOBAL bounds - >= -1403930 @ 2.25019
2.98/3.08	c GLOBAL bounds - >= -1403930 @ 2.2722
2.98/3.10	c GLOBAL bounds - >= -1403930 @ 2.28403
3.08/3.12	c GLOBAL bounds - >= -1403930 @ 2.299
3.08/3.14	c GLOBAL bounds - >= -1403930 @ 2.31389
3.08/3.16	c GLOBAL bounds - >= -1403930 @ 2.33453
3.08/3.18	c GLOBAL bounds - >= -1403930 @ 2.35138
3.16/3.20	c GLOBAL bounds - >= -1403930 @ 2.3695
3.16/3.22	c GLOBAL bounds - >= -1403930 @ 2.38495
3.16/3.24	c GLOBAL bounds - >= -1403930 @ 2.39874
3.16/3.26	c GLOBAL bounds - >= -1403930 @ 2.41992
3.16/3.29	c GLOBAL bounds - >= -1403930 @ 2.44312
3.27/3.31	c GLOBAL bounds - >= -1403930 @ 2.45652
3.27/3.34	c GLOBAL bounds - >= -1403930 @ 2.47409
3.36/3.40	c GLOBAL bounds - >= -1403930 @ 2.53171
3.36/3.43	c GLOBAL bounds - >= -1403930 @ 2.54961
3.36/3.45	c GLOBAL bounds - >= -1403930 @ 2.56703
3.36/3.49	c GLOBAL bounds - >= -1403930 @ 2.59887
3.46/3.51	c GLOBAL bounds - >= -1403930 @ 2.61753
3.46/3.55	c GLOBAL bounds - >= -1403930 @ 2.64924
3.46/3.57	c GLOBAL bounds - >= -1403930 @ 2.66575
3.56/3.61	c GLOBAL bounds - >= -1403930 @ 2.69015
3.56/3.65	c GLOBAL bounds - >= -1403930 @ 2.7272
3.56/3.67	c GLOBAL bounds - >= -1403930 @ 2.74275
3.66/3.70	c GLOBAL bounds - >= -1403930 @ 2.76591
3.66/3.72	c GLOBAL bounds - >= -1403930 @ 2.77981
3.66/3.74	c GLOBAL bounds - >= -1403930 @ 2.80192
3.66/3.77	c GLOBAL bounds - >= -1403930 @ 2.82275
3.76/3.80	c GLOBAL bounds - >= -1403930 @ 2.84343
3.76/3.83	c GLOBAL bounds - >= -1403930 @ 2.86997
3.76/3.87	c GLOBAL bounds - >= -1403930 @ 2.90197
3.86/3.91	c GLOBAL bounds - >= -1403930 @ 2.93984
3.86/3.96	c GLOBAL bounds - >= -1403930 @ 2.9802
3.86/3.99	c GLOBAL bounds - >= -1403930 @ 3.00571
3.97/4.02	c GLOBAL bounds - >= -1403930 @ 3.03012
3.97/4.04	c GLOBAL bounds - >= -1403930 @ 3.04765
4.08/4.13	c GLOBAL bounds - >= -1403930 @ 3.13206
4.08/4.18	c GLOBAL bounds - >= -1403930 @ 3.17024
4.16/4.23	c GLOBAL bounds - >= -1403930 @ 3.21295
4.16/4.25	c GLOBAL bounds - >= -1403930 @ 3.23308
4.26/4.32	c GLOBAL bounds - >= -1403930 @ 3.28958
4.26/4.35	c GLOBAL bounds - >= -1403930 @ 3.31759
4.26/4.38	c GLOBAL bounds - >= -1403930 @ 3.3408
4.36/4.41	c GLOBAL bounds - >= -1403930 @ 3.36269
4.36/4.44	c GLOBAL bounds - >= -1403930 @ 3.38341
4.36/4.48	c GLOBAL bounds - >= -1403930 @ 3.41077
4.46/4.51	c GLOBAL bounds - >= -1403930 @ 3.43573
4.46/4.54	c GLOBAL bounds - >= -1403930 @ 3.45128
4.46/4.59	c GLOBAL bounds - >= -1403930 @ 3.4969
4.66/4.70	c GLOBAL bounds - >= -1403930 @ 3.6046
4.66/4.77	c GLOBAL bounds - >= -1403930 @ 3.66508
4.75/4.85	c GLOBAL bounds - >= -1403930 @ 3.73296
5.15/5.29	c GLOBAL bounds - >= -1403930 @ 4.14314
5.25/5.34	c GLOBAL bounds - >= -1403930 @ 4.18932
5.25/5.39	c GLOBAL bounds - >= -1403930 @ 4.23569
5.36/5.44	c GLOBAL bounds - >= -1403930 @ 4.28158
5.46/5.50	c GLOBAL bounds - >= -1403930 @ 4.33175
5.46/5.55	c GLOBAL bounds - >= -1403930 @ 4.36933
5.56/5.69	c GLOBAL bounds - >= -1403930 @ 4.49651
5.66/5.73	c GLOBAL bounds - >= -1403930 @ 4.53015
5.66/5.77	c GLOBAL bounds - >= -1403930 @ 4.56284
7.54/7.65	c GLOBAL bounds - >= -1403930 @ 6.39347
11.95/12.04	c GLOBAL bounds - >= -1403930 @ 10.7459
13.33/13.48	c #Conflicts:       1000 | #Constraints:       1625
13.33/13.48	c GLOBAL bounds - >= -1403930 @ 12.1666
18.70/18.87	c GLOBAL bounds - >= -1403930 @ 17.4793
27.67/27.89	c GLOBAL bounds - >= -1403930 @ 26.3818
28.56/28.74	c GLOBAL bounds - >= -1403930 @ 27.2236
31.36/31.50	c #Conflicts:       2000 | #Constraints:       2633
31.36/31.50	c INPROCESSING
31.36/31.50	c GARBAGE COLLECT
31.36/31.50	c GLOBAL bounds - >= -1403930 @ 29.9411
33.55/33.77	c GLOBAL bounds - >= -1403930 @ 32.1768
35.54/35.75	c GLOBAL bounds - >= -1403930 @ 34.1412
35.64/35.88	c GLOBAL bounds - >= -1403930 @ 34.2539
36.63/36.83	c GLOBAL bounds - >= -1403930 @ 35.2008
46.30/46.53	c #Conflicts:       3000 | #Constraints:       2647
46.30/46.53	c GLOBAL bounds - >= -1403930 @ 44.8062
46.61/46.82	c GLOBAL bounds - >= -1403930 @ 45.0959
47.40/47.64	c GLOBAL bounds - >= -1403930 @ 45.8962
47.70/47.97	c GLOBAL bounds - >= -1403930 @ 46.2074
47.91/48.16	c GLOBAL bounds - >= -1403930 @ 46.397
49.91/50.14	c GLOBAL bounds - >= -1403930 @ 48.3379
55.57/55.84	c GLOBAL bounds - >= -1403930 @ 53.9855
59.88/60.13	c #Conflicts:       4000 | #Constraints:       3661
59.88/60.13	c GLOBAL bounds - >= -1403930 @ 58.2405
65.25/65.50	c INPROCESSING
65.25/65.50	c GARBAGE COLLECT
65.25/65.50	c GLOBAL bounds - >= -1403930 @ 63.5539
69.63/69.95	c GLOBAL bounds - >= -1403930 @ 67.9549
80.71/81.11	c #Conflicts:       5000 | #Constraints:       3071
80.71/81.11	c GLOBAL bounds - >= -1403930 @ 79.0036
140.51/141.06	c #Conflicts:       6000 | #Constraints:       4073
140.51/141.06	c INPROCESSING
140.51/141.06	c GARBAGE COLLECT
140.51/141.06	c #Conflicts:       7000 | #Constraints:       3081
140.51/141.06	c #Conflicts:       8000 | #Constraints:       4081
140.51/141.06	c GLOBAL bounds - >= -1403930 @ 138.525
143.99/144.58	c GLOBAL bounds - >= -1403930 @ 142.014
157.25/157.85	c #Conflicts:       9000 | #Constraints:       5085
157.25/157.85	c INPROCESSING
157.25/157.85	c GARBAGE COLLECT
157.25/157.85	c GLOBAL bounds - >= -1403930 @ 155.166
157.47/158.08	c GLOBAL bounds - >= -1403930 @ 155.382
226.70/227.51	c #Conflicts:      10000 | #Constraints:       3788
226.70/227.51	c #Conflicts:      11000 | #Constraints:       4788
226.70/227.51	c GLOBAL bounds - >= -1403930 @ 224.354
304.31/305.45	c #Conflicts:      12000 | #Constraints:       5790
304.31/305.45	c INPROCESSING
304.31/305.45	c GARBAGE COLLECT
304.31/305.45	c #Conflicts:      13000 | #Constraints:       4242
304.31/305.45	c #Conflicts:      14000 | #Constraints:       5242
304.31/305.45	c #Conflicts:      15000 | #Constraints:       6242
304.31/305.45	c INPROCESSING
304.31/305.45	c GARBAGE COLLECT
304.31/305.45	c GLOBAL bounds - >= -1403930 @ 301.698
307.20/308.36	c GLOBAL bounds - >= -1403930 @ 304.582
389.99/391.46	c #Conflicts:      16000 | #Constraints:       4473
389.99/391.46	c #Conflicts:      17000 | #Constraints:       5473
389.99/391.46	c #Conflicts:      18000 | #Constraints:       6473
389.99/391.46	c GLOBAL bounds - >= -1403930 @ 387.187
394.59/396.01	c GLOBAL bounds - >= -1403930 @ 391.701
412.81/414.39	c INPROCESSING
412.81/414.39	c GARBAGE COLLECT
412.81/414.39	c #Conflicts:      19000 | #Constraints:       4482
412.81/414.39	c GLOBAL bounds - >= -1403930 @ 409.953
428.75/430.38	c GLOBAL bounds - >= -1403930 @ 425.835
484.46/486.24	c #Conflicts:      20000 | #Constraints:       5486
484.46/486.24	c #Conflicts:      21000 | #Constraints:       6486
484.46/486.24	c GLOBAL bounds - >= -1403930 @ 481.32
484.76/486.53	c GLOBAL bounds - >= -1403930 @ 481.603
515.05/516.98	c INPROCESSING
515.05/516.98	c GARBAGE COLLECT
515.05/516.98	c #Conflicts:      22000 | #Constraints:       4297
515.05/516.98	c GLOBAL bounds - >= -1403930 @ 511.847
639.30/641.63	c #Conflicts:      23000 | #Constraints:       5299
639.30/641.63	c #Conflicts:      24000 | #Constraints:       6299
639.30/641.63	c #Conflicts:      25000 | #Constraints:       7299
639.30/641.63	c INPROCESSING
639.30/641.63	c GARBAGE COLLECT
639.30/641.63	c #Conflicts:      26000 | #Constraints:       4905
639.30/641.63	c #Conflicts:      27000 | #Constraints:       5905
639.30/641.63	c GLOBAL bounds - >= -1403930 @ 635.757
647.47/649.80	c GLOBAL bounds - >= -1403930 @ 643.866
654.35/656.73	c GLOBAL bounds - >= -1403930 @ 650.75
755.59/758.30	c #Conflicts:      28000 | #Constraints:       6911
755.59/758.30	c #Conflicts:      29000 | #Constraints:       7911
755.59/758.30	c INPROCESSING
755.59/758.30	c GARBAGE COLLECT
755.59/758.30	c #Conflicts:      30000 | #Constraints:       5316
755.59/758.30	c GLOBAL bounds - >= -1403930 @ 751.732
849.76/852.83	c #Conflicts:      31000 | #Constraints:       6318
849.76/852.83	c #Conflicts:      32000 | #Constraints:       7318
849.76/852.83	c GLOBAL bounds - >= -1403930 @ 845.745
1371.49/1376.23	c #Conflicts:      33000 | #Constraints:       8320
1371.49/1376.23	c INPROCESSING
1371.49/1376.23	c GARBAGE COLLECT
1371.49/1376.23	c #Conflicts:      34000 | #Constraints:       5519
1371.49/1376.23	c #Conflicts:      35000 | #Constraints:       6519
1371.49/1376.23	c #Conflicts:      36000 | #Constraints:       7519
1371.49/1376.23	c #Conflicts:      37000 | #Constraints:       8519
1371.49/1376.23	c INPROCESSING
1371.49/1376.23	c GARBAGE COLLECT
1371.49/1376.23	c #Conflicts:      38000 | #Constraints:       5527
1371.49/1376.23	c #Conflicts:      39000 | #Constraints:       6527
1371.49/1376.23	c #Conflicts:      40000 | #Constraints:       7527
1371.49/1376.23	c #Conflicts:      41000 | #Constraints:       8527
1371.49/1376.23	c INPROCESSING
1371.49/1376.23	c GARBAGE COLLECT
1371.49/1376.23	c #Conflicts:      42000 | #Constraints:       5335
1371.49/1376.23	c #Conflicts:      43000 | #Constraints:       6335
1371.49/1376.23	c #Conflicts:      44000 | #Constraints:       7335
1371.49/1376.23	c #Conflicts:      45000 | #Constraints:       8335
1371.49/1376.23	c #Conflicts:      46000 | #Constraints:       9335
1371.49/1376.23	c INPROCESSING
1371.49/1376.23	c GARBAGE COLLECT
1371.49/1376.23	c #Conflicts:      47000 | #Constraints:       5941
1371.49/1376.23	c #Conflicts:      48000 | #Constraints:       6941
1371.49/1376.23	c #Conflicts:      49000 | #Constraints:       7941
1371.49/1376.23	c GLOBAL bounds - >= -1403930 @ 1366.01
1372.09/1376.82	c GLOBAL bounds - >= -1403930 @ 1366.59
1610.77/1616.27	c #Conflicts:      50000 | #Constraints:       8945
1610.77/1616.27	c #Conflicts:      51000 | #Constraints:       9945
1610.77/1616.27	c INPROCESSING
1610.77/1616.27	c GARBAGE COLLECT
1610.77/1616.27	c #Conflicts:      52000 | #Constraints:       6337
1610.77/1616.27	c #Conflicts:      53000 | #Constraints:       7337
1610.77/1616.27	c #Conflicts:      54000 | #Constraints:       8337
1610.77/1616.27	c #Conflicts:      55000 | #Constraints:       9337
1610.77/1616.27	c #Conflicts:      56000 | #Constraints:      10337
1610.77/1616.27	c INPROCESSING
1610.77/1616.27	c GARBAGE COLLECT
1610.77/1616.27	c #Conflicts:      57000 | #Constraints:       6536
1610.77/1616.27	c GLOBAL bounds - >= -1403930 @ 1604.67
1771.59/1777.52	c #Conflicts:      58000 | #Constraints:       7538
1771.59/1777.52	c #Conflicts:      59000 | #Constraints:       8538
1771.59/1777.52	c #Conflicts:      60000 | #Constraints:       9538
1771.59/1777.52	c #Conflicts:      61000 | #Constraints:      10538
1771.59/1777.52	c INPROCESSING
1771.59/1777.52	c GARBAGE COLLECT
1771.59/1777.52	c #Conflicts:      62000 | #Constraints:       6537
1771.59/1777.52	c GLOBAL bounds - >= -1403930 @ 1765.02
1886.75/1893.06	c #Conflicts:      63000 | #Constraints:       7539
1886.75/1893.06	c #Conflicts:      64000 | #Constraints:       8539
1886.75/1893.06	c #Conflicts:      65000 | #Constraints:       9539
1886.75/1893.06	c GLOBAL bounds - >= -1403930 @ 1879.95
1891.43/1897.72	c GLOBAL bounds - >= -1403930 @ 1884.56
2140.33/2147.30	c #Conflicts:      66000 | #Constraints:      10543
2140.33/2147.30	c INPROCESSING
2140.33/2147.30	c GARBAGE COLLECT
2140.33/2147.30	c #Conflicts:      67000 | #Constraints:       6346
2140.33/2147.30	c #Conflicts:      68000 | #Constraints:       7346
2140.33/2147.30	c #Conflicts:      69000 | #Constraints:       8346
2140.33/2147.30	c #Conflicts:      70000 | #Constraints:       9346
2140.33/2147.30	c #Conflicts:      71000 | #Constraints:      10346
2140.33/2147.30	c #Conflicts:      72000 | #Constraints:      11346
2140.33/2147.30	c INPROCESSING
2140.33/2147.30	c GARBAGE COLLECT
2140.33/2147.30	c GLOBAL bounds - >= -1403930 @ 2132.83
3227.74/3238.16	c #Conflicts:      73000 | #Constraints:       6943
3227.74/3238.16	c #Conflicts:      74000 | #Constraints:       7943
3227.74/3238.16	c #Conflicts:      75000 | #Constraints:       8943
3227.74/3238.16	c #Conflicts:      76000 | #Constraints:       9943
3227.74/3238.16	c #Conflicts:      77000 | #Constraints:      10943
3227.74/3238.16	c #Conflicts:      78000 | #Constraints:      11943
3227.74/3238.16	c INPROCESSING
3227.74/3238.16	c GARBAGE COLLECT
3227.74/3238.16	c #Conflicts:      79000 | #Constraints:       7341
3227.74/3238.16	c #Conflicts:      80000 | #Constraints:       8341
3227.74/3238.16	c #Conflicts:      81000 | #Constraints:       9341
3227.74/3238.16	c #Conflicts:      82000 | #Constraints:      10341
3227.74/3238.16	c #Conflicts:      83000 | #Constraints:      11341
3227.74/3238.16	c #Conflicts:      84000 | #Constraints:      12341
3227.74/3238.16	c INPROCESSING
3227.74/3238.16	c GARBAGE COLLECT
3227.74/3238.16	c #Conflicts:      85000 | #Constraints:       7544
3227.74/3238.16	c #Conflicts:      86000 | #Constraints:       8544
3227.74/3238.16	c #Conflicts:      87000 | #Constraints:       9544
3227.74/3238.16	c #Conflicts:      88000 | #Constraints:      10544
3227.74/3238.16	c #Conflicts:      89000 | #Constraints:      11544
3227.74/3238.16	c #Conflicts:      90000 | #Constraints:      12544
3227.74/3238.16	c INPROCESSING
3227.74/3238.16	c GARBAGE COLLECT
3227.74/3238.16	c #Conflicts:      91000 | #Constraints:       7556
3227.74/3238.16	c #Conflicts:      92000 | #Constraints:       8556
3227.74/3238.16	c #Conflicts:      93000 | #Constraints:       9556
3227.74/3238.16	c #Conflicts:      94000 | #Constraints:      10556
3227.74/3238.16	c #Conflicts:      95000 | #Constraints:      11556
3227.74/3238.16	c #Conflicts:      96000 | #Constraints:      12556
3227.74/3238.16	c INPROCESSING
3227.74/3238.16	c GARBAGE COLLECT
3227.74/3238.16	c #Conflicts:      97000 | #Constraints:       7361
3227.74/3238.16	c #Conflicts:      98000 | #Constraints:       8361
3227.74/3238.16	c #Conflicts:      99000 | #Constraints:       9361
3227.74/3238.16	c #Conflicts:     100000 | #Constraints:      10361
3227.74/3238.16	c #Conflicts:     101000 | #Constraints:      11361
3227.74/3238.16	c #Conflicts:     102000 | #Constraints:      12361
3227.74/3238.16	c #Conflicts:     103000 | #Constraints:      13361
3227.74/3238.16	c INPROCESSING
3227.74/3238.16	c GARBAGE COLLECT
3227.74/3238.16	c GLOBAL bounds - >= -1403930 @ 3217.83
3285.21/3295.85	c #Conflicts:     104000 | #Constraints:       7974
3285.21/3295.85	c #Conflicts:     105000 | #Constraints:       8974
3285.21/3295.85	c GLOBAL bounds - >= -1403930 @ 3275.1
3442.49/3453.66	c #Conflicts:     106000 | #Constraints:       9976
3442.49/3453.66	c #Conflicts:     107000 | #Constraints:      10976
3442.49/3453.66	c #Conflicts:     108000 | #Constraints:      11976
3442.49/3453.66	c #Conflicts:     109000 | #Constraints:      12976
3442.49/3453.66	c GLOBAL bounds - >= -1403930 @ 3431.99
3502.84/3514.13	c #Conflicts:     110000 | #Constraints:      13978
3502.84/3514.13	c INPROCESSING
3502.84/3514.13	c GARBAGE COLLECT
3502.84/3514.13	c GLOBAL bounds - >= -1403930 @ 3492.16
3510.60/3521.99	c GLOBAL bounds - >= -1403930 @ 3499.96
3548.20/3559.67	c #Conflicts:     111000 | #Constraints:       8370
3548.20/3559.67	c GLOBAL bounds - >= -1403930 @ 3537.41
3580.31/3591.82	c #Conflicts:     112000 | #Constraints:       9372
3580.31/3591.82	c GLOBAL bounds - >= -1403930 @ 3569.37
3586.78/3598.37	c GLOBAL bounds - >= -1403930 @ 3575.87
3600.05/3611.61	c #Conflicts:     113000 | #Constraints:      10376
3600.05/3611.61	c cpu time 3589.04 s
3600.05/3611.61	c deterministic time 1 1.00e+00
3600.05/3611.61	c optimization time 3588.98 s
3600.05/3611.61	c total solve time 0 s
3600.05/3611.61	c core-guided solve time 0 s
3600.05/3611.61	c propagation time 0.000461 s
3600.05/3611.61	c conflict analysis time 0 s
3600.05/3611.61	c propagations 0
3600.05/3611.61	c resolve steps 0
3600.05/3611.61	c decisions 0
3600.05/3611.61	c conflicts 0
3600.05/3611.61	c restarts 0
3600.05/3611.61	c inprocessing phases 0
3600.05/3611.61	c garbage collections 0 ,( -nan )
3600.05/3611.61	c input clauses 19 ,( 5.92 )
3600.05/3611.61	c input cardinalities 302 ,( 94.08 )
3600.05/3611.61	c input general constraints 0 ,( 0.00 )
3600.05/3611.61	c input average constraint length 117.53
3600.05/3611.61	c input average constraint degree 116.53
3600.05/3611.61	c learned clauses 0 ,( 0.00 )
3600.05/3611.61	c learned cardinalities 0 ,( 0.00 )
3600.05/3611.61	c learned general constraints 0 ,( 0.00 )
3600.05/3611.61	c learned average constraint length 0.00
3600.05/3611.61	c learned average constraint degree 0.00
3600.05/3611.61	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3611.61	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3611.61	c watched   constraints 0 ,( -nan ) 
3600.05/3611.61	c counting  constraints 0 ,( -nan ) 
3600.05/3611.61	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3611.61	c gcd simplifications 0
3600.05/3611.61	c detected cardinalities 0
3600.05/3611.61	c weakened non-implied lits 0
3600.05/3611.61	c weakened non-implying lits 0
3600.05/3611.61	c original variables 12816
3600.05/3611.61	c clausal propagations 0
3600.05/3611.61	c cardinality propagations 0
3600.05/3611.61	c watched propagations 0
3600.05/3611.61	c counting propagations 0
3600.05/3611.61	c watch lookups 0
3600.05/3611.61	c watch backjump lookups 0
3600.05/3611.61	c watch checks 0
3600.05/3611.61	c propagation checks 0
3600.05/3611.61	c constraint additions 0
3600.05/3611.61	c trail pops 0
3600.05/3611.61	c formula constraints 321
3600.05/3611.61	c learned constraints 0
3600.05/3611.61	c bound constraints 0
3600.05/3611.61	c core-guided constraints 0
3600.05/3611.61	c encountered formula constraints 0
3600.05/3611.61	c encountered learned constraints 0
3600.05/3611.61	c encountered bound constraints 0
3600.05/3611.61	c encountered core-guided constraints 0
3600.05/3611.61	c LP total time 0 s
3600.05/3611.61	c LP solve time 0 s
3600.05/3611.61	c LP constraints added 0
3600.05/3611.61	c LP constraints removed 0
3600.05/3611.61	c LP pivots internal 0
3600.05/3611.61	c LP pivots root 0
3600.05/3611.61	c LP calls 0
3600.05/3611.61	c LP optimalities 0
3600.05/3611.61	c LP no pivot count 0
3600.05/3611.61	c LP infeasibilities 0
3600.05/3611.61	c LP valid Farkas constraints 0
3600.05/3611.61	c LP learned Farkas constraints 0
3600.05/3611.61	c LP basis resets 0
3600.05/3611.61	c LP cycling count 0
3600.05/3611.61	c LP singular count 0
3600.05/3611.61	c LP no primal count 0
3600.05/3611.61	c LP no farkas count 0
3600.05/3611.61	c LP other issue count 0
3600.05/3611.61	c LP Gomory cuts 0
3600.05/3611.61	c LP learned cuts 0
3600.05/3611.61	c LP deleted cuts 0
3600.05/3611.61	c LP encountered Gomory constraints 0
3600.05/3611.61	c LP encountered Farkas constraints 0
3600.05/3611.61	c LP encountered learned Farkas constraints 0
3600.05/3611.61	c CG auxiliary variables introduced 0
3600.05/3611.61	c CG solutions found 0
3600.05/3611.61	c CG cores constructed 0
3600.05/3611.61	c CG core cardinality constraints returned 0
3600.05/3611.61	c CG unit cores 0
3600.05/3611.61	c CG single cores 0
3600.05/3611.61	c CG blocks removed during cardinality reduction 0
3600.05/3611.61	c CG first core best 0
3600.05/3611.61	c CG decision core best 0
3600.05/3611.61	c CG core reduction tie 0
3600.05/3611.61	c CG core degree average 0.00
3600.05/3611.61	c CG core slack average 0.00
3600.05/3611.61	c CG core upper bound improvements 0
3600.05/3611.61	c STR number of successful calls 0
3600.05/3611.61	c STR number of unsuccessful calls 0
3600.05/3611.61	c STR number of inconclusive calls 0
3600.05/3611.61	c STR number of successful attempts 0
3600.05/3611.61	c STR number of unsuccessful attempts 0
3600.05/3611.61	c STR number of inconclusive attempts 0
3600.05/3611.61	c STR average degree increase per successful call inf
3600.05/3611.61	c STR average degree increase per successful attempt inf
3600.05/3611.61	c STR total number of conflicts for successful attempts 0
3600.05/3611.61	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.61	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.61	c STR average number of conflicts per successful attempt inf
3600.05/3611.61	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.61	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.61	c AVG.sumWPerc -nan 
3600.05/3611.61	c bigint constraints 0 
3600.05/3611.61	s UNKNOWN
3600.05/3611.61	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: 63794 MiB (50475 MiB free)
  memory of node 1: 64507 MiB (46697 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=104968, runsolver pid=104965

[startup+0.10011 s]*
/proc/loadavg: 4.48 4.19 4.06 5/262 104970
/proc/meminfo: memFree=99505352/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=69228 memory=19552 CPUtime=0.08 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 3741 0 0 0 7 1 0 0 20 0 1 0 80638557 70889472 4888 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 17307 4888 2272 1147 0 4734 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 73420 KiB
Current children cumulated memory: 22368 KiB

[startup+0.214617 s]*
/proc/loadavg: 4.48 4.19 4.06 5/262 104970
/proc/meminfo: memFree=99513128/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=71108 memory=21088 CPUtime=0.2 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 4100 0 0 0 13 7 0 0 20 0 1 0 80638557 72814592 5272 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 17777 5272 2304 1147 0 5204 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75300 KiB
Current children cumulated memory: 23904 KiB

[startup+0.314533 s]*
/proc/loadavg: 4.48 4.19 4.06 6/262 104970
/proc/meminfo: memFree=99513632/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=71256 memory=23432 CPUtime=0.3 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 4156 0 0 0 20 10 0 0 20 0 1 0 80638557 72966144 5858 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 17814 5858 2304 1147 0 5241 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75448 KiB
Current children cumulated memory: 26248 KiB

[startup+0.700401 s]
/proc/loadavg: 4.48 4.19 4.06 5/262 104970
/proc/meminfo: memFree=99505568/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=73080 memory=24712 CPUtime=0.67 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 4480 0 0 0 46 21 0 0 20 0 1 0 80638557 74833920 6178 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 18270 6178 2304 1147 0 5697 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 77272 KiB
Current children cumulated memory: 27528 KiB

[startup+1.5004 s]
/proc/loadavg: 4.45 4.18 4.06 5/262 104970
/proc/meminfo: memFree=99505568/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=80220 memory=29448 CPUtime=1.47 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 5686 0 0 0 105 42 0 0 20 0 1 0 80638557 82145280 7362 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 20055 7362 2304 1147 0 7482 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84412 KiB
Current children cumulated memory: 32264 KiB

[startup+3.11436 s]
/proc/loadavg: 4.45 4.18 4.06 5/261 104970
/proc/meminfo: memFree=99522512/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=100016 memory=45980 CPUtime=3.08 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 7753 0 0 0 229 79 0 0 20 0 1 0 80638557 102416384 11495 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 25004 11495 2304 1147 0 12431 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104208 KiB
Current children cumulated memory: 48796 KiB

[startup+6.30043 s]
/proc/loadavg: 4.41 4.18 4.06 5/261 104970
/proc/meminfo: memFree=99544444/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=157928 memory=89076 CPUtime=6.25 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 10877 0 0 0 507 118 0 0 20 0 1 0 80638557 161718272 22269 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 39482 22269 2304 1147 0 26909 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 162120 KiB
Current children cumulated memory: 91892 KiB

[startup+12.7004 s]
/proc/loadavg: 4.38 4.18 4.06 5/261 104970
/proc/meminfo: memFree=99602172/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=216036 memory=146216 CPUtime=12.63 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 13416 0 0 0 1139 124 0 0 20 0 1 0 80638557 221220864 36554 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 54009 36554 2304 1147 0 41436 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 220228 KiB
Current children cumulated memory: 149032 KiB

[startup+25.5004 s]
/proc/loadavg: 4.32 4.17 4.06 5/261 104970
/proc/meminfo: memFree=100467636/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=314500 memory=227020 CPUtime=25.37 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 18297 0 0 0 2401 136 0 0 20 0 1 0 80638557 322048000 56755 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 78625 56755 2304 1147 0 66052 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 318692 KiB
Current children cumulated memory: 229836 KiB

[startup+51.1143 s]
/proc/loadavg: 4.19 4.15 4.05 5/262 104972
/proc/meminfo: memFree=100146172/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=493424 memory=330884 CPUtime=50.9 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 29938 0 0 0 4929 161 0 0 20 0 1 0 80638557 505266176 82721 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 123356 82721 2304 1147 0 110783 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 497616 KiB
Current children cumulated memory: 333700 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.05 5/262 104973
/proc/meminfo: memFree=99291032/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=528592 memory=447484 CPUtime=101.93 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 38222 0 0 0 10005 188 0 0 20 0 1 0 80638557 541278208 111871 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 132148 111871 2304 1147 0 119575 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 532784 KiB
Current children cumulated memory: 450300 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.05 5/262 104975
/proc/meminfo: memFree=98348052/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=787428 memory=545596 CPUtime=161.73 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 48433 0 0 0 15955 218 0 0 20 0 1 0 80638557 806326272 136399 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 196857 136399 2304 1147 0 184284 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 791620 KiB
Current children cumulated memory: 548412 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.06 5/264 104979
/proc/meminfo: memFree=97492132/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=808028 memory=578832 CPUtime=221.52 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 53172 0 0 0 21916 236 0 0 20 0 1 0 80638557 827420672 144708 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 202007 144708 2304 1147 0 189434 0

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

/proc/104970/statm: 527306 453717 2304 1147 0 514733 0
Current children cumulated CPU time: 3032.61 s
Current children cumulated vsize: 2113416 KiB
Current children cumulated memory: 1817684 KiB

[startup+3102.3 s]
/proc/loadavg: 3.07 3.11 3.17 4/252 105226
/proc/meminfo: memFree=89033676/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2113708 memory=1818452 CPUtime=3092.4 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 246210 0 0 0 308276 964 0 0 20 0 1 0 80638557 2164436992 454613 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 528427 454613 2304 1147 0 515854 0
Current children cumulated CPU time: 3092.4 s
Current children cumulated vsize: 2117900 KiB
Current children cumulated memory: 1821268 KiB

[startup+3162.3 s]
/proc/loadavg: 3.07 3.10 3.16 4/256 105232
/proc/meminfo: memFree=88387500/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2119596 memory=1822932 CPUtime=3152.19 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 247425 0 0 0 314244 975 0 0 20 0 1 0 80638557 2170466304 455733 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 529899 455733 2304 1147 0 517326 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 2123788 KiB
Current children cumulated memory: 1825748 KiB

[startup+3222.3 s]
/proc/loadavg: 3.14 3.11 3.16 4/255 105234
/proc/meminfo: memFree=87923172/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2158128 memory=1864572 CPUtime=3211.98 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 254804 0 0 0 320209 989 0 0 20 0 1 0 80638557 2209923072 466143 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 539532 466143 2304 1147 0 526959 0
Current children cumulated CPU time: 3211.98 s
Current children cumulated vsize: 2162320 KiB
Current children cumulated memory: 1867388 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.11 3.15 4/256 105243
/proc/meminfo: memFree=87196472/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2167344 memory=1881788 CPUtime=3271.76 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 256560 0 0 0 326167 1009 0 0 20 0 1 0 80638557 2219360256 470447 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 541836 470447 2304 1147 0 529263 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 2171536 KiB
Current children cumulated memory: 1884604 KiB

[startup+3342.3 s]
/proc/loadavg: 2.51 2.95 3.09 3/250 105276
/proc/meminfo: memFree=111041312/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2192564 memory=1905596 CPUtime=3331.55 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 261226 0 0 0 332123 1032 0 0 20 0 1 0 80638557 2245185536 476399 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 548141 476399 2304 1147 0 535568 0
Current children cumulated CPU time: 3331.55 s
Current children cumulated vsize: 2196756 KiB
Current children cumulated memory: 1908412 KiB

[startup+3402.3 s]
/proc/loadavg: 2.29 2.80 3.03 3/250 105278
/proc/meminfo: memFree=110804188/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2222136 memory=1949116 CPUtime=3391.35 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 266745 0 0 0 338088 1047 0 0 20 0 1 0 80638557 2275467264 487279 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 555534 487279 2304 1147 0 542961 0
Current children cumulated CPU time: 3391.35 s
Current children cumulated vsize: 2226328 KiB
Current children cumulated memory: 1951932 KiB

[startup+3462.3 s]
/proc/loadavg: 2.16 2.67 2.97 3/248 105280
/proc/meminfo: memFree=110505928/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2239032 memory=2027116 CPUtime=3451.17 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 269776 0 0 0 344057 1060 0 0 20 0 1 0 80638557 2292768768 506779 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 559758 506779 2304 1147 0 547185 0
Current children cumulated CPU time: 3451.17 s
Current children cumulated vsize: 2243224 KiB
Current children cumulated memory: 2029932 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.56 2.91 3/246 105282
/proc/meminfo: memFree=110325632/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2246840 memory=2094204 CPUtime=3511 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 271240 0 0 0 350025 1075 0 0 20 0 1 0 80638557 2300764160 523551 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 561710 523551 2304 1147 0 549137 0
Current children cumulated CPU time: 3511 s
Current children cumulated vsize: 2251032 KiB
Current children cumulated memory: 2097020 KiB

[startup+3582.3 s]
/proc/loadavg: 2.09 2.47 2.86 3/246 105284
/proc/meminfo: memFree=110165312/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2250424 memory=2119292 CPUtime=3570.84 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 271860 0 0 0 355989 1095 0 0 20 0 1 0 80638557 2304434176 529823 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 562606 529823 2304 1147 0 550033 0
Current children cumulated CPU time: 3570.84 s
Current children cumulated vsize: 2254616 KiB
Current children cumulated memory: 2122108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 2.14 2.45 2.84 3/246 105285
/proc/meminfo: memFree=110117608/131382116 swapFree=33010684/33010684
[pid=104968] ppid=104965 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/104968/stat : 104968 (run-opt-log.sh) S 104965 104968 104094 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80638556 4292608 704 18446744073709551615 94837632131072 94837633025605 140733394504144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94837633264656 94837633312400 94837658738688 140733394508063 140733394508258 140733394508258 140733394513862 0
/proc/104968/statm: 1048 704 672 219 0 110 0
[pid=104970] ppid=104968 vsize=2253112 memory=2133372 CPUtime=3600.05 cores=5,7
/proc/104970/stat : 104970 (roundingsat) R 104968 104968 104094 0 -1 4194304 272265 0 0 0 358903 1102 0 0 20 0 1 0 80638557 2307186688 533343 18446744073709551615 4227072 8923433 140732112844576 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11436032 140732112849232 140732112849446 140732112849446 140732112855018 0
/proc/104970/statm: 563278 533343 2304 1147 0 550705 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2257304 KiB
Current children cumulated memory: 2136188 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001849 s, system=0.003541 s

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

# cumulated CPU time of all completed processes:  user=3589.06 s, system=11.0455 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): 3611.66
CPU time (s): 3600.1
CPU user time (s): 3589.06
CPU system time (s): 11.0455
CPU usage (%): 99.68
Max. virtual memory (cumulated for all children) (KiB): 2257304
Max. memory (cumulated for all children) (KiB): 2136188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.06
system time used= 11.0455
maximum resident set size= 2133884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10553840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 785
involuntary context switches= 23744


# summary of solver processes directly reported to runsolver:
#   pid: 104968,104970
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3589.06
#   total CPU system time (s): 11.0455

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2692 second user time and 38.5287 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-04 19:19:48
IDJOB=4523333
IDBENCH=180110
IDSOLVER=3351
FILE ID=nodeC011/4523333-1751649588
RUNJOBID= nodeC011-1751646221-104527
SLURM_JOB_ID= 9672316
Free space on /tmp= 430312 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_410_001.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523333-1751649588/watcher-4523333-1751649588 -o /tmp/evaluation-result-4523333-1751649588/solver-4523333-1751649588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751646221-104527 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523333-1751649588.opb PROOFDIR/proof-4523333-1751649588

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

MD5SUM BENCH= 5497ad1e3ba537ab514ea8a0bae011ec
RANDOM SEED=573065553

nodeC011 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		: 3661.109
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	: 6984.20
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		: 3492.105
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	: 6984.20
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.975
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	: 6984.20
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.484
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	: 6984.20
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		: 3661.157
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	: 6984.20
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		: 3700.000
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	: 6984.20
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		: 3700.000
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	: 6984.20
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.294
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        99505352 kB
MemAvailable:   115102944 kB
Buffers:            3276 kB
Cached:         16367988 kB
SwapCached:            0 kB
Active:         13920184 kB
Inactive:       15926092 kB
Active(anon):   13490896 kB
Inactive(anon):     2104 kB
Active(file):     429288 kB
Inactive(file): 15923988 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             65604 kB
Writeback:             4 kB
AnonPages:      13477096 kB
Mapped:           118340 kB
Shmem:             17960 kB
KReclaimable:     167500 kB
Slab:             258040 kB
SReclaimable:     167500 kB
SUnreclaim:        90540 kB
KernelStack:        4208 kB
PageTables:        30644 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   16045156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6346752 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:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430332 MiB
End job on nodeC011 at 2025-07-04 20:20:00