Trace number 4458298

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.79 3553.38

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
MD5SUM216ba9da6a205e5efe57192784bc5fe9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.321287
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2730
Total number of constraints4053
Number of constraints which are clauses2646
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1407
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 84
Biggest coefficient in the objective function 2199023255552
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 8796093022206
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 2199023255552
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 8796093022206
Number of bits of the biggest sum of numbers43
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version CUSTOM.v20240707
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.21	c os.arch		amd64
0.12/0.22	c Free memory 		2115194816
0.12/0.22	c Max memory 		16282288128
0.12/0.22	c Total memory 		2122317824
0.12/0.23	c Number of processors 	2
0.32/0.31	--- Begin Solver configuration ---
0.32/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.31	Learn all clauses as in MiniSAT
0.32/0.31	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.31	No reason simplification
0.32/0.31	Glucose 2.1 dynamic restart strategy
0.32/0.31	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.32/0.31	timeout=2147483s
0.32/0.31	DB Simplification allowed=false
0.32/0.31	Listener: none
0.32/0.31	--- End Solver configuration ---
0.32/0.32	c Pseudo Boolean Optimization by upper bound
0.32/0.32	c --- Begin Solver configuration ---
0.32/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.32/0.32	c Learn all clauses as in MiniSAT
0.32/0.32	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.32	c No reason simplification
0.32/0.32	c Glucose 2.1 dynamic restart strategy
0.32/0.32	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.32/0.32	c timeout=2147483s
0.32/0.32	c DB Simplification allowed=false
0.32/0.32	c Listener: none
0.32/0.32	c --- End Solver configuration ---
0.32/0.32	c solving HOME/instance-4458298-1721877731.opb
0.32/0.32	c reading problem ... 
0.32/0.33	c  objective function found
0.83/0.57	c ... done. Wall clock time 0.239s.
0.83/0.57	c declared #vars     2730
0.83/0.57	c #constraints  5460
0.83/0.57	c constraints type 
0.83/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2898
0.83/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.83/0.57	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 882
0.83/0.57	c 5460 constraints processed.
0.83/0.60	c objective function length is 84 literals
1.78/1.07	c SATISFIABLE
1.78/1.07	c OPTIMIZING...
1.78/1.07	c Got one! Elapsed wall clock time (in seconds):0.747
1.78/1.07	o 0
4.24/2.55	c cleaning 2576 clauses out of 5155 with flag 24011/5155
6.32/4.39	c cleaning 4284 clauses out of 8579 with flag 75115/11155
9.13/6.66	c cleaning 5648 clauses out of 11295 with flag 145310/18155
13.71/10.49	c cleaning 6821 clauses out of 13648 with flag 276862/26156
18.11/14.68	c cleaning 7909 clauses out of 15827 with flag 417248/35156
23.48/19.83	c cleaning 8957 clauses out of 17917 with flag 579072/45155
28.76/25.06	c cleaning 9976 clauses out of 19960 with flag 753352/56155
35.58/31.68	c cleaning 10989 clauses out of 21985 with flag 951773/68156
42.16/38.17	c cleaning 11992 clauses out of 23996 with flag 1134167/81156
49.18/44.95	c cleaning 13000 clauses out of 26004 with flag 1342746/95156
57.07/52.73	c cleaning 14001 clauses out of 28004 with flag 1597246/110156
65.88/61.39	c cleaning 14998 clauses out of 30003 with flag 1842222/126156
75.21/70.55	c cleaning 15999 clauses out of 32005 with flag 2099284/143156
87.16/82.13	c cleaning 16997 clauses out of 34005 with flag 2401878/161155
98.08/92.97	c cleaning 18005 clauses out of 36009 with flag 2727590/180156
112.54/106.50	c cleaning 18998 clauses out of 38003 with flag 3021548/200155
125.23/118.94	c cleaning 20001 clauses out of 40006 with flag 3332080/221156
138.12/131.57	c cleaning 21003 clauses out of 42005 with flag 3664224/243156
150.92/144.03	c cleaning 21999 clauses out of 44002 with flag 4051877/266156
164.02/156.84	c cleaning 22998 clauses out of 46002 with flag 4472193/290155
179.68/171.51	c cleaning 23997 clauses out of 48005 with flag 4927984/315156
196.49/188.05	c cleaning 25001 clauses out of 50007 with flag 5456850/341155
213.39/204.65	c cleaning 25999 clauses out of 52006 with flag 6085068/368155
230.48/221.42	c cleaning 27004 clauses out of 54008 with flag 6644791/396156
251.95/241.08	c cleaning 27997 clauses out of 56003 with flag 7142333/425155
273.45/262.37	c cleaning 28999 clauses out of 58006 with flag 7726021/455155
296.39/284.85	c cleaning 29997 clauses out of 60007 with flag 8342517/486155
320.78/308.90	c cleaning 30999 clauses out of 62010 with flag 9086978/518155
345.66/333.46	c cleaning 32001 clauses out of 64012 with flag 9856738/551156
370.86/358.25	c cleaning 33002 clauses out of 66010 with flag 10711750/585155
398.87/385.83	c cleaning 34000 clauses out of 68009 with flag 11644219/620156
426.52/411.37	c cleaning 35000 clauses out of 70009 with flag 12506204/656156
455.16/439.53	c cleaning 36001 clauses out of 72009 with flag 13445064/693156
482.94/466.90	c cleaning 37001 clauses out of 74007 with flag 14416839/731155
515.20/498.80	c cleaning 38001 clauses out of 76007 with flag 15364728/770156
547.40/530.41	c cleaning 39001 clauses out of 78005 with flag 16468552/810155
582.39/565.07	c cleaning 39998 clauses out of 80004 with flag 17554279/851155
619.13/601.24	c cleaning 41000 clauses out of 82006 with flag 18713829/893155
657.51/639.26	c cleaning 41999 clauses out of 84006 with flag 19996894/936155
700.35/679.49	c cleaning 42999 clauses out of 86007 with flag 21313579/980155
740.22/718.74	c cleaning 43999 clauses out of 88009 with flag 22674240/1025156
780.53/758.87	c cleaning 45004 clauses out of 90010 with flag 24118660/1071156
820.55/798.47	c cleaning 45999 clauses out of 92005 with flag 25519190/1118155
861.72/839.17	c cleaning 47003 clauses out of 94006 with flag 27084869/1166155
902.55/879.49	c cleaning 47995 clauses out of 96003 with flag 28449286/1215155
944.80/921.20	c cleaning 48997 clauses out of 98008 with flag 29734166/1265155
988.45/964.47	c cleaning 50001 clauses out of 100012 with flag 31049381/1316156
1041.04/1016.20	c cleaning 51003 clauses out of 102010 with flag 32630400/1368155
1091.55/1066.26	c cleaning 52004 clauses out of 104008 with flag 34241548/1421156
1133.44/1107.87	c cleaning 52994 clauses out of 106004 with flag 35529846/1475156
1177.83/1150.36	c cleaning 54002 clauses out of 108010 with flag 36905249/1530156
1224.25/1196.01	c cleaning 55002 clauses out of 110007 with flag 38414158/1586155
1268.68/1240.16	c cleaning 55999 clauses out of 112005 with flag 39980032/1643155
1318.43/1289.25	c cleaning 56998 clauses out of 114007 with flag 41549915/1701156
1378.94/1349.06	c cleaning 58001 clauses out of 116008 with flag 43252762/1760155
1439.15/1408.55	c cleaning 59003 clauses out of 118008 with flag 45233289/1820156
1490.33/1459.45	c cleaning 59999 clauses out of 120004 with flag 47075958/1881155
1553.58/1522.15	c cleaning 61000 clauses out of 122005 with flag 49090334/1943155
1620.84/1588.84	c cleaning 61999 clauses out of 124005 with flag 51271804/2006155
1694.81/1662.12	c cleaning 63001 clauses out of 126007 with flag 53504742/2070156
1770.74/1737.44	c cleaning 64001 clauses out of 128006 with flag 55698279/2135156
1856.80/1822.82	c cleaning 65003 clauses out of 130005 with flag 58057513/2201156
1946.20/1909.13	c cleaning 65995 clauses out of 132002 with flag 60185069/2268156
2022.81/1985.90	c cleaning 66999 clauses out of 134006 with flag 62137970/2336155
2106.60/2068.79	c cleaning 68001 clauses out of 136008 with flag 64303483/2405156
2182.12/2143.74	c cleaning 68999 clauses out of 138006 with flag 66689556/2475155
2271.95/2233.33	c cleaning 69998 clauses out of 140008 with flag 69403200/2546156
2354.26/2314.82	c cleaning 71001 clauses out of 142009 with flag 72022331/2618155
2435.88/2396.10	c cleaning 71997 clauses out of 144008 with flag 74512671/2691155
2534.96/2494.33	c cleaning 72999 clauses out of 146012 with flag 76946438/2765156
2634.68/2593.82	c cleaning 74005 clauses out of 148013 with flag 79565131/2840156
2736.44/2694.87	c cleaning 75002 clauses out of 150007 with flag 82590516/2916155
2859.84/2818.12	c cleaning 76000 clauses out of 152005 with flag 85647512/2993155
2962.10/2919.71	c cleaning 76999 clauses out of 154005 with flag 88798802/3071155
3075.10/3031.92	c cleaning 78001 clauses out of 156007 with flag 91998599/3150156
3212.27/3168.80	c cleaning 78999 clauses out of 158005 with flag 95247351/3230155
3329.20/3284.92	c cleaning 79998 clauses out of 160007 with flag 98590756/3311156
3458.44/3413.47	c cleaning 81000 clauses out of 162008 with flag 101748028/3393155
3579.61/3534.68	c cleaning 81998 clauses out of 164008 with flag 104667766/3476155
3600.05/3552.82	c starts		: 294
3600.05/3552.86	c conflicts		: 3495311
3600.05/3552.86	c decisions		: 3519992
3600.05/3552.86	c propagations		: 3336986103
3600.05/3552.86	c inspects		: 31376675022
3600.05/3552.87	c shortcuts		: 0
3600.05/3552.87	c learnt literals	: 0
3600.05/3552.87	c learnt binary clauses	: 161
3600.05/3552.87	c learnt ternary clauses	: 298
3600.05/3552.87	c learnt constraints	: 3495311
3600.05/3552.87	c ignored constraints	: 0
3600.05/3552.87	c root simplifications	: 0
3600.05/3552.88	c removed literals (reason simplification)	: 0
3600.05/3552.88	c reason swapping (by a shorter reason)	: 0
3600.05/3552.88	c Calls to reduceDB	: 79
3600.05/3552.88	c Number of update (reduction) of LBD	: 28111
3600.05/3552.88	c Imported unit clauses	: 0
3600.05/3552.88	c No decision after first conflict	: false
3600.05/3552.88	c number of reductions to clauses (during analyze)	: 0
3600.05/3552.88	c number of learned constraints concerned by reduction	: 0
3600.05/3552.88	c number of learning phase by resolution	: 0
3600.05/3552.88	c number of learning phase by cutting planes	: 0
3600.05/3552.88	c number of rounding to 1 operations	: 0
3600.05/3552.88	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3552.88	c number of reductions of the coefficients by power 2 	: 0
3600.05/3552.88	c number of right shift for reduction by power 2 	: 0
3600.05/3552.88	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3552.88	c number of ending skipping 	: 0
3600.05/3552.88	c number of internal skipping 	: 0
3600.05/3552.88	c number of derivation steps 	: 0
3600.05/3552.88	c number of skipped derivation steps 	: 0
3600.05/3552.88	c number of remaining unassigned 	: 0
3600.05/3552.90	c number of remaining assigned 	: 0
3600.05/3552.90	c number of falsified literals weakened from reason	: 0
3600.05/3552.90	c number of falsified literals weakened from conflict	: 0
3600.05/3552.90	c time for arithmetic operations	: 0
3600.05/3552.90	c minimum degree of deleted constraints	: null
3600.05/3552.90	c maximum degree of deleted constraints	: null
3600.05/3552.90	c number of deleted constraints	: 0
3600.26/3552.91	c speed (assignments/second)	: 939388.7903453964
3600.26/3552.91	c non guided choices	: 0
3600.26/3552.99	c timeout
3600.26/3552.99	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.42/3553.01		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.42/3553.01		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.42/3553.01		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.42/3553.01		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.42/3553.01		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.42/3553.01		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.42/3553.01		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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 (24548 MiB free)
  memory of node 1: 64510 MiB (59697 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458298-1721877731/watcher-4458298-1721877731 -o /tmp/evaluation-result-4458298-1721877731/solver-4458298-1721877731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262296 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4458298-1721877731.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100926 s]*
/proc/loadavg: 1.09 1.13 1.61 8/294 262409
/proc/meminfo: memFree=86153272/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=18975048 memory=56692 CPUtime=0.12 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 6258 0 0 0 9 3 0 0 20 0 18 0 23762615 19430449152 14173 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4743762 14173 5503 1 0 550728 0
[pid=262351/tid=262354] ppid=262343 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 5263 0 0 0 6 3 0 0 20 0 18 0 23762616 19430449152 14173 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=18975048 memory=1466016 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23762622 19430449152 14253 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 23762623 19430449152 14253 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56692 KiB

[startup+0.223702 s]*
/proc/loadavg: 1.09 1.13 1.61 9/312 262427
/proc/meminfo: memFree=86129788/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=18975048 memory=61568 CPUtime=0.32 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 6994 0 0 0 28 4 0 0 20 0 18 0 23762615 19430449152 15392 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4743762 15392 5527 1 0 551362 0
[pid=262351/tid=262354] ppid=262343 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 5600 0 0 0 17 3 0 0 20 0 18 0 23762616 19430449152 15392 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=18975048 memory=1466016 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23762622 19430449152 15392 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 23762623 19430449152 15392 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61568 KiB

[startup+0.314913 s]*
/proc/loadavg: 1.09 1.13 1.61 13/312 262427
/proc/meminfo: memFree=86111784/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=18975048 memory=65492 CPUtime=0.49 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 7266 0 0 0 44 5 0 0 20 0 18 0 23762615 19430449152 16373 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4743762 16373 5692 1 0 551562 0
[pid=262351/tid=262354] ppid=262343 vsize=18975048 memory=-8743289433301426876 CPUtime=0.3 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 5789 0 0 0 26 4 0 0 20 0 18 0 23762616 19430449152 16373 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23762622 19430449152 16373 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 23762623 19430449152 16373 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65492 KiB

[startup+0.707911 s]
/proc/loadavg: 1.09 1.13 1.61 13/312 262427
/proc/meminfo: memFree=86085376/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19041612 memory=81692 CPUtime=1.19 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 9118 0 0 0 113 6 0 0 20 0 19 0 23762615 19498610688 20423 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4760403 20423 5840 1 0 553056 0
[pid=262351/tid=262354] ppid=262343 vsize=19041612 memory=5468 CPUtime=0.59 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 5944 0 0 0 55 4 0 0 20 0 19 0 23762616 19498610688 20423 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19041612 memory=11904 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23762622 19498610688 20423 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19041612 memory=1992 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23762623 19498610688 20423 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81692 KiB

[startup+1.5009 s]
/proc/loadavg: 1.09 1.13 1.61 11/316 262431
/proc/meminfo: memFree=86013488/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19041612 memory=96400 CPUtime=2.76 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 14588 0 0 0 268 8 0 0 20 0 19 0 23762615 19498610688 24100 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4760403 24100 5872 1 0 554974 0
[pid=262351/tid=262354] ppid=262343 vsize=19041612 memory=11904 CPUtime=1.35 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 6091 0 0 0 131 4 0 0 20 0 19 0 23762616 19498610688 24100 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19041612 memory=1992 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23762622 19498610688 24100 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23762623 19498610688 24100 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19041612 memory=11644 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23762676 19498610688 24100 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96400 KiB

[startup+3.1059 s]
/proc/loadavg: 1.80 1.28 1.65 6/316 262433
/proc/meminfo: memFree=85840768/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19041612 memory=130188 CPUtime=5.02 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 17380 0 0 0 493 9 0 0 20 0 19 0 23762615 19498610688 32547 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4760403 32547 5872 1 0 555747 0
[pid=262351/tid=262354] ppid=262343 vsize=19041612 memory=0 CPUtime=2.93 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 7443 0 0 0 288 5 0 0 20 0 19 0 23762616 19498610688 32547 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19041612 memory=11904 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23762622 19498610688 32547 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19041612 memory=1992 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 23762623 19498610688 32547 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19041612 memory=81956 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23762676 19498610688 32547 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 130188 KiB

[startup+6.3009 s]
/proc/loadavg: 1.80 1.28 1.65 5/319 262436
/proc/meminfo: memFree=85625548/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=190568 CPUtime=8.83 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 20390 0 0 0 872 11 0 0 20 0 20 0 23762615 19566772224 47642 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 47642 5888 1 0 557261 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=11904 CPUtime=6.07 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 7494 0 0 0 601 6 0 0 20 0 20 0 23762616 19566772224 47642 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=-8960306640345342652 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 47642 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=279956840484224 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 47642 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 47642 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190568 KiB

[startup+12.7004 s]
/proc/loadavg: 2.53 1.45 1.70 6/319 262502
/proc/meminfo: memFree=85234344/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=263012 CPUtime=16.12 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 31047 0 0 0 1597 15 0 0 20 0 20 0 23762615 19566772224 65753 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 65753 5888 1 0 558540 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=11644 CPUtime=12.3 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 7939 0 0 0 1224 6 0 0 20 0 20 0 23762616 19566772224 65753 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=263012 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 65753 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=2204 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 65753 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=-8960306640345342652 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 65753 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 263012 KiB

[startup+25.5004 s]
/proc/loadavg: 2.83 1.55 1.73 5/320 262506
/proc/meminfo: memFree=81710116/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=661532 CPUtime=29.25 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 34678 0 0 0 2900 25 0 0 20 0 20 0 23762615 19566772224 165383 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 165383 5888 1 0 685939 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=585756 CPUtime=24.52 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 9388 0 0 0 2444 8 0 0 20 0 20 0 23762616 19566772224 165383 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=-8960306640345342652 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 165383 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=632860 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 165383 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 165383 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 29.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 661532 KiB

[startup+51.1059 s]
/proc/loadavg: 3.37 1.78 1.81 5/320 262509
/proc/meminfo: memFree=72813096/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=1511136 CPUtime=55.49 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 39822 0 0 0 5504 45 0 0 20 0 20 0 23762615 19566772224 377784 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 377784 5909 1 0 817550 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=11904 CPUtime=49 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 10986 0 0 0 4888 12 0 0 20 0 20 0 23762616 19566772224 377784 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 377784 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=1375960 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 377784 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0

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

Current children cumulated memory: 11572420 KiB

[startup+3222.3 s]
/proc/loadavg: 4.40 4.42 4.46 5/320 264323
/proc/meminfo: memFree=51822064/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=11721052 CPUtime=3265.92 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 1932393 0 0 0 326021 571 0 0 20 0 20 0 23762615 19566772224 2930263 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 2930263 5909 1 0 3803320 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=11199272 CPUtime=3164.65 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 967889 0 0 0 316329 136 0 0 20 0 20 0 23762616 19566772224 2930263 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=11199272 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 2930263 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=72028 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 1162 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 2930263 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=2204 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 2930263 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 3265.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11721052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.96 4.57 4.51 6/318 264334
/proc/meminfo: memFree=51077592/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=12361148 CPUtime=3326.61 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 2094852 0 0 0 332061 600 0 0 20 0 20 0 23762615 19566772224 3090287 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 3090287 5909 1 0 3803320 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=12361148 CPUtime=3223.52 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 970276 0 0 0 322216 136 0 0 20 0 20 0 23762616 19566772224 3090287 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=12361148 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 3090287 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=12361148 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 1162 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 3090287 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=11904 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 3090287 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 3326.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12361148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.45 4.50 4.48 5/318 264344
/proc/meminfo: memFree=50871328/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=12566692 CPUtime=3386.8 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 2158178 0 0 0 338066 614 0 0 20 0 20 0 23762615 19566772224 3141673 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 3141673 5909 1 0 3803320 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=12566692 CPUtime=3282.92 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 982199 0 0 0 328155 137 0 0 20 0 20 0 23762616 19566772224 3141673 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 3141673 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=11721052 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 1162 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 3141673 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=12566692 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 3141673 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 3386.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12566692 KiB

[startup+3402.3 s]
/proc/loadavg: 4.55 4.50 4.48 5/318 264355
/proc/meminfo: memFree=50225340/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=13207000 CPUtime=3447.45 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 2546215 0 0 0 344085 660 0 0 20 0 20 0 23762615 19566772224 3301750 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 3301750 5909 1 0 3803320 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=12566692 CPUtime=3341.57 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 1099901 0 0 0 334012 145 0 0 20 0 20 0 23762616 19566772224 3301750 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=12566692 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 3301750 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=12566692 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 1162 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 3301750 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=13207000 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 3301750 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 3447.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13207000 KiB

[startup+3462.3 s]
/proc/loadavg: 4.70 4.58 4.51 5/318 264365
/proc/meminfo: memFree=49797408/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=13631592 CPUtime=3507.52 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 2665399 0 0 0 350070 682 0 0 20 0 20 0 23762615 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 3407898 5909 1 0 3803320 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=12566692 CPUtime=3400.23 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 1110558 0 0 0 339877 146 0 0 20 0 20 0 23762616 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=13631592 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=7292 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 1248 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=11644 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 3507.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13631592 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.48 4.48 6/320 264379
/proc/meminfo: memFree=49790836/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=13631592 CPUtime=3567.35 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 2666223 0 0 0 356051 684 0 0 20 0 20 0 23762615 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 3407898 5909 1 0 3803320 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=5468 CPUtime=3460.01 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 1111377 0 0 0 345855 146 0 0 20 0 20 0 23762616 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=12566692 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=13631592 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 1248 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=16192 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 3407898 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 3567.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13631592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3552.8 s]
/proc/loadavg: 4.32 4.47 4.48 6/319 264451
/proc/meminfo: memFree=60468360/131655788 swapFree=131059112/131071996
[pid=262351] ppid=262343 vsize=19108176 memory=14128548 CPUtime=3600.05 cores=0,2
/proc/262351/stat : 262351 (java) S 262343 262351 262286 0 -1 1077936128 2869316 0 0 0 359292 713 0 0 20 0 20 0 23762615 19566772224 3532137 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
/proc/262351/statm: 4777044 3532137 5924 1 0 4093857 0
[pid=262351/tid=262354] ppid=262343 vsize=19108176 memory=26124 CPUtime=3489.81 cores=0,2
/proc/262351/task/262354/stat : 262354 (java) R 262343 262351 262286 0 -1 4194368 1171024 0 0 0 348823 158 0 0 20 0 20 0 23762616 19566772224 3532137 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262396] ppid=262343 vsize=19108176 memory=-8960306640345342652 CPUtime=0 cores=0,2
/proc/262351/task/262396/stat : 262396 (Finalizer) S 262343 262351 262286 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23762622 19566772224 3532137 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262405] ppid=262343 vsize=19108176 memory=2204 CPUtime=0 cores=0,2
/proc/262351/task/262405/stat : 262405 (Common-Cleaner) S 262343 262351 262286 0 -1 1077936192 1249 0 0 0 0 0 0 0 20 0 20 0 23762623 19566772224 3532137 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
[pid=262351/tid=262430] ppid=262343 vsize=19108176 memory=14120892 CPUtime=0 cores=0,2
/proc/262351/task/262430/stat : 262430 (Timer-0) S 262343 262351 262286 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23762676 19566772224 3532137 134679101440 94050289848320 94050289852016 140727582688736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94050289859832 94050289860624 94050311241728 140727582696455 140727582696545 140727582696545 140727582703560 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14128548 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3553.38 s]
# the end of solver process 262351 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3593.3 s, system=7.49149 s

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

[startup+3553.21 s]
/proc/loadavg: 4.46 4.49 4.48 5/301 264456
/proc/meminfo: memFree=71129032/131655788 swapFree=131059112/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3553.3 s]
/proc/loadavg: 4.46 4.49 4.48 5/301 264456
/proc/meminfo: memFree=71129032/131655788 swapFree=131059112/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3553.38
CPU time (s): 3600.79
CPU user time (s): 3593.3
CPU system time (s): 7.49149
CPU usage (%): 101.334
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14130520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.3
system time used= 7.49149
maximum resident set size= 14131744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2871651
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109792
involuntary context switches= 29076


# summary of solver processes directly reported to runsolver:
#   pid: 262351
#   total CPU time (s): 3600.79
#   total CPU user time (s): 3593.3
#   total CPU system time (s): 7.49149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0758 second user time and 36.7178 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-25 05:22:11
IDJOB=4458298
IDBENCH=177198
IDSOLVER=3058
FILE ID=nodeC010/4458298-1721877731
RUNJOBID= nodeC010-1721877730-262296
SLURM_JOB_ID= 8089272
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458298-1721877731/watcher-4458298-1721877731 -o /tmp/evaluation-result-4458298-1721877731/solver-4458298-1721877731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721877730-262296 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4458298-1721877731.opb

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

MD5SUM BENCH= 216ba9da6a205e5efe57192784bc5fe9
RANDOM SEED=432266111

nodeC010.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		: 1197.198
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.61
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		: 1197.198
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.28
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.194
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.61
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.213
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.28
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		: 1197.190
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.61
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		: 1197.235
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.28
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.242
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.61
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.202
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.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        86283296 kB
MemAvailable:   129794872 kB
Buffers:          278332 kB
Cached:         43572508 kB
SwapCached:          216 kB
Active:          2154620 kB
Inactive:       42007648 kB
Active(anon):       1592 kB
Inactive(anon):   363388 kB
Active(file):    2153028 kB
Inactive(file): 41644260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:              1372 kB
Writeback:             0 kB
AnonPages:        311988 kB
Mapped:            99764 kB
Shmem:             53556 kB
KReclaimable:     776032 kB
Slab:             895472 kB
SReclaimable:     776032 kB
SUnreclaim:       119440 kB
KernelStack:        3696 kB
PageTables:         9356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     695716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14784 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC010 at 2024-07-25 06:21:24