Trace number 4503643

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 CP VeriPB 2025-06-06? (TO) 3600.24 3685.71

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-38.opb
MD5SUM9e23e458e7baadfd402519ffe94968c6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.22323
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7320
Total number of constraints155722
Number of constraints which are clauses139455
Number of constraints which are cardinality constraints (but not clauses)573
Number of constraints which are nor clauses,nor cardinality constraints15694
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.16	c See www.sat4j.org for details.
0.11/0.17	c version PB25.v20250606
0.11/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.19	c java.vm.version	22.0.1+8-16
0.11/0.19	c java.vm.vendor	Oracle Corporation
0.11/0.19	c sun.arch.data.model	64
0.11/0.19	c java.version		22.0.1
0.11/0.19	c os.name		Linux
0.11/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.19	c os.arch		amd64
0.11/0.19	c Free memory 		2104792832
0.11/0.19	c Max memory 		16282288128
0.11/0.19	c Total memory 		2113929216
0.11/0.20	c Number of processors 	2
0.44/0.39	c Pseudo Boolean Optimization by upper bound
0.44/0.39	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.44/0.39	c  - never skip resolution steps
0.44/0.39	c  - Auto-division on coefficients is disabled
0.44/0.39	c  - No postprocessing
0.44/0.39	c  - Conflict is considered as is when resolving
0.44/0.39	c  - Use constraints as they come during conflict analysis
0.44/0.39	c  - Weaken first using unassigned literals
0.44/0.39	c  - Bump strategy: ALWAYS_ONE
0.44/0.39	c  - Bumper: EFFECTIVE
0.44/0.39	c --- Begin Solver configuration ---
0.44/0.39	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd
0.44/0.39	c Learn all clauses as in MiniSAT
0.44/0.39	c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.39	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.44/0.39	c No reason simplification
0.44/0.39	c Dynamic restart strategy considering the size of the coefficients
0.44/0.39	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96
0.44/0.39	c timeout=2147483s
0.44/0.39	c DB Simplification allowed=false
0.44/0.39	c Listener: none
0.44/0.39	c --- End Solver configuration ---
0.44/0.39	c solving HOME/instance-4503643-1751178138.opb
0.44/0.39	c reading problem ... 
0.44/0.40	c using VERIPB proof format
0.44/0.41	c  no objective function found
6.08/3.21	c ... done. Wall clock time 2.819s.
6.08/3.21	c declared #vars     7320
6.08/3.21	c #constraints  156020
6.08/3.21	c constraints type 
6.08/3.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 31471
6.08/3.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 563
6.08/3.21	c org.sat4j.specs.Constr$1 => 2291
6.08/3.21	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 15694
6.08/3.21	c org.sat4j.pb.constraints.pb.UnitClausePB => 151
6.08/3.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 105850
6.08/3.21	c 156020 constraints processed.
10.00/5.21	c cleaning 2498 clauses out of 5000 with flag 0/5000
12.43/6.67	c cleaning 4250 clauses out of 8504 with flag 0/11002
15.61/9.06	c cleaning 5625 clauses out of 11253 with flag 0/18001
19.23/12.12	c cleaning 6811 clauses out of 13628 with flag 0/26001
21.77/14.28	c cleaning 7905 clauses out of 15816 with flag 0/35000
25.24/17.24	c cleaning 8950 clauses out of 17912 with flag 0/45001
28.23/20.26	c cleaning 9972 clauses out of 19962 with flag 0/56001
32.10/24.04	c cleaning 10985 clauses out of 21990 with flag 0/68001
36.44/28.38	c cleaning 11992 clauses out of 24006 with flag 0/81002
43.18/35.06	c cleaning 12996 clauses out of 26012 with flag 0/95000
49.49/41.36	c cleaning 14009 clauses out of 28018 with flag 0/110002
57.07/48.37	c cleaning 14996 clauses out of 30008 with flag 0/126001
66.30/57.30	c cleaning 15999 clauses out of 32014 with flag 0/143003
75.16/66.06	c cleaning 17002 clauses out of 34012 with flag 0/161000
84.15/75.00	c cleaning 17994 clauses out of 36010 with flag 0/180000
93.03/83.82	c cleaning 18999 clauses out of 38019 with flag 0/200003
103.30/94.12	c cleaning 20003 clauses out of 40019 with flag 0/221002
114.71/105.53	c cleaning 20999 clauses out of 42015 with flag 0/243001
128.27/119.11	c cleaning 21989 clauses out of 44016 with flag 0/266001
142.12/132.92	c cleaning 22991 clauses out of 46026 with flag 0/290000
156.40/147.20	c cleaning 24002 clauses out of 48035 with flag 0/315000
171.32/162.14	c cleaning 25008 clauses out of 50035 with flag 0/341002
185.07/175.88	c cleaning 26002 clauses out of 52025 with flag 0/368000
200.80/191.47	c cleaning 27004 clauses out of 54025 with flag 0/396002
215.68/206.27	c cleaning 28001 clauses out of 56019 with flag 0/425000
231.57/222.05	c cleaning 28987 clauses out of 58018 with flag 0/455000
248.26/238.68	c cleaning 30002 clauses out of 60032 with flag 0/486001
264.70/254.99	c cleaning 31011 clauses out of 62030 with flag 0/518001
284.32/274.56	c cleaning 32006 clauses out of 64021 with flag 0/551003
302.34/292.46	c cleaning 32990 clauses out of 66012 with flag 0/585000
322.41/312.37	c cleaning 34002 clauses out of 68024 with flag 0/620002
343.27/333.03	c cleaning 34995 clauses out of 70020 with flag 0/656000
367.87/357.55	c cleaning 36009 clauses out of 72025 with flag 0/693000
392.15/381.78	c cleaning 36995 clauses out of 74018 with flag 0/731002
417.59/407.06	c cleaning 37981 clauses out of 76022 with flag 0/770001
446.71/435.82	c cleaning 39011 clauses out of 78041 with flag 0/810001
476.43/465.37	c cleaning 40012 clauses out of 80029 with flag 0/851000
506.98/495.67	c cleaning 40997 clauses out of 82017 with flag 0/893000
538.58/527.02	c cleaning 42010 clauses out of 84020 with flag 0/936000
571.73/559.97	c cleaning 42992 clauses out of 86010 with flag 0/980000
609.55/597.48	c cleaning 43997 clauses out of 88019 with flag 0/1025001
644.83/632.47	c cleaning 44948 clauses out of 90021 with flag 0/1071000
682.09/669.51	c cleaning 46030 clauses out of 92074 with flag 0/1118001
720.86/707.92	c cleaning 46985 clauses out of 94043 with flag 0/1166000
762.41/749.27	c cleaning 48008 clauses out of 96059 with flag 0/1215001
808.67/795.31	c cleaning 49016 clauses out of 98051 with flag 0/1265001
856.15/842.33	c cleaning 50009 clauses out of 100035 with flag 0/1316001
907.24/893.23	c cleaning 51003 clauses out of 102026 with flag 0/1368001
958.27/943.59	c cleaning 52006 clauses out of 104023 with flag 0/1421001
1017.01/1001.61	c cleaning 52958 clauses out of 106018 with flag 0/1475002
1067.01/1051.07	c cleaning 54008 clauses out of 108058 with flag 0/1530000
1126.04/1109.51	c cleaning 54998 clauses out of 110050 with flag 0/1586000
1183.58/1167.55	c cleaning 55988 clauses out of 112054 with flag 0/1643002
1247.11/1230.46	c cleaning 57012 clauses out of 114065 with flag 0/1701001
1308.98/1291.75	c cleaning 58000 clauses out of 116053 with flag 0/1760001
1375.00/1357.19	c cleaning 59017 clauses out of 118054 with flag 0/1820002
1444.67/1426.17	c cleaning 59980 clauses out of 120037 with flag 0/1881002
1520.70/1501.30	c cleaning 61014 clauses out of 122055 with flag 0/1943000
1596.45/1575.89	c cleaning 62004 clauses out of 124042 with flag 0/2006001
1674.12/1652.32	c cleaning 62985 clauses out of 126038 with flag 0/2070001
1756.54/1733.24	c cleaning 64021 clauses out of 128053 with flag 0/2135001
1845.77/1820.69	c cleaning 65005 clauses out of 130031 with flag 0/2201000
1926.74/1900.54	c cleaning 65998 clauses out of 132029 with flag 0/2268003
2013.47/1988.48	c cleaning 66957 clauses out of 134029 with flag 0/2336001
2104.69/2078.45	c cleaning 67970 clauses out of 136071 with flag 0/2405000
2200.64/2171.35	c cleaning 69049 clauses out of 138103 with flag 0/2475002
2297.72/2261.72	c cleaning 70001 clauses out of 140052 with flag 0/2546000
2392.35/2353.36	c cleaning 70983 clauses out of 142052 with flag 0/2618001
2526.54/2484.53	c cleaning 71964 clauses out of 144069 with flag 0/2691001
2710.33/2666.03	c cleaning 73029 clauses out of 146104 with flag 0/2765000
2842.68/2795.46	c cleaning 74029 clauses out of 148076 with flag 0/2840001
2963.44/2912.58	c cleaning 74969 clauses out of 150046 with flag 0/2916000
3109.66/3057.13	c cleaning 76021 clauses out of 152077 with flag 0/2993000
3275.25/3218.89	c cleaning 76986 clauses out of 154057 with flag 0/3071001
3453.02/3392.94	c cleaning 78016 clauses out of 156071 with flag 0/3150001
3592.91/3678.58	c cleaning 79000 clauses out of 158056 with flag 0/3230002
3600.00/3685.52	c timeout
3600.00/3685.53	c starts		: 5756
3600.00/3685.54	c conflicts		: 3236668
3600.00/3685.54	c decisions		: 7000982
3600.00/3685.54	c propagations		: 853749202
3600.00/3685.54	c inspects		: 17311804740
3600.00/3685.54	c shortcuts		: 0
3600.00/3685.54	c learnt literals	: 0
3600.00/3685.54	c learnt binary clauses	: 158
3600.00/3685.54	c learnt ternary clauses	: 1015
3600.00/3685.54	c learnt constraints	: 3236667
3600.00/3685.55	c ignored constraints	: 0
3600.00/3685.55	c root simplifications	: 0
3600.00/3685.55	c removed literals (reason simplification)	: 0
3600.00/3685.55	c reason swapping (by a shorter reason)	: 0
3600.00/3685.55	c Calls to reduceDB	: 76
3600.00/3685.55	c Number of update (reduction) of LBD	: 4101397
3600.00/3685.55	c Imported unit clauses	: 0
3600.00/3685.55	c No decision after first conflict	: false
3600.00/3685.55	c number of reductions to clauses (during analyze)	: 0
3600.00/3685.55	c number of learned constraints concerned by reduction	: 0
3600.00/3685.55	c number of learning phase by resolution	: 0
3600.00/3685.55	c number of learning phase by cutting planes	: 0
3600.00/3685.55	c number of rounding to 1 operations	: 0
3600.00/3685.55	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3685.55	c number of reductions of the coefficients by power 2 	: 0
3600.00/3685.55	c number of right shift for reduction by power 2 	: 0
3600.00/3685.55	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3685.55	c number of ending skipping 	: 0
3600.00/3685.55	c number of internal skipping 	: 0
3600.00/3685.55	c number of derivation steps 	: 52003556
3600.00/3685.55	c number of skipped derivation steps 	: 0
3600.00/3685.55	c number of remaining unassigned 	: 75852
3600.00/3685.55	c number of remaining assigned 	: 324857945
3600.00/3685.55	c number of falsified literals weakened from reason	: 0
3600.00/3685.55	c number of falsified literals weakened from conflict	: 0
3600.00/3685.55	c time for arithmetic operations	: 10868345523
3600.00/3685.55	c minimum degree of deleted constraints	: 1
3600.00/3685.55	c maximum degree of deleted constraints	: 922636702642576740
3600.00/3685.55	c number of deleted constraints	: 3150946
3600.00/3685.55	c speed (assignments/second)	: 231849.8285192257
3600.00/3685.55	c non guided choices	: 72214
3600.00/3685.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 68265
3600.00/3685.60	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 22
3600.00/3685.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 158
3600.00/3685.60	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 17276
3600.00/3685.60	s UNKNOWN
3600.00/3685.60	c Total wall clock time (in seconds): 3685.217

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: 63837 MiB (46775 MiB free)
  memory of node 1: 64465 MiB (58347 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503643-1751178138/watcher-4503643-1751178138 -o /tmp/evaluation-result-4503643-1751178138/solver-4503643-1751178138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751171026-21014 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503643-1751178138 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4503643-1751178138.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=22053, runsolver pid=22050

[startup+0.100068 s]*
/proc/loadavg: 4.26 4.25 4.27 7/328 22071
/proc/meminfo: memFree=107629840/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=18930384 memory=48140 CPUtime=0.11 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 5728 0 0 0 8 3 0 0 20 0 18 0 33493231 19384713216 12035 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4732596 12035 5304 1 0 546946 0
[pid=22053/tid=22055] ppid=22050 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 4639 0 0 0 5 2 0 0 20 0 18 0 33493233 19384713216 12035 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33493237 19384713216 12035 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=18930384 memory=58494082630061 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 33493238 19384713216 12035 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48140 KiB

[startup+0.211716 s]*
/proc/loadavg: 4.26 4.25 4.27 5/328 22071
/proc/meminfo: memFree=107620012/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=18930384 memory=55636 CPUtime=0.28 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 6525 0 0 0 25 3 0 0 20 0 18 0 33493231 19384713216 13909 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4732596 13909 5368 1 0 547611 0
[pid=22053/tid=22055] ppid=22050 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 5047 0 0 0 14 2 0 0 20 0 18 0 33493233 19384713216 13909 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=18930384 memory=13926 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33493237 19384713216 13909 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 33493238 19384713216 13909 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55636 KiB

[startup+0.311658 s]*
/proc/loadavg: 4.26 4.25 4.27 6/328 22071
/proc/meminfo: memFree=107615160/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=18930384 memory=58956 CPUtime=0.44 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 6785 0 0 0 40 4 0 0 20 0 18 0 33493231 19384713216 14739 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4732596 14739 5432 1 0 547781 0
[pid=22053/tid=22055] ppid=22050 vsize=18930384 memory=-6000919507066579565 CPUtime=0.25 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) S 22050 22053 21002 0 -1 4194368 5211 0 0 0 22 3 0 0 20 0 18 0 33493233 19384713216 14739 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 33493237 19384713216 14739 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 33493238 19384713216 14739 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58956 KiB

[startup+0.700318 s]
/proc/loadavg: 4.26 4.25 4.27 8/328 22071
/proc/meminfo: memFree=107590332/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=18998012 memory=154868 CPUtime=1.13 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 8394 0 0 0 105 8 0 0 20 0 19 0 33493231 19453964288 38717 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4749503 38717 5496 1 0 549222 0
[pid=22053/tid=22055] ppid=22050 vsize=18998012 memory=17280 CPUtime=0.6 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 5490 0 0 0 54 6 0 0 20 0 19 0 33493233 19453964288 38717 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=18998012 memory=11264 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 33493237 19453964288 38717 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=18998012 memory=3200 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 33493238 19453964288 38717 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18998012 KiB
Current children cumulated memory: 154868 KiB

[startup+1.50147 s]
/proc/loadavg: 4.26 4.25 4.27 7/329 22072
/proc/meminfo: memFree=107121688/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=18996948 memory=1299096 CPUtime=2.7 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 11720 0 0 0 239 31 0 0 20 0 19 0 33493231 19452874752 324774 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4749237 324774 5496 1 0 550932 0
[pid=22053/tid=22055] ppid=22050 vsize=18996948 memory=3200 CPUtime=1.35 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 6150 0 0 0 107 28 0 0 20 0 19 0 33493233 19452874752 324774 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 33493237 19452874752 324774 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 33493238 19452874752 324774 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1299096 KiB

[startup+3.10528 s]
/proc/loadavg: 4.26 4.25 4.27 7/329 22072
/proc/meminfo: memFree=105361580/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=18996948 memory=2301004 CPUtime=5.89 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 26912 0 0 0 535 54 0 0 20 0 19 0 33493231 19452874752 575251 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4749237 575251 5496 1 0 803766 0
[pid=22053/tid=22055] ppid=22050 vsize=18996948 memory=11264 CPUtime=2.82 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 6755 0 0 0 234 48 0 0 20 0 19 0 33493233 19452874752 575251 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 33493237 19452874752 575251 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=18996948 memory=5632 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 33493238 19452874752 575251 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2301004 KiB

[startup+6.30023 s]
/proc/loadavg: 4.32 4.26 4.27 6/330 22073
/proc/meminfo: memFree=105347568/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=2300212 CPUtime=12 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 28169 0 0 0 1144 56 0 0 20 0 20 0 33493231 19521036288 575053 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 575053 5496 1 0 804329 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=5632 CPUtime=5.8 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 7233 0 0 0 532 48 0 0 20 0 20 0 33493233 19521036288 575053 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 575053 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 575053 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 575053 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2300212 KiB

[startup+12.7004 s]
/proc/loadavg: 4.30 4.26 4.27 6/330 22074
/proc/meminfo: memFree=102597712/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=3475496 CPUtime=20.26 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 30390 0 0 0 1945 81 0 0 20 0 20 0 33493231 19521036288 868874 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 868874 5496 1 0 1103145 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=11264 CPUtime=12 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 8512 0 0 0 1128 72 0 0 20 0 20 0 33493233 19521036288 868874 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=3473252 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 868874 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 868874 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 868874 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 20.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3475496 KiB

[startup+25.5005 s]
/proc/loadavg: 4.30 4.26 4.27 6/330 22074
/proc/meminfo: memFree=102578860/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=3475752 CPUtime=33.64 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 40605 0 0 0 3278 86 0 0 20 0 20 0 33493231 19521036288 868938 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 868938 5528 1 0 1103164 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=3473252 CPUtime=24.42 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 10888 0 0 0 2367 75 0 0 20 0 20 0 33493233 19521036288 868938 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=3475752 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 868938 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 868938 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=2300212 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 868938 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 33.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3475752 KiB

[startup+51.1145 s]
/proc/loadavg: 4.33 4.27 4.27 5/329 22140
/proc/meminfo: memFree=103758608/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=3488436 CPUtime=60.05 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 52842 0 0 0 5912 93 0 0 20 0 20 0 33493231 19521036288 872109 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 872109 5528 1 0 1103229 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=211309297979 CPUtime=49.37 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 14255 0 0 0 4858 79 0 0 20 0 20 0 33493233 19521036288 872109 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=3480016 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 872109 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 872109 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 872109 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 60.05 s
Current children cumulated vsize: 19063512 KiB

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

[startup+3342.3 s]
/proc/loadavg: 4.22 4.29 4.27 5/328 22379
/proc/meminfo: memFree=100166492/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3400.93 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 188067 0 0 0 339487 606 0 0 20 0 20 0 33493231 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 1092944 5528 1 0 1106271 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3250.28 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 88855 0 0 0 324664 364 0 0 20 0 20 0 33493233 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=4371776 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=4371776 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 1609 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=-6000919507066579565 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 3400.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4371776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.28 4.27 5/329 22385
/proc/meminfo: memFree=100155456/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3462.62 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 189967 0 0 0 345646 616 0 0 20 0 20 0 33493231 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 1092944 5528 1 0 1106271 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3308.05 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 90069 0 0 0 330436 369 0 0 20 0 20 0 33493233 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=4371776 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 1626 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 3462.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4371776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.26 4.26 5/329 22387
/proc/meminfo: memFree=100109948/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3524.51 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 190195 0 0 0 351824 627 0 0 20 0 20 0 33493231 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 1092944 5528 1 0 1106271 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3365.74 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 90118 0 0 0 336198 376 0 0 20 0 20 0 33493233 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=4371776 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=4371776 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 3524.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4371776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.26 4.26 1/329 22393
/proc/meminfo: memFree=100105784/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3524.63 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 190200 0 0 0 351833 630 0 0 20 0 20 0 33493231 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 1092944 5528 1 0 1106271 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3365.82 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) D 22050 22053 21002 0 -1 4194368 90118 0 0 0 336206 376 0 0 20 0 20 0 33493233 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=4371776 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 3524.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4371776 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.22 4.25 1/329 22396
/proc/meminfo: memFree=100104784/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3524.67 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 190205 0 0 0 351835 632 0 0 20 0 20 0 33493231 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 1092944 5528 1 0 1106271 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=14720 CPUtime=3365.82 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) D 22050 22053 21002 0 -1 4194368 90118 0 0 0 336206 376 0 0 20 0 20 0 33493233 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 3524.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4371776 KiB

[startup+3642.3 s]
/proc/loadavg: 4.09 4.19 4.24 5/330 22399
/proc/meminfo: memFree=100103108/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3557.07 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 190717 0 0 0 355069 638 0 0 20 0 20 0 33493231 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 1092944 5528 1 0 1106271 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3396.48 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 90602 0 0 0 339270 378 0 0 20 0 20 0 33493233 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 1092944 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 3557.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4371776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3685.5 s]
/proc/loadavg: 4.33 4.25 4.26 4/305 22434
/proc/meminfo: memFree=107679120/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19063512 memory=4373696 CPUtime=3600 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 195843 0 0 0 359351 649 0 0 20 0 20 0 33493231 19521036288 1093424 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4765878 1093424 5528 1 0 1106744 0
[pid=22053/tid=22055] ppid=22050 vsize=19063512 memory=4371776 CPUtime=3436.24 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) R 22050 22053 21002 0 -1 4194368 93935 0 0 0 343239 385 0 0 20 0 20 0 33493233 19521036288 1093424 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19063512 memory=4373440 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19521036288 1093424 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19063512 memory=4373440 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 33493238 19521036288 1093424 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22073] ppid=22050 vsize=19063512 memory=4373696 CPUtime=0 cores=1,3
/proc/22053/task/22073/stat : 22073 (Timer-0) S 22050 22053 21002 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 33493553 19521036288 1093424 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4373696 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.71 s, system=6.52975 s

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

[startup+3685.61 s]
/proc/loadavg: 4.33 4.25 4.26 4/305 22434
/proc/meminfo: memFree=107679120/131382112 swapFree=33010684/33010684
[pid=22053] ppid=22050 vsize=19263204 memory=4374592 CPUtime=3600.2 cores=1,3
/proc/22053/stat : 22053 (java) S 22050 22053 21002 0 -1 4194304 197400 0 0 0 359370 650 0 0 20 0 20 0 33493231 19725520896 1093648 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
/proc/22053/statm: 4815801 1093648 5528 1 0 1107703 0
[pid=22053/tid=22055] ppid=22050 vsize=19263204 memory=-6000919507066579565 CPUtime=3436.26 cores=1,3
/proc/22053/task/22055/stat : 22055 (java) D 22050 22053 21002 0 -1 4194368 94198 0 0 0 343241 385 0 0 20 0 20 0 33493233 19725520896 1093648 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22064] ppid=22050 vsize=19263204 memory=4760 CPUtime=0 cores=1,3
/proc/22053/task/22064/stat : 22064 (Finalizer) S 22050 22053 21002 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 33493237 19725520896 1093648 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
[pid=22053/tid=22071] ppid=22050 vsize=19263204 memory=2760 CPUtime=0 cores=1,3
/proc/22053/task/22071/stat : 22071 (Common-Cleaner) S 22050 22053 21002 0 -1 4194368 1630 0 0 0 0 0 0 0 20 0 20 0 33493238 19725520896 1093648 18446744073709551615 93925295337472 93925295341168 140735600172224 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93925295348984 93925295349776 93925298343936 140735600175405 140735600175590 140735600175590 140735600181192 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4374592 KiB

Child status: 143

Real time (s): 3685.71
CPU time (s): 3600.24
CPU user time (s): 3593.71
CPU system time (s): 6.52975
CPU usage (%): 97.6809
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4374592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.71
system time used= 6.52975
maximum resident set size= 4374720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1733336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139905
involuntary context switches= 14800


# summary of solver processes directly reported to runsolver:
#   pid: 22053
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3593.71
#   total CPU system time (s): 6.52975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2793 second user time and 38.1086 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-29 08:22:19
IDJOB=4503643
IDBENCH=155525
IDSOLVER=3362
FILE ID=nodeC005/4503643-1751178138
RUNJOBID= nodeC005-1751171026-21014
SLURM_JOB_ID= 9587533
Free space on /tmp= 432952 MiB

SOLVER NAME= Sat4j CP VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-38.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503643-1751178138/watcher-4503643-1751178138 -o /tmp/evaluation-result-4503643-1751178138/solver-4503643-1751178138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751171026-21014 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503643-1751178138 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4503643-1751178138.opb

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

MD5SUM BENCH= 9e23e458e7baadfd402519ffe94968c6
RANDOM SEED=1101928650

nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.954
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.244
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.512
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1497.222
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.708
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.280
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.523
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.805
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        107645844 kB
MemAvailable:   108891172 kB
Buffers:            3280 kB
Cached:          2055128 kB
SwapCached:            0 kB
Active:         21358792 kB
Inactive:        1809908 kB
Active(anon):   21128340 kB
Inactive(anon):        0 kB
Active(file):     230452 kB
Inactive(file):  1809908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             58220 kB
Writeback:             8 kB
AnonPages:      21110580 kB
Mapped:           122256 kB
Shmem:             17960 kB
KReclaimable:      89192 kB
Slab:             171040 kB
SReclaimable:      89192 kB
SUnreclaim:        81848 kB
KernelStack:        5024 kB
PageTables:        44980 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   23483808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20811776 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432748 MiB
End job on nodeC005 at 2025-06-29 09:23:44