Trace number 4510659

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 VeriPB 2025-06-06UNSAT cert. 846.727 836.639

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.13/0.15	c Pseudo Boolean Optimization by upper bound
0.13/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	c  - never skip resolution steps
0.13/0.15	c  - Auto-division on coefficients is disabled
0.13/0.15	c  - No postprocessing
0.13/0.15	c  - Conflict is considered as is when resolving
0.13/0.15	c  - Use constraints as they come during conflict analysis
0.13/0.15	c  - Weaken first using unassigned literals
0.13/0.15	c  - Bump strategy: ALWAYS_ONE
0.13/0.15	c  - Bumper: EFFECTIVE
0.13/0.15	c --- Begin Solver configuration ---
0.13/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd
0.13/0.15	c Learn all clauses as in MiniSAT
0.13/0.15	c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	c No reason simplification
0.13/0.15	c Dynamic restart strategy considering the size of the coefficients
0.13/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96
0.13/0.15	c timeout=2147483s
0.13/0.15	c DB Simplification allowed=false
0.13/0.15	c Listener: none
0.13/0.15	c --- End Solver configuration ---
0.13/0.15	c solving HOME/instance-4510659-1751205072.opb
0.13/0.15	c reading problem ... 
0.13/0.15	c using VERIPB proof format
0.13/0.15	c  no objective function found
0.32/0.27	c ... done. Wall clock time 0.111s.
0.32/0.27	c declared #vars     1001
0.32/0.27	c #constraints  4002
0.32/0.27	c constraints type 
0.32/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.32/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4000
0.32/0.27	c 4002 constraints processed.
1.48/0.81	c cleaning 2500 clauses out of 5001 with flag 0/5001
2.07/1.18	c cleaning 4245 clauses out of 8501 with flag 0/11001
2.86/1.59	c cleaning 5623 clauses out of 11256 with flag 0/18001
3.86/2.03	c cleaning 6812 clauses out of 13632 with flag 0/26000
4.47/2.41	c cleaning 7900 clauses out of 15820 with flag 0/35000
4.96/2.82	c cleaning 8951 clauses out of 17920 with flag 0/45000
5.61/3.33	c cleaning 9978 clauses out of 19970 with flag 0/56001
6.21/3.96	c cleaning 10990 clauses out of 21992 with flag 0/68001
6.81/4.51	c cleaning 11996 clauses out of 24002 with flag 0/81001
7.42/5.11	c cleaning 12995 clauses out of 26005 with flag 0/95000
8.03/5.78	c cleaning 14002 clauses out of 28012 with flag 0/110002
8.72/6.47	c cleaning 15001 clauses out of 30009 with flag 0/126001
9.47/7.15	c cleaning 16001 clauses out of 32008 with flag 0/143001
10.35/7.91	c cleaning 16996 clauses out of 34006 with flag 0/161000
11.04/8.61	c cleaning 18003 clauses out of 36012 with flag 0/180002
11.86/9.42	c cleaning 19000 clauses out of 38007 with flag 0/200000
12.66/10.25	c cleaning 20000 clauses out of 40008 with flag 0/221001
13.66/11.20	c cleaning 20994 clauses out of 42007 with flag 0/243000
14.76/12.32	c cleaning 21984 clauses out of 44013 with flag 0/266000
15.96/13.52	c cleaning 22999 clauses out of 46030 with flag 0/290001
17.07/14.66	c cleaning 23995 clauses out of 48030 with flag 0/315000
18.17/15.74	c cleaning 25003 clauses out of 50035 with flag 0/341000
19.17/16.78	c cleaning 26001 clauses out of 52033 with flag 0/368001
20.17/17.78	c cleaning 27012 clauses out of 54031 with flag 0/396000
21.47/19.01	c cleaning 28000 clauses out of 56021 with flag 0/425002
22.67/20.24	c cleaning 28997 clauses out of 58019 with flag 0/455000
23.88/21.43	c cleaning 30005 clauses out of 60023 with flag 0/486001
25.68/23.26	c cleaning 30991 clauses out of 62017 with flag 0/518000
27.29/24.87	c cleaning 31993 clauses out of 64026 with flag 0/551000
28.58/26.12	c cleaning 33014 clauses out of 66034 with flag 0/585001
29.98/27.58	c cleaning 33987 clauses out of 68020 with flag 0/620001
31.68/29.21	c cleaning 34999 clauses out of 70032 with flag 0/656000
33.18/30.70	c cleaning 36012 clauses out of 72033 with flag 0/693000
34.64/32.24	c cleaning 37005 clauses out of 74022 with flag 0/731001
36.74/34.33	c cleaning 37991 clauses out of 76017 with flag 0/770001
38.85/36.41	c cleaning 38995 clauses out of 78026 with flag 0/810001
40.85/38.43	c cleaning 39999 clauses out of 80030 with flag 0/851000
42.77/40.30	c cleaning 40998 clauses out of 82031 with flag 0/893000
44.57/42.13	c cleaning 42002 clauses out of 84033 with flag 0/936000
46.68/44.23	c cleaning 42999 clauses out of 86032 with flag 0/980001
48.89/46.40	c cleaning 44001 clauses out of 88033 with flag 0/1025001
51.20/48.77	c cleaning 44998 clauses out of 90032 with flag 0/1071001
53.41/50.98	c cleaning 46004 clauses out of 92033 with flag 0/1118000
55.71/53.27	c cleaning 46989 clauses out of 94029 with flag 0/1166000
58.04/55.55	c cleaning 47992 clauses out of 96040 with flag 0/1215000
60.46/57.91	c cleaning 48994 clauses out of 98049 with flag 0/1265001
62.58/60.03	c cleaning 49998 clauses out of 100054 with flag 0/1316000
65.23/62.72	c cleaning 51006 clauses out of 102056 with flag 0/1368000
67.77/65.20	c cleaning 52000 clauses out of 104050 with flag 0/1421000
70.09/67.57	c cleaning 53004 clauses out of 106051 with flag 0/1475001
72.92/70.34	c cleaning 53997 clauses out of 108046 with flag 0/1530000
75.93/73.34	c cleaning 55003 clauses out of 110050 with flag 0/1586001
78.26/75.66	c cleaning 56019 clauses out of 112048 with flag 0/1643002
82.08/79.45	c cleaning 56997 clauses out of 114029 with flag 0/1701002
85.29/82.68	c cleaning 57996 clauses out of 116030 with flag 0/1760000
88.54/85.82	c cleaning 58993 clauses out of 118034 with flag 0/1820000
91.40/88.61	c cleaning 59997 clauses out of 120041 with flag 0/1881000
94.43/91.66	c cleaning 61001 clauses out of 122044 with flag 0/1943000
97.82/95.10	c cleaning 62002 clauses out of 124043 with flag 0/2006000
101.04/98.23	c cleaning 63002 clauses out of 126041 with flag 0/2070000
104.28/101.44	c cleaning 63997 clauses out of 128039 with flag 0/2135000
107.62/104.72	c cleaning 65001 clauses out of 130042 with flag 0/2201000
110.85/107.90	c cleaning 66009 clauses out of 132043 with flag 0/2268002
113.79/110.83	c cleaning 67003 clauses out of 134032 with flag 0/2336000
116.94/113.98	c cleaning 67998 clauses out of 136029 with flag 0/2405000
121.39/118.36	c cleaning 68984 clauses out of 138031 with flag 0/2475000
126.43/123.33	c cleaning 69986 clauses out of 140049 with flag 0/2546002
131.02/127.93	c cleaning 70999 clauses out of 142061 with flag 0/2618000
136.07/132.91	c cleaning 72001 clauses out of 144062 with flag 0/2691000
142.72/139.53	c cleaning 73006 clauses out of 146061 with flag 0/2765000
148.93/145.64	c cleaning 74009 clauses out of 148056 with flag 0/2840001
154.90/151.54	c cleaning 75003 clauses out of 150046 with flag 0/2916000
160.35/156.95	c cleaning 76008 clauses out of 152044 with flag 0/2993001
165.63/162.14	c cleaning 76989 clauses out of 154035 with flag 0/3071000
170.96/167.31	c cleaning 77993 clauses out of 156047 with flag 0/3150001
176.19/172.54	c cleaning 79005 clauses out of 158053 with flag 0/3230000
182.34/178.60	c cleaning 79998 clauses out of 160049 with flag 0/3311001
187.73/183.90	c cleaning 81004 clauses out of 162050 with flag 0/3393000
194.12/190.52	c cleaning 81997 clauses out of 164047 with flag 0/3476001
200.36/196.71	c cleaning 83003 clauses out of 166050 with flag 0/3560001
207.59/203.85	c cleaning 84000 clauses out of 168048 with flag 0/3645002
213.76/209.91	c cleaning 85000 clauses out of 170046 with flag 0/3731000
219.73/215.86	c cleaning 85994 clauses out of 172046 with flag 0/3818000
225.36/221.42	c cleaning 87007 clauses out of 174052 with flag 0/3906000
231.24/227.28	c cleaning 87989 clauses out of 176047 with flag 0/3995002
237.13/233.05	c cleaning 89018 clauses out of 178056 with flag 0/4085000
243.58/239.46	c cleaning 89990 clauses out of 180038 with flag 0/4176000
250.76/246.52	c cleaning 91010 clauses out of 182049 with flag 0/4268001
257.97/253.79	c cleaning 91978 clauses out of 184038 with flag 0/4361000
264.34/260.08	c cleaning 93023 clauses out of 186061 with flag 0/4455001
270.40/266.03	c cleaning 94004 clauses out of 188037 with flag 0/4550000
279.65/275.25	c cleaning 94999 clauses out of 190033 with flag 0/4646000
286.68/282.22	c cleaning 95993 clauses out of 192034 with flag 0/4743000
293.56/289.03	c cleaning 97002 clauses out of 194042 with flag 0/4841001
300.12/295.53	c cleaning 98008 clauses out of 196039 with flag 0/4940000
307.49/302.84	c cleaning 98994 clauses out of 198031 with flag 0/5040000
314.84/310.12	c cleaning 99999 clauses out of 200037 with flag 0/5141000
323.26/318.40	c cleaning 100987 clauses out of 202038 with flag 0/5243000
330.40/325.47	c cleaning 102007 clauses out of 204051 with flag 0/5346000
337.70/332.60	c cleaning 103000 clauses out of 206044 with flag 0/5450000
344.41/339.39	c cleaning 104001 clauses out of 208045 with flag 0/5555001
351.79/346.69	c cleaning 104994 clauses out of 210043 with flag 0/5661000
359.20/353.92	c cleaning 106008 clauses out of 212051 with flag 0/5768002
366.66/361.35	c cleaning 107002 clauses out of 214044 with flag 0/5876003
373.54/368.16	c cleaning 108002 clauses out of 216040 with flag 0/5985001
380.28/374.88	c cleaning 109001 clauses out of 218037 with flag 0/6095000
387.25/381.72	c cleaning 110007 clauses out of 220037 with flag 0/6206001
394.19/388.60	c cleaning 110994 clauses out of 222029 with flag 0/6318000
401.60/395.95	c cleaning 111987 clauses out of 224035 with flag 0/6431000
408.04/402.38	c cleaning 112995 clauses out of 226048 with flag 0/6545000
415.64/409.80	c cleaning 113996 clauses out of 228053 with flag 0/6660000
423.11/417.29	c cleaning 115005 clauses out of 230058 with flag 0/6776001
430.71/424.75	c cleaning 116006 clauses out of 232054 with flag 0/6893002
438.01/432.04	c cleaning 117004 clauses out of 234047 with flag 0/7011001
444.80/438.78	c cleaning 117996 clauses out of 236042 with flag 0/7130000
451.42/445.32	c cleaning 119002 clauses out of 238046 with flag 0/7250000
459.20/453.01	c cleaning 120002 clauses out of 240044 with flag 0/7371000
466.44/460.23	c cleaning 121009 clauses out of 242043 with flag 0/7493001
475.29/469.04	c cleaning 122005 clauses out of 244034 with flag 0/7616001
482.99/476.69	c cleaning 122996 clauses out of 246028 with flag 0/7740000
490.27/483.83	c cleaning 124003 clauses out of 248033 with flag 0/7865001
498.35/491.81	c cleaning 124998 clauses out of 250029 with flag 0/7991000
506.18/499.62	c cleaning 125988 clauses out of 252032 with flag 0/8118001
515.12/508.51	c cleaning 127000 clauses out of 254043 with flag 0/8246000
523.61/516.94	c cleaning 128001 clauses out of 256043 with flag 0/8375000
532.23/525.51	c cleaning 129005 clauses out of 258043 with flag 0/8505001
541.17/534.47	c cleaning 129998 clauses out of 260038 with flag 0/8636001
550.75/543.93	c cleaning 131000 clauses out of 262040 with flag 0/8768001
560.43/553.58	c cleaning 132009 clauses out of 264040 with flag 0/8901001
569.99/563.05	c cleaning 132999 clauses out of 266030 with flag 0/9035000
579.11/572.02	c cleaning 134007 clauses out of 268031 with flag 0/9170000
588.63/581.46	c cleaning 134997 clauses out of 270024 with flag 0/9306000
598.50/591.25	c cleaning 135999 clauses out of 272028 with flag 0/9443001
608.48/601.12	c cleaning 137002 clauses out of 274029 with flag 0/9581001
617.66/610.21	c cleaning 138000 clauses out of 276026 with flag 0/9720000
627.43/619.98	c cleaning 138997 clauses out of 278026 with flag 0/9860000
638.51/630.99	c cleaning 140008 clauses out of 280029 with flag 0/10001000
649.18/641.55	c cleaning 141006 clauses out of 282021 with flag 0/10143000
660.72/653.04	c cleaning 141998 clauses out of 284015 with flag 0/10286000
671.60/663.85	c cleaning 143000 clauses out of 286017 with flag 0/10430000
684.11/676.20	c cleaning 143994 clauses out of 288017 with flag 0/10575000
694.30/686.32	c cleaning 145002 clauses out of 290024 with flag 0/10721001
706.30/698.22	c cleaning 146004 clauses out of 292022 with flag 0/10868001
718.78/710.63	c cleaning 146995 clauses out of 294017 with flag 0/11016000
731.17/722.97	c cleaning 148002 clauses out of 296022 with flag 0/11165000
744.10/735.72	c cleaning 149003 clauses out of 298021 with flag 0/11315001
756.40/747.92	c cleaning 149998 clauses out of 300017 with flag 0/11466000
769.38/760.32	c cleaning 151001 clauses out of 302019 with flag 0/11618000
782.94/773.85	c cleaning 152002 clauses out of 304018 with flag 0/11771000
797.76/788.51	c cleaning 152996 clauses out of 306016 with flag 0/11925000
810.37/801.08	c cleaning 154004 clauses out of 308020 with flag 0/12080000
824.90/814.98	c cleaning 154999 clauses out of 310016 with flag 0/12236001
838.95/828.92	c cleaning 156003 clauses out of 312016 with flag 0/12393000
846.59/836.51	c starts		: 1
846.59/836.52	c conflicts		: 12497863
846.59/836.52	c decisions		: 16197368
846.59/836.52	c propagations		: 89036428
846.59/836.52	c inspects		: 10313389681
846.59/836.52	c shortcuts		: 0
846.59/836.52	c learnt literals	: 1
846.59/836.52	c learnt binary clauses	: 2
846.59/836.52	c learnt ternary clauses	: 2
846.59/836.52	c learnt constraints	: 12497861
846.59/836.52	c ignored constraints	: 0
846.59/836.52	c root simplifications	: 0
846.59/836.52	c removed literals (reason simplification)	: 0
846.59/836.52	c reason swapping (by a shorter reason)	: 0
846.59/836.52	c Calls to reduceDB	: 153
846.59/836.52	c Number of update (reduction) of LBD	: 16227511
846.59/836.52	c Imported unit clauses	: 0
846.59/836.52	c No decision after first conflict	: false
846.59/836.52	c number of reductions to clauses (during analyze)	: 0
846.59/836.52	c number of learned constraints concerned by reduction	: 0
846.59/836.52	c number of learning phase by resolution	: 0
846.59/836.52	c number of learning phase by cutting planes	: 0
846.59/836.52	c number of rounding to 1 operations	: 0
846.59/836.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
846.59/836.52	c number of reductions of the coefficients by power 2 	: 0
846.59/836.52	c number of right shift for reduction by power 2 	: 0
846.59/836.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
846.59/836.52	c number of ending skipping 	: 0
846.59/836.52	c number of internal skipping 	: 0
846.59/836.52	c number of derivation steps 	: 58987558
846.59/836.52	c number of skipped derivation steps 	: 0
846.59/836.52	c number of remaining unassigned 	: 0
846.59/836.52	c number of remaining assigned 	: 0
846.59/836.52	c number of falsified literals weakened from reason	: 0
846.59/836.52	c number of falsified literals weakened from conflict	: 0
846.59/836.52	c time for arithmetic operations	: 0
846.59/836.53	c minimum degree of deleted constraints	: 1
846.59/836.53	c maximum degree of deleted constraints	: 1
846.59/836.53	c number of deleted constraints	: 12236986
846.59/836.53	c speed (assignments/second)	: 106470.81023423561
846.59/836.53	c non guided choices	: 196700
846.59/836.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 260873
846.59/836.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2
846.59/836.59	s UNSATISFIABLE
846.59/836.59	c Total wall clock time (in seconds): 836.439

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 14:12:46 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510659-1751205072/watcher-4510659-1751205072 -o /tmp/evaluation-result-4510659-1751205072/solver-4510659-1751205072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751204986-32521 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510659-1751205072 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4510659-1751205072.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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=32842, runsolver pid=32839
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 3.34 1.85 2.13 6/343 32860
/proc/meminfo: memFree=123805196/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=18930384 memory=57672 CPUtime=0.13 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 6580 0 0 0 11 2 0 0 20 0 18 0 36185142 19384713216 14418 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4732596 14418 5336 1 0 547620 0
[pid=32842/tid=32844] ppid=32839 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 5082 0 0 0 7 1 0 0 20 0 18 0 36185143 19384713216 14418 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36185145 19384713216 14418 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=18930384 memory=58485492706614 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36185146 19384713216 14418 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57672 KiB

[startup+0.205863 s]*
/proc/loadavg: 3.34 1.85 2.13 7/343 32860
/proc/meminfo: memFree=123798844/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=18930384 memory=72820 CPUtime=0.32 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 7136 0 0 0 30 2 0 0 20 0 18 0 36185142 19384713216 18205 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4732596 18205 5464 1 0 547989 0
[pid=32842/tid=32844] ppid=32839 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 5397 0 0 0 17 1 0 0 20 0 18 0 36185143 19384713216 18205 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=18930384 memory=18949 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36185145 19384713216 18205 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36185146 19384713216 18205 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72820 KiB

[startup+0.305712 s]*
/proc/loadavg: 3.34 1.85 2.13 7/344 32861
/proc/meminfo: memFree=123766076/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=18996948 memory=111100 CPUtime=0.52 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 8990 0 0 0 48 4 0 0 20 0 19 0 36185142 19452874752 27775 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4749237 27775 5464 1 0 549561 0
[pid=32842/tid=32844] ppid=32839 vsize=18996948 memory=-6000919468444904044 CPUtime=0.25 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 5480 0 0 0 23 2 0 0 20 0 19 0 36185143 19452874752 27775 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36185145 19452874752 27775 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36185146 19452874752 27775 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36185170 19452874752 27775 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111100 KiB

[startup+0.700244 s]
/proc/loadavg: 3.34 1.85 2.13 10/345 32862
/proc/meminfo: memFree=123701320/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=169520 CPUtime=1.28 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 13252 0 0 0 121 7 0 0 20 0 20 0 36185142 19521036288 42380 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 42380 5496 1 0 552798 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=17536 CPUtime=0.57 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 5518 0 0 0 53 4 0 0 20 0 20 0 36185143 19521036288 42380 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 42380 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 42380 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=4756 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 42380 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169520 KiB

[startup+1.50026 s]
/proc/loadavg: 3.34 1.85 2.13 6/345 32862
/proc/meminfo: memFree=123673720/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=346388 CPUtime=2.86 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 17897 0 0 0 276 10 0 0 20 0 20 0 36185142 19521036288 86597 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 86597 5496 1 0 552848 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=10752 CPUtime=1.34 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 6088 0 0 0 127 7 0 0 20 0 20 0 36185143 19521036288 86597 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 86597 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 86597 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=4756 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 86597 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 346388 KiB

[startup+3.10563 s]
/proc/loadavg: 3.63 1.94 2.16 5/345 32862
/proc/meminfo: memFree=123093544/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=825232 CPUtime=5.41 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 22447 0 0 0 520 21 0 0 20 0 20 0 36185142 19521036288 206308 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 206308 5496 1 0 554141 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=10752 CPUtime=2.93 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 7062 0 0 0 276 17 0 0 20 0 20 0 36185143 19521036288 206308 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=-6000919468444904044 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 206308 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 206308 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 206308 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 825232 KiB

[startup+6.3002 s]
/proc/loadavg: 3.63 1.94 2.16 5/345 32862
/proc/meminfo: memFree=122489888/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=1312768 CPUtime=8.62 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 23529 0 0 0 831 31 0 0 20 0 20 0 36185142 19521036288 328192 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 328192 5496 1 0 554145 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=0 CPUtime=6.09 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 7487 0 0 0 583 26 0 0 20 0 20 0 36185143 19521036288 328192 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 328192 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 328192 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=396572 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 328192 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 8.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312768 KiB

[startup+12.7002 s]
/proc/loadavg: 3.84 2.04 2.19 5/345 32862
/proc/meminfo: memFree=122420840/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=1319208 CPUtime=15.16 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 25065 0 0 0 1482 34 0 0 20 0 20 0 36185142 19521036288 329802 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 329802 5528 1 0 554145 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=396572 CPUtime=12.45 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 8282 0 0 0 1216 29 0 0 20 0 20 0 36185143 19521036288 329802 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 329802 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=1313024 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 329802 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 329802 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1319208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.02 2.14 2.22 5/345 32862
/proc/meminfo: memFree=121757196/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=1325352 CPUtime=27.98 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 29298 0 0 0 2758 40 0 0 20 0 20 0 36185142 19521036288 331338 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 331338 5528 1 0 554145 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=10752 CPUtime=25.13 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 9934 0 0 0 2479 34 0 0 20 0 20 0 36185143 19521036288 331338 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=1313024 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 331338 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 331338 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 331338 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 27.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325352 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 2.31 2.28 5/345 32862
/proc/meminfo: memFree=121495948/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=1341832 CPUtime=53.61 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 31422 0 0 0 5310 51 0 0 20 0 20 0 36185142 19521036288 335458 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 335458 5528 1 0 554145 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=1341832 CPUtime=50.43 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 10889 0 0 0 4999 44 0 0 20 0 20 0 36185143 19521036288 335458 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0

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

/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 371 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 638762 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=2555048 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 638762 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 710.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2555048 KiB

[startup+762.3 s]
/proc/loadavg: 4.37 4.11 3.36 5/345 33115
/proc/meminfo: memFree=115632016/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=2555304 CPUtime=771.41 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 53565 0 0 0 76861 280 0 0 20 0 20 0 36185142 19521036288 638826 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 638826 5528 1 0 660696 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=10752 CPUtime=747.47 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 20998 0 0 0 74514 233 0 0 20 0 20 0 36185143 19521036288 638826 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=2555048 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 638826 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=2555176 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 374 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 638826 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 638826 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 771.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2555304 KiB

[startup+822.3 s]
/proc/loadavg: 4.39 4.15 3.43 5/344 33121
/proc/meminfo: memFree=115378032/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=2555816 CPUtime=832.35 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 53949 0 0 0 82936 299 0 0 20 0 20 0 36185142 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 638954 5528 1 0 660696 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=-6000919468444904044 CPUtime=806.43 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 21099 0 0 0 80393 250 0 0 20 0 20 0 36185143 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=-6000919468444904044 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 374 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 832.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2555816 KiB

[startup+836.639 s]
# the end of solver process 32842 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=843.664 s, system=3.06246 s

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

[startup+825.6 s]
/proc/loadavg: 4.39 4.15 3.43 5/344 33121
/proc/meminfo: memFree=115365332/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=2555816 CPUtime=835.67 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 53957 0 0 0 83267 300 0 0 20 0 20 0 36185142 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 638954 5528 1 0 660696 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=75085 CPUtime=809.67 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 21105 0 0 0 80716 251 0 0 20 0 20 0 36185143 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=2555816 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=2555816 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 374 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=2555816 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 835.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2555816 KiB

[startup+832 s]*
/proc/loadavg: 4.33 4.15 3.43 5/343 33121
/proc/meminfo: memFree=115336424/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=2555816 CPUtime=842.08 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 53981 0 0 0 83905 303 0 0 20 0 20 0 36185142 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 638954 5528 1 0 660696 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=-6000919507033024876 CPUtime=815.97 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 21113 0 0 0 81343 254 0 0 20 0 20 0 36185143 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=7150145657311431278 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=5312 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 374 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=4928 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 842.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2555816 KiB

[startup+835.2 s]
/proc/loadavg: 4.33 4.15 3.43 5/343 33121
/proc/meminfo: memFree=115331892/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=2555816 CPUtime=845.3 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 53983 0 0 0 84226 304 0 0 20 0 20 0 36185142 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 638954 5528 1 0 660696 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=4380 CPUtime=819.12 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 21113 0 0 0 81657 255 0 0 20 0 20 0 36185143 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=-6000919468444904044 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=6452091026033828668 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 374 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 845.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2555816 KiB

[startup+836 s]*
/proc/loadavg: 4.33 4.15 3.43 5/343 33121
/proc/meminfo: memFree=115327796/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=2555816 CPUtime=846.1 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 53983 0 0 0 84306 304 0 0 20 0 20 0 36185142 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 638954 5528 1 0 660696 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=2432 CPUtime=819.92 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 21113 0 0 0 81737 255 0 0 20 0 20 0 36185143 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=6452091026033828668 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 374 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 846.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2555816 KiB

[startup+836.4 s]
/proc/loadavg: 4.33 4.15 3.43 5/343 33121
/proc/meminfo: memFree=115327796/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19063512 memory=2555816 CPUtime=846.49 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 53983 0 0 0 84345 304 0 0 20 0 20 0 36185142 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4765878 638954 5528 1 0 660696 0
[pid=32842/tid=32844] ppid=32839 vsize=19063512 memory=-6000919468444904044 CPUtime=820.31 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) R 32839 32842 32508 0 -1 4194368 21113 0 0 0 81776 255 0 0 20 0 20 0 36185143 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36185145 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 374 0 0 0 0 0 0 0 20 0 20 0 36185146 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32861] ppid=32839 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32842/task/32861/stat : 32861 (Timer-0) S 32839 32842 32508 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36185170 19521036288 638954 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 846.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2555816 KiB

[startup+836.6 s]
/proc/loadavg: 4.33 4.15 3.43 5/343 33121
/proc/meminfo: memFree=115327796/131249996 swapFree=33010684/33010684
[pid=32842] ppid=32839 vsize=19196640 memory=2556584 CPUtime=846.71 cores=5,7
/proc/32842/stat : 32842 (java) S 32839 32842 32508 0 -1 4194304 55573 0 0 0 84366 305 0 0 20 0 14 0 36185142 19657359360 639146 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
/proc/32842/statm: 4799160 639146 5528 1 0 661353 0
[pid=32842/tid=32844] ppid=32839 vsize=19196640 memory=6712 CPUtime=820.42 cores=5,7
/proc/32842/task/32844/stat : 32844 (java) S 32839 32842 32508 0 -1 4194368 22048 0 0 0 81786 256 0 0 20 0 14 0 36185143 19657359360 639146 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32853] ppid=32839 vsize=19196640 memory=3425588 CPUtime=0 cores=5,7
/proc/32842/task/32853/stat : 32853 (Finalizer) S 32839 32842 32508 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 14 0 36185145 19657359360 639146 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
[pid=32842/tid=32860] ppid=32839 vsize=19196640 memory=7024 CPUtime=0 cores=5,7
/proc/32842/task/32860/stat : 32860 (Common-Cleaner) S 32839 32842 32508 0 -1 4194368 374 0 0 0 0 0 0 0 20 0 14 0 36185146 19657359360 639146 18446744073709551615 93831037181952 93831037185648 140729029658400 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93831037193464 93831037194256 93831044296704 140729029667117 140729029667302 140729029667302 140729029672904 0
Current children cumulated CPU time: 846.71 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 2556584 KiB

Child status: 20

Real time (s): 836.639
CPU time (s): 846.727
CPU user time (s): 843.664
CPU system time (s): 3.06246
CPU usage (%): 101.206
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2556584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 843.664
system time used= 3.06246
maximum resident set size= 2556712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1965480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39508
involuntary context switches= 5272


# summary of solver processes directly reported to runsolver:
#   pid: 32842
#   total CPU time (s): 846.727
#   total CPU user time (s): 843.664
#   total CPU system time (s): 3.06246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.78594 second user time and 4.07815 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 15:51:12
IDJOB=4510659
IDBENCH=160381
IDSOLVER=3362
FILE ID=nodeC024/4510659-1751205072
RUNJOBID= nodeC024-1751204986-32521
SLURM_JOB_ID= 9587622
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510659-1751205072/watcher-4510659-1751205072 -o /tmp/evaluation-result-4510659-1751205072/solver-4510659-1751205072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751204986-32521 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510659-1751205072 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4510659-1751205072.opb

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

MD5SUM BENCH= e27638fbedede025521b1384f289f9e5
RANDOM SEED=931353538

nodeC024 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.672
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.36
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.675
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.36
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		: 3621.208
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123817356 kB
MemAvailable:   123783844 kB
Buffers:            3280 kB
Cached:           775932 kB
SwapCached:            0 kB
Active:          6331096 kB
Inactive:         521144 kB
Active(anon):    6091192 kB
Inactive(anon):        0 kB
Active(file):     239904 kB
Inactive(file):   521144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25460 kB
Writeback:            28 kB
AnonPages:       6075964 kB
Mapped:           122712 kB
Shmem:             18064 kB
KReclaimable:      88956 kB
Slab:             175488 kB
SReclaimable:      88956 kB
SUnreclaim:        86532 kB
KernelStack:        5264 kB
PageTables:        15584 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8962080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151496 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5857280 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 16:05:09