Trace number 4448144

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07UNSAT 418.051 414.969

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
MD5SUMab4f361084eaa55350d5ce36089ad752
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 benchmark79.3495
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables701
Total number of constraints2802
Number of constraints which are clauses2802
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 5
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.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.14	c Free memory 		2115194816
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.14	c Number of processors 	2
0.12/0.18	--- Begin Solver configuration ---
0.12/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	Learn all clauses as in MiniSAT
0.12/0.18	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	No reason simplification
0.12/0.18	Glucose 2.1 dynamic restart strategy
0.12/0.18	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.18	timeout=2147483s
0.12/0.18	DB Simplification allowed=false
0.12/0.18	Listener: none
0.12/0.18	--- End Solver configuration ---
0.12/0.18	c Pseudo Boolean Optimization by upper bound
0.12/0.18	c --- Begin Solver configuration ---
0.12/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	c Learn all clauses as in MiniSAT
0.12/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	c No reason simplification
0.12/0.18	c Glucose 2.1 dynamic restart strategy
0.12/0.18	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.18	c timeout=2147483s
0.12/0.18	c DB Simplification allowed=false
0.12/0.18	c Listener: none
0.12/0.18	c --- End Solver configuration ---
0.12/0.18	c solving HOME/instance-4448144-1721356611.opb
0.12/0.18	c reading problem ... 
0.12/0.18	c  no objective function found
0.31/0.28	c ... done. Wall clock time 0.1s.
0.31/0.29	c declared #vars     701
0.31/0.29	c #constraints  2802
0.31/0.29	c constraints type 
0.31/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.31/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2800
0.31/0.29	c 2802 constraints processed.
0.70/0.49	c cleaning 2492 clauses out of 5000 with flag 22837/5000
1.04/0.67	c cleaning 4247 clauses out of 8509 with flag 49749/11001
1.42/0.90	c cleaning 5599 clauses out of 11262 with flag 87066/18001
2.02/1.15	c cleaning 6803 clauses out of 13663 with flag 131010/26001
2.21/1.30	c cleaning 7906 clauses out of 15860 with flag 182473/35001
2.60/1.45	c cleaning 8956 clauses out of 17953 with flag 237991/45000
2.99/1.63	c cleaning 9945 clauses out of 19999 with flag 302699/56002
3.30/1.80	c cleaning 10985 clauses out of 22055 with flag 370155/68003
3.51/2.01	c cleaning 11995 clauses out of 24068 with flag 447607/81001
3.71/2.23	c cleaning 13005 clauses out of 26073 with flag 529759/95001
3.91/2.47	c cleaning 14026 clauses out of 28068 with flag 615810/110001
4.20/2.71	c cleaning 15004 clauses out of 30042 with flag 708555/126001
4.48/3.00	c cleaning 15996 clauses out of 32037 with flag 806158/143000
4.95/3.31	c cleaning 17003 clauses out of 34042 with flag 908289/161001
5.25/3.65	c cleaning 17993 clauses out of 36039 with flag 1013487/180001
5.66/4.04	c cleaning 19001 clauses out of 38045 with flag 1123902/200000
6.05/4.45	c cleaning 19990 clauses out of 40044 with flag 1242379/221000
6.45/4.88	c cleaning 21002 clauses out of 42054 with flag 1362588/243000
6.95/5.35	c cleaning 22010 clauses out of 44054 with flag 1488725/266002
7.47/5.86	c cleaning 22986 clauses out of 46043 with flag 1618501/290001
7.96/6.39	c cleaning 24016 clauses out of 48057 with flag 1747066/315001
8.56/6.94	c cleaning 24993 clauses out of 50040 with flag 1890897/341000
9.19/7.56	c cleaning 25983 clauses out of 52048 with flag 2040256/368001
9.88/8.22	c cleaning 27006 clauses out of 54064 with flag 2189551/396000
10.58/8.93	c cleaning 27982 clauses out of 56060 with flag 2343815/425002
11.28/9.61	c cleaning 29014 clauses out of 58079 with flag 2502028/455003
12.07/10.40	c cleaning 30000 clauses out of 60062 with flag 2671963/486000
12.80/11.20	c cleaning 30987 clauses out of 62062 with flag 2839765/518000
13.69/12.05	c cleaning 32005 clauses out of 64075 with flag 3010681/551000
14.58/12.96	c cleaning 33023 clauses out of 66070 with flag 3184023/585000
15.47/13.84	c cleaning 34003 clauses out of 68047 with flag 3359793/620000
16.47/14.82	c cleaning 34988 clauses out of 70044 with flag 3542924/656000
17.47/15.83	c cleaning 35994 clauses out of 72057 with flag 3732459/693001
18.57/16.97	c cleaning 37014 clauses out of 74062 with flag 3924112/731000
19.68/18.10	c cleaning 38004 clauses out of 76049 with flag 4122996/770001
20.86/19.25	c cleaning 39004 clauses out of 78044 with flag 4320055/810000
22.26/20.65	c cleaning 40010 clauses out of 80041 with flag 4526399/851001
23.56/21.97	c cleaning 40982 clauses out of 82030 with flag 4732315/893000
25.06/23.43	c cleaning 41982 clauses out of 84048 with flag 4943008/936000
26.56/24.96	c cleaning 43002 clauses out of 86066 with flag 5157029/980000
28.15/26.50	c cleaning 44011 clauses out of 88064 with flag 5374056/1025000
29.76/28.11	c cleaning 45013 clauses out of 90053 with flag 5602647/1071000
31.35/29.75	c cleaning 46004 clauses out of 92041 with flag 5829400/1118001
33.15/31.52	c cleaning 47007 clauses out of 94038 with flag 6064671/1166002
34.84/33.23	c cleaning 47979 clauses out of 96030 with flag 6301272/1215001
36.85/35.20	c cleaning 48990 clauses out of 98051 with flag 6539048/1265001
38.66/37.03	c cleaning 50005 clauses out of 100061 with flag 6777661/1316001
40.54/38.95	c cleaning 51007 clauses out of 102055 with flag 7014724/1368000
42.53/41.00	c cleaning 52002 clauses out of 104048 with flag 7260713/1421000
44.74/43.13	c cleaning 53008 clauses out of 106047 with flag 7511522/1475001
46.92/45.31	c cleaning 54011 clauses out of 108038 with flag 7764950/1530000
49.12/47.57	c cleaning 54993 clauses out of 110029 with flag 8019583/1586002
51.52/49.96	c cleaning 55991 clauses out of 112034 with flag 8279344/1643000
54.23/52.63	c cleaning 56990 clauses out of 114044 with flag 8547025/1701001
56.65/55.07	c cleaning 58014 clauses out of 116055 with flag 8811163/1760002
59.13/57.57	c cleaning 59011 clauses out of 118041 with flag 9074977/1820002
61.82/60.25	c cleaning 59987 clauses out of 120028 with flag 9346868/1881000
64.42/62.83	c cleaning 61007 clauses out of 122041 with flag 9619421/1943000
67.31/65.72	c cleaning 61998 clauses out of 124035 with flag 9901485/2006001
70.01/68.46	c cleaning 62999 clauses out of 126037 with flag 10177889/2070001
73.32/71.70	c cleaning 63998 clauses out of 128037 with flag 10466749/2135000
76.01/74.41	c cleaning 65010 clauses out of 130039 with flag 10742303/2201000
79.00/77.41	c cleaning 66003 clauses out of 132030 with flag 11030877/2268001
81.91/80.38	c cleaning 66995 clauses out of 134026 with flag 11320565/2336000
85.20/83.65	c cleaning 67988 clauses out of 136033 with flag 11613498/2405002
88.49/86.99	c cleaning 69005 clauses out of 138043 with flag 11908887/2475000
92.10/90.50	c cleaning 70003 clauses out of 140038 with flag 12210436/2546000
95.79/94.23	c cleaning 71003 clauses out of 142035 with flag 12520747/2618000
99.18/97.68	c cleaning 72000 clauses out of 144033 with flag 12824330/2691001
102.69/101.16	c cleaning 72997 clauses out of 146032 with flag 13138449/2765000
106.27/104.78	c cleaning 74000 clauses out of 148036 with flag 13456178/2840001
110.19/108.61	c cleaning 74996 clauses out of 150035 with flag 13773645/2916000
113.88/112.39	c cleaning 76006 clauses out of 152039 with flag 14101050/2993000
117.77/116.26	c cleaning 77003 clauses out of 154034 with flag 14425334/3071001
121.57/120.07	c cleaning 77999 clauses out of 156030 with flag 14741615/3150000
125.06/123.60	c cleaning 79002 clauses out of 158032 with flag 15059028/3230001
128.97/127.49	c cleaning 79997 clauses out of 160031 with flag 15379794/3311002
132.86/131.37	c cleaning 81006 clauses out of 162033 with flag 15700453/3393001
136.85/135.39	c cleaning 82002 clauses out of 164027 with flag 16023107/3476001
140.84/139.33	c cleaning 83005 clauses out of 166025 with flag 16348102/3560001
144.74/143.22	c cleaning 84005 clauses out of 168021 with flag 16672178/3645002
148.94/147.47	c cleaning 84995 clauses out of 170014 with flag 16998595/3731000
152.84/151.30	c cleaning 86002 clauses out of 172019 with flag 17326704/3818000
156.73/155.24	c cleaning 86994 clauses out of 174017 with flag 17654055/3906000
160.53/159.10	c cleaning 87992 clauses out of 176024 with flag 17983986/3995001
164.41/162.95	c cleaning 89003 clauses out of 178032 with flag 18318504/4085001
168.45/166.92	c cleaning 90007 clauses out of 180029 with flag 18650489/4176001
172.44/170.90	c cleaning 90997 clauses out of 182022 with flag 18984405/4268001
176.43/174.95	c cleaning 91998 clauses out of 184025 with flag 19318809/4361001
180.33/178.86	c cleaning 93006 clauses out of 186026 with flag 19663498/4455000
184.64/183.14	c cleaning 94001 clauses out of 188020 with flag 20007609/4550000
188.72/187.20	c cleaning 95000 clauses out of 190020 with flag 20356090/4646001
192.73/191.27	c cleaning 96003 clauses out of 192019 with flag 20711512/4743000
197.02/195.51	c cleaning 96998 clauses out of 194016 with flag 21068270/4841000
201.41/199.90	c cleaning 98001 clauses out of 196018 with flag 21420111/4940000
205.80/204.35	c cleaning 99000 clauses out of 198018 with flag 21779972/5040001
210.39/208.91	c cleaning 100000 clauses out of 200019 with flag 22143434/5141002
215.09/213.62	c cleaning 101001 clauses out of 202017 with flag 22517362/5243000
219.73/218.30	c cleaning 102001 clauses out of 204017 with flag 22891847/5346001
224.64/223.17	c cleaning 103001 clauses out of 206015 with flag 23269975/5450000
229.43/227.95	c cleaning 103996 clauses out of 208014 with flag 23648747/5555000
234.65/233.19	c cleaning 105002 clauses out of 210019 with flag 24035426/5661001
239.92/238.43	c cleaning 106002 clauses out of 212018 with flag 24434470/5768002
245.11/243.65	c cleaning 107002 clauses out of 214015 with flag 24832797/5876001
250.71/249.24	c cleaning 107993 clauses out of 216013 with flag 25246868/5985001
256.30/254.88	c cleaning 109002 clauses out of 218019 with flag 25672981/6095000
262.10/260.61	c cleaning 109997 clauses out of 220018 with flag 26104698/6206001
268.38/266.90	c cleaning 110996 clauses out of 222020 with flag 26555111/6318000
274.67/273.25	c cleaning 112005 clauses out of 224026 with flag 26998967/6431002
281.26/279.82	c cleaning 113000 clauses out of 226019 with flag 27456385/6545000
287.75/286.34	c cleaning 113998 clauses out of 228021 with flag 27910964/6660002
294.24/292.86	c cleaning 114996 clauses out of 230023 with flag 28380204/6776002
301.07/299.65	c cleaning 116008 clauses out of 232026 with flag 28862814/6893001
307.86/306.49	c cleaning 117002 clauses out of 234017 with flag 29362381/7011000
315.14/313.73	c cleaning 117996 clauses out of 236015 with flag 29863865/7130000
322.54/321.15	c cleaning 119003 clauses out of 238020 with flag 30359334/7250001
329.85/328.48	c cleaning 120002 clauses out of 240017 with flag 30860542/7371001
336.84/335.47	c cleaning 120996 clauses out of 242014 with flag 31355815/7493000
344.44/343.08	c cleaning 122005 clauses out of 244021 with flag 31852119/7616003
351.91/350.59	c cleaning 122999 clauses out of 246013 with flag 32341128/7740000
359.45/358.01	c cleaning 123998 clauses out of 248014 with flag 32852908/7865000
366.44/365.10	c cleaning 124997 clauses out of 250016 with flag 33365811/7991000
375.11/373.76	c cleaning 126005 clauses out of 252019 with flag 33910163/8118000
384.00/382.66	c cleaning 127005 clauses out of 254015 with flag 34456104/8246001
395.70/394.30	c cleaning 127999 clauses out of 256010 with flag 35032782/8375001
408.42/405.90	c cleaning 129001 clauses out of 258011 with flag 35616246/8505001
417.79/414.84	c starts		: 11831
417.79/414.88	c conflicts		: 8621092
417.79/414.88	c decisions		: 12204084
417.79/414.88	c propagations		: 71854890
417.79/414.88	c inspects		: 7750366496
417.79/414.88	c shortcuts		: 0
417.79/414.88	c learnt literals	: 13
417.79/414.88	c learnt binary clauses	: 12
417.79/414.88	c learnt ternary clauses	: 22
417.79/414.88	c learnt constraints	: 8621078
417.79/414.88	c ignored constraints	: 0
417.79/414.88	c root simplifications	: 0
417.79/414.88	c removed literals (reason simplification)	: 0
417.79/414.88	c reason swapping (by a shorter reason)	: 0
417.79/414.88	c Calls to reduceDB	: 126
417.79/414.88	c Number of update (reduction) of LBD	: 1812544
417.79/414.88	c Imported unit clauses	: 0
417.79/414.88	c No decision after first conflict	: false
417.79/414.88	c number of reductions to clauses (during analyze)	: 0
417.79/414.88	c number of learned constraints concerned by reduction	: 0
417.79/414.88	c number of learning phase by resolution	: 0
417.79/414.88	c number of learning phase by cutting planes	: 0
417.79/414.88	c number of rounding to 1 operations	: 0
417.79/414.88	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
417.79/414.88	c number of reductions of the coefficients by power 2 	: 0
417.79/414.88	c number of right shift for reduction by power 2 	: 0
417.79/414.88	c number of reductions of the coefficients by GCD over coefficients 	: 0
417.79/414.88	c number of ending skipping 	: 0
417.79/414.88	c number of internal skipping 	: 0
417.79/414.88	c number of derivation steps 	: 0
417.79/414.88	c number of skipped derivation steps 	: 0
417.79/414.88	c number of remaining unassigned 	: 0
417.79/414.88	c number of remaining assigned 	: 0
417.79/414.88	c number of falsified literals weakened from reason	: 0
417.79/414.88	c number of falsified literals weakened from conflict	: 0
417.79/414.88	c time for arithmetic operations	: 0
417.79/414.88	c minimum degree of deleted constraints	: null
417.79/414.88	c maximum degree of deleted constraints	: null
417.79/414.88	c number of deleted constraints	: 0
417.79/414.88	c speed (assignments/second)	: 173318.0489358007
417.79/414.88	c non guided choices	: 363450
417.96/414.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 245075
417.96/414.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
417.96/414.94	s UNSATISFIABLE
417.96/414.94	c Total wall clock time (in seconds): 414.754

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: 64059 MiB (57648 MiB free)
  memory of node 1: 64510 MiB (61556 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448144-1721356611/watcher-4448144-1721356611 -o /tmp/evaluation-result-4448144-1721356611/solver-4448144-1721356611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4448144-1721356611.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=982791, runsolver pid=982788

[startup+0.10619 s]*
/proc/loadavg: 4.13 4.26 4.13 5/315 982809
/proc/meminfo: memFree=122029872/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=18975048 memory=58064 CPUtime=0.12 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 6473 0 0 0 10 2 0 0 20 0 18 0 187817483 19430449152 14516 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4743762 14516 5666 1 0 550907 0
[pid=982791/tid=982793] ppid=982788 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 5433 0 0 0 8 1 0 0 20 0 18 0 187817483 19430449152 14516 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187817488 19430449152 14516 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 187817489 19430449152 14516 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58064 KiB

[startup+0.214183 s]*
/proc/loadavg: 4.13 4.26 4.13 7/315 982809
/proc/meminfo: memFree=122022444/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=18975048 memory=67640 CPUtime=0.31 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 7288 0 0 0 29 2 0 0 20 0 18 0 187817483 19430449152 16910 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4743762 16910 5698 1 0 551571 0
[pid=982791/tid=982793] ppid=982788 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 5865 0 0 0 17 2 0 0 20 0 18 0 187817483 19430449152 16910 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=18975048 memory=5697 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187817488 19430449152 16910 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 187817489 19430449152 16910 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67640 KiB

[startup+0.318169 s]*
/proc/loadavg: 4.13 4.26 4.13 7/316 982810
/proc/meminfo: memFree=122015068/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19041612 memory=72832 CPUtime=0.5 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 7520 0 0 0 48 2 0 0 20 0 19 0 187817483 19498610688 18208 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4760403 18208 5815 1 0 551955 0
[pid=982791/tid=982793] ppid=982788 vsize=19041612 memory=-8598888372168336060 CPUtime=0.26 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 5919 0 0 0 24 2 0 0 20 0 19 0 187817483 19498610688 18208 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187817488 19498610688 18208 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 187817489 19498610688 18208 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187817512 19498610688 18208 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72832 KiB

[startup+0.711162 s]
/proc/loadavg: 4.13 4.26 4.13 6/316 982810
/proc/meminfo: memFree=122006328/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19041612 memory=91244 CPUtime=1.24 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 13928 0 0 0 120 4 0 0 20 0 19 0 187817483 19498610688 22811 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4760403 22811 5815 1 0 555665 0
[pid=982791/tid=982793] ppid=982788 vsize=19041612 memory=11992 CPUtime=0.62 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 6046 0 0 0 60 2 0 0 20 0 19 0 187817483 19498610688 22811 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187817488 19498610688 22811 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 187817489 19498610688 22811 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19041612 memory=25208 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187817512 19498610688 22811 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91244 KiB

[startup+1.50117 s]
/proc/loadavg: 4.20 4.28 4.14 6/316 982810
/proc/meminfo: memFree=121991488/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19041612 memory=104800 CPUtime=2.8 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 18286 0 0 0 275 5 0 0 20 0 19 0 187817483 19498610688 26200 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4760403 26200 5847 1 0 556090 0
[pid=982791/tid=982793] ppid=982788 vsize=19041612 memory=11992 CPUtime=1.4 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 6450 0 0 0 138 2 0 0 20 0 19 0 187817483 19498610688 26200 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187817488 19498610688 26200 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 187817489 19498610688 26200 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19041612 memory=65 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187817512 19498610688 26200 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104800 KiB

[startup+3.11349 s]
/proc/loadavg: 4.20 4.28 4.14 7/316 982812
/proc/meminfo: memFree=121964196/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19041612 memory=125504 CPUtime=4.76 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 19325 0 0 0 471 5 0 0 20 0 19 0 187817483 19498610688 31376 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4760403 31376 5847 1 0 556093 0
[pid=982791/tid=982793] ppid=982788 vsize=19041612 memory=0 CPUtime=3 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 6748 0 0 0 298 2 0 0 20 0 19 0 187817483 19498610688 31376 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187817488 19498610688 31376 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19041612 memory=108952 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 187817489 19498610688 31376 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187817512 19498610688 31376 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 125504 KiB

[startup+6.30045 s]
/proc/loadavg: 4.18 4.27 4.14 6/316 982812
/proc/meminfo: memFree=121936684/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19041612 memory=152780 CPUtime=7.96 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 19587 0 0 0 790 6 0 0 20 0 19 0 187817483 19498610688 38195 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4760403 38195 5847 1 0 556093 0
[pid=982791/tid=982793] ppid=982788 vsize=19041612 memory=11992 CPUtime=6.19 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 6855 0 0 0 616 3 0 0 20 0 19 0 187817483 19498610688 38195 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187817488 19498610688 38195 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19041612 memory=5868870261078579544 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 187817489 19498610688 38195 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19041612 memory=5512 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187817512 19498610688 38195 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 152780 KiB

[startup+12.7004 s]
/proc/loadavg: 4.25 4.28 4.14 5/317 982814
/proc/meminfo: memFree=121903476/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=184128 CPUtime=14.38 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 21986 0 0 0 1430 8 0 0 20 0 20 0 187817483 19566772224 46032 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 46032 5927 1 0 556382 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=0 CPUtime=12.52 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 7528 0 0 0 1249 3 0 0 20 0 20 0 187817483 19566772224 46032 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=184064 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 46032 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 46032 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 46032 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 14.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184128 KiB

[startup+25.5004 s]
/proc/loadavg: 4.28 4.29 4.15 5/317 982816
/proc/meminfo: memFree=121862360/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=192532 CPUtime=27.16 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 24618 0 0 0 2707 9 0 0 20 0 20 0 187817483 19566772224 48133 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 48133 5927 1 0 556382 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=184064 CPUtime=25.26 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 8714 0 0 0 2522 4 0 0 20 0 20 0 187817483 19566772224 48133 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 48133 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=184128 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 48133 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 48133 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 27.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192532 KiB

[startup+51.1131 s]
/proc/loadavg: 4.17 4.26 4.14 6/317 982819
/proc/meminfo: memFree=121746752/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=252292 CPUtime=52.75 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 28139 0 0 0 5264 11 0 0 20 0 20 0 187817483 19566772224 63073 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 63073 5927 1 0 556382 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=215308 CPUtime=50.55 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 10201 0 0 0 5051 4 0 0 20 0 20 0 187817483 19566772224 63073 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0

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

/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 358 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 169656 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 169656 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 343.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 678624 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/320 982888
/proc/meminfo: memFree=120822084/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=766744 CPUtime=403.69 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 43986 0 0 0 40328 41 0 0 20 0 20 0 187817483 19566772224 191686 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 191686 5927 1 0 556382 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=16252 CPUtime=398.76 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 16452 0 0 0 39870 6 0 0 20 0 20 0 187817483 19566772224 191686 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 191686 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 410 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 191686 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=727812 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 191686 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 403.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 766744 KiB

[startup+414.969 s]
# the end of solver process 982791 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=417.595 s, system=0.456175 s

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

[startup+403.2 s]
/proc/loadavg: 4.12 4.14 4.11 5/320 982888
/proc/meminfo: memFree=120822112/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=766748 CPUtime=404.59 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 44269 0 0 0 40418 41 0 0 20 0 20 0 187817483 19566772224 191687 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 191687 5927 1 0 556382 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=766744 CPUtime=399.66 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 16536 0 0 0 39960 6 0 0 20 0 20 0 187817483 19566772224 191687 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=766744 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 191687 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=766744 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 410 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 191687 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 191687 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 404.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 766748 KiB

[startup+409.6 s]
/proc/loadavg: 4.11 4.14 4.11 5/320 982888
/proc/meminfo: memFree=120822420/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=766300 CPUtime=412.13 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 53040 0 0 0 41170 43 0 0 20 0 20 0 187817483 19566772224 191575 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 191575 5927 1 0 558838 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=555684 CPUtime=406.04 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 17250 0 0 0 40598 6 0 0 20 0 20 0 187817483 19566772224 191575 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=5512 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 191575 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 410 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 191575 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=727812 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 191575 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 412.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 766300 KiB

[startup+412.801 s]
/proc/loadavg: 4.10 4.14 4.11 5/320 982889
/proc/meminfo: memFree=120822280/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=766340 CPUtime=415.57 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 53290 0 0 0 41513 44 0 0 20 0 20 0 187817483 19566772224 191585 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 191585 5927 1 0 558854 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=766300 CPUtime=409.23 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 17275 0 0 0 40917 6 0 0 20 0 20 0 187817483 19566772224 191585 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 191585 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 410 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 191585 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=5508 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 191585 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 415.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 766340 KiB

[startup+413.6 s]
/proc/loadavg: 4.10 4.14 4.11 5/320 982889
/proc/meminfo: memFree=120821692/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=766768 CPUtime=416.53 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 53450 0 0 0 41609 44 0 0 20 0 20 0 187817483 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 191692 5927 1 0 558854 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=11600 CPUtime=410.03 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 17276 0 0 0 40997 6 0 0 20 0 20 0 187817483 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=27228 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 410 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=40520 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 416.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 766768 KiB

[startup+414.4 s]
/proc/loadavg: 4.10 4.14 4.11 5/320 982889
/proc/meminfo: memFree=120821684/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=766768 CPUtime=417.39 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 53460 0 0 0 41695 44 0 0 20 0 20 0 187817483 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 191692 5927 1 0 558854 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=11992 CPUtime=410.83 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 17276 0 0 0 41077 6 0 0 20 0 20 0 187817483 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=5512 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=40520 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 410 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=24080 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 417.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 766768 KiB

[startup+414.8 s]
/proc/loadavg: 4.10 4.14 4.11 5/320 982889
/proc/meminfo: memFree=120821684/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19108176 memory=766768 CPUtime=417.79 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 53460 0 0 0 41735 44 0 0 20 0 20 0 187817483 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4777044 191692 5927 1 0 558854 0
[pid=982791/tid=982793] ppid=982788 vsize=19108176 memory=1840 CPUtime=411.23 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) R 982788 982791 980639 0 -1 4194368 17276 0 0 0 41117 6 0 0 20 0 20 0 187817483 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19108176 memory=5508 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19108176 memory=26064 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 410 0 0 0 0 0 0 0 20 0 20 0 187817489 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982810] ppid=982788 vsize=19108176 memory=-7592636480273932664 CPUtime=0 cores=5,7
/proc/982791/task/982810/stat : 982810 (Timer-0) S 982788 982791 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187817512 19566772224 191692 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 417.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 766768 KiB

[startup+414.909 s]
/proc/loadavg: 4.10 4.14 4.11 5/320 982889
/proc/meminfo: memFree=120821684/131655788 swapFree=131071996/131071996
[pid=982791] ppid=982788 vsize=19241304 memory=767528 CPUtime=417.96 cores=5,7
/proc/982791/stat : 982791 (java) S 982788 982791 980639 0 -1 1077936128 54742 0 0 0 41752 44 0 0 20 0 20 0 187817483 19703095296 191882 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
/proc/982791/statm: 4810326 191882 5926 1 0 559472 0
[pid=982791/tid=982793] ppid=982788 vsize=19241304 memory=11600 CPUtime=411.26 cores=5,7
/proc/982791/task/982793/stat : 982793 (java) S 982788 982791 980639 0 -1 1077936192 18100 0 0 0 41120 6 0 0 20 0 20 0 187817483 19703095296 191882 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982802] ppid=982788 vsize=19241304 memory=727812 CPUtime=0 cores=5,7
/proc/982791/task/982802/stat : 982802 (Finalizer) S 982788 982791 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187817488 19703095296 191882 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
[pid=982791/tid=982809] ppid=982788 vsize=19241304 memory=766300 CPUtime=0 cores=5,7
/proc/982791/task/982809/stat : 982809 (Common-Cleaner) S 982788 982791 980639 0 -1 1077936192 410 0 0 0 0 0 0 0 20 0 20 0 187817489 19703095296 191882 134679101440 94554126512128 94554126515824 140730967751104 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94554126523640 94554126524432 94554129006592 140730967753734 140730967753824 140730967753824 140730967760840 0
Current children cumulated CPU time: 417.96 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 767528 KiB

Child status: 20

Real time (s): 414.969
CPU time (s): 418.051
CPU user time (s): 417.595
CPU system time (s): 0.456175
CPU usage (%): 100.743
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 779216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 417.595
system time used= 0.456175
maximum resident set size= 780164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13595
involuntary context switches= 614


# summary of solver processes directly reported to runsolver:
#   pid: 982791
#   total CPU time (s): 418.051
#   total CPU user time (s): 417.595
#   total CPU system time (s): 0.456175

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.35635 second user time and 4.24726 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:37:03
IDJOB=4448144
IDBENCH=160366
IDSOLVER=3058
FILE ID=nodeC008/4448144-1721356611
RUNJOBID= nodeC008-1721354365-980652
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448144-1721356611/watcher-4448144-1721356611 -o /tmp/evaluation-result-4448144-1721356611/solver-4448144-1721356611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448144-1721356611.opb

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

MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=185572214

nodeC008.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		: 3664.765
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.91
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		: 3646.461
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.362
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.91
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		: 1197.324
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		: 3664.845
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.91
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		: 3515.190
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.405
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.91
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.245
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:        122066748 kB
MemAvailable:   124353520 kB
Buffers:          544248 kB
Cached:          2561288 kB
SwapCached:            0 kB
Active:          1058748 kB
Inactive:        7928016 kB
Active(anon):       1484 kB
Inactive(anon):  5917448 kB
Active(file):    1057264 kB
Inactive(file):  2010568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               904 kB
Writeback:            32 kB
AnonPages:       5881292 kB
Mapped:           126552 kB
Shmem:             37704 kB
KReclaimable:     117940 kB
Slab:             222988 kB
SReclaimable:     117940 kB
SUnreclaim:       105048 kB
KernelStack:        4800 kB
PageTables:        21708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8310412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58720 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5586944 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-19 04:43:58