Trace number 4427452

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)359 3600.32 3542.85

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUMd6e4abba593cb3232b5d1a2a9d687dd6
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 benchmark13
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
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.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.09	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.15	c Pseudo Boolean Optimization by upper bound
0.14/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.15	c  - never skip resolution steps
0.14/0.15	c  - Auto-division on coefficients is disabled
0.14/0.15	c  - No postprocessing
0.14/0.15	c  - Conflict is considered as is when resolving
0.14/0.15	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.14/0.15	c  - Weaken first using unassigned literals
0.14/0.15	c  - Bump strategy: ALWAYS_ONE
0.14/0.15	c  - Bumper: ASSIGNED
0.14/0.15	c --- Begin Solver configuration ---
0.14/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.14/0.15	c Learn all clauses as in MiniSAT
0.14/0.15	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.15	c No reason simplification
0.14/0.15	c Armin Biere (Picosat) restarts strategy
0.14/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.14/0.15	c timeout=2147483s
0.14/0.15	c DB Simplification allowed=false
0.14/0.15	c Listener: none
0.14/0.15	c --- End Solver configuration ---
0.14/0.15	c solving HOME/instance-4427452-1720994538.opb
0.14/0.15	c reading problem ... 
0.14/0.15	c  objective function found
0.14/0.17	c ... done. Wall clock time 0.023s.
0.14/0.17	c declared #vars     198
0.14/0.17	c #constraints  16
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 16
0.14/0.17	c 16 constraints processed.
0.14/0.18	c objective function length is 128 literals
0.34/0.30	c SATISFIABLE
0.34/0.30	c OPTIMIZING...
0.34/0.30	c Got one! Elapsed wall clock time (in seconds):0.154
0.34/0.30	o 2647
0.54/0.40	c Got one! Elapsed wall clock time (in seconds):0.254
0.54/0.40	o 2639
0.89/0.55	c Got one! Elapsed wall clock time (in seconds):0.392
0.89/0.55	o 2583
1.08/0.62	c Got one! Elapsed wall clock time (in seconds):0.48
1.08/0.62	o 2429
1.28/0.78	c Got one! Elapsed wall clock time (in seconds):0.64
1.28/0.78	o 2370
1.66/1.00	c Got one! Elapsed wall clock time (in seconds):0.848
1.66/1.00	o 2268
2.06/1.12	c Got one! Elapsed wall clock time (in seconds):0.963
2.06/1.12	o 2155
2.45/1.31	c Got one! Elapsed wall clock time (in seconds):1.162
2.45/1.31	o 2041
3.24/1.71	c Got one! Elapsed wall clock time (in seconds):1.562
3.24/1.71	o 1706
4.43/2.32	c Got one! Elapsed wall clock time (in seconds):2.172
4.43/2.32	o 1705
4.62/2.42	c Got one! Elapsed wall clock time (in seconds):2.273
4.62/2.42	o 1570
5.01/2.69	c Got one! Elapsed wall clock time (in seconds):2.55
5.01/2.69	o 1565
5.94/3.20	c Got one! Elapsed wall clock time (in seconds):3.055
5.94/3.20	o 1538
6.06/3.31	c Got one! Elapsed wall clock time (in seconds):3.155
6.06/3.31	o 1536
6.96/4.25	c Got one! Elapsed wall clock time (in seconds):4.103
6.96/4.25	o 1385
7.16/4.49	c Got one! Elapsed wall clock time (in seconds):4.34
7.16/4.49	o 1370
7.69/4.76	c Got one! Elapsed wall clock time (in seconds):4.614
7.69/4.76	o 1346
7.99/4.99	c Got one! Elapsed wall clock time (in seconds):4.846
7.99/4.99	o 1334
8.68/5.63	c Got one! Elapsed wall clock time (in seconds):5.483
8.68/5.63	o 1328
10.04/6.89	c Got one! Elapsed wall clock time (in seconds):6.749
10.04/6.89	o 1269
12.18/8.88	c Got one! Elapsed wall clock time (in seconds):8.733
12.18/8.88	o 1267
12.48/9.08	c Got one! Elapsed wall clock time (in seconds):8.933
12.48/9.08	o 1120
12.98/9.53	c Got one! Elapsed wall clock time (in seconds):9.387
12.98/9.53	o 1115
13.38/9.99	c Got one! Elapsed wall clock time (in seconds):9.844
13.38/9.99	o 1111
14.67/11.24	c Got one! Elapsed wall clock time (in seconds):11.093
14.67/11.24	o 1110
16.97/13.54	c Got one! Elapsed wall clock time (in seconds):13.4
16.97/13.54	o 1108
19.59/16.07	c Got one! Elapsed wall clock time (in seconds):15.928
19.59/16.07	o 932
23.42/19.85	c Got one! Elapsed wall clock time (in seconds):19.703
23.42/19.85	o 904
24.91/21.31	c Got one! Elapsed wall clock time (in seconds):21.168
24.91/21.31	o 887
26.65/23.06	c Got one! Elapsed wall clock time (in seconds):22.913
26.65/23.06	o 885
28.25/24.63	c Got one! Elapsed wall clock time (in seconds):24.485
28.25/24.63	o 876
31.78/28.14	c Got one! Elapsed wall clock time (in seconds):27.997
31.78/28.14	o 870
42.66/38.98	c Got one! Elapsed wall clock time (in seconds):38.839
42.66/38.98	o 862
43.36/39.61	c Got one! Elapsed wall clock time (in seconds):39.462
43.36/39.61	o 860
45.31/41.52	c Got one! Elapsed wall clock time (in seconds):41.377
45.31/41.52	o 845
48.90/45.10	c Got one! Elapsed wall clock time (in seconds):44.951
48.90/45.10	o 844
54.63/50.75	c Got one! Elapsed wall clock time (in seconds):50.604
54.63/50.75	o 832
66.68/62.78	c Got one! Elapsed wall clock time (in seconds):62.632
66.68/62.78	o 829
76.09/72.05	c Got one! Elapsed wall clock time (in seconds):71.902
76.09/72.05	o 827
86.21/81.82	c cleaning 9595 clauses out of 19195 with flag 0/19195
89.61/85.29	c Got one! Elapsed wall clock time (in seconds):85.15
89.61/85.29	o 825
93.84/89.48	c cleaning 7385 clauses out of 14784 with flag 0/24379
97.40/92.78	c Got one! Elapsed wall clock time (in seconds):92.631
97.40/92.78	o 823
98.19/93.54	c Got one! Elapsed wall clock time (in seconds):93.395
98.19/93.54	o 819
102.09/97.43	c cleaning 6612 clauses out of 13234 with flag 0/30214
104.72/100.07	c Got one! Elapsed wall clock time (in seconds):99.928
104.72/100.07	o 817
108.30/103.53	c cleaning 6076 clauses out of 12176 with flag 0/35768
115.19/110.43	c cleaning 6044 clauses out of 12101 with flag 0/41769
123.32/118.51	c Got one! Elapsed wall clock time (in seconds):118.363
123.32/118.51	o 810
126.52/121.76	c Got one! Elapsed wall clock time (in seconds):121.617
126.52/121.76	o 804
131.30/126.49	c Got one! Elapsed wall clock time (in seconds):126.347
131.30/126.49	o 803
135.82/130.96	c Got one! Elapsed wall clock time (in seconds):130.812
135.82/130.96	o 796
139.08/134.11	c Got one! Elapsed wall clock time (in seconds):133.965
139.08/134.11	o 793
142.65/137.69	c cleaning 9796 clauses out of 19595 with flag 0/55307
144.20/139.13	c Got one! Elapsed wall clock time (in seconds):138.981
144.20/139.13	o 791
152.00/146.80	c Got one! Elapsed wall clock time (in seconds):146.66
152.00/146.80	o 789
154.56/149.32	c cleaning 8150 clauses out of 16310 with flag 0/61818
163.36/158.02	c Got one! Elapsed wall clock time (in seconds):157.878
163.36/158.02	o 761
168.00/162.65	c cleaning 7056 clauses out of 14125 with flag 0/67783
176.52/171.09	c cleaning 5621 clauses out of 13071 with flag 0/73785
183.54/177.95	c cleaning 6016 clauses out of 14448 with flag 0/80783
192.84/186.81	c cleaning 6870 clauses out of 16433 with flag 0/88784
208.17/201.71	c cleaning 8082 clauses out of 18562 with flag 0/97783
222.66/215.96	c cleaning 8619 clauses out of 20480 with flag 0/107783
242.96/235.86	c cleaning 10028 clauses out of 22861 with flag 0/118783
282.25/274.61	c cleaning 11332 clauses out of 24833 with flag 0/130783
326.15/318.04	c cleaning 11892 clauses out of 26501 with flag 0/143783
373.05/364.48	c cleaning 12727 clauses out of 28611 with flag 0/157785
433.57/424.77	c cleaning 13768 clauses out of 30882 with flag 0/172783
433.77/424.97	c Got one! Elapsed wall clock time (in seconds):424.83
433.77/424.97	o 760
434.47/425.68	c Got one! Elapsed wall clock time (in seconds):425.531
434.47/425.68	o 758
437.51/428.63	c Got one! Elapsed wall clock time (in seconds):428.487
437.51/428.63	o 757
442.72/433.70	c cleaning 6388 clauses out of 24133 with flag 0/179802
446.26/437.28	c Got one! Elapsed wall clock time (in seconds):437.135
446.26/437.28	o 751
448.11/439.05	c Got one! Elapsed wall clock time (in seconds):438.91
448.11/439.06	o 747
451.84/442.73	c cleaning 5367 clauses out of 23723 with flag 0/185780
456.07/446.97	c Got one! Elapsed wall clock time (in seconds):446.824
456.07/446.97	o 745
462.46/453.20	c cleaning 4543 clauses out of 23600 with flag 0/191024
479.54/470.16	c cleaning 5174 clauses out of 25057 with flag 0/197024
480.33/470.93	c Got one! Elapsed wall clock time (in seconds):470.789
480.33/470.93	o 703
488.23/478.78	c cleaning 4869 clauses out of 25499 with flag 0/202640
500.33/490.79	c cleaning 5071 clauses out of 26630 with flag 0/208640
502.25/492.69	c Got one! Elapsed wall clock time (in seconds):492.544
502.25/492.69	o 602
507.89/498.26	c cleaning 4445 clauses out of 26820 with flag 0/213901
520.60/510.85	c cleaning 5163 clauses out of 28375 with flag 0/219901
536.11/526.23	c cleaning 6046 clauses out of 30212 with flag 0/226901
540.14/530.20	c Got one! Elapsed wall clock time (in seconds):530.059
540.14/530.20	o 589
545.89/535.95	c cleaning 5016 clauses out of 29969 with flag 0/232704
556.40/546.39	c cleaning 5126 clauses out of 30952 with flag 0/238703
570.04/559.88	c cleaning 5880 clauses out of 32827 with flag 0/245704
587.87/577.50	c cleaning 6545 clauses out of 34946 with flag 0/253703
605.58/594.55	c cleaning 8071 clauses out of 37401 with flag 0/262703
625.99/614.89	c cleaning 9434 clauses out of 39331 with flag 0/272704
626.09/614.93	c Got one! Elapsed wall clock time (in seconds):614.788
626.09/614.93	o 580
632.83/621.57	c Got one! Elapsed wall clock time (in seconds):621.429
632.83/621.57	o 579
634.73/623.43	c cleaning 4584 clauses out of 35105 with flag 0/277912
646.17/634.69	c cleaning 5008 clauses out of 36521 with flag 0/283912
647.16/635.69	c Got one! Elapsed wall clock time (in seconds):635.542
647.16/635.69	o 548
654.87/643.25	c cleaning 4823 clauses out of 37072 with flag 0/289471
669.34/657.50	c cleaning 5321 clauses out of 38250 with flag 0/295472
683.68/671.70	c cleaning 6269 clauses out of 39928 with flag 0/302471
707.30/695.16	c cleaning 7576 clauses out of 41659 with flag 0/310471
727.11/714.70	c cleaning 8510 clauses out of 43083 with flag 0/319471
734.74/722.30	c Got one! Elapsed wall clock time (in seconds):722.154
734.74/722.30	o 547
738.77/726.32	c cleaning 5387 clauses out of 40304 with flag 0/325202
752.54/740.09	c cleaning 5234 clauses out of 40917 with flag 0/331202
768.66/756.05	c cleaning 6114 clauses out of 42683 with flag 0/338202
789.27/776.49	c cleaning 6855 clauses out of 44570 with flag 0/346203
792.60/779.70	c Got one! Elapsed wall clock time (in seconds):779.558
792.60/779.70	o 515
797.50/784.64	c cleaning 4874 clauses out of 43178 with flag 0/351666
810.15/797.25	c cleaning 4926 clauses out of 44304 with flag 0/357666
823.09/810.09	c cleaning 5624 clauses out of 46378 with flag 0/364666
842.31/829.06	c cleaning 6607 clauses out of 48755 with flag 0/372667
869.69/855.94	c cleaning 7647 clauses out of 51149 with flag 0/381668
895.80/881.63	c cleaning 8505 clauses out of 53501 with flag 0/391667
895.90/881.71	c Got one! Elapsed wall clock time (in seconds):881.571
895.90/881.72	o 514
903.05/888.73	c cleaning 4795 clauses out of 50108 with flag 0/396779
909.01/894.66	c Got one! Elapsed wall clock time (in seconds):894.512
909.01/894.66	o 432
912.80/898.34	c cleaning 5259 clauses out of 50858 with flag 0/402324
930.31/915.72	c cleaning 5809 clauses out of 51599 with flag 0/408324
946.87/931.74	c cleaning 6622 clauses out of 52791 with flag 0/415325
949.07/933.99	c Got one! Elapsed wall clock time (in seconds):933.845
949.07/933.99	o 427
954.54/939.38	c cleaning 4974 clauses out of 51669 with flag 0/420825
966.85/951.52	c cleaning 5079 clauses out of 52693 with flag 0/426823
974.21/958.83	c Got one! Elapsed wall clock time (in seconds):958.681
974.21/958.83	o 426
992.53/976.93	c cleaning 9361 clauses out of 58123 with flag 0/437332
1004.96/989.21	c cleaning 5222 clauses out of 54760 with flag 0/443330
1017.66/1001.83	c cleaning 6204 clauses out of 56538 with flag 0/450330
1050.46/1034.51	c cleaning 7820 clauses out of 58334 with flag 0/458330
1100.27/1083.99	c cleaning 8824 clauses out of 59515 with flag 0/467331
1143.28/1126.63	c cleaning 9701 clauses out of 60690 with flag 0/477330
1150.49/1133.78	c Got one! Elapsed wall clock time (in seconds):1133.639
1150.49/1133.78	o 409
1152.75/1135.92	c cleaning 5059 clauses out of 56384 with flag 0/482725
1167.52/1150.44	c cleaning 5204 clauses out of 57323 with flag 0/488723
1193.82/1176.40	c cleaning 6295 clauses out of 59119 with flag 0/495723
1216.62/1198.99	c cleaning 6880 clauses out of 60826 with flag 0/503725
1237.93/1220.06	c cleaning 7726 clauses out of 62946 with flag 0/512725
1262.06/1243.87	c Got one! Elapsed wall clock time (in seconds):1243.725
1262.06/1243.87	o 402
1286.27/1267.64	c cleaning 12850 clauses out of 70111 with flag 0/527616
1297.54/1278.76	c cleaning 5043 clauses out of 63259 with flag 0/533614
1314.86/1295.89	c cleaning 6097 clauses out of 65215 with flag 0/540613
1335.24/1316.01	c cleaning 6998 clauses out of 67118 with flag 0/548613
1369.95/1350.55	c cleaning 7890 clauses out of 69121 with flag 0/557614
1395.34/1375.54	c cleaning 8322 clauses out of 71230 with flag 0/567613
1436.71/1416.60	c cleaning 9463 clauses out of 73908 with flag 0/578613
1469.16/1448.66	c cleaning 10292 clauses out of 76445 with flag 0/590613
1498.67/1477.58	c cleaning 12353 clauses out of 79154 with flag 0/603614
1532.97/1511.22	c cleaning 13011 clauses out of 80800 with flag 0/617613
1567.92/1545.61	c cleaning 13781 clauses out of 82789 with flag 0/632613
1665.97/1642.93	c cleaning 15569 clauses out of 85008 with flag 0/648613
1750.93/1726.71	c cleaning 16275 clauses out of 86441 with flag 0/665615
1809.75/1784.63	c cleaning 17363 clauses out of 88165 with flag 0/683614
1815.53/1790.39	c Got one! Elapsed wall clock time (in seconds):1790.248
1815.53/1790.39	o 395
1820.39/1795.10	c cleaning 5048 clauses out of 76230 with flag 0/689042
1833.18/1807.76	c cleaning 5185 clauses out of 77182 with flag 0/695042
1852.90/1827.27	c cleaning 6061 clauses out of 78997 with flag 0/702042
1878.83/1852.91	c cleaning 6964 clauses out of 80936 with flag 0/710042
1902.12/1875.26	c cleaning 7754 clauses out of 82972 with flag 0/719042
1925.43/1898.45	c Got one! Elapsed wall clock time (in seconds):1898.307
1925.43/1898.45	o 394
1936.91/1909.74	c cleaning 10404 clauses out of 86558 with flag 0/730382
1950.75/1923.42	c cleaning 5190 clauses out of 82154 with flag 0/736382
1972.40/1945.04	c cleaning 6166 clauses out of 83964 with flag 0/743382
1990.72/1963.29	c cleaning 6662 clauses out of 85798 with flag 0/751382
2014.30/1986.64	c cleaning 7589 clauses out of 88137 with flag 0/760383
2050.84/2022.77	c cleaning 8568 clauses out of 90548 with flag 0/770383
2082.22/2053.60	c cleaning 9323 clauses out of 92980 with flag 0/781383
2089.53/2060.86	c Got one! Elapsed wall clock time (in seconds):2060.714
2089.53/2060.86	o 393
2107.08/2078.05	c cleaning 9468 clauses out of 94298 with flag 0/792024
2119.85/2090.61	c cleaning 5102 clauses out of 90830 with flag 0/798024
2138.42/2109.05	c cleaning 5946 clauses out of 92729 with flag 0/805025
2158.03/2128.28	c cleaning 6696 clauses out of 94784 with flag 0/813026
2187.67/2157.89	c cleaning 7937 clauses out of 97086 with flag 0/822024
2225.58/2195.68	c cleaning 8784 clauses out of 99150 with flag 0/832025
2271.40/2240.92	c cleaning 9640 clauses out of 101366 with flag 0/843025
2320.02/2289.13	c cleaning 10845 clauses out of 103725 with flag 0/855024
2379.83/2348.40	c cleaning 11540 clauses out of 105880 with flag 0/868024
2481.77/2450.14	c cleaning 12407 clauses out of 108342 with flag 0/882026
2519.28/2487.03	c cleaning 14320 clauses out of 110933 with flag 0/897024
2583.28/2550.29	c cleaning 15250 clauses out of 112615 with flag 0/913026
2673.41/2639.31	c cleaning 16647 clauses out of 114363 with flag 0/930024
2746.83/2711.12	c cleaning 17581 clauses out of 115717 with flag 0/948025
2752.72/2716.93	c Got one! Elapsed wall clock time (in seconds):2716.781
2752.72/2716.93	o 391
2759.26/2723.28	c cleaning 4876 clauses out of 103445 with flag 0/953334
2772.92/2736.53	c cleaning 5089 clauses out of 104571 with flag 0/959336
2791.60/2754.96	c cleaning 5835 clauses out of 106480 with flag 0/966334
2798.34/2761.54	c Got one! Elapsed wall clock time (in seconds):2761.397
2798.34/2761.54	o 373
2823.06/2784.61	c cleaning 9132 clauses out of 110885 with flag 0/976574
2839.12/2800.54	c cleaning 5240 clauses out of 107752 with flag 0/982573
2854.92/2816.09	c cleaning 5880 clauses out of 109514 with flag 0/989575
2871.42/2832.33	c cleaning 6748 clauses out of 111632 with flag 0/997573
2894.79/2855.52	c cleaning 7639 clauses out of 113884 with flag 0/1006573
2916.58/2877.09	c Got one! Elapsed wall clock time (in seconds):2876.946
2916.58/2877.09	o 367
2952.25/2912.03	c cleaning 12852 clauses out of 120821 with flag 0/1021149
2967.09/2926.42	c cleaning 5040 clauses out of 113969 with flag 0/1027149
2982.21/2941.23	c cleaning 5815 clauses out of 115928 with flag 0/1034148
3007.71/2965.47	c cleaning 6796 clauses out of 118113 with flag 0/1042148
3032.50/2990.21	c cleaning 7713 clauses out of 120319 with flag 0/1051150
3071.96/3029.71	c cleaning 8709 clauses out of 122606 with flag 0/1061150
3107.80/3064.93	c cleaning 9464 clauses out of 124896 with flag 0/1072149
3128.32/3085.17	c cleaning 10390 clauses out of 127432 with flag 0/1084149
3130.41/3087.27	c Got one! Elapsed wall clock time (in seconds):3087.127
3130.41/3087.27	o 360
3138.11/3094.71	c cleaning 4903 clauses out of 122664 with flag 0/1089771
3152.67/3109.17	c cleaning 5133 clauses out of 123762 with flag 0/1095772
3173.60/3129.60	c cleaning 6195 clauses out of 125628 with flag 0/1102771
3193.41/3149.05	c cleaning 6714 clauses out of 127433 with flag 0/1110771
3217.41/3171.55	c cleaning 7642 clauses out of 129719 with flag 0/1119771
3245.02/3198.92	c cleaning 8616 clauses out of 132077 with flag 0/1129771
3282.16/3235.72	c cleaning 9477 clauses out of 134461 with flag 0/1140771
3323.56/3275.55	c cleaning 10168 clauses out of 136987 with flag 0/1152774
3374.04/3324.47	c cleaning 11183 clauses out of 139816 with flag 0/1165771
3414.37/3364.43	c cleaning 11906 clauses out of 142633 with flag 0/1179771
3503.48/3451.53	c cleaning 14580 clauses out of 145727 with flag 0/1194771
3519.43/3465.93	c Got one! Elapsed wall clock time (in seconds):3465.787
3519.43/3465.93	o 359
3522.42/3468.91	c cleaning 5444 clauses out of 136767 with flag 0/1200391
3533.63/3479.94	c cleaning 5059 clauses out of 137323 with flag 0/1206391
3551.07/3495.80	c cleaning 5880 clauses out of 139264 with flag 0/1213391
3567.65/3512.19	c cleaning 6830 clauses out of 141385 with flag 0/1221392
3592.09/3536.13	c cleaning 7546 clauses out of 143556 with flag 0/1230393
3600.04/3542.73	c starts		: 269
3600.04/3542.73	c conflicts		: 1234441
3600.04/3542.73	c decisions		: 2042036
3600.04/3542.73	c propagations		: 10899035
3600.04/3542.73	c inspects		: 2421154638
3600.04/3542.73	c shortcuts		: 0
3600.04/3542.73	c learnt literals	: 0
3600.04/3542.73	c learnt binary clauses	: 0
3600.04/3542.73	c learnt ternary clauses	: 0
3600.04/3542.73	c learnt constraints	: 1234441
3600.04/3542.73	c ignored constraints	: 0
3600.04/3542.73	c root simplifications	: 0
3600.04/3542.73	c removed literals (reason simplification)	: 0
3600.04/3542.73	c reason swapping (by a shorter reason)	: 0
3600.04/3542.73	c Calls to reduceDB	: 139
3600.04/3542.73	c Number of update (reduction) of LBD	: 6
3600.04/3542.73	c Imported unit clauses	: 0
3600.04/3542.73	c No decision after first conflict	: false
3600.04/3542.73	c number of reductions to clauses (during analyze)	: 0
3600.04/3542.73	c number of learned constraints concerned by reduction	: 0
3600.04/3542.73	c number of learning phase by resolution	: 0
3600.04/3542.73	c number of learning phase by cutting planes	: 0
3600.04/3542.73	c number of rounding to 1 operations	: 6542310
3600.04/3542.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3542.73	c number of reductions of the coefficients by power 2 	: 0
3600.04/3542.73	c number of right shift for reduction by power 2 	: 0
3600.04/3542.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3542.73	c number of ending skipping 	: 0
3600.04/3542.73	c number of internal skipping 	: 0
3600.04/3542.73	c number of derivation steps 	: 4723232
3600.04/3542.73	c number of skipped derivation steps 	: 0
3600.04/3542.73	c number of remaining unassigned 	: 1367668
3600.04/3542.73	c number of remaining assigned 	: 233541585
3600.04/3542.73	c number of falsified literals weakened from reason	: 0
3600.04/3542.73	c number of falsified literals weakened from conflict	: 0
3600.04/3542.73	c time for arithmetic operations	: 11033899900
3600.04/3542.73	c minimum degree of deleted constraints	: 4
3600.04/3542.73	c maximum degree of deleted constraints	: 467815970
3600.04/3542.73	c number of deleted constraints	: 1094383
3600.04/3542.75	c speed (assignments/second)	: 3076.621141815435
3600.04/3542.75	c non guided choices	: 2409
3600.24/3542.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 55264
3600.24/3542.82	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 20
3600.24/3542.82	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 84774
3600.24/3542.82	s SATISFIABLE
3600.24/3542.82	c Found 79 solution(s)
3600.24/3542.82	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 
3600.24/3542.83	c objective function=359
3600.24/3542.83	c Total wall clock time (in seconds): 3542.682

Verifier Data 

OK	359

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: 63968 MiB (63247 MiB free)
  memory of node 1: 64473 MiB (63051 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=770117, runsolver pid=770114
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 0.72 0.22 0.13 14/330 770158
/proc/meminfo: memFree=129220732/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=18975048 memory=63008 CPUtime=0.14 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 7247 0 0 0 12 2 0 0 20 0 18 0 151620816 19430449152 15752 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4743762 15752 5629 1 0 549376 0
[pid=770117/tid=770119] ppid=770114 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 5764 0 0 0 7 1 0 0 20 0 18 0 151620817 19430449152 15752 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=18975048 memory=17993 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151620819 19430449152 15752 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151620820 19430449152 15752 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63008 KiB

[startup+0.208492 s]*
/proc/loadavg: 0.72 0.22 0.13 11/331 770159
/proc/meminfo: memFree=129160224/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19041612 memory=72108 CPUtime=0.34 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 7938 0 0 0 32 2 0 0 20 0 19 0 151620816 19498610688 18027 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4760403 18027 5742 1 0 550053 0
[pid=770117/tid=770119] ppid=770114 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 6137 0 0 0 17 1 0 0 20 0 19 0 151620817 19498610688 18027 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19041612 memory=17993 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151620819 19498610688 18027 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19041612 memory=15261445554177772 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151620820 19498610688 18027 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151620835 19498610688 18027 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72108 KiB

[startup+0.315494 s]*
/proc/loadavg: 0.72 0.22 0.13 12/333 770161
/proc/meminfo: memFree=129068096/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19041612 memory=110172 CPUtime=0.54 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 10271 0 0 0 51 3 0 0 20 0 19 0 151620816 19498610688 27543 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4760403 27543 5842 1 0 551195 0
[pid=770117/tid=770119] ppid=770114 vsize=19041612 memory=-8744699015781065404 CPUtime=0.28 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 6182 0 0 0 26 2 0 0 20 0 19 0 151620817 19498610688 27543 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151620819 19498610688 27543 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151620820 19498610688 27543 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151620835 19498610688 27543 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110172 KiB

[startup+0.705623 s]
/proc/loadavg: 0.72 0.22 0.13 11/335 770163
/proc/meminfo: memFree=128931052/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=173240 CPUtime=1.28 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 13236 0 0 0 122 6 0 0 20 0 20 0 151620816 19566772224 43310 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 43310 5842 1 0 553196 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=40848 CPUtime=0.63 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 6212 0 0 0 59 4 0 0 20 0 20 0 151620817 19566772224 43310 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=12384 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 43310 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 43310 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=1968 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 43310 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173240 KiB

[startup+1.5025 s]
/proc/loadavg: 0.72 0.22 0.13 11/335 770163
/proc/meminfo: memFree=128774920/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=352356 CPUtime=2.86 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 23935 0 0 0 275 11 0 0 20 0 20 0 151620816 19566772224 88089 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 88089 5890 1 0 559103 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=12384 CPUtime=1.38 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 6965 0 0 0 131 7 0 0 20 0 20 0 151620817 19566772224 88089 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 88089 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 88089 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=1968 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 88089 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 352356 KiB

[startup+3.10651 s]
/proc/loadavg: 0.72 0.22 0.13 5/335 770165
/proc/meminfo: memFree=126527228/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=853720 CPUtime=5.83 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 29071 0 0 0 562 21 0 0 20 0 20 0 151620816 19566772224 213430 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 213430 5906 1 0 737724 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=0 CPUtime=2.94 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 7897 0 0 0 277 17 0 0 20 0 20 0 151620817 19566772224 213430 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=-8889095678833631932 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 213430 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=12384 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 213430 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 213430 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 853720 KiB

[startup+6.3005 s]
/proc/loadavg: 0.98 0.28 0.15 6/335 770165
/proc/meminfo: memFree=125567820/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=1310096 CPUtime=9.52 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 29451 0 0 0 921 31 0 0 20 0 20 0 151620816 19566772224 327524 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 327524 5906 1 0 737737 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=12384 CPUtime=6.06 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 8123 0 0 0 580 26 0 0 20 0 20 0 151620817 19566772224 327524 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 327524 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 327524 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=380024 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 327524 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1310096 KiB

[startup+12.7003 s]
/proc/loadavg: 1.22 0.35 0.17 5/335 770166
/proc/meminfo: memFree=124623372/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=1310108 CPUtime=16.18 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 30737 0 0 0 1586 32 0 0 20 0 20 0 151620816 19566772224 327527 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 327527 5906 1 0 737738 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=380024 CPUtime=12.34 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 9286 0 0 0 1207 27 0 0 20 0 20 0 151620817 19566772224 327527 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=1310108 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 327527 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=-8889095678833631932 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 327527 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=12384 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 327527 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 16.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1310108 KiB

[startup+25.5003 s]
/proc/loadavg: 1.65 0.47 0.22 5/335 770168
/proc/meminfo: memFree=123442992/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=1822520 CPUtime=29.14 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 38319 0 0 0 2871 43 0 0 20 0 20 0 151620816 19566772224 455630 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 455630 5906 1 0 737743 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=11608 CPUtime=24.95 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 12890 0 0 0 2461 34 0 0 20 0 20 0 151620817 19566772224 455630 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=1814216 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 455630 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=28692 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 455630 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 455630 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 29.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1822520 KiB

[startup+51.106 s]
/proc/loadavg: 2.93 0.89 0.36 5/333 770172
/proc/meminfo: memFree=123329800/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=1865600 CPUtime=55.04 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 45443 0 0 0 5459 45 0 0 20 0 20 0 151620816 19566772224 466400 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 466400 5906 1 0 737743 0

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

[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.05 5/333 772278
/proc/meminfo: memFree=118477952/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=3452296 CPUtime=3268.65 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 375720 0 0 0 326607 258 0 0 20 0 20 0 151620816 19566772224 863074 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 863074 5929 1 0 874577 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=-8889095678833631932 CPUtime=3155.02 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 177348 0 0 0 315425 77 0 0 20 0 20 0 151620817 19566772224 863074 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=3452296 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 863074 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=3452296 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 2920 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 863074 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 863074 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 3268.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3452296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.05 6/333 772288
/proc/meminfo: memFree=118475480/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=3452304 CPUtime=3330.35 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 387335 0 0 0 332773 262 0 0 20 0 20 0 151620816 19566772224 863076 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 863076 5929 1 0 874577 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=3452296 CPUtime=3213.85 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 180460 0 0 0 321307 78 0 0 20 0 20 0 151620817 19566772224 863076 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=3452296 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 863076 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=5616 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 2945 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 863076 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=12384 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 863076 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 3330.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3452304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/334 772468
/proc/meminfo: memFree=118474664/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=3452316 CPUtime=3392.01 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 398971 0 0 0 338934 267 0 0 20 0 20 0 151620816 19566772224 863079 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 863079 5929 1 0 874577 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=3452316 CPUtime=3272.84 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 183795 0 0 0 327206 78 0 0 20 0 20 0 151620817 19566772224 863079 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=40848 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 863079 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=28432 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 2998 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 863079 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=3452316 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 863079 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3452316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.07 5/334 772479
/proc/meminfo: memFree=118472920/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=3452396 CPUtime=3453.94 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 411560 0 0 0 345123 271 0 0 20 0 20 0 151620816 19566772224 863099 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 863099 5929 1 0 874577 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=3452316 CPUtime=3331.85 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 187351 0 0 0 333106 79 0 0 20 0 20 0 151620817 19566772224 863099 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=40848 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 863099 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=40848 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 3023 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 863099 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=12384 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 863099 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3452396 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.18 4.08 5/337 772494
/proc/meminfo: memFree=118472360/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=3452432 CPUtime=3515.79 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 424107 0 0 0 351303 276 0 0 20 0 20 0 151620816 19566772224 863108 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 863108 5929 1 0 874578 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=3452316 CPUtime=3390.59 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 190434 0 0 0 338980 79 0 0 20 0 20 0 151620817 19566772224 863108 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=40848 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 863108 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=40848 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 3121 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 863108 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=-8889095678833631932 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 863108 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 3515.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3452432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.19 4.09 5/335 772518
/proc/meminfo: memFree=118469664/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=3452436 CPUtime=3578.03 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 437090 0 0 0 357523 280 0 0 20 0 20 0 151620816 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 863109 5929 1 0 874578 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=11608 CPUtime=3449.46 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 194385 0 0 0 344866 80 0 0 20 0 20 0 151620817 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=-8889095678833631932 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 3147 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=5112 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 3578.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3452436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3542.7 s]
/proc/loadavg: 4.25 4.19 4.10 5/335 772521
/proc/meminfo: memFree=118469932/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19108176 memory=3452436 CPUtime=3600.04 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 448414 0 0 0 359720 284 0 0 20 0 20 0 151620816 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4777044 863109 5929 1 0 874578 0
[pid=770117/tid=770119] ppid=770114 vsize=19108176 memory=12384 CPUtime=3469.49 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 196671 0 0 0 346869 80 0 0 20 0 20 0 151620817 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151620819 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19108176 memory=3452436 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 3147 0 0 0 0 0 0 0 20 0 20 0 151620820 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770159] ppid=770114 vsize=19108176 memory=3452436 CPUtime=0 cores=4,6
/proc/770117/task/770159/stat : 770159 (Timer-0) S 770114 770117 769814 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151620835 19566772224 863109 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3452436 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.46 s, system=2.85639 s

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

[startup+3542.8 s]
/proc/loadavg: 4.25 4.19 4.10 5/335 772521
/proc/meminfo: memFree=118469932/131524600 swapFree=131071996/131071996
[pid=770117] ppid=770114 vsize=19307868 memory=3453068 CPUtime=3600.24 cores=4,6
/proc/770117/stat : 770117 (java) S 770114 770117 769814 0 -1 1077936128 450759 0 0 0 359740 284 0 0 20 0 21 0 151620816 19771256832 863267 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
/proc/770117/statm: 4826967 863267 5928 1 0 875513 0
[pid=770117/tid=770119] ppid=770114 vsize=19307868 memory=12384 CPUtime=3469.6 cores=4,6
/proc/770117/task/770119/stat : 770119 (java) R 770114 770117 769814 0 -1 4194368 196772 0 0 0 346880 80 0 0 20 0 21 0 151620817 19771256832 863267 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 31 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770140] ppid=770114 vsize=19307868 memory=3452436 CPUtime=0 cores=4,6
/proc/770117/task/770140/stat : 770140 (Finalizer) S 770114 770117 769814 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 151620819 19771256832 863267 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
[pid=770117/tid=770147] ppid=770114 vsize=19307868 memory=15756 CPUtime=0 cores=4,6
/proc/770117/task/770147/stat : 770147 (Common-Cleaner) S 770114 770117 769814 0 -1 1077936192 3147 0 0 0 0 0 0 0 20 0 21 0 151620820 19771256832 863267 134679101440 94280649097216 94280649100912 140733618215936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94280649108728 94280649109520 94280663945216 140733618217968 140733618218081 140733618218081 140733618225096 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3453068 KiB

Child status: 143

Real time (s): 3542.85
CPU time (s): 3600.32
CPU user time (s): 3597.46
CPU system time (s): 2.85639
CPU usage (%): 101.622
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3453068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.46
system time used= 2.85639
maximum resident set size= 3454016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 451427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143301
involuntary context switches= 15584


# summary of solver processes directly reported to runsolver:
#   pid: 770117
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3597.46
#   total CPU system time (s): 2.85639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82006 second user time and 19.8022 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-15 00:02:30
IDJOB=4427452
IDBENCH=147586
IDSOLVER=3046
FILE ID=nodeC028/4427452-1720994538
RUNJOBID= nodeC028-1720994549-769825
SLURM_JOB_ID= 7505322
Free space on /tmp= 890080 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_8_70_3.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427452-1720994538/watcher-4427452-1720994538 -o /tmp/evaluation-result-4427452-1720994538/solver-4427452-1720994538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720994549-769825 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427452-1720994538.opb

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

MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=895933221

nodeC028.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		: 3241.049
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.56
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		: 3599.778
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	: 7005.59
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		: 2570.464
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129334148 kB
MemAvailable:   129563060 kB
Buffers:          335808 kB
Cached:           736636 kB
SwapCached:            0 kB
Active:           531672 kB
Inactive:        1089556 kB
Active(anon):       1512 kB
Inactive(anon):   584952 kB
Active(file):     530160 kB
Inactive(file):   504604 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2792 kB
Writeback:            36 kB
AnonPages:        546060 kB
Mapped:           122308 kB
Shmem:             37720 kB
KReclaimable:      67940 kB
Slab:             167252 kB
SReclaimable:      67940 kB
SUnreclaim:        99312 kB
KernelStack:        4656 kB
PageTables:        10688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5209332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    339968 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:      172756 kB
DirectMap2M:    12183552 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC028 at 2024-07-15 01:01:33