Trace number 4442732

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 2024 2024-07-07? (TO) 3600.38 3523.72

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
MD5SUM6537247428469e6459e4298d22ed7785
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 benchmark47.5905
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8550
Total number of constraints401945
Number of constraints which are clauses401945
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint90
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.73	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.05/0.73	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.73	c See www.sat4j.org for details.
0.05/0.77	c version CUSTOM.v20240707
0.05/0.78	c java.runtime.name	OpenJDK Runtime Environment
0.05/0.78	c java.vm.name		OpenJDK 64-Bit Server VM
0.05/0.78	c java.vm.version	22.0.1+8-16
0.05/0.79	c java.vm.vendor	Oracle Corporation
0.05/0.79	c sun.arch.data.model	64
0.05/0.79	c java.version		22.0.1
0.05/0.79	c os.name		Linux
0.05/0.79	c os.version		4.18.0-301.1.el8.x86_64
0.05/0.79	c os.arch		amd64
0.05/0.79	c Free memory 		2104792832
0.05/0.79	c Max memory 		16282288128
0.05/0.79	c Total memory 		2113929216
0.05/0.79	c Number of processors 	2
0.13/0.87	--- Begin Solver configuration ---
0.13/0.87	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.87	Learn all clauses as in MiniSAT
0.13/0.87	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.87	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.87	Expensive reason simplification
0.13/0.87	Glucose 2.1 dynamic restart strategy
0.13/0.87	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.87	timeout=2147483s
0.13/0.87	DB Simplification allowed=false
0.13/0.87	Listener: none
0.13/0.87	--- End Solver configuration ---
0.13/0.87	c Pseudo Boolean Optimization by upper bound
0.13/0.87	c --- Begin Solver configuration ---
0.13/0.87	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.87	c Learn all clauses as in MiniSAT
0.13/0.87	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.87	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.87	c Expensive reason simplification
0.13/0.87	c Glucose 2.1 dynamic restart strategy
0.13/0.87	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.87	c timeout=2147483s
0.13/0.87	c DB Simplification allowed=false
0.13/0.87	c Listener: none
0.13/0.87	c --- End Solver configuration ---
0.13/0.87	c solving HOME/instance-4442732-1721817186.opb
0.13/0.87	c reading problem ... 
0.13/0.87	c using VERIPB proof format
0.13/0.88	c  no objective function found
2.19/1.97	c ... done. Wall clock time 1.097s.
2.19/1.97	c declared #vars     8550
2.19/1.97	c #constraints  401945
2.19/1.97	c constraints type 
2.19/1.97	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 401850
2.19/1.97	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 95
2.19/1.97	c 401945 constraints processed.
7.29/5.35	c cleaning 2497 clauses out of 5001 with flag 34341/5001
12.18/10.75	c cleaning 4248 clauses out of 8504 with flag 77229/11001
19.31/17.79	c cleaning 5622 clauses out of 11260 with flag 128428/18005
28.61/26.82	c cleaning 6813 clauses out of 13633 with flag 185830/26000
37.64/35.81	c cleaning 7906 clauses out of 15820 with flag 252910/35000
51.31/50.45	c cleaning 8947 clauses out of 17914 with flag 342449/45000
68.17/67.02	c cleaning 9978 clauses out of 19969 with flag 436709/56002
85.29/84.59	c cleaning 10988 clauses out of 21992 with flag 530208/68003
103.38/103.16	c cleaning 11995 clauses out of 24001 with flag 633700/81000
124.59/124.26	c cleaning 13000 clauses out of 26006 with flag 739744/95000
148.32/150.17	c cleaning 13996 clauses out of 28006 with flag 855274/110000
177.50/180.15	c cleaning 15002 clauses out of 30010 with flag 985396/126000
211.02/214.02	c cleaning 16005 clauses out of 32009 with flag 1127271/143001
240.59/243.70	c cleaning 16991 clauses out of 34004 with flag 1275571/161001
260.51/266.18	c cleaning 17992 clauses out of 36012 with flag 1395221/180000
300.10/305.39	c cleaning 18992 clauses out of 38020 with flag 1525608/200000
338.33/343.76	c cleaning 20001 clauses out of 40029 with flag 1662545/221001
383.62/389.37	c cleaning 20991 clauses out of 42028 with flag 1807369/243001
422.60/427.41	c cleaning 21997 clauses out of 44036 with flag 1975956/266000
461.40/466.37	c cleaning 23000 clauses out of 46042 with flag 2149106/290003
501.02/509.43	c cleaning 23997 clauses out of 48039 with flag 2319494/315000
542.76/550.91	c cleaning 24999 clauses out of 50042 with flag 2502079/341000
589.29/597.35	c cleaning 25998 clauses out of 52045 with flag 2698684/368002
647.18/659.48	c cleaning 26995 clauses out of 54045 with flag 2908244/396000
700.05/711.09	c cleaning 28009 clauses out of 56052 with flag 3126616/425002
757.75/770.21	c cleaning 29006 clauses out of 58048 with flag 3340109/455007
838.39/850.47	c cleaning 29997 clauses out of 60036 with flag 3572417/486001
912.94/924.44	c cleaning 31002 clauses out of 62039 with flag 3802612/518001
983.81/993.78	c cleaning 32005 clauses out of 64037 with flag 4020851/551001
1064.38/1073.38	c cleaning 33001 clauses out of 66032 with flag 4252140/585001
1162.64/1170.48	c cleaning 33997 clauses out of 68032 with flag 4525593/620002
1268.79/1273.50	c cleaning 34997 clauses out of 70033 with flag 4823472/656000
1373.24/1381.80	c cleaning 36004 clauses out of 72041 with flag 5124595/693005
1475.13/1482.53	c cleaning 36999 clauses out of 74032 with flag 5430855/731000
1522.62/1526.82	c cleaning 37989 clauses out of 76035 with flag 5770616/770002
1579.69/1582.15	c cleaning 38999 clauses out of 78044 with flag 6114965/810000
1648.41/1649.04	c cleaning 40004 clauses out of 80046 with flag 6476153/851001
1720.65/1719.31	c cleaning 40991 clauses out of 82044 with flag 6878424/893003
1766.32/1761.98	c cleaning 41997 clauses out of 84051 with flag 7177149/936001
1833.41/1827.38	c cleaning 43001 clauses out of 86055 with flag 7493448/980002
1907.93/1898.59	c cleaning 43986 clauses out of 88053 with flag 7839564/1025001
1983.59/1970.57	c cleaning 45004 clauses out of 90066 with flag 8222694/1071000
2053.72/2038.76	c cleaning 46000 clauses out of 92062 with flag 8603514/1118000
2136.80/2118.30	c cleaning 46992 clauses out of 94063 with flag 8981828/1166001
2227.62/2205.04	c cleaning 48003 clauses out of 96071 with flag 9391002/1215001
2315.39/2290.99	c cleaning 49005 clauses out of 98068 with flag 9776927/1265001
2416.55/2388.25	c cleaning 49996 clauses out of 100064 with flag 10159909/1316002
2528.12/2499.29	c cleaning 51002 clauses out of 102069 with flag 10578497/1368003
2604.25/2570.38	c cleaning 52014 clauses out of 104066 with flag 11032565/1421002
2684.24/2647.99	c cleaning 52988 clauses out of 106050 with flag 11500652/1475000
2743.43/2703.45	c cleaning 53990 clauses out of 108062 with flag 11907905/1530000
2840.69/2796.67	c cleaning 54996 clauses out of 110073 with flag 12305707/1586001
2939.95/2892.33	c cleaning 55993 clauses out of 112076 with flag 12725736/1643000
3042.79/2991.32	c cleaning 57002 clauses out of 114085 with flag 13159076/1701002
3110.81/3055.59	c cleaning 57999 clauses out of 116083 with flag 13570975/1760002
3224.37/3164.88	c cleaning 59002 clauses out of 118083 with flag 14016157/1820001
3340.58/3277.30	c cleaning 60009 clauses out of 120080 with flag 14437455/1881000
3410.96/3343.43	c cleaning 60999 clauses out of 122076 with flag 14874952/1943005
3526.47/3455.41	c cleaning 62003 clauses out of 124076 with flag 15289377/2006004
3600.05/3523.56	c starts		: 103
3600.05/3523.56	c timeout
3600.05/3523.56	c conflicts		: 2066641
3600.05/3523.56	c decisions		: 2736950
3600.05/3523.56	c propagations		: 37960359
3600.05/3523.56	c inspects		: 8113586340
3600.05/3523.56	c shortcuts		: 0
3600.05/3523.56	c learnt literals	: 0
3600.05/3523.56	c learnt binary clauses	: 0
3600.05/3523.56	c learnt ternary clauses	: 0
3600.05/3523.56	c learnt constraints	: 2066641
3600.05/3523.56	c ignored constraints	: 0
3600.05/3523.56	c root simplifications	: 0
3600.05/3523.56	c removed literals (reason simplification)	: 6893634
3600.05/3523.56	c reason swapping (by a shorter reason)	: 0
3600.05/3523.56	c Calls to reduceDB	: 59
3600.05/3523.56	c Number of update (reduction) of LBD	: 1238186
3600.05/3523.56	c Imported unit clauses	: 0
3600.05/3523.56	c No decision after first conflict	: false
3600.05/3523.56	c number of reductions to clauses (during analyze)	: 0
3600.05/3523.56	c number of learned constraints concerned by reduction	: 0
3600.05/3523.56	c number of learning phase by resolution	: 0
3600.05/3523.56	c number of learning phase by cutting planes	: 0
3600.05/3523.56	c number of rounding to 1 operations	: 0
3600.05/3523.56	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3523.56	c number of reductions of the coefficients by power 2 	: 0
3600.05/3523.56	c number of right shift for reduction by power 2 	: 0
3600.05/3523.56	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3523.56	c number of ending skipping 	: 0
3600.05/3523.56	c number of internal skipping 	: 0
3600.05/3523.56	c number of derivation steps 	: 0
3600.05/3523.56	c number of skipped derivation steps 	: 0
3600.05/3523.56	c number of remaining unassigned 	: 0
3600.05/3523.56	c number of remaining assigned 	: 0
3600.05/3523.56	c number of falsified literals weakened from reason	: 0
3600.05/3523.56	c number of falsified literals weakened from conflict	: 0
3600.05/3523.56	c time for arithmetic operations	: 0
3600.05/3523.56	c minimum degree of deleted constraints	: null
3600.05/3523.56	c maximum degree of deleted constraints	: null
3600.05/3523.56	c number of deleted constraints	: 0
3600.05/3523.58	c speed (assignments/second)	: 10779.354437496806
3600.05/3523.58	c non guided choices	: 89949
3600.27/3523.65	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 122710
3600.27/3523.65	s UNKNOWN
3600.27/3523.65	c Total wall clock time (in seconds): 3522.781

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: 63968 MiB (29536 MiB free)
  memory of node 1: 64473 MiB (29621 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442732-1721817186/watcher-4442732-1721817186 -o /tmp/evaluation-result-4442732-1721817186/solver-4442732-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237219 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4442732-1721817186 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442732-1721817186.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=237282, runsolver pid=237279

[startup+0.1001 s]*
/proc/loadavg: 0.04 0.07 0.08 1/260 237284
/proc/meminfo: memFree=60575492/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=37736 memory=1980 CPUtime=0 cores=0,2
/proc/237282/stat : 237282 (java) D 237279 237282 237209 0 -1 4194304 137 0 2 0 0 0 0 0 20 0 1 0 18241511 38641664 495 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 0 0 0 0 17 0 0 0 9 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 9434 495 451 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 1980 KiB

[startup+0.204857 s]*
/proc/loadavg: 0.04 0.07 0.08 3/260 237284
/proc/meminfo: memFree=60574512/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=37736 memory=1980 CPUtime=0 cores=0,2
/proc/237282/stat : 237282 (java) D 237279 237282 237209 0 -1 4194304 156 0 3 0 0 0 0 0 20 0 1 0 18241511 38641664 495 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 0 0 0 0 17 0 0 0 19 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 9434 495 451 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 1980 KiB

[startup+0.304731 s]*
/proc/loadavg: 0.04 0.07 0.08 1/262 237288
/proc/meminfo: memFree=60565868/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=37736 memory=5580 CPUtime=0 cores=0,2
/proc/237282/stat : 237282 (java) D 237279 237282 237209 0 -1 4194304 461 0 11 0 0 0 0 0 20 0 1 0 18241511 38641664 1395 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 0 0 0 0 17 0 0 0 28 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 9434 1395 1121 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 5580 KiB

[startup+0.700147 s]
/proc/loadavg: 0.04 0.07 0.08 3/267 237293
/proc/meminfo: memFree=60526376/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=18975048 memory=54072 CPUtime=0.05 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 6429 0 141 0 3 2 0 0 20 0 18 0 18241511 19430449152 13518 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4743762 13518 5275 1 0 548658 0
[pid=237282/tid=237291] ppid=237279 vsize=18975048 memory=25588 CPUtime=0.03 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) D 237279 237282 237209 0 -1 4194368 5298 0 96 0 1 2 0 0 20 0 18 0 18241545 19430449152 13518 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54072 KiB

[startup+1.50024 s]
/proc/loadavg: 0.04 0.07 0.08 15/334 237360
/proc/meminfo: memFree=60271548/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19041612 memory=197332 CPUtime=1.41 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 17041 0 143 0 134 7 0 0 20 0 19 0 18241511 19498610688 49333 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4760403 49333 5748 1 0 555666 0
[pid=237282/tid=237291] ppid=237279 vsize=19041612 memory=25588 CPUtime=0.69 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 6017 0 98 0 65 4 0 0 20 0 19 0 18241545 19498610688 49333 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 40 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19041612 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18241573 19498610688 49333 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19041612 memory=74704 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18241573 19498610688 49333 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 197332 KiB

[startup+3.10594 s]
/proc/loadavg: 0.84 0.24 0.14 8/340 237366
/proc/meminfo: memFree=59390032/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=440024 CPUtime=4.49 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 18966 0 143 0 436 13 0 0 20 0 20 0 18241511 19566772224 110006 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 110006 5784 1 0 1020056 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=-8527117729274766012 CPUtime=2.14 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 6186 0 98 0 206 8 0 0 20 0 20 0 18241545 19566772224 110006 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 40 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 110006 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 110006 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=62396 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 110006 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 440024 KiB

[startup+6.30112 s]
/proc/loadavg: 0.84 0.24 0.14 5/340 237366
/proc/meminfo: memFree=58699972/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=599568 CPUtime=8.44 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 25403 0 143 0 826 18 0 0 20 0 20 0 18241511 19566772224 149892 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 149892 5797 1 0 1020105 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=13520 CPUtime=5.17 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 7521 0 98 0 507 10 0 0 20 0 20 0 18241545 19566772224 149892 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 40 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 149892 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 149892 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 149892 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 599568 KiB

[startup+12.7011 s]
/proc/loadavg: 1.40 0.38 0.19 5/341 237369
/proc/meminfo: memFree=57550740/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=1118140 CPUtime=14.22 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 27452 0 143 0 1391 31 0 0 20 0 20 0 18241511 19566772224 279535 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 279535 5797 1 0 1260397 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=0 CPUtime=10.61 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 7902 0 98 0 1041 20 0 0 20 0 20 0 18241545 19566772224 279535 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 117 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=28705 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 279535 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=1118140 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 279535 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 279535 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1118140 KiB

[startup+25.5011 s]
/proc/loadavg: 1.80 0.50 0.23 5/341 237370
/proc/meminfo: memFree=55510748/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=1511904 CPUtime=27.22 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 31096 0 143 0 2678 44 0 0 20 0 20 0 18241511 19566772224 377976 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 377976 5797 1 0 1260397 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=1118140 CPUtime=22.97 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 9032 0 98 0 2271 26 0 0 20 0 20 0 18241545 19566772224 377976 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 117 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=1333440 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 377976 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 377976 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 377976 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 27.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1511904 KiB

[startup+51.1061 s]
/proc/loadavg: 2.63 0.80 0.33 6/340 237375
/proc/meminfo: memFree=51164748/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=3570588 CPUtime=52.06 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 41608 0 143 0 5112 94 0 0 20 0 20 0 18241511 19566772224 892647 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 892647 5812 1 0 1260409 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=3570548 CPUtime=46.91 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 12981 0 98 0 4626 65 0 0 20 0 20 0 18241545 19566772224 892647 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 218 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=2151252 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 892647 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=3771 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 892647 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 892647 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 52.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3570588 KiB

[startup+102.301 s]
/proc/loadavg: 3.70 1.40 0.57 9/338 237449
/proc/meminfo: memFree=48871144/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=4198136 CPUtime=102.59 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 46891 0 143 0 10133 126 0 0 20 0 20 0 18241511 19566772224 1049534 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 1049534 5813 1 0 1260411 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=-8527117729274766012 CPUtime=95.79 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 16883 0 98 0 9496 83 0 0 20 0 20 0 18241545 19566772224 1049534 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 327 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=-8527117729274766012 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 1049534 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=74704 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 97 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 1049534 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=4198136 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 1049534 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 102.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4198136 KiB


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

Current children cumulated memory: 3190364 KiB

[startup+3282.3 s]
/proc/loadavg: 4.94 4.55 4.24 5/339 238998
/proc/meminfo: memFree=9779396/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=3190368 CPUtime=3345.64 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 485448 0 143 0 333049 1515 0 0 20 0 20 0 18241511 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 797592 5826 1 0 808614 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=13520 CPUtime=3174.25 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 130007 0 98 0 316161 1264 0 0 20 0 20 0 18241545 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4091 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=3190368 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=3190360 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 1838 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 3345.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3190368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.48 4.23 6/337 239177
/proc/meminfo: memFree=9175940/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=3190368 CPUtime=3409.87 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 486142 0 143 0 339431 1556 0 0 20 0 20 0 18241511 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 797592 5826 1 0 808614 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=3190364 CPUtime=3232.45 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 130251 0 98 0 321946 1299 0 0 20 0 20 0 18241545 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4120 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=3190368 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=3190368 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 1838 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 797592 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 3409.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3190368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.44 4.23 5/337 239188
/proc/meminfo: memFree=8564580/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=3190372 CPUtime=3471.19 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 486730 0 143 0 345534 1585 0 0 20 0 20 0 18241511 19566772224 797593 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 797593 5826 1 0 808614 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=3190368 CPUtime=3290.27 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 130760 0 98 0 327702 1325 0 0 20 0 20 0 18241545 19566772224 797593 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4183 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=12936 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797593 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 1838 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797593 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=-8527117729274766012 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 797593 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 3471.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3190372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.45 4.25 5/339 239256
/proc/meminfo: memFree=8056040/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=3190384 CPUtime=3534.93 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 503122 0 143 0 351881 1612 0 0 20 0 20 0 18241511 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 797596 5826 1 0 808614 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=12936 CPUtime=3349.14 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 133004 0 98 0 333568 1346 0 0 20 0 20 0 18241545 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4206 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=13520 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=3190384 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 1931 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=74704 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 3534.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3190384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.41 4.25 5/339 239266
/proc/meminfo: memFree=7321668/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=3190384 CPUtime=3597.67 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 503756 0 143 0 358115 1652 0 0 20 0 20 0 18241511 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 797596 5826 1 0 808614 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=3190384 CPUtime=3407.24 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 133373 0 98 0 339340 1384 0 0 20 0 20 0 18241545 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4239 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=74704 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=3190384 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 1931 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=-9054130157861584029 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 3597.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3190384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3523.5 s]
/proc/loadavg: 4.28 4.40 4.25 6/339 239266
/proc/meminfo: memFree=7310984/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19108176 memory=3190384 CPUtime=3600.05 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 503997 0 143 0 358352 1653 0 0 20 0 20 0 18241511 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4777044 797596 5826 1 0 808614 0
[pid=237282/tid=237291] ppid=237279 vsize=19108176 memory=3190384 CPUtime=3408.42 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 133480 0 98 0 339458 1384 0 0 20 0 20 0 18241545 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4239 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19108176 memory=-9054130157861584029 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19108176 memory=74704 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 1931 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237366] ppid=237279 vsize=19108176 memory=3190384 CPUtime=0 cores=0,2
/proc/237282/task/237366/stat : 237366 (Timer-0) S 237279 237282 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241709 19566772224 797596 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3190384 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3523.72 s]
# the end of solver process 237282 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3583.8 s, system=16.5767 s

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

[startup+3523.61 s]
/proc/loadavg: 4.28 4.40 4.25 6/339 239266
/proc/meminfo: memFree=7310984/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19307868 memory=3190948 CPUtime=3600.27 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 505960 0 143 0 358372 1655 0 0 20 0 21 0 18241511 19771256832 797737 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4826967 797737 5826 1 0 809522 0
[pid=237282/tid=237291] ppid=237279 vsize=19307868 memory=74704 CPUtime=3408.5 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 133667 0 98 0 339465 1385 0 0 20 0 21 0 18241545 19771256832 797737 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4239 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19307868 memory=12936 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 21 0 18241573 19771256832 797737 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19307868 memory=5552 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 1931 0 0 0 0 0 0 0 20 0 21 0 18241573 19771256832 797737 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3190948 KiB

[startup+3523.7 s]
/proc/loadavg: 4.28 4.40 4.25 6/339 239266
/proc/meminfo: memFree=7310984/131524600 swapFree=131057564/131071996
[pid=237282] ppid=237279 vsize=19307868 memory=3191008 CPUtime=3600.36 cores=0,2
/proc/237282/stat : 237282 (java) S 237279 237282 237209 0 -1 1077936128 506135 0 143 0 358380 1656 0 0 20 0 16 0 18241511 19771256832 797752 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 33 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
/proc/237282/statm: 4826967 797752 5824 1 0 809522 0
[pid=237282/tid=237291] ppid=237279 vsize=19307868 memory=3190384 CPUtime=3408.5 cores=0,2
/proc/237282/task/237291/stat : 237291 (java) R 237279 237282 237209 0 -1 4194368 133667 0 98 0 339465 1385 0 0 20 0 16 0 18241545 19771256832 797752 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4246 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237326] ppid=237279 vsize=19307868 memory=-9054130157861584029 CPUtime=0 cores=0,2
/proc/237282/task/237326/stat : 237326 (Finalizer) S 237279 237282 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 16 0 18241573 19771256832 797752 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
[pid=237282/tid=237355] ppid=237279 vsize=19307868 memory=74704 CPUtime=0 cores=0,2
/proc/237282/task/237355/stat : 237355 (Common-Cleaner) S 237279 237282 237209 0 -1 1077936192 1931 0 0 0 0 0 0 0 20 0 16 0 18241573 19771256832 797752 134679101440 94129382346752 94129382350448 140729764839040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94129382358264 94129382359056 94129412435968 140729764844459 140729764844641 140729764844641 140729764851656 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3191008 KiB

Child status: 143

Real time (s): 3523.72
CPU time (s): 3600.38
CPU user time (s): 3583.8
CPU system time (s): 16.5767
CPU usage (%): 102.175
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4901784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.8
system time used= 16.5767
maximum resident set size= 4901828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506185
page faults= 143
swaps= 0
block input operations= 31240
block output operations= 21297128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125676
involuntary context switches= 40301


# summary of solver processes directly reported to runsolver:
#   pid: 237282
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3583.8
#   total CPU system time (s): 16.5767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72728 second user time and 17.7527 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-24 12:33:06
IDJOB=4442732
IDBENCH=147844
IDSOLVER=3079
FILE ID=nodeC015/4442732-1721817186
RUNJOBID= nodeC015-1721817186-237219
SLURM_JOB_ID= 7816866
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442732-1721817186/watcher-4442732-1721817186 -o /tmp/evaluation-result-4442732-1721817186/solver-4442732-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237219 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4442732-1721817186 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442732-1721817186.opb

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

MD5SUM BENCH= 6537247428469e6459e4298d22ed7785
RANDOM SEED=990321049

nodeC015.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	: 0xb00002a
cpu MHz		: 3616.525
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.37
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		: 3579.814
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.17
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		: 3609.589
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.37
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		: 3518.094
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.17
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		: 3613.859
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.37
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		: 3494.561
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.17
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		: 3612.080
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.37
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		: 3458.118
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        60577344 kB
MemAvailable:   129609016 kB
Buffers:          249052 kB
Cached:         69266100 kB
SwapCached:          792 kB
Active:          2575380 kB
Inactive:       67263200 kB
Active(anon):       1792 kB
Inactive(anon):   374420 kB
Active(file):    2573588 kB
Inactive(file): 66888780 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057564 kB
Dirty:             20368 kB
Writeback:             0 kB
AnonPages:        322144 kB
Mapped:           118468 kB
Shmem:             52776 kB
KReclaimable:     630712 kB
Slab:             757568 kB
SReclaimable:     630712 kB
SUnreclaim:       126856 kB
KernelStack:        4000 kB
PageTables:        10084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     740652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC015 at 2024-07-24 13:31:50