Trace number 4446194

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.18 3604.62

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-116.opb
MD5SUM2c07ac2a163c6358b3083ff023512428
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark107.127
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables44846
Total number of constraints988104
Number of constraints which are clauses884812
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints99769
Minimum length of a constraint2
Maximum length of a constraint690
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 691
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 CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		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.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4446194-1721324987.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  no objective function found
5.57/3.74	c ... done. Wall clock time 3.605s.
5.57/3.74	c declared #vars     44846
5.57/3.74	c #constraints  989877
5.57/3.74	c constraints type 
5.57/3.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 196912
5.57/3.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3524
5.57/3.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 99769
5.57/3.74	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 689672
5.57/3.74	c 989877 constraints processed.
10.55/7.97	c cleaning 2498 clauses out of 5000 with flag 243178/5000
18.45/15.53	c cleaning 4251 clauses out of 8502 with flag 650048/11000
25.19/22.27	c cleaning 5560 clauses out of 11251 with flag 968191/18000
28.48/25.60	c cleaning 6710 clauses out of 13691 with flag 1240608/26000
32.38/29.43	c cleaning 7916 clauses out of 15981 with flag 1463013/35000
38.57/35.67	c cleaning 8844 clauses out of 18065 with flag 1916205/45000
40.97/38.09	c cleaning 10097 clauses out of 20223 with flag 2029818/56002
48.75/45.84	c cleaning 11049 clauses out of 22124 with flag 2282603/68000
53.24/50.38	c cleaning 12024 clauses out of 24075 with flag 2360263/81000
58.53/55.69	c cleaning 13019 clauses out of 26051 with flag 2466161/95000
63.51/60.56	c cleaning 14007 clauses out of 28033 with flag 2577423/110001
68.80/65.85	c cleaning 14979 clauses out of 30025 with flag 2956954/126000
79.79/76.52	c cleaning 15968 clauses out of 32044 with flag 3483241/143000
87.32/84.08	c cleaning 17008 clauses out of 34072 with flag 3954099/161000
95.61/92.35	c cleaning 18008 clauses out of 36059 with flag 4226078/180000
105.09/101.80	c cleaning 18956 clauses out of 38051 with flag 4580948/200001
112.69/109.49	c cleaning 19980 clauses out of 40094 with flag 4860503/221000
120.27/117.10	c cleaning 21042 clauses out of 42114 with flag 5025917/243000
127.66/124.45	c cleaning 22023 clauses out of 44072 with flag 5188786/266000
138.84/135.62	c cleaning 22976 clauses out of 46049 with flag 5467594/290000
151.82/148.68	c cleaning 23988 clauses out of 48073 with flag 5826239/315000
167.49/164.37	c cleaning 24893 clauses out of 50085 with flag 6341640/341000
183.84/180.77	c cleaning 25894 clauses out of 52192 with flag 7076241/368000
197.01/193.84	c cleaning 27056 clauses out of 54298 with flag 7605913/396000
215.67/212.56	c cleaning 28054 clauses out of 56243 with flag 8201652/425001
236.93/233.85	c cleaning 29084 clauses out of 58189 with flag 8876655/455001
253.48/250.45	c cleaning 29967 clauses out of 60105 with flag 9301444/486001
271.06/268.10	c cleaning 30688 clauses out of 62137 with flag 9836594/518000
295.70/292.73	c cleaning 29587 clauses out of 64452 with flag 10803449/551003
317.16/314.25	c cleaning 31658 clauses out of 68862 with flag 11292922/585000
339.41/336.54	c cleaning 33486 clauses out of 72209 with flag 11748589/620005
358.06/355.24	c cleaning 34097 clauses out of 74720 with flag 12237966/656002
376.04/373.20	c cleaning 35588 clauses out of 77621 with flag 12712498/693000
401.72/399.05	c cleaning 36353 clauses out of 80033 with flag 13250855/731000
432.54/430.14	c cleaning 35154 clauses out of 82680 with flag 14500760/770000
459.41/457.29	c cleaning 35431 clauses out of 87526 with flag 15651664/810000
491.53/489.69	c cleaning 39254 clauses out of 93097 with flag 16306005/851002
518.79/517.14	c cleaning 39865 clauses out of 95841 with flag 17122767/893000
546.05/544.63	c cleaning 40573 clauses out of 98979 with flag 17766879/936003
571.92/570.74	c cleaning 41792 clauses out of 102404 with flag 18297394/980001
602.29/601.27	c cleaning 43294 clauses out of 105611 with flag 18809069/1025000
630.65/629.85	c cleaning 44356 clauses out of 108317 with flag 19431956/1071000
654.84/654.20	c cleaning 45432 clauses out of 110961 with flag 19941182/1118000
672.98/672.50	c cleaning 46961 clauses out of 113529 with flag 20355002/1166000
694.39/694.13	c cleaning 47180 clauses out of 115569 with flag 20919330/1215001
719.58/719.57	c cleaning 49600 clauses out of 118389 with flag 21285723/1265001
735.68/735.68	c cleaning 49938 clauses out of 119788 with flag 21919739/1316000
765.14/765.14	c cleaning 50955 clauses out of 121850 with flag 22443232/1368000
792.88/792.92	c cleaning 51853 clauses out of 123895 with flag 23026325/1421000
818.44/818.58	c cleaning 52899 clauses out of 126042 with flag 23712517/1475000
841.80/841.95	c cleaning 53617 clauses out of 128143 with flag 24417487/1530000
872.66/872.81	c cleaning 55340 clauses out of 130530 with flag 24810610/1586004
896.39/896.41	c cleaning 55691 clauses out of 132189 with flag 25488049/1643003
924.14/924.23	c cleaning 57478 clauses out of 134495 with flag 26124358/1701000
947.90/948.00	c cleaning 57531 clauses out of 136017 with flag 26716676/1760000
968.46/968.69	c cleaning 58965 clauses out of 138487 with flag 27374834/1820001
989.13/989.32	c cleaning 59866 clauses out of 140521 with flag 28185928/1881000
1011.49/1011.62	c cleaning 60724 clauses out of 142655 with flag 28839688/1943000
1034.25/1034.43	c cleaning 61971 clauses out of 144932 with flag 29501118/2006001
1054.71/1054.90	c cleaning 63152 clauses out of 146960 with flag 30166102/2070000
1080.06/1080.36	c cleaning 63814 clauses out of 148808 with flag 30775806/2135000
1108.12/1108.44	c cleaning 64905 clauses out of 150995 with flag 31456302/2201001
1160.83/1161.15	c cleaning 65114 clauses out of 153090 with flag 32579564/2268001
1220.32/1220.73	c cleaning 60897 clauses out of 155975 with flag 34021128/2336000
1257.46/1257.91	c cleaning 67425 clauses out of 164078 with flag 34856004/2405000
1287.80/1288.35	c cleaning 69145 clauses out of 166655 with flag 35444325/2475002
1324.84/1325.44	c cleaning 70385 clauses out of 168509 with flag 36121019/2546001
1357.58/1358.15	c cleaning 70691 clauses out of 170123 with flag 36698620/2618000
1387.62/1388.29	c cleaning 71818 clauses out of 172433 with flag 37524956/2691001
1428.35/1429.06	c cleaning 73435 clauses out of 174614 with flag 38192717/2765000
1465.34/1465.90	c cleaning 74336 clauses out of 176180 with flag 38891156/2840001
1494.19/1494.87	c cleaning 74690 clauses out of 177843 with flag 39552625/2916000
1552.28/1553.03	c cleaning 74529 clauses out of 180153 with flag 40477884/2993000
1602.09/1602.93	c cleaning 74378 clauses out of 183624 with flag 41386844/3071000
1663.08/1664.10	c cleaning 76691 clauses out of 188248 with flag 42555571/3150002
1762.76/1764.53	c cleaning 79816 clauses out of 191556 with flag 43261595/3230001
1804.89/1807.04	c cleaning 79900 clauses out of 192741 with flag 43968847/3311002
1870.79/1873.34	c cleaning 80234 clauses out of 194839 with flag 44944931/3393000
1931.46/1934.33	c cleaning 80520 clauses out of 197605 with flag 46461410/3476000
1986.76/1989.75	c cleaning 82312 clauses out of 201085 with flag 47904834/3560000
2037.40/2040.23	c cleaning 83657 clauses out of 203773 with flag 49050116/3645000
2088.69/2091.61	c cleaning 84270 clauses out of 206118 with flag 50419810/3731002
2124.92/2127.98	c cleaning 86063 clauses out of 208849 with flag 51507210/3818003
2169.70/2172.60	c cleaning 87292 clauses out of 210784 with flag 52179299/3906001
2213.41/2216.40	c cleaning 87657 clauses out of 212491 with flag 53542333/3995000
2267.80/2270.98	c cleaning 88695 clauses out of 214834 with flag 54853214/4085000
2332.07/2335.18	c cleaning 90542 clauses out of 217139 with flag 55844147/4176000
2387.56/2390.74	c cleaning 91276 clauses out of 218597 with flag 56864468/4268000
2443.65/2446.99	c cleaning 91950 clauses out of 220321 with flag 58094681/4361000
2490.51/2493.74	c cleaning 92559 clauses out of 222371 with flag 59493598/4455000
2562.27/2565.61	c cleaning 91266 clauses out of 224812 with flag 60582125/4550000
2621.15/2624.49	c cleaning 94755 clauses out of 229546 with flag 62338787/4646000
2680.83/2684.20	c cleaning 95120 clauses out of 231793 with flag 63740278/4743002
2755.30/2758.84	c cleaning 95876 clauses out of 234671 with flag 65027802/4841000
2828.19/2831.75	c cleaning 96825 clauses out of 237796 with flag 66673589/4940001
2879.29/2882.92	c cleaning 98634 clauses out of 240971 with flag 67894114/5040001
2948.95/2952.73	c cleaning 99203 clauses out of 243337 with flag 68936535/5141001
3001.41/3005.16	c cleaning 100567 clauses out of 246133 with flag 70057377/5243000
3051.31/3055.16	c cleaning 102002 clauses out of 248569 with flag 71423130/5346003
3124.45/3128.44	c cleaning 102329 clauses out of 250564 with flag 72876533/5450000
3198.49/3202.52	c cleaning 104173 clauses out of 253235 with flag 74859510/5555000
3254.68/3258.87	c cleaning 104935 clauses out of 255062 with flag 76635319/5661000
3312.09/3316.28	c cleaning 105531 clauses out of 257127 with flag 77664532/5768000
3370.17/3374.48	c cleaning 106894 clauses out of 259596 with flag 78951799/5876000
3570.29/3574.71	c cleaning 108928 clauses out of 261702 with flag 79913638/5985000
3600.03/3604.52	c starts		: 26196
3600.03/3604.52	c timeout
3600.03/3604.52	c conflicts		: 6000935
3600.03/3604.52	c decisions		: 140283545
3600.03/3604.52	c propagations		: 5413249451
3600.03/3604.52	c inspects		: 39315209214
3600.03/3604.52	c shortcuts		: 0
3600.03/3604.52	c learnt literals	: 12
3600.03/3604.52	c learnt binary clauses	: 4593
3600.03/3604.52	c learnt ternary clauses	: 8376
3600.03/3604.52	c learnt constraints	: 6000923
3600.03/3604.52	c ignored constraints	: 0
3600.03/3604.52	c root simplifications	: 0
3600.03/3604.52	c removed literals (reason simplification)	: 0
3600.03/3604.52	c reason swapping (by a shorter reason)	: 0
3600.03/3604.52	c Calls to reduceDB	: 105
3600.03/3604.52	c Number of update (reduction) of LBD	: 3531170
3600.03/3604.52	c Imported unit clauses	: 0
3600.03/3604.52	c No decision after first conflict	: false
3600.03/3604.52	c number of reductions to clauses (during analyze)	: 0
3600.03/3604.52	c number of learned constraints concerned by reduction	: 0
3600.03/3604.52	c number of learning phase by resolution	: 0
3600.03/3604.52	c number of learning phase by cutting planes	: 0
3600.03/3604.52	c number of rounding to 1 operations	: 0
3600.03/3604.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3604.52	c number of reductions of the coefficients by power 2 	: 0
3600.03/3604.52	c number of right shift for reduction by power 2 	: 0
3600.03/3604.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3604.52	c number of ending skipping 	: 0
3600.03/3604.52	c number of internal skipping 	: 0
3600.03/3604.52	c number of derivation steps 	: 0
3600.03/3604.52	c number of skipped derivation steps 	: 0
3600.03/3604.52	c number of remaining unassigned 	: 0
3600.03/3604.52	c number of remaining assigned 	: 0
3600.03/3604.52	c number of falsified literals weakened from reason	: 0
3600.03/3604.52	c number of falsified literals weakened from conflict	: 0
3600.03/3604.52	c time for arithmetic operations	: 0
3600.03/3604.53	c minimum degree of deleted constraints	: null
3600.03/3604.53	c maximum degree of deleted constraints	: null
3600.03/3604.53	c number of deleted constraints	: 0
3600.03/3604.53	c speed (assignments/second)	: 1503358.8513012493
3600.03/3604.53	c non guided choices	: 11228222
3600.03/3604.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 164116
3600.03/3604.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 4593
3600.03/3604.59	s UNKNOWN
3600.03/3604.59	c Total wall clock time (in seconds): 3604.466

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446194-1721324987/watcher-4446194-1721324987 -o /tmp/evaluation-result-4446194-1721324987/solver-4446194-1721324987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980849 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446194-1721324987.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=988522, runsolver pid=988519

[startup+0.100247 s]*
/proc/loadavg: 4.38 4.20 4.18 8/330 988540
/proc/meminfo: memFree=121735736/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=18975048 memory=68940 CPUtime=0.13 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 7180 0 0 0 11 2 0 0 20 0 18 0 184666974 19430449152 17235 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4743762 17235 5609 1 0 549334 0
[pid=988522/tid=988524] ppid=988519 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 1077936192 5742 0 0 0 7 1 0 0 20 0 18 0 184666975 19430449152 17235 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184666977 19430449152 17235 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=18975048 memory=14408220236082459 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184666978 19430449152 17235 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68940 KiB

[startup+0.210744 s]*
/proc/loadavg: 4.38 4.20 4.18 6/330 988540
/proc/meminfo: memFree=121711452/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=18975048 memory=93516 CPUtime=0.33 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 8536 0 0 0 31 2 0 0 20 0 18 0 184666974 19430449152 23379 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4743762 23379 5837 1 0 550196 0
[pid=988522/tid=988524] ppid=988519 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 5931 0 0 0 16 1 0 0 20 0 18 0 184666975 19430449152 23379 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=18975048 memory=15945 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184666977 19430449152 23379 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=18975048 memory=14418111545738801 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184666978 19430449152 23379 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 93516 KiB

[startup+0.312989 s]*
/proc/loadavg: 4.38 4.20 4.18 6/330 988540
/proc/meminfo: memFree=121650236/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=18975048 memory=157064 CPUtime=0.54 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 9042 0 0 0 50 4 0 0 20 0 18 0 184666974 19430449152 39266 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4743762 39266 5837 1 0 550576 0
[pid=988522/tid=988524] ppid=988519 vsize=18975048 memory=-8528803276220834492 CPUtime=0.27 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 5963 0 0 0 25 2 0 0 20 0 18 0 184666975 19430449152 39266 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184666977 19430449152 39266 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184666978 19430449152 39266 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 157064 KiB

[startup+0.701 s]
/proc/loadavg: 4.38 4.20 4.18 6/331 988541
/proc/meminfo: memFree=121614168/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19041612 memory=202252 CPUtime=1.27 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 16395 0 0 0 122 5 0 0 20 0 19 0 184666974 19498610688 50563 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4760403 50563 5837 1 0 555884 0
[pid=988522/tid=988524] ppid=988519 vsize=19041612 memory=5428 CPUtime=0.59 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) S 988519 988522 980838 0 -1 1077936192 5972 0 0 0 56 3 0 0 20 0 19 0 184666975 19498610688 50563 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19041612 memory=13120 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184666977 19498610688 50563 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184666978 19498610688 50563 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 202252 KiB

[startup+1.50099 s]
/proc/loadavg: 4.38 4.20 4.18 9/331 988541
/proc/meminfo: memFree=121565560/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19041612 memory=500848 CPUtime=2.83 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 21220 0 0 0 270 13 0 0 20 0 19 0 184666974 19498610688 125212 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4760403 125212 5837 1 0 1053542 0
[pid=988522/tid=988524] ppid=988519 vsize=19041612 memory=13120 CPUtime=1.21 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 6085 0 0 0 113 8 0 0 20 0 19 0 184666975 19498610688 125212 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184666977 19498610688 125212 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184666978 19498610688 125212 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 500848 KiB

[startup+3.10579 s]
/proc/loadavg: 4.38 4.20 4.18 5/331 988541
/proc/meminfo: memFree=120637788/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19041612 memory=1146300 CPUtime=4.91 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 22641 0 0 0 463 28 0 0 20 0 19 0 184666974 19498610688 286575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4760403 286575 5837 1 0 1694841 0
[pid=988522/tid=988524] ppid=988519 vsize=19041612 memory=0 CPUtime=2.59 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 6315 0 0 0 240 19 0 0 20 0 19 0 184666975 19498610688 286575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19041612 memory=13120 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184666977 19498610688 286575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19041612 memory=513136 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184666978 19498610688 286575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1146300 KiB

[startup+6.30025 s]
/proc/loadavg: 4.35 4.19 4.18 5/332 988542
/proc/meminfo: memFree=119936680/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=1829844 CPUtime=8.9 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 23849 0 0 0 849 41 0 0 20 0 20 0 184666974 19566772224 457461 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 457461 5853 1 0 2173575 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=1049856 CPUtime=5.69 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 6736 0 0 0 539 30 0 0 20 0 20 0 184666975 19566772224 457461 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 457461 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=1827536 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 457461 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 457461 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1829844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.19 4.18 5/334 988548
/proc/meminfo: memFree=119878136/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=1839040 CPUtime=15.66 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 25541 0 0 0 1524 42 0 0 20 0 20 0 184666974 19566772224 459760 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 459760 5884 1 0 2173607 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=1838920 CPUtime=12.07 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 7275 0 0 0 1177 30 0 0 20 0 20 0 184666975 19566772224 459760 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=1836836 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 459760 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=1834788 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 459760 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 459760 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 15.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1839040 KiB

[startup+25.5003 s]
/proc/loadavg: 4.33 4.20 4.18 5/334 988549
/proc/meminfo: memFree=119727696/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=1870300 CPUtime=28.48 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 28620 0 0 0 2805 43 0 0 20 0 20 0 184666974 19566772224 467575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 467575 5884 1 0 2173767 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=1838920 CPUtime=24.84 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 8372 0 0 0 2453 31 0 0 20 0 20 0 184666975 19566772224 467575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 467575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 467575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 467575 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 28.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1870300 KiB

[startup+51.1057 s]
/proc/loadavg: 4.34 4.21 4.19 5/334 988623
/proc/meminfo: memFree=120607160/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=1936036 CPUtime=54.05 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 31369 0 0 0 5359 46 0 0 20 0 20 0 184666974 19566772224 484009 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 484009 5892 1 0 2173783 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=11392 CPUtime=50.38 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 10026 0 0 0 5005 33 0 0 20 0 20 0 184666975 19566772224 484009 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 484009 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=1913420 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 484009 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=5865469479800824941 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 484009 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 54.05 s
Current children cumulated vsize: 19108176 KiB

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

/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 1183323 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=-8528803276220834492 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 4893 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 1183323 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=7356 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 1183323 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 3218.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4733292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/333 990741
/proc/meminfo: memFree=105425088/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=4833644 CPUtime=3278.26 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 185179 0 0 0 327615 211 0 0 20 0 20 0 184666974 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 1208411 5892 1 0 2173834 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=4733292 CPUtime=3265.53 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 98909 0 0 0 326512 41 0 0 20 0 20 0 184666975 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=13120 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 4980 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=16216 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 3278.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4833644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/331 990751
/proc/meminfo: memFree=105196668/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=4833644 CPUtime=3338.14 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 187450 0 0 0 333601 213 0 0 20 0 20 0 184666974 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 1208411 5892 1 0 2173834 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=16216 CPUtime=3325.38 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 100942 0 0 0 332496 42 0 0 20 0 20 0 184666975 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=4833644 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 5123 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=4833644 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 3338.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4833644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/331 990761
/proc/meminfo: memFree=104873752/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=4833644 CPUtime=3398.01 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 190491 0 0 0 339587 214 0 0 20 0 20 0 184666974 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 1208411 5892 1 0 2173834 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=0 CPUtime=3385.23 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 103641 0 0 0 338481 42 0 0 20 0 20 0 184666975 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 5242 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=4833644 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 1208411 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 3398.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4833644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/332 990774
/proc/meminfo: memFree=104232664/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=5044600 CPUtime=3458.1 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 195008 0 0 0 345590 220 0 0 20 0 20 0 184666974 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 1261150 5892 1 0 2173834 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=0 CPUtime=3444.86 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 105293 0 0 0 344444 42 0 0 20 0 20 0 184666975 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=5044600 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=5428 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 5364 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 3458.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5044600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/332 990784
/proc/meminfo: memFree=103887260/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=5044600 CPUtime=3517.99 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 197043 0 0 0 351577 222 0 0 20 0 20 0 184666974 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 1261150 5892 1 0 2173834 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=5044600 CPUtime=3504.71 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 107097 0 0 0 350429 42 0 0 20 0 20 0 184666975 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=5044600 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=5044600 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 5488 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=5044600 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 3517.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5044600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/332 990794
/proc/meminfo: memFree=103718460/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=5044600 CPUtime=3577.87 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 199459 0 0 0 357563 224 0 0 20 0 20 0 184666974 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 1261150 5892 1 0 2173834 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=11392 CPUtime=3564.57 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 109277 0 0 0 356414 43 0 0 20 0 20 0 184666975 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=5428 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=21604 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 5609 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 3577.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5044600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.5 s]
/proc/loadavg: 4.14 4.17 4.17 5/332 990799
/proc/meminfo: memFree=103664572/131524600 swapFree=131071996/131071996
[pid=988522] ppid=988519 vsize=19108176 memory=5044600 CPUtime=3600.03 cores=4,6
/proc/988522/stat : 988522 (java) S 988519 988522 980838 0 -1 1077936128 200112 0 0 0 359779 224 0 0 20 0 20 0 184666974 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
/proc/988522/statm: 4777044 1261150 5892 1 0 2173834 0
[pid=988522/tid=988524] ppid=988519 vsize=19108176 memory=5044600 CPUtime=3586.72 cores=4,6
/proc/988522/task/988524/stat : 988524 (java) R 988519 988522 980838 0 -1 4194368 109839 0 0 0 358629 43 0 0 20 0 20 0 184666975 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988533] ppid=988519 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/988522/task/988533/stat : 988533 (Finalizer) S 988519 988522 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184666977 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988540] ppid=988519 vsize=19108176 memory=5044600 CPUtime=0 cores=4,6
/proc/988522/task/988540/stat : 988540 (Common-Cleaner) S 988519 988522 980838 0 -1 1077936192 5694 0 0 0 0 0 0 0 20 0 20 0 184666978 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
[pid=988522/tid=988542] ppid=988519 vsize=19108176 memory=5044600 CPUtime=0 cores=4,6
/proc/988522/task/988542/stat : 988542 (Timer-0) S 988519 988522 980838 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184667349 19566772224 1261150 134679101440 94631170531328 94631170535024 140734448847184 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94631170542840 94631170543632 94631182307328 140734448849926 140734448850016 140734448850016 140734448857032 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5044600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.91 s, system=2.26671 s

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

[startup+3604.61 s]*
/proc/loadavg: 4.14 4.17 4.17 6/315 990802
/proc/meminfo: memFree=108636032/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3604.62
CPU time (s): 3600.18
CPU user time (s): 3597.91
CPU system time (s): 2.26671
CPU usage (%): 99.8767
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5044600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.91
system time used= 2.26671
maximum resident set size= 5046224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131082
involuntary context switches= 9938


# summary of solver processes directly reported to runsolver:
#   pid: 988522
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3597.91
#   total CPU system time (s): 2.26671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34337 second user time and 17.967 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-18 19:50:00
IDJOB=4446194
IDBENCH=155532
IDSOLVER=3058
FILE ID=nodeC031/4446194-1721324987
RUNJOBID= nodeC031-1721317800-980849
SLURM_JOB_ID= 7542669
Free space on /tmp= 889984 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-116.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446194-1721324987/watcher-4446194-1721324987 -o /tmp/evaluation-result-4446194-1721324987/solver-4446194-1721324987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980849 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446194-1721324987.opb

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

MD5SUM BENCH= 2c07ac2a163c6358b3083ff023512428
RANDOM SEED=1411068006

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121784128 kB
MemAvailable:   122951692 kB
Buffers:          476604 kB
Cached:          1523180 kB
SwapCached:            0 kB
Active:           999696 kB
Inactive:        8108316 kB
Active(anon):       1560 kB
Inactive(anon):  7144388 kB
Active(file):     998136 kB
Inactive(file):   963928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             45036 kB
Writeback:             0 kB
AnonPages:       7106484 kB
Mapped:           126432 kB
Shmem:             37720 kB
KReclaimable:      90292 kB
Slab:             202164 kB
SReclaimable:      90292 kB
SUnreclaim:       111872 kB
KernelStack:        5088 kB
PageTables:        24072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   15873864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69600 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6963200 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889724 MiB
End job on nodeC031 at 2024-07-18 20:50:05