Trace number 4447691

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Cutting Planes 2024 2024-07-12? (TO) 3600.35 3572.36

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMc8e53a529ce10df137c21c2a3460ac47
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables273
Total number of constraints728
Number of constraints which are clauses728
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.13/0.12	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.13	c Free memory 		2115194816
0.13/0.13	c Max memory 		16282288128
0.13/0.13	c Total memory 		2122317824
0.13/0.14	c Number of processors 	2
0.13/0.21	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.21	 - never skip resolution steps
0.13/0.21	 - Auto-division on coefficients is disabled
0.13/0.21	 - No postprocessing
0.13/0.21	 - Conflict is considered as is when resolving
0.13/0.21	 - Use constraints as they come during conflict analysis
0.13/0.21	 - Weaken first using unassigned literals
0.13/0.21	 - Bump strategy: ALWAYS_ONE
0.13/0.21	 - Bumper: EFFECTIVE
0.13/0.21	--- Begin Solver configuration ---
0.13/0.21	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.21	Learn all clauses as in MiniSAT
0.13/0.21	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.21	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.21	No reason simplification
0.13/0.21	Dynamic restart strategy considering the size of the coefficients
0.13/0.21	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.21	timeout=2147483s
0.13/0.21	DB Simplification allowed=false
0.13/0.21	Listener: none
0.13/0.21	--- End Solver configuration ---
0.13/0.22	c Pseudo Boolean Optimization by upper bound
0.13/0.22	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.22	c  - never skip resolution steps
0.13/0.22	c  - Auto-division on coefficients is disabled
0.13/0.22	c  - No postprocessing
0.13/0.22	c  - Conflict is considered as is when resolving
0.13/0.22	c  - Use constraints as they come during conflict analysis
0.13/0.22	c  - Weaken first using unassigned literals
0.13/0.22	c  - Bump strategy: ALWAYS_ONE
0.13/0.22	c  - Bumper: EFFECTIVE
0.13/0.22	c --- Begin Solver configuration ---
0.13/0.22	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.22	c Learn all clauses as in MiniSAT
0.13/0.22	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.22	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.22	c No reason simplification
0.13/0.22	c Dynamic restart strategy considering the size of the coefficients
0.13/0.22	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.22	c timeout=2147483s
0.13/0.22	c DB Simplification allowed=false
0.13/0.22	c Listener: none
0.13/0.22	c --- End Solver configuration ---
0.13/0.22	c solving HOME/instance-4447691-1721356450.opb
0.13/0.22	c reading problem ... 
0.13/0.22	c  no objective function found
0.33/0.28	c ... done. Wall clock time 0.071s.
0.33/0.28	c declared #vars     273
0.33/0.28	c #constraints  728
0.33/0.28	c constraints type 
0.33/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 728
0.33/0.28	c 728 constraints processed.
2.00/1.17	c cleaning 2496 clauses out of 5001 with flag 0/5001
3.18/1.72	c cleaning 4245 clauses out of 8505 with flag 0/11001
4.16/2.21	c cleaning 5624 clauses out of 11259 with flag 0/18000
4.81/2.64	c cleaning 6812 clauses out of 13636 with flag 0/26001
5.50/3.24	c cleaning 7909 clauses out of 15825 with flag 0/35002
6.28/3.85	c cleaning 8949 clauses out of 17915 with flag 0/45001
7.37/4.50	c cleaning 9978 clauses out of 19967 with flag 0/56002
8.18/5.34	c cleaning 10985 clauses out of 21988 with flag 0/68001
8.99/6.14	c cleaning 11995 clauses out of 24003 with flag 0/81001
9.90/7.05	c cleaning 12996 clauses out of 26007 with flag 0/95000
10.78/8.01	c cleaning 14000 clauses out of 28011 with flag 0/110000
11.78/9.00	c cleaning 15000 clauses out of 30011 with flag 0/126000
13.49/10.52	c cleaning 15998 clauses out of 32012 with flag 0/143001
14.89/11.84	c cleaning 16998 clauses out of 34013 with flag 0/161000
16.38/13.32	c cleaning 18002 clauses out of 36015 with flag 0/180000
18.09/15.10	c cleaning 18997 clauses out of 38014 with flag 0/200001
20.09/17.02	c cleaning 20004 clauses out of 40017 with flag 0/221001
21.78/18.77	c cleaning 20996 clauses out of 42013 with flag 0/243001
23.47/20.46	c cleaning 22004 clauses out of 44017 with flag 0/266001
25.27/22.20	c cleaning 22999 clauses out of 46012 with flag 0/290000
27.08/24.02	c cleaning 23997 clauses out of 48013 with flag 0/315000
29.08/26.10	c cleaning 24998 clauses out of 50016 with flag 0/341000
31.26/28.26	c cleaning 26003 clauses out of 52018 with flag 0/368000
33.56/30.53	c cleaning 27002 clauses out of 54015 with flag 0/396000
35.96/32.90	c cleaning 27997 clauses out of 56014 with flag 0/425001
38.47/35.42	c cleaning 29000 clauses out of 58016 with flag 0/455000
40.88/37.83	c cleaning 29998 clauses out of 60017 with flag 0/486001
43.18/40.17	c cleaning 31002 clauses out of 62018 with flag 0/518000
45.88/42.81	c cleaning 31997 clauses out of 64017 with flag 0/551001
48.19/45.13	c cleaning 32998 clauses out of 66020 with flag 0/585001
50.77/47.70	c cleaning 34004 clauses out of 68022 with flag 0/620001
53.67/50.67	c cleaning 35004 clauses out of 70018 with flag 0/656001
56.80/53.74	c cleaning 35997 clauses out of 72013 with flag 0/693000
59.79/56.73	c cleaning 37000 clauses out of 74017 with flag 0/731001
62.81/59.71	c cleaning 37998 clauses out of 76017 with flag 0/770001
65.80/62.76	c cleaning 39003 clauses out of 78019 with flag 0/810001
69.12/66.03	c cleaning 39997 clauses out of 80016 with flag 0/851001
72.44/69.39	c cleaning 40997 clauses out of 82019 with flag 0/893001
76.03/72.90	c cleaning 42002 clauses out of 84021 with flag 0/936000
79.42/76.31	c cleaning 43000 clauses out of 86019 with flag 0/980000
83.25/80.13	c cleaning 44001 clauses out of 88020 with flag 0/1025001
86.94/83.80	c cleaning 45001 clauses out of 90019 with flag 0/1071001
90.64/87.53	c cleaning 45997 clauses out of 92017 with flag 0/1118000
94.35/91.23	c cleaning 47003 clauses out of 94021 with flag 0/1166001
98.19/95.06	c cleaning 47999 clauses out of 96017 with flag 0/1215000
102.21/99.02	c cleaning 49000 clauses out of 98019 with flag 0/1265001
106.90/103.75	c cleaning 49997 clauses out of 100018 with flag 0/1316000
111.75/108.52	c cleaning 50999 clauses out of 102021 with flag 0/1368000
116.57/113.36	c cleaning 52002 clauses out of 104022 with flag 0/1421000
121.60/118.33	c cleaning 52999 clauses out of 106020 with flag 0/1475000
127.05/123.74	c cleaning 54004 clauses out of 108021 with flag 0/1530000
131.99/128.66	c cleaning 55000 clauses out of 110018 with flag 0/1586001
137.35/133.99	c cleaning 55999 clauses out of 112018 with flag 0/1643001
142.47/139.10	c cleaning 57002 clauses out of 114019 with flag 0/1701001
147.83/144.32	c cleaning 57999 clauses out of 116017 with flag 0/1760001
153.79/150.21	c cleaning 59000 clauses out of 118017 with flag 0/1820000
159.46/155.99	c cleaning 60000 clauses out of 120017 with flag 0/1881000
165.36/161.73	c cleaning 60997 clauses out of 122018 with flag 0/1943001
170.95/167.23	c cleaning 62001 clauses out of 124021 with flag 0/2006001
176.32/172.59	c cleaning 63002 clauses out of 126020 with flag 0/2070001
181.58/177.79	c cleaning 63998 clauses out of 128017 with flag 0/2135000
187.49/183.56	c cleaning 65002 clauses out of 130020 with flag 0/2201001
194.05/190.02	c cleaning 65996 clauses out of 132018 with flag 0/2268001
200.84/196.71	c cleaning 67000 clauses out of 134021 with flag 0/2336000
207.20/203.05	c cleaning 68001 clauses out of 136022 with flag 0/2405001
213.42/209.23	c cleaning 69002 clauses out of 138020 with flag 0/2475000
220.33/216.19	c cleaning 70000 clauses out of 140018 with flag 0/2546000
226.95/222.78	c cleaning 70998 clauses out of 142018 with flag 0/2618000
233.28/229.02	c cleaning 72005 clauses out of 144020 with flag 0/2691000
239.98/235.69	c cleaning 72999 clauses out of 146015 with flag 0/2765000
247.00/242.66	c cleaning 73997 clauses out of 148016 with flag 0/2840000
254.30/249.86	c cleaning 74997 clauses out of 150020 with flag 0/2916001
261.69/257.15	c cleaning 75999 clauses out of 152023 with flag 0/2993001
268.69/264.07	c cleaning 77001 clauses out of 154024 with flag 0/3071001
275.79/271.18	c cleaning 78001 clauses out of 156023 with flag 0/3150001
282.93/278.23	c cleaning 79002 clauses out of 158021 with flag 0/3230000
290.34/285.64	c cleaning 79999 clauses out of 160020 with flag 0/3311001
297.98/293.25	c cleaning 80996 clauses out of 162021 with flag 0/3393001
305.28/300.46	c cleaning 82003 clauses out of 164024 with flag 0/3476000
312.71/307.85	c cleaning 83000 clauses out of 166022 with flag 0/3560001
320.59/315.66	c cleaning 83996 clauses out of 168021 with flag 0/3645000
328.55/323.51	c cleaning 85005 clauses out of 170026 with flag 0/3731001
337.62/332.56	c cleaning 86001 clauses out of 172021 with flag 0/3818001
346.28/341.17	c cleaning 86999 clauses out of 174019 with flag 0/3906000
355.17/349.96	c cleaning 88000 clauses out of 176020 with flag 0/3995000
364.13/358.84	c cleaning 88996 clauses out of 178020 with flag 0/4085000
373.04/367.69	c cleaning 90003 clauses out of 180024 with flag 0/4176000
382.35/376.85	c cleaning 91001 clauses out of 182022 with flag 0/4268001
391.95/386.23	c cleaning 92001 clauses out of 184020 with flag 0/4361000
401.65/395.86	c cleaning 92997 clauses out of 186019 with flag 0/4455000
411.81/405.87	c cleaning 94000 clauses out of 188022 with flag 0/4550000
421.47/415.39	c cleaning 94998 clauses out of 190022 with flag 0/4646000
431.14/424.87	c cleaning 95999 clauses out of 192024 with flag 0/4743000
441.11/434.63	c cleaning 97002 clauses out of 194026 with flag 0/4841001
451.00/444.34	c cleaning 97998 clauses out of 196023 with flag 0/4940000
461.52/454.73	c cleaning 99003 clauses out of 198026 with flag 0/5040001
473.28/466.30	c cleaning 100004 clauses out of 200023 with flag 0/5141001
484.67/477.74	c cleaning 100998 clauses out of 202018 with flag 0/5243000
495.10/488.15	c cleaning 102002 clauses out of 204020 with flag 0/5346000
504.96/498.00	c cleaning 102999 clauses out of 206019 with flag 0/5450001
516.35/509.35	c cleaning 103996 clauses out of 208019 with flag 0/5555000
527.79/520.76	c cleaning 105003 clauses out of 210023 with flag 0/5661000
539.54/532.47	c cleaning 105999 clauses out of 212020 with flag 0/5768000
551.75/544.64	c cleaning 106998 clauses out of 214023 with flag 0/5876002
563.77/556.62	c cleaning 107996 clauses out of 216023 with flag 0/5985000
576.10/568.88	c cleaning 109001 clauses out of 218027 with flag 0/6095000
588.42/581.17	c cleaning 110002 clauses out of 220026 with flag 0/6206000
601.65/594.37	c cleaning 111002 clauses out of 222025 with flag 0/6318001
614.29/606.92	c cleaning 112000 clauses out of 224023 with flag 0/6431001
628.75/621.34	c cleaning 112998 clauses out of 226023 with flag 0/6545001
640.16/632.67	c cleaning 114002 clauses out of 228024 with flag 0/6660000
652.56/645.08	c cleaning 114999 clauses out of 230022 with flag 0/6776000
665.09/657.46	c cleaning 116001 clauses out of 232024 with flag 0/6893001
678.02/670.23	c cleaning 116999 clauses out of 234022 with flag 0/7011000
691.15/683.26	c cleaning 118001 clauses out of 236024 with flag 0/7130001
703.89/695.97	c cleaning 118996 clauses out of 238022 with flag 0/7250000
719.02/710.99	c cleaning 120002 clauses out of 240026 with flag 0/7371000
731.10/722.98	c cleaning 121005 clauses out of 242025 with flag 0/7493001
744.64/736.47	c cleaning 122000 clauses out of 244020 with flag 0/7616001
758.14/749.97	c cleaning 123003 clauses out of 246019 with flag 0/7740000
772.92/764.62	c cleaning 123996 clauses out of 248016 with flag 0/7865000
787.20/778.83	c cleaning 124997 clauses out of 250020 with flag 0/7991000
802.24/793.83	c cleaning 125999 clauses out of 252024 with flag 0/8118001
817.00/808.58	c cleaning 127005 clauses out of 254026 with flag 0/8246002
832.51/823.91	c cleaning 127998 clauses out of 256019 with flag 0/8375000
849.21/840.52	c cleaning 129002 clauses out of 258021 with flag 0/8505000
863.22/854.49	c cleaning 129996 clauses out of 260019 with flag 0/8636000
878.53/869.56	c cleaning 131002 clauses out of 262024 with flag 0/8768001
893.26/884.12	c cleaning 131996 clauses out of 264022 with flag 0/8901001
909.65/900.47	c cleaning 133002 clauses out of 266025 with flag 0/9035000
925.01/915.72	c cleaning 134003 clauses out of 268023 with flag 0/9170000
939.86/930.41	c cleaning 134998 clauses out of 270021 with flag 0/9306001
955.80/946.35	c cleaning 136000 clauses out of 272022 with flag 0/9443000
971.01/961.45	c cleaning 136998 clauses out of 274022 with flag 0/9581000
986.30/976.69	c cleaning 138004 clauses out of 276025 with flag 0/9720001
1001.90/992.17	c cleaning 138999 clauses out of 278021 with flag 0/9860001
1017.19/1007.36	c cleaning 140000 clauses out of 280022 with flag 0/10001001
1032.46/1022.44	c cleaning 140998 clauses out of 282022 with flag 0/10143001
1048.08/1037.95	c cleaning 142001 clauses out of 284025 with flag 0/10286002
1064.19/1053.92	c cleaning 143001 clauses out of 286024 with flag 0/10430002
1080.68/1070.30	c cleaning 143996 clauses out of 288021 with flag 0/10575000
1099.81/1089.38	c cleaning 145001 clauses out of 290025 with flag 0/10721000
1116.35/1105.73	c cleaning 146001 clauses out of 292024 with flag 0/10868000
1134.91/1124.13	c cleaning 147004 clauses out of 294024 with flag 0/11016001
1152.92/1141.91	c cleaning 148001 clauses out of 296020 with flag 0/11165001
1170.40/1159.21	c cleaning 148997 clauses out of 298018 with flag 0/11315000
1185.82/1174.48	c cleaning 149995 clauses out of 300021 with flag 0/11466000
1202.98/1191.42	c cleaning 151000 clauses out of 302028 with flag 0/11618002
1219.33/1207.69	c cleaning 152002 clauses out of 304027 with flag 0/11771001
1237.08/1225.20	c cleaning 152998 clauses out of 306025 with flag 0/11925001
1254.81/1242.99	c cleaning 154003 clauses out of 308027 with flag 0/12080001
1272.44/1260.57	c cleaning 155002 clauses out of 310024 with flag 0/12236001
1292.60/1280.61	c cleaning 155996 clauses out of 312021 with flag 0/12393000
1312.54/1300.42	c cleaning 157004 clauses out of 314025 with flag 0/12551000
1332.54/1320.35	c cleaning 157995 clauses out of 316022 with flag 0/12710001
1351.24/1338.96	c cleaning 159000 clauses out of 318026 with flag 0/12870000
1371.09/1358.74	c cleaning 160000 clauses out of 320027 with flag 0/13031001
1388.58/1375.95	c cleaning 161004 clauses out of 322027 with flag 0/13193001
1407.35/1394.59	c cleaning 162005 clauses out of 324022 with flag 0/13356000
1430.48/1417.57	c cleaning 162997 clauses out of 326018 with flag 0/13520001
1458.18/1444.95	c cleaning 163997 clauses out of 328020 with flag 0/13685000
1480.20/1466.70	c cleaning 165005 clauses out of 330023 with flag 0/13851000
1502.43/1488.86	c cleaning 166001 clauses out of 332020 with flag 0/14018002
1528.18/1514.39	c cleaning 167003 clauses out of 334017 with flag 0/14186000
1552.95/1538.83	c cleaning 167996 clauses out of 336014 with flag 0/14355000
1578.23/1563.76	c cleaning 169002 clauses out of 338019 with flag 0/14525001
1600.14/1585.35	c cleaning 169997 clauses out of 340016 with flag 0/14696000
1623.08/1608.09	c cleaning 170999 clauses out of 342019 with flag 0/14868000
1642.12/1626.84	c cleaning 171997 clauses out of 344020 with flag 0/15041000
1663.99/1648.66	c cleaning 173002 clauses out of 346024 with flag 0/15215001
1683.35/1667.98	c cleaning 174000 clauses out of 348022 with flag 0/15390001
1702.32/1686.83	c cleaning 174999 clauses out of 350021 with flag 0/15566000
1722.15/1706.54	c cleaning 176002 clauses out of 352023 with flag 0/15743001
1745.47/1729.72	c cleaning 176998 clauses out of 354020 with flag 0/15921000
1766.67/1750.73	c cleaning 178001 clauses out of 356023 with flag 0/16100001
1785.74/1769.68	c cleaning 179003 clauses out of 358021 with flag 0/16280000
1806.73/1790.56	c cleaning 180000 clauses out of 360019 with flag 0/16461001
1829.91/1813.60	c cleaning 180996 clauses out of 362018 with flag 0/16643000
1852.79/1836.34	c cleaning 182002 clauses out of 364022 with flag 0/16826000
1876.12/1859.06	c cleaning 182995 clauses out of 366020 with flag 0/17010000
1899.84/1882.70	c cleaning 184003 clauses out of 368026 with flag 0/17195001
1920.99/1903.87	c cleaning 184997 clauses out of 370023 with flag 0/17381001
1944.96/1927.70	c cleaning 186003 clauses out of 372026 with flag 0/17568001
1967.42/1950.11	c cleaning 186998 clauses out of 374023 with flag 0/17756001
1989.80/1972.48	c cleaning 187999 clauses out of 376025 with flag 0/17945001
2013.00/1995.41	c cleaning 188998 clauses out of 378025 with flag 0/18135000
2037.57/2019.98	c cleaning 189998 clauses out of 380027 with flag 0/18326000
2062.78/2044.81	c cleaning 191003 clauses out of 382029 with flag 0/18518000
2085.95/2067.90	c cleaning 192003 clauses out of 384027 with flag 0/18711001
2110.67/2092.51	c cleaning 193000 clauses out of 386024 with flag 0/18905001
2135.53/2117.35	c cleaning 194000 clauses out of 388023 with flag 0/19100000
2159.54/2141.14	c cleaning 194998 clauses out of 390023 with flag 0/19296000
2183.16/2164.67	c cleaning 196000 clauses out of 392026 with flag 0/19493001
2210.18/2191.31	c cleaning 197000 clauses out of 394026 with flag 0/19691001
2238.27/2219.00	c cleaning 198003 clauses out of 396027 with flag 0/19890002
2269.02/2249.30	c cleaning 199003 clauses out of 398023 with flag 0/20090001
2296.60/2276.53	c cleaning 199996 clauses out of 400019 with flag 0/20291000
2319.41/2299.28	c cleaning 201000 clauses out of 402024 with flag 0/20493001
2349.01/2328.64	c cleaning 202005 clauses out of 404025 with flag 0/20696002
2379.38/2358.87	c cleaning 203000 clauses out of 406019 with flag 0/20900001
2403.83/2383.15	c cleaning 203998 clauses out of 408019 with flag 0/21105001
2431.41/2410.68	c cleaning 205000 clauses out of 410021 with flag 0/21311001
2457.12/2436.13	c cleaning 206000 clauses out of 412021 with flag 0/21518001
2489.41/2468.34	c cleaning 206999 clauses out of 414021 with flag 0/21726001
2517.39/2496.15	c cleaning 208003 clauses out of 416022 with flag 0/21935001
2545.65/2524.13	c cleaning 208998 clauses out of 418018 with flag 0/22145000
2576.46/2554.89	c cleaning 209999 clauses out of 420021 with flag 0/22356001
2607.93/2586.05	c cleaning 211002 clauses out of 422021 with flag 0/22568000
2633.88/2611.65	c cleaning 211999 clauses out of 424020 with flag 0/22781001
2663.28/2640.63	c cleaning 213001 clauses out of 426020 with flag 0/22995000
2689.07/2666.29	c cleaning 213998 clauses out of 428019 with flag 0/23210000
2717.88/2694.90	c cleaning 214999 clauses out of 430022 with flag 0/23426001
2747.24/2724.13	c cleaning 216003 clauses out of 432022 with flag 0/23643000
2782.27/2758.96	c cleaning 216998 clauses out of 434019 with flag 0/23861000
2813.68/2790.10	c cleaning 217999 clauses out of 436021 with flag 0/24080000
2843.85/2819.90	c cleaning 219003 clauses out of 438022 with flag 0/24300000
2873.62/2849.45	c cleaning 220000 clauses out of 440019 with flag 0/24521000
2908.67/2884.27	c cleaning 220998 clauses out of 442019 with flag 0/24743000
2943.70/2919.17	c cleaning 221997 clauses out of 444021 with flag 0/24966000
2975.51/2950.85	c cleaning 223003 clauses out of 446024 with flag 0/25190000
3006.31/2981.58	c cleaning 223999 clauses out of 448022 with flag 0/25415001
3037.08/3012.10	c cleaning 225001 clauses out of 450022 with flag 0/25641000
3072.95/3047.77	c cleaning 226001 clauses out of 452021 with flag 0/25868000
3110.40/3085.10	c cleaning 227001 clauses out of 454021 with flag 0/26096001
3143.43/3117.92	c cleaning 227998 clauses out of 456020 with flag 0/26325001
3175.22/3149.76	c cleaning 229001 clauses out of 458021 with flag 0/26555000
3209.45/3183.86	c cleaning 229999 clauses out of 460020 with flag 0/26786000
3243.01/3217.29	c cleaning 230996 clauses out of 462021 with flag 0/27018000
3272.38/3246.39	c cleaning 232002 clauses out of 464026 with flag 0/27251001
3304.89/3278.55	c cleaning 233004 clauses out of 466023 with flag 0/27485000
3337.30/3310.75	c cleaning 234001 clauses out of 468019 with flag 0/27720000
3370.17/3343.44	c cleaning 235000 clauses out of 470019 with flag 0/27956001
3401.03/3374.16	c cleaning 236000 clauses out of 472018 with flag 0/28193000
3435.06/3408.03	c cleaning 236998 clauses out of 474019 with flag 0/28431001
3469.52/3442.35	c cleaning 237997 clauses out of 476020 with flag 0/28670000
3504.04/3476.57	c cleaning 239003 clauses out of 478024 with flag 0/28910001
3537.40/3509.71	c cleaning 239998 clauses out of 480020 with flag 0/29151000
3575.05/3547.25	c cleaning 240998 clauses out of 482022 with flag 0/29393000
3600.07/3572.23	c starts		: 1
3600.07/3572.24	c timeout
3600.07/3572.25	c conflicts		: 29569955
3600.07/3572.25	c decisions		: 32356681
3600.07/3572.25	c propagations		: 332527572
3600.07/3572.25	c inspects		: 18895527806
3600.07/3572.25	c shortcuts		: 0
3600.07/3572.25	c learnt literals	: 0
3600.07/3572.25	c learnt binary clauses	: 0
3600.07/3572.25	c learnt ternary clauses	: 2
3600.07/3572.26	c learnt constraints	: 29569954
3600.07/3572.26	c ignored constraints	: 0
3600.07/3572.26	c root simplifications	: 0
3600.07/3572.26	c removed literals (reason simplification)	: 0
3600.07/3572.26	c reason swapping (by a shorter reason)	: 0
3600.07/3572.26	c Calls to reduceDB	: 238
3600.07/3572.26	c Number of update (reduction) of LBD	: 34739199
3600.07/3572.26	c Imported unit clauses	: 0
3600.07/3572.26	c No decision after first conflict	: false
3600.07/3572.26	c number of reductions to clauses (during analyze)	: 0
3600.07/3572.26	c number of learned constraints concerned by reduction	: 0
3600.07/3572.26	c number of learning phase by resolution	: 0
3600.07/3572.26	c number of learning phase by cutting planes	: 0
3600.07/3572.26	c number of rounding to 1 operations	: 0
3600.07/3572.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3572.26	c number of reductions of the coefficients by power 2 	: 0
3600.07/3572.26	c number of right shift for reduction by power 2 	: 0
3600.07/3572.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3572.26	c number of ending skipping 	: 0
3600.07/3572.26	c number of internal skipping 	: 0
3600.07/3572.26	c number of derivation steps 	: 306156916
3600.07/3572.26	c number of skipped derivation steps 	: 0
3600.07/3572.26	c number of remaining unassigned 	: 0
3600.07/3572.26	c number of remaining assigned 	: 0
3600.07/3572.26	c number of falsified literals weakened from reason	: 0
3600.07/3572.26	c number of falsified literals weakened from conflict	: 0
3600.07/3572.26	c time for arithmetic operations	: 0
3600.07/3572.26	c minimum degree of deleted constraints	: 1
3600.07/3572.26	c maximum degree of deleted constraints	: 1
3600.07/3572.26	c number of deleted constraints	: 29151976
3600.07/3572.26	c speed (assignments/second)	: 93093.60716915317
3600.07/3572.27	c non guided choices	: 8478
3600.26/3572.33	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 417978
3600.26/3572.33	s UNKNOWN
3600.26/3572.33	c Total wall clock time (in seconds): 3572.122

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (54599 MiB free)
  memory of node 1: 64510 MiB (59913 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447691-1721356450/watcher-4447691-1721356450 -o /tmp/evaluation-result-4447691-1721356450/solver-4447691-1721356450 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721352896-989910 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447691-1721356450.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
Current StackSize limit: 8192 KiB

solver pid=992321, runsolver pid=992318

[startup+0.101429 s]*
/proc/loadavg: 4.42 4.55 4.45 6/317 992339
/proc/meminfo: memFree=117226152/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=18975048 memory=56692 CPUtime=0.13 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 6625 0 0 0 11 2 0 0 20 0 18 0 187803671 19430449152 14173 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4743762 14173 5681 1 0 550932 0
[pid=992321/tid=992323] ppid=992318 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) D 992318 992321 989898 0 -1 1078198336 5552 0 0 0 6 2 0 0 20 0 18 0 187803672 19430449152 14173 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187803677 19430449152 14173 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=18975048 memory=4050198648221597728 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187803678 19430449152 14173 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56692 KiB

[startup+0.215228 s]*
/proc/loadavg: 4.42 4.55 4.45 9/317 992339
/proc/meminfo: memFree=117216648/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=18975048 memory=66580 CPUtime=0.33 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 7546 0 0 0 31 2 0 0 20 0 18 0 187803671 19430449152 16645 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4743762 16645 5718 1 0 551727 0
[pid=992321/tid=992323] ppid=992318 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 6055 0 0 0 17 2 0 0 20 0 18 0 187803672 19430449152 16645 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=18975048 memory=19020 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187803677 19430449152 16645 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=18975048 memory=15544037289509020 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187803678 19430449152 17157 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66580 KiB

[startup+0.332241 s]*
/proc/loadavg: 4.42 4.55 4.45 7/318 992340
/proc/meminfo: memFree=117211068/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19041612 memory=73200 CPUtime=0.55 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 7712 0 0 0 52 3 0 0 20 0 19 0 187803671 19498610688 18300 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4760403 18300 5718 1 0 552073 0
[pid=992321/tid=992323] ppid=992318 vsize=19041612 memory=-8600863095035044540 CPUtime=0.3 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 6135 0 0 0 28 2 0 0 20 0 19 0 187803672 19498610688 18300 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187803677 19498610688 18300 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187803678 19498610688 18300 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187803700 19498610688 18300 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73200 KiB

[startup+0.700339 s]
/proc/loadavg: 4.42 4.55 4.45 6/318 992340
/proc/meminfo: memFree=117177976/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19041612 memory=158444 CPUtime=1.21 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 13271 0 0 0 116 5 0 0 20 0 19 0 187803671 19498610688 39611 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4760403 39611 5835 1 0 555912 0
[pid=992321/tid=992323] ppid=992318 vsize=19041612 memory=12020 CPUtime=0.63 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 6250 0 0 0 60 3 0 0 20 0 19 0 187803672 19498610688 39611 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19041612 memory=12020 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187803677 19498610688 39611 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187803678 19498610688 39611 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19041612 memory=1824 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187803700 19498610688 39611 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158444 KiB

[startup+1.50122 s]
/proc/loadavg: 4.42 4.55 4.45 9/319 992341
/proc/meminfo: memFree=117105984/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=195568 CPUtime=2.79 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 19838 0 0 0 272 7 0 0 20 0 20 0 187803671 19566772224 48892 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 48892 5867 1 0 556332 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=12020 CPUtime=1.4 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 7386 0 0 0 136 4 0 0 20 0 20 0 187803672 19566772224 48892 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 48892 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 48892 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 48892 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195568 KiB

[startup+3.11149 s]
/proc/loadavg: 4.42 4.55 4.45 5/319 992341
/proc/meminfo: memFree=116552736/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=802712 CPUtime=5.41 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 21951 0 0 0 523 18 0 0 20 0 20 0 187803671 19566772224 200678 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 200678 5867 1 0 556519 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=0 CPUtime=2.99 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 8002 0 0 0 284 15 0 0 20 0 20 0 187803672 19566772224 200678 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 200678 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=340984 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 200678 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=12020 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 200678 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 802712 KiB

[startup+6.30047 s]
/proc/loadavg: 4.46 4.56 4.46 6/319 992341
/proc/meminfo: memFree=115941804/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=1319864 CPUtime=9.19 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 22350 0 0 0 891 28 0 0 20 0 20 0 187803671 19566772224 329966 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 329966 5867 1 0 556522 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=12020 CPUtime=6.13 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 8268 0 0 0 589 24 0 0 20 0 20 0 187803672 19566772224 329966 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 329966 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=5866620669045856600 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 329966 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 329966 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 9.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1319864 KiB

[startup+12.7005 s]
/proc/loadavg: 4.43 4.55 4.45 5/319 992344
/proc/meminfo: memFree=115910616/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=1326228 CPUtime=15.79 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 23699 0 0 0 1551 28 0 0 20 0 20 0 187803671 19566772224 331557 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 331557 5880 1 0 556522 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=0 CPUtime=12.38 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 9094 0 0 0 1214 24 0 0 20 0 20 0 187803672 19566772224 331557 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=1326008 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 331557 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 331557 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=16224 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 331557 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 15.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326228 KiB

[startup+25.5005 s]
/proc/loadavg: 4.49 4.56 4.46 5/319 992345
/proc/meminfo: memFree=115352904/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=1334456 CPUtime=28.57 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 27791 0 0 0 2827 30 0 0 20 0 20 0 187803671 19566772224 333614 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 333614 5880 1 0 556522 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=1326008 CPUtime=24.88 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 10519 0 0 0 2463 25 0 0 20 0 20 0 187803672 19566772224 333614 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=16224 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 333614 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=1328300 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 333614 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=11516 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 333614 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 28.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1334456 KiB

[startup+51.1131 s]
/proc/loadavg: 4.67 4.59 4.47 5/319 992350
/proc/meminfo: memFree=114284428/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=1759436 CPUtime=54.19 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 31116 0 0 0 5377 42 0 0 20 0 20 0 187803671 19566772224 439859 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 439859 5880 1 0 663049 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=1757388 CPUtime=49.98 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 12408 0 0 0 4964 34 0 0 20 0 20 0 187803672 19566772224 439859 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0

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

[startup+3222.3 s]
/proc/loadavg: 4.21 4.26 4.27 7/319 994017
/proc/meminfo: memFree=105872292/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=4653092 CPUtime=3248.15 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 298135 0 0 0 324493 322 0 0 20 0 20 0 187803671 19566772224 1163273 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 1163273 5896 1 0 1176248 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=44612 CPUtime=3154.71 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 161620 0 0 0 315362 109 0 0 20 0 20 0 187803672 19566772224 1163273 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 138 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=4653072 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 1163273 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=4653072 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 2958 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 1163273 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=4653084 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 1163273 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 3248.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653092 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.24 4.27 5/320 994196
/proc/meminfo: memFree=105871368/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=4653140 CPUtime=3308.69 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 303564 0 0 0 330543 326 0 0 20 0 20 0 187803671 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 1163285 5896 1 0 1176259 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=4653124 CPUtime=3213.12 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 164928 0 0 0 321203 109 0 0 20 0 20 0 187803672 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 150 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=4653124 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=4653108 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 2996 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=4653092 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 3308.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.24 4.26 5/320 994207
/proc/meminfo: memFree=105871252/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=4653140 CPUtime=3369.06 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 307684 0 0 0 336576 330 0 0 20 0 20 0 187803671 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 1163285 5896 1 0 1176259 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=12020 CPUtime=3271.92 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 167239 0 0 0 327082 110 0 0 20 0 20 0 187803672 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 156 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=12020 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=11516 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 3046 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=12020 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 3369.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.21 4.25 5/320 994273
/proc/meminfo: memFree=105870864/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=4653140 CPUtime=3429.36 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 312354 0 0 0 342601 335 0 0 20 0 20 0 187803671 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 1163285 5896 1 0 1176259 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=4653140 CPUtime=3330.92 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 170588 0 0 0 332981 111 0 0 20 0 20 0 187803672 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 164 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=4653140 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=11516 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 3096 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=44612 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 1163285 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 3429.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.22 4.25 7/319 994350
/proc/meminfo: memFree=106111248/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=4653144 CPUtime=3489.76 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 317212 0 0 0 348637 339 0 0 20 0 20 0 187803671 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 1163286 5896 1 0 1176259 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=-8600863095035044540 CPUtime=3389.75 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 173140 0 0 0 338863 112 0 0 20 0 20 0 187803672 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 164 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=4653140 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=4653144 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 3145 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=4653144 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 3489.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.24 5/319 994361
/proc/meminfo: memFree=105935312/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=4653144 CPUtime=3550.07 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 321725 0 0 0 354664 343 0 0 20 0 20 0 187803671 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 1163286 5896 1 0 1176259 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=4653144 CPUtime=3448.87 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 175805 0 0 0 344774 113 0 0 20 0 20 0 187803672 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 164 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=4653144 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=4653144 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 3195 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=4653144 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 3550.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3572.2 s]
/proc/loadavg: 4.34 4.24 4.25 8/318 994437
/proc/meminfo: memFree=105899660/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19108176 memory=4653144 CPUtime=3600.07 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 325902 0 0 0 359659 348 0 0 20 0 20 0 187803671 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4777044 1163286 5896 1 0 1176259 0
[pid=992321/tid=992323] ppid=992318 vsize=19108176 memory=12020 CPUtime=3498 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) R 992318 992321 989898 0 -1 4194368 177807 0 0 0 349687 113 0 0 20 0 20 0 187803672 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 165 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19108176 memory=16224 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187803677 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19108176 memory=2268 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 3245 0 0 0 0 0 0 0 20 0 20 0 187803678 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992340] ppid=992318 vsize=19108176 memory=-6098642906744912829 CPUtime=0 cores=1,3
/proc/992321/task/992340/stat : 992340 (Timer-0) S 992318 992321 989898 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187803700 19566772224 1163286 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4653144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.84 s, system=3.50423 s

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

[startup+3572.31 s]
/proc/loadavg: 4.34 4.24 4.25 8/318 994437
/proc/meminfo: memFree=105899660/131655788 swapFree=131071996/131071996
[pid=992321] ppid=992318 vsize=19307868 memory=4654052 CPUtime=3600.26 cores=1,3
/proc/992321/stat : 992321 (java) S 992318 992321 989898 0 -1 1077936128 329116 0 0 0 359678 348 0 0 20 0 21 0 187803671 19771256832 1163513 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
/proc/992321/statm: 4826967 1163513 5895 1 0 1177179 0
[pid=992321/tid=992323] ppid=992318 vsize=19307868 memory=4653144 CPUtime=3498.02 cores=1,3
/proc/992321/task/992323/stat : 992323 (java) S 992318 992321 989898 0 -1 1077936192 178054 0 0 0 349689 113 0 0 20 0 21 0 187803672 19771256832 1163513 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 165 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992332] ppid=992318 vsize=19307868 memory=4653144 CPUtime=0 cores=1,3
/proc/992321/task/992332/stat : 992332 (Finalizer) S 992318 992321 989898 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 187803677 19771256832 1163513 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
[pid=992321/tid=992339] ppid=992318 vsize=19307868 memory=4653144 CPUtime=0 cores=1,3
/proc/992321/task/992339/stat : 992339 (Common-Cleaner) S 992318 992321 989898 0 -1 1077936192 3245 0 0 0 0 0 0 0 20 0 21 0 187803678 19771256832 1163513 134679101440 94647670308864 94647670312560 140723830300832 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94647670320376 94647670321168 94647678873600 140723830309876 140723830309984 140723830309984 140723830317000 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4654052 KiB

Child status: 143

Real time (s): 3572.36
CPU time (s): 3600.35
CPU user time (s): 3596.84
CPU system time (s): 3.50423
CPU usage (%): 100.783
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4654052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.84
system time used= 3.50423
maximum resident set size= 4655176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136055
involuntary context switches= 5629


# summary of solver processes directly reported to runsolver:
#   pid: 992321
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3596.84
#   total CPU system time (s): 3.50423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1538 second user time and 37.2151 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-19 04:34:22
IDJOB=4447691
IDBENCH=160024
IDSOLVER=3052
FILE ID=nodeC006/4447691-1721356450
RUNJOBID= nodeC006-1721352896-989910
SLURM_JOB_ID= 7542761
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447691-1721356450/watcher-4447691-1721356450 -o /tmp/evaluation-result-4447691-1721356450/solver-4447691-1721356450 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721352896-989910 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4447691-1721356450.opb

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

MD5SUM BENCH= c8e53a529ce10df137c21c2a3460ac47
RANDOM SEED=1669323257

nodeC006.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	: 0xb00001f
cpu MHz		: 3662.592
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.986
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.351
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.253
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3646.690
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.970
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.417
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.331
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117262092 kB
MemAvailable:   122224424 kB
Buffers:          519128 kB
Cached:          5221384 kB
SwapCached:            0 kB
Active:           998184 kB
Inactive:       12694076 kB
Active(anon):       1484 kB
Inactive(anon):  7987684 kB
Active(file):     996700 kB
Inactive(file):  4706392 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               956 kB
Writeback:             0 kB
AnonPages:       7951528 kB
Mapped:           126268 kB
Shmem:             37704 kB
KReclaimable:     198544 kB
Slab:             313804 kB
SReclaimable:     198544 kB
SUnreclaim:       115260 kB
KernelStack:        4796 kB
PageTables:        25252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10934268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59520 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7794688 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:      316232 kB
DirectMap2M:    40482816 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723716 MiB
End job on nodeC006 at 2024-07-19 05:33:54