Trace number 4509686

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.57 3529.51

General information on the benchmark

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

Solver Data 

0.13/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.18	c See www.sat4j.org for details.
0.13/0.19	c version PB25.v20250606
0.13/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.22	c java.vm.version	22.0.1+8-16
0.13/0.22	c java.vm.vendor	Oracle Corporation
0.13/0.22	c sun.arch.data.model	64
0.13/0.22	c java.version		22.0.1
0.13/0.22	c os.name		Linux
0.13/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.22	c os.arch		amd64
0.13/0.23	c Free memory 		2104792832
0.13/0.23	c Max memory 		16282288128
0.13/0.23	c Total memory 		2113929216
0.31/0.24	c Number of processors 	2
0.47/0.40	c Pseudo Boolean Optimization by upper bound
0.47/0.40	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.47/0.40	c  - never skip resolution steps
0.47/0.40	c  - Auto-division on coefficients is disabled
0.47/0.40	c  - No postprocessing
0.47/0.40	c  - Conflict is considered as is when resolving
0.47/0.40	c  - Use constraints as they come during conflict analysis
0.47/0.40	c  - Weaken first using unassigned literals
0.47/0.40	c  - Bump strategy: ALWAYS_ONE
0.47/0.40	c  - Bumper: ANY
0.47/0.40	c --- Begin Solver configuration ---
0.47/0.40	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c
0.47/0.40	c Learn all clauses as in MiniSAT
0.47/0.40	c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.40	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.47/0.40	c No reason simplification
0.47/0.40	c Armin Biere (Picosat) restarts strategy
0.47/0.40	c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.47/0.40	c timeout=2147483s
0.47/0.40	c DB Simplification allowed=false
0.47/0.40	c Listener: none
0.47/0.40	c --- End Solver configuration ---
0.47/0.40	c solving HOME/instance-4509686-1751198466.opb
0.47/0.40	c reading problem ... 
0.47/0.40	c  no objective function found
0.84/0.54	c ... done. Wall clock time 0.14s.
0.84/0.54	c declared #vars     387
0.84/0.54	c #constraints  1032
0.84/0.54	c constraints type 
0.84/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1032
0.84/0.54	c 1032 constraints processed.
2.53/1.41	c cleaning 2493 clauses out of 5001
3.14/1.80	c cleaning 4247 clauses out of 8508
3.90/2.14	c cleaning 5626 clauses out of 11261
4.43/2.49	c cleaning 6812 clauses out of 13635
4.94/2.96	c cleaning 7901 clauses out of 15823
5.53/3.37	c cleaning 8951 clauses out of 17921
6.23/3.88	c cleaning 9966 clauses out of 19970
6.93/4.50	c cleaning 10991 clauses out of 22004
7.52/5.06	c cleaning 12001 clauses out of 24013
8.17/5.66	c cleaning 12994 clauses out of 26013
8.87/6.39	c cleaning 14005 clauses out of 28020
9.58/7.09	c cleaning 14997 clauses out of 30013
10.58/8.07	c cleaning 16005 clauses out of 32016
11.76/9.20	c cleaning 16995 clauses out of 34012
12.68/10.13	c cleaning 17996 clauses out of 36017
13.57/11.11	c cleaning 19003 clauses out of 38020
14.76/12.24	c cleaning 19995 clauses out of 40017
16.05/13.51	c cleaning 21000 clauses out of 42023
17.25/14.79	c cleaning 21994 clauses out of 44022
18.45/15.96	c cleaning 23001 clauses out of 46030
19.84/17.38	c cleaning 24003 clauses out of 48027
21.94/19.46	c cleaning 24997 clauses out of 50025
23.55/21.01	c cleaning 26003 clauses out of 52027
25.13/22.63	c cleaning 27000 clauses out of 54024
26.42/24.01	c cleaning 27996 clauses out of 56024
28.02/25.56	c cleaning 29009 clauses out of 58029
29.93/27.49	c cleaning 29999 clauses out of 60020
32.23/29.72	c cleaning 31003 clauses out of 62020
34.32/31.88	c cleaning 32001 clauses out of 64018
36.54/34.05	c cleaning 32996 clauses out of 66017
38.32/35.87	c cleaning 33994 clauses out of 68021
40.32/37.89	c cleaning 34999 clauses out of 70026
42.71/40.20	c cleaning 36000 clauses out of 72027
45.01/42.57	c cleaning 37006 clauses out of 74028
47.70/45.20	c cleaning 38004 clauses out of 76022
50.10/47.64	c cleaning 38994 clauses out of 78017
52.99/50.53	c cleaning 40002 clauses out of 80024
55.60/53.15	c cleaning 40999 clauses out of 82022
58.72/56.27	c cleaning 41994 clauses out of 84022
61.64/59.17	c cleaning 43003 clauses out of 86029
65.74/63.26	c cleaning 44000 clauses out of 88025
70.09/67.55	c cleaning 44995 clauses out of 90026
74.25/71.66	c cleaning 46001 clauses out of 92031
78.50/75.81	c cleaning 47002 clauses out of 94029
82.98/80.23	c cleaning 47998 clauses out of 96027
87.86/85.04	c cleaning 48998 clauses out of 98030
91.95/89.09	c cleaning 49999 clauses out of 100031
95.33/92.30	c cleaning 50998 clauses out of 102032
99.41/96.39	c cleaning 52003 clauses out of 104034
103.71/100.59	c cleaning 53002 clauses out of 106031
108.31/105.05	c cleaning 54003 clauses out of 108030
112.29/108.94	c cleaning 55005 clauses out of 110028
117.39/113.97	c cleaning 55996 clauses out of 112023
123.96/120.42	c cleaning 56994 clauses out of 114025
129.34/125.68	c cleaning 58004 clauses out of 116031
133.65/129.83	c cleaning 58994 clauses out of 118028
139.24/135.30	c cleaning 60001 clauses out of 120034
144.72/140.76	c cleaning 60997 clauses out of 122032
148.92/144.81	c cleaning 62003 clauses out of 124036
153.22/149.04	c cleaning 63003 clauses out of 126032
158.62/154.25	c cleaning 64001 clauses out of 128030
163.65/159.19	c cleaning 64999 clauses out of 130029
169.64/165.04	c cleaning 65999 clauses out of 132030
176.03/171.20	c cleaning 67000 clauses out of 134031
181.74/176.80	c cleaning 67996 clauses out of 136031
188.83/183.73	c cleaning 69005 clauses out of 138034
194.63/189.45	c cleaning 70002 clauses out of 140030
200.74/195.32	c cleaning 70998 clauses out of 142027
206.63/201.03	c cleaning 72003 clauses out of 144030
214.51/208.87	c cleaning 73000 clauses out of 146027
222.70/216.87	c cleaning 73999 clauses out of 148026
230.12/224.02	c cleaning 74999 clauses out of 150028
235.91/229.76	c cleaning 76007 clauses out of 152029
241.60/235.23	c cleaning 76997 clauses out of 154022
247.30/240.85	c cleaning 78003 clauses out of 156025
254.39/247.77	c cleaning 78993 clauses out of 158021
261.59/254.80	c cleaning 80002 clauses out of 160028
269.35/262.42	c cleaning 81001 clauses out of 162027
276.67/269.59	c cleaning 82003 clauses out of 164025
286.05/278.77	c cleaning 83001 clauses out of 166023
292.65/285.20	c cleaning 84000 clauses out of 168021
301.39/293.85	c cleaning 84999 clauses out of 170022
309.10/301.36	c cleaning 85997 clauses out of 172023
319.27/311.36	c cleaning 87000 clauses out of 174025
326.79/318.63	c cleaning 88004 clauses out of 176025
334.60/326.29	c cleaning 89002 clauses out of 178021
343.69/335.13	c cleaning 90002 clauses out of 180019
352.68/343.91	c cleaning 90998 clauses out of 182018
364.27/355.35	c cleaning 92001 clauses out of 184021
374.67/365.60	c cleaning 92996 clauses out of 186019
381.49/372.14	c cleaning 93995 clauses out of 188022
391.06/381.59	c cleaning 95005 clauses out of 190029
399.64/389.92	c cleaning 96002 clauses out of 192023
409.21/399.31	c cleaning 96989 clauses out of 194020
417.23/407.19	c cleaning 98002 clauses out of 196032
425.23/414.92	c cleaning 98999 clauses out of 198030
435.77/425.29	c cleaning 99997 clauses out of 200030
443.57/432.87	c cleaning 101005 clauses out of 202033
454.76/443.90	c cleaning 102003 clauses out of 204029
463.92/452.78	c cleaning 103001 clauses out of 206025
473.10/461.73	c cleaning 103999 clauses out of 208025
484.07/472.50	c cleaning 105004 clauses out of 210026
493.30/481.58	c cleaning 105999 clauses out of 212021
502.33/490.37	c cleaning 106999 clauses out of 214023
510.02/497.86	c cleaning 107998 clauses out of 216024
521.60/509.28	c cleaning 108998 clauses out of 218025
532.10/519.40	c cleaning 109997 clauses out of 220028
541.69/528.87	c cleaning 110998 clauses out of 222030
553.15/540.02	c cleaning 112003 clauses out of 224032
563.79/550.53	c cleaning 113001 clauses out of 226030
574.73/561.26	c cleaning 113999 clauses out of 228028
583.29/569.54	c cleaning 114996 clauses out of 230029
593.74/579.80	c cleaning 116004 clauses out of 232033
604.59/590.38	c cleaning 117006 clauses out of 234030
615.98/601.46	c cleaning 118002 clauses out of 236023
625.27/610.45	c cleaning 119004 clauses out of 238021
640.34/625.25	c cleaning 119999 clauses out of 240017
651.66/635.79	c cleaning 121002 clauses out of 242018
667.86/651.88	c cleaning 121998 clauses out of 244016
681.72/665.57	c cleaning 123003 clauses out of 246018
696.76/680.32	c cleaning 124001 clauses out of 248016
709.26/692.57	c cleaning 124996 clauses out of 250015
721.31/704.36	c cleaning 126001 clauses out of 252019
732.65/715.53	c cleaning 126996 clauses out of 254018
744.60/727.20	c cleaning 128002 clauses out of 256024
758.30/740.66	c cleaning 129001 clauses out of 258020
772.00/754.02	c cleaning 130002 clauses out of 260019
785.36/767.16	c cleaning 130995 clauses out of 262017
797.65/779.16	c cleaning 131998 clauses out of 264021
810.45/791.84	c cleaning 132993 clauses out of 266024
824.40/805.56	c cleaning 134001 clauses out of 268030
837.29/818.22	c cleaning 134998 clauses out of 270029
851.29/831.96	c cleaning 135998 clauses out of 272031
862.54/842.90	c cleaning 136996 clauses out of 274033
876.19/856.38	c cleaning 137999 clauses out of 276037
890.28/870.15	c cleaning 139000 clauses out of 278039
902.44/882.16	c cleaning 139998 clauses out of 280038
916.41/895.80	c cleaning 141009 clauses out of 282041
929.24/908.39	c cleaning 142001 clauses out of 284032
941.83/920.75	c cleaning 143004 clauses out of 286031
955.24/933.89	c cleaning 143999 clauses out of 288027
976.55/954.80	c cleaning 144998 clauses out of 290027
990.02/967.96	c cleaning 146003 clauses out of 292029
1007.97/985.40	c cleaning 147004 clauses out of 294026
1023.80/1000.98	c cleaning 147998 clauses out of 296023
1040.91/1017.65	c cleaning 148999 clauses out of 298024
1057.53/1033.91	c cleaning 150002 clauses out of 300025
1072.58/1048.68	c cleaning 151003 clauses out of 302024
1087.85/1063.62	c cleaning 151996 clauses out of 304021
1102.35/1077.84	c cleaning 153002 clauses out of 306025
1114.73/1089.91	c cleaning 153989 clauses out of 308022
1128.19/1103.14	c cleaning 154994 clauses out of 310034
1140.95/1115.61	c cleaning 156003 clauses out of 312039
1158.02/1132.30	c cleaning 157002 clauses out of 314037
1173.20/1147.15	c cleaning 158004 clauses out of 316035
1188.24/1161.98	c cleaning 158999 clauses out of 318031
1207.58/1181.10	c cleaning 159996 clauses out of 320032
1226.04/1198.91	c cleaning 161001 clauses out of 322035
1241.73/1214.42	c cleaning 162000 clauses out of 324034
1255.92/1228.41	c cleaning 163011 clauses out of 326034
1272.93/1245.23	c cleaning 164006 clauses out of 328024
1292.40/1264.40	c cleaning 164995 clauses out of 330018
1311.72/1283.34	c cleaning 166001 clauses out of 332022
1330.19/1301.58	c cleaning 166998 clauses out of 334022
1347.51/1318.41	c cleaning 167994 clauses out of 336023
1363.27/1333.91	c cleaning 168999 clauses out of 338030
1384.53/1354.96	c cleaning 170003 clauses out of 340030
1401.83/1372.00	c cleaning 170999 clauses out of 342027
1418.93/1388.83	c cleaning 172003 clauses out of 344028
1435.58/1405.24	c cleaning 172995 clauses out of 346026
1452.00/1421.31	c cleaning 174000 clauses out of 348030
1469.85/1438.95	c cleaning 174997 clauses out of 350030
1490.20/1458.97	c cleaning 176008 clauses out of 352033
1505.11/1473.46	c cleaning 177005 clauses out of 354027
1528.12/1496.05	c cleaning 178003 clauses out of 356021
1546.03/1513.52	c cleaning 178998 clauses out of 358017
1568.72/1535.92	c cleaning 179998 clauses out of 360019
1588.96/1555.74	c cleaning 180997 clauses out of 362023
1608.76/1575.28	c cleaning 181994 clauses out of 364024
1630.03/1596.06	c cleaning 183003 clauses out of 366030
1653.51/1619.14	c cleaning 183997 clauses out of 368027
1675.53/1640.78	c cleaning 184998 clauses out of 370030
1694.50/1659.33	c cleaning 186002 clauses out of 372033
1714.71/1679.17	c cleaning 186998 clauses out of 374030
1734.69/1698.78	c cleaning 187997 clauses out of 376032
1753.93/1717.52	c cleaning 188999 clauses out of 378036
1770.09/1733.49	c cleaning 189998 clauses out of 380036
1789.72/1752.84	c cleaning 191010 clauses out of 382038
1813.32/1775.96	c cleaning 192004 clauses out of 384028
1839.00/1800.90	c cleaning 193004 clauses out of 386025
1861.09/1822.74	c cleaning 194000 clauses out of 388020
1881.50/1842.88	c cleaning 194997 clauses out of 390020
1905.32/1866.30	c cleaning 195998 clauses out of 392024
1930.03/1890.53	c cleaning 197002 clauses out of 394025
1953.49/1913.53	c cleaning 198004 clauses out of 396023
1975.37/1935.06	c cleaning 199001 clauses out of 398020
1992.05/1951.42	c cleaning 199998 clauses out of 400018
2016.97/1976.14	c cleaning 201005 clauses out of 402020
2040.48/1999.32	c cleaning 201998 clauses out of 404015
2061.87/2020.27	c cleaning 203000 clauses out of 406018
2087.33/2045.28	c cleaning 203993 clauses out of 408018
2115.19/2072.67	c cleaning 205005 clauses out of 410026
2143.35/2100.28	c cleaning 206001 clauses out of 412020
2170.59/2126.90	c cleaning 206996 clauses out of 414018
2197.00/2152.10	c cleaning 207998 clauses out of 416024
2222.50/2177.30	c cleaning 209001 clauses out of 418024
2245.81/2200.09	c cleaning 210000 clauses out of 420024
2273.78/2227.64	c cleaning 210999 clauses out of 422024
2300.86/2254.29	c cleaning 211991 clauses out of 424024
2317.21/2270.23	c cleaning 213002 clauses out of 426034
2335.28/2287.96	c cleaning 214004 clauses out of 428032
2358.91/2311.13	c cleaning 215006 clauses out of 430028
2388.59/2340.48	c cleaning 215994 clauses out of 432021
2406.52/2357.94	c cleaning 216995 clauses out of 434027
2437.35/2388.48	c cleaning 217994 clauses out of 436032
2459.32/2409.85	c cleaning 219012 clauses out of 438038
2489.73/2439.81	c cleaning 220003 clauses out of 440027
2520.49/2469.97	c cleaning 221004 clauses out of 442024
2549.74/2497.33	c cleaning 221991 clauses out of 444019
2585.23/2532.53	c cleaning 223007 clauses out of 446030
2622.00/2568.80	c cleaning 224003 clauses out of 448022
2656.29/2602.52	c cleaning 225004 clauses out of 450019
2687.91/2633.74	c cleaning 226002 clauses out of 452014
2713.77/2659.10	c cleaning 226987 clauses out of 454013
2736.35/2681.33	c cleaning 227995 clauses out of 456026
2761.61/2706.13	c cleaning 228996 clauses out of 458031
2788.87/2732.88	c cleaning 229997 clauses out of 460034
2812.87/2756.42	c cleaning 230993 clauses out of 462037
2837.12/2780.42	c cleaning 232002 clauses out of 464044
2864.29/2807.26	c cleaning 232998 clauses out of 466042
2891.51/2834.16	c cleaning 234005 clauses out of 468044
2915.16/2857.44	c cleaning 235006 clauses out of 470040
2943.66/2885.42	c cleaning 236003 clauses out of 472033
2970.64/2910.66	c cleaning 237001 clauses out of 474030
2999.54/2939.29	c cleaning 238003 clauses out of 476029
3026.63/2965.93	c cleaning 238997 clauses out of 478027
3048.21/2987.13	c cleaning 239993 clauses out of 480029
3079.69/3018.20	c cleaning 241002 clauses out of 482037
3106.61/3044.73	c cleaning 242000 clauses out of 484035
3134.75/3072.57	c cleaning 242997 clauses out of 486035
3166.19/3103.51	c cleaning 244007 clauses out of 488038
3195.19/3131.95	c cleaning 244997 clauses out of 490030
3228.48/3164.85	c cleaning 245997 clauses out of 492034
3261.67/3197.35	c cleaning 247002 clauses out of 494036
3293.93/3229.06	c cleaning 248001 clauses out of 496034
3324.65/3259.37	c cleaning 249001 clauses out of 498034
3355.07/3287.93	c cleaning 250002 clauses out of 500032
3384.41/3317.07	c cleaning 250997 clauses out of 502030
3423.19/3355.27	c cleaning 251996 clauses out of 504033
3456.92/3388.38	c cleaning 253002 clauses out of 506037
3487.31/3418.34	c cleaning 254000 clauses out of 508035
3520.04/3450.47	c cleaning 254994 clauses out of 510035
3548.34/3478.39	c cleaning 256004 clauses out of 512042
3580.34/3509.97	c cleaning 257000 clauses out of 514038
3600.31/3529.31	c starts		: 378
3600.31/3529.31	c timeout
3600.31/3529.32	c conflicts		: 33631094
3600.31/3529.32	c decisions		: 39467398
3600.31/3529.32	c propagations		: 403723743
3600.31/3529.32	c inspects		: 17746728068
3600.31/3529.32	c shortcuts		: 0
3600.31/3529.32	c learnt literals	: 0
3600.31/3529.32	c learnt binary clauses	: 0
3600.31/3529.32	c learnt ternary clauses	: 0
3600.31/3529.32	c learnt constraints	: 33631093
3600.31/3529.32	c ignored constraints	: 0
3600.31/3529.32	c root simplifications	: 0
3600.31/3529.32	c removed literals (reason simplification)	: 0
3600.31/3529.32	c reason swapping (by a shorter reason)	: 0
3600.31/3529.32	c Calls to reduceDB	: 254
3600.31/3529.32	c Number of update (reduction) of LBD	: 0
3600.31/3529.32	c Imported unit clauses	: 0
3600.31/3529.32	c No decision after first conflict	: false
3600.31/3529.32	c number of reductions to clauses (during analyze)	: 0
3600.31/3529.32	c number of learned constraints concerned by reduction	: 0
3600.31/3529.32	c number of learning phase by resolution	: 0
3600.31/3529.32	c number of learning phase by cutting planes	: 0
3600.31/3529.32	c number of rounding to 1 operations	: 0
3600.31/3529.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.31/3529.33	c number of reductions of the coefficients by power 2 	: 0
3600.31/3529.33	c number of right shift for reduction by power 2 	: 0
3600.31/3529.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.31/3529.33	c number of ending skipping 	: 0
3600.31/3529.33	c number of internal skipping 	: 0
3600.31/3529.33	c number of derivation steps 	: 355260013
3600.31/3529.33	c number of skipped derivation steps 	: 0
3600.31/3529.33	c number of remaining unassigned 	: 0
3600.31/3529.33	c number of remaining assigned 	: 0
3600.31/3529.33	c number of falsified literals weakened from reason	: 0
3600.31/3529.33	c number of falsified literals weakened from conflict	: 0
3600.31/3529.33	c time for arithmetic operations	: 0
3600.31/3529.33	c minimum degree of deleted constraints	: null
3600.31/3529.33	c maximum degree of deleted constraints	: null
3600.31/3529.33	c number of deleted constraints	: 0
3600.31/3529.33	c speed (assignments/second)	: 114408.74335181751
3600.31/3529.34	c non guided choices	: 91302
3600.45/3529.47	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 487130
3600.45/3529.47	s UNKNOWN
3600.45/3529.47	c Total wall clock time (in seconds): 3529.073

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: 63837 MiB (58936 MiB free)
  memory of node 1: 64465 MiB (57194 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509686-1751198466/watcher-4509686-1751198466 -o /tmp/evaluation-result-4509686-1751198466/solver-4509686-1751198466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751195027-23018 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4509686-1751198466.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
solver pid=23643, runsolver pid=23640
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 4.54 4.73 4.60 6/324 23661
/proc/meminfo: memFree=118889440/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=18930384 memory=52096 CPUtime=0.13 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 5691 0 0 0 10 3 0 0 20 0 18 0 35525713 19384713216 13024 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4732596 13024 5303 1 0 546950 0
[pid=23643/tid=23645] ppid=23640 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 4695 0 0 0 6 2 0 0 20 0 18 0 35525715 19384713216 13024 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35525720 19384713216 13024 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=18930384 memory=59593594261064 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35525721 19384713216 13024 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52096 KiB

[startup+0.226099 s]*
/proc/loadavg: 4.54 4.73 4.60 6/324 23661
/proc/meminfo: memFree=118885912/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=18930384 memory=59160 CPUtime=0.31 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 6395 0 0 0 27 4 0 0 20 0 18 0 35525713 19384713216 14790 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4732596 14790 5335 1 0 547546 0
[pid=23643/tid=23645] ppid=23640 vsize=18930384 memory=4026597660 CPUtime=0.2 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 5024 0 0 0 17 3 0 0 20 0 18 0 35525715 19384713216 14790 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=18930384 memory=15877 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35525720 19384713216 14790 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35525721 19384713216 14790 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59160 KiB

[startup+0.317649 s]*
/proc/loadavg: 4.54 4.73 4.60 6/324 23661
/proc/meminfo: memFree=118884400/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=18930384 memory=62188 CPUtime=0.47 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 6664 0 0 0 42 5 0 0 20 0 18 0 35525713 19384713216 15547 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4732596 15547 5335 1 0 547775 0
[pid=23643/tid=23645] ppid=23640 vsize=18930384 memory=-6000919507082963309 CPUtime=0.29 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 5224 0 0 0 26 3 0 0 20 0 18 0 35525715 19384713216 15547 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35525720 19384713216 15547 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35525721 19384713216 15547 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62188 KiB

[startup+0.700349 s]
/proc/loadavg: 4.54 4.73 4.60 7/324 23661
/proc/meminfo: memFree=118883644/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=18996948 memory=76616 CPUtime=1.17 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 7164 0 0 0 110 7 0 0 20 0 19 0 35525713 19452874752 19154 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4749237 19154 5431 1 0 548436 0
[pid=23643/tid=23645] ppid=23640 vsize=18996948 memory=17152 CPUtime=0.65 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 5435 0 0 0 61 4 0 0 20 0 19 0 35525715 19452874752 19154 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=18996948 memory=10496 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35525720 19452874752 19154 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35525721 19452874752 19154 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76616 KiB

[startup+1.50031 s]
/proc/loadavg: 4.54 4.73 4.60 6/325 23662
/proc/meminfo: memFree=118837468/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=164328 CPUtime=2.73 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 14917 0 0 0 262 11 0 0 20 0 20 0 35525713 19521036288 41082 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 41082 5463 1 0 551003 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=3200 CPUtime=1.38 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 6281 0 0 0 131 7 0 0 20 0 20 0 35525715 19521036288 41082 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 41082 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 41082 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=16352 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 41082 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164328 KiB

[startup+3.1059 s]
/proc/loadavg: 4.54 4.73 4.60 5/326 23663
/proc/meminfo: memFree=118336076/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=641940 CPUtime=5.16 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 18098 0 0 0 494 22 0 0 20 0 20 0 35525713 19521036288 160485 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 160485 5463 1 0 552007 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=16352 CPUtime=2.95 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 7077 0 0 0 278 17 0 0 20 0 20 0 35525715 19521036288 160485 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 160485 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 160485 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 160485 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 641940 KiB

[startup+6.30042 s]
/proc/loadavg: 4.49 4.72 4.60 5/326 23663
/proc/meminfo: memFree=117667952/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=1309684 CPUtime=8.87 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 18684 0 0 0 850 37 0 0 20 0 20 0 35525713 19521036288 327421 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 327421 5463 1 0 552010 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=0 CPUtime=6.08 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 7566 0 0 0 577 31 0 0 20 0 20 0 35525715 19521036288 327421 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 327421 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 327421 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=164328 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 327421 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1309684 KiB

[startup+12.7004 s]
/proc/loadavg: 4.45 4.71 4.59 5/326 23663
/proc/meminfo: memFree=117241260/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=1732320 CPUtime=15.26 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 19769 0 0 0 1481 45 0 0 20 0 20 0 35525713 19521036288 433080 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 433080 5463 1 0 658538 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=164328 CPUtime=12.26 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 8381 0 0 0 1188 38 0 0 20 0 20 0 35525715 19521036288 433080 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=1732320 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 433080 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 433080 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 433080 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1732320 KiB

[startup+25.5005 s]
/proc/loadavg: 4.49 4.71 4.59 5/326 23664
/proc/meminfo: memFree=116738548/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=2235340 CPUtime=28.02 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 23403 0 0 0 2746 56 0 0 20 0 20 0 35525713 19521036288 558835 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 558835 5463 1 0 785961 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=0 CPUtime=24.68 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 10331 0 0 0 2419 49 0 0 20 0 20 0 35525715 19521036288 558835 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=16352 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 558835 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=2235340 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 558835 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=2233204 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 558835 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2235340 KiB

[startup+51.1135 s]
/proc/loadavg: 4.32 4.65 4.58 5/326 23664
/proc/meminfo: memFree=115506364/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=3266064 CPUtime=53.61 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 27703 0 0 0 5280 81 0 0 20 0 20 0 35525713 19521036288 816516 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 816516 5495 1 0 1047066 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=2235468 CPUtime=49.4 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 12656 0 0 0 4868 72 0 0 20 0 20 0 35525715 19521036288 816516 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=30340 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 816516 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 816516 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=1732320 CPUtime=0 cores=0,2

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

[startup+3222.3 s]
/proc/loadavg: 4.82 4.39 4.28 5/325 23884
/proc/meminfo: memFree=108375560/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=4127848 CPUtime=3287.22 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 144620 0 1 0 328416 306 0 0 20 0 20 0 35525713 19521036288 1031962 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 1031962 5495 1 0 1045383 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=4127848 CPUtime=3137.78 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 74414 0 0 0 313694 84 0 0 20 0 20 0 35525715 19521036288 1031962 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=4127848 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 1031962 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=4127848 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 1296 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 1031962 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=4127848 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 1031962 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 3287.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4127848 KiB

[startup+3282.3 s]
/proc/loadavg: 4.43 4.35 4.27 5/325 23886
/proc/meminfo: memFree=108528104/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=3961284 CPUtime=3349.47 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 148750 0 1 0 334636 311 0 0 20 0 20 0 35525713 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 990321 5495 1 0 1003623 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=4127848 CPUtime=3196.41 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 76995 0 0 0 319557 84 0 0 20 0 20 0 35525715 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=4127848 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=2736 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 1296 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=5888 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 3349.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3961284 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.34 4.27 5/325 23888
/proc/meminfo: memFree=108529216/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=3961284 CPUtime=3410.17 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 151579 0 1 0 340702 315 0 0 20 0 20 0 35525713 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 990321 5495 1 0 1003623 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=3961284 CPUtime=3255.2 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 78516 0 0 0 325436 84 0 0 20 0 20 0 35525715 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=3961284 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 1379 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=6648 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 3410.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3961284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.33 4.27 6/326 23893
/proc/meminfo: memFree=108523820/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=3961284 CPUtime=3471.08 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 153405 0 1 0 346789 319 0 0 20 0 20 0 35525713 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 990321 5495 1 0 1003623 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=16352 CPUtime=3313.8 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 79442 0 0 0 331296 84 0 0 20 0 20 0 35525715 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=10496 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=17152 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 1428 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 3471.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3961284 KiB

[startup+3462.3 s]
/proc/loadavg: 4.63 4.42 4.31 6/326 24096
/proc/meminfo: memFree=122773492/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=3961284 CPUtime=3532.14 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 154615 0 1 0 352891 323 0 0 20 0 20 0 35525713 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 990321 5495 1 0 1003623 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=16352 CPUtime=3372.24 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 80449 0 0 0 337139 85 0 0 20 0 20 0 35525715 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=-6000919507082963309 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=3961284 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 1428 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=16352 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 3532.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3961284 KiB

[startup+3522.3 s]
/proc/loadavg: 4.39 4.39 4.30 5/327 24163
/proc/meminfo: memFree=118265568/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=3961284 CPUtime=3593.06 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 156771 0 1 0 358980 326 0 0 20 0 20 0 35525713 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 990321 5495 1 0 1003623 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=-6000919507082963309 CPUtime=3430.99 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23640 23643 23008 0 -1 4194368 81994 0 0 0 343014 85 0 0 20 0 20 0 35525715 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=16352 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=3961284 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 1443 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=3961284 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 3593.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3961284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3529.2 s]
/proc/loadavg: 4.36 4.38 4.30 5/327 24164
/proc/meminfo: memFree=118261248/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19063512 memory=3961284 CPUtime=3600.11 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 157048 0 1 0 359685 326 0 0 20 0 20 0 35525713 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4765878 990321 5495 1 0 1003623 0
[pid=23643/tid=23645] ppid=23640 vsize=19063512 memory=5504 CPUtime=3437.7 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) S 23640 23643 23008 0 -1 4194368 82250 0 0 0 343685 85 0 0 20 0 20 0 35525715 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35525720 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 1443 0 0 0 0 0 0 0 20 0 20 0 35525721 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23662] ppid=23640 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/23643/task/23662/stat : 23662 (Timer-0) S 23640 23643 23008 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35525768 19521036288 990321 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3961284 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.28 s, system=3.29345 s

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

[startup+3529.4 s]
/proc/loadavg: 4.36 4.38 4.30 5/327 24164
/proc/meminfo: memFree=118261248/131382120 swapFree=33010684/33010684
[pid=23643] ppid=23640 vsize=19263204 memory=3962308 CPUtime=3600.45 cores=0,2
/proc/23643/stat : 23643 (java) S 23640 23643 23008 0 -1 4194304 159240 0 1 0 359718 327 0 0 20 0 21 0 35525713 19725520896 990577 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
/proc/23643/statm: 4815801 990577 5527 1 0 1004554 0
[pid=23643/tid=23645] ppid=23640 vsize=19263204 memory=22008 CPUtime=3437.71 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) S 23640 23643 23008 0 -1 4194368 82351 0 0 0 343686 85 0 0 20 0 21 0 35525715 19725520896 990577 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23654] ppid=23640 vsize=19263204 memory=4352 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (Finalizer) S 23640 23643 23008 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35525720 19725520896 990577 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
[pid=23643/tid=23661] ppid=23640 vsize=19263204 memory=1792 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (Common-Cleaner) S 23640 23643 23008 0 -1 4194368 1443 0 0 0 0 0 0 0 20 0 21 0 35525721 19725520896 990577 18446744073709551615 94116432199680 94116432203376 140725325507984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94116432211192 94116432211984 94116445708288 140725325515134 140725325515238 140725325515238 140725325520840 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3962308 KiB

Child status: 143

Real time (s): 3529.51
CPU time (s): 3600.57
CPU user time (s): 3597.28
CPU system time (s): 3.29345
CPU usage (%): 102.013
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4139820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.28
system time used= 3.29345
maximum resident set size= 4139820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159443
page faults= 1
swaps= 0
block input operations= 992
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138891
involuntary context switches= 15776


# summary of solver processes directly reported to runsolver:
#   pid: 23643
#   total CPU time (s): 3600.57
#   total CPU user time (s): 3597.28
#   total CPU system time (s): 3.29345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1605 second user time and 37.2719 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-29 14:01:06
IDJOB=4509686
IDBENCH=158768
IDSOLVER=3361
FILE ID=nodeC008/4509686-1751198466
RUNJOBID= nodeC008-1751195027-23018
SLURM_JOB_ID= 9587601
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j CP 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509686-1751198466/watcher-4509686-1751198466 -o /tmp/evaluation-result-4509686-1751198466/solver-4509686-1751198466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751195027-23018 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4509686-1751198466.opb

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

MD5SUM BENCH= 7056d5d7645a22d74bbe899777f3f6dc
RANDOM SEED=781746951

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        118918180 kB
MemAvailable:   118573480 kB
Buffers:            3280 kB
Cached:           466840 kB
SwapCached:            0 kB
Active:         11655432 kB
Inactive:         219372 kB
Active(anon):   11422640 kB
Inactive(anon):        0 kB
Active(file):     232792 kB
Inactive(file):   219372 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:      11402560 kB
Mapped:           122212 kB
Shmem:             17956 kB
KReclaimable:      85524 kB
Slab:             165312 kB
SReclaimable:      85524 kB
SUnreclaim:        79788 kB
KernelStack:        4976 kB
PageTables:        25920 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   15173848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11112448 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC008 at 2025-06-29 14:59:56