Trace number 4460079

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 Default 2024-07-07SAT (TO)-102 3601.09 3332.54

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-sporttournament26.opb
MD5SUM4a2fbd934e93739f7ac25dbfb2053862
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-167
Best CPU time to get the best result obtained on this benchmark999.467
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
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 constraint-1
Maximum length of a constraint0
Number of terms in the objective function 852
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 920
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 920
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)624
Sum of products size (including duplicates)1248
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.14/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.17	c See www.sat4j.org for details.
0.14/0.19	c version CUSTOM.v20240707
0.14/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.22	c java.vm.version	22.0.1+8-16
0.14/0.22	c java.vm.vendor	Oracle Corporation
0.14/0.22	c sun.arch.data.model	64
0.14/0.22	c java.version		22.0.1
0.14/0.22	c os.name		Linux
0.14/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.22	c os.arch		amd64
0.31/0.23	c Free memory 		2113181440
0.31/0.23	c Max memory 		16282288128
0.31/0.23	c Total memory 		2122317824
0.31/0.24	c Number of processors 	2
0.46/0.34	--- Begin Solver configuration ---
0.46/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.46/0.34	Learn all clauses as in MiniSAT
0.46/0.34	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.34	No reason simplification
0.46/0.34	Glucose 2.1 dynamic restart strategy
0.46/0.34	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.46/0.34	timeout=2147483s
0.46/0.34	DB Simplification allowed=false
0.46/0.34	Listener: none
0.46/0.34	--- End Solver configuration ---
0.46/0.35	c Pseudo Boolean Optimization by upper bound
0.46/0.35	c --- Begin Solver configuration ---
0.46/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.46/0.35	c Learn all clauses as in MiniSAT
0.46/0.35	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.35	c No reason simplification
0.46/0.35	c Glucose 2.1 dynamic restart strategy
0.46/0.35	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.46/0.35	c timeout=2147483s
0.46/0.35	c DB Simplification allowed=false
0.46/0.35	c Listener: none
0.46/0.35	c --- End Solver configuration ---
0.46/0.35	c solving HOME/instance-4460079-1721946460.opb
0.46/0.35	c reading problem ... 
0.46/0.35	c  objective function found
0.64/0.49	c ... done. Wall clock time 0.138s.
0.64/0.50	c declared #vars     325
0.64/0.50	c internal #vars     949
0.64/0.50	c #constraints  1248
0.64/0.50	c constraints type 
0.64/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 624
0.64/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 624
0.64/0.50	c 1248 constraints processed.
0.64/0.52	c objective function length is 852 literals
0.82/0.56	c SATISFIABLE
0.82/0.56	c OPTIMIZING...
0.82/0.56	c Got one! Elapsed wall clock time (in seconds):0.205
0.82/0.56	o -97
0.99/0.63	c Got one! Elapsed wall clock time (in seconds):0.287
0.99/0.63	o -98
0.99/0.66	c Got one! Elapsed wall clock time (in seconds):0.31
0.99/0.66	o -99
1.16/0.78	c Got one! Elapsed wall clock time (in seconds):0.43
1.16/0.78	o -100
1.37/0.84	c Got one! Elapsed wall clock time (in seconds):0.494
1.37/0.84	o -101
2.94/1.66	c cleaning 2886 clauses out of 5775 with flag 10022/5775
3.72/2.02	c cleaning 4441 clauses out of 8889 with flag 22044/11775
4.08/2.39	c cleaning 5721 clauses out of 11449 with flag 36052/18776
4.68/2.85	c cleaning 6858 clauses out of 13727 with flag 52062/26775
4.78/2.91	c Got one! Elapsed wall clock time (in seconds):2.557
4.78/2.91	o -102
4.94/3.09	c cleaning 6166 clauses out of 12340 with flag 8020/32246
5.40/3.41	c cleaning 6081 clauses out of 12174 with flag 20037/38246
5.70/3.70	c cleaning 6538 clauses out of 13093 with flag 34052/45246
6.46/4.38	c cleaning 7275 clauses out of 14556 with flag 50071/53247
7.27/5.18	c cleaning 8136 clauses out of 16281 with flag 68100/62247
8.03/5.82	c cleaning 9062 clauses out of 18144 with flag 88111/72246
8.71/6.42	c cleaning 10032 clauses out of 20082 with flag 110132/83246
9.20/7.01	c cleaning 11021 clauses out of 22051 with flag 134158/95247
10.28/7.84	c cleaning 12011 clauses out of 24031 with flag 161506/108248
11.01/8.51	c cleaning 13005 clauses out of 26019 with flag 190071/122247
12.03/9.32	c cleaning 13998 clauses out of 28014 with flag 220094/137247
12.67/9.99	c cleaning 14998 clauses out of 30016 with flag 252105/153247
13.78/10.90	c cleaning 15999 clauses out of 32017 with flag 286110/170246
14.97/11.91	c cleaning 17001 clauses out of 34019 with flag 322153/188247
15.78/12.75	c cleaning 17995 clauses out of 36018 with flag 360174/207247
17.07/13.85	c cleaning 19001 clauses out of 38023 with flag 400192/227247
18.07/14.81	c cleaning 20002 clauses out of 40022 with flag 442227/248247
19.62/16.11	c cleaning 20998 clauses out of 42019 with flag 486273/270246
20.61/17.17	c cleaning 22004 clauses out of 44022 with flag 532311/293247
22.15/18.52	c cleaning 23000 clauses out of 46018 with flag 580353/317247
23.35/19.70	c cleaning 24002 clauses out of 48018 with flag 630361/342247
25.00/21.23	c cleaning 25001 clauses out of 50016 with flag 682394/368247
26.40/22.61	c cleaning 26000 clauses out of 52014 with flag 736414/395246
28.36/24.30	c cleaning 27000 clauses out of 54016 with flag 793043/423248
30.65/26.37	c cleaning 28002 clauses out of 56015 with flag 853001/452247
32.36/28.03	c cleaning 29000 clauses out of 58012 with flag 913757/482246
34.25/29.78	c cleaning 29999 clauses out of 60013 with flag 975856/513247
35.85/31.38	c cleaning 30999 clauses out of 62013 with flag 1039979/545246
38.01/33.34	c cleaning 31997 clauses out of 64014 with flag 1106145/578246
40.20/35.26	c cleaning 33000 clauses out of 66018 with flag 1174261/612247
42.69/37.42	c cleaning 34001 clauses out of 68018 with flag 1244421/647247
44.59/39.34	c cleaning 35000 clauses out of 70017 with flag 1316526/683247
47.12/41.52	c cleaning 36000 clauses out of 72016 with flag 1390623/720246
49.69/43.84	c cleaning 36996 clauses out of 74017 with flag 1466739/758247
51.69/45.88	c cleaning 37998 clauses out of 76020 with flag 1544996/797246
54.22/48.19	c cleaning 39003 clauses out of 78023 with flag 1625246/837247
56.87/50.53	c cleaning 40003 clauses out of 80019 with flag 1707379/878246
59.68/53.04	c cleaning 40999 clauses out of 82017 with flag 1791665/920247
61.86/55.21	c cleaning 42002 clauses out of 84017 with flag 1877997/963246
64.81/57.93	c cleaning 42999 clauses out of 86016 with flag 1966297/1007247
67.49/60.43	c cleaning 43996 clauses out of 88016 with flag 2056653/1052246
72.14/63.58	c cleaning 45000 clauses out of 90021 with flag 2148904/1098247
75.32/66.27	c cleaning 46004 clauses out of 92020 with flag 2243232/1145246
77.92/68.84	c cleaning 46998 clauses out of 94016 with flag 2339429/1193246
81.07/71.78	c cleaning 48004 clauses out of 96019 with flag 2437696/1242247
84.05/74.52	c cleaning 48999 clauses out of 98015 with flag 2537933/1292247
87.25/77.59	c cleaning 50001 clauses out of 100017 with flag 2640321/1343248
91.34/81.25	c cleaning 51001 clauses out of 102015 with flag 2744728/1395247
94.99/84.51	c cleaning 52000 clauses out of 104013 with flag 2851067/1448246
98.97/88.17	c cleaning 52994 clauses out of 106013 with flag 2959712/1502246
102.16/91.36	c cleaning 54002 clauses out of 108019 with flag 3069976/1557246
106.18/95.23	c cleaning 55002 clauses out of 110018 with flag 3182219/1613247
109.92/98.77	c cleaning 55998 clauses out of 112015 with flag 3296530/1670246
113.61/102.13	c cleaning 56998 clauses out of 114017 with flag 3412891/1728246
117.43/105.82	c cleaning 58004 clauses out of 116021 with flag 3531268/1787248
121.48/109.65	c cleaning 58999 clauses out of 118016 with flag 3651584/1847247
125.57/113.50	c cleaning 60000 clauses out of 120018 with flag 3773930/1908248
129.45/117.24	c cleaning 60997 clauses out of 122017 with flag 3898354/1970247
133.92/121.59	c cleaning 62002 clauses out of 124019 with flag 4024683/2033246
138.98/126.42	c cleaning 62998 clauses out of 126017 with flag 4158274/2097246
143.87/131.13	c cleaning 64000 clauses out of 128019 with flag 4292029/2162246
150.17/135.62	c cleaning 65001 clauses out of 130020 with flag 4428127/2228247
155.15/140.52	c cleaning 66001 clauses out of 132018 with flag 4564240/2295246
161.04/145.77	c cleaning 67001 clauses out of 134019 with flag 4705050/2363248
166.11/150.40	c cleaning 67995 clauses out of 136016 with flag 4844374/2432246
170.66/154.67	c cleaning 69003 clauses out of 138022 with flag 4985568/2502247
175.25/158.94	c cleaning 69998 clauses out of 140018 with flag 5128346/2573246
180.73/164.14	c cleaning 70999 clauses out of 142021 with flag 5273317/2645247
186.13/169.20	c cleaning 72002 clauses out of 144022 with flag 5420015/2718247
190.87/173.81	c cleaning 72997 clauses out of 146019 with flag 5570599/2792246
196.61/179.00	c cleaning 74000 clauses out of 148023 with flag 5722961/2867247
202.46/184.43	c cleaning 75001 clauses out of 150022 with flag 5875974/2943246
207.65/189.38	c cleaning 75998 clauses out of 152022 with flag 6031705/3020247
212.77/194.29	c cleaning 76999 clauses out of 154024 with flag 6189490/3098247
220.29/199.74	c cleaning 78003 clauses out of 156024 with flag 6348136/3177246
225.90/204.87	c cleaning 78998 clauses out of 158021 with flag 6508743/3257246
230.97/209.61	c cleaning 80003 clauses out of 160023 with flag 6671224/3338246
236.77/215.20	c cleaning 80997 clauses out of 162020 with flag 6835741/3420246
243.22/221.09	c cleaning 82004 clauses out of 164024 with flag 7002212/3503247
249.33/226.71	c cleaning 83001 clauses out of 166020 with flag 7170966/3587247
256.05/233.19	c cleaning 84001 clauses out of 168019 with flag 7341370/3672247
261.94/238.87	c cleaning 85000 clauses out of 170017 with flag 7513563/3758246
269.41/245.74	c cleaning 85998 clauses out of 172017 with flag 7687714/3845246
276.72/252.60	c cleaning 87000 clauses out of 174019 with flag 7863899/3933246
283.37/259.06	c cleaning 88000 clauses out of 176019 with flag 8042138/4022246
290.14/265.19	c cleaning 89000 clauses out of 178019 with flag 8222616/4112246
296.67/271.29	c cleaning 89998 clauses out of 180019 with flag 8405195/4203246
303.20/277.49	c cleaning 90999 clauses out of 182021 with flag 8589761/4295246
310.44/284.41	c cleaning 92003 clauses out of 184023 with flag 8776272/4388247
318.21/291.62	c cleaning 92996 clauses out of 186020 with flag 8964900/4482247
324.86/297.95	c cleaning 94001 clauses out of 188023 with flag 9155702/4577246
332.29/305.15	c cleaning 95000 clauses out of 190023 with flag 9348283/4673247
340.80/312.90	c cleaning 96001 clauses out of 192023 with flag 9543217/4770247
348.06/319.92	c cleaning 97000 clauses out of 194021 with flag 9739713/4868246
356.35/327.57	c cleaning 97997 clauses out of 196021 with flag 9938829/4967246
363.99/334.79	c cleaning 99005 clauses out of 198025 with flag 10139705/5067247
372.19/342.41	c cleaning 99998 clauses out of 200019 with flag 10343082/5168246
380.68/350.17	c cleaning 100999 clauses out of 202021 with flag 10547722/5270246
390.50/357.37	c cleaning 102003 clauses out of 204024 with flag 10754112/5373248
398.47/365.01	c cleaning 103000 clauses out of 206019 with flag 10962527/5477246
407.95/373.60	c cleaning 104004 clauses out of 208020 with flag 11172971/5582247
416.15/381.36	c cleaning 105001 clauses out of 210016 with flag 11385436/5688247
424.49/389.32	c cleaning 106001 clauses out of 212015 with flag 11600095/5795247
432.41/397.06	c cleaning 106997 clauses out of 214013 with flag 11816738/5903246
440.72/404.69	c cleaning 107997 clauses out of 216016 with flag 12035519/6012246
449.41/412.98	c cleaning 109000 clauses out of 218019 with flag 12256265/6122246
457.73/420.96	c cleaning 110000 clauses out of 220019 with flag 12478943/6233246
467.28/429.72	c cleaning 110997 clauses out of 222019 with flag 12704048/6345246
476.17/438.20	c cleaning 111998 clauses out of 224023 with flag 12932051/6458247
486.26/447.51	c cleaning 113001 clauses out of 226024 with flag 13162058/6572246
495.24/456.07	c cleaning 114002 clauses out of 228024 with flag 13393001/6687247
505.62/466.12	c cleaning 114999 clauses out of 230021 with flag 13625906/6803246
515.73/475.49	c cleaning 116001 clauses out of 232022 with flag 13860959/6920246
525.41/484.70	c cleaning 117000 clauses out of 234021 with flag 14098674/7038246
536.21/494.74	c cleaning 118000 clauses out of 236021 with flag 14337382/7157246
547.54/505.66	c cleaning 119001 clauses out of 238022 with flag 14577956/7277247
557.43/514.53	c cleaning 120002 clauses out of 240020 with flag 14820631/7398246
567.86/524.53	c cleaning 121003 clauses out of 242018 with flag 15065077/7520246
582.07/535.08	c cleaning 121996 clauses out of 244016 with flag 15311239/7643247
592.33/544.76	c cleaning 122997 clauses out of 246020 with flag 15559384/7767247
601.61/553.56	c cleaning 123998 clauses out of 248024 with flag 15809722/7892248
611.17/562.81	c cleaning 125003 clauses out of 250025 with flag 16062490/8018247
623.20/573.84	c cleaning 126002 clauses out of 252021 with flag 16316754/8145246
632.33/582.47	c cleaning 126999 clauses out of 254019 with flag 16573132/8273246
643.08/592.87	c cleaning 127999 clauses out of 256020 with flag 16831260/8402246
655.78/604.57	c cleaning 129000 clauses out of 258021 with flag 17091422/8532246
666.01/614.21	c cleaning 130001 clauses out of 260021 with flag 17353933/8663246
675.69/623.56	c cleaning 131000 clauses out of 262021 with flag 17619180/8795247
686.88/633.77	c cleaning 131999 clauses out of 264020 with flag 17886156/8928246
698.31/644.65	c cleaning 132999 clauses out of 266021 with flag 18154466/9062246
708.63/654.64	c cleaning 133999 clauses out of 268023 with flag 18425141/9197247
721.34/666.34	c cleaning 135001 clauses out of 270024 with flag 18697515/9333247
731.71/676.28	c cleaning 135997 clauses out of 272023 with flag 18972332/9470247
743.23/686.85	c cleaning 137000 clauses out of 274025 with flag 19249120/9608246
755.61/698.65	c cleaning 138003 clauses out of 276026 with flag 19528280/9747247
767.36/709.98	c cleaning 139001 clauses out of 278024 with flag 19808870/9887248
778.98/720.68	c cleaning 140000 clauses out of 280022 with flag 20091730/10028247
789.49/730.75	c cleaning 141001 clauses out of 282022 with flag 20376704/10170247
804.18/741.77	c cleaning 142002 clauses out of 284022 with flag 20663624/10313248
814.97/751.93	c cleaning 143000 clauses out of 286018 with flag 20952117/10457246
825.33/761.98	c cleaning 143999 clauses out of 288018 with flag 21242484/10602246
837.92/773.68	c cleaning 144997 clauses out of 290020 with flag 21535266/10748247
850.24/785.48	c cleaning 145999 clauses out of 292022 with flag 21829795/10895246
860.81/795.68	c cleaning 146998 clauses out of 294023 with flag 22127033/11043246
873.34/807.22	c cleaning 148004 clauses out of 296025 with flag 22425632/11192246
884.97/818.43	c cleaning 149003 clauses out of 298022 with flag 22725907/11342247
897.25/829.79	c cleaning 149999 clauses out of 300019 with flag 23027922/11493247
908.29/840.23	c cleaning 150995 clauses out of 302019 with flag 23331928/11645246
920.32/851.21	c cleaning 152003 clauses out of 304025 with flag 23638628/11798247
931.94/862.29	c cleaning 153003 clauses out of 306021 with flag 23947950/11952246
945.18/875.06	c cleaning 153997 clauses out of 308019 with flag 24258913/12107247
958.51/887.69	c cleaning 154996 clauses out of 310022 with flag 24572452/12263247
970.19/898.93	c cleaning 156001 clauses out of 312026 with flag 24887378/12420247
983.02/910.83	c cleaning 157001 clauses out of 314025 with flag 25204291/12578247
993.86/921.25	c cleaning 158004 clauses out of 316023 with flag 25523398/12737246
1005.32/931.84	c cleaning 159000 clauses out of 318020 with flag 25844532/12897247
1021.59/944.52	c cleaning 159996 clauses out of 320019 with flag 26167968/13058246
1034.89/957.08	c cleaning 160998 clauses out of 322024 with flag 26493170/13220247
1047.89/969.65	c cleaning 162000 clauses out of 324026 with flag 26821150/13383247
1061.56/982.22	c cleaning 163001 clauses out of 326026 with flag 27149398/13547247
1073.44/993.77	c cleaning 163997 clauses out of 328024 with flag 27479425/13712246
1087.20/1006.60	c cleaning 164999 clauses out of 330027 with flag 27811479/13878246
1102.48/1020.79	c cleaning 166004 clauses out of 332028 with flag 28146314/14045246
1115.32/1032.98	c cleaning 166998 clauses out of 334024 with flag 28483533/14213246
1129.16/1045.88	c cleaning 168004 clauses out of 336027 with flag 28822424/14382247
1141.44/1057.63	c cleaning 169000 clauses out of 338023 with flag 29163429/14552247
1157.46/1072.80	c cleaning 170001 clauses out of 340023 with flag 29506118/14723247
1173.46/1087.75	c cleaning 170999 clauses out of 342021 with flag 29851396/14895246
1187.72/1101.48	c cleaning 171998 clauses out of 344023 with flag 30197941/15068247
1201.54/1114.39	c cleaning 172992 clauses out of 346024 with flag 30547228/15242246
1213.68/1126.09	c cleaning 174007 clauses out of 348033 with flag 30897304/15417247
1226.31/1137.98	c cleaning 175001 clauses out of 350027 with flag 31249314/15593248
1245.18/1153.23	c cleaning 176001 clauses out of 352026 with flag 31603477/15770248
1261.49/1169.02	c cleaning 176998 clauses out of 354023 with flag 31960050/15948246
1278.24/1184.71	c cleaning 177999 clauses out of 356025 with flag 32318753/16127246
1294.29/1199.66	c cleaning 179002 clauses out of 358026 with flag 32679014/16307246
1307.41/1212.37	c cleaning 179998 clauses out of 360024 with flag 33041097/16488246
1323.52/1227.66	c cleaning 180998 clauses out of 362026 with flag 33405248/16670246
1339.51/1242.63	c cleaning 182004 clauses out of 364029 with flag 33771521/16853247
1354.77/1256.77	c cleaning 182998 clauses out of 366024 with flag 34141199/17037246
1370.96/1272.32	c cleaning 184003 clauses out of 368027 with flag 34512391/17222247
1386.16/1286.72	c cleaning 184996 clauses out of 370024 with flag 34885798/17408247
1402.20/1301.84	c cleaning 186000 clauses out of 372028 with flag 35261235/17595247
1417.88/1316.47	c cleaning 186996 clauses out of 374027 with flag 35638295/17783246
1434.74/1332.70	c cleaning 188001 clauses out of 376032 with flag 36017008/17972247
1453.49/1347.36	c cleaning 189005 clauses out of 378030 with flag 36398304/18162246
1468.76/1361.67	c cleaning 189998 clauses out of 380025 with flag 36781907/18353246
1485.79/1377.57	c cleaning 191001 clauses out of 382028 with flag 37167336/18545247
1501.43/1391.92	c cleaning 192002 clauses out of 384027 with flag 37554527/18738247
1518.20/1408.11	c cleaning 192999 clauses out of 386025 with flag 37944291/18932247
1534.12/1423.09	c cleaning 193997 clauses out of 388025 with flag 38335549/19127246
1551.99/1439.82	c cleaning 195001 clauses out of 390028 with flag 38727727/19323246
1570.61/1457.27	c cleaning 196004 clauses out of 392027 with flag 39121735/19520246
1588.18/1473.74	c cleaning 196996 clauses out of 394023 with flag 39517770/19718246
1606.22/1490.49	c cleaning 198004 clauses out of 396027 with flag 39917140/19917246
1628.38/1507.51	c cleaning 199000 clauses out of 398023 with flag 40319972/20117246
1651.28/1529.13	c cleaning 199996 clauses out of 400024 with flag 40725553/20318247
1667.01/1544.22	c cleaning 201002 clauses out of 402027 with flag 41131992/20520246
1683.22/1559.60	c cleaning 201998 clauses out of 404025 with flag 41541029/20723246
1704.09/1579.67	c cleaning 203008 clauses out of 406027 with flag 41952299/20927246
1722.81/1597.23	c cleaning 203999 clauses out of 408020 with flag 42364979/21132247
1740.41/1613.99	c cleaning 205000 clauses out of 410020 with flag 42779460/21338246
1756.30/1628.88	c cleaning 205997 clauses out of 412020 with flag 43195622/21545246
1773.35/1644.89	c cleaning 206999 clauses out of 414024 with flag 43614689/21753247
1791.38/1661.84	c cleaning 208001 clauses out of 416024 with flag 44035215/21962246
1807.79/1677.26	c cleaning 209000 clauses out of 418023 with flag 44458300/22172246
1829.65/1694.98	c cleaning 209999 clauses out of 420025 with flag 44884467/22383248
1846.14/1710.39	c cleaning 210999 clauses out of 422025 with flag 45311636/22595247
1863.71/1726.83	c cleaning 212003 clauses out of 424025 with flag 45738784/22808246
1883.11/1745.11	c cleaning 212999 clauses out of 426022 with flag 46167807/23022246
1902.85/1763.76	c cleaning 213997 clauses out of 428023 with flag 46599065/23237246
1921.23/1781.18	c cleaning 215001 clauses out of 430027 with flag 47031766/23453247
1940.54/1799.53	c cleaning 216000 clauses out of 432025 with flag 47466060/23670246
1958.28/1816.36	c cleaning 217001 clauses out of 434025 with flag 47902110/23888246
1978.22/1835.45	c cleaning 217999 clauses out of 436025 with flag 48340187/24107247
1995.05/1851.41	c cleaning 218997 clauses out of 438026 with flag 48780206/24327247
2017.36/1869.37	c cleaning 219997 clauses out of 440028 with flag 49222265/24548246
2038.21/1889.32	c cleaning 221005 clauses out of 442032 with flag 49667247/24770247
2059.86/1910.21	c cleaning 222001 clauses out of 444027 with flag 50115179/24993247
2080.46/1929.20	c cleaning 223000 clauses out of 446025 with flag 50564457/25217246
2102.22/1949.63	c cleaning 224004 clauses out of 448027 with flag 51016664/25442248
2124.57/1970.74	c cleaning 224997 clauses out of 450022 with flag 51469883/25668247
2146.01/1990.97	c cleaning 226002 clauses out of 452025 with flag 51924901/25895247
2169.14/2013.02	c cleaning 226995 clauses out of 454023 with flag 52382644/26123247
2187.77/2030.73	c cleaning 228001 clauses out of 456027 with flag 52841932/26352246
2205.50/2047.65	c cleaning 228999 clauses out of 458026 with flag 53303582/26582246
2232.44/2069.22	c cleaning 230005 clauses out of 460027 with flag 53767253/26813246
2254.92/2090.44	c cleaning 230997 clauses out of 462022 with flag 54232450/27045246
2279.21/2113.50	c cleaning 231998 clauses out of 464025 with flag 54701024/27278246
2298.64/2131.73	c cleaning 233001 clauses out of 466028 with flag 55170591/27512247
2318.48/2150.54	c cleaning 234004 clauses out of 468028 with flag 55640670/27747248
2340.96/2171.52	c cleaning 235001 clauses out of 470023 with flag 56112696/27983247
2359.95/2189.24	c cleaning 235999 clauses out of 472023 with flag 56586724/28220248
2381.78/2209.96	c cleaning 236996 clauses out of 474023 with flag 57062783/28458247
2407.79/2231.89	c cleaning 238007 clauses out of 476027 with flag 57541888/28697247
2430.31/2252.89	c cleaning 238999 clauses out of 478020 with flag 58023475/28937247
2452.31/2273.57	c cleaning 240000 clauses out of 480021 with flag 58506871/29178247
2472.74/2292.89	c cleaning 241000 clauses out of 482021 with flag 58992417/29420247
2496.08/2315.16	c cleaning 242000 clauses out of 484021 with flag 59480914/29663247
2522.91/2340.51	c cleaning 242996 clauses out of 486020 with flag 59970237/29907246
2543.57/2360.07	c cleaning 244000 clauses out of 488025 with flag 60462465/30152247
2567.68/2383.27	c cleaning 245001 clauses out of 490025 with flag 60955975/30398247
2597.93/2406.41	c cleaning 245999 clauses out of 492023 with flag 61451499/30645246
2620.59/2427.83	c cleaning 246998 clauses out of 494024 with flag 61949916/30893246
2643.97/2450.23	c cleaning 247997 clauses out of 496026 with flag 62449701/31142246
2667.15/2471.88	c cleaning 249002 clauses out of 498029 with flag 62951563/31392246
2691.75/2495.19	c cleaning 250002 clauses out of 500027 with flag 63456192/31643246
2715.24/2517.73	c cleaning 251000 clauses out of 502026 with flag 63962928/31895247
2739.99/2541.11	c cleaning 252000 clauses out of 504026 with flag 64470145/32148247
2762.29/2562.13	c cleaning 252996 clauses out of 506026 with flag 64978925/32402247
2787.72/2582.58	c cleaning 254003 clauses out of 508029 with flag 65490099/32657246
2810.93/2604.47	c cleaning 255007 clauses out of 510027 with flag 66004093/32913247
2835.43/2627.90	c cleaning 256001 clauses out of 512019 with flag 66519458/33170246
2858.51/2649.45	c cleaning 256994 clauses out of 514018 with flag 67037272/33428246
2880.15/2669.93	c cleaning 258001 clauses out of 516024 with flag 67557130/33687246
2905.59/2693.84	c cleaning 259000 clauses out of 518023 with flag 68078975/33947246
2928.93/2716.08	c cleaning 259999 clauses out of 520023 with flag 68602631/34208246
2964.82/2744.40	c cleaning 260998 clauses out of 522024 with flag 69128727/34470246
2987.28/2765.78	c cleaning 262003 clauses out of 524027 with flag 69655853/34733247
3016.14/2792.95	c cleaning 263001 clauses out of 526023 with flag 70184920/34997246
3043.07/2818.53	c cleaning 263998 clauses out of 528023 with flag 70716296/35262247
3069.68/2843.41	c cleaning 264999 clauses out of 530025 with flag 71248517/35528247
3090.69/2863.38	c cleaning 265999 clauses out of 532026 with flag 71782569/35795247
3125.53/2891.07	c cleaning 266998 clauses out of 534026 with flag 72318630/36063246
3153.19/2917.58	c cleaning 268002 clauses out of 536029 with flag 72856707/36332247
3181.40/2944.14	c cleaning 269001 clauses out of 538026 with flag 73397665/36602246
3211.32/2972.84	c cleaning 269999 clauses out of 540025 with flag 73941822/36873246
3234.85/2994.65	c cleaning 271001 clauses out of 542027 with flag 74487380/37145247
3261.76/3020.47	c cleaning 271997 clauses out of 544025 with flag 75035237/37418246
3287.47/3044.62	c cleaning 273000 clauses out of 546029 with flag 75584721/37692247
3320.12/3071.19	c cleaning 273998 clauses out of 548028 with flag 76136166/37967246
3353.27/3103.04	c cleaning 275002 clauses out of 550030 with flag 76689066/38243246
3383.07/3131.19	c cleaning 276003 clauses out of 552028 with flag 77243636/38520246
3413.63/3160.34	c cleaning 276999 clauses out of 554026 with flag 77799888/38798247
3440.09/3185.33	c cleaning 278002 clauses out of 556026 with flag 78360894/39077246
3471.58/3215.19	c cleaning 279001 clauses out of 558024 with flag 78923362/39357246
3505.96/3242.88	c cleaning 280000 clauses out of 560023 with flag 79486386/39638246
3532.92/3268.24	c cleaning 280999 clauses out of 562023 with flag 80051598/39920246
3566.72/3300.22	c cleaning 282003 clauses out of 564024 with flag 80619006/40203246
3598.69/3330.87	c cleaning 282999 clauses out of 566022 with flag 81189080/40487247
3600.69/3332.37	c starts		: 7
3600.69/3332.38	c conflicts		: 40509701
3600.69/3332.38	c decisions		: 43340985
3600.69/3332.38	c propagations		: 396581465
3600.69/3332.38	c inspects		: 8035203409
3600.69/3332.38	c shortcuts		: 0
3600.69/3332.38	c learnt literals	: 0
3600.69/3332.38	c learnt binary clauses	: 0
3600.69/3332.38	c learnt ternary clauses	: 0
3600.69/3332.38	c learnt constraints	: 40509701
3600.69/3332.38	c ignored constraints	: 0
3600.69/3332.38	c root simplifications	: 0
3600.69/3332.38	c removed literals (reason simplification)	: 0
3600.69/3332.38	c reason swapping (by a shorter reason)	: 0
3600.69/3332.38	c Calls to reduceDB	: 284
3600.69/3332.38	c Number of update (reduction) of LBD	: 150594
3600.69/3332.38	c Imported unit clauses	: 0
3600.69/3332.38	c No decision after first conflict	: false
3600.69/3332.38	c number of reductions to clauses (during analyze)	: 0
3600.69/3332.38	c number of learned constraints concerned by reduction	: 0
3600.69/3332.38	c number of learning phase by resolution	: 0
3600.69/3332.38	c number of learning phase by cutting planes	: 0
3600.69/3332.38	c number of rounding to 1 operations	: 0
3600.69/3332.38	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.69/3332.38	c number of reductions of the coefficients by power 2 	: 0
3600.69/3332.38	c number of right shift for reduction by power 2 	: 0
3600.69/3332.38	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.69/3332.38	c number of ending skipping 	: 0
3600.69/3332.38	c number of internal skipping 	: 0
3600.69/3332.38	c number of derivation steps 	: 0
3600.69/3332.38	c number of skipped derivation steps 	: 0
3600.69/3332.38	c number of remaining unassigned 	: 0
3600.69/3332.38	c number of remaining assigned 	: 0
3600.69/3332.38	c number of falsified literals weakened from reason	: 0
3600.69/3332.38	c number of falsified literals weakened from conflict	: 0
3600.69/3332.38	c time for arithmetic operations	: 0
3600.69/3332.38	c minimum degree of deleted constraints	: null
3600.69/3332.38	c maximum degree of deleted constraints	: null
3600.69/3332.38	c number of deleted constraints	: 0
3600.69/3332.38	c speed (assignments/second)	: 119027.40669597972
3600.69/3332.38	c non guided choices	: 20
3600.88/3332.47	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 305477
3600.88/3332.47	s SATISFIABLE
3600.88/3332.47	c Found 6 solution(s)
3600.88/3332.47	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 -x215 x216 x217 x218 x219 -x220 x221 x222 -x223 -x224 x225 x226 x227 x228 -x229 -x230 -x231 x232 x233 x234 -x235 x236 -x237 -x238 x239 -x240 -x241 x242 -x243 -x244 x245 -x246 x247 -x248 x249 x250 -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 x270 x271 x272 -x273 x274 x275 x276 -x277 -x278 -x279 x280 x281 x282 -x283 x284 x285 x286 -x287 -x288 x289 -x290 -x291 x292 -x293 -x294 x295 x296 x297 -x298 -x299 -x300 x301 x302 -x303 x304 -x305 -x306 x307 x308 x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 x320 -x321 x322 x323 x324 -x325 
3600.88/3332.47	c objective function=-102
3600.88/3332.47	c Total wall clock time (in seconds): 3332.128

Verifier Data 

OK	-102

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: 64096 MiB (59686 MiB free)
  memory of node 1: 64473 MiB (56610 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=256846, runsolver pid=256842

[startup+0.109332 s]*
/proc/loadavg: 1.13 1.64 2.03 6/263 256880
/proc/meminfo: memFree=119018108/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=18975048 memory=56640 CPUtime=0.14 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 6304 0 0 0 10 4 0 0 20 0 18 0 30634925 19430449152 14160 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4743762 14160 5477 1 0 550772 0
[pid=256846/tid=256848] ppid=256842 vsize=18975048 memory=4026531957 CPUtime=0.09 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 5274 0 0 0 6 3 0 0 20 0 18 0 30634926 19430449152 14160 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=18975048 memory=241407623517 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30634932 19430449152 14160 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=18975048 memory=15260358945143785 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30634933 19430449152 14160 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56640 KiB

[startup+0.214993 s]*
/proc/loadavg: 1.13 1.64 2.03 5/263 256880
/proc/meminfo: memFree=119006328/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=18975048 memory=61248 CPUtime=0.31 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 6957 0 0 0 27 4 0 0 20 0 18 0 30634925 19430449152 15312 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4743762 15312 5497 1 0 551324 0
[pid=256846/tid=256848] ppid=256842 vsize=18975048 memory=4027595770 CPUtime=0.19 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 5565 0 0 0 16 3 0 0 20 0 18 0 30634926 19430449152 15312 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=18975048 memory=880883 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30634932 19430449152 15312 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=18975048 memory=14689712409414642 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30634933 19430449152 15312 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61248 KiB

[startup+0.31541 s]*
/proc/loadavg: 1.13 1.64 2.03 5/263 256880
/proc/meminfo: memFree=119000224/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=18975048 memory=67220 CPUtime=0.46 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 7201 0 0 0 41 5 0 0 20 0 18 0 30634925 19430449152 16805 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4743762 16805 5682 1 0 551484 0
[pid=256846/tid=256848] ppid=256842 vsize=18975048 memory=-9032358719662039740 CPUtime=0.27 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 5713 0 0 0 24 3 0 0 20 0 18 0 30634926 19430449152 16805 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30634932 19430449152 16805 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30634933 19430449152 16805 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67220 KiB

[startup+0.700766 s]
/proc/loadavg: 1.13 1.64 2.03 7/263 256880
/proc/meminfo: memFree=118991232/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19041612 memory=78504 CPUtime=1.16 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 9132 0 0 0 111 5 0 0 20 0 19 0 30634925 19498610688 19626 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4760403 19626 5810 1 0 552823 0
[pid=256846/tid=256848] ppid=256842 vsize=19041612 memory=5572 CPUtime=0.62 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 5936 0 0 0 58 4 0 0 20 0 19 0 30634926 19498610688 19626 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19041612 memory=11652 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30634932 19498610688 19626 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19041612 memory=64097 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30634933 19498610688 19626 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78504 KiB

[startup+1.50877 s]
/proc/loadavg: 1.13 1.64 2.03 6/265 256884
/proc/meminfo: memFree=118956268/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19041612 memory=122028 CPUtime=2.76 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 19711 0 0 0 267 9 0 0 20 0 19 0 30634925 19498610688 30507 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4760403 30507 5826 1 0 556358 0
[pid=256846/tid=256848] ppid=256842 vsize=19041612 memory=11652 CPUtime=1.4 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 6119 0 0 0 135 5 0 0 20 0 19 0 30634926 19498610688 30507 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30634932 19498610688 30507 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30634933 19498610688 30507 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30634979 19498610688 30507 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 122028 KiB

[startup+3.10676 s]
/proc/loadavg: 1.44 1.70 2.05 4/266 256885
/proc/meminfo: memFree=118700556/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=285308 CPUtime=5.04 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 22506 0 0 0 491 13 0 0 20 0 20 0 30634925 19566772224 71327 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 71327 5858 1 0 556690 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=0 CPUtime=2.82 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 7386 0 0 0 276 6 0 0 20 0 20 0 30634926 19566772224 71327 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 71327 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 71327 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 71327 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 285308 KiB

[startup+6.30044 s]
/proc/loadavg: 1.44 1.70 2.05 4/267 256886
/proc/meminfo: memFree=118470772/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=536716 CPUtime=8.6 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 23580 0 0 0 841 19 0 0 20 0 20 0 30634925 19566772224 134179 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 134179 5858 1 0 1085158 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=0 CPUtime=5.67 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 7513 0 0 0 559 8 0 0 20 0 20 0 30634926 19566772224 134179 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 134179 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 134179 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=128172 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 134179 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 536716 KiB

[startup+12.7004 s]
/proc/loadavg: 1.65 1.74 2.06 5/267 256887
/proc/meminfo: memFree=117606528/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=1388320 CPUtime=15.78 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 26262 0 0 0 1541 37 0 0 20 0 20 0 30634925 19566772224 347080 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 347080 5889 1 0 1651251 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=0 CPUtime=11.38 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 8182 0 0 0 1125 13 0 0 20 0 20 0 30634926 19566772224 347080 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 347080 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 347080 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 347080 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 15.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1388320 KiB

[startup+25.5005 s]
/proc/loadavg: 2.10 1.83 2.09 4/267 256889
/proc/meminfo: memFree=115939152/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=2742992 CPUtime=29.56 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 29127 0 0 0 2891 65 0 0 20 0 20 0 30634925 19566772224 685748 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 685748 5889 1 0 1945796 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=2033748 CPUtime=23.05 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 9023 0 0 0 2283 22 0 0 20 0 20 0 30634926 19566772224 685748 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=70052 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 685748 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=2742992 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 685748 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=-9032358719662039740 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 685748 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 29.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2742992 KiB

[startup+51.1132 s]
/proc/loadavg: 2.62 1.98 2.13 4/267 256894
/proc/meminfo: memFree=113513708/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=4964720 CPUtime=57.48 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 33532 0 0 0 5638 110 0 0 20 0 20 0 30634925 19566772224 1241180 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 1241180 5889 1 0 2100376 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=13560 CPUtime=46.11 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 10213 0 0 0 4584 27 0 0 20 0 20 0 30634926 19566772224 1241180 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=4599992 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 1241180 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=4339868 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 1241180 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0

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

/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 3711945 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=14847780 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 852 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 3711945 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 3711945 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 3221.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14847780 KiB

[startup+3042.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/265 258227
/proc/meminfo: memFree=102147008/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=14847780 CPUtime=3285.17 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 601956 0 0 0 327976 541 0 0 20 0 20 0 30634925 19566772224 3711945 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 3711945 5905 1 0 4088843 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=14847780 CPUtime=2833.06 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 119287 0 0 0 283174 132 0 0 20 0 20 0 30634926 19566772224 3711945 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=70052 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 3711945 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=11652 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 852 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 3711945 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=14847780 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 3711945 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 3285.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14847780 KiB

[startup+3102.3 s]
/proc/loadavg: 2.15 2.20 2.18 5/265 258238
/proc/meminfo: memFree=102146632/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=14847792 CPUtime=3352.56 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 608158 0 0 0 334711 545 0 0 20 0 20 0 30634925 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 3711948 5905 1 0 4088844 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=14847788 CPUtime=2889.6 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 120960 0 0 0 288827 133 0 0 20 0 20 0 30634926 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=14847788 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=14847788 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 903 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 3352.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14847792 KiB

[startup+3162.3 s]
/proc/loadavg: 2.13 2.19 2.18 4/265 258248
/proc/meminfo: memFree=102146208/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=14847792 CPUtime=3415.7 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 611732 0 0 0 341022 548 0 0 20 0 20 0 30634925 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 3711948 5905 1 0 4088844 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=14847788 CPUtime=2946.08 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 122401 0 0 0 294475 133 0 0 20 0 20 0 30634926 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=14847792 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 913 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=14847792 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 3415.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14847792 KiB

[startup+3222.3 s]
/proc/loadavg: 2.15 2.19 2.18 4/267 258262
/proc/meminfo: memFree=102145784/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=14847792 CPUtime=3479.31 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 612985 0 0 0 347380 551 0 0 20 0 20 0 30634925 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 3711948 5905 1 0 4088844 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=13560 CPUtime=3002 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 123299 0 0 0 300067 133 0 0 20 0 20 0 30634926 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=14847792 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=14847792 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 913 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=14847792 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 3711948 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 3479.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14847792 KiB

[startup+3282.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/267 258274
/proc/meminfo: memFree=102144876/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=14848316 CPUtime=3548.07 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 639598 0 0 0 354245 562 0 0 20 0 20 0 30634925 19566772224 3712079 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 3712079 5905 1 0 4088956 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=14848316 CPUtime=3058.27 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 127995 0 0 0 305694 133 0 0 20 0 20 0 30634926 19566772224 3712079 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=14848316 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 3712079 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=14848272 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 913 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 3712079 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=70052 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 3712079 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 3548.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14848316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3332.01 s]*
/proc/loadavg: 2.24 2.21 2.18 4/267 258283
/proc/meminfo: memFree=102144532/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19108176 memory=14848340 CPUtime=3600.13 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 645725 0 0 0 359448 565 0 0 20 0 20 0 30634925 19566772224 3712085 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4777044 3712085 5905 1 0 4088961 0
[pid=256846/tid=256848] ppid=256842 vsize=19108176 memory=-9032358719662039740 CPUtime=3105.35 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) S 256842 256846 252119 0 -1 1077936192 129551 0 0 0 310401 134 0 0 20 0 20 0 30634926 19566772224 3712085 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19108176 memory=-4421386496214524770 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30634932 19566772224 3712085 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19108176 memory=2732 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 993 0 0 0 0 0 0 0 20 0 20 0 30634933 19566772224 3712085 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=19108176 memory=13904 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) S 256842 256846 252119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30634979 19566772224 3712085 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14848340 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.37 s, system=5.72127 s

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

[startup+3332.4 s]
/proc/loadavg: 2.24 2.21 2.18 4/267 258283
/proc/meminfo: memFree=102144532/131655788 swapFree=131071472/131071996
[pid=256846] ppid=256842 vsize=19307868 memory=14849064 CPUtime=3600.88 cores=1,3
/proc/256846/stat : 256846 (java) S 256842 256846 252119 0 -1 1077936128 648439 0 0 0 359522 566 0 0 20 0 23 0 30634925 19771256832 3712266 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
/proc/256846/statm: 4826967 3712266 5904 1 0 4089878 0
[pid=256846/tid=256848] ppid=256842 vsize=19307868 memory=2083680 CPUtime=3105.37 cores=1,3
/proc/256846/task/256848/stat : 256848 (java) R 256842 256846 252119 0 -1 4194368 129588 0 0 0 310403 134 0 0 20 0 23 0 30634926 19771256832 3712266 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256873] ppid=256842 vsize=19307868 memory=4884 CPUtime=0 cores=1,3
/proc/256846/task/256873/stat : 256873 (Finalizer) S 256842 256846 252119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 23 0 30634932 19771256832 3712266 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256880] ppid=256842 vsize=19307868 memory=14848328 CPUtime=0 cores=1,3
/proc/256846/task/256880/stat : 256880 (Common-Cleaner) S 256842 256846 252119 0 -1 1077936192 993 0 0 0 0 0 0 0 20 0 23 0 30634933 19771256832 3712266 134679101440 94471637819392 94471637823088 140731005955984 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94471637830904 94471637831696 94471655813120 140731005961222 140731005961312 140731005961312 140731005968328 0
[pid=256846/tid=256882] ppid=256842 vsize=0 memory=-9032358719662039740 CPUtime=0 cores=1,3
/proc/256846/task/256882/stat : 256882 (Timer-0) X 256842 256846 252119 0 -1 4194372 29 0 0 0 0 0 0 0 20 0 23 0 30634979 0 0 134679101440 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 3600.88 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14849064 KiB

[startup+3332.53 s]*
/proc/loadavg: 2.24 2.21 2.18 3/249 258286
/proc/meminfo: memFree=116620832/131655788 swapFree=131071472/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): 3332.54
CPU time (s): 3601.09
CPU user time (s): 3595.37
CPU system time (s): 5.72127
CPU usage (%): 108.058
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14849064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.37
system time used= 5.72128
maximum resident set size= 14849992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120063
involuntary context switches= 20260


# summary of solver processes directly reported to runsolver:
#   pid: 256846
#   total CPU time (s): 3601.09
#   total CPU user time (s): 3595.37
#   total CPU system time (s): 5.72127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2023 second user time and 30.8574 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-26 00:27:40
IDJOB=4460079
IDBENCH=160626
IDSOLVER=3058
FILE ID=nodeC004/4460079-1721946460
RUNJOBID= nodeC004-1721946460-256815
SLURM_JOB_ID= 8247258
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460079-1721946460/watcher-4460079-1721946460 -o /tmp/evaluation-result-4460079-1721946460/solver-4460079-1721946460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721946460-256815 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4460079-1721946460.opb

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

MD5SUM BENCH= 4a2fbd934e93739f7ac25dbfb2053862
RANDOM SEED=304534815

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119089460 kB
MemAvailable:   129886068 kB
Buffers:          345852 kB
Cached:         11238156 kB
SwapCached:           60 kB
Active:          2754660 kB
Inactive:        9165760 kB
Active(anon):       1332 kB
Inactive(anon):   388936 kB
Active(file):    2753328 kB
Inactive(file):  8776824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:              1400 kB
Writeback:             4 kB
AnonPages:        334032 kB
Mapped:           115508 kB
Shmem:             53860 kB
KReclaimable:     213308 kB
Slab:             326184 kB
SReclaimable:     213308 kB
SUnreclaim:       112876 kB
KernelStack:        3552 kB
PageTables:         9412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     732624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC004 at 2024-07-26 01:23:12