Trace number 4498320

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)44 3600.31 3605.75

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb
MD5SUMad9f015f2527cb1437d18525e7f300ba
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 benchmark26
Best CPU time to get the best result obtained on this benchmark72000.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products15670
Sum of products size31340

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.11/0.10	c Free memory 		2104792832
0.11/0.10	c Max memory 		16282288128
0.11/0.10	c Total memory 		2113929216
0.11/0.11	c Number of processors 	2
0.11/0.15	c Pseudo Boolean Optimization by upper bound
0.11/0.15	c --- Begin Solver configuration ---
0.11/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.15	c Learn all clauses as in MiniSAT
0.11/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.15	c Expensive reason simplification
0.11/0.15	c Glucose 2.1 dynamic restart strategy
0.11/0.15	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.11/0.15	c timeout=2147483s
0.11/0.15	c DB Simplification allowed=false
0.11/0.15	c Listener: none
0.11/0.15	c --- End Solver configuration ---
0.11/0.15	c solving HOME/instance-4498320-1751275683.opb
0.11/0.15	c reading problem ... 
0.11/0.15	c  objective function found
0.48/0.36	c ... done. Wall clock time 0.202s.
0.48/0.36	c declared #vars     500
0.48/0.36	c internal #vars     16170
0.48/0.36	c #constraints  31840
0.48/0.36	c constraints type 
0.48/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
0.48/0.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16170
0.48/0.36	c 31840 constraints processed.
0.48/0.37	c objective function length is 500 literals
0.68/0.43	c SATISFIABLE
0.68/0.43	c OPTIMIZING...
0.68/0.43	c Got one! Elapsed wall clock time (in seconds):0.278
0.68/0.43	o 45
0.87/0.54	c Got one! Elapsed wall clock time (in seconds):0.393
0.87/0.54	o 44
12.70/11.57	c cleaning 2595 clauses out of 5205 with flag 20464/5205
32.58/31.11	c cleaning 4291 clauses out of 8610 with flag 43350/11205
55.61/54.12	c cleaning 5655 clauses out of 11319 with flag 68827/18205
82.64/81.21	c cleaning 6811 clauses out of 13664 with flag 96329/26205
112.19/110.75	c cleaning 7916 clauses out of 15853 with flag 127017/35205
144.62/143.29	c cleaning 8959 clauses out of 17937 with flag 160952/45205
179.66/178.38	c cleaning 9956 clauses out of 19978 with flag 198522/56205
208.50/207.27	c cleaning 11007 clauses out of 22022 with flag 245440/68205
239.63/238.43	c cleaning 12006 clauses out of 24016 with flag 291299/81206
275.06/273.91	c cleaning 12974 clauses out of 26009 with flag 341917/95205
311.49/310.47	c cleaning 14004 clauses out of 28037 with flag 394429/110207
351.50/350.59	c cleaning 15013 clauses out of 30034 with flag 450157/126208
390.67/389.76	c cleaning 15977 clauses out of 32020 with flag 505364/143207
431.53/430.63	c cleaning 16993 clauses out of 34041 with flag 562187/161205
478.79/477.96	c cleaning 18017 clauses out of 36048 with flag 628101/180205
532.49/531.77	c cleaning 19008 clauses out of 38032 with flag 703012/200206
582.82/582.19	c cleaning 20011 clauses out of 40025 with flag 776978/221207
636.33/635.71	c cleaning 20987 clauses out of 42013 with flag 856678/243206
693.65/693.19	c cleaning 22000 clauses out of 44025 with flag 932860/266205
749.18/748.72	c cleaning 22994 clauses out of 46029 with flag 1005709/290209
810.47/810.17	c cleaning 23985 clauses out of 48031 with flag 1095448/315205
875.33/875.14	c cleaning 25004 clauses out of 50048 with flag 1184327/341207
939.97/939.95	c cleaning 26003 clauses out of 52042 with flag 1278557/368205
1008.25/1008.31	c cleaning 27001 clauses out of 54039 with flag 1370497/396205
1077.47/1077.77	c cleaning 27994 clauses out of 56038 with flag 1462430/425205
1143.72/1144.12	c cleaning 28983 clauses out of 58046 with flag 1564746/455207
1202.96/1203.51	c cleaning 29987 clauses out of 60062 with flag 1667155/486206
1258.66/1259.39	c cleaning 31018 clauses out of 62076 with flag 1788471/518207
1314.93/1315.78	c cleaning 32004 clauses out of 64056 with flag 1907756/551205
1374.27/1375.28	c cleaning 33024 clauses out of 66052 with flag 2034332/585205
1439.21/1440.39	c cleaning 33996 clauses out of 68028 with flag 2154838/620205
1506.37/1507.60	c cleaning 34985 clauses out of 70032 with flag 2268821/656205
1573.41/1574.85	c cleaning 36014 clauses out of 72047 with flag 2404740/693205
1643.14/1644.78	c cleaning 37015 clauses out of 74035 with flag 2543836/731207
1718.78/1720.58	c cleaning 38000 clauses out of 76026 with flag 2674728/770213
1794.89/1796.83	c cleaning 38984 clauses out of 78019 with flag 2804009/810206
1868.41/1870.57	c cleaning 40003 clauses out of 80034 with flag 2960201/851205
1943.18/1945.42	c cleaning 41004 clauses out of 82031 with flag 3106451/893205
2021.11/2023.55	c cleaning 42003 clauses out of 84028 with flag 3259378/936206
2097.05/2099.64	c cleaning 43008 clauses out of 86024 with flag 3426658/980205
2179.68/2182.46	c cleaning 43995 clauses out of 88016 with flag 3589733/1025205
2263.30/2266.29	c cleaning 44994 clauses out of 90021 with flag 3754162/1071205
2349.15/2352.22	c cleaning 45973 clauses out of 92027 with flag 3914454/1118205
2436.47/2439.77	c cleaning 47024 clauses out of 94054 with flag 4083108/1166205
2527.58/2531.04	c cleaning 48005 clauses out of 96033 with flag 4259193/1215208
2621.11/2624.74	c cleaning 48996 clauses out of 98027 with flag 4418602/1265207
2715.48/2719.38	c cleaning 49969 clauses out of 100032 with flag 4598216/1316208
2809.61/2813.62	c cleaning 51007 clauses out of 102060 with flag 4776862/1368205
2905.61/2909.86	c cleaning 52004 clauses out of 104053 with flag 4960921/1421205
3005.34/3009.73	c cleaning 53006 clauses out of 106052 with flag 5136459/1475208
3107.53/3112.13	c cleaning 53995 clauses out of 108044 with flag 5319064/1530206
3213.04/3217.87	c cleaning 54993 clauses out of 110052 with flag 5499550/1586209
3318.62/3323.69	c cleaning 56011 clauses out of 112055 with flag 5699999/1643205
3425.50/3430.75	c cleaning 57023 clauses out of 114045 with flag 5888433/1701206
3539.88/3545.34	c cleaning 57977 clauses out of 116021 with flag 6086349/1760205
3600.04/3605.62	c starts		: 950
3600.04/3605.63	c conflicts		: 1790821
3600.04/3605.63	c decisions		: 8445080
3600.04/3605.63	c propagations		: 7897430319
3600.04/3605.63	c inspects		: 35505378691
3600.04/3605.63	c shortcuts		: 0
3600.04/3605.63	c learnt literals	: 0
3600.04/3605.63	c learnt binary clauses	: 0
3600.04/3605.63	c learnt ternary clauses	: 0
3600.04/3605.63	c learnt constraints	: 1790821
3600.04/3605.63	c ignored constraints	: 0
3600.04/3605.64	c root simplifications	: 0
3600.04/3605.64	c removed literals (reason simplification)	: 199390
3600.04/3605.64	c reason swapping (by a shorter reason)	: 0
3600.04/3605.64	c Calls to reduceDB	: 55
3600.04/3605.64	c Number of update (reduction) of LBD	: 834610
3600.04/3605.64	c Imported unit clauses	: 0
3600.04/3605.64	c No decision after first conflict	: false
3600.04/3605.64	c number of reductions to clauses (during analyze)	: 0
3600.04/3605.64	c number of learned constraints concerned by reduction	: 0
3600.04/3605.64	c number of learning phase by resolution	: 0
3600.04/3605.64	c number of learning phase by cutting planes	: 0
3600.04/3605.64	c number of rounding to 1 operations	: 0
3600.04/3605.64	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3605.64	c number of reductions of the coefficients by power 2 	: 0
3600.04/3605.64	c number of right shift for reduction by power 2 	: 0
3600.04/3605.64	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3605.64	c number of ending skipping 	: 0
3600.04/3605.64	c number of internal skipping 	: 0
3600.04/3605.64	c number of derivation steps 	: 0
3600.04/3605.64	c number of skipped derivation steps 	: 0
3600.04/3605.64	c number of remaining unassigned 	: 0
3600.04/3605.64	c number of remaining assigned 	: 0
3600.04/3605.64	c number of falsified literals weakened from reason	: 0
3600.04/3605.64	c number of falsified literals weakened from conflict	: 0
3600.04/3605.64	c time for arithmetic operations	: 0
3600.04/3605.66	c minimum degree of deleted constraints	: null
3600.04/3605.66	c maximum degree of deleted constraints	: null
3600.04/3605.66	c number of deleted constraints	: 0
3600.04/3605.66	c speed (assignments/second)	: 2190519.7073622914
3600.04/3605.66	c non guided choices	: 0
3600.23/3605.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 88660
3600.23/3605.71	s SATISFIABLE
3600.23/3605.71	c Found 2 solution(s)
3600.23/3605.73	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 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 x474 x475 -x476 -x477 x478 -x479 x480 x481 -x482 x483 x484 x485 x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 x497 -x498 -x499 -x500 
3600.23/3605.73	c objective function=44
3600.23/3605.73	c Total wall clock time (in seconds): 3605.582

Verifier Data 

OK	44

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: 63708 MiB (58774 MiB free)
  memory of node 1: 64465 MiB (50235 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498320-1751275683/watcher-4498320-1751275683 -o /tmp/evaluation-result-4498320-1751275683/solver-4498320-1751275683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36244 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498320-1751275683.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB

solver pid=37052, runsolver pid=37049

[startup+0.100061 s]*
/proc/loadavg: 4.09 4.11 4.14 7/338 37070
/proc/meminfo: memFree=111603968/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18930384 memory=52084 CPUtime=0.11 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 6165 0 0 0 9 2 0 0 20 0 18 0 43245754 19384713216 13021 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4732596 13021 5368 1 0 547270 0
[pid=37052/tid=37054] ppid=37049 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 4984 0 0 0 6 1 0 0 20 0 18 0 43245756 19384713216 13021 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43245758 19384713216 13021 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18930384 memory=56286469452864 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43245758 19384713216 13021 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52084 KiB

[startup+0.205916 s]*
/proc/loadavg: 4.09 4.11 4.14 7/338 37070
/proc/meminfo: memFree=111593572/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18930384 memory=61996 CPUtime=0.29 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 7028 0 0 0 27 2 0 0 20 0 18 0 43245754 19384713216 15499 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4732596 15499 5432 1 0 547923 0
[pid=37052/tid=37054] ppid=37049 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 5290 0 0 0 14 1 0 0 20 0 18 0 43245756 19384713216 15499 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18930384 memory=2621 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43245758 19384713216 15499 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18930384 memory=55186957796323 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43245758 19384713216 15499 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61996 KiB

[startup+0.305767 s]*
/proc/loadavg: 4.09 4.11 4.14 6/338 37070
/proc/meminfo: memFree=111569008/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18930384 memory=90036 CPUtime=0.48 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 8262 0 0 0 45 3 0 0 20 0 18 0 43245754 19384713216 22509 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4732596 22509 5432 1 0 548210 0
[pid=37052/tid=37054] ppid=37049 vsize=18930384 memory=-6000919468428649836 CPUtime=0.25 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 5307 0 0 0 23 2 0 0 20 0 18 0 43245756 19384713216 22509 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43245758 19384713216 22509 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43245758 19384713216 22509 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 90036 KiB

[startup+0.700241 s]
/proc/loadavg: 4.09 4.11 4.14 6/339 37071
/proc/meminfo: memFree=111543236/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18996948 memory=117432 CPUtime=1.24 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 10618 0 0 0 120 4 0 0 20 0 19 0 43245754 19452874752 29358 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4749237 29358 5464 1 0 550003 0
[pid=37052/tid=37054] ppid=37049 vsize=18996948 memory=17536 CPUtime=0.61 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 5439 0 0 0 59 2 0 0 20 0 19 0 43245756 19452874752 29358 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 29358 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 29358 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43245793 19452874752 29358 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117432 KiB

[startup+1.50025 s]
/proc/loadavg: 4.09 4.11 4.14 6/339 37071
/proc/meminfo: memFree=111531580/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18996948 memory=124448 CPUtime=2.65 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 16608 0 0 0 260 5 0 0 20 0 19 0 43245754 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4749237 31112 5496 1 0 551650 0
[pid=37052/tid=37054] ppid=37049 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 5596 0 0 0 139 2 0 0 20 0 19 0 43245756 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43245793 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124448 KiB

[startup+3.10562 s]
/proc/loadavg: 4.09 4.11 4.14 5/339 37071
/proc/meminfo: memFree=111531608/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18996948 memory=124448 CPUtime=4.29 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 17039 0 0 0 424 5 0 0 20 0 19 0 43245754 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4749237 31112 5496 1 0 551651 0
[pid=37052/tid=37054] ppid=37049 vsize=18996948 memory=10752 CPUtime=3.01 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 5813 0 0 0 299 2 0 0 20 0 19 0 43245756 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18996948 memory=-6000919468428649836 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43245793 19452874752 31112 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 4.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124448 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.11 4.14 5/339 37071
/proc/meminfo: memFree=111531688/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18996948 memory=121916 CPUtime=7.5 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 18191 0 0 0 745 5 0 0 20 0 19 0 43245754 19452874752 30479 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4749237 30479 5496 1 0 551651 0
[pid=37052/tid=37054] ppid=37049 vsize=18996948 memory=0 CPUtime=6.2 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 6070 0 0 0 617 3 0 0 20 0 19 0 43245756 19452874752 30479 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 30479 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 30479 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=18996948 memory=124448 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43245793 19452874752 30479 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 7.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121916 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.14 5/339 37071
/proc/meminfo: memFree=111527600/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18996948 memory=126244 CPUtime=13.94 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 20876 0 0 0 1388 6 0 0 20 0 19 0 43245754 19452874752 31561 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4749237 31561 5496 1 0 551683 0
[pid=37052/tid=37054] ppid=37049 vsize=18996948 memory=124448 CPUtime=12.58 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 7663 0 0 0 1255 3 0 0 20 0 19 0 43245756 19452874752 31561 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18996948 memory=124092 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 31561 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 31561 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43245793 19452874752 31561 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 13.94 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 126244 KiB

[startup+25.5002 s]
/proc/loadavg: 4.36 4.17 4.16 5/339 37072
/proc/meminfo: memFree=111519520/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18996948 memory=128072 CPUtime=26.98 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 26640 0 0 0 2691 7 0 0 20 0 19 0 43245754 19452874752 32018 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4749237 32018 5496 1 0 552510 0
[pid=37052/tid=37054] ppid=37049 vsize=18996948 memory=-6000919468428649836 CPUtime=25.34 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 8339 0 0 0 2531 3 0 0 20 0 19 0 43245756 19452874752 32018 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18996948 memory=128292 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 32018 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 32018 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 43245793 19452874752 32018 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 26.98 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 128072 KiB

[startup+51.1058 s]
/proc/loadavg: 4.42 4.20 4.17 7/339 37072
/proc/meminfo: memFree=111515448/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=18996948 memory=135528 CPUtime=52.61 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 27712 0 0 0 5253 8 0 0 20 0 19 0 43245754 19452874752 33882 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4749237 33882 5528 1 0 552542 0
[pid=37052/tid=37054] ppid=37049 vsize=18996948 memory=134504 CPUtime=50.89 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 8657 0 0 0 5086 3 0 0 20 0 19 0 43245756 19452874752 33882 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=18996948 memory=14848 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 43245758 19452874752 33882 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0

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

[startup+3282.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/339 37439
/proc/meminfo: memFree=110816872/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=19063512 memory=888992 CPUtime=3277.41 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 46709 0 0 0 327664 77 0 0 20 0 20 0 43245754 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4765878 222248 5560 1 0 552831 0
[pid=37052/tid=37054] ppid=37049 vsize=19063512 memory=888992 CPUtime=3273.33 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 17189 0 0 0 327328 5 0 0 20 0 20 0 43245756 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 1121 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=19063512 memory=888992 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43245793 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 3277.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 888992 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/340 37442
/proc/meminfo: memFree=110543668/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=19063512 memory=888992 CPUtime=3337.28 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 46719 0 0 0 333650 78 0 0 20 0 20 0 43245754 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4765878 222248 5560 1 0 552831 0
[pid=37052/tid=37054] ppid=37049 vsize=19063512 memory=17536 CPUtime=3333.19 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 17190 0 0 0 333314 5 0 0 20 0 20 0 43245756 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=19063512 memory=888992 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 1121 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43245793 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 3337.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 888992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/340 37443
/proc/meminfo: memFree=110546360/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=19063512 memory=888992 CPUtime=3397.16 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 46724 0 0 0 339637 79 0 0 20 0 20 0 43245754 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4765878 222248 5560 1 0 552831 0
[pid=37052/tid=37054] ppid=37049 vsize=19063512 memory=888992 CPUtime=3393.05 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 17190 0 0 0 339300 5 0 0 20 0 20 0 43245756 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=19063512 memory=888992 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 1121 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43245793 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 3397.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 888992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/339 37445
/proc/meminfo: memFree=110447912/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=19063512 memory=888992 CPUtime=3457.03 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 46731 0 0 0 345623 80 0 0 20 0 20 0 43245754 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4765878 222248 5560 1 0 552831 0
[pid=37052/tid=37054] ppid=37049 vsize=19063512 memory=888992 CPUtime=3452.91 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 17192 0 0 0 345286 5 0 0 20 0 20 0 43245756 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=19063512 memory=888992 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 1121 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=19063512 memory=888992 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43245793 19521036288 222248 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 3457.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 888992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/340 37454
/proc/meminfo: memFree=110355868/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=19063512 memory=981156 CPUtime=3516.95 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 46824 0 0 0 351612 83 0 0 20 0 20 0 43245754 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4765878 245289 5560 1 0 552831 0
[pid=37052/tid=37054] ppid=37049 vsize=19063512 memory=888992 CPUtime=3512.71 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 17204 0 0 0 351266 5 0 0 20 0 20 0 43245756 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=19063512 memory=893088 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=19063512 memory=981156 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 1121 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=19063512 memory=981156 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43245793 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 3516.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 981156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/340 37456
/proc/meminfo: memFree=110355008/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=19063512 memory=981156 CPUtime=3576.79 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 46872 0 0 0 357596 83 0 0 20 0 20 0 43245754 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4765878 245289 5560 1 0 552831 0
[pid=37052/tid=37054] ppid=37049 vsize=19063512 memory=893088 CPUtime=3572.54 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 17220 0 0 0 357249 5 0 0 20 0 20 0 43245756 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=19063512 memory=981156 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 1123 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=19063512 memory=981156 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43245793 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 3576.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 981156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.6 s]
/proc/loadavg: 4.15 4.13 4.15 5/341 37458
/proc/meminfo: memFree=110355032/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=19063512 memory=981156 CPUtime=3600.04 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 46878 0 0 0 359920 84 0 0 20 0 20 0 43245754 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4765878 245289 5560 1 0 552831 0
[pid=37052/tid=37054] ppid=37049 vsize=19063512 memory=981156 CPUtime=3595.78 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 17220 0 0 0 359573 5 0 0 20 0 20 0 43245756 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=19063512 memory=-6000919468428649836 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 1124 0 0 0 0 0 0 0 20 0 20 0 43245758 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37071] ppid=37049 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/37052/task/37071/stat : 37071 (Timer-0) S 37049 37052 35566 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43245793 19521036288 245289 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 981156 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.46 s, system=0.852518 s

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

[startup+3605.71 s]
/proc/loadavg: 4.15 4.13 4.15 5/341 37458
/proc/meminfo: memFree=110355032/131249996 swapFree=33010684/33010684
[pid=37052] ppid=37049 vsize=19263204 memory=982180 CPUtime=3600.23 cores=1,3
/proc/37052/stat : 37052 (java) S 37049 37052 35566 0 -1 4194304 49048 0 0 0 359939 84 0 0 20 0 21 0 43245754 19725520896 245545 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
/proc/37052/statm: 4815801 245545 5592 1 0 553782 0
[pid=37052/tid=37054] ppid=37049 vsize=19263204 memory=5632 CPUtime=3595.88 cores=1,3
/proc/37052/task/37054/stat : 37054 (java) R 37049 37052 35566 0 -1 4194368 17365 0 0 0 359583 5 0 0 20 0 21 0 43245756 19725520896 245545 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37063] ppid=37049 vsize=19263204 memory=4764 CPUtime=0 cores=1,3
/proc/37052/task/37063/stat : 37063 (Finalizer) S 37049 37052 35566 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 43245758 19725520896 245545 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
[pid=37052/tid=37070] ppid=37049 vsize=19263204 memory=10752 CPUtime=0 cores=1,3
/proc/37052/task/37070/stat : 37070 (Common-Cleaner) S 37049 37052 35566 0 -1 4194368 1124 0 0 0 0 0 0 0 20 0 21 0 43245758 19725520896 245545 18446744073709551615 94325723766784 94325723770480 140735379397760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94325723778296 94325723779088 94325733842944 140735379401089 140735379401190 140735379401190 140735379406792 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 982180 KiB

Child status: 143

Real time (s): 3605.75
CPU time (s): 3600.31
CPU user time (s): 3599.46
CPU system time (s): 0.852518
CPU usage (%): 99.8491
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 982180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.852518
maximum resident set size= 982436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108037
involuntary context switches= 5584


# summary of solver processes directly reported to runsolver:
#   pid: 37052
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3599.46
#   total CPU system time (s): 0.852518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55375 second user time and 16.607 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 11:28:03
IDJOB=4498320
IDBENCH=148608
IDSOLVER=3363
FILE ID=nodeC015/4498320-1751275683
RUNJOBID= nodeC015-1751270066-36244
SLURM_JOB_ID= 9594182
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498320-1751275683/watcher-4498320-1751275683 -o /tmp/evaluation-result-4498320-1751275683/solver-4498320-1751275683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751270066-36244 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498320-1751275683.opb

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

MD5SUM BENCH= ad9f015f2527cb1437d18525e7f300ba
RANDOM SEED=2128920776

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        111626532 kB
MemAvailable:   111589308 kB
Buffers:            3280 kB
Cached:           770376 kB
SwapCached:            0 kB
Active:         18504708 kB
Inactive:         513836 kB
Active(anon):   18262964 kB
Inactive(anon):        0 kB
Active(file):     241744 kB
Inactive(file):   513836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               712 kB
Writeback:             0 kB
AnonPages:      18247948 kB
Mapped:           123092 kB
Shmem:             18076 kB
KReclaimable:      92872 kB
Slab:             180636 kB
SReclaimable:      92872 kB
SUnreclaim:        87764 kB
KernelStack:        5184 kB
PageTables:        39316 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   20185320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17920000 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:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC015 at 2025-06-30 12:28:09