Trace number 4448501

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 Cutting Planes 2024 2024-07-12? (TO) 3600.33 3518.65

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
MD5SUM1a3ecc72c33db076137ced748302e815
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 benchmark1.93963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables801
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.09	c Free memory 		2115194816
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2122317824
0.00/0.09	c Number of processors 	2
0.13/0.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	 - never skip resolution steps
0.13/0.15	 - Auto-division on coefficients is disabled
0.13/0.15	 - No postprocessing
0.13/0.15	 - Conflict is considered as is when resolving
0.13/0.15	 - Use constraints as they come during conflict analysis
0.13/0.15	 - Weaken first using unassigned literals
0.13/0.15	 - Bump strategy: ALWAYS_ONE
0.13/0.15	 - Bumper: EFFECTIVE
0.13/0.15	--- Begin Solver configuration ---
0.13/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.15	Learn all clauses as in MiniSAT
0.13/0.15	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	No reason simplification
0.13/0.15	Dynamic restart strategy considering the size of the coefficients
0.13/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.15	timeout=2147483s
0.13/0.15	DB Simplification allowed=false
0.13/0.15	Listener: none
0.13/0.15	--- End Solver configuration ---
0.13/0.15	c Pseudo Boolean Optimization by upper bound
0.13/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	c  - never skip resolution steps
0.13/0.15	c  - Auto-division on coefficients is disabled
0.13/0.15	c  - No postprocessing
0.13/0.15	c  - Conflict is considered as is when resolving
0.13/0.15	c  - Use constraints as they come during conflict analysis
0.13/0.15	c  - Weaken first using unassigned literals
0.13/0.15	c  - Bump strategy: ALWAYS_ONE
0.13/0.15	c  - Bumper: EFFECTIVE
0.13/0.15	c --- Begin Solver configuration ---
0.13/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.15	c Learn all clauses as in MiniSAT
0.13/0.15	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	c No reason simplification
0.13/0.15	c Dynamic restart strategy considering the size of the coefficients
0.13/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.15	c timeout=2147483s
0.13/0.15	c DB Simplification allowed=false
0.13/0.15	c Listener: none
0.13/0.15	c --- End Solver configuration ---
0.13/0.15	c solving HOME/instance-4448501-1721358571.opb
0.13/0.15	c reading problem ... 
0.13/0.16	c  no objective function found
0.33/0.21	c ... done. Wall clock time 0.052s.
0.33/0.21	c declared #vars     801
0.33/0.21	c #constraints  802
0.33/0.21	c constraints type 
0.33/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.33/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 800
0.33/0.21	c 802 constraints processed.
1.86/1.05	c cleaning 2487 clauses out of 5000 with flag 0/5000
3.22/1.73	c cleaning 4247 clauses out of 8514 with flag 0/11001
4.79/2.51	c cleaning 5616 clauses out of 11266 with flag 0/18000
5.86/3.30	c cleaning 6815 clauses out of 13650 with flag 0/26000
6.95/4.15	c cleaning 7905 clauses out of 15835 with flag 0/35000
8.18/4.95	c cleaning 8950 clauses out of 17930 with flag 0/45000
9.48/6.23	c cleaning 9980 clauses out of 19980 with flag 0/56000
11.25/7.75	c cleaning 10985 clauses out of 22000 with flag 0/68000
12.89/9.27	c cleaning 11979 clauses out of 24015 with flag 0/81000
14.84/11.15	c cleaning 13003 clauses out of 26036 with flag 0/95000
17.02/13.36	c cleaning 14011 clauses out of 28034 with flag 0/110001
19.91/16.26	c cleaning 14996 clauses out of 30023 with flag 0/126001
22.23/18.38	c cleaning 15994 clauses out of 32027 with flag 0/143001
26.36/22.31	c cleaning 17003 clauses out of 34033 with flag 0/161001
31.23/26.79	c cleaning 17992 clauses out of 36029 with flag 0/180000
33.64/29.18	c cleaning 18994 clauses out of 38038 with flag 0/200001
36.17/31.62	c cleaning 19995 clauses out of 40043 with flag 0/221000
39.11/34.58	c cleaning 20997 clauses out of 42049 with flag 0/243001
43.16/38.53	c cleaning 22003 clauses out of 44051 with flag 0/266000
47.11/42.45	c cleaning 23000 clauses out of 46048 with flag 0/290000
52.00/47.38	c cleaning 24000 clauses out of 48048 with flag 0/315000
57.71/53.09	c cleaning 24997 clauses out of 50048 with flag 0/341000
64.40/59.63	c cleaning 26002 clauses out of 52053 with flag 0/368002
76.19/71.37	c cleaning 27008 clauses out of 54052 with flag 0/396003
91.98/86.96	c cleaning 28011 clauses out of 56041 with flag 0/425000
99.49/94.32	c cleaning 28995 clauses out of 58030 with flag 0/455000
107.49/102.19	c cleaning 30005 clauses out of 60035 with flag 0/486000
115.43/109.98	c cleaning 30999 clauses out of 62030 with flag 0/518000
121.62/116.03	c cleaning 31997 clauses out of 64031 with flag 0/551000
129.47/123.76	c cleaning 33004 clauses out of 66035 with flag 0/585001
139.57/133.71	c cleaning 33998 clauses out of 68031 with flag 0/620001
149.45/143.53	c cleaning 35000 clauses out of 70034 with flag 0/656002
166.02/157.38	c cleaning 35998 clauses out of 72033 with flag 0/693001
181.85/172.83	c cleaning 37001 clauses out of 74035 with flag 0/731001
195.77/186.55	c cleaning 37997 clauses out of 76034 with flag 0/770001
212.42/202.81	c cleaning 38999 clauses out of 78036 with flag 0/810000
231.29/221.52	c cleaning 40000 clauses out of 80039 with flag 0/851002
252.52/242.63	c cleaning 40999 clauses out of 82038 with flag 0/893001
274.94/264.88	c cleaning 42005 clauses out of 84039 with flag 0/936001
297.88/287.51	c cleaning 42995 clauses out of 86035 with flag 0/980002
317.24/306.66	c cleaning 44000 clauses out of 88039 with flag 0/1025001
339.87/329.12	c cleaning 45000 clauses out of 90038 with flag 0/1071000
366.96/355.87	c cleaning 46004 clauses out of 92038 with flag 0/1118000
390.21/378.96	c cleaning 47003 clauses out of 94035 with flag 0/1166001
411.01/399.36	c cleaning 48004 clauses out of 96032 with flag 0/1215001
441.85/429.62	c cleaning 49001 clauses out of 98030 with flag 0/1265003
474.72/462.22	c cleaning 50004 clauses out of 100029 with flag 0/1316003
512.12/498.86	c cleaning 50997 clauses out of 102022 with flag 0/1368000
559.97/545.86	c cleaning 51993 clauses out of 104026 with flag 0/1421001
605.86/591.28	c cleaning 53003 clauses out of 106032 with flag 0/1475000
649.55/634.56	c cleaning 54000 clauses out of 108029 with flag 0/1530000
709.47/694.07	c cleaning 55002 clauses out of 110031 with flag 0/1586002
758.36/742.49	c cleaning 56000 clauses out of 112029 with flag 0/1643002
801.57/784.80	c cleaning 56999 clauses out of 114027 with flag 0/1701000
848.20/830.63	c cleaning 57999 clauses out of 116028 with flag 0/1760000
902.12/884.10	c cleaning 58999 clauses out of 118029 with flag 0/1820000
958.10/939.63	c cleaning 59998 clauses out of 120031 with flag 0/1881001
1010.50/991.42	c cleaning 60995 clauses out of 122032 with flag 0/1943000
1048.23/1028.18	c cleaning 62006 clauses out of 124038 with flag 0/2006001
1086.41/1065.45	c cleaning 63002 clauses out of 126032 with flag 0/2070001
1117.55/1095.95	c cleaning 64003 clauses out of 128029 with flag 0/2135000
1159.06/1136.69	c cleaning 65000 clauses out of 130026 with flag 0/2201000
1203.48/1179.97	c cleaning 65996 clauses out of 132028 with flag 0/2268002
1225.09/1201.29	c cleaning 67001 clauses out of 134031 with flag 0/2336001
1275.44/1250.15	c cleaning 68005 clauses out of 136030 with flag 0/2405001
1331.67/1305.35	c cleaning 69002 clauses out of 138025 with flag 0/2475001
1371.06/1343.79	c cleaning 70000 clauses out of 140023 with flag 0/2546001
1406.02/1377.86	c cleaning 70997 clauses out of 142022 with flag 0/2618000
1432.40/1403.79	c cleaning 71998 clauses out of 144026 with flag 0/2691001
1487.23/1457.47	c cleaning 73002 clauses out of 146028 with flag 0/2765001
1531.01/1500.07	c cleaning 74000 clauses out of 148026 with flag 0/2840001
1625.85/1592.88	c cleaning 75002 clauses out of 150025 with flag 0/2916000
1710.56/1675.55	c cleaning 75996 clauses out of 152023 with flag 0/2993000
1781.56/1744.83	c cleaning 76995 clauses out of 154028 with flag 0/3071001
1874.74/1836.45	c cleaning 78005 clauses out of 156032 with flag 0/3150000
1922.49/1882.15	c cleaning 79005 clauses out of 158028 with flag 0/3230001
1979.44/1937.98	c cleaning 79999 clauses out of 160022 with flag 0/3311000
2048.24/2005.07	c cleaning 81002 clauses out of 162024 with flag 0/3393001
2112.46/2067.77	c cleaning 82003 clauses out of 164022 with flag 0/3476001
2174.41/2128.12	c cleaning 82990 clauses out of 166018 with flag 0/3560000
2228.35/2180.25	c cleaning 84002 clauses out of 168028 with flag 0/3645000
2292.07/2242.57	c cleaning 85003 clauses out of 170027 with flag 0/3731001
2371.75/2321.06	c cleaning 86005 clauses out of 172023 with flag 0/3818000
2459.24/2407.13	c cleaning 87002 clauses out of 174020 with flag 0/3906002
2559.61/2505.92	c cleaning 88000 clauses out of 176017 with flag 0/3995001
2673.34/2617.30	c cleaning 89004 clauses out of 178019 with flag 0/4085003
2781.22/2723.71	c cleaning 89997 clauses out of 180012 with flag 0/4176000
2862.88/2802.85	c cleaning 91004 clauses out of 182016 with flag 0/4268001
2944.97/2883.08	c cleaning 91983 clauses out of 184011 with flag 0/4361000
3021.61/2957.99	c cleaning 93002 clauses out of 186028 with flag 0/4455000
3066.77/3001.50	c cleaning 94004 clauses out of 188027 with flag 0/4550001
3128.99/3061.62	c cleaning 94997 clauses out of 190023 with flag 0/4646001
3206.90/3137.04	c cleaning 96003 clauses out of 192025 with flag 0/4743000
3301.69/3227.35	c cleaning 97000 clauses out of 194022 with flag 0/4841000
3393.31/3317.43	c cleaning 98004 clauses out of 196024 with flag 0/4940002
3505.99/3426.94	c cleaning 98992 clauses out of 198019 with flag 0/5040001
3600.08/3518.52	c timeout
3600.08/3518.52	c starts		: 163
3600.08/3518.53	c conflicts		: 5133959
3600.08/3518.53	c decisions		: 5966894
3600.08/3518.53	c propagations		: 39734539
3600.08/3518.53	c inspects		: 8085926304
3600.08/3518.53	c shortcuts		: 0
3600.08/3518.53	c learnt literals	: 0
3600.08/3518.53	c learnt binary clauses	: 0
3600.08/3518.53	c learnt ternary clauses	: 0
3600.08/3518.53	c learnt constraints	: 5133958
3600.08/3518.53	c ignored constraints	: 0
3600.08/3518.53	c root simplifications	: 0
3600.08/3518.53	c removed literals (reason simplification)	: 0
3600.08/3518.53	c reason swapping (by a shorter reason)	: 0
3600.08/3518.53	c Calls to reduceDB	: 96
3600.08/3518.53	c Number of update (reduction) of LBD	: 4375172
3600.08/3518.55	c Imported unit clauses	: 0
3600.08/3518.55	c No decision after first conflict	: false
3600.08/3518.55	c number of reductions to clauses (during analyze)	: 0
3600.08/3518.55	c number of learned constraints concerned by reduction	: 0
3600.08/3518.55	c number of learning phase by resolution	: 0
3600.08/3518.55	c number of learning phase by cutting planes	: 0
3600.08/3518.55	c number of rounding to 1 operations	: 0
3600.08/3518.55	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3518.55	c number of reductions of the coefficients by power 2 	: 0
3600.08/3518.55	c number of right shift for reduction by power 2 	: 0
3600.08/3518.55	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3518.55	c number of ending skipping 	: 0
3600.08/3518.55	c number of internal skipping 	: 0
3600.08/3518.55	c number of derivation steps 	: 21787815
3600.08/3518.55	c number of skipped derivation steps 	: 0
3600.08/3518.55	c number of remaining unassigned 	: 209899
3600.08/3518.55	c number of remaining assigned 	: 286245135
3600.08/3518.55	c number of falsified literals weakened from reason	: 0
3600.08/3518.55	c number of falsified literals weakened from conflict	: 0
3600.08/3518.55	c time for arithmetic operations	: 10925117706
3600.08/3518.55	c minimum degree of deleted constraints	: 1
3600.08/3518.55	c maximum degree of deleted constraints	: 377523828000
3600.08/3518.55	c number of deleted constraints	: 4940974
3600.08/3518.55	c speed (assignments/second)	: 11293.611439550694
3600.08/3518.55	c non guided choices	: 21776
3600.08/3518.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 41484
3600.28/3518.60	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 221
3600.28/3518.60	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 151279
3600.28/3518.60	s UNKNOWN
3600.28/3518.60	c Total wall clock time (in seconds): 3518.449

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448501-1721358571/watcher-4448501-1721358571 -o /tmp/evaluation-result-4448501-1721358571/solver-4448501-1721358571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721350778-987410 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4448501-1721358571.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=993011, runsolver pid=993008
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.32 4.43 4.38 6/315 993029
/proc/meminfo: memFree=114553768/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=18975048 memory=62612 CPUtime=0.13 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 7725 0 0 0 11 2 0 0 20 0 18 0 188014177 19430449152 15653 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4743762 15653 5564 1 0 551410 0
[pid=993011/tid=993013] ppid=993008 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 6263 0 0 0 7 1 0 0 20 0 18 0 188014177 19430449152 15653 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 188014180 19430449152 15653 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=18975048 memory=14698495669638111 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 188014180 19430449152 15653 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62612 KiB

[startup+0.205386 s]*
/proc/loadavg: 4.32 4.43 4.38 6/315 993029
/proc/meminfo: memFree=114536812/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=18975048 memory=79844 CPUtime=0.33 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 8302 0 0 0 30 3 0 0 20 0 18 0 188014177 19430449152 19961 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4743762 19961 5762 1 0 551761 0
[pid=993011/tid=993013] ppid=993008 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 6556 0 0 0 16 2 0 0 20 0 18 0 188014177 19430449152 19961 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=18975048 memory=1774770 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 188014180 19430449152 19961 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 188014180 19430449152 19961 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79844 KiB

[startup+0.312958 s]*
/proc/loadavg: 4.32 4.43 4.38 7/316 993030
/proc/meminfo: memFree=114516504/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19041612 memory=100160 CPUtime=0.53 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 8806 0 0 0 50 3 0 0 20 0 19 0 188014177 19498610688 25040 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4760403 25040 5888 1 0 552296 0
[pid=993011/tid=993013] ppid=993008 vsize=19041612 memory=-8601147864251671228 CPUtime=0.27 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 6650 0 0 0 25 2 0 0 20 0 19 0 188014177 19498610688 25040 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 188014180 19498610688 25040 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 188014180 19498610688 25040 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 188014198 19498610688 25040 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100160 KiB

[startup+0.700959 s]
/proc/loadavg: 4.32 4.43 4.38 6/317 993031
/proc/meminfo: memFree=114446044/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=172680 CPUtime=1.26 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 12334 0 0 0 120 6 0 0 20 0 20 0 188014177 19566772224 43170 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 43170 5904 1 0 554548 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=12508 CPUtime=0.61 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 6688 0 0 0 58 3 0 0 20 0 20 0 188014177 19566772224 43170 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 43170 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 43170 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=1936 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 43170 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 172680 KiB

[startup+1.50097 s]
/proc/loadavg: 4.32 4.43 4.38 6/317 993031
/proc/meminfo: memFree=114373692/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=455332 CPUtime=2.84 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 20262 0 0 0 271 13 0 0 20 0 20 0 188014177 19566772224 113833 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 113833 5904 1 0 558625 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=12508 CPUtime=1.4 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 6935 0 0 0 131 9 0 0 20 0 20 0 188014177 19566772224 113833 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 113833 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 113833 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 113833 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 455332 KiB

[startup+3.10597 s]
/proc/loadavg: 4.32 4.43 4.38 5/317 993031
/proc/meminfo: memFree=113400692/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=1199600 CPUtime=5.76 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 26916 0 0 0 547 29 0 0 20 0 20 0 188014177 19566772224 299900 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 299900 5920 1 0 665513 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=0 CPUtime=2.96 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 8292 0 0 0 272 24 0 0 20 0 20 0 188014177 19566772224 299900 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 299900 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=553800 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 299900 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 299900 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1199600 KiB

[startup+6.32897 s]
/proc/loadavg: 4.37 4.44 4.38 6/317 993032
/proc/meminfo: memFree=113008752/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=1584444 CPUtime=9.61 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 27521 0 0 0 924 37 0 0 20 0 20 0 188014177 19566772224 396111 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 396111 5920 1 0 665532 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=12508 CPUtime=6.06 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) S 993008 993011 987398 0 -1 1077936192 8694 0 0 0 575 31 0 0 20 0 20 0 188014177 19566772224 396111 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 396111 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=5866335878320839000 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 396111 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=5540 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 396111 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 9.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1584444 KiB

[startup+12.7004 s]
/proc/loadavg: 4.42 4.45 4.39 5/317 993032
/proc/meminfo: memFree=112478896/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=2090652 CPUtime=16.42 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 29101 0 0 0 1594 48 0 0 20 0 20 0 188014177 19566772224 522663 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 522663 5920 1 0 792971 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=0 CPUtime=12.14 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 9468 0 0 0 1173 41 0 0 20 0 20 0 188014177 19566772224 522663 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=2090652 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 522663 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 522663 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 522663 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 16.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2090652 KiB

[startup+25.5005 s]
/proc/loadavg: 4.33 4.43 4.38 5/317 993035
/proc/meminfo: memFree=111894388/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=2645372 CPUtime=29.97 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 36095 0 0 0 2937 60 0 0 20 0 20 0 188014177 19566772224 661343 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 661343 5925 1 0 932931 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=2090652 CPUtime=24.44 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) S 993008 993011 987398 0 -1 1077936192 12126 0 0 0 2393 51 0 0 20 0 20 0 188014177 19566772224 661343 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 661343 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=2643188 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 661343 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 661343 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2645372 KiB

[startup+51.1133 s]
/proc/loadavg: 4.29 4.41 4.37 7/317 993038
/proc/meminfo: memFree=111276648/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=3202044 CPUtime=55.81 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 40725 0 0 0 5508 73 0 0 20 0 20 0 188014177 19566772224 800511 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 800511 5925 1 0 1070799 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=3197808 CPUtime=49.22 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 15163 0 0 0 4861 61 0 0 20 0 20 0 188014177 19566772224 800511 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0

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

[startup+3162.3 s]
/proc/loadavg: 2.13 2.63 3.48 3/269 995183
/proc/meminfo: memFree=117022148/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=5633732 CPUtime=3233.27 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 399115 0 0 0 322964 363 0 0 20 0 20 0 188014177 19566772224 1408433 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 1408433 5941 1 0 1425010 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=5633368 CPUtime=3059.09 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 220283 0 0 0 305791 118 0 0 20 0 20 0 188014177 19566772224 1408433 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 241 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=2264 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1408433 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=-8601147864251671228 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 3284 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1408433 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=45720 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 1408433 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 3233.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5633732 KiB

[startup+3222.3 s]
/proc/loadavg: 2.20 2.56 3.40 3/269 995194
/proc/meminfo: memFree=116946748/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=5647176 CPUtime=3296.51 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 414722 0 0 0 329281 370 0 0 20 0 20 0 188014177 19566772224 1411794 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 1411794 5941 1 0 1425305 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=5633368 CPUtime=3116.94 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) S 993008 993011 987398 0 -1 1077936192 224581 0 0 0 311575 119 0 0 20 0 20 0 188014177 19566772224 1411794 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 245 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411794 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=5647164 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 3364 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411794 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 1411794 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 3296.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5647176 KiB

[startup+3282.3 s]
/proc/loadavg: 2.19 2.49 3.32 3/268 995204
/proc/meminfo: memFree=116946368/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=5647196 CPUtime=3357.68 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 417398 0 0 0 335394 374 0 0 20 0 20 0 188014177 19566772224 1411799 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 1411799 5941 1 0 1425305 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=5647196 CPUtime=3174.96 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 226393 0 0 0 317377 119 0 0 20 0 20 0 188014177 19566772224 1411799 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 245 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=-8601147864251671228 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411799 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=5647196 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 3410 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411799 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=5647196 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 1411799 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 3357.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5647196 KiB

[startup+3342.3 s]
/proc/loadavg: 2.12 2.41 3.24 3/268 995215
/proc/meminfo: memFree=116941964/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=5647200 CPUtime=3418.97 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 423713 0 0 0 341518 379 0 0 20 0 20 0 188014177 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 1411800 5941 1 0 1425305 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=5647196 CPUtime=3232.99 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 230291 0 0 0 323179 120 0 0 20 0 20 0 188014177 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 245 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=5647196 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=5647196 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 3508 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=1936 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 3418.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5647200 KiB

[startup+3402.3 s]
/proc/loadavg: 2.24 2.38 3.18 3/267 995227
/proc/meminfo: memFree=116923216/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=5647200 CPUtime=3480.86 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 429861 0 0 0 347703 383 0 0 20 0 20 0 188014177 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 1411800 5941 1 0 1425305 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=5647196 CPUtime=3291.09 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 234039 0 0 0 328988 121 0 0 20 0 20 0 188014177 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 245 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=5647196 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=5647196 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 3604 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 1411800 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 3480.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5647200 KiB

[startup+3462.3 s]
/proc/loadavg: 2.19 2.34 3.11 3/267 995237
/proc/meminfo: memFree=116783320/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=5647204 CPUtime=3542.3 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 436104 0 0 0 353843 387 0 0 20 0 20 0 188014177 19566772224 1411801 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 1411801 5941 1 0 1425305 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=5647196 CPUtime=3349.22 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 237649 0 0 0 334800 122 0 0 20 0 20 0 188014177 19566772224 1411801 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 249 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=5647196 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411801 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 3714 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411801 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=5647204 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 1411801 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 3542.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5647204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3518.5 s]
/proc/loadavg: 2.13 2.30 3.05 3/267 995247
/proc/meminfo: memFree=116782956/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19108176 memory=5647280 CPUtime=3600.08 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 442074 0 0 0 359617 391 0 0 20 0 20 0 188014177 19566772224 1411820 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4777044 1411820 5941 1 0 1425305 0
[pid=993011/tid=993013] ppid=993008 vsize=19108176 memory=5647200 CPUtime=3403.49 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) R 993008 993011 987398 0 -1 4194368 241034 0 0 0 340227 122 0 0 20 0 20 0 188014177 19566772224 1411820 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 249 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19108176 memory=45720 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 188014180 19566772224 1411820 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19108176 memory=11420 CPUtime=0.01 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 3714 0 0 0 0 1 0 0 20 0 20 0 188014180 19566772224 1411820 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993030] ppid=993008 vsize=19108176 memory=-8601147864251671228 CPUtime=0 cores=1,3
/proc/993011/task/993030/stat : 993030 (Timer-0) S 993008 993011 987398 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 188014198 19566772224 1411820 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5647280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.38 s, system=3.94482 s

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

[startup+3518.6 s]
/proc/loadavg: 2.13 2.30 3.05 3/267 995247
/proc/meminfo: memFree=116782956/131655788 swapFree=131070704/131071996
[pid=993011] ppid=993008 vsize=19307868 memory=5648256 CPUtime=3600.28 cores=1,3
/proc/993011/stat : 993011 (java) S 993008 993011 987398 0 -1 1077936128 445465 0 0 0 359636 392 0 0 20 0 21 0 188014177 19771256832 1412064 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
/proc/993011/statm: 4826967 1412064 5956 1 0 1426259 0
[pid=993011/tid=993013] ppid=993008 vsize=19307868 memory=1832 CPUtime=3403.51 cores=1,3
/proc/993011/task/993013/stat : 993013 (java) S 993008 993011 987398 0 -1 1077936192 241192 0 0 0 340229 122 0 0 20 0 21 0 188014177 19771256832 1412064 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 249 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993022] ppid=993008 vsize=19307868 memory=5424 CPUtime=0 cores=1,3
/proc/993011/task/993022/stat : 993022 (Finalizer) S 993008 993011 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 188014180 19771256832 1412064 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
[pid=993011/tid=993029] ppid=993008 vsize=19307868 memory=108 CPUtime=0.01 cores=1,3
/proc/993011/task/993029/stat : 993029 (Common-Cleaner) S 993008 993011 987398 0 -1 1077936192 3714 0 0 0 0 1 0 0 20 0 21 0 188014180 19771256832 1412064 134679101440 94174116536320 94174116540016 140730913200336 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94174116547832 94174116548624 94174117437440 140730913207284 140730913207392 140730913207392 140730913214408 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5648256 KiB

Child status: 143

Real time (s): 3518.65
CPU time (s): 3600.33
CPU user time (s): 3596.38
CPU system time (s): 3.94482
CPU usage (%): 102.321
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5651984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.38
system time used= 3.94482
maximum resident set size= 5651984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445677
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149642
involuntary context switches= 10561


# summary of solver processes directly reported to runsolver:
#   pid: 993011
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3596.38
#   total CPU system time (s): 3.94482

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5866 second user time and 37.832 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-19 05:09:43
IDJOB=4448501
IDBENCH=160428
IDSOLVER=3052
FILE ID=nodeC011/4448501-1721358571
RUNJOBID= nodeC011-1721350778-987410
SLURM_JOB_ID= 7542750
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448501-1721358571/watcher-4448501-1721358571 -o /tmp/evaluation-result-4448501-1721358571/solver-4448501-1721358571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721350778-987410 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4448501-1721358571.opb

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=1904129535

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114602452 kB
MemAvailable:   115101000 kB
Buffers:          536272 kB
Cached:           802104 kB
SwapCached:          132 kB
Active:          1045128 kB
Inactive:       15489092 kB
Active(anon):       1436 kB
Inactive(anon): 15231804 kB
Active(file):    1043692 kB
Inactive(file):   257288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:               756 kB
Writeback:             0 kB
AnonPages:      15195748 kB
Mapped:           125076 kB
Shmem:             37400 kB
KReclaimable:      75536 kB
Slab:             158116 kB
SReclaimable:      75536 kB
SUnreclaim:        82580 kB
KernelStack:        4784 kB
PageTables:        39700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   16171676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14893056 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC011 at 2024-07-19 06:08:22