Trace number 4510553

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 VeriPB 2025-06-06UNSAT cert. 306.357 304.458

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
MD5SUMbecd4f2905a31b4ccafbaa36ee1998fb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.75057
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables501
Total number of constraints698
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)696
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4510553-1751198823.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  no objective function found
0.12/0.19	c ... done. Wall clock time 0.051s.
0.12/0.19	c declared #vars     501
0.12/0.19	c #constraints  698
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 696
0.12/0.19	c 698 constraints processed.
0.88/0.58	c cleaning 2497 clauses out of 5001 with flag 24006/5001
1.66/0.92	c cleaning 4244 clauses out of 8504 with flag 53205/11001
2.24/1.27	c cleaning 5612 clauses out of 11260 with flag 88133/18001
2.85/1.54	c cleaning 6807 clauses out of 13647 with flag 129123/26000
3.24/1.77	c cleaning 7914 clauses out of 15842 with flag 175646/35002
3.64/1.98	c cleaning 8939 clauses out of 17926 with flag 230672/45000
4.18/2.20	c cleaning 9964 clauses out of 19987 with flag 293567/56000
4.38/2.46	c cleaning 10996 clauses out of 22026 with flag 363872/68003
4.68/2.75	c cleaning 11988 clauses out of 24027 with flag 439538/81000
4.99/3.07	c cleaning 12988 clauses out of 26039 with flag 525860/95000
5.39/3.43	c cleaning 13992 clauses out of 28051 with flag 612536/110000
5.80/3.81	c cleaning 15013 clauses out of 30059 with flag 708073/126000
6.22/4.25	c cleaning 16004 clauses out of 32047 with flag 806102/143001
6.74/4.71	c cleaning 16990 clauses out of 34042 with flag 913824/161000
7.24/5.23	c cleaning 18000 clauses out of 36054 with flag 1022929/180002
7.84/5.80	c cleaning 19012 clauses out of 38054 with flag 1135868/200002
8.45/6.44	c cleaning 19995 clauses out of 40040 with flag 1253645/221000
9.05/7.06	c cleaning 20993 clauses out of 42046 with flag 1375518/243001
9.74/7.75	c cleaning 22004 clauses out of 44052 with flag 1501063/266000
10.54/8.51	c cleaning 23008 clauses out of 46050 with flag 1635626/290002
11.34/9.33	c cleaning 23995 clauses out of 48040 with flag 1773716/315000
12.14/10.18	c cleaning 25000 clauses out of 50045 with flag 1914443/341000
13.04/11.09	c cleaning 25992 clauses out of 52049 with flag 2062683/368004
14.05/12.06	c cleaning 27013 clauses out of 54054 with flag 2209170/396001
15.14/13.14	c cleaning 28006 clauses out of 56041 with flag 2370676/425001
16.25/14.27	c cleaning 28997 clauses out of 58034 with flag 2528683/455000
17.34/15.37	c cleaning 29992 clauses out of 60037 with flag 2693216/486000
18.64/16.63	c cleaning 31008 clauses out of 62046 with flag 2858850/518001
19.94/17.90	c cleaning 31997 clauses out of 64037 with flag 3027899/551000
21.24/19.25	c cleaning 33006 clauses out of 66040 with flag 3202414/585000
22.64/20.64	c cleaning 33999 clauses out of 68035 with flag 3380271/620001
24.04/22.09	c cleaning 34995 clauses out of 70035 with flag 3568731/656000
25.63/23.62	c cleaning 35997 clauses out of 72041 with flag 3762049/693001
27.23/25.23	c cleaning 37004 clauses out of 74043 with flag 3951640/731000
28.82/26.86	c cleaning 38005 clauses out of 76039 with flag 4145343/770000
30.62/28.63	c cleaning 38992 clauses out of 78034 with flag 4354405/810000
32.42/30.42	c cleaning 39994 clauses out of 80043 with flag 4555319/851001
34.42/32.42	c cleaning 41012 clauses out of 82048 with flag 4767798/893000
36.42/34.56	c cleaning 41996 clauses out of 84037 with flag 4982885/936001
38.62/36.77	c cleaning 43004 clauses out of 86042 with flag 5202169/980002
40.92/39.01	c cleaning 44001 clauses out of 88037 with flag 5427296/1025001
43.12/41.21	c cleaning 45000 clauses out of 90036 with flag 5661669/1071001
45.51/43.63	c cleaning 46001 clauses out of 92035 with flag 5895508/1118000
48.01/46.15	c cleaning 47000 clauses out of 94035 with flag 6137280/1166001
50.60/48.79	c cleaning 47996 clauses out of 96034 with flag 6375674/1215000
53.19/51.37	c cleaning 49001 clauses out of 98039 with flag 6610990/1265001
56.01/54.10	c cleaning 50010 clauses out of 100038 with flag 6854099/1316001
58.69/56.82	c cleaning 50996 clauses out of 102028 with flag 7093202/1368001
61.30/59.49	c cleaning 52005 clauses out of 104031 with flag 7336117/1421000
64.28/62.49	c cleaning 52998 clauses out of 106027 with flag 7585159/1475001
67.18/65.41	c cleaning 53997 clauses out of 108028 with flag 7833116/1530000
70.27/68.53	c cleaning 54999 clauses out of 110031 with flag 8085837/1586000
73.46/71.73	c cleaning 55998 clauses out of 112033 with flag 8363188/1643001
76.65/74.90	c cleaning 57010 clauses out of 114035 with flag 8623421/1701001
79.85/78.12	c cleaning 57996 clauses out of 116024 with flag 8897394/1760000
82.94/81.27	c cleaning 59000 clauses out of 118028 with flag 9170451/1820000
86.22/84.54	c cleaning 60003 clauses out of 120030 with flag 9438713/1881002
89.52/87.83	c cleaning 61003 clauses out of 122027 with flag 9710064/1943002
92.72/91.10	c cleaning 61994 clauses out of 124022 with flag 9984573/2006000
96.40/94.88	c cleaning 63006 clauses out of 126029 with flag 10276008/2070001
100.32/98.74	c cleaning 63993 clauses out of 128022 with flag 10574368/2135000
104.00/102.45	c cleaning 65004 clauses out of 130029 with flag 10870784/2201000
107.70/106.18	c cleaning 66004 clauses out of 132025 with flag 11163403/2268000
111.18/109.63	c cleaning 66998 clauses out of 134021 with flag 11447350/2336000
114.99/113.46	c cleaning 68006 clauses out of 136023 with flag 11742107/2405000
118.99/117.48	c cleaning 69002 clauses out of 138019 with flag 12046917/2475002
123.07/121.53	c cleaning 70001 clauses out of 140015 with flag 12359555/2546000
127.27/125.84	c cleaning 71003 clauses out of 142016 with flag 12658472/2618002
131.18/129.73	c cleaning 71998 clauses out of 144011 with flag 12958923/2691000
135.47/134.09	c cleaning 72996 clauses out of 146014 with flag 13268276/2765001
139.46/138.04	c cleaning 74003 clauses out of 148017 with flag 13572760/2840000
143.45/142.07	c cleaning 74997 clauses out of 150014 with flag 13880944/2916000
148.26/146.82	c cleaning 76002 clauses out of 152018 with flag 14196223/2993001
152.84/151.42	c cleaning 76999 clauses out of 154015 with flag 14519255/3071000
157.44/156.09	c cleaning 78000 clauses out of 156017 with flag 14837573/3150001
162.34/161.02	c cleaning 78996 clauses out of 158017 with flag 15159712/3230001
166.83/165.50	c cleaning 80004 clauses out of 160020 with flag 15481063/3311000
171.52/170.21	c cleaning 81004 clauses out of 162017 with flag 15806520/3393001
176.53/175.21	c cleaning 82001 clauses out of 164014 with flag 16137951/3476002
181.82/180.50	c cleaning 82997 clauses out of 166011 with flag 16472477/3560000
187.32/186.09	c cleaning 83998 clauses out of 168015 with flag 16822617/3645001
192.93/191.78	c cleaning 84997 clauses out of 170017 with flag 17176923/3731001
198.72/197.54	c cleaning 86000 clauses out of 172020 with flag 17545116/3818001
204.50/203.39	c cleaning 87002 clauses out of 174019 with flag 17909048/3906000
210.33/209.16	c cleaning 87997 clauses out of 176018 with flag 18281869/3995001
216.51/215.38	c cleaning 89004 clauses out of 178021 with flag 18656090/4085001
223.18/222.17	c cleaning 90000 clauses out of 180017 with flag 19054760/4176001
229.68/228.60	c cleaning 90997 clauses out of 182016 with flag 19458587/4268000
236.27/235.27	c cleaning 91996 clauses out of 184019 with flag 19869903/4361000
243.35/242.34	c cleaning 93004 clauses out of 186024 with flag 20285188/4455001
250.05/249.19	c cleaning 94002 clauses out of 188019 with flag 20687009/4550000
256.74/255.80	c cleaning 95001 clauses out of 190017 with flag 21089253/4646000
263.72/262.89	c cleaning 96001 clauses out of 192017 with flag 21508445/4743001
271.42/270.52	c cleaning 97004 clauses out of 194015 with flag 21936165/4841000
279.30/278.41	c cleaning 98000 clauses out of 196011 with flag 22372010/4940000
287.39/286.68	c cleaning 99000 clauses out of 198011 with flag 22828553/5040000
297.59/296.86	c cleaning 100002 clauses out of 200011 with flag 23295400/5141000
306.20/304.35	c starts		: 6656
306.20/304.35	c conflicts		: 5231071
306.20/304.35	c decisions		: 6993886
306.20/304.35	c propagations		: 46876367
306.20/304.35	c inspects		: 5583742224
306.20/304.35	c shortcuts		: 0
306.20/304.35	c learnt literals	: 13
306.20/304.35	c learnt binary clauses	: 73
306.20/304.35	c learnt ternary clauses	: 270
306.20/304.35	c learnt constraints	: 5231057
306.20/304.35	c ignored constraints	: 0
306.20/304.35	c root simplifications	: 0
306.20/304.35	c removed literals (reason simplification)	: 4843791
306.20/304.35	c reason swapping (by a shorter reason)	: 0
306.20/304.35	c Calls to reduceDB	: 97
306.20/304.35	c Number of update (reduction) of LBD	: 1149032
306.20/304.35	c Imported unit clauses	: 0
306.20/304.35	c No decision after first conflict	: false
306.20/304.35	c number of reductions to clauses (during analyze)	: 0
306.20/304.35	c number of learned constraints concerned by reduction	: 0
306.20/304.36	c number of learning phase by resolution	: 0
306.20/304.36	c number of learning phase by cutting planes	: 0
306.20/304.36	c number of rounding to 1 operations	: 0
306.20/304.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
306.20/304.36	c number of reductions of the coefficients by power 2 	: 0
306.20/304.36	c number of right shift for reduction by power 2 	: 0
306.20/304.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
306.20/304.36	c number of ending skipping 	: 0
306.20/304.36	c number of internal skipping 	: 0
306.20/304.36	c number of derivation steps 	: 0
306.20/304.36	c number of skipped derivation steps 	: 0
306.20/304.36	c number of remaining unassigned 	: 0
306.20/304.36	c number of remaining assigned 	: 0
306.20/304.36	c number of falsified literals weakened from reason	: 0
306.20/304.36	c number of falsified literals weakened from conflict	: 0
306.20/304.36	c time for arithmetic operations	: 0
306.20/304.36	c minimum degree of deleted constraints	: null
306.20/304.36	c maximum degree of deleted constraints	: null
306.20/304.36	c number of deleted constraints	: 0
306.20/304.36	c speed (assignments/second)	: 154115.4344366855
306.20/304.36	c non guided choices	: 107150
306.29/304.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 189993
306.29/304.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 73
306.29/304.43	s UNSATISFIABLE
306.29/304.43	c Total wall clock time (in seconds): 304.294

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 09:21:30 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
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: 63665 MiB (57597 MiB free)
  memory of node 1: 64507 MiB (56750 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510553-1751198823/watcher-4510553-1751198823 -o /tmp/evaluation-result-4510553-1751198823/solver-4510553-1751198823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24982 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510553-1751198823 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510553-1751198823.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26746, runsolver pid=26743

[startup+0.10006 s]*
/proc/loadavg: 4.27 4.20 4.12 6/342 26764
/proc/meminfo: memFree=117064588/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=18930384 memory=57680 CPUtime=0.12 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 6568 0 0 0 9 3 0 0 20 0 18 0 35560099 19384713216 14420 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4732596 14420 5328 1 0 547604 0
[pid=26746/tid=26748] ppid=26743 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 5068 0 0 0 6 1 0 0 20 0 18 0 35560100 19384713216 14420 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=18930384 memory=224227754321 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35560103 19384713216 14420 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=18930384 memory=59585004335488 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35560103 19384713216 14420 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57680 KiB

[startup+0.205843 s]*
/proc/loadavg: 4.48 4.25 4.14 7/343 26765
/proc/meminfo: memFree=117050600/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=18996948 memory=66272 CPUtime=0.3 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 7108 0 0 0 27 3 0 0 20 0 19 0 35560099 19452874752 16568 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4749237 16568 5424 1 0 548262 0
[pid=26746/tid=26748] ppid=26743 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 5343 0 0 0 15 2 0 0 20 0 19 0 35560100 19452874752 16568 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=18996948 memory=16195 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35560103 19452874752 16568 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=18996948 memory=58485492679654 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35560103 19452874752 16568 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35560119 19452874752 16568 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66272 KiB

[startup+0.306012 s]*
/proc/loadavg: 4.48 4.25 4.14 8/343 26765
/proc/meminfo: memFree=117048584/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=18996948 memory=75800 CPUtime=0.5 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 8591 0 0 0 46 4 0 0 20 0 19 0 35560099 19452874752 18950 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4749237 18950 5424 1 0 548960 0
[pid=26746/tid=26748] ppid=26743 vsize=18996948 memory=-6000919494197995117 CPUtime=0.26 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 5378 0 0 0 24 2 0 0 20 0 19 0 35560100 19452874752 18950 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35560103 19452874752 18950 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35560103 19452874752 18950 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35560119 19452874752 18950 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75800 KiB

[startup+0.700241 s]
/proc/loadavg: 4.48 4.25 4.14 7/343 26765
/proc/meminfo: memFree=117015064/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=18996948 memory=135084 CPUtime=1.26 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 15450 0 0 0 120 6 0 0 20 0 19 0 35560099 19452874752 33771 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4749237 33771 5424 1 0 553434 0
[pid=26746/tid=26748] ppid=26743 vsize=18996948 memory=17280 CPUtime=0.6 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 5462 0 0 0 57 3 0 0 20 0 19 0 35560100 19452874752 33771 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35560103 19452874752 33771 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35560103 19452874752 33771 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35560119 19452874752 33771 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 135084 KiB

[startup+1.50022 s]
/proc/loadavg: 4.48 4.25 4.14 6/343 26765
/proc/meminfo: memFree=116947532/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=176184 CPUtime=2.85 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 22004 0 0 0 276 9 0 0 20 0 20 0 35560099 19521036288 44046 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 44046 5456 1 0 554029 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=0 CPUtime=1.39 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 5919 0 0 0 134 5 0 0 20 0 20 0 35560100 19521036288 44046 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 44046 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 44046 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 44046 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176184 KiB

[startup+3.10558 s]
/proc/loadavg: 4.48 4.25 4.14 5/320 26795
/proc/meminfo: memFree=119531524/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=219844 CPUtime=5.09 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 24007 0 0 0 498 11 0 0 20 0 20 0 35560099 19521036288 54961 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 54961 5456 1 0 554033 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=10752 CPUtime=2.98 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 6332 0 0 0 291 7 0 0 20 0 20 0 35560100 19521036288 54961 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=-6000919494197995117 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 54961 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 54961 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 54961 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 219844 KiB

[startup+6.30018 s]
/proc/loadavg: 4.45 4.24 4.14 5/320 26795
/proc/meminfo: memFree=119063972/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=510008 CPUtime=8.34 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 24627 0 0 0 814 20 0 0 20 0 20 0 35560099 19521036288 127502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 127502 5456 1 0 554033 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=0 CPUtime=6.16 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 6799 0 0 0 600 16 0 0 20 0 20 0 35560100 19521036288 127502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 127502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 127502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=176440 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 127502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 510008 KiB

[startup+12.7002 s]
/proc/loadavg: 4.41 4.24 4.14 5/320 26795
/proc/meminfo: memFree=118393432/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=858300 CPUtime=14.74 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 27303 0 0 0 1442 32 0 0 20 0 20 0 35560099 19521036288 214575 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 214575 5488 1 0 554033 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=176440 CPUtime=12.53 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 8487 0 0 0 1226 27 0 0 20 0 20 0 35560100 19521036288 214575 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 214575 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=280203512950373 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 214575 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=-1891255765032775953 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 214575 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 14.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 858300 KiB

[startup+25.5002 s]
/proc/loadavg: 4.35 4.23 4.13 4/321 26797
/proc/meminfo: memFree=116992900/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1310956 CPUtime=27.53 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 31534 0 0 0 2703 50 0 0 20 0 20 0 35560099 19521036288 327739 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 327739 5488 1 0 554033 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=0 CPUtime=25.26 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 9641 0 0 0 2482 44 0 0 20 0 20 0 35560100 19521036288 327739 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=964820 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 327739 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=964820 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 327739 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 327739 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 27.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310956 KiB

[startup+51.106 s]
/proc/loadavg: 4.27 4.22 4.13 5/344 26835
/proc/meminfo: memFree=116763420/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1315052 CPUtime=53 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 33878 0 0 0 5232 68 0 0 20 0 20 0 35560099 19521036288 328763 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 328763 5488 1 0 554033 0

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

/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 333892 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=1333516 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 333892 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 163.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1335568 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/344 26908
/proc/meminfo: memFree=115338708/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1343808 CPUtime=223.37 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 41946 0 0 0 22180 157 0 0 20 0 20 0 35560099 19521036288 335952 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 335952 5488 1 0 554049 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=14824 CPUtime=220.49 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 13714 0 0 0 21902 147 0 0 20 0 20 0 35560100 19521036288 335952 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=1335568 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 335952 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=1343808 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 130 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 335952 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=1343808 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 335952 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 223.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1343808 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/345 26913
/proc/meminfo: memFree=114806928/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1347952 CPUtime=283.1 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 44286 0 0 0 28126 184 0 0 20 0 20 0 35560099 19521036288 336988 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 336988 5488 1 0 554049 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=14824 CPUtime=280.05 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 14829 0 0 0 27833 172 0 0 20 0 20 0 35560100 19521036288 336988 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 336988 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=1345884 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 176 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 336988 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 336988 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 283.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1347952 KiB

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

# cumulated CPU time of all completed processes:  user=304.415 s, system=1.94173 s

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

[startup+294.4 s]
/proc/loadavg: 4.07 4.14 4.11 5/345 26913
/proc/meminfo: memFree=114671832/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1350008 CPUtime=295.19 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 45040 0 0 0 29332 187 0 0 20 0 20 0 35560099 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 337502 5488 1 0 554049 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=12288 CPUtime=292.1 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 14917 0 0 0 29035 175 0 0 20 0 20 0 35560100 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=1347952 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 176 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=1350008 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 295.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1350008 KiB

[startup+300.8 s]
/proc/loadavg: 4.15 4.15 4.12 5/345 26913
/proc/meminfo: memFree=114636504/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1350008 CPUtime=301.59 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 45134 0 0 0 29969 190 0 0 20 0 20 0 35560099 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 337502 5488 1 0 554049 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=14824 CPUtime=298.49 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 14922 0 0 0 29671 178 0 0 20 0 20 0 35560100 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 176 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 337502 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 301.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1350008 KiB

[startup+302.4 s]
/proc/loadavg: 4.13 4.15 4.11 5/345 26913
/proc/meminfo: memFree=114614932/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1356152 CPUtime=303.48 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 50308 0 0 0 30157 191 0 0 20 0 20 0 35560099 19521036288 339038 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 339038 5488 1 0 554049 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=3328 CPUtime=300.09 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 15831 0 0 0 29830 179 0 0 20 0 20 0 35560100 19521036288 339038 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=1356152 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 339038 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=21996 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 228 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 339038 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=4480 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 339038 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 303.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1356152 KiB

[startup+303.2 s]
/proc/loadavg: 4.13 4.15 4.11 6/345 26913
/proc/meminfo: memFree=114610660/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1358840 CPUtime=304.53 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 51160 0 0 0 30261 192 0 0 20 0 20 0 35560099 19521036288 339710 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 339710 5488 1 0 554478 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=14824 CPUtime=300.88 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 15873 0 0 0 29909 179 0 0 20 0 20 0 35560100 19521036288 339710 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=17280 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 339710 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=-6000919494197995117 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 228 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 339710 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 339710 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 304.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1358840 KiB

[startup+304 s]*
/proc/loadavg: 4.13 4.15 4.11 5/345 26913
/proc/meminfo: memFree=114590752/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19063512 memory=1359096 CPUtime=305.89 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 51232 0 0 0 30397 192 0 0 20 0 20 0 35560099 19521036288 339774 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4765878 339774 5488 1 0 554478 0
[pid=26746/tid=26748] ppid=26743 vsize=19063512 memory=-6000919498425788013 CPUtime=301.68 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) R 26743 26746 24970 0 -1 4194368 15874 0 0 0 29989 179 0 0 20 0 20 0 35560100 19521036288 339774 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 339774 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19063512 memory=3072 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 228 0 0 0 0 0 0 0 20 0 20 0 35560103 19521036288 339774 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26765] ppid=26743 vsize=19063512 memory=6784 CPUtime=0 cores=1,3
/proc/26746/task/26765/stat : 26765 (Timer-0) S 26743 26746 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35560119 19521036288 339774 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 305.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1359096 KiB

[startup+304.4 s]
/proc/loadavg: 4.13 4.15 4.11 5/345 26913
/proc/meminfo: memFree=114590752/131249996 swapFree=33010684/33010684
[pid=26746] ppid=26743 vsize=19196640 memory=1359608 CPUtime=306.29 cores=1,3
/proc/26746/stat : 26746 (java) S 26743 26746 24970 0 -1 4194304 52358 0 0 0 30436 193 0 0 20 0 20 0 35560099 19657359360 339902 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
/proc/26746/statm: 4799160 339902 5488 1 0 555096 0
[pid=26746/tid=26748] ppid=26743 vsize=19196640 memory=10752 CPUtime=302 cores=1,3
/proc/26746/task/26748/stat : 26748 (java) S 26743 26746 24970 0 -1 4194368 16688 0 0 0 30020 180 0 0 20 0 20 0 35560100 19657359360 339902 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26757] ppid=26743 vsize=19196640 memory=10752 CPUtime=0 cores=1,3
/proc/26746/task/26757/stat : 26757 (Finalizer) S 26743 26746 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35560103 19657359360 339902 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
[pid=26746/tid=26764] ppid=26743 vsize=19196640 memory=5760 CPUtime=0 cores=1,3
/proc/26746/task/26764/stat : 26764 (Common-Cleaner) S 26743 26746 24970 0 -1 4194368 228 0 0 0 0 0 0 0 20 0 20 0 35560103 19657359360 339902 18446744073709551615 93829797834752 93829797838448 140721047588320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93829797846264 93829797847056 93829799964672 140721047595312 140721047595494 140721047595494 140721047601096 0
Current children cumulated CPU time: 306.29 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1359608 KiB

Child status: 20

Real time (s): 304.458
CPU time (s): 306.357
CPU user time (s): 304.415
CPU system time (s): 1.94173
CPU usage (%): 100.624
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1359608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.415
system time used= 1.94173
maximum resident set size= 1360120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1305256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11283
involuntary context switches= 1845


# summary of solver processes directly reported to runsolver:
#   pid: 26746
#   total CPU time (s): 306.357
#   total CPU user time (s): 304.415
#   total CPU system time (s): 1.94173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.64427 second user time and 1.52696 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 14:07:03
IDJOB=4510553
IDBENCH=160372
IDSOLVER=3364
FILE ID=nodeC017/4510553-1751198823
RUNJOBID= nodeC017-1751191606-24982
SLURM_JOB_ID= 9587581
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510553-1751198823/watcher-4510553-1751198823 -o /tmp/evaluation-result-4510553-1751198823/solver-4510553-1751198823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24982 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510553-1751198823 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510553-1751198823.opb

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

MD5SUM BENCH= becd4f2905a31b4ccafbaa36ee1998fb
RANDOM SEED=649511331

nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.061
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3601.352
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.686
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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.065
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.062
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.059
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.225
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
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		: 3600.311
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        117091768 kB
MemAvailable:   124690736 kB
Buffers:            3280 kB
Cached:          8400104 kB
SwapCached:            0 kB
Active:          5424456 kB
Inactive:        8146384 kB
Active(anon):    5185580 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file):  8146384 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37304 kB
Writeback:             0 kB
AnonPages:       5169924 kB
Mapped:           122732 kB
Shmem:             18080 kB
KReclaimable:     105496 kB
Slab:             193736 kB
SReclaimable:     105496 kB
SUnreclaim:        88240 kB
KernelStack:        5264 kB
PageTables:        13656 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7061588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4941824 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 14:12:08