Trace number 4446422

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. 834.686 838.45

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-21.opb
MD5SUMabfa2b7f448cb4339f1b1eeb1bae5b59
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 benchmark46.0198
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7351
Total number of constraints155824
Number of constraints which are clauses139567
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints15694
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.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.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4446422-1721820848.opb
0.14/0.12	c reading problem ... 
0.18/1.87	c using VERIPB proof format
0.18/1.87	c  no objective function found
1.98/2.81	c ... done. Wall clock time 2.688s.
1.98/2.81	c declared #vars     7351
1.98/2.81	c #constraints  156112
1.98/2.81	c constraints type 
1.98/2.81	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 31362
1.98/2.81	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 564
1.98/2.81	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15694
1.98/2.81	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 108492
1.98/2.81	c 156112 constraints processed.
4.37/4.09	c cleaning 2502 clauses out of 5004 with flag 33752/5004
5.95/4.88	c cleaning 4240 clauses out of 8498 with flag 83982/11000
7.69/5.82	c cleaning 5629 clauses out of 11259 with flag 161678/18001
8.94/6.82	c cleaning 6800 clauses out of 13629 with flag 242868/26000
10.27/7.82	c cleaning 7879 clauses out of 15829 with flag 415887/35000
11.40/8.67	c cleaning 8949 clauses out of 17948 with flag 512799/45000
12.52/9.64	c cleaning 9947 clauses out of 19994 with flag 620717/56000
13.92/11.06	c cleaning 11019 clauses out of 22049 with flag 781348/68002
15.46/12.50	c cleaning 12005 clauses out of 24029 with flag 963067/81001
17.19/14.21	c cleaning 12953 clauses out of 26023 with flag 1159232/95000
18.84/15.88	c cleaning 13927 clauses out of 28071 with flag 1381288/110001
20.45/17.49	c cleaning 15047 clauses out of 30143 with flag 1610991/126000
22.39/19.32	c cleaning 15932 clauses out of 32096 with flag 1838375/143000
24.34/21.28	c cleaning 17075 clauses out of 34166 with flag 2040467/161002
26.35/23.28	c cleaning 18034 clauses out of 36089 with flag 2291063/180000
28.84/25.73	c cleaning 19015 clauses out of 38056 with flag 2516469/200001
30.63/27.53	c cleaning 19957 clauses out of 40040 with flag 2734623/221000
32.82/29.70	c cleaning 20960 clauses out of 42083 with flag 2956094/243000
35.12/32.05	c cleaning 22044 clauses out of 44123 with flag 3251680/266000
38.14/35.13	c cleaning 22997 clauses out of 46079 with flag 3556989/290000
41.81/38.88	c cleaning 24002 clauses out of 48082 with flag 3876095/315000
45.02/42.06	c cleaning 25034 clauses out of 50080 with flag 4130628/341000
48.21/45.21	c cleaning 25987 clauses out of 52046 with flag 4429787/368000
51.73/48.75	c cleaning 27000 clauses out of 54060 with flag 4759779/396001
55.42/52.40	c cleaning 27994 clauses out of 56059 with flag 5091211/425000
59.02/56.03	c cleaning 29002 clauses out of 58068 with flag 5397503/455003
62.60/59.65	c cleaning 30026 clauses out of 60064 with flag 5716874/486001
66.19/63.20	c cleaning 31018 clauses out of 62037 with flag 6037633/518000
71.31/68.46	c cleaning 31898 clauses out of 64019 with flag 6394371/551000
76.30/73.41	c cleaning 32946 clauses out of 66121 with flag 6835874/585000
80.56/77.70	c cleaning 34067 clauses out of 68176 with flag 7183482/620001
85.86/83.02	c cleaning 35053 clauses out of 70109 with flag 7529692/656001
90.97/88.13	c cleaning 36027 clauses out of 72055 with flag 7918618/693000
95.95/93.13	c cleaning 37002 clauses out of 74028 with flag 8322139/731000
102.77/100.03	c cleaning 38009 clauses out of 76027 with flag 8650231/770001
108.95/106.28	c cleaning 39002 clauses out of 78017 with flag 9008737/810000
115.53/112.85	c cleaning 39945 clauses out of 80015 with flag 9395723/851000
121.51/118.85	c cleaning 41031 clauses out of 82072 with flag 9817088/893002
128.22/125.56	c cleaning 41997 clauses out of 84040 with flag 10262888/936001
135.52/132.90	c cleaning 42956 clauses out of 86042 with flag 10664232/980000
141.51/138.99	c cleaning 44026 clauses out of 88086 with flag 11095141/1025000
148.50/145.95	c cleaning 45009 clauses out of 90060 with flag 11511313/1071000
156.38/153.81	c cleaning 46024 clauses out of 92052 with flag 11939889/1118001
165.25/162.73	c cleaning 46983 clauses out of 94028 with flag 12375866/1166001
172.43/169.98	c cleaning 48010 clauses out of 96044 with flag 12838168/1215000
180.91/178.46	c cleaning 49014 clauses out of 98035 with flag 13357788/1265001
189.79/187.39	c cleaning 50006 clauses out of 100022 with flag 13798631/1316002
198.02/195.64	c cleaning 50976 clauses out of 102013 with flag 14278269/1368000
207.54/205.10	c cleaning 52010 clauses out of 104039 with flag 14795500/1421002
216.61/214.23	c cleaning 53009 clauses out of 106028 with flag 15354669/1475001
227.73/225.43	c cleaning 53992 clauses out of 108018 with flag 15878191/1530000
240.31/238.01	c cleaning 55008 clauses out of 110027 with flag 16363902/1586001
250.52/248.23	c cleaning 56005 clauses out of 112018 with flag 16998010/1643000
260.95/258.73	c cleaning 57001 clauses out of 114013 with flag 17703827/1701000
271.13/268.90	c cleaning 57982 clauses out of 116014 with flag 18263649/1760002
282.52/280.32	c cleaning 58988 clauses out of 118030 with flag 18882293/1820000
295.21/297.36	c cleaning 59993 clauses out of 120043 with flag 19556838/1881001
306.59/308.77	c cleaning 61021 clauses out of 122049 with flag 20227851/1943000
318.71/320.98	c cleaning 62008 clauses out of 124027 with flag 20954639/2006000
332.42/334.69	c cleaning 62962 clauses out of 126019 with flag 21621912/2070000
346.76/349.14	c cleaning 63946 clauses out of 128057 with flag 22280344/2135000
360.92/363.37	c cleaning 65026 clauses out of 130112 with flag 23129285/2201001
374.34/376.72	c cleaning 65910 clauses out of 132086 with flag 23772261/2268001
388.64/391.16	c cleaning 67015 clauses out of 134175 with flag 24476047/2336000
404.30/406.87	c cleaning 68028 clauses out of 136160 with flag 25248119/2405000
424.16/426.79	c cleaning 69064 clauses out of 138134 with flag 25884316/2475002
441.39/444.05	c cleaning 69983 clauses out of 140068 with flag 26594216/2546000
458.25/460.91	c cleaning 71025 clauses out of 142085 with flag 27332843/2618000
475.60/478.35	c cleaning 72015 clauses out of 144061 with flag 28004651/2691001
494.45/497.20	c cleaning 72933 clauses out of 146044 with flag 28772263/2765000
513.18/516.07	c cleaning 74051 clauses out of 148112 with flag 29759465/2840001
533.74/536.68	c cleaning 75029 clauses out of 150060 with flag 30614591/2916000
556.49/559.45	c cleaning 75956 clauses out of 152031 with flag 31571452/2993000
578.11/581.19	c cleaning 76991 clauses out of 154075 with flag 32455378/3071000
600.96/604.03	c cleaning 78006 clauses out of 156084 with flag 33423234/3150000
621.36/624.57	c cleaning 79035 clauses out of 158078 with flag 34319151/3230000
646.20/649.45	c cleaning 79944 clauses out of 160043 with flag 35330512/3311000
671.70/675.08	c cleaning 80991 clauses out of 162099 with flag 36340129/3393000
695.98/699.45	c cleaning 82036 clauses out of 164108 with flag 37274963/3476000
726.72/730.25	c cleaning 82978 clauses out of 166068 with flag 38754798/3560000
753.73/757.35	c cleaning 83966 clauses out of 168087 with flag 40078843/3645000
785.99/789.60	c cleaning 85020 clauses out of 170120 with flag 41686124/3731000
817.18/820.97	c cleaning 86014 clauses out of 172096 with flag 43292196/3818000
834.54/838.36	c starts		: 15812
834.54/838.36	c conflicts		: 3869906
834.54/838.36	c decisions		: 16907236
834.54/838.36	c propagations		: 1048344730
834.54/838.36	c inspects		: 12057524076
834.54/838.36	c shortcuts		: 0
834.54/838.36	c learnt literals	: 30
834.54/838.36	c learnt binary clauses	: 688
834.54/838.36	c learnt ternary clauses	: 3368
834.54/838.36	c learnt constraints	: 3869875
834.54/838.36	c ignored constraints	: 0
834.54/838.36	c root simplifications	: 0
834.54/838.36	c removed literals (reason simplification)	: 84987354
834.54/838.36	c reason swapping (by a shorter reason)	: 0
834.54/838.36	c Calls to reduceDB	: 83
834.54/838.36	c Number of update (reduction) of LBD	: 2682607
834.54/838.36	c Imported unit clauses	: 0
834.54/838.36	c No decision after first conflict	: false
834.54/838.36	c number of reductions to clauses (during analyze)	: 0
834.54/838.36	c number of learned constraints concerned by reduction	: 0
834.54/838.36	c number of learning phase by resolution	: 0
834.54/838.36	c number of learning phase by cutting planes	: 0
834.54/838.36	c number of rounding to 1 operations	: 0
834.54/838.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
834.54/838.36	c number of reductions of the coefficients by power 2 	: 0
834.54/838.36	c number of right shift for reduction by power 2 	: 0
834.54/838.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
834.54/838.38	c number of ending skipping 	: 0
834.54/838.38	c number of internal skipping 	: 0
834.54/838.38	c number of derivation steps 	: 0
834.54/838.38	c number of skipped derivation steps 	: 0
834.54/838.38	c number of remaining unassigned 	: 0
834.54/838.38	c number of remaining assigned 	: 0
834.54/838.38	c number of falsified literals weakened from reason	: 0
834.54/838.38	c number of falsified literals weakened from conflict	: 0
834.54/838.38	c time for arithmetic operations	: 0
834.54/838.38	c minimum degree of deleted constraints	: null
834.54/838.38	c maximum degree of deleted constraints	: null
834.54/838.38	c number of deleted constraints	: 0
834.54/838.38	c speed (assignments/second)	: 1254661.2212169084
834.54/838.38	c non guided choices	: 311148
834.61/838.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 137291
834.61/838.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 688
834.61/838.43	s UNSATISFIABLE
834.61/838.43	c Total wall clock time (in seconds): 838.312

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446422-1721820848/watcher-4446422-1721820848 -o /tmp/evaluation-result-4446422-1721820848/solver-4446422-1721820848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721817188-181611 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4446422-1721820848 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446422-1721820848.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
solver pid=184755, runsolver pid=184752
Current StackSize limit: 8192 KiB


[startup+0.101058 s]*
/proc/loadavg: 4.32 4.31 4.18 4/331 184773
/proc/meminfo: memFree=119804372/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=18975048 memory=65308 CPUtime=0.14 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 7253 0 0 0 12 2 0 0 20 0 18 0 18614555 19430449152 16327 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4743762 16327 5677 1 0 549377 0
[pid=184755/tid=184757] ppid=184752 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 5779 0 0 0 8 1 0 0 20 0 18 0 18614555 19430449152 16327 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18614558 19430449152 16327 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=18975048 memory=14131147602140469 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18614559 19430449152 16327 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65308 KiB

[startup+0.20589 s]*
/proc/loadavg: 4.32 4.31 4.18 4/331 184773
/proc/meminfo: memFree=119803224/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=18975048 memory=66304 CPUtime=0.18 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 7414 0 0 0 16 2 0 0 20 0 18 0 18614555 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4743762 16576 5776 1 0 549478 0
[pid=184755/tid=184757] ppid=184752 vsize=18975048 memory=4782652875487838339 CPUtime=0.1 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) D 184752 184755 181598 0 -1 4194368 5877 0 0 0 9 1 0 0 20 0 18 0 18614555 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=18975048 memory=1318409 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18614558 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18614559 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66304 KiB

[startup+0.305535 s]*
/proc/loadavg: 4.32 4.31 4.18 3/331 184773
/proc/meminfo: memFree=119803140/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=18975048 memory=66304 CPUtime=0.18 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 7414 0 0 0 16 2 0 0 20 0 18 0 18614555 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4743762 16576 5776 1 0 549478 0
[pid=184755/tid=184757] ppid=184752 vsize=18975048 memory=-9032078352736625340 CPUtime=0.1 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) D 184752 184755 181598 0 -1 4194368 5877 0 0 0 9 1 0 0 20 0 18 0 18614555 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18614558 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18614559 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66304 KiB

[startup+0.700178 s]
/proc/loadavg: 4.32 4.31 4.18 3/331 184773
/proc/meminfo: memFree=119802664/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=18975048 memory=66304 CPUtime=0.18 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 7414 0 0 0 16 2 0 0 20 0 18 0 18614555 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4743762 16576 5776 1 0 549478 0
[pid=184755/tid=184757] ppid=184752 vsize=18975048 memory=5476 CPUtime=0.1 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) D 184752 184755 181598 0 -1 4194368 5877 0 0 0 9 1 0 0 20 0 18 0 18614555 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=18975048 memory=12928 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18614558 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18614559 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66304 KiB

[startup+1.5002 s]
/proc/loadavg: 4.32 4.31 4.18 3/331 184773
/proc/meminfo: memFree=119801628/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=18975048 memory=66304 CPUtime=0.18 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 7416 0 0 0 16 2 0 0 20 0 18 0 18614555 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4743762 16576 5776 1 0 549478 0
[pid=184755/tid=184757] ppid=184752 vsize=18975048 memory=12928 CPUtime=0.1 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) D 184752 184755 181598 0 -1 1077936192 5879 0 0 0 9 1 0 0 20 0 18 0 18614555 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18614558 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18614559 19430449152 16576 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66304 KiB

[startup+3.10677 s]
/proc/loadavg: 4.37 4.32 4.19 6/334 184776
/proc/meminfo: memFree=119006880/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=211016 CPUtime=2.59 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 19273 0 0 0 252 7 0 0 20 0 20 0 18614555 19566772224 52754 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 52754 5893 1 0 557027 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=0 CPUtime=1.2 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 6077 0 0 0 118 2 0 0 20 0 20 0 18614555 19566772224 52754 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 52754 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=66304 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 52754 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=33 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 52754 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211016 KiB

[startup+6.30025 s]
/proc/loadavg: 4.37 4.32 4.19 8/335 184777
/proc/meminfo: memFree=118378584/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=370428 CPUtime=8.43 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 29928 0 0 0 831 12 0 0 20 0 20 0 18614555 19566772224 92607 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 92607 5909 1 0 1083462 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=0 CPUtime=4.36 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 7527 0 0 0 429 7 0 0 20 0 20 0 18614555 19566772224 92607 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 92607 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=244624 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 92607 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=11584 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 92607 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 8.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 370428 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.31 4.18 5/310 184809
/proc/meminfo: memFree=121123416/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=616468 CPUtime=15.66 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 34693 0 0 0 1547 19 0 0 20 0 20 0 18614555 19566772224 154117 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 154117 5940 1 0 1083839 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=-9032078352736625340 CPUtime=10.71 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 8330 0 0 0 1059 12 0 0 20 0 20 0 18614555 19566772224 154117 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=616028 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 154117 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 154117 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=12928 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 154117 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 15.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 616468 KiB

[startup+25.5003 s]
/proc/loadavg: 4.35 4.32 4.19 5/335 184850
/proc/meminfo: memFree=121529332/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=995532 CPUtime=28.63 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 39126 0 0 0 2833 30 0 0 20 0 20 0 18614555 19566772224 248883 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 248883 5940 1 0 1083839 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=198340509722 CPUtime=23.43 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 9714 0 0 0 2321 22 0 0 20 0 20 0 18614555 19566772224 248883 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=11584 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 248883 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=-9032078352736625340 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 248883 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=909516 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 248883 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 28.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 995532 KiB

[startup+51.1057 s]
/proc/loadavg: 4.23 4.29 4.18 5/335 184854
/proc/meminfo: memFree=118139636/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=2627848 CPUtime=54.12 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 43881 0 0 0 5344 68 0 0 20 0 20 0 18614555 19566772224 656962 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 656962 5940 1 0 1083850 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=2418896 CPUtime=48.85 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 12704 0 0 0 4826 59 0 0 20 0 20 0 18614555 19566772224 656962 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=2627848 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 656962 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=11584 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 656962 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=-9032078352736625340 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 656962 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0

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

/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 803 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 669819 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=2679276 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 669819 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 698.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2679276 KiB

[startup+762.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/333 184985
/proc/meminfo: memFree=107302512/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=2689528 CPUtime=758.72 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 87113 0 0 0 75670 202 0 0 20 0 20 0 18614555 19566772224 672382 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 672382 5956 1 0 1083850 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=2689528 CPUtime=751.96 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 38691 0 0 0 75021 175 0 0 20 0 20 0 18614555 19566772224 672382 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 560 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=2689528 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 672382 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=2689528 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 855 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 672382 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=2689528 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 672382 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 758.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2689528 KiB

[startup+822.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/333 184996
/proc/meminfo: memFree=105620324/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=2701832 CPUtime=818.58 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 90475 0 0 0 81647 211 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 675458 5956 1 0 1083850 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=12928 CPUtime=811.68 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 40483 0 0 0 80986 182 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 565 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=2701832 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=2701832 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 907 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=2701832 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 818.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701832 KiB

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

# cumulated CPU time of all completed processes:  user=832.516 s, system=2.16975 s

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

[startup+832 s]*
/proc/loadavg: 4.15 4.15 4.16 5/333 184997
/proc/meminfo: memFree=105540288/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=2701832 CPUtime=828.26 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 91122 0 0 0 82613 213 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 675458 5956 1 0 1083850 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=7140 CPUtime=821.36 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 40939 0 0 0 81952 184 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 565 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=-9126187756261130648 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=13908 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 907 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=11704 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 828.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701832 KiB

[startup+835.2 s]
/proc/loadavg: 4.15 4.15 4.16 5/333 184997
/proc/meminfo: memFree=105514424/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=2701832 CPUtime=831.45 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 91213 0 0 0 82931 214 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 675458 5956 1 0 1083850 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=2701832 CPUtime=824.55 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 41024 0 0 0 82271 184 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 565 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=32692 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=108 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 907 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 831.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701832 KiB

[startup+836.8 s]
/proc/loadavg: 4.15 4.15 4.16 5/333 184997
/proc/meminfo: memFree=105507016/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=2701832 CPUtime=833.04 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 91484 0 0 0 83090 214 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 675458 5956 1 0 1083850 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=12928 CPUtime=826.14 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 41254 0 0 0 82430 184 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 565 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=2701832 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=2701832 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 907 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=2701832 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 833.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701832 KiB

[startup+837.6 s]
/proc/loadavg: 4.22 4.16 4.17 5/333 184997
/proc/meminfo: memFree=105494768/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=2701832 CPUtime=833.84 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 91566 0 0 0 83170 214 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 675458 5956 1 0 1083850 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=16024 CPUtime=826.93 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 41336 0 0 0 82509 184 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 565 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=-9032078352736625340 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 907 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=67276 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 833.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701832 KiB

[startup+838 s]*
/proc/loadavg: 4.22 4.16 4.17 5/333 184997
/proc/meminfo: memFree=105487556/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19108176 memory=2701832 CPUtime=834.24 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 91574 0 0 0 83210 214 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4777044 675458 5956 1 0 1083850 0
[pid=184755/tid=184757] ppid=184752 vsize=19108176 memory=-8816748896041345724 CPUtime=827.34 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) R 184752 184755 181598 0 -1 4194368 41344 0 0 0 82550 184 0 0 20 0 20 0 18614555 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 565 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19108176 memory=-9126187756261130648 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19108176 memory=4776 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 907 0 0 0 0 0 0 0 20 0 20 0 18614559 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184776] ppid=184752 vsize=19108176 memory=5883892 CPUtime=0 cores=5,7
/proc/184755/task/184776/stat : 184776 (Timer-0) S 184752 184755 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18614837 19566772224 675458 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 834.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2701832 KiB

[startup+838.4 s]
/proc/loadavg: 4.22 4.16 4.17 5/333 184997
/proc/meminfo: memFree=105487556/131524600 swapFree=131064476/131071996
[pid=184755] ppid=184752 vsize=19241304 memory=2702292 CPUtime=834.61 cores=5,7
/proc/184755/stat : 184755 (java) S 184752 184755 181598 0 -1 1077936128 94728 0 0 0 83246 215 0 0 20 0 20 0 18614555 19703095296 675573 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
/proc/184755/statm: 4810326 675573 5955 1 0 1084483 0
[pid=184755/tid=184757] ppid=184752 vsize=19241304 memory=2220 CPUtime=827.66 cores=5,7
/proc/184755/task/184757/stat : 184757 (java) S 184752 184755 181598 0 -1 1077936192 43316 0 0 0 82581 185 0 0 20 0 20 0 18614555 19703095296 675573 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 571 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184766] ppid=184752 vsize=19241304 memory=2701832 CPUtime=0 cores=5,7
/proc/184755/task/184766/stat : 184766 (Finalizer) S 184752 184755 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18614558 19703095296 675573 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
[pid=184755/tid=184773] ppid=184752 vsize=19241304 memory=2701832 CPUtime=0 cores=5,7
/proc/184755/task/184773/stat : 184773 (Common-Cleaner) S 184752 184755 181598 0 -1 1077936192 907 0 0 0 0 0 0 0 20 0 20 0 18614559 19703095296 675573 134679101440 94034761576448 94034761580144 140723328367888 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94034761587960 94034761588752 94034785558528 140723328373675 140723328373857 140723328373857 140723328380872 0
Current children cumulated CPU time: 834.61 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2702292 KiB

Child status: 20

Real time (s): 838.45
CPU time (s): 834.686
CPU user time (s): 832.516
CPU system time (s): 2.16975
CPU usage (%): 99.5511
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2702292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 832.516
system time used= 2.16975
maximum resident set size= 2703176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27214
involuntary context switches= 1606


# summary of solver processes directly reported to runsolver:
#   pid: 184755
#   total CPU time (s): 834.686
#   total CPU user time (s): 832.516
#   total CPU system time (s): 2.16975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50521 second user time and 4.4134 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-24 13:34:09
IDJOB=4446422
IDBENCH=155589
IDSOLVER=3079
FILE ID=nodeC033/4446422-1721820848
RUNJOBID= nodeC033-1721817188-181611
SLURM_JOB_ID= 7816898
Free space on /tmp= 890024 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-21.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-4446422-1721820848/watcher-4446422-1721820848 -o /tmp/evaluation-result-4446422-1721820848/solver-4446422-1721820848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721817188-181611 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446422-1721820848 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446422-1721820848.opb

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

MD5SUM BENCH= abfa2b7f448cb4339f1b1eeb1bae5b59
RANDOM SEED=748071501

nodeC033.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		: 3643.642
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.99
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		: 3666.691
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.76
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		: 3654.895
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.99
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		: 3601.338
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.76
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		: 3639.735
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.99
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		: 3634.068
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.76
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		: 3685.841
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.99
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		: 3669.869
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119857352 kB
MemAvailable:   127089192 kB
Buffers:          240924 kB
Cached:          7777920 kB
SwapCached:         5076 kB
Active:          2431312 kB
Inactive:        8543536 kB
Active(anon):       1808 kB
Inactive(anon):  3007252 kB
Active(file):    2429504 kB
Inactive(file):  5536284 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064476 kB
Dirty:             64240 kB
Writeback:             0 kB
AnonPages:       2948388 kB
Mapped:           132504 kB
Shmem:             53324 kB
KReclaimable:     211748 kB
Slab:             328980 kB
SReclaimable:     211748 kB
SUnreclaim:       117232 kB
KernelStack:        5024 kB
PageTables:        15856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9251340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20800 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2682880 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:      389844 kB
DirectMap2M:    39229440 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC033 at 2024-07-24 13:48:07