Trace number 4503609

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 VeriPB 2025-06-06? (TO) 3600.19 3655.12

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-147.opb
MD5SUM68b1290c926351b4227086ab823cce81
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42127
Total number of constraints974306
Number of constraints which are clauses875463
Number of constraints which are cardinality constraints (but not clauses)3062
Number of constraints which are nor clauses,nor cardinality constraints95781
Minimum length of a constraint2
Maximum length of a constraint627
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 628
Number of bits of the biggest sum of numbers10
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 PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4503609-1751164404.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
5.07/3.49	c ... done. Wall clock time 3.362s.
5.07/3.49	c declared #vars     42127
5.07/3.49	c #constraints  975848
5.07/3.49	c constraints type 
5.07/3.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 204985
5.07/3.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3063
5.07/3.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 95781
5.07/3.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 672019
5.07/3.49	c 975848 constraints processed.
10.21/6.73	c cleaning 2497 clauses out of 5000 with flag 38507/5000
15.42/11.39	c cleaning 4245 clauses out of 8503 with flag 225644/11000
19.07/14.85	c cleaning 5630 clauses out of 11259 with flag 537824/18001
21.66/17.47	c cleaning 6809 clauses out of 13628 with flag 738038/26000
27.20/22.93	c cleaning 7859 clauses out of 15819 with flag 1061687/35000
32.23/27.96	c cleaning 8972 clauses out of 17961 with flag 1386717/45001
38.72/34.40	c cleaning 9977 clauses out of 19989 with flag 1953249/56001
45.47/41.22	c cleaning 10863 clauses out of 22011 with flag 2343134/68000
54.57/49.85	c cleaning 11731 clauses out of 24139 with flag 2803819/81000
62.77/58.07	c cleaning 13170 clauses out of 26404 with flag 3063238/95000
67.46/62.70	c cleaning 14062 clauses out of 28232 with flag 3286928/110000
75.31/70.62	c cleaning 15019 clauses out of 30170 with flag 3586390/126000
83.46/78.71	c cleaning 16073 clauses out of 32152 with flag 3924383/143001
90.69/85.97	c cleaning 16985 clauses out of 34078 with flag 4221346/161000
99.96/95.29	c cleaning 18027 clauses out of 36093 with flag 4563196/180000
107.52/102.87	c cleaning 18953 clauses out of 38066 with flag 4801228/200000
116.11/111.46	c cleaning 19875 clauses out of 40114 with flag 5096507/221001
126.47/121.86	c cleaning 20890 clauses out of 42240 with flag 5430166/243002
135.80/131.27	c cleaning 22056 clauses out of 44348 with flag 5718694/266000
146.17/141.62	c cleaning 23073 clauses out of 46292 with flag 6043366/290000
161.51/156.94	c cleaning 23894 clauses out of 48219 with flag 6437820/315000
174.47/169.99	c cleaning 24012 clauses out of 50325 with flag 7202587/341000
190.43/185.93	c cleaning 24911 clauses out of 53314 with flag 7587051/368001
204.77/200.39	c cleaning 26906 clauses out of 56403 with flag 8012779/396001
217.35/212.97	c cleaning 27601 clauses out of 58497 with flag 8322711/425001
233.86/230.80	c cleaning 28749 clauses out of 60896 with flag 8796462/455001
243.54/240.59	c cleaning 30390 clauses out of 63146 with flag 9059956/486000
257.62/254.67	c cleaning 30756 clauses out of 64756 with flag 9455303/518000
272.30/269.33	c cleaning 31778 clauses out of 67001 with flag 9942848/551001
288.15/285.23	c cleaning 32803 clauses out of 69222 with flag 10544947/585000
303.09/300.18	c cleaning 33965 clauses out of 71419 with flag 11166730/620000
317.65/314.72	c cleaning 35018 clauses out of 73454 with flag 11663475/656000
333.49/330.63	c cleaning 35998 clauses out of 75436 with flag 12219067/693000
349.82/347.01	c cleaning 36662 clauses out of 77438 with flag 12747187/731000
362.99/360.20	c cleaning 38040 clauses out of 79777 with flag 13230036/770001
379.58/376.83	c cleaning 39315 clauses out of 81736 with flag 13695360/810000
393.34/390.66	c cleaning 40048 clauses out of 83421 with flag 14148246/851000
409.71/407.04	c cleaning 40555 clauses out of 85373 with flag 14654038/893000
446.44/443.92	c cleaning 42948 clauses out of 87818 with flag 15024517/936000
486.49/484.09	c cleaning 43978 clauses out of 88871 with flag 15392147/980001
512.79/510.44	c cleaning 43381 clauses out of 89893 with flag 16171213/1025001
538.00/535.78	c cleaning 44996 clauses out of 92511 with flag 16941965/1071000
557.76/555.52	c cleaning 46256 clauses out of 94515 with flag 17727978/1118000
578.20/576.37	c cleaning 47573 clauses out of 96260 with flag 18118257/1166001
608.67/606.90	c cleaning 48823 clauses out of 97686 with flag 18508468/1215000
630.40/628.79	c cleaning 49408 clauses out of 98863 with flag 19039320/1265000
650.07/648.32	c cleaning 50112 clauses out of 100456 with flag 19693658/1316001
673.36/671.79	c cleaning 51145 clauses out of 102343 with flag 20058337/1368000
695.07/693.58	c cleaning 51591 clauses out of 104199 with flag 20724873/1421001
720.05/718.61	c cleaning 51727 clauses out of 106609 with flag 21737972/1475002
756.96/755.54	c cleaning 54738 clauses out of 109881 with flag 22087477/1530001
797.53/796.22	c cleaning 55530 clauses out of 111142 with flag 22517768/1586000
823.24/822.03	c cleaning 56225 clauses out of 112612 with flag 22940578/1643000
850.74/849.63	c cleaning 57074 clauses out of 114387 with flag 23386975/1701000
873.04/871.98	c cleaning 57755 clauses out of 116313 with flag 23959075/1760000
898.38/897.36	c cleaning 58842 clauses out of 118558 with flag 24699165/1820000
922.40/921.45	c cleaning 60196 clauses out of 120716 with flag 25413350/1881000
958.37/957.50	c cleaning 61166 clauses out of 122520 with flag 26064680/1943000
987.85/987.06	c cleaning 62165 clauses out of 124355 with flag 27165533/2006001
1013.62/1012.92	c cleaning 63072 clauses out of 126189 with flag 28009477/2070000
1045.67/1045.19	c cleaning 63649 clauses out of 128117 with flag 28892241/2135000
1071.88/1071.31	c cleaning 64893 clauses out of 130468 with flag 30162358/2201000
1096.47/1096.02	c cleaning 65748 clauses out of 132575 with flag 31004377/2268000
1133.33/1133.04	c cleaning 67244 clauses out of 134827 with flag 31671046/2336000
1156.03/1155.89	c cleaning 67575 clauses out of 136583 with flag 32440203/2405000
1177.34/1177.14	c cleaning 69479 clauses out of 139008 with flag 33249690/2475000
1210.03/1209.92	c cleaning 69840 clauses out of 140529 with flag 33839709/2546000
1230.09/1230.06	c cleaning 70711 clauses out of 142689 with flag 34429225/2618000
1254.60/1254.66	c cleaning 71845 clauses out of 144978 with flag 35437194/2691000
1295.38/1295.47	c cleaning 72768 clauses out of 147133 with flag 36053732/2765000
1324.58/1324.75	c cleaning 73893 clauses out of 149365 with flag 36714001/2840000
1391.26/1391.55	c cleaning 75699 clauses out of 151472 with flag 37297691/2916000
1421.14/1421.51	c cleaning 75544 clauses out of 152773 with flag 38050141/2993000
1464.79/1465.37	c cleaning 76957 clauses out of 155229 with flag 38948851/3071000
1494.77/1495.41	c cleaning 77778 clauses out of 157272 with flag 39901604/3150000
1525.63/1526.38	c cleaning 79026 clauses out of 159494 with flag 40729335/3230000
1554.61/1555.45	c cleaning 79341 clauses out of 161468 with flag 41664460/3311000
1584.19/1585.15	c cleaning 80943 clauses out of 164127 with flag 42401733/3393000
1609.68/1610.64	c cleaning 82086 clauses out of 166184 with flag 43508455/3476000
1641.79/1642.97	c cleaning 83054 clauses out of 168098 with flag 44836995/3560000
1672.33/1673.69	c cleaning 84205 clauses out of 170045 with flag 46187935/3645001
1703.91/1705.28	c cleaning 84906 clauses out of 171839 with flag 47306310/3731000
1741.67/1743.16	c cleaning 83802 clauses out of 173933 with flag 48306709/3818000
1809.51/1811.01	c cleaning 85361 clauses out of 178131 with flag 49319813/3906000
1845.26/1846.93	c cleaning 87708 clauses out of 181771 with flag 50274373/3995001
1880.65/1882.37	c cleaning 89052 clauses out of 184062 with flag 51155899/4085000
2032.10/2034.95	c cleaning 90585 clauses out of 186010 with flag 51919356/4176000
2062.98/2069.70	c cleaning 90679 clauses out of 187425 with flag 53000318/4268000
2097.24/2104.49	c cleaning 92266 clauses out of 189746 with flag 54292773/4361000
2150.43/2158.38	c cleaning 93173 clauses out of 191480 with flag 55445029/4455000
2188.08/2195.92	c cleaning 93372 clauses out of 193307 with flag 56929314/4550000
2225.16/2233.38	c cleaning 94873 clauses out of 195935 with flag 58026818/4646000
2263.84/2272.18	c cleaning 95928 clauses out of 198062 with flag 59336455/4743000
2301.41/2309.81	c cleaning 97301 clauses out of 200138 with flag 60560084/4841004
2349.00/2362.36	c cleaning 97923 clauses out of 201833 with flag 61961721/4940000
2386.55/2400.46	c cleaning 98849 clauses out of 203912 with flag 63039256/5040002
2431.17/2446.46	c cleaning 100257 clauses out of 206063 with flag 64510383/5141002
2486.77/2508.37	c cleaning 100960 clauses out of 207804 with flag 65340360/5243000
2552.69/2576.13	c cleaning 102291 clauses out of 209846 with flag 66089786/5346002
2590.55/2614.22	c cleaning 103189 clauses out of 211553 with flag 67507296/5450000
2637.46/2664.15	c cleaning 104066 clauses out of 213364 with flag 69141568/5555000
2748.73/2791.09	c cleaning 105912 clauses out of 215298 with flag 70226286/5661000
2824.94/2869.91	c cleaning 105060 clauses out of 216390 with flag 71295899/5768004
2866.64/2911.54	c cleaning 106105 clauses out of 219326 with flag 72573843/5876000
2907.80/2954.22	c cleaning 107987 clauses out of 222221 with flag 74005556/5985000
2949.63/2996.22	c cleaning 108384 clauses out of 224234 with flag 75491284/6095000
3023.93/3072.11	c cleaning 110531 clauses out of 226853 with flag 76595233/6206003
3055.76/3104.18	c cleaning 110794 clauses out of 228319 with flag 77933118/6318000
3106.76/3158.64	c cleaning 111942 clauses out of 230525 with flag 79425945/6431000
3147.17/3199.07	c cleaning 112950 clauses out of 232583 with flag 81039133/6545000
3203.10/3256.02	c cleaning 113801 clauses out of 234633 with flag 82418001/6660000
3324.01/3377.22	c cleaning 115881 clauses out of 236832 with flag 83712194/6776000
3375.08/3428.16	c cleaning 116130 clauses out of 237951 with flag 85112251/6893000
3443.32/3496.68	c cleaning 117475 clauses out of 239822 with flag 86327405/7011001
3515.54/3569.09	c cleaning 118244 clauses out of 241347 with flag 87560915/7130001
3564.06/3617.65	c cleaning 118937 clauses out of 243102 with flag 88997240/7250000
3600.04/3655.01	c timeout
3600.04/3655.02	c starts		: 30296
3600.04/3655.02	c conflicts		: 7331095
3600.04/3655.02	c decisions		: 116366697
3600.04/3655.02	c propagations		: 5588511434
3600.04/3655.02	c inspects		: 36320684110
3600.04/3655.02	c shortcuts		: 0
3600.04/3655.02	c learnt literals	: 15
3600.04/3655.02	c learnt binary clauses	: 4145
3600.04/3655.02	c learnt ternary clauses	: 13049
3600.04/3655.02	c learnt constraints	: 7331080
3600.04/3655.02	c ignored constraints	: 0
3600.04/3655.02	c root simplifications	: 0
3600.04/3655.02	c removed literals (reason simplification)	: 85517849
3600.04/3655.02	c reason swapping (by a shorter reason)	: 0
3600.04/3655.02	c Calls to reduceDB	: 116
3600.04/3655.02	c Number of update (reduction) of LBD	: 4798407
3600.04/3655.02	c Imported unit clauses	: 0
3600.04/3655.02	c No decision after first conflict	: false
3600.04/3655.02	c number of reductions to clauses (during analyze)	: 0
3600.04/3655.02	c number of learned constraints concerned by reduction	: 0
3600.04/3655.02	c number of learning phase by resolution	: 0
3600.04/3655.02	c number of learning phase by cutting planes	: 0
3600.04/3655.02	c number of rounding to 1 operations	: 0
3600.04/3655.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3655.03	c number of reductions of the coefficients by power 2 	: 0
3600.04/3655.03	c number of right shift for reduction by power 2 	: 0
3600.04/3655.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3655.03	c number of ending skipping 	: 0
3600.04/3655.03	c number of internal skipping 	: 0
3600.04/3655.03	c number of derivation steps 	: 0
3600.04/3655.03	c number of skipped derivation steps 	: 0
3600.04/3655.03	c number of remaining unassigned 	: 0
3600.04/3655.03	c number of remaining assigned 	: 0
3600.04/3655.03	c number of falsified literals weakened from reason	: 0
3600.04/3655.03	c number of falsified literals weakened from conflict	: 0
3600.04/3655.03	c time for arithmetic operations	: 0
3600.04/3655.03	c minimum degree of deleted constraints	: null
3600.04/3655.03	c maximum degree of deleted constraints	: null
3600.04/3655.03	c number of deleted constraints	: 0
3600.04/3655.03	c speed (assignments/second)	: 1530466.290511676
3600.04/3655.03	c non guided choices	: 14557651
3600.04/3655.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 201115
3600.04/3655.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 4145
3600.04/3655.10	s UNKNOWN
3600.04/3655.10	c Total wall clock time (in seconds): 3654.967

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503609-1751164404/watcher-4503609-1751164404 -o /tmp/evaluation-result-4503609-1751164404/solver-4503609-1751164404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751156506-16355 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503609-1751164404 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503609-1751164404.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
solver pid=18539, runsolver pid=18536
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.14 4.16 4.17 5/340 18557
/proc/meminfo: memFree=116198916/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=18930384 memory=57956 CPUtime=0.13 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 6611 0 0 0 12 1 0 0 20 0 18 0 32120307 19384713216 14489 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4732596 14489 5344 1 0 547642 0
[pid=18539/tid=18541] ppid=18536 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4456512 5104 0 0 0 7 1 0 0 20 0 18 0 32120309 19384713216 14489 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32120311 19384713216 14489 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=18930384 memory=61784027586760 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32120311 19384713216 14489 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57956 KiB

[startup+0.205807 s]*
/proc/loadavg: 4.14 4.16 4.17 7/340 18557
/proc/meminfo: memFree=116182028/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=18930384 memory=78396 CPUtime=0.32 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 7073 0 0 0 30 2 0 0 20 0 18 0 32120307 19384713216 19599 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4732596 19599 5408 1 0 547934 0
[pid=18539/tid=18541] ppid=18536 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 5311 0 0 0 16 1 0 0 20 0 18 0 32120309 19384713216 19599 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32120311 19384713216 19599 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32120311 19384713216 19599 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 78396 KiB

[startup+0.305784 s]*
/proc/loadavg: 4.14 4.16 4.17 6/340 18557
/proc/meminfo: memFree=116132876/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=18930384 memory=133024 CPUtime=0.52 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 9011 0 0 0 48 4 0 0 20 0 18 0 32120307 19384713216 33256 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4732596 33256 5408 1 0 549250 0
[pid=18539/tid=18541] ppid=18536 vsize=18930384 memory=-6000919481330001006 CPUtime=0.28 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 5338 0 0 0 25 3 0 0 20 0 18 0 32120309 19384713216 33256 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32120311 19384713216 33256 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32120311 19384713216 33256 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 133024 KiB

[startup+0.700235 s]
/proc/loadavg: 4.14 4.16 4.17 6/341 18558
/proc/meminfo: memFree=116091916/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=18996948 memory=181284 CPUtime=1.27 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 11313 0 0 0 122 5 0 0 20 0 19 0 32120307 19452874752 45321 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4749237 45321 5472 1 0 551147 0
[pid=18539/tid=18541] ppid=18536 vsize=18996948 memory=17536 CPUtime=0.63 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 5362 0 0 0 60 3 0 0 20 0 19 0 32120309 19452874752 45321 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32120311 19452874752 45321 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32120311 19452874752 45321 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 181284 KiB

[startup+1.50024 s]
/proc/loadavg: 4.14 4.16 4.17 8/341 18558
/proc/meminfo: memFree=115909060/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=18996948 memory=475772 CPUtime=2.86 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 16933 0 0 0 273 13 0 0 20 0 19 0 32120307 19452874752 118943 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4749237 118943 5472 1 0 884683 0
[pid=18539/tid=18541] ppid=18536 vsize=18996948 memory=3328 CPUtime=1.23 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) S 18536 18539 16344 0 -1 4194368 5467 0 0 0 115 8 0 0 20 0 19 0 32120309 19452874752 118943 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32120311 19452874752 118943 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=18996948 memory=10880 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32120311 19452874752 118943 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 475772 KiB

[startup+3.10565 s]
/proc/loadavg: 4.21 4.17 4.17 5/341 18558
/proc/meminfo: memFree=114846436/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=18996948 memory=1545908 CPUtime=4.71 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 19233 0 0 0 436 35 0 0 20 0 19 0 32120307 19452874752 386477 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4749237 386477 5504 1 0 2037752 0
[pid=18539/tid=18541] ppid=18536 vsize=18996948 memory=10880 CPUtime=2.63 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 5893 0 0 0 237 26 0 0 20 0 19 0 32120309 19452874752 386477 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 32120311 19452874752 386477 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=18996948 memory=5760 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 32120311 19452874752 386477 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1545908 KiB

[startup+6.30024 s]
/proc/loadavg: 4.21 4.17 4.17 6/342 18559
/proc/meminfo: memFree=114470696/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=1774408 CPUtime=9.71 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 20038 0 0 0 930 41 0 0 20 0 20 0 32120307 19521036288 443602 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 443602 5504 1 0 2038227 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=5760 CPUtime=5.61 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 6074 0 0 0 532 29 0 0 20 0 20 0 32120309 19521036288 443602 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 443602 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 443602 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 443602 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1774408 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.17 4.17 5/343 18560
/proc/meminfo: memFree=114446300/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=1774956 CPUtime=16.9 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 21878 0 0 0 1647 43 0 0 20 0 20 0 32120307 19521036288 443739 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 443739 5536 1 0 2038259 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=10880 CPUtime=11.99 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 6611 0 0 0 1170 29 0 0 20 0 20 0 32120309 19521036288 443739 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=1774956 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 443739 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 443739 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 443739 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 16.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1774956 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.16 4.17 5/343 18560
/proc/meminfo: memFree=114258488/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=1896088 CPUtime=29.8 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 27825 0 0 0 2932 48 0 0 20 0 20 0 32120307 19521036288 474022 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 474022 5536 1 0 2038259 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=1774956 CPUtime=24.71 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 7617 0 0 0 2439 32 0 0 20 0 20 0 32120309 19521036288 474022 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=1896088 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 474022 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 474022 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=1774536 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 474022 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 29.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1896088 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.15 4.17 5/343 18561
/proc/meminfo: memFree=113884340/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=2084900 CPUtime=55.88 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 36011 0 0 0 5533 55 0 0 20 0 20 0 32120307 19521036288 521225 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 521225 5536 1 0 2038259 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=224194199869 CPUtime=50.21 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 10872 0 0 0 4983 38 0 0 20 0 20 0 32120309 19521036288 521225 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=2019236 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 521225 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 521225 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 521225 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 55.88 s
Current children cumulated vsize: 19063512 KiB

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

/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=6319628 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 2644 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=6319628 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 3229.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6319628 KiB

[startup+3342.3 s]
/proc/loadavg: 2.30 2.91 3.50 3/293 18868
/proc/meminfo: memFree=106537388/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=6319628 CPUtime=3289.2 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 187469 0 0 0 328073 847 0 0 20 0 20 0 32120307 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 1579907 5536 1 0 2038360 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=6319628 CPUtime=3273.63 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 111377 0 0 0 326622 741 0 0 20 0 20 0 32120309 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=6319628 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=6319628 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 2752 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 3289.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6319628 KiB

[startup+3402.3 s]
/proc/loadavg: 2.49 2.84 3.43 3/293 18870
/proc/meminfo: memFree=106411892/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=6319628 CPUtime=3349.01 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 189419 0 0 0 334045 856 0 0 20 0 20 0 32120307 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 1579907 5536 1 0 2038360 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=6319628 CPUtime=3333.42 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 113180 0 0 0 332593 749 0 0 20 0 20 0 32120309 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=6319628 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=6319628 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 2831 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=-6000919481330001006 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 1579907 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 3349.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6319628 KiB

[startup+3462.3 s]
/proc/loadavg: 2.26 2.71 3.35 3/293 18874
/proc/meminfo: memFree=105341100/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=6645356 CPUtime=3409.14 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 191668 0 0 0 340041 873 0 0 20 0 20 0 32120307 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 1661339 5536 1 0 2038360 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=6319628 CPUtime=3392.72 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 113984 0 0 0 338513 759 0 0 20 0 20 0 32120309 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=6319628 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=6645356 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 2831 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=6645356 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 3409.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6645356 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.60 3.27 3/293 18877
/proc/meminfo: memFree=104864424/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=6645356 CPUtime=3468.93 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 195804 0 0 0 346008 885 0 0 20 0 20 0 32120307 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 1661339 5536 1 0 2038360 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=6645356 CPUtime=3452.48 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 117946 0 0 0 344478 770 0 0 20 0 20 0 32120309 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=6645356 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=6645356 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 2916 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 1661339 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 3468.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6645356 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.50 3.19 3/293 18879
/proc/meminfo: memFree=104434016/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=6645740 CPUtime=3528.75 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 200323 0 0 0 351978 897 0 0 20 0 20 0 32120307 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 1661435 5536 1 0 2038439 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=6645740 CPUtime=3512.12 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 119922 0 0 0 350431 781 0 0 20 0 20 0 32120309 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=6645740 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=6645740 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 3019 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 3528.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6645740 KiB

[startup+3642.3 s]
/proc/loadavg: 2.08 2.42 3.12 3/293 18881
/proc/meminfo: memFree=104132464/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=6645740 CPUtime=3587.45 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 204557 0 0 0 357838 907 0 0 20 0 20 0 32120307 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 1661435 5536 1 0 2038439 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=10880 CPUtime=3570.48 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 122780 0 0 0 356258 790 0 0 20 0 20 0 32120309 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=-6000919481330001006 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 3019 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=6645740 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6645740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3655 s]*
/proc/loadavg: 2.14 2.42 3.11 3/293 18881
/proc/meminfo: memFree=104095144/131250000 swapFree=33010684/33010684
[pid=18539] ppid=18536 vsize=19063512 memory=6645740 CPUtime=3600.04 cores=4,6
/proc/18539/stat : 18539 (java) S 18536 18539 16344 0 -1 4194304 205344 0 0 0 359093 911 0 0 20 0 20 0 32120307 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
/proc/18539/statm: 4765878 1661435 5536 1 0 2038439 0
[pid=18539/tid=18541] ppid=18536 vsize=19063512 memory=1920 CPUtime=3583.04 cores=4,6
/proc/18539/task/18541/stat : 18541 (java) R 18536 18539 16344 0 -1 4194368 123558 0 0 0 357512 792 0 0 20 0 20 0 32120309 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18550] ppid=18536 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/18539/task/18550/stat : 18550 (Finalizer) S 18536 18539 16344 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18557] ppid=18536 vsize=19063512 memory=-6623554525945095591 CPUtime=0 cores=4,6
/proc/18539/task/18557/stat : 18557 (Common-Cleaner) S 18536 18539 16344 0 -1 4194368 3019 0 0 0 0 0 0 0 20 0 20 0 32120311 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
[pid=18539/tid=18559] ppid=18536 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/18539/task/18559/stat : 18559 (Timer-0) S 18536 18539 16344 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32120658 19521036288 1661435 18446744073709551615 94232065478656 94232065482352 140722233600032 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232065490168 94232065490960 94232078692352 140722233604400 140722233604582 140722233604582 140722233610184 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6645740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.06 s, system=9.13616 s

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

[startup+3655.11 s]*
/proc/loadavg: 2.14 2.42 3.11 3/275 18884
/proc/meminfo: memFree=107394500/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3655.12
CPU time (s): 3600.19
CPU user time (s): 3591.06
CPU system time (s): 9.13616
CPU usage (%): 98.4973
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 6645740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.06
system time used= 9.13616
maximum resident set size= 6646892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9267120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111188
involuntary context switches= 8741


# summary of solver processes directly reported to runsolver:
#   pid: 18539
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3591.06
#   total CPU system time (s): 9.13616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.79494 second user time and 15.0293 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-29 04:33:24
IDJOB=4503609
IDBENCH=155524
IDSOLVER=3364
FILE ID=nodeC027/4503609-1751164404
RUNJOBID= nodeC027-1751156506-16355
SLURM_JOB_ID= 9587479
Free space on /tmp= 432936 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-147.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503609-1751164404/watcher-4503609-1751164404 -o /tmp/evaluation-result-4503609-1751164404/solver-4503609-1751164404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751156506-16355 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503609-1751164404 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503609-1751164404.opb

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

MD5SUM BENCH= 68b1290c926351b4227086ab823cce81
RANDOM SEED=1251158663

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        116235900 kB
MemAvailable:   118116000 kB
Buffers:            3280 kB
Cached:          2687864 kB
SwapCached:            0 kB
Active:         11985084 kB
Inactive:        2446248 kB
Active(anon):   11758404 kB
Inactive(anon):        0 kB
Active(file):     226680 kB
Inactive(file):  2446248 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             85472 kB
Writeback:             0 kB
AnonPages:      11743436 kB
Mapped:           122932 kB
Shmem:             18068 kB
KReclaimable:      92424 kB
Slab:             178888 kB
SReclaimable:      92424 kB
SUnreclaim:        86464 kB
KernelStack:        5232 kB
PageTables:        26664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   18843104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11503616 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432760 MiB
End job on nodeC027 at 2025-06-29 05:34:20