Trace number 4518002

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
Sat4j CP 2025-06-06OPT-141992 470.973 453.277

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
MD5SUMcd82cadc3025252f43f8d787a9347bc3
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-141992
Best CPU time to get the best result obtained on this benchmark0.123928
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1000
Maximum length of a constraint1000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 10984
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 6085234
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 48992
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 6085234
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.16	c Pseudo Boolean Optimization by upper bound
0.12/0.16	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.16	c  - never skip resolution steps
0.12/0.16	c  - Auto-division on coefficients is disabled
0.12/0.16	c  - No postprocessing
0.12/0.16	c  - Conflict is considered as is when resolving
0.12/0.16	c  - Use constraints as they come during conflict analysis
0.12/0.16	c  - Weaken first using unassigned literals
0.12/0.16	c  - Bump strategy: ALWAYS_ONE
0.12/0.16	c  - Bumper: ANY
0.12/0.16	c --- Begin Solver configuration ---
0.12/0.16	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.12/0.16	c Learn all clauses as in MiniSAT
0.12/0.16	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.16	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.16	c No reason simplification
0.12/0.16	c Armin Biere (Picosat) restarts strategy
0.12/0.16	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.16	c timeout=2147483s
0.12/0.16	c DB Simplification allowed=false
0.12/0.16	c Listener: none
0.12/0.16	c --- End Solver configuration ---
0.12/0.16	c solving HOME/instance-4518002-1751542700.opb
0.12/0.16	c reading problem ... 
0.12/0.16	c  objective function found
0.12/0.19	c ... done. Wall clock time 0.031s.
0.12/0.19	c declared #vars     1000
0.12/0.19	c #constraints  1
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
0.12/0.19	c 1 constraints processed.
0.12/0.20	c objective function length is 1000 literals
0.32/0.21	c SATISFIABLE
0.32/0.21	c OPTIMIZING...
0.32/0.21	c Got one! Elapsed wall clock time (in seconds):0.056
0.32/0.21	o -55976
5.85/4.70	c Got one! Elapsed wall clock time (in seconds):4.541
5.85/4.70	o -57000
5.85/4.71	c Got one! Elapsed wall clock time (in seconds):4.556
5.85/4.71	o -57005
10.70/8.95	c Got one! Elapsed wall clock time (in seconds):8.793
10.70/8.95	o -57006
10.70/8.96	c Got one! Elapsed wall clock time (in seconds):8.802
10.70/8.96	o -57011
10.70/8.97	c Got one! Elapsed wall clock time (in seconds):8.811
10.70/8.97	o -57016
11.44/9.45	c Got one! Elapsed wall clock time (in seconds):9.291
11.44/9.45	o -57017
12.12/9.90	c Got one! Elapsed wall clock time (in seconds):9.741
12.12/9.90	o -57019
12.12/9.94	c Got one! Elapsed wall clock time (in seconds):9.787
12.12/9.95	o -57035
12.31/10.07	c Got one! Elapsed wall clock time (in seconds):9.91
12.31/10.07	o -57036
12.51/10.19	c Got one! Elapsed wall clock time (in seconds):10.037
12.51/10.19	o -57052
12.69/10.27	c Got one! Elapsed wall clock time (in seconds):10.108
12.69/10.27	o -57991
17.19/14.57	c Got one! Elapsed wall clock time (in seconds):14.409
17.19/14.57	o -58132
20.09/17.46	c Got one! Elapsed wall clock time (in seconds):17.3
20.09/17.46	o -58138
20.09/17.46	c Got one! Elapsed wall clock time (in seconds):17.307
20.09/17.46	o -58143
24.42/21.70	c Got one! Elapsed wall clock time (in seconds):21.546
24.42/21.70	o -58152
24.42/21.76	c Got one! Elapsed wall clock time (in seconds):21.606
24.42/21.76	o -58154
24.85/22.14	c Got one! Elapsed wall clock time (in seconds):21.981
24.85/22.14	o -58155
25.75/23.06	c Got one! Elapsed wall clock time (in seconds):22.902
25.75/23.06	o -58157
25.85/23.18	c Got one! Elapsed wall clock time (in seconds):23.026
25.85/23.18	o -58173
27.56/24.83	c Got one! Elapsed wall clock time (in seconds):24.671
27.56/24.83	o -58253
28.78/26.08	c Got one! Elapsed wall clock time (in seconds):25.921
28.78/26.08	o -59270
28.89/26.13	c Got one! Elapsed wall clock time (in seconds):25.975
28.89/26.13	o -59282
28.89/26.19	c Got one! Elapsed wall clock time (in seconds):26.03
28.89/26.19	o -59287
29.00/26.23	c Got one! Elapsed wall clock time (in seconds):26.072
29.00/26.23	o -59293
29.00/26.28	c Got one! Elapsed wall clock time (in seconds):26.119
29.00/26.28	o -59298
29.12/26.32	c Got one! Elapsed wall clock time (in seconds):26.167
29.12/26.32	o -59299
29.12/26.39	c Got one! Elapsed wall clock time (in seconds):26.228
29.12/26.39	o -59301
29.30/26.45	c Got one! Elapsed wall clock time (in seconds):26.288
29.30/26.45	o -60414
29.30/26.46	c Got one! Elapsed wall clock time (in seconds):26.306
29.30/26.46	o -60417
29.30/26.47	c Got one! Elapsed wall clock time (in seconds):26.317
29.30/26.47	o -60423
29.42/26.50	c Got one! Elapsed wall clock time (in seconds):26.339
29.42/26.50	o -60440
29.54/26.60	c Got one! Elapsed wall clock time (in seconds):26.44
29.54/26.60	o -60445
29.65/26.71	c Got one! Elapsed wall clock time (in seconds):26.555
29.65/26.71	o -60448
30.56/27.52	c Got one! Elapsed wall clock time (in seconds):27.364
30.56/27.52	o -60533
32.20/29.14	c Got one! Elapsed wall clock time (in seconds):28.982
32.20/29.14	o -61561
32.20/29.17	c Got one! Elapsed wall clock time (in seconds):29.009
32.20/29.17	o -61566
32.20/29.19	c Got one! Elapsed wall clock time (in seconds):29.038
32.20/29.20	o -61569
32.33/29.23	c Got one! Elapsed wall clock time (in seconds):29.07
32.33/29.23	o -61575
32.44/29.35	c Got one! Elapsed wall clock time (in seconds):29.194
32.44/29.35	o -61590
33.20/30.02	c Got one! Elapsed wall clock time (in seconds):29.858
33.20/30.02	o -62471
33.20/30.05	c Got one! Elapsed wall clock time (in seconds):29.894
33.20/30.05	o -62713
33.20/30.09	c Got one! Elapsed wall clock time (in seconds):29.937
33.20/30.09	o -62715
33.32/30.16	c Got one! Elapsed wall clock time (in seconds):30.005
33.32/30.16	o -62720
33.71/30.52	c Got one! Elapsed wall clock time (in seconds):30.36
33.71/30.52	o -62723
34.41/31.23	c Got one! Elapsed wall clock time (in seconds):31.076
34.41/31.23	o -62779
34.51/31.30	c Got one! Elapsed wall clock time (in seconds):31.142
34.51/31.30	o -62983
34.51/31.39	c Got one! Elapsed wall clock time (in seconds):31.232
34.51/31.39	o -62988
34.61/31.43	c Got one! Elapsed wall clock time (in seconds):31.272
34.61/31.43	o -62989
34.74/31.54	c Got one! Elapsed wall clock time (in seconds):31.38
34.74/31.54	o -63867
34.74/31.59	c Got one! Elapsed wall clock time (in seconds):31.43
34.74/31.59	o -63873
34.84/31.64	c Got one! Elapsed wall clock time (in seconds):31.485
34.84/31.64	o -63990
34.84/31.69	c Got one! Elapsed wall clock time (in seconds):31.534
34.84/31.69	o -63991
38.83/35.64	c Got one! Elapsed wall clock time (in seconds):35.48
38.83/35.64	o -65027
38.83/35.69	c Got one! Elapsed wall clock time (in seconds):35.533
38.83/35.69	o -65043
38.93/35.74	c Got one! Elapsed wall clock time (in seconds):35.578
38.93/35.74	o -65049
38.93/35.79	c Got one! Elapsed wall clock time (in seconds):35.628
38.93/35.79	o -65051
39.04/35.85	c Got one! Elapsed wall clock time (in seconds):35.688
39.04/35.85	o -65056
39.14/35.96	c Got one! Elapsed wall clock time (in seconds):35.803
39.14/35.96	o -65059
39.64/36.47	c Got one! Elapsed wall clock time (in seconds):36.317
39.64/36.47	o -65876
39.74/36.52	c Got one! Elapsed wall clock time (in seconds):36.366
39.74/36.52	o -66203
39.74/36.57	c Got one! Elapsed wall clock time (in seconds):36.414
39.74/36.57	o -66238
39.85/36.62	c Got one! Elapsed wall clock time (in seconds):36.463
39.85/36.62	o -66254
39.95/36.72	c Got one! Elapsed wall clock time (in seconds):36.558
39.95/36.72	o -66260
44.05/40.80	c Got one! Elapsed wall clock time (in seconds):40.644
44.05/40.80	o -66298
47.22/43.88	c Got one! Elapsed wall clock time (in seconds):43.725
47.22/43.88	o -77709
47.42/44.02	c Got one! Elapsed wall clock time (in seconds):43.859
47.42/44.02	o -78611
47.52/44.17	c Got one! Elapsed wall clock time (in seconds):44.008
47.52/44.17	o -78625
47.72/44.30	c Got one! Elapsed wall clock time (in seconds):44.143
47.72/44.30	o -78631
47.82/44.45	c Got one! Elapsed wall clock time (in seconds):44.294
47.82/44.45	o -78635
47.92/44.59	c Got one! Elapsed wall clock time (in seconds):44.429
47.92/44.59	o -78651
48.12/44.74	c Got one! Elapsed wall clock time (in seconds):44.582
48.12/44.74	o -78666
48.22/44.90	c Got one! Elapsed wall clock time (in seconds):44.738
48.22/44.90	o -78669
48.43/45.05	c Got one! Elapsed wall clock time (in seconds):44.892
48.43/45.05	o -78671
48.63/45.21	c Got one! Elapsed wall clock time (in seconds):45.05
48.63/45.21	o -78678
48.73/45.32	c Got one! Elapsed wall clock time (in seconds):45.166
48.73/45.32	o -79889
48.83/45.47	c Got one! Elapsed wall clock time (in seconds):45.308
48.83/45.47	o -79898
49.03/45.61	c Got one! Elapsed wall clock time (in seconds):45.449
49.03/45.61	o -79912
49.16/45.76	c Got one! Elapsed wall clock time (in seconds):45.599
49.16/45.76	o -79918
49.39/45.92	c Got one! Elapsed wall clock time (in seconds):45.76
49.39/45.92	o -79922
49.49/46.06	c Got one! Elapsed wall clock time (in seconds):45.899
49.49/46.06	o -81176
49.59/46.19	c Got one! Elapsed wall clock time (in seconds):46.031
49.59/46.19	o -81186
49.89/46.44	c Got one! Elapsed wall clock time (in seconds):46.279
49.89/46.44	o -81195
50.09/46.68	c Got one! Elapsed wall clock time (in seconds):46.524
50.09/46.68	o -81209
50.39/46.95	c Got one! Elapsed wall clock time (in seconds):46.788
50.39/46.95	o -81215
50.69/47.22	c Got one! Elapsed wall clock time (in seconds):47.062
50.69/47.22	o -81250
50.79/47.37	c Got one! Elapsed wall clock time (in seconds):47.216
50.79/47.37	o -82473
50.99/47.51	c Got one! Elapsed wall clock time (in seconds):47.357
50.99/47.51	o -82492
51.09/47.68	c Got one! Elapsed wall clock time (in seconds):47.524
51.09/47.68	o -82502
51.29/47.83	c Got one! Elapsed wall clock time (in seconds):47.673
51.29/47.83	o -82511
51.79/48.33	c Got one! Elapsed wall clock time (in seconds):48.176
51.79/48.33	o -82525
52.74/49.17	c Got one! Elapsed wall clock time (in seconds):49.017
52.74/49.17	o -83225
52.93/49.39	c Got one! Elapsed wall clock time (in seconds):49.232
52.93/49.39	o -83789
53.13/49.56	c Got one! Elapsed wall clock time (in seconds):49.398
53.13/49.56	o -83795
53.43/49.89	c Got one! Elapsed wall clock time (in seconds):49.729
53.43/49.89	o -84256
53.63/50.06	c Got one! Elapsed wall clock time (in seconds):49.9
53.63/50.06	o -85111
53.83/50.23	c Got one! Elapsed wall clock time (in seconds):50.077
53.83/50.23	o -85128
54.03/50.41	c Got one! Elapsed wall clock time (in seconds):50.257
54.03/50.41	o -85134
54.24/50.61	c Got one! Elapsed wall clock time (in seconds):50.45
54.24/50.61	o -85153
54.34/50.77	c Got one! Elapsed wall clock time (in seconds):50.617
54.34/50.77	o -85163
54.54/50.95	c Got one! Elapsed wall clock time (in seconds):50.795
54.54/50.95	o -86450
54.77/51.14	c Got one! Elapsed wall clock time (in seconds):50.979
54.77/51.14	o -86497
55.01/51.31	c Got one! Elapsed wall clock time (in seconds):51.15
55.01/51.31	o -86514
55.12/51.47	c Got one! Elapsed wall clock time (in seconds):51.312
55.12/51.47	o -86520
55.32/51.63	c Got one! Elapsed wall clock time (in seconds):51.477
55.32/51.63	o -87836
55.42/51.79	c Got one! Elapsed wall clock time (in seconds):51.636
55.42/51.79	o -87857
55.63/51.95	c Got one! Elapsed wall clock time (in seconds):51.796
55.63/51.95	o -87921
55.84/52.14	c Got one! Elapsed wall clock time (in seconds):51.982
55.84/52.14	o -89243
55.93/52.29	c Got one! Elapsed wall clock time (in seconds):52.137
55.93/52.29	o -89256
56.16/52.44	c Got one! Elapsed wall clock time (in seconds):52.285
56.16/52.44	o -89324
56.40/52.60	c Got one! Elapsed wall clock time (in seconds):52.441
56.40/52.60	o -90663
56.53/52.76	c Got one! Elapsed wall clock time (in seconds):52.607
56.53/52.76	o -90703
56.75/52.93	c Got one! Elapsed wall clock time (in seconds):52.771
56.75/52.93	o -90716
56.99/53.11	c Got one! Elapsed wall clock time (in seconds):52.952
56.99/53.11	o -90738
57.10/53.29	c Got one! Elapsed wall clock time (in seconds):53.13
57.10/53.29	o -90751
57.30/53.49	c Got one! Elapsed wall clock time (in seconds):53.332
57.30/53.49	o -90772
57.50/53.65	c Got one! Elapsed wall clock time (in seconds):53.495
57.50/53.65	o -92095
57.80/53.90	c Got one! Elapsed wall clock time (in seconds):53.747
57.80/53.90	o -92258
57.92/54.07	c Got one! Elapsed wall clock time (in seconds):53.915
57.92/54.07	o -93530
58.14/54.25	c Got one! Elapsed wall clock time (in seconds):54.093
58.14/54.25	o -93555
58.34/54.43	c Got one! Elapsed wall clock time (in seconds):54.273
58.34/54.43	o -93558
58.54/54.63	c Got one! Elapsed wall clock time (in seconds):54.477
58.54/54.63	o -93570
58.75/54.86	c Got one! Elapsed wall clock time (in seconds):54.698
58.75/54.86	o -93583
58.95/55.02	c Got one! Elapsed wall clock time (in seconds):54.865
58.95/55.02	o -93604
59.05/55.16	c Got one! Elapsed wall clock time (in seconds):55.0
59.05/55.16	o -94990
59.26/55.30	c Got one! Elapsed wall clock time (in seconds):55.141
59.26/55.30	o -94992
59.56/55.60	c Got one! Elapsed wall clock time (in seconds):55.439
59.56/55.60	o -96056
59.70/55.76	c Got one! Elapsed wall clock time (in seconds):55.607
59.70/55.76	o -96057
59.90/55.93	c Got one! Elapsed wall clock time (in seconds):55.772
59.90/55.93	o -96062
60.11/56.15	c Got one! Elapsed wall clock time (in seconds):55.988
60.11/56.15	o -96129
60.30/56.35	c Got one! Elapsed wall clock time (in seconds):56.191
60.30/56.35	o -97611
60.40/56.49	c Got one! Elapsed wall clock time (in seconds):56.337
60.40/56.49	o -97621
60.70/56.78	c Got one! Elapsed wall clock time (in seconds):56.619
60.70/56.78	o -97795
60.90/56.95	c Got one! Elapsed wall clock time (in seconds):56.796
60.90/56.95	o -99123
61.11/57.12	c Got one! Elapsed wall clock time (in seconds):56.958
61.11/57.12	o -99132
61.20/57.28	c Got one! Elapsed wall clock time (in seconds):57.118
61.20/57.28	o -99153
61.40/57.44	c Got one! Elapsed wall clock time (in seconds):57.282
61.40/57.44	o -99154
61.72/57.74	c Got one! Elapsed wall clock time (in seconds):57.581
61.72/57.74	o -99159
62.14/58.12	c Got one! Elapsed wall clock time (in seconds):57.959
62.14/58.12	o -99975
62.23/58.28	c Got one! Elapsed wall clock time (in seconds):58.122
62.23/58.28	o -100676
62.43/58.43	c Got one! Elapsed wall clock time (in seconds):58.271
62.43/58.43	o -100678
62.54/58.58	c Got one! Elapsed wall clock time (in seconds):58.421
62.54/58.58	o -100687
62.74/58.73	c Got one! Elapsed wall clock time (in seconds):58.574
62.74/58.73	o -100708
62.84/58.88	c Got one! Elapsed wall clock time (in seconds):58.719
62.84/58.88	o -100709
63.05/59.07	c Got one! Elapsed wall clock time (in seconds):58.915
63.05/59.07	o -100717
63.44/59.43	c Got one! Elapsed wall clock time (in seconds):59.273
63.44/59.43	o -100718
63.74/59.74	c Got one! Elapsed wall clock time (in seconds):59.58
63.74/59.74	o -100740
64.24/60.23	c Got one! Elapsed wall clock time (in seconds):60.073
64.24/60.23	o -102231
64.44/60.41	c Got one! Elapsed wall clock time (in seconds):60.249
64.44/60.41	o -102240
64.54/60.57	c Got one! Elapsed wall clock time (in seconds):60.412
64.54/60.57	o -102242
64.74/60.75	c Got one! Elapsed wall clock time (in seconds):60.589
64.74/60.75	o -102251
64.94/60.97	c Got one! Elapsed wall clock time (in seconds):60.816
64.94/60.97	o -102304
65.14/61.14	c Got one! Elapsed wall clock time (in seconds):60.983
65.14/61.14	o -103795
65.34/61.30	c Got one! Elapsed wall clock time (in seconds):61.146
65.34/61.30	o -103826
65.44/61.49	c Got one! Elapsed wall clock time (in seconds):61.331
65.44/61.49	o -103835
65.66/61.64	c Got one! Elapsed wall clock time (in seconds):61.478
65.66/61.64	o -103837
65.76/61.78	c Got one! Elapsed wall clock time (in seconds):61.628
65.76/61.79	o -103846
66.06/62.07	c Got one! Elapsed wall clock time (in seconds):61.917
66.06/62.07	o -104000
66.26/62.22	c Got one! Elapsed wall clock time (in seconds):62.065
66.26/62.22	o -105390
66.36/62.36	c Got one! Elapsed wall clock time (in seconds):62.203
66.36/62.36	o -105391
66.56/62.50	c Got one! Elapsed wall clock time (in seconds):62.34
66.56/62.50	o -105422
66.66/62.65	c Got one! Elapsed wall clock time (in seconds):62.495
66.66/62.65	o -105431
66.80/62.78	c Got one! Elapsed wall clock time (in seconds):62.627
66.80/62.78	o -105433
67.00/62.92	c Got one! Elapsed wall clock time (in seconds):62.765
67.00/62.92	o -106986
67.11/63.06	c Got one! Elapsed wall clock time (in seconds):62.907
67.11/63.06	o -107007
68.70/64.63	c Got one! Elapsed wall clock time (in seconds):64.476
68.70/64.63	o -107018
70.20/66.19	c Got one! Elapsed wall clock time (in seconds):66.031
70.20/66.19	o -107039
70.39/66.32	c Got one! Elapsed wall clock time (in seconds):66.163
70.39/66.32	o -108603
71.91/67.89	c Got one! Elapsed wall clock time (in seconds):67.733
71.91/67.89	o -108614
72.12/68.06	c Got one! Elapsed wall clock time (in seconds):67.904
72.12/68.06	o -108635
72.31/68.20	c Got one! Elapsed wall clock time (in seconds):68.041
72.31/68.20	o -108636
72.42/68.39	c Got one! Elapsed wall clock time (in seconds):68.229
72.42/68.39	o -110231
72.62/68.53	c Got one! Elapsed wall clock time (in seconds):68.374
72.62/68.53	o -110243
72.72/68.66	c Got one! Elapsed wall clock time (in seconds):68.5
72.72/68.66	o -110254
72.92/68.80	c Got one! Elapsed wall clock time (in seconds):68.639
72.92/68.80	o -111871
73.02/68.92	c Got one! Elapsed wall clock time (in seconds):68.765
73.02/68.92	o -111894
73.12/69.04	c Got one! Elapsed wall clock time (in seconds):68.885
73.12/69.04	o -111906
73.23/69.14	c Got one! Elapsed wall clock time (in seconds):68.987
73.23/69.14	o -111917
73.62/69.57	c Got one! Elapsed wall clock time (in seconds):69.41
73.62/69.57	o -111990
73.82/69.73	c Got one! Elapsed wall clock time (in seconds):69.573
73.82/69.73	o -111992
74.83/70.70	c Got one! Elapsed wall clock time (in seconds):70.539
74.83/70.70	o -112887
75.03/70.91	c Got one! Elapsed wall clock time (in seconds):70.749
75.03/70.91	o -112902
75.13/71.08	c Got one! Elapsed wall clock time (in seconds):70.927
75.13/71.08	o -112913
75.33/71.29	c Got one! Elapsed wall clock time (in seconds):71.129
75.33/71.29	o -112923
75.55/71.46	c Got one! Elapsed wall clock time (in seconds):71.307
75.55/71.46	o -112930
75.80/71.64	c Got one! Elapsed wall clock time (in seconds):71.484
75.80/71.64	o -112963
76.00/71.81	c Got one! Elapsed wall clock time (in seconds):71.655
76.00/71.81	o -114626
76.10/71.99	c Got one! Elapsed wall clock time (in seconds):71.83
76.10/71.99	o -114632
76.31/72.16	c Got one! Elapsed wall clock time (in seconds):72.007
76.31/72.16	o -114662
76.50/72.36	c Got one! Elapsed wall clock time (in seconds):72.204
76.50/72.36	o -114677
76.70/72.54	c Got one! Elapsed wall clock time (in seconds):72.378
76.70/72.54	o -114688
76.80/72.69	c Got one! Elapsed wall clock time (in seconds):72.537
76.80/72.69	o -114698
77.50/73.32	c Got one! Elapsed wall clock time (in seconds):73.159
77.50/73.32	o -114945
77.70/73.50	c Got one! Elapsed wall clock time (in seconds):73.341
77.70/73.50	o -116401
77.80/73.68	c Got one! Elapsed wall clock time (in seconds):73.519
77.80/73.68	o -116417
78.00/73.85	c Got one! Elapsed wall clock time (in seconds):73.695
78.00/73.85	o -116423
78.20/74.02	c Got one! Elapsed wall clock time (in seconds):73.865
78.20/74.02	o -116453
78.42/74.22	c Got one! Elapsed wall clock time (in seconds):74.06
78.42/74.22	o -116468
78.53/74.38	c Got one! Elapsed wall clock time (in seconds):74.218
78.53/74.38	o -116479
78.72/74.54	c Got one! Elapsed wall clock time (in seconds):74.38
78.72/74.54	o -118192
78.92/74.70	c Got one! Elapsed wall clock time (in seconds):74.543
78.92/74.70	o -118225
79.02/74.86	c Got one! Elapsed wall clock time (in seconds):74.704
79.02/74.86	o -118241
79.22/75.05	c Got one! Elapsed wall clock time (in seconds):74.892
79.22/75.05	o -118247
79.42/75.21	c Got one! Elapsed wall clock time (in seconds):75.049
79.42/75.21	o -118277
79.52/75.35	c Got one! Elapsed wall clock time (in seconds):75.19
79.52/75.35	o -118292
79.62/75.49	c Got one! Elapsed wall clock time (in seconds):75.331
79.62/75.49	o -120016
79.81/75.63	c Got one! Elapsed wall clock time (in seconds):75.473
79.81/75.63	o -120045
80.01/75.84	c Got one! Elapsed wall clock time (in seconds):75.685
80.01/75.84	o -120184
80.22/76.03	c Got one! Elapsed wall clock time (in seconds):75.875
80.22/76.03	o -121947
80.32/76.18	c Got one! Elapsed wall clock time (in seconds):76.021
80.32/76.18	o -121950
80.51/76.33	c Got one! Elapsed wall clock time (in seconds):76.177
80.51/76.33	o -121959
80.81/76.67	c Got one! Elapsed wall clock time (in seconds):76.511
80.81/76.67	o -122261
81.01/76.83	c Got one! Elapsed wall clock time (in seconds):76.677
81.01/76.83	o -123734
81.11/77.00	c Got one! Elapsed wall clock time (in seconds):76.838
81.11/77.00	o -123741
81.34/77.19	c Got one! Elapsed wall clock time (in seconds):77.03
81.34/77.19	o -123753
81.54/77.35	c Got one! Elapsed wall clock time (in seconds):77.187
81.54/77.35	o -123782
81.64/77.46	c Got one! Elapsed wall clock time (in seconds):77.303
81.64/77.46	o -123815
81.74/77.57	c Got one! Elapsed wall clock time (in seconds):77.417
81.74/77.57	o -123837
82.34/78.16	c Got one! Elapsed wall clock time (in seconds):78.0
82.34/78.16	o -123989
82.64/78.44	c Got one! Elapsed wall clock time (in seconds):78.278
82.64/78.44	o -123992
84.59/80.32	c Got one! Elapsed wall clock time (in seconds):80.159
84.59/80.32	o -124881
84.91/80.64	c Got one! Elapsed wall clock time (in seconds):80.486
84.91/80.64	o -126374
85.21/80.91	c Got one! Elapsed wall clock time (in seconds):80.748
85.21/80.91	o -126958
85.42/81.13	c Got one! Elapsed wall clock time (in seconds):80.977
85.42/81.13	o -127283
85.73/81.41	c Got one! Elapsed wall clock time (in seconds):81.257
85.73/81.41	o -127347
85.93/81.62	c Got one! Elapsed wall clock time (in seconds):81.467
85.93/81.62	o -127634
86.13/81.83	c Got one! Elapsed wall clock time (in seconds):81.673
86.13/81.83	o -127746
86.34/82.03	c Got one! Elapsed wall clock time (in seconds):81.873
86.34/82.03	o -129643
86.53/82.22	c Got one! Elapsed wall clock time (in seconds):82.065
86.53/82.22	o -131265
86.83/82.51	c Got one! Elapsed wall clock time (in seconds):82.353
86.83/82.51	o -131732
87.23/82.96	c Got one! Elapsed wall clock time (in seconds):82.798
87.23/82.96	o -131756
87.53/83.22	c Got one! Elapsed wall clock time (in seconds):83.061
87.53/83.22	o -131841
87.64/83.39	c Got one! Elapsed wall clock time (in seconds):83.237
87.64/83.39	o -132276
87.83/83.57	c Got one! Elapsed wall clock time (in seconds):83.41
87.83/83.57	o -132294
90.40/86.08	c Got one! Elapsed wall clock time (in seconds):85.926
90.40/86.08	o -133923
90.80/86.41	c Got one! Elapsed wall clock time (in seconds):86.257
90.80/86.42	o -133966
91.51/87.11	c Got one! Elapsed wall clock time (in seconds):86.949
91.51/87.11	o -133971
91.80/87.44	c Got one! Elapsed wall clock time (in seconds):87.28
91.80/87.44	o -133978
92.31/87.97	c Got one! Elapsed wall clock time (in seconds):87.812
92.31/87.97	o -135545
96.17/91.73	c Got one! Elapsed wall clock time (in seconds):91.575
96.17/91.73	o -135589
96.57/92.12	c Got one! Elapsed wall clock time (in seconds):91.966
96.57/92.12	o -135717
97.57/93.12	c Got one! Elapsed wall clock time (in seconds):92.966
97.57/93.12	o -136848
98.12/93.66	c Got one! Elapsed wall clock time (in seconds):93.507
98.12/93.66	o -137781
98.63/94.11	c Got one! Elapsed wall clock time (in seconds):93.949
98.63/94.11	o -137990
130.94/126.20	c Got one! Elapsed wall clock time (in seconds):126.045
130.94/126.20	o -137992
132.04/127.31	c Got one! Elapsed wall clock time (in seconds):127.155
132.04/127.31	o -138628
135.80/131.09	c Got one! Elapsed wall clock time (in seconds):130.928
135.80/131.09	o -138906
136.49/131.79	c Got one! Elapsed wall clock time (in seconds):131.633
136.49/131.79	o -138914
138.40/133.55	c Got one! Elapsed wall clock time (in seconds):133.389
138.40/133.55	o -138938
139.79/134.95	c Got one! Elapsed wall clock time (in seconds):134.788
139.79/134.95	o -140803
140.79/135.86	c Got one! Elapsed wall clock time (in seconds):135.701
140.79/135.86	o -140879
141.19/136.23	c Got one! Elapsed wall clock time (in seconds):136.077
141.19/136.23	o -140929
142.45/137.46	c Got one! Elapsed wall clock time (in seconds):137.305
142.45/137.46	o -140981
145.15/140.15	c Got one! Elapsed wall clock time (in seconds):139.991
145.15/140.15	o -140985
146.34/141.37	c Got one! Elapsed wall clock time (in seconds):141.212
146.34/141.37	o -140991
148.90/143.87	c Got one! Elapsed wall clock time (in seconds):143.717
148.90/143.87	o -140992
174.07/168.45	c Got one! Elapsed wall clock time (in seconds):168.291
174.07/168.45	o -141791
176.26/170.58	c Got one! Elapsed wall clock time (in seconds):170.419
176.26/170.58	o -141794
177.26/171.58	c Got one! Elapsed wall clock time (in seconds):171.421
177.26/171.58	o -141908
181.12/175.35	c Got one! Elapsed wall clock time (in seconds):175.192
181.12/175.35	o -141925
182.21/176.40	c Got one! Elapsed wall clock time (in seconds):176.242
182.21/176.40	o -141934
183.69/177.86	c Got one! Elapsed wall clock time (in seconds):177.706
183.69/177.86	o -141987
185.78/179.91	c Got one! Elapsed wall clock time (in seconds):179.755
185.78/179.91	o -141992
261.20/254.45	c cleaning 2499 clauses out of 5003
470.89/453.24	c starts		: 273
470.89/453.24	c conflicts		: 9444
470.89/453.24	c decisions		: 179967
470.89/453.24	c propagations		: 511297
470.89/453.24	c inspects		: 186744107
470.89/453.24	c shortcuts		: 0
470.89/453.24	c learnt literals	: 0
470.89/453.24	c learnt binary clauses	: 0
470.89/453.24	c learnt ternary clauses	: 0
470.89/453.24	c learnt constraints	: 9443
470.89/453.24	c ignored constraints	: 0
470.89/453.24	c root simplifications	: 0
470.89/453.24	c removed literals (reason simplification)	: 0
470.89/453.24	c reason swapping (by a shorter reason)	: 0
470.89/453.24	c Calls to reduceDB	: 1
470.89/453.24	c Number of update (reduction) of LBD	: 0
470.89/453.24	c Imported unit clauses	: 0
470.89/453.24	c No decision after first conflict	: false
470.89/453.24	c number of reductions to clauses (during analyze)	: 0
470.89/453.24	c number of learned constraints concerned by reduction	: 0
470.89/453.24	c number of learning phase by resolution	: 0
470.89/453.24	c number of learning phase by cutting planes	: 0
470.89/453.24	c number of rounding to 1 operations	: 0
470.89/453.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
470.89/453.24	c number of reductions of the coefficients by power 2 	: 0
470.89/453.24	c number of right shift for reduction by power 2 	: 0
470.89/453.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
470.89/453.24	c number of ending skipping 	: 0
470.89/453.24	c number of internal skipping 	: 0
470.89/453.24	c number of derivation steps 	: 54494
470.89/453.24	c number of skipped derivation steps 	: 0
470.89/453.24	c number of remaining unassigned 	: 5647
470.89/453.24	c number of remaining assigned 	: 16972564
470.89/453.24	c number of falsified literals weakened from reason	: 0
470.89/453.24	c number of falsified literals weakened from conflict	: 0
470.89/453.24	c time for arithmetic operations	: 2780129692
470.89/453.24	c minimum degree of deleted constraints	: null
470.89/453.24	c maximum degree of deleted constraints	: null
470.89/453.24	c number of deleted constraints	: 0
470.89/453.24	c speed (assignments/second)	: 1128.598767871057
470.89/453.24	c non guided choices	: 0
470.89/453.24	s OPTIMUM FOUND
470.89/453.24	c Found 263 solution(s)
470.89/453.24	v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 x455 -x456 -x457 x458 x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 x992 -x993 -x994 x995 x996 -x997 -x998 x999 -x1000 
470.89/453.24	c objective function=-141992
470.89/453.24	c Total wall clock time (in seconds): 453.087

Verifier Data 

OK	-141992

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518002-1751542700/watcher-4518002-1751542700 -o /tmp/evaluation-result-4518002-1751542700/solver-4518002-1751542700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751542700-77240 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518002-1751542700.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10006 s]*
/proc/loadavg: 0.09 0.62 2.13 10/332 77364
/proc/meminfo: memFree=129410004/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=18930384 memory=55692 CPUtime=0.12 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 6533 0 0 0 10 2 0 0 20 0 18 0 69949921 19384713216 13923 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4732596 13923 5370 1 0 547586 0
[pid=77292/tid=77307] ppid=77279 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 5027 0 0 0 6 1 0 0 20 0 18 0 69949922 19384713216 13923 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=18930384 memory=18954 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69949924 19384713216 13923 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69949925 19384713216 13923 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55692 KiB

[startup+0.205591 s]*
/proc/loadavg: 0.09 0.62 2.13 11/333 77365
/proc/meminfo: memFree=129387900/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=18996948 memory=64728 CPUtime=0.32 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 7212 0 0 0 29 3 0 0 20 0 19 0 69949921 19452874752 16182 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4749237 16182 5466 1 0 548337 0
[pid=77292/tid=77307] ppid=77279 vsize=18996948 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 5443 0 0 0 15 2 0 0 20 0 19 0 69949922 19452874752 16182 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=18996948 memory=18954 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69949924 19452874752 16182 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=18996948 memory=60684515935208 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69949925 19452874752 16182 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (java) R 77279 77292 76600 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 69949942 19452874752 16182 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64728 KiB

[startup+0.305585 s]*
/proc/loadavg: 0.09 0.62 2.13 11/334 77366
/proc/meminfo: memFree=129310456/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=18996948 memory=68316 CPUtime=0.5 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 7765 0 0 0 47 3 0 0 20 0 19 0 69949921 19452874752 17079 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4749237 17079 5466 1 0 548594 0
[pid=77292/tid=77307] ppid=77279 vsize=18996948 memory=-6000919468361409896 CPUtime=0.27 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 5470 0 0 0 25 2 0 0 20 0 19 0 69949922 19452874752 17079 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69949924 19452874752 17079 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69949925 19452874752 17079 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69949942 19452874752 17079 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68316 KiB

[startup+0.700237 s]
/proc/loadavg: 0.09 0.62 2.13 7/316 77370
/proc/meminfo: memFree=129245044/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=18996948 memory=102236 CPUtime=1.07 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 10302 0 0 0 103 4 0 0 20 0 19 0 69949921 19452874752 25559 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4749237 25559 5466 1 0 550428 0
[pid=77292/tid=77307] ppid=77279 vsize=18996948 memory=18688 CPUtime=0.64 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 5483 0 0 0 62 2 0 0 20 0 19 0 69949922 19452874752 25559 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69949924 19452874752 25559 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 69949925 19452874752 25559 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69949942 19452874752 25559 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102236 KiB

[startup+1.50027 s]
/proc/loadavg: 0.80 0.76 2.17 8/316 77380
/proc/meminfo: memFree=129108920/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=178840 CPUtime=2.64 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 25785 0 0 0 256 8 0 0 20 0 20 0 69949921 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 44710 5530 1 0 555224 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=10880 CPUtime=1.43 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 5655 0 0 0 139 4 0 0 20 0 20 0 69949922 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178840 KiB

[startup+3.10555 s]
/proc/loadavg: 0.80 0.76 2.17 6/339 77436
/proc/meminfo: memFree=127507344/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=178840 CPUtime=4.25 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 27098 0 0 0 417 8 0 0 20 0 20 0 69949921 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 44710 5530 1 0 555224 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=-6000919468378187112 CPUtime=3.02 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 5914 0 0 0 298 4 0 0 20 0 20 0 69949922 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 44710 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178840 KiB

[startup+6.30017 s]
/proc/loadavg: 1.14 0.83 2.18 5/339 77436
/proc/meminfo: memFree=125633616/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=382316 CPUtime=8.08 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 34068 0 0 0 795 13 0 0 20 0 20 0 69949921 19521036288 95579 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 95579 5530 1 0 555236 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=10880 CPUtime=6.2 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 7127 0 0 0 612 8 0 0 20 0 20 0 69949922 19521036288 95579 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 95579 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=8025788835519030868 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 95579 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 95579 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 8.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 382316 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 0.90 2.20 5/340 77437
/proc/meminfo: memFree=124928384/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=1093436 CPUtime=15.36 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 41527 0 0 0 1509 27 0 0 20 0 20 0 69949921 19521036288 273359 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 273359 5530 1 0 555236 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=14720 CPUtime=12.58 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 8889 0 0 0 1238 20 0 0 20 0 20 0 69949922 19521036288 273359 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 273359 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 273359 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=2401 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 273359 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 15.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1093436 KiB

[startup+25.5002 s]
/proc/loadavg: 1.84 1.00 2.22 5/340 77438
/proc/meminfo: memFree=124590884/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=1305644 CPUtime=28.28 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 44973 0 0 0 2797 31 0 0 20 0 20 0 69949921 19521036288 326411 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 326411 5530 1 0 555236 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=10880 CPUtime=25.33 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 9650 0 0 0 2509 24 0 0 20 0 20 0 69949922 19521036288 326411 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=1305516 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 326411 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 326411 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 326411 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 28.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1305644 KiB

[startup+51.1056 s]
/proc/loadavg: 2.77 1.31 2.28 5/340 77438
/proc/meminfo: memFree=124254088/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=1406748 CPUtime=54.77 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 53724 0 0 0 5442 35 0 0 20 0 20 0 69949921 19521036288 351687 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 351687 5530 1 0 555284 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=1405084 CPUtime=50.68 cores=5,7

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

/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543183 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 414.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172732 KiB

[startup+453.277 s]
# the end of solver process 77292 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=470.246 s, system=0.72684 s

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

[startup+409.6 s]
/proc/loadavg: 4.17 3.29 2.88 5/339 77459
/proc/meminfo: memFree=122094772/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=2172860 CPUtime=423.67 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 74359 0 0 0 42301 66 0 0 20 0 20 0 69949921 19521036288 543215 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 543215 5530 1 0 555978 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=5760 CPUtime=403.71 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 20155 0 0 0 40345 26 0 0 20 0 20 0 69949922 19521036288 543215 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 543215 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 208 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 543215 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543215 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 423.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172860 KiB

[startup+435.2 s]
/proc/loadavg: 4.26 3.38 2.92 5/339 77460
/proc/meminfo: memFree=122003596/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=2172988 CPUtime=451.09 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 74882 0 0 0 45041 68 0 0 20 0 20 0 69949921 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 543247 5530 1 0 555984 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=2168452 CPUtime=428.97 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 20574 0 0 0 42871 26 0 0 20 0 20 0 69949922 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=2172732 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 208 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 451.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172988 KiB

[startup+441.6 s]
/proc/loadavg: 4.22 3.40 2.94 5/339 77460
/proc/meminfo: memFree=121999524/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=2172988 CPUtime=457.55 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 75498 0 0 0 45687 68 0 0 20 0 20 0 69949921 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 543247 5530 1 0 555984 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=2172988 CPUtime=435.28 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 20945 0 0 0 43502 26 0 0 20 0 20 0 69949922 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=2172988 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543247 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 457.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172988 KiB

[startup+448 s]*
/proc/loadavg: 4.20 3.41 2.94 5/339 77460
/proc/meminfo: memFree=121995228/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=2173372 CPUtime=465.7 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 78393 0 0 0 46500 70 0 0 20 0 20 0 69949921 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 543343 5530 1 0 556068 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=-6000919489953555816 CPUtime=441.61 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 21718 0 0 0 44134 27 0 0 20 0 20 0 69949922 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=2173372 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 465.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173372 KiB

[startup+451.2 s]
/proc/loadavg: 4.19 3.42 2.95 5/339 77461
/proc/meminfo: memFree=121995228/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=2173372 CPUtime=468.9 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 78395 0 0 0 46819 71 0 0 20 0 20 0 69949921 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 543343 5530 1 0 556068 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=18688 CPUtime=444.79 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 21718 0 0 0 44452 27 0 0 20 0 20 0 69949922 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=2173372 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 468.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173372 KiB

[startup+452 s]*
/proc/loadavg: 4.19 3.42 2.95 5/339 77461
/proc/meminfo: memFree=121995228/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=2173372 CPUtime=469.7 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 78398 0 0 0 46899 71 0 0 20 0 20 0 69949921 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 543343 5530 1 0 556068 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=-6000919489953555816 CPUtime=445.6 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 21718 0 0 0 44533 27 0 0 20 0 20 0 69949922 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=4788 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=4916 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=3015064 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 469.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173372 KiB

[startup+452.8 s]
/proc/loadavg: 4.19 3.42 2.95 5/339 77461
/proc/meminfo: memFree=121995228/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=2173372 CPUtime=470.49 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 78399 0 0 0 46978 71 0 0 20 0 20 0 69949921 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 543343 5530 1 0 556068 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=14720 CPUtime=446.39 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 21718 0 0 0 44612 27 0 0 20 0 20 0 69949922 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=2173372 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=17236 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=4788 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 470.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173372 KiB

[startup+453.2 s]
/proc/loadavg: 4.19 3.42 2.95 5/339 77461
/proc/meminfo: memFree=121995244/131250000 swapFree=33010416/33010684
[pid=77292] ppid=77279 vsize=19063512 memory=2173372 CPUtime=470.89 cores=5,7
/proc/77292/stat : 77292 (java) S 77279 77292 76600 0 -1 4194304 78399 0 0 0 47018 71 0 0 20 0 20 0 69949921 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
/proc/77292/statm: 4765878 543343 5530 1 0 556068 0
[pid=77292/tid=77307] ppid=77279 vsize=19063512 memory=2944 CPUtime=446.79 cores=5,7
/proc/77292/task/77307/stat : 77307 (java) R 77279 77292 76600 0 -1 4194368 21718 0 0 0 44652 27 0 0 20 0 20 0 69949922 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77345] ppid=77279 vsize=19063512 memory=6784 CPUtime=0 cores=5,7
/proc/77292/task/77345/stat : 77345 (Finalizer) S 77279 77292 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949924 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77353] ppid=77279 vsize=19063512 memory=4788 CPUtime=0 cores=5,7
/proc/77292/task/77353/stat : 77353 (Common-Cleaner) S 77279 77292 76600 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 69949925 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
[pid=77292/tid=77366] ppid=77279 vsize=19063512 memory=4916 CPUtime=0 cores=5,7
/proc/77292/task/77366/stat : 77366 (Timer-0) S 77279 77292 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949942 19521036288 543343 18446744073709551615 93866048761856 93866048765552 140727613503120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93866048773368 93866048774160 93866077016064 140727613507966 140727613508070 140727613508070 140727613513672 0
Current children cumulated CPU time: 470.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173372 KiB

Child status: 30

Real time (s): 453.277
CPU time (s): 470.973
CPU user time (s): 470.246
CPU system time (s): 0.72684
CPU usage (%): 103.904
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2173372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 470.246
system time used= 0.72684
maximum resident set size= 2174140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19129
involuntary context switches= 2953


# summary of solver processes directly reported to runsolver:
#   pid: 77292
#   total CPU time (s): 470.973
#   total CPU user time (s): 470.246
#   total CPU system time (s): 0.72684

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.932304 second user time and 2.224 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-03 13:38:20
IDJOB=4518002
IDBENCH=176273
IDSOLVER=3361
FILE ID=nodeC027/4518002-1751542700
RUNJOBID= nodeC027-1751542700-77240
SLURM_JOB_ID= 9598693
Free space on /tmp= 431132 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_200_10000_5_-93992.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518002-1751542700/watcher-4518002-1751542700 -o /tmp/evaluation-result-4518002-1751542700/solver-4518002-1751542700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751542700-77240 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518002-1751542700.opb

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

MD5SUM BENCH= cd82cadc3025252f43f8d787a9347bc3
RANDOM SEED=1278736517

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129528016 kB
MemAvailable:   129771608 kB
Buffers:            2488 kB
Cached:          1043184 kB
SwapCached:           12 kB
Active:           615152 kB
Inactive:         502664 kB
Active(anon):      87408 kB
Inactive(anon):     2792 kB
Active(file):     527744 kB
Inactive(file):   499872 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2936 kB
Writeback:             0 kB
AnonPages:         75220 kB
Mapped:           103860 kB
Shmem:             18056 kB
KReclaimable:     110028 kB
Slab:             198968 kB
SReclaimable:     110028 kB
SUnreclaim:        88940 kB
KernelStack:        4144 kB
PageTables:         2756 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     339372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431124 MiB
End job on nodeC027 at 2025-07-03 13:45:54