Trace number 4424361

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 NameAnswerCPU timeWall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12MSAT (TO) 3600.7 3185.4

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-myciel5g-5_wcsp.wbo
MD5SUM3494b890a231ad778a05b94b9d7caa9e
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark10.9915
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables235
Total number of constraints1227
Number of soft constraints1180
Number of constraints which are clauses1180
Number of constraints which are cardinality constraints (but not clauses)47
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint5
Top cost 237
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 1180
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	 - never skip resolution steps
0.14/0.15	 - Auto-division on coefficients is disabled
0.14/0.15	 - No postprocessing
0.14/0.15	 - Conflict is considered as is when resolving
0.14/0.15	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	 - Weaken first using unassigned literals
0.14/0.15	 - Bump strategy: ALWAYS_ONE
0.14/0.15	 - Bumper: ASSIGNED
0.14/0.15	--- Begin Solver configuration ---
0.14/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	Learn all clauses as in MiniSAT
0.14/0.15	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	No reason simplification
0.14/0.15	Armin Biere (Picosat) restarts strategy
0.14/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	timeout=2147483s
0.14/0.15	DB Simplification allowed=false
0.14/0.15	Listener: none
0.14/0.15	--- End Solver configuration ---
0.14/0.16	c Pseudo Boolean Optimization by upper bound
0.14/0.16	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.16	c  - never skip resolution steps
0.14/0.16	c  - Auto-division on coefficients is disabled
0.14/0.16	c  - No postprocessing
0.14/0.16	c  - Conflict is considered as is when resolving
0.14/0.16	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.16	c  - Weaken first using unassigned literals
0.14/0.16	c  - Bump strategy: ALWAYS_ONE
0.14/0.16	c  - Bumper: ASSIGNED
0.14/0.16	c --- Begin Solver configuration ---
0.14/0.16	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.16	c Learn all clauses as in MiniSAT
0.14/0.16	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.16	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.16	c No reason simplification
0.14/0.16	c Armin Biere (Picosat) restarts strategy
0.14/0.16	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.16	c timeout=2147483s
0.14/0.16	c DB Simplification allowed=false
0.14/0.16	c Listener: none
0.14/0.16	c --- End Solver configuration ---
0.14/0.16	c solving HOME/instance-4424361-1720875219.wbo
0.14/0.16	c reading problem ... 
0.32/0.23	c ... done. Wall clock time 0.073s.
0.32/0.23	c declared #vars     235
0.32/0.23	c internal #vars     1415
0.32/0.23	c #constraints  1275
0.32/0.23	c constraints type 
0.32/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 48
0.32/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1227
0.32/0.23	c 1275 constraints processed.
0.32/0.24	c objective function length is 1180 literals
0.53/0.34	c SATISFIABLE
0.53/0.34	c OPTIMIZING...
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.182
0.53/0.34	o 236
0.71/0.44	c Got one! Elapsed wall clock time (in seconds):0.291
0.71/0.45	o 235
0.92/0.54	c Got one! Elapsed wall clock time (in seconds):0.39
0.92/0.54	o 234
1.07/0.61	c Got one! Elapsed wall clock time (in seconds):0.456
1.07/0.62	o 233
1.26/0.74	c Got one! Elapsed wall clock time (in seconds):0.588
1.26/0.74	o 232
1.66/0.99	c Got one! Elapsed wall clock time (in seconds):0.841
1.66/0.99	o 231
1.86/1.06	c Got one! Elapsed wall clock time (in seconds):0.902
1.86/1.06	o 230
2.05/1.16	c Got one! Elapsed wall clock time (in seconds):1.006
2.05/1.17	o 229
2.25/1.29	c Got one! Elapsed wall clock time (in seconds):1.14
2.25/1.29	o 228
2.63/1.45	c Got one! Elapsed wall clock time (in seconds):1.292
2.63/1.45	o 227
2.83/1.52	c Got one! Elapsed wall clock time (in seconds):1.356
2.83/1.52	o 226
2.83/1.58	c Got one! Elapsed wall clock time (in seconds):1.426
2.83/1.58	o 225
3.04/1.68	c Got one! Elapsed wall clock time (in seconds):1.528
3.04/1.68	o 224
3.42/1.89	c Got one! Elapsed wall clock time (in seconds):1.74
3.42/1.89	o 223
4.21/2.28	c Got one! Elapsed wall clock time (in seconds):2.126
4.21/2.28	o 222
4.41/2.34	c Got one! Elapsed wall clock time (in seconds):2.187
4.41/2.34	o 221
4.62/2.42	c Got one! Elapsed wall clock time (in seconds):2.271
4.62/2.42	o 220
4.82/2.54	c Got one! Elapsed wall clock time (in seconds):2.379
4.82/2.54	o 219
5.19/2.75	c Got one! Elapsed wall clock time (in seconds):2.6
5.19/2.75	o 218
5.79/3.06	c Got one! Elapsed wall clock time (in seconds):2.908
5.79/3.06	o 217
6.28/3.49	c Got one! Elapsed wall clock time (in seconds):3.333
6.28/3.49	o 216
6.39/3.56	c Got one! Elapsed wall clock time (in seconds):3.403
6.39/3.56	o 215
6.51/3.64	c Got one! Elapsed wall clock time (in seconds):3.488
6.51/3.64	o 214
6.79/3.80	c Got one! Elapsed wall clock time (in seconds):3.651
6.79/3.80	o 213
7.01/4.03	c Got one! Elapsed wall clock time (in seconds):3.874
7.01/4.03	o 212
7.42/4.43	c Got one! Elapsed wall clock time (in seconds):4.279
7.42/4.43	o 211
7.99/4.95	c Got one! Elapsed wall clock time (in seconds):4.8
7.99/4.95	o 210
9.32/6.24	c Got one! Elapsed wall clock time (in seconds):6.09
9.32/6.24	o 209
9.55/6.48	c Got one! Elapsed wall clock time (in seconds):6.323
9.55/6.48	o 208
9.94/6.81	c Got one! Elapsed wall clock time (in seconds):6.66
9.94/6.81	o 207
10.35/7.26	c Got one! Elapsed wall clock time (in seconds):7.107
10.35/7.26	o 206
11.09/7.94	c Got one! Elapsed wall clock time (in seconds):7.791
11.09/7.94	o 205
11.99/8.89	c Got one! Elapsed wall clock time (in seconds):8.733
11.99/8.89	o 204
13.71/10.51	c Got one! Elapsed wall clock time (in seconds):10.358
13.71/10.51	o 203
15.85/12.61	c Got one! Elapsed wall clock time (in seconds):12.454
15.85/12.61	o 202
18.62/15.31	c Got one! Elapsed wall clock time (in seconds):15.16
18.62/15.31	o 201
18.82/15.52	c Got one! Elapsed wall clock time (in seconds):15.365
18.82/15.52	o 200
19.02/15.79	c Got one! Elapsed wall clock time (in seconds):15.641
19.12/15.80	o 199
19.51/16.25	c Got one! Elapsed wall clock time (in seconds):16.099
19.51/16.25	o 198
20.23/16.91	c Got one! Elapsed wall clock time (in seconds):16.759
20.23/16.91	o 197
21.24/17.92	c Got one! Elapsed wall clock time (in seconds):17.763
21.24/17.92	o 196
22.67/19.34	c Got one! Elapsed wall clock time (in seconds):19.185
22.67/19.34	o 195
24.36/21.05	c Got one! Elapsed wall clock time (in seconds):20.895
24.36/21.05	o 194
26.19/22.71	c cleaning 1301 clauses out of 17435 with flag 0/17435
26.98/23.40	c Got one! Elapsed wall clock time (in seconds):23.251
26.98/23.40	o 193
29.66/26.10	c Got one! Elapsed wall clock time (in seconds):25.945
29.66/26.10	o 192
29.85/26.25	c Got one! Elapsed wall clock time (in seconds):26.096
29.85/26.25	o 191
30.05/26.47	c Got one! Elapsed wall clock time (in seconds):26.316
30.05/26.47	o 190
30.58/26.93	c Got one! Elapsed wall clock time (in seconds):26.776
30.58/26.93	o 189
31.18/27.53	c Got one! Elapsed wall clock time (in seconds):27.381
31.18/27.53	o 188
32.17/28.50	c Got one! Elapsed wall clock time (in seconds):28.346
32.17/28.50	o 187
33.61/29.98	c Got one! Elapsed wall clock time (in seconds):29.828
33.61/29.98	o 186
36.45/32.72	c Got one! Elapsed wall clock time (in seconds):32.567
36.45/32.72	o 185
40.39/36.66	c Got one! Elapsed wall clock time (in seconds):36.51
40.39/36.66	o 184
42.77/39.02	c cleaning 685 clauses out of 25335 with flag 0/26636
45.65/41.88	c Got one! Elapsed wall clock time (in seconds):41.73
45.65/41.88	o 183
56.66/52.69	c Got one! Elapsed wall clock time (in seconds):52.539
56.66/52.69	o 182
57.07/53.07	c Got one! Elapsed wall clock time (in seconds):52.919
57.07/53.07	o 181
57.67/53.67	c Got one! Elapsed wall clock time (in seconds):53.519
57.67/53.67	o 180
58.49/54.44	c Got one! Elapsed wall clock time (in seconds):54.285
58.49/54.44	o 179
59.76/55.66	c Got one! Elapsed wall clock time (in seconds):55.503
59.76/55.66	o 178
61.26/57.12	c Got one! Elapsed wall clock time (in seconds):56.963
61.26/57.12	o 177
63.52/59.37	c Got one! Elapsed wall clock time (in seconds):59.218
63.52/59.37	o 176
66.70/62.44	c cleaning 850 clauses out of 33150 with flag 0/35136
67.05/62.75	c Got one! Elapsed wall clock time (in seconds):62.593
67.05/62.75	o 175
71.40/67.10	c Got one! Elapsed wall clock time (in seconds):66.943
71.40/67.10	o 174
79.98/75.42	c Got one! Elapsed wall clock time (in seconds):75.269
79.98/75.42	o 173
86.78/82.19	c cleaning 596 clauses out of 38705 with flag 0/41541
91.30/86.51	c Got one! Elapsed wall clock time (in seconds):86.355
91.30/86.51	o 172
101.26/96.20	c cleaning 392 clauses out of 43955 with flag 0/47387
105.32/100.30	c Got one! Elapsed wall clock time (in seconds):100.135
105.32/100.30	o 171
105.83/100.70	c Got one! Elapsed wall clock time (in seconds):100.544
105.83/100.70	o 170
106.33/101.22	c Got one! Elapsed wall clock time (in seconds):101.065
106.33/101.22	o 169
107.03/101.96	c Got one! Elapsed wall clock time (in seconds):101.81
107.03/101.96	o 168
108.02/102.99	c Got one! Elapsed wall clock time (in seconds):102.833
108.02/102.99	o 167
109.89/104.76	c Got one! Elapsed wall clock time (in seconds):104.609
109.89/104.76	o 166
112.37/107.12	c Got one! Elapsed wall clock time (in seconds):106.97
112.37/107.12	o 165
115.74/110.48	c Got one! Elapsed wall clock time (in seconds):110.331
115.74/110.48	o 164
121.09/115.74	c Got one! Elapsed wall clock time (in seconds):115.588
121.09/115.75	o 163
128.30/122.84	c cleaning 739 clauses out of 52264 with flag 0/56088
130.30/124.84	c Got one! Elapsed wall clock time (in seconds):124.687
130.30/124.84	o 162
147.62/141.98	c Got one! Elapsed wall clock time (in seconds):141.824
147.62/141.98	o 161
157.46/151.62	c cleaning 579 clauses out of 57931 with flag 0/62494
172.55/166.50	c Got one! Elapsed wall clock time (in seconds):166.345
172.55/166.50	o 160
183.05/176.96	c cleaning 551 clauses out of 63125 with flag 0/68267
211.19/204.72	c cleaning 529 clauses out of 68575 with flag 0/74268
214.33/207.86	c Got one! Elapsed wall clock time (in seconds):207.702
214.33/207.86	o 159
215.13/208.64	c Got one! Elapsed wall clock time (in seconds):208.489
215.13/208.64	o 158
216.23/209.72	c Got one! Elapsed wall clock time (in seconds):209.569
216.23/209.72	o 157
218.18/211.66	c Got one! Elapsed wall clock time (in seconds):211.51
218.18/211.66	o 156
220.45/213.85	c Got one! Elapsed wall clock time (in seconds):213.695
220.45/213.85	o 155
223.54/216.99	c Got one! Elapsed wall clock time (in seconds):216.839
223.54/216.99	o 154
228.43/221.79	c Got one! Elapsed wall clock time (in seconds):221.634
228.43/221.79	o 153
236.05/229.35	c Got one! Elapsed wall clock time (in seconds):229.193
236.05/229.35	o 152
248.06/241.25	c Got one! Elapsed wall clock time (in seconds):241.094
248.06/241.25	o 151
265.17/258.14	c Got one! Elapsed wall clock time (in seconds):257.984
265.17/258.15	o 150
272.09/264.93	c cleaning 1036 clauses out of 77190 with flag 0/83412
286.20/278.93	c Got one! Elapsed wall clock time (in seconds):278.778
286.20/278.93	o 149
306.02/298.58	c cleaning 558 clauses out of 81997 with flag 0/89255
322.42/314.84	c Got one! Elapsed wall clock time (in seconds):314.685
322.42/314.84	o 148
344.30/336.44	c cleaning 665 clauses out of 87210 with flag 0/95026
381.29/373.28	c Got one! Elapsed wall clock time (in seconds):373.126
381.29/373.28	o 147
420.79/412.42	c cleaning 1225 clauses out of 97198 with flag 0/105679
465.73/456.89	c cleaning 525 clauses out of 101973 with flag 0/111679
481.97/472.91	c Got one! Elapsed wall clock time (in seconds):472.76
481.97/472.91	o 146
483.38/474.32	c Got one! Elapsed wall clock time (in seconds):474.166
483.38/474.32	o 145
485.61/476.57	c Got one! Elapsed wall clock time (in seconds):476.415
485.61/476.57	o 144
488.02/478.95	c Got one! Elapsed wall clock time (in seconds):478.797
488.02/478.95	o 143
491.95/482.87	c Got one! Elapsed wall clock time (in seconds):482.721
491.95/482.87	o 142
497.93/488.78	c Got one! Elapsed wall clock time (in seconds):488.622
497.93/488.78	o 141
505.68/496.46	c Got one! Elapsed wall clock time (in seconds):496.311
505.68/496.46	o 140
517.67/508.32	c Got one! Elapsed wall clock time (in seconds):508.166
517.67/508.32	o 139
536.11/526.61	c Got one! Elapsed wall clock time (in seconds):526.452
536.11/526.61	o 138
556.80/547.20	c cleaning 935 clauses out of 110346 with flag 0/120577
562.81/553.14	c Got one! Elapsed wall clock time (in seconds):552.986
562.81/553.14	o 137
594.96/584.95	c Got one! Elapsed wall clock time (in seconds):584.792
594.96/584.95	o 136
609.78/599.69	c cleaning 632 clauses out of 115822 with flag 0/126988
636.57/626.14	c Got one! Elapsed wall clock time (in seconds):625.984
636.57/626.14	o 135
649.86/639.37	c cleaning 580 clauses out of 120957 with flag 0/132755
694.14/683.25	c cleaning 581 clauses out of 126377 with flag 0/138755
700.68/689.79	c Got one! Elapsed wall clock time (in seconds):689.637
700.68/689.79	o 134
749.51/738.21	c cleaning 496 clauses out of 131446 with flag 0/144405
798.12/786.41	c cleaning 586 clauses out of 136952 with flag 0/150407
811.65/799.86	c Got one! Elapsed wall clock time (in seconds):799.703
811.65/799.86	o 133
851.05/838.88	c cleaning 589 clauses out of 142341 with flag 0/156382
904.59/891.92	c cleaning 553 clauses out of 147748 with flag 0/162378
974.78/961.42	c cleaning 599 clauses out of 154197 with flag 0/169380
1002.50/988.90	c Got one! Elapsed wall clock time (in seconds):988.751
1002.50/988.90	o 132
1004.44/990.87	c Got one! Elapsed wall clock time (in seconds):990.712
1004.44/990.87	o 131
1007.43/993.80	c Got one! Elapsed wall clock time (in seconds):993.645
1007.43/993.80	o 130
1010.57/996.92	c Got one! Elapsed wall clock time (in seconds):996.77
1010.57/996.92	o 129
1015.72/1002.07	c Got one! Elapsed wall clock time (in seconds):1001.921
1015.72/1002.07	o 128
1023.86/1010.10	c Got one! Elapsed wall clock time (in seconds):1009.948
1023.86/1010.10	o 127
1036.33/1022.45	c Got one! Elapsed wall clock time (in seconds):1022.301
1036.33/1022.45	o 126
1051.17/1037.16	c Got one! Elapsed wall clock time (in seconds):1037.011
1051.17/1037.16	o 125
1072.56/1058.25	c Got one! Elapsed wall clock time (in seconds):1058.093
1072.56/1058.25	o 124
1084.51/1070.08	c cleaning 927 clauses out of 161999 with flag 0/177781
1105.52/1090.70	c Got one! Elapsed wall clock time (in seconds):1090.547
1105.52/1090.70	o 123
1156.49/1141.17	c Got one! Elapsed wall clock time (in seconds):1141.016
1156.49/1141.17	o 122
1166.13/1150.77	c cleaning 692 clauses out of 167470 with flag 0/184179
1220.06/1204.01	c Got one! Elapsed wall clock time (in seconds):1203.857
1220.06/1204.01	o 121
1235.73/1219.43	c cleaning 560 clauses out of 172545 with flag 0/189946
1311.61/1292.32	c cleaning 695 clauses out of 177985 with flag 0/195946
1328.65/1309.02	c Got one! Elapsed wall clock time (in seconds):1308.864
1328.65/1309.02	o 120
1375.11/1354.96	c cleaning 686 clauses out of 182944 with flag 0/201600
1456.42/1427.95	c cleaning 667 clauses out of 188259 with flag 0/207601
1494.10/1459.71	c Got one! Elapsed wall clock time (in seconds):1459.555
1494.10/1459.71	o 119
1556.72/1512.18	c cleaning 619 clauses out of 193564 with flag 0/213573
1670.02/1605.68	c cleaning 577 clauses out of 198943 with flag 0/219571
1781.50/1698.84	c cleaning 723 clauses out of 205368 with flag 0/226573
1847.40/1752.36	c Got one! Elapsed wall clock time (in seconds):1752.208
1847.40/1752.36	o 118
1889.05/1789.68	c cleaning 562 clauses out of 210109 with flag 0/232037
1992.56/1878.34	c cleaning 648 clauses out of 215546 with flag 0/238036
2118.00/1982.04	c cleaning 680 clauses out of 221900 with flag 0/245038
2254.01/2094.51	c cleaning 801 clauses out of 229218 with flag 0/253036
2351.17/2174.84	c Got one! Elapsed wall clock time (in seconds):2174.689
2351.17/2174.84	o 117
2353.32/2176.73	c Got one! Elapsed wall clock time (in seconds):2176.575
2353.32/2176.73	o 116
2355.93/2179.26	c Got one! Elapsed wall clock time (in seconds):2179.112
2355.93/2179.27	o 115
2359.99/2183.21	c Got one! Elapsed wall clock time (in seconds):2183.054
2359.99/2183.21	o 114
2367.18/2188.28	c Got one! Elapsed wall clock time (in seconds):2188.13
2367.18/2188.28	o 113
2374.44/2195.38	c Got one! Elapsed wall clock time (in seconds):2195.224
2374.44/2195.38	o 112
2387.39/2205.97	c Got one! Elapsed wall clock time (in seconds):2205.82
2387.39/2205.97	o 111
2406.98/2220.94	c Got one! Elapsed wall clock time (in seconds):2220.79
2406.98/2220.94	o 110
2434.92/2244.01	c Got one! Elapsed wall clock time (in seconds):2243.856
2434.92/2244.01	o 109
2499.17/2294.77	c Got one! Elapsed wall clock time (in seconds):2294.613
2499.17/2294.77	o 108
2524.71/2314.89	c cleaning 1472 clauses out of 243114 with flag 0/267733
2585.93/2363.89	c Got one! Elapsed wall clock time (in seconds):2363.741
2585.93/2363.89	o 107
2647.57/2415.30	c cleaning 607 clauses out of 247485 with flag 0/273576
2698.51/2456.40	c Got one! Elapsed wall clock time (in seconds):2456.245
2698.51/2456.40	o 106
2762.69/2508.07	c cleaning 651 clauses out of 252646 with flag 0/279344
2875.91/2596.41	c Got one! Elapsed wall clock time (in seconds):2596.258
2875.91/2596.41	o 105
3007.79/2700.69	c cleaning 1178 clauses out of 262649 with flag 0/289998
3154.07/2820.18	c cleaning 679 clauses out of 267469 with flag 0/295996
3189.93/2850.34	c Got one! Elapsed wall clock time (in seconds):2850.189
3189.93/2850.34	o 104
3275.56/2919.51	c cleaning 731 clauses out of 272765 with flag 0/301971
3402.59/3021.61	c cleaning 617 clauses out of 278034 with flag 0/307971
3549.25/3143.10	c cleaning 758 clauses out of 284416 with flag 0/314970
3593.14/3180.11	c Got one! Elapsed wall clock time (in seconds):3179.956
3593.14/3180.11	o 103
3600.15/3185.18	c starts		: 269
3600.15/3185.19	c conflicts		: 317622
3600.15/3185.19	c decisions		: 560146
3600.15/3185.19	c propagations		: 11924863
3600.15/3185.19	c inspects		: 6665642153
3600.15/3185.19	c shortcuts		: 0
3600.15/3185.19	c learnt literals	: 0
3600.15/3185.19	c learnt binary clauses	: 0
3600.15/3185.19	c learnt ternary clauses	: 0
3600.15/3185.19	c learnt constraints	: 317621
3600.15/3185.19	c ignored constraints	: 0
3600.15/3185.19	c root simplifications	: 0
3600.15/3185.19	c removed literals (reason simplification)	: 0
3600.15/3185.19	c reason swapping (by a shorter reason)	: 0
3600.15/3185.19	c Calls to reduceDB	: 44
3600.15/3185.19	c Number of update (reduction) of LBD	: 1756
3600.15/3185.19	c Imported unit clauses	: 0
3600.15/3185.19	c No decision after first conflict	: false
3600.15/3185.19	c number of reductions to clauses (during analyze)	: 0
3600.15/3185.19	c number of learned constraints concerned by reduction	: 0
3600.15/3185.19	c number of learning phase by resolution	: 0
3600.15/3185.19	c number of learning phase by cutting planes	: 0
3600.15/3185.19	c number of rounding to 1 operations	: 215916
3600.15/3185.19	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.15/3185.19	c number of reductions of the coefficients by power 2 	: 0
3600.15/3185.19	c number of right shift for reduction by power 2 	: 0
3600.15/3185.19	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.15/3185.20	c number of ending skipping 	: 0
3600.15/3185.20	c number of internal skipping 	: 0
3600.15/3185.20	c number of derivation steps 	: 5415494
3600.15/3185.20	c number of skipped derivation steps 	: 0
3600.15/3185.20	c number of remaining unassigned 	: 41
3600.15/3185.20	c number of remaining assigned 	: 29132670
3600.15/3185.20	c number of falsified literals weakened from reason	: 0
3600.15/3185.20	c number of falsified literals weakened from conflict	: 0
3600.15/3185.20	c time for arithmetic operations	: 2505248522
3600.15/3185.20	c minimum degree of deleted constraints	: 4
3600.15/3185.20	c maximum degree of deleted constraints	: 3119
3600.15/3185.20	c number of deleted constraints	: 31312
3600.15/3185.20	c speed (assignments/second)	: 3744.131144370332
3600.15/3185.20	c non guided choices	: 7497
3600.55/3185.36	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 174120
3600.55/3185.36	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 205
3600.55/3185.36	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 111984
3600.55/3185.36	s SATISFIABLE
3600.55/3185.36	c Found 134 solution(s)
3600.55/3185.36	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 
3600.55/3185.36	c objective function=103
3600.55/3185.36	c Total wall clock time (in seconds): 3185.209

Verifier Data 

OK	14

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: 63931 MiB (58315 MiB free)
  memory of node 1: 64510 MiB (59167 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424361-1720875219/watcher-4424361-1720875219 -o /tmp/evaluation-result-4424361-1720875219/solver-4424361-1720875219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720874164-712277 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424361-1720875219.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=713053, runsolver pid=713050
Current StackSize limit: 8192 KiB


[startup+0.102682 s]*
/proc/loadavg: 4.20 4.10 2.92 8/330 713071
/proc/meminfo: memFree=120260284/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=18975048 memory=63688 CPUtime=0.14 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 7250 0 0 0 12 2 0 0 20 0 18 0 139683734 19430449152 15922 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4743762 15922 5730 1 0 549382 0
[pid=713053/tid=713055] ppid=713050 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 1078198336 5755 0 0 0 7 1 0 0 20 0 18 0 139683734 19430449152 15922 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139683736 19430449152 15922 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=18975048 memory=15824395507619580 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139683737 19430449152 15922 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63688 KiB

[startup+0.205817 s]*
/proc/loadavg: 4.20 4.10 2.92 7/330 713071
/proc/meminfo: memFree=120247664/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=18975048 memory=76240 CPUtime=0.32 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 7818 0 0 0 30 2 0 0 20 0 18 0 139683734 19430449152 19060 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4743762 19060 5850 1 0 549727 0
[pid=713053/tid=713055] ppid=713050 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 6030 0 0 0 16 2 0 0 20 0 18 0 139683734 19430449152 19060 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=18975048 memory=15975 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139683736 19430449152 19060 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139683737 19430449152 19060 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76240 KiB

[startup+0.311808 s]*
/proc/loadavg: 4.20 4.10 2.92 7/331 713072
/proc/meminfo: memFree=120235800/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19041612 memory=88104 CPUtime=0.53 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 8384 0 0 0 50 3 0 0 20 0 19 0 139683734 19498610688 22026 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4760403 22026 5888 1 0 550270 0
[pid=713053/tid=713055] ppid=713050 vsize=19041612 memory=-9176201241805890236 CPUtime=0.27 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 6184 0 0 0 25 2 0 0 20 0 19 0 139683734 19498610688 22026 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139683736 19498610688 22026 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139683737 19498610688 22026 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139683758 19498610688 22026 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88104 KiB

[startup+0.700626 s]
/proc/loadavg: 4.20 4.10 2.92 6/331 713072
/proc/meminfo: memFree=120187692/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=176968 CPUtime=1.26 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 14256 0 0 0 120 6 0 0 20 0 20 0 139683734 19566772224 44242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 44242 5904 1 0 554035 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=13196 CPUtime=0.58 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 6224 0 0 0 55 3 0 0 20 0 20 0 139683734 19566772224 44242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=13196 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 44242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=117636 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 44242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=2028 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 44242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176968 KiB

[startup+1.50081 s]
/proc/loadavg: 4.20 4.10 2.92 6/332 713074
/proc/meminfo: memFree=120145256/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=188968 CPUtime=2.83 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 22375 0 0 0 276 7 0 0 20 0 20 0 139683734 19566772224 47242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 47242 5920 1 0 555300 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=13196 CPUtime=1.32 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 6882 0 0 0 129 3 0 0 20 0 20 0 139683734 19566772224 47242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 47242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 47242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 47242 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188968 KiB

[startup+3.10594 s]
/proc/loadavg: 4.26 4.12 2.93 6/332 713074
/proc/meminfo: memFree=119585792/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=737056 CPUtime=5.97 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 28965 0 0 0 578 19 0 0 20 0 20 0 139683734 19566772224 184264 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 184264 5920 1 0 664722 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=0 CPUtime=2.85 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 7715 0 0 0 271 14 0 0 20 0 20 0 139683734 19566772224 184264 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 184264 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=273264 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 184264 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=13196 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 184264 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 737056 KiB

[startup+6.30026 s]
/proc/loadavg: 4.26 4.12 2.93 5/332 713074
/proc/meminfo: memFree=119522588/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=799724 CPUtime=9.43 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 29260 0 1 0 921 22 0 0 20 0 20 0 139683734 19566772224 199931 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 199931 5937 1 0 664726 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=13196 CPUtime=5.98 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 7917 0 0 0 582 16 0 0 20 0 20 0 139683734 19566772224 199931 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 199931 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=6011292188278282064 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 199931 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=5472 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 199931 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 9.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 799724 KiB

[startup+12.7003 s]
/proc/loadavg: 4.30 4.13 2.95 5/332 713077
/proc/meminfo: memFree=118853920/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=1465052 CPUtime=15.95 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 30216 0 1 0 1560 35 0 0 20 0 20 0 139683734 19566772224 366263 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 366263 5937 1 0 833945 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=0 CPUtime=12.25 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 8345 0 0 0 1197 28 0 0 20 0 20 0 139683734 19566772224 366263 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=1465052 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 366263 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 366263 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=1800 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 366263 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1465052 KiB

[startup+25.5008 s]
/proc/loadavg: 4.34 4.14 2.97 5/332 713079
/proc/meminfo: memFree=118239904/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=2073740 CPUtime=29.15 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 38901 0 1 0 2869 46 0 0 20 0 20 0 139683734 19566772224 518435 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 518435 5937 1 0 833982 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=1465052 CPUtime=24.7 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 12302 0 0 0 2435 35 0 0 20 0 20 0 139683734 19566772224 518435 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=1800 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 518435 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=1481524 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 518435 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=11536 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 518435 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 29.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2073740 KiB

[startup+51.1058 s]
/proc/loadavg: 4.22 4.13 3.00 5/332 713083
/proc/meminfo: memFree=118181964/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=2127204 CPUtime=55.09 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 44563 0 1 0 5461 48 0 0 20 0 20 0 139683734 19566772224 531801 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 531801 5937 1 0 833983 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=2114916 CPUtime=49.68 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 15362 0 0 0 4932 36 0 0 20 0 20 0 139683734 19566772224 531801 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=2127204 CPUtime=0 cores=0,2

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

Current children cumulated memory: 4315764 KiB

[startup+2922.3 s]
/proc/loadavg: 2.40 3.03 3.68 3/281 714982
/proc/meminfo: memFree=120468044/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=4315768 CPUtime=3278.38 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 550332 0 1 0 327326 512 0 0 20 0 20 0 139683734 19566772224 1078942 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 1078942 5995 1 0 1092768 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=4315768 CPUtime=2856.19 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 263115 0 0 0 285525 94 0 0 20 0 20 0 139683734 19566772224 1078942 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=4315764 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 1078942 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=37008 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 2336 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 1078942 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=4315748 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 1078942 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 3278.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4315768 KiB

[startup+2982.3 s]
/proc/loadavg: 2.47 2.93 3.60 4/282 714993
/proc/meminfo: memFree=120467416/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=4315828 CPUtime=3353.29 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 563879 0 1 0 334803 526 0 0 20 0 20 0 139683734 19566772224 1078957 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 1078957 5995 1 0 1092781 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=37008 CPUtime=2914.86 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 272275 0 0 0 291391 95 0 0 20 0 20 0 139683734 19566772224 1078957 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=4315764 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 1078957 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=57 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 2357 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 1078957 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=11536 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 1078957 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 3353.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4315828 KiB

[startup+3042.3 s]
/proc/loadavg: 2.37 2.82 3.52 4/282 715005
/proc/meminfo: memFree=120466980/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=4315832 CPUtime=3428.32 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 580361 0 1 0 342292 540 0 0 20 0 20 0 139683734 19566772224 1078958 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 1078958 5995 1 0 1092781 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=4315828 CPUtime=2973.6 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 281467 0 0 0 297265 95 0 0 20 0 20 0 139683734 19566772224 1078958 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=-9176201241805890236 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 1078958 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=4315828 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 2379 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 1078958 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=4315832 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 1078958 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 3428.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4315832 KiB

[startup+3102.3 s]
/proc/loadavg: 2.32 2.73 3.44 4/280 715015
/proc/meminfo: memFree=119651560/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=4799644 CPUtime=3499.68 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 591660 0 1 0 349408 560 0 0 20 0 20 0 139683734 19566772224 1199911 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 1199911 5995 1 0 1213984 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=-9176201241805890236 CPUtime=3032.39 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 285622 0 0 0 303134 105 0 0 20 0 20 0 139683734 19566772224 1199911 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=4799488 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 1199911 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=4799488 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 2419 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 1199911 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=4799488 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 1199911 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 3499.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4799644 KiB

[startup+3162.3 s]
/proc/loadavg: 2.45 2.69 3.38 3/280 715025
/proc/meminfo: memFree=119651200/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=4799776 CPUtime=3572.3 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 602520 0 1 0 356657 573 0 0 20 0 20 0 139683734 19566772224 1199944 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 1199944 5995 1 0 1213988 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=4799488 CPUtime=3091.24 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 290689 0 0 0 309018 106 0 0 20 0 20 0 139683734 19566772224 1199944 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=4799764 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 1199944 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=11536 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 2441 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 1199944 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=32196 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 1199944 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4799776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3185.11 s]
/proc/loadavg: 2.29 2.63 3.34 4/280 715029
/proc/meminfo: memFree=119650920/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19108176 memory=4799808 CPUtime=3600.15 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 618373 0 1 0 359436 579 0 0 20 0 20 0 139683734 19566772224 1199952 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4777044 1199952 5995 1 0 1213997 0
[pid=713053/tid=713055] ppid=713050 vsize=19108176 memory=11536 CPUtime=3113.64 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 299479 0 0 0 311257 107 0 0 20 0 20 0 139683734 19566772224 1199952 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19108176 memory=4799808 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139683736 19566772224 1199952 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19108176 memory=13196 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 2441 0 0 0 0 0 0 0 20 0 20 0 139683737 19566772224 1199952 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713072] ppid=713050 vsize=19108176 memory=4799776 CPUtime=0 cores=0,2
/proc/713053/task/713072/stat : 713072 (Timer-0) S 713050 713053 712267 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139683758 19566772224 1199952 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4799808 KiB

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

[startup+3185.4 s]
# the end of solver process 713053 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3594.89 s, system=5.81674 s

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

[startup+3185.22 s]
/proc/loadavg: 2.29 2.63 3.34 4/280 715029
/proc/meminfo: memFree=119650920/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19307868 memory=4800504 CPUtime=3600.37 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 619999 0 1 0 359457 580 0 0 20 0 21 0 139683734 19771256832 1200126 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4826967 1200126 5994 1 0 1214953 0
[pid=713053/tid=713055] ppid=713050 vsize=19307868 memory=18584 CPUtime=3113.72 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 299565 0 0 0 311265 107 0 0 20 0 21 0 139683734 19771256832 1200126 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19307868 memory=-9176201241805890236 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139683736 19771256832 1200126 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19307868 memory=7540 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 2441 0 0 0 0 0 0 0 20 0 21 0 139683737 19771256832 1200126 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4800504 KiB

[startup+3185.3 s]
/proc/loadavg: 2.29 2.63 3.34 4/280 715029
/proc/meminfo: memFree=119650920/131524600 swapFree=131071996/131071996
[pid=713053] ppid=713050 vsize=19307868 memory=4800504 CPUtime=3600.55 cores=0,2
/proc/713053/stat : 713053 (java) S 713050 713053 712267 0 -1 1077936128 620092 0 1 0 359475 580 0 0 20 0 21 0 139683734 19771256832 1200126 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
/proc/713053/statm: 4826967 1200126 5994 1 0 1214957 0
[pid=713053/tid=713055] ppid=713050 vsize=19307868 memory=11536 CPUtime=3113.79 cores=0,2
/proc/713053/task/713055/stat : 713055 (java) R 713050 713053 712267 0 -1 4194368 299565 0 0 0 311272 107 0 0 20 0 21 0 139683734 19771256832 1200126 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713064] ppid=713050 vsize=19307868 memory=4799808 CPUtime=0 cores=0,2
/proc/713053/task/713064/stat : 713064 (Finalizer) S 713050 713053 712267 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139683736 19771256832 1200126 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
[pid=713053/tid=713071] ppid=713050 vsize=19307868 memory=13196 CPUtime=0 cores=0,2
/proc/713053/task/713071/stat : 713071 (Common-Cleaner) S 713050 713053 712267 0 -1 1077936192 2441 0 0 0 0 0 0 0 20 0 21 0 139683737 19771256832 1200126 134679101440 94871671681024 94871671684720 140732214903856 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94871671692536 94871671693328 94871684059136 140732214911958 140732214912071 140732214912071 140732214919112 0
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4800504 KiB

Child status: 143

Real time (s): 3185.4
CPU time (s): 3600.7
CPU user time (s): 3594.89
CPU system time (s): 5.81674
CPU usage (%): 113.038
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4800504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.89
system time used= 5.81674
maximum resident set size= 4801352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620873
page faults= 1
swaps= 0
block input operations= 256
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138026
involuntary context switches= 45260


# summary of solver processes directly reported to runsolver:
#   pid: 713053
#   total CPU time (s): 3600.7
#   total CPU user time (s): 3594.89
#   total CPU system time (s): 5.81674

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56144 second user time and 15.8267 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-13 14:53:51
IDJOB=4424361
IDBENCH=144126
IDSOLVER=3035
FILE ID=nodeC017/4424361-1720875219
RUNJOBID= nodeC017-1720874164-712277
SLURM_JOB_ID= 7483748
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-myciel5g-5_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424361-1720875219/watcher-4424361-1720875219 -o /tmp/evaluation-result-4424361-1720875219/solver-4424361-1720875219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720874164-712277 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424361-1720875219.wbo

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

MD5SUM BENCH= 3494b890a231ad778a05b94b9d7caa9e
RANDOM SEED=171353454

nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3623.385
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
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		: 3664.548
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
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		: 3637.908
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.001
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
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		: 3655.445
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
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		: 3664.651
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
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		: 3620.948
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
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.740
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120302692 kB
MemAvailable:   120792656 kB
Buffers:          323356 kB
Cached:          1011092 kB
SwapCached:            0 kB
Active:           582956 kB
Inactive:       10062868 kB
Active(anon):       1552 kB
Inactive(anon):  9347220 kB
Active(file):     581404 kB
Inactive(file):   715648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               932 kB
Writeback:             0 kB
AnonPages:       9311076 kB
Mapped:           121868 kB
Shmem:             37720 kB
KReclaimable:      65120 kB
Slab:             162268 kB
SReclaimable:      65120 kB
SUnreclaim:        97148 kB
KernelStack:        5012 kB
PageTables:        28600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12705940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53472 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9017344 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      162516 kB
DirectMap2M:    11145216 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC017 at 2024-07-13 15:46:57