Trace number 4524429

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 2025-06-06SAT (TO)-1448 3600.33 3491.46

General information on the benchmark

NamePB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_2017.opb
MD5SUM37df5ddf0b76834adc52c19dbb6544de
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2873
Best CPU time to get the best result obtained on this benchmark3600.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables252
Total number of constraints252
Number of constraints which are clauses210
Number of constraints which are cardinality constraints (but not clauses)21
Number of constraints which are nor clauses,nor cardinality constraints21
Minimum length of a constraint2
Maximum length of a constraint229
Number of terms in the objective function 1749
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 90942
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 29129
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 281465
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)3456
Sum of products size (including duplicates)6912
Number of different products1728
Sum of products size3456

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4524429-1751613505.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
0.32/0.24	c ... done. Wall clock time 0.101s.
0.32/0.24	c declared #vars     252
0.32/0.24	c internal #vars     1980
0.32/0.24	c #constraints  3729
0.32/0.24	c constraints type 
0.32/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 212
0.32/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20
0.32/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1749
0.32/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1748
0.32/0.24	c 3729 constraints processed.
0.32/0.26	c objective function length is 1749 literals
0.52/0.34	c SATISFIABLE
0.52/0.34	c OPTIMIZING...
0.52/0.34	c Got one! Elapsed wall clock time (in seconds):0.213
0.52/0.34	o -669
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.233
0.52/0.36	o -1085
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.251
0.52/0.38	o -1448
3.13/2.05	c cleaning 2609 clauses out of 5220 with flag 10777/5220
5.33/3.83	c cleaning 4304 clauses out of 8608 with flag 23043/11217
7.82/6.17	c cleaning 5652 clauses out of 11303 with flag 37266/18216
11.50/9.55	c cleaning 6826 clauses out of 13651 with flag 53593/26216
14.99/12.83	c cleaning 7913 clauses out of 15825 with flag 72005/35216
19.97/17.30	c cleaning 8957 clauses out of 17917 with flag 92427/45221
26.64/23.67	c cleaning 9976 clauses out of 19956 with flag 115183/56217
32.71/29.47	c cleaning 10990 clauses out of 21979 with flag 139446/68216
40.34/36.68	c cleaning 11995 clauses out of 23994 with flag 165817/81221
49.47/44.29	c cleaning 12996 clauses out of 25995 with flag 194589/95217
63.39/57.59	c cleaning 14000 clauses out of 28000 with flag 225171/110218
77.83/71.53	c cleaning 14998 clauses out of 30001 with flag 257745/126219
90.28/83.40	c cleaning 16002 clauses out of 32003 with flag 293395/143219
105.38/97.78	c cleaning 16996 clauses out of 33998 with flag 330853/161216
123.41/114.06	c cleaning 18002 clauses out of 36003 with flag 371815/180217
142.05/132.05	c cleaning 18999 clauses out of 38002 with flag 413285/200218
157.03/146.34	c cleaning 19995 clauses out of 40002 with flag 456865/221217
177.23/163.58	c cleaning 21002 clauses out of 42010 with flag 501845/243220
189.54/175.14	c cleaning 21992 clauses out of 44004 with flag 549336/266216
210.44/195.46	c cleaning 23008 clauses out of 46024 with flag 599943/290228
239.64/223.95	c cleaning 23999 clauses out of 48005 with flag 652263/315217
266.14/247.20	c cleaning 24997 clauses out of 50008 with flag 706735/341219
295.50/275.91	c cleaning 26002 clauses out of 52012 with flag 763233/368220
334.04/313.46	c cleaning 27003 clauses out of 54006 with flag 821849/396216
379.71/358.45	c cleaning 28001 clauses out of 56005 with flag 884494/425218
424.52/399.51	c cleaning 29004 clauses out of 58010 with flag 948498/455224
459.58/433.94	c cleaning 30000 clauses out of 60002 with flag 1014280/486220
491.96/465.43	c cleaning 30994 clauses out of 61998 with flag 1082324/518216
547.70/520.24	c cleaning 32004 clauses out of 64008 with flag 1152785/551220
587.43/555.70	c cleaning 32997 clauses out of 66002 with flag 1230018/585218
641.92/609.38	c cleaning 34001 clauses out of 68008 with flag 1306113/620221
685.61/652.29	c cleaning 34998 clauses out of 70002 with flag 1383294/656216
748.34/713.87	c cleaning 35999 clauses out of 72006 with flag 1463381/693218
809.77/770.60	c cleaning 37000 clauses out of 74006 with flag 1542095/731217
854.06/813.29	c cleaning 38002 clauses out of 76005 with flag 1622827/770216
922.02/879.90	c cleaning 39001 clauses out of 78007 with flag 1706633/810220
996.01/952.75	c cleaning 40002 clauses out of 80008 with flag 1796100/851222
1073.58/1029.34	c cleaning 40999 clauses out of 82002 with flag 1884143/893218
1156.64/1106.85	c cleaning 41999 clauses out of 84004 with flag 1975710/936219
1257.29/1206.52	c cleaning 42998 clauses out of 86002 with flag 2070910/980216
1341.07/1289.39	c cleaning 44001 clauses out of 88004 with flag 2168511/1025216
1418.48/1365.57	c cleaning 45002 clauses out of 90003 with flag 2267331/1071216
1462.59/1408.50	c cleaning 45999 clauses out of 92002 with flag 2365318/1118217
1518.99/1463.96	c cleaning 46999 clauses out of 94008 with flag 2469364/1166222
1600.56/1539.34	c cleaning 48001 clauses out of 96003 with flag 2578060/1215216
1673.80/1611.88	c cleaning 49004 clauses out of 98008 with flag 2686066/1265222
1752.77/1689.64	c cleaning 50000 clauses out of 100002 with flag 2796684/1316220
1833.51/1768.99	c cleaning 50995 clauses out of 101998 with flag 2910471/1368216
1901.23/1835.41	c cleaning 52004 clauses out of 104010 with flag 3024040/1421223
2008.50/1941.20	c cleaning 52996 clauses out of 105999 with flag 3137160/1475216
2126.50/2053.87	c cleaning 54002 clauses out of 108006 with flag 3253536/1530219
2217.45/2143.35	c cleaning 54997 clauses out of 110001 with flag 3377116/1586216
2320.26/2244.53	c cleaning 55999 clauses out of 112004 with flag 3502206/1643216
2408.28/2331.07	c cleaning 57004 clauses out of 114010 with flag 3629832/1701221
2482.10/2403.68	c cleaning 58000 clauses out of 116004 with flag 3762535/1760219
2609.28/2525.18	c cleaning 58997 clauses out of 118001 with flag 3893954/1820216
2714.82/2629.15	c cleaning 60002 clauses out of 120005 with flag 4024247/1881217
2833.75/2746.35	c cleaning 61004 clauses out of 122011 with flag 4157153/1943225
2946.58/2857.49	c cleaning 61993 clauses out of 123998 with flag 4291372/2006216
3080.41/2984.23	c cleaning 63003 clauses out of 126009 with flag 4426237/2070220
3193.92/3095.91	c cleaning 63998 clauses out of 128003 with flag 4565200/2135217
3290.27/3190.82	c cleaning 65001 clauses out of 130005 with flag 4705963/2201217
3408.24/3307.17	c cleaning 66003 clauses out of 132011 with flag 4852138/2268224
3525.28/3417.92	c cleaning 66996 clauses out of 134000 with flag 5002002/2336216
3600.05/3491.32	c starts		: 56
3600.05/3491.32	c conflicts		: 2392047
3600.05/3491.33	c decisions		: 2508545
3600.05/3491.33	c propagations		: 60732801
3600.05/3491.33	c inspects		: 11514854285
3600.05/3491.33	c shortcuts		: 0
3600.05/3491.33	c learnt literals	: 0
3600.05/3491.33	c learnt binary clauses	: 238
3600.05/3491.33	c learnt ternary clauses	: 0
3600.05/3491.33	c learnt constraints	: 2392047
3600.05/3491.33	c ignored constraints	: 0
3600.05/3491.33	c root simplifications	: 0
3600.05/3491.33	c removed literals (reason simplification)	: 52948548
3600.05/3491.33	c reason swapping (by a shorter reason)	: 0
3600.05/3491.33	c Calls to reduceDB	: 64
3600.05/3491.33	c Number of update (reduction) of LBD	: 28174
3600.05/3491.33	c Imported unit clauses	: 0
3600.05/3491.33	c No decision after first conflict	: false
3600.05/3491.33	c number of reductions to clauses (during analyze)	: 0
3600.05/3491.34	c number of learned constraints concerned by reduction	: 0
3600.05/3491.34	c number of learning phase by resolution	: 0
3600.05/3491.34	c number of learning phase by cutting planes	: 0
3600.05/3491.34	c number of rounding to 1 operations	: 0
3600.05/3491.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3491.34	c number of reductions of the coefficients by power 2 	: 0
3600.05/3491.34	c number of right shift for reduction by power 2 	: 0
3600.05/3491.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3491.34	c number of ending skipping 	: 0
3600.05/3491.34	c number of internal skipping 	: 0
3600.05/3491.34	c number of derivation steps 	: 0
3600.05/3491.34	c number of skipped derivation steps 	: 0
3600.05/3491.34	c number of remaining unassigned 	: 0
3600.05/3491.34	c number of remaining assigned 	: 0
3600.05/3491.34	c number of falsified literals weakened from reason	: 0
3600.05/3491.34	c number of falsified literals weakened from conflict	: 0
3600.05/3491.34	c time for arithmetic operations	: 0
3600.05/3491.34	c minimum degree of deleted constraints	: null
3600.05/3491.34	c maximum degree of deleted constraints	: null
3600.05/3491.34	c number of deleted constraints	: 0
3600.05/3491.35	c speed (assignments/second)	: 17396.54531371918
3600.05/3491.35	c non guided choices	: 2
3600.27/3491.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 122597
3600.27/3491.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 238
3600.27/3491.41	s SATISFIABLE
3600.27/3491.41	c Found 3 solution(s)
3600.27/3491.41	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 x252 
3600.27/3491.41	c objective function=-1448
3600.27/3491.41	c Total wall clock time (in seconds): 3491.282

Verifier Data 

OK	-1448

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (44533 MiB free)
  memory of node 1: 64507 MiB (37484 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524429-1751613505/watcher-4524429-1751613505 -o /tmp/evaluation-result-4524429-1751613505/solver-4524429-1751613505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751611413-88045 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524429-1751613505.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88341, runsolver pid=88338
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.16 4.18 4.13 7/339 88359
/proc/meminfo: memFree=83969548/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=18930384 memory=57840 CPUtime=0.12 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 6563 0 0 0 11 1 0 0 20 0 18 0 77028242 19384713216 14460 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4732596 14460 5364 1 0 547620 0
[pid=88341/tid=88343] ppid=88338 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 5067 0 0 0 7 1 0 0 20 0 18 0 77028244 19384713216 14460 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77028246 19384713216 14460 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=18930384 memory=59585004307076 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77028246 19384713216 14460 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57840 KiB

[startup+0.205834 s]*
/proc/loadavg: 4.16 4.18 4.13 7/338 88359
/proc/meminfo: memFree=83963436/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=18930384 memory=64020 CPUtime=0.32 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 7024 0 0 0 30 2 0 0 20 0 18 0 77028242 19384713216 16005 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4732596 16005 5428 1 0 547881 0
[pid=88341/tid=88343] ppid=88338 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 5276 0 0 0 16 1 0 0 20 0 18 0 77028244 19384713216 16005 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=18930384 memory=15140 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77028246 19384713216 16005 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77028246 19384713216 16005 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64020 KiB

[startup+0.305759 s]*
/proc/loadavg: 4.16 4.18 4.13 6/339 88360
/proc/meminfo: memFree=83963436/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=18996948 memory=70264 CPUtime=0.52 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 7918 0 0 0 49 3 0 0 20 0 19 0 77028242 19452874752 17566 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4749237 17566 5460 1 0 548505 0
[pid=88341/tid=88343] ppid=88338 vsize=18996948 memory=-6000919472740197479 CPUtime=0.25 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 5397 0 0 0 24 1 0 0 20 0 19 0 77028244 19452874752 17566 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77028246 19452874752 17566 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77028246 19452874752 17566 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77028269 19452874752 17566 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70264 KiB

[startup+0.70023 s]
/proc/loadavg: 4.16 4.18 4.13 6/339 88360
/proc/meminfo: memFree=83948188/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=18996948 memory=96800 CPUtime=1.27 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 10713 0 0 0 123 4 0 0 20 0 19 0 77028242 19452874752 24200 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4749237 24200 5460 1 0 550455 0
[pid=88341/tid=88343] ppid=88338 vsize=18996948 memory=14592 CPUtime=0.61 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 5423 0 0 0 59 2 0 0 20 0 19 0 77028244 19452874752 24200 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77028246 19452874752 24200 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77028246 19452874752 24200 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77028269 19452874752 24200 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96800 KiB

[startup+1.50023 s]
/proc/loadavg: 4.16 4.18 4.13 5/339 88360
/proc/meminfo: memFree=83890088/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=235028 CPUtime=2.3 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 12210 0 0 0 223 7 0 0 20 0 20 0 77028242 19521036288 58757 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 58757 5524 1 0 550764 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=10752 CPUtime=1.34 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 5593 0 0 0 131 3 0 0 20 0 20 0 77028244 19521036288 58757 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 58757 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 58757 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 58757 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 235028 KiB

[startup+3.10572 s]
/proc/loadavg: 4.31 4.21 4.14 6/340 88361
/proc/meminfo: memFree=83638288/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=473956 CPUtime=4.54 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 18231 0 0 0 441 13 0 0 20 0 20 0 77028242 19521036288 118489 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 118489 5524 1 0 551530 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=10752 CPUtime=2.68 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 6602 0 0 0 265 3 0 0 20 0 20 0 77028244 19521036288 118489 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=-6000919472740197479 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 118489 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 118489 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 118489 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 4.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 473956 KiB

[startup+6.30023 s]
/proc/loadavg: 4.31 4.21 4.14 5/340 88361
/proc/meminfo: memFree=83077200/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=949236 CPUtime=8.02 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 19456 0 0 0 779 23 0 0 20 0 20 0 77028242 19521036288 237309 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 237309 5524 1 0 1077926 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=0 CPUtime=5.63 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 6880 0 0 0 557 6 0 0 20 0 20 0 77028244 19521036288 237309 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 237309 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 237309 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=235028 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 237309 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 8.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 949236 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.20 4.14 5/340 88361
/proc/meminfo: memFree=82444652/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=1663108 CPUtime=14.88 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 20917 0 0 0 1452 36 0 0 20 0 20 0 77028242 19521036288 415777 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 415777 5524 1 0 1512409 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=235028 CPUtime=11.54 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 7231 0 0 0 1144 10 0 0 20 0 20 0 77028244 19521036288 415777 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 415777 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=1540228 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 415777 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 415777 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 14.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1663108 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.19 4.14 5/341 88363
/proc/meminfo: memFree=81217932/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=2849276 CPUtime=28.57 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 24809 0 0 0 2798 59 0 0 20 0 20 0 77028242 19521036288 712319 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 712319 5524 1 0 1669077 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=10752 CPUtime=23.45 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 8300 0 0 0 2331 14 0 0 20 0 20 0 77028244 19521036288 712319 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=1540228 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 712319 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 712319 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 712319 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 28.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2849276 KiB

[startup+51.1057 s]
/proc/loadavg: 4.22 4.19 4.14 5/340 88363
/proc/meminfo: memFree=79539612/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=4440636 CPUtime=56.79 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 43409 0 0 0 5583 96 0 0 20 0 20 0 77028242 19521036288 1110159 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 1110159 5556 1 0 1670430 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=14592 CPUtime=47.57 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 10575 0 0 0 4740 17 0 0 20 0 20 0 77028244 19521036288 1110159 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0

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

[startup+3162.3 s]
/proc/loadavg: 1.11 1.12 1.60 3/264 88630
/proc/meminfo: memFree=108193064/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=15157776 CPUtime=3261.82 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 345135 0 0 0 325743 439 0 0 20 0 20 0 77028242 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 3789444 5556 1 0 4084027 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=15157776 CPUtime=3089.15 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 186829 0 0 0 308807 108 0 0 20 0 20 0 77028244 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 2416 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=-6000919472740197479 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 3261.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15157776 KiB

[startup+3222.3 s]
/proc/loadavg: 1.13 1.13 1.57 2/264 88632
/proc/meminfo: memFree=108193436/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=15157776 CPUtime=3322.7 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 349830 0 0 0 331829 441 0 0 20 0 20 0 77028242 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 3789444 5556 1 0 4084027 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=15157776 CPUtime=3147.88 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 189588 0 0 0 314679 109 0 0 20 0 20 0 77028244 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=2852 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 2494 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 3322.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15157776 KiB

[startup+3282.3 s]
/proc/loadavg: 1.19 1.15 1.54 2/265 88637
/proc/meminfo: memFree=108193856/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=15157776 CPUtime=3383.5 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 356180 0 0 0 337906 444 0 0 20 0 20 0 77028242 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 3789444 5556 1 0 4084027 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=10752 CPUtime=3206.49 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 194154 0 0 0 320539 110 0 0 20 0 20 0 77028244 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 2578 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 3383.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15157776 KiB

[startup+3342.3 s]
/proc/loadavg: 1.17 1.15 1.52 2/265 88639
/proc/meminfo: memFree=108193736/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=15157776 CPUtime=3448.82 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 364403 0 0 0 344434 448 0 0 20 0 20 0 77028242 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 3789444 5556 1 0 4084027 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=15157776 CPUtime=3265.36 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 199199 0 0 0 326426 110 0 0 20 0 20 0 77028244 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 2626 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 3448.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15157776 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.14 1.49 2/265 88641
/proc/meminfo: memFree=108193624/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=15157776 CPUtime=3509.71 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 369734 0 0 0 350521 450 0 0 20 0 20 0 77028242 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 3789444 5556 1 0 4084027 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=10752 CPUtime=3324.02 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 201926 0 0 0 332291 111 0 0 20 0 20 0 77028244 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 2763 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 3789444 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 3509.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15157776 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.12 1.46 2/265 88643
/proc/meminfo: memFree=108193744/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=15157904 CPUtime=3570.62 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 377862 0 0 0 356610 452 0 0 20 0 20 0 77028242 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 3789476 5556 1 0 4084027 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=14592 CPUtime=3382.86 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 208116 0 0 0 338174 112 0 0 20 0 20 0 77028244 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=15157904 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 2764 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=15157904 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15157904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3491.3 s]
/proc/loadavg: 1.14 1.13 1.45 2/264 88643
/proc/meminfo: memFree=108193776/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19063512 memory=15157904 CPUtime=3600.05 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 381131 0 0 0 359552 453 0 0 20 0 20 0 77028242 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4765878 3789476 5556 1 0 4084027 0
[pid=88341/tid=88343] ppid=88338 vsize=19063512 memory=15157904 CPUtime=3411.09 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 209493 0 0 0 340997 112 0 0 20 0 20 0 77028244 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19063512 memory=15157904 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 2790 0 0 0 0 0 0 0 20 0 20 0 77028246 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88360] ppid=88338 vsize=19063512 memory=15157776 CPUtime=0 cores=0,2
/proc/88341/task/88360/stat : 88360 (Timer-0) S 88338 88341 88035 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77028269 19521036288 3789476 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15157904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.75 s, system=4.5819 s

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

[startup+3491.41 s]
/proc/loadavg: 1.14 1.13 1.45 2/264 88643
/proc/meminfo: memFree=108193776/131249996 swapFree=33003468/33010684
[pid=88341] ppid=88338 vsize=19263204 memory=15158672 CPUtime=3600.27 cores=0,2
/proc/88341/stat : 88341 (java) S 88338 88341 88035 0 -1 4194304 383545 0 0 0 359573 454 0 0 20 0 21 0 77028242 19725520896 3789668 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
/proc/88341/statm: 4815801 3789668 5588 1 0 4084964 0
[pid=88341/tid=88343] ppid=88338 vsize=19263204 memory=10752 CPUtime=3411.19 cores=0,2
/proc/88341/task/88343/stat : 88343 (java) R 88338 88341 88035 0 -1 4194368 209661 0 0 0 341007 112 0 0 20 0 21 0 77028244 19725520896 3789668 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88352] ppid=88338 vsize=19263204 memory=5504 CPUtime=0 cores=0,2
/proc/88341/task/88352/stat : 88352 (Finalizer) S 88338 88341 88035 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77028246 19725520896 3789668 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
[pid=88341/tid=88359] ppid=88338 vsize=19263204 memory=5276 CPUtime=0 cores=0,2
/proc/88341/task/88359/stat : 88359 (Common-Cleaner) S 88338 88341 88035 0 -1 4194368 2790 0 0 0 0 0 0 0 20 0 21 0 77028246 19725520896 3789668 18446744073709551615 94117096996864 94117097000560 140729957039104 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94117097008376 94117097009168 94117110128640 140729957046657 140729957046758 140729957046758 140729957052360 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 15158672 KiB

Child status: 143

Real time (s): 3491.46
CPU time (s): 3600.33
CPU user time (s): 3595.75
CPU system time (s): 4.5819
CPU usage (%): 103.118
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 15158672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.75
system time used= 4.5819
maximum resident set size= 15158928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113305
involuntary context switches= 12327


# summary of solver processes directly reported to runsolver:
#   pid: 88341
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3595.75
#   total CPU system time (s): 4.5819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93516 second user time and 16.3016 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-04 09:18:26
IDJOB=4524429
IDBENCH=181003
IDSOLVER=3363
FILE ID=nodeC021/4524429-1751613505
RUNJOBID= nodeC021-1751611413-88045
SLURM_JOB_ID= 9598910
Free space on /tmp= 430240 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_2017.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524429-1751613505/watcher-4524429-1751613505 -o /tmp/evaluation-result-4524429-1751613505/solver-4524429-1751613505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751611413-88045 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524429-1751613505.opb

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

MD5SUM BENCH= 37df5ddf0b76834adc52c19dbb6544de
RANDOM SEED=2139202773

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        83986936 kB
MemAvailable:   91012260 kB
Buffers:            1056 kB
Cached:          7758360 kB
SwapCached:           32 kB
Active:         39156296 kB
Inactive:        7295860 kB
Active(anon):   38665376 kB
Inactive(anon):    40820 kB
Active(file):     490920 kB
Inactive(file):  7255040 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               700 kB
Writeback:             0 kB
AnonPages:      38696100 kB
Mapped:           119412 kB
Shmem:             13452 kB
KReclaimable:     236808 kB
Slab:             329268 kB
SReclaimable:     236808 kB
SUnreclaim:        92460 kB
KernelStack:        5184 kB
PageTables:        79388 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   45229328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:  38262784 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430948 MiB
End job on nodeC021 at 2025-07-04 10:16:37