Trace number 4452784

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 Default 2024-07-07UNSAT 157.269 153.092

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.opb
MD5SUMbaac7260ecc6f9812e76d8cbcf4d3b9b
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 benchmark9.93598
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables46580
Total number of constraints9317
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints9313
Minimum length of a constraint5
Maximum length of a constraint15
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 30
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.13	c See www.sat4j.org for details.
0.11/0.14	c version CUSTOM.v20240707
0.11/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.16	c java.vm.version	22.0.1+8-16
0.11/0.16	c java.vm.vendor	Oracle Corporation
0.11/0.16	c sun.arch.data.model	64
0.11/0.16	c java.version		22.0.1
0.11/0.16	c os.name		Linux
0.11/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.16	c os.arch		amd64
0.11/0.17	c Free memory 		2113181440
0.11/0.17	c Max memory 		16282288128
0.11/0.17	c Total memory 		2122317824
0.11/0.18	c Number of processors 	2
0.25/0.27	--- Begin Solver configuration ---
0.25/0.27	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.25/0.27	Learn all clauses as in MiniSAT
0.25/0.27	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.27	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.27	No reason simplification
0.25/0.27	Glucose 2.1 dynamic restart strategy
0.25/0.27	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.25/0.27	timeout=2147483s
0.25/0.27	DB Simplification allowed=false
0.25/0.27	Listener: none
0.25/0.27	--- End Solver configuration ---
0.25/0.27	c Pseudo Boolean Optimization by upper bound
0.25/0.27	c --- Begin Solver configuration ---
0.25/0.27	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.25/0.27	c Learn all clauses as in MiniSAT
0.25/0.27	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.27	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.27	c No reason simplification
0.25/0.27	c Glucose 2.1 dynamic restart strategy
0.25/0.27	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.25/0.27	c timeout=2147483s
0.25/0.27	c DB Simplification allowed=false
0.25/0.27	c Listener: none
0.25/0.27	c --- End Solver configuration ---
0.25/0.27	c solving HOME/instance-4452784-1721450901.opb
0.25/0.27	c reading problem ... 
0.25/0.28	c  no objective function found
1.34/0.88	c ... done. Wall clock time 0.601s.
1.34/0.89	c declared #vars     46580
1.34/0.89	c #constraints  9317
1.34/0.89	c constraints type 
1.34/0.89	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9317
1.34/0.89	c 9317 constraints processed.
2.87/1.63	c cleaning 2494 clauses out of 5001 with flag 13703/5001
3.28/1.82	c cleaning 4250 clauses out of 8507 with flag 29542/11001
3.47/1.91	c cleaning 5618 clauses out of 11256 with flag 50609/18000
3.47/2.00	c cleaning 6821 clauses out of 13641 with flag 76153/26003
3.87/2.13	c cleaning 7904 clauses out of 15817 with flag 103922/35000
4.06/2.23	c cleaning 8927 clauses out of 17913 with flag 131516/45000
4.27/2.38	c cleaning 9989 clauses out of 19986 with flag 162734/56000
4.41/2.46	c cleaning 10989 clauses out of 21998 with flag 197207/68001
4.51/2.58	c cleaning 11999 clauses out of 24008 with flag 238281/81000
4.62/2.69	c cleaning 12985 clauses out of 26010 with flag 278123/95001
4.82/2.82	c cleaning 13997 clauses out of 28024 with flag 321843/110000
4.92/2.96	c cleaning 15005 clauses out of 30027 with flag 368533/126000
5.17/3.14	c cleaning 15961 clauses out of 32022 with flag 423382/143000
5.31/3.29	c cleaning 17014 clauses out of 34062 with flag 480971/161001
5.50/3.47	c cleaning 17999 clauses out of 36048 with flag 533030/180001
5.70/3.70	c cleaning 19021 clauses out of 38049 with flag 597763/200001
6.00/3.91	c cleaning 19967 clauses out of 40028 with flag 662870/221001
6.11/4.10	c cleaning 21003 clauses out of 42061 with flag 743111/243001
6.40/4.33	c cleaning 22024 clauses out of 44061 with flag 823586/266004
6.60/4.52	c cleaning 23010 clauses out of 46033 with flag 902671/290000
6.80/4.74	c cleaning 23996 clauses out of 48023 with flag 977569/315000
7.11/5.11	c cleaning 25003 clauses out of 50030 with flag 1053395/341003
7.39/5.39	c cleaning 25996 clauses out of 52024 with flag 1133476/368000
7.69/5.65	c cleaning 26977 clauses out of 54028 with flag 1222065/396000
7.99/5.90	c cleaning 28016 clauses out of 56053 with flag 1311842/425002
8.29/6.28	c cleaning 28951 clauses out of 58037 with flag 1400670/455002
8.70/6.62	c cleaning 30029 clauses out of 60084 with flag 1500886/486000
9.00/6.99	c cleaning 30973 clauses out of 62056 with flag 1601549/518001
9.50/7.46	c cleaning 32017 clauses out of 64082 with flag 1700002/551000
9.90/7.86	c cleaning 33026 clauses out of 66066 with flag 1800535/585001
10.30/8.29	c cleaning 34003 clauses out of 68041 with flag 1907844/620002
10.69/8.67	c cleaning 35011 clauses out of 70036 with flag 2016826/656000
11.21/9.18	c cleaning 36005 clauses out of 72026 with flag 2132198/693001
11.79/9.72	c cleaning 36985 clauses out of 74020 with flag 2240727/731000
12.28/10.29	c cleaning 38009 clauses out of 76036 with flag 2360206/770001
12.78/10.71	c cleaning 39000 clauses out of 78026 with flag 2479012/810000
13.29/11.29	c cleaning 39973 clauses out of 80027 with flag 2601479/851001
13.79/11.74	c cleaning 41015 clauses out of 82054 with flag 2724059/893001
14.29/12.24	c cleaning 41964 clauses out of 84038 with flag 2858526/936000
14.99/12.94	c cleaning 43006 clauses out of 86074 with flag 2999460/980000
15.40/13.34	c cleaning 44024 clauses out of 88070 with flag 3159585/1025002
16.00/13.91	c cleaning 44982 clauses out of 90044 with flag 3298143/1071000
16.71/14.62	c cleaning 45980 clauses out of 92063 with flag 3440162/1118001
17.22/15.15	c cleaning 47036 clauses out of 94084 with flag 3584044/1166002
17.90/15.84	c cleaning 47995 clauses out of 96047 with flag 3731454/1215001
18.60/16.52	c cleaning 48998 clauses out of 98051 with flag 3886843/1265000
19.21/17.12	c cleaning 50023 clauses out of 100056 with flag 4044810/1316003
19.70/17.65	c cleaning 50948 clauses out of 102030 with flag 4207089/1368000
20.23/18.19	c cleaning 52024 clauses out of 104082 with flag 4362836/1421000
21.05/18.96	c cleaning 53008 clauses out of 106059 with flag 4525153/1475001
22.08/19.92	c cleaning 54023 clauses out of 108051 with flag 4696697/1530001
22.88/20.73	c cleaning 54995 clauses out of 110027 with flag 4865800/1586000
23.68/21.53	c cleaning 55966 clauses out of 112033 with flag 5045808/1643001
24.29/22.18	c cleaning 56988 clauses out of 114067 with flag 5224359/1701001
25.19/23.03	c cleaning 58023 clauses out of 116078 with flag 5399554/1760000
26.28/24.11	c cleaning 59008 clauses out of 118055 with flag 5581538/1820000
27.08/24.90	c cleaning 59996 clauses out of 120047 with flag 5777352/1881000
27.97/25.81	c cleaning 61009 clauses out of 122054 with flag 5957774/1943003
28.94/26.71	c cleaning 62008 clauses out of 124044 with flag 6154490/2006002
30.30/28.09	c cleaning 62375 clauses out of 126034 with flag 6348854/2070000
31.49/29.26	c cleaning 63235 clauses out of 128659 with flag 6539940/2135000
32.69/30.45	c cleaning 63932 clauses out of 131426 with flag 6733360/2201002
33.99/31.77	c cleaning 64679 clauses out of 134493 with flag 6924843/2268001
34.89/32.68	c cleaning 65560 clauses out of 137814 with flag 7134408/2336001
36.01/33.71	c cleaning 67071 clauses out of 141253 with flag 7337241/2405000
37.06/34.77	c cleaning 68000 clauses out of 144182 with flag 7538111/2475000
38.12/35.78	c cleaning 69329 clauses out of 147183 with flag 7760156/2546001
39.60/37.11	c cleaning 69921 clauses out of 149853 with flag 7984892/2618000
40.50/38.06	c cleaning 70663 clauses out of 152933 with flag 8210325/2691001
41.79/39.30	c cleaning 71708 clauses out of 156269 with flag 8437704/2765000
43.29/40.85	c cleaning 72851 clauses out of 159564 with flag 8668718/2840003
44.49/42.03	c cleaning 73218 clauses out of 162710 with flag 8907774/2916000
45.79/43.31	c cleaning 74500 clauses out of 166492 with flag 9140777/2993000
47.24/44.71	c cleaning 75983 clauses out of 169992 with flag 9384873/3071000
49.10/46.51	c cleaning 76713 clauses out of 173010 with flag 9624973/3150001
50.49/47.92	c cleaning 78233 clauses out of 176297 with flag 9870856/3230001
51.99/49.48	c cleaning 78976 clauses out of 179063 with flag 10110391/3311000
53.39/50.87	c cleaning 79986 clauses out of 182088 with flag 10361987/3393001
55.18/52.63	c cleaning 79896 clauses out of 185101 with flag 10615187/3476000
56.48/53.99	c cleaning 81165 clauses out of 189205 with flag 10881737/3560000
58.48/55.89	c cleaning 82140 clauses out of 193041 with flag 11144244/3645001
61.03/58.32	c cleaning 83836 clauses out of 196901 with flag 11399014/3731001
62.93/60.25	c cleaning 84780 clauses out of 200068 with flag 11662800/3818004
64.83/62.16	c cleaning 84909 clauses out of 203285 with flag 11929134/3906001
66.22/63.56	c cleaning 85921 clauses out of 207376 with flag 12219889/3995001
68.21/65.58	c cleaning 87483 clauses out of 211455 with flag 12498518/4085001
70.41/67.64	c cleaning 89179 clauses out of 214971 with flag 12778514/4176000
72.28/69.47	c cleaning 90089 clauses out of 217794 with flag 13059289/4268002
74.18/71.31	c cleaning 90692 clauses out of 220703 with flag 13336126/4361000
76.99/74.16	c cleaning 91533 clauses out of 224011 with flag 13621468/4455000
79.38/76.55	c cleaning 92863 clauses out of 227478 with flag 13910378/4550000
81.57/78.78	c cleaning 93107 clauses out of 230615 with flag 14197670/4646000
83.74/80.85	c cleaning 94517 clauses out of 234508 with flag 14478785/4743000
85.90/83.00	c cleaning 95741 clauses out of 237992 with flag 14769940/4841001
87.59/84.69	c cleaning 96328 clauses out of 241251 with flag 15073614/4940001
89.79/86.87	c cleaning 97646 clauses out of 244924 with flag 15370923/5040002
92.18/89.29	c cleaning 98759 clauses out of 248278 with flag 15660645/5141002
93.89/90.97	c cleaning 99808 clauses out of 251518 with flag 15967792/5243001
95.78/92.67	c cleaning 100648 clauses out of 254709 with flag 16285675/5346000
98.38/95.28	c cleaning 100922 clauses out of 258064 with flag 16590971/5450003
101.19/98.08	c cleaning 101937 clauses out of 262139 with flag 16895509/5555000
103.57/100.46	c cleaning 103643 clauses out of 266203 with flag 17202968/5661001
105.86/102.75	c cleaning 104600 clauses out of 269560 with flag 17515845/5768001
109.16/105.87	c cleaning 105011 clauses out of 272960 with flag 17832491/5876001
112.05/108.75	c cleaning 106051 clauses out of 276948 with flag 18160848/5985000
114.24/110.90	c cleaning 107458 clauses out of 280898 with flag 18488065/6095001
117.03/113.70	c cleaning 107614 clauses out of 284439 with flag 18816532/6206000
119.44/116.19	c cleaning 109578 clauses out of 288826 with flag 19150941/6318001
122.21/118.71	c cleaning 110389 clauses out of 292248 with flag 19481776/6431001
124.62/121.17	c cleaning 111320 clauses out of 295858 with flag 19816292/6545000
128.00/124.54	c cleaning 112468 clauses out of 299538 with flag 20166753/6660000
130.80/127.39	c cleaning 113303 clauses out of 303072 with flag 20516838/6776002
133.80/130.35	c cleaning 114622 clauses out of 306768 with flag 20858096/6893001
136.72/133.09	c cleaning 115448 clauses out of 310147 with flag 21208412/7011002
139.50/135.89	c cleaning 116090 clauses out of 313698 with flag 21570267/7130001
142.70/139.03	c cleaning 117327 clauses out of 317608 with flag 21925188/7250001
145.89/142.28	c cleaning 118255 clauses out of 321280 with flag 22277138/7371000
149.30/145.58	c cleaning 119593 clauses out of 325026 with flag 22632771/7493001
152.39/148.50	c cleaning 120348 clauses out of 328432 with flag 23006119/7616000
155.38/151.54	c cleaning 120586 clauses out of 332084 with flag 23381114/7740000
156.81/152.87	c starts		: 5277
156.81/152.89	c conflicts		: 7824934
156.81/152.89	c decisions		: 146557549
156.81/152.89	c propagations		: 193586451
156.81/152.89	c inspects		: 1063145937
156.81/152.89	c shortcuts		: 0
156.81/152.89	c learnt literals	: 6
156.81/152.89	c learnt binary clauses	: 12
156.81/152.89	c learnt ternary clauses	: 29052
156.81/152.89	c learnt constraints	: 7824927
156.81/152.89	c ignored constraints	: 0
156.81/152.89	c root simplifications	: 0
156.81/152.89	c removed literals (reason simplification)	: 0
156.81/152.89	c reason swapping (by a shorter reason)	: 0
156.81/152.89	c Calls to reduceDB	: 120
156.81/152.90	c Number of update (reduction) of LBD	: 1432690
156.81/152.90	c Imported unit clauses	: 0
156.98/152.90	c No decision after first conflict	: false
156.98/152.90	c number of reductions to clauses (during analyze)	: 0
156.98/152.90	c number of learned constraints concerned by reduction	: 0
156.98/152.90	c number of learning phase by resolution	: 0
156.98/152.90	c number of learning phase by cutting planes	: 0
156.98/152.90	c number of rounding to 1 operations	: 0
156.98/152.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
156.98/152.90	c number of reductions of the coefficients by power 2 	: 0
156.98/152.90	c number of right shift for reduction by power 2 	: 0
156.98/152.90	c number of reductions of the coefficients by GCD over coefficients 	: 0
156.98/152.90	c number of ending skipping 	: 0
156.98/152.90	c number of internal skipping 	: 0
156.98/152.91	c number of derivation steps 	: 0
156.98/152.91	c number of skipped derivation steps 	: 0
156.98/152.91	c number of remaining unassigned 	: 0
156.98/152.91	c number of remaining assigned 	: 0
156.98/152.91	c number of falsified literals weakened from reason	: 0
156.98/152.91	c number of falsified literals weakened from conflict	: 0
156.98/152.91	c time for arithmetic operations	: 0
156.98/152.91	c minimum degree of deleted constraints	: null
156.98/152.91	c maximum degree of deleted constraints	: null
156.98/152.91	c number of deleted constraints	: 0
156.98/152.92	c speed (assignments/second)	: 1273536.4226647457
156.98/152.92	c non guided choices	: 132852379
157.18/153.06	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 296413
157.18/153.06	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
157.18/153.06	s UNSATISFIABLE
157.18/153.06	c Total wall clock time (in seconds): 152.79

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (59647 MiB free)
  memory of node 1: 64510 MiB (60972 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452784-1721450901/watcher-4452784-1721450901 -o /tmp/evaluation-result-4452784-1721450901/solver-4452784-1721450901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058420 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452784-1721450901.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1058806, runsolver pid=1058803

[startup+0.106222 s]*
/proc/loadavg: 2.32 1.92 2.92 5/315 1058824
/proc/meminfo: memFree=123478992/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=18975048 memory=57044 CPUtime=0.11 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 6622 0 0 0 9 2 0 0 20 0 18 0 197246223 19430449152 14261 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4743762 14261 5752 1 0 550925 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 5528 0 0 0 7 2 0 0 20 0 18 0 197246224 19430449152 14261 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197246226 19430449152 14261 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197246227 19430449152 14261 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57044 KiB

[startup+0.216495 s]*
/proc/loadavg: 2.32 1.92 2.92 6/315 1058824
/proc/meminfo: memFree=123470104/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=18975048 memory=65576 CPUtime=0.25 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 7240 0 0 0 22 3 0 0 20 0 18 0 197246223 19430449152 16394 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4743762 16394 5756 1 0 551432 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 1078198336 5748 0 0 0 16 2 0 0 20 0 18 0 197246224 19430449152 16394 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=18975048 memory=3711 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197246226 19430449152 16394 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197246227 19430449152 16394 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65576 KiB

[startup+0.317206 s]*
/proc/loadavg: 2.32 1.92 2.92 7/315 1058824
/proc/meminfo: memFree=123467160/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=18975048 memory=68776 CPUtime=0.42 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 7516 0 0 0 39 3 0 0 20 0 18 0 197246223 19430449152 17194 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4743762 17194 5773 1 0 551591 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=18975048 memory=-7235417058883824479 CPUtime=0.26 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 5893 0 0 0 24 2 0 0 20 0 18 0 197246224 19430449152 17194 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197246226 19430449152 17194 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197246227 19430449152 17194 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68776 KiB

[startup+0.701207 s]
/proc/loadavg: 2.32 1.92 2.92 7/315 1058824
/proc/meminfo: memFree=123441500/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=18975048 memory=125228 CPUtime=1.14 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 9310 0 0 0 108 6 0 0 20 0 18 0 197246223 19430449152 31307 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4743762 31307 5842 1 0 552776 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=18975048 memory=5616 CPUtime=0.61 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 5926 0 0 0 57 4 0 0 20 0 18 0 197246224 19430449152 31307 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=18975048 memory=11884 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197246226 19430449152 31307 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197246227 19430449152 31307 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 125228 KiB

[startup+1.5012 s]
/proc/loadavg: 2.32 1.92 2.92 7/317 1058826
/proc/meminfo: memFree=123347432/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=192076 CPUtime=2.67 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 20894 0 0 0 257 10 0 0 20 0 20 0 197246223 19566772224 48019 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 48019 5858 1 0 557485 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=11884 CPUtime=1.35 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 6088 0 0 0 130 5 0 0 20 0 20 0 197246224 19566772224 48019 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 48019 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 48019 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 48019 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192076 KiB

[startup+3.10869 s]
/proc/loadavg: 2.54 1.97 2.93 6/317 1058827
/proc/meminfo: memFree=123342720/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=192876 CPUtime=5.17 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 22710 0 0 0 507 10 0 0 20 0 20 0 197246223 19566772224 48219 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 48219 5874 1 0 557523 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=0 CPUtime=2.94 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 7137 0 0 0 289 5 0 0 20 0 20 0 197246224 19566772224 48219 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 48219 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 48219 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 48219 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192876 KiB

[startup+6.3004 s]
/proc/loadavg: 2.54 1.97 2.93 5/317 1058827
/proc/meminfo: memFree=123236652/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=201964 CPUtime=8.39 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 23660 0 0 0 828 11 0 0 20 0 20 0 197246223 19566772224 50491 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 50491 5874 1 0 557524 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=0 CPUtime=6.02 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 7192 0 0 0 597 5 0 0 20 0 20 0 197246224 19566772224 50491 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=11884 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 50491 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 50491 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=49904 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 50491 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201964 KiB

[startup+12.7004 s]
/proc/loadavg: 2.65 2.01 2.94 5/317 1058827
/proc/meminfo: memFree=123100852/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=222604 CPUtime=14.79 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 24146 0 0 0 1466 13 0 0 20 0 20 0 197246223 19566772224 55651 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 55651 5883 1 0 557524 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=154952 CPUtime=12.29 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 7382 0 0 0 1224 5 0 0 20 0 20 0 197246224 19566772224 55651 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=222604 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 55651 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=192876 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 55651 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 55651 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 14.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222604 KiB

[startup+25.5005 s]
/proc/loadavg: 3.03 2.12 2.96 5/317 1058830
/proc/meminfo: memFree=122693372/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=377464 CPUtime=27.67 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 27801 0 0 0 2750 17 0 0 20 0 20 0 197246223 19566772224 94366 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 94366 5883 1 0 664056 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=222604 CPUtime=24.75 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 8852 0 0 0 2468 7 0 0 20 0 20 0 197246224 19566772224 94366 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=291380 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 94366 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 94366 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 94366 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 27.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 377464 KiB

[startup+51.1131 s]
/proc/loadavg: 3.54 2.32 3.01 5/299 1058882
/proc/meminfo: memFree=122327296/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=577032 CPUtime=53.7 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 35221 0 0 0 5346 24 0 0 20 0 20 0 197246223 19566772224 144258 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 144258 5883 1 0 664122 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=529692 CPUtime=49.79 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 10700 0 0 0 4971 8 0 0 20 0 20 0 197246224 19566772224 144258 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=529692 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 144258 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 144258 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0

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

/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 202810 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 105.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 811240 KiB

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

# cumulated CPU time of all completed processes:  user=156.827 s, system=0.44289 s

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

[startup+102.401 s]
/proc/loadavg: 4.14 2.67 3.09 5/319 1059046
/proc/meminfo: memFree=121330856/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=811240 CPUtime=105.56 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 41371 0 0 0 10523 33 0 0 20 0 20 0 197246223 19566772224 202810 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 202810 5883 1 0 664193 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=281112857803792 CPUtime=100.27 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 12670 0 0 0 10019 8 0 0 20 0 20 0 197246224 19566772224 202810 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 202810 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 202810 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 202810 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 105.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 811240 KiB

[startup+128 s]*
/proc/loadavg: 4.22 2.83 3.13 5/319 1059050
/proc/meminfo: memFree=120723248/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=938508 CPUtime=131.51 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 43555 0 0 0 13114 37 0 0 20 0 20 0 197246223 19566772224 234627 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 234627 5883 1 0 664196 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=-7163359464845634151 CPUtime=125.59 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 13507 0 0 0 12550 9 0 0 20 0 20 0 197246224 19566772224 234627 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=1470492806456705153 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 234627 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=6944656592455359580 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 130 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 234627 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=9023629670928638048 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 234627 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 131.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 938508 KiB

[startup+140.8 s]
/proc/loadavg: 4.19 2.87 3.14 5/319 1059186
/proc/meminfo: memFree=121365480/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=1006240 CPUtime=144.49 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 43802 0 0 0 14410 39 0 0 20 0 20 0 197246223 19566772224 251560 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 251560 5883 1 0 664199 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=938508 CPUtime=138.24 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 13565 0 0 0 13815 9 0 0 20 0 20 0 197246224 19566772224 251560 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=39916 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 251560 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=-7235417058883824479 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 130 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 251560 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=874892 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 251560 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 144.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1006240 KiB

[startup+147.2 s]
/proc/loadavg: 4.33 2.92 3.16 5/319 1059187
/proc/meminfo: memFree=120749644/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=1067816 CPUtime=151.09 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 44921 0 0 0 15068 41 0 0 20 0 20 0 197246223 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 266954 5883 1 0 664201 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=1006248 CPUtime=144.53 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 14076 0 0 0 14444 9 0 0 20 0 20 0 197246224 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=1006240 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=1006248 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 130 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=938516 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 151.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1067816 KiB

[startup+150.4 s]
/proc/loadavg: 4.31 2.94 3.16 5/319 1059187
/proc/meminfo: memFree=120657244/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=1067816 CPUtime=154.28 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 45108 0 0 0 15387 41 0 0 20 0 20 0 197246223 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 266954 5883 1 0 664201 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=1006248 CPUtime=147.72 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 14239 0 0 0 14763 9 0 0 20 0 20 0 197246224 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=1006248 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 130 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=1067816 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 154.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1067816 KiB

[startup+152 s]*
/proc/loadavg: 4.31 2.94 3.16 5/319 1059187
/proc/meminfo: memFree=120540264/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=1067816 CPUtime=155.89 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 45207 0 0 0 15548 41 0 0 20 0 20 0 197246223 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 266954 5883 1 0 664201 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=-7163359464845960550 CPUtime=149.33 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 14263 0 0 0 14924 9 0 0 20 0 20 0 197246224 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=4736 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=1067816 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 130 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=2732 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 266954 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 155.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1067816 KiB

[startup+152.807 s]
/proc/loadavg: 4.31 2.94 3.16 5/319 1059187
/proc/meminfo: memFree=120540264/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19108176 memory=1069940 CPUtime=156.81 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 48374 0 0 0 15639 42 0 0 20 0 20 0 197246223 19566772224 267485 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4777044 267485 5883 1 0 664765 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19108176 memory=4627847300274021517 CPUtime=150.12 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) R 1058803 1058806 1058409 0 -1 4194368 15280 0 0 0 15003 9 0 0 20 0 20 0 197246224 19566772224 267485 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19108176 memory=7100839852825416833 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19566772224 267485 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19108176 memory=4569914109593947510 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 130 0 0 0 0 0 0 0 20 0 20 0 197246227 19566772224 267485 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058826] ppid=1058803 vsize=19108176 memory=1067816 CPUtime=0 cores=4,6
/proc/1058806/task/1058826/stat : 1058826 (Timer-0) S 1058803 1058806 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197246313 19566772224 267485 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 156.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1069940 KiB

[startup+153.001 s]*
/proc/loadavg: 4.28 2.96 3.17 5/319 1059191
/proc/meminfo: memFree=120537660/131655788 swapFree=131071996/131071996
[pid=1058806] ppid=1058803 vsize=19241304 memory=1070588 CPUtime=157.18 cores=4,6
/proc/1058806/stat : 1058806 (java) S 1058803 1058806 1058409 0 -1 1077936128 51165 0 0 0 15675 43 0 0 20 0 20 0 197246223 19703095296 267647 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
/proc/1058806/statm: 4810326 267647 5882 1 0 665387 0
[pid=1058806/tid=1058808] ppid=1058803 vsize=19241304 memory=-7163359464845960550 CPUtime=150.17 cores=4,6
/proc/1058806/task/1058808/stat : 1058808 (java) S 1058803 1058806 1058409 0 -1 1077936192 16218 0 0 0 15008 9 0 0 20 0 20 0 197246224 19703095296 267647 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058817] ppid=1058803 vsize=19241304 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058817/stat : 1058817 (Finalizer) S 1058803 1058806 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 197246226 19703095296 267647 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1058824] ppid=1058803 vsize=19241304 memory=0 CPUtime=0 cores=4,6
/proc/1058806/task/1058824/stat : 1058824 (Common-Cleaner) S 1058803 1058806 1058409 0 -1 1077936192 130 0 0 0 0 0 0 0 20 0 20 0 197246227 19703095296 267647 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
[pid=1058806/tid=1059190] ppid=1058803 vsize=19241304 memory=0 CPUtime=0.1 cores=4,6
/proc/1058806/task/1059190/stat : 1059190 (Thread-0) R 1058803 1058806 1058409 0 -1 4194368 315 0 0 0 10 0 0 0 20 0 20 0 197261509 19703095296 267647 134679101440 94702260768768 94702260772464 140722661983440 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94702260780280 94702260781072 94702265171968 140722661987333 140722661987423 140722661987423 140722661994440 0
Current children cumulated CPU time: 157.18 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1070588 KiB

Child status: 20

Real time (s): 153.092
CPU time (s): 157.269
CPU user time (s): 156.827
CPU system time (s): 0.44289
CPU usage (%): 102.729
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1070588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.827
system time used= 0.44289
maximum resident set size= 1071748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6354
involuntary context switches= 601


# summary of solver processes directly reported to runsolver:
#   pid: 1058806
#   total CPU time (s): 157.269
#   total CPU user time (s): 156.827
#   total CPU system time (s): 0.44289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.776937 second user time and 1.68058 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 06:48:33
IDJOB=4452784
IDBENCH=165317
IDSOLVER=3058
FILE ID=nodeC003/4452784-1721450901
RUNJOBID= nodeC003-1721450898-1058420
SLURM_JOB_ID= 7545681
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452784-1721450901/watcher-4452784-1721450901 -o /tmp/evaluation-result-4452784-1721450901/solver-4452784-1721450901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058420 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452784-1721450901.opb

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

MD5SUM BENCH= baac7260ecc6f9812e76d8cbcf4d3b9b
RANDOM SEED=88624078

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123514848 kB
MemAvailable:   129238336 kB
Buffers:          563268 kB
Cached:          5942444 kB
SwapCached:            0 kB
Active:          1056452 kB
Inactive:        6393156 kB
Active(anon):       1452 kB
Inactive(anon):   988316 kB
Active(file):    1055000 kB
Inactive(file):  5404840 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6932 kB
Writeback:             0 kB
AnonPages:        943912 kB
Mapped:           128480 kB
Shmem:             45896 kB
KReclaimable:     207360 kB
Slab:             323020 kB
SReclaimable:     207360 kB
SUnreclaim:       115660 kB
KernelStack:        4800 kB
PageTables:        12060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7438424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    677888 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-20 06:51:06