Trace number 4427455

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 Partial RoundingSAT 2024 2024-07-12SAT (TO)123 3600.49 3562.95

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUM39a6e806d7aaba09f767f3cbd6afa1ec
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark3600.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
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.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.09	c Free memory 		2106806208
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.14/0.16	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.16	 - never skip resolution steps
0.14/0.16	 - Auto-division on coefficients is disabled
0.14/0.16	 - No postprocessing
0.14/0.16	 - Conflict is considered as is when resolving
0.14/0.16	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.16	 - Weaken first using unassigned literals
0.14/0.16	 - Bump strategy: ALWAYS_ONE
0.14/0.16	 - Bumper: ASSIGNED
0.14/0.16	--- Begin Solver configuration ---
0.14/0.16	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.16	Learn all clauses as in MiniSAT
0.14/0.16	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.16	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.16	No reason simplification
0.14/0.16	Armin Biere (Picosat) restarts strategy
0.14/0.16	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.16	timeout=2147483s
0.14/0.16	DB Simplification allowed=false
0.14/0.16	Listener: none
0.14/0.16	--- 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-4427455-1720994538.opb
0.14/0.16	c reading problem ... 
0.14/0.16	c  objective function found
0.14/0.19	c ... done. Wall clock time 0.021s.
0.14/0.19	c declared #vars     172
0.14/0.19	c #constraints  14
0.14/0.19	c constraints type 
0.14/0.19	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 14
0.14/0.19	c 14 constraints processed.
0.14/0.20	c objective function length is 112 literals
0.52/0.32	c SATISFIABLE
0.52/0.33	c OPTIMIZING...
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.17
0.52/0.33	o 2877
0.71/0.44	c Got one! Elapsed wall clock time (in seconds):0.284
0.71/0.44	o 2661
0.92/0.58	c Got one! Elapsed wall clock time (in seconds):0.413
0.92/0.58	o 2503
1.09/0.66	c Got one! Elapsed wall clock time (in seconds):0.499
1.09/0.66	o 2442
1.28/0.78	c Got one! Elapsed wall clock time (in seconds):0.618
1.28/0.78	o 2300
1.68/0.99	c Got one! Elapsed wall clock time (in seconds):0.835
1.68/0.99	o 2223
2.07/1.11	c Got one! Elapsed wall clock time (in seconds):0.946
2.07/1.11	o 2133
2.26/1.26	c Got one! Elapsed wall clock time (in seconds):1.092
2.26/1.26	o 2118
2.86/1.56	c Got one! Elapsed wall clock time (in seconds):1.393
2.86/1.56	o 2085
3.65/1.91	c Got one! Elapsed wall clock time (in seconds):1.753
3.65/1.91	o 2083
3.85/2.08	c Got one! Elapsed wall clock time (in seconds):1.922
3.85/2.08	o 2008
4.44/2.39	c Got one! Elapsed wall clock time (in seconds):2.222
4.44/2.39	o 1966
5.63/2.91	c Got one! Elapsed wall clock time (in seconds):2.749
5.63/2.91	o 1965
6.82/3.57	c Got one! Elapsed wall clock time (in seconds):3.407
6.82/3.57	o 1920
8.43/4.56	c Got one! Elapsed wall clock time (in seconds):4.401
8.43/4.56	o 1824
8.75/4.85	c Got one! Elapsed wall clock time (in seconds):4.689
8.75/4.85	o 1716
9.07/5.15	c Got one! Elapsed wall clock time (in seconds):4.989
9.07/5.15	o 1605
9.58/5.63	c Got one! Elapsed wall clock time (in seconds):5.468
9.58/5.63	o 1594
10.18/6.29	c Got one! Elapsed wall clock time (in seconds):6.129
10.18/6.29	o 1524
11.33/7.27	c Got one! Elapsed wall clock time (in seconds):7.11
11.33/7.27	o 1465
12.77/8.69	c Got one! Elapsed wall clock time (in seconds):8.532
12.77/8.69	o 1405
13.07/8.94	c Got one! Elapsed wall clock time (in seconds):8.786
13.07/8.94	o 1360
13.46/9.36	c Got one! Elapsed wall clock time (in seconds):9.203
13.46/9.36	o 1260
14.09/9.97	c Got one! Elapsed wall clock time (in seconds):9.808
14.09/9.97	o 1231
14.88/10.74	c Got one! Elapsed wall clock time (in seconds):10.585
14.88/10.74	o 1217
16.17/12.04	c Got one! Elapsed wall clock time (in seconds):11.886
16.17/12.04	o 1137
18.42/14.27	c Got one! Elapsed wall clock time (in seconds):14.114
18.42/14.27	o 1135
22.98/18.72	c Got one! Elapsed wall clock time (in seconds):18.562
22.98/18.72	o 1113
23.47/19.26	c Got one! Elapsed wall clock time (in seconds):19.104
23.47/19.26	o 1110
24.18/19.95	c Got one! Elapsed wall clock time (in seconds):19.797
24.18/19.96	o 1068
25.07/20.83	c Got one! Elapsed wall clock time (in seconds):20.672
25.07/20.83	o 980
26.26/22.06	c Got one! Elapsed wall clock time (in seconds):21.901
26.26/22.06	o 968
28.29/24.04	c Got one! Elapsed wall clock time (in seconds):23.879
28.29/24.04	o 966
31.47/27.21	c Got one! Elapsed wall clock time (in seconds):27.049
31.47/27.21	o 906
36.86/32.67	c Got one! Elapsed wall clock time (in seconds):32.511
36.86/32.67	o 902
45.32/41.17	c Got one! Elapsed wall clock time (in seconds):41.012
45.32/41.17	o 901
45.83/41.65	c Got one! Elapsed wall clock time (in seconds):41.493
45.83/41.65	o 852
46.76/42.53	c Got one! Elapsed wall clock time (in seconds):42.375
46.76/42.53	o 825
47.85/43.62	c Got one! Elapsed wall clock time (in seconds):43.463
47.85/43.62	o 819
49.68/45.49	c Got one! Elapsed wall clock time (in seconds):45.329
49.68/45.49	o 817
52.36/48.18	c Got one! Elapsed wall clock time (in seconds):48.025
52.36/48.18	o 803
56.07/51.80	c Got one! Elapsed wall clock time (in seconds):51.641
56.07/51.80	o 801
62.02/57.72	c Got one! Elapsed wall clock time (in seconds):57.562
62.02/57.72	o 615
68.47/63.96	c cleaning 8730 clauses out of 17470 with flag 0/17470
69.18/64.63	c Got one! Elapsed wall clock time (in seconds):64.473
69.18/64.63	o 613
73.50/68.95	c Got one! Elapsed wall clock time (in seconds):68.792
73.50/68.95	o 609
73.70/69.18	c Got one! Elapsed wall clock time (in seconds):69.019
73.70/69.18	o 608
74.19/69.68	c Got one! Elapsed wall clock time (in seconds):69.52
74.19/69.68	o 607
74.98/70.45	c Got one! Elapsed wall clock time (in seconds):70.289
74.98/70.45	o 604
76.20/71.67	c Got one! Elapsed wall clock time (in seconds):71.516
76.20/71.67	o 578
78.19/73.64	c Got one! Elapsed wall clock time (in seconds):73.483
78.19/73.64	o 576
81.63/77.06	c Got one! Elapsed wall clock time (in seconds):76.9
81.63/77.06	o 561
87.42/82.84	c Got one! Elapsed wall clock time (in seconds):82.677
87.42/82.84	o 559
92.08/87.36	c cleaning 9037 clauses out of 18087 with flag 0/26817
93.24/88.44	c Got one! Elapsed wall clock time (in seconds):88.285
93.24/88.44	o 556
100.69/95.88	c cleaning 7286 clauses out of 14578 with flag 0/32345
101.42/96.34	c Got one! Elapsed wall clock time (in seconds):96.187
101.42/96.34	o 473
101.82/96.70	c Got one! Elapsed wall clock time (in seconds):96.542
101.82/96.70	o 471
102.36/97.20	c Got one! Elapsed wall clock time (in seconds):97.043
102.36/97.20	o 416
103.31/98.19	c Got one! Elapsed wall clock time (in seconds):98.032
103.31/98.19	o 401
105.54/100.36	c Got one! Elapsed wall clock time (in seconds):100.206
105.54/100.36	o 388
109.87/104.59	c Got one! Elapsed wall clock time (in seconds):104.433
109.87/104.59	o 364
115.73/110.32	c cleaning 8366 clauses out of 16743 with flag 0/41796
116.92/111.52	c Got one! Elapsed wall clock time (in seconds):111.365
116.92/111.52	o 361
120.86/115.42	c cleaning 5540 clauses out of 13442 with flag 0/46861
124.96/118.76	c Got one! Elapsed wall clock time (in seconds):118.599
124.96/118.76	o 355
126.64/120.31	c cleaning 4796 clauses out of 13386 with flag 0/52345
126.64/120.36	c Got one! Elapsed wall clock time (in seconds):120.199
126.64/120.36	o 354
128.25/121.95	c Got one! Elapsed wall clock time (in seconds):121.796
128.25/121.95	o 350
130.49/124.19	c Got one! Elapsed wall clock time (in seconds):124.028
130.49/124.19	o 345
134.12/127.78	c cleaning 5213 clauses out of 15017 with flag 0/58772
135.26/128.81	c Got one! Elapsed wall clock time (in seconds):128.653
135.26/128.81	o 344
141.60/135.19	c cleaning 4619 clauses out of 15564 with flag 0/64532
142.69/136.28	c Got one! Elapsed wall clock time (in seconds):136.126
142.69/136.28	o 338
148.74/142.29	c cleaning 4705 clauses out of 16747 with flag 0/70334
154.90/148.32	c cleaning 4935 clauses out of 18041 with flag 0/76333
167.15/160.45	c cleaning 6735 clauses out of 20107 with flag 0/83334
187.79/180.85	c cleaning 7740 clauses out of 21372 with flag 0/91334
206.76/199.41	c cleaning 8637 clauses out of 22631 with flag 0/100333
212.82/205.47	c Got one! Elapsed wall clock time (in seconds):205.316
212.82/205.47	o 328
213.89/206.42	c cleaning 4805 clauses out of 19171 with flag 0/105510
222.19/214.50	c cleaning 4820 clauses out of 20366 with flag 0/111510
229.20/221.49	c Got one! Elapsed wall clock time (in seconds):221.333
229.20/221.49	o 326
230.49/222.68	c Got one! Elapsed wall clock time (in seconds):222.526
230.49/222.68	o 310
236.35/228.43	c Got one! Elapsed wall clock time (in seconds):228.273
236.35/228.43	o 309
245.66/237.54	c cleaning 11175 clauses out of 28319 with flag 0/124283
245.96/237.89	c Got one! Elapsed wall clock time (in seconds):237.728
245.96/237.89	o 296
253.17/244.91	c cleaning 4800 clauses out of 23028 with flag 0/130167
253.51/245.28	c Got one! Elapsed wall clock time (in seconds):245.125
253.51/245.28	o 294
261.69/252.89	c cleaning 4606 clauses out of 23852 with flag 0/135791
267.05/257.91	c Got one! Elapsed wall clock time (in seconds):257.751
267.05/257.91	o 251
272.77/263.64	c cleaning 4814 clauses out of 24977 with flag 0/141522
284.11/274.81	c cleaning 5040 clauses out of 26163 with flag 0/147522
289.88/280.55	c Got one! Elapsed wall clock time (in seconds):280.392
289.88/280.55	o 241
303.05/293.62	c cleaning 8462 clauses out of 31378 with flag 0/157777
310.40/300.97	c cleaning 4827 clauses out of 28915 with flag 0/163776
322.48/312.83	c cleaning 5640 clauses out of 31089 with flag 0/170777
331.91/322.00	c cleaning 7403 clauses out of 33450 with flag 0/178778
332.01/322.13	c Got one! Elapsed wall clock time (in seconds):321.971
332.01/322.13	o 239
332.41/322.50	c Got one! Elapsed wall clock time (in seconds):322.346
332.41/322.50	o 221
337.91/327.92	c Got one! Elapsed wall clock time (in seconds):327.766
337.91/327.92	o 220
339.78/329.77	c cleaning 4569 clauses out of 31667 with flag 0/184398
345.21/335.14	c Got one! Elapsed wall clock time (in seconds):334.978
345.21/335.14	o 219
347.65/337.52	c cleaning 4641 clauses out of 32877 with flag 0/190177
356.95/346.75	c cleaning 4851 clauses out of 34237 with flag 0/196178
358.24/348.04	c Got one! Elapsed wall clock time (in seconds):347.877
358.24/348.04	o 213
365.00/354.73	c cleaning 4887 clauses out of 35318 with flag 0/202110
372.96/362.52	c cleaning 4726 clauses out of 36431 with flag 0/208110
375.32/364.83	c Got one! Elapsed wall clock time (in seconds):364.676
375.32/364.83	o 212
378.82/368.39	c cleaning 3867 clauses out of 36732 with flag 0/213137
386.24/375.68	c cleaning 4693 clauses out of 38863 with flag 0/219135
398.10/387.45	c cleaning 5455 clauses out of 41170 with flag 0/226135
401.70/390.95	c Got one! Elapsed wall clock time (in seconds):390.796
401.70/390.95	o 210
403.38/392.65	c cleaning 3993 clauses out of 40792 with flag 0/231212
415.73/404.82	c cleaning 5111 clauses out of 42799 with flag 0/237212
426.32/415.31	c cleaning 5660 clauses out of 44688 with flag 0/244212
440.44/429.33	c cleaning 6532 clauses out of 47028 with flag 0/252212
454.87/443.61	c cleaning 7725 clauses out of 49496 with flag 0/261212
464.64/453.27	c Got one! Elapsed wall clock time (in seconds):453.112
464.64/453.27	o 209
473.13/461.63	c Got one! Elapsed wall clock time (in seconds):461.473
473.13/461.63	o 163
480.91/469.32	c cleaning 10841 clauses out of 54016 with flag 0/273457
484.81/473.18	c Got one! Elapsed wall clock time (in seconds):473.02
484.81/473.18	o 161
488.65/476.91	c cleaning 4850 clauses out of 48939 with flag 0/279221
498.06/486.24	c cleaning 5045 clauses out of 50089 with flag 0/285221
498.36/486.58	c Got one! Elapsed wall clock time (in seconds):486.421
498.36/486.58	o 155
506.40/494.58	c cleaning 4759 clauses out of 50677 with flag 0/290854
516.12/504.12	c cleaning 4939 clauses out of 51918 with flag 0/296854
535.70/523.71	c cleaning 6694 clauses out of 53979 with flag 0/303854
535.90/523.92	c Got one! Elapsed wall clock time (in seconds):523.76
535.90/523.92	o 153
544.14/532.10	c cleaning 4467 clauses out of 52686 with flag 0/309255
554.17/541.90	c cleaning 4964 clauses out of 54220 with flag 0/315256
555.86/543.64	c Got one! Elapsed wall clock time (in seconds):543.484
555.86/543.64	o 145
562.75/550.49	c cleaning 4369 clauses out of 54563 with flag 0/320563
572.26/559.87	c cleaning 4806 clauses out of 56193 with flag 0/326562
586.57/573.91	c cleaning 5979 clauses out of 58391 with flag 0/333566
603.17/590.35	c cleaning 6788 clauses out of 60408 with flag 0/341562
616.25/603.27	c cleaning 7871 clauses out of 62621 with flag 0/350563
638.94/625.71	c Got one! Elapsed wall clock time (in seconds):625.552
638.94/625.71	o 141
650.91/637.44	c cleaning 9906 clauses out of 65566 with flag 0/361379
658.59/644.90	c cleaning 4915 clauses out of 61659 with flag 0/367378
670.04/656.27	c cleaning 5777 clauses out of 63743 with flag 0/374377
684.75/670.89	c cleaning 6625 clauses out of 65967 with flag 0/382378
700.51/686.56	c cleaning 7403 clauses out of 68346 with flag 0/391382
717.35/703.12	c cleaning 9551 clauses out of 70939 with flag 0/401378
739.18/724.50	c cleaning 10487 clauses out of 72387 with flag 0/412377
739.28/724.61	c Got one! Elapsed wall clock time (in seconds):724.453
739.28/724.61	o 131
746.52/731.70	c cleaning 4525 clauses out of 67117 with flag 0/417594
748.17/733.37	c Got one! Elapsed wall clock time (in seconds):733.216
748.17/733.37	o 130
756.23/741.24	c cleaning 4868 clauses out of 68246 with flag 0/423248
766.39/750.80	c cleaning 4885 clauses out of 69378 with flag 0/429248
788.28/772.67	c cleaning 6785 clauses out of 71493 with flag 0/436248
803.56/787.90	c Got one! Elapsed wall clock time (in seconds):787.747
803.56/787.91	o 129
813.11/797.38	c cleaning 8987 clauses out of 74722 with flag 0/446262
824.60/808.79	c cleaning 5453 clauses out of 71737 with flag 0/452264
826.40/810.57	c Got one! Elapsed wall clock time (in seconds):810.41
826.40/810.57	o 128
833.02/817.02	c cleaning 4527 clauses out of 71601 with flag 0/457581
844.54/828.46	c cleaning 4943 clauses out of 73074 with flag 0/463581
857.03/840.78	c cleaning 5710 clauses out of 75131 with flag 0/470581
870.89/854.41	c Got one! Elapsed wall clock time (in seconds):854.247
870.89/854.41	o 127
893.41/876.61	c cleaning 10415 clauses out of 81858 with flag 0/483018
907.19/890.14	c cleaning 5093 clauses out of 77443 with flag 0/489018
926.39/909.00	c cleaning 5919 clauses out of 79350 with flag 0/496018
941.58/924.13	c cleaning 6422 clauses out of 81432 with flag 0/504019
968.71/951.16	c cleaning 7432 clauses out of 84009 with flag 0/513018
991.33/973.48	c cleaning 8288 clauses out of 86577 with flag 0/523018
1007.16/989.13	c Got one! Elapsed wall clock time (in seconds):988.972
1007.16/989.13	o 126
1016.97/998.89	c cleaning 10344 clauses out of 89786 with flag 0/534515
1029.65/1011.48	c cleaning 4970 clauses out of 85443 with flag 0/540516
1042.12/1023.73	c cleaning 5772 clauses out of 87472 with flag 0/547515
1057.86/1039.39	c cleaning 6657 clauses out of 89699 with flag 0/555514
1078.80/1060.20	c cleaning 7506 clauses out of 92042 with flag 0/564514
1104.15/1085.36	c cleaning 8482 clauses out of 94536 with flag 0/574514
1130.22/1111.08	c cleaning 8958 clauses out of 97054 with flag 0/585514
1155.98/1136.58	c cleaning 11273 clauses out of 100096 with flag 0/597514
1198.44/1178.49	c cleaning 12488 clauses out of 101824 with flag 0/610515
1252.02/1231.49	c cleaning 13403 clauses out of 103335 with flag 0/624514
1331.41/1310.04	c cleaning 14295 clauses out of 104932 with flag 0/639514
1435.47/1412.78	c cleaning 15687 clauses out of 106637 with flag 0/655514
1685.67/1662.33	c cleaning 16878 clauses out of 107950 with flag 0/672514
1852.47/1828.68	c cleaning 17673 clauses out of 109072 with flag 0/690514
2171.26/2147.16	c cleaning 18766 clauses out of 110399 with flag 0/709514
2306.02/2281.13	c cleaning 19483 clauses out of 111635 with flag 0/729516
2531.55/2505.53	c cleaning 20443 clauses out of 113150 with flag 0/750514
2629.74/2602.68	c Got one! Elapsed wall clock time (in seconds):2602.525
2629.74/2602.68	o 124
2649.64/2622.20	c cleaning 15957 clauses out of 109573 with flag 0/767380
2663.57/2636.02	c cleaning 4992 clauses out of 99615 with flag 0/773379
2679.28/2651.56	c cleaning 5849 clauses out of 101623 with flag 0/780379
2693.55/2665.64	c cleaning 7200 clauses out of 103773 with flag 0/788378
2703.52/2675.60	c Got one! Elapsed wall clock time (in seconds):2675.437
2703.52/2675.60	o 123
2706.68/2678.60	c cleaning 5183 clauses out of 102070 with flag 0/793875
2721.60/2693.49	c cleaning 5061 clauses out of 102886 with flag 0/799874
2739.62/2711.20	c cleaning 5936 clauses out of 104826 with flag 0/806875
2761.18/2732.52	c cleaning 6767 clauses out of 106890 with flag 0/814875
2792.73/2763.89	c cleaning 7704 clauses out of 109125 with flag 0/823877
2820.42/2791.12	c cleaning 8258 clauses out of 111419 with flag 0/833875
2864.63/2834.25	c cleaning 9329 clauses out of 114161 with flag 0/844875
2925.23/2894.49	c cleaning 10117 clauses out of 116831 with flag 0/856874
2977.62/2946.33	c cleaning 10743 clauses out of 119715 with flag 0/869875
3035.16/3002.36	c cleaning 11845 clauses out of 122973 with flag 0/883876
3119.66/3086.38	c cleaning 14857 clauses out of 126127 with flag 0/898875
3276.22/3241.93	c cleaning 15933 clauses out of 127269 with flag 0/914874
3379.04/3343.83	c cleaning 16746 clauses out of 128337 with flag 0/931875
3467.77/3431.39	c cleaning 17512 clauses out of 129591 with flag 0/949875
3600.01/3562.76	c starts		: 282
3600.01/3562.76	c conflicts		: 963849
3600.01/3562.76	c decisions		: 1536479
3600.01/3562.76	c propagations		: 7831255
3600.01/3562.76	c inspects		: 2315197574
3600.01/3562.76	c shortcuts		: 0
3600.01/3562.76	c learnt literals	: 0
3600.01/3562.76	c learnt binary clauses	: 0
3600.01/3562.76	c learnt ternary clauses	: 0
3600.01/3562.76	c learnt constraints	: 963849
3600.01/3562.76	c ignored constraints	: 0
3600.01/3562.76	c root simplifications	: 0
3600.01/3562.76	c removed literals (reason simplification)	: 0
3600.01/3562.76	c reason swapping (by a shorter reason)	: 0
3600.01/3562.76	c Calls to reduceDB	: 107
3600.01/3562.76	c Number of update (reduction) of LBD	: 0
3600.01/3562.76	c Imported unit clauses	: 0
3600.01/3562.76	c No decision after first conflict	: false
3600.01/3562.76	c number of reductions to clauses (during analyze)	: 0
3600.01/3562.76	c number of learned constraints concerned by reduction	: 0
3600.01/3562.76	c number of learning phase by resolution	: 0
3600.01/3562.76	c number of learning phase by cutting planes	: 0
3600.01/3562.76	c number of rounding to 1 operations	: 4918296
3600.01/3562.76	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3562.76	c number of reductions of the coefficients by power 2 	: 0
3600.01/3562.76	c number of right shift for reduction by power 2 	: 0
3600.01/3562.76	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3562.76	c number of ending skipping 	: 0
3600.01/3562.76	c number of internal skipping 	: 0
3600.01/3562.76	c number of derivation steps 	: 3589145
3600.01/3562.76	c number of skipped derivation steps 	: 0
3600.01/3562.76	c number of remaining unassigned 	: 1033510
3600.01/3562.76	c number of remaining assigned 	: 154605708
3600.01/3562.76	c number of falsified literals weakened from reason	: 0
3600.01/3562.76	c number of falsified literals weakened from conflict	: 0
3600.01/3562.76	c time for arithmetic operations	: 7506620450
3600.01/3562.76	c minimum degree of deleted constraints	: 4
3600.01/3562.76	c maximum degree of deleted constraints	: 1484730226
3600.01/3562.76	c number of deleted constraints	: 837796
3600.01/3562.76	c speed (assignments/second)	: 2198.2093780288956
3600.01/3562.76	c non guided choices	: 2641
3600.23/3562.90	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 51636
3600.23/3562.90	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 11
3600.23/3562.90	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 74406
3600.23/3562.90	s SATISFIABLE
3600.23/3562.90	c Found 96 solution(s)
3600.23/3562.90	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 
3600.41/3562.91	c objective function=123
3600.41/3562.91	c Total wall clock time (in seconds): 3562.749

Verifier Data 

OK	123

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427455-1720994538/watcher-4427455-1720994538 -o /tmp/evaluation-result-4427455-1720994538/solver-4427455-1720994538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720994549-770940 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427455-1720994538.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.101034 s]*
/proc/loadavg: 0.04 0.08 0.08 8/329 771206
/proc/meminfo: memFree=122634280/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=18975048 memory=62528 CPUtime=0.14 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 7704 0 0 0 12 2 0 0 20 0 18 0 151621234 19430449152 15632 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4743762 15632 5543 1 0 549326 0
[pid=771188/tid=771190] ppid=771185 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 6254 0 0 0 7 1 0 0 20 0 18 0 151621234 19430449152 15632 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151621237 19430449152 15632 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=18975048 memory=14417020624073884 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151621237 19430449152 15632 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62528 KiB

[startup+0.206639 s]*
/proc/loadavg: 0.04 0.08 0.08 9/330 771207
/proc/meminfo: memFree=122560924/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19041612 memory=71680 CPUtime=0.34 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 8265 0 0 0 31 3 0 0 20 0 19 0 151621234 19498610688 17920 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4760403 17920 5763 1 0 550035 0
[pid=771188/tid=771190] ppid=771185 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) S 771185 771188 770928 0 -1 1077936192 6644 0 0 0 17 2 0 0 20 0 19 0 151621234 19498610688 17920 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19041612 memory=14907 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151621237 19498610688 17920 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19041612 memory=14135545647335141 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151621237 19498610688 17920 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151621254 19498610688 17920 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71680 KiB

[startup+0.30609 s]*
/proc/loadavg: 0.04 0.08 0.08 9/330 771207
/proc/meminfo: memFree=122176972/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19041612 memory=94196 CPUtime=0.52 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 9153 0 0 0 48 4 0 0 20 0 19 0 151621234 19498610688 23549 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4760403 23549 5845 1 0 550444 0
[pid=771188/tid=771190] ppid=771185 vsize=19041612 memory=-8815067755663762108 CPUtime=0.27 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 6686 0 0 0 25 2 0 0 20 0 19 0 151621234 19498610688 23549 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151621237 19498610688 23549 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151621237 19498610688 23549 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151621254 19498610688 23549 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94196 KiB

[startup+0.70028 s]
/proc/loadavg: 0.04 0.08 0.08 9/331 771208
/proc/meminfo: memFree=121434968/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=175020 CPUtime=1.28 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 13623 0 0 0 122 6 0 0 20 0 20 0 151621234 19566772224 43755 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 43755 5845 1 0 553446 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=39484 CPUtime=0.61 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 6735 0 0 0 57 4 0 0 20 0 20 0 151621234 19566772224 43755 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 43755 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=2340 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 43755 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=1972 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 43755 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175020 KiB

[startup+1.50028 s]
/proc/loadavg: 0.60 0.19 0.12 7/331 771208
/proc/meminfo: memFree=121400456/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=304976 CPUtime=2.86 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 25563 0 0 0 276 10 0 0 20 0 20 0 151621234 19566772224 76244 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 76244 5877 1 0 558840 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=12508 CPUtime=1.37 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 7453 0 0 0 131 6 0 0 20 0 20 0 151621234 19566772224 76244 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 76244 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=2340 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 76244 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=1972 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 76244 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 304976 KiB

[startup+3.10628 s]
/proc/loadavg: 0.60 0.19 0.12 6/331 771210
/proc/meminfo: memFree=119240956/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=784008 CPUtime=6.03 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 30642 0 0 0 582 21 0 0 20 0 20 0 151621234 19566772224 196002 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 196002 5877 1 0 560486 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=0 CPUtime=2.95 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 8442 0 0 0 278 17 0 0 20 0 20 0 151621234 19566772224 196002 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=-8815067755663762108 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 196002 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 196002 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=2340 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 196002 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 784008 KiB

[startup+6.30028 s]
/proc/loadavg: 1.03 0.29 0.15 8/332 771211
/proc/meminfo: memFree=118552948/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=1370700 CPUtime=10.28 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 31896 0 0 0 995 33 0 0 20 0 20 0 151621234 19566772224 342675 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 342675 5893 1 0 667003 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=2340 CPUtime=6.03 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 8823 0 0 0 576 27 0 0 20 0 20 0 151621234 19566772224 342675 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 342675 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 342675 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 342675 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 10.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1370700 KiB

[startup+12.7003 s]
/proc/loadavg: 1.27 0.35 0.18 5/333 771212
/proc/meminfo: memFree=117599632/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=1616472 CPUtime=16.86 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 32525 0 0 0 1648 38 0 0 20 0 20 0 151621234 19566772224 404118 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 404118 5893 1 0 667031 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=12508 CPUtime=12.32 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 9341 0 0 0 1200 32 0 0 20 0 20 0 151621234 19566772224 404118 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=1370700 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 404118 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=39484 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 404118 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 404118 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 16.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1616472 KiB

[startup+25.5003 s]
/proc/loadavg: 1.69 0.47 0.22 5/333 771215
/proc/meminfo: memFree=116047368/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=1639444 CPUtime=29.77 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 37368 0 0 0 2936 41 0 0 20 0 20 0 151621234 19566772224 409861 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 409861 5893 1 0 667032 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=6943526294502006880 CPUtime=24.8 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 11673 0 0 0 2447 33 0 0 20 0 20 0 151621234 19566772224 409861 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 409861 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=3506 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 409861 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 409861 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 29.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1639444 KiB

[startup+51.1063 s]
/proc/loadavg: 2.68 0.83 0.34 5/331 771219
/proc/meminfo: memFree=115580120/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=1686588 CPUtime=55.38 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 42719 0 0 0 5494 44 0 0 20 0 20 0 151621234 19566772224 421647 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 421647 5893 1 0 667032 0

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

Current children cumulated memory: 3132032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.23 4.12 5/332 773326
/proc/meminfo: memFree=112363600/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=3132036 CPUtime=3317.59 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 379262 0 0 0 331498 261 0 0 20 0 20 0 151621234 19566772224 783009 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 783009 5911 1 0 795286 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=3132036 CPUtime=3220.64 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 168607 0 0 0 321995 69 0 0 20 0 20 0 151621234 19566772224 783009 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 34 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783009 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=3132036 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 3253 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783009 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=3132036 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 783009 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 3317.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3132036 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.22 4.12 5/334 773507
/proc/meminfo: memFree=112363020/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=3132040 CPUtime=3377.55 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 383946 0 0 0 337491 264 0 0 20 0 20 0 151621234 19566772224 783010 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 783010 5911 1 0 795286 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=3132040 CPUtime=3279.41 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 171709 0 0 0 327871 70 0 0 20 0 20 0 151621234 19566772224 783010 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 34 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=3132040 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783010 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 3338 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783010 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=3132040 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 783010 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 3377.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3132040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.19 4.11 5/334 773517
/proc/meminfo: memFree=112360020/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=3132076 CPUtime=3438.56 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 396605 0 0 0 343587 269 0 0 20 0 20 0 151621234 19566772224 783019 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 783019 5911 1 0 795286 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=3132040 CPUtime=3338.01 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 175362 0 0 0 333730 71 0 0 20 0 20 0 151621234 19566772224 783019 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 48 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=39664 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783019 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=3132060 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 3349 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783019 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=3132060 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 783019 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 3438.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3132076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.11 5/334 773527
/proc/meminfo: memFree=112359624/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=3132132 CPUtime=3498.87 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 401419 0 0 0 349614 273 0 0 20 0 20 0 151621234 19566772224 783033 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 783033 5911 1 0 795286 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=3132040 CPUtime=3397.11 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 178321 0 0 0 339640 71 0 0 20 0 20 0 151621234 19566772224 783033 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 48 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=3132076 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783033 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=3132132 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 3391 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783033 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=3132132 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 783033 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 3498.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3132132 KiB

[startup+3522.3 s]
/proc/loadavg: 4.02 4.15 4.10 5/334 773624
/proc/meminfo: memFree=114094212/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=3132152 CPUtime=3559.12 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 405401 0 0 0 355636 276 0 0 20 0 20 0 151621234 19566772224 783038 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 783038 5911 1 0 795286 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=3132132 CPUtime=3456.42 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 180975 0 0 0 345571 71 0 0 20 0 20 0 151621234 19566772224 783038 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 52 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783038 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=3132132 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 3485 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783038 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=3132152 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 783038 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 3559.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3132152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3562.7 s]
/proc/loadavg: 4.25 4.19 4.12 5/334 773698
/proc/meminfo: memFree=116701240/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19108176 memory=3132160 CPUtime=3600.01 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 411760 0 0 0 359722 279 0 0 20 0 20 0 151621234 19566772224 783040 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4777044 783040 5911 1 0 795286 0
[pid=771188/tid=771190] ppid=771185 vsize=19108176 memory=0 CPUtime=3496.24 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 181964 0 0 0 349552 72 0 0 20 0 20 0 151621234 19566772224 783040 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783040 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19108176 memory=3132160 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 3578 0 0 0 0 0 0 0 20 0 20 0 151621237 19566772224 783040 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771207] ppid=771185 vsize=19108176 memory=3132160 CPUtime=0 cores=1,3
/proc/771188/task/771207/stat : 771207 (Timer-0) S 771185 771188 770928 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151621254 19566772224 783040 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3132160 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.67 s, system=2.81535 s

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

[startup+3562.81 s]
/proc/loadavg: 4.25 4.19 4.12 5/334 773698
/proc/meminfo: memFree=116701240/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19307868 memory=3132836 CPUtime=3600.23 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 414360 0 0 0 359743 280 0 0 20 0 22 0 151621234 19771256832 783209 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4826967 783209 5910 1 0 796230 0
[pid=771188/tid=771190] ppid=771185 vsize=19307868 memory=14761 CPUtime=3496.32 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 182161 0 0 0 349560 72 0 0 20 0 22 0 151621234 19771256832 783209 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19307868 memory=4457 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 151621237 19771256832 783209 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19307868 memory=3906083464542145352 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 3578 0 0 0 0 0 0 0 20 0 22 0 151621237 19771256832 783209 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3132836 KiB

[startup+3562.9 s]
/proc/loadavg: 4.25 4.19 4.12 5/334 773698
/proc/meminfo: memFree=116701240/131524600 swapFree=131071996/131071996
[pid=771188] ppid=771185 vsize=19307868 memory=3132932 CPUtime=3600.41 cores=1,3
/proc/771188/stat : 771188 (java) S 771185 771188 770928 0 -1 1077936128 414783 0 0 0 359761 280 0 0 20 0 21 0 151621234 19771256832 783233 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
/proc/771188/statm: 4826967 783233 5910 1 0 796233 0
[pid=771188/tid=771190] ppid=771185 vsize=19307868 memory=0 CPUtime=3496.36 cores=1,3
/proc/771188/task/771190/stat : 771190 (java) R 771185 771188 770928 0 -1 4194368 182164 0 0 0 349564 72 0 0 20 0 21 0 151621234 19771256832 783233 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771199] ppid=771185 vsize=19307868 memory=11588 CPUtime=0 cores=1,3
/proc/771188/task/771199/stat : 771199 (Finalizer) S 771185 771188 770928 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151621237 19771256832 783233 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
[pid=771188/tid=771206] ppid=771185 vsize=19307868 memory=3132160 CPUtime=0 cores=1,3
/proc/771188/task/771206/stat : 771206 (Common-Cleaner) S 771185 771188 770928 0 -1 1077936192 3578 0 0 0 0 0 0 0 20 0 21 0 151621237 19771256832 783233 134679101440 94473883365376 94473883369072 140724000321888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94473883376888 94473883377680 94473892179968 140724000326640 140724000326753 140724000326753 140724000333768 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3132932 KiB

Child status: 143

Real time (s): 3562.95
CPU time (s): 3600.49
CPU user time (s): 3597.67
CPU system time (s): 2.81535
CPU usage (%): 101.054
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3132932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.67
system time used= 2.81535
maximum resident set size= 3133820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140024
involuntary context switches= 18697


# summary of solver processes directly reported to runsolver:
#   pid: 771188
#   total CPU time (s): 3600.49
#   total CPU user time (s): 3597.67
#   total CPU system time (s): 2.81535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6549 second user time and 15.0581 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-15 00:02:31
IDJOB=4427455
IDBENCH=147611
IDSOLVER=3046
FILE ID=nodeC029/4427455-1720994538
RUNJOBID= nodeC029-1720994549-770940
SLURM_JOB_ID= 7505323
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427455-1720994538/watcher-4427455-1720994538 -o /tmp/evaluation-result-4427455-1720994538/solver-4427455-1720994538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720994549-770940 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427455-1720994538.opb

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

MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=895933221

nodeC029.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		: 3600.048
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	: 7000.09
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.088
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.98
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		: 3600.048
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	: 7000.09
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.080
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.049
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	: 7000.09
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		: 3644.700
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.048
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	: 7000.09
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		: 3639.653
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122858488 kB
MemAvailable:   127133656 kB
Buffers:          336444 kB
Cached:          4726432 kB
SwapCached:            0 kB
Active:           540172 kB
Inactive:        7425184 kB
Active(anon):       1480 kB
Inactive(anon):  2938388 kB
Active(file):     538692 kB
Inactive(file):  4486796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23684 kB
Writeback:            32 kB
AnonPages:       2902312 kB
Mapped:           122684 kB
Shmem:             37720 kB
KReclaimable:     178656 kB
Slab:             291992 kB
SReclaimable:     178656 kB
SUnreclaim:       113336 kB
KernelStack:        5056 kB
PageTables:        15568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7346660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57536 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2506752 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:      260820 kB
DirectMap2M:    35164160 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC029 at 2024-07-15 01:01:54