Trace number 4503786

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
pb-oll-rs-2024 2025-05-06Signal 1029.94 1041.58

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
MD5SUM768a18ffa3b1a9fc42159a5899fb070e
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 benchmark3367493
Best CPU time to get the best result obtained on this benchmark88.7011
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.04	c [STEP] solving
0.00/0.04	c #variables 5100 #constraints 12510
0.00/0.04	c SMALL=int, LARGE=long long
0.00/0.04	c bounds - >= -50 @ 0.023888
0.00/0.04	c stratification level: 122023936
0.19/0.28	c bounds 174942799 >= -50 @ 0.263217
0.19/0.28	c stratification level: 120553784
0.19/0.29	c bounds 121460079 >= -50 @ 0.26793
0.19/0.29	c stratification level: 116930169
0.19/0.29	c bounds 121279165 >= -50 @ 0.272087
0.19/0.29	c stratification level: 116214272
0.19/0.30	c bounds 120904831 >= -50 @ 0.279122
0.19/0.30	c stratification level: 113379904
0.19/0.30	c bounds 120842503 >= -50 @ 0.281854
0.19/0.30	c stratification level: 106496424
0.29/0.31	c bounds 120749893 >= -50 @ 0.285992
0.29/0.31	c stratification level: 104487111
0.29/0.32	c bounds 120746587 >= -50 @ 0.298456
0.29/0.32	c stratification level: 101847563
0.29/0.33	c bounds 120702963 >= -50 @ 0.306073
0.29/0.33	c stratification level: 100544625
0.29/0.34	c bounds 120550271 >= -50 @ 0.314773
0.29/0.34	c stratification level: 98611128
0.49/0.58	c bounds 109116891 >= -50 @ 0.553233
0.49/0.58	c stratification level: 97972181
0.49/0.58	c bounds 109054563 >= -50 @ 0.55586
0.49/0.58	c stratification level: 94818816
0.59/0.67	c bounds 103773803 >= -50 @ 0.636674
0.59/0.67	c stratification level: 94196375
0.59/0.67	c bounds 103745741 >= -50 @ 0.641536
0.59/0.67	c stratification level: 92345408
0.59/0.68	c bounds 103642813 >= -50 @ 0.647659
0.59/0.68	c stratification level: 91733851
0.59/0.69	c bounds 103610283 >= -50 @ 0.658905
0.59/0.69	c stratification level: 89915392
0.59/0.69	c bounds 103521987 >= -50 @ 0.664423
0.59/0.69	c stratification level: 89314623
0.68/0.70	c bounds 103493925 >= -50 @ 0.669394
0.68/0.70	c stratification level: 88716536
0.68/0.71	c bounds 103492023 >= -50 @ 0.680109
0.68/0.71	c stratification level: 87528384
0.68/0.72	c bounds 103390997 >= -50 @ 0.690531
0.68/0.72	c stratification level: 86350888
0.68/0.73	c bounds 103368231 >= -50 @ 0.69799
0.68/0.73	c stratification level: 85766121
0.68/0.75	c bounds 103138815 >= -50 @ 0.716807
0.68/0.75	c stratification level: 83453453
1.28/1.30	c bounds 103088079 >= -50 @ 1.25998
1.28/1.30	c stratification level: 82881856
1.28/1.32	c bounds 102922111 >= -50 @ 1.27051
1.28/1.32	c stratification level: 82312875
1.28/1.33	c bounds 102833745 >= -50 @ 1.28493
1.28/1.33	c stratification level: 81746504
1.38/1.40	c bounds 102822551 >= -50 @ 1.35149
1.38/1.40	c stratification level: 80062991
1.58/1.64	c bounds 102525859 >= -50 @ 1.58564
1.58/1.64	c stratification level: 79507000
1.58/1.68	c bounds 102427933 >= -50 @ 1.62282
1.58/1.68	c stratification level: 78953589
1.68/1.70	c bounds 102426131 >= -50 @ 1.64485
1.68/1.70	c stratification level: 76765625
1.88/1.93	c bounds 102416187 >= -50 @ 1.87107
1.88/1.93	c stratification level: 76225024
1.88/1.96	c bounds 102403377 >= -50 @ 1.90323
1.88/1.96	c stratification level: 75686967
1.88/1.99	c bounds 102386145 >= -50 @ 1.92715
1.88/1.99	c stratification level: 74618461
2.08/2.14	c bounds 102358217 >= -50 @ 2.07363
2.08/2.14	c stratification level: 73560059
2.08/2.16	c bounds 102222759 >= -50 @ 2.09796
2.08/2.16	c stratification level: 71991296
2.18/2.21	c bounds 102188313 >= -50 @ 2.13517
2.18/2.21	c stratification level: 70957944
2.18/2.25	c bounds 102124881 >= -50 @ 2.18286
2.18/2.25	c stratification level: 68921000
2.18/2.27	c bounds 102090449 >= -50 @ 2.20154
2.18/2.27	c stratification level: 68417929
2.58/2.65	c bounds 102045155 >= -50 @ 2.57035
2.58/2.65	c stratification level: 67917312
2.58/2.69	c bounds 102032345 >= -50 @ 2.60431
2.58/2.69	c stratification level: 67419143
3.09/3.11	c bounds 101993435 >= -50 @ 3.01967
3.09/3.11	c stratification level: 66923416
4.27/4.36	c #Conflicts:       1000 | #Constraints:      13548
4.27/4.36	c bounds 101363579 >= -50 @ 4.25537
4.27/4.36	c stratification level: 65450827
4.37/4.48	c bounds 101334603 >= -50 @ 4.37007
4.37/4.48	c stratification level: 64000000
4.77/4.82	c bounds 101310111 >= -50 @ 4.70959
4.77/4.82	c stratification level: 63044792
4.87/4.95	c bounds 101286325 >= -50 @ 4.83632
4.87/4.95	c stratification level: 62570773
4.98/5.06	c bounds 101225023 >= -50 @ 4.94618
4.98/5.06	c stratification level: 62099136
5.97/6.08	c bounds 101172223 >= -50 @ 5.93264
5.97/6.08	c stratification level: 61629875
6.07/6.16	c bounds 101126949 >= -50 @ 6.01681
6.07/6.16	c stratification level: 60236288
6.17/6.21	c bounds 101096429 >= -50 @ 6.0602
6.17/6.21	c stratification level: 59776471
6.27/6.30	c bounds 101065919 >= -50 @ 6.14657
6.27/6.30	c stratification level: 59319000
7.57/7.69	c bounds 101055809 >= -50 @ 7.52484
7.57/7.69	c stratification level: 58863869
7.76/7.83	c bounds 101048129 >= -50 @ 7.66481
7.76/7.83	c stratification level: 58411072
8.16/8.20	c bounds 101047681 >= -50 @ 8.03174
8.16/8.20	c stratification level: 57960603
8.27/8.37	c bounds 100997281 >= -50 @ 8.19539
8.27/8.37	c stratification level: 57512456
8.37/8.45	c bounds 100978633 >= -50 @ 8.27133
8.37/8.45	c stratification level: 57066625
8.46/8.52	c bounds 100884777 >= -50 @ 8.34127
8.46/8.52	c stratification level: 56623104
8.86/8.93	c bounds 100827709 >= -50 @ 8.74581
8.86/8.93	c stratification level: 56181887
9.06/9.10	c bounds 100759843 >= -50 @ 8.92037
9.06/9.10	c stratification level: 55742968
9.16/9.20	c bounds 100747267 >= -50 @ 9.01814
9.16/9.20	c stratification level: 55306341
9.66/9.73	c bounds 100670689 >= -50 @ 9.5462
9.66/9.73	c stratification level: 54872000
10.15/10.28	c #Conflicts:       2000 | #Constraints:      14567
10.15/10.28	c INPROCESSING
10.15/10.28	c GARBAGE COLLECT
10.15/10.28	c bounds 100629487 >= -50 @ 10.0835
10.15/10.28	c stratification level: 54010152
13.55/13.64	c #Conflicts:       3000 | #Constraints:      14468
13.55/13.64	c bounds 98553769 >= -50 @ 13.4137
13.55/13.64	c stratification level: 53582633
13.55/13.68	c bounds 70890971 >= -50 @ 13.4545
13.55/13.68	c stratification level: 53157376
13.64/13.73	c bounds 70807221 >= -50 @ 13.503
13.64/13.73	c stratification level: 52734375
13.64/13.78	c bounds 70627499 >= -50 @ 13.5514
13.64/13.78	c stratification level: 52313624
13.75/13.86	c bounds 57128993 >= -50 @ 13.628
13.75/13.86	c stratification level: 51895117
13.85/13.90	c bounds 57026241 >= -50 @ 13.6689
13.85/13.90	c stratification level: 51478848
13.85/13.98	c bounds 56951855 >= -50 @ 13.7466
13.85/13.98	c stratification level: 51064811
13.96/14.04	c bounds 33919843 >= -50 @ 13.8071
13.96/14.04	c stratification level: 33698267
15.74/15.85	c bounds 14024917 >= -50 @ 15.6021
15.74/15.85	c stratification level: 13997521
15.84/15.90	c bounds 13921687 >= -50 @ 15.6556
15.84/15.90	c stratification level: 13824000
16.14/16.23	c bounds 13895239 >= -50 @ 15.9814
16.14/16.23	c stratification level: 13651919
17.24/17.30	c bounds 13798865 >= -50 @ 17.0309
17.24/17.30	c stratification level: 13481272
17.64/17.72	c #Conflicts:       4000 | #Constraints:      15480
17.64/17.72	c bounds 13699997 >= -50 @ 17.4421
17.64/17.72	c stratification level: 13312053
17.64/17.79	c bounds 13617011 >= -50 @ 17.5155
17.64/17.79	c stratification level: 13144256
17.74/17.85	c bounds 13604295 >= -50 @ 17.5801
17.74/17.85	c stratification level: 12977875
17.84/17.90	c bounds 13600167 >= -50 @ 17.6287
17.84/17.90	c stratification level: 12812904
17.84/17.95	c bounds 13555791 >= -50 @ 17.6761
17.84/17.95	c stratification level: 12649337
18.04/18.17	c bounds 13554723 >= -50 @ 17.8908
18.04/18.17	c stratification level: 12487168
18.13/18.28	c bounds 13519387 >= -50 @ 17.999
18.13/18.28	c stratification level: 12326391
18.24/18.34	c bounds 13510347 >= -50 @ 18.0599
18.24/18.34	c stratification level: 12167000
18.34/18.48	c bounds 13480803 >= -50 @ 18.1983
18.34/18.48	c stratification level: 12008989
22.03/22.11	c INPROCESSING
22.03/22.11	c GARBAGE COLLECT
22.03/22.11	c bounds 13467849 >= -50 @ 21.8065
22.03/22.11	c stratification level: 11852352
22.23/22.30	c #Conflicts:       5000 | #Constraints:      12134
22.23/22.30	c bounds 13463633 >= -50 @ 21.9884
22.23/22.30	c stratification level: 11697083
24.72/24.85	c bounds 13439343 >= -50 @ 24.5023
24.72/24.85	c stratification level: 11543176
25.92/26.05	c bounds 13377997 >= -50 @ 25.6979
25.92/26.05	c stratification level: 11390625
26.11/26.28	c bounds 13364017 >= -50 @ 25.9197
26.11/26.28	c stratification level: 11239424
26.22/26.35	c bounds 13353103 >= -50 @ 25.9877
26.22/26.35	c stratification level: 11089567
26.71/26.80	c bounds 13345063 >= -50 @ 26.4312
26.71/26.80	c stratification level: 10941048
27.11/27.20	c bounds 13327207 >= -50 @ 26.8312
27.11/27.20	c stratification level: 10793861
27.52/27.60	c bounds 13315735 >= -50 @ 27.23
27.52/27.60	c stratification level: 10648000
32.80/32.98	c #Conflicts:       6000 | #Constraints:      13142
32.80/32.98	c bounds 13313387 >= -50 @ 32.5622
32.80/32.98	c stratification level: 10503459
33.01/33.11	c bounds 13312417 >= -50 @ 32.6951
33.01/33.11	c stratification level: 10360232
33.60/33.75	c bounds 13311395 >= -50 @ 33.3232
33.60/33.75	c stratification level: 10218313
35.69/35.86	c bounds 13309141 >= -50 @ 35.4113
35.69/35.86	c stratification level: 10077696
36.09/36.24	c INPROCESSING
36.09/36.24	c GARBAGE COLLECT
36.09/36.24	c bounds 13308285 >= -50 @ 35.7889
36.09/36.24	c stratification level: 9938375
36.19/36.31	c bounds 13305497 >= -50 @ 35.8592
36.19/36.31	c stratification level: 9800344
36.19/36.35	c bounds 13304099 >= -50 @ 35.9077
36.19/36.35	c stratification level: 9663597
36.29/36.40	c bounds 13274345 >= -50 @ 35.9535
36.29/36.40	c stratification level: 9528128
36.39/36.57	c bounds 11897789 >= -50 @ 36.1244
36.39/36.57	c stratification level: 9393931
36.49/36.62	c bounds 11868035 >= -50 @ 36.171
36.49/36.62	c stratification level: 9261000
36.49/36.67	c bounds 11837905 >= -50 @ 36.2249
36.49/36.67	c stratification level: 9129329
36.59/36.74	c bounds 11827505 >= -50 @ 36.2893
36.59/36.74	c stratification level: 8998912
36.69/36.80	c bounds 11827007 >= -50 @ 36.3487
36.69/36.80	c stratification level: 8869743
36.69/36.87	c bounds 11819021 >= -50 @ 36.4182
36.69/36.87	c stratification level: 8741816
36.79/36.91	c bounds 11809067 >= -50 @ 36.4635
36.79/36.91	c stratification level: 8615125
36.79/36.96	c bounds 11797937 >= -50 @ 36.5128
36.79/36.96	c stratification level: 8489664
40.78/40.90	c #Conflicts:       7000 | #Constraints:      12126
40.78/40.90	c bounds 11390871 >= -50 @ 40.4192
40.78/40.90	c stratification level: 8365427
40.89/41.06	c bounds 11383037 >= -50 @ 40.5811
40.89/41.06	c stratification level: 8242408
40.99/41.18	c bounds 11377055 >= -50 @ 40.6962
40.99/41.18	c stratification level: 8120601
41.18/41.30	c bounds 11373769 >= -50 @ 40.8207
41.18/41.30	c stratification level: 8000000
41.28/41.48	c bounds 11256035 >= -50 @ 40.9956
41.28/41.48	c stratification level: 7880599
41.38/41.54	c bounds 11255585 >= -50 @ 41.0612
41.38/41.54	c stratification level: 7762392
41.88/42.08	c bounds 11235407 >= -50 @ 41.5897
41.88/42.08	c stratification level: 7645373
41.98/42.16	c bounds 11234183 >= -50 @ 41.6754
41.98/42.16	c stratification level: 7529536
42.17/42.30	c bounds 11233007 >= -50 @ 41.8164
42.17/42.30	c stratification level: 7414875
42.37/42.57	c bounds 11232077 >= -50 @ 42.0832
42.37/42.57	c stratification level: 7301384
42.47/42.64	c bounds 11223053 >= -50 @ 42.1535
42.47/42.64	c stratification level: 7189057
42.57/42.72	c bounds 11215853 >= -50 @ 42.2349
42.57/42.72	c stratification level: 7077888
42.57/42.79	c bounds 11215403 >= -50 @ 42.2969
42.57/42.79	c stratification level: 6967871
42.67/42.86	c bounds 11215253 >= -50 @ 42.366
42.67/42.86	c stratification level: 6859000
43.76/43.96	c bounds 11206545 >= -50 @ 43.4651
43.76/43.96	c stratification level: 6751269
43.88/44.05	c bounds 11197521 >= -50 @ 43.5476
43.88/44.05	c stratification level: 6644672
44.27/44.47	c bounds 11106831 >= -50 @ 43.9675
44.27/44.47	c stratification level: 6539203
44.37/44.57	c bounds 11106381 >= -50 @ 44.0694
44.37/44.57	c stratification level: 6434856
44.47/44.68	c bounds 11087279 >= -50 @ 44.1753
44.47/44.68	c stratification level: 6331625
44.57/44.75	c bounds 11078255 >= -50 @ 44.2527
44.57/44.75	c stratification level: 6229504
48.26/48.42	c #Conflicts:       8000 | #Constraints:      13146
48.26/48.42	c bounds 10979321 >= -50 @ 47.8994
48.26/48.42	c stratification level: 6128487
48.35/48.53	c bounds 10979171 >= -50 @ 48.0014
48.35/48.53	c stratification level: 6028568
48.55/48.74	c bounds 10976865 >= -50 @ 48.2112
48.55/48.74	c stratification level: 5929741
49.66/49.87	c bounds 10974903 >= -50 @ 49.3365
49.66/49.87	c stratification level: 5832000
49.75/49.99	c bounds 10969579 >= -50 @ 49.4583
49.75/49.99	c stratification level: 5735339
49.96/50.17	c bounds 10959027 >= -50 @ 49.6323
49.96/50.17	c stratification level: 5639752
50.05/50.26	c bounds 10949829 >= -50 @ 49.7214
50.05/50.26	c stratification level: 5545233
87.45/87.75	c #Conflicts:       9000 | #Constraints:      14153
87.45/87.75	c INPROCESSING
87.45/87.75	c GARBAGE COLLECT
87.45/87.75	c #Conflicts:      10000 | #Constraints:      12529
87.45/87.75	c #Conflicts:      11000 | #Constraints:      13529
87.45/87.75	c #Conflicts:      12000 | #Constraints:      14529
87.45/87.75	c INPROCESSING
87.45/87.75	c GARBAGE COLLECT
87.45/87.75	c bounds 9670653 >= -50 @ 86.9766
87.45/87.75	c stratification level: 5451776
87.65/87.97	c bounds 9667859 >= -50 @ 87.1902
87.65/87.97	c stratification level: 5359375
87.76/88.05	c bounds 9667757 >= -50 @ 87.2759
87.76/88.05	c stratification level: 5268024
89.14/89.42	c bounds 9630947 >= -50 @ 88.6333
89.14/89.42	c stratification level: 5177717
89.24/89.50	c bounds 9613099 >= -50 @ 88.7159
89.24/89.50	c stratification level: 5088448
89.24/89.59	c bounds 9605977 >= -50 @ 88.7963
89.24/89.59	c stratification level: 5000211
89.34/89.68	c bounds 9604377 >= -50 @ 88.8866
89.34/89.68	c stratification level: 4913000
89.55/89.82	c bounds 9604369 >= -50 @ 89.0233
89.55/89.82	c stratification level: 4826809
90.04/90.37	c bounds 9600675 >= -50 @ 89.5781
90.04/90.37	c stratification level: 4741632
90.15/90.49	c bounds 9558361 >= -50 @ 89.6961
90.15/90.49	c stratification level: 4657463
90.24/90.58	c bounds 9556761 >= -50 @ 89.7876
90.24/90.58	c stratification level: 4574296
90.34/90.68	c bounds 9545323 >= -50 @ 89.8778
90.34/90.68	c stratification level: 4492125
90.64/90.95	c bounds 9526351 >= -50 @ 90.1531
90.64/90.95	c stratification level: 4410944
114.47/114.87	c #Conflicts:      13000 | #Constraints:      12998
114.47/114.87	c #Conflicts:      14000 | #Constraints:      13998
114.47/114.87	c #Conflicts:      15000 | #Constraints:      14998
114.47/114.87	c INPROCESSING
114.47/114.87	c GARBAGE COLLECT
114.47/114.87	c bounds 9430111 >= -50 @ 113.932
114.47/114.87	c stratification level: 4330747
114.57/115.00	c bounds 9425705 >= -50 @ 114.062
114.57/115.00	c stratification level: 4251528
114.78/115.12	c bounds 9403193 >= -50 @ 114.18
114.78/115.12	c stratification level: 4173281
114.87/115.27	c bounds 9397561 >= -50 @ 114.333
114.87/115.27	c stratification level: 4096000
115.07/115.46	c bounds 9396491 >= -50 @ 114.521
115.07/115.46	c stratification level: 4019679
115.27/115.60	c bounds 9390265 >= -50 @ 114.658
115.27/115.60	c stratification level: 3944312
115.67/116.07	c bounds 9381833 >= -50 @ 115.124
115.67/116.07	c stratification level: 3869893
120.56/120.99	c #Conflicts:      16000 | #Constraints:      13059
120.56/120.99	c bounds 9380215 >= -50 @ 120.024
120.56/120.99	c stratification level: 3796416
122.36/122.75	c bounds 9337191 >= -50 @ 121.779
122.36/122.75	c stratification level: 3723875
122.66/123.06	c bounds 9318839 >= -50 @ 122.081
122.66/123.06	c stratification level: 3652264
144.99/145.46	c #Conflicts:      17000 | #Constraints:      14062
144.99/145.46	c #Conflicts:      18000 | #Constraints:      15062
144.99/145.46	c INPROCESSING
144.99/145.46	c GARBAGE COLLECT
144.99/145.46	c #Conflicts:      19000 | #Constraints:      13038
144.99/145.46	c bounds 9008103 >= -50 @ 144.367
144.99/145.46	c stratification level: 3581577
145.19/145.62	c bounds 9000073 >= -50 @ 144.523
145.19/145.62	c stratification level: 3511808
145.29/145.78	c bounds 8982421 >= -50 @ 144.685
145.29/145.78	c stratification level: 3442951
145.59/146.02	c bounds 8946745 >= -50 @ 144.915
145.59/146.02	c stratification level: 3375000
145.79/146.29	c bounds 8901969 >= -50 @ 145.186
145.79/146.29	c stratification level: 3307949
147.79/148.25	c bounds 8327981 >= -50 @ 147.139
147.79/148.25	c stratification level: 3241792
147.98/148.49	c bounds 8325643 >= -50 @ 147.377
147.98/148.49	c stratification level: 3176523
148.18/148.65	c bounds 8313301 >= -50 @ 147.529
148.18/148.65	c stratification level: 3112136
148.78/149.21	c bounds 8300561 >= -50 @ 148.089
148.78/149.21	c stratification level: 3048625
150.58/151.06	c bounds 8141395 >= -50 @ 149.935
150.58/151.06	c stratification level: 2985984
151.57/152.04	c #Conflicts:      20000 | #Constraints:      14048
151.57/152.04	c bounds 8126641 >= -50 @ 150.907
151.57/152.04	c stratification level: 2924207
151.77/152.23	c bounds 8125359 >= -50 @ 151.088
151.77/152.23	c stratification level: 2863288
152.37/152.89	c bounds 8124583 >= -50 @ 151.751
152.37/152.89	c stratification level: 2803221
152.57/153.06	c bounds 8113293 >= -50 @ 151.918
152.57/153.06	c stratification level: 2744000
156.95/157.46	c bounds 7275377 >= -50 @ 156.295
156.95/157.46	c stratification level: 2685619
157.15/157.63	c bounds 7268049 >= -50 @ 156.459
157.15/157.63	c stratification level: 2628072
157.35/157.82	c bounds 7267293 >= -50 @ 156.647
157.35/157.82	c stratification level: 2571353
157.45/157.97	c bounds 7246295 >= -50 @ 156.796
157.45/157.97	c stratification level: 2515456
157.66/158.18	c bounds 7205029 >= -50 @ 157.004
157.66/158.18	c stratification level: 2460375
158.15/158.64	c bounds 7199895 >= -50 @ 157.461
158.15/158.64	c stratification level: 2406104
158.25/158.79	c bounds 7190501 >= -50 @ 157.614
158.25/158.79	c stratification level: 2352637
158.45/158.94	c bounds 7129461 >= -50 @ 157.76
158.45/158.94	c stratification level: 2299968
160.65/161.19	c bounds 7110839 >= -50 @ 159.995
160.65/161.19	c stratification level: 2248091
161.25/161.73	c bounds 7098697 >= -50 @ 160.532
161.25/161.73	c stratification level: 2197000
161.34/161.88	c bounds 7095543 >= -50 @ 160.689
161.34/161.88	c stratification level: 2146689
161.65/162.10	c bounds 7082791 >= -50 @ 160.907
161.65/162.10	c stratification level: 2097152
174.51/175.09	c #Conflicts:      21000 | #Constraints:      15064
174.51/175.09	c INPROCESSING
174.51/175.09	c GARBAGE COLLECT
174.51/175.09	c #Conflicts:      22000 | #Constraints:      12463
174.51/175.09	c bounds 7081713 >= -50 @ 173.823
174.51/175.09	c stratification level: 2048383
174.71/175.20	c bounds 7081475 >= -50 @ 173.938
174.71/175.20	c stratification level: 2000376
174.91/175.47	c bounds 7076783 >= -50 @ 174.204
174.91/175.47	c stratification level: 1953125
175.30/175.84	c bounds 7063273 >= -50 @ 174.576
175.30/175.84	c stratification level: 1906624
175.40/175.97	c bounds 7045187 >= -50 @ 174.697
175.40/175.97	c stratification level: 1860867
175.51/176.08	c bounds 7044451 >= -50 @ 174.806
175.51/176.08	c stratification level: 1815848
184.77/185.38	c #Conflicts:      23000 | #Constraints:      13469
184.77/185.38	c bounds 7042939 >= -50 @ 184.063
184.77/185.38	c stratification level: 1771561
185.08/185.67	c bounds 7020613 >= -50 @ 184.349
185.08/185.67	c stratification level: 1728000
185.58/186.15	c #Conflicts:      24000 | #Constraints:      14471
185.58/186.15	c bounds 7011615 >= -50 @ 184.83
185.58/186.15	c stratification level: 1685159
186.48/187.01	c bounds 7008635 >= -50 @ 185.679
186.48/187.01	c stratification level: 1643032
186.58/187.19	c bounds 7001645 >= -50 @ 185.863
186.58/187.19	c stratification level: 1601613
192.75/193.30	c bounds 6985815 >= -50 @ 191.937
192.75/193.30	c stratification level: 1560896
192.95/193.55	c bounds 6983285 >= -50 @ 192.187
192.95/193.55	c stratification level: 1520875
193.65/194.25	c bounds 6964269 >= -50 @ 192.89
193.65/194.25	c stratification level: 1481544
195.15/195.70	c bounds 6964101 >= -50 @ 194.332
195.15/195.70	c stratification level: 1442897
226.66/227.37	c #Conflicts:      25000 | #Constraints:      15478
226.66/227.37	c INPROCESSING
226.66/227.37	c GARBAGE COLLECT
226.66/227.37	c #Conflicts:      26000 | #Constraints:      13081
226.66/227.37	c #Conflicts:      27000 | #Constraints:      14081
226.66/227.37	c #Conflicts:      28000 | #Constraints:      15081
226.66/227.37	c bounds 6920677 >= -50 @ 225.848
226.66/227.37	c stratification level: 1404928
226.96/227.65	c bounds 6914393 >= -50 @ 226.127
226.96/227.65	c stratification level: 1367631
227.15/227.89	c bounds 6907833 >= -50 @ 226.368
227.15/227.89	c stratification level: 1331000
227.36/228.07	c bounds 6903769 >= -50 @ 226.539
227.36/228.07	c stratification level: 1295029
227.56/228.24	c bounds 6899619 >= -50 @ 226.709
227.56/228.24	c stratification level: 1259712
228.16/228.82	c bounds 6871639 >= -50 @ 227.283
228.16/228.82	c stratification level: 1225043
228.26/228.98	c bounds 6867575 >= -50 @ 227.445
228.26/228.98	c stratification level: 1191016
228.65/229.34	c bounds 5769711 >= -50 @ 227.801
228.65/229.34	c stratification level: 1157625
228.86/229.52	c bounds 5769625 >= -50 @ 227.979
228.86/229.52	c stratification level: 1124864
230.25/230.97	c bounds 5767487 >= -50 @ 229.421
230.25/230.97	c stratification level: 1092727
230.55/231.24	c bounds 5738997 >= -50 @ 229.685
230.55/231.24	c stratification level: 1061208
230.75/231.41	c bounds 5738911 >= -50 @ 229.856
230.75/231.41	c stratification level: 1030301
231.15/231.86	c bounds 5737881 >= -50 @ 230.304
231.15/231.86	c stratification level: 1000000
231.35/232.03	c bounds 5733817 >= -50 @ 230.474
231.35/232.03	c stratification level: 970299
231.54/232.20	c bounds 5724137 >= -50 @ 230.643
231.54/232.20	c stratification level: 941192
232.55/233.29	c bounds 5702643 >= -50 @ 231.732
232.55/233.29	c stratification level: 912673
232.85/233.56	c bounds 5686713 >= -50 @ 231.997
232.85/233.56	c stratification level: 884736
233.04/233.73	c bounds 5682563 >= -50 @ 232.164
233.04/233.73	c stratification level: 857375
233.24/233.98	c bounds 5680441 >= -50 @ 232.411
233.24/233.98	c stratification level: 830584
240.92/241.65	c #Conflicts:      29000 | #Constraints:      16100
240.92/241.65	c INPROCESSING
240.92/241.65	c GARBAGE COLLECT
240.92/241.65	c bounds 5633097 >= -50 @ 240.024
240.92/241.65	c stratification level: 804357
241.12/241.82	c bounds 5630975 >= -50 @ 240.194
241.12/241.82	c stratification level: 778688
241.22/241.99	c bounds 5630889 >= -50 @ 240.36
241.22/241.99	c stratification level: 729000
245.70/246.46	c #Conflicts:      30000 | #Constraints:      13287
245.70/246.46	c bounds 5118965 >= -50 @ 244.811
245.70/246.46	c stratification level: 704969
245.91/246.60	c bounds 5103839 >= -50 @ 244.953
245.91/246.60	c stratification level: 681472
246.21/246.98	c bounds 5101525 >= -50 @ 245.331
246.21/246.98	c stratification level: 658503
246.42/247.10	c bounds 5100469 >= -50 @ 245.455
246.42/247.10	c stratification level: 636056
248.41/249.17	c bounds 4335395 >= -50 @ 247.506
248.41/249.17	c stratification level: 614125
248.60/249.38	c bounds 4334609 >= -50 @ 247.708
248.60/249.38	c stratification level: 592704
249.20/249.97	c bounds 4317671 >= -50 @ 248.297
249.20/249.97	c stratification level: 571787
249.30/250.08	c bounds 4300011 >= -50 @ 248.404
249.30/250.08	c stratification level: 551368
249.50/250.21	c bounds 4298187 >= -50 @ 248.536
249.50/250.21	c stratification level: 531441
249.60/250.38	c bounds 4295457 >= -50 @ 248.709
249.60/250.38	c stratification level: 512000
249.90/250.61	c bounds 4292843 >= -50 @ 248.934
249.90/250.61	c stratification level: 493039
250.00/250.73	c bounds 4286837 >= -50 @ 249.049
250.00/250.73	c stratification level: 474552
250.20/250.92	c bounds 4284797 >= -50 @ 249.235
250.20/250.92	c stratification level: 456533
250.30/251.02	c bounds 4283877 >= -50 @ 249.337
250.30/251.02	c stratification level: 421875
250.49/251.29	c bounds 4265781 >= -50 @ 249.605
250.49/251.29	c stratification level: 405224
250.69/251.46	c bounds 4252763 >= -50 @ 249.779
250.69/251.46	c stratification level: 389017
250.99/251.74	c bounds 4252149 >= -50 @ 250.056
250.99/251.74	c stratification level: 373248
256.47/257.23	c #Conflicts:      31000 | #Constraints:      14304
256.47/257.23	c bounds 4208439 >= -50 @ 255.518
256.47/257.23	c stratification level: 357911
256.57/257.39	c bounds 4199159 >= -50 @ 255.671
256.57/257.39	c stratification level: 328509
256.77/257.56	c bounds 4197775 >= -50 @ 255.845
256.77/257.56	c stratification level: 314432
256.97/257.72	c bounds 4053215 >= -50 @ 255.997
256.97/257.72	c stratification level: 300763
257.07/257.87	c bounds 4042349 >= -50 @ 256.149
257.07/257.87	c stratification level: 287496
262.86/263.66	c #Conflicts:      32000 | #Constraints:      15309
262.86/263.66	c bounds 4006651 >= -50 @ 261.913
262.86/263.66	c stratification level: 278784
263.06/263.82	c bounds 3996109 >= -50 @ 262.068
263.06/263.82	c stratification level: 274625
263.46/264.29	c bounds 3985877 >= -50 @ 262.534
263.46/264.29	c stratification level: 262144
263.75/264.58	c bounds 3979301 >= -50 @ 262.821
263.75/264.58	c stratification level: 250047
263.96/264.75	c bounds 3963947 >= -50 @ 262.989
263.96/264.75	c stratification level: 246016
264.56/265.37	c bounds 3960799 >= -50 @ 263.609
264.56/265.37	c stratification level: 244036
306.74/307.68	c #Conflicts:      33000 | #Constraints:      16315
306.74/307.68	c INPROCESSING
306.74/307.68	c GARBAGE COLLECT
306.74/307.68	c #Conflicts:      34000 | #Constraints:      13038
306.74/307.68	c #Conflicts:      35000 | #Constraints:      14038
306.74/307.68	c #Conflicts:      36000 | #Constraints:      15038
306.74/307.68	c #Conflicts:      37000 | #Constraints:      16038
306.74/307.68	c INPROCESSING
306.74/307.68	c GARBAGE COLLECT
306.74/307.68	c #Conflicts:      38000 | #Constraints:      13053
306.74/307.68	c bounds 3958779 >= -50 @ 305.676
306.74/307.68	c stratification level: 239121
314.91/315.80	c #Conflicts:      39000 | #Constraints:      14054
314.91/315.80	c bounds 3956675 >= -50 @ 313.75
314.91/315.80	c stratification level: 238328
315.01/315.96	c bounds 3953297 >= -50 @ 313.911
315.01/315.96	c stratification level: 238144
315.41/316.34	c bounds 3952777 >= -50 @ 314.286
315.41/316.34	c stratification level: 234256
320.39/321.31	c #Conflicts:      40000 | #Constraints:      15057
320.39/321.31	c bounds 3949477 >= -50 @ 319.229
320.39/321.31	c stratification level: 226981
320.50/321.49	c bounds 3948957 >= -50 @ 319.41
320.50/321.49	c stratification level: 224676
321.10/322.02	c bounds 3941491 >= -50 @ 319.939
321.10/322.02	c stratification level: 221841
325.59/326.58	c bounds 3931921 >= -50 @ 324.474
325.59/326.58	c stratification level: 218089
331.08/332.09	c #Conflicts:      41000 | #Constraints:      16061
331.08/332.09	c bounds 3927415 >= -50 @ 329.954
331.08/332.09	c stratification level: 216225
331.87/332.84	c bounds 3920487 >= -50 @ 330.696
331.87/332.84	c stratification level: 216000
335.76/336.76	c INPROCESSING
335.76/336.76	c GARBAGE COLLECT
335.76/336.76	c bounds 3845651 >= -50 @ 334.601
335.76/336.76	c stratification level: 213444
337.95/338.94	c #Conflicts:      42000 | #Constraints:      12846
337.95/338.94	c bounds 3844185 >= -50 @ 336.759
337.95/338.94	c stratification level: 212521
340.05/341.10	c bounds 3840233 >= -50 @ 338.908
340.05/341.10	c stratification level: 207936
341.44/342.45	c bounds 3839455 >= -50 @ 340.251
341.44/342.45	c stratification level: 207025
341.54/342.59	c bounds 3838731 >= -50 @ 340.39
341.54/342.59	c stratification level: 205379
341.74/342.72	c bounds 3833665 >= -50 @ 340.524
341.74/342.72	c stratification level: 204304
354.91/355.93	c #Conflicts:      43000 | #Constraints:      13851
354.91/355.93	c #Conflicts:      44000 | #Constraints:      14851
354.91/355.93	c bounds 3831567 >= -50 @ 353.678
354.91/355.93	c stratification level: 203401
357.79/358.84	c bounds 3829177 >= -50 @ 356.569
357.79/358.84	c stratification level: 200704
374.44/375.59	c #Conflicts:      45000 | #Constraints:      15853
374.44/375.59	c #Conflicts:      46000 | #Constraints:      16853
374.44/375.59	c INPROCESSING
374.44/375.59	c GARBAGE COLLECT
374.44/375.59	c bounds 3822375 >= -50 @ 373.234
374.44/375.59	c stratification level: 199809
375.55/376.69	c bounds 3821947 >= -50 @ 374.329
375.55/376.69	c stratification level: 198916
375.75/376.83	c bounds 3821653 >= -50 @ 374.463
375.75/376.83	c stratification level: 197136
375.95/377.01	c bounds 3801243 >= -50 @ 374.646
375.95/377.01	c stratification level: 195364
376.05/377.13	c bounds 3795993 >= -50 @ 374.759
376.05/377.13	c stratification level: 195112
376.14/377.24	c bounds 3795531 >= -50 @ 374.871
376.14/377.24	c stratification level: 194481
376.24/377.35	c bounds 3795237 >= -50 @ 374.98
376.24/377.35	c stratification level: 190969
376.34/377.49	c bounds 3786449 >= -50 @ 375.123
376.34/377.49	c stratification level: 190096
376.54/377.61	c bounds 3780737 >= -50 @ 375.236
376.54/377.61	c stratification level: 189225
376.64/377.72	c bounds 3775487 >= -50 @ 375.345
376.64/377.72	c stratification level: 188356
376.74/377.83	c bounds 3775193 >= -50 @ 375.457
376.74/377.83	c stratification level: 185761
376.84/377.95	c bounds 3774731 >= -50 @ 375.572
376.84/377.95	c stratification level: 185193
376.95/378.07	c bounds 3772071 >= -50 @ 375.695
376.95/378.07	c stratification level: 184900
377.05/378.19	c bounds 3771767 >= -50 @ 375.809
377.05/378.19	c stratification level: 184041
377.64/378.70	c #Conflicts:      47000 | #Constraints:      13435
377.64/378.70	c bounds 3771051 >= -50 @ 376.317
377.64/378.70	c stratification level: 180625
377.74/378.81	c bounds 3770561 >= -50 @ 376.431
377.74/378.81	c stratification level: 179776
378.04/379.19	c bounds 3767633 >= -50 @ 376.808
378.04/379.19	c stratification level: 178929
378.33/379.41	c bounds 3764209 >= -50 @ 377.022
378.33/379.41	c stratification level: 177241
378.63/379.74	c bounds 3753809 >= -50 @ 377.354
378.63/379.74	c stratification level: 175616
378.73/379.88	c bounds 3748559 >= -50 @ 377.489
378.73/379.88	c stratification level: 175561
378.94/380.09	c bounds 3746487 >= -50 @ 377.696
378.94/380.09	c stratification level: 173056
379.14/380.24	c bounds 3743337 >= -50 @ 377.846
379.14/380.24	c stratification level: 171396
380.83/381.98	c bounds 3738537 >= -50 @ 379.577
380.83/381.98	c stratification level: 168100
381.04/382.12	c bounds 3727701 >= -50 @ 379.717
381.04/382.12	c stratification level: 167281
381.13/382.26	c bounds 3724551 >= -50 @ 379.849
381.13/382.26	c stratification level: 166464
381.33/382.41	c bounds 3722689 >= -50 @ 380.002
381.33/382.41	c stratification level: 166375
383.03/384.16	c bounds 3720003 >= -50 @ 381.742
383.03/384.16	c stratification level: 165649
383.62/384.73	c bounds 3710919 >= -50 @ 382.307
383.62/384.73	c stratification level: 164836
383.83/384.95	c bounds 3706457 >= -50 @ 382.525
383.83/384.95	c stratification level: 162409
440.76/442.04	c #Conflicts:      48000 | #Constraints:      14450
440.76/442.04	c #Conflicts:      49000 | #Constraints:      15450
440.76/442.04	c #Conflicts:      50000 | #Constraints:      16450
440.76/442.04	c bounds 3706373 >= -50 @ 439.27
440.76/442.04	c stratification level: 160000
440.95/442.26	c bounds 3703223 >= -50 @ 439.497
440.95/442.26	c stratification level: 158404
455.61/456.90	c #Conflicts:      51000 | #Constraints:      17452
455.61/456.90	c INPROCESSING
455.61/456.90	c GARBAGE COLLECT
455.61/456.90	c #Conflicts:      52000 | #Constraints:      13779
455.61/456.90	c bounds 3685273 >= -50 @ 454.061
455.61/456.90	c stratification level: 157609
455.72/457.04	c bounds 3684661 >= -50 @ 454.2
455.72/457.04	c stratification level: 157464
456.01/457.32	c bounds 3683959 >= -50 @ 454.483
456.01/457.32	c stratification level: 156816
456.11/457.46	c bounds 3681493 >= -50 @ 454.62
456.11/457.46	c stratification level: 156025
456.32/457.68	c bounds 3680897 >= -50 @ 454.842
456.32/457.68	c stratification level: 153664
456.52/457.82	c bounds 3680407 >= -50 @ 454.982
456.52/457.82	c stratification level: 152881
456.62/457.96	c bounds 3677941 >= -50 @ 455.118
456.62/457.96	c stratification level: 152100
459.31/460.69	c bounds 3673549 >= -50 @ 457.827
459.31/460.69	c stratification level: 151321
479.05/480.48	c #Conflicts:      53000 | #Constraints:      14787
479.05/480.48	c bounds 3647245 >= -50 @ 477.515
479.05/480.48	c stratification level: 150544
527.91/529.40	c #Conflicts:      54000 | #Constraints:      15788
527.91/529.40	c #Conflicts:      55000 | #Constraints:      16788
527.91/529.40	c #Conflicts:      56000 | #Constraints:      17788
527.91/529.40	c INPROCESSING
527.91/529.40	c GARBAGE COLLECT
527.91/529.40	c #Conflicts:      57000 | #Constraints:      13960
527.91/529.40	c bounds 3644123 >= -50 @ 526.186
527.91/529.40	c stratification level: 149769
534.79/536.39	c #Conflicts:      58000 | #Constraints:      14961
534.79/536.39	c bounds 3633435 >= -50 @ 533.141
534.79/536.39	c stratification level: 148996
535.19/536.74	c bounds 3630497 >= -50 @ 533.494
535.19/536.74	c stratification level: 148225
539.49/541.05	c bounds 3629883 >= -50 @ 537.784
539.49/541.05	c stratification level: 147456
560.62/562.29	c #Conflicts:      59000 | #Constraints:      15964
560.62/562.29	c #Conflicts:      60000 | #Constraints:      16964
560.62/562.29	c bounds 3629305 >= -50 @ 558.926
560.62/562.29	c stratification level: 146689
560.92/562.56	c bounds 3628815 >= -50 @ 559.188
560.92/562.56	c stratification level: 145924
577.07/578.71	c #Conflicts:      61000 | #Constraints:      17966
577.07/578.71	c INPROCESSING
577.07/578.71	c GARBAGE COLLECT
577.07/578.71	c #Conflicts:      62000 | #Constraints:      13965
577.07/578.71	c bounds 3621281 >= -50 @ 575.262
577.07/578.71	c stratification level: 145161
588.35/590.06	c #Conflicts:      63000 | #Constraints:      14966
588.35/590.06	c bounds 3619451 >= -50 @ 586.567
588.35/590.06	c stratification level: 144400
592.54/594.21	c #Conflicts:      64000 | #Constraints:      15967
592.54/594.21	c bounds 3618651 >= -50 @ 590.699
592.54/594.21	c stratification level: 142884
592.93/594.69	c bounds 3618413 >= -50 @ 591.176
592.93/594.69	c stratification level: 142129
593.13/594.90	c bounds 3617923 >= -50 @ 591.378
593.13/594.90	c stratification level: 141376
593.53/595.26	c bounds 3616635 >= -50 @ 591.745
593.53/595.26	c stratification level: 140625
598.42/600.11	c bounds 3605415 >= -50 @ 596.572
598.42/600.11	c stratification level: 140608
603.31/605.03	c #Conflicts:      65000 | #Constraints:      16972
603.31/605.03	c bounds 3605331 >= -50 @ 601.465
603.31/605.03	c stratification level: 139876
604.00/605.79	c bounds 3602997 >= -50 @ 602.223
604.00/605.79	c stratification level: 139129
604.31/606.03	c bounds 3600531 >= -50 @ 602.467
604.31/606.03	c stratification level: 138384
604.90/606.63	c bounds 3597453 >= -50 @ 603.063
604.90/606.63	c stratification level: 137641
648.08/649.91	c #Conflicts:      66000 | #Constraints:      17976
648.08/649.91	c INPROCESSING
648.08/649.91	c GARBAGE COLLECT
648.08/649.91	c #Conflicts:      67000 | #Constraints:      13761
648.08/649.91	c #Conflicts:      68000 | #Constraints:      14761
648.08/649.91	c bounds 3594619 >= -50 @ 646.149
648.08/649.91	c stratification level: 136900
648.29/650.13	c bounds 3593997 >= -50 @ 646.376
648.29/650.13	c stratification level: 136161
648.88/650.74	c bounds 3589407 >= -50 @ 646.98
648.88/650.74	c stratification level: 135424
649.08/650.98	c bounds 3588621 >= -50 @ 647.215
649.08/650.98	c stratification level: 134689
649.87/651.76	c bounds 3586289 >= -50 @ 647.987
649.87/651.76	c stratification level: 133956
650.07/651.99	c bounds 3586139 >= -50 @ 648.216
650.07/651.99	c stratification level: 133225
679.99/681.96	c #Conflicts:      69000 | #Constraints:      15767
679.99/681.96	c #Conflicts:      70000 | #Constraints:      16767
679.99/681.96	c #Conflicts:      71000 | #Constraints:      17767
679.99/681.96	c bounds 3583211 >= -50 @ 678.069
679.99/681.96	c stratification level: 132496
680.39/682.31	c bounds 3582537 >= -50 @ 678.426
680.39/682.31	c stratification level: 131769
707.12/709.11	c #Conflicts:      72000 | #Constraints:      18769
707.12/709.11	c INPROCESSING
707.12/709.11	c GARBAGE COLLECT
707.12/709.11	c bounds 3582103 >= -50 @ 705.108
707.12/709.11	c stratification level: 131044
707.21/709.26	c bounds 3580815 >= -50 @ 705.252
707.21/709.26	c stratification level: 130321
707.42/709.42	c bounds 3580087 >= -50 @ 705.411
707.42/709.42	c stratification level: 129600
719.08/721.14	c #Conflicts:      73000 | #Constraints:      14368
719.08/721.14	c bounds 3578455 >= -50 @ 717.074
719.08/721.14	c stratification level: 128881
719.28/721.36	c bounds 3577841 >= -50 @ 717.3
719.28/721.36	c stratification level: 128164
799.95/802.20	c #Conflicts:      74000 | #Constraints:      15370
799.95/802.20	c #Conflicts:      75000 | #Constraints:      16370
799.95/802.20	c #Conflicts:      76000 | #Constraints:      17370
799.95/802.20	c #Conflicts:      77000 | #Constraints:      18370
799.95/802.20	c bounds 3577517 >= -50 @ 797.787
799.95/802.20	c stratification level: 127449
800.54/802.80	c bounds 3577149 >= -50 @ 798.385
800.54/802.80	c stratification level: 126736
800.85/803.19	c bounds 3576843 >= -50 @ 798.775
800.85/803.19	c stratification level: 126025
801.24/803.55	c bounds 3576229 >= -50 @ 799.128
801.24/803.55	c stratification level: 125316
805.93/808.21	c bounds 3575715 >= -50 @ 803.764
805.93/808.21	c stratification level: 125000
806.43/808.73	c bounds 3575339 >= -50 @ 804.279
806.43/808.73	c stratification level: 124609
806.83/809.11	c bounds 3574849 >= -50 @ 804.661
806.83/809.11	c stratification level: 123904
807.13/809.48	c bounds 3574235 >= -50 @ 805.02
807.13/809.48	c stratification level: 123201
808.42/810.74	c bounds 3573507 >= -50 @ 806.284
808.42/810.74	c stratification level: 122500
816.70/819.00	c bounds 3573315 >= -50 @ 814.507
816.70/819.00	c stratification level: 121104
819.59/821.96	c bounds 3573077 >= -50 @ 817.449
819.59/821.96	c stratification level: 120409
819.98/822.34	c bounds 3572587 >= -50 @ 817.828
819.98/822.34	c stratification level: 119716
820.48/822.81	c bounds 3571613 >= -50 @ 818.294
820.48/822.81	c stratification level: 119025
820.79/823.19	c bounds 3570999 >= -50 @ 818.672
820.79/823.19	c stratification level: 118336
821.19/823.56	c bounds 3570509 >= -50 @ 819.042
821.19/823.56	c stratification level: 117649
825.86/828.25	c bounds 3567571 >= -50 @ 823.709
825.86/828.25	c stratification level: 116964
826.27/828.68	c bounds 3566957 >= -50 @ 824.13
826.27/828.68	c stratification level: 116281
903.05/905.63	c #Conflicts:      78000 | #Constraints:      19387
903.05/905.63	c INPROCESSING
903.05/905.63	c GARBAGE COLLECT
903.05/905.63	c #Conflicts:      79000 | #Constraints:      14741
903.05/905.63	c #Conflicts:      80000 | #Constraints:      15741
903.05/905.63	c #Conflicts:      81000 | #Constraints:      16741
903.05/905.63	c #Conflicts:      82000 | #Constraints:      17741
903.05/905.63	c #Conflicts:      83000 | #Constraints:      18741
903.05/905.63	c bounds 3564883 >= -50 @ 900.75
903.05/905.63	c stratification level: 115600
903.45/906.02	c bounds 3561731 >= -50 @ 901.136
903.45/906.02	c stratification level: 114921
904.34/906.90	c bounds 3547189 >= -50 @ 902.01
904.34/906.90	c stratification level: 114244
923.69/926.37	c #Conflicts:      84000 | #Constraints:      19744
923.69/926.37	c INPROCESSING
923.69/926.37	c GARBAGE COLLECT
923.69/926.37	c bounds 3545097 >= -50 @ 921.394
923.69/926.37	c stratification level: 113569
938.35/941.00	c #Conflicts:      85000 | #Constraints:      14941
938.35/941.00	c bounds 3541323 >= -50 @ 935.954
938.35/941.00	c stratification level: 112896
949.52/952.27	c #Conflicts:      86000 | #Constraints:      15942
949.52/952.27	c bounds 3540659 >= -50 @ 947.161
949.52/952.27	c stratification level: 112225
949.82/952.52	c bounds 3539985 >= -50 @ 947.414
949.82/952.52	c stratification level: 111556
950.32/953.08	c bounds 3539085 >= -50 @ 947.969
950.32/953.08	c stratification level: 110889
952.01/954.72	c bounds 3538581 >= -50 @ 949.596
952.01/954.72	c stratification level: 110592
952.31/955.04	c bounds 3518609 >= -50 @ 949.916
952.31/955.04	c stratification level: 110224
952.61/955.36	c bounds 3495795 >= -50 @ 950.242
952.61/955.36	c stratification level: 109561
952.90/955.62	c bounds 3495121 >= -50 @ 950.492
952.90/955.62	c stratification level: 108900
953.20/955.99	c bounds 3490633 >= -50 @ 950.863
953.20/955.99	c stratification level: 108241
953.70/956.46	c bounds 3487879 >= -50 @ 951.335
953.70/956.46	c stratification level: 107584
954.01/956.75	c bounds 3464217 >= -50 @ 951.621
954.01/956.75	c stratification level: 106929
954.31/957.02	c bounds 3461065 >= -50 @ 951.883
954.31/957.02	c stratification level: 106276
998.47/1001.38	c #Conflicts:      87000 | #Constraints:      16953
998.47/1001.38	c #Conflicts:      88000 | #Constraints:      17953
998.47/1001.38	c bounds 3457079 >= -50 @ 996.061
998.47/1001.38	c stratification level: 105625
998.87/1001.77	c bounds 3454923 >= -50 @ 996.456
998.87/1001.77	c stratification level: 104976
1028.99/1031.91	c bounds 3454923 >= 104926 @ 997.538
1028.99/1031.91	c #Conflicts:      89000 | #Constraints:      18957
1028.99/1031.91	c bounds 3454923 >= 209902 @ 1004.7
1028.99/1031.91	c #Conflicts:      90000 | #Constraints:      19958
1028.99/1031.91	c INPROCESSING
1028.99/1031.91	c GARBAGE COLLECT
1028.99/1031.91	c finalizing WCE round: reformulating cores

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503786-1751431447/watcher-4503786-1751431447 -o /tmp/evaluation-result-4503786-1751431447/solver-4503786-1751431447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64436 --watchdog 3760 pb-oll-rs HOME/instance-4503786-1751431447.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=65399, runsolver pid=65396

[startup+0.100065 s]*
/proc/loadavg: 4.09 4.12 4.09 5/264 65400
/proc/meminfo: memFree=123077536/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=22268 memory=8596 CPUtime=0.09 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 1234 0 0 0 8 1 0 0 20 0 1 0 58822438 22802432 2149 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 5567 2149 1312 243 0 1816 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22268 KiB
Current children cumulated memory: 8596 KiB

[startup+0.205758 s]*
/proc/loadavg: 4.09 4.12 4.09 5/264 65400
/proc/meminfo: memFree=123069408/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=22268 memory=8852 CPUtime=0.19 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 1280 0 0 0 18 1 0 0 20 0 1 0 58822438 22802432 2213 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 5567 2213 1312 243 0 1816 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22268 KiB
Current children cumulated memory: 8852 KiB

[startup+0.305672 s]*
/proc/loadavg: 4.09 4.12 4.09 5/264 65400
/proc/meminfo: memFree=123069408/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=23648 memory=10900 CPUtime=0.29 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 1804 0 0 0 28 1 0 0 20 0 1 0 58822438 24215552 2725 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 5912 2725 1312 243 0 2161 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 23648 KiB
Current children cumulated memory: 10900 KiB

[startup+0.700179 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 65400
/proc/meminfo: memFree=123069660/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=27644 memory=17504 CPUtime=0.68 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 2936 0 0 0 66 2 0 0 20 0 1 0 58822438 28307456 4376 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 6911 4376 1312 243 0 3160 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27644 KiB
Current children cumulated memory: 17504 KiB

[startup+1.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 65400
/proc/meminfo: memFree=123053720/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=54208 memory=37936 CPUtime=1.48 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 7538 0 0 0 144 4 0 0 20 0 1 0 58822438 55508992 9484 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 13552 9484 1312 243 0 9801 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54208 KiB
Current children cumulated memory: 37936 KiB

[startup+3.10557 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 65400
/proc/meminfo: memFree=122896332/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=83668 memory=68808 CPUtime=3.09 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 12699 0 0 0 301 8 0 0 20 0 1 0 58822438 85676032 17202 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 20917 17202 1312 243 0 17166 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 83668 KiB
Current children cumulated memory: 68808 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 65445
/proc/meminfo: memFree=122761568/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=136024 memory=119216 CPUtime=6.27 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 20703 0 0 0 614 13 0 0 20 0 1 0 58822438 139288576 29804 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 34006 29804 1312 243 0 30255 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 136024 KiB
Current children cumulated memory: 119216 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 65446
/proc/meminfo: memFree=122372548/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=179892 memory=149288 CPUtime=12.65 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 25147 0 0 0 1247 18 0 0 20 0 1 0 58822438 184209408 37322 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 44973 37322 1312 243 0 41222 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 179892 KiB
Current children cumulated memory: 149288 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 65447
/proc/meminfo: memFree=121855780/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=234180 memory=202416 CPUtime=25.42 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 35893 0 0 0 2514 28 0 0 20 0 1 0 58822438 239800320 50604 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 58545 50604 1312 243 0 54794 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 234180 KiB
Current children cumulated memory: 202416 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 65447
/proc/meminfo: memFree=121529472/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=312824 memory=262068 CPUtime=50.95 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 44148 0 0 0 5055 40 0 0 20 0 1 0 58822438 320331776 65517 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 78206 65517 1312 243 0 74455 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 312824 KiB
Current children cumulated memory: 262068 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 65449
/proc/meminfo: memFree=120874388/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=404836 memory=354972 CPUtime=102.01 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 60759 0 0 0 10143 58 0 0 20 0 1 0 58822438 414552064 88743 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 101209 88743 1312 243 0 97458 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 404836 KiB
Current children cumulated memory: 354972 KiB

[startup+162.3 s]
/proc/loadavg: 4.36 4.19 4.12 5/264 65451
/proc/meminfo: memFree=120711480/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=495392 memory=385640 CPUtime=161.84 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 64362 0 0 0 16109 75 0 0 20 0 1 0 58822438 507281408 96410 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 123848 96410 1312 243 0 120097 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 495392 KiB
Current children cumulated memory: 385640 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/264 65453
/proc/meminfo: memFree=120518192/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=510276 memory=406908 CPUtime=221.67 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 68140 0 0 0 22079 88 0 0 20 0 1 0 58822438 522522624 101727 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 127569 101727 1312 243 0 123818 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 510276 KiB
Current children cumulated memory: 406908 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.10 6/264 65455
/proc/meminfo: memFree=120484616/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=535484 memory=446140 CPUtime=281.51 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 74414 0 0 0 28042 109 0 0 20 0 1 0 58822438 548335616 111535 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 133871 111535 1312 243 0 130120 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 535484 KiB
Current children cumulated memory: 446140 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 65463
/proc/meminfo: memFree=120385296/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=555332 memory=467072 CPUtime=341.34 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 78615 0 0 0 34010 124 0 0 20 0 1 0 58822438 568659968 116768 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 138833 116768 1312 243 0 135082 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 555332 KiB
Current children cumulated memory: 467072 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/264 65466
/proc/meminfo: memFree=120347748/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=602424 memory=504600 CPUtime=401.17 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 86006 0 0 0 39977 140 0 0 20 0 1 0 58822438 616882176 126150 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 150606 126150 1312 243 0 146855 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 602424 KiB
Current children cumulated memory: 504600 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/264 65513
/proc/meminfo: memFree=123468944/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=622396 memory=535752 CPUtime=461 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 90723 0 0 0 45942 158 0 0 20 0 1 0 58822438 637333504 133938 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 155599 133938 1312 243 0 151848 0
Current children cumulated CPU time: 461 s

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

[pid=65399] ppid=65396 vsize=791332 memory=591904 CPUtime=640.5 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 99224 0 0 0 63856 194 0 0 20 0 1 0 58822438 810323968 147976 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 197833 147976 1312 243 0 194082 0
Current children cumulated CPU time: 640.5 s
Current children cumulated vsize: 791332 KiB
Current children cumulated memory: 591904 KiB

[startup+702.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 65524
/proc/meminfo: memFree=122979516/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=793860 memory=602348 CPUtime=700.34 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 100296 0 0 0 69832 202 0 0 20 0 1 0 58822438 812912640 150587 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 198465 150587 1312 243 0 194714 0
Current children cumulated CPU time: 700.34 s
Current children cumulated vsize: 793860 KiB
Current children cumulated memory: 602348 KiB

[startup+762.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 65526
/proc/meminfo: memFree=122853752/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=800164 memory=608836 CPUtime=760.17 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 101415 0 0 0 75805 212 0 0 20 0 1 0 58822438 819367936 152209 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 200041 152209 1312 243 0 196290 0
Current children cumulated CPU time: 760.17 s
Current children cumulated vsize: 800164 KiB
Current children cumulated memory: 608836 KiB

[startup+822.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 65528
/proc/meminfo: memFree=122777132/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=837128 memory=649800 CPUtime=819.98 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 108061 0 0 0 81777 221 0 0 20 0 1 0 58822438 857219072 162450 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 209282 162450 1312 243 0 205531 0
Current children cumulated CPU time: 819.98 s
Current children cumulated vsize: 837128 KiB
Current children cumulated memory: 649800 KiB

[startup+882.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/263 65530
/proc/meminfo: memFree=122734980/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=844204 memory=661624 CPUtime=879.82 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 109491 0 0 0 87751 231 0 0 20 0 1 0 58822438 864464896 165406 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 211051 165406 1312 243 0 207300 0
Current children cumulated CPU time: 879.82 s
Current children cumulated vsize: 844204 KiB
Current children cumulated memory: 661624 KiB

[startup+942.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/264 65537
/proc/meminfo: memFree=122672936/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=855596 memory=670968 CPUtime=939.64 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 111831 0 0 0 93723 241 0 0 20 0 1 0 58822438 876130304 167742 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 213899 167742 1312 243 0 210148 0
Current children cumulated CPU time: 939.64 s
Current children cumulated vsize: 855596 KiB
Current children cumulated memory: 670968 KiB

[startup+1002.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/264 65539
/proc/meminfo: memFree=122621068/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=855596 memory=671864 CPUtime=999.47 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 112074 0 0 0 99697 250 0 0 20 0 1 0 58822438 876130304 167966 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 213899 167966 1312 243 0 210148 0
Current children cumulated CPU time: 999.47 s
Current children cumulated vsize: 855596 KiB
Current children cumulated memory: 671864 KiB

[startup+1041.58 s]
# the end of solver process 65399 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core

# cumulated CPU time of all completed processes:  user=1026.83 s, system=3.10451 s

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

[startup+1024 s]*
/proc/loadavg: 4.14 4.12 4.09 5/264 65550
/proc/meminfo: memFree=122576648/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=857356 memory=673528 CPUtime=1021.12 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 112482 0 0 0 101860 252 0 0 20 0 1 0 58822438 877932544 168382 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 214339 168382 1312 243 0 210588 0
Current children cumulated CPU time: 1021.12 s
Current children cumulated vsize: 857356 KiB
Current children cumulated memory: 673528 KiB

[startup+1030.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 65550
/proc/meminfo: memFree=122550128/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=859148 memory=678212 CPUtime=1027.49 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) R 65396 65399 64424 0 -1 4194304 113126 0 0 0 102497 252 0 0 20 0 1 0 58822438 879767552 169553 18446744073709551615 4218880 5211445 140727109530528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 0
/proc/65399/statm: 214787 169553 1312 243 0 211036 0
Current children cumulated CPU time: 1027.49 s
Current children cumulated vsize: 859148 KiB
Current children cumulated memory: 678212 KiB

[startup+1036.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 65553
/proc/meminfo: memFree=121429168/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=859752 memory=678724 CPUtime=1029.9 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) S 65396 65399 64424 0 -1 4195840 113275 0 0 0 102683 307 0 0 20 0 1 0 58822438 880386048 169681 18446744073709551615 4218880 5211445 140727109530528 140727109527888 140299966451145 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 11
/proc/65399/statm: 214938 169681 1312 243 0 211187 0
Current children cumulated CPU time: 1029.9 s
Current children cumulated vsize: 859752 KiB
Current children cumulated memory: 678724 KiB

[startup+1040 s]*
/proc/loadavg: 4.11 4.11 4.09 4/265 65553
/proc/meminfo: memFree=121286320/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=859752 memory=678724 CPUtime=1029.9 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) S 65396 65399 64424 0 -1 4195840 113275 0 0 0 102683 307 0 0 20 0 1 0 58822438 880386048 169681 18446744073709551615 4218880 5211445 140727109530528 140727109527888 140299966451145 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 11
/proc/65399/statm: 214938 169681 1312 243 0 211187 0
Current children cumulated CPU time: 1029.9 s
Current children cumulated vsize: 859752 KiB
Current children cumulated memory: 678724 KiB

[startup+1040.8 s]
/proc/loadavg: 4.11 4.11 4.09 4/265 65553
/proc/meminfo: memFree=121286320/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=859752 memory=678724 CPUtime=1029.9 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) S 65396 65399 64424 0 -1 4195840 113275 0 0 0 102683 307 0 0 20 0 1 0 58822438 880386048 169681 18446744073709551615 4218880 5211445 140727109530528 140727109527888 140299966451145 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 11
/proc/65399/statm: 214938 169681 1312 243 0 211187 0
Current children cumulated CPU time: 1029.9 s
Current children cumulated vsize: 859752 KiB
Current children cumulated memory: 678724 KiB

[startup+1041.2 s]
/proc/loadavg: 4.11 4.11 4.09 4/265 65553
/proc/meminfo: memFree=121286320/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=859752 memory=678724 CPUtime=1029.9 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) S 65396 65399 64424 0 -1 4195840 113275 0 0 0 102683 307 0 0 20 0 1 0 58822438 880386048 169681 18446744073709551615 4218880 5211445 140727109530528 140727109527888 140299966451145 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 11
/proc/65399/statm: 214938 169681 1312 243 0 211187 0
Current children cumulated CPU time: 1029.9 s
Current children cumulated vsize: 859752 KiB
Current children cumulated memory: 678724 KiB

[startup+1041.4 s]
/proc/loadavg: 4.11 4.11 4.09 4/265 65553
/proc/meminfo: memFree=121286320/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=859752 memory=678724 CPUtime=1029.9 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) S 65396 65399 64424 0 -1 4195840 113275 0 0 0 102683 307 0 0 20 0 1 0 58822438 880386048 169681 18446744073709551615 4218880 5211445 140727109530528 140727109527888 140299966451145 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 11
/proc/65399/statm: 214938 169681 1312 243 0 211187 0
Current children cumulated CPU time: 1029.9 s
Current children cumulated vsize: 859752 KiB
Current children cumulated memory: 678724 KiB

[startup+1041.5 s]
/proc/loadavg: 4.11 4.11 4.09 4/265 65553
/proc/meminfo: memFree=121286320/131249996 swapFree=33010684/33010684
[pid=65399] ppid=65396 vsize=859752 memory=678724 CPUtime=1029.9 cores=1,3
/proc/65399/stat : 65399 (pb-oll-rs) S 65396 65399 64424 0 -1 4195840 113275 0 0 0 102683 307 0 0 20 0 1 0 58822438 880386048 169681 18446744073709551615 4218880 5211445 140727109530528 140727109527888 140299966451145 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 13398016 140727109536156 140727109536233 140727109536233 140727109541835 11
/proc/65399/statm: 214938 169681 1312 243 0 211187 0
Current children cumulated CPU time: 1029.9 s
Current children cumulated vsize: 859752 KiB
Current children cumulated memory: 678724 KiB

Child ended because it received signal 11 (SIGSEGV)
Child dumped core

Real time (s): 1041.58
CPU time (s): 1029.94
CPU user time (s): 1026.83
CPU system time (s): 3.10451
CPU usage (%): 98.8824
Max. virtual memory (cumulated for all children) (KiB): 859752
Max. memory (cumulated for all children) (KiB): 678724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1026.83
system time used= 3.10451
maximum resident set size= 678724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113275
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= 1420
involuntary context switches= 1976


# summary of solver processes directly reported to runsolver:
#   pid: 65399
#   total CPU time (s): 1029.94
#   total CPU user time (s): 1026.83
#   total CPU system time (s): 3.10451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53442 second user time and 4.36335 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-02 06:44:07
IDJOB=4503786
IDBENCH=155603
IDSOLVER=3345
FILE ID=nodeC017/4503786-1751431447
RUNJOBID= nodeC017-1751424222-64436
SLURM_JOB_ID= 9598356
Free space on /tmp= 432812 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503786-1751431447/watcher-4503786-1751431447 -o /tmp/evaluation-result-4503786-1751431447/solver-4503786-1751431447 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64436 --watchdog 3760  pb-oll-rs HOME/instance-4503786-1751431447.opb

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=850026132

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123081216 kB
MemAvailable:   126342352 kB
Buffers:            2380 kB
Cached:          4030512 kB
SwapCached:            0 kB
Active:          3733420 kB
Inactive:        3713208 kB
Active(anon):    3431808 kB
Inactive(anon):       12 kB
Active(file):     301612 kB
Inactive(file):  3713196 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52184 kB
Writeback:             0 kB
AnonPages:       3415056 kB
Mapped:           106780 kB
Shmem:             18080 kB
KReclaimable:     170736 kB
Slab:             260408 kB
SReclaimable:     170736 kB
SUnreclaim:        89672 kB
KernelStack:        4272 kB
PageTables:         9680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4164944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2584576 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432576 MiB
End job on nodeC017 at 2025-07-02 07:01:29