Trace number 4542004

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.35 3540.06

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-22diag_spec_greater.opb
MD5SUM808e9faff4b516f7872d7344d1ed451f
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.23401
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1562
Total number of constraints1982
Number of constraints which are clauses1452
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints530
Minimum length of a constraint2
Maximum length of a constraint528
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 8796093022208
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 35184372088831
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.14	c See www.sat4j.org for details.
0.11/0.15	c version PB25.v20250606
0.11/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.18	c java.vm.version	22.0.1+8-16
0.11/0.18	c java.vm.vendor	Oracle Corporation
0.11/0.18	c sun.arch.data.model	64
0.11/0.18	c java.version		22.0.1
0.11/0.18	c os.name		Linux
0.11/0.18	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.18	c os.arch		amd64
0.11/0.19	c Free memory 		2104792832
0.11/0.19	c Max memory 		16282288128
0.11/0.19	c Total memory 		2113929216
0.11/0.19	c Number of processors 	2
0.25/0.31	c Pseudo Boolean Optimization by upper bound
0.25/0.31	c --- Begin Solver configuration ---
0.25/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.25/0.31	c Learn all clauses as in MiniSAT
0.25/0.31	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.31	c Expensive reason simplification
0.25/0.31	c Glucose 2.1 dynamic restart strategy
0.25/0.31	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.25/0.31	c timeout=2147483s
0.25/0.31	c DB Simplification allowed=false
0.25/0.31	c Listener: none
0.25/0.31	c --- End Solver configuration ---
0.25/0.31	c solving HOME/instance-4542004-1753214212.opb
0.25/0.31	c reading problem ... 
0.25/0.31	c using VERIPB proof format
0.25/0.31	c  no objective function found
0.54/0.48	c ... done. Wall clock time 0.169s.
0.54/0.48	c declared #vars     1562
0.54/0.48	c #constraints  2511
0.54/0.48	c constraints type 
0.54/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1100
0.54/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 927
0.54/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 484
0.54/0.48	c 2511 constraints processed.
5.17/2.87	c cleaning 2497 clauses out of 5001 with flag 12060/5001
6.42/3.75	c cleaning 4249 clauses out of 8504 with flag 29091/11001
7.56/4.79	c cleaning 5622 clauses out of 11256 with flag 47137/18002
9.36/6.38	c cleaning 6812 clauses out of 13633 with flag 67790/26001
11.35/8.05	c cleaning 7902 clauses out of 15820 with flag 91469/35000
12.94/9.64	c cleaning 8951 clauses out of 17921 with flag 119173/45003
14.91/11.45	c cleaning 9975 clauses out of 19967 with flag 147245/56000
16.92/13.47	c cleaning 10986 clauses out of 21992 with flag 178966/68000
19.04/15.50	c cleaning 11998 clauses out of 24006 with flag 212582/81000
21.25/17.78	c cleaning 12993 clauses out of 26008 with flag 252482/95000
23.75/20.28	c cleaning 14002 clauses out of 28015 with flag 289927/110000
27.08/23.51	c cleaning 14994 clauses out of 30014 with flag 331200/126001
29.99/26.37	c cleaning 16000 clauses out of 32020 with flag 376415/143001
36.11/32.33	c cleaning 17000 clauses out of 34019 with flag 418620/161000
48.67/44.52	c cleaning 18001 clauses out of 36020 with flag 458789/180001
60.23/56.02	c cleaning 19000 clauses out of 38018 with flag 501583/200000
73.15/68.85	c cleaning 20004 clauses out of 40018 with flag 545844/221000
86.31/81.98	c cleaning 21001 clauses out of 42015 with flag 593853/243001
99.78/95.32	c cleaning 22001 clauses out of 44014 with flag 642175/266001
114.15/109.69	c cleaning 23002 clauses out of 46012 with flag 692620/290000
129.65/125.10	c cleaning 23998 clauses out of 48011 with flag 745894/315001
145.13/140.47	c cleaning 24997 clauses out of 50013 with flag 801978/341001
162.38/157.54	c cleaning 25995 clauses out of 52015 with flag 859628/368000
179.97/175.06	c cleaning 27003 clauses out of 54020 with flag 918824/396000
196.86/191.81	c cleaning 27999 clauses out of 56018 with flag 980226/425001
215.03/209.90	c cleaning 28999 clauses out of 58018 with flag 1044089/455000
234.03/228.89	c cleaning 30002 clauses out of 60019 with flag 1111607/486000
254.25/248.97	c cleaning 30999 clauses out of 62017 with flag 1179769/518000
275.70/270.29	c cleaning 31997 clauses out of 64018 with flag 1251105/551000
296.99/291.21	c cleaning 33000 clauses out of 66022 with flag 1326420/585001
319.10/313.23	c cleaning 34001 clauses out of 68021 with flag 1403560/620000
342.22/336.32	c cleaning 35003 clauses out of 70020 with flag 1482678/656000
365.38/359.49	c cleaning 35998 clauses out of 72017 with flag 1565043/693000
390.05/383.69	c cleaning 36997 clauses out of 74019 with flag 1648704/731000
415.23/408.41	c cleaning 38002 clauses out of 76022 with flag 1730888/770000
440.38/433.56	c cleaning 38999 clauses out of 78020 with flag 1814748/810000
466.55/459.61	c cleaning 40002 clauses out of 80021 with flag 1901140/851000
494.56/487.43	c cleaning 41001 clauses out of 82019 with flag 1989112/893000
522.92/515.67	c cleaning 41997 clauses out of 84019 with flag 2080065/936001
553.78/545.78	c cleaning 43001 clauses out of 86022 with flag 2171856/980001
583.36/575.18	c cleaning 43995 clauses out of 88021 with flag 2265844/1025001
614.40/606.07	c cleaning 45001 clauses out of 90026 with flag 2364149/1071001
645.45/637.04	c cleaning 46002 clauses out of 92024 with flag 2466620/1118000
676.47/667.66	c cleaning 47000 clauses out of 94022 with flag 2570273/1166000
708.60/699.64	c cleaning 48003 clauses out of 96023 with flag 2675971/1215001
741.25/732.00	c cleaning 48995 clauses out of 98020 with flag 2781481/1265001
775.39/766.01	c cleaning 50004 clauses out of 100024 with flag 2888667/1316000
812.65/802.99	c cleaning 51001 clauses out of 102021 with flag 3003551/1368001
849.74/839.87	c cleaning 52000 clauses out of 104019 with flag 3116658/1421000
888.05/877.92	c cleaning 53000 clauses out of 106019 with flag 3230965/1475000
925.19/914.94	c cleaning 54001 clauses out of 108020 with flag 3349578/1530001
962.88/952.55	c cleaning 54998 clauses out of 110018 with flag 3470098/1586000
1001.29/990.84	c cleaning 55995 clauses out of 112020 with flag 3596225/1643000
1042.57/1031.73	c cleaning 57003 clauses out of 114025 with flag 3719684/1701000
1082.47/1071.28	c cleaning 58007 clauses out of 116023 with flag 3847357/1760001
1122.11/1110.78	c cleaning 59003 clauses out of 118015 with flag 3975640/1820000
1167.36/1155.68	c cleaning 59993 clauses out of 120012 with flag 4108477/1881000
1211.07/1199.35	c cleaning 60997 clauses out of 122020 with flag 4243550/1943001
1257.99/1245.84	c cleaning 62001 clauses out of 124023 with flag 4379119/2006001
1303.79/1291.12	c cleaning 62999 clauses out of 126022 with flag 4517244/2070001
1347.76/1334.93	c cleaning 63997 clauses out of 128023 with flag 4656143/2135001
1393.27/1380.32	c cleaning 65003 clauses out of 130025 with flag 4797525/2201000
1437.85/1424.42	c cleaning 66002 clauses out of 132022 with flag 4940677/2268000
1484.54/1470.82	c cleaning 67000 clauses out of 134021 with flag 5085946/2336001
1534.15/1520.08	c cleaning 68000 clauses out of 136020 with flag 5235911/2405000
1587.82/1573.00	c cleaning 68999 clauses out of 138020 with flag 5385636/2475000
1637.11/1621.81	c cleaning 69999 clauses out of 140021 with flag 5536696/2546000
1689.69/1673.77	c cleaning 71000 clauses out of 142022 with flag 5692534/2618000
1746.20/1729.52	c cleaning 72000 clauses out of 144024 with flag 5850010/2691002
1798.36/1780.48	c cleaning 73000 clauses out of 146022 with flag 6011944/2765000
1846.80/1827.83	c cleaning 74001 clauses out of 148023 with flag 6176797/2840001
1899.62/1879.60	c cleaning 74998 clauses out of 150022 with flag 6339406/2916001
1955.19/1932.82	c cleaning 76005 clauses out of 152024 with flag 6500257/2993001
2010.49/1986.97	c cleaning 76994 clauses out of 154020 with flag 6660981/3071002
2067.92/2042.06	c cleaning 78004 clauses out of 156025 with flag 6823011/3150001
2124.76/2097.61	c cleaning 78999 clauses out of 158021 with flag 6986657/3230001
2184.48/2154.84	c cleaning 79997 clauses out of 160021 with flag 7152132/3311000
2221.42/2190.87	c cleaning 81001 clauses out of 162026 with flag 7353381/3393002
2262.30/2231.70	c cleaning 82003 clauses out of 164024 with flag 7554220/3476001
2310.10/2277.64	c cleaning 82999 clauses out of 166021 with flag 7764190/3560001
2352.44/2319.26	c cleaning 83998 clauses out of 168023 with flag 7971205/3645002
2398.06/2364.12	c cleaning 85000 clauses out of 170024 with flag 8184762/3731001
2448.90/2413.37	c cleaning 86006 clauses out of 172023 with flag 8389808/3818000
2497.52/2461.17	c cleaning 86999 clauses out of 174018 with flag 8587711/3906001
2553.67/2515.54	c cleaning 87996 clauses out of 176019 with flag 8792369/3995001
2603.81/2563.81	c cleaning 88999 clauses out of 178023 with flag 8994649/4085001
2656.59/2614.96	c cleaning 89999 clauses out of 180023 with flag 9200168/4176000
2713.33/2670.52	c cleaning 90999 clauses out of 182024 with flag 9402205/4268000
2770.89/2727.45	c cleaning 92005 clauses out of 184025 with flag 9604649/4361000
2829.88/2785.55	c cleaning 93002 clauses out of 186020 with flag 9813150/4455000
2888.52/2843.24	c cleaning 93995 clauses out of 188018 with flag 10040854/4550000
2944.80/2897.42	c cleaning 95005 clauses out of 190026 with flag 10264107/4646003
3005.36/2957.05	c cleaning 95997 clauses out of 192018 with flag 10485199/4743000
3072.02/3022.57	c cleaning 97001 clauses out of 194022 with flag 10717361/4841001
3135.98/3085.49	c cleaning 97995 clauses out of 196021 with flag 10948019/4940001
3200.50/3148.83	c cleaning 98998 clauses out of 198026 with flag 11180722/5040001
3269.82/3217.14	c cleaning 99999 clauses out of 200027 with flag 11421239/5141000
3337.99/3284.14	c cleaning 101000 clauses out of 202028 with flag 11667102/5243000
3407.90/3352.53	c cleaning 101995 clauses out of 204028 with flag 11906912/5346000
3482.98/3425.65	c cleaning 103004 clauses out of 206033 with flag 12148932/5450000
3556.52/3497.13	c cleaning 103998 clauses out of 208029 with flag 12391753/5555000
3600.05/3539.81	c timeout
3600.05/3539.83	c starts		: 25
3600.05/3539.84	c conflicts		: 5624715
3600.05/3539.84	c decisions		: 5865085
3600.05/3539.84	c propagations		: 2934312842
3600.05/3539.84	c inspects		: 15934112918
3600.05/3539.84	c shortcuts		: 0
3600.05/3539.84	c learnt literals	: 0
3600.05/3539.84	c learnt binary clauses	: 0
3600.05/3539.84	c learnt ternary clauses	: 2
3600.05/3539.84	c learnt constraints	: 5624715
3600.05/3539.84	c ignored constraints	: 0
3600.05/3539.84	c root simplifications	: 0
3600.05/3539.84	c removed literals (reason simplification)	: 2087376634
3600.05/3539.84	c reason swapping (by a shorter reason)	: 0
3600.05/3539.84	c Calls to reduceDB	: 101
3600.05/3539.84	c Number of update (reduction) of LBD	: 191119
3600.05/3539.84	c Imported unit clauses	: 0
3600.05/3539.84	c No decision after first conflict	: false
3600.05/3539.85	c number of reductions to clauses (during analyze)	: 0
3600.05/3539.85	c number of learned constraints concerned by reduction	: 0
3600.05/3539.85	c number of learning phase by resolution	: 0
3600.05/3539.85	c number of learning phase by cutting planes	: 0
3600.05/3539.85	c number of rounding to 1 operations	: 0
3600.05/3539.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3539.85	c number of reductions of the coefficients by power 2 	: 0
3600.05/3539.85	c number of right shift for reduction by power 2 	: 0
3600.05/3539.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3539.85	c number of ending skipping 	: 0
3600.05/3539.85	c number of internal skipping 	: 0
3600.05/3539.85	c number of derivation steps 	: 0
3600.05/3539.85	c number of skipped derivation steps 	: 0
3600.05/3539.85	c number of remaining unassigned 	: 0
3600.05/3539.85	c number of remaining assigned 	: 0
3600.05/3539.85	c number of falsified literals weakened from reason	: 0
3600.05/3539.85	c number of falsified literals weakened from conflict	: 0
3600.05/3539.85	c time for arithmetic operations	: 0
3600.05/3539.85	c minimum degree of deleted constraints	: null
3600.05/3539.85	c maximum degree of deleted constraints	: null
3600.05/3539.85	c number of deleted constraints	: 0
3600.05/3539.85	c speed (assignments/second)	: 829051.1151300389
3600.05/3539.85	c non guided choices	: 43
3600.19/3539.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 173746
3600.19/3539.98	s UNKNOWN
3600.19/3539.98	c Total wall clock time (in seconds): 3539.676

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: 63794 MiB (17184 MiB free)
  memory of node 1: 64507 MiB (5507 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542004-1753214212/watcher-4542004-1753214212 -o /tmp/evaluation-result-4542004-1753214212/solver-4542004-1753214212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753210643-160084 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542004-1753214212 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542004-1753214212.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=160454, runsolver pid=160451

[startup+0.100072 s]*
/proc/loadavg: 4.60 4.70 4.37 5/324 160472
/proc/meminfo: memFree=23203804/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=18930384 memory=52520 CPUtime=0.11 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 5826 0 0 0 8 3 0 0 20 0 18 0 237100043 19384713216 13130 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4732596 13130 5304 1 0 547034 0
[pid=160454/tid=160456] ppid=160451 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 4740 0 0 0 5 2 0 0 20 0 18 0 237100045 19384713216 13130 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237100050 19384713216 13130 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=18930384 memory=61792617516369 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237100050 19384713216 13130 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52520 KiB

[startup+0.213518 s]*
/proc/loadavg: 4.60 4.70 4.37 5/324 160472
/proc/meminfo: memFree=23196684/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=18930384 memory=61408 CPUtime=0.25 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 6475 0 0 0 21 4 0 0 20 0 18 0 237100043 19384713216 15352 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4732596 15352 5336 1 0 547595 0
[pid=160454/tid=160456] ppid=160451 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 5056 0 0 0 15 3 0 0 20 0 18 0 237100045 19384713216 15352 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237100050 19384713216 15352 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237100050 19384713216 15352 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61408 KiB

[startup+0.315575 s]*
/proc/loadavg: 4.60 4.70 4.37 5/324 160472
/proc/meminfo: memFree=23196684/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=18930384 memory=62816 CPUtime=0.37 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 6717 0 0 0 33 4 0 0 20 0 18 0 237100043 19384713216 15704 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4732596 15704 5432 1 0 547810 0
[pid=160454/tid=160456] ppid=160451 vsize=18930384 memory=-9104139262522860220 CPUtime=0.25 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 5218 0 0 0 22 3 0 0 20 0 18 0 237100045 19384713216 15704 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237100050 19384713216 15704 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 237100050 19384713216 15704 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62816 KiB

[startup+0.700351 s]
/proc/loadavg: 4.60 4.70 4.37 7/325 160473
/proc/meminfo: memFree=23190572/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=18996948 memory=78308 CPUtime=1.06 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 7125 0 0 0 101 5 0 0 20 0 19 0 237100043 19452874752 19577 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4749237 19577 5464 1 0 548389 0
[pid=160454/tid=160456] ppid=160451 vsize=18996948 memory=27136 CPUtime=0.53 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 5361 0 0 0 49 4 0 0 20 0 19 0 237100045 19452874752 19577 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237100050 19452874752 19577 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237100050 19452874752 19577 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=18996948 memory=4892 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237100093 19452874752 19577 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78308 KiB

[startup+1.50027 s]
/proc/loadavg: 4.60 4.70 4.37 6/325 160473
/proc/meminfo: memFree=23125920/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=164764 CPUtime=2.64 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 11799 0 0 0 255 9 0 0 20 0 20 0 237100043 19521036288 41191 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 41191 5496 1 0 550039 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=0 CPUtime=1.26 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 5690 0 0 0 120 6 0 0 20 0 20 0 237100045 19521036288 41191 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 41191 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 41191 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=4892 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 41191 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164764 KiB

[startup+3.10547 s]
/proc/loadavg: 4.60 4.70 4.37 7/326 160474
/proc/meminfo: memFree=22871536/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=356536 CPUtime=5.57 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 19591 0 0 0 541 16 0 0 20 0 20 0 237100043 19521036288 89134 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 89134 5496 1 0 756964 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=11264 CPUtime=2.77 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 6691 0 0 0 267 10 0 0 20 0 20 0 237100045 19521036288 89134 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=-9104139262522860220 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 89134 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 89134 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 89134 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 356536 KiB

[startup+6.30038 s]
/proc/loadavg: 4.64 4.71 4.37 5/326 160474
/proc/meminfo: memFree=22626968/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=558048 CPUtime=9.36 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 19774 0 0 0 915 21 0 0 20 0 20 0 237100043 19521036288 139512 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 139512 5496 1 0 756968 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=0 CPUtime=5.85 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 6787 0 0 0 571 14 0 0 20 0 20 0 237100045 19521036288 139512 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 139512 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 139512 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=168880 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 139512 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 558048 KiB

[startup+12.7004 s]
/proc/loadavg: 4.58 4.70 4.37 5/326 160474
/proc/meminfo: memFree=22095508/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1157592 CPUtime=16.22 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 21138 0 0 0 1585 37 0 0 20 0 20 0 237100043 19521036288 289398 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 289398 5496 1 0 928311 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=168880 CPUtime=12.12 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 7236 0 0 0 1184 28 0 0 20 0 20 0 237100045 19521036288 289398 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 289398 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 289398 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 289398 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 16.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1157592 KiB

[startup+25.5004 s]
/proc/loadavg: 4.69 4.71 4.38 6/328 160677
/proc/meminfo: memFree=43449796/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1362648 CPUtime=29.2 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 27315 0 0 0 2871 49 0 0 20 0 20 0 237100043 19521036288 340662 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 340662 5528 1 0 928340 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=11264 CPUtime=24.8 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 9378 0 0 0 2441 39 0 0 20 0 20 0 237100045 19521036288 340662 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 340662 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=1362648 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 340662 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=1362520 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 340662 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 29.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1362648 KiB

[startup+51.1132 s]
/proc/loadavg: 4.59 4.69 4.38 5/328 160677
/proc/meminfo: memFree=34089384/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=2016272 CPUtime=55.34 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 35255 0 0 0 5464 70 0 0 20 0 20 0 237100043 19521036288 504068 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 504068 5528 1 0 928343 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=1952612 CPUtime=49.95 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 12231 0 0 0 4939 56 0 0 20 0 20 0 237100045 19521036288 504068 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=1952612 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 504068 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0

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

/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 380062 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=1520248 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 1090 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 380062 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=1520248 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 380062 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1520248 KiB

[startup+3222.3 s]
/proc/loadavg: 4.38 4.45 4.45 5/328 160850
/proc/meminfo: memFree=1637124/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1411988 CPUtime=3275.59 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 2190160 0 0 0 326256 1303 0 0 20 0 20 0 237100043 19521036288 352997 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 352997 5528 1 0 364812 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=14720 CPUtime=3181.99 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 1097347 0 0 0 317223 976 0 0 20 0 20 0 237100045 19521036288 352997 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=1520248 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 352997 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=1520248 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 1090 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 352997 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=1411988 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 352997 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 3275.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1411988 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.43 4.44 5/327 160852
/proc/meminfo: memFree=1780480/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1387028 CPUtime=3336.18 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 2190626 0 0 0 332298 1320 0 0 20 0 20 0 237100043 19521036288 346757 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 346757 5528 1 0 358548 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=1387028 CPUtime=3241.2 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 1097787 0 0 0 323129 991 0 0 20 0 20 0 237100045 19521036288 346757 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=1387028 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 346757 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=23532 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 1090 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 346757 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=1411988 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 346757 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 3336.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1387028 KiB

[startup+3342.3 s]
/proc/loadavg: 4.83 4.55 4.48 5/327 160988
/proc/meminfo: memFree=65945288/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1353752 CPUtime=3397.67 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 2314408 0 0 0 338417 1350 0 0 20 0 20 0 237100043 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 338438 5528 1 0 350196 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=14720 CPUtime=3300.44 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 1209885 0 0 0 329029 1015 0 0 20 0 20 0 237100045 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=1353752 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 1090 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=1353752 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 3397.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1353752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.61 4.54 4.48 5/327 160990
/proc/meminfo: memFree=65323304/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1353752 CPUtime=3458.5 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 2348872 0 0 0 344481 1369 0 0 20 0 20 0 237100043 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 338438 5528 1 0 350196 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=14720 CPUtime=3359.8 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 1243915 0 0 0 334949 1031 0 0 20 0 20 0 237100045 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=-9104139262522860220 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=27136 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 1111 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 3458.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1353752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.46 4.45 5/326 160992
/proc/meminfo: memFree=64620272/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1353752 CPUtime=3520.5 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 2427901 0 0 0 350657 1393 0 0 20 0 20 0 237100043 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 338438 5528 1 0 350196 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=14720 CPUtime=3418.88 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 1318075 0 0 0 340838 1050 0 0 20 0 20 0 237100045 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=-9104139262522860220 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=1353752 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 1111 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=-9104139262522860220 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 3520.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1353752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.39 4.43 5/325 160994
/proc/meminfo: memFree=64026004/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1353752 CPUtime=3582.51 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 2428036 0 0 0 356838 1413 0 0 20 0 20 0 237100043 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 338438 5528 1 0 350196 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=14720 CPUtime=3478.06 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 1318142 0 0 0 346741 1065 0 0 20 0 20 0 237100045 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=27136 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=-9104139262522860220 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 1161 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=1353752 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 3582.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1353752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3539.8 s]
/proc/loadavg: 4.12 4.37 4.42 5/325 160994
/proc/meminfo: memFree=63830240/131382112 swapFree=33009904/33010684
[pid=160454] ppid=160451 vsize=19063512 memory=1353752 CPUtime=3600.05 cores=0,2
/proc/160454/stat : 160454 (java) S 160451 160454 160073 0 -1 4194304 2428041 0 0 0 358587 1418 0 0 20 0 20 0 237100043 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
/proc/160454/statm: 4765878 338438 5528 1 0 350196 0
[pid=160454/tid=160456] ppid=160451 vsize=19063512 memory=-9104139262522860220 CPUtime=3495.29 cores=0,2
/proc/160454/task/160456/stat : 160456 (java) R 160451 160454 160073 0 -1 4194368 1318143 0 0 0 348459 1070 0 0 20 0 20 0 237100045 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160465] ppid=160451 vsize=19063512 memory=27136 CPUtime=0 cores=0,2
/proc/160454/task/160465/stat : 160465 (Finalizer) S 160451 160454 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160472] ppid=160451 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/160454/task/160472/stat : 160472 (Common-Cleaner) S 160451 160454 160073 0 -1 4194368 1161 0 0 0 0 0 0 0 20 0 20 0 237100050 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
[pid=160454/tid=160473] ppid=160451 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/160454/task/160473/stat : 160473 (Timer-0) S 160451 160454 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237100093 19521036288 338438 18446744073709551615 93847322222592 93847322226288 140723191789984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93847322234104 93847322234896 93847339565056 140723191798100 140723191798244 140723191798244 140723191803848 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1353752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.1 s, system=14.2503 s

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

[startup+3540 s]*
/proc/loadavg: 4.11 4.36 4.42 5/307 160997
/proc/meminfo: memFree=64503612/131382112 swapFree=33009904/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): 3540.06
CPU time (s): 3600.35
CPU user time (s): 3586.1
CPU system time (s): 14.2503
CPU usage (%): 101.703
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3671492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.1
system time used= 14.2503
maximum resident set size= 3671492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2429514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15219064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120497
involuntary context switches= 14115


# summary of solver processes directly reported to runsolver:
#   pid: 160454
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3586.1
#   total CPU system time (s): 14.2503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3029 second user time and 36.0054 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-22 21:56:52
IDJOB=4542004
IDBENCH=163705
IDSOLVER=3364
FILE ID=nodeC001/4542004-1753214212
RUNJOBID= nodeC001-1753210643-160084
SLURM_JOB_ID= 9687785
Free space on /tmp= 408092 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-22diag_spec_greater.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542004-1753214212/watcher-4542004-1753214212 -o /tmp/evaluation-result-4542004-1753214212/solver-4542004-1753214212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753210643-160084 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542004-1753214212 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542004-1753214212.opb

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

MD5SUM BENCH= 808e9faff4b516f7872d7344d1ed451f
RANDOM SEED=1251762740

nodeC001 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	: 0xb00001f
cpu MHz		: 2992.456
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3591.538
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.174
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.552
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3664.108
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3591.511
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.172
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        23237572 kB
MemAvailable:   122255844 kB
Buffers:            1668 kB
Cached:         97559880 kB
SwapCached:          136 kB
Active:          8387144 kB
Inactive:       96684400 kB
Active(anon):    7508496 kB
Inactive(anon):    27564 kB
Active(file):     878648 kB
Inactive(file): 96656836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             69448 kB
Writeback:             8 kB
AnonPages:       7505292 kB
Mapped:           128044 kB
Shmem:             25972 kB
KReclaimable:    2543916 kB
Slab:            2675744 kB
SReclaimable:    2543916 kB
SUnreclaim:       131828 kB
KernelStack:        4960 kB
PageTables:        18716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8086316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150312 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7194624 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 411924 MiB
End job on nodeC001 at 2025-07-22 22:55:52