Trace number 4448804

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 Default 2024-07-07UNSAT 446.865 444.317

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x70split.opb
MD5SUMc77e21d963e84c3fd4d271df704a0949
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 benchmark6.06089
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables701
Total number of constraints351
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)351
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2115194816
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2122317824
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4448804-1721357959.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.15	c ... done. Wall clock time 0.031s.
0.14/0.15	c declared #vars     701
0.14/0.15	c #constraints  702
0.14/0.15	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.14/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 700
0.14/0.16	c 702 constraints processed.
0.72/0.43	c cleaning 2487 clauses out of 5000 with flag 19910/5000
1.28/0.73	c cleaning 4241 clauses out of 8513 with flag 48846/11000
1.48/0.87	c cleaning 5631 clauses out of 11273 with flag 83800/18001
1.87/1.00	c cleaning 6795 clauses out of 13642 with flag 125392/26001
2.06/1.14	c cleaning 7907 clauses out of 15847 with flag 173200/35001
2.23/1.27	c cleaning 8925 clauses out of 17939 with flag 226585/45000
2.60/1.43	c cleaning 9975 clauses out of 20015 with flag 287569/56001
2.70/1.59	c cleaning 10968 clauses out of 22040 with flag 352541/68001
2.90/1.78	c cleaning 12006 clauses out of 24072 with flag 424254/81001
3.21/2.00	c cleaning 13013 clauses out of 26065 with flag 501590/95000
3.40/2.23	c cleaning 13983 clauses out of 28053 with flag 586153/110001
3.60/2.49	c cleaning 14998 clauses out of 30070 with flag 677196/126001
3.97/2.78	c cleaning 16022 clauses out of 32072 with flag 776804/143001
4.35/3.10	c cleaning 16979 clauses out of 34049 with flag 883905/161000
4.74/3.44	c cleaning 18016 clauses out of 36070 with flag 993307/180000
5.16/3.81	c cleaning 19004 clauses out of 38055 with flag 1104383/200001
5.56/4.20	c cleaning 19995 clauses out of 40051 with flag 1218421/221001
5.95/4.62	c cleaning 21016 clauses out of 42055 with flag 1337032/243000
6.37/5.08	c cleaning 21997 clauses out of 44039 with flag 1460301/266000
6.87/5.59	c cleaning 23007 clauses out of 46044 with flag 1587918/290002
7.38/6.11	c cleaning 23980 clauses out of 48035 with flag 1715441/315000
7.98/6.67	c cleaning 24995 clauses out of 50055 with flag 1848690/341000
8.59/7.26	c cleaning 26008 clauses out of 52060 with flag 1989421/368000
9.19/7.88	c cleaning 26997 clauses out of 54054 with flag 2138514/396002
9.88/8.56	c cleaning 27998 clauses out of 56056 with flag 2286711/425001
10.68/9.32	c cleaning 28989 clauses out of 58057 with flag 2445137/455000
11.39/10.10	c cleaning 30008 clauses out of 60069 with flag 2602986/486001
12.28/10.90	c cleaning 31016 clauses out of 62060 with flag 2767258/518000
13.08/11.77	c cleaning 31995 clauses out of 64045 with flag 2937321/551001
13.97/12.65	c cleaning 32994 clauses out of 66049 with flag 3110496/585000
14.97/13.60	c cleaning 34003 clauses out of 68056 with flag 3287514/620001
15.87/14.57	c cleaning 34997 clauses out of 70053 with flag 3464823/656001
16.87/15.57	c cleaning 36007 clauses out of 72056 with flag 3651160/693001
17.97/16.62	c cleaning 36986 clauses out of 74049 with flag 3839459/731001
19.07/17.72	c cleaning 38016 clauses out of 76063 with flag 4027754/770001
20.17/18.88	c cleaning 38995 clauses out of 78046 with flag 4225523/810000
21.56/20.20	c cleaning 40005 clauses out of 80051 with flag 4425046/851000
22.86/21.51	c cleaning 40998 clauses out of 82046 with flag 4625109/893000
24.16/22.89	c cleaning 42000 clauses out of 84049 with flag 4828234/936001
25.56/24.28	c cleaning 43003 clauses out of 86048 with flag 5038569/980000
27.06/25.73	c cleaning 43999 clauses out of 88046 with flag 5253171/1025001
28.56/27.21	c cleaning 45000 clauses out of 90046 with flag 5470515/1071000
30.05/28.76	c cleaning 46013 clauses out of 92046 with flag 5690508/1118000
31.65/30.39	c cleaning 46992 clauses out of 94033 with flag 5918211/1166000
33.36/32.06	c cleaning 48003 clauses out of 96041 with flag 6148554/1215000
35.25/33.91	c cleaning 49002 clauses out of 98038 with flag 6377543/1265000
37.04/35.75	c cleaning 49993 clauses out of 100037 with flag 6615957/1316001
38.94/37.60	c cleaning 51011 clauses out of 102044 with flag 6853272/1368001
40.83/39.56	c cleaning 51993 clauses out of 104032 with flag 7095175/1421000
42.73/41.42	c cleaning 53003 clauses out of 106040 with flag 7337107/1475001
44.82/43.52	c cleaning 53996 clauses out of 108037 with flag 7586782/1530001
47.13/45.83	c cleaning 55003 clauses out of 110040 with flag 7841747/1586000
49.24/47.98	c cleaning 56008 clauses out of 112037 with flag 8095931/1643000
51.75/50.42	c cleaning 56999 clauses out of 114030 with flag 8357158/1701001
54.04/52.77	c cleaning 58008 clauses out of 116032 with flag 8617026/1760002
56.45/55.14	c cleaning 58988 clauses out of 118022 with flag 8876646/1820000
59.03/57.72	c cleaning 60000 clauses out of 120035 with flag 9146164/1881001
61.52/60.29	c cleaning 60990 clauses out of 122035 with flag 9412389/1943001
64.33/63.03	c cleaning 61997 clauses out of 124044 with flag 9682977/2006000
67.22/66.00	c cleaning 63013 clauses out of 126050 with flag 9962230/2070003
70.12/68.81	c cleaning 64003 clauses out of 128035 with flag 10238763/2135001
73.02/71.72	c cleaning 65001 clauses out of 130031 with flag 10521034/2201000
76.02/74.71	c cleaning 65999 clauses out of 132030 with flag 10802811/2268000
79.01/77.79	c cleaning 66994 clauses out of 134032 with flag 11091459/2336001
82.31/81.06	c cleaning 68005 clauses out of 136037 with flag 11384321/2405000
85.91/84.63	c cleaning 69004 clauses out of 138032 with flag 11688848/2475000
89.51/88.26	c cleaning 69998 clauses out of 140028 with flag 11995286/2546000
93.10/91.80	c cleaning 71009 clauses out of 142033 with flag 12298633/2618003
96.50/95.20	c cleaning 71990 clauses out of 144021 with flag 12598911/2691000
99.99/98.77	c cleaning 73004 clauses out of 146031 with flag 12904361/2765000
103.30/102.02	c cleaning 74003 clauses out of 148028 with flag 13202520/2840001
106.78/105.54	c cleaning 75000 clauses out of 150024 with flag 13505067/2916000
110.18/108.92	c cleaning 76003 clauses out of 152025 with flag 13805842/2993001
113.57/112.34	c cleaning 77000 clauses out of 154022 with flag 14103469/3071001
116.86/115.67	c cleaning 78002 clauses out of 156023 with flag 14403212/3150002
120.46/119.27	c cleaning 78998 clauses out of 158019 with flag 14704565/3230000
124.18/122.91	c cleaning 80002 clauses out of 160021 with flag 15004538/3311000
127.48/126.27	c cleaning 80999 clauses out of 162020 with flag 15308935/3393001
130.98/129.76	c cleaning 81997 clauses out of 164023 with flag 15622258/3476003
134.57/133.39	c cleaning 83002 clauses out of 166023 with flag 15931210/3560000
138.16/136.96	c cleaning 83996 clauses out of 168021 with flag 16242713/3645000
141.96/140.74	c cleaning 85005 clauses out of 170025 with flag 16562167/3731000
145.56/144.35	c cleaning 85997 clauses out of 172020 with flag 16885423/3818000
149.15/147.98	c cleaning 87004 clauses out of 174024 with flag 17202928/3906001
153.04/151.81	c cleaning 88002 clauses out of 176019 with flag 17522757/3995000
156.85/155.68	c cleaning 88992 clauses out of 178017 with flag 17847012/4085000
160.64/159.45	c cleaning 90005 clauses out of 180028 with flag 18175187/4176003
164.44/163.23	c cleaning 91001 clauses out of 182021 with flag 18503283/4268001
168.24/167.04	c cleaning 91996 clauses out of 184019 with flag 18833965/4361000
172.36/171.17	c cleaning 92998 clauses out of 186023 with flag 19175497/4455000
176.35/175.14	c cleaning 94003 clauses out of 188025 with flag 19509876/4550000
180.43/179.22	c cleaning 95002 clauses out of 190023 with flag 19860429/4646001
184.52/183.39	c cleaning 95998 clauses out of 192020 with flag 20206499/4743000
189.02/187.83	c cleaning 97000 clauses out of 194022 with flag 20552245/4841000
193.33/192.12	c cleaning 98003 clauses out of 196023 with flag 20903455/4940001
197.81/196.61	c cleaning 98997 clauses out of 198019 with flag 21264711/5040000
202.41/201.22	c cleaning 100001 clauses out of 200023 with flag 21622134/5141001
207.42/206.20	c cleaning 100997 clauses out of 202022 with flag 21994385/5243001
212.41/211.20	c cleaning 102007 clauses out of 204025 with flag 22374593/5346001
217.41/216.23	c cleaning 103001 clauses out of 206018 with flag 22755072/5450001
222.81/221.62	c cleaning 103992 clauses out of 208017 with flag 23144640/5555001
228.24/227.02	c cleaning 104998 clauses out of 210024 with flag 23542700/5661000
233.93/232.70	c cleaning 106006 clauses out of 212026 with flag 23948304/5768000
239.33/238.16	c cleaning 106996 clauses out of 214020 with flag 24356240/5876000
245.41/244.29	c cleaning 107999 clauses out of 216025 with flag 24781365/5985001
251.49/250.36	c cleaning 109005 clauses out of 218026 with flag 25202337/6095001
257.30/256.18	c cleaning 110007 clauses out of 220022 with flag 25626348/6206002
263.78/262.66	c cleaning 110993 clauses out of 222013 with flag 26062087/6318000
270.49/269.39	c cleaning 112002 clauses out of 224021 with flag 26512595/6431001
277.58/276.48	c cleaning 113002 clauses out of 226020 with flag 26968555/6545002
284.56/283.43	c cleaning 113999 clauses out of 228016 with flag 27422078/6660000
291.34/290.25	c cleaning 115002 clauses out of 230018 with flag 27882867/6776001
298.53/297.50	c cleaning 115995 clauses out of 232016 with flag 28357607/6893001
306.32/305.21	c cleaning 117003 clauses out of 234022 with flag 28831328/7011002
314.12/313.09	c cleaning 118003 clauses out of 236017 with flag 29313354/7130000
322.77/321.73	c cleaning 119000 clauses out of 238015 with flag 29794834/7250001
330.00/329.10	c cleaning 120000 clauses out of 240015 with flag 30278065/7371001
337.34/336.42	c cleaning 120999 clauses out of 242014 with flag 30763409/7493000
345.49/344.64	c cleaning 122001 clauses out of 244015 with flag 31247088/7616000
352.91/352.11	c cleaning 122996 clauses out of 246014 with flag 31731062/7740000
360.39/359.54	c cleaning 124004 clauses out of 248020 with flag 32230879/7865002
367.07/366.26	c cleaning 124998 clauses out of 250015 with flag 32727350/7991001
373.76/372.92	c cleaning 126000 clauses out of 252016 with flag 33234059/8118000
381.03/380.12	c cleaning 127001 clauses out of 254017 with flag 33764830/8246001
388.50/387.62	c cleaning 128003 clauses out of 256016 with flag 34299050/8375001
396.20/395.38	c cleaning 129003 clauses out of 258013 with flag 34840525/8505001
404.67/403.87	c cleaning 130001 clauses out of 260009 with flag 35398935/8636000
412.78/411.99	c cleaning 130999 clauses out of 262008 with flag 35976632/8768000
421.67/420.88	c cleaning 132001 clauses out of 264010 with flag 36551977/8901001
432.41/431.57	c cleaning 132998 clauses out of 266009 with flag 37137816/9035001
444.82/442.57	c cleaning 134001 clauses out of 268009 with flag 37738378/9170001
446.60/444.19	c starts		: 12886
446.70/444.21	c conflicts		: 9207275
446.70/444.21	c decisions		: 13023324
446.70/444.21	c propagations		: 72768957
446.70/444.21	c inspects		: 8012046665
446.70/444.21	c shortcuts		: 0
446.70/444.21	c learnt literals	: 13
446.70/444.21	c learnt binary clauses	: 12
446.70/444.21	c learnt ternary clauses	: 23
446.70/444.21	c learnt constraints	: 9207261
446.70/444.21	c ignored constraints	: 0
446.70/444.21	c root simplifications	: 0
446.70/444.21	c removed literals (reason simplification)	: 0
446.70/444.21	c reason swapping (by a shorter reason)	: 0
446.70/444.21	c Calls to reduceDB	: 131
446.70/444.21	c Number of update (reduction) of LBD	: 1891146
446.70/444.21	c Imported unit clauses	: 0
446.70/444.21	c No decision after first conflict	: false
446.70/444.21	c number of reductions to clauses (during analyze)	: 0
446.70/444.21	c number of learned constraints concerned by reduction	: 0
446.70/444.21	c number of learning phase by resolution	: 0
446.70/444.21	c number of learning phase by cutting planes	: 0
446.70/444.21	c number of rounding to 1 operations	: 0
446.70/444.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
446.70/444.21	c number of reductions of the coefficients by power 2 	: 0
446.70/444.21	c number of right shift for reduction by power 2 	: 0
446.70/444.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
446.70/444.21	c number of ending skipping 	: 0
446.70/444.21	c number of internal skipping 	: 0
446.70/444.21	c number of derivation steps 	: 0
446.70/444.21	c number of skipped derivation steps 	: 0
446.70/444.21	c number of remaining unassigned 	: 0
446.70/444.21	c number of remaining assigned 	: 0
446.70/444.21	c number of falsified literals weakened from reason	: 0
446.70/444.21	c number of falsified literals weakened from conflict	: 0
446.70/444.21	c time for arithmetic operations	: 0
446.70/444.22	c minimum degree of deleted constraints	: null
446.70/444.22	c maximum degree of deleted constraints	: null
446.70/444.22	c number of deleted constraints	: 0
446.70/444.22	c speed (assignments/second)	: 163874.11666148712
446.70/444.22	c non guided choices	: 379007
446.70/444.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 171258
446.70/444.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
446.70/444.27	s UNSATISFIABLE
446.70/444.27	c Total wall clock time (in seconds): 444.151

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: 64059 MiB (62714 MiB free)
  memory of node 1: 64510 MiB (61207 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448804-1721357959/watcher-4448804-1721357959 -o /tmp/evaluation-result-4448804-1721357959/solver-4448804-1721357959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4448804-1721357959.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=985055, runsolver pid=985052
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 3.93 4.15 4.16 9/317 985073
/proc/meminfo: memFree=126847280/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=18975048 memory=64352 CPUtime=0.14 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 7070 0 0 0 12 2 0 0 20 0 18 0 187952306 19430449152 16088 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4743762 16088 5650 1 0 551416 0
[pid=985055/tid=985057] ppid=985052 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) S 985052 985055 980639 0 -1 1077936192 5663 0 0 0 7 1 0 0 20 0 18 0 187952306 19430449152 16088 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 187952309 19430449152 16088 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187952309 19430449152 16088 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64352 KiB

[startup+0.206798 s]*
/proc/loadavg: 3.93 4.15 4.16 7/318 985074
/proc/meminfo: memFree=126830024/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19041976 memory=76040 CPUtime=0.33 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 8592 0 0 0 31 2 0 0 20 0 19 0 187952306 19498983424 19010 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4760494 19010 5808 1 0 552916 0
[pid=985055/tid=985057] ppid=985052 vsize=19041976 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 5870 0 0 0 18 1 0 0 20 0 19 0 187952306 19498983424 19010 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19041976 memory=5697 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187952309 19498983424 19010 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19041976 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187952309 19498983424 19010 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19041976 memory=0 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187952322 19498983424 19010 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041976 KiB
Current children cumulated memory: 76040 KiB

[startup+0.307907 s]*
/proc/loadavg: 3.93 4.15 4.16 7/318 985074
/proc/meminfo: memFree=126817508/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19041612 memory=80836 CPUtime=0.53 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 11471 0 0 0 50 3 0 0 20 0 19 0 187952306 19498610688 20209 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4760403 20209 5824 1 0 554071 0
[pid=985055/tid=985057] ppid=985052 vsize=19041612 memory=-9032086045022528188 CPUtime=0.29 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 5872 0 0 0 28 1 0 0 20 0 19 0 187952306 19498610688 20209 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 20209 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 20209 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187952322 19498610688 20209 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80836 KiB

[startup+0.700906 s]
/proc/loadavg: 3.93 4.15 4.16 7/318 985074
/proc/meminfo: memFree=126810048/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19041612 memory=87180 CPUtime=1.28 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 12733 0 0 0 125 3 0 0 20 0 19 0 187952306 19498610688 21795 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4760403 21795 5840 1 0 554963 0
[pid=985055/tid=985057] ppid=985052 vsize=19041612 memory=43996 CPUtime=0.66 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 5952 0 0 0 65 1 0 0 20 0 19 0 187952306 19498610688 21795 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 21795 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 21795 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19041612 memory=25208 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187952322 19498610688 21795 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87180 KiB

[startup+1.50026 s]
/proc/loadavg: 3.93 4.15 4.16 8/318 985074
/proc/meminfo: memFree=126791176/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19041612 memory=98864 CPUtime=2.7 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 16326 0 0 0 266 4 0 0 20 0 19 0 187952306 19498610688 24716 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4760403 24716 5840 1 0 555118 0
[pid=985055/tid=985057] ppid=985052 vsize=19041612 memory=11992 CPUtime=1.46 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 6272 0 0 0 144 2 0 0 20 0 19 0 187952306 19498610688 24716 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 24716 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 24716 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19041612 memory=25208 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187952322 19498610688 24716 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98864 KiB

[startup+3.11301 s]
/proc/loadavg: 4.02 4.16 4.16 5/318 985074
/proc/meminfo: memFree=126730616/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19041612 memory=119524 CPUtime=4.45 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 17118 0 0 0 441 4 0 0 20 0 19 0 187952306 19498610688 29881 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4760403 29881 5844 1 0 555120 0
[pid=985055/tid=985057] ppid=985052 vsize=19041612 memory=0 CPUtime=3.06 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 6551 0 0 0 304 2 0 0 20 0 19 0 187952306 19498610688 29881 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19041612 memory=-9032086045022528188 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 29881 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 29881 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19041612 memory=2312 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187952322 19498610688 29881 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 4.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 119524 KiB

[startup+6.30042 s]
/proc/loadavg: 4.02 4.16 4.16 5/319 985077
/proc/meminfo: memFree=126668468/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19041612 memory=148604 CPUtime=7.67 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 17508 0 0 0 762 5 0 0 20 0 19 0 187952306 19498610688 37151 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4760403 37151 5844 1 0 555120 0
[pid=985055/tid=985057] ppid=985052 vsize=19041612 memory=2312 CPUtime=6.24 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 6831 0 0 0 622 2 0 0 20 0 19 0 187952306 19498610688 37151 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 37151 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187952309 19498610688 37151 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19041612 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187952322 19498610688 37151 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 148604 KiB

[startup+12.7004 s]
/proc/loadavg: 4.02 4.16 4.16 5/321 985079
/proc/meminfo: memFree=126575352/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=179984 CPUtime=14.07 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 19794 0 0 0 1401 6 0 0 20 0 20 0 187952306 19566772224 44996 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 44996 5908 1 0 555425 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=11992 CPUtime=12.59 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 7283 0 0 0 1256 3 0 0 20 0 20 0 187952306 19566772224 44996 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=179920 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 44996 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=43996 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 44996 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 44996 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 14.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179984 KiB

[startup+25.5005 s]
/proc/loadavg: 4.01 4.15 4.16 5/321 985082
/proc/meminfo: memFree=126558536/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=188396 CPUtime=26.86 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 22517 0 0 0 2678 8 0 0 20 0 20 0 187952306 19566772224 47099 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 47099 5908 1 0 555425 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=6943526294502006880 CPUtime=25.3 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 8398 0 0 0 2527 3 0 0 20 0 20 0 187952306 19566772224 47099 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 47099 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=4357 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 47099 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 47099 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 26.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188396 KiB

[startup+51.1131 s]
/proc/loadavg: 4.17 4.17 4.17 5/321 985085
/proc/meminfo: memFree=126395084/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=239948 CPUtime=52.46 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 25392 0 0 0 5235 11 0 0 20 0 20 0 187952306 19566772224 59987 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 59987 5908 1 0 555425 0

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

[startup+444.317 s]
# the end of solver process 985055 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=446.356 s, system=0.509819 s

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

[startup+409.6 s]
/proc/loadavg: 4.47 4.44 4.31 7/317 985963
/proc/meminfo: memFree=114895116/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=773860 CPUtime=410.49 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 42265 0 0 0 41006 43 0 0 20 0 20 0 187952306 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 193465 5908 1 0 555427 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=11600 CPUtime=405.68 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 15836 0 0 0 40562 6 0 0 20 0 20 0 187952306 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=671124 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 410.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 773860 KiB

[startup+422.4 s]
/proc/loadavg: 4.40 4.43 4.30 6/320 985968
/proc/meminfo: memFree=110858268/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=773860 CPUtime=423.27 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 42266 0 0 0 42283 44 0 0 20 0 20 0 187952306 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 193465 5908 1 0 555427 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=722440 CPUtime=418.45 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 15836 0 0 0 41839 6 0 0 20 0 20 0 187952306 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=671124 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=773860 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 461 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 193465 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 423.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 773860 KiB

[startup+435.2 s]
/proc/loadavg: 4.39 4.42 4.30 5/320 985971
/proc/meminfo: memFree=110608952/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=773872 CPUtime=436.1 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 43667 0 0 0 43565 45 0 0 20 0 20 0 187952306 19566772224 193468 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 193468 5908 1 0 555427 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=671124 CPUtime=431.22 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 16000 0 0 0 43116 6 0 0 20 0 20 0 187952306 19566772224 193468 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=25208 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 193468 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 470 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 193468 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=5512 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 193468 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 436.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 773872 KiB

[startup+438.4 s]
/proc/loadavg: 4.36 4.42 4.30 5/320 985971
/proc/meminfo: memFree=110446796/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=835396 CPUtime=439.38 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 43746 0 0 0 43892 46 0 0 20 0 20 0 187952306 19566772224 208849 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 208849 5908 1 0 555427 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=11600 CPUtime=434.32 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 16000 0 0 0 43426 6 0 0 20 0 20 0 187952306 19566772224 208849 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=835396 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 208849 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=5512 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 470 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 208849 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 208849 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 439.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 835396 KiB

[startup+441.601 s]
/proc/loadavg: 4.36 4.42 4.30 5/320 985971
/proc/meminfo: memFree=110444780/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=846164 CPUtime=443.74 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 52768 0 0 0 44325 49 0 0 20 0 20 0 187952306 19566772224 211541 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 211541 5908 1 0 557864 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=16252 CPUtime=437.52 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 16693 0 0 0 43746 6 0 0 20 0 20 0 187952306 19566772224 211541 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 211541 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 470 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 211541 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=835396 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 211541 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 443.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 846164 KiB

[startup+443.2 s]
/proc/loadavg: 4.41 4.43 4.30 5/320 985971
/proc/meminfo: memFree=110338168/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=847484 CPUtime=445.69 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 53070 0 0 0 44520 49 0 0 20 0 20 0 187952306 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 211871 5908 1 0 558140 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=2244 CPUtime=439.11 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 16693 0 0 0 43905 6 0 0 20 0 20 0 187952306 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=837320 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=16252 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 470 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=43996 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 445.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 847484 KiB

[startup+444 s]*
/proc/loadavg: 4.41 4.43 4.30 6/320 985972
/proc/meminfo: memFree=110333088/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19108176 memory=847484 CPUtime=446.5 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 53070 0 0 0 44601 49 0 0 20 0 20 0 187952306 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4777044 211871 5908 1 0 558140 0
[pid=985055/tid=985057] ppid=985052 vsize=19108176 memory=-9032357624394588860 CPUtime=439.92 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) R 985052 985055 980639 0 -1 4194368 16693 0 0 0 43986 6 0 0 20 0 20 0 187952306 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19108176 memory=4186460 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19108176 memory=-9032357624394588860 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 470 0 0 0 0 0 0 0 20 0 20 0 187952309 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985074] ppid=985052 vsize=19108176 memory=13848 CPUtime=0 cores=5,7
/proc/985055/task/985074/stat : 985074 (Timer-0) S 985052 985055 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187952322 19566772224 211871 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 446.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 847484 KiB

[startup+444.206 s]
/proc/loadavg: 4.41 4.43 4.30 6/320 985972
/proc/meminfo: memFree=110333088/131655788 swapFree=131071996/131071996
[pid=985055] ppid=985052 vsize=19241304 memory=847808 CPUtime=446.7 cores=5,7
/proc/985055/stat : 985055 (java) S 985052 985055 980639 0 -1 1077936128 54227 0 0 0 44621 49 0 0 20 0 20 0 187952306 19703095296 211952 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
/proc/985055/statm: 4810326 211952 5907 1 0 558726 0
[pid=985055/tid=985057] ppid=985052 vsize=19241304 memory=22148 CPUtime=440.08 cores=5,7
/proc/985055/task/985057/stat : 985057 (java) S 985052 985055 980639 0 -1 1077936192 17525 0 0 0 44002 6 0 0 20 0 20 0 187952306 19703095296 211952 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985066] ppid=985052 vsize=19241304 memory=847484 CPUtime=0 cores=5,7
/proc/985055/task/985066/stat : 985066 (Finalizer) S 985052 985055 980639 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 187952309 19703095296 211952 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
[pid=985055/tid=985073] ppid=985052 vsize=19241304 memory=11616 CPUtime=0 cores=5,7
/proc/985055/task/985073/stat : 985073 (Common-Cleaner) S 985052 985055 980639 0 -1 1077936192 470 0 0 0 0 0 0 0 20 0 20 0 187952309 19703095296 211952 134679101440 94197019336704 94197019340400 140735569932336 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94197019348216 94197019349008 94197039075328 140735569941510 140735569941600 140735569941600 140735569948616 0
Current children cumulated CPU time: 446.7 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 847808 KiB

[startup+444.304 s]*
/proc/loadavg: 4.41 4.43 4.30 6/301 985974
/proc/meminfo: memFree=111089628/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 20

Real time (s): 444.317
CPU time (s): 446.865
CPU user time (s): 446.356
CPU system time (s): 0.509819
CPU usage (%): 100.574
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 847808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 446.356
system time used= 0.509819
maximum resident set size= 849128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14610
involuntary context switches= 977


# summary of solver processes directly reported to runsolver:
#   pid: 985055
#   total CPU time (s): 446.865
#   total CPU user time (s): 446.356
#   total CPU system time (s): 0.509819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.22388 second user time and 4.68431 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 04:59:31
IDJOB=4448804
IDBENCH=160441
IDSOLVER=3058
FILE ID=nodeC008/4448804-1721357959
RUNJOBID= nodeC008-1721354365-980652
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x70split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448804-1721357959/watcher-4448804-1721357959 -o /tmp/evaluation-result-4448804-1721357959/solver-4448804-1721357959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980652 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4448804-1721357959.opb

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

MD5SUM BENCH= c77e21d963e84c3fd4d271df704a0949
RANDOM SEED=2056795727

nodeC008.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	: 0xb00001f
cpu MHz		: 3491.958
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 invpcid_single pti 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	: 6983.91
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		: 3647.478
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 invpcid_single pti 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	: 6983.31
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		: 2793.566
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 invpcid_single pti 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	: 6983.91
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.403
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 invpcid_single pti 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	: 6983.31
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		: 3591.727
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 invpcid_single pti 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	: 6983.91
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		: 3491.984
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 invpcid_single pti 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	: 6983.31
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.257
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 invpcid_single pti 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	: 6983.91
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		: 3492.009
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 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126897624 kB
MemAvailable:   129192752 kB
Buffers:          546080 kB
Cached:          2567364 kB
SwapCached:            0 kB
Active:          1060776 kB
Inactive:        3105224 kB
Active(anon):       1484 kB
Inactive(anon):  1088448 kB
Active(file):    1059292 kB
Inactive(file):  2016776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2868 kB
Writeback:            48 kB
AnonPages:       1052296 kB
Mapped:           126848 kB
Shmem:             37704 kB
KReclaimable:     118184 kB
Slab:             222880 kB
SReclaimable:     118184 kB
SUnreclaim:       104696 kB
KernelStack:        4780 kB
PageTables:        12112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7371964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58720 kB
HardwareCorrupted:     0 kB
AnonHugePages:    806912 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC008 at 2024-07-19 05:06:56