Trace number 4511092

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 Resolution 2025-06-06UNSAT 625.611 624.615

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
MD5SUM1a3ecc72c33db076137ced748302e815
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 benchmark17.8759
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables801
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 6
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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4511092-1751199748.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.039s.
0.13/0.17	c declared #vars     801
0.13/0.17	c #constraints  802
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
0.13/0.17	c 802 constraints processed.
0.53/0.40	c cleaning 2482 clauses out of 5000 with flag 19723/5000
0.91/0.59	c cleaning 4236 clauses out of 8518 with flag 46764/11000
1.29/0.76	c cleaning 5620 clauses out of 11282 with flag 82437/18000
1.48/0.87	c cleaning 6817 clauses out of 13662 with flag 122861/26000
1.87/1.02	c cleaning 7883 clauses out of 15845 with flag 168982/35000
2.07/1.14	c cleaning 8966 clauses out of 17962 with flag 222596/45000
2.38/1.30	c cleaning 9960 clauses out of 19996 with flag 282784/56000
2.48/1.47	c cleaning 11007 clauses out of 22038 with flag 348090/68002
2.67/1.66	c cleaning 11992 clauses out of 24031 with flag 423430/81002
2.88/1.86	c cleaning 12968 clauses out of 26037 with flag 502510/95000
3.18/2.11	c cleaning 13996 clauses out of 28070 with flag 589789/110001
3.38/2.37	c cleaning 15001 clauses out of 30075 with flag 681573/126002
3.70/2.66	c cleaning 15975 clauses out of 32072 with flag 781021/143000
4.02/2.99	c cleaning 17002 clauses out of 34098 with flag 879337/161001
4.42/3.31	c cleaning 18021 clauses out of 36097 with flag 982371/180002
4.72/3.67	c cleaning 19003 clauses out of 38074 with flag 1096147/200000
5.12/4.06	c cleaning 20005 clauses out of 40071 with flag 1216927/221000
5.52/4.48	c cleaning 21014 clauses out of 42066 with flag 1336573/243000
6.02/4.92	c cleaning 21986 clauses out of 44053 with flag 1462825/266001
6.52/5.42	c cleaning 22995 clauses out of 46068 with flag 1586456/290002
7.03/5.92	c cleaning 24010 clauses out of 48071 with flag 1719098/315000
7.52/6.46	c cleaning 24998 clauses out of 50062 with flag 1855293/341001
8.13/7.04	c cleaning 26015 clauses out of 52063 with flag 1994245/368000
8.72/7.65	c cleaning 26980 clauses out of 54050 with flag 2136885/396002
9.43/8.30	c cleaning 27996 clauses out of 56068 with flag 2284294/425000
10.03/8.98	c cleaning 28995 clauses out of 58072 with flag 2436203/455000
10.82/9.71	c cleaning 29991 clauses out of 60077 with flag 2593472/486000
11.52/10.48	c cleaning 31010 clauses out of 62086 with flag 2760882/518000
12.42/11.30	c cleaning 32010 clauses out of 64078 with flag 2924618/551002
13.22/12.18	c cleaning 33008 clauses out of 66066 with flag 3095269/585000
14.22/13.10	c cleaning 33980 clauses out of 68058 with flag 3274930/620000
15.13/14.05	c cleaning 35019 clauses out of 70079 with flag 3460641/656001
16.12/15.06	c cleaning 35999 clauses out of 72059 with flag 3641790/693000
17.12/16.08	c cleaning 37001 clauses out of 74060 with flag 3826210/731000
18.22/17.14	c cleaning 38018 clauses out of 76061 with flag 4019711/770002
19.31/18.26	c cleaning 39003 clauses out of 78041 with flag 4214872/810000
20.51/19.44	c cleaning 39982 clauses out of 80039 with flag 4410993/851001
21.81/20.71	c cleaning 40995 clauses out of 82056 with flag 4614218/893000
23.11/22.02	c cleaning 42009 clauses out of 84062 with flag 4822090/936001
24.40/23.36	c cleaning 43003 clauses out of 86053 with flag 5035263/980001
25.80/24.79	c cleaning 43994 clauses out of 88050 with flag 5255352/1025001
27.30/26.26	c cleaning 45000 clauses out of 90055 with flag 5477493/1071000
28.79/27.78	c cleaning 45995 clauses out of 92058 with flag 5698063/1118003
30.39/29.32	c cleaning 47000 clauses out of 94060 with flag 5924845/1166000
31.89/30.85	c cleaning 48016 clauses out of 96060 with flag 6156891/1215000
33.49/32.43	c cleaning 48986 clauses out of 98044 with flag 6388770/1265000
35.30/34.28	c cleaning 50018 clauses out of 100058 with flag 6635197/1316000
37.11/36.09	c cleaning 50992 clauses out of 102040 with flag 6879483/1368000
38.99/37.99	c cleaning 52001 clauses out of 104050 with flag 7132578/1421002
40.90/39.85	c cleaning 52997 clauses out of 106047 with flag 7379924/1475000
42.90/41.81	c cleaning 54001 clauses out of 108053 with flag 7632464/1530003
44.89/43.83	c cleaning 55004 clauses out of 110049 with flag 7887926/1586000
46.99/45.97	c cleaning 55994 clauses out of 112046 with flag 8150636/1643001
49.22/48.16	c cleaning 57001 clauses out of 114052 with flag 8415719/1701001
51.51/50.41	c cleaning 58001 clauses out of 116051 with flag 8680879/1760001
53.80/52.76	c cleaning 58991 clauses out of 118049 with flag 8948476/1820000
56.20/55.11	c cleaning 60007 clauses out of 120060 with flag 9220172/1881002
58.59/57.58	c cleaning 61000 clauses out of 122051 with flag 9492991/1943000
61.09/60.09	c cleaning 61997 clauses out of 124051 with flag 9773887/2006000
63.68/62.67	c cleaning 63005 clauses out of 126054 with flag 10055302/2070000
66.31/65.27	c cleaning 64016 clauses out of 128050 with flag 10340771/2135001
69.00/67.93	c cleaning 64998 clauses out of 130033 with flag 10631518/2201000
71.90/70.87	c cleaning 65995 clauses out of 132036 with flag 10929230/2268001
74.79/73.71	c cleaning 67006 clauses out of 134041 with flag 11224360/2336001
77.68/76.66	c cleaning 68001 clauses out of 136034 with flag 11522180/2405000
80.88/79.86	c cleaning 68997 clauses out of 138033 with flag 11828776/2475000
83.90/82.87	c cleaning 70002 clauses out of 140036 with flag 12128011/2546000
87.20/86.19	c cleaning 70993 clauses out of 142034 with flag 12438282/2618000
90.48/89.41	c cleaning 71996 clauses out of 144041 with flag 12751993/2691000
93.78/92.80	c cleaning 73005 clauses out of 146046 with flag 13069779/2765001
97.27/96.23	c cleaning 74013 clauses out of 148040 with flag 13388817/2840000
100.70/99.63	c cleaning 74986 clauses out of 150028 with flag 13706895/2916001
104.27/103.24	c cleaning 76003 clauses out of 152042 with flag 14028641/2993001
107.86/106.83	c cleaning 76993 clauses out of 154039 with flag 14355602/3071001
111.26/110.23	c cleaning 78003 clauses out of 156045 with flag 14684314/3150000
114.95/113.96	c cleaning 78998 clauses out of 158042 with flag 15012707/3230000
118.74/117.72	c cleaning 80009 clauses out of 160046 with flag 15342373/3311002
122.52/121.58	c cleaning 81002 clauses out of 162035 with flag 15675372/3393000
126.51/125.51	c cleaning 82017 clauses out of 164034 with flag 16014975/3476001
130.40/129.42	c cleaning 82999 clauses out of 166016 with flag 16347257/3560000
134.60/133.66	c cleaning 83999 clauses out of 168018 with flag 16697763/3645001
138.60/137.69	c cleaning 85000 clauses out of 170020 with flag 17046004/3731002
142.41/141.50	c cleaning 85991 clauses out of 172019 with flag 17394841/3818001
146.40/145.46	c cleaning 87000 clauses out of 174028 with flag 17746207/3906001
150.29/149.32	c cleaning 87995 clauses out of 176028 with flag 18096665/3995001
154.58/153.60	c cleaning 89004 clauses out of 178033 with flag 18458662/4085001
158.62/157.63	c cleaning 90000 clauses out of 180029 with flag 18814804/4176001
162.91/161.96	c cleaning 91004 clauses out of 182029 with flag 19177977/4268001
167.10/166.12	c cleaning 91995 clauses out of 184024 with flag 19538294/4361000
171.09/170.16	c cleaning 93000 clauses out of 186030 with flag 19901547/4455001
175.52/174.53	c cleaning 93997 clauses out of 188030 with flag 20262145/4550001
179.91/179.00	c cleaning 95001 clauses out of 190032 with flag 20632112/4646000
184.40/183.41	c cleaning 96004 clauses out of 192033 with flag 21001435/4743002
189.19/188.22	c cleaning 96995 clauses out of 194028 with flag 21380784/4841001
193.78/192.81	c cleaning 98015 clauses out of 196034 with flag 21762278/4940002
198.39/197.43	c cleaning 98993 clauses out of 198017 with flag 22140607/5040000
203.28/202.32	c cleaning 99993 clauses out of 200025 with flag 22529553/5141001
208.08/207.12	c cleaning 101001 clauses out of 202032 with flag 22913506/5243001
212.76/211.80	c cleaning 102000 clauses out of 204032 with flag 23301906/5346002
217.56/216.69	c cleaning 103006 clauses out of 206031 with flag 23700594/5450001
222.71/221.77	c cleaning 103999 clauses out of 208027 with flag 24097550/5555003
228.10/227.12	c cleaning 105000 clauses out of 210025 with flag 24508505/5661000
233.68/232.77	c cleaning 106005 clauses out of 212027 with flag 24925919/5768002
239.77/238.83	c cleaning 107003 clauses out of 214023 with flag 25350588/5876003
245.36/244.43	c cleaning 107990 clauses out of 216018 with flag 25764893/5985001
250.95/250.04	c cleaning 109001 clauses out of 218027 with flag 26181585/6095000
256.66/255.70	c cleaning 110014 clauses out of 220028 with flag 26604005/6206002
262.85/261.94	c cleaning 110997 clauses out of 222014 with flag 27039091/6318002
268.95/268.02	c cleaning 111996 clauses out of 224016 with flag 27474065/6431001
274.83/273.96	c cleaning 113002 clauses out of 226019 with flag 27911401/6545000
280.72/279.82	c cleaning 113996 clauses out of 228020 with flag 28344621/6660003
288.06/287.19	c cleaning 115003 clauses out of 230023 with flag 28802971/6776002
294.44/293.57	c cleaning 115997 clauses out of 232019 with flag 29253170/6893001
301.32/300.46	c cleaning 117004 clauses out of 234022 with flag 29707014/7011001
307.81/306.92	c cleaning 118002 clauses out of 236017 with flag 30159090/7130000
314.79/314.00	c cleaning 119001 clauses out of 238016 with flag 30617110/7250001
321.77/320.96	c cleaning 119998 clauses out of 240014 with flag 31087337/7371000
328.81/328.00	c cleaning 121006 clauses out of 242016 with flag 31551412/7493000
335.60/334.78	c cleaning 121988 clauses out of 244010 with flag 32029679/7616000
343.08/342.24	c cleaning 123005 clauses out of 246022 with flag 32513023/7740000
350.87/350.09	c cleaning 124005 clauses out of 248018 with flag 33003540/7865001
358.44/357.63	c cleaning 124998 clauses out of 250012 with flag 33499714/7991000
366.12/365.31	c cleaning 125999 clauses out of 252014 with flag 34004651/8118000
374.61/373.86	c cleaning 126996 clauses out of 254015 with flag 34510358/8246000
383.35/382.52	c cleaning 128000 clauses out of 256019 with flag 35020597/8375000
392.12/391.35	c cleaning 128997 clauses out of 258019 with flag 35541595/8505000
401.30/400.59	c cleaning 130002 clauses out of 260023 with flag 36053583/8636001
409.99/409.22	c cleaning 130998 clauses out of 262020 with flag 36577412/8768000
419.27/418.54	c cleaning 132005 clauses out of 264023 with flag 37105138/8901001
429.35/428.67	c cleaning 133001 clauses out of 266017 with flag 37628870/9035000
439.13/438.40	c cleaning 133993 clauses out of 268018 with flag 38157047/9170002
449.51/448.80	c cleaning 135005 clauses out of 270024 with flag 38691407/9306001
459.97/459.20	c cleaning 135999 clauses out of 272019 with flag 39237631/9443001
469.96/469.20	c cleaning 136996 clauses out of 274020 with flag 39773487/9581001
480.13/479.48	c cleaning 138003 clauses out of 276023 with flag 40315033/9720000
490.51/489.82	c cleaning 139002 clauses out of 278021 with flag 40869202/9860001
501.39/500.71	c cleaning 140001 clauses out of 280019 with flag 41437096/10001001
512.27/511.65	c cleaning 140997 clauses out of 282017 with flag 41993244/10143000
523.14/522.58	c cleaning 141999 clauses out of 284020 with flag 42572856/10286000
535.63/535.08	c cleaning 142999 clauses out of 286021 with flag 43173341/10430000
548.26/547.68	c cleaning 144004 clauses out of 288023 with flag 43778768/10575001
561.94/561.36	c cleaning 145006 clauses out of 290018 with flag 44410419/10721000
576.30/575.75	c cleaning 146000 clauses out of 292012 with flag 45055603/10868000
592.57/592.02	c cleaning 147001 clauses out of 294012 with flag 45701683/11016000
609.13/608.62	c cleaning 147996 clauses out of 296012 with flag 46363571/11165001
625.47/624.53	c starts		: 13773
625.47/624.53	c conflicts		: 11309465
625.47/624.53	c decisions		: 15714008
625.47/624.53	c propagations		: 91434184
625.47/624.53	c inspects		: 11144555986
625.47/624.53	c shortcuts		: 0
625.47/624.53	c learnt literals	: 13
625.47/624.53	c learnt binary clauses	: 68
625.47/624.53	c learnt ternary clauses	: 231
625.47/624.53	c learnt constraints	: 11309451
625.47/624.53	c ignored constraints	: 0
625.47/624.53	c root simplifications	: 0
625.47/624.53	c removed literals (reason simplification)	: 9414969
625.47/624.53	c reason swapping (by a shorter reason)	: 0
625.47/624.53	c Calls to reduceDB	: 145
625.47/624.53	c Number of update (reduction) of LBD	: 2446337
625.47/624.53	c Imported unit clauses	: 0
625.47/624.53	c No decision after first conflict	: false
625.47/624.53	c number of reductions to clauses (during analyze)	: 0
625.47/624.53	c number of learned constraints concerned by reduction	: 0
625.47/624.53	c number of learning phase by resolution	: 0
625.47/624.53	c number of learning phase by cutting planes	: 0
625.47/624.53	c number of rounding to 1 operations	: 0
625.47/624.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
625.47/624.53	c number of reductions of the coefficients by power 2 	: 0
625.47/624.53	c number of right shift for reduction by power 2 	: 0
625.47/624.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
625.47/624.53	c number of ending skipping 	: 0
625.47/624.53	c number of internal skipping 	: 0
625.47/624.53	c number of derivation steps 	: 0
625.47/624.53	c number of skipped derivation steps 	: 0
625.47/624.53	c number of remaining unassigned 	: 0
625.47/624.53	c number of remaining assigned 	: 0
625.47/624.53	c number of falsified literals weakened from reason	: 0
625.47/624.53	c number of falsified literals weakened from conflict	: 0
625.47/624.53	c time for arithmetic operations	: 0
625.47/624.53	c minimum degree of deleted constraints	: null
625.47/624.53	c maximum degree of deleted constraints	: null
625.47/624.53	c number of deleted constraints	: 0
625.47/624.53	c speed (assignments/second)	: 146444.8882774173
625.47/624.53	c non guided choices	: 563974
625.47/624.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 292398
625.47/624.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 68
625.47/624.59	s UNSATISFIABLE
625.47/624.59	c Total wall clock time (in seconds): 624.469

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62395 MiB free)
  memory of node 1: 64507 MiB (62150 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511092-1751199748/watcher-4511092-1751199748 -o /tmp/evaluation-result-4511092-1751199748/solver-4511092-1751199748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27852 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4511092-1751199748.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.15 4.13 4.12 5/340 30657
/proc/meminfo: memFree=127513292/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=18930384 memory=57996 CPUtime=0.13 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 6596 0 0 0 11 2 0 0 20 0 18 0 35652753 19384713216 14499 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4732596 14499 5366 1 0 547641 0
[pid=30639/tid=30641] ppid=30636 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 5093 0 0 0 7 1 0 0 20 0 18 0 35652754 19384713216 14499 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=18930384 memory=237112656212 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35652756 19384713216 14499 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=18930384 memory=58485492706614 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35652756 19384713216 14499 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57996 KiB

[startup+0.205837 s]*
/proc/loadavg: 4.15 4.13 4.12 7/341 30658
/proc/meminfo: memFree=127511276/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=18996948 memory=68716 CPUtime=0.33 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 7194 0 0 0 31 2 0 0 20 0 19 0 35652753 19452874752 17179 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4749237 17179 5430 1 0 548310 0
[pid=30639/tid=30641] ppid=30636 vsize=18996948 memory=4026597660 CPUtime=0.18 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 5313 0 0 0 17 1 0 0 20 0 19 0 35652754 19452874752 17179 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=18996948 memory=18949 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 17179 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=18996948 memory=57385981051877 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 17179 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35652770 19452874752 17179 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68716 KiB

[startup+0.305754 s]*
/proc/loadavg: 4.15 4.13 4.12 6/341 30658
/proc/meminfo: memFree=127497668/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=18996948 memory=78464 CPUtime=0.53 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 11682 0 0 0 50 3 0 0 20 0 19 0 35652753 19452874752 19616 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4749237 19616 5430 1 0 550770 0
[pid=30639/tid=30641] ppid=30636 vsize=18996948 memory=-6000919481329937516 CPUtime=0.26 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 5317 0 0 0 25 1 0 0 20 0 19 0 35652754 19452874752 19616 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 19616 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 19616 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35652770 19452874752 19616 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78464 KiB

[startup+0.700249 s]
/proc/loadavg: 4.15 4.13 4.12 6/341 30658
/proc/meminfo: memFree=127491808/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=18996948 memory=91248 CPUtime=1.29 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 15303 0 0 0 125 4 0 0 20 0 19 0 35652753 19452874752 22812 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4749237 22812 5430 1 0 552794 0
[pid=30639/tid=30641] ppid=30636 vsize=18996948 memory=17536 CPUtime=0.62 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 5443 0 0 0 61 1 0 0 20 0 19 0 35652754 19452874752 22812 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 22812 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 22812 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=18996948 memory=4756 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35652770 19452874752 22812 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91248 KiB

[startup+1.50022 s]
/proc/loadavg: 4.15 4.13 4.12 6/341 30658
/proc/meminfo: memFree=127480152/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=18996948 memory=104032 CPUtime=2.58 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 19153 0 0 0 254 4 0 0 20 0 19 0 35652753 19452874752 26008 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4749237 26008 5430 1 0 552797 0
[pid=30639/tid=30641] ppid=30636 vsize=18996948 memory=0 CPUtime=1.41 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 5752 0 0 0 139 2 0 0 20 0 19 0 35652754 19452874752 26008 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 26008 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 26008 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=18996948 memory=4756 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35652770 19452874752 26008 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104032 KiB

[startup+3.10567 s]
/proc/loadavg: 4.15 4.13 4.12 5/341 30658
/proc/meminfo: memFree=127451540/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=18996948 memory=122592 CPUtime=4.22 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 20000 0 0 0 417 5 0 0 20 0 19 0 35652753 19452874752 30648 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4749237 30648 5430 1 0 552799 0
[pid=30639/tid=30641] ppid=30636 vsize=18996948 memory=10752 CPUtime=3 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 6061 0 0 0 298 2 0 0 20 0 19 0 35652754 19452874752 30648 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=18996948 memory=-6000919481329937516 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 30648 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 30648 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35652770 19452874752 30648 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122592 KiB

[startup+6.30018 s]
/proc/loadavg: 4.22 4.15 4.13 5/341 30658
/proc/meminfo: memFree=127373212/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=18996948 memory=147088 CPUtime=7.42 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 20273 0 0 0 736 6 0 0 20 0 19 0 35652753 19452874752 36772 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4749237 36772 5462 1 0 552799 0
[pid=30639/tid=30641] ppid=30636 vsize=18996948 memory=0 CPUtime=6.18 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 6175 0 0 0 615 3 0 0 20 0 19 0 35652754 19452874752 36772 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 36772 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35652756 19452874752 36772 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=18996948 memory=106080 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35652770 19452874752 36772 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 7.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147088 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.15 4.13 5/342 30659
/proc/meminfo: memFree=127344548/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=170220 CPUtime=13.82 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 22879 0 0 0 1375 7 0 0 20 0 20 0 35652753 19521036288 42555 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 42555 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=106080 CPUtime=12.55 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 7087 0 0 0 1252 3 0 0 20 0 20 0 35652754 19521036288 42555 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=170220 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 42555 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 42555 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 42555 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 13.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170220 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.13 5/342 30659
/proc/meminfo: memFree=127332268/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=178476 CPUtime=26.6 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 25081 0 0 0 2653 7 0 0 20 0 20 0 35652753 19521036288 44619 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 44619 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=170220 CPUtime=25.31 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 7595 0 0 0 2528 3 0 0 20 0 20 0 35652754 19521036288 44619 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 44619 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=-6000919481329937516 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 44619 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 44619 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 26.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178476 KiB

[startup+51.1058 s]
/proc/loadavg: 4.16 4.14 4.13 5/342 30660
/proc/meminfo: memFree=127040996/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=232000 CPUtime=52.21 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 25321 0 0 0 5212 9 0 0 20 0 20 0 35652753 19521036288 58000 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 58000 5526 1 0 553104 0

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

/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 582.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 971528 KiB

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

# cumulated CPU time of all completed processes:  user=625.181 s, system=0.429408 s

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

[startup+588.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/342 30886
/proc/meminfo: memFree=126759224/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=971528 CPUtime=589.37 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 33876 0 0 0 58898 39 0 0 20 0 20 0 35652753 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 242882 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=897788 CPUtime=586.41 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 10756 0 0 0 58633 8 0 0 20 0 20 0 35652754 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=971528 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=971528 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=971528 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 589.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 971528 KiB

[startup+601.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/342 30887
/proc/meminfo: memFree=126759264/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=971528 CPUtime=602.14 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 33968 0 0 0 60174 40 0 0 20 0 20 0 35652753 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 242882 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=971528 CPUtime=599.17 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 10838 0 0 0 59909 8 0 0 20 0 20 0 35652754 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=971528 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=971528 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=307148 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 602.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 971528 KiB

[startup+614.4 s]
/proc/loadavg: 4.02 4.07 4.08 4/319 30890
/proc/meminfo: memFree=127579172/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=971528 CPUtime=614.91 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 34005 0 0 0 61450 41 0 0 20 0 20 0 35652753 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 242882 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=3328 CPUtime=611.93 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 10870 0 0 0 61185 8 0 0 20 0 20 0 35652754 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=897788 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=897788 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 242882 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 614.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 971528 KiB

[startup+620.8 s]
/proc/loadavg: 4.02 4.07 4.08 5/341 30952
/proc/meminfo: memFree=127494360/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=979976 CPUtime=621.57 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 38757 0 0 0 62116 41 0 0 20 0 20 0 35652753 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 244994 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=10752 CPUtime=618.31 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 11599 0 0 0 61823 8 0 0 20 0 20 0 35652754 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=971528 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 621.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 979976 KiB

[startup+622.4 s]
/proc/loadavg: 4.02 4.07 4.08 5/341 30952
/proc/meminfo: memFree=127486168/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=979976 CPUtime=623.17 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 38759 0 0 0 62276 41 0 0 20 0 20 0 35652753 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 244994 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=5632 CPUtime=619.9 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 11599 0 0 0 61982 8 0 0 20 0 20 0 35652754 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=129 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=170926134 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 244994 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 623.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 979976 KiB

[startup+624 s]*
/proc/loadavg: 4.02 4.07 4.08 5/341 30952
/proc/meminfo: memFree=127473880/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=980104 CPUtime=624.94 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 38918 0 0 0 62453 41 0 0 20 0 20 0 35652753 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 245026 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=-6000919507099544684 CPUtime=621.5 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 11646 0 0 0 62142 8 0 0 20 0 20 0 35652754 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=1314144 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=6900 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=979976 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 624.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 980104 KiB

[startup+624.4 s]
/proc/loadavg: 4.02 4.07 4.08 5/341 30952
/proc/meminfo: memFree=127473880/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19063512 memory=980104 CPUtime=625.34 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 38918 0 0 0 62492 42 0 0 20 0 20 0 35652753 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4765878 245026 5526 1 0 553104 0
[pid=30639/tid=30641] ppid=30636 vsize=19063512 memory=4352 CPUtime=621.9 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) R 30636 30639 27841 0 -1 4194368 11646 0 0 0 62182 8 0 0 20 0 20 0 35652754 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19063512 memory=980104 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 20 0 35652756 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30658] ppid=30636 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/30639/task/30658/stat : 30658 (Timer-0) S 30636 30639 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35652770 19521036288 245026 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 625.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 980104 KiB

[startup+624.6 s]
/proc/loadavg: 4.02 4.07 4.08 5/341 30952
/proc/meminfo: memFree=127473880/131249996 swapFree=33010684/33010684
[pid=30639] ppid=30636 vsize=19196640 memory=980616 CPUtime=625.6 cores=4,6
/proc/30639/stat : 30639 (java) S 30636 30639 27841 0 -1 4194304 40325 0 0 0 62518 42 0 0 20 0 14 0 35652753 19657359360 245154 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
/proc/30639/statm: 4799160 245154 5526 1 0 553738 0
[pid=30639/tid=30641] ppid=30636 vsize=19196640 memory=12544 CPUtime=622.02 cores=4,6
/proc/30639/task/30641/stat : 30641 (java) S 30636 30639 27841 0 -1 4194368 12456 0 0 0 62194 8 0 0 20 0 14 0 35652754 19657359360 245154 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30650] ppid=30636 vsize=19196640 memory=2744 CPUtime=0 cores=4,6
/proc/30639/task/30650/stat : 30650 (Finalizer) S 30636 30639 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 14 0 35652756 19657359360 245154 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
[pid=30639/tid=30657] ppid=30636 vsize=19196640 memory=17316 CPUtime=0 cores=4,6
/proc/30639/task/30657/stat : 30657 (Common-Cleaner) S 30636 30639 27841 0 -1 4194368 220 0 0 0 0 0 0 0 20 0 14 0 35652756 19657359360 245154 18446744073709551615 93877634072576 93877634076272 140721111366304 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93877634084088 93877634084880 93877648101376 140721111370113 140721111370214 140721111370214 140721111375816 0
Current children cumulated CPU time: 625.6 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 980616 KiB

Child status: 20

Real time (s): 624.615
CPU time (s): 625.611
CPU user time (s): 625.181
CPU system time (s): 0.429408
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 980616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 625.181
system time used= 0.429408
maximum resident set size= 980744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20144
involuntary context switches= 1257


# summary of solver processes directly reported to runsolver:
#   pid: 30639
#   total CPU time (s): 625.611
#   total CPU user time (s): 625.181
#   total CPU system time (s): 0.429408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09252 second user time and 3.24057 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 14:22:29
IDJOB=4511092
IDBENCH=160428
IDSOLVER=3363
FILE ID=nodeC024/4511092-1751199748
RUNJOBID= nodeC024-1751191546-27852
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511092-1751199748/watcher-4511092-1751199748 -o /tmp/evaluation-result-4511092-1751199748/solver-4511092-1751199748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27852 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4511092-1751199748.opb

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=384821799

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.668
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.649
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		: 3599.094
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		: 3600.575
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.686
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.671
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		: 3600.975
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		: 3700.000
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:        127535028 kB
MemAvailable:   127217444 kB
Buffers:            3280 kB
Cached:           492004 kB
SwapCached:            0 kB
Active:          2905248 kB
Inactive:         237440 kB
Active(anon):    2665472 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   237440 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               744 kB
Writeback:             0 kB
AnonPages:       2649980 kB
Mapped:           122584 kB
Shmem:             18064 kB
KReclaimable:      88476 kB
Slab:             175408 kB
SReclaimable:      88476 kB
SUnreclaim:        86932 kB
KernelStack:        5216 kB
PageTables:         8892 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7050984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2465792 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 14:32:53