Trace number 4454212

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07UNSAT cert. 1179.88 1188.03

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-11diag_spec_greater.opb
MD5SUM07e0fc22cb9615e1fd2cd7b0a9063b70
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.008706
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables418
Total number of constraints508
Number of constraints which are clauses363
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints145
Minimum length of a constraint2
Maximum length of a constraint143
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 2097152
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 8388607
Number of bits of the biggest sum of numbers23
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4454212-1721843849.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.036s.
0.13/0.17	c declared #vars     418
0.13/0.17	c #constraints  652
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 308
0.13/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 223
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 121
0.13/0.17	c 652 constraints processed.
1.86/1.04	c cleaning 2500 clauses out of 5000 with flag 11756/5000
2.84/1.57	c cleaning 4248 clauses out of 8501 with flag 24744/11001
3.77/2.09	c cleaning 5626 clauses out of 11252 with flag 40116/18000
4.49/2.66	c cleaning 6809 clauses out of 13627 with flag 57481/26001
5.18/3.27	c cleaning 7905 clauses out of 15817 with flag 76917/35000
6.00/4.05	c cleaning 8953 clauses out of 17912 with flag 98641/45000
6.84/4.87	c cleaning 9972 clauses out of 19960 with flag 122867/56001
8.14/6.13	c cleaning 10991 clauses out of 21988 with flag 148873/68001
9.85/7.81	c cleaning 11996 clauses out of 23996 with flag 176128/81000
11.85/9.71	c cleaning 12998 clauses out of 26000 with flag 205769/95000
13.85/11.79	c cleaning 13999 clauses out of 28004 with flag 237182/110002
16.05/14.01	c cleaning 15002 clauses out of 30003 with flag 272004/126000
18.52/16.39	c cleaning 15999 clauses out of 32001 with flag 307689/143000
21.18/18.94	c cleaning 17000 clauses out of 34003 with flag 346858/161001
23.97/21.79	c cleaning 17999 clauses out of 36002 with flag 389397/180000
26.96/24.76	c cleaning 19002 clauses out of 38004 with flag 431989/200001
30.16/27.99	c cleaning 19998 clauses out of 40001 with flag 478243/221000
33.27/31.00	c cleaning 21000 clauses out of 42003 with flag 529842/243000
36.48/34.39	c cleaning 22001 clauses out of 44004 with flag 587095/266001
39.47/37.33	c cleaning 23000 clauses out of 46003 with flag 642940/290001
42.76/40.62	c cleaning 23995 clauses out of 48002 with flag 703805/315000
46.47/44.37	c cleaning 25003 clauses out of 50007 with flag 768174/341000
50.56/48.40	c cleaning 25996 clauses out of 52004 with flag 836743/368000
54.65/52.56	c cleaning 27005 clauses out of 54009 with flag 900997/396001
59.86/57.39	c cleaning 27999 clauses out of 56004 with flag 968563/425001
64.61/61.85	c cleaning 28994 clauses out of 58004 with flag 1035130/455000
70.01/67.20	c cleaning 30001 clauses out of 60010 with flag 1109433/486000
75.12/72.35	c cleaning 31001 clauses out of 62009 with flag 1187269/518000
80.21/77.44	c cleaning 31998 clauses out of 64009 with flag 1267374/551001
85.80/83.08	c cleaning 32998 clauses out of 66010 with flag 1346744/585000
91.78/88.85	c cleaning 33998 clauses out of 68012 with flag 1430940/620000
97.07/94.15	c cleaning 35002 clauses out of 70015 with flag 1515155/656001
103.30/100.46	c cleaning 36004 clauses out of 72012 with flag 1607685/693000
109.39/106.57	c cleaning 36998 clauses out of 74008 with flag 1699673/731000
115.98/113.10	c cleaning 37998 clauses out of 76011 with flag 1795721/770001
121.66/118.80	c cleaning 39006 clauses out of 78013 with flag 1881193/810001
129.08/126.35	c cleaning 39997 clauses out of 80006 with flag 1978955/851000
136.28/133.53	c cleaning 41000 clauses out of 82010 with flag 2078706/893001
143.46/140.76	c cleaning 42005 clauses out of 84011 with flag 2181619/936002
150.25/147.50	c cleaning 42997 clauses out of 86004 with flag 2288092/980000
158.22/155.52	c cleaning 44002 clauses out of 88007 with flag 2400981/1025000
167.11/167.25	c cleaning 44998 clauses out of 90005 with flag 2514224/1071000
174.72/174.80	c cleaning 45997 clauses out of 92008 with flag 2631703/1118001
182.09/182.27	c cleaning 47005 clauses out of 94010 with flag 2745745/1166000
189.85/190.01	c cleaning 48000 clauses out of 96005 with flag 2862356/1215000
198.90/199.23	c cleaning 48995 clauses out of 98006 with flag 2988648/1265001
207.93/208.34	c cleaning 49998 clauses out of 100010 with flag 3110291/1316000
217.13/217.64	c cleaning 51001 clauses out of 102012 with flag 3241916/1368000
226.29/226.95	c cleaning 52001 clauses out of 104012 with flag 3374188/1421001
236.31/237.07	c cleaning 52998 clauses out of 106010 with flag 3513052/1475000
245.82/246.67	c cleaning 54000 clauses out of 108012 with flag 3653217/1530000
257.25/258.25	c cleaning 55000 clauses out of 110013 with flag 3801014/1586001
269.57/270.60	c cleaning 56002 clauses out of 112012 with flag 3953977/1643000
281.65/282.80	c cleaning 56996 clauses out of 114010 with flag 4104544/1701000
293.01/294.32	c cleaning 58004 clauses out of 116015 with flag 4253071/1760001
304.55/305.97	c cleaning 59002 clauses out of 118011 with flag 4392553/1820001
318.50/319.96	c cleaning 60002 clauses out of 120009 with flag 4544966/1881001
331.32/332.79	c cleaning 60998 clauses out of 122006 with flag 4698576/1943000
344.11/345.54	c cleaning 61999 clauses out of 124008 with flag 4858516/2006000
356.89/358.26	c cleaning 63000 clauses out of 126009 with flag 5019992/2070000
370.55/371.97	c cleaning 64000 clauses out of 128010 with flag 5193984/2135001
385.20/387.44	c cleaning 65001 clauses out of 130010 with flag 5370685/2201001
400.11/402.35	c cleaning 66001 clauses out of 132008 with flag 5554167/2268000
414.69/416.82	c cleaning 66996 clauses out of 134007 with flag 5726962/2336001
428.18/430.23	c cleaning 68002 clauses out of 136011 with flag 5900864/2405001
441.75/443.87	c cleaning 68999 clauses out of 138009 with flag 6078708/2475001
457.89/459.92	c cleaning 69999 clauses out of 140011 with flag 6271109/2546002
472.45/474.57	c cleaning 71002 clauses out of 142011 with flag 6456121/2618001
487.07/489.18	c cleaning 72002 clauses out of 144009 with flag 6633766/2691001
502.72/504.83	c cleaning 72999 clauses out of 146006 with flag 6821252/2765000
520.03/522.14	c cleaning 73995 clauses out of 148007 with flag 7015373/2840000
535.85/538.05	c cleaning 75002 clauses out of 150012 with flag 7211802/2916000
554.83/557.04	c cleaning 76001 clauses out of 152010 with flag 7416283/2993000
571.39/573.64	c cleaning 77002 clauses out of 154009 with flag 7614857/3071000
590.55/592.85	c cleaning 77999 clauses out of 156007 with flag 7818777/3150000
607.45/609.74	c cleaning 79002 clauses out of 158008 with flag 8026584/3230000
624.11/626.40	c cleaning 79998 clauses out of 160007 with flag 8229186/3311001
644.42/646.76	c cleaning 80995 clauses out of 162008 with flag 8464975/3393000
660.87/663.24	c cleaning 82007 clauses out of 164013 with flag 8667957/3476000
676.78/679.14	c cleaning 83000 clauses out of 166007 with flag 8872474/3560001
694.38/696.89	c cleaning 83997 clauses out of 168007 with flag 9087850/3645001
712.43/714.97	c cleaning 85003 clauses out of 170009 with flag 9307273/3731000
732.67/735.16	c cleaning 86004 clauses out of 172007 with flag 9542079/3818001
750.64/753.15	c cleaning 86995 clauses out of 174002 with flag 9774793/3906000
769.95/772.43	c cleaning 88001 clauses out of 176008 with flag 10008155/3995001
787.99/790.59	c cleaning 89002 clauses out of 178006 with flag 10239327/4085000
809.64/812.21	c cleaning 89995 clauses out of 180004 with flag 10485534/4176000
829.68/832.28	c cleaning 91000 clauses out of 182011 with flag 10727705/4268002
849.05/851.70	c cleaning 92001 clauses out of 184009 with flag 10969245/4361000
868.15/871.02	c cleaning 93001 clauses out of 186006 with flag 11219006/4455000
885.82/888.80	c cleaning 94002 clauses out of 188005 with flag 11456374/4550000
904.18/907.35	c cleaning 94997 clauses out of 190003 with flag 11694897/4646000
923.91/927.04	c cleaning 95997 clauses out of 192006 with flag 11951830/4743001
941.52/944.75	c cleaning 97000 clauses out of 194008 with flag 12190570/4841000
961.43/964.65	c cleaning 97993 clauses out of 196009 with flag 12446107/4940001
979.07/982.34	c cleaning 99002 clauses out of 198015 with flag 12691018/5040001
997.49/1005.53	c cleaning 100005 clauses out of 200013 with flag 12941892/5141001
1019.44/1027.59	c cleaning 101000 clauses out of 202008 with flag 13209541/5243002
1037.55/1045.68	c cleaning 101995 clauses out of 204006 with flag 13474219/5346000
1056.71/1064.81	c cleaning 103000 clauses out of 206013 with flag 13733629/5450002
1074.92/1083.08	c cleaning 103999 clauses out of 208011 with flag 13983035/5555000
1097.10/1105.20	c cleaning 105002 clauses out of 210012 with flag 14257422/5661001
1115.76/1123.87	c cleaning 105998 clauses out of 212008 with flag 14518781/5768000
1136.31/1144.40	c cleaning 107000 clauses out of 214011 with flag 14797094/5876001
1153.06/1161.24	c cleaning 108002 clauses out of 216004 with flag 15064381/5985000
1172.69/1180.86	c cleaning 108992 clauses out of 217996 with flag 15344609/6095001
1179.72/1187.92	c starts		: 5273
1179.72/1187.92	c conflicts		: 6150292
1179.72/1187.92	c decisions		: 6559945
1179.72/1187.92	c propagations		: 705239864
1179.72/1187.93	c inspects		: 10335061415
1179.72/1187.93	c shortcuts		: 0
1179.72/1187.93	c learnt literals	: 46
1179.72/1187.93	c learnt binary clauses	: 132
1179.72/1187.93	c learnt ternary clauses	: 462
1179.72/1187.93	c learnt constraints	: 6150245
1179.72/1187.93	c ignored constraints	: 0
1179.72/1187.93	c root simplifications	: 0
1179.72/1187.93	c removed literals (reason simplification)	: 483661088
1179.72/1187.93	c reason swapping (by a shorter reason)	: 0
1179.72/1187.93	c Calls to reduceDB	: 106
1179.72/1187.93	c Number of update (reduction) of LBD	: 353114
1179.72/1187.93	c Imported unit clauses	: 0
1179.72/1187.93	c No decision after first conflict	: false
1179.72/1187.93	c number of reductions to clauses (during analyze)	: 0
1179.72/1187.93	c number of learned constraints concerned by reduction	: 0
1179.72/1187.93	c number of learning phase by resolution	: 0
1179.72/1187.93	c number of learning phase by cutting planes	: 0
1179.72/1187.93	c number of rounding to 1 operations	: 0
1179.72/1187.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1179.72/1187.93	c number of reductions of the coefficients by power 2 	: 0
1179.72/1187.93	c number of right shift for reduction by power 2 	: 0
1179.72/1187.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
1179.72/1187.93	c number of ending skipping 	: 0
1179.72/1187.93	c number of internal skipping 	: 0
1179.72/1187.93	c number of derivation steps 	: 0
1179.72/1187.93	c number of skipped derivation steps 	: 0
1179.72/1187.93	c number of remaining unassigned 	: 0
1179.72/1187.93	c number of remaining assigned 	: 0
1179.72/1187.93	c number of falsified literals weakened from reason	: 0
1179.72/1187.93	c number of falsified literals weakened from conflict	: 0
1179.72/1187.93	c time for arithmetic operations	: 0
1179.72/1187.93	c minimum degree of deleted constraints	: null
1179.72/1187.93	c maximum degree of deleted constraints	: null
1179.72/1187.93	c number of deleted constraints	: 0
1179.72/1187.93	c speed (assignments/second)	: 593755.7000103557
1179.72/1187.93	c non guided choices	: 21
1179.72/1187.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 164137
1179.72/1187.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 132
1179.72/1187.99	s UNSATISFIABLE
1179.72/1187.99	c Total wall clock time (in seconds): 1187.864

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (45848 MiB free)
  memory of node 1: 64473 MiB (50658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454212-1721843849/watcher-4454212-1721843849 -o /tmp/evaluation-result-4454212-1721843849/solver-4454212-1721843849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250670 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4454212-1721843849 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454212-1721843849.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=253387, runsolver pid=253384
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 4.10 4.14 4.10 6/335 253405
/proc/meminfo: memFree=98779296/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=18975048 memory=64440 CPUtime=0.13 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 7216 0 0 0 12 1 0 0 20 0 18 0 20907886 19430449152 16110 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4743762 16110 5505 1 0 549333 0
[pid=253387/tid=253389] ppid=253384 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 5760 0 0 0 8 1 0 0 20 0 18 0 20907886 19430449152 16110 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20907889 19430449152 16110 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20907890 19430449152 16110 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64440 KiB

[startup+0.205998 s]*
/proc/loadavg: 4.10 4.14 4.10 7/336 253406
/proc/meminfo: memFree=98772904/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19041612 memory=71596 CPUtime=0.34 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 7748 0 0 0 32 2 0 0 20 0 19 0 20907886 19498610688 17899 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4760403 17899 5763 1 0 549970 0
[pid=253387/tid=253389] ppid=253384 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 6016 0 0 0 18 1 0 0 20 0 19 0 20907886 19498610688 17899 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19041612 memory=770575 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20907889 19498610688 17899 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19041612 memory=15816698926204594 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20907890 19498610688 17899 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20907903 19498610688 17899 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71596 KiB

[startup+0.306857 s]*
/proc/loadavg: 4.10 4.14 4.10 6/336 253406
/proc/meminfo: memFree=98756556/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19041612 memory=87748 CPUtime=0.53 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 9731 0 0 0 50 3 0 0 20 0 19 0 20907886 19498610688 21937 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4760403 21937 5763 1 0 550844 0
[pid=253387/tid=253389] ppid=253384 vsize=19041612 memory=-8887123142122382012 CPUtime=0.26 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 6036 0 0 0 25 1 0 0 20 0 19 0 20907886 19498610688 21937 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20907889 19498610688 21937 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20907890 19498610688 21937 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20907903 19498610688 21937 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87748 KiB

[startup+0.703974 s]
/proc/loadavg: 4.10 4.14 4.10 7/336 253406
/proc/meminfo: memFree=98720856/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19041612 memory=163616 CPUtime=1.28 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 13334 0 0 0 123 5 0 0 20 0 19 0 20907886 19498610688 40904 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4760403 40904 5782 1 0 552782 0
[pid=253387/tid=253389] ppid=253384 vsize=19041612 memory=72196 CPUtime=0.64 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 6070 0 0 0 61 3 0 0 20 0 19 0 20907886 19498610688 40904 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19041612 memory=12264 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20907889 19498610688 40904 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19041612 memory=2248 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20907890 19498610688 40904 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19041612 memory=25948 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20907903 19498610688 40904 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163616 KiB

[startup+1.50076 s]
/proc/loadavg: 4.10 4.14 4.10 6/337 253407
/proc/meminfo: memFree=98666292/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=180768 CPUtime=2.84 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 20814 0 0 0 278 6 0 0 20 0 20 0 20907886 19566772224 45192 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 45192 5814 1 0 555024 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=12264 CPUtime=1.4 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 6494 0 0 0 137 3 0 0 20 0 20 0 20907886 19566772224 45192 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 45192 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=2248 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 45192 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=25948 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 45192 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180768 KiB

[startup+3.10581 s]
/proc/loadavg: 4.10 4.13 4.10 5/337 253407
/proc/meminfo: memFree=98629820/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=212284 CPUtime=5.09 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 22883 0 0 0 501 8 0 0 20 0 20 0 20907886 19566772224 53071 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 53071 5830 1 0 555044 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=0 CPUtime=2.99 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 6927 0 0 0 294 5 0 0 20 0 20 0 20907886 19566772224 53071 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=-8887123142122382012 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 53071 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=12264 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 53071 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=2248 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 53071 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 212284 KiB

[startup+6.30027 s]
/proc/loadavg: 4.10 4.13 4.10 5/337 253408
/proc/meminfo: memFree=98444892/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=363792 CPUtime=8.34 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 25018 0 0 0 821 13 0 0 20 0 20 0 20907886 19566772224 90948 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 90948 5830 1 0 555044 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=2248 CPUtime=6.15 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 7781 0 0 0 606 9 0 0 20 0 20 0 20907886 19566772224 90948 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 90948 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=12264 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 90948 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 90948 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 363792 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.13 4.10 5/337 253408
/proc/meminfo: memFree=97982592/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=859592 CPUtime=14.84 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 29371 0 0 0 1459 25 0 0 20 0 20 0 20907886 19566772224 214898 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 214898 5830 1 0 555044 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=12264 CPUtime=12.54 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 8974 0 0 0 1233 21 0 0 20 0 20 0 20907886 19566772224 214898 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=501120 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 214898 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=72196 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 214898 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=12264 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 214898 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 14.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 859592 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.14 4.10 5/337 253412
/proc/meminfo: memFree=97777564/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=933396 CPUtime=27.76 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 35012 0 0 0 2743 33 0 0 20 0 20 0 20907886 19566772224 233349 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 233349 5830 1 0 555044 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=6943526294502006880 CPUtime=25.28 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 10061 0 0 0 2501 27 0 0 20 0 20 0 20907886 19566772224 233861 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=11616 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 233861 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=3564 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 233861 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=12264 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 233861 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 27.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 933396 KiB

[startup+51.1059 s]
/proc/loadavg: 4.09 4.13 4.09 5/337 253417
/proc/meminfo: memFree=97221024/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=1326660 CPUtime=53.26 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 40484 0 0 0 5272 54 0 0 20 0 20 0 20907886 19566772224 331665 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 331665 5830 1 0 555044 0

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

/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 885 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 500535 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=2002140 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 500535 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 994.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2002140 KiB

[startup+1062.3 s]
/proc/loadavg: 3.26 3.36 3.71 4/285 254055
/proc/meminfo: memFree=105666596/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=2114896 CPUtime=1054.21 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 105514 0 0 0 105011 410 0 0 20 0 20 0 20907886 19566772224 528724 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 528724 5845 1 0 557839 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=39812 CPUtime=1044.06 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 33562 0 0 0 104050 356 0 0 20 0 20 0 20907886 19566772224 528724 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1020 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=2077988 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 528724 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=11616 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 928 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 528724 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=2114876 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 528724 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1054.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2114896 KiB

[startup+1122.3 s]
/proc/loadavg: 2.75 3.21 3.64 3/281 254070
/proc/meminfo: memFree=106544712/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=2129292 CPUtime=1114.27 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 108131 0 0 0 110993 434 0 0 20 0 20 0 20907886 19566772224 532323 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 532323 5845 1 0 557839 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=2077988 CPUtime=1103.49 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 34966 0 0 0 109972 377 0 0 20 0 20 0 20907886 19566772224 532323 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1027 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=2129236 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 532323 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=2129280 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 983 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 532323 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=2129280 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 532323 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1114.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2129292 KiB

[startup+1182.3 s]
/proc/loadavg: 2.32 3.00 3.54 3/281 254081
/proc/meminfo: memFree=106311256/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=2129368 CPUtime=1174.18 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 112736 0 0 0 116963 455 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 532342 5845 1 0 557839 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=11616 CPUtime=1162.88 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 36513 0 0 0 115891 397 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1043 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=2129368 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=72196 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 1038 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=12264 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1174.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2129368 KiB

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

# cumulated CPU time of all completed processes:  user=1175.28 s, system=4.59223 s

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

[startup+1184 s]*
/proc/loadavg: 2.37 3.00 3.53 3/281 254083
/proc/meminfo: memFree=106302444/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=2129368 CPUtime=1175.89 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 112738 0 0 0 117133 456 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 532342 5845 1 0 557839 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=33584 CPUtime=1164.59 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 36515 0 0 0 116061 398 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1043 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=49964 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=-7521431007747334007 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 1038 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=2696 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1175.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2129368 KiB

[startup+1185.6 s]
/proc/loadavg: 2.37 3.00 3.53 3/281 254083
/proc/meminfo: memFree=106298356/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=2129368 CPUtime=1177.48 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 112738 0 0 0 117291 457 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 532342 5845 1 0 557839 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=72196 CPUtime=1166.17 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 36515 0 0 0 116219 398 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1043 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=2129368 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=2129368 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 1038 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=16084 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1177.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2129368 KiB

[startup+1187.2 s]
/proc/loadavg: 2.37 3.00 3.53 4/281 254083
/proc/meminfo: memFree=106293368/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=2129368 CPUtime=1179.02 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 112738 0 0 0 117445 457 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 532342 5845 1 0 557839 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=72196 CPUtime=1167.72 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 36515 0 0 0 116373 399 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1048 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=11616 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=-8887123142122382012 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 1038 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1179.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2129368 KiB

[startup+1187.6 s]
/proc/loadavg: 2.37 3.00 3.53 4/281 254083
/proc/meminfo: memFree=106293368/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19108176 memory=2129368 CPUtime=1179.42 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 112738 0 0 0 117485 457 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4777044 532342 5845 1 0 557839 0
[pid=253387/tid=253389] ppid=253384 vsize=19108176 memory=72196 CPUtime=1168.12 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) R 253384 253387 250658 0 -1 4194368 36515 0 0 0 116413 399 0 0 20 0 20 0 20907886 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1048 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19108176 memory=-8887123142122382012 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20907889 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19108176 memory=72196 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 1038 0 0 0 0 0 0 0 20 0 20 0 20907890 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253406] ppid=253384 vsize=19108176 memory=12264 CPUtime=0 cores=1,3
/proc/253387/task/253406/stat : 253406 (Timer-0) S 253384 253387 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20907903 19566772224 532342 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1179.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2129368 KiB

[startup+1188 s]*
/proc/loadavg: 2.37 3.00 3.53 6/280 254085
/proc/meminfo: memFree=106288228/131524600 swapFree=131071728/131071996
[pid=253387] ppid=253384 vsize=19241304 memory=2129960 CPUtime=1179.86 cores=1,3
/proc/253387/stat : 253387 (java) S 253384 253387 250658 0 -1 1077936128 115995 0 0 0 117528 458 0 0 20 0 18 0 20907886 19703095296 532490 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
/proc/253387/statm: 4810326 532490 5841 1 0 558473 0
[pid=253387/tid=253389] ppid=253384 vsize=19241304 memory=-8744130555418485436 CPUtime=1168.43 cores=1,3
/proc/253387/task/253389/stat : 253389 (java) S 253384 253387 250658 0 -1 1077936192 38197 0 0 0 116444 399 0 0 20 0 18 0 20907886 19703095296 532490 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1049 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253398] ppid=253384 vsize=19241304 memory=-7521431007747334007 CPUtime=0 cores=1,3
/proc/253387/task/253398/stat : 253398 (Finalizer) S 253384 253387 250658 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20907889 19703095296 532490 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
[pid=253387/tid=253405] ppid=253384 vsize=19241304 memory=4884 CPUtime=0 cores=1,3
/proc/253387/task/253405/stat : 253405 (Common-Cleaner) S 253384 253387 250658 0 -1 1077936192 1038 0 0 0 0 0 0 0 20 0 18 0 20907890 19703095296 532490 134679101440 94841115496448 94841115500144 140733650519968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94841115507960 94841115508752 94841119895552 140733650527147 140733650527329 140733650527329 140733650534344 0
Current children cumulated CPU time: 1179.86 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2129960 KiB

Child status: 20

Real time (s): 1188.03
CPU time (s): 1179.88
CPU user time (s): 1175.28
CPU system time (s): 4.59223
CPU usage (%): 99.3139
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2129960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1175.28
system time used= 4.59223
maximum resident set size= 2130912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4809056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38675
involuntary context switches= 4338


# summary of solver processes directly reported to runsolver:
#   pid: 253387
#   total CPU time (s): 1179.88
#   total CPU user time (s): 1175.28
#   total CPU system time (s): 4.59223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.52386 second user time and 5.95997 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 19:57:29
IDJOB=4454212
IDBENCH=176071
IDSOLVER=3079
FILE ID=nodeC024/4454212-1721843849
RUNJOBID= nodeC024-1721840221-250670
SLURM_JOB_ID= 7891548
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-11diag_spec_greater.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454212-1721843849/watcher-4454212-1721843849 -o /tmp/evaluation-result-4454212-1721843849/solver-4454212-1721843849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250670 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4454212-1721843849 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454212-1721843849.opb

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

MD5SUM BENCH= 07e0fc22cb9615e1fd2cd7b0a9063b70
RANDOM SEED=1564370572

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        98824244 kB
MemAvailable:   123142764 kB
Buffers:          270520 kB
Cached:         24793332 kB
SwapCached:           92 kB
Active:          2673808 kB
Inactive:       29232260 kB
Active(anon):       1556 kB
Inactive(anon):  6894748 kB
Active(file):    2672252 kB
Inactive(file): 22337512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:              8676 kB
Writeback:             0 kB
AnonPages:       6841600 kB
Mapped:           138924 kB
Shmem:             54012 kB
KReclaimable:     297160 kB
Slab:             421568 kB
SReclaimable:     297160 kB
SUnreclaim:       124408 kB
KernelStack:        5136 kB
PageTables:        23168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7328304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6529024 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:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC024 at 2024-07-24 20:17:17