Trace number 4510658

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.39 3549.36

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
MD5SUMe27638fbedede025521b1384f289f9e5
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 benchmark201.671
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1001
Total number of constraints4002
Number of constraints which are clauses4002
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.16	c Pseudo Boolean Optimization by upper bound
0.12/0.16	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.16	c  - never skip resolution steps
0.12/0.16	c  - Auto-division on coefficients is disabled
0.12/0.16	c  - No postprocessing
0.12/0.16	c  - Conflict is considered as is when resolving
0.12/0.16	c  - Use constraints as they come during conflict analysis
0.12/0.16	c  - Weaken first using unassigned literals
0.12/0.16	c  - Bump strategy: ALWAYS_ONE
0.12/0.16	c  - Bumper: ANY
0.12/0.16	c --- Begin Solver configuration ---
0.12/0.16	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.12/0.16	c Learn all clauses as in MiniSAT
0.12/0.16	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.16	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.16	c No reason simplification
0.12/0.16	c Armin Biere (Picosat) restarts strategy
0.12/0.16	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.16	c timeout=2147483s
0.12/0.16	c DB Simplification allowed=false
0.12/0.16	c Listener: none
0.12/0.16	c --- End Solver configuration ---
0.12/0.16	c solving HOME/instance-4510658-1751204856.opb
0.12/0.16	c reading problem ... 
0.12/0.16	c  no objective function found
0.32/0.24	c ... done. Wall clock time 0.087s.
0.32/0.24	c declared #vars     1001
0.32/0.24	c #constraints  4002
0.32/0.24	c constraints type 
0.32/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.32/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4000
0.32/0.25	c 4002 constraints processed.
1.08/0.63	c cleaning 2474 clauses out of 5000
1.67/0.92	c cleaning 4243 clauses out of 8527
2.06/1.19	c cleaning 5624 clauses out of 11284
2.65/1.48	c cleaning 6815 clauses out of 13660
3.23/1.80	c cleaning 7901 clauses out of 15845
3.58/2.10	c cleaning 8944 clauses out of 17944
4.07/2.40	c cleaning 9969 clauses out of 19999
4.37/2.75	c cleaning 10983 clauses out of 22032
4.89/3.20	c cleaning 11992 clauses out of 24047
5.32/3.63	c cleaning 12977 clauses out of 26056
5.72/4.08	c cleaning 13990 clauses out of 28079
6.22/4.56	c cleaning 15004 clauses out of 30088
6.74/5.08	c cleaning 16029 clauses out of 32084
7.33/5.60	c cleaning 16957 clauses out of 34055
8.03/6.31	c cleaning 18036 clauses out of 36098
8.64/6.97	c cleaning 18983 clauses out of 38064
9.34/7.64	c cleaning 20014 clauses out of 40079
10.05/8.36	c cleaning 20935 clauses out of 42066
10.75/9.10	c cleaning 22014 clauses out of 44130
11.54/9.85	c cleaning 23000 clauses out of 46118
12.44/10.79	c cleaning 24021 clauses out of 48117
13.34/11.67	c cleaning 24996 clauses out of 50096
14.54/12.86	c cleaning 26032 clauses out of 52099
16.03/14.34	c cleaning 26981 clauses out of 54067
17.04/15.30	c cleaning 27993 clauses out of 56087
17.93/16.28	c cleaning 28977 clauses out of 58093
19.33/17.60	c cleaning 30020 clauses out of 60117
20.44/18.70	c cleaning 30968 clauses out of 62096
21.75/20.06	c cleaning 32015 clauses out of 64129
23.76/22.03	c cleaning 32991 clauses out of 66114
25.05/23.33	c cleaning 33994 clauses out of 68122
26.27/24.59	c cleaning 34999 clauses out of 70130
27.96/26.21	c cleaning 36017 clauses out of 72129
29.57/27.84	c cleaning 36984 clauses out of 74113
31.50/29.73	c cleaning 38016 clauses out of 76128
33.31/31.58	c cleaning 39010 clauses out of 78112
34.94/33.19	c cleaning 39943 clauses out of 80103
36.65/34.86	c cleaning 41023 clauses out of 82159
38.38/36.59	c cleaning 42059 clauses out of 84136
40.31/38.45	c cleaning 42971 clauses out of 86078
42.63/40.74	c cleaning 43992 clauses out of 88108
45.06/43.16	c cleaning 44983 clauses out of 90115
47.17/45.27	c cleaning 45971 clauses out of 92131
50.53/48.58	c cleaning 46982 clauses out of 94161
52.95/50.90	c cleaning 48029 clauses out of 96180
54.83/52.79	c cleaning 48992 clauses out of 98150
57.07/54.93	c cleaning 50008 clauses out of 100157
59.21/57.04	c cleaning 51071 clauses out of 102151
61.75/59.52	c cleaning 51998 clauses out of 104079
65.04/62.75	c cleaning 53002 clauses out of 106080
67.59/65.29	c cleaning 53988 clauses out of 108078
70.73/68.37	c cleaning 55002 clauses out of 110090
73.68/71.28	c cleaning 55972 clauses out of 112088
77.12/74.62	c cleaning 56988 clauses out of 114116
80.83/78.26	c cleaning 57978 clauses out of 116129
83.79/81.13	c cleaning 59013 clauses out of 118150
86.84/84.16	c cleaning 59973 clauses out of 120138
90.88/88.14	c cleaning 61003 clauses out of 122165
94.42/91.64	c cleaning 61989 clauses out of 124162
97.48/94.61	c cleaning 63038 clauses out of 126172
101.00/98.04	c cleaning 63980 clauses out of 128134
104.86/101.85	c cleaning 65034 clauses out of 130154
108.62/105.53	c cleaning 65995 clauses out of 132121
112.56/109.44	c cleaning 67002 clauses out of 134126
117.41/114.18	c cleaning 68012 clauses out of 136123
120.87/117.59	c cleaning 68977 clauses out of 138111
125.63/122.27	c cleaning 69982 clauses out of 140135
130.89/127.46	c cleaning 71016 clauses out of 142152
135.13/131.53	c cleaning 72029 clauses out of 144136
139.60/136.00	c cleaning 73027 clauses out of 146108
143.77/140.05	c cleaning 73983 clauses out of 148083
149.01/145.15	c cleaning 75012 clauses out of 150098
153.27/149.32	c cleaning 75965 clauses out of 152086
157.03/153.07	c cleaning 76999 clauses out of 154121
160.95/156.83	c cleaning 78013 clauses out of 156122
164.92/160.76	c cleaning 79015 clauses out of 158108
168.88/164.63	c cleaning 80007 clauses out of 160094
173.40/169.06	c cleaning 80955 clauses out of 162087
177.96/173.54	c cleaning 81991 clauses out of 164132
185.36/180.87	c cleaning 83003 clauses out of 166140
189.92/185.34	c cleaning 84007 clauses out of 168138
194.64/189.97	c cleaning 85031 clauses out of 170132
201.19/196.48	c cleaning 85993 clauses out of 172100
206.31/201.48	c cleaning 86995 clauses out of 174107
211.07/206.19	c cleaning 87993 clauses out of 176111
215.80/210.70	c cleaning 88948 clauses out of 178119
220.82/215.61	c cleaning 89987 clauses out of 180170
227.58/222.32	c cleaning 90996 clauses out of 182186
232.60/227.27	c cleaning 91996 clauses out of 184187
238.92/233.40	c cleaning 92999 clauses out of 186193
244.04/238.42	c cleaning 94013 clauses out of 188193
249.00/243.35	c cleaning 95081 clauses out of 190180
254.29/248.53	c cleaning 95989 clauses out of 192099
259.40/253.58	c cleaning 97022 clauses out of 194111
264.15/258.29	c cleaning 98016 clauses out of 196087
270.25/264.23	c cleaning 98944 clauses out of 198072
276.76/270.63	c cleaning 99961 clauses out of 200128
282.58/276.37	c cleaning 100985 clauses out of 202167
289.41/283.09	c cleaning 102007 clauses out of 204182
296.44/289.92	c cleaning 103022 clauses out of 206175
301.96/295.38	c cleaning 104000 clauses out of 208152
308.60/301.81	c cleaning 105017 clauses out of 210154
314.95/308.03	c cleaning 106016 clauses out of 212135
321.07/314.06	c cleaning 106958 clauses out of 214119
327.00/319.82	c cleaning 108012 clauses out of 216161
333.27/326.05	c cleaning 108938 clauses out of 218149
341.24/333.80	c cleaning 110054 clauses out of 220211
348.17/340.69	c cleaning 110989 clauses out of 222157
356.40/348.77	c cleaning 112012 clauses out of 224169
363.32/355.53	c cleaning 112994 clauses out of 226156
371.85/363.99	c cleaning 114010 clauses out of 228164
378.27/370.20	c cleaning 114989 clauses out of 230152
386.16/377.97	c cleaning 115992 clauses out of 232165
393.87/385.55	c cleaning 117030 clauses out of 234171
401.68/393.22	c cleaning 117984 clauses out of 236141
408.51/399.97	c cleaning 118989 clauses out of 238158
416.78/408.02	c cleaning 120032 clauses out of 240168
424.79/415.94	c cleaning 120998 clauses out of 242137
435.20/426.24	c cleaning 121993 clauses out of 244139
442.92/433.88	c cleaning 122973 clauses out of 246146
451.11/441.89	c cleaning 123972 clauses out of 248172
458.04/448.66	c cleaning 124987 clauses out of 250201
465.57/456.03	c cleaning 126017 clauses out of 252213
472.98/463.25	c cleaning 127049 clauses out of 254198
482.90/473.04	c cleaning 128031 clauses out of 256148
489.73/479.78	c cleaning 128934 clauses out of 258119
496.81/486.67	c cleaning 130002 clauses out of 260182
505.02/494.79	c cleaning 131001 clauses out of 262181
515.45/505.02	c cleaning 131977 clauses out of 264180
523.01/512.44	c cleaning 133018 clauses out of 266202
531.57/520.80	c cleaning 134018 clauses out of 268186
541.37/530.52	c cleaning 134979 clauses out of 270167
550.43/539.43	c cleaning 136016 clauses out of 272190
559.20/548.09	c cleaning 137008 clauses out of 274172
568.65/557.37	c cleaning 137971 clauses out of 276165
577.03/565.54	c cleaning 138985 clauses out of 278193
591.65/579.90	c cleaning 140011 clauses out of 280208
599.63/587.71	c cleaning 141051 clauses out of 282198
608.00/595.98	c cleaning 142023 clauses out of 284145
618.54/606.33	c cleaning 143006 clauses out of 286122
629.45/617.04	c cleaning 144050 clauses out of 288116
640.29/627.40	c cleaning 145004 clauses out of 290067
649.74/636.81	c cleaning 145983 clauses out of 292063
661.12/648.16	c cleaning 146949 clauses out of 294079
670.40/657.33	c cleaning 147969 clauses out of 296131
681.84/668.62	c cleaning 149028 clauses out of 298161
693.00/679.64	c cleaning 150002 clauses out of 300134
704.07/690.51	c cleaning 150967 clauses out of 302132
715.45/701.72	c cleaning 152033 clauses out of 304164
725.84/711.96	c cleaning 152994 clauses out of 306132
734.66/720.61	c cleaning 154026 clauses out of 308138
746.03/731.86	c cleaning 154919 clauses out of 310111
757.52/743.12	c cleaning 155983 clauses out of 312193
771.05/756.42	c cleaning 157050 clauses out of 314210
785.74/770.97	c cleaning 157980 clauses out of 316159
796.74/781.79	c cleaning 159003 clauses out of 318180
807.91/792.72	c cleaning 160039 clauses out of 320176
818.37/803.03	c cleaning 160976 clauses out of 322137
829.33/813.82	c cleaning 162016 clauses out of 324161
840.49/824.84	c cleaning 162983 clauses out of 326145
860.78/844.96	c cleaning 163992 clauses out of 328163
875.64/859.62	c cleaning 165003 clauses out of 330172
888.14/871.94	c cleaning 165987 clauses out of 332167
897.81/881.40	c cleaning 166978 clauses out of 334180
908.99/892.41	c cleaning 168046 clauses out of 336202
921.43/904.66	c cleaning 169024 clauses out of 338156
932.11/915.19	c cleaning 169991 clauses out of 340134
943.24/926.10	c cleaning 171015 clauses out of 342143
955.95/938.79	c cleaning 171939 clauses out of 344127
967.25/949.90	c cleaning 173026 clauses out of 346187
978.29/960.74	c cleaning 174025 clauses out of 348162
988.49/970.88	c cleaning 174973 clauses out of 350137
999.28/981.53	c cleaning 176007 clauses out of 352163
1011.69/993.80	c cleaning 177047 clauses out of 354158
1024.79/1006.86	c cleaning 178000 clauses out of 356112
1035.99/1017.88	c cleaning 178930 clauses out of 358109
1048.44/1030.16	c cleaning 180025 clauses out of 360180
1064.32/1045.86	c cleaning 181040 clauses out of 362155
1081.18/1062.50	c cleaning 182014 clauses out of 364115
1096.80/1077.96	c cleaning 183007 clauses out of 366101
1109.32/1090.29	c cleaning 183987 clauses out of 368093
1123.04/1103.74	c cleaning 185008 clauses out of 370106
1134.89/1115.38	c cleaning 186034 clauses out of 372100
1153.80/1134.02	c cleaning 186985 clauses out of 374065
1168.82/1148.85	c cleaning 187973 clauses out of 376079
1181.32/1161.14	c cleaning 188973 clauses out of 378106
1194.92/1174.56	c cleaning 189976 clauses out of 380133
1211.22/1190.60	c cleaning 191043 clauses out of 382157
1226.14/1205.36	c cleaning 191990 clauses out of 384114
1239.83/1218.73	c cleaning 192975 clauses out of 386124
1255.61/1234.39	c cleaning 193990 clauses out of 388149
1271.58/1250.04	c cleaning 195001 clauses out of 390162
1286.75/1264.62	c cleaning 195983 clauses out of 392159
1301.05/1278.81	c cleaning 197008 clauses out of 394176
1318.93/1296.54	c cleaning 197965 clauses out of 396167
1333.20/1310.51	c cleaning 199011 clauses out of 398202
1345.98/1323.12	c cleaning 200004 clauses out of 400192
1360.89/1337.89	c cleaning 200996 clauses out of 402188
1372.75/1349.58	c cleaning 201944 clauses out of 404192
1385.43/1362.01	c cleaning 203037 clauses out of 406248
1403.41/1379.80	c cleaning 204039 clauses out of 408210
1416.84/1393.02	c cleaning 204956 clauses out of 410172
1430.97/1407.06	c cleaning 206020 clauses out of 412215
1446.43/1422.34	c cleaning 206978 clauses out of 414195
1462.70/1438.48	c cleaning 208056 clauses out of 416217
1481.61/1457.19	c cleaning 209031 clauses out of 418162
1496.27/1471.58	c cleaning 210032 clauses out of 420131
1512.30/1487.39	c cleaning 210991 clauses out of 422098
1527.43/1502.27	c cleaning 212000 clauses out of 424108
1543.48/1518.08	c cleaning 212991 clauses out of 426109
1560.03/1534.47	c cleaning 214002 clauses out of 428116
1575.33/1549.59	c cleaning 214984 clauses out of 430114
1597.29/1571.24	c cleaning 215981 clauses out of 432130
1610.96/1584.63	c cleaning 216937 clauses out of 434149
1628.70/1602.19	c cleaning 218009 clauses out of 436215
1643.15/1616.34	c cleaning 218979 clauses out of 438204
1658.26/1631.28	c cleaning 220038 clauses out of 440225
1679.54/1652.30	c cleaning 221005 clauses out of 442188
1697.56/1669.96	c cleaning 222039 clauses out of 444181
1714.81/1686.92	c cleaning 222988 clauses out of 446142
1730.51/1702.33	c cleaning 224023 clauses out of 448155
1748.08/1719.63	c cleaning 224961 clauses out of 450131
1766.37/1737.74	c cleaning 225964 clauses out of 452171
1781.52/1752.67	c cleaning 227075 clauses out of 454206
1797.28/1768.10	c cleaning 227977 clauses out of 456133
1814.85/1785.57	c cleaning 229020 clauses out of 458155
1833.85/1804.38	c cleaning 229985 clauses out of 460135
1850.68/1820.99	c cleaning 230927 clauses out of 462150
1866.24/1836.20	c cleaning 232042 clauses out of 464222
1883.86/1853.67	c cleaning 233036 clauses out of 466180
1902.22/1871.80	c cleaning 233984 clauses out of 468144
1919.08/1888.59	c cleaning 234989 clauses out of 470161
1937.24/1906.50	c cleaning 235971 clauses out of 472172
1956.92/1926.09	c cleaning 237023 clauses out of 474200
1974.35/1942.80	c cleaning 237996 clauses out of 476179
1990.25/1958.61	c cleaning 239013 clauses out of 478181
2006.56/1974.86	c cleaning 239952 clauses out of 480168
2026.50/1994.60	c cleaning 240974 clauses out of 482219
2044.27/2012.24	c cleaning 242068 clauses out of 484242
2065.43/2033.13	c cleaning 242986 clauses out of 486174
2087.50/2054.99	c cleaning 244001 clauses out of 488189
2103.10/2070.17	c cleaning 245039 clauses out of 490188
2119.22/2086.05	c cleaning 246040 clauses out of 492150
2138.78/2105.32	c cleaning 247018 clauses out of 494108
2158.32/2124.78	c cleaning 247981 clauses out of 496090
2177.78/2144.06	c cleaning 248917 clauses out of 498109
2205.32/2171.37	c cleaning 250018 clauses out of 500193
2226.63/2192.36	c cleaning 250991 clauses out of 502175
2246.07/2211.46	c cleaning 252025 clauses out of 504183
2272.07/2237.17	c cleaning 253052 clauses out of 506159
2288.45/2253.22	c cleaning 254013 clauses out of 508107
2304.64/2269.10	c cleaning 255007 clauses out of 510093
2322.05/2286.34	c cleaning 255947 clauses out of 512087
2340.23/2304.32	c cleaning 257043 clauses out of 514140
2361.24/2325.14	c cleaning 257970 clauses out of 516096
2390.18/2353.90	c cleaning 259041 clauses out of 518128
2411.86/2375.25	c cleaning 259982 clauses out of 520086
2431.23/2394.32	c cleaning 260947 clauses out of 522104
2448.05/2410.96	c cleaning 262029 clauses out of 524158
2467.59/2429.77	c cleaning 262991 clauses out of 526128
2485.63/2447.60	c cleaning 263999 clauses out of 528136
2504.51/2466.38	c cleaning 265040 clauses out of 530138
2527.52/2489.12	c cleaning 265965 clauses out of 532098
2551.18/2512.61	c cleaning 267008 clauses out of 534132
2570.75/2532.00	c cleaning 268042 clauses out of 536124
2590.25/2551.35	c cleaning 268994 clauses out of 538083
2610.74/2571.66	c cleaning 269955 clauses out of 540088
2634.92/2595.51	c cleaning 270964 clauses out of 542134
2658.56/2618.93	c cleaning 271973 clauses out of 544170
2678.05/2638.12	c cleaning 273019 clauses out of 546196
2702.09/2661.96	c cleaning 274018 clauses out of 548177
2724.57/2684.11	c cleaning 274987 clauses out of 550160
2744.90/2704.21	c cleaning 276041 clauses out of 552173
2766.34/2725.40	c cleaning 277025 clauses out of 554131
2786.51/2745.39	c cleaning 277970 clauses out of 556107
2808.15/2766.74	c cleaning 279051 clauses out of 558137
2833.17/2791.58	c cleaning 279974 clauses out of 560085
2860.37/2818.41	c cleaning 280979 clauses out of 562111
2883.88/2841.67	c cleaning 281943 clauses out of 564132
2906.86/2864.36	c cleaning 283024 clauses out of 566189
2929.16/2886.30	c cleaning 284020 clauses out of 568165
2952.85/2909.81	c cleaning 285023 clauses out of 570145
2972.39/2929.14	c cleaning 286052 clauses out of 572122
2996.51/2953.05	c cleaning 286979 clauses out of 574071
3016.80/2973.09	c cleaning 287983 clauses out of 576092
3047.65/3003.08	c cleaning 288941 clauses out of 578109
3076.33/3031.50	c cleaning 290007 clauses out of 580167
3100.64/3055.54	c cleaning 291032 clauses out of 582160
3128.43/3083.04	c cleaning 291993 clauses out of 584128
3151.99/3106.33	c cleaning 293015 clauses out of 586135
3175.08/3129.16	c cleaning 294024 clauses out of 588121
3205.59/3159.37	c cleaning 294948 clauses out of 590096
3233.46/3186.94	c cleaning 296025 clauses out of 592149
3257.56/3210.73	c cleaning 297005 clauses out of 594123
3289.18/3242.02	c cleaning 297987 clauses out of 596118
3315.57/3268.19	c cleaning 298978 clauses out of 598133
3338.29/3290.59	c cleaning 300035 clauses out of 600154
3362.52/3314.40	c cleaning 300997 clauses out of 602119
3388.47/3340.15	c cleaning 302011 clauses out of 604121
3417.05/3368.33	c cleaning 302995 clauses out of 606110
3451.01/3401.95	c cleaning 303994 clauses out of 608115
3479.04/3429.67	c cleaning 304968 clauses out of 610123
3511.83/3462.24	c cleaning 306023 clauses out of 612154
3544.63/3494.79	c cleaning 306990 clauses out of 614130
3571.87/3521.24	c cleaning 308011 clauses out of 616141
3600.08/3549.22	c starts		: 406
3600.08/3549.23	c conflicts		: 48195002
3600.08/3549.23	c decisions		: 61024366
3600.08/3549.23	c propagations		: 644211730
3600.08/3549.23	c inspects		: 38488862734
3600.08/3549.23	c shortcuts		: 0
3600.08/3549.23	c learnt literals	: 0
3600.08/3549.23	c learnt binary clauses	: 0
3600.08/3549.23	c learnt ternary clauses	: 0
3600.08/3549.23	c learnt constraints	: 48195002
3600.08/3549.23	c ignored constraints	: 0
3600.08/3549.23	c root simplifications	: 0
3600.08/3549.24	c removed literals (reason simplification)	: 0
3600.08/3549.24	c reason swapping (by a shorter reason)	: 0
3600.08/3549.24	c Calls to reduceDB	: 306
3600.08/3549.24	c Number of update (reduction) of LBD	: 0
3600.08/3549.24	c Imported unit clauses	: 0
3600.08/3549.24	c No decision after first conflict	: false
3600.08/3549.24	c number of reductions to clauses (during analyze)	: 0
3600.08/3549.24	c number of learned constraints concerned by reduction	: 0
3600.08/3549.24	c number of learning phase by resolution	: 0
3600.08/3549.24	c number of learning phase by cutting planes	: 0
3600.08/3549.24	c number of rounding to 1 operations	: 0
3600.08/3549.24	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3549.24	c number of reductions of the coefficients by power 2 	: 0
3600.08/3549.24	c number of right shift for reduction by power 2 	: 0
3600.08/3549.24	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3549.24	c number of ending skipping 	: 0
3600.08/3549.24	c number of internal skipping 	: 0
3600.08/3549.24	c number of derivation steps 	: 404294674
3600.08/3549.25	c number of skipped derivation steps 	: 0
3600.08/3549.25	c number of remaining unassigned 	: 0
3600.08/3549.25	c number of remaining assigned 	: 0
3600.08/3549.25	c number of falsified literals weakened from reason	: 0
3600.08/3549.25	c number of falsified literals weakened from conflict	: 0
3600.08/3549.25	c time for arithmetic operations	: 0
3600.08/3549.25	c minimum degree of deleted constraints	: null
3600.08/3549.25	c maximum degree of deleted constraints	: null
3600.08/3549.25	c number of deleted constraints	: 0
3600.08/3549.25	c speed (assignments/second)	: 181519.02054773679
3600.08/3549.26	c non guided choices	: 510570
3600.27/3549.34	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 618131
3600.27/3549.34	s UNKNOWN
3600.27/3549.34	c Total wall clock time (in seconds): 3549.189

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: 63665 MiB (60636 MiB free)
  memory of node 1: 64507 MiB (60414 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=30043, runsolver pid=30040

[startup+0.100061 s]*
/proc/loadavg: 4.15 2.70 2.21 5/340 30061
/proc/meminfo: memFree=123940600/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=18930384 memory=59492 CPUtime=0.12 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 6498 0 0 0 11 1 0 0 20 0 18 0 36163243 19384713216 14873 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4732596 14873 5350 1 0 547620 0
[pid=30043/tid=30045] ppid=30040 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 5073 0 0 0 7 1 0 0 20 0 18 0 36163244 19384713216 14873 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36163246 19384713216 14873 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=18930384 memory=59585004307076 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36163247 19384713216 14873 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59492 KiB

[startup+0.205915 s]*
/proc/loadavg: 4.15 2.70 2.21 7/340 30061
/proc/meminfo: memFree=123936504/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=18930384 memory=65592 CPUtime=0.32 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 6926 0 0 0 30 2 0 0 20 0 18 0 36163243 19384713216 16398 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4732596 16398 5414 1 0 547995 0
[pid=30043/tid=30045] ppid=30040 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 5361 0 0 0 17 1 0 0 20 0 18 0 36163244 19384713216 16398 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=18930384 memory=15140 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36163246 19384713216 16398 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36163247 19384713216 16398 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65592 KiB

[startup+0.305863 s]*
/proc/loadavg: 4.15 2.70 2.21 7/341 30062
/proc/meminfo: memFree=123914260/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=18996948 memory=83540 CPUtime=0.51 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 8329 0 0 0 48 3 0 0 20 0 19 0 36163243 19452874752 20885 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4749237 20885 5414 1 0 549239 0
[pid=30043/tid=30045] ppid=30040 vsize=18996948 memory=-6000919507083357292 CPUtime=0.28 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 5445 0 0 0 26 2 0 0 20 0 19 0 36163244 19452874752 20885 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36163246 19452874752 20885 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36163247 19452874752 20885 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36163268 19452874752 20885 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83540 KiB

[startup+0.700243 s]
/proc/loadavg: 4.15 2.70 2.21 6/341 30062
/proc/meminfo: memFree=123846708/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=177296 CPUtime=1.27 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 17023 0 0 0 120 7 0 0 20 0 20 0 36163243 19521036288 44324 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 44324 5478 1 0 554522 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=17536 CPUtime=0.63 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 5523 0 0 0 60 3 0 0 20 0 20 0 36163244 19521036288 44324 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 44324 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 44324 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 44324 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177296 KiB

[startup+1.50025 s]
/proc/loadavg: 4.15 2.70 2.21 6/342 30063
/proc/meminfo: memFree=123796364/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=463560 CPUtime=2.82 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 24004 0 0 0 268 14 0 0 20 0 20 0 36163243 19521036288 115890 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 115890 5478 1 0 555046 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=10752 CPUtime=1.42 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 5988 0 0 0 132 10 0 0 20 0 20 0 36163244 19521036288 115890 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 115890 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 115890 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 115890 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 463560 KiB

[startup+3.10572 s]
/proc/loadavg: 4.15 2.70 2.21 5/342 30063
/proc/meminfo: memFree=123019004/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=1041360 CPUtime=4.8 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 25846 0 0 0 454 26 0 0 20 0 20 0 36163243 19521036288 260340 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 260340 5478 1 0 555051 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=10752 CPUtime=3 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 6910 0 0 0 279 21 0 0 20 0 20 0 36163244 19521036288 260340 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=-6000919507083357292 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 260340 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 260340 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 260340 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1041360 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 2.72 2.22 5/342 30063
/proc/meminfo: memFree=122674444/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=1312608 CPUtime=8.03 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 26688 0 0 0 772 31 0 0 20 0 20 0 36163243 19521036288 328152 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 328152 5478 1 0 555051 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=0 CPUtime=6.16 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 7180 0 0 0 591 25 0 0 20 0 20 0 36163244 19521036288 328152 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 328152 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 328152 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=541384 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 328152 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 8.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312608 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 2.74 2.23 5/342 30063
/proc/meminfo: memFree=122658068/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=1325044 CPUtime=14.44 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 28061 0 0 0 1412 32 0 0 20 0 20 0 36163243 19521036288 331261 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 331261 5510 1 0 555051 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=541384 CPUtime=12.47 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 8028 0 0 0 1221 26 0 0 20 0 20 0 36163244 19521036288 331261 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 331261 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=1320944 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 331261 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 331261 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 14.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325044 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 2.81 2.25 5/343 30065
/proc/meminfo: memFree=122608672/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=1335296 CPUtime=27.27 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 31257 0 0 0 2693 34 0 0 20 0 20 0 36163243 19521036288 333824 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 333824 5510 1 0 555051 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=10752 CPUtime=25.08 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 10014 0 0 0 2482 26 0 0 20 0 20 0 36163244 19521036288 333824 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=1320944 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 333824 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 333824 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 333824 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 27.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1335296 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 2.92 2.31 5/343 30065
/proc/meminfo: memFree=122489636/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=1386796 CPUtime=53.19 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 33399 0 0 0 5283 36 0 0 20 0 20 0 36163243 19521036288 346699 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 346699 5510 1 0 555051 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=14592 CPUtime=50.21 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) S 30040 30043 29769 0 -1 4194368 11302 0 0 0 4995 26 0 0 20 0 20 0 36163244 19521036288 346699 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=10752 CPUtime=0 cores=0,2

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

[startup+3222.3 s]
/proc/loadavg: 4.24 4.19 4.14 5/339 30302
/proc/meminfo: memFree=118282708/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3269.3 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 119021 0 0 0 326726 204 0 0 20 0 20 0 36163243 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 776583 5510 1 0 789902 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=10752 CPUtime=3158.95 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 54935 0 0 0 315832 63 0 0 20 0 20 0 36163244 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 1055 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 3269.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/339 30304
/proc/meminfo: memFree=118277476/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3329.96 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 120033 0 0 0 332790 206 0 0 20 0 20 0 36163243 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 776583 5510 1 0 789902 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3217.98 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 55268 0 0 0 321735 63 0 0 20 0 20 0 36163244 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 1096 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 3329.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.20 4.15 5/339 30569
/proc/meminfo: memFree=120007256/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3390.72 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 120641 0 0 0 338864 208 0 0 20 0 20 0 36163243 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 776583 5510 1 0 789902 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=14592 CPUtime=3276.84 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 55675 0 0 0 327621 63 0 0 20 0 20 0 36163244 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 1096 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 3390.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.22 4.16 5/340 30572
/proc/meminfo: memFree=119876292/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3451.41 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 122581 0 0 0 344930 211 0 0 20 0 20 0 36163243 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 776583 5510 1 0 789902 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3335.8 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 56864 0 0 0 333517 63 0 0 20 0 20 0 36163244 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 1096 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 3451.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.46 4.30 4.19 5/341 30575
/proc/meminfo: memFree=119803236/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3511.93 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 124336 0 0 0 350979 214 0 0 20 0 20 0 36163243 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 776583 5510 1 0 789902 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3394.89 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 57848 0 0 0 339425 64 0 0 20 0 20 0 36163244 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 1112 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 776583 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.28 4.19 5/340 30577
/proc/meminfo: memFree=119736620/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=3106716 CPUtime=3572.99 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 125529 0 0 0 357082 217 0 0 20 0 20 0 36163243 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 776679 5510 1 0 789997 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=3106332 CPUtime=3454.08 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 58449 0 0 0 345344 64 0 0 20 0 20 0 36163244 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=3106332 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=3106716 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 1128 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=3106716 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3549.2 s]
/proc/loadavg: 4.25 4.28 4.19 5/341 30579
/proc/meminfo: memFree=119716140/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19063512 memory=3106716 CPUtime=3600.08 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 125773 0 0 0 359790 218 0 0 20 0 20 0 36163243 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4765878 776679 5510 1 0 789997 0
[pid=30043/tid=30045] ppid=30040 vsize=19063512 memory=4888 CPUtime=3480.63 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 58682 0 0 0 347999 64 0 0 20 0 20 0 36163244 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36163246 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19063512 memory=25304 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 1128 0 0 0 0 0 0 0 20 0 20 0 36163247 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30062] ppid=30040 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/30043/task/30062/stat : 30062 (Timer-0) S 30040 30043 29769 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36163268 19521036288 776679 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3106716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.18 s, system=2.20083 s

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

[startup+3549.3 s]
/proc/loadavg: 4.25 4.28 4.19 5/341 30579
/proc/meminfo: memFree=119716140/131249996 swapFree=33010684/33010684
[pid=30043] ppid=30040 vsize=19263204 memory=3107612 CPUtime=3600.27 cores=0,2
/proc/30043/stat : 30043 (java) S 30040 30043 29769 0 -1 4194304 127249 0 0 0 359809 218 0 0 20 0 21 0 36163243 19725520896 776903 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
/proc/30043/statm: 4815801 776903 5542 1 0 790900 0
[pid=30043/tid=30045] ppid=30040 vsize=19263204 memory=14592 CPUtime=3480.73 cores=0,2
/proc/30043/task/30045/stat : 30045 (java) R 30040 30043 29769 0 -1 4194368 58682 0 0 0 348009 64 0 0 20 0 21 0 36163244 19725520896 776903 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30054] ppid=30040 vsize=19263204 memory=3106716 CPUtime=0 cores=0,2
/proc/30043/task/30054/stat : 30054 (Finalizer) S 30040 30043 29769 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 36163246 19725520896 776903 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
[pid=30043/tid=30061] ppid=30040 vsize=19263204 memory=3106716 CPUtime=0 cores=0,2
/proc/30043/task/30061/stat : 30061 (Common-Cleaner) S 30040 30043 29769 0 -1 4194368 1128 0 0 0 0 0 0 0 20 0 21 0 36163247 19725520896 776903 18446744073709551615 93896499482624 93896499486320 140732716968256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896499494136 93896499494928 93896508997632 140732716972414 140732716972518 140732716972518 140732716978120 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3107612 KiB

Child status: 143

Real time (s): 3549.36
CPU time (s): 3600.39
CPU user time (s): 3598.18
CPU system time (s): 2.20083
CPU usage (%): 101.438
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3107612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.18
system time used= 2.20083
maximum resident set size= 3107740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148472
involuntary context switches= 12549


# summary of solver processes directly reported to runsolver:
#   pid: 30043
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3598.18
#   total CPU system time (s): 2.20083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31072 second user time and 17.4558 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 15:47:36
IDJOB=4510658
IDBENCH=160381
IDSOLVER=3361
FILE ID=nodeC021/4510658-1751204856
RUNJOBID= nodeC021-1751204626-29779
SLURM_JOB_ID= 9587618
Free space on /tmp= 433060 MiB

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

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

MD5SUM BENCH= e27638fbedede025521b1384f289f9e5
RANDOM SEED=172290750

nodeC021 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.394
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	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123956476 kB
MemAvailable:   123936836 kB
Buffers:            3280 kB
Cached:           788992 kB
SwapCached:            0 kB
Active:          6188364 kB
Inactive:         531632 kB
Active(anon):    5945788 kB
Inactive(anon):        0 kB
Active(file):     242576 kB
Inactive(file):   531632 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1064 kB
Writeback:            12 kB
AnonPages:       5930816 kB
Mapped:           122600 kB
Shmem:             18060 kB
KReclaimable:      90380 kB
Slab:             176804 kB
SReclaimable:      90380 kB
SUnreclaim:        86424 kB
KernelStack:        5216 kB
PageTables:        15232 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8529008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151528 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5718016 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:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC021 at 2025-06-29 16:46:45