Trace number 4443164

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT 1986.44 1992.6

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
MD5SUM13744d26940a0db30366992d9fdeef8c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.088516
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370
Total number of constraints809
Number of constraints which are clauses558
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints249
Minimum length of a constraint1
Maximum length of a constraint121
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 138
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4443164-1721312408.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.046s.
0.13/0.17	c declared #vars     370
0.13/0.17	c #constraints  809
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 195
0.13/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.13/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 249
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 362
0.13/0.17	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.13/0.17	c 809 constraints processed.
1.11/0.66	c cleaning 2500 clauses out of 4999 with flag 16161/5001
1.73/1.07	c cleaning 4249 clauses out of 8498 with flag 41386/11000
2.60/1.71	c cleaning 5625 clauses out of 11249 with flag 76973/18000
3.40/2.37	c cleaning 6810 clauses out of 13624 with flag 119552/26000
4.31/3.23	c cleaning 7908 clauses out of 15816 with flag 170970/35002
5.67/4.49	c cleaning 8952 clauses out of 17905 with flag 237848/45000
7.25/5.90	c cleaning 9970 clauses out of 19953 with flag 311228/56000
8.76/7.40	c cleaning 10992 clauses out of 21983 with flag 384224/68000
10.65/9.40	c cleaning 11996 clauses out of 23991 with flag 467780/81000
12.73/11.42	c cleaning 12997 clauses out of 25997 with flag 559251/95002
15.22/13.98	c cleaning 13999 clauses out of 27999 with flag 661625/110001
18.58/17.37	c cleaning 14996 clauses out of 30003 with flag 777026/126004
22.30/21.10	c cleaning 15994 clauses out of 32003 with flag 892658/143000
27.38/26.15	c cleaning 17000 clauses out of 34009 with flag 1023446/161001
32.52/31.39	c cleaning 17997 clauses out of 36008 with flag 1152363/180000
38.37/37.21	c cleaning 19002 clauses out of 38011 with flag 1293680/200000
46.01/44.93	c cleaning 20000 clauses out of 40010 with flag 1454459/221001
53.84/52.80	c cleaning 20998 clauses out of 42009 with flag 1621745/243000
62.70/61.71	c cleaning 22003 clauses out of 44013 with flag 1796934/266002
71.71/70.89	c cleaning 22995 clauses out of 46008 with flag 1982423/290000
84.50/83.78	c cleaning 23997 clauses out of 48017 with flag 2185262/315004
98.72/98.03	c cleaning 25009 clauses out of 50018 with flag 2399712/341002
113.28/112.79	c cleaning 25999 clauses out of 52008 with flag 2625385/368001
131.68/131.23	c cleaning 26997 clauses out of 54008 with flag 2864153/396001
148.63/148.40	c cleaning 27998 clauses out of 56009 with flag 3092851/425000
169.37/169.22	c cleaning 28995 clauses out of 58012 with flag 3339741/455001
188.79/188.81	c cleaning 29999 clauses out of 60016 with flag 3575206/486000
209.52/209.71	c cleaning 31003 clauses out of 62017 with flag 3809012/518000
233.64/233.94	c cleaning 31995 clauses out of 64014 with flag 4051142/551000
253.27/253.61	c cleaning 33003 clauses out of 66021 with flag 4306666/585002
265.79/266.11	c cleaning 34002 clauses out of 68017 with flag 4530370/620001
292.02/292.45	c cleaning 34996 clauses out of 70014 with flag 4868693/656000
322.15/322.64	c cleaning 36000 clauses out of 72018 with flag 5274979/693000
346.81/347.32	c cleaning 37002 clauses out of 74019 with flag 5676911/731001
371.64/372.21	c cleaning 38002 clauses out of 76016 with flag 6092632/770000
398.30/398.92	c cleaning 38997 clauses out of 78014 with flag 6576049/810000
428.86/429.59	c cleaning 40003 clauses out of 80024 with flag 7048384/851007
458.47/459.27	c cleaning 40995 clauses out of 82014 with flag 7572817/893000
491.90/492.88	c cleaning 42001 clauses out of 84019 with flag 8140604/936000
519.16/520.19	c cleaning 42998 clauses out of 86019 with flag 8619367/980001
541.30/542.32	c cleaning 44006 clauses out of 88019 with flag 8990859/1025000
569.34/570.42	c cleaning 45001 clauses out of 90014 with flag 9397111/1071001
595.74/596.94	c cleaning 45992 clauses out of 92013 with flag 9826261/1118001
634.18/635.41	c cleaning 47003 clauses out of 94020 with flag 10331641/1166000
673.10/674.66	c cleaning 48002 clauses out of 96018 with flag 10975964/1215001
715.49/717.10	c cleaning 48998 clauses out of 98017 with flag 11545778/1265002
754.03/755.76	c cleaning 49997 clauses out of 100017 with flag 12091924/1316000
793.91/795.74	c cleaning 51005 clauses out of 102025 with flag 12665709/1368005
827.07/828.99	c cleaning 51999 clauses out of 104017 with flag 13227380/1421002
865.91/867.80	c cleaning 53001 clauses out of 106017 with flag 13850994/1475001
902.19/904.21	c cleaning 54002 clauses out of 108016 with flag 14420078/1530001
944.45/946.68	c cleaning 55001 clauses out of 110013 with flag 15006504/1586000
990.09/992.34	c cleaning 55999 clauses out of 112012 with flag 15632142/1643000
1049.62/1052.00	c cleaning 57002 clauses out of 114016 with flag 16486032/1701003
1115.49/1118.10	c cleaning 58003 clauses out of 116014 with flag 17396712/1760003
1174.11/1176.83	c cleaning 59002 clauses out of 118008 with flag 18279983/1820000
1246.21/1249.16	c cleaning 59992 clauses out of 120007 with flag 19125205/1881001
1319.05/1322.13	c cleaning 60999 clauses out of 122014 with flag 20054030/1943000
1382.48/1385.79	c cleaning 62003 clauses out of 124016 with flag 20968349/2006001
1444.32/1447.88	c cleaning 63001 clauses out of 126012 with flag 21887304/2070000
1512.60/1516.75	c cleaning 64004 clauses out of 128011 with flag 22633589/2135000
1573.35/1577.95	c cleaning 65001 clauses out of 130010 with flag 23280173/2201003
1637.28/1642.42	c cleaning 66002 clauses out of 132006 with flag 23940046/2268000
1688.70/1694.24	c cleaning 66985 clauses out of 134004 with flag 24558276/2336000
1755.20/1760.99	c cleaning 67998 clauses out of 136019 with flag 25169992/2405000
1833.97/1839.97	c cleaning 69003 clauses out of 138023 with flag 25898978/2475002
1914.41/1920.41	c cleaning 70003 clauses out of 140018 with flag 26824539/2546000
1984.40/1990.66	c cleaning 71000 clauses out of 142016 with flag 27716555/2618001
1986.30/1992.51	c SATISFIABLE
1986.30/1992.52	c starts		: 8922
1986.30/1992.53	c conflicts		: 2621720
1986.30/1992.53	c decisions		: 3836545
1986.30/1992.53	c propagations		: 87746700
1986.30/1992.53	c inspects		: 18328916457
1986.30/1992.53	c shortcuts		: 0
1986.30/1992.53	c learnt literals	: 7
1986.30/1992.53	c learnt binary clauses	: 24
1986.30/1992.53	c learnt ternary clauses	: 68
1986.30/1992.53	c learnt constraints	: 2621713
1986.30/1992.53	c ignored constraints	: 0
1986.30/1992.53	c root simplifications	: 0
1986.30/1992.53	c removed literals (reason simplification)	: 0
1986.30/1992.53	c reason swapping (by a shorter reason)	: 0
1986.30/1992.53	c Calls to reduceDB	: 68
1986.30/1992.53	c Number of update (reduction) of LBD	: 495105
1986.30/1992.53	c Imported unit clauses	: 0
1986.30/1992.53	c No decision after first conflict	: false
1986.30/1992.53	c number of reductions to clauses (during analyze)	: 0
1986.30/1992.53	c number of learned constraints concerned by reduction	: 0
1986.30/1992.53	c number of learning phase by resolution	: 0
1986.30/1992.53	c number of learning phase by cutting planes	: 0
1986.30/1992.53	c number of rounding to 1 operations	: 0
1986.30/1992.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1986.30/1992.53	c number of reductions of the coefficients by power 2 	: 0
1986.30/1992.53	c number of right shift for reduction by power 2 	: 0
1986.30/1992.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
1986.30/1992.53	c number of ending skipping 	: 0
1986.30/1992.53	c number of internal skipping 	: 0
1986.30/1992.53	c number of derivation steps 	: 0
1986.30/1992.54	c number of skipped derivation steps 	: 0
1986.30/1992.54	c number of remaining unassigned 	: 0
1986.30/1992.54	c number of remaining assigned 	: 0
1986.30/1992.54	c number of falsified literals weakened from reason	: 0
1986.30/1992.54	c number of falsified literals weakened from conflict	: 0
1986.30/1992.54	c time for arithmetic operations	: 0
1986.30/1992.54	c minimum degree of deleted constraints	: null
1986.30/1992.54	c maximum degree of deleted constraints	: null
1986.30/1992.54	c number of deleted constraints	: 0
1986.30/1992.54	c speed (assignments/second)	: 44041.69939594098
1986.30/1992.54	c non guided choices	: 30
1986.30/1992.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 74711
1986.30/1992.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 24
1986.30/1992.58	s SATISFIABLE
1986.30/1992.58	c Found 1 solution(s)
1986.30/1992.58	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 x253 -x254 x255 -x256 x257 -x258 -x259 x260 -x261 x262 -x263 x264 -x265 x266 x267 -x268 -x269 x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 -x281 x282 -x283 x284 -x285 x286 -x287 x288 x289 -x290 -x291 x292 x293 -x294 x295 -x296 x297 -x298 -x299 x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 x308 -x309 x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 x318 x319 -x320 x321 -x322 x323 -x324 -x325 x326 x327 -x328 -x329 x330 x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 x360 x361 -x362 x363 -x364 x365 -x366 -x367 x368 x369 -x370 
1986.30/1992.58	c Total wall clock time (in seconds): 1992.456

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443164-1721312408/watcher-4443164-1721312408 -o /tmp/evaluation-result-4443164-1721312408/solver-4443164-1721312408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960571 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4443164-1721312408.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
Current StackSize limit: 8192 KiB

solver pid=965132, runsolver pid=965129

[startup+0.100282 s]*
/proc/loadavg: 4.14 4.12 4.14 5/329 965150
/proc/meminfo: memFree=88444000/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=18975048 memory=63428 CPUtime=0.13 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 7216 0 0 0 12 1 0 0 20 0 18 0 183399971 19430449152 15857 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4743762 15857 5694 1 0 549335 0
[pid=965132/tid=965134] ppid=965129 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 1078198336 5732 0 0 0 7 1 0 0 20 0 18 0 183399972 19430449152 15857 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183399974 19430449152 15857 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=18975048 memory=14134446136991189 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183399974 19430449152 15857 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63428 KiB

[startup+0.208164 s]*
/proc/loadavg: 4.14 4.12 4.14 7/330 965151
/proc/meminfo: memFree=88437972/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19041612 memory=69668 CPUtime=0.34 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 7705 0 0 0 32 2 0 0 20 0 19 0 183399971 19498610688 17417 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4760403 17417 5846 1 0 549889 0
[pid=965132/tid=965134] ppid=965129 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 5952 0 0 0 17 1 0 0 20 0 19 0 183399972 19498610688 17417 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19041612 memory=1285800 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 17417 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19041612 memory=13571496182286042 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 17417 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183399989 19498610688 17417 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69668 KiB

[startup+0.306154 s]*
/proc/loadavg: 4.14 4.12 4.14 7/330 965151
/proc/meminfo: memFree=88433528/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19041612 memory=73600 CPUtime=0.53 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 9470 0 0 0 51 2 0 0 20 0 19 0 183399971 19498610688 18400 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4760403 18400 5846 1 0 550850 0
[pid=965132/tid=965134] ppid=965129 vsize=19041612 memory=-8528526212209091260 CPUtime=0.27 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 5972 0 0 0 26 1 0 0 20 0 19 0 183399972 19498610688 18400 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 18400 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 18400 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183399989 19498610688 18400 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73600 KiB

[startup+0.706154 s]
/proc/loadavg: 4.14 4.12 4.14 7/330 965151
/proc/meminfo: memFree=88424676/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19041612 memory=90660 CPUtime=1.3 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 12893 0 0 0 127 3 0 0 20 0 19 0 183399971 19498610688 22665 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4760403 22665 5862 1 0 553025 0
[pid=965132/tid=965134] ppid=965129 vsize=19041612 memory=27344 CPUtime=0.64 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 6027 0 0 0 63 1 0 0 20 0 19 0 183399972 19498610688 22665 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19041612 memory=4892 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 22665 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19041612 memory=1200 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 22665 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19041612 memory=2240 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183399989 19498610688 22665 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90660 KiB

[startup+1.50115 s]
/proc/loadavg: 4.14 4.12 4.14 7/330 965151
/proc/meminfo: memFree=88409960/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19041612 memory=104700 CPUtime=2.34 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 16922 0 0 0 231 3 0 0 20 0 19 0 183399971 19498610688 26175 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4760403 26175 5878 1 0 553269 0
[pid=965132/tid=965134] ppid=965129 vsize=19041612 memory=4892 CPUtime=1.43 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 6437 0 0 0 141 2 0 0 20 0 19 0 183399972 19498610688 26175 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 26175 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19041612 memory=1200 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 26175 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19041612 memory=2240 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183399989 19498610688 26175 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104700 KiB

[startup+3.10615 s]
/proc/loadavg: 4.21 4.13 4.15 6/295 965223
/proc/meminfo: memFree=111239376/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19041612 memory=139072 CPUtime=4.22 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 22782 0 0 0 418 4 0 0 20 0 19 0 183399971 19498610688 34768 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4760403 34768 5878 1 0 556407 0
[pid=965132/tid=965134] ppid=965129 vsize=19041612 memory=0 CPUtime=3.02 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 6809 0 0 0 300 2 0 0 20 0 19 0 183399972 19498610688 34768 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19041612 memory=-8528526212209091260 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 34768 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19041612 memory=4892 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 34768 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19041612 memory=1200 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183399989 19498610688 34768 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139072 KiB

[startup+6.30117 s]
/proc/loadavg: 4.21 4.13 4.15 5/328 965287
/proc/meminfo: memFree=110998232/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19041612 memory=160364 CPUtime=7.65 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 28540 0 0 0 760 5 0 0 20 0 19 0 183399971 19498610688 40091 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4760403 40091 5878 1 0 556411 0
[pid=965132/tid=965134] ppid=965129 vsize=19041612 memory=1200 CPUtime=6.17 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 7631 0 0 0 614 3 0 0 20 0 19 0 183399972 19498610688 40091 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 40091 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19041612 memory=4892 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183399974 19498610688 40091 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19041612 memory=-8033973737701895300 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183399989 19498610688 40091 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 7.65 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160364 KiB

[startup+12.7011 s]
/proc/loadavg: 4.28 4.15 4.15 5/331 965290
/proc/meminfo: memFree=110879348/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=185440 CPUtime=14.03 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 31766 0 0 0 1396 7 0 0 20 0 20 0 183399971 19566772224 46360 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 46360 5910 1 0 556700 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=4892 CPUtime=12.5 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 8258 0 0 0 1247 3 0 0 20 0 20 0 183399972 19566772224 46360 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=185440 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 46360 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=185440 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 46360 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=164460 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 46360 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 14.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185440 KiB

[startup+25.5012 s]
/proc/loadavg: 4.21 4.14 4.15 5/333 965297
/proc/meminfo: memFree=110711688/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=193800 CPUtime=26.78 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 36482 0 0 0 2670 8 0 0 20 0 20 0 183399971 19566772224 48450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 48450 5915 1 0 556700 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=7676 CPUtime=25.17 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 9372 0 0 0 2514 3 0 0 20 0 20 0 183399972 19566772224 48450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 48450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 48450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=-8549726995234013338 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 48450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193800 KiB

[startup+51.1062 s]
/proc/loadavg: 4.51 4.21 4.17 5/333 965302
/proc/meminfo: memFree=110369608/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=243072 CPUtime=52.16 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 39369 0 0 0 5206 10 0 0 20 0 20 0 183399971 19566772224 60768 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 60768 5915 1 0 556700 0

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

/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1956.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

[startup+1992.6 s]
# the end of solver process 965132 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=1985.39 s, system=1.05781 s

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

[startup+1971.2 s]
/proc/loadavg: 4.20 4.17 4.18 5/333 966404
/proc/meminfo: memFree=119004764/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1965.06 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 103440 0 0 0 196403 103 0 0 20 0 20 0 183399971 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 450450 5946 1 0 558616 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=-8549726986677567386 CPUtime=1958.67 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 37957 0 0 0 195853 14 0 0 20 0 20 0 183399972 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 2118 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1965.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

[startup+1984 s]*
/proc/loadavg: 4.23 4.18 4.18 5/333 966407
/proc/meminfo: memFree=119004624/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1977.83 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 103482 0 0 0 197679 104 0 0 20 0 20 0 183399971 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 450450 5946 1 0 558616 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=1647372 CPUtime=1971.43 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 37996 0 0 0 197129 14 0 0 20 0 20 0 183399972 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=-8549726986677567386 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=4160 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 2118 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=20900 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1977.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

[startup+1987.2 s]
/proc/loadavg: 4.23 4.18 4.18 5/333 966407
/proc/meminfo: memFree=119004624/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1981.02 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 103597 0 0 0 197998 104 0 0 20 0 20 0 183399971 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 450450 5946 1 0 558616 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1974.62 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 38104 0 0 0 197448 14 0 0 20 0 20 0 183399972 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=-8528526212209091260 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 2118 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=736 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1981.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

[startup+1990.4 s]
/proc/loadavg: 4.21 4.17 4.18 5/333 966407
/proc/meminfo: memFree=119004644/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1984.2 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 103687 0 0 0 198316 104 0 0 20 0 20 0 183399971 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 450450 5946 1 0 558616 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1977.81 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 38120 0 0 0 197767 14 0 0 20 0 20 0 183399972 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=1801800 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=1801800 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 2190 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=1801800 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1984.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

[startup+1991.2 s]
/proc/loadavg: 4.21 4.17 4.18 5/333 966407
/proc/meminfo: memFree=119004652/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1985 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 103823 0 0 0 198396 104 0 0 20 0 20 0 183399971 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 450450 5946 1 0 558616 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1978.6 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 38256 0 0 0 197846 14 0 0 20 0 20 0 183399972 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=1200 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 2190 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1985 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

[startup+1992 s]*
/proc/loadavg: 4.21 4.17 4.18 6/333 966407
/proc/meminfo: memFree=119002592/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1985.8 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 103826 0 0 0 198476 104 0 0 20 0 20 0 183399971 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 450450 5946 1 0 558616 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=-8528525108402496188 CPUtime=1979.41 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 38259 0 0 0 197927 14 0 0 20 0 20 0 183399972 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=-8549726986677567386 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=4109880337892351348 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 2190 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=2633844 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1985.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

[startup+1992.4 s]
/proc/loadavg: 4.21 4.17 4.18 6/333 966407
/proc/meminfo: memFree=119002592/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1986.2 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 103827 0 0 0 198516 104 0 0 20 0 20 0 183399971 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 450450 5946 1 0 558616 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=-8528526212209091260 CPUtime=1979.8 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 38260 0 0 0 197966 14 0 0 20 0 20 0 183399972 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=356 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=15484 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 2190 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=2868 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1986.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

[startup+1992.5 s]
/proc/loadavg: 4.21 4.17 4.18 6/333 966407
/proc/meminfo: memFree=119002592/131524600 swapFree=130798872/131071996
[pid=965132] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1986.3 cores=0,2
/proc/965132/stat : 965132 (java) S 965129 965132 960561 0 -1 1077936128 103827 0 0 0 198526 104 0 0 20 0 20 0 183399971 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
/proc/965132/statm: 4777044 450450 5946 1 0 558616 0
[pid=965132/tid=965134] ppid=965129 vsize=19108176 memory=1801800 CPUtime=1979.9 cores=0,2
/proc/965132/task/965134/stat : 965134 (java) R 965129 965132 960561 0 -1 4194368 38260 0 0 0 197976 14 0 0 20 0 20 0 183399972 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965143] ppid=965129 vsize=19108176 memory=1551644 CPUtime=0 cores=0,2
/proc/965132/task/965143/stat : 965143 (Finalizer) S 965129 965132 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965150] ppid=965129 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/965132/task/965150/stat : 965150 (Common-Cleaner) S 965129 965132 960561 0 -1 1077936192 2190 0 0 0 0 0 0 0 20 0 20 0 183399974 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
[pid=965132/tid=965151] ppid=965129 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/965132/task/965151/stat : 965151 (Timer-0) S 965129 965132 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183399989 19566772224 450450 134679101440 94701590126592 94701590130288 140733052863296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701590138104 94701590138896 94701591883776 140733052867590 140733052867680 140733052867680 140733052874696 0
Current children cumulated CPU time: 1986.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1801800 KiB

Child status: 10

Real time (s): 1992.6
CPU time (s): 1986.44
CPU user time (s): 1985.39
CPU system time (s): 1.05781
CPU usage (%): 99.6911
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1801800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1985.39
system time used= 1.05781
maximum resident set size= 1803344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107224
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58887
involuntary context switches= 17137


# summary of solver processes directly reported to runsolver:
#   pid: 965132
#   total CPU time (s): 1986.44
#   total CPU user time (s): 1985.39
#   total CPU system time (s): 1.05781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25033 second user time and 9.75497 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 16:20:21
IDJOB=4443164
IDBENCH=147865
IDSOLVER=3058
FILE ID=nodeC014/4443164-1721312408
RUNJOBID= nodeC014-1721305283-960571
SLURM_JOB_ID= 7542633
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443164-1721312408/watcher-4443164-1721312408 -o /tmp/evaluation-result-4443164-1721312408/solver-4443164-1721312408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960571 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4443164-1721312408.opb

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

MD5SUM BENCH= 13744d26940a0db30366992d9fdeef8c
RANDOM SEED=1242408845

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        88486368 kB
MemAvailable:   91565148 kB
Buffers:          437596 kB
Cached:          3445032 kB
SwapCached:        12904 kB
Active:          1351836 kB
Inactive:       41023600 kB
Active(anon):       9308 kB
Inactive(anon): 38503884 kB
Active(file):    1342528 kB
Inactive(file):  2519716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130798872 kB
Dirty:               920 kB
Writeback:             0 kB
AnonPages:      38483916 kB
Mapped:            69524 kB
Shmem:             20400 kB
KReclaimable:     112364 kB
Slab:             211212 kB
SReclaimable:     112364 kB
SUnreclaim:        98848 kB
KernelStack:        5024 kB
PageTables:        85804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   46789300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:  38021120 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:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC014 at 2024-07-18 16:53:33