Trace number 4507597

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.35 3569.29

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K96.opb
MD5SUM85449da570d8e9c3bf031cd447953d83
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.73265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6528
Total number of constraints6722
Number of constraints which are clauses6626
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint96
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 97
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.19	c See www.sat4j.org for details.
0.10/0.21	c version PB25.v20250606
0.26/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.24	c java.vm.version	22.0.1+8-16
0.26/0.24	c java.vm.vendor	Oracle Corporation
0.26/0.24	c sun.arch.data.model	64
0.26/0.24	c java.version		22.0.1
0.26/0.24	c os.name		Linux
0.26/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.24	c os.arch		amd64
0.26/0.25	c Free memory 		2106806208
0.26/0.25	c Max memory 		16282288128
0.26/0.25	c Total memory 		2113929216
0.26/0.26	c Number of processors 	2
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.37	c Expensive reason simplification
0.42/0.37	c Glucose 2.1 dynamic restart strategy
0.42/0.37	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.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.38	c solving HOME/instance-4507597-1751194066.opb
0.42/0.38	c reading problem ... 
0.42/0.38	c using VERIPB proof format
0.42/0.38	c  no objective function found
1.11/0.74	c ... done. Wall clock time 0.355s.
1.11/0.74	c declared #vars     6528
1.11/0.74	c #constraints  6722
1.11/0.74	c constraints type 
1.11/0.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1235
1.11/0.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 96
1.11/0.74	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5389
1.11/0.74	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.11/0.74	c 6722 constraints processed.
5.45/2.94	c cleaning 2484 clauses out of 4991 with flag 23114/5000
7.70/4.37	c cleaning 4250 clauses out of 8507 with flag 57322/11001
9.22/5.68	c cleaning 5566 clauses out of 11246 with flag 102915/18000
12.01/8.23	c cleaning 6819 clauses out of 13675 with flag 158830/26000
13.90/10.12	c cleaning 7892 clauses out of 15857 with flag 215829/35002
16.18/12.32	c cleaning 8947 clauses out of 17958 with flag 277149/45000
19.07/15.27	c cleaning 9701 clauses out of 20009 with flag 339661/56001
23.27/19.47	c cleaning 10152 clauses out of 22302 with flag 407171/68000
26.77/22.96	c cleaning 10988 clauses out of 25148 with flag 481313/81001
29.93/26.08	c cleaning 11943 clauses out of 28153 with flag 559106/95000
33.48/29.57	c cleaning 12873 clauses out of 31212 with flag 645824/110003
38.82/34.88	c cleaning 13724 clauses out of 34337 with flag 737427/126007
43.95/40.11	c cleaning 14601 clauses out of 37609 with flag 837586/143003
49.08/45.10	c cleaning 15449 clauses out of 40998 with flag 943969/161000
55.42/51.38	c cleaning 16349 clauses out of 44549 with flag 1058923/180001
61.00/56.81	c cleaning 17100 clauses out of 48197 with flag 1182451/200000
66.37/62.28	c cleaning 18037 clauses out of 52096 with flag 1309235/221000
73.18/69.06	c cleaning 18819 clauses out of 56057 with flag 1444636/243000
79.54/75.31	c cleaning 19686 clauses out of 60237 with flag 1586457/266001
86.35/82.02	c cleaning 20539 clauses out of 64548 with flag 1740118/290001
93.56/89.16	c cleaning 21808 clauses out of 69007 with flag 1905227/315001
101.03/96.60	c cleaning 22632 clauses out of 73197 with flag 2075974/341000
109.19/104.79	c cleaning 23138 clauses out of 77564 with flag 2254634/368000
118.20/113.61	c cleaning 24493 clauses out of 82424 with flag 2441497/396000
128.53/123.88	c cleaning 25054 clauses out of 86930 with flag 2627378/425002
139.03/134.50	c cleaning 25859 clauses out of 91873 with flag 2830535/455000
148.74/144.07	c cleaning 27227 clauses out of 97011 with flag 3044949/486002
159.34/154.51	c cleaning 27967 clauses out of 101785 with flag 3269559/518003
170.50/165.63	c cleaning 28861 clauses out of 106817 with flag 3487205/551003
183.06/178.03	c cleaning 29741 clauses out of 111952 with flag 3726224/585001
194.85/189.80	c cleaning 30493 clauses out of 117210 with flag 3975307/620000
208.08/202.90	c cleaning 31617 clauses out of 122717 with flag 4233862/656000
221.35/216.26	c cleaning 32253 clauses out of 128101 with flag 4503028/693001
235.94/230.82	c cleaning 33410 clauses out of 133847 with flag 4782462/731000
250.39/245.19	c cleaning 34657 clauses out of 139437 with flag 5072443/770000
267.53/262.22	c cleaning 35296 clauses out of 144781 with flag 5377454/810001
283.83/278.26	c cleaning 36209 clauses out of 150482 with flag 5681776/851000
300.60/294.94	c cleaning 37321 clauses out of 156270 with flag 6007070/893000
318.69/312.91	c cleaning 38160 clauses out of 161948 with flag 6333594/936000
338.07/331.71	c cleaning 39158 clauses out of 167788 with flag 6679799/980000
359.29/352.90	c cleaning 40411 clauses out of 173636 with flag 7039182/1025006
380.99/374.56	c cleaning 41352 clauses out of 179219 with flag 7407385/1071000
404.26/397.67	c cleaning 42240 clauses out of 184867 with flag 7780038/1118000
426.12/419.32	c cleaning 42991 clauses out of 190628 with flag 8190933/1166001
449.58/442.79	c cleaning 44231 clauses out of 196637 with flag 8605687/1215002
477.38/470.39	c cleaning 45022 clauses out of 202403 with flag 9040094/1265000
501.60/494.50	c cleaning 46099 clauses out of 208380 with flag 9475481/1316001
528.41/521.18	c cleaning 47149 clauses out of 214280 with flag 9928491/1368000
555.85/548.40	c cleaning 48139 clauses out of 220131 with flag 10406060/1421000
585.26/577.84	c cleaning 49372 clauses out of 225991 with flag 10914912/1475000
616.26/608.72	c cleaning 49932 clauses out of 231619 with flag 11404713/1530000
648.65/640.91	c cleaning 50995 clauses out of 237689 with flag 11926576/1586002
682.15/673.57	c cleaning 51981 clauses out of 243694 with flag 12457650/1643002
718.94/710.17	c cleaning 53496 clauses out of 249713 with flag 13015473/1701002
752.09/743.11	c cleaning 54465 clauses out of 255216 with flag 13542002/1760002
786.43/777.48	c cleaning 55396 clauses out of 260747 with flag 14120767/1820000
824.24/815.17	c cleaning 56588 clauses out of 266352 with flag 14730618/1881001
862.18/852.76	c cleaning 57690 clauses out of 271764 with flag 15347139/1943001
903.76/894.17	c cleaning 58806 clauses out of 277076 with flag 16015336/2006004
943.33/933.63	c cleaning 59697 clauses out of 282266 with flag 16638670/2070000
986.41/976.49	c cleaning 60804 clauses out of 287569 with flag 17301558/2135000
1030.42/1019.82	c cleaning 61840 clauses out of 292764 with flag 17976516/2201000
1078.16/1067.37	c cleaning 62843 clauses out of 297923 with flag 18707895/2268000
1124.98/1113.88	c cleaning 63843 clauses out of 303081 with flag 19446022/2336003
1176.67/1164.75	c cleaning 64656 clauses out of 308235 with flag 20180976/2405001
1226.95/1214.90	c cleaning 65817 clauses out of 313578 with flag 20925999/2475000
1277.18/1264.85	c cleaning 66900 clauses out of 318761 with flag 21693953/2546000
1330.94/1318.16	c cleaning 68185 clauses out of 323861 with flag 22452373/2618000
1382.80/1370.36	c cleaning 69019 clauses out of 328676 with flag 23221192/2691000
1443.35/1430.31	c cleaning 69948 clauses out of 333657 with flag 24058243/2765000
1502.05/1488.07	c cleaning 71183 clauses out of 338708 with flag 24882760/2840000
1560.95/1546.04	c cleaning 71957 clauses out of 343525 with flag 25719448/2916000
1626.30/1610.56	c cleaning 73233 clauses out of 348568 with flag 26585066/2993001
1690.55/1674.42	c cleaning 74172 clauses out of 353341 with flag 27469693/3071007
1754.82/1737.98	c cleaning 75095 clauses out of 358166 with flag 28352877/3150004
1828.01/1809.01	c cleaning 76039 clauses out of 363067 with flag 29296727/3230000
1902.94/1883.09	c cleaning 77312 clauses out of 368028 with flag 30417965/3311000
1979.93/1958.72	c cleaning 78793 clauses out of 372716 with flag 31652179/3393001
2044.57/2022.66	c cleaning 79494 clauses out of 376924 with flag 32590404/3476003
2118.96/2095.11	c cleaning 80912 clauses out of 381427 with flag 33580946/3560000
2198.22/2172.09	c cleaning 81537 clauses out of 385515 with flag 34649873/3645001
2282.62/2254.78	c cleaning 82723 clauses out of 389977 with flag 35837336/3731000
2375.15/2361.26	c cleaning 83894 clauses out of 394254 with flag 37277819/3818000
2457.62/2445.10	c cleaning 85298 clauses out of 398362 with flag 38432414/3906002
2538.84/2524.55	c cleaning 85824 clauses out of 402062 with flag 39447560/3995000
2625.18/2607.75	c cleaning 86789 clauses out of 406239 with flag 40615108/4085002
2709.71/2692.86	c cleaning 87505 clauses out of 410449 with flag 41678573/4176001
2808.06/2789.58	c cleaning 89152 clauses out of 414943 with flag 42903669/4268000
2895.17/2875.08	c cleaning 89843 clauses out of 418794 with flag 44059290/4361003
2986.72/2965.42	c cleaning 90712 clauses out of 422949 with flag 45219805/4455001
3087.43/3062.72	c cleaning 91894 clauses out of 427236 with flag 46527096/4550000
3185.97/3159.53	c cleaning 93007 clauses out of 431342 with flag 47855283/4646001
3283.62/3255.02	c cleaning 94628 clauses out of 435335 with flag 49119840/4743001
3392.22/3365.35	c cleaning 94881 clauses out of 438705 with flag 50376968/4841000
3492.50/3463.33	c cleaning 96025 clauses out of 442826 with flag 51554878/4940002
3596.80/3566.13	c cleaning 97044 clauses out of 446799 with flag 52782647/5040000
3600.08/3569.13	c timeout
3600.08/3569.15	c starts		: 46035
3600.08/3569.15	c conflicts		: 5043764
3600.08/3569.15	c decisions		: 75780666
3600.08/3569.15	c propagations		: 1922076953
3600.08/3569.15	c inspects		: 22528193609
3600.08/3569.15	c shortcuts		: 0
3600.08/3569.15	c learnt literals	: 119
3600.08/3569.16	c learnt binary clauses	: 124536
3600.08/3569.16	c learnt ternary clauses	: 142518
3600.08/3569.16	c learnt constraints	: 5043645
3600.08/3569.16	c ignored constraints	: 0
3600.08/3569.16	c root simplifications	: 0
3600.08/3569.16	c removed literals (reason simplification)	: 118436436
3600.08/3569.16	c reason swapping (by a shorter reason)	: 0
3600.08/3569.16	c Calls to reduceDB	: 96
3600.08/3569.16	c Number of update (reduction) of LBD	: 4407750
3600.08/3569.16	c Imported unit clauses	: 0
3600.08/3569.16	c No decision after first conflict	: false
3600.08/3569.16	c number of reductions to clauses (during analyze)	: 0
3600.08/3569.16	c number of learned constraints concerned by reduction	: 0
3600.08/3569.16	c number of learning phase by resolution	: 0
3600.08/3569.16	c number of learning phase by cutting planes	: 0
3600.08/3569.16	c number of rounding to 1 operations	: 0
3600.08/3569.16	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3569.16	c number of reductions of the coefficients by power 2 	: 0
3600.08/3569.16	c number of right shift for reduction by power 2 	: 0
3600.08/3569.16	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3569.16	c number of ending skipping 	: 0
3600.08/3569.16	c number of internal skipping 	: 0
3600.08/3569.16	c number of derivation steps 	: 0
3600.08/3569.16	c number of skipped derivation steps 	: 0
3600.08/3569.16	c number of remaining unassigned 	: 0
3600.08/3569.16	c number of remaining assigned 	: 0
3600.08/3569.16	c number of falsified literals weakened from reason	: 0
3600.08/3569.16	c number of falsified literals weakened from conflict	: 0
3600.08/3569.16	c time for arithmetic operations	: 0
3600.08/3569.16	c minimum degree of deleted constraints	: null
3600.08/3569.16	c maximum degree of deleted constraints	: null
3600.08/3569.16	c number of deleted constraints	: 0
3600.08/3569.16	c speed (assignments/second)	: 538638.1611819973
3600.08/3569.16	c non guided choices	: 5953
3600.22/3569.26	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 228983
3600.22/3569.26	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 124536
3600.22/3569.27	s UNKNOWN
3600.22/3569.27	c Total wall clock time (in seconds): 3568.89

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (63206 MiB free)
  memory of node 1: 64507 MiB (64050 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=23582, runsolver pid=23570

[startup+0.104503 s]*
/proc/loadavg: 1.01 2.80 3.60 12/319 23655
/proc/meminfo: memFree=130234372/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=18930384 memory=49036 CPUtime=0.1 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 5640 0 0 0 6 4 0 0 20 0 18 0 35085975 19384713216 12259 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4732596 12259 5111 1 0 546866 0
[pid=23582/tid=23590] ppid=23570 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 4577 0 0 0 4 2 0 0 20 0 18 0 35085978 19384713216 12259 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35085983 19384713216 12259 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35085984 19384713216 12259 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49036 KiB

[startup+0.214626 s]*
/proc/loadavg: 1.01 2.80 3.60 11/319 23655
/proc/meminfo: memFree=130218872/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=18930384 memory=51596 CPUtime=0.26 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 6072 0 0 0 22 4 0 0 20 0 18 0 35085975 19384713216 12899 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4732596 12899 5335 1 0 547231 0
[pid=23582/tid=23590] ppid=23570 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 4955 0 0 0 14 3 0 0 20 0 18 0 35085978 19384713216 12899 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35085983 19384713216 12899 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35085984 19384713216 12899 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51596 KiB

[startup+0.314199 s]*
/proc/loadavg: 1.01 2.80 3.60 13/319 23655
/proc/meminfo: memFree=130199464/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=18930384 memory=57812 CPUtime=0.42 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 6555 0 0 0 37 5 0 0 20 0 18 0 35085975 19384713216 14453 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4732596 14453 5367 1 0 547691 0
[pid=23582/tid=23590] ppid=23570 vsize=18930384 memory=-6000919502737729901 CPUtime=0.26 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 5121 0 0 0 23 3 0 0 20 0 18 0 35085978 19384713216 14453 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35085983 19384713216 14453 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35085984 19384713216 14453 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57812 KiB

[startup+0.700394 s]
/proc/loadavg: 1.73 2.92 3.64 15/319 23655
/proc/meminfo: memFree=130179552/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=18930384 memory=84984 CPUtime=1.11 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 8083 0 0 0 103 8 0 0 20 0 18 0 35085975 19384713216 21214 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4732596 21246 5431 1 0 548756 0
[pid=23582/tid=23590] ppid=23570 vsize=18930384 memory=17152 CPUtime=0.56 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 5299 0 0 0 52 4 0 0 20 0 18 0 35085978 19384713216 21246 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=18930384 memory=11136 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35085983 19384713216 21246 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35085984 19384713216 21246 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 84984 KiB

[startup+1.50031 s]
/proc/loadavg: 1.73 2.92 3.64 12/323 23659
/proc/meminfo: memFree=130044988/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=18996948 memory=138568 CPUtime=2.68 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 18339 0 0 0 255 13 0 0 20 0 19 0 35085975 19452874752 34642 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4749237 34642 5431 1 0 553647 0
[pid=23582/tid=23590] ppid=23570 vsize=18996948 memory=3200 CPUtime=1.22 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 5730 0 0 0 116 6 0 0 20 0 19 0 35085978 19452874752 34642 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35085983 19452874752 34642 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35085984 19452874752 34642 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=18996948 memory=14304 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35086051 19452874752 34642 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 138568 KiB

[startup+3.10577 s]
/proc/loadavg: 1.73 2.92 3.64 10/327 23663
/proc/meminfo: memFree=129711448/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=183180 CPUtime=5.87 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 21898 0 0 0 571 16 0 0 20 0 20 0 35085975 19521036288 45795 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 45795 5495 1 0 553994 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=14304 CPUtime=2.74 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 6641 0 0 0 266 8 0 0 20 0 20 0 35085978 19521036288 45795 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 45795 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 45795 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 45795 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183180 KiB

[startup+6.30041 s]
/proc/loadavg: 1.91 2.94 3.64 9/327 23663
/proc/meminfo: memFree=129313284/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=267316 CPUtime=10.1 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 24791 0 0 0 990 20 0 0 20 0 20 0 35085975 19521036288 66829 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 66829 5495 1 0 554485 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=0 CPUtime=5.8 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 6741 0 0 0 569 11 0 0 20 0 20 0 35085978 19521036288 66829 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 66829 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 66829 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=142920 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 66829 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 10.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 267316 KiB

[startup+12.7004 s]
/proc/loadavg: 2.16 2.97 3.65 6/329 23665
/proc/meminfo: memFree=127912180/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=370056 CPUtime=16.58 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 27161 0 0 0 1633 25 0 0 20 0 20 0 35085975 19521036288 92514 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 92514 5527 1 0 554485 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=142920 CPUtime=11.98 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 7617 0 0 0 1185 13 0 0 20 0 20 0 35085978 19521036288 92514 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=363904 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 92514 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 92514 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 92514 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 16.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 370056 KiB

[startup+25.5005 s]
/proc/loadavg: 2.44 3.01 3.65 7/329 23665
/proc/meminfo: memFree=125696092/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=976220 CPUtime=29.42 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 30764 0 0 0 2898 44 0 0 20 0 20 0 35085975 19521036288 244055 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 244055 5527 1 0 734134 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=363904 CPUtime=24.17 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 8750 0 0 0 2390 27 0 0 20 0 20 0 35085978 19521036288 244055 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 244055 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 244055 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=795896 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 244055 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 29.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 976220 KiB

[startup+51.1135 s]
/proc/loadavg: 3.26 3.15 3.68 7/331 23734
/proc/meminfo: memFree=125844180/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=1250884 CPUtime=55.23 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 34937 0 0 0 5463 60 0 0 20 0 20 0 35085975 19521036288 312721 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 312721 5527 1 0 734136 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=370056 CPUtime=49.07 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 9985 0 0 0 4869 38 0 0 20 0 20 0 35085978 19521036288 312721 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 312721 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=1220084 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 312721 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0

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

[startup+3222.3 s]
/proc/loadavg: 4.37 4.27 4.24 5/334 24302
/proc/meminfo: memFree=85332944/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=1623624 CPUtime=3250.72 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 180930 0 0 0 323934 1138 0 0 20 0 20 0 35085975 19521036288 405906 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 405906 5527 1 0 416968 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=1481776 CPUtime=3143.11 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 100545 0 0 0 313432 879 0 0 20 0 20 0 35085978 19521036288 405906 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=1481904 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 405906 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=1481776 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 1566 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 405906 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 405906 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 3250.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1623624 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.25 4.24 5/333 24304
/proc/meminfo: memFree=84516420/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=1923736 CPUtime=3311.44 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 182857 0 0 0 329984 1160 0 0 20 0 20 0 35085975 19521036288 480934 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 480934 5527 1 0 492137 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=14304 CPUtime=3202.01 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 101080 0 0 0 319305 896 0 0 20 0 20 0 35085978 19521036288 480934 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=1923736 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 480934 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=1923736 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 1566 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 480934 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 480934 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 3311.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1923736 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.22 4.22 5/332 24306
/proc/meminfo: memFree=84260548/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=1707016 CPUtime=3368.25 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 185879 0 0 0 335651 1174 0 0 20 0 20 0 35085975 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 426754 5527 1 0 437849 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=1923736 CPUtime=3257.26 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 102828 0 0 0 324819 907 0 0 20 0 20 0 35085978 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 1566 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 3368.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1707016 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.21 4.22 5/333 24309
/proc/meminfo: memFree=83712408/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=1707016 CPUtime=3429.98 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 187657 0 0 0 341804 1194 0 0 20 0 20 0 35085975 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 426754 5527 1 0 437849 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=17152 CPUtime=3315.91 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 104183 0 0 0 330670 921 0 0 20 0 20 0 35085978 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=1707016 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 1603 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=1707016 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 426754 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 3429.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1707016 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.25 4.23 5/331 24311
/proc/meminfo: memFree=82876592/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=2032100 CPUtime=3491.51 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 192366 0 0 0 347933 1218 0 0 20 0 20 0 35085975 19521036288 508025 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 508025 5527 1 0 519281 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=1963620 CPUtime=3374.99 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 106382 0 0 0 336559 940 0 0 20 0 20 0 35085978 19521036288 508025 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=1707016 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 508025 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=2032100 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 1668 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 508025 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=4224 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 508025 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 3491.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2032100 KiB

[startup+3522.3 s]
/proc/loadavg: 4.74 4.38 4.28 5/331 24313
/proc/meminfo: memFree=82645764/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=1707108 CPUtime=3552.96 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 192770 0 0 0 354061 1235 0 0 20 0 20 0 35085975 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 426777 5527 1 0 437849 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=2027108 CPUtime=3433.82 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 106732 0 0 0 342428 954 0 0 20 0 20 0 35085978 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=2032100 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=-6000919507032697197 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 1668 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=1707108 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 3552.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1707108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3569.11 s]
/proc/loadavg: 4.43 4.35 4.27 5/334 24322
/proc/meminfo: memFree=82235404/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19063512 memory=1707108 CPUtime=3600.08 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 195648 0 0 0 358761 1247 0 0 20 0 20 0 35085975 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4765878 426777 5527 1 0 437849 0
[pid=23582/tid=23590] ppid=23570 vsize=19063512 memory=1707108 CPUtime=3480.12 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) R 23570 23582 23518 0 -1 4194368 108329 0 0 0 347050 962 0 0 20 0 20 0 35085978 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19063512 memory=1707108 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35085983 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 1668 0 0 0 0 0 0 0 20 0 20 0 35085984 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23659] ppid=23570 vsize=19063512 memory=1707108 CPUtime=0 cores=1,3
/proc/23582/task/23659/stat : 23659 (Timer-0) S 23570 23582 23518 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35086051 19521036288 426777 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1707108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.85 s, system=12.4933 s

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

[startup+3569.21 s]
/proc/loadavg: 4.43 4.35 4.27 5/334 24322
/proc/meminfo: memFree=82235404/131382120 swapFree=33010684/33010684
[pid=23582] ppid=23570 vsize=19263204 memory=1707492 CPUtime=3600.22 cores=1,3
/proc/23582/stat : 23582 (java) S 23570 23582 23518 0 -1 4194304 196981 0 0 0 358774 1248 0 0 20 0 21 0 35085975 19725520896 426873 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
/proc/23582/statm: 4815801 426873 5527 1 0 438779 0
[pid=23582/tid=23590] ppid=23570 vsize=19263204 memory=6656 CPUtime=3480.15 cores=1,3
/proc/23582/task/23590/stat : 23590 (java) S 23570 23582 23518 0 -1 4194368 108548 0 0 0 347052 963 0 0 20 0 21 0 35085978 19725520896 426873 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23637] ppid=23570 vsize=19263204 memory=2220 CPUtime=0 cores=1,3
/proc/23582/task/23637/stat : 23637 (Finalizer) S 23570 23582 23518 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35085983 19725520896 426873 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
[pid=23582/tid=23655] ppid=23570 vsize=19263204 memory=2688 CPUtime=0 cores=1,3
/proc/23582/task/23655/stat : 23655 (Common-Cleaner) S 23570 23582 23518 0 -1 4194368 1668 0 0 0 0 0 0 0 20 0 21 0 35085984 19725520896 426873 18446744073709551615 94082755932160 94082755935856 140728642269744 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94082755943672 94082755944464 94082775859200 140728642275632 140728642275814 140728642275814 140728642281416 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1707492 KiB

Child status: 143

Real time (s): 3569.29
CPU time (s): 3600.35
CPU user time (s): 3587.85
CPU system time (s): 12.4933
CPU usage (%): 100.87
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2972212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.85
system time used= 12.4933
maximum resident set size= 2972212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15105424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123608
involuntary context switches= 14111


# summary of solver processes directly reported to runsolver:
#   pid: 23582
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3587.85
#   total CPU system time (s): 12.4933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8098 second user time and 37.4929 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 12:47:46
IDJOB=4507597
IDBENCH=158367
IDSOLVER=3364
FILE ID=nodeC006/4507597-1751194066
RUNJOBID= nodeC006-1751194066-23530
SLURM_JOB_ID= 9587594
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507597-1751194066/watcher-4507597-1751194066 -o /tmp/evaluation-result-4507597-1751194066/solver-4507597-1751194066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751194066-23530 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4507597-1751194066 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4507597-1751194066.opb

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

MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=517524837

nodeC006 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.139
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130265552 kB
MemAvailable:   129906292 kB
Buffers:            3280 kB
Cached:           445656 kB
SwapCached:            0 kB
Active:           318084 kB
Inactive:         197880 kB
Active(anon):      84988 kB
Inactive(anon):        0 kB
Active(file):     233096 kB
Inactive(file):   197880 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2912 kB
Writeback:             4 kB
AnonPages:         69844 kB
Mapped:           102012 kB
Shmem:             17960 kB
KReclaimable:      85988 kB
Slab:             165828 kB
SReclaimable:      85988 kB
SUnreclaim:        79840 kB
KernelStack:        3800 kB
PageTables:         2712 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC006 at 2025-06-29 13:47:16