Trace number 4452772

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. 112.979 111.115

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb
MD5SUMa3c218acab88c9e5abe907b008036492
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 benchmark8.83428
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33930
Total number of constraints6787
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)12
Number of constraints which are nor clauses,nor cardinality constraints6775
Minimum length of a constraint5
Maximum length of a constraint15
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 29
Number of bits of the biggest sum of numbers5
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.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	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.08	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4452772-1721841462.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.53/0.35	c ... done. Wall clock time 0.221s.
0.53/0.35	c declared #vars     33930
0.53/0.35	c #constraints  6787
0.53/0.35	c constraints type 
0.53/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6787
0.53/0.35	c 6787 constraints processed.
1.64/0.98	c cleaning 2498 clauses out of 5000 with flag 12734/5000
2.44/1.32	c cleaning 4246 clauses out of 8502 with flag 28892/11000
2.82/1.58	c cleaning 5610 clauses out of 11256 with flag 48572/18000
3.23/1.77	c cleaning 6803 clauses out of 13647 with flag 70826/26001
3.62/1.95	c cleaning 7920 clauses out of 15844 with flag 98898/35001
3.83/2.10	c cleaning 8940 clauses out of 17923 with flag 128335/45000
4.20/2.29	c cleaning 9978 clauses out of 19984 with flag 162356/56001
4.55/2.43	c cleaning 10977 clauses out of 22005 with flag 202228/68000
4.67/2.59	c cleaning 11922 clauses out of 24029 with flag 249838/81001
4.88/2.75	c cleaning 13046 clauses out of 26107 with flag 293451/95001
5.08/2.94	c cleaning 14024 clauses out of 28060 with flag 337274/110000
5.28/3.15	c cleaning 15002 clauses out of 30036 with flag 385756/126000
5.54/3.36	c cleaning 15998 clauses out of 32035 with flag 434210/143001
5.91/3.60	c cleaning 16977 clauses out of 34037 with flag 487468/161001
6.12/3.83	c cleaning 17986 clauses out of 36060 with flag 544312/180001
6.33/4.07	c cleaning 19026 clauses out of 38073 with flag 602019/200000
6.63/4.32	c cleaning 20008 clauses out of 40047 with flag 662180/221000
6.82/4.57	c cleaning 21010 clauses out of 42041 with flag 727391/243002
7.16/4.85	c cleaning 22000 clauses out of 44030 with flag 801529/266001
7.46/5.13	c cleaning 23009 clauses out of 46029 with flag 874266/290000
7.76/5.46	c cleaning 23998 clauses out of 48021 with flag 943415/315001
8.16/5.81	c cleaning 25001 clauses out of 50024 with flag 1018563/341002
8.47/6.15	c cleaning 25990 clauses out of 52021 with flag 1094438/368000
8.76/6.48	c cleaning 26999 clauses out of 54032 with flag 1173387/396001
9.20/6.87	c cleaning 27983 clauses out of 56033 with flag 1266309/425001
9.75/7.31	c cleaning 29019 clauses out of 58049 with flag 1351621/455000
10.05/7.65	c cleaning 29990 clauses out of 60032 with flag 1449429/486002
10.63/8.14	c cleaning 30981 clauses out of 62040 with flag 1550094/518000
11.02/8.51	c cleaning 32021 clauses out of 64060 with flag 1655294/551001
11.47/9.00	c cleaning 33010 clauses out of 66042 with flag 1764024/585004
12.06/9.54	c cleaning 34000 clauses out of 68028 with flag 1866845/620000
12.56/10.04	c cleaning 34997 clauses out of 70028 with flag 1981584/656000
13.05/10.56	c cleaning 35997 clauses out of 72031 with flag 2095194/693000
13.57/11.09	c cleaning 36921 clauses out of 74034 with flag 2227373/731000
14.16/11.63	c cleaning 38054 clauses out of 76113 with flag 2355155/770000
14.66/12.18	c cleaning 39005 clauses out of 78059 with flag 2473828/810000
15.25/12.73	c cleaning 39971 clauses out of 80054 with flag 2598989/851000
15.89/13.31	c cleaning 41028 clauses out of 82084 with flag 2724663/893001
16.65/13.96	c cleaning 42023 clauses out of 84057 with flag 2856186/936002
17.46/14.70	c cleaning 42971 clauses out of 86032 with flag 2983990/980000
18.14/15.44	c cleaning 43993 clauses out of 88062 with flag 3112176/1025001
18.75/16.08	c cleaning 45022 clauses out of 90070 with flag 3249249/1071002
19.64/16.92	c cleaning 45985 clauses out of 92046 with flag 3393646/1118000
20.34/17.64	c cleaning 47006 clauses out of 94061 with flag 3549489/1166000
21.14/18.40	c cleaning 48021 clauses out of 96055 with flag 3695667/1215000
21.88/19.12	c cleaning 49009 clauses out of 98034 with flag 3851622/1265000
22.57/19.85	c cleaning 50004 clauses out of 100026 with flag 4000028/1316001
23.27/20.55	c cleaning 50952 clauses out of 102021 with flag 4182937/1368000
24.17/21.45	c cleaning 52027 clauses out of 104069 with flag 4334883/1421000
25.07/22.31	c cleaning 52967 clauses out of 106042 with flag 4485887/1475000
25.97/23.22	c cleaning 53996 clauses out of 108076 with flag 4649438/1530001
26.88/24.11	c cleaning 55029 clauses out of 110079 with flag 4812877/1586000
27.68/24.99	c cleaning 55725 clauses out of 112051 with flag 4989519/1643001
28.58/25.81	c cleaning 55936 clauses out of 114325 with flag 5156164/1701000
29.50/26.77	c cleaning 56958 clauses out of 117392 with flag 5327025/1760003
30.51/27.79	c cleaning 58190 clauses out of 120431 with flag 5507789/1820000
31.50/28.73	c cleaning 58707 clauses out of 123242 with flag 5695176/1881001
32.56/29.70	c cleaning 60020 clauses out of 126534 with flag 5884109/1943000
33.40/30.59	c cleaning 61032 clauses out of 129514 with flag 6066155/2006000
34.70/33.31	c cleaning 61904 clauses out of 132483 with flag 6252034/2070001
35.79/34.48	c cleaning 62661 clauses out of 135578 with flag 6438582/2135000
36.89/35.52	c cleaning 63734 clauses out of 138918 with flag 6628917/2201001
38.08/36.65	c cleaning 65121 clauses out of 142183 with flag 6829792/2268000
39.08/37.65	c cleaning 65735 clauses out of 145064 with flag 7035943/2336002
40.49/39.02	c cleaning 66598 clauses out of 148327 with flag 7247924/2405000
41.78/40.33	c cleaning 67567 clauses out of 151729 with flag 7453564/2475000
43.08/41.60	c cleaning 68994 clauses out of 155162 with flag 7657026/2546000
44.42/42.96	c cleaning 69764 clauses out of 158168 with flag 7862240/2618000
46.19/44.74	c cleaning 70929 clauses out of 161405 with flag 8073003/2691001
47.49/46.00	c cleaning 71654 clauses out of 164476 with flag 8286579/2765001
48.76/47.38	c cleaning 72352 clauses out of 167821 with flag 8501199/2840000
50.31/48.86	c cleaning 73400 clauses out of 171469 with flag 8732925/2916000
51.69/50.25	c cleaning 74791 clauses out of 175070 with flag 8963595/2993001
53.27/51.84	c cleaning 75754 clauses out of 178279 with flag 9188292/3071001
54.76/53.39	c cleaning 76674 clauses out of 181524 with flag 9413909/3150000
56.40/54.93	c cleaning 77604 clauses out of 184851 with flag 9649684/3230001
57.98/56.59	c cleaning 78450 clauses out of 188246 with flag 9877100/3311000
59.87/58.48	c cleaning 79443 clauses out of 191800 with flag 10132153/3393004
61.25/59.84	c cleaning 80545 clauses out of 195355 with flag 10394543/3476002
63.18/61.72	c cleaning 81569 clauses out of 198808 with flag 10634330/3560000
64.81/63.68	c cleaning 82466 clauses out of 202239 with flag 10880009/3645000
66.89/65.72	c cleaning 83199 clauses out of 205774 with flag 11123595/3731001
68.28/67.18	c cleaning 83739 clauses out of 209576 with flag 11395891/3818002
70.31/69.14	c cleaning 85354 clauses out of 213835 with flag 11646981/3906000
72.39/71.26	c cleaning 86721 clauses out of 217484 with flag 11912162/3995003
74.46/73.37	c cleaning 87748 clauses out of 220760 with flag 12171877/4085000
76.75/75.62	c cleaning 88946 clauses out of 224012 with flag 12448039/4176000
78.68/77.54	c cleaning 89316 clauses out of 227067 with flag 12713185/4268001
80.96/79.86	c cleaning 90490 clauses out of 230750 with flag 12981565/4361000
83.63/82.50	c cleaning 91706 clauses out of 234260 with flag 13250450/4455000
85.70/84.51	c cleaning 92577 clauses out of 237555 with flag 13538399/4550001
87.67/86.57	c cleaning 93220 clauses out of 240978 with flag 13819825/4646001
89.55/88.47	c cleaning 93860 clauses out of 244757 with flag 14105490/4743000
92.21/91.07	c cleaning 95140 clauses out of 248897 with flag 14385981/4841000
94.44/93.51	c cleaning 95978 clauses out of 252757 with flag 14672068/4940000
96.91/96.05	c cleaning 97444 clauses out of 256780 with flag 14951980/5040001
98.91/98.09	c cleaning 98496 clauses out of 260337 with flag 15264021/5141002
101.48/100.54	c cleaning 99359 clauses out of 263839 with flag 15560552/5243000
103.88/102.97	c cleaning 100534 clauses out of 267480 with flag 15859909/5346000
106.18/105.27	c cleaning 101163 clauses out of 270946 with flag 16164320/5450000
108.55/107.59	c cleaning 101970 clauses out of 274785 with flag 16468264/5555002
110.65/109.69	c cleaning 102659 clauses out of 278813 with flag 16778147/5661000
112.84/111.01	c starts		: 3611
112.84/111.01	c conflicts		: 5686202
112.84/111.01	c decisions		: 81271522
112.84/111.01	c propagations		: 113658465
112.84/111.01	c inspects		: 747947120
112.84/111.01	c shortcuts		: 0
112.84/111.01	c learnt literals	: 8
112.84/111.01	c learnt binary clauses	: 38
112.84/111.01	c learnt ternary clauses	: 27667
112.84/111.01	c learnt constraints	: 5686193
112.84/111.01	c ignored constraints	: 0
112.84/111.01	c root simplifications	: 0
112.84/111.01	c removed literals (reason simplification)	: 4701736
112.84/111.01	c reason swapping (by a shorter reason)	: 0
112.84/111.01	c Calls to reduceDB	: 102
112.84/111.01	c Number of update (reduction) of LBD	: 1009763
112.84/111.01	c Imported unit clauses	: 0
112.84/111.01	c No decision after first conflict	: false
112.84/111.01	c number of reductions to clauses (during analyze)	: 0
112.84/111.01	c number of learned constraints concerned by reduction	: 0
112.84/111.02	c number of learning phase by resolution	: 0
112.84/111.02	c number of learning phase by cutting planes	: 0
112.84/111.02	c number of rounding to 1 operations	: 0
112.84/111.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
112.84/111.02	c number of reductions of the coefficients by power 2 	: 0
112.84/111.02	c number of right shift for reduction by power 2 	: 0
112.84/111.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
112.84/111.02	c number of ending skipping 	: 0
112.84/111.02	c number of internal skipping 	: 0
112.84/111.02	c number of derivation steps 	: 0
112.84/111.02	c number of skipped derivation steps 	: 0
112.84/111.02	c number of remaining unassigned 	: 0
112.84/111.02	c number of remaining assigned 	: 0
112.84/111.02	c number of falsified literals weakened from reason	: 0
112.84/111.02	c number of falsified literals weakened from conflict	: 0
112.84/111.02	c time for arithmetic operations	: 0
112.84/111.02	c minimum degree of deleted constraints	: null
112.84/111.02	c maximum degree of deleted constraints	: null
112.84/111.02	c number of deleted constraints	: 0
112.84/111.02	c speed (assignments/second)	: 1027142.6053951471
112.84/111.02	c non guided choices	: 71725260
112.84/111.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 201309
112.84/111.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 38
112.84/111.08	s UNSATISFIABLE
112.84/111.08	c Total wall clock time (in seconds): 110.954

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452772-1721841462/watcher-4452772-1721841462 -o /tmp/evaluation-result-4452772-1721841462/solver-4452772-1721841462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721841436-199511 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4452772-1721841462 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452772-1721841462.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=199904, runsolver pid=199901

[startup+0.100237 s]*
/proc/loadavg: 2.21 1.34 1.43 7/334 199922
/proc/meminfo: memFree=117998752/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=18975048 memory=67324 CPUtime=0.14 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 7129 0 0 0 12 2 0 0 20 0 18 0 20669555 19430449152 16831 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4743762 16831 5745 1 0 549372 0
[pid=199904/tid=199906] ppid=199901 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 1077936192 5697 0 0 0 7 1 0 0 20 0 18 0 20669555 19430449152 16831 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20669558 19430449152 16831 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=18975048 memory=15262540772369567 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20669558 19430449152 16831 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67324 KiB

[startup+0.206678 s]*
/proc/loadavg: 2.21 1.34 1.43 7/334 199922
/proc/meminfo: memFree=117981592/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=18975048 memory=83792 CPUtime=0.34 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 8667 0 0 0 31 3 0 0 20 0 18 0 20669555 19430449152 20948 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4743762 20948 5846 1 0 550315 0
[pid=199904/tid=199906] ppid=199901 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 5865 0 0 0 16 2 0 0 20 0 18 0 20669555 19430449152 20948 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=18975048 memory=1535086 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20669558 19430449152 20948 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=18975048 memory=13855165887284878 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20669558 19430449152 20948 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83792 KiB

[startup+0.306678 s]*
/proc/loadavg: 2.21 1.34 1.43 7/334 199922
/proc/meminfo: memFree=117936016/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=18975048 memory=125604 CPUtime=0.53 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 9345 0 0 0 49 4 0 0 20 0 18 0 20669555 19430449152 31401 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4743762 31401 5846 1 0 550835 0
[pid=199904/tid=199906] ppid=199901 vsize=18975048 memory=-9105541101143237308 CPUtime=0.28 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 5887 0 0 0 25 3 0 0 20 0 18 0 20669555 19430449152 31401 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20669558 19430449152 31401 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20669558 19430449152 31401 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 125604 KiB

[startup+0.700226 s]
/proc/loadavg: 2.21 1.34 1.43 7/335 199923
/proc/meminfo: memFree=117906180/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19041612 memory=166712 CPUtime=1.28 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 13933 0 0 0 122 6 0 0 20 0 19 0 20669555 19498610688 41678 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4760403 41678 5871 1 0 553587 0
[pid=199904/tid=199906] ppid=199901 vsize=19041612 memory=5432 CPUtime=0.64 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 5979 0 0 0 60 4 0 0 20 0 19 0 20669555 19498610688 41678 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19041612 memory=12304 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20669558 19498610688 41678 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20669558 19498610688 41678 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 20669591 19498610688 41678 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166712 KiB

[startup+1.50021 s]
/proc/loadavg: 2.51 1.41 1.45 6/336 199924
/proc/meminfo: memFree=117855308/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=195440 CPUtime=2.82 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 23650 0 0 0 275 7 0 0 20 0 20 0 20669555 19566772224 48860 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 48860 5871 1 0 556146 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=12304 CPUtime=1.39 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 6438 0 0 0 135 4 0 0 20 0 20 0 20669555 19566772224 48860 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 48860 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 48860 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=281429477074192 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 48860 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195440 KiB

[startup+3.10668 s]
/proc/loadavg: 2.51 1.41 1.45 7/336 199926
/proc/meminfo: memFree=117577416/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=208668 CPUtime=5.28 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 25845 0 0 0 518 10 0 0 20 0 20 0 20669555 19566772224 52167 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 52167 5887 1 0 556175 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=0 CPUtime=2.92 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 6805 0 0 0 286 6 0 0 20 0 20 0 20669555 19566772224 52167 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=12304 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 52167 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 52167 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=11944 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 52167 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 208668 KiB

[startup+6.30069 s]
/proc/loadavg: 2.71 1.47 1.47 8/336 199926
/proc/meminfo: memFree=117069704/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=634516 CPUtime=8.66 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 26374 0 0 0 842 24 0 0 20 0 20 0 20669555 19566772224 158629 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 158629 5887 1 0 556182 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=12304 CPUtime=6.04 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 7178 0 0 0 586 18 0 0 20 0 20 0 20669555 19566772224 158629 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 158629 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=195484 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 158629 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 158629 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 634516 KiB

[startup+12.7007 s]
/proc/loadavg: 2.90 1.53 1.49 5/336 199926
/proc/meminfo: memFree=116161620/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=855824 CPUtime=15.25 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 28479 0 0 0 1489 36 0 0 20 0 20 0 20669555 19566772224 213956 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 213956 5887 1 0 556182 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=0 CPUtime=12.34 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 8112 0 0 0 1205 29 0 0 20 0 20 0 20669555 19566772224 213956 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=-9105541101143237308 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 213956 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=2296 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 213956 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=11944 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 213956 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 15.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 855824 KiB

[startup+25.5002 s]
/proc/loadavg: 3.07 1.61 1.52 5/336 199929
/proc/meminfo: memFree=115027992/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1384460 CPUtime=28.28 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 32839 0 0 0 2766 62 0 0 20 0 20 0 20669555 19566772224 346115 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 346115 5887 1 0 556182 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=11944 CPUtime=24.97 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 9515 0 0 0 2443 54 0 0 20 0 20 0 20669555 19566772224 346115 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=11944 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 346115 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=634516 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 346115 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=281429477020976 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 346115 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 28.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1384460 KiB

[startup+51.1067 s]
/proc/loadavg: 3.56 1.87 1.61 5/336 200000
/proc/meminfo: memFree=115626220/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1409128 CPUtime=52.59 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 39303 0 0 0 5175 84 0 0 20 0 20 0 20669555 19566772224 352282 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 352282 5887 1 0 556182 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=1386544 CPUtime=48.75 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 11339 0 0 0 4801 74 0 0 20 0 20 0 20669555 19566772224 352282 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 150 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=855824 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 352282 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0

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

/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 352282 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=32168 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 352282 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 52.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1409128 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 2.24 1.75 5/336 200008
/proc/meminfo: memFree=112959956/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1538612 CPUtime=103.27 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 44540 0 0 0 10201 126 0 0 20 0 20 0 20669555 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 384653 5887 1 0 556214 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=1450248 CPUtime=98.44 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 14019 0 0 0 9732 112 0 0 20 0 20 0 20669555 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 200 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=1458508 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=32168 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=11944 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 103.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1538612 KiB

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

# cumulated CPU time of all completed processes:  user=111.609 s, system=1.37028 s

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

[startup+102.4 s]
/proc/loadavg: 3.92 2.24 1.75 5/336 200008
/proc/meminfo: memFree=112959956/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1538612 CPUtime=103.37 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 44540 0 0 0 10211 126 0 0 20 0 20 0 20669555 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 384653 5887 1 0 556214 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=1450248 CPUtime=98.54 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 14019 0 0 0 9742 112 0 0 20 0 20 0 20669555 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 200 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=5596 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=2004 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 384653 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 103.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1538612 KiB

[startup+105.6 s]
/proc/loadavg: 3.92 2.24 1.75 5/336 200011
/proc/meminfo: memFree=112905072/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1538660 CPUtime=106.57 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 45470 0 0 0 10528 129 0 0 20 0 20 0 20669555 19566772224 384665 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 384665 5887 1 0 556222 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=1538644 CPUtime=101.73 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 14573 0 0 0 10059 114 0 0 20 0 20 0 20669555 19566772224 384665 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 200 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=1896 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 384665 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=1538612 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 384665 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=1507768 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 384665 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 106.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1538660 KiB

[startup+108.8 s]
/proc/loadavg: 4.01 2.28 1.76 5/336 200012
/proc/meminfo: memFree=112808124/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1563428 CPUtime=109.85 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 46195 0 0 0 10853 132 0 0 20 0 20 0 20669555 19566772224 390857 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 390857 5887 1 0 556222 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=1538596 CPUtime=104.83 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 14651 0 0 0 10366 117 0 0 20 0 20 0 20669555 19566772224 390857 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 200 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=68244 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 390857 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=12304 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 390857 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=1553056 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 390857 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 109.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1563428 KiB

[startup+110.402 s]
/proc/loadavg: 4.01 2.28 1.76 6/336 200012
/proc/meminfo: memFree=112706548/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1571980 CPUtime=111.92 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 53451 0 0 0 11058 134 0 0 20 0 20 0 20669555 19566772224 392995 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 392995 5887 1 0 556766 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=11660 CPUtime=106.42 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 15820 0 0 0 10524 118 0 0 20 0 20 0 20669555 19566772224 392995 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 200 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=11944 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 392995 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=68244 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 392995 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=1563428 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 392995 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 111.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1571980 KiB

[startup+110.801 s]
/proc/loadavg: 4.01 2.28 1.76 6/336 200012
/proc/meminfo: memFree=112706548/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1572228 CPUtime=112.71 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 53663 0 0 0 11137 134 0 0 20 0 20 0 20669555 19566772224 393057 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 393057 5887 1 0 556766 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=18864 CPUtime=106.81 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) R 199901 199904 199498 0 -1 4194368 15826 0 0 0 10563 118 0 0 20 0 20 0 20669555 19566772224 393057 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 200 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=12304 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 393057 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=5432 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 393057 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=15884 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 393057 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 112.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1572228 KiB

[startup+111.001 s]*
/proc/loadavg: 4.25 2.36 1.79 5/336 200012
/proc/meminfo: memFree=112683424/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19108176 memory=1572344 CPUtime=112.84 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 54122 0 0 0 11148 136 0 0 20 0 20 0 20669555 19566772224 393086 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4777044 393086 5887 1 0 556782 0
[pid=199904/tid=199906] ppid=199901 vsize=19108176 memory=-8671225212078695100 CPUtime=106.86 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) S 199901 199904 199498 0 -1 1077936192 16232 0 0 0 10566 120 0 0 20 0 20 0 20669555 19566772224 393086 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 229 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19108176 memory=1535605 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 393086 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19108176 memory=1744423 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 20 0 20669558 19566772224 393086 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199923] ppid=199901 vsize=19108176 memory=198340509722 CPUtime=0 cores=5,7
/proc/199904/task/199923/stat : 199923 (Timer-0) S 199901 199904 199498 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 20669591 19566772224 393086 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 112.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1572344 KiB

[startup+111.106 s]
/proc/loadavg: 4.25 2.36 1.79 5/336 200012
/proc/meminfo: memFree=112683424/131524600 swapFree=131054968/131071996
[pid=199904] ppid=199901 vsize=19241304 memory=1572888 CPUtime=112.96 cores=5,7
/proc/199904/stat : 199904 (java) S 199901 199904 199498 0 -1 1077936128 54926 0 0 0 11160 136 0 0 20 0 15 0 20669555 19703095296 393222 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
/proc/199904/statm: 4810326 393222 5883 1 0 557384 0
[pid=199904/tid=199906] ppid=199901 vsize=19241304 memory=1458508 CPUtime=106.86 cores=5,7
/proc/199904/task/199906/stat : 199906 (java) S 199901 199904 199498 0 -1 1077936192 16505 0 0 0 10566 120 0 0 20 0 15 0 20669555 19703095296 393222 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 229 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199915] ppid=199901 vsize=19241304 memory=32168 CPUtime=0 cores=5,7
/proc/199904/task/199915/stat : 199915 (Finalizer) S 199901 199904 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20669558 19703095296 393222 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
[pid=199904/tid=199922] ppid=199901 vsize=19241304 memory=11944 CPUtime=0 cores=5,7
/proc/199904/task/199922/stat : 199922 (Common-Cleaner) S 199901 199904 199498 0 -1 1077936192 117 0 0 0 0 0 0 0 20 0 15 0 20669558 19703095296 393222 134679101440 94576331280384 94576331284080 140721900084672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576331291896 94576331292688 94576337506304 140721900086187 140721900086369 140721900086369 140721900093384 0
Current children cumulated CPU time: 112.96 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1572888 KiB

Child status: 20

Real time (s): 111.115
CPU time (s): 112.979
CPU user time (s): 111.609
CPU system time (s): 1.37028
CPU usage (%): 101.677
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1572888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.609
system time used= 1.37028
maximum resident set size= 1573900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1226512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6959
involuntary context switches= 1299


# summary of solver processes directly reported to runsolver:
#   pid: 199904
#   total CPU time (s): 112.979
#   total CPU user time (s): 111.609
#   total CPU system time (s): 1.37028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.275116 second user time and 0.575215 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-24 19:17:42
IDJOB=4452772
IDBENCH=165316
IDSOLVER=3079
FILE ID=nodeC028/4452772-1721841462
RUNJOBID= nodeC028-1721841436-199511
SLURM_JOB_ID= 7891563
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.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-4452772-1721841462/watcher-4452772-1721841462 -o /tmp/evaluation-result-4452772-1721841462/solver-4452772-1721841462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721841436-199511 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4452772-1721841462 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452772-1721841462.opb

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

MD5SUM BENCH= a3c218acab88c9e5abe907b008036492
RANDOM SEED=473407574

nodeC028.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		: 3645.774
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.46
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		: 3661.171
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.51
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		: 3599.865
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118046528 kB
MemAvailable:   125765796 kB
Buffers:          265656 kB
Cached:          8239448 kB
SwapCached:          264 kB
Active:          2268716 kB
Inactive:       10504712 kB
Active(anon):       4472 kB
Inactive(anon):  4316016 kB
Active(file):    2264244 kB
Inactive(file):  6188696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054968 kB
Dirty:            416364 kB
Writeback:           268 kB
AnonPages:       4267600 kB
Mapped:           116852 kB
Shmem:             52100 kB
KReclaimable:     212300 kB
Slab:             345736 kB
SReclaimable:     212300 kB
SUnreclaim:       133436 kB
KernelStack:        5056 kB
PageTables:        18300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9152016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3989504 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:      443092 kB
DirectMap2M:    51759104 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC028 at 2024-07-24 19:19:33