Trace number 4442612

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.18 3610.4

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
MD5SUM2590c1209b8f449ade71ad316e08b5f7
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 benchmark1.32104
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints39645
Number of constraints which are clauses39645
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint40
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 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.74	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.74	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.74	c See www.sat4j.org for details.
0.06/0.78	c version CUSTOM.v20240707
0.06/0.79	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.79	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.79	c java.vm.version	22.0.1+8-16
0.12/0.80	c java.vm.vendor	Oracle Corporation
0.12/0.80	c sun.arch.data.model	64
0.12/0.80	c java.version		22.0.1
0.12/0.80	c os.name		Linux
0.12/0.80	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.80	c os.arch		amd64
0.12/0.80	c Free memory 		2104792832
0.12/0.80	c Max memory 		16282288128
0.12/0.80	c Total memory 		2113929216
0.12/0.80	c Number of processors 	2
0.12/0.88	--- Begin Solver configuration ---
0.12/0.88	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.88	Learn all clauses as in MiniSAT
0.12/0.88	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.88	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.88	Expensive reason simplification
0.12/0.88	Glucose 2.1 dynamic restart strategy
0.12/0.88	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.12/0.88	timeout=2147483s
0.12/0.88	DB Simplification allowed=false
0.12/0.88	Listener: none
0.12/0.88	--- End Solver configuration ---
0.12/0.88	c Pseudo Boolean Optimization by upper bound
0.12/0.88	c --- Begin Solver configuration ---
0.12/0.88	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.88	c Learn all clauses as in MiniSAT
0.12/0.88	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.88	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.88	c Expensive reason simplification
0.12/0.88	c Glucose 2.1 dynamic restart strategy
0.12/0.88	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.12/0.88	c timeout=2147483s
0.12/0.88	c DB Simplification allowed=false
0.12/0.88	c Listener: none
0.12/0.88	c --- End Solver configuration ---
0.12/0.88	c solving HOME/instance-4442612-1721817186.opb
0.12/0.88	c reading problem ... 
0.12/0.89	c using VERIPB proof format
0.12/0.89	c  no objective function found
0.43/1.10	c ... done. Wall clock time 0.215s.
0.63/1.11	c declared #vars     1800
0.63/1.11	c #constraints  39645
0.63/1.11	c constraints type 
0.63/1.11	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 39600
0.63/1.11	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 45
0.63/1.11	c 39645 constraints processed.
3.64/2.74	c cleaning 2500 clauses out of 5001 with flag 34711/5001
5.70/4.40	c cleaning 4245 clauses out of 8500 with flag 80195/11000
6.97/5.64	c cleaning 5616 clauses out of 11256 with flag 127851/18001
9.44/8.98	c cleaning 6801 clauses out of 13639 with flag 179680/26000
12.04/11.34	c cleaning 7908 clauses out of 15839 with flag 234525/35001
14.22/13.46	c cleaning 8934 clauses out of 17930 with flag 303312/45000
16.30/15.42	c cleaning 9981 clauses out of 19997 with flag 373634/56001
18.84/17.96	c cleaning 10988 clauses out of 22016 with flag 454199/68001
21.28/20.38	c cleaning 11991 clauses out of 24029 with flag 536305/81002
24.69/23.78	c cleaning 12994 clauses out of 26036 with flag 626581/95000
27.47/26.45	c cleaning 13996 clauses out of 28042 with flag 713012/110000
31.53/30.56	c cleaning 14980 clauses out of 30046 with flag 836424/126000
36.13/35.09	c cleaning 16022 clauses out of 32067 with flag 960598/143001
40.91/40.73	c cleaning 17005 clauses out of 34044 with flag 1082128/161000
48.45/48.03	c cleaning 18005 clauses out of 36040 with flag 1217326/180001
54.17/53.64	c cleaning 19008 clauses out of 38036 with flag 1379559/200002
61.15/60.55	c cleaning 19986 clauses out of 40026 with flag 1535761/221000
66.68/66.00	c cleaning 21017 clauses out of 42040 with flag 1671991/243000
72.02/71.76	c cleaning 22004 clauses out of 44024 with flag 1817931/266001
79.86/79.48	c cleaning 22995 clauses out of 46019 with flag 1975835/290000
90.25/89.79	c cleaning 24001 clauses out of 48026 with flag 2167221/315002
102.06/102.44	c cleaning 25002 clauses out of 50023 with flag 2361190/341000
108.79/109.28	c cleaning 25996 clauses out of 52022 with flag 2539808/368001
116.43/116.69	c cleaning 26997 clauses out of 54025 with flag 2703247/396000
123.48/123.67	c cleaning 27993 clauses out of 56029 with flag 2888014/425001
131.81/134.81	c cleaning 29006 clauses out of 58035 with flag 3083910/455000
143.70/146.61	c cleaning 30000 clauses out of 60031 with flag 3308979/486002
158.53/161.47	c cleaning 30992 clauses out of 62029 with flag 3528615/518000
179.58/183.18	c cleaning 32002 clauses out of 64041 with flag 3805997/551004
200.92/205.12	c cleaning 33002 clauses out of 66035 with flag 4100541/585000
225.91/230.35	c cleaning 33997 clauses out of 68033 with flag 4396478/620000
250.54/254.95	c cleaning 35001 clauses out of 70037 with flag 4703177/656001
269.24/273.80	c cleaning 35992 clauses out of 72035 with flag 4989816/693000
282.54/287.15	c cleaning 37013 clauses out of 74044 with flag 5201346/731001
295.54/300.62	c cleaning 37990 clauses out of 76030 with flag 5422548/770000
309.00/314.01	c cleaning 39013 clauses out of 78042 with flag 5656421/810002
323.25/328.66	c cleaning 40001 clauses out of 80027 with flag 5891129/851000
337.98/343.31	c cleaning 41010 clauses out of 82026 with flag 6135456/893000
353.63/359.30	c cleaning 42007 clauses out of 84016 with flag 6379681/936000
368.89/374.54	c cleaning 42987 clauses out of 86009 with flag 6635047/980000
387.52/396.15	c cleaning 44006 clauses out of 88024 with flag 6878921/1025002
404.08/412.84	c cleaning 45001 clauses out of 90016 with flag 7164821/1071000
421.59/430.24	c cleaning 46002 clauses out of 92016 with flag 7437712/1118001
441.23/450.40	c cleaning 46993 clauses out of 94014 with flag 7702746/1166001
460.07/469.15	c cleaning 47994 clauses out of 96021 with flag 7996183/1215001
481.00/490.61	c cleaning 48995 clauses out of 98026 with flag 8277188/1265000
505.03/517.85	c cleaning 50006 clauses out of 100032 with flag 8550034/1316001
528.95/542.38	c cleaning 51002 clauses out of 102025 with flag 8838485/1368000
552.72/565.95	c cleaning 52003 clauses out of 104023 with flag 9168058/1421000
577.89/591.13	c cleaning 53006 clauses out of 106021 with flag 9475512/1475001
604.98/623.27	c cleaning 54003 clauses out of 108014 with flag 9782110/1530000
632.16/650.51	c cleaning 54997 clauses out of 110012 with flag 10096704/1586001
658.26/676.79	c cleaning 55995 clauses out of 112017 with flag 10422866/1643003
685.19/703.87	c cleaning 56997 clauses out of 114019 with flag 10754889/1701000
716.03/734.39	c cleaning 58003 clauses out of 116022 with flag 11086405/1760000
745.65/763.96	c cleaning 59009 clauses out of 118019 with flag 11429704/1820000
774.37/793.58	c cleaning 59994 clauses out of 120010 with flag 11800267/1881000
806.29/825.24	c cleaning 61002 clauses out of 122018 with flag 12142716/1943002
840.15/860.05	c cleaning 62000 clauses out of 124014 with flag 12570764/2006000
874.81/894.58	c cleaning 62994 clauses out of 126014 with flag 12934500/2070000
906.51/926.26	c cleaning 63995 clauses out of 128020 with flag 13324083/2135000
941.43/960.76	c cleaning 65008 clauses out of 130025 with flag 13713630/2201000
976.37/996.53	c cleaning 65993 clauses out of 132019 with flag 14098151/2268002
1012.00/1032.14	c cleaning 67010 clauses out of 134024 with flag 14506743/2336000
1051.02/1070.91	c cleaning 68001 clauses out of 136014 with flag 14908695/2405000
1089.36/1109.17	c cleaning 68997 clauses out of 138014 with flag 15325209/2475001
1126.83/1147.03	c cleaning 69999 clauses out of 140017 with flag 15749037/2546001
1163.75/1183.74	c cleaning 70999 clauses out of 142017 with flag 16199072/2618000
1206.24/1225.95	c cleaning 71997 clauses out of 144018 with flag 16631492/2691000
1249.97/1269.20	c cleaning 73001 clauses out of 146022 with flag 17065483/2765001
1294.20/1313.37	c cleaning 74002 clauses out of 148020 with flag 17503750/2840000
1339.46/1358.83	c cleaning 75006 clauses out of 150018 with flag 17959177/2916000
1384.17/1403.05	c cleaning 76006 clauses out of 152013 with flag 18415722/2993001
1431.13/1450.05	c cleaning 76997 clauses out of 154006 with flag 18875621/3071000
1481.64/1500.37	c cleaning 77999 clauses out of 156010 with flag 19339063/3150001
1528.49/1546.77	c cleaning 79000 clauses out of 158011 with flag 19821509/3230001
1578.66/1598.32	c cleaning 79991 clauses out of 160010 with flag 20301094/3311000
1629.54/1649.14	c cleaning 80999 clauses out of 162020 with flag 20790390/3393001
1683.97/1703.11	c cleaning 81998 clauses out of 164020 with flag 21275274/3476000
1735.89/1755.10	c cleaning 83003 clauses out of 166024 with flag 21784852/3560002
1788.72/1807.24	c cleaning 84000 clauses out of 168022 with flag 22301993/3645003
1844.19/1862.51	c cleaning 85002 clauses out of 170019 with flag 22821929/3731000
1899.89/1917.71	c cleaning 86001 clauses out of 172017 with flag 23343774/3818000
1956.58/1974.25	c cleaning 86994 clauses out of 174016 with flag 23872462/3906000
2015.05/2036.46	c cleaning 88002 clauses out of 176022 with flag 24412093/3995000
2076.87/2097.59	c cleaning 89002 clauses out of 178020 with flag 24955505/4085000
2138.13/2157.65	c cleaning 89995 clauses out of 180019 with flag 25513186/4176001
2202.03/2220.42	c cleaning 91009 clauses out of 182026 with flag 26072540/4268003
2269.86/2292.60	c cleaning 92002 clauses out of 184017 with flag 26627577/4361003
2339.01/2361.08	c cleaning 92994 clauses out of 186014 with flag 27187679/4455002
2406.84/2428.45	c cleaning 93991 clauses out of 188018 with flag 27768468/4550000
2476.04/2496.97	c cleaning 95005 clauses out of 190027 with flag 28353950/4646000
2548.77/2568.67	c cleaning 95999 clauses out of 192023 with flag 28939082/4743001
2623.63/2642.02	c cleaning 97003 clauses out of 194024 with flag 29529460/4841001
2700.46/2719.59	c cleaning 98002 clauses out of 196020 with flag 30122446/4940000
2774.20/2792.78	c cleaning 99008 clauses out of 198018 with flag 30731307/5040000
2852.97/2870.63	c cleaning 99997 clauses out of 200010 with flag 31339032/5141000
2931.94/2948.61	c cleaning 101004 clauses out of 202015 with flag 31961684/5243002
3010.61/3026.55	c cleaning 101999 clauses out of 204009 with flag 32598375/5346000
3095.84/3111.16	c cleaning 103001 clauses out of 206014 with flag 33231386/5450004
3179.13/3193.57	c cleaning 103999 clauses out of 208009 with flag 33872012/5555000
3261.10/3274.77	c cleaning 104990 clauses out of 210010 with flag 34532480/5661000
3353.96/3366.43	c cleaning 106002 clauses out of 212020 with flag 35186772/5768000
3439.77/3451.35	c cleaning 106996 clauses out of 214018 with flag 35850115/5876000
3527.18/3538.11	c cleaning 108012 clauses out of 216024 with flag 36530053/5985002
3600.02/3610.31	c starts		: 47576
3600.02/3610.31	c timeout
3600.02/3610.32	c conflicts		: 6079661
3600.02/3610.32	c decisions		: 50606475
3600.02/3610.32	c propagations		: 250628683
3600.02/3610.32	c inspects		: 26278751457
3600.02/3610.32	c shortcuts		: 0
3600.02/3610.32	c learnt literals	: 0
3600.02/3610.32	c learnt binary clauses	: 0
3600.02/3610.32	c learnt ternary clauses	: 0
3600.02/3610.32	c learnt constraints	: 6079661
3600.02/3610.32	c ignored constraints	: 0
3600.02/3610.32	c root simplifications	: 0
3600.02/3610.32	c removed literals (reason simplification)	: 64247538
3600.02/3610.32	c reason swapping (by a shorter reason)	: 0
3600.02/3610.32	c Calls to reduceDB	: 105
3600.02/3610.32	c Number of update (reduction) of LBD	: 2634917
3600.02/3610.32	c Imported unit clauses	: 0
3600.02/3610.32	c No decision after first conflict	: false
3600.02/3610.32	c number of reductions to clauses (during analyze)	: 0
3600.02/3610.32	c number of learned constraints concerned by reduction	: 0
3600.02/3610.32	c number of learning phase by resolution	: 0
3600.02/3610.32	c number of learning phase by cutting planes	: 0
3600.02/3610.32	c number of rounding to 1 operations	: 0
3600.02/3610.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3610.32	c number of reductions of the coefficients by power 2 	: 0
3600.02/3610.32	c number of right shift for reduction by power 2 	: 0
3600.02/3610.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3610.32	c number of ending skipping 	: 0
3600.02/3610.32	c number of internal skipping 	: 0
3600.02/3610.32	c number of derivation steps 	: 0
3600.02/3610.32	c number of skipped derivation steps 	: 0
3600.02/3610.32	c number of remaining unassigned 	: 0
3600.02/3610.32	c number of remaining assigned 	: 0
3600.02/3610.32	c number of falsified literals weakened from reason	: 0
3600.02/3610.32	c number of falsified literals weakened from conflict	: 0
3600.02/3610.32	c time for arithmetic operations	: 0
3600.02/3610.32	c minimum degree of deleted constraints	: null
3600.02/3610.32	c maximum degree of deleted constraints	: null
3600.02/3610.32	c number of deleted constraints	: 0
3600.02/3610.33	c speed (assignments/second)	: 69441.32810043181
3600.02/3610.33	c non guided choices	: 105826
3600.02/3610.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 202671
3600.02/3610.38	s UNKNOWN
3600.02/3610.38	c Total wall clock time (in seconds): 3609.501

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: 63968 MiB (62229 MiB free)
  memory of node 1: 64473 MiB (62857 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100107 s]*
/proc/loadavg: 0.10 0.08 0.14 4/259 182774
/proc/meminfo: memFree=128086376/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=37736 memory=1944 CPUtime=0 cores=1,3
/proc/182771/stat : 182771 (java) D 182757 182771 182698 0 -1 4194304 138 0 2 0 0 0 0 0 20 0 1 0 18246540 38641664 486 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 0 0 0 0 17 1 0 0 9 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 9434 486 443 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 1944 KiB

[startup+0.206489 s]*
/proc/loadavg: 0.10 0.08 0.14 4/259 182774
/proc/meminfo: memFree=128084876/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=37736 memory=1944 CPUtime=0 cores=1,3
/proc/182771/stat : 182771 (java) D 182757 182771 182698 0 -1 4194304 158 0 2 0 0 0 0 0 20 0 1 0 18246540 38641664 486 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 0 0 0 0 17 1 0 0 20 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 9434 486 443 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 1944 KiB

[startup+0.305245 s]*
/proc/loadavg: 0.10 0.08 0.14 3/259 182774
/proc/meminfo: memFree=128076628/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=37736 memory=5580 CPUtime=0 cores=1,3
/proc/182771/stat : 182771 (java) D 182757 182771 182698 0 -1 4194304 465 0 3 0 0 0 0 0 20 0 1 0 18246540 38641664 1395 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 0 0 0 0 17 1 0 0 31 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 9434 1395 1121 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 5580 KiB

[startup+0.700284 s]
/proc/loadavg: 0.10 0.08 0.14 3/264 182779
/proc/meminfo: memFree=128036544/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=18993908 memory=55456 CPUtime=0.06 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 7069 0 48 0 4 2 0 0 20 0 18 0 18246540 19449761792 13864 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4748477 13864 5560 1 0 548667 0
[pid=182771/tid=182777] ppid=182757 vsize=18993908 memory=5552 CPUtime=0.03 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) D 182757 182771 182698 0 -1 4194368 5925 0 39 0 2 1 0 0 20 0 18 0 18246575 19449761792 13864 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 28 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 55456 KiB

[startup+1.50114 s]
/proc/loadavg: 0.10 0.08 0.14 17/333 182848
/proc/meminfo: memFree=127777180/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=175356 CPUtime=1.41 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 13795 0 49 0 135 6 0 0 20 0 20 0 18246540 19586084864 43839 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 43839 6046 1 0 553564 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=5552 CPUtime=0.65 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 6698 0 40 0 61 4 0 0 20 0 20 0 18246575 19586084864 43839 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 43839 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=67532 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 43839 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 175356 KiB

[startup+3.10656 s]
/proc/loadavg: 1.05 0.28 0.20 10/339 182854
/proc/meminfo: memFree=127329144/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=193856 CPUtime=4.26 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 20726 0 49 0 416 10 0 0 20 0 20 0 18246540 19586084864 48464 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 48464 6066 1 0 553727 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=-8671790391136920252 CPUtime=2.17 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 7832 0 40 0 211 6 0 0 20 0 20 0 18246575 19586084864 48464 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 48464 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 48464 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=-8671790391136920252 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 48464 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 193856 KiB

[startup+6.30023 s]
/proc/loadavg: 1.05 0.28 0.20 8/339 182856
/proc/meminfo: memFree=126261616/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=604552 CPUtime=7.66 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 21665 0 49 0 747 19 0 0 20 0 20 0 18246540 19586084864 151138 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 151138 6066 1 0 664431 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=11624 CPUtime=5.24 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) D 182757 182771 182698 0 -1 4194368 8115 0 40 0 510 14 0 0 20 0 20 0 18246575 19586084864 151138 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 151138 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 151138 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=175356 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 151138 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 604552 KiB

[startup+12.7012 s]
/proc/loadavg: 1.74 0.46 0.26 9/339 182856
/proc/meminfo: memFree=124518368/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=873960 CPUtime=13.53 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 23530 0 49 0 1322 31 0 0 20 0 20 0 18246540 19586084864 218490 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 218490 6066 1 0 665119 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=0 CPUtime=10.55 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 8327 0 40 0 1033 22 0 0 20 0 20 0 18246575 19586084864 218490 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 128 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=859624 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 218490 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 218490 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=836304 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 218490 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 13.53 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 873960 KiB

[startup+25.5012 s]
/proc/loadavg: 2.09 0.57 0.30 8/339 182859
/proc/meminfo: memFree=122180076/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=1725460 CPUtime=26.48 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 28312 0 49 0 2589 59 0 0 20 0 20 0 18246540 19586084864 431365 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 431365 6066 1 0 823879 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=859624 CPUtime=22.9 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 10061 0 40 0 2244 46 0 0 20 0 20 0 18246575 19586084864 431365 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 128 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=-8671790391136920252 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 431365 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=1719152 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 431365 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=-8671790391136920252 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 431365 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 26.48 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1725460 KiB

[startup+51.1067 s]
/proc/loadavg: 2.80 0.87 0.40 9/339 182862
/proc/meminfo: memFree=119754260/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=1991440 CPUtime=51.55 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 37066 0 49 0 5074 81 0 0 20 0 20 0 18246540 19586084864 497860 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 497860 6081 1 0 823880 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=1929764 CPUtime=46.74 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 12533 0 40 0 4614 60 0 0 20 0 20 0 18246575 19586084864 497860 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 236 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 497860 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=1929764 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 497860 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 497860 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 51.55 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1991440 KiB

[startup+102.301 s]
/proc/loadavg: 3.62 1.43 0.62 8/339 182938
/proc/meminfo: memFree=114406388/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3696120 CPUtime=101.96 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 50711 0 49 0 10048 148 0 0 20 0 20 0 18246540 19586084864 924030 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 924030 6087 1 0 955489 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=2475356 CPUtime=94.83 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 15459 0 40 0 9379 104 0 0 20 0 20 0 18246575 19586084864 924030 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 415 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=6944656592455097440 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 924030 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 120 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 924030 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=3550708 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 924030 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3696120 KiB


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

/proc/meminfo: memFree=81229616/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3370500 CPUtime=3268.72 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 581831 0 49 0 325399 1473 0 0 20 0 20 0 18246540 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 842625 6103 1 0 855399 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=3370500 CPUtime=3182.39 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 228606 0 40 0 316946 1293 0 0 20 0 20 0 18246575 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5005 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=3370500 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=3370500 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 3139 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=3503864 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 3268.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3370500 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.09 7/335 184668
/proc/meminfo: memFree=80761668/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3370500 CPUtime=3328.92 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 586238 0 49 0 331400 1492 0 0 20 0 20 0 18246540 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 842625 6103 1 0 855399 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=3370500 CPUtime=3241.53 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 230790 0 40 0 322842 1311 0 0 20 0 20 0 18246575 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5020 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=3370500 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=67648 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 3221 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 842625 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 3328.92 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3370500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.09 7/335 184679
/proc/meminfo: memFree=80232368/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3370520 CPUtime=3390.02 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 603242 0 49 0 337486 1516 0 0 20 0 20 0 18246540 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 842630 6103 1 0 855402 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=2268 CPUtime=3300.67 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 236849 0 40 0 328736 1331 0 0 20 0 20 0 18246575 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5033 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=-8671790391136920252 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=3370516 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 3352 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=3370516 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 3390.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3370520 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.09 7/336 184748
/proc/meminfo: memFree=79634860/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3370520 CPUtime=3450.28 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 619368 0 49 0 343490 1538 0 0 20 0 20 0 18246540 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 842630 6103 1 0 855402 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=3370504 CPUtime=3359.52 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 243556 0 40 0 334602 1350 0 0 20 0 20 0 18246575 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5088 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=3370520 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=19072 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 3353 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=3370520 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 842630 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 3450.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3370520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.10 7/336 184759
/proc/meminfo: memFree=79067096/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3371104 CPUtime=3511.37 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 635794 0 49 0 349576 1561 0 0 20 0 20 0 18246540 19586084864 842776 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 842776 6103 1 0 855523 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=3370520 CPUtime=3418.51 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 249439 0 40 0 340481 1370 0 0 20 0 20 0 18246575 19586084864 842776 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5101 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=11624 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842776 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=12368 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 3410 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 842776 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=3371104 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 842776 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3371104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.20 4.11 7/336 184839
/proc/meminfo: memFree=86553904/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3212000 CPUtime=3572 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 653123 0 49 0 355615 1585 0 0 20 0 20 0 18246540 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 803000 6100 1 0 813849 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=5612 CPUtime=3477.39 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 254802 0 40 0 346349 1390 0 0 20 0 20 0 18246575 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5114 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=3211920 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=67648 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 3455 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=-9033203153131840188 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3212000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.37 4.23 4.12 5/337 184913
/proc/meminfo: memFree=97022580/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3212000 CPUtime=3600.02 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 653619 0 49 0 358408 1594 0 0 20 0 20 0 18246540 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 803000 6100 1 0 813849 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=3211920 CPUtime=3504.83 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 254985 0 40 0 349084 1399 0 0 20 0 20 0 18246575 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5121 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=3212000 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=3212000 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 3525 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=3212000 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3212000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.21 s, system=15.9694 s

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

[startup+3610.3 s]
/proc/loadavg: 4.37 4.23 4.12 5/337 184913
/proc/meminfo: memFree=97022580/131524600 swapFree=131061136/131071996
[pid=182771] ppid=182757 vsize=19127036 memory=3212000 CPUtime=3600.02 cores=1,3
/proc/182771/stat : 182771 (java) S 182757 182771 182698 0 -1 1077936128 653619 0 49 0 358408 1594 0 0 20 0 20 0 18246540 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 0 0 16800975 0 0 0 17 1 0 0 36 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
/proc/182771/statm: 4781759 803000 6100 1 0 813849 0
[pid=182771/tid=182777] ppid=182757 vsize=19127036 memory=3211920 CPUtime=3504.83 cores=1,3
/proc/182771/task/182777/stat : 182777 (java) R 182757 182771 182698 0 -1 4194368 254985 0 40 0 349084 1399 0 0 20 0 20 0 18246575 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5121 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182817] ppid=182757 vsize=19127036 memory=3212000 CPUtime=0 cores=1,3
/proc/182771/task/182817/stat : 182817 (Finalizer) S 182757 182771 182698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182845] ppid=182757 vsize=19127036 memory=3212000 CPUtime=0 cores=1,3
/proc/182771/task/182845/stat : 182845 (Common-Cleaner) S 182757 182771 182698 0 -1 1077936192 3525 0 0 0 0 0 0 0 20 0 20 0 18246604 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
[pid=182771/tid=182850] ppid=182757 vsize=19127036 memory=3212000 CPUtime=0 cores=1,3
/proc/182771/task/182850/stat : 182850 (Timer-0) S 182757 182771 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18246651 19586084864 803000 134679101440 93857962643456 93857962647152 140734948710784 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93857962654968 93857962655760 93857976889344 140734948713391 140734948713573 140734948713573 140734948720584 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3212000 KiB

Child status: 143

Real time (s): 3610.4
CPU time (s): 3600.18
CPU user time (s): 3584.21
CPU system time (s): 15.9694
CPU usage (%): 99.7168
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 3780664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.21
system time used= 15.9694
maximum resident set size= 3780676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 656807
page faults= 49
swaps= 0
block input operations= 4360
block output operations= 23701008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120865
involuntary context switches= 16437


# summary of solver processes directly reported to runsolver:
#   pid: 182771
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3584.21
#   total CPU system time (s): 15.9694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16235 second user time and 19.8188 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-24 12:33:06
IDJOB=4442612
IDBENCH=147833
IDSOLVER=3079
FILE ID=nodeC014/4442612-1721817186
RUNJOBID= nodeC014-1721817186-182710
SLURM_JOB_ID= 7816864
Free space on /tmp= 890036 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442612-1721817186/watcher-4442612-1721817186 -o /tmp/evaluation-result-4442612-1721817186/solver-4442612-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721817186-182710 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4442612-1721817186 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442612-1721817186.opb

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

MD5SUM BENCH= 2590c1209b8f449ade71ad316e08b5f7
RANDOM SEED=990321049

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128089588 kB
MemAvailable:   129819688 kB
Buffers:          236976 kB
Cached:          2320044 kB
SwapCached:          236 kB
Active:          2067704 kB
Inactive:         764068 kB
Active(anon):       2044 kB
Inactive(anon):   325944 kB
Active(file):    2065660 kB
Inactive(file):   438124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061136 kB
Dirty:              4176 kB
Writeback:             0 kB
AnonPages:        273428 kB
Mapped:            95944 kB
Shmem:             53232 kB
KReclaimable:     132280 kB
Slab:             250020 kB
SReclaimable:     132280 kB
SUnreclaim:       117740 kB
KernelStack:        3872 kB
PageTables:         9624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     644512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16896 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      359124 kB
DirectMap2M:    35065856 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC014 at 2024-07-24 13:33:17