Trace number 4442834

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.23 3580.64

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb
MD5SUMa13dda9504d679e5c6e2bc0e517e2ba2
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 benchmark7.03939
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3900
Total number of constraints124865
Number of constraints which are clauses124865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint60
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.11	--- Begin Solver configuration ---
0.13/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.11	Learn all clauses as in MiniSAT
0.13/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	No reason simplification
0.13/0.11	Glucose 2.1 dynamic restart strategy
0.13/0.11	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.11	timeout=2147483s
0.13/0.11	DB Simplification allowed=false
0.13/0.11	Listener: none
0.13/0.11	--- 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-4442834-1721305270.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
1.10/0.62	c ... done. Wall clock time 0.503s.
1.10/0.63	c declared #vars     3900
1.10/0.63	c #constraints  124865
1.10/0.63	c constraints type 
1.10/0.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 124800
1.10/0.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65
1.10/0.63	c 124865 constraints processed.
2.89/1.67	c cleaning 2495 clauses out of 5000 with flag 33394/5000
4.18/2.72	c cleaning 4253 clauses out of 8505 with flag 72938/11000
5.49/4.09	c cleaning 5621 clauses out of 11254 with flag 122534/18002
7.76/6.22	c cleaning 6809 clauses out of 13632 with flag 186858/26001
10.73/9.12	c cleaning 7907 clauses out of 15822 with flag 256611/35000
14.71/13.01	c cleaning 8955 clauses out of 17916 with flag 333701/45001
19.26/17.49	c cleaning 9978 clauses out of 19961 with flag 412545/56001
24.83/22.92	c cleaning 10993 clauses out of 21985 with flag 496253/68003
31.99/30.04	c cleaning 11988 clauses out of 23990 with flag 596714/81001
35.59/33.58	c cleaning 12992 clauses out of 26002 with flag 695208/95001
42.44/40.13	c cleaning 13990 clauses out of 28009 with flag 810243/110000
52.23/49.83	c cleaning 14997 clauses out of 30019 with flag 946866/126000
63.00/60.45	c cleaning 15999 clauses out of 32022 with flag 1077485/143000
75.09/72.13	c cleaning 17000 clauses out of 34024 with flag 1223535/161001
89.40/86.30	c cleaning 17997 clauses out of 36023 with flag 1369718/180000
102.83/99.72	c cleaning 18998 clauses out of 38027 with flag 1549538/200001
110.48/107.30	c cleaning 19996 clauses out of 40028 with flag 1712150/221000
117.82/114.63	c cleaning 21000 clauses out of 42033 with flag 1888502/243001
126.61/123.40	c cleaning 22004 clauses out of 44032 with flag 2064017/266000
137.67/134.58	c cleaning 22995 clauses out of 46029 with flag 2239356/290001
147.35/143.40	c cleaning 24009 clauses out of 48033 with flag 2409558/315000
160.81/156.83	c cleaning 25006 clauses out of 50024 with flag 2583718/341000
170.63/166.51	c cleaning 25992 clauses out of 52018 with flag 2775217/368000
182.83/178.61	c cleaning 26997 clauses out of 54027 with flag 2962766/396001
202.08/197.86	c cleaning 27999 clauses out of 56030 with flag 3185940/425001
219.00/214.70	c cleaning 29003 clauses out of 58033 with flag 3410589/455003
227.96/223.65	c cleaning 29996 clauses out of 60028 with flag 3631549/486001
241.35/237.06	c cleaning 31001 clauses out of 62032 with flag 3878655/518001
259.06/253.90	c cleaning 32005 clauses out of 64031 with flag 4136684/551001
275.60/270.40	c cleaning 32999 clauses out of 66027 with flag 4410425/585002
283.15/277.89	c cleaning 33988 clauses out of 68029 with flag 4660267/620003
302.04/296.67	c cleaning 34993 clauses out of 70038 with flag 4903591/656000
313.99/308.49	c cleaning 36008 clauses out of 72045 with flag 5163483/693000
337.26/331.70	c cleaning 37001 clauses out of 74039 with flag 5402945/731002
366.54/360.75	c cleaning 38002 clauses out of 76040 with flag 5673821/770004
400.61/393.89	c cleaning 39001 clauses out of 78037 with flag 5938976/810003
434.48/427.88	c cleaning 40001 clauses out of 80035 with flag 6194932/851002
467.14/460.47	c cleaning 40992 clauses out of 82032 with flag 6449375/893000
479.92/473.15	c cleaning 41983 clauses out of 84042 with flag 6714574/936002
494.41/487.56	c cleaning 42982 clauses out of 86057 with flag 7001108/980000
523.20/516.16	c cleaning 43997 clauses out of 88076 with flag 7318626/1025001
535.37/528.22	c cleaning 45010 clauses out of 90078 with flag 7597296/1071000
563.99/556.75	c cleaning 45991 clauses out of 92069 with flag 7904437/1118001
581.98/573.79	c cleaning 47005 clauses out of 94077 with flag 8205154/1166000
612.24/603.71	c cleaning 48004 clauses out of 96072 with flag 8540336/1215000
639.27/630.66	c cleaning 49021 clauses out of 98068 with flag 8848310/1265000
656.29/647.66	c cleaning 49986 clauses out of 100048 with flag 9128716/1316001
676.38/667.51	c cleaning 50996 clauses out of 102062 with flag 9466661/1368001
702.00/692.80	c cleaning 52013 clauses out of 104066 with flag 9826981/1421001
726.24/716.81	c cleaning 52999 clauses out of 106054 with flag 10218702/1475002
774.13/764.55	c cleaning 54002 clauses out of 108053 with flag 10633071/1530000
822.02/812.45	c cleaning 55002 clauses out of 110053 with flag 11050393/1586002
860.84/850.25	c cleaning 56013 clauses out of 112050 with flag 11469483/1643001
917.41/906.80	c cleaning 57010 clauses out of 114037 with flag 11904098/1701001
943.95/933.25	c cleaning 57987 clauses out of 116028 with flag 12333043/1760002
1004.03/993.09	c cleaning 59004 clauses out of 118039 with flag 12750428/1820000
1026.78/1015.74	c cleaning 59974 clauses out of 120035 with flag 13169388/1881000
1048.38/1037.05	c cleaning 61008 clauses out of 122061 with flag 13532651/1943000
1110.76/1099.53	c cleaning 62004 clauses out of 124053 with flag 13996520/2006000
1133.08/1121.88	c cleaning 62974 clauses out of 126049 with flag 14430569/2070000
1194.61/1183.38	c cleaning 63996 clauses out of 128077 with flag 14941917/2135002
1229.95/1218.36	c cleaning 65001 clauses out of 130079 with flag 15428999/2201000
1260.90/1249.11	c cleaning 66004 clauses out of 132078 with flag 15814185/2268000
1289.57/1276.31	c cleaning 67006 clauses out of 134074 with flag 16209669/2336000
1361.93/1348.68	c cleaning 68009 clauses out of 136071 with flag 16732102/2405003
1391.29/1377.96	c cleaning 68994 clauses out of 138059 with flag 17230191/2475000
1419.64/1405.91	c cleaning 70020 clauses out of 140067 with flag 17653445/2546002
1447.30/1433.57	c cleaning 71008 clauses out of 142046 with flag 18058698/2618001
1480.40/1466.68	c cleaning 71997 clauses out of 144039 with flag 18498566/2691002
1512.26/1498.30	c cleaning 73003 clauses out of 146041 with flag 18912544/2765001
1538.60/1524.59	c cleaning 73991 clauses out of 148038 with flag 19391514/2840001
1580.75/1566.48	c cleaning 74978 clauses out of 150046 with flag 19875938/2916000
1613.37/1598.91	c cleaning 76011 clauses out of 152068 with flag 20338375/2993000
1642.02/1627.50	c cleaning 77001 clauses out of 154057 with flag 20803522/3071000
1671.60/1656.84	c cleaning 78006 clauses out of 156056 with flag 21271162/3150000
1701.60/1686.66	c cleaning 79008 clauses out of 158050 with flag 21744349/3230000
1728.76/1713.63	c cleaning 79999 clauses out of 160045 with flag 22241835/3311003
1795.92/1780.42	c cleaning 81010 clauses out of 162043 with flag 22760851/3393000
1891.14/1875.64	c cleaning 82000 clauses out of 164033 with flag 23344229/3476000
1987.82/1970.92	c cleaning 82997 clauses out of 166033 with flag 24036555/3560000
2082.52/2066.11	c cleaning 84005 clauses out of 168036 with flag 24728956/3645000
2186.78/2169.95	c cleaning 84997 clauses out of 170033 with flag 25438367/3731002
2271.91/2254.96	c cleaning 86004 clauses out of 172035 with flag 26142339/3818001
2404.37/2387.06	c cleaning 87001 clauses out of 174030 with flag 26903108/3906000
2518.16/2500.82	c cleaning 88005 clauses out of 176033 with flag 27670422/3995004
2668.67/2651.95	c cleaning 89000 clauses out of 178025 with flag 28365707/4085001
2775.59/2759.10	c cleaning 89999 clauses out of 180025 with flag 29129156/4176001
2919.37/2903.06	c cleaning 90996 clauses out of 182025 with flag 29959013/4268000
3074.90/3058.80	c cleaning 92001 clauses out of 184029 with flag 30835413/4361000
3197.78/3181.33	c cleaning 92992 clauses out of 186028 with flag 31707026/4455000
3293.63/3277.14	c cleaning 93986 clauses out of 188036 with flag 32344064/4550000
3351.99/3334.79	c cleaning 95004 clauses out of 190051 with flag 32884277/4646001
3405.85/3388.33	c cleaning 96003 clauses out of 192047 with flag 33439044/4743001
3455.96/3436.73	c cleaning 97006 clauses out of 194043 with flag 34007728/4841000
3517.28/3497.89	c cleaning 97995 clauses out of 196037 with flag 34556177/4940000
3575.15/3555.56	c cleaning 99003 clauses out of 198042 with flag 35136087/5040000
3600.06/3580.51	c starts		: 15026
3600.06/3580.51	c timeout
3600.06/3580.52	c conflicts		: 5091439
3600.06/3580.52	c decisions		: 39127237
3600.06/3580.52	c propagations		: 168897583
3600.06/3580.52	c inspects		: 18525737389
3600.06/3580.52	c shortcuts		: 0
3600.06/3580.52	c learnt literals	: 0
3600.06/3580.52	c learnt binary clauses	: 0
3600.06/3580.52	c learnt ternary clauses	: 0
3600.06/3580.52	c learnt constraints	: 5091439
3600.06/3580.52	c ignored constraints	: 0
3600.06/3580.52	c root simplifications	: 0
3600.06/3580.52	c removed literals (reason simplification)	: 0
3600.06/3580.52	c reason swapping (by a shorter reason)	: 0
3600.06/3580.52	c Calls to reduceDB	: 96
3600.06/3580.52	c Number of update (reduction) of LBD	: 2586068
3600.06/3580.52	c Imported unit clauses	: 0
3600.06/3580.53	c No decision after first conflict	: false
3600.06/3580.53	c number of reductions to clauses (during analyze)	: 0
3600.06/3580.53	c number of learned constraints concerned by reduction	: 0
3600.06/3580.53	c number of learning phase by resolution	: 0
3600.06/3580.53	c number of learning phase by cutting planes	: 0
3600.06/3580.53	c number of rounding to 1 operations	: 0
3600.06/3580.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3580.53	c number of reductions of the coefficients by power 2 	: 0
3600.06/3580.53	c number of right shift for reduction by power 2 	: 0
3600.06/3580.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3580.53	c number of ending skipping 	: 0
3600.06/3580.53	c number of internal skipping 	: 0
3600.06/3580.53	c number of derivation steps 	: 0
3600.06/3580.53	c number of skipped derivation steps 	: 0
3600.06/3580.53	c number of remaining unassigned 	: 0
3600.06/3580.53	c number of remaining assigned 	: 0
3600.06/3580.53	c number of falsified literals weakened from reason	: 0
3600.06/3580.53	c number of falsified literals weakened from conflict	: 0
3600.06/3580.53	c time for arithmetic operations	: 0
3600.06/3580.53	c minimum degree of deleted constraints	: null
3600.06/3580.53	c maximum degree of deleted constraints	: null
3600.06/3580.53	c number of deleted constraints	: 0
3600.06/3580.54	c speed (assignments/second)	: 47179.40049180131
3600.06/3580.54	c non guided choices	: 401869
3600.06/3580.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 150478
3600.06/3580.59	s UNKNOWN
3600.06/3580.59	c Total wall clock time (in seconds): 3580.476

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442834-1721305270/watcher-4442834-1721305270 -o /tmp/evaluation-result-4442834-1721305270/solver-4442834-1721305270 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960571 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4442834-1721305270.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.101102 s]*
/proc/loadavg: 1.14 1.80 2.94 12/326 960702
/proc/meminfo: memFree=126739148/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=18975048 memory=64488 CPUtime=0.13 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 7104 0 0 0 11 2 0 0 20 0 18 0 182686186 19430449152 16122 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4743762 16122 5603 1 0 549346 0
[pid=960641/tid=960651] ppid=960635 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 5675 0 0 0 7 1 0 0 20 0 18 0 182686187 19430449152 16122 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=18975048 memory=1285800 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182686189 19430449152 16122 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=18975048 memory=13571496182286042 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182686190 19430449152 16122 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64488 KiB

[startup+0.213097 s]*
/proc/loadavg: 1.14 1.80 2.94 13/328 960704
/proc/meminfo: memFree=126683968/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=18975048 memory=94204 CPUtime=0.36 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 8671 0 0 0 33 3 0 0 20 0 18 0 182686186 19430449152 23551 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4743762 23551 5851 1 0 550344 0
[pid=960641/tid=960651] ppid=960635 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 5811 0 0 0 18 1 0 0 20 0 18 0 182686187 19430449152 23551 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=18975048 memory=1285800 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182686189 19430449152 23551 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=18975048 memory=13571496182286042 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182686190 19430449152 23551 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 94204 KiB

[startup+0.306318 s]*
/proc/loadavg: 1.14 1.80 2.94 12/328 960704
/proc/meminfo: memFree=126600624/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=18975048 memory=132124 CPUtime=0.54 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 8969 0 0 0 50 4 0 0 20 0 18 0 182686186 19430449152 33031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4743762 33031 5851 1 0 550543 0
[pid=960641/tid=960651] ppid=960635 vsize=18975048 memory=-8527394836218946236 CPUtime=0.29 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 5831 0 0 0 26 3 0 0 20 0 18 0 182686187 19430449152 33031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182686189 19430449152 33031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182686190 19430449152 33031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 132124 KiB

[startup+0.707098 s]
/proc/loadavg: 1.14 1.80 2.94 12/330 960706
/proc/meminfo: memFree=126470008/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=188784 CPUtime=1.3 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 18110 0 0 0 124 6 0 0 20 0 20 0 182686186 19566772224 47196 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 47196 5883 1 0 556714 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=736 CPUtime=0.64 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 5886 0 0 0 61 3 0 0 20 0 20 0 182686187 19566772224 47196 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 47196 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 47196 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188784 KiB

[startup+1.50026 s]
/proc/loadavg: 1.14 1.80 2.94 9/331 960707
/proc/meminfo: memFree=126407636/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=190764 CPUtime=2.74 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 21182 0 0 0 267 7 0 0 20 0 20 0 182686186 19566772224 47691 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 47691 5883 1 0 556720 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=4892 CPUtime=1.41 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 6012 0 0 0 138 3 0 0 20 0 20 0 182686187 19566772224 47691 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 47691 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 47691 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 47691 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190764 KiB

[startup+3.1055 s]
/proc/loadavg: 1.14 1.80 2.94 5/333 960711
/proc/meminfo: memFree=126219776/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=246720 CPUtime=4.6 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 25197 0 0 0 451 9 0 0 20 0 20 0 182686186 19566772224 61680 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 61680 5883 1 0 556750 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=0 CPUtime=2.95 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 6809 0 0 0 291 4 0 0 20 0 20 0 182686187 19566772224 61680 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 61680 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 61680 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 61680 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 246720 KiB

[startup+6.30024 s]
/proc/loadavg: 1.37 1.84 2.95 5/333 960711
/proc/meminfo: memFree=125833904/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=321144 CPUtime=7.86 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 25624 0 0 0 775 11 0 0 20 0 20 0 182686186 19566772224 80286 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 80286 5883 1 0 556753 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=0 CPUtime=6.06 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 6819 0 0 0 602 4 0 0 20 0 20 0 182686187 19566772224 80286 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 80286 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 80286 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=27216 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 80286 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 321144 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 1.88 2.95 5/333 960712
/proc/meminfo: memFree=124541184/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=629928 CPUtime=14.4 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 27060 0 0 0 1423 17 0 0 20 0 20 0 182686186 19566772224 157482 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 157482 5883 1 0 663271 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=629928 CPUtime=12.27 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 7224 0 0 0 1221 6 0 0 20 0 20 0 182686187 19566772224 157482 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=496420 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 157482 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 157482 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 157482 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 629928 KiB

[startup+25.5003 s]
/proc/loadavg: 2.12 1.98 2.97 5/334 960715
/proc/meminfo: memFree=123610808/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=843368 CPUtime=27.42 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 33101 0 0 0 2719 23 0 0 20 0 20 0 182686186 19566772224 210842 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 210842 5883 1 0 663272 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=7676 CPUtime=24.82 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 8547 0 0 0 2476 6 0 0 20 0 20 0 182686187 19566772224 210842 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=629928 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 210842 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=471844 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 210842 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=843368 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 210842 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 27.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 843368 KiB

[startup+51.1058 s]
/proc/loadavg: 2.82 2.16 3.01 5/334 960718
/proc/meminfo: memFree=121408984/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=1360508 CPUtime=53.65 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 43529 0 0 0 5330 35 0 0 20 0 20 0 182686186 19566772224 340127 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 340127 5911 1 0 663288 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=4892 CPUtime=49.87 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 10148 0 0 0 4981 6 0 0 20 0 20 0 182686187 19566772224 340127 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=1153420 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 340127 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 340127 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0

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

/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 2520429 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=736 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 2800 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 2520429 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=-8816469637300789948 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 2520429 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 3178.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10081716 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.25 4.18 5/335 962562
/proc/meminfo: memFree=78253032/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=10184124 CPUtime=3239.01 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 305434 0 0 0 323559 342 0 0 20 0 20 0 182686186 19566772224 2546031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 2546031 5911 1 0 3124536 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=9733540 CPUtime=3176.08 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 98987 0 0 0 317539 69 0 0 20 0 20 0 182686187 19566772224 2546031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 2546031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=10081716 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 2890 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 2546031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=10184124 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 2546031 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 3239.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10184124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/332 962573
/proc/meminfo: memFree=77513284/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=10626508 CPUtime=3299.24 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 312995 0 0 0 329570 354 0 0 20 0 20 0 182686186 19566772224 2656627 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 2656627 5911 1 0 3124539 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=10184124 CPUtime=3235.43 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 103621 0 0 0 323474 69 0 0 20 0 20 0 182686187 19566772224 2656627 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=10184124 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 2656627 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 3030 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 2656627 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=144 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 2656627 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 3299.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10626508 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/332 962583
/proc/meminfo: memFree=76654872/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=11144792 CPUtime=3359.57 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 317177 0 0 0 335592 365 0 0 20 0 20 0 182686186 19566772224 2786198 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 2786198 5911 1 0 3124571 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=10184124 CPUtime=3294.75 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 106651 0 0 0 329405 70 0 0 20 0 20 0 182686187 19566772224 2786198 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=10626596 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 2786198 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 3117 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 2786198 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=5392 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 2786198 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 3359.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11144792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.22 4.18 5/332 962594
/proc/meminfo: memFree=76195800/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=11601496 CPUtime=3419.81 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 323084 0 0 0 341604 377 0 0 20 0 20 0 182686186 19566772224 2900374 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 2900374 5911 1 0 3124571 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=7676 CPUtime=3354.12 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 109736 0 0 0 335341 71 0 0 20 0 20 0 182686187 19566772224 2900374 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=-8816469637300789948 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 2900374 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=1200 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 3242 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 2900374 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 2900374 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 3419.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11601496 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.21 4.18 5/332 962604
/proc/meminfo: memFree=75277188/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=12519056 CPUtime=3481.48 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 343934 0 0 0 347748 400 0 0 20 0 20 0 182686186 19566772224 3129764 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 3129764 5911 1 0 3559060 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=11601496 CPUtime=3413.49 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 113736 0 0 0 341267 82 0 0 20 0 20 0 182686187 19566772224 3129764 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 3129764 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=12469904 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 3281 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 3129764 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=12482192 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 3129764 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 3481.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12519056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.22 4.18 5/331 962614
/proc/meminfo: memFree=75071352/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=12721808 CPUtime=3541.69 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 348033 0 0 0 353764 405 0 0 20 0 20 0 182686186 19566772224 3180452 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 3180452 5911 1 0 3559060 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=12482192 CPUtime=3472.84 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 117188 0 0 0 347199 85 0 0 20 0 20 0 182686187 19566772224 3180452 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=736 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 3180452 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=12721808 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 3281 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 3180452 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 3180452 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 3541.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12721808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3580.5 s]
/proc/loadavg: 4.19 4.21 4.18 5/333 962764
/proc/meminfo: memFree=101294856/131524600 swapFree=130798616/131071996
[pid=960641] ppid=960635 vsize=19108176 memory=12828336 CPUtime=3600.06 cores=0,2
/proc/960641/stat : 960641 (java) S 960635 960641 960561 0 -1 1077936128 355736 0 0 0 359597 409 0 0 20 0 20 0 182686186 19566772224 3207084 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
/proc/960641/statm: 4777044 3207084 5911 1 0 3559060 0
[pid=960641/tid=960651] ppid=960635 vsize=19108176 memory=12828336 CPUtime=3530.42 cores=0,2
/proc/960641/task/960651/stat : 960651 (java) R 960635 960641 960561 0 -1 4194368 120722 0 0 0 352956 86 0 0 20 0 20 0 182686187 19566772224 3207084 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960679] ppid=960635 vsize=19108176 memory=12828336 CPUtime=0 cores=0,2
/proc/960641/task/960679/stat : 960679 (Finalizer) S 960635 960641 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182686189 19566772224 3207084 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960691] ppid=960635 vsize=19108176 memory=1200 CPUtime=0 cores=0,2
/proc/960641/task/960691/stat : 960691 (Common-Cleaner) S 960635 960641 960561 0 -1 1077936192 3322 0 0 0 0 0 0 0 20 0 20 0 182686190 19566772224 3207084 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
[pid=960641/tid=960707] ppid=960635 vsize=19108176 memory=12828336 CPUtime=0 cores=0,2
/proc/960641/task/960707/stat : 960707 (Timer-0) S 960635 960641 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182686249 19566772224 3207084 134679101440 93827695788032 93827695791728 140735591734800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93827695799544 93827695800336 93827724820480 140735591736326 140735591736416 140735591736416 140735591743432 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12828336 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.1 s, system=4.13312 s

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

[startup+3580.63 s]*
/proc/loadavg: 4.19 4.21 4.18 5/315 962767
/proc/meminfo: memFree=113780520/131524600 swapFree=130798616/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): 3580.64
CPU time (s): 3600.23
CPU user time (s): 3596.1
CPU system time (s): 4.13312
CPU usage (%): 100.547
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 12828336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.1
system time used= 4.13312
maximum resident set size= 12830028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111023
involuntary context switches= 32859


# summary of solver processes directly reported to runsolver:
#   pid: 960641
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3596.1
#   total CPU system time (s): 4.13312

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39924 second user time and 17.7304 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 14:21:23
IDJOB=4442834
IDBENCH=147852
IDSOLVER=3058
FILE ID=nodeC014/4442834-1721305270
RUNJOBID= nodeC014-1721305283-960571
SLURM_JOB_ID= 7542633
Free space on /tmp= 890072 MiB

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

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

MD5SUM BENCH= a13dda9504d679e5c6e2bc0e517e2ba2
RANDOM SEED=330959219

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

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3638.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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126904788 kB
MemAvailable:   130003348 kB
Buffers:          429836 kB
Cached:          3472556 kB
SwapCached:        12876 kB
Active:          1329788 kB
Inactive:        2703212 kB
Active(anon):       9208 kB
Inactive(anon):   141736 kB
Active(file):    1320580 kB
Inactive(file):  2561476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130798616 kB
Dirty:             12644 kB
Writeback:             4 kB
AnonPages:        122236 kB
Mapped:            56472 kB
Shmem:             20332 kB
KReclaimable:     112300 kB
Slab:             210388 kB
SReclaimable:     112300 kB
SUnreclaim:        98088 kB
KernelStack:        3888 kB
PageTables:         9544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     733972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC014 at 2024-07-18 15:21:04