Trace number 4514238

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 2025-06-06? (TO) 3600.14 3604.74

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n3.opb
MD5SUMc981ca1603e2aa1abfaebeb08d0e93e7
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 benchmark0.021723
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables273
Total number of constraints91
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)91
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 7
Number of bits of the biggest sum of numbers3
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.11	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	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.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4514238-1751225755.opb
0.10/0.15	c reading problem ... 
0.10/0.15	c  no objective function found
0.10/0.17	c ... done. Wall clock time 0.02s.
0.10/0.17	c declared #vars     273
0.10/0.17	c #constraints  182
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 91
0.10/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 91
0.10/0.17	c 182 constraints processed.
1.21/0.74	c cleaning 2497 clauses out of 5001 with flag 47406/5001
1.81/1.27	c cleaning 4247 clauses out of 8506 with flag 107286/11003
2.60/1.92	c cleaning 5625 clauses out of 11256 with flag 181112/18000
3.51/2.84	c cleaning 6809 clauses out of 13631 with flag 267104/26000
4.71/4.03	c cleaning 7906 clauses out of 15822 with flag 362806/35000
6.01/5.38	c cleaning 8949 clauses out of 17916 with flag 467557/45000
7.64/6.90	c cleaning 9974 clauses out of 19967 with flag 590120/56000
9.25/8.52	c cleaning 10988 clauses out of 21993 with flag 731951/68000
11.25/10.51	c cleaning 12001 clauses out of 24009 with flag 872078/81004
13.54/12.85	c cleaning 12992 clauses out of 26004 with flag 1045622/95000
15.94/15.23	c cleaning 14003 clauses out of 28014 with flag 1226011/110002
18.47/17.71	c cleaning 14993 clauses out of 30009 with flag 1405814/126000
21.35/20.68	c cleaning 16000 clauses out of 32017 with flag 1600947/143001
24.97/24.20	c cleaning 17004 clauses out of 34017 with flag 1827155/161001
28.96/28.27	c cleaning 18000 clauses out of 36012 with flag 2056359/180000
33.25/32.54	c cleaning 19000 clauses out of 38013 with flag 2294508/200001
37.79/37.09	c cleaning 20002 clauses out of 40012 with flag 2554583/221000
42.47/41.76	c cleaning 21000 clauses out of 42011 with flag 2822600/243001
47.66/46.96	c cleaning 21998 clauses out of 44010 with flag 3107446/266000
53.75/53.04	c cleaning 22997 clauses out of 46012 with flag 3412273/290000
60.04/59.30	c cleaning 24001 clauses out of 48016 with flag 3728030/315001
66.57/65.88	c cleaning 25002 clauses out of 50017 with flag 4046860/341003
73.25/72.59	c cleaning 25998 clauses out of 52012 with flag 4399079/368000
80.24/79.58	c cleaning 27007 clauses out of 54016 with flag 4739115/396002
88.13/87.40	c cleaning 27994 clauses out of 56007 with flag 5086605/425000
96.15/95.44	c cleaning 28999 clauses out of 58013 with flag 5448747/455000
104.43/103.72	c cleaning 30004 clauses out of 60016 with flag 5839704/486002
113.41/112.71	c cleaning 31001 clauses out of 62010 with flag 6244206/518000
122.49/121.85	c cleaning 31999 clauses out of 64011 with flag 6652939/551002
132.29/131.63	c cleaning 32999 clauses out of 66012 with flag 7084225/585002
142.47/141.82	c cleaning 33999 clauses out of 68012 with flag 7530825/620001
153.55/152.95	c cleaning 34999 clauses out of 70012 with flag 7995200/656000
166.16/165.52	c cleaning 36000 clauses out of 72013 with flag 8476270/693000
179.23/178.68	c cleaning 37001 clauses out of 74015 with flag 8981415/731002
193.41/192.80	c cleaning 37995 clauses out of 76013 with flag 9482310/770001
207.52/206.97	c cleaning 39006 clauses out of 78018 with flag 10003545/810001
223.38/222.89	c cleaning 40001 clauses out of 80011 with flag 10544433/851000
240.56/240.03	c cleaning 40995 clauses out of 82010 with flag 11096001/893000
260.24/259.78	c cleaning 41997 clauses out of 84016 with flag 11682146/936001
278.18/277.77	c cleaning 43006 clauses out of 86018 with flag 12263114/980000
294.49/294.02	c cleaning 43997 clauses out of 88013 with flag 12823266/1025001
313.93/313.57	c cleaning 45001 clauses out of 90017 with flag 13414891/1071002
332.49/332.16	c cleaning 45998 clauses out of 92014 with flag 14011101/1118000
352.07/351.73	c cleaning 46999 clauses out of 94016 with flag 14606316/1166000
372.22/371.99	c cleaning 48003 clauses out of 96017 with flag 15240775/1215000
393.50/393.29	c cleaning 49005 clauses out of 98016 with flag 15888290/1265002
419.26/419.02	c cleaning 50002 clauses out of 100011 with flag 16501541/1316002
446.60/446.40	c cleaning 51002 clauses out of 102008 with flag 17185759/1368001
472.09/471.97	c cleaning 51994 clauses out of 104005 with flag 17864138/1421000
498.34/498.22	c cleaning 53004 clauses out of 106012 with flag 18585651/1475001
526.62/526.59	c cleaning 53999 clauses out of 108009 with flag 19302913/1530002
551.36/551.36	c cleaning 54999 clauses out of 110008 with flag 19982068/1586000
577.66/577.61	c cleaning 55998 clauses out of 112010 with flag 20667787/1643001
605.70/605.75	c cleaning 56994 clauses out of 114011 with flag 21382985/1701000
636.35/636.46	c cleaning 58003 clauses out of 116018 with flag 22114972/1760001
670.93/671.04	c cleaning 59004 clauses out of 118016 with flag 22870860/1820002
703.65/703.86	c cleaning 59997 clauses out of 120010 with flag 23687735/1881000
738.27/738.57	c cleaning 61003 clauses out of 122014 with flag 24520731/1943001
770.43/770.76	c cleaning 62002 clauses out of 124011 with flag 25311027/2006001
806.55/806.91	c cleaning 62997 clauses out of 126009 with flag 26171793/2070001
846.06/846.57	c cleaning 64004 clauses out of 128013 with flag 27044268/2135002
884.27/884.88	c cleaning 65004 clauses out of 130009 with flag 27903736/2201002
922.97/923.67	c cleaning 65999 clauses out of 132006 with flag 28790095/2268003
958.40/959.18	c cleaning 66994 clauses out of 134004 with flag 29688640/2336000
1001.10/1001.93	c cleaning 68000 clauses out of 136010 with flag 30575428/2405000
1041.50/1042.41	c cleaning 69005 clauses out of 138010 with flag 31492154/2475000
1085.01/1086.05	c cleaning 69999 clauses out of 140006 with flag 32421269/2546001
1130.69/1131.84	c cleaning 70995 clauses out of 142007 with flag 33416601/2618001
1177.09/1178.38	c cleaning 72003 clauses out of 144011 with flag 34447015/2691000
1229.06/1230.44	c cleaning 72998 clauses out of 146008 with flag 35496830/2765000
1279.15/1280.68	c cleaning 73999 clauses out of 148010 with flag 36529211/2840000
1332.00/1333.45	c cleaning 75005 clauses out of 150011 with flag 37589674/2916000
1387.69/1389.23	c cleaning 76001 clauses out of 152006 with flag 38686004/2993000
1428.91/1430.56	c cleaning 77000 clauses out of 154006 with flag 39591061/3071001
1475.42/1477.18	c cleaning 77995 clauses out of 156005 with flag 40527270/3150000
1531.95/1533.35	c cleaning 78996 clauses out of 158011 with flag 41542147/3230001
1583.65/1585.11	c cleaning 80000 clauses out of 160017 with flag 42507332/3311003
1633.62/1635.18	c cleaning 80995 clauses out of 162014 with flag 43467835/3393000
1688.52/1690.12	c cleaning 82001 clauses out of 164020 with flag 44368166/3476001
1740.80/1742.53	c cleaning 82999 clauses out of 166020 with flag 45345156/3560002
1791.07/1792.97	c cleaning 83998 clauses out of 168019 with flag 46397670/3645000
1841.83/1843.73	c cleaning 84995 clauses out of 170023 with flag 47471499/3731002
1893.03/1895.01	c cleaning 86000 clauses out of 172026 with flag 48514996/3818000
1945.92/1948.09	c cleaning 86999 clauses out of 174029 with flag 49601298/3906003
1994.61/1996.74	c cleaning 88002 clauses out of 176028 with flag 50714546/3995001
2047.61/2049.84	c cleaning 88996 clauses out of 178026 with flag 51827810/4085001
2095.60/2097.96	c cleaning 90001 clauses out of 180030 with flag 52946716/4176001
2155.87/2158.34	c cleaning 91000 clauses out of 182028 with flag 54155156/4268000
2206.67/2209.21	c cleaning 92001 clauses out of 184029 with flag 55340050/4361001
2258.57/2261.24	c cleaning 92998 clauses out of 186028 with flag 56559498/4455001
2310.16/2312.91	c cleaning 94001 clauses out of 188030 with flag 57718075/4550001
2367.81/2370.67	c cleaning 95000 clauses out of 190030 with flag 58888874/4646002
2424.11/2427.08	c cleaning 96000 clauses out of 192029 with flag 60065429/4743001
2476.30/2479.31	c cleaning 97000 clauses out of 194028 with flag 61275575/4841000
2533.28/2536.44	c cleaning 98001 clauses out of 196029 with flag 62531802/4940001
2589.77/2593.08	c cleaning 99004 clauses out of 198027 with flag 63795962/5040000
2653.75/2657.09	c cleaning 99998 clauses out of 200023 with flag 65091133/5141000
2701.55/2704.82	c cleaning 101009 clauses out of 202027 with flag 66267500/5243002
2752.41/2755.76	c cleaning 101990 clauses out of 204017 with flag 67522977/5346001
2806.59/2810.04	c cleaning 102997 clauses out of 206026 with flag 68764504/5450000
2866.73/2870.35	c cleaning 103999 clauses out of 208029 with flag 70120340/5555000
2926.49/2930.25	c cleaning 104995 clauses out of 210031 with flag 71522077/5661001
2987.24/2991.18	c cleaning 105995 clauses out of 212035 with flag 72956152/5768000
3053.41/3057.37	c cleaning 107002 clauses out of 214041 with flag 74416088/5876001
3118.67/3122.78	c cleaning 108002 clauses out of 216039 with flag 76047159/5985001
3186.20/3190.06	c cleaning 109006 clauses out of 218037 with flag 77446409/6095001
3245.07/3249.02	c cleaning 109995 clauses out of 220030 with flag 78761331/6206000
3313.72/3317.85	c cleaning 111003 clauses out of 222035 with flag 80138501/6318000
3382.68/3386.93	c cleaning 112004 clauses out of 224034 with flag 81751841/6431002
3449.71/3454.02	c cleaning 113000 clauses out of 226029 with flag 83398568/6545001
3528.35/3532.84	c cleaning 113986 clauses out of 228030 with flag 85130866/6660002
3600.00/3604.61	c starts		: 329
3600.00/3604.61	c timeout
3600.00/3604.62	c conflicts		: 6766088
3600.00/3604.62	c decisions		: 7427265
3600.00/3604.62	c propagations		: 178108332
3600.00/3604.62	c inspects		: 38652784816
3600.00/3604.62	c shortcuts		: 0
3600.00/3604.62	c learnt literals	: 0
3600.00/3604.62	c learnt binary clauses	: 0
3600.00/3604.62	c learnt ternary clauses	: 0
3600.00/3604.62	c learnt constraints	: 6766088
3600.00/3604.62	c ignored constraints	: 0
3600.00/3604.62	c root simplifications	: 0
3600.00/3604.62	c removed literals (reason simplification)	: 126082549
3600.00/3604.62	c reason swapping (by a shorter reason)	: 0
3600.00/3604.62	c Calls to reduceDB	: 111
3600.00/3604.62	c Number of update (reduction) of LBD	: 2216586
3600.00/3604.62	c Imported unit clauses	: 0
3600.00/3604.62	c No decision after first conflict	: false
3600.00/3604.62	c number of reductions to clauses (during analyze)	: 0
3600.00/3604.62	c number of learned constraints concerned by reduction	: 0
3600.00/3604.62	c number of learning phase by resolution	: 0
3600.00/3604.62	c number of learning phase by cutting planes	: 0
3600.00/3604.62	c number of rounding to 1 operations	: 0
3600.00/3604.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3604.62	c number of reductions of the coefficients by power 2 	: 0
3600.00/3604.62	c number of right shift for reduction by power 2 	: 0
3600.00/3604.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3604.62	c number of ending skipping 	: 0
3600.00/3604.62	c number of internal skipping 	: 0
3600.00/3604.62	c number of derivation steps 	: 0
3600.00/3604.62	c number of skipped derivation steps 	: 0
3600.00/3604.62	c number of remaining unassigned 	: 0
3600.00/3604.62	c number of remaining assigned 	: 0
3600.00/3604.62	c number of falsified literals weakened from reason	: 0
3600.00/3604.62	c number of falsified literals weakened from conflict	: 0
3600.00/3604.62	c time for arithmetic operations	: 0
3600.00/3604.63	c minimum degree of deleted constraints	: null
3600.00/3604.63	c maximum degree of deleted constraints	: null
3600.00/3604.63	c number of deleted constraints	: 0
3600.00/3604.63	c speed (assignments/second)	: 49413.42872647492
3600.00/3604.63	c non guided choices	: 86
3600.00/3604.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 220130
3600.00/3604.68	s UNKNOWN
3600.00/3604.68	c Total wall clock time (in seconds): 3604.534

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: 63708 MiB (61498 MiB free)
  memory of node 1: 64465 MiB (62522 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514238-1751225755/watcher-4514238-1751225755 -o /tmp/evaluation-result-4514238-1751225755/solver-4514238-1751225755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751222147-28933 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514238-1751225755.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=29677, runsolver pid=29670

[startup+0.100075 s]*
/proc/loadavg: 4.16 4.21 4.13 8/337 29712
/proc/meminfo: memFree=126926828/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=18930384 memory=53124 CPUtime=0.1 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 6443 0 0 0 9 1 0 0 20 0 18 0 38253018 19384713216 13281 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4732596 13281 5339 1 0 547513 0
[pid=29677/tid=29685] ppid=29670 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 4964 0 0 0 5 1 0 0 20 0 18 0 38253020 19384713216 13281 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38253022 19384713216 13281 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=18930384 memory=60684515934839 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38253023 19384713216 13281 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53124 KiB

[startup+0.205929 s]*
/proc/loadavg: 4.16 4.21 4.13 8/339 29716
/proc/meminfo: memFree=126912400/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=18997264 memory=63016 CPUtime=0.29 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 7507 0 0 0 27 2 0 0 20 0 19 0 38253018 19453198336 15754 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4749316 15754 5435 1 0 548519 0
[pid=29677/tid=29685] ppid=29670 vsize=18997264 memory=4026597495 CPUtime=0.15 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 5274 0 0 0 14 1 0 0 20 0 19 0 38253020 19453198336 15786 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=18997264 memory=224227769675 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38253022 19453198336 15786 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=18997264 memory=27756 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38253023 19453198336 15786 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=18997264 memory=0 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38253036 19453198336 15753 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18997264 KiB
Current children cumulated memory: 63016 KiB

[startup+0.305906 s]*
/proc/loadavg: 4.16 4.21 4.13 5/319 29716
/proc/meminfo: memFree=126952604/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=18996948 memory=68592 CPUtime=0.47 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 10136 0 0 0 45 2 0 0 20 0 19 0 38253018 19452874752 17148 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4749237 17148 5435 1 0 549968 0
[pid=29677/tid=29685] ppid=29670 vsize=18996948 memory=-6000919507032630125 CPUtime=0.24 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 5280 0 0 0 23 1 0 0 20 0 19 0 38253020 19452874752 17148 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38253022 19452874752 17148 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38253023 19452874752 17148 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38253036 19452874752 17148 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68592 KiB

[startup+0.700242 s]
/proc/loadavg: 4.16 4.21 4.13 5/317 29724
/proc/meminfo: memFree=126946792/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=18996948 memory=74592 CPUtime=1.21 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 10565 0 0 0 117 4 0 0 20 0 19 0 38253018 19452874752 18648 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4749237 18648 5435 1 0 550206 0
[pid=29677/tid=29685] ppid=29670 vsize=18996948 memory=17536 CPUtime=0.61 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 5285 0 0 0 59 2 0 0 20 0 19 0 38253020 19452874752 18648 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38253022 19452874752 18648 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38253023 19452874752 18648 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38253036 19452874752 18648 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74592 KiB

[startup+1.50024 s]
/proc/loadavg: 4.16 4.21 4.13 3/294 29735
/proc/meminfo: memFree=128457368/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=18996948 memory=84808 CPUtime=2.2 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 14461 0 0 0 215 5 0 0 20 0 19 0 38253018 19452874752 21202 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4749237 21202 5435 1 0 550647 0
[pid=29677/tid=29685] ppid=29670 vsize=18996948 memory=0 CPUtime=1.39 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 5822 0 0 0 137 2 0 0 20 0 19 0 38253020 19452874752 21202 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38253022 19452874752 21202 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38253023 19452874752 21202 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38253036 19452874752 21202 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84808 KiB

[startup+3.10552 s]
/proc/loadavg: 4.14 4.20 4.13 7/339 29846
/proc/meminfo: memFree=128263564/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=18996948 memory=97224 CPUtime=3.81 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 15025 0 0 0 376 5 0 0 20 0 19 0 38253018 19452874752 24306 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4749237 24306 5435 1 0 550649 0
[pid=29677/tid=29685] ppid=29670 vsize=18996948 memory=10752 CPUtime=3 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 6067 0 0 0 297 3 0 0 20 0 19 0 38253020 19452874752 24306 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=18996948 memory=-6000919507032630125 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38253022 19452874752 24306 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38253023 19452874752 24306 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38253036 19452874752 24306 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3.81 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97224 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.20 4.13 5/339 29846
/proc/meminfo: memFree=128227524/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=18996948 memory=114960 CPUtime=7.05 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 18182 0 0 0 699 6 0 0 20 0 19 0 38253018 19452874752 28740 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4749237 28740 5435 1 0 550649 0
[pid=29677/tid=29685] ppid=29670 vsize=18996948 memory=0 CPUtime=6.18 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 6703 0 0 0 615 3 0 0 20 0 19 0 38253020 19452874752 28740 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38253022 19452874752 28740 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38253023 19452874752 28740 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=18996948 memory=14432 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38253036 19452874752 28740 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 7.05 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114960 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.21 4.13 6/339 29846
/proc/meminfo: memFree=128177236/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=18996948 memory=146184 CPUtime=13.44 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 19916 0 0 0 1337 7 0 0 20 0 19 0 38253018 19452874752 36546 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4749237 36546 5435 1 0 550665 0
[pid=29677/tid=29685] ppid=29670 vsize=18996948 memory=121104 CPUtime=12.56 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 7369 0 0 0 1252 4 0 0 20 0 19 0 38253020 19452874752 36546 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=18996948 memory=14432 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38253022 19452874752 36546 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38253023 19452874752 36546 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38253036 19452874752 36546 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 13.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.22 4.13 5/340 29848
/proc/meminfo: memFree=128095328/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=179644 CPUtime=26.26 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 23189 0 0 0 2618 8 0 0 20 0 20 0 38253018 19521036288 44911 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 44911 5499 1 0 550954 0
[pid=29677/tid=29685] ppid=29670 vsize=19063512 memory=179644 CPUtime=25.3 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 7834 0 0 0 2526 4 0 0 20 0 20 0 38253020 19521036288 44911 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=19063512 memory=179644 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 44911 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 44911 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 44911 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 26.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179644 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.20 4.13 5/341 29849
/proc/meminfo: memFree=128012920/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=227132 CPUtime=51.86 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 25033 0 0 0 5176 10 0 0 20 0 20 0 38253018 19521036288 56783 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 56783 5499 1 0 550954 0

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

/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=1961536 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 1058 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=1961536 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3218.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/342 30094
/proc/meminfo: memFree=123613956/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3278.3 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 61726 0 0 0 327694 136 0 0 20 0 20 0 38253018 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 492093 5531 1 0 552687 0
[pid=29677/tid=29685] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3272.45 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 24652 0 0 0 327218 27 0 0 20 0 20 0 38253020 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=-6000919507032630125 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 1186 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3278.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968372 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/342 30097
/proc/meminfo: memFree=123616676/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3338.17 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 62366 0 0 0 333679 138 0 0 20 0 20 0 38253018 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 492093 5531 1 0 552687 0
[pid=29677/tid=29685] ppid=29670 vsize=19063512 memory=4252 CPUtime=3332.31 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 25233 0 0 0 333203 28 0 0 20 0 20 0 38253020 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 1197 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3338.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968372 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/342 30099
/proc/meminfo: memFree=123615808/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3398.11 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 63096 0 0 0 339672 139 0 0 20 0 20 0 38253018 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 492093 5531 1 0 552687 0
[pid=29677/tid=29685] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3392.06 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 25474 0 0 0 339178 28 0 0 20 0 20 0 38253020 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 1314 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3398.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/340 30101
/proc/meminfo: memFree=123611608/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3457.98 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 63396 0 0 0 345657 141 0 0 20 0 20 0 38253018 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 492093 5531 1 0 552687 0
[pid=29677/tid=29685] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3451.91 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 25746 0 0 0 345163 28 0 0 20 0 20 0 38253020 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 1314 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3457.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968372 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/340 30106
/proc/meminfo: memFree=123611496/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3517.87 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 64011 0 0 0 351644 143 0 0 20 0 20 0 38253018 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 492093 5531 1 0 552687 0
[pid=29677/tid=29685] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3511.77 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 26185 0 0 0 351149 28 0 0 20 0 20 0 38253020 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 1441 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=1062268 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3517.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968372 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/339 30108
/proc/meminfo: memFree=123611368/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3577.74 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 64636 0 0 0 357630 144 0 0 20 0 20 0 38253018 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 492093 5531 1 0 552687 0
[pid=29677/tid=29685] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3571.64 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 26637 0 0 0 357135 29 0 0 20 0 20 0 38253020 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=19063512 memory=1968372 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 1568 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3577.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.6 s]
/proc/loadavg: 4.14 4.14 4.11 5/339 30108
/proc/meminfo: memFree=123611384/131250000 swapFree=33010684/33010684
[pid=29677] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3600 cores=4,6
/proc/29677/stat : 29677 (java) S 29670 29677 28922 0 -1 4194304 64659 0 0 0 359855 145 0 0 20 0 20 0 38253018 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
/proc/29677/statm: 4765878 492093 5531 1 0 552687 0
[pid=29677/tid=29685] ppid=29670 vsize=19063512 memory=1968372 CPUtime=3593.88 cores=4,6
/proc/29677/task/29685/stat : 29685 (java) R 29670 29677 28922 0 -1 4194368 26649 0 0 0 359359 29 0 0 20 0 20 0 38253020 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29705] ppid=29670 vsize=19063512 memory=6900 CPUtime=0 cores=4,6
/proc/29677/task/29705/stat : 29705 (Finalizer) S 29670 29677 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253022 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29712] ppid=29670 vsize=19063512 memory=1062268 CPUtime=0 cores=4,6
/proc/29677/task/29712/stat : 29712 (Common-Cleaner) S 29670 29677 28922 0 -1 4194368 1568 0 0 0 0 0 0 0 20 0 20 0 38253023 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
[pid=29677/tid=29716] ppid=29670 vsize=19063512 memory=6852 CPUtime=0 cores=4,6
/proc/29677/task/29716/stat : 29716 (Timer-0) S 29670 29677 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253036 19521036288 492093 18446744073709551615 94229385728000 94229385731696 140735229642464 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94229385739512 94229385740304 94229394669568 140735229651329 140735229651430 140735229651430 140735229657032 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968372 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.68 s, system=1.46354 s

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

[startup+3604.71 s]*
/proc/loadavg: 4.14 4.14 4.11 5/318 30111
/proc/meminfo: memFree=125548736/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3604.74
CPU time (s): 3600.14
CPU user time (s): 3598.68
CPU system time (s): 1.46354
CPU usage (%): 99.8726
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1968372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.46354
maximum resident set size= 1969268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104068
involuntary context switches= 2784


# summary of solver processes directly reported to runsolver:
#   pid: 29677
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3598.68
#   total CPU system time (s): 1.46354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52549 second user time and 17.2978 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-29 21:35:55
IDJOB=4514238
IDBENCH=162614
IDSOLVER=3363
FILE ID=nodeC019/4514238-1751225755
RUNJOBID= nodeC019-1751222147-28933
SLURM_JOB_ID= 9587678
Free space on /tmp= 433064 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v091-n3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514238-1751225755/watcher-4514238-1751225755 -o /tmp/evaluation-result-4514238-1751225755/solver-4514238-1751225755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751222147-28933 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4514238-1751225755.opb

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

MD5SUM BENCH= c981ca1603e2aa1abfaebeb08d0e93e7
RANDOM SEED=1421994571

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127002420 kB
MemAvailable:   126883904 kB
Buffers:            3280 kB
Cached:           690740 kB
SwapCached:            0 kB
Active:          3260476 kB
Inactive:         433992 kB
Active(anon):    3018512 kB
Inactive(anon):        0 kB
Active(file):     241964 kB
Inactive(file):   433992 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1456 kB
Writeback:            32 kB
AnonPages:       3003456 kB
Mapped:           122636 kB
Shmem:             18064 kB
KReclaimable:      89536 kB
Slab:             175824 kB
SReclaimable:      89536 kB
SUnreclaim:        86288 kB
KernelStack:        4960 kB
PageTables:         9136 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4812500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151144 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2822144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC019 at 2025-06-29 22:36:00