Trace number 4523195

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
MD5SUM3781b2dec582d0b67f0282d1f3dabfdd
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-118198
Best CPU time to get the best result obtained on this benchmark12.0426
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables210652
Total number of constraints1683
Number of constraints which are clauses28
Number of constraints which are cardinality constraints (but not clauses)1019
Number of constraints which are nor clauses,nor cardinality constraints636
Minimum length of a constraint1
Maximum length of a constraint8024
Number of terms in the objective function 195786
Biggest coefficient in the objective function 19970
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 34983315
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 19970
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 34983315
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.75/0.88	c #variables 210652 #constraints 1650
0.75/0.89	c objective is ce32 
0.97/1.08	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.97/1.08	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.97/1.08	c GLOBAL bounds - >= -34983315 @ 0.960668
1.36/1.46	c GLOBAL bounds - >= -34983315 @ 1.21125
1.66/1.79	c GLOBAL bounds - >= -34983315 @ 1.4232
1.97/2.11	c GLOBAL bounds - >= -34983315 @ 1.64298
2.97/3.11	c GLOBAL bounds - >= -34983315 @ 2.54591
3.26/3.39	c GLOBAL bounds - >= -34983315 @ 2.74218
3.65/3.76	c GLOBAL bounds - >= -34983315 @ 3.03423
3.96/4.05	c GLOBAL bounds - >= -34983315 @ 3.23602
4.25/4.34	c GLOBAL bounds - >= -34983315 @ 3.44225
4.55/4.63	c GLOBAL bounds - >= -34983315 @ 3.65614
4.85/4.91	c GLOBAL bounds - >= -34983315 @ 3.85921
5.15/5.20	c GLOBAL bounds - >= -34983315 @ 4.07464
5.45/5.58	c GLOBAL bounds - >= -34983315 @ 4.37203
5.75/5.87	c GLOBAL bounds - >= -34983315 @ 4.57667
6.06/6.16	c GLOBAL bounds - >= -34983315 @ 4.77903
6.34/6.45	c GLOBAL bounds - >= -34983315 @ 4.98514
6.64/6.75	c GLOBAL bounds - >= -34983315 @ 5.19175
7.06/7.13	c GLOBAL bounds - >= -34983315 @ 5.48539
7.44/7.53	c GLOBAL bounds - >= -34983315 @ 5.79712
7.84/7.92	c GLOBAL bounds - >= -34983315 @ 6.11083
8.24/8.32	c GLOBAL bounds - >= -34983315 @ 6.44607
8.74/8.82	c GLOBAL bounds - >= -34983315 @ 6.85851
9.14/9.23	c GLOBAL bounds - >= -34983315 @ 7.17344
9.44/9.54	c GLOBAL bounds - >= -34983315 @ 7.39233
10.33/10.49	c GLOBAL bounds - >= -34983315 @ 8.25789
11.24/11.33	c GLOBAL bounds - >= -34983315 @ 8.99287
11.95/12.10	c GLOBAL bounds - >= -34983315 @ 9.68137
12.63/12.78	c GLOBAL bounds - >= -34983315 @ 10.2776
13.33/13.49	c GLOBAL bounds - >= -34983315 @ 10.9059
13.94/14.08	c GLOBAL bounds - >= -34983315 @ 11.4101
14.52/14.67	c GLOBAL bounds - >= -34983315 @ 11.9284
15.13/15.23	c GLOBAL bounds - >= -34983315 @ 12.4033
15.62/15.71	c GLOBAL bounds - >= -34983315 @ 12.8052
16.03/16.18	c GLOBAL bounds - >= -34983315 @ 13.2013
16.52/16.66	c GLOBAL bounds - >= -34983315 @ 13.5943
17.03/17.13	c GLOBAL bounds - >= -34983315 @ 13.9841
17.42/17.51	c GLOBAL bounds - >= -34983315 @ 14.2999
17.82/17.90	c GLOBAL bounds - >= -34983315 @ 14.6047
18.11/18.28	c GLOBAL bounds - >= -34983315 @ 14.8988
18.51/18.65	c GLOBAL bounds - >= -34983315 @ 15.1884
19.03/19.13	c GLOBAL bounds - >= -34983315 @ 15.5851
19.51/19.61	c GLOBAL bounds - >= -34983315 @ 15.9818
19.82/20.00	c GLOBAL bounds - >= -34983315 @ 16.2887
20.21/20.38	c GLOBAL bounds - >= -34983315 @ 16.587
20.71/20.85	c GLOBAL bounds - >= -34983315 @ 16.9639
21.11/21.23	c GLOBAL bounds - >= -34983315 @ 17.2559
21.41/21.52	c GLOBAL bounds - >= -34983315 @ 17.4693
21.71/21.80	c GLOBAL bounds - >= -34983315 @ 17.679
22.03/22.18	c GLOBAL bounds - >= -34983315 @ 17.9741
22.31/22.46	c GLOBAL bounds - >= -34983315 @ 18.1943
22.61/22.75	c GLOBAL bounds - >= -34983315 @ 18.402
23.31/23.40	c GLOBAL bounds - >= -34983315 @ 18.9712
23.61/23.78	c GLOBAL bounds - >= -34983315 @ 19.2751
23.92/24.07	c GLOBAL bounds - >= -34983315 @ 19.4892
24.20/24.35	c GLOBAL bounds - >= -34983315 @ 19.704
24.80/24.98	c GLOBAL bounds - >= -34983315 @ 20.2578
25.20/25.35	c GLOBAL bounds - >= -34983315 @ 20.5466
25.50/25.64	c GLOBAL bounds - >= -34983315 @ 20.7535
25.80/25.92	c GLOBAL bounds - >= -34983315 @ 20.9575
26.10/26.20	c GLOBAL bounds - >= -34983315 @ 21.1568
26.49/26.67	c GLOBAL bounds - >= -34983315 @ 21.5565
26.79/26.96	c GLOBAL bounds - >= -34983315 @ 21.7679
27.19/27.33	c GLOBAL bounds - >= -34983315 @ 22.0662
27.60/27.78	c GLOBAL bounds - >= -34983315 @ 22.4563
27.91/28.07	c GLOBAL bounds - >= -34983315 @ 22.6663
28.49/28.68	c GLOBAL bounds - >= -34983315 @ 23.1936
29.10/29.25	c GLOBAL bounds - >= -34983315 @ 23.6867
29.39/29.54	c GLOBAL bounds - >= -34983315 @ 23.9029
29.79/29.91	c GLOBAL bounds - >= -34983315 @ 24.1956
30.09/30.20	c GLOBAL bounds - >= -34983315 @ 24.4104
30.39/30.58	c GLOBAL bounds - >= -34983315 @ 24.7136
30.69/30.87	c GLOBAL bounds - >= -34983315 @ 24.9195
31.19/31.32	c GLOBAL bounds - >= -34983315 @ 25.3062
31.49/31.61	c GLOBAL bounds - >= -34983315 @ 25.5181
31.79/31.90	c GLOBAL bounds - >= -34983315 @ 25.7324
32.00/32.18	c GLOBAL bounds - >= -34983315 @ 25.9498
32.48/32.69	c GLOBAL bounds - >= -34983315 @ 26.335
33.00/33.15	c GLOBAL bounds - >= -34983315 @ 26.7186
33.38/33.55	c GLOBAL bounds - >= -34983315 @ 27.0401
33.68/33.85	c GLOBAL bounds - >= -34983315 @ 27.273
34.18/34.32	c GLOBAL bounds - >= -34983315 @ 27.6736
35.08/35.27	c GLOBAL bounds - >= -34983315 @ 28.5544
35.47/35.67	c GLOBAL bounds - >= -34983315 @ 28.8751
36.08/36.23	c GLOBAL bounds - >= -34983315 @ 29.3638
36.37/36.54	c GLOBAL bounds - >= -34983315 @ 29.5967
36.77/36.92	c GLOBAL bounds - >= -34983315 @ 29.9155
37.27/37.41	c GLOBAL bounds - >= -34983315 @ 30.3354
38.67/38.84	c GLOBAL bounds - >= -34983315 @ 31.6593
39.57/39.72	c GLOBAL bounds - >= -34983315 @ 32.448
39.98/40.13	c GLOBAL bounds - >= -34983315 @ 32.7828
40.56/40.71	c GLOBAL bounds - >= -34983315 @ 33.2927
40.88/41.05	c GLOBAL bounds - >= -34983315 @ 33.5524
41.26/41.45	c GLOBAL bounds - >= -34983315 @ 33.8778
41.76/41.97	c GLOBAL bounds - >= -34983315 @ 34.3146
42.16/42.31	c GLOBAL bounds - >= -34983315 @ 34.5607
42.46/42.62	c GLOBAL bounds - >= -34983315 @ 34.7977
42.87/43.03	c GLOBAL bounds - >= -34983315 @ 35.1387
43.16/43.36	c GLOBAL bounds - >= -34983315 @ 35.3908
43.56/43.77	c GLOBAL bounds - >= -34983315 @ 35.7329
44.05/44.22	c GLOBAL bounds - >= -34983315 @ 36.1096
44.66/44.83	c GLOBAL bounds - >= -34983315 @ 36.6555
44.97/45.18	c GLOBAL bounds - >= -34983315 @ 36.9346
45.35/45.50	c GLOBAL bounds - >= -34983315 @ 37.1804
45.65/45.83	c GLOBAL bounds - >= -34983315 @ 37.4328
46.15/46.33	c GLOBAL bounds - >= -34983315 @ 37.8608
46.55/46.75	c GLOBAL bounds - >= -34983315 @ 38.21
46.96/47.19	c GLOBAL bounds - >= -34983315 @ 38.5705
47.45/47.61	c GLOBAL bounds - >= -34983315 @ 38.9201
47.74/47.95	c GLOBAL bounds - >= -34983315 @ 39.1869
48.35/48.56	c GLOBAL bounds - >= -34983315 @ 39.7241
48.86/49.02	c GLOBAL bounds - >= -34983315 @ 40.1042
50.74/51.00	c GLOBAL bounds - >= -34983315 @ 42.0144
51.14/51.37	c GLOBAL bounds - >= -34983315 @ 42.2972
51.95/52.19	c GLOBAL bounds - >= -34983315 @ 43.0293
52.34/52.57	c GLOBAL bounds - >= -34983315 @ 43.3442
52.74/53.00	c GLOBAL bounds - >= -34983315 @ 43.7002
53.23/53.46	c GLOBAL bounds - >= -34983315 @ 44.0803
53.63/53.83	c GLOBAL bounds - >= -34983315 @ 44.3796
53.95/54.17	c GLOBAL bounds - >= -34983315 @ 44.6435
54.63/54.87	c GLOBAL bounds - >= -34983315 @ 45.2727
55.03/55.24	c GLOBAL bounds - >= -34983315 @ 45.5571
55.53/55.77	c GLOBAL bounds - >= -34983315 @ 46.02
55.94/56.15	c GLOBAL bounds - >= -34983315 @ 46.3096
56.22/56.49	c GLOBAL bounds - >= -34983315 @ 46.5751
56.73/56.90	c GLOBAL bounds - >= -34983315 @ 46.9184
57.22/57.45	c GLOBAL bounds - >= -34983315 @ 47.3979
57.62/57.82	c GLOBAL bounds - >= -34983315 @ 47.6852
57.93/58.16	c GLOBAL bounds - >= -34983315 @ 47.9519
58.32/58.59	c GLOBAL bounds - >= -34983315 @ 48.3153
58.83/59.05	c GLOBAL bounds - >= -34983315 @ 48.701
59.22/59.49	c GLOBAL bounds - >= -34983315 @ 49.0691
59.62/59.85	c GLOBAL bounds - >= -34983315 @ 49.347
60.02/60.27	c GLOBAL bounds - >= -34983315 @ 49.6839
60.41/60.63	c GLOBAL bounds - >= -34983315 @ 49.9728
60.83/61.06	c GLOBAL bounds - >= -34983315 @ 50.3238
61.31/61.50	c GLOBAL bounds - >= -34983315 @ 50.6825
61.61/61.86	c GLOBAL bounds - >= -34983315 @ 50.9678
62.12/62.30	c GLOBAL bounds - >= -34983315 @ 51.3374
62.41/62.67	c GLOBAL bounds - >= -34983315 @ 51.6228
62.82/63.01	c GLOBAL bounds - >= -34983315 @ 51.8796
63.92/64.17	c GLOBAL bounds - >= -34983315 @ 52.9529
64.31/64.55	c GLOBAL bounds - >= -34983315 @ 53.2574
64.60/64.89	c GLOBAL bounds - >= -34983315 @ 53.5191
65.20/65.41	c GLOBAL bounds - >= -34983315 @ 53.9653
65.61/65.86	c GLOBAL bounds - >= -34983315 @ 54.3457
66.10/66.30	c GLOBAL bounds - >= -34983315 @ 54.6983
66.40/66.65	c GLOBAL bounds - >= -34983315 @ 54.9834
66.81/67.09	c GLOBAL bounds - >= -34983315 @ 55.3413
67.30/67.57	c GLOBAL bounds - >= -34983315 @ 55.7354
67.70/67.92	c GLOBAL bounds - >= -34983315 @ 56.0181
68.00/68.27	c GLOBAL bounds - >= -34983315 @ 56.2885
68.60/68.80	c GLOBAL bounds - >= -34983315 @ 56.7464
68.91/69.17	c GLOBAL bounds - >= -34983315 @ 57.045
69.60/69.88	c GLOBAL bounds - >= -34983315 @ 57.6748
70.00/70.27	c GLOBAL bounds - >= -34983315 @ 57.9797
70.69/70.99	c GLOBAL bounds - >= -34983315 @ 58.6296
71.29/71.53	c GLOBAL bounds - >= -34983315 @ 59.1093
71.69/71.99	c GLOBAL bounds - >= -34983315 @ 59.4877
72.09/72.36	c GLOBAL bounds - >= -34983315 @ 59.7774
72.58/72.80	c GLOBAL bounds - >= -34983315 @ 60.153
72.90/73.16	c GLOBAL bounds - >= -34983315 @ 60.436
73.38/73.61	c GLOBAL bounds - >= -34983315 @ 60.7904
73.98/74.26	c GLOBAL bounds - >= -34983315 @ 61.3725
74.98/75.25	c GLOBAL bounds - >= -34983315 @ 62.2902
75.38/75.64	c GLOBAL bounds - >= -34983315 @ 62.6116
75.80/76.08	c GLOBAL bounds - >= -34983315 @ 62.9806
76.38/76.62	c GLOBAL bounds - >= -34983315 @ 63.4445
76.68/76.98	c GLOBAL bounds - >= -34983315 @ 63.7279
79.47/79.78	c GLOBAL bounds - >= -34983315 @ 66.4451
80.37/80.68	c GLOBAL bounds - >= -34983315 @ 67.2705
80.78/81.10	c GLOBAL bounds - >= -34983315 @ 67.6109
81.16/81.46	c GLOBAL bounds - >= -34983315 @ 67.9038
81.67/81.90	c GLOBAL bounds - >= -34983315 @ 68.2789
82.06/82.32	c GLOBAL bounds - >= -34983315 @ 68.6206
82.46/82.78	c GLOBAL bounds - >= -34983315 @ 69.002
83.26/83.60	c GLOBAL bounds - >= -34983315 @ 69.7458
83.78/84.01	c GLOBAL bounds - >= -34983315 @ 70.1001
84.06/84.38	c GLOBAL bounds - >= -34983315 @ 70.4029
84.56/84.84	c GLOBAL bounds - >= -34983315 @ 70.7954
84.95/85.24	c GLOBAL bounds - >= -34983315 @ 71.1253
85.35/85.69	c GLOBAL bounds - >= -34983315 @ 71.5112
85.87/86.18	c GLOBAL bounds - >= -34983315 @ 71.9331
86.35/86.66	c GLOBAL bounds - >= -34983315 @ 72.3259
86.77/87.03	c GLOBAL bounds - >= -34983315 @ 72.6177
87.45/87.78	c GLOBAL bounds - >= -34983315 @ 73.2855
87.95/88.29	c GLOBAL bounds - >= -34983315 @ 73.7305
88.55/88.86	c GLOBAL bounds - >= -34983315 @ 74.2268
88.95/89.26	c GLOBAL bounds - >= -34983315 @ 74.5551
89.44/89.72	c GLOBAL bounds - >= -34983315 @ 74.9378
90.15/90.44	c GLOBAL bounds - >= -34983315 @ 75.5859
90.64/90.96	c GLOBAL bounds - >= -34983315 @ 76.0112
91.44/91.77	c GLOBAL bounds - >= -34983315 @ 76.7363
92.34/92.68	c GLOBAL bounds - >= -34983315 @ 77.5592
93.64/93.95	c GLOBAL bounds - >= -34983315 @ 78.6861
94.14/94.44	c GLOBAL bounds - >= -34983315 @ 79.0963
94.54/94.87	c GLOBAL bounds - >= -34983315 @ 79.4464
95.04/95.36	c GLOBAL bounds - >= -34983315 @ 79.8503
96.93/97.22	c GLOBAL bounds - >= -34983315 @ 81.6363
97.42/97.70	c GLOBAL bounds - >= -34983315 @ 82.039
97.74/98.10	c GLOBAL bounds - >= -34983315 @ 82.3643
98.13/98.49	c GLOBAL bounds - >= -34983315 @ 82.6852
98.74/99.07	c GLOBAL bounds - >= -34983315 @ 83.1845
99.33/99.61	c GLOBAL bounds - >= -34983315 @ 83.6402
99.84/100.13	c GLOBAL bounds - >= -34983315 @ 84.0889
100.42/100.70	c GLOBAL bounds - >= -34983315 @ 84.5718
101.41/101.71	c GLOBAL bounds - >= -34983315 @ 85.503
101.83/102.19	c GLOBAL bounds - >= -34983315 @ 85.9062
102.31/102.69	c GLOBAL bounds - >= -34983315 @ 86.3185
103.51/103.86	c GLOBAL bounds - >= -34983315 @ 87.4103
104.51/104.80	c GLOBAL bounds - >= -34983315 @ 88.2693
104.91/105.29	c GLOBAL bounds - >= -34983315 @ 88.6848
105.41/105.70	c GLOBAL bounds - >= -34983315 @ 89.0029
105.91/106.20	c GLOBAL bounds - >= -34983315 @ 89.4289
106.51/106.82	c GLOBAL bounds - >= -34983315 @ 89.9519
106.91/107.27	c GLOBAL bounds - >= -34983315 @ 90.3384
107.41/107.78	c GLOBAL bounds - >= -34983315 @ 90.7669
108.00/108.31	c GLOBAL bounds - >= -34983315 @ 91.2224
108.50/108.86	c GLOBAL bounds - >= -34983315 @ 91.695
109.10/109.43	c GLOBAL bounds - >= -34983315 @ 92.1866
109.50/109.85	c GLOBAL bounds - >= -34983315 @ 92.5287
110.10/110.48	c GLOBAL bounds - >= -34983315 @ 93.0834
110.60/110.98	c GLOBAL bounds - >= -34983315 @ 93.5012
111.19/111.58	c GLOBAL bounds - >= -34983315 @ 94.0163
111.81/112.15	c GLOBAL bounds - >= -34983315 @ 94.509
112.29/112.66	c GLOBAL bounds - >= -34983315 @ 94.9358
112.89/113.24	c GLOBAL bounds - >= -34983315 @ 95.438
113.29/113.66	c GLOBAL bounds - >= -34983315 @ 95.775
113.70/114.07	c GLOBAL bounds - >= -34983315 @ 96.1031
114.19/114.56	c GLOBAL bounds - >= -34983315 @ 96.5093
114.58/114.98	c GLOBAL bounds - >= -34983315 @ 96.8473
115.08/115.48	c GLOBAL bounds - >= -34983315 @ 97.27
115.58/115.93	c GLOBAL bounds - >= -34983315 @ 97.6362
115.98/116.33	c GLOBAL bounds - >= -34983315 @ 97.9627
116.48/116.83	c GLOBAL bounds - >= -34983315 @ 98.3886
116.88/117.25	c GLOBAL bounds - >= -34983315 @ 98.744
117.48/117.85	c GLOBAL bounds - >= -34983315 @ 99.2477
118.08/118.43	c GLOBAL bounds - >= -34983315 @ 99.7482
118.47/118.87	c GLOBAL bounds - >= -34983315 @ 100.113
119.18/119.55	c GLOBAL bounds - >= -34983315 @ 100.713
122.07/122.40	c GLOBAL bounds - >= -34983315 @ 103.461
122.57/123.00	c GLOBAL bounds - >= -34983315 @ 103.975
123.07/123.45	c GLOBAL bounds - >= -34983315 @ 104.356
123.68/124.07	c GLOBAL bounds - >= -34983315 @ 104.886
124.16/124.59	c GLOBAL bounds - >= -34983315 @ 105.333
124.67/125.01	c GLOBAL bounds - >= -34983315 @ 105.679
125.06/125.45	c GLOBAL bounds - >= -34983315 @ 106.018
125.77/126.15	c GLOBAL bounds - >= -34983315 @ 106.635
126.36/126.73	c GLOBAL bounds - >= -34983315 @ 107.149
126.77/127.19	c GLOBAL bounds - >= -34983315 @ 107.522
127.66/128.08	c GLOBAL bounds - >= -34983315 @ 108.341
128.15/128.59	c GLOBAL bounds - >= -34983315 @ 108.747
129.55/129.91	c GLOBAL bounds - >= -34983315 @ 109.92
129.95/130.35	c GLOBAL bounds - >= -34983315 @ 110.282
130.54/130.97	c GLOBAL bounds - >= -34983315 @ 110.814
131.04/131.49	c GLOBAL bounds - >= -34983315 @ 111.264
131.66/132.01	c GLOBAL bounds - >= -34983315 @ 111.709
132.54/132.97	c GLOBAL bounds - >= -34983315 @ 112.587
133.14/133.52	c GLOBAL bounds - >= -34983315 @ 113.052
133.54/133.96	c GLOBAL bounds - >= -34983315 @ 113.394
135.13/135.51	c GLOBAL bounds - >= -34983315 @ 114.872
135.75/136.15	c GLOBAL bounds - >= -34983315 @ 115.419
136.23/136.67	c GLOBAL bounds - >= -34983315 @ 115.849
136.83/137.28	c GLOBAL bounds - >= -34983315 @ 116.369
137.43/137.80	c GLOBAL bounds - >= -34983315 @ 116.809
138.03/138.42	c GLOBAL bounds - >= -34983315 @ 117.349
138.64/139.09	c GLOBAL bounds - >= -34983315 @ 117.925
139.23/139.61	c GLOBAL bounds - >= -34983315 @ 118.359
139.74/140.13	c GLOBAL bounds - >= -34983315 @ 118.799
140.42/140.82	c GLOBAL bounds - >= -34983315 @ 119.411
140.92/141.36	c GLOBAL bounds - >= -34983315 @ 119.878
141.32/141.79	c GLOBAL bounds - >= -34983315 @ 120.238
141.82/142.22	c GLOBAL bounds - >= -34983315 @ 120.593
142.32/142.75	c GLOBAL bounds - >= -34983315 @ 121.042
142.82/143.23	c GLOBAL bounds - >= -34983315 @ 121.445
143.22/143.66	c GLOBAL bounds - >= -34983315 @ 121.785
143.73/144.19	c GLOBAL bounds - >= -34983315 @ 122.229
144.21/144.66	c GLOBAL bounds - >= -34983315 @ 122.615
144.72/145.19	c GLOBAL bounds - >= -34983315 @ 123.059
145.21/145.69	c GLOBAL bounds - >= -34983315 @ 123.489
145.81/146.21	c GLOBAL bounds - >= -34983315 @ 123.917
146.31/146.77	c GLOBAL bounds - >= -34983315 @ 124.402
146.81/147.26	c GLOBAL bounds - >= -34983315 @ 124.817
147.21/147.68	c GLOBAL bounds - >= -34983315 @ 125.158
147.90/148.39	c GLOBAL bounds - >= -34983315 @ 125.787
148.61/149.04	c GLOBAL bounds - >= -34983315 @ 126.356
149.40/149.80	c GLOBAL bounds - >= -34983315 @ 127.022
149.80/150.29	c GLOBAL bounds - >= -34983315 @ 127.439
150.50/150.91	c GLOBAL bounds - >= -34983315 @ 127.969
151.09/151.57	c GLOBAL bounds - >= -34983315 @ 128.549
151.80/152.24	c GLOBAL bounds - >= -34983315 @ 129.145
157.59/158.11	c GLOBAL bounds - >= -34983315 @ 134.899
158.28/158.77	c GLOBAL bounds - >= -34983315 @ 135.48
160.87/161.34	c GLOBAL bounds - >= -34983315 @ 137.879
161.47/161.91	c GLOBAL bounds - >= -34983315 @ 138.367
162.27/162.74	c GLOBAL bounds - >= -34983315 @ 139.121
162.86/163.31	c GLOBAL bounds - >= -34983315 @ 139.616
163.27/163.77	c GLOBAL bounds - >= -34983315 @ 139.992
163.76/164.23	c GLOBAL bounds - >= -34983315 @ 140.374
164.76/165.26	c GLOBAL bounds - >= -34983315 @ 141.319
165.46/165.93	c GLOBAL bounds - >= -34983315 @ 141.918
166.06/166.51	c GLOBAL bounds - >= -34983315 @ 142.413
166.46/166.97	c GLOBAL bounds - >= -34983315 @ 142.81
167.05/167.53	c GLOBAL bounds - >= -34983315 @ 143.292
167.57/168.07	c GLOBAL bounds - >= -34983315 @ 143.765
168.15/168.63	c GLOBAL bounds - >= -34983315 @ 144.236
168.75/169.24	c GLOBAL bounds - >= -34983315 @ 144.766
169.25/169.75	c GLOBAL bounds - >= -34983315 @ 145.206
169.95/170.43	c GLOBAL bounds - >= -34983315 @ 145.807
170.56/171.02	c GLOBAL bounds - >= -34983315 @ 146.329
171.04/171.57	c GLOBAL bounds - >= -34983315 @ 146.807
171.66/172.16	c GLOBAL bounds - >= -34983315 @ 147.324
172.24/172.70	c GLOBAL bounds - >= -34983315 @ 147.779
172.74/173.26	c GLOBAL bounds - >= -34983315 @ 148.262
173.44/173.92	c GLOBAL bounds - >= -34983315 @ 148.852
174.34/174.84	c GLOBAL bounds - >= -34983315 @ 149.681
174.93/175.44	c GLOBAL bounds - >= -34983315 @ 150.214
175.54/176.03	c GLOBAL bounds - >= -34983315 @ 150.704
176.04/176.58	c GLOBAL bounds - >= -34983315 @ 151.169
176.54/177.04	c GLOBAL bounds - >= -34983315 @ 151.558
177.33/177.80	c GLOBAL bounds - >= -34983315 @ 152.218
177.83/178.37	c GLOBAL bounds - >= -34983315 @ 152.7
178.54/179.11	c GLOBAL bounds - >= -34983315 @ 153.369
179.13/179.66	c GLOBAL bounds - >= -34983315 @ 153.844
179.73/180.23	c GLOBAL bounds - >= -34983315 @ 154.336
180.22/180.77	c GLOBAL bounds - >= -34983315 @ 154.784
180.72/181.24	c GLOBAL bounds - >= -34983315 @ 155.177
181.53/182.10	c GLOBAL bounds - >= -34983315 @ 155.954
182.22/182.76	c GLOBAL bounds - >= -34983315 @ 156.536
182.82/183.38	c GLOBAL bounds - >= -34983315 @ 157.071
183.71/184.20	c GLOBAL bounds - >= -34983315 @ 157.809
184.22/184.79	c GLOBAL bounds - >= -34983315 @ 158.32
184.82/185.36	c GLOBAL bounds - >= -34983315 @ 158.81
185.41/185.98	c GLOBAL bounds - >= -34983315 @ 159.35
186.52/187.11	c GLOBAL bounds - >= -34983315 @ 160.394
187.21/187.70	c GLOBAL bounds - >= -34983315 @ 160.903
187.70/188.26	c GLOBAL bounds - >= -34983315 @ 161.384
188.31/188.86	c GLOBAL bounds - >= -34983315 @ 161.9
190.51/191.10	c GLOBAL bounds - >= -34983315 @ 164.055
191.40/191.96	c GLOBAL bounds - >= -34983315 @ 164.834
194.99/195.56	c GLOBAL bounds - >= -34983315 @ 168.35
195.78/196.37	c GLOBAL bounds - >= -34983315 @ 169.069
196.39/196.97	c GLOBAL bounds - >= -34983315 @ 169.595
196.89/197.46	c GLOBAL bounds - >= -34983315 @ 170.004
197.49/198.05	c GLOBAL bounds - >= -34983315 @ 170.511
198.08/198.67	c GLOBAL bounds - >= -34983315 @ 171.047
198.59/199.15	c GLOBAL bounds - >= -34983315 @ 171.455
199.28/199.83	c GLOBAL bounds - >= -34983315 @ 172.052
199.88/200.47	c GLOBAL bounds - >= -34983315 @ 172.615
200.48/201.04	c GLOBAL bounds - >= -34983315 @ 173.103
201.48/202.02	c GLOBAL bounds - >= -34983315 @ 174.002
202.26/202.80	c GLOBAL bounds - >= -34983315 @ 174.707
202.87/203.42	c GLOBAL bounds - >= -34983315 @ 175.232
203.37/203.91	c GLOBAL bounds - >= -34983315 @ 175.652
203.86/204.49	c GLOBAL bounds - >= -34983315 @ 176.156
204.47/205.08	c GLOBAL bounds - >= -34983315 @ 176.678
205.36/205.94	c GLOBAL bounds - >= -34983315 @ 177.462
205.96/206.53	c GLOBAL bounds - >= -34983315 @ 177.969
206.47/207.03	c GLOBAL bounds - >= -34983315 @ 178.391
206.95/207.53	c GLOBAL bounds - >= -34983315 @ 178.797
207.57/208.11	c GLOBAL bounds - >= -34983315 @ 179.306
208.05/208.68	c GLOBAL bounds - >= -34983315 @ 179.806
208.66/209.26	c GLOBAL bounds - >= -34983315 @ 180.299
209.35/210.00	c GLOBAL bounds - >= -34983315 @ 180.952
210.05/210.62	c GLOBAL bounds - >= -34983315 @ 181.505
210.85/211.40	c GLOBAL bounds - >= -34983315 @ 182.216
211.85/212.40	c GLOBAL bounds - >= -34983315 @ 183.138
212.34/212.99	c GLOBAL bounds - >= -34983315 @ 183.642
213.14/213.77	c GLOBAL bounds - >= -34983315 @ 184.345
213.94/214.55	c GLOBAL bounds - >= -34983315 @ 185.038
214.45/215.10	c GLOBAL bounds - >= -34983315 @ 185.492
215.45/216.02	c GLOBAL bounds - >= -34983315 @ 186.328
216.73/217.30	c GLOBAL bounds - >= -34983315 @ 187.524
217.33/217.99	c GLOBAL bounds - >= -34983315 @ 188.146
218.93/219.54	c GLOBAL bounds - >= -34983315 @ 189.613
219.62/220.20	c GLOBAL bounds - >= -34983315 @ 190.185
220.12/220.70	c GLOBAL bounds - >= -34983315 @ 190.606
220.62/221.20	c GLOBAL bounds - >= -34983315 @ 191.031
221.62/222.24	c GLOBAL bounds - >= -34983315 @ 191.979
222.22/222.86	c GLOBAL bounds - >= -34983315 @ 192.528
222.92/223.54	c GLOBAL bounds - >= -34983315 @ 193.134
223.53/224.12	c GLOBAL bounds - >= -34983315 @ 193.645
224.12/224.71	c GLOBAL bounds - >= -34983315 @ 194.157
224.71/225.33	c GLOBAL bounds - >= -34983315 @ 194.7
225.52/226.11	c GLOBAL bounds - >= -34983315 @ 195.413
226.30/226.90	c GLOBAL bounds - >= -34983315 @ 196.125
226.91/227.55	c GLOBAL bounds - >= -34983315 @ 196.696
227.52/228.15	c GLOBAL bounds - >= -34983315 @ 197.225
228.10/228.76	c GLOBAL bounds - >= -34983315 @ 197.751
228.90/229.54	c GLOBAL bounds - >= -34983315 @ 198.45
229.70/230.32	c GLOBAL bounds - >= -34983315 @ 199.145
230.30/230.99	c GLOBAL bounds - >= -34983315 @ 199.743
230.89/231.59	c GLOBAL bounds - >= -34983315 @ 200.267
231.99/232.62	c GLOBAL bounds - >= -34983315 @ 201.215
232.59/233.26	c GLOBAL bounds - >= -34983315 @ 201.765
233.59/234.21	c GLOBAL bounds - >= -34983315 @ 202.631
234.19/234.83	c GLOBAL bounds - >= -34983315 @ 203.169
234.69/235.33	c GLOBAL bounds - >= -34983315 @ 203.61
235.29/235.94	c GLOBAL bounds - >= -34983315 @ 204.147
236.09/236.72	c GLOBAL bounds - >= -34983315 @ 204.84
236.68/237.35	c GLOBAL bounds - >= -34983315 @ 205.395
238.27/238.92	c GLOBAL bounds - >= -34983315 @ 206.881
239.49/240.18	c GLOBAL bounds - >= -34983315 @ 208.068
240.17/240.84	c GLOBAL bounds - >= -34983315 @ 208.651
241.48/242.13	c GLOBAL bounds - >= -34983315 @ 209.789
242.07/242.74	c GLOBAL bounds - >= -34983315 @ 210.33
243.16/243.90	c GLOBAL bounds - >= -34983315 @ 211.401
243.96/244.61	c GLOBAL bounds - >= -34983315 @ 212.035
244.76/245.42	c GLOBAL bounds - >= -34983315 @ 212.786
245.37/246.06	c GLOBAL bounds - >= -34983315 @ 213.346
247.25/247.93	c GLOBAL bounds - >= -34983315 @ 215.129
247.96/248.64	c GLOBAL bounds - >= -34983315 @ 215.754
249.55/250.23	c GLOBAL bounds - >= -34983315 @ 217.254
250.36/251.02	c GLOBAL bounds - >= -34983315 @ 217.965
252.35/253.06	c GLOBAL bounds - >= -34983315 @ 219.924
253.04/253.77	c GLOBAL bounds - >= -34983315 @ 220.564
255.45/256.12	c GLOBAL bounds - >= -34983315 @ 222.838
256.73/257.45	c GLOBAL bounds - >= -34983315 @ 224.097
258.03/258.70	c GLOBAL bounds - >= -34983315 @ 225.265
260.22/260.91	c GLOBAL bounds - >= -34983315 @ 227.394
261.22/261.95	c GLOBAL bounds - >= -34983315 @ 228.357
262.02/262.70	c GLOBAL bounds - >= -34983315 @ 229.024
262.51/263.25	c GLOBAL bounds - >= -34983315 @ 229.499
263.43/264.13	c GLOBAL bounds - >= -34983315 @ 230.295
264.21/264.97	c GLOBAL bounds - >= -34983315 @ 231.06
267.70/268.47	c GLOBAL bounds - >= -34983315 @ 234.484
269.31/270.07	c GLOBAL bounds - >= -34983315 @ 235.983
270.41/271.20	c GLOBAL bounds - >= -34983315 @ 237.026
271.30/272.06	c GLOBAL bounds - >= -34983315 @ 237.803
272.10/272.88	c GLOBAL bounds - >= -34983315 @ 238.552
272.79/273.50	c GLOBAL bounds - >= -34983315 @ 239.096
273.98/274.72	c GLOBAL bounds - >= -34983315 @ 240.234
275.09/275.86	c GLOBAL bounds - >= -34983315 @ 241.3
275.98/276.72	c GLOBAL bounds - >= -34983315 @ 242.079
276.78/277.59	c GLOBAL bounds - >= -34983315 @ 242.875
277.67/278.41	c GLOBAL bounds - >= -34983315 @ 243.614
278.29/279.06	c GLOBAL bounds - >= -34983315 @ 244.182
278.97/279.73	c GLOBAL bounds - >= -34983315 @ 244.775
280.57/281.33	c GLOBAL bounds - >= -34983315 @ 246.286
281.47/282.29	c GLOBAL bounds - >= -34983315 @ 247.154
283.56/284.30	c GLOBAL bounds - >= -34983315 @ 249.078
285.05/285.85	c GLOBAL bounds - >= -34983315 @ 250.562
292.54/293.36	c GLOBAL bounds - >= -34983315 @ 257.94
334.53/335.47	c #Conflicts:       1000 | #Constraints:       3529
334.53/335.47	c GLOBAL bounds - >= -34983315 @ 299.696
415.72/416.83	c GLOBAL bounds - >= -34983315 @ 380.388
454.31/455.55	c GLOBAL bounds - >= -34983315 @ 418.796
482.24/483.58	c GLOBAL bounds - >= -34983315 @ 446.549
586.58/588.18	c #Conflicts:       2000 | #Constraints:       4537
586.58/588.18	c INPROCESSING
586.58/588.18	c GARBAGE COLLECT
586.58/588.18	c GLOBAL bounds - >= -34983315 @ 550.473
588.67/590.24	c GLOBAL bounds - >= -34983315 @ 552.45
661.07/662.80	c GLOBAL bounds - >= -34983315 @ 624.621
1254.69/1258.08	c #Conflicts:       3000 | #Constraints:       4546
1254.69/1258.08	c GLOBAL bounds - >= -34983315 @ 1217.29
1364.09/1367.78	c #Conflicts:       4000 | #Constraints:       5548
1364.09/1367.78	c GLOBAL bounds - >= -34983315 @ 1326.42
1372.27/1375.91	c GLOBAL bounds - >= -34983315 @ 1334.41
1463.72/1467.60	c INPROCESSING
1463.72/1467.60	c GARBAGE COLLECT
1463.72/1467.60	c GLOBAL bounds - >= -34983315 @ 1425.5
1482.56/1486.51	c GLOBAL bounds - >= -34983315 @ 1444.26
1502.81/1506.84	c GLOBAL bounds - >= -34983315 @ 1464.35
1506.80/1510.81	c GLOBAL bounds - >= -34983315 @ 1468.22
1637.15/1641.54	c GLOBAL bounds - >= -34983315 @ 1598.21
1739.57/1744.24	c #Conflicts:       5000 | #Constraints:       4966
1739.57/1744.24	c GLOBAL bounds - >= -34983315 @ 1700.34
2068.87/2074.47	c GLOBAL bounds - >= -34983315 @ 2029.43
2078.56/2084.16	c GLOBAL bounds - >= -34983315 @ 2038.98
2589.86/2596.90	c #Conflicts:       6000 | #Constraints:       5972
2589.86/2596.90	c INPROCESSING
2589.86/2596.90	c GARBAGE COLLECT
2589.86/2596.90	c #Conflicts:       7000 | #Constraints:       4980
2589.86/2596.90	c GLOBAL bounds - >= -34983315 @ 2549.73
3000.57/3008.66	c #Conflicts:       8000 | #Constraints:       5982
3000.57/3008.66	c GLOBAL bounds - >= -34983315 @ 2959.85
3600.08/3610.11	c #Conflicts:       9000 | #Constraints:       6984
3600.08/3610.11	c INPROCESSING
3600.08/3610.11	c GARBAGE COLLECT
3600.08/3610.11	c cpu time 3558.58 s
3600.08/3610.11	c deterministic time 75131 7.51e+04
3600.08/3610.11	c optimization time 3557.79 s
3600.08/3610.11	c total solve time 0 s
3600.08/3610.11	c core-guided solve time 0 s
3600.08/3610.11	c propagation time 0.002356 s
3600.08/3610.11	c conflict analysis time 0 s
3600.08/3610.11	c propagations 75130
3600.08/3610.11	c resolve steps 0
3600.08/3610.11	c decisions 0
3600.08/3610.11	c conflicts 0
3600.08/3610.11	c restarts 0
3600.08/3610.11	c inprocessing phases 0
3600.08/3610.11	c garbage collections 0 ,( -nan )
3600.08/3610.11	c input clauses 79 ,( 4.79 )
3600.08/3610.11	c input cardinalities 1571 ,( 95.21 )
3600.08/3610.11	c input general constraints 0 ,( 0.00 )
3600.08/3610.11	c input average constraint length 290.02
3600.08/3610.11	c input average constraint degree 289.45
3600.08/3610.11	c learned clauses 0 ,( 0.00 )
3600.08/3610.11	c learned cardinalities 0 ,( 0.00 )
3600.08/3610.11	c learned general constraints 0 ,( 0.00 )
3600.08/3610.11	c learned average constraint length 0.00
3600.08/3610.11	c learned average constraint degree 0.00
3600.08/3610.11	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3610.11	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3610.11	c watched   constraints 0 ,( -nan ) 
3600.08/3610.11	c counting  constraints 0 ,( -nan ) 
3600.08/3610.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3610.11	c gcd simplifications 55
3600.08/3610.11	c detected cardinalities 0
3600.08/3610.11	c weakened non-implied lits 0
3600.08/3610.11	c weakened non-implying lits 0
3600.08/3610.11	c original variables 210652
3600.08/3610.11	c clausal propagations 0
3600.08/3610.11	c cardinality propagations 0
3600.08/3610.11	c watched propagations 0
3600.08/3610.11	c counting propagations 0
3600.08/3610.11	c watch lookups 0
3600.08/3610.11	c watch backjump lookups 0
3600.08/3610.11	c watch checks 0
3600.08/3610.11	c propagation checks 0
3600.08/3610.11	c constraint additions 0
3600.08/3610.11	c trail pops 0
3600.08/3610.11	c formula constraints 1650
3600.08/3610.11	c learned constraints 0
3600.08/3610.11	c bound constraints 0
3600.08/3610.11	c core-guided constraints 0
3600.08/3610.11	c encountered formula constraints 0
3600.08/3610.11	c encountered learned constraints 0
3600.08/3610.11	c encountered bound constraints 0
3600.08/3610.11	c encountered core-guided constraints 0
3600.08/3610.11	c LP total time 0 s
3600.08/3610.11	c LP solve time 0 s
3600.08/3610.11	c LP constraints added 0
3600.08/3610.11	c LP constraints removed 0
3600.08/3610.11	c LP pivots internal 0
3600.08/3610.11	c LP pivots root 0
3600.08/3610.11	c LP calls 0
3600.08/3610.11	c LP optimalities 0
3600.08/3610.11	c LP no pivot count 0
3600.08/3610.11	c LP infeasibilities 0
3600.08/3610.11	c LP valid Farkas constraints 0
3600.08/3610.11	c LP learned Farkas constraints 0
3600.08/3610.11	c LP basis resets 0
3600.08/3610.11	c LP cycling count 0
3600.08/3610.11	c LP singular count 0
3600.08/3610.11	c LP no primal count 0
3600.08/3610.11	c LP no farkas count 0
3600.08/3610.11	c LP other issue count 0
3600.08/3610.11	c LP Gomory cuts 0
3600.08/3610.11	c LP learned cuts 0
3600.08/3610.11	c LP deleted cuts 0
3600.08/3610.11	c LP encountered Gomory constraints 0
3600.08/3610.11	c LP encountered Farkas constraints 0
3600.08/3610.11	c LP encountered learned Farkas constraints 0
3600.08/3610.11	c CG auxiliary variables introduced 0
3600.08/3610.11	c CG solutions found 0
3600.08/3610.11	c CG cores constructed 0
3600.08/3610.11	c CG core cardinality constraints returned 0
3600.08/3610.11	c CG unit cores 0
3600.08/3610.11	c CG single cores 0
3600.08/3610.11	c CG blocks removed during cardinality reduction 0
3600.08/3610.11	c CG first core best 0
3600.08/3610.11	c CG decision core best 0
3600.08/3610.11	c CG core reduction tie 0
3600.08/3610.11	c CG core degree average 0.00
3600.08/3610.11	c CG core slack average 0.00
3600.08/3610.11	c CG core upper bound improvements 0
3600.08/3610.11	c STR number of successful calls 0
3600.08/3610.11	c STR number of unsuccessful calls 0
3600.08/3610.11	c STR number of inconclusive calls 0
3600.08/3610.11	c STR number of successful attempts 0
3600.08/3610.11	c STR number of unsuccessful attempts 0
3600.08/3610.11	c STR number of inconclusive attempts 0
3600.08/3610.11	c STR average degree increase per successful call inf
3600.08/3610.11	c STR average degree increase per successful attempt inf
3600.08/3610.11	c STR total number of conflicts for successful attempts 0
3600.08/3610.11	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.11	c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.11	c STR average number of conflicts per successful attempt inf
3600.08/3610.11	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.11	c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.11	c AVG.sumWPerc -nan 
3600.08/3610.11	c bigint constraints 0 
3600.08/3610.11	s UNKNOWN
3600.08/3610.11	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (59149 MiB free)
  memory of node 1: 64465 MiB (60098 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100073 s]*
/proc/loadavg: 4.07 3.15 2.53 5/259 95622
/proc/meminfo: memFree=122057848/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=107568 memory=58816 CPUtime=0.08 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 7406 0 0 0 5 3 0 0 20 0 1 0 80626810 110149632 14704 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 26892 14704 1984 1147 0 14319 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 111760 KiB
Current children cumulated memory: 61760 KiB

[startup+0.214016 s]*
/proc/loadavg: 4.07 3.15 2.53 5/259 95622
/proc/meminfo: memFree=122049656/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=97068 memory=50372 CPUtime=0.19 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 7930 0 0 0 16 3 0 0 20 0 1 0 80626810 99397632 12593 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 24267 12593 2016 1147 0 11694 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101260 KiB
Current children cumulated memory: 53316 KiB

[startup+0.314177 s]*
/proc/loadavg: 4.07 3.15 2.53 5/259 95622
/proc/meminfo: memFree=122066040/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=97428 memory=50756 CPUtime=0.29 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 8054 0 0 0 26 3 0 0 20 0 1 0 80626810 99766272 12689 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 24357 12689 2016 1147 0 11784 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101620 KiB
Current children cumulated memory: 53700 KiB

[startup+0.700409 s]
/proc/loadavg: 4.07 3.15 2.53 5/259 95622
/proc/meminfo: memFree=122060936/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=111284 memory=66268 CPUtime=0.66 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 11416 0 0 0 62 4 0 0 20 0 1 0 80626810 113954816 16567 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 27821 16567 2016 1147 0 15248 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 115476 KiB
Current children cumulated memory: 69212 KiB

[startup+1.50041 s]
/proc/loadavg: 4.07 3.15 2.53 5/259 95622
/proc/meminfo: memFree=122019724/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=227432 memory=176416 CPUtime=1.46 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 30887 0 0 0 123 23 0 0 20 0 1 0 80626810 232890368 44104 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 56858 44104 2368 1147 0 44285 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 231624 KiB
Current children cumulated memory: 179360 KiB

[startup+3.11352 s]
/proc/loadavg: 4.07 3.15 2.53 5/259 95622
/proc/meminfo: memFree=121936396/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=276376 memory=216252 CPUtime=3.06 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 34830 0 0 0 254 52 0 0 20 0 1 0 80626810 283009024 54063 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 69094 54063 2368 1147 0 56521 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 280568 KiB
Current children cumulated memory: 219196 KiB

[startup+6.3004 s]
/proc/loadavg: 4.06 3.16 2.54 5/259 95622
/proc/meminfo: memFree=121798780/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=306728 memory=246464 CPUtime=6.25 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 35252 0 0 0 484 141 0 0 20 0 1 0 80626810 314089472 61616 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 76682 61616 2368 1147 0 64109 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 310920 KiB
Current children cumulated memory: 249408 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 3.19 2.55 5/259 95622
/proc/meminfo: memFree=121633216/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=356516 memory=287860 CPUtime=12.63 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 35909 0 0 0 1019 244 0 0 20 0 1 0 80626810 365072384 71965 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 89129 71965 2368 1147 0 76556 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 360708 KiB
Current children cumulated memory: 290804 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 3.23 2.57 5/259 95622
/proc/meminfo: memFree=121239424/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=487992 memory=366360 CPUtime=25.4 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 37138 0 0 0 2061 479 0 0 20 0 1 0 80626810 499703808 91590 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 121998 91590 2368 1147 0 109425 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 492184 KiB
Current children cumulated memory: 369304 KiB

[startup+51.1137 s]
/proc/loadavg: 4.13 3.31 2.62 5/260 95624
/proc/meminfo: memFree=120539832/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=620252 memory=518508 CPUtime=50.95 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 37842 0 0 0 4205 890 0 0 20 0 1 0 80626810 635138048 129627 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 155063 129627 2400 1147 0 142490 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 624444 KiB
Current children cumulated memory: 521452 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 3.44 2.70 5/260 95627
/proc/meminfo: memFree=119001864/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=1184424 memory=782400 CPUtime=102.01 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 38975 0 0 0 8595 1606 0 0 20 0 1 0 80626810 1212850176 195600 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 296106 195600 2400 1147 0 283533 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1188616 KiB
Current children cumulated memory: 785344 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.56 2.79 5/262 95631
/proc/meminfo: memFree=117280816/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=1196108 memory=1073520 CPUtime=161.87 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 42396 0 0 0 13869 2318 0 0 20 0 1 0 80626810 1224814592 268380 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 299027 268380 2400 1147 0 286454 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1200300 KiB
Current children cumulated memory: 1076464 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.67 2.88 5/262 95633
/proc/meminfo: memFree=115358160/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=1790476 memory=1349188 CPUtime=221.72 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 49619 0 0 0 19201 2971 0 0 20 0 1 0 80626810 1833447424 337297 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 447619 337297 2400 1147 0 435046 0

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

[pid=95622] ppid=95620 vsize=7500224 memory=5610088 CPUtime=3094.02 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 251802 0 0 0 305303 4099 0 0 20 0 1 0 80626810 7680229376 1402522 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1875056 1402522 2400 1147 0 1862483 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 7504416 KiB
Current children cumulated memory: 5613032 KiB

[startup+3162.3 s]
/proc/loadavg: 4.27 4.45 4.24 5/258 95792
/proc/meminfo: memFree=94291032/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7509956 memory=5618792 CPUtime=3153.85 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 254162 0 0 0 311279 4106 0 0 20 0 1 0 80626810 7690194944 1404698 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1877489 1404698 2400 1147 0 1864916 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 7514148 KiB
Current children cumulated memory: 5621736 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.38 4.22 5/257 95795
/proc/meminfo: memFree=93881896/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7513176 memory=5720412 CPUtime=3213.69 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 255385 0 0 0 317259 4110 0 0 20 0 1 0 80626810 7693492224 1430103 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1878294 1430103 2400 1147 0 1865721 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 7517368 KiB
Current children cumulated memory: 5723356 KiB

[startup+3282.3 s]
/proc/loadavg: 4.01 4.31 4.21 3/244 95860
/proc/meminfo: memFree=111141408/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7516168 memory=5860652 CPUtime=3273.52 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 256670 0 0 0 323229 4123 0 0 20 0 1 0 80626810 7696556032 1465163 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1879042 1465163 2400 1147 0 1866469 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 7520360 KiB
Current children cumulated memory: 5863596 KiB

[startup+3342.3 s]
/proc/loadavg: 2.17 3.73 4.01 2/238 95893
/proc/meminfo: memFree=120871092/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7517820 memory=5958972 CPUtime=3333.31 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 257178 0 0 0 329205 4126 0 0 20 0 1 0 80626810 7698247680 1489743 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1879455 1489743 2400 1147 0 1866882 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 7522012 KiB
Current children cumulated memory: 5961916 KiB

[startup+3402.3 s]
/proc/loadavg: 1.47 3.25 3.83 2/239 95896
/proc/meminfo: memFree=120720300/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7518732 memory=6052992 CPUtime=3393.1 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 257965 0 0 0 335181 4129 0 0 20 0 1 0 80626810 7699181568 1513248 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1879683 1513248 2400 1147 0 1867110 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 7522924 KiB
Current children cumulated memory: 6055936 KiB

[startup+3462.3 s]
/proc/loadavg: 1.27 2.86 3.66 2/239 95904
/proc/meminfo: memFree=120650188/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7519384 memory=6123640 CPUtime=3452.89 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 258811 0 0 0 341157 4132 0 0 20 0 1 0 80626810 7699849216 1530910 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1879846 1530910 2400 1147 0 1867273 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 7523576 KiB
Current children cumulated memory: 6126584 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 2.54 3.49 2/239 95906
/proc/meminfo: memFree=120557948/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7536212 memory=6212060 CPUtime=3512.68 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 262531 0 0 0 347126 4142 0 0 20 0 1 0 80626810 7717081088 1553015 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1884053 1553015 2400 1147 0 1871480 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 7540404 KiB
Current children cumulated memory: 6215004 KiB

[startup+3582.3 s]
/proc/loadavg: 1.17 2.29 3.35 2/234 95908
/proc/meminfo: memFree=120492020/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7539536 memory=6279328 CPUtime=3572.46 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 264063 0 0 0 353102 4144 0 0 20 0 1 0 80626810 7720484864 1569832 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1884884 1569832 2400 1147 0 1872311 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 7543728 KiB
Current children cumulated memory: 6282272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 1.10 2.16 3.27 2/234 95911
/proc/meminfo: memFree=120454704/131382116 swapFree=33005528/33010684
[pid=95620] ppid=95617 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/95620/stat : 95620 (run-opt-log.sh) S 95617 95620 94406 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 80626809 4292608 736 18446744073709551615 94564617523200 94564618417733 140724743729744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94564618656784 94564618704528 94564651917312 140724743735584 140724743735779 140724743735779 140724743741382 0
/proc/95620/statm: 1048 736 672 219 0 110 0
[pid=95622] ppid=95620 vsize=7607884 memory=6336288 CPUtime=3600.08 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95620 95620 94406 0 -1 4194304 277911 0 0 0 355848 4160 0 0 20 0 1 0 80626810 7790473216 1584072 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1901971 1584072 2400 1147 0 1889398 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7612076 KiB
Current children cumulated memory: 6339232 KiB

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

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

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

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

# cumulated CPU time of all completed processes:  user=3558.65 s, system=41.6891 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.21 s]
/proc/loadavg: 1.10 2.16 3.27 2/233 95911
/proc/meminfo: memFree=120454608/131382116 swapFree=33005528/33010684
[pid=95622] ppid=95617 vsize=7526968 memory=2440532 CPUtime=3600.27 cores=0,2
/proc/95622/stat : 95622 (roundingsat) R 95617 95620 94406 0 -1 4194304 277976 0 0 0 355861 4166 0 0 20 0 1 0 80626810 7707615232 612181 18446744073709551615 4227072 8923433 140722810892976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34959360 140722810894673 140722810894887 140722810894887 140722810900458 0
/proc/95622/statm: 1881742 611157 2464 1147 0 1869169 0
Current cumulated CPU time of completed processes: 0.002646 s
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 7526968 KiB
Current children cumulated memory: 2440532 KiB

Child status: 2

Real time (s): 3610.26
CPU time (s): 3600.34
CPU user time (s): 3558.65
CPU system time (s): 41.6891
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 7612076
Max. memory (cumulated for all children) (KiB): 6339232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.65
system time used= 41.6891
maximum resident set size= 6336544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6062488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192
involuntary context switches= 8401


# summary of solver processes directly reported to runsolver:
#   pid: 95620,95622
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3558.65
#   total CPU system time (s): 41.6891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6432 second user time and 39.8881 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-04 19:17:54
IDJOB=4523195
IDBENCH=179809
IDSOLVER=3351
FILE ID=nodeC010/4523195-1751649474
RUNJOBID= nodeC010-1751649138-95443
SLURM_JOB_ID= 9672315
Free space on /tmp= 429792 MiB

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

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

MD5SUM BENCH= 3781b2dec582d0b67f0282d1f3dabfdd
RANDOM SEED=613938445

nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        122109952 kB
MemAvailable:   125364484 kB
Buffers:             228 kB
Cached:          4049192 kB
SwapCached:         4296 kB
Active:          4785808 kB
Inactive:        3803228 kB
Active(anon):    4498600 kB
Inactive(anon):    54644 kB
Active(file):     287208 kB
Inactive(file):  3748584 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             97716 kB
Writeback:             0 kB
AnonPages:       4538452 kB
Mapped:           113816 kB
Shmem:             13628 kB
KReclaimable:     116732 kB
Slab:             205776 kB
SReclaimable:     116732 kB
SUnreclaim:        89044 kB
KernelStack:        4192 kB
PageTables:        12200 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5894700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1327104 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 429828 MiB
End job on nodeC010 at 2025-07-04 20:18:05