Trace number 4514239

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.24 3600.53

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.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version PB25.v20250606
0.12/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.12/0.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.22	c os.arch		amd64
0.28/0.23	c Free memory 		2104792832
0.28/0.23	c Max memory 		16282288128
0.28/0.23	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.43/0.34	c Pseudo Boolean Optimization by upper bound
0.43/0.34	c --- Begin Solver configuration ---
0.43/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.34	c Learn all clauses as in MiniSAT
0.43/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.34	c Expensive reason simplification
0.43/0.34	c Glucose 2.1 dynamic restart strategy
0.43/0.34	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.43/0.34	c timeout=2147483s
0.43/0.34	c DB Simplification allowed=false
0.43/0.34	c Listener: none
0.43/0.34	c --- End Solver configuration ---
0.43/0.34	c solving HOME/instance-4514239-1751226057.opb
0.43/0.34	c reading problem ... 
0.43/0.35	c using VERIPB proof format
0.43/0.35	c  no objective function found
0.43/0.40	c ... done. Wall clock time 0.056s.
0.43/0.40	c declared #vars     273
0.43/0.40	c #constraints  182
0.43/0.40	c constraints type 
0.43/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 91
0.43/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 91
0.43/0.41	c 182 constraints processed.
3.11/1.78	c cleaning 2497 clauses out of 5001 with flag 47406/5001
4.89/2.63	c cleaning 4247 clauses out of 8506 with flag 107286/11003
6.06/3.50	c cleaning 5625 clauses out of 11256 with flag 181112/18000
7.59/4.90	c cleaning 6809 clauses out of 13631 with flag 267104/26000
9.19/6.46	c cleaning 7906 clauses out of 15822 with flag 362806/35000
10.80/8.08	c cleaning 8949 clauses out of 17916 with flag 467557/45000
12.72/9.82	c cleaning 9974 clauses out of 19967 with flag 590120/56000
14.64/11.77	c cleaning 10988 clauses out of 21993 with flag 731951/68000
16.99/14.09	c cleaning 12001 clauses out of 24009 with flag 872078/81004
19.84/16.84	c cleaning 12992 clauses out of 26004 with flag 1045622/95000
22.63/19.62	c cleaning 14003 clauses out of 28014 with flag 1226011/110002
25.44/22.42	c cleaning 14993 clauses out of 30009 with flag 1405814/126000
28.70/25.70	c cleaning 16000 clauses out of 32017 with flag 1600947/143001
32.86/29.70	c cleaning 17004 clauses out of 34017 with flag 1827155/161001
37.20/34.13	c cleaning 18000 clauses out of 36012 with flag 2056359/180000
41.68/38.69	c cleaning 19000 clauses out of 38013 with flag 2294508/200001
46.56/43.60	c cleaning 20002 clauses out of 40012 with flag 2554583/221000
51.55/48.58	c cleaning 21000 clauses out of 42011 with flag 2822600/243001
57.23/54.23	c cleaning 21998 clauses out of 44010 with flag 3107446/266000
63.83/60.84	c cleaning 22997 clauses out of 46012 with flag 3412273/290000
70.56/67.63	c cleaning 24001 clauses out of 48016 with flag 3728030/315001
77.55/74.60	c cleaning 25002 clauses out of 50017 with flag 4046860/341003
84.74/81.83	c cleaning 25998 clauses out of 52012 with flag 4399079/368000
92.32/89.47	c cleaning 27007 clauses out of 54016 with flag 4739115/396002
100.87/98.02	c cleaning 27994 clauses out of 56007 with flag 5086605/425000
109.53/106.71	c cleaning 28999 clauses out of 58013 with flag 5448747/455000
118.61/115.80	c cleaning 30004 clauses out of 60016 with flag 5839704/486002
128.45/125.71	c cleaning 31001 clauses out of 62010 with flag 6244206/518000
138.33/135.63	c cleaning 31999 clauses out of 64011 with flag 6652939/551002
149.00/146.30	c cleaning 32999 clauses out of 66012 with flag 7084225/585002
160.13/157.53	c cleaning 33999 clauses out of 68012 with flag 7530825/620001
172.11/169.55	c cleaning 34999 clauses out of 70012 with flag 7995200/656000
185.80/183.26	c cleaning 36000 clauses out of 72013 with flag 8476270/693000
200.54/198.02	c cleaning 37001 clauses out of 74015 with flag 8981415/731002
216.00/213.54	c cleaning 37995 clauses out of 76013 with flag 9482310/770001
231.83/229.45	c cleaning 39006 clauses out of 78018 with flag 10003545/810001
249.66/247.39	c cleaning 40001 clauses out of 80011 with flag 10544433/851000
269.02/266.78	c cleaning 40995 clauses out of 82010 with flag 11096001/893000
291.35/289.17	c cleaning 41997 clauses out of 84016 with flag 11682146/936001
311.68/309.54	c cleaning 43006 clauses out of 86018 with flag 12263114/980000
329.77/327.68	c cleaning 43997 clauses out of 88013 with flag 12823266/1025001
352.20/350.15	c cleaning 45001 clauses out of 90017 with flag 13414891/1071002
373.77/371.70	c cleaning 45998 clauses out of 92014 with flag 14011101/1118000
395.52/393.56	c cleaning 46999 clauses out of 94016 with flag 14606316/1166000
419.83/417.95	c cleaning 48003 clauses out of 96017 with flag 15240775/1215000
444.26/442.45	c cleaning 49005 clauses out of 98016 with flag 15888290/1265002
473.98/472.23	c cleaning 50002 clauses out of 100011 with flag 16501541/1316002
505.13/503.43	c cleaning 51002 clauses out of 102008 with flag 17185759/1368001
534.32/532.63	c cleaning 51994 clauses out of 104005 with flag 17864138/1421000
565.00/563.30	c cleaning 53004 clauses out of 106012 with flag 18585651/1475001
597.97/596.37	c cleaning 53999 clauses out of 108009 with flag 19302913/1530002
627.87/626.27	c cleaning 54999 clauses out of 110008 with flag 19982068/1586000
658.51/656.99	c cleaning 55998 clauses out of 112010 with flag 20667787/1643001
691.59/690.03	c cleaning 56994 clauses out of 114011 with flag 21382985/1701000
727.76/726.20	c cleaning 58003 clauses out of 116018 with flag 22114972/1760001
768.18/766.72	c cleaning 59004 clauses out of 118016 with flag 22870860/1820002
807.17/805.83	c cleaning 59997 clauses out of 120010 with flag 23687735/1881000
848.17/846.96	c cleaning 61003 clauses out of 122014 with flag 24520731/1943001
886.20/885.04	c cleaning 62002 clauses out of 124011 with flag 25311027/2006001
928.83/928.40	c cleaning 62997 clauses out of 126009 with flag 26171793/2070001
974.77/974.46	c cleaning 64004 clauses out of 128013 with flag 27044268/2135002
1019.41/1019.15	c cleaning 65004 clauses out of 130009 with flag 27903736/2201002
1066.44/1066.17	c cleaning 65999 clauses out of 132006 with flag 28790095/2268003
1108.59/1108.36	c cleaning 66994 clauses out of 134004 with flag 29688640/2336000
1158.93/1158.79	c cleaning 68000 clauses out of 136010 with flag 30575428/2405000
1206.64/1206.56	c cleaning 69005 clauses out of 138010 with flag 31492154/2475000
1257.95/1257.95	c cleaning 69999 clauses out of 140006 with flag 32421269/2546001
1312.67/1312.78	c cleaning 70995 clauses out of 142007 with flag 33416601/2618001
1366.77/1366.97	c cleaning 72003 clauses out of 144011 with flag 34447015/2691000
1427.54/1427.85	c cleaning 72998 clauses out of 146008 with flag 35496830/2765000
1486.68/1487.10	c cleaning 73999 clauses out of 148010 with flag 36529211/2840000
1547.77/1548.15	c cleaning 75005 clauses out of 150011 with flag 37589674/2916000
1611.67/1612.18	c cleaning 76001 clauses out of 152006 with flag 38686004/2993000
1659.33/1659.54	c cleaning 77000 clauses out of 154006 with flag 39591061/3071001
1713.21/1713.16	c cleaning 77995 clauses out of 156005 with flag 40527270/3150000
1777.70/1777.09	c cleaning 78996 clauses out of 158011 with flag 41542147/3230001
1837.95/1836.96	c cleaning 80000 clauses out of 160017 with flag 42507332/3311003
1893.63/1892.65	c cleaning 80995 clauses out of 162014 with flag 43467835/3393000
1956.04/1955.15	c cleaning 82001 clauses out of 164020 with flag 44368166/3476001
2015.50/2014.61	c cleaning 82999 clauses out of 166020 with flag 45345156/3560002
2072.46/2071.66	c cleaning 83998 clauses out of 168019 with flag 46397670/3645000
2129.62/2128.84	c cleaning 84995 clauses out of 170023 with flag 47471499/3731002
2188.19/2187.49	c cleaning 86000 clauses out of 172026 with flag 48514996/3818000
2249.30/2248.29	c cleaning 86999 clauses out of 174029 with flag 49601298/3906003
2305.71/2304.73	c cleaning 88002 clauses out of 176028 with flag 50714546/3995001
2366.46/2365.69	c cleaning 88996 clauses out of 178026 with flag 51827810/4085001
2422.78/2422.04	c cleaning 90001 clauses out of 180030 with flag 52946716/4176001
2491.93/2491.38	c cleaning 91000 clauses out of 182028 with flag 54155156/4268000
2549.91/2549.34	c cleaning 92001 clauses out of 184029 with flag 55340050/4361001
2608.30/2607.88	c cleaning 92998 clauses out of 186028 with flag 56559498/4455001
2668.00/2667.61	c cleaning 94001 clauses out of 188030 with flag 57718075/4550001
2734.19/2734.01	c cleaning 95000 clauses out of 190030 with flag 58888874/4646002
2797.91/2797.84	c cleaning 96000 clauses out of 192029 with flag 60065429/4743001
2856.62/2856.68	c cleaning 97000 clauses out of 194028 with flag 61275575/4841000
2921.89/2922.04	c cleaning 98001 clauses out of 196029 with flag 62531802/4940001
2985.85/2986.19	c cleaning 99004 clauses out of 198027 with flag 63795962/5040000
3056.79/3057.18	c cleaning 99998 clauses out of 200023 with flag 65091133/5141000
3111.26/3111.24	c cleaning 101009 clauses out of 202027 with flag 66267500/5243002
3170.48/3170.35	c cleaning 101990 clauses out of 204017 with flag 67522977/5346001
3231.78/3231.78	c cleaning 102997 clauses out of 206026 with flag 68764504/5450000
3300.86/3301.01	c cleaning 103999 clauses out of 208029 with flag 70120340/5555000
3370.13/3370.34	c cleaning 104995 clauses out of 210031 with flag 71522077/5661001
3440.45/3440.72	c cleaning 105995 clauses out of 212035 with flag 72956152/5768000
3515.03/3515.37	c cleaning 107002 clauses out of 214041 with flag 74416088/5876001
3589.14/3589.56	c cleaning 108002 clauses out of 216039 with flag 76047159/5985001
3600.05/3600.42	c timeout
3600.05/3600.43	c starts		: 329
3600.05/3600.43	c conflicts		: 6006145
3600.05/3600.43	c decisions		: 6571535
3600.05/3600.43	c propagations		: 157693592
3600.05/3600.43	c inspects		: 33605350951
3600.05/3600.43	c shortcuts		: 0
3600.05/3600.43	c learnt literals	: 0
3600.05/3600.43	c learnt binary clauses	: 0
3600.05/3600.43	c learnt ternary clauses	: 0
3600.05/3600.43	c learnt constraints	: 6006145
3600.05/3600.43	c ignored constraints	: 0
3600.05/3600.43	c root simplifications	: 0
3600.05/3600.43	c removed literals (reason simplification)	: 109219437
3600.05/3600.43	c reason swapping (by a shorter reason)	: 0
3600.05/3600.43	c Calls to reduceDB	: 105
3600.05/3600.43	c Number of update (reduction) of LBD	: 1910408
3600.05/3600.44	c Imported unit clauses	: 0
3600.05/3600.44	c No decision after first conflict	: false
3600.05/3600.44	c number of reductions to clauses (during analyze)	: 0
3600.05/3600.44	c number of learned constraints concerned by reduction	: 0
3600.05/3600.44	c number of learning phase by resolution	: 0
3600.05/3600.44	c number of learning phase by cutting planes	: 0
3600.05/3600.44	c number of rounding to 1 operations	: 0
3600.05/3600.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3600.44	c number of reductions of the coefficients by power 2 	: 0
3600.05/3600.44	c number of right shift for reduction by power 2 	: 0
3600.05/3600.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3600.44	c number of ending skipping 	: 0
3600.05/3600.44	c number of internal skipping 	: 0
3600.05/3600.44	c number of derivation steps 	: 0
3600.05/3600.44	c number of skipped derivation steps 	: 0
3600.05/3600.44	c number of remaining unassigned 	: 0
3600.05/3600.44	c number of remaining assigned 	: 0
3600.05/3600.44	c number of falsified literals weakened from reason	: 0
3600.05/3600.44	c number of falsified literals weakened from conflict	: 0
3600.05/3600.44	c time for arithmetic operations	: 0
3600.05/3600.44	c minimum degree of deleted constraints	: null
3600.05/3600.44	c maximum degree of deleted constraints	: null
3600.05/3600.44	c number of deleted constraints	: 0
3600.05/3600.44	c speed (assignments/second)	: 43803.459197239135
3600.05/3600.44	c non guided choices	: 86
3600.05/3600.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 129181
3600.05/3600.49	s UNKNOWN
3600.05/3600.49	c Total wall clock time (in seconds): 3600.149

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: 63837 MiB (62847 MiB free)
  memory of node 1: 64465 MiB (55997 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514239-1751226057/watcher-4514239-1751226057 -o /tmp/evaluation-result-4514239-1751226057/solver-4514239-1751226057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751222447-26777 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514239-1751226057 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514239-1751226057.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=27564, runsolver pid=27561

[startup+0.100069 s]*
/proc/loadavg: 4.24 4.12 4.07 6/305 27582
/proc/meminfo: memFree=121674956/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=18930384 memory=47268 CPUtime=0.12 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 5689 0 0 0 8 4 0 0 20 0 18 0 38284369 19384713216 11817 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4732596 11817 5105 1 0 546901 0
[pid=27564/tid=27566] ppid=27561 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 4593 0 0 0 4 2 0 0 20 0 18 0 38284371 19384713216 11817 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=18930384 memory=16878 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38284376 19384713216 11817 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38284377 19384713216 11817 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47268 KiB

[startup+0.214897 s]*
/proc/loadavg: 4.24 4.12 4.07 6/305 27582
/proc/meminfo: memFree=121669236/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=18930384 memory=53096 CPUtime=0.28 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 6447 0 0 0 23 5 0 0 20 0 18 0 38284369 19384713216 13274 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4732596 13274 5329 1 0 547539 0
[pid=27564/tid=27566] ppid=27561 vsize=18930384 memory=4026597495 CPUtime=0.17 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 4979 0 0 0 14 3 0 0 20 0 18 0 38284371 19384713216 13274 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=18930384 memory=215637835979 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38284376 19384713216 13274 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=18930384 memory=19850 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38284377 19384713216 13274 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53096 KiB

[startup+0.313581 s]*
/proc/loadavg: 4.24 4.12 4.07 6/305 27582
/proc/meminfo: memFree=121668244/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=18930384 memory=58328 CPUtime=0.43 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 6743 0 0 0 38 5 0 0 20 0 18 0 38284369 19384713216 14582 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4732596 14582 5329 1 0 547761 0
[pid=27564/tid=27566] ppid=27561 vsize=18930384 memory=-6000919502754506093 CPUtime=0.26 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 5174 0 0 0 22 4 0 0 20 0 18 0 38284371 19384713216 14582 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38284376 19384713216 14582 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38284377 19384713216 14582 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58328 KiB

[startup+0.700354 s]
/proc/loadavg: 4.24 4.12 4.07 6/306 27590
/proc/meminfo: memFree=121661444/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=18996948 memory=75520 CPUtime=1.14 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 9961 0 0 0 107 7 0 0 20 0 19 0 38284369 19452874752 18880 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4749237 18880 5425 1 0 550019 0
[pid=27564/tid=27566] ppid=27561 vsize=18996948 memory=17920 CPUtime=0.53 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 5350 0 0 0 49 4 0 0 20 0 19 0 38284371 19452874752 18880 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38284376 19452874752 18880 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=18996948 memory=21472 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38284377 19452874752 18880 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=18996948 memory=4352 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38284411 19452874752 18880 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75520 KiB

[startup+1.50031 s]
/proc/loadavg: 4.24 4.12 4.07 8/327 27638
/proc/meminfo: memFree=121593488/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=18996948 memory=161908 CPUtime=2.72 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 15642 0 0 0 260 12 0 0 20 0 19 0 38284369 19452874752 40477 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4749237 40477 5425 1 0 551448 0
[pid=27564/tid=27566] ppid=27561 vsize=18996948 memory=0 CPUtime=1.26 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 5728 0 0 0 119 7 0 0 20 0 19 0 38284371 19452874752 40477 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38284376 19452874752 40477 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=18996948 memory=21472 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 38284377 19452874752 40477 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=18996948 memory=4352 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38284411 19452874752 40477 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161908 KiB

[startup+3.10591 s]
/proc/loadavg: 4.30 4.13 4.08 7/306 27670
/proc/meminfo: memFree=125644240/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=173684 CPUtime=5.65 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 20391 0 0 0 550 15 0 0 20 0 20 0 38284369 19521036288 43421 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 43421 5457 1 0 552786 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=11136 CPUtime=2.79 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 6680 0 0 0 270 9 0 0 20 0 20 0 38284371 19521036288 43421 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=-6000919502754506093 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 43421 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 43421 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=21472 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 43421 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 5.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173684 KiB

[startup+6.30045 s]
/proc/loadavg: 4.30 4.13 4.08 7/330 27708
/proc/meminfo: memFree=125531456/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=294516 CPUtime=9.09 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 22964 0 0 0 888 21 0 0 20 0 20 0 38284369 19521036288 73629 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 73629 5457 1 0 552786 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=0 CPUtime=5.94 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 6968 0 0 0 580 14 0 0 20 0 20 0 38284371 19521036288 73629 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=21472 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 73629 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 73629 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=166732 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 73629 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 9.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 294516 KiB

[startup+12.7005 s]
/proc/loadavg: 4.36 4.15 4.08 5/331 27710
/proc/meminfo: memFree=124692276/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=503524 CPUtime=15.64 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 28092 0 0 0 1534 30 0 0 20 0 20 0 38284369 19521036288 125881 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 125881 5457 1 0 552786 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=166732 CPUtime=12.24 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 8405 0 0 0 1203 21 0 0 20 0 20 0 38284371 19521036288 125881 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=16464 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 125881 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=-6000919485541016941 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 125881 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 125881 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 15.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 503524 KiB

[startup+25.5005 s]
/proc/loadavg: 4.35 4.16 4.09 5/331 27710
/proc/meminfo: memFree=123503704/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=1001296 CPUtime=28.6 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 30359 0 0 0 2814 46 0 0 20 0 20 0 38284369 19521036288 250324 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 250324 5457 1 0 552786 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=11136 CPUtime=24.95 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 9937 0 0 0 2460 35 0 0 20 0 20 0 38284371 19521036288 250324 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 250324 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 250324 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 250324 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 28.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1001296 KiB

[startup+51.114 s]
/proc/loadavg: 4.23 4.14 4.08 5/330 27710
/proc/meminfo: memFree=122392732/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=1320824 CPUtime=54.16 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 31317 0 0 0 5353 63 0 0 20 0 20 0 38284369 19521036288 330206 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 330206 5457 1 0 552786 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=0 CPUtime=50.31 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 10139 0 0 0 4979 52 0 0 20 0 20 0 38284371 19521036288 330206 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=1320824 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 330206 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0

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

[startup+3282.3 s]
/proc/loadavg: 4.37 4.27 4.18 5/328 27954
/proc/meminfo: memFree=111485660/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=2171280 CPUtime=3282.27 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 90796 0 0 0 327282 945 0 0 20 0 20 0 38284369 19521036288 542820 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 542820 5489 1 0 558037 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=2171280 CPUtime=3260.17 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 41464 0 0 0 325258 759 0 0 20 0 20 0 38284371 19521036288 542820 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=16464 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 542820 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=2171280 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 542820 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 542820 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 3282.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171280 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.25 4.18 5/329 27959
/proc/meminfo: memFree=111328696/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=2171536 CPUtime=3342.2 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 91953 0 0 0 333261 959 0 0 20 0 20 0 38284369 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 542884 5489 1 0 558037 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=2171408 CPUtime=3319.62 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 42308 0 0 0 331193 769 0 0 20 0 20 0 38284371 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=2171408 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=2171536 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 1288 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=2171536 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 3342.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/329 27962
/proc/meminfo: memFree=111205496/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=2171536 CPUtime=3402.09 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 93075 0 0 0 339233 976 0 0 20 0 20 0 38284369 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 542884 5489 1 0 558037 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=2171408 CPUtime=3379.36 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 43278 0 0 0 337153 783 0 0 20 0 20 0 38284371 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=2171536 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=16464 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 1375 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 3402.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.21 4.17 5/329 27964
/proc/meminfo: memFree=111080232/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=2171536 CPUtime=3462.08 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 93501 0 0 0 345218 990 0 0 20 0 20 0 38284369 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 542884 5489 1 0 558037 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=2171536 CPUtime=3438.95 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 43420 0 0 0 343101 794 0 0 20 0 20 0 38284371 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=2171408 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=2171536 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=16464 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 542884 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 3462.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/330 27967
/proc/meminfo: memFree=110970164/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=2173620 CPUtime=3522.01 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 93763 0 0 0 351195 1006 0 0 20 0 20 0 38284369 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 543405 5489 1 0 558037 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=16464 CPUtime=3498.63 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 43654 0 0 0 349056 807 0 0 20 0 20 0 38284371 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=2173620 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=-6000919502754506093 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 3522.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173620 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/331 27970
/proc/meminfo: memFree=110795352/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=2173620 CPUtime=3581.95 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 94536 0 0 0 357177 1018 0 0 20 0 20 0 38284369 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 543405 5489 1 0 558037 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=16464 CPUtime=3558.34 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 44343 0 0 0 355017 817 0 0 20 0 20 0 38284371 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=21472 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 3581.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173620 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.4 s]
/proc/loadavg: 4.06 4.15 4.16 5/331 27970
/proc/meminfo: memFree=110740448/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19063512 memory=2173620 CPUtime=3600.05 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 95135 0 0 0 358983 1022 0 0 20 0 20 0 38284369 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4765878 543405 5489 1 0 558037 0
[pid=27564/tid=27566] ppid=27561 vsize=19063512 memory=-6000919502754506093 CPUtime=3576.32 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) R 27561 27564 26767 0 -1 4194368 44760 0 0 0 356812 820 0 0 20 0 20 0 38284371 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19063512 memory=9856 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284376 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19063512 memory=9344 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 38284377 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27589] ppid=27561 vsize=19063512 memory=26244 CPUtime=0 cores=0,2
/proc/27564/task/27589/stat : 27589 (Timer-0) S 27561 27564 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284411 19521036288 543405 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173620 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590 s, system=10.2453 s

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

[startup+3600.51 s]
/proc/loadavg: 4.06 4.15 4.16 5/331 27970
/proc/meminfo: memFree=110740448/131382120 swapFree=33010684/33010684
[pid=27564] ppid=27561 vsize=19263204 memory=2174644 CPUtime=3600.21 cores=0,2
/proc/27564/stat : 27564 (java) S 27561 27564 26767 0 -1 4194304 97636 0 0 0 358999 1022 0 0 20 0 15 0 38284369 19725520896 543661 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
/proc/27564/statm: 4815801 543661 5521 1 0 558961 0
[pid=27564/tid=27566] ppid=27561 vsize=19263204 memory=2171536 CPUtime=3576.34 cores=0,2
/proc/27564/task/27566/stat : 27566 (java) S 27561 27564 26767 0 -1 4194368 45082 0 0 0 356814 820 0 0 20 0 15 0 38284371 19725520896 543661 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27575] ppid=27561 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/27564/task/27575/stat : 27575 (Finalizer) S 27561 27564 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 38284376 19725520896 543661 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
[pid=27564/tid=27582] ppid=27561 vsize=19263204 memory=16464 CPUtime=0 cores=0,2
/proc/27564/task/27582/stat : 27582 (Common-Cleaner) S 27561 27564 26767 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 15 0 38284377 19725520896 543661 18446744073709551615 94308284801024 94308284804720 140729423038080 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94308284812536 94308284813328 94308306243584 140729423046960 140729423047142 140729423047142 140729423052744 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2174644 KiB

Child status: 143

Real time (s): 3600.53
CPU time (s): 3600.24
CPU user time (s): 3590
CPU system time (s): 10.2453
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2174644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590
system time used= 10.2453
maximum resident set size= 2174772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6304688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109822
involuntary context switches= 10934


# summary of solver processes directly reported to runsolver:
#   pid: 27564
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3590
#   total CPU system time (s): 10.2453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3406 second user time and 41.0175 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 21:40:57
IDJOB=4514239
IDBENCH=162614
IDSOLVER=3364
FILE ID=nodeC003/4514239-1751226057
RUNJOBID= nodeC003-1751222447-26777
SLURM_JOB_ID= 9587679
Free space on /tmp= 432752 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v091-n3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514239-1751226057/watcher-4514239-1751226057 -o /tmp/evaluation-result-4514239-1751226057/solver-4514239-1751226057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751222447-26777 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514239-1751226057 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514239-1751226057.opb

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

MD5SUM BENCH= c981ca1603e2aa1abfaebeb08d0e93e7
RANDOM SEED=187066915

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        121696884 kB
MemAvailable:   125835392 kB
Buffers:            3280 kB
Cached:          4943568 kB
SwapCached:            0 kB
Active:          4440184 kB
Inactive:        4695096 kB
Active(anon):    4206428 kB
Inactive(anon):        0 kB
Active(file):     233756 kB
Inactive(file):  4695096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12260 kB
Writeback:            20 kB
AnonPages:       4191560 kB
Mapped:           122968 kB
Shmem:             17960 kB
KReclaimable:      98568 kB
Slab:             181748 kB
SReclaimable:      98568 kB
SUnreclaim:        83180 kB
KernelStack:        4624 kB
PageTables:        11484 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4816824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150040 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4016128 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432744 MiB
End job on nodeC003 at 2025-06-29 22:40:58