Trace number 4504388

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) 3601 3611.29

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
MD5SUMf52c25e5aa8e0a6173f9b1fa92936824
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3486983
Best CPU time to get the best result obtained on this benchmark70102.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129800
Biggest coefficient in the objective function 170953875
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 73955175696
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 170953875
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 73955175696
Number of bits of the biggest sum of numbers37
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
2.55/2.68	c #variables 250200 #constraints 610311
2.55/2.68	c objective is ce32 
3.15/3.27	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
3.15/3.27	c initial counting CF 32, 64, 128, Arb: 121326 , 0 , 0 , 0
3.15/3.27	c GLOBAL bounds - >= -50 @ 2.37329
3.45/3.55	c GLOBAL bounds - >= -50 @ 2.50973
3.64/3.79	c GLOBAL bounds - >= -50 @ 2.67457
3.95/4.09	c GLOBAL bounds - >= -50 @ 2.90107
4.25/4.33	c GLOBAL bounds - >= -50 @ 3.06872
4.44/4.55	c GLOBAL bounds - >= -50 @ 3.21542
4.74/4.83	c GLOBAL bounds - >= -50 @ 3.4149
4.95/5.07	c GLOBAL bounds - >= -50 @ 3.58253
5.14/5.29	c GLOBAL bounds - >= -50 @ 3.73045
5.44/5.51	c GLOBAL bounds - >= -50 @ 3.88508
5.74/5.83	c GLOBAL bounds - >= -50 @ 4.11611
6.34/6.41	c GLOBAL bounds - >= -50 @ 4.62392
6.54/6.68	c GLOBAL bounds - >= -50 @ 4.83084
6.84/6.96	c GLOBAL bounds - >= -50 @ 5.04646
7.24/7.34	c GLOBAL bounds - >= -50 @ 5.34272
7.53/7.63	c GLOBAL bounds - >= -50 @ 5.55096
7.73/7.89	c GLOBAL bounds - >= -50 @ 5.73584
8.04/8.15	c GLOBAL bounds - >= -50 @ 5.927
8.34/8.48	c GLOBAL bounds - >= -50 @ 6.16166
8.73/8.84	c GLOBAL bounds - >= -50 @ 6.43584
9.43/9.51	c GLOBAL bounds - >= -50 @ 7.02188
12.72/12.81	c GLOBAL bounds - >= -50 @ 10.1819
13.02/13.19	c GLOBAL bounds - >= -50 @ 10.486
13.32/13.49	c GLOBAL bounds - >= -50 @ 10.7076
13.72/13.88	c GLOBAL bounds - >= -50 @ 11.0149
14.51/14.68	c GLOBAL bounds - >= -50 @ 11.7199
14.92/15.09	c GLOBAL bounds - >= -50 @ 12.0293
15.31/15.40	c GLOBAL bounds - >= -50 @ 12.2489
15.61/15.70	c GLOBAL bounds - >= -50 @ 12.468
15.92/16.07	c GLOBAL bounds - >= -50 @ 12.7379
16.31/16.44	c GLOBAL bounds - >= -50 @ 13.0215
17.02/17.14	c GLOBAL bounds - >= -50 @ 13.5686
18.61/18.77	c GLOBAL bounds - >= -50 @ 15.0395
20.20/20.33	c GLOBAL bounds - >= -50 @ 16.4455
21.00/21.11	c GLOBAL bounds - >= -50 @ 17.072
21.79/21.91	c GLOBAL bounds - >= -50 @ 17.7175
22.20/22.38	c GLOBAL bounds - >= 34795 @ 18.1778
24.58/24.79	c GLOBAL bounds - >= 34795 @ 20.4717
24.69/24.83	c GLOBAL bounds - >= 34795 @ 20.4906
24.99/25.14	c GLOBAL bounds - >= 34795 @ 20.6436
25.09/25.24	c GLOBAL bounds - >= 34795 @ 20.7033
25.39/25.59	c GLOBAL bounds - >= 34795 @ 20.8998
25.49/25.70	c GLOBAL bounds - >= 34795 @ 20.9546
25.89/26.04	c GLOBAL bounds - >= 34795 @ 21.137
25.99/26.15	c GLOBAL bounds - >= 34795 @ 21.2099
26.28/26.48	c GLOBAL bounds - >= 34795 @ 21.3964
26.38/26.59	c GLOBAL bounds - >= 34795 @ 21.4734
26.69/26.88	c GLOBAL bounds - >= 34795 @ 21.6362
26.78/26.98	c GLOBAL bounds - >= 34795 @ 21.6998
27.08/27.26	c GLOBAL bounds - >= 34795 @ 21.8549
27.18/27.37	c GLOBAL bounds - >= 34795 @ 21.9261
27.48/27.62	c GLOBAL bounds - >= 34795 @ 22.0555
27.58/27.72	c GLOBAL bounds - >= 34795 @ 22.1201
27.88/28.01	c GLOBAL bounds - >= 34795 @ 22.2818
27.98/28.12	c GLOBAL bounds - >= 34795 @ 22.3574
28.28/28.41	c GLOBAL bounds - >= 34795 @ 22.5376
28.38/28.52	c GLOBAL bounds - >= 34795 @ 22.6074
28.57/28.74	c GLOBAL bounds - >= 34795 @ 22.7387
28.77/28.97	c GLOBAL bounds - >= 34795 @ 22.8599
28.97/29.18	c GLOBAL bounds - >= 34795 @ 22.9895
29.27/29.40	c GLOBAL bounds - >= 34795 @ 23.1207
29.47/29.63	c GLOBAL bounds - >= 34795 @ 23.2399
29.68/29.85	c GLOBAL bounds - >= 34795 @ 23.3724
29.97/30.17	c GLOBAL bounds - >= 34795 @ 23.597
30.27/30.47	c GLOBAL bounds - >= 34795 @ 23.7996
30.67/30.80	c GLOBAL bounds - >= 34795 @ 24.0018
30.97/31.13	c GLOBAL bounds - >= 34795 @ 24.1984
31.37/31.57	c GLOBAL bounds - >= 34795 @ 24.5141
32.26/32.40	c GLOBAL bounds - >= 34795 @ 25.1861
32.97/33.12	c GLOBAL bounds - >= 34795 @ 25.7579
36.05/36.26	c GLOBAL bounds - >= 34795 @ 28.7135
36.45/36.66	c GLOBAL bounds - >= 34795 @ 28.9638
102.36/102.72	c GLOBAL bounds - >= 57693 @ 94.2854
102.57/102.90	c GLOBAL bounds - >= 57693 @ 94.4627
102.77/103.13	c GLOBAL bounds - >= 57693 @ 94.6039
102.77/103.14	c GLOBAL bounds - >= 57693 @ 94.608
102.97/103.33	c GLOBAL bounds - >= 57693 @ 94.6939
102.97/103.34	c GLOBAL bounds - >= 57693 @ 94.6987
103.16/103.57	c GLOBAL bounds - >= 57693 @ 94.8204
103.26/103.67	c GLOBAL bounds - >= 57693 @ 94.8899
103.56/103.90	c GLOBAL bounds - >= 57693 @ 95.0107
103.66/104.01	c GLOBAL bounds - >= 57693 @ 95.0881
103.86/104.24	c GLOBAL bounds - >= 57693 @ 95.2198
103.96/104.35	c GLOBAL bounds - >= 57693 @ 95.2922
104.16/104.57	c GLOBAL bounds - >= 57693 @ 95.4218
104.26/104.67	c GLOBAL bounds - >= 57693 @ 95.4812
104.46/104.89	c GLOBAL bounds - >= 57693 @ 95.6002
104.56/104.98	c GLOBAL bounds - >= 57693 @ 95.6459
104.85/105.20	c GLOBAL bounds - >= 57693 @ 95.7606
104.95/105.31	c GLOBAL bounds - >= 57693 @ 95.8286
105.16/105.53	c GLOBAL bounds - >= 57693 @ 95.955
105.25/105.64	c GLOBAL bounds - >= 57693 @ 96.024
105.45/105.86	c GLOBAL bounds - >= 57693 @ 96.1376
105.75/106.11	c GLOBAL bounds - >= 57693 @ 96.304
105.95/106.36	c GLOBAL bounds - >= 57693 @ 96.4708
106.66/107.01	c GLOBAL bounds - >= 57693 @ 97.0418
107.44/107.83	c GLOBAL bounds - >= 57693 @ 97.7786
109.35/109.73	c GLOBAL bounds - >= 57693 @ 99.5337
113.23/113.61	c #Conflicts:       1000 | #Constraints:    2100551
113.23/113.61	c GLOBAL bounds - >= 57693 @ 103.145
113.43/113.89	c GLOBAL bounds - >= 57693 @ 103.339
117.52/117.90	c GLOBAL bounds - >= 57693 @ 107.156
117.92/118.30	c GLOBAL bounds - >= 57693 @ 107.468
120.41/120.87	c GLOBAL bounds - >= 57693 @ 109.925
125.29/125.74	c GLOBAL bounds - >= 57693 @ 114.612
134.97/135.44	c GLOBAL bounds - >= 57693 @ 124.116
135.57/136.05	c GLOBAL bounds - >= 57693 @ 124.633
162.09/162.66	c GLOBAL bounds - >= 57693 @ 150.81
222.89/223.69	c #Conflicts:       2000 | #Constraints:    2195136
222.89/223.69	c INPROCESSING
222.89/223.69	c GARBAGE COLLECT
222.89/223.69	c GLOBAL bounds - >= 94901 @ 211.36
223.20/223.95	c GLOBAL bounds - >= 94901 @ 211.588
223.49/224.24	c GLOBAL bounds - >= 94901 @ 211.736
223.59/224.33	c GLOBAL bounds - >= 94901 @ 211.794
223.80/224.59	c GLOBAL bounds - >= 94901 @ 211.946
223.90/224.61	c GLOBAL bounds - >= 94901 @ 211.96
224.09/224.86	c GLOBAL bounds - >= 94901 @ 212.101
224.19/224.96	c GLOBAL bounds - >= 94901 @ 212.158
224.40/225.19	c GLOBAL bounds - >= 94901 @ 212.278
224.49/225.28	c GLOBAL bounds - >= 94901 @ 212.336
224.79/225.51	c GLOBAL bounds - >= 94901 @ 212.469
224.89/225.61	c GLOBAL bounds - >= 94901 @ 212.533
225.09/225.84	c GLOBAL bounds - >= 94901 @ 212.667
225.20/225.94	c GLOBAL bounds - >= 94901 @ 212.733
225.40/226.16	c GLOBAL bounds - >= 94901 @ 212.865
225.49/226.27	c GLOBAL bounds - >= 94901 @ 212.937
225.69/226.45	c GLOBAL bounds - >= 94901 @ 213.026
225.79/226.55	c GLOBAL bounds - >= 94901 @ 213.089
225.99/226.78	c GLOBAL bounds - >= 94901 @ 213.228
226.09/226.88	c GLOBAL bounds - >= 94901 @ 213.288
226.39/227.10	c GLOBAL bounds - >= 94901 @ 213.417
226.78/227.53	c GLOBAL bounds - >= 94901 @ 213.766
227.08/227.89	c GLOBAL bounds - >= 94901 @ 214.04
227.78/228.56	c GLOBAL bounds - >= 94901 @ 214.623
228.28/229.01	c GLOBAL bounds - >= 94901 @ 214.998
228.78/229.53	c GLOBAL bounds - >= 94901 @ 215.444
230.38/231.18	c GLOBAL bounds - >= 94901 @ 217.003
235.26/236.08	c GLOBAL bounds - >= 94901 @ 221.794
236.36/237.17	c GLOBAL bounds - >= 94901 @ 222.801
236.95/237.74	c GLOBAL bounds - >= 94901 @ 223.287
240.65/241.47	c GLOBAL bounds - >= 94901 @ 226.926
241.35/242.19	c GLOBAL bounds - >= 94901 @ 227.557
243.83/244.64	c GLOBAL bounds - >= 94901 @ 229.917
244.43/245.25	c GLOBAL bounds - >= 94901 @ 230.453
244.93/245.74	c GLOBAL bounds - >= 94901 @ 230.854
246.92/247.73	c GLOBAL bounds - >= 94901 @ 232.741
247.52/248.34	c GLOBAL bounds - >= 94901 @ 233.273
248.23/249.07	c GLOBAL bounds - >= 94901 @ 233.915
248.82/249.65	c GLOBAL bounds - >= 94901 @ 234.417
249.92/250.75	c GLOBAL bounds - >= 94901 @ 235.411
251.32/252.16	c GLOBAL bounds - >= 94901 @ 236.751
254.01/254.88	c GLOBAL bounds - >= 94901 @ 239.355
254.60/255.46	c GLOBAL bounds - >= 94901 @ 239.836
255.60/256.46	c GLOBAL bounds - >= 94901 @ 240.744
256.49/257.35	c GLOBAL bounds - >= 94901 @ 241.542
257.00/257.86	c GLOBAL bounds - >= 94901 @ 241.964
269.96/270.86	c GLOBAL bounds - >= 94901 @ 254.819
308.24/309.26	c #Conflicts:       3000 | #Constraints:    2454218
308.24/309.26	c GLOBAL bounds - >= 94901 @ 292.508
311.23/312.28	c GLOBAL bounds - >= 94901 @ 295.344
373.73/374.98	c GLOBAL bounds - >= 105590 @ 357.321
374.04/375.25	c GLOBAL bounds - >= 105590 @ 357.557
374.04/375.26	c GLOBAL bounds - >= 105590 @ 357.57
374.44/375.68	c GLOBAL bounds - >= 105590 @ 357.843
374.53/375.77	c GLOBAL bounds - >= 105590 @ 357.902
377.03/378.21	c GLOBAL bounds - >= 105590 @ 360.179
377.13/378.30	c GLOBAL bounds - >= 105590 @ 360.235
377.43/378.60	c GLOBAL bounds - >= 105590 @ 360.396
377.52/378.70	c GLOBAL bounds - >= 105590 @ 360.467
377.83/379.04	c GLOBAL bounds - >= 105590 @ 360.669
377.93/379.14	c GLOBAL bounds - >= 105590 @ 360.736
378.22/379.46	c GLOBAL bounds - >= 105590 @ 360.938
378.32/379.55	c GLOBAL bounds - >= 105590 @ 361
378.73/379.93	c GLOBAL bounds - >= 105590 @ 361.248
378.83/380.04	c GLOBAL bounds - >= 105590 @ 361.315
379.12/380.36	c GLOBAL bounds - >= 105590 @ 361.514
379.23/380.46	c GLOBAL bounds - >= 105590 @ 361.575
379.43/380.69	c GLOBAL bounds - >= 105590 @ 361.702
379.52/380.79	c GLOBAL bounds - >= 105590 @ 361.763
379.82/381.02	c GLOBAL bounds - >= 105590 @ 361.902
379.93/381.13	c GLOBAL bounds - >= 105590 @ 361.98
380.12/381.35	c GLOBAL bounds - >= 105590 @ 362.115
380.52/381.78	c GLOBAL bounds - >= 105590 @ 362.446
381.32/382.50	c GLOBAL bounds - >= 105590 @ 363.073
381.61/382.85	c GLOBAL bounds - >= 105590 @ 363.335
381.92/383.15	c GLOBAL bounds - >= 105590 @ 363.547
382.31/383.55	c GLOBAL bounds - >= 105590 @ 363.835
382.91/384.19	c GLOBAL bounds - >= 105590 @ 364.371
385.40/386.64	c GLOBAL bounds - >= 105590 @ 366.691
401.45/402.71	c GLOBAL bounds - >= 105590 @ 382.483
417.90/419.25	c #Conflicts:       4000 | #Constraints:    3209797
417.90/419.25	c GLOBAL bounds - >= 105590 @ 398.756
421.39/422.77	c GLOBAL bounds - >= 105590 @ 402.123
425.57/426.97	c GLOBAL bounds - >= 105590 @ 406.158
426.47/427.87	c GLOBAL bounds - >= 105590 @ 406.944
461.07/462.51	c INPROCESSING
461.07/462.51	c GARBAGE COLLECT
461.07/462.51	c GLOBAL bounds - >= 105590 @ 441.31
461.56/463.01	c GLOBAL bounds - >= 105590 @ 441.694
464.56/466.08	c GLOBAL bounds - >= 105590 @ 444.628
465.45/466.92	c GLOBAL bounds - >= 105590 @ 445.353
466.06/467.54	c GLOBAL bounds - >= 105590 @ 445.87
467.15/468.66	c GLOBAL bounds - >= 105590 @ 446.859
470.34/471.80	c GLOBAL bounds - >= 105590 @ 449.881
470.73/472.26	c GLOBAL bounds - >= 105590 @ 450.209
570.73/572.54	c #Conflicts:       5000 | #Constraints:    3897358
570.73/572.54	c GLOBAL bounds - >= 142312 @ 550.087
571.13/572.91	c GLOBAL bounds - >= 142312 @ 550.424
571.52/573.33	c GLOBAL bounds - >= 142312 @ 550.701
571.63/573.42	c GLOBAL bounds - >= 142312 @ 550.76
577.81/579.62	c GLOBAL bounds - >= 142312 @ 556.786
577.90/579.70	c GLOBAL bounds - >= 142312 @ 556.846
578.21/580.03	c GLOBAL bounds - >= 142312 @ 557.056
578.31/580.14	c GLOBAL bounds - >= 142312 @ 557.126
578.60/580.46	c GLOBAL bounds - >= 142312 @ 557.328
578.70/580.57	c GLOBAL bounds - >= 142312 @ 557.394
579.00/580.84	c GLOBAL bounds - >= 142312 @ 557.555
579.10/580.95	c GLOBAL bounds - >= 142312 @ 557.611
579.40/581.27	c GLOBAL bounds - >= 142312 @ 557.811
579.50/581.38	c GLOBAL bounds - >= 142312 @ 557.876
579.90/581.71	c GLOBAL bounds - >= 142312 @ 558.087
580.00/581.81	c GLOBAL bounds - >= 142312 @ 558.156
580.30/582.16	c GLOBAL bounds - >= 142312 @ 558.368
580.40/582.20	c GLOBAL bounds - >= 142312 @ 558.392
580.60/582.49	c GLOBAL bounds - >= 142312 @ 558.549
580.70/582.53	c GLOBAL bounds - >= 142312 @ 558.573
581.00/582.85	c GLOBAL bounds - >= 142312 @ 558.774
581.89/583.72	c GLOBAL bounds - >= 142312 @ 559.531
583.39/585.22	c GLOBAL bounds - >= 142312 @ 560.892
584.08/585.92	c GLOBAL bounds - >= 142312 @ 561.5
588.37/590.22	c GLOBAL bounds - >= 142312 @ 565.674
591.17/593.01	c GLOBAL bounds - >= 142312 @ 568.373
595.15/597.10	c GLOBAL bounds - >= 142312 @ 572.356
595.55/597.47	c GLOBAL bounds - >= 142312 @ 572.627
601.04/602.97	c GLOBAL bounds - >= 142312 @ 578.014
601.73/603.66	c GLOBAL bounds - >= 142312 @ 578.593
602.42/604.39	c GLOBAL bounds - >= 142312 @ 579.216
610.30/612.24	c GLOBAL bounds - >= 142312 @ 586.943
611.30/613.28	c GLOBAL bounds - >= 142312 @ 587.856
623.36/625.34	c GLOBAL bounds - >= 142312 @ 599.757
796.13/798.60	c #Conflicts:       6000 | #Constraints:    4770413
796.13/798.60	c INPROCESSING
796.13/798.60	c GARBAGE COLLECT
796.13/798.60	c #Conflicts:       7000 | #Constraints:    4769397
796.13/798.60	c GLOBAL bounds - >= 171459 @ 771.732
796.53/799.04	c GLOBAL bounds - >= 171459 @ 772.14
805.39/807.91	c GLOBAL bounds - >= 171459 @ 780.845
805.50/808.02	c GLOBAL bounds - >= 171459 @ 780.921
805.80/808.33	c GLOBAL bounds - >= 171459 @ 781.118
805.89/808.44	c GLOBAL bounds - >= 171459 @ 781.186
806.10/808.68	c GLOBAL bounds - >= 171459 @ 781.337
806.20/808.79	c GLOBAL bounds - >= 171459 @ 781.407
806.50/809.01	c GLOBAL bounds - >= 171459 @ 781.53
806.59/809.11	c GLOBAL bounds - >= 171459 @ 781.589
806.79/809.33	c GLOBAL bounds - >= 171459 @ 781.715
806.89/809.43	c GLOBAL bounds - >= 171459 @ 781.774
807.09/809.65	c GLOBAL bounds - >= 171459 @ 781.905
807.19/809.76	c GLOBAL bounds - >= 171459 @ 781.969
807.39/809.98	c GLOBAL bounds - >= 171459 @ 782.091
807.49/810.08	c GLOBAL bounds - >= 171459 @ 782.16
807.79/810.30	c GLOBAL bounds - >= 171459 @ 782.294
807.89/810.40	c GLOBAL bounds - >= 171459 @ 782.363
808.09/810.62	c GLOBAL bounds - >= 171459 @ 782.476
808.19/810.73	c GLOBAL bounds - >= 171459 @ 782.545
808.38/810.95	c GLOBAL bounds - >= 171459 @ 782.674
808.69/811.28	c GLOBAL bounds - >= 171459 @ 782.913
808.99/811.54	c GLOBAL bounds - >= 171459 @ 783.101
809.29/811.81	c GLOBAL bounds - >= 171459 @ 783.276
809.59/812.18	c GLOBAL bounds - >= 171459 @ 783.531
810.98/813.53	c GLOBAL bounds - >= 171459 @ 784.783
811.48/814.09	c GLOBAL bounds - >= 171459 @ 785.237
811.98/814.59	c GLOBAL bounds - >= 171459 @ 785.638
813.48/816.01	c GLOBAL bounds - >= 171459 @ 786.942
817.36/819.94	c GLOBAL bounds - >= 171459 @ 790.742
818.16/820.74	c GLOBAL bounds - >= 171459 @ 791.442
819.35/821.99	c GLOBAL bounds - >= 171459 @ 792.583
827.83/830.48	c GLOBAL bounds - >= 171459 @ 800.941
945.96/948.99	c #Conflicts:       8000 | #Constraints:    5239992
945.96/948.99	c GLOBAL bounds - >= 198289 @ 918.909
946.36/949.37	c GLOBAL bounds - >= 198289 @ 919.249
946.46/949.47	c GLOBAL bounds - >= 198289 @ 919.317
946.56/949.58	c GLOBAL bounds - >= 198289 @ 919.382
946.65/949.68	c GLOBAL bounds - >= 198289 @ 919.443
946.76/949.78	c GLOBAL bounds - >= 198289 @ 919.505
946.86/949.89	c GLOBAL bounds - >= 198289 @ 919.579
946.95/949.99	c GLOBAL bounds - >= 198289 @ 919.643
947.06/950.09	c GLOBAL bounds - >= 198289 @ 919.712
950.65/953.65	c GLOBAL bounds - >= 198289 @ 923.098
950.74/953.75	c GLOBAL bounds - >= 198289 @ 923.165
951.05/954.08	c GLOBAL bounds - >= 198289 @ 923.371
951.15/954.19	c GLOBAL bounds - >= 198289 @ 923.443
951.54/954.51	c GLOBAL bounds - >= 198289 @ 923.635
951.64/954.61	c GLOBAL bounds - >= 198289 @ 923.716
951.84/954.84	c GLOBAL bounds - >= 198289 @ 923.855
951.94/954.93	c GLOBAL bounds - >= 198289 @ 923.912
952.14/955.15	c GLOBAL bounds - >= 198289 @ 924.045
952.24/955.25	c GLOBAL bounds - >= 198289 @ 924.106
952.43/955.47	c GLOBAL bounds - >= 198289 @ 924.237
952.54/955.57	c GLOBAL bounds - >= 198289 @ 924.306
952.74/955.78	c GLOBAL bounds - >= 198289 @ 924.427
952.84/955.89	c GLOBAL bounds - >= 198289 @ 924.498
953.14/956.11	c GLOBAL bounds - >= 198289 @ 924.629
953.24/956.21	c GLOBAL bounds - >= 198289 @ 924.698
953.33/956.39	c GLOBAL bounds - >= 198289 @ 924.788
953.44/956.49	c GLOBAL bounds - >= 198289 @ 924.859
953.73/956.71	c GLOBAL bounds - >= 198289 @ 924.983
953.93/956.96	c GLOBAL bounds - >= 198289 @ 925.153
954.14/957.17	c GLOBAL bounds - >= 198289 @ 925.287
954.43/957.43	c GLOBAL bounds - >= 198289 @ 925.462
954.63/957.68	c GLOBAL bounds - >= 198289 @ 925.638
954.93/957.94	c GLOBAL bounds - >= 198289 @ 925.81
955.23/958.26	c GLOBAL bounds - >= 198289 @ 926.063
955.53/958.53	c GLOBAL bounds - >= 198289 @ 926.251
956.72/959.76	c GLOBAL bounds - >= 198289 @ 927.379
957.43/960.42	c GLOBAL bounds - >= 198289 @ 927.937
957.73/960.73	c GLOBAL bounds - >= 198289 @ 928.144
958.42/961.43	c GLOBAL bounds - >= 198289 @ 928.753
962.02/965.05	c GLOBAL bounds - >= 198289 @ 932.254
965.90/968.94	c GLOBAL bounds - >= 198289 @ 936.029
966.39/969.46	c GLOBAL bounds - >= 198289 @ 936.446
971.37/974.48	c GLOBAL bounds - >= 198289 @ 941.336
973.37/976.47	c GLOBAL bounds - >= 198289 @ 943.194
977.06/980.16	c GLOBAL bounds - >= 198289 @ 946.76
984.24/987.37	c GLOBAL bounds - >= 198289 @ 953.76
985.43/988.51	c GLOBAL bounds - >= 198289 @ 954.735
986.83/989.95	c GLOBAL bounds - >= 198289 @ 956.028
1020.63/1023.82	c GLOBAL bounds - >= 198289 @ 989.355
1035.88/1039.17	c #Conflicts:       9000 | #Constraints:    5879912
1035.88/1039.17	c GLOBAL bounds - >= 198289 @ 1004.41
1038.88/1042.19	c GLOBAL bounds - >= 198289 @ 1007.27
1120.01/1123.58	c INPROCESSING
1120.01/1123.58	c GARBAGE COLLECT
1120.01/1123.58	c GLOBAL bounds - >= 199029 @ 1088.12
1120.21/1123.73	c GLOBAL bounds - >= 199029 @ 1088.25
1120.51/1124.09	c GLOBAL bounds - >= 199029 @ 1088.48
1120.61/1124.14	c GLOBAL bounds - >= 199029 @ 1088.51
1120.91/1124.43	c GLOBAL bounds - >= 199029 @ 1088.69
1121.01/1124.54	c GLOBAL bounds - >= 199029 @ 1088.76
1121.31/1124.83	c GLOBAL bounds - >= 199029 @ 1088.92
1121.40/1124.94	c GLOBAL bounds - >= 199029 @ 1088.99
1121.71/1125.21	c GLOBAL bounds - >= 199029 @ 1089.15
1121.81/1125.32	c GLOBAL bounds - >= 199029 @ 1089.22
1122.11/1125.60	c GLOBAL bounds - >= 199029 @ 1089.38
1122.20/1125.70	c GLOBAL bounds - >= 199029 @ 1089.44
1122.41/1125.97	c GLOBAL bounds - >= 199029 @ 1089.59
1122.51/1126.07	c GLOBAL bounds - >= 199029 @ 1089.66
1122.81/1126.33	c GLOBAL bounds - >= 199029 @ 1089.81
1122.91/1126.43	c GLOBAL bounds - >= 199029 @ 1089.88
1123.10/1126.65	c GLOBAL bounds - >= 199029 @ 1089.99
1123.20/1126.76	c GLOBAL bounds - >= 199029 @ 1090.05
1123.50/1127.01	c GLOBAL bounds - >= 199029 @ 1090.21
1123.61/1127.12	c GLOBAL bounds - >= 199029 @ 1090.28
1123.80/1127.38	c GLOBAL bounds - >= 199029 @ 1090.42
1124.10/1127.63	c GLOBAL bounds - >= 199029 @ 1090.57
1124.30/1127.89	c GLOBAL bounds - >= 199029 @ 1090.71
1125.30/1128.81	c GLOBAL bounds - >= 199029 @ 1091.52
1125.60/1129.11	c GLOBAL bounds - >= 199029 @ 1091.72
1125.99/1129.55	c GLOBAL bounds - >= 199029 @ 1092.06
1126.40/1129.91	c GLOBAL bounds - >= 199029 @ 1092.31
1127.00/1130.55	c GLOBAL bounds - >= 199029 @ 1092.83
1127.69/1131.21	c GLOBAL bounds - >= 199029 @ 1093.4
1130.18/1133.71	c GLOBAL bounds - >= 199029 @ 1095.79
1130.48/1134.04	c GLOBAL bounds - >= 199029 @ 1096.04
1130.98/1134.51	c GLOBAL bounds - >= 199029 @ 1096.41
1131.28/1134.90	c GLOBAL bounds - >= 199029 @ 1096.7
1131.68/1135.23	c GLOBAL bounds - >= 199029 @ 1096.95
1132.08/1135.64	c GLOBAL bounds - >= 199029 @ 1097.26
1132.48/1136.07	c GLOBAL bounds - >= 199029 @ 1097.6
1133.08/1136.65	c GLOBAL bounds - >= 199029 @ 1098.1
1136.57/1140.18	c GLOBAL bounds - >= 199029 @ 1101.51
1137.06/1140.63	c GLOBAL bounds - >= 199029 @ 1101.87
1137.56/1141.13	c GLOBAL bounds - >= 199029 @ 1102.28
1152.61/1156.20	c GLOBAL bounds - >= 199029 @ 1117.19
1175.84/1179.59	c #Conflicts:      10000 | #Constraints:    6398115
1175.84/1179.59	c GLOBAL bounds - >= 199029 @ 1140.37
1301.26/1305.32	c #Conflicts:      11000 | #Constraints:    6440772
1301.26/1305.32	c GLOBAL bounds - >= 199029 @ 1265.46
1302.15/1306.24	c GLOBAL bounds - >= 199029 @ 1266.27
1570.54/1575.34	c #Conflicts:      12000 | #Constraints:    6527946
1570.54/1575.34	c INPROCESSING
1570.54/1575.34	c GARBAGE COLLECT
1570.54/1575.34	c #Conflicts:      13000 | #Constraints:    6526370
1570.54/1575.34	c GLOBAL bounds - >= 240421 @ 1534.2
1571.25/1576.08	c GLOBAL bounds - >= 240421 @ 1534.89
1571.34/1576.19	c GLOBAL bounds - >= 240421 @ 1534.96
1571.44/1576.29	c GLOBAL bounds - >= 240421 @ 1535.02
1571.54/1576.39	c GLOBAL bounds - >= 240421 @ 1535.1
1571.64/1576.49	c GLOBAL bounds - >= 240421 @ 1535.17
1571.84/1576.60	c GLOBAL bounds - >= 240421 @ 1535.24
1571.95/1576.70	c GLOBAL bounds - >= 240421 @ 1535.3
1576.42/1581.28	c GLOBAL bounds - >= 240421 @ 1539.75
1576.53/1581.39	c GLOBAL bounds - >= 240421 @ 1539.82
1576.83/1581.69	c GLOBAL bounds - >= 240421 @ 1540.03
1577.03/1581.80	c GLOBAL bounds - >= 240421 @ 1540.1
1577.23/1582.09	c GLOBAL bounds - >= 240421 @ 1540.27
1577.34/1582.19	c GLOBAL bounds - >= 240421 @ 1540.35
1577.63/1582.46	c GLOBAL bounds - >= 240421 @ 1540.5
1577.73/1582.57	c GLOBAL bounds - >= 240421 @ 1540.56
1578.02/1582.83	c GLOBAL bounds - >= 240421 @ 1540.72
1578.13/1582.93	c GLOBAL bounds - >= 240421 @ 1540.79
1578.33/1583.16	c GLOBAL bounds - >= 240421 @ 1540.91
1578.42/1583.26	c GLOBAL bounds - >= 240421 @ 1540.97
1578.72/1583.51	c GLOBAL bounds - >= 240421 @ 1541.12
1578.82/1583.62	c GLOBAL bounds - >= 240421 @ 1541.18
1579.02/1583.87	c GLOBAL bounds - >= 240421 @ 1541.33
1579.13/1583.97	c GLOBAL bounds - >= 240421 @ 1541.38
1579.42/1584.20	c GLOBAL bounds - >= 240421 @ 1541.52
1579.52/1584.31	c GLOBAL bounds - >= 240421 @ 1541.59
1579.72/1584.54	c GLOBAL bounds - >= 240421 @ 1541.72
1580.02/1584.81	c GLOBAL bounds - >= 240421 @ 1541.91
1580.23/1585.04	c GLOBAL bounds - >= 240421 @ 1542.05
1580.82/1585.60	c GLOBAL bounds - >= 240421 @ 1542.5
1581.02/1585.88	c GLOBAL bounds - >= 240421 @ 1542.69
1581.82/1586.63	c GLOBAL bounds - >= 240421 @ 1543.33
1582.22/1587.08	c GLOBAL bounds - >= 240421 @ 1543.68
1583.11/1587.93	c GLOBAL bounds - >= 240421 @ 1544.43
1584.11/1588.96	c GLOBAL bounds - >= 240421 @ 1545.36
1586.81/1591.68	c GLOBAL bounds - >= 240421 @ 1547.96
1592.39/1597.26	c GLOBAL bounds - >= 240421 @ 1553.42
1596.98/1601.82	c GLOBAL bounds - >= 240421 @ 1557.87
1628.89/1633.89	c #Conflicts:      14000 | #Constraints:    6960385
1628.89/1633.89	c GLOBAL bounds - >= 240421 @ 1589.75
1667.50/1672.58	c GLOBAL bounds - >= 240421 @ 1628.18
1862.38/1867.96	c #Conflicts:      15000 | #Constraints:    7039335
1862.38/1867.96	c INPROCESSING
1862.38/1867.96	c GARBAGE COLLECT
1862.38/1867.96	c GLOBAL bounds - >= 240421 @ 1822.45
2063.23/2069.32	c #Conflicts:      16000 | #Constraints:    7078073
2063.23/2069.32	c #Conflicts:      17000 | #Constraints:    7079073
2063.23/2069.32	c GLOBAL bounds - >= 257010 @ 2023.09
2063.63/2069.77	c GLOBAL bounds - >= 257010 @ 2023.49
2084.88/2091.02	c GLOBAL bounds - >= 257010 @ 2044.52
2084.98/2091.12	c GLOBAL bounds - >= 257010 @ 2044.59
2085.87/2092.08	c GLOBAL bounds - >= 257010 @ 2045.42
2085.98/2092.19	c GLOBAL bounds - >= 257010 @ 2045.48
2086.27/2092.45	c GLOBAL bounds - >= 257010 @ 2045.64
2086.37/2092.55	c GLOBAL bounds - >= 257010 @ 2045.72
2086.67/2092.80	c GLOBAL bounds - >= 257010 @ 2045.86
2086.77/2092.91	c GLOBAL bounds - >= 257010 @ 2045.93
2086.97/2093.16	c GLOBAL bounds - >= 257010 @ 2046.08
2087.07/2093.26	c GLOBAL bounds - >= 257010 @ 2046.15
2087.37/2093.51	c GLOBAL bounds - >= 257010 @ 2046.3
2087.47/2093.62	c GLOBAL bounds - >= 257010 @ 2046.38
2087.66/2093.85	c GLOBAL bounds - >= 257010 @ 2046.51
2087.76/2093.96	c GLOBAL bounds - >= 257010 @ 2046.58
2087.97/2094.19	c GLOBAL bounds - >= 257010 @ 2046.72
2088.17/2094.30	c GLOBAL bounds - >= 257010 @ 2046.79
2088.36/2094.54	c GLOBAL bounds - >= 257010 @ 2046.93
2088.47/2094.64	c GLOBAL bounds - >= 257010 @ 2047
2088.66/2094.88	c GLOBAL bounds - >= 257010 @ 2047.13
2088.97/2095.11	c GLOBAL bounds - >= 257010 @ 2047.27
2089.26/2095.40	c GLOBAL bounds - >= 257010 @ 2047.45
2089.87/2096.06	c GLOBAL bounds - >= 257010 @ 2048
2090.16/2096.34	c GLOBAL bounds - >= 257010 @ 2048.19
2090.46/2096.62	c GLOBAL bounds - >= 257010 @ 2048.38
2090.66/2096.89	c GLOBAL bounds - >= 257010 @ 2048.57
2091.36/2097.53	c GLOBAL bounds - >= 257010 @ 2049.11
2091.56/2097.76	c GLOBAL bounds - >= 257010 @ 2049.25
2091.86/2098.03	c GLOBAL bounds - >= 257010 @ 2049.44
2092.55/2098.75	c GLOBAL bounds - >= 257010 @ 2050.09
2092.86/2099.03	c GLOBAL bounds - >= 257010 @ 2050.28
2094.05/2100.23	c GLOBAL bounds - >= 257010 @ 2051.41
2094.35/2100.53	c GLOBAL bounds - >= 257010 @ 2051.61
2095.05/2101.24	c GLOBAL bounds - >= 257010 @ 2052.24
2095.35/2101.53	c GLOBAL bounds - >= 257010 @ 2052.45
2095.75/2101.96	c GLOBAL bounds - >= 257010 @ 2052.78
2095.96/2102.19	c GLOBAL bounds - >= 257010 @ 2052.93
2096.75/2102.91	c GLOBAL bounds - >= 257010 @ 2053.56
2097.05/2103.27	c GLOBAL bounds - >= 257010 @ 2053.83
2098.84/2105.02	c GLOBAL bounds - >= 257010 @ 2055.49
2099.14/2105.35	c GLOBAL bounds - >= 257010 @ 2055.74
2099.54/2105.75	c GLOBAL bounds - >= 257010 @ 2056.05
2099.85/2106.06	c GLOBAL bounds - >= 257010 @ 2056.26
2100.24/2106.43	c GLOBAL bounds - >= 257010 @ 2056.53
2100.54/2106.74	c GLOBAL bounds - >= 257010 @ 2056.75
2102.63/2108.87	c GLOBAL bounds - >= 257010 @ 2058.79
2109.51/2115.70	c GLOBAL bounds - >= 257010 @ 2065.51
2114.60/2120.80	c GLOBAL bounds - >= 257010 @ 2070.51
2114.91/2121.14	c GLOBAL bounds - >= 257010 @ 2070.75
2115.50/2121.72	c GLOBAL bounds - >= 257010 @ 2071.24
2116.00/2122.26	c GLOBAL bounds - >= 257010 @ 2071.68
2116.40/2122.66	c GLOBAL bounds - >= 257010 @ 2071.99
2116.99/2123.26	c GLOBAL bounds - >= 257010 @ 2072.49
2118.69/2124.90	c GLOBAL bounds - >= 257010 @ 2074.03
2121.59/2127.82	c GLOBAL bounds - >= 257010 @ 2076.83
2129.56/2135.81	c GLOBAL bounds - >= 257010 @ 2084.69
2130.06/2136.38	c GLOBAL bounds - >= 257010 @ 2085.16
2131.15/2137.41	c GLOBAL bounds - >= 257010 @ 2086.09
2150.71/2157.00	c #Conflicts:      18000 | #Constraints:    7677855
2150.71/2157.00	c GLOBAL bounds - >= 257010 @ 2105.39
2209.35/2215.83	c INPROCESSING
2209.35/2215.83	c GARBAGE COLLECT
2209.35/2215.83	c GLOBAL bounds - >= 257010 @ 2163.81
2244.16/2250.70	c GLOBAL bounds - >= 257010 @ 2198.44
2244.65/2251.24	c GLOBAL bounds - >= 257010 @ 2198.85
2290.23/2296.91	c #Conflicts:      19000 | #Constraints:    7824194
2290.23/2296.91	c GLOBAL bounds - >= 257010 @ 2244.23
2372.01/2378.92	c GLOBAL bounds - >= 272089 @ 2325.94
2372.41/2379.34	c GLOBAL bounds - >= 272089 @ 2326.33
2372.71/2379.64	c GLOBAL bounds - >= 272089 @ 2326.49
2372.81/2379.74	c GLOBAL bounds - >= 272089 @ 2326.55
2373.12/2380.04	c GLOBAL bounds - >= 272089 @ 2326.74
2373.21/2380.14	c GLOBAL bounds - >= 272089 @ 2326.81
2373.51/2380.42	c GLOBAL bounds - >= 272089 @ 2326.97
2373.61/2380.52	c GLOBAL bounds - >= 272089 @ 2327.04
2373.91/2380.80	c GLOBAL bounds - >= 272089 @ 2327.2
2374.01/2380.91	c GLOBAL bounds - >= 272089 @ 2327.28
2374.21/2381.15	c GLOBAL bounds - >= 272089 @ 2327.4
2374.31/2381.25	c GLOBAL bounds - >= 272089 @ 2327.47
2374.61/2381.53	c GLOBAL bounds - >= 272089 @ 2327.64
2374.70/2381.64	c GLOBAL bounds - >= 272089 @ 2327.71
2375.00/2381.91	c GLOBAL bounds - >= 272089 @ 2327.86
2375.11/2382.02	c GLOBAL bounds - >= 272089 @ 2327.94
2375.30/2382.29	c GLOBAL bounds - >= 272089 @ 2328.1
2375.41/2382.40	c GLOBAL bounds - >= 272089 @ 2328.16
2375.70/2382.66	c GLOBAL bounds - >= 272089 @ 2328.31
2375.80/2382.77	c GLOBAL bounds - >= 272089 @ 2328.38
2376.10/2383.04	c GLOBAL bounds - >= 272089 @ 2328.54
2376.40/2383.31	c GLOBAL bounds - >= 272089 @ 2328.68
2376.60/2383.58	c GLOBAL bounds - >= 272089 @ 2328.84
2376.90/2383.85	c GLOBAL bounds - >= 272089 @ 2328.98
2377.20/2384.18	c GLOBAL bounds - >= 272089 @ 2329.19
2378.10/2385.01	c GLOBAL bounds - >= 272089 @ 2329.92
2381.20/2388.18	c #Conflicts:      20000 | #Constraints:    7970454
2381.20/2388.18	c GLOBAL bounds - >= 272089 @ 2332.99
2382.49/2389.47	c GLOBAL bounds - >= 272089 @ 2334.18
2382.79/2389.76	c GLOBAL bounds - >= 272089 @ 2334.39
2389.07/2396.09	c GLOBAL bounds - >= 272089 @ 2340.62
2400.84/2407.80	c GLOBAL bounds - >= 272089 @ 2352.17
2409.62/2416.64	c GLOBAL bounds - >= 272089 @ 2360.9
2412.01/2419.01	c GLOBAL bounds - >= 272089 @ 2363.17
2458.88/2466.02	c GLOBAL bounds - >= 272089 @ 2409.89
2484.01/2491.24	c #Conflicts:      21000 | #Constraints:    8049976
2484.01/2491.24	c GLOBAL bounds - >= 272089 @ 2434.92
2484.52/2491.71	c GLOBAL bounds - >= 272089 @ 2435.27
2484.92/2492.11	c GLOBAL bounds - >= 272089 @ 2435.59
2511.94/2519.24	c GLOBAL bounds - >= 272584 @ 2462.59
2512.13/2519.48	c GLOBAL bounds - >= 272584 @ 2462.79
2512.23/2519.58	c GLOBAL bounds - >= 272584 @ 2462.85
2512.34/2519.69	c GLOBAL bounds - >= 272584 @ 2462.92
2512.43/2519.79	c GLOBAL bounds - >= 272584 @ 2462.99
2512.63/2519.90	c GLOBAL bounds - >= 272584 @ 2463.06
2512.63/2520.00	c GLOBAL bounds - >= 272584 @ 2463.12
2513.04/2520.35	c GLOBAL bounds - >= 272584 @ 2463.34
2513.13/2520.46	c GLOBAL bounds - >= 272584 @ 2463.41
2513.53/2520.80	c GLOBAL bounds - >= 272584 @ 2463.65
2513.63/2520.90	c GLOBAL bounds - >= 272584 @ 2463.72
2513.83/2521.19	c GLOBAL bounds - >= 272584 @ 2463.91
2514.03/2521.30	c GLOBAL bounds - >= 272584 @ 2463.97
2514.23/2521.59	c GLOBAL bounds - >= 272584 @ 2464.15
2514.33/2521.69	c GLOBAL bounds - >= 272584 @ 2464.23
2514.63/2521.98	c GLOBAL bounds - >= 272584 @ 2464.42
2514.73/2522.07	c GLOBAL bounds - >= 272584 @ 2464.48
2515.03/2522.36	c GLOBAL bounds - >= 272584 @ 2464.68
2515.13/2522.47	c GLOBAL bounds - >= 272584 @ 2464.75
2515.43/2522.75	c GLOBAL bounds - >= 272584 @ 2464.93
2515.53/2522.86	c GLOBAL bounds - >= 272584 @ 2465
2515.83/2523.11	c GLOBAL bounds - >= 272584 @ 2465.17
2515.93/2523.22	c GLOBAL bounds - >= 272584 @ 2465.25
2516.12/2523.44	c GLOBAL bounds - >= 272584 @ 2465.39
2516.22/2523.55	c GLOBAL bounds - >= 272584 @ 2465.46
2516.43/2523.76	c GLOBAL bounds - >= 272584 @ 2465.58
2516.62/2523.97	c GLOBAL bounds - >= 272584 @ 2465.7
2516.83/2524.18	c GLOBAL bounds - >= 272584 @ 2465.84
2517.02/2524.38	c GLOBAL bounds - >= 272584 @ 2465.97
2517.22/2524.59	c GLOBAL bounds - >= 272584 @ 2466.1
2517.52/2524.80	c GLOBAL bounds - >= 272584 @ 2466.24
2517.82/2525.18	c GLOBAL bounds - >= 272584 @ 2466.54
2518.22/2525.53	c GLOBAL bounds - >= 272584 @ 2466.82
2518.82/2526.14	c GLOBAL bounds - >= 272584 @ 2467.34
2519.12/2526.40	c GLOBAL bounds - >= 272584 @ 2467.51
2519.32/2526.61	c GLOBAL bounds - >= 272584 @ 2467.64
2519.52/2526.87	c GLOBAL bounds - >= 272584 @ 2467.81
2519.82/2527.13	c GLOBAL bounds - >= 272584 @ 2467.98
2520.02/2527.36	c GLOBAL bounds - >= 272584 @ 2468.13
2520.31/2527.66	c GLOBAL bounds - >= 272584 @ 2468.34
2520.82/2528.15	c GLOBAL bounds - >= 272584 @ 2468.75
2522.31/2529.66	c GLOBAL bounds - >= 272584 @ 2470.16
2523.41/2530.75	c GLOBAL bounds - >= 272584 @ 2471.16
2523.81/2531.16	c GLOBAL bounds - >= 272584 @ 2471.5
2524.91/2532.24	c GLOBAL bounds - >= 272584 @ 2472.46
2525.30/2532.69	c GLOBAL bounds - >= 272584 @ 2472.83
2525.70/2533.07	c GLOBAL bounds - >= 272584 @ 2473.13
2526.20/2533.59	c GLOBAL bounds - >= 272584 @ 2473.56
2526.60/2533.99	c GLOBAL bounds - >= 272584 @ 2473.87
2533.88/2541.24	c GLOBAL bounds - >= 272584 @ 2480.98
2534.98/2542.33	c GLOBAL bounds - >= 272584 @ 2481.97
2535.37/2542.77	c GLOBAL bounds - >= 272584 @ 2482.31
2541.66/2549.09	c GLOBAL bounds - >= 272584 @ 2488.51
2542.15/2549.52	c GLOBAL bounds - >= 272584 @ 2488.84
2593.91/2601.40	c INPROCESSING
2593.91/2601.40	c GARBAGE COLLECT
2593.91/2601.40	c GLOBAL bounds - >= 272584 @ 2540.36
2617.15/2624.72	c GLOBAL bounds - >= 276618 @ 2563.57
2617.55/2625.14	c GLOBAL bounds - >= 276618 @ 2563.95
2617.64/2625.25	c GLOBAL bounds - >= 276618 @ 2564.02
2617.74/2625.35	c GLOBAL bounds - >= 276618 @ 2564.09
2617.85/2625.45	c GLOBAL bounds - >= 276618 @ 2564.15
2617.95/2625.56	c GLOBAL bounds - >= 276618 @ 2564.22
2618.05/2625.66	c GLOBAL bounds - >= 276618 @ 2564.29
2618.15/2625.77	c GLOBAL bounds - >= 276618 @ 2564.37
2618.25/2625.87	c GLOBAL bounds - >= 276618 @ 2564.43
2618.35/2625.98	c GLOBAL bounds - >= 276618 @ 2564.51
2619.84/2627.48	c GLOBAL bounds - >= 276618 @ 2565.89
2619.95/2627.58	c GLOBAL bounds - >= 276618 @ 2565.96
2620.34/2627.90	c GLOBAL bounds - >= 276618 @ 2566.16
2620.44/2628.01	c GLOBAL bounds - >= 276618 @ 2566.23
2620.74/2628.31	c GLOBAL bounds - >= 276618 @ 2566.42
2620.84/2628.42	c GLOBAL bounds - >= 276618 @ 2566.49
2621.03/2628.68	c GLOBAL bounds - >= 276618 @ 2566.66
2621.14/2628.79	c GLOBAL bounds - >= 276618 @ 2566.73
2621.44/2629.06	c GLOBAL bounds - >= 276618 @ 2566.9
2621.55/2629.16	c GLOBAL bounds - >= 276618 @ 2566.98
2621.84/2629.43	c GLOBAL bounds - >= 276618 @ 2567.14
2621.94/2629.54	c GLOBAL bounds - >= 276618 @ 2567.21
2622.24/2629.80	c GLOBAL bounds - >= 276618 @ 2567.37
2622.33/2629.90	c GLOBAL bounds - >= 276618 @ 2567.45
2622.54/2630.17	c GLOBAL bounds - >= 276618 @ 2567.61
2622.63/2630.28	c GLOBAL bounds - >= 276618 @ 2567.69
2622.94/2630.52	c GLOBAL bounds - >= 276618 @ 2567.83
2623.04/2630.62	c GLOBAL bounds - >= 276618 @ 2567.9
2623.24/2630.87	c GLOBAL bounds - >= 276618 @ 2568.04
2623.53/2631.11	c GLOBAL bounds - >= 276618 @ 2568.2
2623.73/2631.35	c GLOBAL bounds - >= 276618 @ 2568.34
2624.03/2631.60	c GLOBAL bounds - >= 276618 @ 2568.49
2624.23/2631.84	c GLOBAL bounds - >= 276618 @ 2568.64
2624.63/2632.26	c GLOBAL bounds - >= 276618 @ 2568.96
2626.33/2633.93	c #Conflicts:      22000 | #Constraints:    8810133
2626.33/2633.93	c GLOBAL bounds - >= 276618 @ 2570.53
2627.33/2634.90	c GLOBAL bounds - >= 276618 @ 2571.4
2627.63/2635.23	c GLOBAL bounds - >= 276618 @ 2571.64
2628.02/2635.66	c GLOBAL bounds - >= 276618 @ 2571.99
2629.52/2637.13	c GLOBAL bounds - >= 276618 @ 2573.36
2631.21/2638.80	c GLOBAL bounds - >= 276618 @ 2574.93
2633.11/2640.72	c GLOBAL bounds - >= 276618 @ 2576.76
2652.16/2659.83	c GLOBAL bounds - >= 276618 @ 2595.68
2656.65/2664.39	c GLOBAL bounds - >= 276618 @ 2600.12
2657.05/2664.71	c GLOBAL bounds - >= 276618 @ 2600.35
2685.46/2693.27	c GLOBAL bounds - >= 276618 @ 2628.71
2685.96/2693.70	c GLOBAL bounds - >= 276618 @ 2629.04
2686.86/2694.63	c GLOBAL bounds - >= 276618 @ 2629.87
2690.55/2698.38	c GLOBAL bounds - >= 276618 @ 2633.51
3600.20/3610.52	c #Conflicts:      23000 | #Constraints:    9107875
3600.20/3610.52	c #Conflicts:      24000 | #Constraints:    9108875
3600.20/3610.52	c #Conflicts:      25000 | #Constraints:    9109875
3600.20/3610.52	c INPROCESSING
3600.20/3610.52	c GARBAGE COLLECT
3600.20/3610.52	c #Conflicts:      26000 | #Constraints:    9107476
3600.20/3610.52	c #Conflicts:      27000 | #Constraints:    9108476
3600.20/3610.52	c cpu time 3541.76 s
3600.20/3610.52	c deterministic time 234496092 2.34e+08
3600.20/3610.52	c optimization time 3528.03 s
3600.20/3610.52	c total solve time 11.7186 s
3600.20/3610.52	c core-guided solve time 0 s
3600.20/3610.52	c propagation time 5.69304 s
3600.20/3610.52	c conflict analysis time 3.08389 s
3600.20/3610.52	c propagations 42047093
3600.20/3610.52	c resolve steps 0
3600.20/3610.52	c decisions 26276842
3600.20/3610.52	c conflicts 116
3600.20/3610.52	c restarts 2
3600.20/3610.52	c inprocessing phases 0
3600.20/3610.52	c garbage collections 0 ,( -nan )
3600.20/3610.52	c input clauses 489172 ,( 80.09 )
3600.20/3610.52	c input cardinalities 62 ,( 0.01 )
3600.20/3610.52	c input general constraints 121513 ,( 19.90 )
3600.20/3610.52	c input average constraint length 28.90
3600.20/3610.52	c input average constraint degree 9002294.29
3600.20/3610.52	c learned clauses 47 ,( 33.81 )
3600.20/3610.52	c learned cardinalities 1 ,( 0.72 )
3600.20/3610.52	c learned general constraints 91 ,( 65.47 )
3600.20/3610.52	c learned average constraint length 615.66
3600.20/3610.52	c learned average constraint degree 6.30
3600.20/3610.52	c watched  CF 32, 64, 128, Arb: 141 , 0 , 0 , 0
3600.20/3610.52	c counting CF 32, 64, 128, Arb: 121390 , 74 , 0 , 0
3600.20/3610.52	c watched   constraints 141 ,( 0.12 ) 
3600.20/3610.52	c counting  constraints 121463 ,( 99.88 ) 
3600.20/3610.52	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 6412220 , 527 , 26733387 ,( 49037 , 26684350 )
3600.20/3610.52	c gcd simplifications 0
3600.20/3610.52	c detected cardinalities 0
3600.20/3610.52	c weakened non-implied lits 0
3600.20/3610.52	c weakened non-implying lits 0
3600.20/3610.52	c original variables 250200
3600.20/3610.52	c clausal propagations 6390210
3600.20/3610.52	c cardinality propagations 0
3600.20/3610.52	c watched propagations 12855
3600.20/3610.52	c counting propagations 19681559
3600.20/3610.52	c watch lookups 33947151
3600.20/3610.52	c watch backjump lookups 0
3600.20/3610.52	c watch checks 4905582
3600.20/3610.52	c propagation checks 58857855
3600.20/3610.52	c constraint additions 134667
3600.20/3610.52	c trail pops 68323901
3600.20/3610.52	c formula constraints 610311
3600.20/3610.52	c learned constraints 139
3600.20/3610.52	c bound constraints 0
3600.20/3610.52	c core-guided constraints 0
3600.20/3610.52	c encountered formula constraints 37
3600.20/3610.52	c encountered learned constraints 31
3600.20/3610.52	c encountered bound constraints 0
3600.20/3610.52	c encountered core-guided constraints 0
3600.20/3610.52	c LP total time 2.2106 s
3600.20/3610.52	c LP solve time 1.92 s
3600.20/3610.52	c LP constraints added 610311
3600.20/3610.52	c LP constraints removed 0
3600.20/3610.52	c LP pivots internal 2000
3600.20/3610.52	c LP pivots root 1000
3600.20/3610.52	c LP calls 2
3600.20/3610.52	c LP optimalities 0
3600.20/3610.52	c LP no pivot count 0
3600.20/3610.52	c LP infeasibilities 0
3600.20/3610.52	c LP valid Farkas constraints 0
3600.20/3610.52	c LP learned Farkas constraints 0
3600.20/3610.52	c LP basis resets 0
3600.20/3610.52	c LP cycling count 0
3600.20/3610.52	c LP singular count 0
3600.20/3610.52	c LP no primal count 0
3600.20/3610.52	c LP no farkas count 0
3600.20/3610.52	c LP other issue count 0
3600.20/3610.52	c LP Gomory cuts 0
3600.20/3610.52	c LP learned cuts 0
3600.20/3610.52	c LP deleted cuts 0
3600.20/3610.52	c LP encountered Gomory constraints 0
3600.20/3610.52	c LP encountered Farkas constraints 0
3600.20/3610.52	c LP encountered learned Farkas constraints 0
3600.20/3610.52	c CG auxiliary variables introduced 395
3600.20/3610.52	c CG solutions found 0
3600.20/3610.52	c CG cores constructed 158
3600.20/3610.52	c CG core cardinality constraints returned 0
3600.20/3610.52	c CG unit cores 0
3600.20/3610.52	c CG single cores 0
3600.20/3610.52	c CG blocks removed during cardinality reduction 0
3600.20/3610.52	c CG first core best 0
3600.20/3610.52	c CG decision core best 0
3600.20/3610.52	c CG core reduction tie 0
3600.20/3610.52	c CG core degree average 0.00
3600.20/3610.52	c CG core slack average 0.00
3600.20/3610.52	c CG core upper bound improvements 0
3600.20/3610.52	c STR number of successful calls 0
3600.20/3610.52	c STR number of unsuccessful calls 0
3600.20/3610.52	c STR number of inconclusive calls 0
3600.20/3610.52	c STR number of successful attempts 0
3600.20/3610.52	c STR number of unsuccessful attempts 0
3600.20/3610.52	c STR number of inconclusive attempts 0
3600.20/3610.52	c STR average degree increase per successful call inf
3600.20/3610.52	c STR average degree increase per successful attempt inf
3600.20/3610.52	c STR total number of conflicts for successful attempts 0
3600.20/3610.52	c STR total number of conflicts for unsuccessful attempts 0
3600.20/3610.52	c STR total number of conflicts for inconclusive attempts 0
3600.20/3610.52	c STR average number of conflicts per successful attempt inf
3600.20/3610.52	c STR average number of conflicts per unsuccessful attempt inf
3600.20/3610.52	c STR average number of conflicts per inconclusive attempt inf
3600.20/3610.52	c AVG.sumWPerc 99.49 
3600.20/3610.52	c bigint constraints 74 
3600.20/3610.52	s UNKNOWN
3600.20/3610.52	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62723 MiB free)
  memory of node 1: 64507 MiB (57446 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504388-1751460301/watcher-4504388-1751460301 -o /tmp/evaluation-result-4504388-1751460301/solver-4504388-1751460301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751456689-62202 --watchdog 3760 run-opt.sh HOME/instance-4504388-1751460301.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 4.07 4.14 4.09 5/262 62564
/proc/meminfo: memFree=125567084/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=98952 memory=51832 CPUtime=0.07 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 8070 0 0 0 5 2 0 0 20 0 1 0 61710047 101326848 12958 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 24738 12958 1888 1147 0 12165 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 103144 KiB
Current children cumulated memory: 54648 KiB

[startup+0.20511 s]*
/proc/loadavg: 4.07 4.14 4.09 5/262 62569
/proc/meminfo: memFree=128233152/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=104192 memory=59136 CPUtime=0.16 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 9332 0 0 0 12 4 0 0 20 0 1 0 61710047 106692608 14784 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 26048 14784 1920 1147 0 13475 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 108384 KiB
Current children cumulated memory: 61952 KiB

[startup+0.305601 s]*
/proc/loadavg: 4.07 4.14 4.09 5/265 62579
/proc/meminfo: memFree=129566852/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=107320 memory=63864 CPUtime=0.27 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 10023 0 0 0 20 7 0 0 20 0 1 0 61710047 109895680 15966 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 26830 15966 1920 1147 0 14257 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 111512 KiB
Current children cumulated memory: 66680 KiB

[startup+0.700178 s]
/proc/loadavg: 4.07 4.14 4.09 5/265 62593
/proc/meminfo: memFree=129523840/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=124120 memory=79736 CPUtime=0.66 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 14408 0 0 0 47 19 0 0 20 0 1 0 61710047 127098880 19934 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 31030 19934 1920 1147 0 18457 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 128312 KiB
Current children cumulated memory: 82552 KiB

[startup+1.50015 s]
/proc/loadavg: 4.07 4.14 4.09 6/262 62614
/proc/meminfo: memFree=129437948/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=169400 memory=121016 CPUtime=1.45 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 19733 0 0 0 107 38 0 0 20 0 1 0 61710047 173465600 30254 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 42350 30254 1920 1147 0 29777 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 173592 KiB
Current children cumulated memory: 123832 KiB

[startup+3.10451 s]
/proc/loadavg: 4.07 4.14 4.09 6/268 62625
/proc/meminfo: memFree=127595192/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=1025512 memory=739060 CPUtime=3.05 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 81443 0 0 0 227 78 0 0 20 0 1 0 61710047 1050124288 184765 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 256378 184765 2336 1147 0 243805 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1029704 KiB
Current children cumulated memory: 741876 KiB

[startup+6.30014 s]
/proc/loadavg: 4.22 4.17 4.10 6/268 62625
/proc/meminfo: memFree=127007160/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=1074552 memory=781256 CPUtime=6.24 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 83363 0 0 0 456 168 0 0 20 0 1 0 61710047 1100341248 195314 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 268638 195314 2368 1147 0 256065 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1078744 KiB
Current children cumulated memory: 784072 KiB

[startup+12.7001 s]
/proc/loadavg: 4.36 4.20 4.11 6/268 62625
/proc/meminfo: memFree=126600232/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=1288872 memory=995176 CPUtime=12.62 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 118199 0 0 0 1011 251 0 0 20 0 1 0 61710047 1319804928 248794 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 322218 248794 2368 1147 0 309645 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1293064 KiB
Current children cumulated memory: 997992 KiB

[startup+25.5002 s]
/proc/loadavg: 4.35 4.21 4.11 6/267 62625
/proc/meminfo: memFree=124859040/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=2085748 memory=1738444 CPUtime=25.39 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 215559 0 0 0 2085 454 0 0 20 0 1 0 61710047 2135805952 434611 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 521437 434611 2400 1147 0 508864 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2089940 KiB
Current children cumulated memory: 1741260 KiB

[startup+51.1046 s]
/proc/loadavg: 4.36 4.22 4.12 6/267 62626
/proc/meminfo: memFree=121601668/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=3269440 memory=2779312 CPUtime=50.92 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 409032 0 0 0 4322 770 0 0 20 0 1 0 61710047 3347906560 694828 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 817360 694828 2400 1147 0 804787 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3273632 KiB
Current children cumulated memory: 2782128 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.20 4.12 6/267 62673
/proc/meminfo: memFree=116241816/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=4381620 memory=3946252 CPUtime=101.96 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 610399 0 0 0 9386 810 0 0 20 0 1 0 61710047 4486778880 986563 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 1095405 986563 2400 1147 0 1082832 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 4385812 KiB
Current children cumulated memory: 3949068 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.11 6/267 62675
/proc/meminfo: memFree=110393892/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=6948392 memory=6294896 CPUtime=161.78 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 1054001 0 0 0 15057 1121 0 0 20 0 1 0 61710047 7115153408 1573724 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 1737098 1573724 2400 1147 0 1724525 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 6952584 KiB
Current children cumulated memory: 6297712 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.16 4.10 6/267 62677
/proc/meminfo: memFree=107592452/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=8188196 memory=7041160 CPUtime=221.6 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 1156686 0 0 0 20997 1163 0 0 20 0 1 0 61710047 8384712704 1760290 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 2047049 1760290 2400 1147 0 2034476 0
Current children cumulated CPU time: 221.6 s

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

/proc/loadavg: 4.09 4.09 4.09 6/267 62827
/proc/meminfo: memFree=63485224/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3153.25 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3283467 0 0 0 309526 5799 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/267 62828
/proc/meminfo: memFree=63453868/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3213.09 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3290518 0 0 0 315503 5806 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/267 62830
/proc/meminfo: memFree=63415724/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3272.93 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3292058 0 0 0 321480 5813 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/267 62832
/proc/meminfo: memFree=63298680/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3332.76 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3293551 0 0 0 327459 5817 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/267 62834
/proc/meminfo: memFree=63232824/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3392.59 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3295621 0 0 0 333436 5823 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/267 62836
/proc/meminfo: memFree=63196796/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3452.41 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3298142 0 0 0 339412 5829 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.10 4.09 6/267 62840
/proc/meminfo: memFree=63030696/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3512.25 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3299883 0 0 0 345390 5835 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/266 62842
/proc/meminfo: memFree=62738832/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3572.08 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3301632 0 0 0 351368 5840 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.15 4.10 4.09 6/267 62849
/proc/meminfo: memFree=62358756/131250000 swapFree=33010416/33010684
[pid=62554] ppid=62546 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/62554/stat : 62554 (run-opt.sh) S 62546 62554 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61710046 4292608 704 18446744073709551615 94468925067264 94468925961797 140733186381824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94468926200848 94468926248592 94468935282688 140733186390381 140733186390504 140733186390504 140733186396106 0
/proc/62554/statm: 1048 704 672 219 0 110 0
[pid=62559] ppid=62554 vsize=21521492 memory=17855172 CPUtime=3600.09 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62554 62554 62186 0 -1 4194304 3303224 0 0 0 354163 5846 0 0 20 0 1 0 61710047 22038007808 4463793 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5380373 4463793 2400 1147 0 5367800 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 21525684 KiB
Current children cumulated memory: 17857988 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.001043 s, system=0.001063 s
Sleeping 2 seconds

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

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

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

[startup+3610.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 62849
/proc/meminfo: memFree=68076484/131250000 swapFree=33010416/33010684
[pid=62559] ppid=62546 vsize=20866748 memory=17420572 CPUtime=3600.5 cores=4,6
/proc/62559/stat : 62559 (roundingsat) R 62546 62554 62186 0 -1 4194304 3303352 0 0 0 354203 5847 0 0 20 0 1 0 61710047 21367549952 4355143 18446744073709551615 4227072 8923433 140728510524464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38936576 140728510532002 140728510532136 140728510532136 140728510537706 0
/proc/62559/statm: 5216687 4355143 2496 1147 0 5204114 0
Current cumulated CPU time of completed processes: 0.002106 s
Current children cumulated CPU time: 3600.5 s
Current children cumulated vsize: 20866748 KiB
Current children cumulated memory: 17420572 KiB

[startup+3611.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/261 62857
/proc/meminfo: memFree=88964700/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002106 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.29
CPU time (s): 3601
CPU user time (s): 3542.08
CPU system time (s): 58.9249
CPU usage (%): 99.715
Max. virtual memory (cumulated for all children) (KiB): 21738152
Max. memory (cumulated for all children) (KiB): 18034828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.08
system time used= 58.9249
maximum resident set size= 18032012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3303665
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= 223
involuntary context switches= 3437


# summary of solver processes directly reported to runsolver:
#   pid: 62554,62559
#   total CPU time (s): 3601
#   total CPU user time (s): 3542.08
#   total CPU system time (s): 58.9249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63554 second user time and 12.4755 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-02 14:45:02
IDJOB=4504388
IDBENCH=155654
IDSOLVER=3350
FILE ID=nodeC027/4504388-1751460301
RUNJOBID= nodeC027-1751456689-62202
SLURM_JOB_ID= 9598455
Free space on /tmp= 431116 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_5_mh.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504388-1751460301/watcher-4504388-1751460301 -o /tmp/evaluation-result-4504388-1751460301/solver-4504388-1751460301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751456689-62202 --watchdog 3760  run-opt.sh HOME/instance-4504388-1751460301.opb

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

MD5SUM BENCH= f52c25e5aa8e0a6173f9b1fa92936824
RANDOM SEED=1648829808

nodeC027 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		: 3599.282
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3599.637
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3599.722
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3598.758
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3597.257
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.640
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.628
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3602.785
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121789136 kB
MemAvailable:   121890032 kB
Buffers:            2488 kB
Cached:           901712 kB
SwapCached:           12 kB
Active:          8526540 kB
Inactive:         362004 kB
Active(anon):    7999608 kB
Inactive(anon):     2792 kB
Active(file):     526932 kB
Inactive(file):   359212 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             65784 kB
Writeback:            12 kB
AnonPages:       7987836 kB
Mapped:           109984 kB
Shmem:             18056 kB
KReclaimable:     107580 kB
Slab:             196560 kB
SReclaimable:     107580 kB
SUnreclaim:        88980 kB
KernelStack:        4160 kB
PageTables:        20040 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    9424040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    909312 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431076 MiB
End job on nodeC027 at 2025-07-02 15:45:13