Trace number 4446032

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 2024 2024-07-07? (TO) 3600.22 3617.52

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-133.opb
MD5SUMbf76f01107fc6e0f0d7316d8818a221b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48253
Total number of constraints1119563
Number of constraints which are clauses1005877
Number of constraints which are cardinality constraints (but not clauses)3541
Number of constraints which are nor clauses,nor cardinality constraints110145
Minimum length of a constraint1
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d 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 Expensive 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-4446032-1721820814.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c using VERIPB proof format
0.13/0.12	c  no objective function found
6.17/4.37	c ... done. Wall clock time 4.247s.
6.17/4.37	c declared #vars     48253
6.17/4.37	c #constraints  1121356
6.17/4.37	c constraints type 
6.17/4.37	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 235992
6.17/4.37	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3518
6.17/4.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 110145
6.17/4.37	c org.sat4j.specs.Constr$1 => 12887
6.17/4.37	c org.sat4j.pb.constraints.pb.UnitClausePB => 841
6.17/4.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 757973
6.17/4.37	c 1121356 constraints processed.
18.41/14.90	c cleaning 2456 clauses out of 4997 with flag 318680/5001
23.21/19.16	c cleaning 4050 clauses out of 8534 with flag 658542/11000
27.51/23.38	c cleaning 5653 clauses out of 11483 with flag 902661/18000
30.73/26.50	c cleaning 6911 clauses out of 13830 with flag 964253/26000
38.92/34.78	c cleaning 7883 clauses out of 15914 with flag 1333199/35000
45.94/41.76	c cleaning 8928 clauses out of 18031 with flag 1743453/45004
52.23/48.05	c cleaning 9759 clauses out of 20096 with flag 2034118/56000
60.32/56.14	c cleaning 10904 clauses out of 22332 with flag 2408120/68000
67.50/63.33	c cleaning 11989 clauses out of 24428 with flag 2863358/81000
77.82/73.68	c cleaning 13063 clauses out of 26438 with flag 3391370/95000
87.40/83.29	c cleaning 13986 clauses out of 28374 with flag 3856968/110000
96.38/92.24	c cleaning 15143 clauses out of 30388 with flag 4441626/126000
110.34/106.19	c cleaning 16114 clauses out of 32244 with flag 4914767/143000
123.29/119.01	c cleaning 16043 clauses out of 34127 with flag 5446294/161000
137.04/133.13	c cleaning 17800 clauses out of 37081 with flag 5982146/180000
150.52/146.64	c cleaning 18461 clauses out of 39281 with flag 6439672/200000
163.64/160.07	c cleaning 19830 clauses out of 41819 with flag 6893302/221002
176.43/172.98	c cleaning 20555 clauses out of 43988 with flag 7385518/243002
189.70/186.36	c cleaning 21690 clauses out of 46430 with flag 7819271/266000
203.76/200.65	c cleaning 22710 clauses out of 48738 with flag 8281399/290000
221.00/218.09	c cleaning 23590 clauses out of 51025 with flag 8751136/315000
238.08/235.30	c cleaning 24337 clauses out of 53423 with flag 9390920/341001
258.13/255.66	c cleaning 23508 clauses out of 56074 with flag 10227659/368000
277.89/275.46	c cleaning 25799 clauses out of 60564 with flag 10884674/396000
298.79/296.53	c cleaning 27198 clauses out of 63762 with flag 11624059/425000
319.70/317.64	c cleaning 28011 clauses out of 66563 with flag 12275133/455001
342.44/340.43	c cleaning 29006 clauses out of 69550 with flag 12878270/486001
364.67/362.71	c cleaning 30591 clauses out of 72540 with flag 13524643/518000
385.18/383.51	c cleaning 31115 clauses out of 74946 with flag 14150748/551000
405.85/404.29	c cleaning 31891 clauses out of 77829 with flag 14767788/585000
425.80/424.46	c cleaning 33667 clauses out of 80937 with flag 15370698/620000
448.28/447.17	c cleaning 32730 clauses out of 83229 with flag 15828037/656000
469.77/469.26	c cleaning 35526 clauses out of 87499 with flag 16322041/693000
491.83/491.31	c cleaning 36527 clauses out of 89973 with flag 16839932/731000
512.75/512.52	c cleaning 37248 clauses out of 92445 with flag 17411889/770000
536.37/536.47	c cleaning 38095 clauses out of 95177 with flag 17989704/810001
555.34/555.46	c cleaning 38631 clauses out of 98079 with flag 18469175/851000
574.48/574.72	c cleaning 39816 clauses out of 101448 with flag 18968824/893000
595.26/595.72	c cleaning 41509 clauses out of 104613 with flag 19431961/936000
619.54/620.27	c cleaning 42619 clauses out of 107104 with flag 20199317/980000
648.08/648.80	c cleaning 42518 clauses out of 109476 with flag 21206873/1025002
681.10/682.15	c cleaning 41154 clauses out of 112951 with flag 22406106/1071000
712.59/713.99	c cleaning 44745 clauses out of 118798 with flag 23206562/1118001
742.09/743.79	c cleaning 45991 clauses out of 122051 with flag 24052199/1166000
772.55/775.62	c cleaning 47562 clauses out of 125060 with flag 24849099/1215000
800.10/803.26	c cleaning 48354 clauses out of 127499 with flag 25751292/1265001
828.40/832.56	c cleaning 48899 clauses out of 130142 with flag 26554261/1316000
859.81/863.98	c cleaning 50077 clauses out of 133228 with flag 27389722/1368001
890.86/895.03	c cleaning 51602 clauses out of 136154 with flag 28292893/1421004
915.28/919.59	c cleaning 51975 clauses out of 138535 with flag 28905447/1475000
932.25/936.54	c cleaning 52738 clauses out of 141540 with flag 29366379/1530000
950.09/954.44	c cleaning 54406 clauses out of 144802 with flag 29885908/1586002
968.38/972.78	c cleaning 55071 clauses out of 147394 with flag 30396214/1643001
988.15/992.50	c cleaning 56289 clauses out of 150321 with flag 30823633/1701000
1008.16/1012.64	c cleaning 57810 clauses out of 153030 with flag 31289196/1760000
1037.44/1042.04	c cleaning 57884 clauses out of 155219 with flag 31895856/1820001
1057.84/1062.52	c cleaning 59553 clauses out of 158336 with flag 32382836/1881003
1092.37/1097.09	c cleaning 59229 clauses out of 160778 with flag 33242423/1943000
1120.69/1125.44	c cleaning 60394 clauses out of 164549 with flag 33843590/2006000
1157.19/1162.07	c cleaning 61472 clauses out of 168155 with flag 34702037/2070000
1188.61/1193.52	c cleaning 63904 clauses out of 171683 with flag 35391341/2135000
1233.81/1238.86	c cleaning 63685 clauses out of 173779 with flag 36426611/2201001
1267.66/1273.09	c cleaning 65645 clauses out of 177093 with flag 37200047/2268000
1299.20/1305.44	c cleaning 66537 clauses out of 179448 with flag 37848981/2336000
1332.99/1339.35	c cleaning 67512 clauses out of 181911 with flag 38537445/2405000
1355.55/1361.88	c cleaning 68694 clauses out of 184399 with flag 39159713/2475000
1387.25/1393.61	c cleaning 69090 clauses out of 186706 with flag 39850562/2546001
1424.46/1431.05	c cleaning 70841 clauses out of 189615 with flag 40869827/2618000
1464.00/1470.54	c cleaning 71038 clauses out of 191774 with flag 41968120/2691000
1498.99/1505.64	c cleaning 72802 clauses out of 194737 with flag 42941693/2765001
1596.41/1603.65	c cleaning 74850 clauses out of 196934 with flag 43655216/2840000
1631.15/1638.32	c cleaning 74447 clauses out of 198085 with flag 44617404/2916001
1670.64/1678.17	c cleaning 75628 clauses out of 200636 with flag 45604600/2993000
1703.75/1711.32	c cleaning 76445 clauses out of 203010 with flag 46225243/3071002
1728.28/1735.80	c cleaning 77693 clauses out of 205564 with flag 46955657/3150001
1767.74/1775.43	c cleaning 78032 clauses out of 207870 with flag 48035097/3230000
1803.74/1811.59	c cleaning 78755 clauses out of 210816 with flag 48863407/3311000
1836.45/1844.25	c cleaning 80785 clauses out of 214061 with flag 49676876/3393001
1871.26/1879.13	c cleaning 81259 clauses out of 216275 with flag 50341530/3476001
1909.06/1917.04	c cleaning 82531 clauses out of 219014 with flag 51428036/3560000
1951.92/1959.94	c cleaning 82869 clauses out of 221468 with flag 52534521/3645000
1987.62/1995.78	c cleaning 84340 clauses out of 224594 with flag 53296249/3731000
2035.09/2043.37	c cleaning 86077 clauses out of 227255 with flag 54280073/3818001
2070.31/2078.54	c cleaning 86634 clauses out of 229177 with flag 55039509/3906000
2099.29/2107.77	c cleaning 88043 clauses out of 231545 with flag 55722719/3995002
2136.49/2145.04	c cleaning 88588 clauses out of 233500 with flag 56446771/4085000
2178.21/2186.77	c cleaning 89785 clauses out of 235912 with flag 57745030/4176000
2216.60/2225.25	c cleaning 90565 clauses out of 238127 with flag 58600634/4268001
2259.38/2268.15	c cleaning 91005 clauses out of 240560 with flag 59600316/4361000
2307.49/2316.28	c cleaning 92985 clauses out of 243555 with flag 60578970/4455000
2351.20/2360.17	c cleaning 93668 clauses out of 245571 with flag 61537885/4550001
2386.28/2395.34	c cleaning 94514 clauses out of 247901 with flag 62203605/4646000
2428.17/2437.25	c cleaning 95824 clauses out of 250388 with flag 63088311/4743001
2470.33/2479.54	c cleaning 97171 clauses out of 252564 with flag 64221908/4841001
2515.56/2524.73	c cleaning 97992 clauses out of 254392 with flag 64915748/4940000
2559.39/2569.09	c cleaning 99078 clauses out of 256401 with flag 65834644/5040001
2602.66/2612.63	c cleaning 100011 clauses out of 258323 with flag 66740185/5141001
2645.40/2655.46	c cleaning 100828 clauses out of 260311 with flag 67599075/5243000
2694.51/2704.75	c cleaning 101864 clauses out of 262483 with flag 68676305/5346000
2742.34/2752.59	c cleaning 102681 clauses out of 264619 with flag 69818519/5450000
2788.24/2798.57	c cleaning 104171 clauses out of 266938 with flag 70957000/5555000
2833.41/2843.84	c cleaning 104583 clauses out of 268767 with flag 71789449/5661000
2891.25/2901.65	c cleaning 105629 clauses out of 271186 with flag 72981365/5768002
2951.33/2961.68	c cleaning 106504 clauses out of 273555 with flag 73751090/5876000
3008.35/3018.69	c cleaning 107813 clauses out of 276051 with flag 74680130/5985000
3060.59/3071.08	c cleaning 109237 clauses out of 278239 with flag 75785124/6095001
3116.71/3127.23	c cleaning 109515 clauses out of 280001 with flag 76548344/6206000
3179.38/3190.73	c cleaning 110793 clauses out of 282486 with flag 77991718/6318000
3238.34/3250.21	c cleaning 111932 clauses out of 284693 with flag 78917790/6431000
3306.21/3321.33	c cleaning 112429 clauses out of 286762 with flag 80158176/6545001
3375.71/3391.08	c cleaning 113803 clauses out of 289333 with flag 81418725/6660001
3439.89/3455.27	c cleaning 114520 clauses out of 291529 with flag 82676834/6776000
3511.24/3526.61	c cleaning 116210 clauses out of 294002 with flag 83835750/6893001
3586.01/3603.27	c cleaning 115841 clauses out of 295781 with flag 84738197/7011000
3600.08/3617.32	c starts		: 28990
3600.08/3617.32	c conflicts		: 7044974
3600.08/3617.32	c decisions		: 141864671
3600.08/3617.32	c propagations		: 5431927254
3600.08/3617.32	c inspects		: 44360703520
3600.08/3617.32	c shortcuts		: 0
3600.08/3617.32	c learnt literals	: 320
3600.08/3617.32	c learnt binary clauses	: 9117
3600.08/3617.32	c learnt ternary clauses	: 32253
3600.08/3617.32	c learnt constraints	: 7044655
3600.08/3617.32	c ignored constraints	: 0
3600.08/3617.32	c root simplifications	: 0
3600.08/3617.32	c removed literals (reason simplification)	: 101323568
3600.08/3617.32	c reason swapping (by a shorter reason)	: 0
3600.08/3617.32	c Calls to reduceDB	: 114
3600.08/3617.32	c Number of update (reduction) of LBD	: 4120269
3600.08/3617.32	c Imported unit clauses	: 0
3600.08/3617.32	c No decision after first conflict	: false
3600.08/3617.32	c number of reductions to clauses (during analyze)	: 0
3600.08/3617.32	c number of learned constraints concerned by reduction	: 0
3600.08/3617.32	c number of learning phase by resolution	: 0
3600.08/3617.32	c number of learning phase by cutting planes	: 0
3600.08/3617.32	c number of rounding to 1 operations	: 0
3600.08/3617.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3617.32	c number of reductions of the coefficients by power 2 	: 0
3600.08/3617.32	c number of right shift for reduction by power 2 	: 0
3600.08/3617.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3617.32	c number of ending skipping 	: 0
3600.08/3617.32	c number of internal skipping 	: 0
3600.08/3617.32	c number of derivation steps 	: 0
3600.08/3617.32	c number of skipped derivation steps 	: 0
3600.08/3617.32	c number of remaining unassigned 	: 0
3600.08/3617.32	c number of remaining assigned 	: 0
3600.08/3617.32	c number of falsified literals weakened from reason	: 0
3600.08/3617.32	c number of falsified literals weakened from conflict	: 0
3600.08/3617.32	c time for arithmetic operations	: 0
3600.08/3617.32	c minimum degree of deleted constraints	: null
3600.08/3617.32	c maximum degree of deleted constraints	: null
3600.08/3617.32	c number of deleted constraints	: 0
3600.08/3617.32	c timeout
3600.08/3617.32	c speed (assignments/second)	: 1503471.6361239916
3600.08/3617.32	c non guided choices	: 9438908
3600.08/3617.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 204798
3600.08/3617.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 9117
3600.08/3617.39	s UNKNOWN
3600.08/3617.39	c Total wall clock time (in seconds): 3617.267

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446032-1721820814/watcher-4446032-1721820814 -o /tmp/evaluation-result-4446032-1721820814/solver-4446032-1721820814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721817189-172938 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4446032-1721820814 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446032-1721820814.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100058 s]*
/proc/loadavg: 4.24 4.21 4.12 5/336 175812
/proc/meminfo: memFree=114553888/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=18975048 memory=65120 CPUtime=0.13 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 7259 0 0 0 11 2 0 0 20 0 18 0 18611693 19430449152 16280 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4743762 16280 5608 1 0 549373 0
[pid=175794/tid=175796] ppid=175791 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) S 175791 175794 172927 0 -1 1077936192 5764 0 0 0 7 2 0 0 20 0 18 0 18611693 19430449152 16280 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18611696 19430449152 16280 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=18975048 memory=14692998043934266 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18611696 19430449152 16280 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65120 KiB

[startup+0.2066 s]*
/proc/loadavg: 4.24 4.21 4.12 6/336 175812
/proc/meminfo: memFree=114521408/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=18975048 memory=99576 CPUtime=0.33 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 8198 0 0 0 30 3 0 0 20 0 18 0 18611693 19430449152 24894 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4743762 24894 5811 1 0 549918 0
[pid=175794/tid=175796] ppid=175791 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 5971 0 0 0 17 2 0 0 20 0 18 0 18611693 19430449152 24894 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=18975048 memory=1318339 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18611696 19430449152 24894 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18611696 19430449152 24894 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 99576 KiB

[startup+0.306618 s]*
/proc/loadavg: 4.39 4.24 4.13 6/336 175812
/proc/meminfo: memFree=114471000/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=18975048 memory=149360 CPUtime=0.51 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 9243 0 0 0 47 4 0 0 20 0 18 0 18611693 19430449152 37340 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4743762 37340 5811 1 0 550607 0
[pid=175794/tid=175796] ppid=175791 vsize=18975048 memory=-9103010042589520572 CPUtime=0.28 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 5998 0 0 0 25 3 0 0 20 0 18 0 18611693 19430449152 37340 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18611696 19430449152 37340 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18611696 19430449152 37340 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 149360 KiB

[startup+0.701172 s]
/proc/loadavg: 4.39 4.24 4.13 6/337 175813
/proc/meminfo: memFree=114444660/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19041612 memory=196156 CPUtime=1.23 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 16372 0 0 0 117 6 0 0 20 0 19 0 18611693 19498610688 49039 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4760403 49039 5811 1 0 555776 0
[pid=175794/tid=175796] ppid=175791 vsize=19041612 memory=5552 CPUtime=0.6 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 6013 0 0 0 56 4 0 0 20 0 19 0 18611693 19498610688 49105 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19041612 memory=12348 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18611696 19498610688 49105 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18611696 19498610688 49105 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 196156 KiB

[startup+1.50617 s]
/proc/loadavg: 4.39 4.24 4.13 6/337 175813
/proc/meminfo: memFree=114319336/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19041612 memory=476596 CPUtime=2.78 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 18470 0 0 0 266 12 0 0 20 0 19 0 18611693 19498610688 119149 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4760403 119149 5827 1 0 999390 0
[pid=175794/tid=175796] ppid=175791 vsize=19041612 memory=12348 CPUtime=1.27 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) S 175791 175794 172927 0 -1 1077936192 6114 0 0 0 119 8 0 0 20 0 19 0 18611693 19498610688 119149 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18611696 19498610688 119149 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18611696 19498610688 119149 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 476596 KiB

[startup+3.10618 s]
/proc/loadavg: 4.39 4.24 4.13 5/337 175813
/proc/meminfo: memFree=113497132/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19041612 memory=1080952 CPUtime=4.87 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 19813 0 0 0 462 25 0 0 20 0 19 0 18611693 19498610688 270238 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4760403 270238 5827 1 0 1617714 0
[pid=175794/tid=175796] ppid=175791 vsize=19041612 memory=0 CPUtime=2.65 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) S 175791 175794 172927 0 -1 1077936192 6321 0 0 0 249 16 0 0 20 0 19 0 18611693 19498610688 270238 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19041612 memory=12348 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18611696 19498610688 270238 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19041612 memory=630084 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18611696 19498610688 270238 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 4.87 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1080952 KiB

[startup+6.3024 s]
/proc/loadavg: 4.35 4.24 4.13 5/338 175816
/proc/meminfo: memFree=112402456/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=1931400 CPUtime=8.96 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 21261 0 0 0 853 43 0 0 20 0 20 0 18611693 19566772224 482850 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 482850 5843 1 0 2088160 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=0 CPUtime=5.61 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 6811 0 0 0 529 32 0 0 20 0 20 0 18611693 19566772224 482850 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 482850 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 482850 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=1930816 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 482850 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1931400 KiB

[startup+12.7003 s]
/proc/loadavg: 4.33 4.23 4.13 4/337 175816
/proc/meminfo: memFree=112061768/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=1932112 CPUtime=15.68 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 24307 0 0 0 1524 44 0 0 20 0 20 0 18611693 19566772224 483028 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 483028 5843 1 0 2088200 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=1931676 CPUtime=12 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 7110 0 0 0 1167 33 0 0 20 0 20 0 18611693 19566772224 483028 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 483028 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 483028 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=1936100 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 483028 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 15.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1932112 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.22 4.13 5/337 175819
/proc/meminfo: memFree=111707548/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=1930752 CPUtime=29.73 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 34309 0 0 0 2925 48 0 0 20 0 20 0 18611693 19566772224 482688 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 482688 5875 1 0 2088226 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=0 CPUtime=24.75 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 9842 0 0 0 2440 35 0 0 20 0 20 0 18611693 19566772224 482688 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=1936100 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 482688 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=417 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 482688 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 482688 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 29.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1930752 KiB

[startup+51.1057 s]
/proc/loadavg: 4.34 4.25 4.14 6/339 175893
/proc/meminfo: memFree=113200976/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=1969892 CPUtime=55.32 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 37724 0 0 0 5480 52 0 0 20 0 20 0 18611693 19566772224 492473 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 492473 5891 1 0 2088226 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=1969892 CPUtime=50.18 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 11323 0 0 0 4981 37 0 0 20 0 20 0 18611693 19566772224 492473 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=21156 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 492473 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 492473 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=280250642924288 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 492473 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 55.32 s
Current children cumulated vsize: 19108176 KiB

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

Current children cumulated memory: 5925348 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/337 177755
/proc/meminfo: memFree=88286192/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=5925348 CPUtime=3327.18 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 298456 0 0 0 332091 627 0 0 20 0 20 0 18611693 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 1481337 5907 1 0 2088299 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=5925348 CPUtime=3313.4 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 172493 0 0 0 330825 515 0 0 20 0 20 0 18611693 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1429 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 4824 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=5925348 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 3327.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5925348 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/337 177766
/proc/meminfo: memFree=87922320/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=5925348 CPUtime=3387.15 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 303349 0 0 0 338080 635 0 0 20 0 20 0 18611693 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 1481337 5907 1 0 2088299 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=12348 CPUtime=3373.02 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 175013 0 0 0 336781 521 0 0 20 0 20 0 18611693 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1436 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=5925348 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 4824 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=5925348 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 3387.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5925348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.13 5/338 177836
/proc/meminfo: memFree=87550256/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=5925348 CPUtime=3446.97 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 305771 0 0 0 344055 642 0 0 20 0 20 0 18611693 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 1481337 5907 1 0 2088299 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=12348 CPUtime=3432.83 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 177136 0 0 0 342756 527 0 0 20 0 20 0 18611693 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1442 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=5925348 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 4928 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=198340509722 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 1481337 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 3446.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5925348 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.14 4.14 5/338 177846
/proc/meminfo: memFree=87190396/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=5925364 CPUtime=3506.96 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 309046 0 0 0 350046 650 0 0 20 0 20 0 18611693 19566772224 1481341 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 1481341 5907 1 0 2088303 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=5925348 CPUtime=3492.37 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 178414 0 0 0 348703 534 0 0 20 0 20 0 18611693 19566772224 1481341 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1453 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=5925348 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1481341 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=-9103010042589520572 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 4929 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1481341 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=5925364 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 1481341 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 3506.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5925364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/338 177858
/proc/meminfo: memFree=86563072/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=6203892 CPUtime=3565.21 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 310944 0 0 0 355859 662 0 0 20 0 20 0 18611693 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 1550973 5907 1 0 2088303 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=61340 CPUtime=3550.19 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 179919 0 0 0 354479 540 0 0 20 0 20 0 18611693 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1635 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 5047 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=6203892 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 3565.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6203892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3617.3 s]
/proc/loadavg: 4.55 4.24 4.18 7/337 177868
/proc/meminfo: memFree=86357532/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19108176 memory=6203892 CPUtime=3600.08 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 312065 0 0 0 359341 667 0 0 20 0 20 0 18611693 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4777044 1550973 5907 1 0 2088303 0
[pid=175794/tid=175796] ppid=175791 vsize=19108176 memory=6203892 CPUtime=3585.03 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) R 175791 175794 172927 0 -1 4194368 181031 0 0 0 357959 544 0 0 20 0 20 0 18611693 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1640 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19108176 memory=6203892 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 5047 0 0 0 0 0 0 0 20 0 20 0 18611696 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175816] ppid=175791 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/175794/task/175816/stat : 175816 (Timer-0) S 175791 175794 172927 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18612131 19566772224 1550973 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6203892 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.53 s, system=6.69591 s

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

[startup+3617.4 s]
/proc/loadavg: 4.55 4.24 4.18 7/337 177868
/proc/meminfo: memFree=86357532/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19307868 memory=6204620 CPUtime=3600.19 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 315482 0 0 0 359352 667 0 0 20 0 16 0 18611693 19771256832 1551155 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4826967 1551155 5903 1 0 2089232 0
[pid=175794/tid=175796] ppid=175791 vsize=19307868 memory=1318667 CPUtime=3585.06 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) D 175791 175794 172927 0 -1 4194368 181315 0 0 0 357962 544 0 0 20 0 16 0 18611693 19771256832 1551155 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1652 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19307868 memory=1318828 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 18611696 19771256832 1551155 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19307868 memory=1265596 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 5047 0 0 0 0 0 0 0 20 0 16 0 18611696 19771256832 1551155 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6204620 KiB

[startup+3617.5 s]
/proc/loadavg: 4.55 4.24 4.18 7/337 177868
/proc/meminfo: memFree=86357532/131524600 swapFree=131055772/131071996
[pid=175794] ppid=175791 vsize=19307868 memory=6204620 CPUtime=3600.19 cores=4,6
/proc/175794/stat : 175794 (java) S 175791 175794 172927 0 -1 1077936128 315482 0 0 0 359352 667 0 0 20 0 16 0 18611693 19771256832 1551155 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
/proc/175794/statm: 4826967 1551155 5903 1 0 2089232 0
[pid=175794/tid=175796] ppid=175791 vsize=19307868 memory=6203892 CPUtime=3585.06 cores=4,6
/proc/175794/task/175796/stat : 175796 (java) S 175791 175794 172927 0 -1 1077936192 181315 0 0 0 357962 544 0 0 20 0 16 0 18611693 19771256832 1551155 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1662 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175805] ppid=175791 vsize=19307868 memory=12348 CPUtime=0 cores=4,6
/proc/175794/task/175805/stat : 175805 (Finalizer) S 175791 175794 172927 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 18611696 19771256832 1551155 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
[pid=175794/tid=175812] ppid=175791 vsize=19307868 memory=6203892 CPUtime=0 cores=4,6
/proc/175794/task/175812/stat : 175812 (Common-Cleaner) S 175791 175794 172927 0 -1 1077936192 5047 0 0 0 0 0 0 0 20 0 16 0 18611696 19771256832 1551155 134679101440 94896704991232 94896704994928 140731143723632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94896705002744 94896705003536 94896738156544 140731143725995 140731143726177 140731143726177 140731143733192 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6204620 KiB

Child status: 143

Real time (s): 3617.52
CPU time (s): 3600.22
CPU user time (s): 3593.53
CPU system time (s): 6.69591
CPU usage (%): 99.5218
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6204620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.53
system time used= 6.6959
maximum resident set size= 6205352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7815880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109516
involuntary context switches= 8925


# summary of solver processes directly reported to runsolver:
#   pid: 175794
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3593.53
#   total CPU system time (s): 6.69591

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36673 second user time and 17.9643 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-24 13:33:34
IDJOB=4446032
IDBENCH=155423
IDSOLVER=3079
FILE ID=nodeC035/4446032-1721820814
RUNJOBID= nodeC035-1721817189-172938
SLURM_JOB_ID= 7816901
Free space on /tmp= 889980 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-133.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446032-1721820814/watcher-4446032-1721820814 -o /tmp/evaluation-result-4446032-1721820814/solver-4446032-1721820814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721817189-172938 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446032-1721820814 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446032-1721820814.opb

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

MD5SUM BENCH= bf76f01107fc6e0f0d7316d8818a221b
RANDOM SEED=854333241

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114598280 kB
MemAvailable:   124552292 kB
Buffers:          248636 kB
Cached:         10483688 kB
SwapCached:         3464 kB
Active:          2290040 kB
Inactive:       13934364 kB
Active(anon):       1932 kB
Inactive(anon):  5535480 kB
Active(file):    2288108 kB
Inactive(file):  8398884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055772 kB
Dirty:            124876 kB
Writeback:             0 kB
AnonPages:       5487784 kB
Mapped:           127288 kB
Shmem:             45208 kB
KReclaimable:     213332 kB
Slab:             336328 kB
SReclaimable:     213332 kB
SUnreclaim:       122996 kB
KernelStack:        5120 kB
PageTables:        20768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9785620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5187584 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:      414420 kB
DirectMap2M:    48642048 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC035 at 2024-07-24 14:33:52