Trace number 4541536

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.22 3573.83

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq5/normalized-30array_ineq5.opb
MD5SUMc057026a3dee35393963218173951f41
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 benchmark1264.48
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5610
Total number of constraints7531
Number of constraints which are clauses5580
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints1921
Minimum length of a constraint1
Maximum length of a constraint120
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 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305843009213693951
Number of bits of the biggest sum of numbers61
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.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.20	c See www.sat4j.org for details.
0.10/0.21	c version PB25.v20250606
0.27/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.24	c java.vm.version	22.0.1+8-16
0.27/0.24	c java.vm.vendor	Oracle Corporation
0.27/0.24	c sun.arch.data.model	64
0.27/0.24	c java.version		22.0.1
0.27/0.24	c os.name		Linux
0.27/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.24	c os.arch		amd64
0.27/0.25	c Free memory 		2104792832
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.26	c Number of processors 	2
0.43/0.36	c Pseudo Boolean Optimization by upper bound
0.43/0.36	c --- Begin Solver configuration ---
0.43/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.36	c Learn all clauses as in MiniSAT
0.43/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.36	c Expensive reason simplification
0.43/0.36	c Glucose 2.1 dynamic restart strategy
0.43/0.36	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.36	c timeout=2147483s
0.43/0.36	c DB Simplification allowed=false
0.43/0.36	c Listener: none
0.43/0.36	c --- End Solver configuration ---
0.43/0.36	c solving HOME/instance-4541536-1753209221.opb
0.43/0.36	c reading problem ... 
0.43/0.37	c using VERIPB proof format
0.43/0.37	c  no objective function found
0.93/0.69	c ... done. Wall clock time 0.312s.
0.93/0.69	c declared #vars     5610
0.93/0.69	c #constraints  9481
0.93/0.69	c constraints type 
0.93/0.69	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4080
0.93/0.69	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3481
0.93/0.69	c org.sat4j.specs.Constr$1 => 30
0.93/0.69	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1860
0.93/0.69	c org.sat4j.pb.constraints.pb.UnitClausePB => 30
0.93/0.69	c 9481 constraints processed.
4.46/2.43	c cleaning 2496 clauses out of 5001 with flag 23508/5001
5.96/3.29	c cleaning 4243 clauses out of 8504 with flag 55793/11000
7.73/4.64	c cleaning 5623 clauses out of 11261 with flag 104655/18000
10.50/7.38	c cleaning 6806 clauses out of 13638 with flag 154987/26000
12.51/9.33	c cleaning 7908 clauses out of 15833 with flag 227180/35001
15.59/12.08	c cleaning 8951 clauses out of 17925 with flag 328526/45001
18.20/14.70	c cleaning 9971 clauses out of 19973 with flag 438962/56000
21.04/17.46	c cleaning 10985 clauses out of 22005 with flag 564178/68003
24.11/20.47	c cleaning 12000 clauses out of 24018 with flag 693197/81001
26.73/22.81	c cleaning 12996 clauses out of 26018 with flag 831060/95001
30.25/26.39	c cleaning 14004 clauses out of 28021 with flag 985977/110000
33.49/29.58	c cleaning 15000 clauses out of 30018 with flag 1163220/126001
37.88/33.77	c cleaning 15976 clauses out of 32017 with flag 1324661/143000
42.38/38.06	c cleaning 17001 clauses out of 34041 with flag 1510858/161000
47.90/43.58	c cleaning 18008 clauses out of 36041 with flag 1712976/180001
56.62/52.20	c cleaning 18997 clauses out of 38032 with flag 1984897/200000
63.01/58.50	c cleaning 20000 clauses out of 40036 with flag 2275030/221001
70.16/65.68	c cleaning 21000 clauses out of 42035 with flag 2604689/243000
76.66/72.12	c cleaning 22003 clauses out of 44035 with flag 2989137/266000
83.83/79.35	c cleaning 22999 clauses out of 46032 with flag 3346980/290000
90.90/86.31	c cleaning 24005 clauses out of 48033 with flag 3723418/315000
101.66/97.04	c cleaning 25013 clauses out of 50028 with flag 4032637/341000
112.25/107.34	c cleaning 25989 clauses out of 52016 with flag 4293572/368001
122.44/117.59	c cleaning 27007 clauses out of 54027 with flag 4598204/396001
133.69/128.77	c cleaning 28008 clauses out of 56022 with flag 4918779/425003
144.52/139.43	c cleaning 28997 clauses out of 58012 with flag 5279310/455001
155.74/150.54	c cleaning 29994 clauses out of 60014 with flag 5604287/486000
165.91/160.71	c cleaning 31007 clauses out of 62021 with flag 5969999/518001
180.45/175.22	c cleaning 32004 clauses out of 64015 with flag 6364279/551002
193.27/187.91	c cleaning 32992 clauses out of 66009 with flag 6796121/585000
206.21/200.79	c cleaning 33995 clauses out of 68017 with flag 7217880/620000
218.02/212.44	c cleaning 34997 clauses out of 70022 with flag 7548683/656000
232.95/227.21	c cleaning 36003 clauses out of 72026 with flag 7957874/693001
247.73/242.06	c cleaning 37004 clauses out of 74024 with flag 8412295/731002
264.38/258.68	c cleaning 37991 clauses out of 76018 with flag 8943160/770000
282.03/276.19	c cleaning 38987 clauses out of 78028 with flag 9534558/810001
297.86/291.86	c cleaning 40000 clauses out of 80040 with flag 10105941/851000
313.91/307.75	c cleaning 41010 clauses out of 82040 with flag 10535508/893000
332.99/326.74	c cleaning 41994 clauses out of 84031 with flag 11048075/936001
351.04/344.71	c cleaning 42990 clauses out of 86038 with flag 11625645/980002
371.16/364.78	c cleaning 44000 clauses out of 88046 with flag 12150874/1025000
394.38/387.85	c cleaning 45014 clauses out of 90046 with flag 12783975/1071001
419.38/412.62	c cleaning 46005 clauses out of 92032 with flag 13396790/1118001
441.28/434.26	c cleaning 46999 clauses out of 94026 with flag 13925490/1166000
467.72/460.80	c cleaning 47995 clauses out of 96027 with flag 14631056/1215000
490.24/483.22	c cleaning 48991 clauses out of 98032 with flag 15287251/1265000
513.12/506.01	c cleaning 49999 clauses out of 100041 with flag 16101073/1316000
542.59/535.16	c cleaning 51017 clauses out of 102043 with flag 17071546/1368001
570.83/563.33	c cleaning 51996 clauses out of 104025 with flag 18102744/1421000
599.02/591.25	c cleaning 53007 clauses out of 106032 with flag 18833157/1475003
630.38/622.13	c cleaning 53987 clauses out of 108023 with flag 19543647/1530001
657.84/649.45	c cleaning 55003 clauses out of 110037 with flag 20346908/1586002
688.15/679.77	c cleaning 56006 clauses out of 112033 with flag 21165342/1643001
717.29/708.89	c cleaning 56997 clauses out of 114026 with flag 21948958/1701000
747.43/738.51	c cleaning 58005 clauses out of 116033 with flag 22699454/1760004
780.43/771.48	c cleaning 59001 clauses out of 118026 with flag 23385609/1820002
810.81/801.75	c cleaning 59995 clauses out of 120023 with flag 24128666/1881000
846.52/837.43	c cleaning 61006 clauses out of 122028 with flag 25032493/1943000
880.70/871.60	c cleaning 61993 clauses out of 124022 with flag 25932091/2006000
917.96/908.69	c cleaning 62985 clauses out of 126030 with flag 27192987/2070001
956.75/947.21	c cleaning 64004 clauses out of 128045 with flag 28264743/2135001
995.43/985.99	c cleaning 65010 clauses out of 130042 with flag 29030864/2201002
1035.12/1025.62	c cleaning 65976 clauses out of 132030 with flag 30126841/2268000
1076.85/1067.14	c cleaning 67021 clauses out of 134054 with flag 31485450/2336000
1121.83/1112.18	c cleaning 67977 clauses out of 136033 with flag 32633650/2405000
1166.91/1157.21	c cleaning 69022 clauses out of 138058 with flag 34155590/2475002
1209.71/1200.04	c cleaning 69999 clauses out of 140034 with flag 35550300/2546000
1265.75/1255.66	c cleaning 71009 clauses out of 142035 with flag 36523843/2618000
1312.66/1302.50	c cleaning 71987 clauses out of 144026 with flag 38055010/2691000
1365.20/1354.90	c cleaning 72992 clauses out of 146040 with flag 39142107/2765001
1411.74/1401.31	c cleaning 74018 clauses out of 148049 with flag 40092753/2840002
1468.03/1457.53	c cleaning 75005 clauses out of 150030 with flag 41848539/2916001
1519.37/1508.77	c cleaning 76001 clauses out of 152024 with flag 43246730/2993000
1578.07/1567.33	c cleaning 77010 clauses out of 154023 with flag 45214555/3071000
1638.25/1627.44	c cleaning 77985 clauses out of 156013 with flag 47123743/3150000
1702.23/1690.88	c cleaning 78982 clauses out of 158029 with flag 49309590/3230001
1760.08/1748.42	c cleaning 80007 clauses out of 160046 with flag 51325399/3311000
1823.63/1811.80	c cleaning 80993 clauses out of 162041 with flag 53480179/3393002
1891.82/1880.03	c cleaning 82002 clauses out of 164048 with flag 55998571/3476002
1958.79/1946.76	c cleaning 83017 clauses out of 166045 with flag 58320324/3560001
2022.79/2010.46	c cleaning 83998 clauses out of 168032 with flag 60578708/3645005
2088.02/2075.50	c cleaning 85004 clauses out of 170030 with flag 62436137/3731001
2154.40/2141.60	c cleaning 85985 clauses out of 172027 with flag 64162259/3818002
2220.81/2207.79	c cleaning 87013 clauses out of 174040 with flag 66418713/3906000
2295.17/2282.10	c cleaning 88005 clauses out of 176027 with flag 68969262/3995000
2365.90/2352.54	c cleaning 89001 clauses out of 178023 with flag 71444429/4085001
2447.56/2434.03	c cleaning 90002 clauses out of 180022 with flag 73938844/4176001
2540.15/2526.32	c cleaning 91000 clauses out of 182019 with flag 76886008/4268000
2626.47/2612.36	c cleaning 91991 clauses out of 184020 with flag 79535804/4361001
2706.58/2692.46	c cleaning 93001 clauses out of 186028 with flag 81986443/4455000
2794.86/2780.11	c cleaning 94008 clauses out of 188027 with flag 84663497/4550000
2891.81/2876.06	c cleaning 95000 clauses out of 190020 with flag 87733729/4646001
2983.02/2966.28	c cleaning 95993 clauses out of 192022 with flag 90788340/4743003
3078.56/3061.10	c cleaning 96999 clauses out of 194026 with flag 93790142/4841000
3176.85/3157.30	c cleaning 97994 clauses out of 196027 with flag 97119387/4940000
3271.49/3250.52	c cleaning 99002 clauses out of 198033 with flag 100200781/5040000
3369.10/3346.56	c cleaning 100002 clauses out of 200031 with flag 103143050/5141000
3463.92/3439.77	c cleaning 101005 clauses out of 202029 with flag 106000432/5243000
3559.38/3533.51	c cleaning 102009 clauses out of 204025 with flag 109079965/5346001
3600.06/3573.71	c timeout
3600.06/3573.73	c starts		: 10407
3600.06/3573.73	c conflicts		: 5398406
3600.06/3573.73	c decisions		: 7758688
3600.06/3573.73	c propagations		: 2114407489
3600.06/3573.73	c inspects		: 29835005757
3600.06/3573.73	c shortcuts		: 0
3600.06/3573.73	c learnt literals	: 1
3600.06/3573.73	c learnt binary clauses	: 1147
3600.06/3573.73	c learnt ternary clauses	: 2110
3600.06/3573.73	c learnt constraints	: 5398405
3600.06/3573.73	c ignored constraints	: 0
3600.06/3573.73	c root simplifications	: 0
3600.06/3573.73	c removed literals (reason simplification)	: 510427462
3600.06/3573.73	c reason swapping (by a shorter reason)	: 0
3600.06/3573.73	c Calls to reduceDB	: 99
3600.06/3573.73	c Number of update (reduction) of LBD	: 1829328
3600.06/3573.73	c Imported unit clauses	: 0
3600.06/3573.73	c No decision after first conflict	: false
3600.06/3573.73	c number of reductions to clauses (during analyze)	: 0
3600.06/3573.73	c number of learned constraints concerned by reduction	: 0
3600.06/3573.73	c number of learning phase by resolution	: 0
3600.06/3573.73	c number of learning phase by cutting planes	: 0
3600.06/3573.73	c number of rounding to 1 operations	: 0
3600.06/3573.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3573.73	c number of reductions of the coefficients by power 2 	: 0
3600.06/3573.73	c number of right shift for reduction by power 2 	: 0
3600.06/3573.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3573.73	c number of ending skipping 	: 0
3600.06/3573.73	c number of internal skipping 	: 0
3600.06/3573.73	c number of derivation steps 	: 0
3600.06/3573.73	c number of skipped derivation steps 	: 0
3600.06/3573.73	c number of remaining unassigned 	: 0
3600.06/3573.73	c number of remaining assigned 	: 0
3600.06/3573.73	c number of falsified literals weakened from reason	: 0
3600.06/3573.73	c number of falsified literals weakened from conflict	: 0
3600.06/3573.73	c time for arithmetic operations	: 0
3600.06/3573.73	c minimum degree of deleted constraints	: null
3600.06/3573.73	c maximum degree of deleted constraints	: null
3600.06/3573.73	c number of deleted constraints	: 0
3600.06/3573.73	c speed (assignments/second)	: 591771.0665163548
3600.06/3573.73	c non guided choices	: 108
3600.06/3573.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 153274
3600.06/3573.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1147
3600.06/3573.79	s UNKNOWN
3600.06/3573.79	c Total wall clock time (in seconds): 3573.426

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=180241, runsolver pid=180235
Current StackSize limit: 8192 KiB


[startup+0.100419 s]*
/proc/loadavg: 0.85 2.48 3.49 10/310 180314
/proc/meminfo: memFree=105820236/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=18930384 memory=48840 CPUtime=0.1 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 5595 0 0 0 6 4 0 0 20 0 18 0 236601490 19384713216 12210 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4732596 12210 5081 1 0 546841 0
[pid=180241/tid=180255] ppid=180235 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 4587 0 0 0 4 2 0 0 20 0 18 0 236601493 19384713216 12210 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=18930384 memory=2622 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236601498 19384713216 12210 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=18930384 memory=55195547730935 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236601499 19384713216 12210 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48840 KiB

[startup+0.221019 s]*
/proc/loadavg: 0.85 2.48 3.49 7/318 180322
/proc/meminfo: memFree=105792052/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=18930384 memory=54228 CPUtime=0.27 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 6187 0 0 0 23 4 0 0 20 0 18 0 236601490 19384713216 13557 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4732596 13557 5337 1 0 547340 0
[pid=180241/tid=180255] ppid=180235 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 4976 0 0 0 15 2 0 0 20 0 18 0 236601493 19384713216 13557 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=18930384 memory=2622 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236601498 19384713216 13557 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=18930384 memory=55195547730935 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236601499 19384713216 13557 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54228 KiB

[startup+0.317521 s]*
/proc/loadavg: 0.85 2.48 3.49 10/318 180322
/proc/meminfo: memFree=105773388/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=18930384 memory=59844 CPUtime=0.43 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 6580 0 0 0 38 5 0 0 20 0 18 0 236601490 19384713216 14961 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4732596 14961 5337 1 0 547713 0
[pid=180241/tid=180255] ppid=180235 vsize=18930384 memory=-8600301253200487100 CPUtime=0.27 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 5159 0 0 0 24 3 0 0 20 0 18 0 236601493 19384713216 14961 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236601498 19384713216 14961 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236601499 19384713216 14961 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59844 KiB

[startup+0.700346 s]
/proc/loadavg: 0.85 2.48 3.49 13/318 180322
/proc/meminfo: memFree=105762676/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=18930384 memory=85664 CPUtime=1.11 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 8270 0 0 0 103 8 0 0 20 0 18 0 236601490 19384713216 21416 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4732596 21416 5433 1 0 548950 0
[pid=180241/tid=180255] ppid=180235 vsize=18930384 memory=22272 CPUtime=0.56 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 5349 0 0 0 52 4 0 0 20 0 18 0 236601493 19384713216 21416 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=18930384 memory=11008 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236601498 19384713216 21416 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=18930384 memory=3328 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236601499 19384713216 21416 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 85664 KiB

[startup+1.50027 s]
/proc/loadavg: 0.85 2.48 3.49 9/322 180326
/proc/meminfo: memFree=105630192/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=175312 CPUtime=2.67 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 19120 0 0 0 253 14 0 0 20 0 20 0 236601490 19521036288 43828 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 43828 5497 1 0 552718 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=3328 CPUtime=1.21 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 5835 0 0 0 114 7 0 0 20 0 20 0 236601493 19521036288 43828 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 43828 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 43828 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=16368 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 43828 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175312 KiB

[startup+3.10563 s]
/proc/loadavg: 0.85 2.48 3.49 8/326 180330
/proc/meminfo: memFree=105266376/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=188756 CPUtime=5.84 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 23618 0 0 0 566 18 0 0 20 0 20 0 236601490 19521036288 47189 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 47189 5497 1 0 553331 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=16368 CPUtime=2.74 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 6858 0 0 0 265 9 0 0 20 0 20 0 236601493 19521036288 47189 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 47189 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 47189 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 47189 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188756 KiB

[startup+6.30032 s]
/proc/loadavg: 1.18 2.52 3.50 5/325 180330
/proc/meminfo: memFree=104979584/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=252520 CPUtime=9.5 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 25532 0 0 0 929 21 0 0 20 0 20 0 236601490 19521036288 63130 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 63130 5497 1 0 554219 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=0 CPUtime=5.83 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 6906 0 0 0 572 11 0 0 20 0 20 0 236601493 19521036288 63130 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 63130 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 63130 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=175440 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 63130 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 252520 KiB

[startup+12.7004 s]
/proc/loadavg: 1.41 2.55 3.50 5/325 180330
/proc/meminfo: memFree=103769768/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=443864 CPUtime=16.28 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 30986 0 0 0 1600 28 0 0 20 0 20 0 236601490 19521036288 110966 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 110966 5529 1 0 834108 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=175440 CPUtime=11.83 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 7813 0 0 0 1167 16 0 0 20 0 20 0 236601493 19521036288 110966 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=377744 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 110966 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=16368 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 110966 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 110966 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 16.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 443864 KiB

[startup+25.5005 s]
/proc/loadavg: 2.05 2.64 3.52 5/325 180330
/proc/meminfo: memFree=101327352/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=1158964 CPUtime=29.45 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 36074 0 0 0 2894 51 0 0 20 0 20 0 236601490 19521036288 289741 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 289741 5529 1 0 834120 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=377744 CPUtime=24.19 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 9052 0 0 0 2386 33 0 0 20 0 20 0 236601493 19521036288 289741 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 289741 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=16368 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 289741 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=1124064 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 289741 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 29.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1158964 KiB

[startup+51.1101 s]
/proc/loadavg: 2.79 2.76 3.54 5/325 180330
/proc/meminfo: memFree=98784580/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=2294528 CPUtime=55.54 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 39642 0 0 0 5469 85 0 0 20 0 20 0 236601490 19521036288 573632 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 573632 5529 1 0 1116123 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=2192088 CPUtime=49.17 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 10442 0 0 0 4859 58 0 0 20 0 20 0 236601493 19521036288 573632 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=452056 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 573632 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 573632 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0

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

[startup+3222.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/328 180509
/proc/meminfo: memFree=72040080/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=992608 CPUtime=3242.74 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 206292 0 0 0 323103 1171 0 0 20 0 20 0 236601490 19521036288 248152 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 248152 5529 1 0 259105 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=1177260 CPUtime=3189.55 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 111655 0 0 0 318025 930 0 0 20 0 20 0 236601493 19521036288 248152 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=1177260 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 248152 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=992608 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 2468 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 248152 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=992608 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 248152 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 3242.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 992608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/328 180511
/proc/meminfo: memFree=71683568/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=1048260 CPUtime=3303.46 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 206426 0 0 0 329156 1190 0 0 20 0 20 0 236601490 19521036288 262065 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 262065 5529 1 0 305046 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=16368 CPUtime=3248.48 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 111688 0 0 0 323903 945 0 0 20 0 20 0 236601493 19521036288 262065 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=992608 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 262065 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=992608 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 2468 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 262065 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=992608 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 262065 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 3303.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1048260 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.22 4.18 5/328 180514
/proc/meminfo: memFree=71014512/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=1326080 CPUtime=3364.84 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 209316 0 0 0 335268 1216 0 0 20 0 20 0 236601490 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 331520 5529 1 0 342632 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=1173188 CPUtime=3307.72 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 113582 0 0 0 329806 966 0 0 20 0 20 0 236601493 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=992608 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=132 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 2468 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=16368 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 3364.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1326080 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/329 180517
/proc/meminfo: memFree=70640620/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=1326080 CPUtime=3425.41 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 211734 0 0 0 341304 1237 0 0 20 0 20 0 236601490 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 331520 5529 1 0 342632 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=992608 CPUtime=3366.8 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 114558 0 0 0 335697 983 0 0 20 0 20 0 236601493 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=1326080 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=1326080 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 2510 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=-8816474035314270908 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 331520 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 3425.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1326080 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.22 4.19 5/328 180519
/proc/meminfo: memFree=70308596/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=1301176 CPUtime=3486.77 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 216919 0 0 0 347421 1256 0 0 20 0 20 0 236601490 19521036288 325294 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 325294 5529 1 0 336368 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=992608 CPUtime=3426.05 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 118360 0 0 0 341607 998 0 0 20 0 20 0 236601493 19521036288 325294 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=1264640 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 325294 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=16368 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 2510 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 325294 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=1301176 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 325294 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 3486.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1301176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.22 4.19 5/329 180589
/proc/meminfo: memFree=78420368/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=1076308 CPUtime=3547.72 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 219943 0 0 0 353499 1273 0 0 20 0 20 0 236601490 19521036288 269077 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 269077 5529 1 0 279995 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=1326080 CPUtime=3485.3 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 121301 0 0 0 347518 1012 0 0 20 0 20 0 236601493 19521036288 269077 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=1301304 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 269077 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 2534 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 269077 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=1076308 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 269077 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 3547.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1076308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3573.7 s]
/proc/loadavg: 4.19 4.20 4.18 6/329 180591
/proc/meminfo: memFree=75737868/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19063512 memory=1306132 CPUtime=3600.06 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 220233 0 0 0 358708 1298 0 0 20 0 20 0 236601490 19521036288 326533 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4765878 326533 5529 1 0 338460 0
[pid=180241/tid=180255] ppid=180235 vsize=19063512 memory=16368 CPUtime=3535.49 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) R 180235 180241 180184 0 -1 4194368 121429 0 0 0 352515 1034 0 0 20 0 20 0 236601493 19521036288 326533 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19063512 memory=1076308 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236601498 19521036288 326533 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19063512 memory=1304084 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 2534 0 0 0 0 0 0 0 20 0 20 0 236601499 19521036288 326533 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180324] ppid=180235 vsize=19063512 memory=1136148 CPUtime=0 cores=4,6
/proc/180241/task/180324/stat : 180324 (Timer-0) S 180235 180241 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236601562 19521036288 326533 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1306132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.23 s, system=12.9948 s

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

[startup+3573.8 s]
/proc/loadavg: 4.19 4.20 4.18 6/329 180591
/proc/meminfo: memFree=75737868/131382116 swapFree=33005528/33010684
[pid=180241] ppid=180235 vsize=19263204 memory=1307028 CPUtime=3600.2 cores=4,6
/proc/180241/stat : 180241 (java) S 180235 180241 180184 0 -1 4194304 221641 0 0 0 358722 1298 0 0 20 0 16 0 236601490 19725520896 326757 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
/proc/180241/statm: 4815801 326757 5529 1 0 339414 0
[pid=180241/tid=180255] ppid=180235 vsize=19263204 memory=11008 CPUtime=3535.5 cores=4,6
/proc/180241/task/180255/stat : 180255 (java) S 180235 180241 180184 0 -1 4194368 121623 0 0 0 352516 1034 0 0 20 0 16 0 236601493 19725520896 326757 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180287] ppid=180235 vsize=19263204 memory=16368 CPUtime=0 cores=4,6
/proc/180241/task/180287/stat : 180287 (Finalizer) S 180235 180241 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 236601498 19725520896 326757 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
[pid=180241/tid=180309] ppid=180235 vsize=19263204 memory=22272 CPUtime=0 cores=4,6
/proc/180241/task/180309/stat : 180309 (Common-Cleaner) S 180235 180241 180184 0 -1 4194368 2534 0 0 0 0 0 0 0 20 0 16 0 236601499 19725520896 326757 18446744073709551615 94689617903616 94689617907312 140731648268912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94689617915128 94689617915920 94689631981568 140731648272724 140731648272868 140731648272868 140731648278472 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1307028 KiB

Child status: 143

Real time (s): 3573.83
CPU time (s): 3600.22
CPU user time (s): 3587.23
CPU system time (s): 12.9948
CPU usage (%): 100.738
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4433324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.23
system time used= 12.9948
maximum resident set size= 4433324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14461520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115668
involuntary context switches= 11200


# summary of solver processes directly reported to runsolver:
#   pid: 180241
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3587.23
#   total CPU system time (s): 12.9948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5741 second user time and 38.9964 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-22 20:33:41
IDJOB=4541536
IDBENCH=163136
IDSOLVER=3364
FILE ID=nodeC010/4541536-1753209221
RUNJOBID= nodeC010-1753209221-180196
SLURM_JOB_ID= 9687770
Free space on /tmp= 432712 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq5/normalized-30array_ineq5.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541536-1753209221/watcher-4541536-1753209221 -o /tmp/evaluation-result-4541536-1753209221/solver-4541536-1753209221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753209221-180196 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4541536-1753209221 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4541536-1753209221.opb

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

MD5SUM BENCH= c057026a3dee35393963218173951f41
RANDOM SEED=1959951898

nodeC010 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.373
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.36
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		: 1199.682
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.36
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.032
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.36
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.150
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.36
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.146
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.36
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		: 1197.100
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.36
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.235
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.36
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.158
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        105858480 kB
MemAvailable:   129838912 kB
Buffers:             228 kB
Cached:         24745076 kB
SwapCached:         4300 kB
Active:           905448 kB
Inactive:       23908600 kB
Active(anon):      41864 kB
Inactive(anon):    48712 kB
Active(file):     863584 kB
Inactive(file): 23859888 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1628 kB
Writeback:             0 kB
AnonPages:         67492 kB
Mapped:           103488 kB
Shmem:             21832 kB
KReclaimable:     193172 kB
Slab:             283976 kB
SReclaimable:     193172 kB
SUnreclaim:        90804 kB
KernelStack:        3716 kB
PageTables:         2408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     349160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 408752 MiB
End job on nodeC010 at 2025-07-22 21:33:15