Trace number 4424916

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-07MSAT (TO) 3600.28 3602.23

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-queen5-5-4_wcsp.wbo
MD5SUMcb6ea9648287f931b56a2a3b8dcad6ec
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark120.183
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables100
Total number of constraints665
Number of soft constraints640
Number of constraints which are clauses640
Number of constraints which are cardinality constraints (but not clauses)25
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 161
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 640
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	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-4424916-1720891974.wbo
0.14/0.12	c reading problem ... 
0.14/0.16	c ... done. Wall clock time 0.037s.
0.14/0.16	c declared #vars     100
0.14/0.16	c internal #vars     740
0.14/0.16	c #constraints  691
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 26
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 665
0.14/0.16	c 691 constraints processed.
0.14/0.17	c objective function length is 640 literals
0.14/0.19	c SATISFIABLE
0.14/0.19	c OPTIMIZING...
0.14/0.19	c Got one! Elapsed wall clock time (in seconds):0.068
0.14/0.19	o 31
0.14/0.20	c Got one! Elapsed wall clock time (in seconds):0.076
0.14/0.20	o 30
0.14/0.20	c Got one! Elapsed wall clock time (in seconds):0.08
0.14/0.20	o 23
0.55/0.32	c Got one! Elapsed wall clock time (in seconds):0.203
0.55/0.32	o 22
0.55/0.33	c Got one! Elapsed wall clock time (in seconds):0.211
0.55/0.33	o 21
1.11/0.63	c cleaning 2747 clauses out of 5501 with flag 10818/5501
1.29/0.75	c Got one! Elapsed wall clock time (in seconds):0.633
1.29/0.75	o 20
1.29/0.75	c Got one! Elapsed wall clock time (in seconds):0.636
1.29/0.75	o 19
1.51/0.81	c cleaning 4029 clauses out of 8064 with flag 5310/10811
1.64/0.97	c cleaning 5006 clauses out of 10035 with flag 22270/16811
1.93/1.15	c cleaning 6006 clauses out of 12029 with flag 40710/23811
2.17/1.35	c cleaning 7004 clauses out of 14024 with flag 61251/31812
2.40/1.57	c cleaning 8005 clauses out of 16019 with flag 84145/40811
2.70/1.83	c cleaning 8995 clauses out of 18014 with flag 110306/50811
3.00/2.11	c cleaning 9998 clauses out of 20019 with flag 137908/61811
3.30/2.43	c cleaning 11001 clauses out of 22021 with flag 167375/73811
3.75/2.87	c cleaning 12001 clauses out of 24020 with flag 211541/86811
4.46/3.46	c cleaning 13006 clauses out of 26019 with flag 271014/100811
5.16/4.11	c cleaning 14001 clauses out of 28014 with flag 333326/115812
5.88/4.82	c cleaning 15005 clauses out of 30014 with flag 394832/131813
6.61/5.54	c cleaning 15991 clauses out of 32010 with flag 459915/148814
7.41/6.35	c cleaning 17003 clauses out of 34016 with flag 530705/166811
8.21/7.18	c cleaning 18000 clauses out of 36013 with flag 607142/185811
9.10/8.03	c cleaning 19006 clauses out of 38013 with flag 687327/205811
10.00/8.93	c cleaning 20003 clauses out of 40008 with flag 771573/226812
10.99/9.91	c cleaning 20998 clauses out of 42004 with flag 856335/248811
12.00/10.93	c cleaning 21998 clauses out of 44006 with flag 945344/271811
13.12/12.01	c cleaning 22999 clauses out of 46008 with flag 1039439/295811
14.11/13.06	c cleaning 24000 clauses out of 48009 with flag 1131883/320811
15.21/14.18	c cleaning 25004 clauses out of 50009 with flag 1228597/346811
16.40/15.39	c cleaning 26002 clauses out of 52005 with flag 1329417/373811
17.70/16.63	c cleaning 26996 clauses out of 54004 with flag 1434648/401812
19.00/17.98	c cleaning 28003 clauses out of 56008 with flag 1546872/430812
20.40/19.36	c cleaning 28997 clauses out of 58008 with flag 1664353/460815
21.89/20.82	c cleaning 29999 clauses out of 60007 with flag 1785248/491811
23.29/22.22	c cleaning 31000 clauses out of 62009 with flag 1905245/523812
24.78/23.78	c cleaning 32001 clauses out of 64011 with flag 2030919/556814
26.48/25.45	c cleaning 32989 clauses out of 66007 with flag 2168216/590811
28.28/27.26	c cleaning 34010 clauses out of 68021 with flag 2304691/625814
29.98/28.90	c cleaning 34996 clauses out of 70008 with flag 2433622/661811
31.67/30.65	c cleaning 35996 clauses out of 72013 with flag 2567405/698812
33.37/32.39	c cleaning 36997 clauses out of 74016 with flag 2709789/736811
35.17/34.13	c cleaning 38010 clauses out of 76021 with flag 2854470/775813
37.09/36.03	c cleaning 38994 clauses out of 78010 with flag 2994503/815812
39.19/38.18	c cleaning 39995 clauses out of 80016 with flag 3150554/856812
41.58/40.51	c cleaning 41006 clauses out of 82020 with flag 3304919/898811
43.48/42.48	c cleaning 42000 clauses out of 84017 with flag 3454506/941814
45.57/44.53	c cleaning 43003 clauses out of 86015 with flag 3603114/985812
47.77/46.75	c cleaning 43998 clauses out of 88012 with flag 3761984/1030812
50.10/49.08	c cleaning 44995 clauses out of 90015 with flag 3934079/1076813
52.67/51.66	c cleaning 45993 clauses out of 92018 with flag 4111753/1123811
55.05/54.06	c cleaning 47012 clauses out of 94026 with flag 4285206/1171812
57.73/56.74	c cleaning 48000 clauses out of 96014 with flag 4466380/1220812
60.23/59.22	c cleaning 48992 clauses out of 98013 with flag 4644755/1270811
62.92/61.91	c cleaning 50006 clauses out of 100023 with flag 4833587/1321813
65.66/64.61	c cleaning 51000 clauses out of 102015 with flag 5025685/1373811
68.64/67.61	c cleaning 51995 clauses out of 104015 with flag 5226043/1426811
71.64/70.61	c cleaning 52993 clauses out of 106021 with flag 5426098/1480812
74.63/73.63	c cleaning 54011 clauses out of 108030 with flag 5640188/1535814
77.56/76.59	c cleaning 54998 clauses out of 110016 with flag 5853741/1591811
80.55/79.52	c cleaning 56001 clauses out of 112019 with flag 6058241/1648812
83.55/82.51	c cleaning 57006 clauses out of 114019 with flag 6268779/1706813
86.64/85.66	c cleaning 57997 clauses out of 116012 with flag 6484111/1765812
89.93/88.91	c cleaning 59002 clauses out of 118015 with flag 6704953/1825812
93.24/92.28	c cleaning 59999 clauses out of 120013 with flag 6951215/1886812
96.64/95.61	c cleaning 60998 clauses out of 122015 with flag 7178996/1948813
100.23/99.25	c cleaning 61991 clauses out of 124016 with flag 7430367/2011812
103.52/102.57	c cleaning 63005 clauses out of 126026 with flag 7677186/2075813
107.14/106.16	c cleaning 64003 clauses out of 128019 with flag 7923018/2140811
110.73/109.76	c cleaning 65001 clauses out of 130016 with flag 8165420/2206811
114.42/113.47	c cleaning 66003 clauses out of 132017 with flag 8410301/2273813
118.25/117.20	c cleaning 67003 clauses out of 134013 with flag 8663988/2341812
122.25/121.28	c cleaning 67994 clauses out of 136009 with flag 8918453/2410811
126.65/125.61	c cleaning 68995 clauses out of 138016 with flag 9178193/2480812
130.94/129.97	c cleaning 70010 clauses out of 140022 with flag 9457951/2551813
135.16/134.15	c cleaning 70998 clauses out of 142011 with flag 9735747/2623812
139.65/138.68	c cleaning 72001 clauses out of 144012 with flag 10009517/2696811
144.64/143.63	c cleaning 73001 clauses out of 146013 with flag 10299934/2770813
149.85/148.87	c cleaning 74000 clauses out of 148010 with flag 10592233/2845811
155.04/154.02	c cleaning 74995 clauses out of 150010 with flag 10889703/2921811
159.73/158.77	c cleaning 76000 clauses out of 152016 with flag 11185685/2998812
164.54/163.56	c cleaning 76999 clauses out of 154015 with flag 11484070/3076811
170.03/169.01	c cleaning 78004 clauses out of 156019 with flag 11784803/3155814
175.72/174.71	c cleaning 78993 clauses out of 158012 with flag 12087386/3235811
180.70/179.79	c cleaning 80007 clauses out of 160021 with flag 12394435/3316813
186.04/185.03	c cleaning 80999 clauses out of 162016 with flag 12706358/3398815
191.33/190.36	c cleaning 81992 clauses out of 164013 with flag 13024885/3481811
196.32/195.38	c cleaning 83004 clauses out of 166021 with flag 13349916/3565811
201.81/200.86	c cleaning 83990 clauses out of 168017 with flag 13665553/3650811
207.59/206.64	c cleaning 85003 clauses out of 170028 with flag 13990632/3736812
213.52/212.54	c cleaning 86006 clauses out of 172024 with flag 14314168/3823811
219.71/218.74	c cleaning 87009 clauses out of 174020 with flag 14624544/3911813
226.10/225.17	c cleaning 87995 clauses out of 176012 with flag 14962458/4000814
232.09/231.18	c cleaning 88992 clauses out of 178017 with flag 15295186/4090814
238.93/237.90	c cleaning 90005 clauses out of 180025 with flag 15639448/4181814
244.81/243.88	c cleaning 90998 clauses out of 182017 with flag 15970081/4273811
250.60/249.67	c cleaning 92008 clauses out of 184021 with flag 16313203/4366813
256.29/255.31	c cleaning 92999 clauses out of 186012 with flag 16652654/4460812
262.68/261.73	c cleaning 93991 clauses out of 188012 with flag 16988510/4555811
269.12/268.14	c cleaning 95000 clauses out of 190022 with flag 17328558/4651812
275.61/274.62	c cleaning 95999 clauses out of 192023 with flag 17677927/4748813
282.20/281.22	c cleaning 97003 clauses out of 194022 with flag 18041797/4846811
288.89/287.97	c cleaning 98003 clauses out of 196019 with flag 18395490/4945811
295.67/294.71	c cleaning 98995 clauses out of 198016 with flag 18749613/5045811
302.71/301.75	c cleaning 100003 clauses out of 200021 with flag 19106973/5146811
311.00/310.10	c cleaning 100997 clauses out of 202018 with flag 19484208/5248811
319.18/318.25	c cleaning 102001 clauses out of 204023 with flag 19861385/5351813
326.28/325.32	c cleaning 103003 clauses out of 206021 with flag 20234896/5455812
332.97/332.06	c cleaning 103998 clauses out of 208017 with flag 20610671/5560811
340.35/339.41	c cleaning 105008 clauses out of 210019 with flag 21005271/5666811
347.04/346.15	c cleaning 105997 clauses out of 212011 with flag 21399820/5773811
355.47/354.50	c cleaning 106986 clauses out of 214014 with flag 21788014/5881811
363.15/362.25	c cleaning 108003 clauses out of 216029 with flag 22184167/5990812
370.94/370.01	c cleaning 109007 clauses out of 218026 with flag 22597448/6100812
377.82/376.96	c cleaning 110005 clauses out of 220020 with flag 22992758/6211813
385.41/384.58	c cleaning 110995 clauses out of 222014 with flag 23384226/6323812
393.50/392.64	c cleaning 111999 clauses out of 224019 with flag 23810484/6436812
402.58/401.79	c cleaning 113003 clauses out of 226020 with flag 24242291/6550812
410.95/410.09	c cleaning 113984 clauses out of 228016 with flag 24682397/6665811
419.63/418.70	c cleaning 115006 clauses out of 230032 with flag 25130005/6781811
428.41/427.51	c cleaning 116001 clauses out of 232028 with flag 25555580/6898813
436.19/435.39	c cleaning 117009 clauses out of 234025 with flag 25999084/7016811
443.78/442.91	c cleaning 118004 clauses out of 236016 with flag 26442976/7135811
453.36/452.51	c cleaning 119000 clauses out of 238015 with flag 26894078/7255814
462.45/461.62	c cleaning 119994 clauses out of 240013 with flag 27349185/7376812
472.19/471.35	c cleaning 120998 clauses out of 242018 with flag 27815184/7498811
481.07/480.25	c cleaning 121995 clauses out of 244020 with flag 28294658/7621811
491.34/490.58	c cleaning 122997 clauses out of 246028 with flag 28757422/7745814
501.13/500.33	c cleaning 124008 clauses out of 248029 with flag 29256216/7870812
511.92/511.13	c cleaning 125000 clauses out of 250020 with flag 29745931/7996811
522.20/521.44	c cleaning 125993 clauses out of 252021 with flag 30234976/8123812
532.88/532.18	c cleaning 126998 clauses out of 254027 with flag 30723002/8251811
543.55/542.88	c cleaning 128011 clauses out of 256030 with flag 31212169/8380812
554.24/553.48	c cleaning 129004 clauses out of 258023 with flag 31700854/8510816
565.22/564.41	c cleaning 129997 clauses out of 260014 with flag 32167937/8641811
578.19/577.43	c cleaning 130995 clauses out of 262017 with flag 32687813/8773811
588.97/588.20	c cleaning 132002 clauses out of 264022 with flag 33183227/8906811
599.15/598.46	c cleaning 132997 clauses out of 266020 with flag 33665768/9040811
610.33/609.60	c cleaning 133983 clauses out of 268024 with flag 34150783/9175812
623.21/622.59	c cleaning 135014 clauses out of 270040 with flag 34661245/9311811
634.98/634.25	c cleaning 136011 clauses out of 272027 with flag 35173430/9448812
647.05/646.34	c cleaning 137005 clauses out of 274020 with flag 35694345/9586816
658.94/658.23	c cleaning 137994 clauses out of 276011 with flag 36224686/9725812
670.72/670.03	c cleaning 138992 clauses out of 278016 with flag 36751830/9865811
682.29/681.69	c cleaning 140006 clauses out of 280024 with flag 37268506/10006811
694.56/693.92	c cleaning 141002 clauses out of 282018 with flag 37787585/10148811
707.24/706.69	c cleaning 142003 clauses out of 284017 with flag 38334616/10291812
719.81/719.25	c cleaning 142997 clauses out of 286013 with flag 38897479/10435811
732.57/731.65	c cleaning 144003 clauses out of 288022 with flag 39455391/10580817
744.15/743.24	c cleaning 144991 clauses out of 290013 with flag 40007576/10726811
757.33/756.48	c cleaning 145997 clauses out of 292022 with flag 40566386/10873811
769.91/769.02	c cleaning 146996 clauses out of 294026 with flag 41138394/11021812
780.69/779.81	c cleaning 148001 clauses out of 296029 with flag 41694939/11170811
794.25/793.40	c cleaning 149000 clauses out of 298028 with flag 42273729/11320811
808.24/807.41	c cleaning 150008 clauses out of 300028 with flag 42864688/11471811
823.65/822.87	c cleaning 151008 clauses out of 302021 with flag 43458510/11623812
839.03/838.26	c cleaning 151998 clauses out of 304012 with flag 44063690/11776811
854.00/853.20	c cleaning 152982 clauses out of 306014 with flag 44652159/11930811
866.08/865.30	c cleaning 154010 clauses out of 308032 with flag 45222560/12085811
880.86/880.19	c cleaning 155003 clauses out of 310023 with flag 45825055/12241812
895.62/894.90	c cleaning 155995 clauses out of 312019 with flag 46424876/12398811
911.40/910.76	c cleaning 157004 clauses out of 314024 with flag 47007744/12556811
925.77/925.12	c cleaning 158007 clauses out of 316021 with flag 47594893/12715812
938.03/937.37	c cleaning 158995 clauses out of 318013 with flag 48166210/12875811
952.80/952.10	c cleaning 160010 clauses out of 320020 with flag 48777009/13036813
966.36/965.75	c cleaning 160987 clauses out of 322011 with flag 49378375/13198814
980.04/979.45	c cleaning 162007 clauses out of 324021 with flag 49981962/13361811
996.80/996.24	c cleaning 162998 clauses out of 326018 with flag 50612338/13525815
1012.46/1011.99	c cleaning 164000 clauses out of 328020 with flag 51244852/13690815
1028.02/1027.50	c cleaning 164992 clauses out of 330017 with flag 51892213/13856812
1045.19/1044.79	c cleaning 166004 clauses out of 332024 with flag 52552536/14023811
1061.65/1061.27	c cleaning 166989 clauses out of 334020 with flag 53222798/14191811
1078.62/1078.20	c cleaning 168006 clauses out of 336031 with flag 53883030/14360811
1097.13/1096.73	c cleaning 169000 clauses out of 338025 with flag 54575469/14530811
1113.78/1113.52	c cleaning 169993 clauses out of 340026 with flag 55285079/14701812
1130.45/1130.34	c cleaning 171007 clauses out of 342032 with flag 56020262/14873811
1147.50/1147.50	c cleaning 172008 clauses out of 344025 with flag 56776136/15046811
1164.36/1164.52	c cleaning 173002 clauses out of 346020 with flag 57542257/15220814
1179.63/1179.83	c cleaning 173994 clauses out of 348015 with flag 58319889/15395811
1197.29/1197.52	c cleaning 175001 clauses out of 350023 with flag 59049724/15571813
1217.05/1217.25	c cleaning 176003 clauses out of 352023 with flag 59800035/15748814
1237.62/1237.84	c cleaning 177005 clauses out of 354021 with flag 60534415/15926815
1255.79/1256.09	c cleaning 177997 clauses out of 356013 with flag 61247269/16105812
1275.45/1275.75	c cleaning 179004 clauses out of 358016 with flag 62020083/16285812
1293.02/1293.34	c cleaning 179999 clauses out of 360011 with flag 62772785/16466811
1313.38/1313.75	c cleaning 180996 clauses out of 362012 with flag 63523930/16648811
1333.25/1333.67	c cleaning 182003 clauses out of 364016 with flag 64271331/16831811
1351.14/1351.46	c cleaning 183004 clauses out of 366015 with flag 64995231/17015813
1368.20/1368.50	c cleaning 183993 clauses out of 368009 with flag 65702031/17200811
1387.47/1387.83	c cleaning 184999 clauses out of 370016 with flag 66408554/17386811
1409.53/1409.95	c cleaning 186003 clauses out of 372017 with flag 67170698/17573811
1430.70/1431.17	c cleaning 186995 clauses out of 374016 with flag 67938584/17761813
1448.95/1449.41	c cleaning 188004 clauses out of 376023 with flag 68668681/17950815
1468.71/1469.29	c cleaning 189002 clauses out of 378016 with flag 69429290/18140812
1485.87/1486.49	c cleaning 189996 clauses out of 380013 with flag 70153300/18331811
1504.12/1504.70	c cleaning 191006 clauses out of 382020 with flag 70884747/18523814
1524.68/1525.29	c cleaning 191992 clauses out of 384011 with flag 71668274/18716811
1544.95/1545.57	c cleaning 193004 clauses out of 386019 with flag 72439653/18910811
1563.32/1563.93	c cleaning 193995 clauses out of 388016 with flag 73174701/19105812
1582.38/1583.02	c cleaning 194998 clauses out of 390022 with flag 73891416/19301813
1604.83/1605.55	c cleaning 196002 clauses out of 392027 with flag 74649014/19498816
1626.22/1626.85	c cleaning 197004 clauses out of 394024 with flag 75456207/19696815
1646.57/1647.23	c cleaning 198003 clauses out of 396018 with flag 76252470/19895813
1665.73/1666.49	c cleaning 199003 clauses out of 398016 with flag 77029129/20095814
1685.99/1686.74	c cleaning 199993 clauses out of 400010 with flag 77805813/20296811
1707.55/1708.33	c cleaning 200998 clauses out of 402019 with flag 78616109/20498813
1730.00/1730.80	c cleaning 202007 clauses out of 404019 with flag 79416371/20701811
1752.05/1752.92	c cleaning 202994 clauses out of 406012 with flag 80232983/20905811
1772.91/1773.23	c cleaning 204005 clauses out of 408019 with flag 81009608/21110812
1791.58/1792.00	c cleaning 204994 clauses out of 410013 with flag 81774994/21316811
1812.85/1813.26	c cleaning 205997 clauses out of 412019 with flag 82527206/21523811
1831.72/1832.12	c cleaning 207006 clauses out of 414025 with flag 83329506/21731814
1849.97/1850.49	c cleaning 208000 clauses out of 416016 with flag 84113871/21940811
1869.54/1870.08	c cleaning 208989 clauses out of 418017 with flag 84913087/22150812
1889.68/1890.17	c cleaning 210008 clauses out of 420029 with flag 85734958/22361813
1912.64/1913.14	c cleaning 211000 clauses out of 422019 with flag 86524074/22573811
1935.38/1935.93	c cleaning 211997 clauses out of 424021 with flag 87387329/22786813
1956.74/1957.30	c cleaning 213001 clauses out of 426022 with flag 88251953/23000811
1976.90/1977.58	c cleaning 214007 clauses out of 428021 with flag 89105140/23215811
1998.14/1998.83	c cleaning 214999 clauses out of 430018 with flag 89939972/23431815
2019.70/2020.46	c cleaning 215998 clauses out of 432015 with flag 90815355/23648811
2045.55/2046.30	c cleaning 216981 clauses out of 434017 with flag 91722211/23866811
2067.77/2068.54	c cleaning 218017 clauses out of 436038 with flag 92606977/24085813
2085.53/2086.39	c cleaning 219004 clauses out of 438019 with flag 93465312/24305811
2106.89/2107.74	c cleaning 220004 clauses out of 440016 with flag 94357652/24526812
2130.74/2131.69	c cleaning 221006 clauses out of 442016 with flag 95241682/24748816
2153.79/2154.73	c cleaning 221996 clauses out of 444005 with flag 96171649/24971811
2178.04/2179.04	c cleaning 222990 clauses out of 446010 with flag 97086224/25195812
2201.89/2202.96	c cleaning 224004 clauses out of 448019 with flag 97972090/25420811
2227.34/2228.48	c cleaning 225003 clauses out of 450016 with flag 98961766/25646812
2248.48/2249.66	c cleaning 226001 clauses out of 452013 with flag 99913500/25873812
2270.04/2271.24	c cleaning 226994 clauses out of 454011 with flag 100839558/26101811
2293.09/2294.36	c cleaning 227989 clauses out of 456018 with flag 101764035/26330812
2317.04/2318.24	c cleaning 229006 clauses out of 458029 with flag 102704980/26560812
2340.90/2342.14	c cleaning 229995 clauses out of 460022 with flag 103728574/26791811
2363.54/2364.84	c cleaning 231003 clauses out of 462028 with flag 104695953/27023812
2390.28/2391.69	c cleaning 231999 clauses out of 464024 with flag 105748094/27256811
2412.43/2413.82	c cleaning 232997 clauses out of 466026 with flag 106728890/27490812
2436.48/2437.92	c cleaning 233991 clauses out of 468028 with flag 107767837/27725811
2463.42/2464.94	c cleaning 234991 clauses out of 470038 with flag 108778121/27961812
2481.39/2482.96	c cleaning 236010 clauses out of 472047 with flag 109733326/28198812
2503.15/2504.72	c cleaning 237007 clauses out of 474036 with flag 110775535/28436811
2527.41/2529.01	c cleaning 238010 clauses out of 476029 with flag 111776074/28675811
2549.30/2550.86	c cleaning 238994 clauses out of 478019 with flag 112781256/28915811
2570.86/2572.45	c cleaning 239991 clauses out of 480026 with flag 113791440/29156812
2594.53/2596.11	c cleaning 241008 clauses out of 482034 with flag 114821516/29398811
2618.40/2620.07	c cleaning 242007 clauses out of 484028 with flag 115891866/29641813
2643.47/2645.16	c cleaning 243002 clauses out of 486019 with flag 116905344/29885811
2668.83/2670.50	c cleaning 243992 clauses out of 488018 with flag 117965167/30130812
2688.99/2690.63	c cleaning 245005 clauses out of 490025 with flag 118899919/30376811
2716.64/2718.35	c cleaning 245986 clauses out of 492020 with flag 119897699/30623811
2744.29/2746.05	c cleaning 247002 clauses out of 494034 with flag 120878146/30871811
2771.03/2772.80	c cleaning 248008 clauses out of 496032 with flag 121840137/31120811
2806.07/2807.90	c cleaning 249000 clauses out of 498025 with flag 122837052/31370812
2832.42/2834.36	c cleaning 249991 clauses out of 500025 with flag 123840662/31621812
2859.86/2861.87	c cleaning 251013 clauses out of 502035 with flag 124769910/31873813
2888.70/2890.72	c cleaning 252007 clauses out of 504020 with flag 125771733/32126811
2914.33/2916.28	c cleaning 252998 clauses out of 506013 with flag 126802047/32380811
2939.09/2941.08	c cleaning 254000 clauses out of 508016 with flag 127826981/32635812
2967.35/2969.32	c cleaning 254996 clauses out of 510015 with flag 128846773/32891811
2996.70/2998.78	c cleaning 256004 clauses out of 512022 with flag 129851667/33148814
3027.86/3029.93	c cleaning 257000 clauses out of 514016 with flag 130901952/33406812
3055.62/3057.78	c cleaning 257963 clauses out of 516016 with flag 131907861/33665812
3084.46/3085.85	c cleaning 259015 clauses out of 518053 with flag 132936480/33925812
3110.22/3111.68	c cleaning 259996 clauses out of 520038 with flag 133991112/34186812
3140.46/3141.94	c cleaning 261020 clauses out of 522042 with flag 135005074/34448812
3174.10/3175.67	c cleaning 261999 clauses out of 524021 with flag 136056027/34711811
3199.45/3201.07	c cleaning 262997 clauses out of 526022 with flag 137022013/34975811
3226.17/3227.77	c cleaning 263996 clauses out of 528026 with flag 137956907/35240812
3250.92/3252.59	c cleaning 265010 clauses out of 530029 with flag 138907547/35506811
3280.96/3282.62	c cleaning 266000 clauses out of 532019 with flag 139893016/35773811
3305.81/3307.54	c cleaning 267002 clauses out of 534021 with flag 140865028/36041813
3329.26/3331.05	c cleaning 268001 clauses out of 536017 with flag 141785587/36310811
3358.10/3359.98	c cleaning 269005 clauses out of 538018 with flag 142778841/36580813
3390.45/3392.37	c cleaning 270003 clauses out of 540013 with flag 143754361/36851813
3420.30/3422.15	c cleaning 270983 clauses out of 542008 with flag 144751279/37123811
3451.46/3453.37	c cleaning 272009 clauses out of 544035 with flag 145726062/37396821
3480.81/3482.70	c cleaning 272984 clauses out of 546016 with flag 146747746/37670811
3514.07/3516.10	c cleaning 274009 clauses out of 548032 with flag 147753593/37945811
3542.62/3544.68	c cleaning 275006 clauses out of 550023 with flag 148792795/38221811
3573.27/3575.35	c cleaning 276001 clauses out of 552018 with flag 149799222/38498812
3600.04/3602.13	c starts		: 28860
3600.04/3602.13	c conflicts		: 38776811
3600.04/3602.13	c decisions		: 98080801
3600.04/3602.13	c propagations		: 5619604076
3600.04/3602.13	c inspects		: 30447541130
3600.04/3602.13	c shortcuts		: 0
3600.04/3602.13	c learnt literals	: 0
3600.04/3602.13	c learnt binary clauses	: 0
3600.04/3602.13	c learnt ternary clauses	: 0
3600.04/3602.13	c learnt constraints	: 38776811
3600.04/3602.13	c ignored constraints	: 0
3600.04/3602.13	c root simplifications	: 0
3600.04/3602.13	c removed literals (reason simplification)	: 0
3600.04/3602.13	c reason swapping (by a shorter reason)	: 0
3600.04/3602.13	c Calls to reduceDB	: 275
3600.04/3602.13	c Number of update (reduction) of LBD	: 16531990
3600.04/3602.13	c Imported unit clauses	: 0
3600.04/3602.13	c No decision after first conflict	: false
3600.04/3602.13	c number of reductions to clauses (during analyze)	: 0
3600.04/3602.13	c number of learned constraints concerned by reduction	: 0
3600.04/3602.13	c number of learning phase by resolution	: 0
3600.04/3602.13	c number of learning phase by cutting planes	: 0
3600.04/3602.13	c number of rounding to 1 operations	: 0
3600.04/3602.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3602.13	c number of reductions of the coefficients by power 2 	: 0
3600.04/3602.13	c number of right shift for reduction by power 2 	: 0
3600.04/3602.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3602.13	c number of ending skipping 	: 0
3600.04/3602.13	c number of internal skipping 	: 0
3600.04/3602.13	c number of derivation steps 	: 0
3600.04/3602.13	c number of skipped derivation steps 	: 0
3600.04/3602.13	c number of remaining unassigned 	: 0
3600.04/3602.13	c number of remaining assigned 	: 0
3600.04/3602.13	c number of falsified literals weakened from reason	: 0
3600.04/3602.13	c number of falsified literals weakened from conflict	: 0
3600.04/3602.13	c time for arithmetic operations	: 0
3600.04/3602.14	c minimum degree of deleted constraints	: null
3600.04/3602.14	c maximum degree of deleted constraints	: null
3600.04/3602.14	c number of deleted constraints	: 0
3600.04/3602.14	c speed (assignments/second)	: 1560150.8500089673
3600.04/3602.14	c non guided choices	: 71
3600.23/3602.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 554016
3600.23/3602.22	s SATISFIABLE
3600.23/3602.22	c Found 7 solution(s)
3600.23/3602.22	v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 
3600.23/3602.22	c objective function=19
3600.23/3602.22	c Total wall clock time (in seconds): 3602.099

Verifier Data 

OK	18

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: 63931 MiB (58237 MiB free)
  memory of node 1: 64510 MiB (61457 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424916-1720891974/watcher-4424916-1720891974 -o /tmp/evaluation-result-4424916-1720891974/solver-4424916-1720891974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1720890801-713074 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424916-1720891974.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100194 s]*
/proc/loadavg: 4.10 4.06 3.06 5/331 714965
/proc/meminfo: memFree=122525272/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=18975048 memory=63084 CPUtime=0.14 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 7227 0 0 0 12 2 0 0 20 0 18 0 141367125 19430449152 15771 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4743762 15771 5657 1 0 549349 0
[pid=714947/tid=714949] ppid=714944 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 5747 0 0 0 8 1 0 0 20 0 18 0 141367126 19430449152 15771 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141367128 19430449152 15771 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141367129 19430449152 15771 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63084 KiB

[startup+0.21071 s]*
/proc/loadavg: 4.10 4.06 3.06 7/332 714966
/proc/meminfo: memFree=122517564/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19041612 memory=70700 CPUtime=0.35 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 8153 0 0 0 33 2 0 0 20 0 19 0 141367125 19498610688 17675 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4760403 17675 5871 1 0 550091 0
[pid=714947/tid=714949] ppid=714944 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 6013 0 0 0 18 1 0 0 20 0 19 0 141367126 19498610688 17675 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19041612 memory=17963 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141367128 19498610688 17675 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19041612 memory=14697378909259238 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141367129 19498610688 17675 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141367143 19498610688 17675 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70700 KiB

[startup+0.310711 s]*
/proc/loadavg: 4.10 4.06 3.06 6/332 714966
/proc/meminfo: memFree=122511152/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19043236 memory=77468 CPUtime=0.55 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 10586 0 0 0 52 3 0 0 20 0 19 0 141367125 19500273664 19367 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4760809 19367 5871 1 0 551772 0
[pid=714947/tid=714949] ppid=714944 vsize=19043236 memory=-8888242440731271868 CPUtime=0.29 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 6020 0 0 0 28 1 0 0 20 0 19 0 141367126 19500273664 19367 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19043236 memory=0 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141367128 19500273664 19367 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19043236 memory=0 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141367129 19500273664 19367 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19043236 memory=0 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141367143 19500273664 19367 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19043236 KiB
Current children cumulated memory: 77468 KiB

[startup+0.700711 s]
/proc/loadavg: 4.10 4.06 3.06 6/332 714966
/proc/meminfo: memFree=122507376/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19041612 memory=84496 CPUtime=1.29 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 12176 0 0 0 126 3 0 0 20 0 19 0 141367125 19498610688 21124 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4760403 21124 5886 1 0 552441 0
[pid=714947/tid=714949] ppid=714944 vsize=19041612 memory=35152 CPUtime=0.67 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 6065 0 0 0 66 1 0 0 20 0 19 0 141367126 19498610688 21124 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19041612 memory=12312 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141367128 19498610688 21124 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19041612 memory=2220 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141367129 19498610688 21124 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19041612 memory=5568 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141367143 19498610688 21124 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84496 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.06 3.06 7/332 714966
/proc/meminfo: memFree=122499388/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19041612 memory=95560 CPUtime=2.4 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 15954 0 0 0 236 4 0 0 20 0 19 0 141367125 19498610688 23890 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4760403 23890 5886 1 0 552505 0
[pid=714947/tid=714949] ppid=714944 vsize=19041612 memory=12312 CPUtime=1.46 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 6378 0 0 0 145 1 0 0 20 0 19 0 141367126 19498610688 23890 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141367128 19498610688 23890 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19041612 memory=2220 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141367129 19498610688 23890 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19041612 memory=5568 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141367143 19498610688 23890 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95560 KiB

[startup+3.10545 s]
/proc/loadavg: 4.09 4.06 3.07 5/332 714966
/proc/meminfo: memFree=122476892/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19041612 memory=111488 CPUtime=4.16 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 17147 0 0 0 412 4 0 0 20 0 19 0 141367125 19498610688 27872 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4760403 27872 5886 1 0 552883 0
[pid=714947/tid=714949] ppid=714944 vsize=19041612 memory=0 CPUtime=3.07 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 6710 0 0 0 306 1 0 0 20 0 19 0 141367126 19498610688 27872 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19041612 memory=-8888242440731271868 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141367128 19498610688 27872 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19041612 memory=12312 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141367129 19498610688 27872 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19041612 memory=2220 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141367143 19498610688 27872 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111488 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.06 3.07 5/332 714966
/proc/meminfo: memFree=122457744/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19041612 memory=132708 CPUtime=7.41 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 19940 0 0 0 736 5 0 0 20 0 19 0 141367125 19498610688 33177 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4760403 33177 5886 1 0 552883 0
[pid=714947/tid=714949] ppid=714944 vsize=19041612 memory=2220 CPUtime=6.26 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 7419 0 0 0 624 2 0 0 20 0 19 0 141367126 19498610688 33177 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141367128 19498610688 33177 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19041612 memory=12312 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141367129 19498610688 33177 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19041612 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141367143 19498610688 33177 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 132708 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.08 3.08 5/333 714968
/proc/meminfo: memFree=122409960/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=178424 CPUtime=13.81 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 22664 0 0 0 1375 6 0 0 20 0 20 0 141367125 19566772224 44606 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 44606 5950 1 0 553172 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=12312 CPUtime=12.63 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 8180 0 0 0 1261 2 0 0 20 0 20 0 141367126 19566772224 44606 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=153232 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 44606 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=35152 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 44606 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 44606 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.07 3.09 5/333 714970
/proc/meminfo: memFree=122401536/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=186816 CPUtime=26.58 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 25579 0 0 0 2652 6 0 0 20 0 20 0 141367125 19566772224 46704 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 46704 5966 1 0 553172 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=6943526294502006880 CPUtime=25.38 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 9386 0 0 0 2536 2 0 0 20 0 20 0 141367126 19566772224 46704 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 46704 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=3444 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 46704 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=12312 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 46704 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186816 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.08 3.12 5/332 714974
/proc/meminfo: memFree=122312532/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=248412 CPUtime=52.18 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 28750 0 0 0 5210 8 0 0 20 0 20 0 141367125 19566772224 62103 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 62103 5966 1 0 553172 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=37484 CPUtime=50.85 cores=1,3

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

[startup+3282.3 s]
/proc/loadavg: 2.15 2.26 2.88 3/281 716652
/proc/meminfo: memFree=125925112/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=2170868 CPUtime=3280.66 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 146319 0 0 0 327926 140 0 0 20 0 20 0 141367125 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 542717 5966 1 0 556392 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=12316 CPUtime=3270.84 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 69234 0 0 0 327067 17 0 0 20 0 20 0 141367126 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=2170868 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=2170864 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 4115 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=35152 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 3280.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170868 KiB

[startup+3342.3 s]
/proc/loadavg: 2.11 2.23 2.83 3/283 716832
/proc/meminfo: memFree=125924192/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=2170868 CPUtime=3340.54 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 147800 0 0 0 333912 142 0 0 20 0 20 0 141367125 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 542717 5966 1 0 556392 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=2170868 CPUtime=3330.69 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 70363 0 0 0 333052 17 0 0 20 0 20 0 141367126 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=5492 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=2170868 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 4210 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=-4421386483379692902 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 3340.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170868 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 2.21 2.79 3/283 716842
/proc/meminfo: memFree=125923892/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=2170868 CPUtime=3400.43 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 149261 0 0 0 339900 143 0 0 20 0 20 0 141367125 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 542717 5966 1 0 556392 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=2170868 CPUtime=3390.54 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 71570 0 0 0 339037 17 0 0 20 0 20 0 141367126 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=2170868 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=2170868 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 4305 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=2170868 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 542717 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 3400.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170868 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.20 2.75 3/283 716854
/proc/meminfo: memFree=125923480/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=2170880 CPUtime=3460.44 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 151813 0 0 0 345899 145 0 0 20 0 20 0 141367125 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 542720 5966 1 0 556392 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=2170868 CPUtime=3450.28 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 72542 0 0 0 345011 17 0 0 20 0 20 0 141367126 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=2170868 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=2170880 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 4402 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 3460.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170880 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.18 2.70 3/283 716923
/proc/meminfo: memFree=125923168/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=2170880 CPUtime=3520.35 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 152982 0 0 0 351888 147 0 0 20 0 20 0 141367125 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 542720 5966 1 0 556392 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=2170880 CPUtime=3510.16 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 73498 0 0 0 350999 17 0 0 20 0 20 0 141367126 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=5568 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 4497 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=2170880 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 542720 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 3520.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170880 KiB

[startup+3582.3 s]
/proc/loadavg: 2.21 2.19 2.67 3/283 716934
/proc/meminfo: memFree=125922460/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=2170892 CPUtime=3580.26 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 154327 0 0 0 357878 148 0 0 20 0 20 0 141367125 19566772224 542723 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 542723 5966 1 0 556396 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=2170880 CPUtime=3570.03 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 74608 0 0 0 356986 17 0 0 20 0 20 0 141367126 19566772224 542723 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 542723 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=2170892 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 4592 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 542723 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=-8888242440731271868 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 542723 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 3580.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.11 s]
/proc/loadavg: 2.15 2.18 2.66 3/283 716937
/proc/meminfo: memFree=125922488/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19108176 memory=2170904 CPUtime=3600.04 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 154997 0 0 0 359855 149 0 0 20 0 20 0 141367125 19566772224 542726 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4777044 542726 5966 1 0 556398 0
[pid=714947/tid=714949] ppid=714944 vsize=19108176 memory=12316 CPUtime=3589.8 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 75116 0 0 0 358963 17 0 0 20 0 20 0 141367126 19566772224 542726 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19108176 memory=12316 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141367128 19566772224 542726 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19108176 memory=2170888 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 4592 0 0 0 0 0 0 0 20 0 20 0 141367129 19566772224 542726 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714966] ppid=714944 vsize=19108176 memory=2170880 CPUtime=0 cores=1,3
/proc/714947/task/714966/stat : 714966 (Timer-0) S 714944 714947 713062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141367143 19566772224 542726 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2170904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.77 s, system=1.51181 s

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

[startup+3602.2 s]
/proc/loadavg: 2.15 2.18 2.66 3/283 716937
/proc/meminfo: memFree=125922488/131524600 swapFree=131071996/131071996
[pid=714947] ppid=714944 vsize=19307868 memory=2171528 CPUtime=3600.23 cores=1,3
/proc/714947/stat : 714947 (java) S 714944 714947 713062 0 -1 1077936128 157933 0 0 0 359873 150 0 0 20 0 21 0 141367125 19771256832 542882 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
/proc/714947/statm: 4826967 542882 5965 1 0 557285 0
[pid=714947/tid=714949] ppid=714944 vsize=19307868 memory=17820 CPUtime=3589.9 cores=1,3
/proc/714947/task/714949/stat : 714949 (java) R 714944 714947 713062 0 -1 4194368 75120 0 0 0 358973 17 0 0 20 0 21 0 141367126 19771256832 542882 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714958] ppid=714944 vsize=19307868 memory=4673 CPUtime=0 cores=1,3
/proc/714947/task/714958/stat : 714958 (Finalizer) S 714944 714947 713062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 141367128 19771256832 542882 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
[pid=714947/tid=714965] ppid=714944 vsize=19307868 memory=3544392491744886871 CPUtime=0 cores=1,3
/proc/714947/task/714965/stat : 714965 (Common-Cleaner) S 714944 714947 713062 0 -1 1077936192 4592 0 0 0 0 0 0 0 20 0 21 0 141367129 19771256832 542882 134679101440 94827357777920 94827357781616 140726027098368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94827357789432 94827357790224 94827387031552 140726027105317 140726027105407 140726027105407 140726027112392 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2171528 KiB

Child status: 143

Real time (s): 3602.23
CPU time (s): 3600.28
CPU user time (s): 3598.77
CPU system time (s): 1.51181
CPU usage (%): 99.9459
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2171528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.77
system time used= 1.51181
maximum resident set size= 2172268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103252
involuntary context switches= 2840


# summary of solver processes directly reported to runsolver:
#   pid: 714947
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3598.77
#   total CPU system time (s): 1.51181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02028 second user time and 16.5676 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-13 19:33:06
IDJOB=4424916
IDBENCH=144131
IDSOLVER=3037
FILE ID=nodeC033/4424916-1720891974
RUNJOBID= nodeC033-1720890801-713074
SLURM_JOB_ID= 7485822
Free space on /tmp= 890072 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-queen5-5-4_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424916-1720891974/watcher-4424916-1720891974 -o /tmp/evaluation-result-4424916-1720891974/solver-4424916-1720891974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1720890801-713074 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424916-1720891974.wbo

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

MD5SUM BENCH= cb6ea9648287f931b56a2a3b8dcad6ec
RANDOM SEED=2005945529

nodeC033.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		: 3673.548
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.50
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		: 3653.843
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	: 7006.25
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		: 3599.888
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.50
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		: 3643.112
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	: 7006.25
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		: 3673.666
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.50
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		: 3628.365
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	: 7006.25
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		: 3599.888
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.50
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		: 3677.268
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122567652 kB
MemAvailable:   122703948 kB
Buffers:          326016 kB
Cached:           654420 kB
SwapCached:            0 kB
Active:           489948 kB
Inactive:        7889440 kB
Active(anon):       1556 kB
Inactive(anon):  7435152 kB
Active(file):     488392 kB
Inactive(file):   454288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               812 kB
Writeback:            40 kB
AnonPages:       7398344 kB
Mapped:           121532 kB
Shmem:             37716 kB
KReclaimable:      66528 kB
Slab:             165136 kB
SReclaimable:      66528 kB
SUnreclaim:        98608 kB
KernelStack:        5056 kB
PageTables:        24596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9782716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54624 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7034880 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:      201428 kB
DirectMap2M:    11106304 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC033 at 2024-07-13 20:33:09