Trace number 4510478

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 CP 2025-06-06? (TO) 3600.18 3561.22

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
MD5SUMab4f361084eaa55350d5ce36089ad752
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark28.6033
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables701
Total number of constraints2802
Number of constraints which are clauses2802
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 constraint2
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.11	c java.vm.version	22.0.1+8-16
0.09/0.11	c java.vm.vendor	Oracle Corporation
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		22.0.1
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.11	c os.arch		amd64
0.09/0.12	c Free memory 		2104792832
0.09/0.12	c Max memory 		16282288128
0.09/0.12	c Total memory 		2113929216
0.09/0.12	c Number of processors 	2
0.09/0.18	c Pseudo Boolean Optimization by upper bound
0.09/0.18	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.18	c  - never skip resolution steps
0.09/0.18	c  - Auto-division on coefficients is disabled
0.09/0.18	c  - No postprocessing
0.09/0.18	c  - Conflict is considered as is when resolving
0.09/0.18	c  - Use constraints as they come during conflict analysis
0.09/0.18	c  - Weaken first using unassigned literals
0.09/0.18	c  - Bump strategy: ALWAYS_ONE
0.09/0.18	c  - Bumper: ANY
0.09/0.18	c --- Begin Solver configuration ---
0.09/0.18	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.09/0.18	c Learn all clauses as in MiniSAT
0.09/0.18	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.18	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.18	c No reason simplification
0.09/0.18	c Armin Biere (Picosat) restarts strategy
0.09/0.18	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.18	c timeout=2147483s
0.09/0.18	c DB Simplification allowed=false
0.09/0.18	c Listener: none
0.09/0.18	c --- End Solver configuration ---
0.09/0.18	c solving HOME/instance-4510478-1751204627.opb
0.09/0.18	c reading problem ... 
0.09/0.18	c  no objective function found
0.26/0.26	c ... done. Wall clock time 0.079s.
0.26/0.26	c declared #vars     701
0.26/0.26	c #constraints  2802
0.26/0.26	c constraints type 
0.26/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.26/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2800
0.26/0.26	c 2802 constraints processed.
1.02/0.63	c cleaning 2482 clauses out of 5000
1.41/0.89	c cleaning 4235 clauses out of 8518
2.02/1.15	c cleaning 5608 clauses out of 11283
2.59/1.43	c cleaning 6815 clauses out of 13675
3.07/1.73	c cleaning 7912 clauses out of 15860
3.55/2.02	c cleaning 8952 clauses out of 17949
3.92/2.38	c cleaning 9957 clauses out of 19996
4.42/2.82	c cleaning 10977 clauses out of 22040
4.84/3.29	c cleaning 11990 clauses out of 24062
5.36/3.72	c cleaning 12993 clauses out of 26074
5.86/4.20	c cleaning 13992 clauses out of 28079
6.37/4.75	c cleaning 15007 clauses out of 30087
6.87/5.27	c cleaning 15985 clauses out of 32080
7.47/5.89	c cleaning 17009 clauses out of 34095
8.17/6.54	c cleaning 18016 clauses out of 36086
8.77/7.13	c cleaning 18964 clauses out of 38071
9.37/7.78	c cleaning 19998 clauses out of 40107
10.17/8.56	c cleaning 21018 clauses out of 42108
11.07/9.47	c cleaning 21987 clauses out of 44092
11.89/10.24	c cleaning 22994 clauses out of 46103
12.69/11.01	c cleaning 24005 clauses out of 48110
13.98/12.31	c cleaning 25010 clauses out of 50104
15.00/13.34	c cleaning 26003 clauses out of 52096
16.09/14.40	c cleaning 26988 clauses out of 54091
16.99/15.36	c cleaning 27985 clauses out of 56104
18.29/16.61	c cleaning 28996 clauses out of 58118
19.39/17.79	c cleaning 30009 clauses out of 60122
21.20/19.58	c cleaning 30988 clauses out of 62114
22.71/21.01	c cleaning 32030 clauses out of 64125
23.91/22.22	c cleaning 32972 clauses out of 66095
25.12/23.44	c cleaning 33992 clauses out of 68123
26.42/24.76	c cleaning 35006 clauses out of 70132
28.22/26.54	c cleaning 36020 clauses out of 72125
30.12/28.42	c cleaning 37009 clauses out of 74105
32.22/30.54	c cleaning 38016 clauses out of 76096
33.93/32.23	c cleaning 38999 clauses out of 78080
36.04/34.31	c cleaning 39961 clauses out of 80081
37.94/36.26	c cleaning 41021 clauses out of 82120
39.66/38.00	c cleaning 42001 clauses out of 84100
41.68/39.90	c cleaning 42990 clauses out of 86099
43.90/42.10	c cleaning 44013 clauses out of 88108
46.31/44.56	c cleaning 44987 clauses out of 90095
48.62/46.85	c cleaning 45986 clauses out of 92109
50.95/49.15	c cleaning 47012 clauses out of 94124
53.40/51.53	c cleaning 47984 clauses out of 96111
55.91/54.06	c cleaning 49017 clauses out of 98126
58.33/56.46	c cleaning 50008 clauses out of 100109
60.76/58.88	c cleaning 50997 clauses out of 102101
63.39/61.48	c cleaning 52012 clauses out of 104104
66.08/64.09	c cleaning 52987 clauses out of 106092
69.01/66.92	c cleaning 53987 clauses out of 108105
72.76/70.65	c cleaning 55007 clauses out of 110119
75.70/73.52	c cleaning 56029 clauses out of 112112
79.43/77.21	c cleaning 57011 clauses out of 114082
83.07/80.83	c cleaning 58007 clauses out of 116071
86.06/83.71	c cleaning 58977 clauses out of 118064
89.20/86.83	c cleaning 59963 clauses out of 120087
92.65/90.27	c cleaning 61011 clauses out of 122125
95.69/93.28	c cleaning 62015 clauses out of 124115
98.54/96.04	c cleaning 62997 clauses out of 126099
101.88/99.34	c cleaning 63985 clauses out of 128101
105.69/103.01	c cleaning 64978 clauses out of 130116
110.53/107.81	c cleaning 65986 clauses out of 132139
114.29/111.59	c cleaning 66999 clauses out of 134153
118.78/115.99	c cleaning 67996 clauses out of 136154
123.00/120.05	c cleaning 69037 clauses out of 138157
127.32/124.36	c cleaning 70023 clauses out of 140120
131.26/128.26	c cleaning 71008 clauses out of 142098
135.57/132.49	c cleaning 71981 clauses out of 144090
143.17/139.94	c cleaning 73012 clauses out of 146108
148.43/145.17	c cleaning 73974 clauses out of 148097
152.92/149.58	c cleaning 75014 clauses out of 150122
158.08/154.60	c cleaning 76031 clauses out of 152108
162.09/158.50	c cleaning 76976 clauses out of 154077
166.24/162.62	c cleaning 78001 clauses out of 156103
171.04/167.38	c cleaning 79003 clauses out of 158100
175.25/171.47	c cleaning 79992 clauses out of 160100
180.41/176.58	c cleaning 80993 clauses out of 162106
184.73/180.76	c cleaning 81981 clauses out of 164112
190.46/186.41	c cleaning 82994 clauses out of 166131
195.48/191.37	c cleaning 83974 clauses out of 168140
200.12/195.90	c cleaning 85050 clauses out of 170163
205.68/201.45	c cleaning 86008 clauses out of 172115
209.82/205.42	c cleaning 87033 clauses out of 174105
214.97/210.54	c cleaning 87958 clauses out of 176072
220.71/216.18	c cleaning 88995 clauses out of 178114
226.65/222.02	c cleaning 89986 clauses out of 180119
234.38/229.61	c cleaning 91026 clauses out of 182133
241.02/236.13	c cleaning 92011 clauses out of 184108
247.64/242.66	c cleaning 92993 clauses out of 186096
252.91/247.89	c cleaning 93966 clauses out of 188103
259.40/254.23	c cleaning 94990 clauses out of 190138
264.86/259.62	c cleaning 96011 clauses out of 192148
270.38/265.06	c cleaning 96986 clauses out of 194136
276.71/271.29	c cleaning 97989 clauses out of 196151
284.66/279.15	c cleaning 99001 clauses out of 198163
290.18/284.59	c cleaning 100022 clauses out of 200160
298.88/293.18	c cleaning 101026 clauses out of 202140
306.02/300.12	c cleaning 101980 clauses out of 204113
312.48/306.59	c cleaning 103013 clauses out of 206132
321.59/315.57	c cleaning 104008 clauses out of 208121
328.73/322.58	c cleaning 105005 clauses out of 210111
335.48/329.12	c cleaning 105974 clauses out of 212106
343.01/336.61	c cleaning 106999 clauses out of 214132
350.82/344.35	c cleaning 108018 clauses out of 216134
357.06/350.40	c cleaning 108969 clauses out of 218116
365.18/358.42	c cleaning 110046 clauses out of 220146
373.11/366.21	c cleaning 111023 clauses out of 222100
379.76/372.82	c cleaning 112016 clauses out of 224077
386.88/379.80	c cleaning 112970 clauses out of 226061
393.60/386.48	c cleaning 114023 clauses out of 228091
401.82/394.53	c cleaning 114925 clauses out of 230068
409.55/402.11	c cleaning 115989 clauses out of 232144
416.08/408.63	c cleaning 117005 clauses out of 234155
424.07/416.52	c cleaning 118009 clauses out of 236150
430.76/423.11	c cleaning 119026 clauses out of 238141
437.44/429.76	c cleaning 119984 clauses out of 240115
444.63/436.85	c cleaning 121007 clauses out of 242131
453.13/445.25	c cleaning 122040 clauses out of 244124
461.15/453.14	c cleaning 122968 clauses out of 246083
472.60/464.42	c cleaning 123996 clauses out of 248115
485.42/477.10	c cleaning 124982 clauses out of 250119
495.42/486.92	c cleaning 125995 clauses out of 252138
505.75/497.12	c cleaning 127010 clauses out of 254143
513.55/504.81	c cleaning 128014 clauses out of 256133
522.27/513.46	c cleaning 129024 clauses out of 258118
530.69/521.74	c cleaning 129975 clauses out of 260094
539.68/530.50	c cleaning 131020 clauses out of 262121
548.87/539.64	c cleaning 131995 clauses out of 264099
556.99/547.70	c cleaning 133000 clauses out of 266105
565.51/556.01	c cleaning 133997 clauses out of 268105
575.96/566.35	c cleaning 134990 clauses out of 270108
584.74/574.98	c cleaning 135952 clauses out of 272118
593.45/583.56	c cleaning 137026 clauses out of 274165
603.09/593.10	c cleaning 138032 clauses out of 276141
612.25/602.01	c cleaning 138987 clauses out of 278107
620.25/609.90	c cleaning 139974 clauses out of 280120
630.10/619.69	c cleaning 140980 clauses out of 282146
639.99/629.48	c cleaning 142030 clauses out of 284167
648.64/637.99	c cleaning 142979 clauses out of 286136
657.38/646.53	c cleaning 144012 clauses out of 288157
665.84/654.93	c cleaning 144989 clauses out of 290146
675.22/664.21	c cleaning 146018 clauses out of 292157
687.39/676.31	c cleaning 146973 clauses out of 294139
696.80/685.64	c cleaning 148035 clauses out of 296166
707.29/696.03	c cleaning 149032 clauses out of 298131
720.57/709.18	c cleaning 150000 clauses out of 300099
732.69/721.17	c cleaning 150961 clauses out of 302099
743.01/731.02	c cleaning 152020 clauses out of 304137
754.91/742.97	c cleaning 152942 clauses out of 306118
767.86/755.89	c cleaning 154026 clauses out of 308177
778.92/766.80	c cleaning 155006 clauses out of 310150
788.93/776.77	c cleaning 155992 clauses out of 312144
801.75/789.42	c cleaning 156993 clauses out of 314152
813.14/800.76	c cleaning 157978 clauses out of 316159
824.12/811.54	c cleaning 159007 clauses out of 318181
836.52/823.81	c cleaning 160016 clauses out of 320173
847.89/835.07	c cleaning 161017 clauses out of 322157
858.73/845.79	c cleaning 161997 clauses out of 324140
869.72/856.63	c cleaning 163042 clauses out of 326144
881.35/868.12	c cleaning 163975 clauses out of 328101
894.89/881.53	c cleaning 164976 clauses out of 330127
905.94/892.45	c cleaning 165996 clauses out of 332151
916.43/902.80	c cleaning 167058 clauses out of 334154
927.77/914.05	c cleaning 167964 clauses out of 336097
938.80/924.97	c cleaning 169056 clauses out of 338132
951.95/937.91	c cleaning 169989 clauses out of 340076
963.28/949.11	c cleaning 171026 clauses out of 342087
978.11/963.83	c cleaning 171944 clauses out of 344062
990.20/975.70	c cleaning 172968 clauses out of 346122
1002.07/987.42	c cleaning 174019 clauses out of 348150
1014.14/999.36	c cleaning 175006 clauses out of 350130
1027.40/1012.47	c cleaning 176038 clauses out of 352125
1040.35/1025.20	c cleaning 176984 clauses out of 354087
1052.30/1037.07	c cleaning 178003 clauses out of 356102
1065.53/1050.19	c cleaning 178999 clauses out of 358099
1078.69/1063.16	c cleaning 179969 clauses out of 360101
1094.72/1079.01	c cleaning 181029 clauses out of 362131
1107.50/1091.62	c cleaning 182005 clauses out of 364102
1123.36/1107.35	c cleaning 182967 clauses out of 366098
1136.94/1120.75	c cleaning 184026 clauses out of 368130
1149.30/1132.92	c cleaning 184980 clauses out of 370104
1163.22/1146.76	c cleaning 186040 clauses out of 372125
1174.98/1158.30	c cleaning 187035 clauses out of 374084
1191.13/1174.31	c cleaning 187982 clauses out of 376049
1204.76/1187.78	c cleaning 188985 clauses out of 378067
1217.76/1200.51	c cleaning 189982 clauses out of 380082
1232.08/1214.74	c cleaning 190991 clauses out of 382100
1247.61/1230.18	c cleaning 192014 clauses out of 384110
1263.82/1246.14	c cleaning 192982 clauses out of 386095
1279.37/1261.51	c cleaning 194018 clauses out of 388113
1296.84/1278.87	c cleaning 194979 clauses out of 390095
1312.01/1293.89	c cleaning 195930 clauses out of 392116
1329.22/1310.84	c cleaning 197052 clauses out of 394186
1343.83/1325.20	c cleaning 197962 clauses out of 396135
1359.26/1340.55	c cleaning 199055 clauses out of 398172
1374.66/1355.79	c cleaning 200037 clauses out of 400118
1390.26/1371.11	c cleaning 200982 clauses out of 402080
1405.89/1386.67	c cleaning 202003 clauses out of 404098
1419.75/1400.33	c cleaning 202923 clauses out of 406095
1437.32/1417.70	c cleaning 204052 clauses out of 408173
1453.20/1433.42	c cleaning 204975 clauses out of 410120
1470.55/1450.62	c cleaning 206024 clauses out of 412145
1485.44/1465.46	c cleaning 206969 clauses out of 414122
1500.35/1480.29	c cleaning 208057 clauses out of 416153
1516.25/1496.08	c cleaning 209037 clauses out of 418096
1533.53/1513.29	c cleaning 209976 clauses out of 420058
1550.57/1530.12	c cleaning 211030 clauses out of 422082
1567.50/1546.90	c cleaning 211973 clauses out of 424053
1583.81/1563.02	c cleaning 212954 clauses out of 426079
1600.34/1579.42	c cleaning 214040 clauses out of 428125
1617.70/1596.22	c cleaning 214963 clauses out of 430086
1635.30/1613.73	c cleaning 215993 clauses out of 432122
1652.50/1630.86	c cleaning 216995 clauses out of 434129
1672.79/1651.05	c cleaning 217992 clauses out of 436135
1689.28/1667.30	c cleaning 218980 clauses out of 438142
1705.69/1683.50	c cleaning 220038 clauses out of 440162
1722.76/1700.46	c cleaning 221050 clauses out of 442126
1740.13/1717.66	c cleaning 221978 clauses out of 444074
1755.93/1733.32	c cleaning 222985 clauses out of 446097
1784.74/1762.03	c cleaning 223983 clauses out of 448111
1803.66/1780.75	c cleaning 224981 clauses out of 450129
1821.81/1798.74	c cleaning 226054 clauses out of 452149
1842.43/1819.19	c cleaning 226979 clauses out of 454093
1859.56/1836.04	c cleaning 228042 clauses out of 456114
1877.06/1853.45	c cleaning 228989 clauses out of 458073
1896.40/1872.64	c cleaning 229983 clauses out of 460084
1919.03/1895.14	c cleaning 231011 clauses out of 462101
1934.71/1910.62	c cleaning 232029 clauses out of 464091
1961.05/1936.74	c cleaning 232967 clauses out of 466060
1986.25/1961.72	c cleaning 234003 clauses out of 468094
2004.26/1979.52	c cleaning 234925 clauses out of 470091
2024.15/1999.27	c cleaning 236048 clauses out of 472165
2047.75/2022.67	c cleaning 237033 clauses out of 474117
2068.95/2043.61	c cleaning 238014 clauses out of 476084
2087.90/2062.32	c cleaning 238991 clauses out of 478072
2107.31/2081.56	c cleaning 239966 clauses out of 480080
2128.63/2102.61	c cleaning 241025 clauses out of 482113
2148.05/2121.86	c cleaning 241982 clauses out of 484088
2172.92/2146.54	c cleaning 242976 clauses out of 486107
2194.03/2167.47	c cleaning 243999 clauses out of 488130
2211.70/2185.00	c cleaning 244979 clauses out of 490132
2233.19/2206.21	c cleaning 246002 clauses out of 492152
2253.37/2226.22	c cleaning 247047 clauses out of 494151
2280.70/2253.34	c cleaning 247993 clauses out of 496104
2301.99/2274.36	c cleaning 249007 clauses out of 498111
2320.24/2292.44	c cleaning 250030 clauses out of 500105
2340.29/2312.32	c cleaning 250963 clauses out of 502073
2362.49/2334.35	c cleaning 252012 clauses out of 504111
2382.92/2354.69	c cleaning 252941 clauses out of 506099
2404.14/2375.63	c cleaning 253991 clauses out of 508157
2426.78/2398.01	c cleaning 255029 clauses out of 510166
2448.03/2419.13	c cleaning 256059 clauses out of 512140
2468.25/2439.14	c cleaning 257018 clauses out of 514078
2488.61/2459.37	c cleaning 257962 clauses out of 516061
2513.07/2483.65	c cleaning 259028 clauses out of 518098
2536.10/2506.44	c cleaning 259948 clauses out of 520071
2557.78/2527.90	c cleaning 260941 clauses out of 522123
2577.94/2547.95	c cleaning 262002 clauses out of 524181
2598.19/2568.10	c cleaning 263055 clauses out of 526179
2620.98/2590.63	c cleaning 263984 clauses out of 528125
2646.82/2616.37	c cleaning 265051 clauses out of 530141
2669.04/2637.91	c cleaning 265977 clauses out of 532089
2691.27/2660.02	c cleaning 267023 clauses out of 534113
2712.89/2681.54	c cleaning 267976 clauses out of 536090
2735.72/2704.20	c cleaning 269018 clauses out of 538114
2760.21/2728.59	c cleaning 269962 clauses out of 540097
2787.42/2755.69	c cleaning 271010 clauses out of 542133
2814.34/2782.36	c cleaning 272027 clauses out of 544124
2836.15/2803.94	c cleaning 272963 clauses out of 546098
2860.53/2828.09	c cleaning 274023 clauses out of 548133
2886.23/2853.53	c cleaning 274998 clauses out of 550111
2910.54/2877.54	c cleaning 276043 clauses out of 552115
2939.74/2906.48	c cleaning 277002 clauses out of 554069
2965.29/2931.70	c cleaning 277989 clauses out of 556067
2989.35/2955.53	c cleaning 279019 clauses out of 558079
3021.51/2987.48	c cleaning 280016 clauses out of 560059
3045.79/3011.50	c cleaning 280963 clauses out of 562043
3072.39/3037.95	c cleaning 281931 clauses out of 564082
3098.44/3063.84	c cleaning 283005 clauses out of 566152
3127.33/3092.50	c cleaning 284047 clauses out of 568146
3153.70/3118.67	c cleaning 285009 clauses out of 570098
3180.53/3145.20	c cleaning 285992 clauses out of 572089
3212.87/3177.33	c cleaning 286977 clauses out of 574097
3237.11/3201.30	c cleaning 287992 clauses out of 576119
3265.34/3229.31	c cleaning 289021 clauses out of 578128
3292.82/3256.66	c cleaning 290007 clauses out of 580106
3321.31/3284.84	c cleaning 291006 clauses out of 582099
3348.29/3311.54	c cleaning 292026 clauses out of 584093
3378.12/3341.19	c cleaning 292945 clauses out of 586067
3406.46/3369.29	c cleaning 294036 clauses out of 588122
3432.41/3394.54	c cleaning 295030 clauses out of 590086
3460.76/3422.74	c cleaning 295990 clauses out of 592056
3488.42/3450.30	c cleaning 296960 clauses out of 594069
3516.05/3477.67	c cleaning 297977 clauses out of 596106
3542.79/3504.25	c cleaning 298960 clauses out of 598129
3573.60/3534.84	c cleaning 299996 clauses out of 600169
3600.03/3561.11	c starts		: 406
3600.03/3561.12	c conflicts		: 45724318
3600.03/3561.12	c decisions		: 57757065
3600.03/3561.12	c propagations		: 599636304
3600.03/3561.12	c inspects		: 37679728769
3600.03/3561.12	c shortcuts		: 0
3600.03/3561.12	c learnt literals	: 0
3600.03/3561.12	c learnt binary clauses	: 0
3600.03/3561.12	c learnt ternary clauses	: 0
3600.03/3561.12	c learnt constraints	: 45724317
3600.03/3561.12	c ignored constraints	: 0
3600.03/3561.12	c root simplifications	: 0
3600.03/3561.12	c removed literals (reason simplification)	: 0
3600.03/3561.12	c reason swapping (by a shorter reason)	: 0
3600.03/3561.12	c Calls to reduceDB	: 297
3600.03/3561.12	c Number of update (reduction) of LBD	: 0
3600.03/3561.12	c Imported unit clauses	: 0
3600.03/3561.12	c No decision after first conflict	: false
3600.03/3561.12	c number of reductions to clauses (during analyze)	: 0
3600.03/3561.12	c timeout
3600.03/3561.13	c number of learned constraints concerned by reduction	: 0
3600.03/3561.13	c number of learning phase by resolution	: 0
3600.03/3561.13	c number of learning phase by cutting planes	: 0
3600.03/3561.13	c number of rounding to 1 operations	: 0
3600.03/3561.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3561.13	c number of reductions of the coefficients by power 2 	: 0
3600.03/3561.13	c number of right shift for reduction by power 2 	: 0
3600.03/3561.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3561.13	c number of ending skipping 	: 0
3600.03/3561.13	c number of internal skipping 	: 0
3600.03/3561.13	c number of derivation steps 	: 378015238
3600.03/3561.13	c number of skipped derivation steps 	: 0
3600.03/3561.13	c number of remaining unassigned 	: 0
3600.03/3561.13	c number of remaining assigned 	: 0
3600.03/3561.13	c number of falsified literals weakened from reason	: 0
3600.03/3561.13	c number of falsified literals weakened from conflict	: 0
3600.03/3561.13	c time for arithmetic operations	: 0
3600.03/3561.13	c minimum degree of deleted constraints	: null
3600.03/3561.13	c maximum degree of deleted constraints	: null
3600.03/3561.13	c number of deleted constraints	: 0
3600.03/3561.13	c speed (assignments/second)	: 168396.2475409767
3600.03/3561.13	c non guided choices	: 363914
3600.03/3561.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 583490
3600.03/3561.20	s UNKNOWN
3600.03/3561.20	c Total wall clock time (in seconds): 3561.017

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: 63708 MiB (62806 MiB free)
  memory of node 1: 64465 MiB (63973 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510478-1751204627/watcher-4510478-1751204627 -o /tmp/evaluation-result-4510478-1751204627/solver-4510478-1751204627 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751204626-27301 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4510478-1751204627.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100055 s]*
/proc/loadavg: 0.99 1.23 2.18 10/334 27425
/proc/meminfo: memFree=129753592/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=18930384 memory=55736 CPUtime=0.09 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 6075 0 0 0 7 2 0 0 20 0 18 0 36140164 19384713216 13934 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4732596 13934 5340 1 0 547234 0
[pid=27356/tid=27376] ppid=27341 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 4948 0 0 0 4 2 0 0 20 0 18 0 36140166 19384713216 13934 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36140168 19384713216 13934 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=18930384 memory=56286469452864 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 36140169 19384713216 13934 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55736 KiB

[startup+0.205409 s]*
/proc/loadavg: 0.99 1.23 2.18 13/334 27425
/proc/meminfo: memFree=129724568/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=18930384 memory=65136 CPUtime=0.26 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 6864 0 0 0 23 3 0 0 20 0 18 0 36140164 19384713216 16284 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4732596 16284 5404 1 0 547935 0
[pid=27356/tid=27376] ppid=27341 vsize=18930384 memory=4026597660 CPUtime=0.14 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 5333 0 0 0 12 2 0 0 20 0 18 0 36140166 19384713216 16284 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=18930384 memory=2621 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36140168 19384713216 16284 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=18930384 memory=55186957796323 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 36140169 19384713216 16284 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65136 KiB

[startup+0.305255 s]*
/proc/loadavg: 0.99 1.23 2.18 11/338 27429
/proc/meminfo: memFree=129663952/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=18996948 memory=74244 CPUtime=0.44 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 7044 0 0 0 41 3 0 0 20 0 19 0 36140164 19452874752 18561 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4749237 18561 5404 1 0 548348 0
[pid=27356/tid=27376] ppid=27341 vsize=18996948 memory=-6000919502788191597 CPUtime=0.21 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 5401 0 0 0 19 2 0 0 20 0 19 0 36140166 19452874752 18561 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36140168 19452874752 18561 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 36140169 19452874752 18561 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36140191 19452874752 18561 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74244 KiB

[startup+0.700225 s]
/proc/loadavg: 0.99 1.23 2.18 9/341 27432
/proc/meminfo: memFree=129377676/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=179424 CPUtime=1.21 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 16308 0 0 0 114 7 0 0 20 0 20 0 36140164 19521036288 44856 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 44856 5468 1 0 554649 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=17408 CPUtime=0.56 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 5494 0 0 0 52 4 0 0 20 0 20 0 36140166 19521036288 44856 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 44856 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 44856 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 44856 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179424 KiB

[startup+1.50024 s]
/proc/loadavg: 1.55 1.35 2.21 9/342 27433
/proc/meminfo: memFree=128875808/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=416312 CPUtime=2.79 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 23007 0 0 0 267 12 0 0 20 0 20 0 36140164 19521036288 104078 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 104078 5468 1 0 555041 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=0 CPUtime=1.34 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 6009 0 0 0 125 9 0 0 20 0 20 0 36140166 19521036288 104078 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 104078 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 104078 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 104078 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 416312 KiB

[startup+3.10549 s]
/proc/loadavg: 1.55 1.35 2.21 6/342 27433
/proc/meminfo: memFree=125442476/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=1004436 CPUtime=4.75 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 25746 0 0 0 451 24 0 0 20 0 20 0 36140164 19521036288 251109 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 251109 5468 1 0 555045 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=10752 CPUtime=2.91 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 6897 0 0 0 271 20 0 0 20 0 20 0 36140166 19521036288 251109 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=-6000919502788191597 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 251109 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 251109 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 251109 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1004436 KiB

[startup+6.30021 s]
/proc/loadavg: 1.91 1.42 2.23 5/342 27433
/proc/meminfo: memFree=123760472/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=1316848 CPUtime=7.97 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 26128 0 0 0 766 31 0 0 20 0 20 0 36140164 19521036288 329212 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 329212 5468 1 0 555045 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=0 CPUtime=6.09 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 7157 0 0 0 582 27 0 0 20 0 20 0 36140166 19521036288 329212 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 329212 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 329212 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=486072 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 329212 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1316848 KiB

[startup+12.7002 s]
/proc/loadavg: 2.07 1.47 2.24 5/342 27433
/proc/meminfo: memFree=123756408/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=1323148 CPUtime=14.38 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 27501 0 0 0 1407 31 0 0 20 0 20 0 36140164 19521036288 330787 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 330787 5500 1 0 555045 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=486072 CPUtime=12.42 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 7879 0 0 0 1215 27 0 0 20 0 20 0 36140166 19521036288 330787 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=1323148 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 330787 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 330787 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 330787 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 14.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1323148 KiB

[startup+25.5002 s]
/proc/loadavg: 2.52 1.58 2.27 6/342 27433
/proc/meminfo: memFree=123704556/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=1335444 CPUtime=27.22 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 31088 0 0 0 2689 33 0 0 20 0 20 0 36140164 19521036288 333861 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 333861 5500 1 0 555045 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=1323148 CPUtime=25.05 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 9489 0 0 0 2477 28 0 0 20 0 20 0 36140166 19521036288 333861 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 333861 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=1333396 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 333861 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=1335444 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 333861 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 27.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1335444 KiB

[startup+51.1183 s]
/proc/loadavg: 3.16 1.83 2.33 5/342 27433
/proc/meminfo: memFree=123561164/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=1370520 CPUtime=53 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 33347 0 0 0 5265 35 0 0 20 0 20 0 36140164 19521036288 342630 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 342630 5500 1 0 555045 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=-6000919502788191597 CPUtime=50.31 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) S 27341 27356 27288 0 -1 4194368 10679 0 0 0 5003 28 0 0 20 0 20 0 36140166 19521036288 342630 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0

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

[startup+3222.3 s]
/proc/loadavg: 4.27 4.18 4.11 5/339 27600
/proc/meminfo: memFree=119223332/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3258.27 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 119295 0 0 0 325653 174 0 0 20 0 20 0 36140164 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 776738 5500 1 0 789817 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3166.89 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 55452 0 0 0 316633 56 0 0 20 0 20 0 36140166 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=3106952 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 1028 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=3106952 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 3258.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.11 5/339 27603
/proc/meminfo: memFree=119209960/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3318.81 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 121343 0 0 0 331705 176 0 0 20 0 20 0 36140164 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 776738 5500 1 0 789817 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3225.98 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 56712 0 0 0 322542 56 0 0 20 0 20 0 36140166 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=3106952 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=3106952 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 1072 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 3318.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/340 27606
/proc/meminfo: memFree=119193324/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3379.31 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 122778 0 0 0 337753 178 0 0 20 0 20 0 36140164 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 776738 5500 1 0 789817 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3285.1 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 57137 0 0 0 328454 56 0 0 20 0 20 0 36140166 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=3106952 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 1122 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=3106952 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 3379.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.54 4.28 4.15 5/341 27609
/proc/meminfo: memFree=119156040/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3440.24 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 124462 0 0 0 343843 181 0 0 20 0 20 0 36140164 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 776738 5500 1 0 789817 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3344.34 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 57442 0 0 0 334378 56 0 0 20 0 20 0 36140166 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 1122 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=3106952 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 3440.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.26 4.15 5/342 27614
/proc/meminfo: memFree=119150128/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3500.65 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 125890 0 0 0 349882 183 0 0 20 0 20 0 36140164 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 776738 5500 1 0 789817 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3403.54 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 58053 0 0 0 340298 56 0 0 20 0 20 0 36140166 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=3106952 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 1122 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 776738 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 3500.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.24 4.15 6/342 27616
/proc/meminfo: memFree=119133504/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=3107080 CPUtime=3561.01 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 127090 0 0 0 355916 185 0 0 20 0 20 0 36140164 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 776770 5500 1 0 789821 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=3106952 CPUtime=3462.77 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 58965 0 0 0 346221 56 0 0 20 0 20 0 36140166 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=3107080 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 1167 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=3107080 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 3561.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3107080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3561.11 s]
/proc/loadavg: 4.27 4.24 4.16 5/342 27820
/proc/meminfo: memFree=122450904/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19063512 memory=3107080 CPUtime=3600.03 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 128317 0 0 0 359816 187 0 0 20 0 20 0 36140164 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4765878 776770 5500 1 0 789821 0
[pid=27356/tid=27376] ppid=27341 vsize=19063512 memory=3107080 CPUtime=3501.05 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) R 27341 27356 27288 0 -1 4194368 60013 0 0 0 350048 57 0 0 20 0 20 0 36140166 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36140168 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 1167 0 0 0 0 0 0 0 20 0 20 0 36140169 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27429] ppid=27341 vsize=19063512 memory=3107080 CPUtime=0 cores=5,7
/proc/27356/task/27429/stat : 27429 (Timer-0) S 27341 27356 27288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36140191 19521036288 776770 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3107080 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.3 s, system=1.88668 s

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

[startup+3561.21 s]
/proc/loadavg: 4.27 4.24 4.16 5/342 27820
/proc/meminfo: memFree=122450904/131249996 swapFree=33010684/33010684
[pid=27356] ppid=27341 vsize=19263204 memory=3107108 CPUtime=3600.16 cores=5,7
/proc/27356/stat : 27356 (java) S 27341 27356 27288 0 -1 4194304 130981 0 0 0 359829 187 0 0 20 0 16 0 36140164 19725520896 776777 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
/proc/27356/statm: 4815801 776777 5500 1 0 790768 0
[pid=27356/tid=27376] ppid=27341 vsize=19263204 memory=1920 CPUtime=3501.06 cores=5,7
/proc/27356/task/27376/stat : 27376 (java) S 27341 27356 27288 0 -1 4194368 60209 0 0 0 350049 57 0 0 20 0 16 0 36140166 19725520896 776777 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27418] ppid=27341 vsize=19263204 memory=5632 CPUtime=0 cores=5,7
/proc/27356/task/27418/stat : 27418 (Finalizer) S 27341 27356 27288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 36140168 19725520896 776777 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
[pid=27356/tid=27425] ppid=27341 vsize=19263204 memory=12416 CPUtime=0 cores=5,7
/proc/27356/task/27425/stat : 27425 (Common-Cleaner) S 27341 27356 27288 0 -1 4194368 1167 0 0 0 0 0 0 0 20 0 16 0 36140169 19725520896 776777 18446744073709551615 94345664806912 94345664810608 140733332570256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94345664818424 94345664819216 94345665171456 140733332572542 140733332572646 140733332572646 140733332578248 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3107108 KiB

Child status: 143

Real time (s): 3561.22
CPU time (s): 3600.18
CPU user time (s): 3598.3
CPU system time (s): 1.88668
CPU usage (%): 101.094
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3107108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.3
system time used= 1.88668
maximum resident set size= 3107848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143959
involuntary context switches= 14461


# summary of solver processes directly reported to runsolver:
#   pid: 27356
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.3
#   total CPU system time (s): 1.88668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13941 second user time and 18.3952 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-29 15:43:47
IDJOB=4510478
IDBENCH=160366
IDSOLVER=3361
FILE ID=nodeC015/4510478-1751204627
RUNJOBID= nodeC015-1751204626-27301
SLURM_JOB_ID= 9587617
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510478-1751204627/watcher-4510478-1751204627 -o /tmp/evaluation-result-4510478-1751204627/solver-4510478-1751204627 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751204626-27301 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4510478-1751204627.opb

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

MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=1273840755

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129835776 kB
MemAvailable:   129732056 kB
Buffers:            3280 kB
Cached:           705404 kB
SwapCached:            0 kB
Active:           334804 kB
Inactive:         449036 kB
Active(anon):      93232 kB
Inactive(anon):        0 kB
Active(file):     241572 kB
Inactive(file):   449036 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3052 kB
Writeback:            12 kB
AnonPages:         78616 kB
Mapped:           102216 kB
Shmem:             18076 kB
KReclaimable:      89824 kB
Slab:             175556 kB
SReclaimable:      89824 kB
SUnreclaim:        85732 kB
KernelStack:        4120 kB
PageTables:         2580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC015 at 2025-06-29 16:43:08