Trace number 4448594

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07UNSAT 280.345 278.212

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x50split.opb
MD5SUM6aa2e19502a8f75e99296617bfe7afcb
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.39844
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 constraints251
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)251
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.13/0.12	c version CUSTOM.v20240707
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.13	c Free memory 		2115194816
0.13/0.13	c Max memory 		16282288128
0.13/0.13	c Total memory 		2122317824
0.13/0.14	c Number of processors 	2
0.13/0.17	--- Begin Solver configuration ---
0.13/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.17	Learn all clauses as in MiniSAT
0.13/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.17	No reason simplification
0.13/0.17	Glucose 2.1 dynamic restart strategy
0.13/0.17	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.17	timeout=2147483s
0.13/0.17	DB Simplification allowed=false
0.13/0.17	Listener: none
0.13/0.17	--- End Solver configuration ---
0.13/0.17	c Pseudo Boolean Optimization by upper bound
0.13/0.17	c --- Begin Solver configuration ---
0.13/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.17	c Learn all clauses as in MiniSAT
0.13/0.17	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.17	c No reason simplification
0.13/0.17	c Glucose 2.1 dynamic restart strategy
0.13/0.17	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.17	c timeout=2147483s
0.13/0.17	c DB Simplification allowed=false
0.13/0.17	c Listener: none
0.13/0.17	c --- End Solver configuration ---
0.13/0.17	c solving HOME/instance-4448594-1721357952.opb
0.13/0.17	c reading problem ... 
0.13/0.18	c  no objective function found
0.13/0.21	c ... done. Wall clock time 0.036s.
0.13/0.21	c declared #vars     501
0.13/0.21	c #constraints  502
0.13/0.21	c constraints type 
0.13/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 500
0.13/0.21	c 502 constraints processed.
0.71/0.50	c cleaning 2494 clauses out of 5000 with flag 19998/5000
1.23/0.75	c cleaning 4238 clauses out of 8507 with flag 48073/11001
1.63/0.95	c cleaning 5605 clauses out of 11268 with flag 83612/18000
2.22/1.24	c cleaning 6815 clauses out of 13663 with flag 124382/26000
2.61/1.43	c cleaning 7897 clauses out of 15849 with flag 173478/35001
3.01/1.65	c cleaning 8963 clauses out of 17951 with flag 232638/45000
3.41/1.82	c cleaning 9955 clauses out of 19990 with flag 295338/56002
3.80/2.04	c cleaning 10991 clauses out of 22033 with flag 366029/68000
4.06/2.28	c cleaning 11991 clauses out of 24042 with flag 441010/81000
4.37/2.53	c cleaning 13004 clauses out of 26051 with flag 522659/95000
4.67/2.83	c cleaning 13996 clauses out of 28047 with flag 610193/110000
4.98/3.15	c cleaning 15004 clauses out of 30052 with flag 706692/126001
5.33/3.48	c cleaning 15995 clauses out of 32047 with flag 805299/143000
5.81/3.86	c cleaning 16991 clauses out of 34052 with flag 914938/161000
6.21/4.28	c cleaning 18030 clauses out of 36061 with flag 1023554/180000
6.71/4.75	c cleaning 19010 clauses out of 38032 with flag 1139762/200001
7.21/5.23	c cleaning 19994 clauses out of 40021 with flag 1259463/221000
7.71/5.75	c cleaning 20994 clauses out of 42027 with flag 1381468/243000
8.30/6.31	c cleaning 21993 clauses out of 44035 with flag 1511931/266002
8.91/6.94	c cleaning 22988 clauses out of 46040 with flag 1648343/290000
9.51/7.58	c cleaning 24002 clauses out of 48053 with flag 1787206/315001
10.21/8.26	c cleaning 25003 clauses out of 50051 with flag 1927967/341001
10.91/8.99	c cleaning 26005 clauses out of 52047 with flag 2076179/368000
11.72/9.79	c cleaning 26993 clauses out of 54042 with flag 2233239/396000
12.62/10.64	c cleaning 28005 clauses out of 56050 with flag 2390903/425001
13.52/11.50	c cleaning 29001 clauses out of 58046 with flag 2547731/455002
14.32/12.39	c cleaning 29994 clauses out of 60044 with flag 2710158/486001
15.32/13.33	c cleaning 31004 clauses out of 62049 with flag 2875008/518000
16.31/14.36	c cleaning 32004 clauses out of 64045 with flag 3047631/551000
17.41/15.47	c cleaning 32998 clauses out of 66041 with flag 3225896/585000
18.51/16.60	c cleaning 34002 clauses out of 68045 with flag 3405446/620002
19.71/17.73	c cleaning 35021 clauses out of 70041 with flag 3586647/656000
20.91/18.95	c cleaning 35993 clauses out of 72021 with flag 3780698/693001
22.20/20.22	c cleaning 36994 clauses out of 74028 with flag 3973333/731001
23.50/21.52	c cleaning 38007 clauses out of 76033 with flag 4166618/770000
24.90/22.97	c cleaning 38993 clauses out of 78026 with flag 4369566/810000
26.60/24.62	c cleaning 40001 clauses out of 80033 with flag 4575196/851000
28.20/26.22	c cleaning 40997 clauses out of 82033 with flag 4777280/893001
29.90/27.93	c cleaning 41997 clauses out of 84036 with flag 4990506/936001
31.59/29.65	c cleaning 43000 clauses out of 86038 with flag 5205192/980000
33.49/31.54	c cleaning 44010 clauses out of 88038 with flag 5424554/1025000
35.68/33.73	c cleaning 45005 clauses out of 90028 with flag 5654220/1071000
37.68/35.73	c cleaning 45993 clauses out of 92024 with flag 5878430/1118001
39.87/37.98	c cleaning 46996 clauses out of 94031 with flag 6111581/1166001
42.17/40.23	c cleaning 48004 clauses out of 96034 with flag 6347581/1215000
44.55/42.69	c cleaning 48999 clauses out of 98031 with flag 6589730/1265001
47.14/45.26	c cleaning 50004 clauses out of 100032 with flag 6840023/1316001
49.84/47.98	c cleaning 51000 clauses out of 102028 with flag 7098985/1368001
52.43/50.51	c cleaning 51997 clauses out of 104027 with flag 7350817/1421000
55.23/53.36	c cleaning 52998 clauses out of 106030 with flag 7605208/1475000
58.33/56.44	c cleaning 54006 clauses out of 108033 with flag 7864316/1530001
61.13/59.29	c cleaning 54996 clauses out of 110026 with flag 8116193/1586000
64.12/62.29	c cleaning 56002 clauses out of 112030 with flag 8381681/1643000
67.62/65.73	c cleaning 57010 clauses out of 114028 with flag 8646190/1701000
70.93/69.07	c cleaning 57992 clauses out of 116020 with flag 8919410/1760002
74.21/72.33	c cleaning 59003 clauses out of 118026 with flag 9188224/1820000
77.30/75.42	c cleaning 59997 clauses out of 120024 with flag 9461629/1881001
80.50/78.62	c cleaning 61001 clauses out of 122026 with flag 9739055/1943000
84.01/82.18	c cleaning 62000 clauses out of 124026 with flag 10020204/2006001
87.74/85.80	c cleaning 63009 clauses out of 126026 with flag 10300873/2070001
90.83/88.99	c cleaning 63990 clauses out of 128017 with flag 10578772/2135001
94.22/92.32	c cleaning 64999 clauses out of 130026 with flag 10861609/2201000
97.82/95.90	c cleaning 66006 clauses out of 132028 with flag 11151768/2268001
101.41/99.51	c cleaning 66999 clauses out of 134022 with flag 11442275/2336001
104.70/102.83	c cleaning 68004 clauses out of 136022 with flag 11722017/2405000
108.71/106.83	c cleaning 69001 clauses out of 138018 with flag 12024274/2475000
112.41/110.59	c cleaning 70001 clauses out of 140017 with flag 12315217/2546000
116.50/114.63	c cleaning 71001 clauses out of 142017 with flag 12608107/2618001
120.39/118.56	c cleaning 72000 clauses out of 144016 with flag 12899387/2691001
124.18/122.39	c cleaning 72997 clauses out of 146016 with flag 13195671/2765001
127.78/125.94	c cleaning 73996 clauses out of 148018 with flag 13486061/2840000
131.68/129.85	c cleaning 75000 clauses out of 150023 with flag 13778358/2916001
135.78/133.90	c cleaning 76004 clauses out of 152022 with flag 14077772/2993000
139.77/137.95	c cleaning 76997 clauses out of 154019 with flag 14382932/3071001
143.98/142.13	c cleaning 78005 clauses out of 156023 with flag 14691139/3150002
148.15/146.39	c cleaning 78998 clauses out of 158017 with flag 15005981/3230001
152.66/150.85	c cleaning 80000 clauses out of 160018 with flag 15324792/3311000
156.97/155.13	c cleaning 81001 clauses out of 162018 with flag 15645929/3393000
161.45/159.67	c cleaning 81997 clauses out of 164018 with flag 15977350/3476001
166.14/164.30	c cleaning 83002 clauses out of 166021 with flag 16316235/3560001
171.45/169.64	c cleaning 83997 clauses out of 168018 with flag 16663014/3645000
176.34/174.53	c cleaning 85005 clauses out of 170021 with flag 17006541/3731000
181.95/180.12	c cleaning 86004 clauses out of 172017 with flag 17359439/3818001
187.43/185.60	c cleaning 86995 clauses out of 174012 with flag 17713550/3906000
192.93/191.16	c cleaning 88001 clauses out of 176017 with flag 18072379/3995000
199.59/197.86	c cleaning 89001 clauses out of 178016 with flag 18443300/4085000
204.85/203.11	c cleaning 89995 clauses out of 180015 with flag 18807728/4176000
210.69/209.05	c cleaning 91001 clauses out of 182021 with flag 19174850/4268001
216.74/215.15	c cleaning 92004 clauses out of 184020 with flag 19550070/4361001
223.00/221.48	c cleaning 93000 clauses out of 186017 with flag 19932589/4455002
229.15/227.67	c cleaning 94001 clauses out of 188016 with flag 20314066/4550001
235.49/234.04	c cleaning 95004 clauses out of 190014 with flag 20698825/4646000
241.94/240.58	c cleaning 96000 clauses out of 192011 with flag 21099206/4743001
248.91/247.53	c cleaning 96996 clauses out of 194010 with flag 21503528/4841000
255.85/254.50	c cleaning 97999 clauses out of 196014 with flag 21934660/4940000
263.67/262.48	c cleaning 99002 clauses out of 198016 with flag 22370298/5040001
271.81/270.65	c cleaning 99998 clauses out of 200013 with flag 22804886/5141000
280.21/278.11	c starts		: 7696
280.21/278.11	c conflicts		: 5241609
280.21/278.11	c decisions		: 7190974
280.21/278.11	c propagations		: 45746341
280.21/278.11	c inspects		: 5022434270
280.21/278.11	c shortcuts		: 0
280.21/278.11	c learnt literals	: 13
280.21/278.11	c learnt binary clauses	: 11
280.21/278.11	c learnt ternary clauses	: 21
280.21/278.11	c learnt constraints	: 5241595
280.21/278.11	c ignored constraints	: 0
280.21/278.11	c root simplifications	: 0
280.21/278.11	c removed literals (reason simplification)	: 0
280.21/278.11	c reason swapping (by a shorter reason)	: 0
280.21/278.11	c Calls to reduceDB	: 97
280.21/278.11	c Number of update (reduction) of LBD	: 1148868
280.21/278.11	c Imported unit clauses	: 0
280.21/278.11	c No decision after first conflict	: false
280.21/278.11	c number of reductions to clauses (during analyze)	: 0
280.21/278.11	c number of learned constraints concerned by reduction	: 0
280.21/278.11	c number of learning phase by resolution	: 0
280.21/278.11	c number of learning phase by cutting planes	: 0
280.21/278.11	c number of rounding to 1 operations	: 0
280.21/278.11	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
280.21/278.11	c number of reductions of the coefficients by power 2 	: 0
280.21/278.11	c number of right shift for reduction by power 2 	: 0
280.21/278.11	c number of reductions of the coefficients by GCD over coefficients 	: 0
280.21/278.11	c number of ending skipping 	: 0
280.21/278.11	c number of internal skipping 	: 0
280.21/278.11	c number of derivation steps 	: 0
280.21/278.11	c number of skipped derivation steps 	: 0
280.21/278.11	c number of remaining unassigned 	: 0
280.21/278.11	c number of remaining assigned 	: 0
280.21/278.11	c number of falsified literals weakened from reason	: 0
280.21/278.11	c number of falsified literals weakened from conflict	: 0
280.21/278.11	c time for arithmetic operations	: 0
280.21/278.13	c minimum degree of deleted constraints	: null
280.21/278.13	c maximum degree of deleted constraints	: null
280.21/278.13	c number of deleted constraints	: 0
280.21/278.13	c speed (assignments/second)	: 164612.62023079995
280.21/278.13	c non guided choices	: 105024
280.21/278.17	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 200599
280.21/278.17	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 11
280.21/278.18	s UNSATISFIABLE
280.21/278.18	c Total wall clock time (in seconds): 278.005

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (59932 MiB free)
  memory of node 1: 64510 MiB (60196 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=984591, runsolver pid=984588

[startup+0.104529 s]*
/proc/loadavg: 4.01 4.17 4.17 6/319 984609
/proc/meminfo: memFree=122975684/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=18975048 memory=57100 CPUtime=0.13 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 6733 0 0 0 11 2 0 0 20 0 18 0 187951603 19430449152 14275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4743762 14275 5691 1 0 551036 0
[pid=984591/tid=984593] ppid=984588 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) S 984588 984591 980639 0 -1 1077936192 5571 0 0 0 6 2 0 0 20 0 18 0 187951603 19430449152 14275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187951609 19430449152 14275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187951609 19430449152 14275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57100 KiB

[startup+0.216176 s]*
/proc/loadavg: 4.01 4.17 4.17 8/319 984609
/proc/meminfo: memFree=122964392/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19041612 memory=68344 CPUtime=0.34 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 7442 0 0 0 31 3 0 0 20 0 19 0 187951603 19498610688 17086 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4760403 17086 5712 1 0 551901 0
[pid=984591/tid=984593] ppid=984588 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 6008 0 0 0 17 2 0 0 20 0 19 0 187951603 19498610688 17086 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19041612 memory=5697 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 17086 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19041612 memory=14699599474464555 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 17086 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (java) R 984588 984591 980639 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 187951625 19498610688 17086 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68344 KiB

[startup+0.313354 s]*
/proc/loadavg: 4.01 4.17 4.17 8/320 984611
/proc/meminfo: memFree=122962628/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19041960 memory=69512 CPUtime=0.53 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 7897 0 0 0 50 3 0 0 20 0 19 0 187951603 19498967040 17378 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4760490 17378 5781 1 0 552130 0
[pid=984591/tid=984593] ppid=984588 vsize=19041960 memory=-8598890562601657020 CPUtime=0.29 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 6021 0 0 0 27 2 0 0 20 0 19 0 187951603 19498967040 17378 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19041960 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187951609 19498967040 17378 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19041960 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187951609 19498967040 17378 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19041960 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187951625 19498967040 17378 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041960 KiB
Current children cumulated memory: 69512 KiB

[startup+0.701177 s]
/proc/loadavg: 4.01 4.17 4.17 7/320 984611
/proc/meminfo: memFree=122957620/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19041612 memory=75060 CPUtime=1.23 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 9616 0 0 0 120 3 0 0 20 0 19 0 187951603 19498610688 18765 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4760403 18765 5781 1 0 552900 0
[pid=984591/tid=984593] ppid=984588 vsize=19041612 memory=43996 CPUtime=0.64 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 6065 0 0 0 62 2 0 0 20 0 19 0 187951603 19498610688 18765 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19041612 memory=11992 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 18765 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19041612 memory=2312 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 18765 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19041612 memory=25208 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187951625 19498610688 18765 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75060 KiB

[startup+1.50117 s]
/proc/loadavg: 4.01 4.17 4.17 6/320 984611
/proc/meminfo: memFree=122944780/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19041612 memory=92468 CPUtime=2.81 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 17166 0 0 0 277 4 0 0 20 0 19 0 187951603 19498610688 23117 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4760403 23117 5797 1 0 555074 0
[pid=984591/tid=984593] ppid=984588 vsize=19041612 memory=11992 CPUtime=1.43 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 6427 0 0 0 141 2 0 0 20 0 19 0 187951603 19498610688 23117 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 23117 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19041612 memory=2312 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 23117 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19041612 memory=25208 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187951625 19498610688 23117 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92468 KiB

[startup+3.11269 s]
/proc/loadavg: 4.01 4.17 4.17 4/295 984644
/proc/meminfo: memFree=123960488/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19041612 memory=109348 CPUtime=4.98 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 18009 0 0 0 493 5 0 0 20 0 19 0 187951603 19498610688 27337 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4760403 27337 5813 1 0 555077 0
[pid=984591/tid=984593] ppid=984588 vsize=19041612 memory=0 CPUtime=3.04 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 6685 0 0 0 301 3 0 0 20 0 19 0 187951603 19498610688 27337 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19041612 memory=-8598890562601657020 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 27337 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19041612 memory=11992 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 27337 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19041612 memory=2312 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187951625 19498610688 27337 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109348 KiB

[startup+6.30042 s]
/proc/loadavg: 3.93 4.15 4.16 8/295 984888
/proc/meminfo: memFree=126882408/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19041612 memory=133536 CPUtime=8.3 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 18356 0 0 0 825 5 0 0 20 0 19 0 187951603 19498610688 33384 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4760403 33384 5813 1 0 555078 0
[pid=984591/tid=984593] ppid=984588 vsize=19041612 memory=2312 CPUtime=6.21 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 6801 0 0 0 618 3 0 0 20 0 19 0 187951603 19498610688 33384 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 33384 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19041612 memory=11992 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187951609 19498610688 33384 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19041612 memory=92468 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187951625 19498610688 33384 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133536 KiB

[startup+12.7004 s]
/proc/loadavg: 4.02 4.16 4.16 5/319 985077
/proc/meminfo: memFree=126685384/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=177100 CPUtime=14.72 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 20622 0 0 0 1465 7 0 0 20 0 20 0 187951603 19566772224 44275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 44275 5845 1 0 555367 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=11992 CPUtime=12.55 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 7528 0 0 0 1251 4 0 0 20 0 20 0 187951603 19566772224 44275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=92468 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 44275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=177100 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 44275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 44275 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 14.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177100 KiB

[startup+25.5005 s]
/proc/loadavg: 4.01 4.15 4.16 5/321 985080
/proc/meminfo: memFree=126567024/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=185540 CPUtime=27.5 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 23312 0 0 0 2742 8 0 0 20 0 20 0 187951603 19566772224 46385 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 46385 5877 1 0 555367 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=177100 CPUtime=25.27 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 8776 0 0 0 2523 4 0 0 20 0 20 0 187951603 19566772224 46385 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=177168 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 46385 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=177168 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 46385 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=-9032086045022528188 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 46385 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 27.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185540 KiB

[startup+51.1136 s]
/proc/loadavg: 4.01 4.14 4.16 5/321 985085
/proc/meminfo: memFree=126430236/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=208164 CPUtime=53.05 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 25576 0 0 0 5296 9 0 0 20 0 20 0 187951603 19566772224 52041 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 52041 5877 1 0 555367 0

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

/proc/meminfo: memFree=120314772/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=474912 CPUtime=223.9 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 37733 0 0 0 22365 25 0 0 20 0 20 0 187951603 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 118728 5877 1 0 555367 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=405192 CPUtime=220.1 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 14813 0 0 0 22005 5 0 0 20 0 20 0 187951603 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=405192 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=433872 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 241 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=43996 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 223.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 474912 KiB

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

# cumulated CPU time of all completed processes:  user=280.019 s, system=0.326642 s

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

[startup+230.401 s]
/proc/loadavg: 4.45 4.39 4.27 5/322 985393
/proc/meminfo: memFree=119994552/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=474912 CPUtime=231.92 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 37852 0 0 0 23167 25 0 0 20 0 20 0 187951603 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 118728 5877 1 0 555367 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=16252 CPUtime=228.12 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 14914 0 0 0 22807 5 0 0 20 0 20 0 187951603 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=474912 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=16252 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 241 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=1207 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 118728 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 231.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 474912 KiB

[startup+256.001 s]*
/proc/loadavg: 4.42 4.39 4.27 5/322 985398
/proc/meminfo: memFree=119234992/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=515884 CPUtime=257.34 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 38224 0 0 0 25706 28 0 0 20 0 20 0 187951603 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 128971 5877 1 0 555367 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=19752 CPUtime=253.32 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 15162 0 0 0 25327 5 0 0 20 0 20 0 187951603 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=-8527679588222149308 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 277 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=2712 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 257.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 515884 KiB

[startup+268.801 s]
/proc/loadavg: 4.36 4.38 4.27 5/322 985399
/proc/meminfo: memFree=118890144/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=515884 CPUtime=270.03 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 38454 0 0 0 26974 29 0 0 20 0 20 0 187951603 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 128971 5877 1 0 555367 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=11600 CPUtime=266 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 15312 0 0 0 26595 5 0 0 20 0 20 0 187951603 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=7163645176838711662 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 277 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=8243397472394438243 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 128971 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 270.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 515884 KiB

[startup+275.2 s]
/proc/loadavg: 4.45 4.40 4.27 5/322 985401
/proc/meminfo: memFree=118339812/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=569208 CPUtime=276.45 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 40686 0 0 0 27615 30 0 0 20 0 20 0 187951603 19566772224 142302 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 142302 5877 1 0 555367 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=1944 CPUtime=272.18 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 15516 0 0 0 27213 5 0 0 20 0 20 0 187951603 19566772224 142302 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=515884 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 142302 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=-8598890562601657020 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 277 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 142302 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 142302 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 276.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 569208 KiB

[startup+276.8 s]
/proc/loadavg: 4.45 4.40 4.27 5/322 985401
/proc/meminfo: memFree=118339816/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=571520 CPUtime=278.32 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 43284 0 0 0 27801 31 0 0 20 0 20 0 187951603 19566772224 142880 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 142880 5877 1 0 555616 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=-8598890562601657020 CPUtime=273.77 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 16223 0 0 0 27372 5 0 0 20 0 20 0 187951603 19566772224 142880 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=11548 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 142880 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=11548 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 277 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 142880 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 142880 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 278.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 571520 KiB

[startup+277.601 s]
/proc/loadavg: 4.45 4.40 4.27 5/322 985401
/proc/meminfo: memFree=118337468/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=571716 CPUtime=279.3 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 43427 0 0 0 27899 31 0 0 20 0 20 0 187951603 19566772224 142929 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 142929 5877 1 0 555616 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=43996 CPUtime=274.57 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 16260 0 0 0 27452 5 0 0 20 0 20 0 187951603 19566772224 142929 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=11992 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 142929 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=5512 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 277 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 142929 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=16252 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 142929 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 279.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 571716 KiB

[startup+278 s]*
/proc/loadavg: 4.45 4.40 4.27 5/322 985401
/proc/meminfo: memFree=118271488/131655788 swapFree=131071996/131071996
[pid=984591] ppid=984588 vsize=19108176 memory=573740 CPUtime=280.09 cores=4,6
/proc/984591/stat : 984591 (java) S 984588 984591 980639 0 -1 1077936128 43988 0 0 0 27978 31 0 0 20 0 20 0 187951603 19566772224 143435 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
/proc/984591/statm: 4777044 143435 5877 1 0 555616 0
[pid=984591/tid=984593] ppid=984588 vsize=19108176 memory=-8527679588222149308 CPUtime=274.98 cores=4,6
/proc/984591/task/984593/stat : 984593 (java) R 984588 984591 980639 0 -1 4194368 16260 0 0 0 27493 5 0 0 20 0 20 0 187951603 19566772224 143435 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984602] ppid=984588 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984602/stat : 984602 (Finalizer) S 984588 984591 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 143435 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984609] ppid=984588 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984609/stat : 984609 (Common-Cleaner) S 984588 984591 980639 0 -1 1077936192 277 0 0 0 0 0 0 0 20 0 20 0 187951609 19566772224 143435 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
[pid=984591/tid=984610] ppid=984588 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/984591/task/984610/stat : 984610 (Timer-0) S 984588 984591 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187951625 19566772224 143435 134679101440 94922843529216 94922843532912 140733631004944 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94922843540728 94922843541520 94922850635776 140733631009798 140733631009888 140733631009888 140733631016904 0
Current children cumulated CPU time: 280.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 573740 KiB

[startup+278.2 s]*
/proc/loadavg: 4.45 4.40 4.27 6/304 985403
/proc/meminfo: memFree=118810892/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 20

Real time (s): 278.212
CPU time (s): 280.345
CPU user time (s): 280.019
CPU system time (s): 0.326642
CPU usage (%): 100.767
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 574084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.019
system time used= 0.326642
maximum resident set size= 575376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9226
involuntary context switches= 1435


# summary of solver processes directly reported to runsolver:
#   pid: 984591
#   total CPU time (s): 280.345
#   total CPU user time (s): 280.019
#   total CPU system time (s): 0.326642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28388 second user time and 2.48603 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:59:24
IDJOB=4448594
IDBENCH=160432
IDSOLVER=3058
FILE ID=nodeC008/4448594-1721357952
RUNJOBID= nodeC008-1721354365-980650
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x50split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448594-1721357952/watcher-4448594-1721357952 -o /tmp/evaluation-result-4448594-1721357952/solver-4448594-1721357952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980650 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448594-1721357952.opb

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

MD5SUM BENCH= 6aa2e19502a8f75e99296617bfe7afcb
RANDOM SEED=185572214

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123011816 kB
MemAvailable:   125306604 kB
Buffers:          546052 kB
Cached:          2567408 kB
SwapCached:            0 kB
Active:          1060656 kB
Inactive:        6982828 kB
Active(anon):       1476 kB
Inactive(anon):  4966252 kB
Active(file):    1059180 kB
Inactive(file):  2016576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               796 kB
Writeback:             0 kB
AnonPages:       4930040 kB
Mapped:           126388 kB
Shmem:             37704 kB
KReclaimable:     118124 kB
Slab:             223084 kB
SReclaimable:     118124 kB
SUnreclaim:       104960 kB
KernelStack:        4864 kB
PageTables:        19780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8211968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58720 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4612096 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC008 at 2024-07-19 05:04:02