Trace number 4432153

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3604.19 2808.17

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
MD5SUM062a8ee8fd391209ed47aa3cd3325d2f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42567
Best CPU time to get the best result obtained on this benchmark3588.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 28908
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15645564
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 15645564
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432153-1721155950.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
1.09/0.62	c ... done. Wall clock time 0.492s.
1.09/0.62	c declared #vars     40451
1.09/0.62	c #constraints  40950
1.09/0.62	c constraints type 
1.09/0.62	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3896
1.09/0.62	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 552
1.09/0.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.09/0.62	c org.sat4j.specs.Constr$1 => 1
1.09/0.62	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1.09/0.62	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1.09/0.62	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36498
1.09/0.62	c 40950 constraints processed.
1.09/0.63	c objective function length is 28908 literals
2.46/1.36	c SATISFIABLE
2.46/1.36	c OPTIMIZING...
2.46/1.36	c Got one! Elapsed wall clock time (in seconds):1.238
2.46/1.36	o -2931
7.35/5.44	c Got one! Elapsed wall clock time (in seconds):5.325
7.35/5.44	o -6401
8.68/6.67	c cleaning 2970 clauses out of 5947 with flag 2723/5981
13.31/11.04	c Got one! Elapsed wall clock time (in seconds):10.923
13.31/11.04	o -12808
25.77/22.63	c cleaning 4459 clauses out of 8917 with flag 4818/11924
38.60/34.65	c Got one! Elapsed wall clock time (in seconds):34.534
38.60/34.65	o -12937
42.65/38.41	c cleaning 5112 clauses out of 10241 with flag 13507/17708
47.85/43.66	c cleaning 5555 clauses out of 11128 with flag 38652/23707
53.83/49.63	c cleaning 6280 clauses out of 12573 with flag 70867/30707
61.02/56.76	c cleaning 7137 clauses out of 14294 with flag 111834/38708
69.01/64.69	c cleaning 8077 clauses out of 16158 with flag 166822/47709
77.79/73.40	c cleaning 9036 clauses out of 18079 with flag 225381/57707
87.06/82.76	c cleaning 10014 clauses out of 20044 with flag 285145/68708
97.13/92.86	c cleaning 11011 clauses out of 22029 with flag 361030/80707
108.61/104.38	c cleaning 12005 clauses out of 24019 with flag 444492/93708
120.71/116.60	c cleaning 13007 clauses out of 26014 with flag 540125/107708
136.47/132.42	c cleaning 13997 clauses out of 28008 with flag 617017/122709
150.82/146.85	c cleaning 14997 clauses out of 30009 with flag 728584/138707
166.12/162.15	c cleaning 16006 clauses out of 32013 with flag 845784/155708
181.96/177.91	c cleaning 17002 clauses out of 34006 with flag 1000936/173707
310.07/299.73	c cleaning 17924 clauses out of 36006 with flag 1101780/192712
717.49/683.97	c cleaning 19027 clauses out of 38065 with flag 1170806/212707
897.04/840.61	c cleaning 19991 clauses out of 40032 with flag 1224520/233707
998.94/935.82	c Got one! Elapsed wall clock time (in seconds):935.706
998.94/935.82	o -13099
1045.47/963.19	c cleaning 18322 clauses out of 36648 with flag 11727/250317
1090.63/1001.35	c cleaning 12149 clauses out of 24336 with flag 25126/256327
1132.44/1040.01	c cleaning 9605 clauses out of 19210 with flag 41897/263350
1184.74/1085.38	c cleaning 8785 clauses out of 17573 with flag 62987/271318
1251.47/1141.79	c cleaning 8858 clauses out of 17784 with flag 84181/280314
1260.22/1149.97	c Got one! Elapsed wall clock time (in seconds):1149.857
1260.22/1149.97	o -13164
1284.52/1167.30	c cleaning 7395 clauses out of 14797 with flag 13155/286188
1317.47/1197.09	c cleaning 6697 clauses out of 13403 with flag 30471/292189
1371.59/1245.63	c cleaning 6849 clauses out of 13706 with flag 50669/299189
1438.36/1299.31	c cleaning 7424 clauses out of 14856 with flag 76012/307188
1498.72/1350.18	c cleaning 8213 clauses out of 16432 with flag 104753/316188
1561.84/1403.99	c cleaning 9109 clauses out of 18219 with flag 136637/326188
1661.01/1492.69	c cleaning 10052 clauses out of 20111 with flag 172673/337189
1748.26/1563.27	c cleaning 11028 clauses out of 22059 with flag 210984/349189
1954.30/1724.49	c cleaning 12016 clauses out of 24031 with flag 254292/362189
2084.97/1831.57	c cleaning 13006 clauses out of 26015 with flag 299719/376189
2234.09/1931.75	c cleaning 14005 clauses out of 28009 with flag 346938/391189
2580.53/2212.12	c cleaning 14999 clauses out of 30004 with flag 402346/407189
3273.55/2641.52	
3273.55/2641.52	Exception: java.lang.OutOfMemoryError thrown from the UncaughtExceptionHandler in thread "main"

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432153-1721155950/watcher-4432153-1721155950 -o /tmp/evaluation-result-4432153-1721155950/solver-4432153-1721155950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721148758-863558 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432153-1721155950.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
solver pid=867817, runsolver pid=867814
Current StackSize limit: 8192 KiB


[startup+0.102854 s]*
/proc/loadavg: 4.25 4.18 4.17 7/332 867835
/proc/meminfo: memFree=121010540/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=18975048 memory=64016 CPUtime=0.14 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 7128 0 0 0 12 2 0 0 20 0 18 0 167758493 19430449152 16004 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4743762 16004 5517 1 0 549345 0
[pid=867817/tid=867819] ppid=867814 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 5693 0 0 0 7 2 0 0 20 0 18 0 167758493 19430449152 16004 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167758495 19430449152 16004 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 167758496 19430449152 16004 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64016 KiB

[startup+0.206763 s]*
/proc/loadavg: 4.25 4.18 4.17 8/332 867835
/proc/meminfo: memFree=120854344/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=18975048 memory=87604 CPUtime=0.34 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 9301 0 0 0 31 3 0 0 20 0 18 0 167758493 19430449152 21901 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4743762 21901 5828 1 0 550873 0
[pid=867817/tid=867819] ppid=867814 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 5820 0 0 0 17 2 0 0 20 0 18 0 167758493 19430449152 21901 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=18975048 memory=1623 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167758495 19430449152 21901 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=18975048 memory=14695192770905705 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 167758496 19430449152 21901 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 87604 KiB

[startup+0.306011 s]*
/proc/loadavg: 4.25 4.18 4.17 7/332 867835
/proc/meminfo: memFree=120807880/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=18975048 memory=117240 CPUtime=0.53 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 9548 0 0 0 49 4 0 0 20 0 18 0 167758493 19430449152 29310 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4743762 29310 5828 1 0 550921 0
[pid=867817/tid=867819] ppid=867814 vsize=18975048 memory=-8889087952204178108 CPUtime=0.26 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 5872 0 0 0 23 3 0 0 20 0 18 0 167758493 19430449152 29310 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 167758495 19430449152 29310 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 167758496 19430449152 29310 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 117240 KiB

[startup+0.700761 s]
/proc/loadavg: 4.25 4.18 4.17 6/333 867836
/proc/meminfo: memFree=120739212/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=193560 CPUtime=1.27 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 14443 0 0 0 121 6 0 0 20 0 20 0 167758493 19566772224 48390 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 48390 5898 1 0 554762 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=5436 CPUtime=0.59 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 6003 0 0 0 55 4 0 0 20 0 20 0 167758493 19566772224 48390 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 48390 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 48390 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193560 KiB

[startup+1.50076 s]
/proc/loadavg: 4.31 4.20 4.17 6/334 867837
/proc/meminfo: memFree=120715552/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=215864 CPUtime=2.86 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 19229 0 0 0 278 8 0 0 20 0 20 0 167758493 19566772224 53966 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 53966 5898 1 0 557808 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=0 CPUtime=1.36 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 6029 0 0 0 132 4 0 0 20 0 20 0 167758493 19566772224 53966 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 53966 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 53966 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 53966 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215864 KiB

[startup+3.10676 s]
/proc/loadavg: 4.31 4.20 4.17 6/334 867905
/proc/meminfo: memFree=126381216/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=235312 CPUtime=4.76 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 21003 0 0 0 468 8 0 0 20 0 20 0 167758493 19566772224 58828 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 58828 5898 1 0 557833 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=0 CPUtime=2.92 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 6175 0 0 0 288 4 0 0 20 0 20 0 167758493 19566772224 58828 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 58828 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 58828 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 58828 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 235312 KiB

[startup+6.30076 s]
/proc/loadavg: 4.36 4.21 4.18 5/334 867905
/proc/meminfo: memFree=125589116/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=236032 CPUtime=8.38 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 27369 0 0 0 829 9 0 0 20 0 20 0 167758493 19566772224 59008 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 59008 5898 1 0 557896 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=0 CPUtime=6.06 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 6950 0 0 0 602 4 0 0 20 0 20 0 167758493 19566772224 59008 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 59008 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=12064 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 59008 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=42056 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 59008 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 8.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 236032 KiB

[startup+12.7008 s]
/proc/loadavg: 4.41 4.22 4.18 6/334 867906
/proc/meminfo: memFree=124927496/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=307264 CPUtime=15.08 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 31179 0 0 0 1497 11 0 0 20 0 20 0 167758493 19566772224 76816 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 76816 5914 1 0 557939 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=0 CPUtime=12.36 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 8104 0 0 0 1231 5 0 0 20 0 20 0 167758493 19566772224 76816 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=299068 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 76816 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 76816 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=235320 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 76816 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 15.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 307264 KiB

[startup+25.5008 s]
/proc/loadavg: 4.35 4.22 4.18 5/334 867908
/proc/meminfo: memFree=121534408/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=2178004 CPUtime=28.93 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 38498 0 0 0 2845 48 0 0 20 0 20 0 167758493 19566772224 544501 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 544501 5914 1 0 1629533 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=-8889087952204178108 CPUtime=23.91 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 9371 0 0 0 2374 17 0 0 20 0 20 0 167758493 19566772224 544501 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=244224 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 544501 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 544501 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=235320 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 544501 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 28.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2178004 KiB

[startup+51.1059 s]
/proc/loadavg: 4.34 4.23 4.18 5/334 867912
/proc/meminfo: memFree=118944296/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=3232944 CPUtime=55.37 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 45576 0 0 0 5467 70 0 0 20 0 20 0 167758493 19566772224 808236 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 808236 5914 1 0 1842601 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=6944656592455360604 CPUtime=48.53 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) R 867814 867817 863548 0 -1 4194368 11232 0 0 0 4830 23 0 0 20 0 20 0 167758493 19566772224 808236 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 808236 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=3191832 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 808236 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0

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

/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 681710 0 0 0 346498 856 0 0 20 0 20 0 167758493 19566772224 4076753 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 4076753 5954 1 0 4088620 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=16307004 CPUtime=2238.51 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 86156 0 0 0 223585 266 0 0 20 0 20 0 167758493 19566772224 4076753 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=16307012 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 4076753 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=16307028 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 1043 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 4076753 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=16307012 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 4076753 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 3473.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16307012 KiB

[startup+2802.3 s]
/proc/loadavg: 5.08 5.01 4.83 6/331 869658
/proc/meminfo: memFree=99048216/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=16306980 CPUtime=3592.57 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 684745 0 0 0 358400 857 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 4076745 5954 1 0 4088620 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=16306944 CPUtime=2238.51 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 86183 0 0 0 223585 266 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=1888 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 1064 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=1888 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 3592.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16306980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2806.11 s]
/proc/loadavg: 5.08 5.01 4.83 6/331 869658
/proc/meminfo: memFree=99048216/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=16306980 CPUtime=3600.14 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 684871 0 0 0 359157 857 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 4076745 5954 1 0 4088620 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=1888 CPUtime=2238.51 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 86183 0 0 0 223585 266 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=39408 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=16306944 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 1064 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=27324 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16306980 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+2808.17 s]
# the end of solver process 867817 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3595.57 s, system=8.6254 s

Solver just ended.
Dumping a history of the last processes samples

[startup+2806.4 s]
/proc/loadavg: 5.08 5.01 4.83 6/331 869658
/proc/meminfo: memFree=99048216/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=16306980 CPUtime=3600.72 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 684875 0 0 0 359215 857 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 4076745 5954 1 0 4088620 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=-8889087952204178108 CPUtime=2238.51 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 86183 0 0 0 223585 266 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=16224 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 1064 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16306980 KiB

[startup+2807.2 s]
/proc/loadavg: 5.15 5.03 4.83 6/331 869658
/proc/meminfo: memFree=99048216/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=16306980 CPUtime=3602.31 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 684876 0 0 0 359374 857 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 4076745 5954 1 0 4088620 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=6943526294502006880 CPUtime=2238.51 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 86183 0 0 0 223585 266 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=16306980 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=16224 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 1064 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=-8889087952204178108 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 3602.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16306980 KiB

[startup+2807.6 s]
/proc/loadavg: 5.15 5.03 4.83 6/331 869658
/proc/meminfo: memFree=99048216/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=16306980 CPUtime=3603.11 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 684877 0 0 0 359454 857 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 4076745 5954 1 0 4088620 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=42056 CPUtime=2238.51 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 86183 0 0 0 223585 266 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=5436 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 1064 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=16224 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 3603.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16306980 KiB

[startup+2808 s]*
/proc/loadavg: 5.15 5.03 4.83 6/331 869660
/proc/meminfo: memFree=99048188/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=16306980 CPUtime=3603.91 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 684877 0 0 0 359534 857 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 4076745 5954 1 0 4088620 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=-8599732771362284220 CPUtime=2238.51 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 86183 0 0 0 223585 266 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=8114817511553539229 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=3268 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 1064 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=6572496 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 3603.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16306980 KiB

[startup+2808.11 s]
/proc/loadavg: 5.15 5.03 4.83 6/331 869660
/proc/meminfo: memFree=99048188/131524600 swapFree=131071996/131071996
[pid=867817] ppid=867814 vsize=19108176 memory=16306980 CPUtime=3604.11 cores=0,2
/proc/867817/stat : 867817 (java) S 867814 867817 863548 0 -1 1077936128 684877 0 0 0 359554 857 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
/proc/867817/statm: 4777044 4076745 5954 1 0 4088620 0
[pid=867817/tid=867819] ppid=867814 vsize=19108176 memory=1888 CPUtime=2238.51 cores=0,2
/proc/867817/task/867819/stat : 867819 (java) S 867814 867817 863548 0 -1 1077936192 86183 0 0 0 223585 266 0 0 20 0 20 0 167758493 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867828] ppid=867814 vsize=19108176 memory=39408 CPUtime=0 cores=0,2
/proc/867817/task/867828/stat : 867828 (Finalizer) S 867814 867817 863548 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 167758495 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867835] ppid=867814 vsize=19108176 memory=16306980 CPUtime=0 cores=0,2
/proc/867817/task/867835/stat : 867835 (Common-Cleaner) S 867814 867817 863548 0 -1 1077936192 1064 0 0 0 0 0 0 0 20 0 20 0 167758496 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
[pid=867817/tid=867837] ppid=867814 vsize=19108176 memory=12292 CPUtime=0 cores=0,2
/proc/867817/task/867837/stat : 867837 (Timer-0) S 867814 867817 863548 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 167758559 19566772224 4076745 134679101440 94890376245248 94890376248944 140726029226912 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94890376256760 94890376257552 94890385580032 140726029231111 140726029231201 140726029231201 140726029238216 0
Current children cumulated CPU time: 3604.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16306980 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2808.17
CPU time (s): 3604.19
CPU user time (s): 3595.57
CPU system time (s): 8.6254
CPU usage (%): 128.347
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 16307028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.57
system time used= 8.6254
maximum resident set size= 16307480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 684880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98565
involuntary context switches= 56171


# summary of solver processes directly reported to runsolver:
#   pid: 867817
#   total CPU time (s): 3604.19
#   total CPU user time (s): 3595.57
#   total CPU system time (s): 8.6254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0114 second user time and 13.9989 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-16 20:52:43
IDJOB=4432153
IDBENCH=156528
IDSOLVER=3058
FILE ID=nodeC020/4432153-1721155950
RUNJOBID= nodeC020-1721148758-863558
SLURM_JOB_ID= 7505743
Free space on /tmp= 889856 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432153-1721155950/watcher-4432153-1721155950 -o /tmp/evaluation-result-4432153-1721155950/solver-4432153-1721155950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721148758-863558 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432153-1721155950.opb

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

MD5SUM BENCH= 062a8ee8fd391209ed47aa3cd3325d2f
RANDOM SEED=1899329258

nodeC020.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		: 3642.285
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	: 7000.05
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		: 3686.478
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.84
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		: 3652.805
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	: 7000.05
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		: 3600.641
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.84
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		: 3653.425
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	: 7000.05
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		: 3686.673
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121117852 kB
MemAvailable:   122984380 kB
Buffers:          439844 kB
Cached:          2246260 kB
SwapCached:            0 kB
Active:           905148 kB
Inactive:        8854864 kB
Active(anon):       1568 kB
Inactive(anon):  7110056 kB
Active(file):     903580 kB
Inactive(file):  1744808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7348 kB
Writeback:             0 kB
AnonPages:       7073260 kB
Mapped:           124480 kB
Shmem:             37720 kB
KReclaimable:     115928 kB
Slab:             224920 kB
SReclaimable:     115928 kB
SUnreclaim:       108992 kB
KernelStack:        5040 kB
PageTables:        23876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   19791580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61408 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6713344 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC020 at 2024-07-16 21:39:31