Trace number 4442642

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.55 3588.6

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
MD5SUMda953313a09cceac0c8e3e7fb7d08ab4
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 benchmark0.469038
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1050
Total number of constraints17885
Number of constraints which are clauses17885
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 constraint30
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 31
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.06/0.74	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.74	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.74	c See www.sat4j.org for details.
0.06/0.78	c version CUSTOM.v20240707
0.06/0.79	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.79	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.79	c java.vm.version	22.0.1+8-16
0.06/0.79	c java.vm.vendor	Oracle Corporation
0.06/0.79	c sun.arch.data.model	64
0.06/0.79	c java.version		22.0.1
0.06/0.79	c os.name		Linux
0.06/0.79	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.79	c os.arch		amd64
0.13/0.80	c Free memory 		2104792832
0.13/0.80	c Max memory 		16282288128
0.13/0.80	c Total memory 		2113929216
0.13/0.80	c Number of processors 	2
0.13/0.88	--- Begin Solver configuration ---
0.13/0.88	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.88	Learn all clauses as in MiniSAT
0.13/0.88	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.88	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.88	Expensive reason simplification
0.13/0.88	Glucose 2.1 dynamic restart strategy
0.13/0.88	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.88	timeout=2147483s
0.13/0.88	DB Simplification allowed=false
0.13/0.88	Listener: none
0.13/0.88	--- End Solver configuration ---
0.13/0.88	c Pseudo Boolean Optimization by upper bound
0.13/0.88	c --- Begin Solver configuration ---
0.13/0.88	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.88	c Learn all clauses as in MiniSAT
0.13/0.88	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.88	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.88	c Expensive reason simplification
0.13/0.88	c Glucose 2.1 dynamic restart strategy
0.13/0.88	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.88	c timeout=2147483s
0.13/0.88	c DB Simplification allowed=false
0.13/0.88	c Listener: none
0.13/0.88	c --- End Solver configuration ---
0.13/0.88	c solving HOME/instance-4442642-1721817186.opb
0.13/0.88	c reading problem ... 
0.13/0.89	c using VERIPB proof format
0.13/0.89	c  no objective function found
0.43/1.01	c ... done. Wall clock time 0.123s.
0.43/1.01	c declared #vars     1050
0.43/1.01	c #constraints  17885
0.43/1.01	c constraints type 
0.43/1.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17850
0.43/1.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 35
0.43/1.01	c 17885 constraints processed.
2.61/2.17	c cleaning 2500 clauses out of 5001 with flag 34711/5001
3.99/3.09	c cleaning 4187 clauses out of 8502 with flag 72712/11002
7.44/5.89	c cleaning 5653 clauses out of 11314 with flag 150699/18001
10.31/9.49	c cleaning 6827 clauses out of 13660 with flag 245032/26000
15.34/14.30	c cleaning 7906 clauses out of 15834 with flag 359288/35001
21.66/20.50	c cleaning 8962 clauses out of 17930 with flag 487582/45003
26.91/25.74	c cleaning 9985 clauses out of 19969 with flag 592352/56004
32.80/31.64	c cleaning 10983 clauses out of 21981 with flag 679592/68001
40.30/39.75	c cleaning 11979 clauses out of 24000 with flag 790297/81003
50.31/49.57	c cleaning 12996 clauses out of 26020 with flag 906743/95002
63.34/62.32	c cleaning 14001 clauses out of 28023 with flag 1021809/110001
75.68/75.14	c cleaning 14997 clauses out of 30022 with flag 1138248/126001
90.59/89.79	c cleaning 15991 clauses out of 32025 with flag 1263245/143001
107.78/107.29	c cleaning 17003 clauses out of 34034 with flag 1388224/161001
124.07/123.25	c cleaning 17997 clauses out of 36030 with flag 1532128/180000
141.00/142.59	c cleaning 18993 clauses out of 38033 with flag 1691386/200000
163.90/165.30	c cleaning 20011 clauses out of 40040 with flag 1875803/221000
189.72/191.44	c cleaning 21012 clauses out of 42033 with flag 2096661/243004
215.62/217.36	c cleaning 21998 clauses out of 44017 with flag 2324226/266000
234.48/236.24	c cleaning 22986 clauses out of 46019 with flag 2509734/290000
258.42/260.42	c cleaning 24003 clauses out of 48033 with flag 2743927/315000
282.53/283.62	c cleaning 25007 clauses out of 50030 with flag 2944537/341000
316.34/317.50	c cleaning 26000 clauses out of 52024 with flag 3164965/368001
347.63/348.71	c cleaning 26997 clauses out of 54024 with flag 3401254/396001
372.24/373.38	c cleaning 27996 clauses out of 56027 with flag 3661897/425001
397.25/398.49	c cleaning 28996 clauses out of 58030 with flag 3976283/455000
420.94/422.22	c cleaning 30001 clauses out of 60034 with flag 4317460/486000
449.44/450.73	c cleaning 31013 clauses out of 62034 with flag 4639332/518001
478.59/480.25	c cleaning 31992 clauses out of 64021 with flag 4948505/551001
510.19/514.01	c cleaning 33007 clauses out of 66028 with flag 5285784/585000
542.42/545.90	c cleaning 33986 clauses out of 68021 with flag 5611147/620000
576.81/580.11	c cleaning 35005 clauses out of 70035 with flag 5944698/656000
619.77/627.14	c cleaning 35994 clauses out of 72030 with flag 6303157/693000
659.95/667.11	c cleaning 37004 clauses out of 74036 with flag 6678297/731000
702.05/709.31	c cleaning 37995 clauses out of 76033 with flag 7039928/770001
751.22/758.19	c cleaning 39001 clauses out of 78037 with flag 7389664/810000
809.36/817.03	c cleaning 40007 clauses out of 80036 with flag 7807909/851000
870.15/876.75	c cleaning 41002 clauses out of 82029 with flag 8225897/893000
913.32/920.34	c cleaning 42011 clauses out of 84028 with flag 8629397/936001
965.76/971.26	c cleaning 43006 clauses out of 86018 with flag 9110566/980002
1018.60/1024.52	c cleaning 43997 clauses out of 88010 with flag 9686662/1025000
1094.79/1100.46	c cleaning 45005 clauses out of 90015 with flag 10264895/1071002
1172.74/1176.84	c cleaning 45998 clauses out of 92011 with flag 10928872/1118003
1244.69/1248.76	c cleaning 46993 clauses out of 94010 with flag 11633458/1166000
1317.56/1325.58	c cleaning 47994 clauses out of 96017 with flag 12340970/1215000
1425.06/1432.46	c cleaning 48995 clauses out of 98023 with flag 13003632/1265000
1500.38/1507.45	c cleaning 50008 clauses out of 100028 with flag 13709678/1316000
1567.59/1573.11	c cleaning 51003 clauses out of 102020 with flag 14426351/1368000
1644.79/1649.93	c cleaning 51995 clauses out of 104017 with flag 15151100/1421000
1724.89/1728.86	c cleaning 53006 clauses out of 106023 with flag 15795865/1475001
1806.45/1810.24	c cleaning 53997 clauses out of 108016 with flag 16466691/1530000
1890.28/1893.07	c cleaning 55002 clauses out of 110020 with flag 17129811/1586001
1989.47/1992.08	c cleaning 56003 clauses out of 112018 with flag 17795709/1643001
2112.66/2114.44	c cleaning 56995 clauses out of 114014 with flag 18340160/1701000
2222.99/2223.60	c cleaning 57996 clauses out of 116020 with flag 18863512/1760001
2326.85/2326.45	c cleaning 59003 clauses out of 118023 with flag 19485279/1820000
2440.03/2437.19	c cleaning 60002 clauses out of 120021 with flag 20158961/1881001
2553.51/2549.11	c cleaning 61007 clauses out of 122019 with flag 20866271/1943001
2676.30/2671.13	c cleaning 62002 clauses out of 124012 with flag 21599452/2006001
2817.61/2811.05	c cleaning 62997 clauses out of 126010 with flag 22190126/2070001
2930.57/2922.86	c cleaning 64002 clauses out of 128012 with flag 22798427/2135000
3072.06/3063.35	c cleaning 64996 clauses out of 130010 with flag 23467031/2201000
3269.09/3259.20	c cleaning 65991 clauses out of 132014 with flag 24238512/2268000
3404.70/3393.58	c cleaning 67001 clauses out of 134023 with flag 24958526/2336000
3551.56/3539.77	c cleaning 68004 clauses out of 136025 with flag 25644046/2405003
3600.03/3588.31	c starts		: 826
3600.45/3588.51	c conflicts		: 2433636
3600.45/3588.51	c decisions		: 3324620
3600.45/3588.51	c propagations		: 51375708
3600.45/3588.51	c inspects		: 11048232406
3600.45/3588.51	c shortcuts		: 0
3600.45/3588.51	c learnt literals	: 0
3600.45/3588.51	c learnt binary clauses	: 0
3600.45/3588.51	c learnt ternary clauses	: 0
3600.45/3588.51	c learnt constraints	: 2433636
3600.45/3588.51	c ignored constraints	: 0
3600.45/3588.51	c root simplifications	: 0
3600.45/3588.51	c removed literals (reason simplification)	: 58606817
3600.45/3588.51	c reason swapping (by a shorter reason)	: 0
3600.45/3588.51	c Calls to reduceDB	: 65
3600.45/3588.51	c Number of update (reduction) of LBD	: 1666686
3600.45/3588.51	c Imported unit clauses	: 0
3600.45/3588.51	c No decision after first conflict	: false
3600.45/3588.51	c number of reductions to clauses (during analyze)	: 0
3600.45/3588.51	c number of learned constraints concerned by reduction	: 0
3600.45/3588.51	c number of learning phase by resolution	: 0
3600.45/3588.51	c number of learning phase by cutting planes	: 0
3600.45/3588.51	c timeout
3600.45/3588.52	c number of rounding to 1 operations	: 0
3600.45/3588.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.45/3588.52	c number of reductions of the coefficients by power 2 	: 0
3600.45/3588.52	c number of right shift for reduction by power 2 	: 0
3600.45/3588.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.45/3588.52	c number of ending skipping 	: 0
3600.45/3588.52	c number of internal skipping 	: 0
3600.45/3588.52	c number of derivation steps 	: 0
3600.45/3588.52	c number of skipped derivation steps 	: 0
3600.45/3588.52	c number of remaining unassigned 	: 0
3600.45/3588.52	c number of remaining assigned 	: 0
3600.45/3588.52	c number of falsified literals weakened from reason	: 0
3600.45/3588.52	c number of falsified literals weakened from conflict	: 0
3600.45/3588.52	c time for arithmetic operations	: 0
3600.45/3588.52	c minimum degree of deleted constraints	: null
3600.45/3588.52	c maximum degree of deleted constraints	: null
3600.45/3588.52	c number of deleted constraints	: 0
3600.45/3588.52	c speed (assignments/second)	: 14320.734883993193
3600.45/3588.52	c non guided choices	: 723
3600.45/3588.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 96654
3600.45/3588.57	s UNKNOWN
3600.45/3588.57	c Total wall clock time (in seconds): 3587.687

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=182770, runsolver pid=182756
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 0.10 0.08 0.14 4/259 182774
/proc/meminfo: memFree=128086376/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=37736 memory=2004 CPUtime=0 cores=5,7
/proc/182770/stat : 182770 (java) D 182756 182770 182698 0 -1 4194304 138 0 2 0 0 0 0 0 20 0 1 0 18246540 38641664 501 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 0 0 0 0 17 5 0 0 9 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 9434 501 457 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2004 KiB

[startup+0.206493 s]*
/proc/loadavg: 0.10 0.08 0.14 4/259 182774
/proc/meminfo: memFree=128084876/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=37736 memory=2004 CPUtime=0 cores=5,7
/proc/182770/stat : 182770 (java) D 182756 182770 182698 0 -1 4194304 158 0 2 0 0 0 0 0 20 0 1 0 18246540 38641664 501 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 0 0 0 0 17 5 0 0 20 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 9434 501 457 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2004 KiB

[startup+0.305408 s]*
/proc/loadavg: 0.10 0.08 0.14 4/259 182774
/proc/meminfo: memFree=128076628/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=37736 memory=5632 CPUtime=0 cores=5,7
/proc/182770/stat : 182770 (java) D 182756 182770 182698 0 -1 4194304 465 0 4 0 0 0 0 0 20 0 1 0 18246540 38641664 1408 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 0 0 0 0 17 5 0 0 30 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 9434 1408 1131 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 5632 KiB

[startup+0.700369 s]
/proc/loadavg: 0.10 0.08 0.14 4/264 182779
/proc/meminfo: memFree=128036544/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=18993908 memory=55916 CPUtime=0.06 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 6562 0 51 0 4 2 0 0 20 0 18 0 18246540 19449761792 13979 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4748477 13979 5685 1 0 548667 0
[pid=182770/tid=182776] ppid=182756 vsize=18993908 memory=5552 CPUtime=0.03 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) D 182756 182770 182698 0 -1 4194368 5425 0 38 0 2 1 0 0 20 0 18 0 18246575 19449761792 13979 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 55916 KiB

[startup+1.50114 s]
/proc/loadavg: 0.10 0.08 0.14 16/333 182848
/proc/meminfo: memFree=127777180/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=170192 CPUtime=1.41 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 11103 0 52 0 135 6 0 0 20 0 20 0 18246540 19586084864 42548 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 42548 6094 1 0 552203 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=5552 CPUtime=0.69 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 6201 0 39 0 65 4 0 0 20 0 20 0 18246575 19586084864 42548 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 42 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 42548 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=67532 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 42548 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 170192 KiB

[startup+3.10654 s]
/proc/loadavg: 1.05 0.28 0.20 10/339 182854
/proc/meminfo: memFree=127329144/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=215960 CPUtime=4.11 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 18615 0 52 0 402 9 0 0 20 0 20 0 18246540 19586084864 53990 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 53990 6101 1 0 553052 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=-8743847985174848188 CPUtime=2.23 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 7602 0 39 0 217 6 0 0 20 0 20 0 18246575 19586084864 53990 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 53990 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 53990 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=61876 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 53990 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 215960 KiB

[startup+6.30024 s]
/proc/loadavg: 1.05 0.28 0.20 8/339 182856
/proc/meminfo: memFree=126261616/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=690004 CPUtime=7.95 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 24105 0 52 0 772 23 0 0 20 0 20 0 18246540 19586084864 172501 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 172501 6101 1 0 813009 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=176532 CPUtime=5.18 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) D 182756 182770 182698 0 -1 4194368 7875 0 39 0 503 15 0 0 20 0 20 0 18246575 19586084864 172501 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 172501 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 172501 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 172501 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 690004 KiB

[startup+12.7012 s]
/proc/loadavg: 1.74 0.46 0.26 9/339 182856
/proc/meminfo: memFree=124518368/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=1747660 CPUtime=13.76 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 25401 0 52 0 1325 51 0 0 20 0 20 0 18246540 19586084864 436915 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 436915 6101 1 0 1099190 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=0 CPUtime=10.54 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 8266 0 39 0 1017 37 0 0 20 0 20 0 18246575 19586084864 436915 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 126 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=1686132 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 436915 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=32888 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 436915 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 436915 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 13.76 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1747660 KiB

[startup+25.5003 s]
/proc/loadavg: 2.09 0.57 0.30 8/339 182859
/proc/meminfo: memFree=122180076/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=2186280 CPUtime=26.71 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 28325 0 52 0 2602 69 0 0 20 0 20 0 18246540 19586084864 546570 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 546570 6101 1 0 1099191 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=1686132 CPUtime=23.03 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 9495 0 39 0 2255 48 0 0 20 0 20 0 18246575 19586084864 546570 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 126 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=-8743847985174848188 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 546570 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=2067496 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 546570 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 546570 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 26.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2186280 KiB

[startup+51.1066 s]
/proc/loadavg: 2.80 0.87 0.40 9/339 182862
/proc/meminfo: memFree=119754260/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=3497184 CPUtime=51.91 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 34047 0 52 0 5081 110 0 0 20 0 20 0 18246540 19586084864 874296 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 874296 6101 1 0 1099201 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=3497184 CPUtime=46.89 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 12127 0 39 0 4614 75 0 0 20 0 20 0 18246575 19586084864 874296 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 224 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=12368 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 874296 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=3359924 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 874296 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=-8743847985174848188 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 874296 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 51.91 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3497184 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 1.43 0.62 7/339 182938
/proc/meminfo: memFree=114406388/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=4524584 CPUtime=102.89 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 45365 0 52 0 10136 153 0 0 20 0 20 0 18246540 19586084864 1131146 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 1131146 6102 1 0 1220358 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=11624 CPUtime=95.95 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 16712 0 39 0 9490 105 0 0 20 0 20 0 18246575 19586084864 1131146 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 332 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=4309536 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1131146 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=4309536 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 162 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1131146 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=4309536 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 1131146 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 102.89 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4524584 KiB


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

Current children cumulated memory: 4290232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.09 7/335 184668
/proc/meminfo: memFree=80761668/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=4292316 CPUtime=3353.55 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 612088 0 52 0 334074 1281 0 0 20 0 20 0 18246540 19586084864 1073079 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 1073079 6147 1 0 1084371 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=11624 CPUtime=3266.18 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 242346 0 39 0 325529 1089 0 0 20 0 20 0 18246575 19586084864 1073079 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3280 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=-8743847985174848188 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073079 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 4481 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073079 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 1073079 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 3353.55 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4292316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.09 7/335 184679
/proc/meminfo: memFree=80232368/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=4292336 CPUtime=3413.32 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 617107 0 52 0 340035 1297 0 0 20 0 20 0 18246540 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 1073084 6147 1 0 1084371 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=-8743847985174848188 CPUtime=3325.21 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 245122 0 39 0 331417 1104 0 0 20 0 20 0 18246575 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3305 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=67648 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 4535 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=4292336 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 3413.32 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4292336 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.09 7/336 184748
/proc/meminfo: memFree=79634860/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=4292336 CPUtime=3473.27 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 623261 0 52 0 346014 1313 0 0 20 0 20 0 18246540 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 1073084 6147 1 0 1084371 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=-8743847985174848188 CPUtime=3384.35 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 248414 0 39 0 337317 1118 0 0 20 0 20 0 18246575 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3319 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=4292336 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=4292336 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 4590 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=4292336 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 1073084 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 3473.27 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4292336 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.10 7/336 184759
/proc/meminfo: memFree=79067096/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=4292400 CPUtime=3534.33 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 639591 0 52 0 352104 1329 0 0 20 0 20 0 18246540 19586084864 1073100 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 1073100 6147 1 0 1084378 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=4292400 CPUtime=3443.11 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 255163 0 39 0 343180 1131 0 0 20 0 20 0 18246575 19586084864 1073100 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3363 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=5612 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073100 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=4292400 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 4678 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073100 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=4292400 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 1073100 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 3534.33 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4292400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.20 4.11 6/336 184839
/proc/meminfo: memFree=86553904/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=4292408 CPUtime=3594.08 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 645011 0 52 0 358060 1348 0 0 20 0 20 0 18246540 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 1073102 6147 1 0 1084378 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=11624 CPUtime=3502.33 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 258596 0 39 0 349085 1148 0 0 20 0 20 0 18246575 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3384 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=5612 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=4292408 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 4736 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 3594.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4292408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3588.3 s]
/proc/loadavg: 4.23 4.19 4.11 7/336 184840
/proc/meminfo: memFree=86514440/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19127036 memory=4292408 CPUtime=3600.03 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 645370 0 52 0 358653 1350 0 0 20 0 20 0 18246540 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 5 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4781759 1073102 6147 1 0 1084378 0
[pid=182770/tid=182776] ppid=182756 vsize=19127036 memory=4290232 CPUtime=3508.27 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 258955 0 39 0 349677 1150 0 0 20 0 20 0 18246575 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3389 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19127036 memory=-8743847985174848188 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19127036 memory=4292408 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 4736 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182849] ppid=182756 vsize=19127036 memory=4292408 CPUtime=0 cores=5,7
/proc/182770/task/182849/stat : 182849 (Timer-0) S 182756 182770 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246642 19586084864 1073102 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4292408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.02 s, system=13.531 s

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

[startup+3588.41 s]
/proc/loadavg: 4.23 4.19 4.11 7/336 184840
/proc/meminfo: memFree=86514440/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19326728 memory=4292996 CPUtime=3600.24 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 648536 0 52 0 358674 1350 0 0 20 0 22 0 18246540 19790569472 1073249 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4831682 1073249 6147 1 0 1085272 0
[pid=182770/tid=182776] ppid=182756 vsize=19326728 memory=18176 CPUtime=3508.29 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) S 182756 182770 182698 0 -1 1077936192 259075 0 39 0 349679 1150 0 0 20 0 22 0 18246575 19790569472 1073249 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3389 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19326728 memory=-8743847985174848188 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 22 0 18246604 19790569472 1073249 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19326728 memory=5552 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 4736 0 0 0 0 0 0 0 20 0 22 0 18246604 19790569472 1073249 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 4292996 KiB

[startup+3588.52 s]
/proc/loadavg: 4.23 4.19 4.11 7/336 184840
/proc/meminfo: memFree=86514440/131524600 swapFree=131061136/131071996
[pid=182770] ppid=182756 vsize=19326728 memory=4293228 CPUtime=3600.45 cores=5,7
/proc/182770/stat : 182770 (java) S 182756 182770 182698 0 -1 1077936128 650091 0 52 0 358694 1351 0 0 20 0 22 0 18246540 19790569472 1073307 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 0 0 16800975 0 0 0 17 7 0 0 34 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
/proc/182770/statm: 4831682 1073307 6147 1 0 1085278 0
[pid=182770/tid=182776] ppid=182756 vsize=19326728 memory=4290232 CPUtime=3508.29 cores=5,7
/proc/182770/task/182776/stat : 182776 (java) R 182756 182770 182698 0 -1 4194368 259189 0 39 0 349679 1150 0 0 20 0 22 0 18246575 19790569472 1073307 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3389 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182816] ppid=182756 vsize=19326728 memory=-8743847985174848188 CPUtime=0 cores=5,7
/proc/182770/task/182816/stat : 182816 (Finalizer) S 182756 182770 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 22 0 18246604 19790569472 1073307 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
[pid=182770/tid=182844] ppid=182756 vsize=19326728 memory=4292408 CPUtime=0 cores=5,7
/proc/182770/task/182844/stat : 182844 (Common-Cleaner) S 182756 182770 182698 0 -1 1077936192 4736 0 0 0 0 0 0 0 20 0 22 0 18246604 19790569472 1073307 134679101440 94788156235776 94788156239472 140720519343024 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94788156247288 94788156248080 94788180168704 140720519349167 140720519349349 140720519349349 140720519356360 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 4293228 KiB

Child status: 143

Real time (s): 3588.6
CPU time (s): 3600.55
CPU user time (s): 3587.02
CPU system time (s): 13.531
CPU usage (%): 100.333
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 5381684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.02
system time used= 13.531
maximum resident set size= 5381684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650594
page faults= 52
swaps= 0
block input operations= 7264
block output operations= 15632568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115137
involuntary context switches= 14343


# summary of solver processes directly reported to runsolver:
#   pid: 182770
#   total CPU time (s): 3600.55
#   total CPU user time (s): 3587.02
#   total CPU system time (s): 13.531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.0382 second user time and 19.1351 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-24 12:33:06
IDJOB=4442642
IDBENCH=147834
IDSOLVER=3079
FILE ID=nodeC014/4442642-1721817186
RUNJOBID= nodeC014-1721817186-182711
SLURM_JOB_ID= 7816864
Free space on /tmp= 890036 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-35-30.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-4442642-1721817186/watcher-4442642-1721817186 -o /tmp/evaluation-result-4442642-1721817186/solver-4442642-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721817186-182711 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4442642-1721817186 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442642-1721817186.opb

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

MD5SUM BENCH= da953313a09cceac0c8e3e7fb7d08ab4
RANDOM SEED=990321049

nodeC014.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		: 3669.982
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.45
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		: 3695.330
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.48
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		: 3612.592
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.45
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		: 3615.658
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.48
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		: 3785.807
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.45
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		: 3701.531
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.48
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		: 3638.965
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.45
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		: 3733.041
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128089588 kB
MemAvailable:   129819688 kB
Buffers:          236976 kB
Cached:          2320044 kB
SwapCached:          236 kB
Active:          2067704 kB
Inactive:         764068 kB
Active(anon):       2044 kB
Inactive(anon):   325944 kB
Active(file):    2065660 kB
Inactive(file):   438124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061136 kB
Dirty:              4176 kB
Writeback:             0 kB
AnonPages:        273428 kB
Mapped:            95944 kB
Shmem:             53232 kB
KReclaimable:     132280 kB
Slab:             250020 kB
SReclaimable:     132280 kB
SUnreclaim:       117740 kB
KernelStack:        3872 kB
PageTables:         9624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     644512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16896 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 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:      359124 kB
DirectMap2M:    35065856 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC014 at 2024-07-24 13:32:55