Trace number 4511093

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 VeriPB 2025-06-06UNSAT cert. 644.332 642.774

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.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4511093-1751199938.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  no objective function found
0.12/0.17	c ... done. Wall clock time 0.042s.
0.12/0.17	c declared #vars     801
0.12/0.17	c #constraints  802
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
0.12/0.17	c 802 constraints processed.
0.89/0.55	c cleaning 2482 clauses out of 5000 with flag 19723/5000
1.46/0.83	c cleaning 4236 clauses out of 8518 with flag 46764/11000
2.06/1.11	c cleaning 5620 clauses out of 11282 with flag 82437/18000
2.45/1.31	c cleaning 6817 clauses out of 13662 with flag 122861/26000
2.85/1.50	c cleaning 7883 clauses out of 15845 with flag 168982/35000
3.25/1.70	c cleaning 8966 clauses out of 17962 with flag 222596/45000
3.62/1.90	c cleaning 9960 clauses out of 19996 with flag 282784/56000
4.02/2.11	c cleaning 11007 clauses out of 22038 with flag 348090/68002
4.21/2.34	c cleaning 11992 clauses out of 24031 with flag 423430/81002
4.41/2.59	c cleaning 12968 clauses out of 26037 with flag 502510/95000
4.82/2.90	c cleaning 13996 clauses out of 28070 with flag 589789/110001
5.11/3.20	c cleaning 15001 clauses out of 30075 with flag 681573/126002
5.45/3.54	c cleaning 15975 clauses out of 32072 with flag 781021/143000
5.86/3.92	c cleaning 17002 clauses out of 34098 with flag 879337/161001
6.27/4.32	c cleaning 18021 clauses out of 36097 with flag 982371/180002
6.66/4.76	c cleaning 19003 clauses out of 38074 with flag 1096147/200000
7.18/5.23	c cleaning 20005 clauses out of 40071 with flag 1216927/221000
7.69/5.71	c cleaning 21014 clauses out of 42066 with flag 1336573/243000
8.18/6.22	c cleaning 21986 clauses out of 44053 with flag 1462825/266001
8.78/6.81	c cleaning 22995 clauses out of 46068 with flag 1586456/290002
9.38/7.40	c cleaning 24010 clauses out of 48071 with flag 1719098/315000
9.98/8.05	c cleaning 24998 clauses out of 50062 with flag 1855293/341001
10.68/8.75	c cleaning 26015 clauses out of 52063 with flag 1994245/368000
11.37/9.49	c cleaning 26980 clauses out of 54050 with flag 2136885/396002
12.18/10.26	c cleaning 27996 clauses out of 56068 with flag 2284294/425000
12.97/11.09	c cleaning 28995 clauses out of 58072 with flag 2436203/455000
13.87/11.97	c cleaning 29991 clauses out of 60077 with flag 2593472/486000
14.78/12.86	c cleaning 31010 clauses out of 62086 with flag 2760882/518000
15.67/13.79	c cleaning 32010 clauses out of 64078 with flag 2924618/551002
16.67/14.78	c cleaning 33008 clauses out of 66066 with flag 3095269/585000
17.77/15.82	c cleaning 33980 clauses out of 68058 with flag 3274930/620000
18.76/16.89	c cleaning 35019 clauses out of 70079 with flag 3460641/656001
19.97/18.03	c cleaning 35999 clauses out of 72059 with flag 3641790/693000
21.08/19.19	c cleaning 37001 clauses out of 74060 with flag 3826210/731000
22.37/20.40	c cleaning 38018 clauses out of 76061 with flag 4019711/770002
23.56/21.67	c cleaning 39003 clauses out of 78041 with flag 4214872/810000
24.86/22.96	c cleaning 39982 clauses out of 80039 with flag 4410993/851001
26.26/24.32	c cleaning 40995 clauses out of 82056 with flag 4614218/893000
27.66/25.70	c cleaning 42009 clauses out of 84062 with flag 4822090/936001
29.06/27.14	c cleaning 43003 clauses out of 86053 with flag 5035263/980001
30.57/28.69	c cleaning 43994 clauses out of 88050 with flag 5255352/1025001
32.17/30.24	c cleaning 45000 clauses out of 90055 with flag 5477493/1071000
33.76/31.85	c cleaning 45995 clauses out of 92058 with flag 5698063/1118003
35.46/33.50	c cleaning 47000 clauses out of 94060 with flag 5924845/1166000
37.00/35.28	c cleaning 48016 clauses out of 96060 with flag 6156891/1215000
38.70/36.99	c cleaning 48986 clauses out of 98044 with flag 6388770/1265000
40.72/38.93	c cleaning 50018 clauses out of 100058 with flag 6635197/1316000
42.61/40.81	c cleaning 50992 clauses out of 102040 with flag 6879483/1368000
44.51/42.79	c cleaning 52001 clauses out of 104050 with flag 7132578/1421002
46.50/44.75	c cleaning 52997 clauses out of 106047 with flag 7379924/1475000
48.59/46.81	c cleaning 54001 clauses out of 108053 with flag 7632464/1530003
50.69/48.94	c cleaning 55004 clauses out of 110049 with flag 7887926/1586000
53.00/51.20	c cleaning 55994 clauses out of 112046 with flag 8150636/1643001
55.25/53.45	c cleaning 57001 clauses out of 114052 with flag 8415719/1701001
57.64/55.80	c cleaning 58001 clauses out of 116051 with flag 8680879/1760001
60.04/58.26	c cleaning 58991 clauses out of 118049 with flag 8948476/1820000
62.52/60.72	c cleaning 60007 clauses out of 120060 with flag 9220172/1881002
65.03/63.27	c cleaning 61000 clauses out of 122051 with flag 9492991/1943000
67.70/66.02	c cleaning 61997 clauses out of 124051 with flag 9773887/2006000
70.39/68.70	c cleaning 63005 clauses out of 126054 with flag 10055302/2070000
72.99/71.39	c cleaning 64016 clauses out of 128050 with flag 10340771/2135001
75.81/74.17	c cleaning 64998 clauses out of 130033 with flag 10631518/2201000
78.80/77.16	c cleaning 65995 clauses out of 132036 with flag 10929230/2268001
81.69/80.05	c cleaning 67006 clauses out of 134041 with flag 11224360/2336001
84.68/83.01	c cleaning 68001 clauses out of 136034 with flag 11522180/2405000
87.89/86.23	c cleaning 68997 clauses out of 138033 with flag 11828776/2475000
90.88/89.26	c cleaning 70002 clauses out of 140036 with flag 12128011/2546000
94.27/92.65	c cleaning 70993 clauses out of 142034 with flag 12438282/2618000
97.52/96.07	c cleaning 71996 clauses out of 144041 with flag 12751993/2691000
101.03/99.54	c cleaning 73005 clauses out of 146046 with flag 13069779/2765001
104.41/102.99	c cleaning 74013 clauses out of 148040 with flag 13388817/2840000
107.81/106.39	c cleaning 74986 clauses out of 150028 with flag 13706895/2916001
111.39/109.99	c cleaning 76003 clauses out of 152042 with flag 14028641/2993001
115.10/113.67	c cleaning 76993 clauses out of 154039 with flag 14355602/3071001
118.59/117.15	c cleaning 78003 clauses out of 156045 with flag 14684314/3150000
122.38/120.92	c cleaning 78998 clauses out of 158042 with flag 15012707/3230000
126.19/124.74	c cleaning 80009 clauses out of 160046 with flag 15342373/3311002
129.96/128.64	c cleaning 81002 clauses out of 162035 with flag 15675372/3393000
133.86/132.56	c cleaning 82017 clauses out of 164034 with flag 16014975/3476001
137.74/136.46	c cleaning 82999 clauses out of 166016 with flag 16347257/3560000
142.05/140.70	c cleaning 83999 clauses out of 168018 with flag 16697763/3645001
146.14/144.80	c cleaning 85000 clauses out of 170020 with flag 17046004/3731002
150.03/148.70	c cleaning 85991 clauses out of 172019 with flag 17394841/3818001
154.14/152.82	c cleaning 87000 clauses out of 174028 with flag 17746207/3906001
158.13/156.81	c cleaning 87995 clauses out of 176028 with flag 18096665/3995001
162.52/161.30	c cleaning 89004 clauses out of 178033 with flag 18458662/4085001
166.64/165.44	c cleaning 90000 clauses out of 180029 with flag 18814804/4176001
171.13/169.94	c cleaning 91004 clauses out of 182029 with flag 19177977/4268001
175.32/174.19	c cleaning 91995 clauses out of 184024 with flag 19538294/4361000
179.62/178.41	c cleaning 93000 clauses out of 186030 with flag 19901547/4455001
184.02/182.88	c cleaning 93997 clauses out of 188030 with flag 20262145/4550001
188.70/187.55	c cleaning 95001 clauses out of 190032 with flag 20632112/4646000
193.28/192.25	c cleaning 96004 clauses out of 192033 with flag 21001435/4743002
198.26/197.25	c cleaning 96995 clauses out of 194028 with flag 21380784/4841001
203.06/202.02	c cleaning 98015 clauses out of 196034 with flag 21762278/4940002
207.84/206.87	c cleaning 98993 clauses out of 198017 with flag 22140607/5040000
212.93/211.92	c cleaning 99993 clauses out of 200025 with flag 22529553/5141001
217.95/216.91	c cleaning 101001 clauses out of 202032 with flag 22913506/5243001
222.84/221.92	c cleaning 102000 clauses out of 204032 with flag 23301906/5346002
227.93/227.07	c cleaning 103006 clauses out of 206031 with flag 23700594/5450001
233.23/232.31	c cleaning 103999 clauses out of 208027 with flag 24097550/5555003
238.82/237.95	c cleaning 105000 clauses out of 210025 with flag 24508505/5661000
244.71/243.88	c cleaning 106005 clauses out of 212027 with flag 24925919/5768002
251.12/250.35	c cleaning 107003 clauses out of 214023 with flag 25350588/5876003
256.92/256.18	c cleaning 107990 clauses out of 216018 with flag 25764893/5985001
262.93/262.19	c cleaning 109001 clauses out of 218027 with flag 26181585/6095000
268.91/268.17	c cleaning 110014 clauses out of 220028 with flag 26604005/6206002
275.52/274.73	c cleaning 110997 clauses out of 222014 with flag 27039091/6318002
281.65/280.99	c cleaning 111996 clauses out of 224016 with flag 27474065/6431001
287.63/286.94	c cleaning 113002 clauses out of 226019 with flag 27911401/6545000
293.64/292.98	c cleaning 113996 clauses out of 228020 with flag 28344621/6660003
300.92/300.24	c cleaning 115003 clauses out of 230023 with flag 28802971/6776002
307.34/306.67	c cleaning 115997 clauses out of 232019 with flag 29253170/6893001
314.27/313.64	c cleaning 117004 clauses out of 234022 with flag 29707014/7011001
320.80/320.18	c cleaning 118002 clauses out of 236017 with flag 30159090/7130000
327.98/327.39	c cleaning 119001 clauses out of 238016 with flag 30617110/7250001
335.06/334.48	c cleaning 119998 clauses out of 240014 with flag 31087337/7371000
342.33/341.74	c cleaning 121006 clauses out of 242016 with flag 31551412/7493000
349.21/348.67	c cleaning 121988 clauses out of 244010 with flag 32029679/7616000
357.05/356.45	c cleaning 123005 clauses out of 246022 with flag 32513023/7740000
365.03/364.43	c cleaning 124005 clauses out of 248018 with flag 33003540/7865001
372.77/372.14	c cleaning 124998 clauses out of 250012 with flag 33499714/7991000
380.72/380.06	c cleaning 125999 clauses out of 252014 with flag 34004651/8118000
389.43/388.72	c cleaning 126996 clauses out of 254015 with flag 34510358/8246000
397.93/397.28	c cleaning 128000 clauses out of 256019 with flag 35020597/8375000
406.93/406.29	c cleaning 128997 clauses out of 258019 with flag 35541595/8505000
416.37/415.62	c cleaning 130002 clauses out of 260023 with flag 36053583/8636001
425.21/424.40	c cleaning 130998 clauses out of 262020 with flag 36577412/8768000
434.50/433.79	c cleaning 132005 clauses out of 264023 with flag 37105138/8901001
444.63/443.89	c cleaning 133001 clauses out of 266017 with flag 37628870/9035000
454.53/453.79	c cleaning 133993 clauses out of 268018 with flag 38157047/9170002
465.29/464.50	c cleaning 135005 clauses out of 270024 with flag 38691407/9306001
475.83/475.00	c cleaning 135999 clauses out of 272019 with flag 39237631/9443001
486.20/485.35	c cleaning 136996 clauses out of 274020 with flag 39773487/9581001
496.81/495.90	c cleaning 138003 clauses out of 276023 with flag 40315033/9720000
507.19/506.37	c cleaning 139002 clauses out of 278021 with flag 40869202/9860001
518.33/517.42	c cleaning 140001 clauses out of 280019 with flag 41437096/10001001
529.45/528.64	c cleaning 140997 clauses out of 282017 with flag 41993244/10143000
540.57/539.73	c cleaning 141999 clauses out of 284020 with flag 42572856/10286000
553.04/552.22	c cleaning 142999 clauses out of 286021 with flag 43173341/10430000
565.93/565.13	c cleaning 144004 clauses out of 288023 with flag 43778768/10575001
579.78/578.97	c cleaning 145006 clauses out of 290018 with flag 44410419/10721000
594.40/593.65	c cleaning 146000 clauses out of 292012 with flag 45055603/10868000
610.83/610.00	c cleaning 147001 clauses out of 294012 with flag 45701683/11016000
627.24/626.55	c cleaning 147996 clauses out of 296012 with flag 46363571/11165001
644.13/642.68	c starts		: 13773
644.13/642.68	c conflicts		: 11309465
644.13/642.68	c decisions		: 15714008
644.13/642.68	c propagations		: 91434184
644.13/642.68	c inspects		: 11144555986
644.13/642.68	c shortcuts		: 0
644.13/642.68	c learnt literals	: 13
644.13/642.68	c learnt binary clauses	: 68
644.13/642.68	c learnt ternary clauses	: 231
644.13/642.68	c learnt constraints	: 11309451
644.13/642.68	c ignored constraints	: 0
644.13/642.68	c root simplifications	: 0
644.13/642.68	c removed literals (reason simplification)	: 9414969
644.13/642.68	c reason swapping (by a shorter reason)	: 0
644.13/642.68	c Calls to reduceDB	: 145
644.13/642.68	c Number of update (reduction) of LBD	: 2446337
644.13/642.68	c Imported unit clauses	: 0
644.13/642.68	c No decision after first conflict	: false
644.13/642.68	c number of reductions to clauses (during analyze)	: 0
644.13/642.68	c number of learned constraints concerned by reduction	: 0
644.13/642.68	c number of learning phase by resolution	: 0
644.13/642.68	c number of learning phase by cutting planes	: 0
644.13/642.68	c number of rounding to 1 operations	: 0
644.13/642.68	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
644.13/642.68	c number of reductions of the coefficients by power 2 	: 0
644.13/642.68	c number of right shift for reduction by power 2 	: 0
644.13/642.68	c number of reductions of the coefficients by GCD over coefficients 	: 0
644.13/642.68	c number of ending skipping 	: 0
644.13/642.68	c number of internal skipping 	: 0
644.13/642.68	c number of derivation steps 	: 0
644.13/642.68	c number of skipped derivation steps 	: 0
644.13/642.68	c number of remaining unassigned 	: 0
644.13/642.68	c number of remaining assigned 	: 0
644.13/642.68	c number of falsified literals weakened from reason	: 0
644.13/642.68	c number of falsified literals weakened from conflict	: 0
644.13/642.68	c time for arithmetic operations	: 0
644.13/642.68	c minimum degree of deleted constraints	: null
644.13/642.68	c maximum degree of deleted constraints	: null
644.13/642.68	c number of deleted constraints	: 0
644.13/642.68	c speed (assignments/second)	: 142309.34952832904
644.13/642.68	c non guided choices	: 563974
644.25/642.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 292398
644.25/642.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 68
644.25/642.75	s UNSATISFIABLE
644.25/642.75	c Total wall clock time (in seconds): 642.62

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 15:14:03 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 (59051 MiB free)
  memory of node 1: 64507 MiB (60401 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511093-1751199938/watcher-4511093-1751199938 -o /tmp/evaluation-result-4511093-1751199938/solver-4511093-1751199938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24983 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4511093-1751199938 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4511093-1751199938.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
Current StackSize limit: 8192 KiB

solver pid=27806, runsolver pid=27803

[startup+0.100063 s]*
/proc/loadavg: 4.24 4.19 4.15 5/345 27824
/proc/meminfo: memFree=122287980/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=18930384 memory=57736 CPUtime=0.12 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 6575 0 0 0 11 1 0 0 20 0 18 0 35671604 19384713216 14434 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4732596 14434 5328 1 0 547620 0
[pid=27806/tid=27808] ppid=27803 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 5078 0 0 0 7 1 0 0 20 0 18 0 35671606 19384713216 14434 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=18930384 memory=224227754321 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35671608 19384713216 14434 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=18930384 memory=59585004335488 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35671608 19384713216 14434 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57736 KiB

[startup+0.205901 s]*
/proc/loadavg: 4.24 4.19 4.15 5/346 27825
/proc/meminfo: memFree=122279284/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=18996948 memory=68316 CPUtime=0.32 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 7132 0 0 0 30 2 0 0 20 0 19 0 35671604 19452874752 17079 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4749237 17079 5392 1 0 548271 0
[pid=27806/tid=27808] ppid=27803 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 5359 0 0 0 15 1 0 0 20 0 19 0 35671606 19452874752 17079 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=18996948 memory=16195 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35671608 19452874752 17079 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=18996948 memory=58485492679654 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35671608 19452874752 17079 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=18996948 memory=3688509904529944000 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35671622 19452874752 17079 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68316 KiB

[startup+0.305897 s]*
/proc/loadavg: 4.24 4.19 4.15 6/346 27825
/proc/meminfo: memFree=122268068/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=18996948 memory=82828 CPUtime=0.51 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 10193 0 0 0 48 3 0 0 20 0 19 0 35671604 19452874752 20707 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4749237 20707 5392 1 0 549734 0
[pid=27806/tid=27808] ppid=27803 vsize=18996948 memory=-6000919494265038189 CPUtime=0.25 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 5381 0 0 0 24 1 0 0 20 0 19 0 35671606 19452874752 20707 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35671608 19452874752 20707 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35671608 19452874752 20707 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35671622 19452874752 20707 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82828 KiB

[startup+0.700243 s]
/proc/loadavg: 4.30 4.20 4.16 6/346 27825
/proc/meminfo: memFree=122243808/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=18996948 memory=132932 CPUtime=1.27 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 13773 0 0 0 123 4 0 0 20 0 19 0 35671604 19452874752 33233 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4749237 33233 5424 1 0 552366 0
[pid=27806/tid=27808] ppid=27803 vsize=18996948 memory=17280 CPUtime=0.59 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 5469 0 0 0 57 2 0 0 20 0 19 0 35671606 19452874752 33233 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35671608 19452874752 33233 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35671608 19452874752 33233 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35671622 19452874752 33233 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132932 KiB

[startup+1.50024 s]
/proc/loadavg: 4.30 4.20 4.16 6/347 27826
/proc/meminfo: memFree=122168196/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=176428 CPUtime=2.85 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 21375 0 0 0 278 7 0 0 20 0 20 0 35671604 19521036288 44107 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 44107 5456 1 0 554073 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=0 CPUtime=1.37 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 5956 0 0 0 133 4 0 0 20 0 20 0 35671606 19521036288 44107 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 44107 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 44107 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 44107 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176428 KiB

[startup+3.10575 s]
/proc/loadavg: 4.30 4.20 4.16 5/347 27826
/proc/meminfo: memFree=122060996/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=269096 CPUtime=5.02 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 23661 0 0 0 491 11 0 0 20 0 20 0 35671604 19521036288 67274 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 67274 5456 1 0 554075 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=10752 CPUtime=2.95 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 6402 0 0 0 287 8 0 0 20 0 20 0 35671606 19521036288 67274 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=-6000919494265038189 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 67274 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 67274 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 67274 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 269096 KiB

[startup+6.3002 s]
/proc/loadavg: 4.28 4.20 4.16 5/347 27826
/proc/meminfo: memFree=121815432/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=477648 CPUtime=8.28 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 24175 0 0 0 809 19 0 0 20 0 20 0 35671604 19521036288 119412 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 119412 5488 1 0 554075 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=0 CPUtime=6.13 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 6633 0 0 0 597 16 0 0 20 0 20 0 35671606 19521036288 119412 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 119412 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 119412 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=176556 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 119412 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 477648 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.19 4.16 5/347 27826
/proc/meminfo: memFree=121074264/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1178092 CPUtime=14.68 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 27333 0 0 0 1429 39 0 0 20 0 20 0 35671604 19521036288 294523 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 294523 5488 1 0 554075 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=176556 CPUtime=12.5 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 8180 0 0 0 1216 34 0 0 20 0 20 0 35671606 19521036288 294523 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=1075664 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 294523 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 294523 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 294523 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 14.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1178092 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.19 4.16 5/347 27827
/proc/meminfo: memFree=120955608/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1184236 CPUtime=27.46 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 30305 0 0 0 2695 51 0 0 20 0 20 0 35671604 19521036288 296059 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 296059 5488 1 0 554075 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=1075664 CPUtime=25.25 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 9241 0 0 0 2479 46 0 0 20 0 20 0 35671606 19521036288 296059 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 296059 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=-6000919494265038189 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 296059 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 296059 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 27.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1184236 KiB

[startup+51.1059 s]
/proc/loadavg: 4.26 4.20 4.16 5/348 27828
/proc/meminfo: memFree=120611060/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1319424 CPUtime=52.9 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 33482 0 0 0 5219 71 0 0 20 0 20 0 35671604 19521036288 329856 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 329856 5488 1 0 554075 0

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

/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 215 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 346316 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=1381168 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 346316 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 342.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1385264 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/346 27977
/proc/meminfo: memFree=120983076/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1416168 CPUtime=403.1 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 45897 0 0 0 40042 268 0 0 20 0 20 0 35671604 19521036288 354042 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 354042 5488 1 0 554075 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=29992 CPUtime=398.93 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 15753 0 0 0 39641 252 0 0 20 0 20 0 35671606 19521036288 354042 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=1337964 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 354042 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 273 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 354042 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=1407948 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 354042 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 403.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1416168 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/346 27984
/proc/meminfo: memFree=120591428/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1465444 CPUtime=463.15 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 46205 0 0 0 46025 290 0 0 20 0 20 0 35671604 19521036288 366361 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 366361 5488 1 0 554075 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=1453128 CPUtime=458.44 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 15887 0 0 0 45573 271 0 0 20 0 20 0 35671606 19521036288 366361 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=1453128 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 366361 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=1465444 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 273 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 366361 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=1453128 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 366361 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 463.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1465444 KiB

[startup+522.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/347 27987
/proc/meminfo: memFree=120140608/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1549492 CPUtime=523.21 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 48595 0 0 0 52008 313 0 0 20 0 20 0 35671604 19521036288 387373 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 387373 5488 1 0 554075 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=21996 CPUtime=517.94 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 17124 0 0 0 51503 291 0 0 20 0 20 0 35671606 19521036288 387373 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=1531056 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 387373 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=1531056 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 274 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 387373 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=1549492 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 387373 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 523.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1549492 KiB

[startup+582.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/347 27989
/proc/meminfo: memFree=119794840/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1590540 CPUtime=583.17 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 49925 0 0 0 57985 332 0 0 20 0 20 0 35671604 19521036288 397635 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 397635 5488 1 0 554075 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=1531056 CPUtime=577.46 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 18074 0 0 0 57439 307 0 0 20 0 20 0 35671606 19521036288 397635 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=1563848 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 397635 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=1563848 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 331 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 397635 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=1563848 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 397635 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 583.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1590540 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/347 27991
/proc/meminfo: memFree=119479568/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1634096 CPUtime=643.82 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 58524 0 0 0 64035 347 0 0 20 0 20 0 35671604 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 408524 5488 1 0 554650 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=1531056 CPUtime=637.07 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 19711 0 0 0 63387 320 0 0 20 0 20 0 35671606 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=-6000919494265038189 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 391 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=1634332 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 643.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1634096 KiB

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

# cumulated CPU time of all completed processes:  user=640.838 s, system=3.49446 s

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

[startup+642.4 s]
/proc/loadavg: 4.14 4.12 4.12 5/347 27991
/proc/meminfo: memFree=119479568/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1634096 CPUtime=643.92 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 58524 0 0 0 64045 347 0 0 20 0 20 0 35671604 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 408524 5488 1 0 554650 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=4480 CPUtime=637.17 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 19711 0 0 0 63397 320 0 0 20 0 20 0 35671606 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=1634096 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=1634332 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 391 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=1634332 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 643.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1634096 KiB

[startup+642.6 s]
/proc/loadavg: 4.14 4.12 4.12 5/347 27991
/proc/meminfo: memFree=119479568/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19063512 memory=1634096 CPUtime=644.13 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 58526 0 0 0 64066 347 0 0 20 0 20 0 35671604 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4765878 408524 5488 1 0 554650 0
[pid=27806/tid=27808] ppid=27803 vsize=19063512 memory=1792 CPUtime=637.37 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 24970 0 -1 4194368 19711 0 0 0 63417 320 0 0 20 0 20 0 35671606 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19063512 memory=3072 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 391 0 0 0 0 0 0 0 20 0 20 0 35671608 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27825] ppid=27803 vsize=19063512 memory=6784 CPUtime=0 cores=5,7
/proc/27806/task/27825/stat : 27825 (Timer-0) S 27803 27806 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35671622 19521036288 408524 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 644.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1634096 KiB

[startup+642.7 s]
/proc/loadavg: 4.14 4.12 4.12 5/347 27991
/proc/meminfo: memFree=119479568/131249996 swapFree=33010684/33010684
[pid=27806] ppid=27803 vsize=19196640 memory=1634608 CPUtime=644.25 cores=5,7
/proc/27806/stat : 27806 (java) S 27803 27806 24970 0 -1 4194304 59657 0 0 0 64077 348 0 0 20 0 20 0 35671604 19657359360 408652 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
/proc/27806/statm: 4799160 408652 5520 1 0 555284 0
[pid=27806/tid=27808] ppid=27803 vsize=19196640 memory=1531056 CPUtime=637.42 cores=5,7
/proc/27806/task/27808/stat : 27808 (java) S 27803 27806 24970 0 -1 4194368 20526 0 0 0 63421 321 0 0 20 0 20 0 35671606 19657359360 408652 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27817] ppid=27803 vsize=19196640 memory=-6000919494265038189 CPUtime=0 cores=5,7
/proc/27806/task/27817/stat : 27817 (Finalizer) S 27803 27806 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35671608 19657359360 408652 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
[pid=27806/tid=27824] ppid=27803 vsize=19196640 memory=14824 CPUtime=0 cores=5,7
/proc/27806/task/27824/stat : 27824 (Common-Cleaner) S 27803 27806 24970 0 -1 4194368 391 0 0 0 0 0 0 0 20 0 20 0 35671608 19657359360 408652 18446744073709551615 94059880013824 94059880017520 140725109702672 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94059880025336 94059880026128 94059905339392 140725109705008 140725109705190 140725109705190 140725109710792 0
Current children cumulated CPU time: 644.25 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1634608 KiB

Child status: 20

Real time (s): 642.774
CPU time (s): 644.332
CPU user time (s): 640.838
CPU system time (s): 3.49446
CPU usage (%): 100.242
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1634608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 640.838
system time used= 3.49446
maximum resident set size= 1634864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59864
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2857984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22194
involuntary context switches= 5226


# summary of solver processes directly reported to runsolver:
#   pid: 27806
#   total CPU time (s): 644.332
#   total CPU user time (s): 640.838
#   total CPU system time (s): 3.49446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67268 second user time and 2.87967 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 14:25:39
IDJOB=4511093
IDBENCH=160428
IDSOLVER=3364
FILE ID=nodeC017/4511093-1751199938
RUNJOBID= nodeC017-1751191606-24983
SLURM_JOB_ID= 9587581
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511093-1751199938/watcher-4511093-1751199938 -o /tmp/evaluation-result-4511093-1751199938/solver-4511093-1751199938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24983 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4511093-1751199938 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4511093-1751199938.opb

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=1984590622

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122319840 kB
MemAvailable:   125373064 kB
Buffers:            3280 kB
Cached:          3858332 kB
SwapCached:            0 kB
Active:          4764772 kB
Inactive:        3604532 kB
Active(anon):    4525896 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file):  3604532 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61028 kB
Writeback:             0 kB
AnonPages:       4510116 kB
Mapped:           122816 kB
Shmem:             18080 kB
KReclaimable:      97712 kB
Slab:             186964 kB
SReclaimable:      97712 kB
SUnreclaim:        89252 kB
KernelStack:        5296 kB
PageTables:        12456 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7055916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4308992 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 14:36:21