Trace number 4503537

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. 3123.75 3154.46

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-73.opb
MD5SUMf8b1a93d1916f081f91f241f6f5f832b
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 benchmark50.0132
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
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.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c Expensive reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c solving HOME/instance-4503537-1751163875.opb
0.12/0.12	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  no objective function found
1.67/0.94	c ... done. Wall clock time 0.813s.
1.67/0.94	c declared #vars     7936
1.67/0.94	c #constraints  177125
1.67/0.94	c constraints type 
1.67/0.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 37513
1.67/0.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 564
1.67/0.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 17346
1.67/0.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 121702
1.67/0.94	c 177125 constraints processed.
4.64/2.41	c cleaning 2491 clauses out of 5000 with flag 60633/5000
6.01/3.19	c cleaning 4250 clauses out of 8511 with flag 136772/11002
7.38/4.05	c cleaning 5613 clauses out of 11261 with flag 231074/18002
8.65/5.09	c cleaning 6806 clauses out of 13648 with flag 366892/26002
10.17/6.31	c cleaning 7827 clauses out of 15840 with flag 484234/35000
11.60/7.47	c cleaning 8954 clauses out of 18013 with flag 598156/45001
13.31/8.85	c cleaning 9995 clauses out of 20053 with flag 741187/56000
14.34/9.78	c cleaning 11016 clauses out of 22062 with flag 864829/68004
15.64/11.03	c cleaning 11963 clauses out of 24041 with flag 1015545/81000
17.34/12.79	c cleaning 13033 clauses out of 26078 with flag 1203459/95000
19.64/15.06	c cleaning 13993 clauses out of 28045 with flag 1358791/110000
21.78/17.11	c cleaning 14974 clauses out of 30053 with flag 1617159/126001
23.99/19.34	c cleaning 16034 clauses out of 32079 with flag 1838019/143001
25.82/21.16	c cleaning 16996 clauses out of 34045 with flag 2023613/161001
28.13/23.40	c cleaning 17991 clauses out of 36048 with flag 2236313/180000
30.34/25.63	c cleaning 19015 clauses out of 38057 with flag 2453742/200000
32.56/27.72	c cleaning 19855 clauses out of 40042 with flag 2651399/221000
35.29/30.40	c cleaning 21080 clauses out of 42187 with flag 2878162/243000
37.89/33.05	c cleaning 22047 clauses out of 44108 with flag 3082911/266001
40.45/35.67	c cleaning 23012 clauses out of 46060 with flag 3286118/290000
44.24/39.49	c cleaning 23969 clauses out of 48048 with flag 3638260/315000
47.73/42.90	c cleaning 25004 clauses out of 50079 with flag 3963255/341000
50.96/46.13	c cleaning 25890 clauses out of 52076 with flag 4253228/368001
54.14/49.39	c cleaning 26978 clauses out of 54185 with flag 4564265/396000
58.13/53.36	c cleaning 27889 clauses out of 56207 with flag 4974163/425000
62.72/57.99	c cleaning 28993 clauses out of 58319 with flag 5382393/455001
66.53/61.76	c cleaning 30128 clauses out of 60325 with flag 5750636/486000
71.73/67.05	c cleaning 30955 clauses out of 62197 with flag 6149388/518000
76.22/71.58	c cleaning 32032 clauses out of 64242 with flag 6574829/551000
81.00/76.33	c cleaning 33089 clauses out of 66210 with flag 7082056/585000
85.83/81.16	c cleaning 34007 clauses out of 68123 with flag 7508157/620002
90.31/85.69	c cleaning 35017 clauses out of 70115 with flag 7935214/656001
96.29/91.67	c cleaning 36034 clauses out of 72101 with flag 8278861/693004
101.41/96.85	c cleaning 36991 clauses out of 74063 with flag 8684039/731000
106.50/101.93	c cleaning 38001 clauses out of 76072 with flag 9091564/770000
113.02/108.42	c cleaning 39034 clauses out of 78071 with flag 9525688/810000
119.80/115.27	c cleaning 40011 clauses out of 80039 with flag 9991747/851002
126.68/122.14	c cleaning 40947 clauses out of 82026 with flag 10493928/893000
133.79/129.33	c cleaning 41973 clauses out of 84081 with flag 10965688/936002
140.31/135.83	c cleaning 43019 clauses out of 86107 with flag 11448013/980001
147.19/142.73	c cleaning 43991 clauses out of 88087 with flag 11976974/1025000
154.47/150.01	c cleaning 45012 clauses out of 90097 with flag 12396125/1071001
162.35/157.96	c cleaning 45971 clauses out of 92086 with flag 12937523/1118002
169.82/165.46	c cleaning 47034 clauses out of 94114 with flag 13529103/1166001
177.50/173.17	c cleaning 48012 clauses out of 96081 with flag 14079455/1215002
186.77/182.44	c cleaning 48950 clauses out of 98067 with flag 14631629/1265000
195.09/190.80	c cleaning 50024 clauses out of 100117 with flag 15182969/1316000
202.90/198.64	c cleaning 50997 clauses out of 102093 with flag 15765485/1368000
211.08/206.86	c cleaning 51950 clauses out of 104096 with flag 16323335/1421000
219.95/215.74	c cleaning 53064 clauses out of 106146 with flag 16820085/1475000
231.40/227.23	c cleaning 54036 clauses out of 108083 with flag 17266080/1530001
246.36/242.27	c cleaning 54895 clauses out of 110047 with flag 17686664/1586001
258.50/254.40	c cleaning 56072 clauses out of 112153 with flag 18188582/1643002
271.30/267.28	c cleaning 57037 clauses out of 114081 with flag 18680654/1701002
281.87/277.88	c cleaning 58014 clauses out of 116045 with flag 19269652/1760003
295.69/291.76	c cleaning 58982 clauses out of 118028 with flag 19817464/1820000
307.19/303.20	c cleaning 59974 clauses out of 120047 with flag 20426588/1881001
322.52/318.63	c cleaning 61027 clauses out of 122075 with flag 20959977/1943003
335.38/331.50	c cleaning 62019 clauses out of 124046 with flag 21562749/2006001
350.32/347.29	c cleaning 62924 clauses out of 126026 with flag 22107963/2070000
362.19/359.17	c cleaning 64001 clauses out of 128102 with flag 22738745/2135000
374.01/370.95	c cleaning 64984 clauses out of 130101 with flag 23409966/2201000
386.33/383.37	c cleaning 66006 clauses out of 132117 with flag 24067881/2268000
405.27/402.37	c cleaning 66957 clauses out of 134111 with flag 24684609/2336000
427.81/424.94	c cleaning 68077 clauses out of 136156 with flag 25193735/2405002
440.64/437.87	c cleaning 69020 clauses out of 138077 with flag 25888975/2475000
467.98/465.26	c cleaning 69998 clauses out of 140057 with flag 26402996/2546000
489.83/487.19	c cleaning 71012 clauses out of 142059 with flag 26957585/2618000
506.54/503.90	c cleaning 71951 clauses out of 144047 with flag 27547784/2691000
524.74/522.13	c cleaning 73015 clauses out of 146096 with flag 28159602/2765000
542.56/540.08	c cleaning 74036 clauses out of 148083 with flag 28813632/2840002
573.94/571.52	c cleaning 75007 clauses out of 150046 with flag 29448488/2916001
590.19/587.89	c cleaning 76018 clauses out of 152039 with flag 30092061/2993001
620.15/617.90	c cleaning 76995 clauses out of 154022 with flag 30710238/3071002
651.18/649.05	c cleaning 77989 clauses out of 156025 with flag 31320590/3150000
682.53/682.49	c cleaning 79004 clauses out of 158037 with flag 31902566/3230001
714.68/714.63	c cleaning 80009 clauses out of 160034 with flag 32527040/3311002
741.31/741.30	c cleaning 81007 clauses out of 162023 with flag 33217331/3393000
763.26/763.33	c cleaning 81954 clauses out of 164016 with flag 34162155/3476000
789.06/789.20	c cleaning 82995 clauses out of 166062 with flag 34910182/3560000
812.22/812.43	c cleaning 83946 clauses out of 168067 with flag 35718853/3645000
841.53/841.83	c cleaning 85021 clauses out of 170121 with flag 36464636/3731000
868.80/869.14	c cleaning 85971 clauses out of 172100 with flag 37271861/3818000
896.50/896.95	c cleaning 86996 clauses out of 174129 with flag 37952524/3906000
939.73/940.20	c cleaning 88063 clauses out of 176133 with flag 38631315/3995000
966.73/967.30	c cleaning 89028 clauses out of 178070 with flag 39356643/4085000
1009.86/1011.38	c cleaning 90016 clauses out of 180042 with flag 40106642/4176000
1036.86/1038.43	c cleaning 91009 clauses out of 182026 with flag 40862432/4268000
1069.31/1070.93	c cleaning 91995 clauses out of 184017 with flag 41639021/4361000
1101.60/1103.32	c cleaning 93006 clauses out of 186022 with flag 42575799/4455000
1132.54/1134.35	c cleaning 93952 clauses out of 188016 with flag 43458865/4550000
1162.83/1164.70	c cleaning 95018 clauses out of 190064 with flag 44264535/4646000
1198.08/1200.03	c cleaning 96014 clauses out of 192046 with flag 45037706/4743000
1232.15/1234.15	c cleaning 96946 clauses out of 194033 with flag 45863551/4841001
1276.13/1278.27	c cleaning 98043 clauses out of 196090 with flag 46680578/4940004
1308.41/1310.51	c cleaning 99018 clauses out of 198044 with flag 47493649/5040001
1355.88/1358.13	c cleaning 100007 clauses out of 200026 with flag 48328856/5141001
1395.54/1397.86	c cleaning 100944 clauses out of 202018 with flag 49198908/5243000
1430.64/1433.10	c cleaning 102025 clauses out of 204076 with flag 50074300/5346002
1468.09/1470.53	c cleaning 103023 clauses out of 206050 with flag 51100547/5450001
1509.42/1511.98	c cleaning 104005 clauses out of 208026 with flag 51945616/5555000
1548.17/1550.80	c cleaning 105001 clauses out of 210021 with flag 52743773/5661000
1583.83/1586.58	c cleaning 106002 clauses out of 212020 with flag 53593553/5768000
1660.97/1663.90	c cleaning 106982 clauses out of 214018 with flag 54438638/5876000
1704.30/1707.46	c cleaning 108004 clauses out of 216036 with flag 55327281/5985000
1750.91/1754.13	c cleaning 109012 clauses out of 218032 with flag 56252663/6095000
1792.41/1795.87	c cleaning 109986 clauses out of 220020 with flag 57285238/6206000
1832.37/1835.97	c cleaning 110973 clauses out of 222035 with flag 58193870/6318001
1879.06/1884.25	c cleaning 112021 clauses out of 224063 with flag 59140320/6431002
1938.57/1944.00	c cleaning 113010 clauses out of 226040 with flag 60025976/6545000
1984.29/1989.72	c cleaning 114002 clauses out of 228035 with flag 61012074/6660005
2037.89/2043.43	c cleaning 114956 clauses out of 230029 with flag 62011104/6776001
2084.24/2089.92	c cleaning 116000 clauses out of 232071 with flag 62965645/6893000
2123.83/2129.64	c cleaning 117019 clauses out of 234072 with flag 63958987/7011001
2165.66/2171.55	c cleaning 117953 clauses out of 236052 with flag 65062030/7130000
2211.90/2217.84	c cleaning 119044 clauses out of 238101 with flag 66208717/7250002
2259.91/2266.07	c cleaning 119937 clauses out of 240055 with flag 67224095/7371000
2300.13/2307.54	c cleaning 121038 clauses out of 242118 with flag 68508885/7493000
2349.83/2357.37	c cleaning 122010 clauses out of 244080 with flag 69572199/7616000
2398.95/2406.53	c cleaning 123033 clauses out of 246070 with flag 70829527/7740000
2453.11/2460.77	c cleaning 123992 clauses out of 248037 with flag 71937106/7865001
2506.23/2514.06	c cleaning 125017 clauses out of 250044 with flag 72980521/7991000
2563.47/2571.48	c cleaning 125998 clauses out of 252029 with flag 74057853/8118002
2619.24/2627.90	c cleaning 126990 clauses out of 254029 with flag 75300826/8246000
2669.05/2679.18	c cleaning 128002 clauses out of 256041 with flag 76575503/8375002
2717.58/2732.19	c cleaning 129002 clauses out of 258038 with flag 77891302/8505001
2771.25/2785.97	c cleaning 130006 clauses out of 260036 with flag 79108006/8636001
2825.23/2840.05	c cleaning 131006 clauses out of 262029 with flag 80466438/8768000
2889.32/2909.29	c cleaning 131962 clauses out of 264023 with flag 81798537/8901000
2952.14/2973.81	c cleaning 132978 clauses out of 266061 with flag 83191868/9035000
3011.17/3033.56	c cleaning 134016 clauses out of 268083 with flag 84799043/9170000
3075.69/3106.25	c cleaning 134968 clauses out of 270066 with flag 86492808/9306000
3123.61/3154.36	c starts		: 44042
3123.61/3154.36	c conflicts		: 9416709
3123.61/3154.36	c decisions		: 34164687
3123.61/3154.36	c propagations		: 2434660013
3123.61/3154.36	c inspects		: 37279471143
3123.61/3154.36	c shortcuts		: 0
3123.61/3154.36	c learnt literals	: 13
3123.61/3154.36	c learnt binary clauses	: 735
3123.61/3154.36	c learnt ternary clauses	: 3870
3123.61/3154.36	c learnt constraints	: 9416695
3123.61/3154.36	c ignored constraints	: 0
3123.61/3154.37	c root simplifications	: 0
3123.61/3154.37	c removed literals (reason simplification)	: 200065975
3123.61/3154.37	c reason swapping (by a shorter reason)	: 0
3123.61/3154.37	c Calls to reduceDB	: 132
3123.61/3154.37	c Number of update (reduction) of LBD	: 6512362
3123.61/3154.37	c Imported unit clauses	: 0
3123.61/3154.37	c No decision after first conflict	: false
3123.61/3154.37	c number of reductions to clauses (during analyze)	: 0
3123.61/3154.37	c number of learned constraints concerned by reduction	: 0
3123.61/3154.37	c number of learning phase by resolution	: 0
3123.61/3154.37	c number of learning phase by cutting planes	: 0
3123.61/3154.37	c number of rounding to 1 operations	: 0
3123.61/3154.37	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3123.61/3154.37	c number of reductions of the coefficients by power 2 	: 0
3123.61/3154.37	c number of right shift for reduction by power 2 	: 0
3123.61/3154.37	c number of reductions of the coefficients by GCD over coefficients 	: 0
3123.61/3154.37	c number of ending skipping 	: 0
3123.61/3154.37	c number of internal skipping 	: 0
3123.61/3154.37	c number of derivation steps 	: 0
3123.61/3154.37	c number of skipped derivation steps 	: 0
3123.61/3154.37	c number of remaining unassigned 	: 0
3123.61/3154.37	c number of remaining assigned 	: 0
3123.61/3154.37	c number of falsified literals weakened from reason	: 0
3123.61/3154.37	c number of falsified literals weakened from conflict	: 0
3123.61/3154.37	c time for arithmetic operations	: 0
3123.61/3154.37	c minimum degree of deleted constraints	: null
3123.61/3154.37	c maximum degree of deleted constraints	: null
3123.61/3154.37	c number of deleted constraints	: 0
3123.61/3154.37	c speed (assignments/second)	: 772070.6728829942
3123.61/3154.37	c non guided choices	: 561150
3123.67/3154.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 245068
3123.67/3154.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 735
3123.67/3154.44	s UNSATISFIABLE
3123.67/3154.44	c Total wall clock time (in seconds): 3154.315

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul  1 22:30:43 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 (60239 MiB free)
  memory of node 1: 64507 MiB (54788 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503537-1751163875/watcher-4503537-1751163875 -o /tmp/evaluation-result-4503537-1751163875/solver-4503537-1751163875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751156506-16354 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503537-1751163875 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503537-1751163875.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=18378, runsolver pid=18375

[startup+0.100059 s]*
/proc/loadavg: 4.17 4.23 4.19 5/343 18396
/proc/meminfo: memFree=117749716/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=18930384 memory=58000 CPUtime=0.12 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 6596 0 0 0 11 1 0 0 20 0 18 0 32067403 19384713216 14500 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4732596 14500 5370 1 0 547640 0
[pid=18378/tid=18380] ppid=18375 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 5096 0 0 0 7 1 0 0 20 0 18 0 32067404 19384713216 14500 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32067406 19384713216 14500 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=18930384 memory=61784027586760 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32067406 19384713216 14500 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58000 KiB

[startup+0.205876 s]*
/proc/loadavg: 4.40 4.28 4.20 7/343 18396
/proc/meminfo: memFree=117739760/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=18930384 memory=69324 CPUtime=0.33 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 7498 0 0 0 31 2 0 0 20 0 18 0 32067403 19384713216 17331 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4732596 17331 5434 1 0 548217 0
[pid=18378/tid=18380] ppid=18375 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 5304 0 0 0 16 1 0 0 20 0 18 0 32067404 19384713216 17331 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32067406 19384713216 17331 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32067406 19384713216 17331 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69324 KiB

[startup+0.30588 s]*
/proc/loadavg: 4.40 4.28 4.20 6/343 18396
/proc/meminfo: memFree=117698360/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=18930384 memory=111340 CPUtime=0.52 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 8557 0 0 0 49 3 0 0 20 0 18 0 32067403 19384713216 27835 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4732596 27835 5434 1 0 548926 0
[pid=18378/tid=18380] ppid=18375 vsize=18930384 memory=-6000919485557990510 CPUtime=0.27 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 5324 0 0 0 25 2 0 0 20 0 18 0 32067404 19384713216 27835 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32067406 19384713216 27835 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32067406 19384713216 27835 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 111340 KiB

[startup+0.700228 s]
/proc/loadavg: 4.40 4.28 4.20 6/344 18397
/proc/meminfo: memFree=117645112/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=18996948 memory=175140 CPUtime=1.27 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 11159 0 0 0 122 5 0 0 20 0 19 0 32067403 19452874752 43785 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4749237 43785 5466 1 0 551220 0
[pid=18378/tid=18380] ppid=18375 vsize=18996948 memory=17536 CPUtime=0.6 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 5345 0 0 0 58 2 0 0 20 0 19 0 32067404 19452874752 43785 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32067406 19452874752 43785 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32067406 19452874752 43785 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 175140 KiB

[startup+1.50023 s]
/proc/loadavg: 4.40 4.28 4.20 7/345 18398
/proc/meminfo: memFree=117523564/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=289092 CPUtime=2.86 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 17147 0 0 0 277 9 0 0 20 0 20 0 32067403 19521036288 72273 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 72273 5466 1 0 958205 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=3328 CPUtime=1.3 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 5455 0 0 0 125 5 0 0 20 0 20 0 32067404 19521036288 72273 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 72273 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 72273 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 72273 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 289092 KiB

[startup+3.10578 s]
/proc/loadavg: 4.40 4.28 4.20 6/345 18398
/proc/meminfo: memFree=117433012/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=370612 CPUtime=6.01 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 17620 0 0 0 590 11 0 0 20 0 20 0 32067403 19521036288 92653 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 92653 5466 1 0 958337 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=14720 CPUtime=2.88 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 5548 0 0 0 282 6 0 0 20 0 20 0 32067404 19521036288 92653 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 92653 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 92653 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 92653 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 370612 KiB

[startup+6.30021 s]
/proc/loadavg: 4.45 4.29 4.21 5/345 18398
/proc/meminfo: memFree=117356672/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=398976 CPUtime=10.17 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 28592 0 0 0 1004 13 0 0 20 0 20 0 32067403 19521036288 99744 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 99744 5498 1 0 958641 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=0 CPUtime=6 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 6464 0 0 0 594 6 0 0 20 0 20 0 32067404 19521036288 99744 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 99744 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 99744 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=295240 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 99744 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 10.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 398976 KiB

[startup+12.7002 s]
/proc/loadavg: 4.41 4.28 4.21 6/345 18399
/proc/meminfo: memFree=117085240/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=599560 CPUtime=17.34 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 30166 0 0 0 1715 19 0 0 20 0 20 0 32067403 19521036288 149890 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 149890 5498 1 0 958647 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=295240 CPUtime=12.35 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 7406 0 0 0 1223 12 0 0 20 0 20 0 32067404 19521036288 149890 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=525832 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 149890 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 149890 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 149890 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 17.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 599560 KiB

[startup+25.5002 s]
/proc/loadavg: 4.35 4.27 4.20 5/345 18399
/proc/meminfo: memFree=115804348/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=1627784 CPUtime=30.25 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 36755 0 0 0 2982 43 0 0 20 0 20 0 32067403 19521036288 406946 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 406946 5498 1 0 958647 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=0 CPUtime=25.12 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 9781 0 0 0 2477 35 0 0 20 0 20 0 32067404 19521036288 406946 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 406946 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=1537672 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 406946 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=1232520 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 406946 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 30.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1627784 KiB

[startup+51.1058 s]
/proc/loadavg: 4.29 4.26 4.20 5/344 18399
/proc/meminfo: memFree=114581292/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=2322244 CPUtime=55.94 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 43418 0 0 0 5532 62 0 0 20 0 20 0 32067403 19521036288 580561 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 580561 5498 1 0 958657 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=1656456 CPUtime=50.54 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 12053 0 0 0 5002 52 0 0 20 0 20 0 32067404 19521036288 580561 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=28160 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 580561 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 580561 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0

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

/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 1922 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=3086392 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3071.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086392 KiB

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

# cumulated CPU time of all completed processes:  user=3118.3 s, system=5.44663 s

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

[startup+3123.2 s]
/proc/loadavg: 4.11 4.13 4.13 5/342 18757
/proc/meminfo: memFree=92765404/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=3086392 CPUtime=3092.64 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 109829 0 0 0 308726 538 0 0 20 0 20 0 32067403 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 771598 5498 1 0 958690 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=5760 CPUtime=3079.08 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 51151 0 0 0 307451 457 0 0 20 0 20 0 32067404 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=3086392 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 2009 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=3086392 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3092.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086392 KiB

[startup+3136 s]*
/proc/loadavg: 4.09 4.12 4.13 5/342 18757
/proc/meminfo: memFree=92701476/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=3086392 CPUtime=3105.37 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 110118 0 0 0 309997 540 0 0 20 0 20 0 32067403 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 771598 5498 1 0 958690 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=-6000919481380267118 CPUtime=3091.66 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 51158 0 0 0 308708 458 0 0 20 0 20 0 32067404 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 2009 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=2724 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3105.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086392 KiB

[startup+3142.4 s]
/proc/loadavg: 4.08 4.12 4.13 5/342 18758
/proc/meminfo: memFree=92644304/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=3086392 CPUtime=3111.75 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 110120 0 0 0 310634 541 0 0 20 0 20 0 32067403 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 771598 5498 1 0 958690 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=3086392 CPUtime=3098.04 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 51159 0 0 0 309345 459 0 0 20 0 20 0 32067404 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 2009 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3111.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086392 KiB

[startup+3148.8 s]
/proc/loadavg: 4.15 4.14 4.13 5/342 18758
/proc/meminfo: memFree=92612304/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=3086392 CPUtime=3118.13 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 110122 0 0 0 311271 542 0 0 20 0 20 0 32067403 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 771598 5498 1 0 958690 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=17536 CPUtime=3104.42 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 51159 0 0 0 309982 460 0 0 20 0 20 0 32067404 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=3086392 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 2009 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=3086392 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3118.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086392 KiB

[startup+3152 s]*
/proc/loadavg: 4.14 4.13 4.13 5/342 18758
/proc/meminfo: memFree=92604240/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=3086392 CPUtime=3121.34 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 110124 0 0 0 311591 543 0 0 20 0 20 0 32067403 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 771598 5498 1 0 958690 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=-6000919481380267118 CPUtime=3107.63 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 51160 0 0 0 310302 461 0 0 20 0 20 0 32067404 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=-4050210904893342351 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=5112 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 2009 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=5224 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3121.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086392 KiB

[startup+3153.6 s]
/proc/loadavg: 4.14 4.13 4.13 5/342 18758
/proc/meminfo: memFree=92596176/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=3086392 CPUtime=3122.93 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 110124 0 0 0 311750 543 0 0 20 0 20 0 32067403 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 771598 5498 1 0 958690 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=4252 CPUtime=3109.22 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 51160 0 0 0 310461 461 0 0 20 0 20 0 32067404 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=3086392 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 2009 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=3086392 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3122.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086392 KiB

[startup+3154 s]*
/proc/loadavg: 4.14 4.13 4.13 5/342 18758
/proc/meminfo: memFree=92580056/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19063512 memory=3086392 CPUtime=3123.33 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 110124 0 0 0 311790 543 0 0 20 0 20 0 32067403 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4765878 771598 5498 1 0 958690 0
[pid=18378/tid=18380] ppid=18375 vsize=19063512 memory=-6000919481380267118 CPUtime=3109.62 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) R 18375 18378 16344 0 -1 4194368 51160 0 0 0 310501 461 0 0 20 0 20 0 32067404 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19063512 memory=-4050210904893342351 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19063512 memory=5971436 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 2009 0 0 0 0 0 0 0 20 0 20 0 32067406 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18398] ppid=18375 vsize=19063512 memory=6728 CPUtime=0 cores=0,2
/proc/18378/task/18398/stat : 18398 (Timer-0) S 18375 18378 16344 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32067498 19521036288 771598 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3123.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3086392 KiB

[startup+3154.4 s]
/proc/loadavg: 4.14 4.13 4.13 5/342 18758
/proc/meminfo: memFree=92580056/131250000 swapFree=33010684/33010684
[pid=18378] ppid=18375 vsize=19196640 memory=3086904 CPUtime=3123.67 cores=0,2
/proc/18378/stat : 18378 (java) S 18375 18378 16344 0 -1 4194304 112345 0 0 0 311824 543 0 0 20 0 20 0 32067403 19657359360 771726 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
/proc/18378/statm: 4799160 771726 5498 1 0 959351 0
[pid=18378/tid=18380] ppid=18375 vsize=19196640 memory=3086392 CPUtime=3109.9 cores=0,2
/proc/18378/task/18380/stat : 18380 (java) S 18375 18378 16344 0 -1 4194368 52833 0 0 0 310529 461 0 0 20 0 20 0 32067404 19657359360 771726 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18389] ppid=18375 vsize=19196640 memory=10880 CPUtime=0 cores=0,2
/proc/18378/task/18389/stat : 18389 (Finalizer) S 18375 18378 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32067406 19657359360 771726 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
[pid=18378/tid=18396] ppid=18375 vsize=19196640 memory=-6000919485557990510 CPUtime=0 cores=0,2
/proc/18378/task/18396/stat : 18396 (Common-Cleaner) S 18375 18378 16344 0 -1 4194368 2009 0 0 0 0 0 0 0 20 0 20 0 32067406 19657359360 771726 18446744073709551615 94336741068800 94336741072496 140720905553568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94336741080312 94336741081104 94336746487808 140720905558320 140720905558502 140720905558502 140720905564104 0
Current children cumulated CPU time: 3123.67 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 3086904 KiB

Child status: 20

Real time (s): 3154.46
CPU time (s): 3123.75
CPU user time (s): 3118.3
CPU system time (s): 5.44663
CPU usage (%): 99.0265
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 3086904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3118.3
system time used= 5.44663
maximum resident set size= 3087160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6700680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96246
involuntary context switches= 9659


# summary of solver processes directly reported to runsolver:
#   pid: 18378
#   total CPU time (s): 3123.75
#   total CPU user time (s): 3118.3
#   total CPU system time (s): 5.44663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5478 second user time and 15.1843 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-29 04:24:35
IDJOB=4503537
IDBENCH=155520
IDSOLVER=3364
FILE ID=nodeC027/4503537-1751163875
RUNJOBID= nodeC027-1751156506-16354
SLURM_JOB_ID= 9587479
Free space on /tmp= 433020 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-73.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503537-1751163875/watcher-4503537-1751163875 -o /tmp/evaluation-result-4503537-1751163875/solver-4503537-1751163875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751156506-16354 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503537-1751163875 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503537-1751163875.opb

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

MD5SUM BENCH= f8b1a93d1916f081f91f241f6f5f832b
RANDOM SEED=1251158663

nodeC027 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.389
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.29
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.640
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.29
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.605
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.29
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.443
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.29
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.658
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.29
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.638
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.29
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		: 3601.165
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117788652 kB
MemAvailable:   123872568 kB
Buffers:            3280 kB
Cached:          6887788 kB
SwapCached:            0 kB
Active:          6249352 kB
Inactive:        6646224 kB
Active(anon):    6022672 kB
Inactive(anon):        0 kB
Active(file):     226680 kB
Inactive(file):  6646224 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             62068 kB
Writeback:             0 kB
AnonPages:       6007712 kB
Mapped:           122776 kB
Shmem:             18068 kB
KReclaimable:     100100 kB
Slab:             187300 kB
SReclaimable:     100100 kB
SUnreclaim:        87200 kB
KernelStack:        5296 kB
PageTables:        15396 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   12910884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5752832 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432704 MiB
End job on nodeC027 at 2025-06-29 05:17:10