Trace number 4459215

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)27 3600.33 3613.51

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-iis-glass-cov.opb
MD5SUMd19cd21a9273f0af629a2ef833d8382f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark378.449
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables214
Total number of constraints5375
Number of constraints which are clauses5375
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint9
Maximum length of a constraint11
Number of terms in the objective function 214
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 214
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 214
Number of bits of the biggest sum of numbers8
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 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4459215-1721894216.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.37/0.27	c ... done. Wall clock time 0.132s.
0.37/0.27	c declared #vars     214
0.37/0.27	c #constraints  5375
0.37/0.27	c constraints type 
0.37/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5375
0.37/0.27	c 5375 constraints processed.
0.37/0.27	c objective function length is 214 literals
0.37/0.30	c SATISFIABLE
0.37/0.30	c OPTIMIZING...
0.37/0.30	c Got one! Elapsed wall clock time (in seconds):0.167
0.37/0.30	o 31
0.53/0.40	c Got one! Elapsed wall clock time (in seconds):0.27
0.53/0.40	o 30
0.72/0.44	c Got one! Elapsed wall clock time (in seconds):0.319
0.72/0.45	o 29
1.47/0.88	c cleaning 2798 clauses out of 5603 with flag 13003/5603
2.26/1.24	c cleaning 4399 clauses out of 8805 with flag 28947/11603
2.84/1.55	c cleaning 5703 clauses out of 11406 with flag 47152/18603
3.44/1.81	c cleaning 6853 clauses out of 13708 with flag 68377/26608
4.05/2.13	c cleaning 7924 clauses out of 15850 with flag 92351/35603
4.21/2.22	c Got one! Elapsed wall clock time (in seconds):2.087
4.21/2.22	o 28
4.21/2.29	c Got one! Elapsed wall clock time (in seconds):2.16
4.21/2.29	o 27
4.41/2.36	c cleaning 7291 clauses out of 14595 with flag 4880/42272
4.81/2.53	c cleaning 6645 clauses out of 13303 with flag 19807/48271
5.20/2.71	c cleaning 6826 clauses out of 13659 with flag 37298/55272
5.56/2.91	c cleaning 7407 clauses out of 14833 with flag 57144/63272
5.93/3.14	c cleaning 8202 clauses out of 16425 with flag 79093/72271
6.13/3.39	c cleaning 9095 clauses out of 18223 with flag 104228/82271
6.44/3.66	c cleaning 10053 clauses out of 20128 with flag 131820/93271
6.73/3.98	c cleaning 11026 clauses out of 22075 with flag 162684/105271
7.13/4.32	c cleaning 12014 clauses out of 24050 with flag 195753/118272
7.59/4.71	c cleaning 13008 clauses out of 26036 with flag 230009/132272
8.02/5.17	c cleaning 14006 clauses out of 28027 with flag 267645/147271
8.42/5.57	c cleaning 14998 clauses out of 30021 with flag 306976/163271
8.92/6.01	c cleaning 15996 clauses out of 32024 with flag 349094/180272
9.30/6.48	c cleaning 17000 clauses out of 34027 with flag 394111/198271
9.81/6.95	c cleaning 17998 clauses out of 36027 with flag 441023/217271
10.30/7.43	c cleaning 19004 clauses out of 38029 with flag 490731/237271
10.80/7.97	c cleaning 20002 clauses out of 40025 with flag 543319/258271
11.39/8.52	c cleaning 21003 clauses out of 42025 with flag 597269/280273
11.89/9.09	c cleaning 21991 clauses out of 44020 with flag 653233/303271
12.59/9.77	c cleaning 23012 clauses out of 46030 with flag 713511/327272
13.37/10.57	c cleaning 24008 clauses out of 48021 with flag 778583/352275
14.16/11.37	c cleaning 25005 clauses out of 50014 with flag 845660/378276
14.96/12.14	c cleaning 25996 clauses out of 52005 with flag 913017/405272
15.95/13.10	c cleaning 26997 clauses out of 54008 with flag 986621/433271
16.84/14.03	c cleaning 28003 clauses out of 56011 with flag 1060373/462271
17.74/14.97	c cleaning 28999 clauses out of 58008 with flag 1136219/492271
18.74/15.98	c cleaning 30005 clauses out of 60009 with flag 1213387/523271
19.82/17.07	c cleaning 30992 clauses out of 62005 with flag 1296237/555272
20.91/18.17	c cleaning 32002 clauses out of 64013 with flag 1380470/588272
22.10/19.37	c cleaning 32989 clauses out of 66010 with flag 1467158/622271
23.29/20.55	c cleaning 34008 clauses out of 68021 with flag 1554271/657271
24.69/21.92	c cleaning 35001 clauses out of 70014 with flag 1646243/693272
25.99/23.23	c cleaning 36003 clauses out of 72012 with flag 1740838/730271
27.37/24.67	c cleaning 36998 clauses out of 74010 with flag 1840387/768272
28.85/26.18	c cleaning 38001 clauses out of 76011 with flag 1940555/807271
30.54/27.84	c cleaning 39001 clauses out of 78012 with flag 2043107/847273
32.03/29.31	c cleaning 39996 clauses out of 80010 with flag 2144954/888272
33.51/30.85	c cleaning 40998 clauses out of 82013 with flag 2250367/930271
35.08/32.60	c cleaning 42007 clauses out of 84015 with flag 2358210/973271
36.47/34.06	c cleaning 43000 clauses out of 86009 with flag 2465370/1017272
38.44/36.02	c cleaning 44002 clauses out of 88008 with flag 2582311/1062271
40.34/37.91	c cleaning 44998 clauses out of 90006 with flag 2700755/1108271
42.12/39.72	c cleaning 45998 clauses out of 92008 with flag 2821340/1155271
43.90/41.50	c cleaning 46993 clauses out of 94010 with flag 2941692/1203271
45.69/43.35	c cleaning 48002 clauses out of 96020 with flag 3066619/1252274
47.68/45.35	c cleaning 49003 clauses out of 98016 with flag 3192921/1302272
49.57/47.29	c cleaning 49996 clauses out of 100012 with flag 3326118/1353271
51.55/49.26	c cleaning 51003 clauses out of 102018 with flag 3458301/1405273
53.83/51.50	c cleaning 52008 clauses out of 104016 with flag 3594928/1458274
56.21/53.93	c cleaning 53001 clauses out of 106006 with flag 3734224/1512272
58.68/56.41	c cleaning 53999 clauses out of 108005 with flag 3873515/1567272
60.77/58.59	c cleaning 54980 clauses out of 110006 with flag 4015296/1623272
62.95/60.73	c cleaning 56004 clauses out of 112029 with flag 4158737/1680275
65.26/63.23	c cleaning 57007 clauses out of 114021 with flag 4306300/1738271
68.12/66.18	c cleaning 58004 clauses out of 116014 with flag 4461097/1797271
71.09/69.18	c cleaning 59000 clauses out of 118010 with flag 4619241/1857271
74.07/72.12	c cleaning 60005 clauses out of 120010 with flag 4776593/1918271
77.14/75.24	c cleaning 61002 clauses out of 122008 with flag 4934705/1980274
79.82/77.98	c cleaning 62002 clauses out of 124006 with flag 5094549/2043274
82.81/80.98	c cleaning 63000 clauses out of 126003 with flag 5258479/2107273
85.87/84.03	c cleaning 63996 clauses out of 128001 with flag 5420378/2172271
88.74/86.98	c cleaning 65000 clauses out of 130007 with flag 5582404/2238273
92.80/91.06	c cleaning 66000 clauses out of 132005 with flag 5756118/2305271
96.04/94.49	c cleaning 66999 clauses out of 134005 with flag 5929628/2373271
100.70/99.11	c cleaning 68003 clauses out of 136006 with flag 6108353/2442271
104.35/102.84	c cleaning 69003 clauses out of 138007 with flag 6283654/2512275
107.95/106.40	c cleaning 69995 clauses out of 140000 with flag 6465151/2583271
111.61/110.12	c cleaning 70997 clauses out of 142005 with flag 6643652/2655271
115.50/114.02	c cleaning 71998 clauses out of 144008 with flag 6826567/2728271
119.09/117.67	c cleaning 72998 clauses out of 146010 with flag 7008504/2802271
122.95/121.57	c cleaning 74001 clauses out of 148012 with flag 7196596/2877271
127.45/126.20	c cleaning 75000 clauses out of 150015 with flag 7388048/2953275
131.56/130.33	c cleaning 76003 clauses out of 152011 with flag 7581362/3030271
136.31/135.17	c cleaning 77005 clauses out of 154009 with flag 7784453/3108272
140.80/139.60	c cleaning 77993 clauses out of 156003 with flag 7983571/3187271
145.59/144.44	c cleaning 78995 clauses out of 158010 with flag 8187796/3267271
149.31/148.11	c cleaning 79991 clauses out of 160015 with flag 8393407/3348271
152.93/151.73	c cleaning 81012 clauses out of 162024 with flag 8599711/3430271
157.42/156.47	c cleaning 82003 clauses out of 164012 with flag 8811299/3513271
162.27/161.38	c cleaning 82997 clauses out of 166009 with flag 9030438/3597271
167.07/166.13	c cleaning 83991 clauses out of 168013 with flag 9245525/3682272
171.96/171.07	c cleaning 85006 clauses out of 170021 with flag 9460237/3768271
176.17/175.29	c cleaning 86001 clauses out of 172015 with flag 9674445/3855271
181.71/180.88	c cleaning 87003 clauses out of 174016 with flag 9899230/3943273
186.31/185.40	c cleaning 87991 clauses out of 176011 with flag 10124116/4032271
191.49/190.75	c cleaning 89000 clauses out of 178020 with flag 10351027/4122271
196.38/195.61	c cleaning 90001 clauses out of 180020 with flag 10574604/4213271
200.74/200.09	c cleaning 91000 clauses out of 182019 with flag 10808260/4305271
205.83/205.15	c cleaning 91994 clauses out of 184019 with flag 11045387/4398271
210.71/210.04	c cleaning 93001 clauses out of 186026 with flag 11278600/4492272
215.52/214.89	c cleaning 94000 clauses out of 188024 with flag 11509847/4587271
220.98/220.45	c cleaning 95008 clauses out of 190027 with flag 11748265/4683274
226.67/226.13	c cleaning 96000 clauses out of 192019 with flag 11993598/4780274
233.35/232.86	c cleaning 97002 clauses out of 194017 with flag 12243533/4878272
238.66/238.15	c cleaning 98006 clauses out of 196014 with flag 12487881/4977271
245.09/244.64	c cleaning 98996 clauses out of 198008 with flag 12741273/5077271
251.05/250.76	c cleaning 100004 clauses out of 200013 with flag 12997260/5178272
259.22/258.97	c cleaning 100997 clauses out of 202008 with flag 13261758/5280271
266.81/266.55	c cleaning 102003 clauses out of 204012 with flag 13522333/5383272
274.03/273.72	c cleaning 103002 clauses out of 206008 with flag 13782811/5487271
282.96/282.72	c cleaning 104002 clauses out of 208006 with flag 14053590/5592271
289.99/289.78	c cleaning 104999 clauses out of 210004 with flag 14330178/5698271
296.61/296.32	c cleaning 105993 clauses out of 212006 with flag 14603801/5805272
303.89/303.69	c cleaning 106996 clauses out of 214013 with flag 14878234/5913272
312.34/312.29	c cleaning 107998 clauses out of 216016 with flag 15157774/6022271
320.25/320.11	c cleaning 109001 clauses out of 218018 with flag 15437536/6132271
327.63/327.58	c cleaning 110001 clauses out of 220017 with flag 15714665/6243271
334.64/334.52	c cleaning 111004 clauses out of 222017 with flag 15994734/6355272
343.62/343.66	c cleaning 112001 clauses out of 224013 with flag 16285644/6468272
351.34/351.35	c cleaning 112999 clauses out of 226012 with flag 16582291/6582272
359.77/359.75	c cleaning 114004 clauses out of 228017 with flag 16879100/6697276
369.88/369.82	c cleaning 114996 clauses out of 230008 with flag 17179591/6813271
379.31/379.37	c cleaning 115997 clauses out of 232012 with flag 17493249/6930271
387.15/387.12	c cleaning 117002 clauses out of 234015 with flag 17794624/7048271
395.47/395.46	c cleaning 117993 clauses out of 236013 with flag 18100877/7167271
404.89/404.98	c cleaning 119007 clauses out of 238020 with flag 18412445/7287271
415.49/415.52	c cleaning 120002 clauses out of 240013 with flag 18727018/7408271
424.91/424.92	c cleaning 120996 clauses out of 242012 with flag 19040228/7530272
434.72/434.81	c cleaning 122001 clauses out of 244018 with flag 19355815/7653274
443.95/444.04	c cleaning 123002 clauses out of 246015 with flag 19675518/7777272
453.15/453.22	c cleaning 124002 clauses out of 248012 with flag 19995094/7902271
463.83/463.97	c cleaning 124997 clauses out of 250010 with flag 20323889/8028271
473.70/473.72	c cleaning 125997 clauses out of 252014 with flag 20650058/8155272
483.94/483.92	c cleaning 127004 clauses out of 254016 with flag 20978715/8283271
493.84/493.98	c cleaning 127998 clauses out of 256012 with flag 21307815/8412271
504.16/504.27	c cleaning 129004 clauses out of 258014 with flag 21637861/8542271
514.37/514.48	c cleaning 130001 clauses out of 260011 with flag 21971630/8673272
524.69/524.92	c cleaning 130998 clauses out of 262009 with flag 22310053/8805271
534.50/534.74	c cleaning 132000 clauses out of 264011 with flag 22644521/8938271
546.45/546.65	c cleaning 132999 clauses out of 266012 with flag 22995523/9072272
557.38/557.64	c cleaning 134004 clauses out of 268012 with flag 23343547/9207271
568.59/568.81	c cleaning 135000 clauses out of 270008 with flag 23695973/9343271
577.79/578.10	c cleaning 136003 clauses out of 272008 with flag 24043711/9480271
588.69/589.06	c cleaning 136990 clauses out of 274005 with flag 24387479/9618271
599.08/599.36	c cleaning 137996 clauses out of 276016 with flag 24738647/9757272
613.99/614.23	c cleaning 139005 clauses out of 278020 with flag 25106812/9897272
628.55/628.90	c cleaning 139992 clauses out of 280015 with flag 25473694/10038272
641.25/641.64	c cleaning 141005 clauses out of 282022 with flag 25844310/10180271
653.38/653.83	c cleaning 142001 clauses out of 284018 with flag 26215030/10323272
674.27/674.78	c cleaning 142990 clauses out of 286016 with flag 26596459/10467271
684.64/685.16	c cleaning 144010 clauses out of 288027 with flag 26961951/10612272
696.40/696.98	c cleaning 144997 clauses out of 290017 with flag 27329517/10758272
709.28/709.98	c cleaning 146006 clauses out of 292021 with flag 27703266/10905273
720.13/720.85	c cleaning 146996 clauses out of 294013 with flag 28073018/11053271
732.33/733.18	c cleaning 148006 clauses out of 296018 with flag 28454593/11202272
743.43/744.37	c cleaning 149003 clauses out of 298012 with flag 28832358/11352272
754.94/755.86	c cleaning 150004 clauses out of 300008 with flag 29215458/11503271
767.30/768.14	c cleaning 150993 clauses out of 302004 with flag 29594110/11655271
780.58/781.40	c cleaning 151999 clauses out of 304012 with flag 29991312/11808272
793.10/794.00	c cleaning 152997 clauses out of 306013 with flag 30379136/11962272
804.41/805.13	c cleaning 153994 clauses out of 308015 with flag 30769618/12117271
814.13/814.94	c cleaning 155007 clauses out of 310023 with flag 31155002/12273273
824.72/825.56	c cleaning 155997 clauses out of 312016 with flag 31544066/12430273
836.03/836.92	c cleaning 157008 clauses out of 314017 with flag 31949194/12588271
848.52/849.46	c cleaning 158005 clauses out of 316012 with flag 32353774/12747274
861.43/862.48	c cleaning 158995 clauses out of 318004 with flag 32764756/12907271
874.80/875.89	c cleaning 159998 clauses out of 320010 with flag 33184445/13068272
889.07/890.26	c cleaning 160988 clauses out of 322011 with flag 33600400/13230271
904.93/906.29	c cleaning 162007 clauses out of 324026 with flag 34010678/13393274
918.24/919.66	c cleaning 162999 clauses out of 326016 with flag 34413758/13557271
932.33/933.82	c cleaning 164000 clauses out of 328018 with flag 34819253/13722272
947.98/949.42	c cleaning 165006 clauses out of 330020 with flag 35238019/13888274
965.31/966.97	c cleaning 165997 clauses out of 332013 with flag 35660360/14055273
981.90/983.66	c cleaning 166995 clauses out of 334014 with flag 36083493/14223271
994.96/996.81	c cleaning 167999 clauses out of 336019 with flag 36504123/14392271
1010.63/1012.58	c cleaning 168994 clauses out of 338020 with flag 36922775/14562271
1025.16/1027.22	c cleaning 169996 clauses out of 340027 with flag 37345776/14733272
1038.91/1041.08	c cleaning 171006 clauses out of 342031 with flag 37768154/14905272
1051.84/1054.16	c cleaning 172003 clauses out of 344025 with flag 38194870/15078272
1066.17/1068.57	c cleaning 172999 clauses out of 346021 with flag 38621583/15252271
1080.25/1082.72	c cleaning 174002 clauses out of 348023 with flag 39047484/15427272
1094.82/1097.28	c cleaning 175003 clauses out of 350020 with flag 39486966/15603271
1107.74/1110.20	c cleaning 176004 clauses out of 352018 with flag 39925490/15780272
1120.74/1123.21	c cleaning 176999 clauses out of 354015 with flag 40369437/15958273
1134.87/1137.31	c cleaning 177997 clauses out of 356015 with flag 40811570/16137272
1150.38/1152.93	c cleaning 179000 clauses out of 358017 with flag 41252350/16317271
1163.26/1165.74	c cleaning 179998 clauses out of 360018 with flag 41695615/16498272
1178.87/1181.45	c cleaning 181001 clauses out of 362020 with flag 42147387/16680272
1196.23/1198.83	c cleaning 182001 clauses out of 364019 with flag 42603845/16863272
1212.58/1215.24	c cleaning 183006 clauses out of 366018 with flag 43061522/17047272
1233.29/1236.07	c cleaning 183996 clauses out of 368012 with flag 43536104/17232272
1254.83/1257.53	c cleaning 185004 clauses out of 370016 with flag 44016404/17418272
1274.28/1277.09	c cleaning 186000 clauses out of 372011 with flag 44486349/17605271
1295.37/1298.14	c cleaning 186998 clauses out of 374012 with flag 44959708/17793272
1315.96/1318.76	c cleaning 187992 clauses out of 376013 with flag 45438321/17982271
1335.75/1338.61	c cleaning 189000 clauses out of 378022 with flag 45935538/18172272
1353.50/1356.56	c cleaning 190001 clauses out of 380024 with flag 46430462/18363274
1369.95/1373.06	c cleaning 190996 clauses out of 382020 with flag 46929327/18555271
1390.90/1394.12	c cleaning 191999 clauses out of 384024 with flag 47437052/18748271
1410.19/1413.40	c cleaning 193013 clauses out of 386031 with flag 47944714/18942277
1429.79/1433.08	c cleaning 193988 clauses out of 388013 with flag 48441263/19137272
1448.00/1451.36	c cleaning 195005 clauses out of 390024 with flag 48948315/19333271
1464.42/1467.84	c cleaning 196004 clauses out of 392020 with flag 49450473/19530272
1480.56/1484.11	c cleaning 196996 clauses out of 394015 with flag 49975596/19728271
1496.30/1499.94	c cleaning 197996 clauses out of 396020 with flag 50486450/19927272
1512.66/1516.14	c cleaning 199000 clauses out of 398025 with flag 50990578/20127273
1532.78/1536.20	c cleaning 199994 clauses out of 400023 with flag 51495497/20328271
1551.84/1555.30	c cleaning 201004 clauses out of 402030 with flag 52004797/20530272
1574.84/1578.45	c cleaning 202008 clauses out of 404026 with flag 52516445/20733272
1596.16/1599.82	c cleaning 202997 clauses out of 406017 with flag 53043184/20937271
1614.93/1618.67	c cleaning 204003 clauses out of 408021 with flag 53562179/21142272
1633.68/1637.57	c cleaning 204996 clauses out of 410017 with flag 54092206/21348271
1652.81/1656.62	c cleaning 206003 clauses out of 412021 with flag 54618798/21555271
1676.38/1680.32	c cleaning 207003 clauses out of 414019 with flag 55151759/21763272
1695.20/1699.24	c cleaning 208003 clauses out of 416015 with flag 55679499/21972271
1715.50/1719.56	c cleaning 208997 clauses out of 418013 with flag 56203970/22182272
1736.31/1740.46	c cleaning 210002 clauses out of 420018 with flag 56731312/22393274
1756.64/1760.80	c cleaning 211008 clauses out of 422019 with flag 57261250/22605277
1778.98/1783.11	c cleaning 211996 clauses out of 424005 with flag 57800794/22818271
1796.42/1800.94	c cleaning 213000 clauses out of 426010 with flag 58338193/23032272
1818.93/1823.58	c cleaning 213991 clauses out of 428010 with flag 58869824/23247272
1844.23/1848.96	c cleaning 215005 clauses out of 430018 with flag 59418893/23463271
1869.97/1874.61	c cleaning 216002 clauses out of 432013 with flag 59981774/23680271
1893.95/1898.60	c cleaning 216999 clauses out of 434012 with flag 60547131/23898272
1914.98/1919.79	c cleaning 218003 clauses out of 436012 with flag 61103640/24117271
1940.47/1945.36	c cleaning 218995 clauses out of 438009 with flag 61675278/24337271
1965.00/1969.96	c cleaning 220005 clauses out of 440014 with flag 62249960/24558271
1985.92/1990.89	c cleaning 220997 clauses out of 442009 with flag 62813498/24780271
2011.46/2016.45	c cleaning 222002 clauses out of 444013 with flag 63387476/25003272
2035.55/2040.57	c cleaning 222998 clauses out of 446010 with flag 63951040/25227271
2058.25/2063.29	c cleaning 224001 clauses out of 448015 with flag 64517612/25452274
2081.75/2086.76	c cleaning 225003 clauses out of 450013 with flag 65083456/25678273
2114.33/2119.61	c cleaning 225985 clauses out of 452009 with flag 65661548/25905272
2139.53/2145.04	c cleaning 227001 clauses out of 454023 with flag 66245035/26133271
2165.08/2170.80	c cleaning 228002 clauses out of 456023 with flag 66822334/26362272
2191.52/2197.58	c cleaning 229008 clauses out of 458021 with flag 67402139/26592272
2213.87/2220.48	c cleaning 230008 clauses out of 460016 with flag 67978310/26823275
2245.46/2252.30	c cleaning 231001 clauses out of 462006 with flag 68568633/27055273
2282.93/2290.19	c cleaning 231992 clauses out of 464003 with flag 69160505/27288271
2313.99/2321.42	c cleaning 233003 clauses out of 466011 with flag 69756225/27522271
2338.85/2346.43	c cleaning 233992 clauses out of 468009 with flag 70348640/27757272
2361.80/2369.46	c cleaning 234999 clauses out of 470016 with flag 70940291/27993271
2394.16/2401.89	c cleaning 236001 clauses out of 472018 with flag 71540616/28230272
2434.76/2442.45	c cleaning 236996 clauses out of 474016 with flag 72147149/28468271
2467.78/2475.56	c cleaning 237997 clauses out of 476022 with flag 72751155/28707273
2498.38/2506.24	c cleaning 239003 clauses out of 478023 with flag 73356997/28947271
2532.08/2540.04	c cleaning 239992 clauses out of 480020 with flag 73961480/29188271
2564.76/2572.79	c cleaning 241005 clauses out of 482029 with flag 74576374/29430272
2595.67/2603.43	c cleaning 242000 clauses out of 484024 with flag 75176409/29673272
2633.04/2641.17	c cleaning 243005 clauses out of 486023 with flag 75790629/29917271
2670.30/2678.85	c cleaning 243997 clauses out of 488024 with flag 76415992/30162277
2706.04/2714.91	c cleaning 244997 clauses out of 490021 with flag 77038813/30408271
2743.64/2752.86	c cleaning 246009 clauses out of 492025 with flag 77669612/30655272
2771.85/2781.11	c cleaning 247006 clauses out of 494015 with flag 78290634/30903271
2810.31/2819.79	c cleaning 247998 clauses out of 496010 with flag 78913530/31152272
2841.91/2851.40	c cleaning 249001 clauses out of 498011 with flag 79536477/31402271
2879.40/2889.10	c cleaning 249997 clauses out of 500011 with flag 80162499/31653272
2911.34/2921.37	c cleaning 250995 clauses out of 502014 with flag 80786897/31905272
2942.93/2953.09	c cleaning 252001 clauses out of 504018 with flag 81423477/32158271
2969.96/2980.23	c cleaning 252999 clauses out of 506017 with flag 82066556/32412271
2995.95/3006.57	c cleaning 254005 clauses out of 508019 with flag 82703793/32667272
3028.32/3039.19	c cleaning 255002 clauses out of 510015 with flag 83332343/32923273
3055.09/3066.08	c cleaning 255996 clauses out of 512011 with flag 83965942/33180271
3083.10/3094.27	c cleaning 257006 clauses out of 514016 with flag 84601202/33438272
3109.65/3120.90	c cleaning 258005 clauses out of 516010 with flag 85237814/33697272
3147.17/3158.74	c cleaning 259001 clauses out of 518007 with flag 85899577/33957274
3187.69/3199.67	c cleaning 259989 clauses out of 520004 with flag 86563806/34218272
3214.39/3226.31	c cleaning 261002 clauses out of 522016 with flag 87220458/34480273
3236.76/3248.85	c cleaning 261993 clauses out of 524012 with flag 87878338/34743271
3288.51/3301.33	c cleaning 263001 clauses out of 526024 with flag 88560231/35007276
3317.66/3330.62	c cleaning 263993 clauses out of 528019 with flag 89241314/35272272
3343.44/3356.46	c cleaning 265001 clauses out of 530026 with flag 89910140/35538272
3364.16/3377.16	c cleaning 266010 clauses out of 532028 with flag 90589341/35805275
3389.82/3402.97	c cleaning 267000 clauses out of 534018 with flag 91264385/36073275
3418.17/3431.10	c cleaning 267998 clauses out of 536014 with flag 91942766/36342271
3448.15/3461.01	c cleaning 268995 clauses out of 538016 with flag 92637927/36612271
3467.99/3480.93	c cleaning 270005 clauses out of 540021 with flag 93321449/36883271
3491.37/3504.48	c cleaning 270999 clauses out of 542016 with flag 94016160/37155271
3516.30/3529.32	c cleaning 271998 clauses out of 544017 with flag 94706144/37428271
3540.78/3554.00	c cleaning 273005 clauses out of 546020 with flag 95406393/37702272
3562.04/3575.31	c cleaning 273992 clauses out of 548014 with flag 96091905/37977271
3581.98/3595.23	c cleaning 275006 clauses out of 550023 with flag 96782114/38253272
3600.05/3613.32	c starts		: 17
3600.05/3613.32	c conflicts		: 38530273
3600.05/3613.32	c decisions		: 74261893
3600.05/3613.32	c propagations		: 572776348
3600.05/3613.32	c inspects		: 24222593663
3600.05/3613.32	c shortcuts		: 0
3600.05/3613.32	c learnt literals	: 0
3600.05/3613.32	c learnt binary clauses	: 0
3600.05/3613.32	c learnt ternary clauses	: 0
3600.05/3613.32	c learnt constraints	: 38530273
3600.05/3613.32	c ignored constraints	: 0
3600.05/3613.32	c root simplifications	: 0
3600.05/3613.32	c removed literals (reason simplification)	: 80274846
3600.05/3613.32	c reason swapping (by a shorter reason)	: 0
3600.05/3613.32	c Calls to reduceDB	: 278
3600.05/3613.32	c Number of update (reduction) of LBD	: 8333938
3600.05/3613.32	c Imported unit clauses	: 0
3600.05/3613.32	c No decision after first conflict	: false
3600.05/3613.32	c number of reductions to clauses (during analyze)	: 0
3600.05/3613.32	c number of learned constraints concerned by reduction	: 0
3600.05/3613.32	c number of learning phase by resolution	: 0
3600.05/3613.32	c number of learning phase by cutting planes	: 0
3600.05/3613.32	c number of rounding to 1 operations	: 0
3600.05/3613.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3613.32	c number of reductions of the coefficients by power 2 	: 0
3600.05/3613.32	c number of right shift for reduction by power 2 	: 0
3600.05/3613.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3613.32	c number of ending skipping 	: 0
3600.05/3613.32	c number of internal skipping 	: 0
3600.05/3613.32	c number of derivation steps 	: 0
3600.05/3613.32	c number of skipped derivation steps 	: 0
3600.05/3613.32	c number of remaining unassigned 	: 0
3600.05/3613.32	c number of remaining assigned 	: 0
3600.05/3613.32	c number of falsified literals weakened from reason	: 0
3600.05/3613.32	c number of falsified literals weakened from conflict	: 0
3600.05/3613.32	c time for arithmetic operations	: 0
3600.05/3613.32	c minimum degree of deleted constraints	: null
3600.05/3613.32	c maximum degree of deleted constraints	: null
3600.05/3613.32	c number of deleted constraints	: 0
3600.05/3613.32	c speed (assignments/second)	: 158530.30910258397
3600.05/3613.32	c non guided choices	: 0
3600.26/3613.42	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 552018
3600.26/3613.42	s SATISFIABLE
3600.26/3613.42	c Found 5 solution(s)
3600.26/3613.42	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 -x101 x102 x103 x104 x105 x106 -x107 x108 x109 x110 x111 x112 x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 
3600.26/3613.42	c objective function=27
3600.26/3613.42	c Total wall clock time (in seconds): 3613.297

Verifier Data 

OK	27

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (18942 MiB free)
  memory of node 1: 64473 MiB (24098 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100083 s]*
/proc/loadavg: 4.71 4.67 4.62 5/347 231742
/proc/meminfo: memFree=44026524/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=18975048 memory=64968 CPUtime=0.13 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 7232 0 0 0 11 2 0 0 20 0 18 0 25950615 19430449152 16242 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4743762 16242 5621 1 0 549360 0
[pid=231724/tid=231726] ppid=231721 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) D 231721 231724 227049 0 -1 1078198336 5778 0 0 0 7 2 0 0 20 0 18 0 25950615 19430449152 16242 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25950618 19430449152 16242 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=18975048 memory=14973373509117603 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25950618 19430449152 16242 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64968 KiB

[startup+0.222864 s]*
/proc/loadavg: 4.71 4.67 4.62 6/347 231742
/proc/meminfo: memFree=44002272/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=18975048 memory=87908 CPUtime=0.37 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 8353 0 0 0 34 3 0 0 20 0 18 0 25950615 19430449152 21977 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4743762 21977 5850 1 0 550146 0
[pid=231724/tid=231726] ppid=231721 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 5946 0 0 0 18 2 0 0 20 0 18 0 25950615 19430449152 21977 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=18975048 memory=1409442 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25950618 19430449152 21977 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25950618 19430449152 21977 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 87908 KiB

[startup+0.309667 s]*
/proc/loadavg: 4.71 4.67 4.62 7/348 231743
/proc/meminfo: memFree=43979536/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=19041612 memory=105940 CPUtime=0.53 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 10234 0 0 0 49 4 0 0 20 0 19 0 25950615 19498610688 26485 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4760403 26485 5888 1 0 551731 0
[pid=231724/tid=231726] ppid=231721 vsize=19041612 memory=-9104980384673407676 CPUtime=0.28 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 6085 0 0 0 25 3 0 0 20 0 19 0 25950615 19498610688 26485 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25950618 19498610688 26485 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 25950618 19498610688 26485 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 25950642 19498610688 26485 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105940 KiB

[startup+0.708148 s]
/proc/loadavg: 4.71 4.67 4.62 6/348 231743
/proc/meminfo: memFree=43942680/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=19041612 memory=175688 CPUtime=1.27 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 15512 0 0 0 121 6 0 0 20 0 19 0 25950615 19498610688 43922 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4760403 43922 5897 1 0 555355 0
[pid=231724/tid=231726] ppid=231721 vsize=19041612 memory=12404 CPUtime=0.64 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 6128 0 0 0 60 4 0 0 20 0 19 0 25950615 19498610688 43922 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19041612 memory=12404 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25950618 19498610688 43922 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 25950618 19498610688 43922 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19041612 memory=1932 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 25950642 19498610688 43922 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 175688 KiB

[startup+1.50058 s]
/proc/loadavg: 5.13 4.76 4.65 6/349 231744
/proc/meminfo: memFree=43878876/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=185616 CPUtime=2.84 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 22180 0 0 0 276 8 0 0 20 0 20 0 25950615 19566772224 46404 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 46404 5913 1 0 556016 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=12404 CPUtime=1.4 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 6562 0 0 0 135 5 0 0 20 0 20 0 25950615 19566772224 46404 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 46404 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 46404 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 46404 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185616 KiB

[startup+3.10658 s]
/proc/loadavg: 5.13 4.76 4.65 5/349 231744
/proc/meminfo: memFree=43529116/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=501836 CPUtime=5.93 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 24640 0 0 0 575 18 0 0 20 0 20 0 25950615 19566772224 125459 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 125459 5913 1 0 556038 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 7563 0 0 0 282 14 0 0 20 0 20 0 25950615 19566772224 125459 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 125459 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=187816 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 125459 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 125459 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 501836 KiB

[startup+6.30058 s]
/proc/loadavg: 5.04 4.75 4.64 5/349 231744
/proc/meminfo: memFree=42509108/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=1321248 CPUtime=9.21 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 25917 0 0 0 881 40 0 0 20 0 20 0 25950615 19566772224 330312 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 330312 5913 1 0 556056 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=12404 CPUtime=6.1 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 8298 0 0 0 574 36 0 0 20 0 20 0 25950615 19566772224 330312 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 330312 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=6083073787834946129 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 330312 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=5616 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 330312 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1321248 KiB

[startup+12.7006 s]
/proc/loadavg: 4.96 4.74 4.64 5/349 231745
/proc/meminfo: memFree=42254672/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=1321300 CPUtime=15.55 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 26834 0 0 0 1507 48 0 0 20 0 20 0 25950615 19566772224 330325 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 330325 5913 1 0 556056 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=0 CPUtime=12.39 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 9030 0 0 0 1195 44 0 0 20 0 20 0 25950615 19566772224 330325 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=1321248 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 330325 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 330325 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=16076 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 330325 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 15.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1321300 KiB

[startup+25.5006 s]
/proc/loadavg: 5.05 4.76 4.65 5/349 231747
/proc/meminfo: memFree=41722408/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=1337800 CPUtime=28.26 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 32167 0 0 0 2763 63 0 0 20 0 20 0 25950615 19566772224 334450 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 334450 5913 1 0 556056 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=1321248 CPUtime=24.98 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 10495 0 0 0 2441 57 0 0 20 0 20 0 25950615 19566772224 334450 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=16076 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 334450 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=1327556 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 334450 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 334450 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 28.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337800 KiB

[startup+51.1066 s]
/proc/loadavg: 4.76 4.72 4.64 6/350 231752
/proc/meminfo: memFree=40751252/131524600 swapFree=131057380/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=1350168 CPUtime=53.44 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 38193 0 0 0 5256 88 0 0 20 0 20 0 25950615 19566772224 337542 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 337542 5928 1 0 556056 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=1341964 CPUtime=49.92 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 13044 0 0 0 4910 82 0 0 20 0 20 0 25950615 19566772224 337542 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0

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

/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 88379 0 0 0 321944 1552 0 0 20 0 20 0 25950615 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1062 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=2174232 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=279759943412672 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 3651 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 3269.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174232 KiB

[startup+3342.3 s]
/proc/loadavg: 3.17 3.52 4.00 4/308 233298
/proc/meminfo: memFree=92768984/131524600 swapFree=131053028/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=2174232 CPUtime=3329.42 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 209771 0 0 0 331223 1719 0 0 20 0 20 0 25950615 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 543558 5928 1 0 557371 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=2174232 CPUtime=3293.97 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 90090 0 0 0 327826 1571 0 0 20 0 20 0 25950615 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1122 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 3795 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=70248 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 3329.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174232 KiB

[startup+3402.3 s]
/proc/loadavg: 2.95 3.40 3.93 3/284 233345
/proc/meminfo: memFree=106448024/131524600 swapFree=131053028/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=2174232 CPUtime=3389.22 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 211240 0 0 0 337180 1742 0 0 20 0 20 0 25950615 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 543558 5928 1 0 557371 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=2174232 CPUtime=3353.09 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 91120 0 0 0 333717 1592 0 0 20 0 20 0 25950615 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1150 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=2174232 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 3861 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 543558 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 3389.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2174232 KiB

[startup+3462.3 s]
/proc/loadavg: 2.40 3.16 3.81 3/284 233356
/proc/meminfo: memFree=106163600/131524600 swapFree=131053028/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=2177768 CPUtime=3449.45 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 222543 0 0 0 343177 1768 0 0 20 0 20 0 25950615 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 544442 5928 1 0 558245 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=2174232 CPUtime=3412.47 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 96139 0 0 0 339631 1616 0 0 20 0 20 0 25950615 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1168 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=2174232 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 3894 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 3449.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177768 KiB

[startup+3522.3 s]
/proc/loadavg: 2.19 2.96 3.70 3/287 233751
/proc/meminfo: memFree=105821620/131524600 swapFree=131053028/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=2177768 CPUtime=3509.32 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 225916 0 0 0 349133 1799 0 0 20 0 20 0 25950615 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 544442 5928 1 0 558245 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=11360 CPUtime=3471.76 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 97413 0 0 0 345531 1645 0 0 20 0 20 0 25950615 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1183 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=2174232 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=5616 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 3961 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=16076 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 3509.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177768 KiB

[startup+3582.3 s]
/proc/loadavg: 2.13 2.80 3.60 3/286 233762
/proc/meminfo: memFree=105485952/131524600 swapFree=131053028/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=2177768 CPUtime=3569.06 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 228620 0 0 0 355079 1827 0 0 20 0 20 0 25950615 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 544442 5928 1 0 558245 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=2177768 CPUtime=3530.94 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 98653 0 0 0 351424 1670 0 0 20 0 20 0 25950615 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1218 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=70248 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 4028 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=2177768 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 3569.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 2.16 2.74 3.55 3/286 233767
/proc/meminfo: memFree=105316580/131524600 swapFree=131053028/131071996
[pid=231724] ppid=231721 vsize=19108176 memory=2177768 CPUtime=3600.05 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 229104 0 0 0 358162 1843 0 0 20 0 20 0 25950615 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4777044 544442 5928 1 0 558245 0
[pid=231724/tid=231726] ppid=231721 vsize=19108176 memory=2177768 CPUtime=3561.45 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 98936 0 0 0 354460 1685 0 0 20 0 20 0 25950615 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1226 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19108176 memory=25808 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 4094 0 0 0 0 0 0 0 20 0 20 0 25950618 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231743] ppid=231721 vsize=19108176 memory=2177768 CPUtime=0 cores=0,2
/proc/231724/task/231743/stat : 231743 (Timer-0) S 231721 231724 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25950642 19566772224 544442 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.88 s, system=18.4548 s

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

[startup+3613.41 s]
/proc/loadavg: 2.16 2.74 3.55 3/286 233767
/proc/meminfo: memFree=105316580/131524600 swapFree=131053028/131071996
[pid=231724] ppid=231721 vsize=19307868 memory=2178356 CPUtime=3600.26 cores=0,2
/proc/231724/stat : 231724 (java) S 231721 231724 227049 0 -1 1077936128 232052 0 0 0 358183 1843 0 0 20 0 21 0 25950615 19771256832 544589 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
/proc/231724/statm: 4826967 544589 5927 1 0 559164 0
[pid=231724/tid=231726] ppid=231721 vsize=19307868 memory=3478164 CPUtime=3561.55 cores=0,2
/proc/231724/task/231726/stat : 231726 (java) R 231721 231724 227049 0 -1 4194368 98936 0 0 0 354470 1685 0 0 20 0 21 0 25950615 19771256832 544589 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1226 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231735] ppid=231721 vsize=19307868 memory=-9031804583015064252 CPUtime=0 cores=0,2
/proc/231724/task/231735/stat : 231735 (Finalizer) S 231721 231724 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 25950618 19771256832 544589 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
[pid=231724/tid=231742] ppid=231721 vsize=19307868 memory=-7521993957701280121 CPUtime=0 cores=0,2
/proc/231724/task/231742/stat : 231742 (Common-Cleaner) S 231721 231724 227049 0 -1 1077936192 4094 0 0 0 0 0 0 0 20 0 21 0 25950618 19771256832 544589 134679101440 94595820179456 94595820183152 140733240397440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94595820190968 94595820191760 94595833786368 140733240398763 140733240398945 140733240398945 140733240405960 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2178356 KiB

[startup+3613.5 s]*
/proc/loadavg: 2.16 2.74 3.55 2/268 233770
/proc/meminfo: memFree=107471236/131524600 swapFree=131053028/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3613.51
CPU time (s): 3600.33
CPU user time (s): 3581.88
CPU system time (s): 18.4548
CPU usage (%): 99.6352
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2178356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.88
system time used= 18.4548
maximum resident set size= 2179248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20350160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125808
involuntary context switches= 34368


# summary of solver processes directly reported to runsolver:
#   pid: 231724
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3581.88
#   total CPU system time (s): 18.4548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1007 second user time and 19.5296 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-25 09:56:56
IDJOB=4459215
IDBENCH=178614
IDSOLVER=3079
FILE ID=nodeC025/4459215-1721894216
RUNJOBID= nodeC025-1721886943-227059
SLURM_JOB_ID= 8089292
Free space on /tmp= 889916 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-iis-glass-cov.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459215-1721894216/watcher-4459215-1721894216 -o /tmp/evaluation-result-4459215-1721894216/solver-4459215-1721894216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721886943-227059 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4459215-1721894216 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4459215-1721894216.opb

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

MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f
RANDOM SEED=1905116452

nodeC025.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		: 3630.855
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.51
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		: 3600.101
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
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		: 3621.923
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.51
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		: 3690.715
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
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		: 3661.112
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.51
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		: 3690.823
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
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		: 3602.858
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.51
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		: 3599.798
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        44074092 kB
MemAvailable:   95258060 kB
Buffers:          304976 kB
Cached:         51611976 kB
SwapCached:         3628 kB
Active:          2522532 kB
Inactive:       84054168 kB
Active(anon):       4556 kB
Inactive(anon): 34708088 kB
Active(file):    2517976 kB
Inactive(file): 49346080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057380 kB
Dirty:            213164 kB
Writeback:             0 kB
AnonPages:      34656180 kB
Mapped:           131768 kB
Shmem:             52872 kB
KReclaimable:     319472 kB
Slab:             453556 kB
SReclaimable:     319472 kB
SUnreclaim:       134084 kB
KernelStack:        5264 kB
PageTables:        77772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   37998192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13952 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7657472 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:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC025 at 2024-07-25 10:57:09